runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108291842/p2cudf-user-1.13/4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf.dudf-real.log.runsolver ./p2cudf-user-1.13 /home/misc2010/data/2011/dudf-real//4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf /home/misc2010/tmp/201108291842/p2cudf-user-1.13/4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf.dudf-real.result -notuptodate,-removed,-changed Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.03 1.16 1.15 5/36 23670 /proc/meminfo: memFree=332684/1048576 swapFree=0/0 [pid=23667] ppid=23666 vsize=2568 CPUtime=0 /proc/23667/stat : 23667 (p2cudf-user-1.1) S 23666 23667 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 46289950 2629632 271 1283457024 134512640 135304128 4291856080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23667/statm: 642 271 230 194 0 29 0 [pid=23668] ppid=23667 vsize=2564 CPUtime=0 /proc/23668/stat : 23668 (p2cudf) S 23667 23667 17511 34816 17511 4202496 352 0 0 0 0 0 0 0 18 0 1 0 46289951 2625536 270 1283457024 134512640 135304128 4289908000 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0 /proc/23668/statm: 641 270 231 194 0 28 0 [pid=23669] ppid=23668 vsize=2564 CPUtime=0 /proc/23669/stat : 23669 (p2cudf) R 23668 23667 17511 34816 17511 4202560 94 0 0 0 0 0 0 0 25 0 1 0 46289951 2625536 118 1283457024 134512640 135304128 4289908000 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/23669/statm: 641 118 77 194 0 28 0 [pid=23670] ppid=23669 vsize=2564 CPUtime=0 /proc/23670/stat : 23670 (p2cudf) R 23669 23667 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 46289951 2625536 41 1283457024 134512640 135304128 4289908000 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/23670/statm: 641 41 0 194 0 28 0 [startup+0.164127 s] /proc/loadavg: 1.03 1.16 1.15 5/36 23670 /proc/meminfo: memFree=332684/1048576 swapFree=0/0 [pid=23667] ppid=23666 vsize=2568 CPUtime=0 /proc/23667/stat : 23667 (p2cudf-user-1.1) S 23666 23667 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 46289950 2629632 271 1283457024 134512640 135304128 4291856080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23667/statm: 642 271 230 194 0 29 0 [pid=23668] ppid=23667 vsize=2568 CPUtime=0.02 /proc/23668/stat : 23668 (p2cudf) S 23667 23667 17511 34816 17511 4202496 390 3011 0 1 0 0 2 0 25 0 1 0 46289951 2629632 280 1283457024 134512640 135304128 4289908000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23668/statm: 642 280 239 194 0 29 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5136 [startup+0.204126 s] /proc/loadavg: 1.03 1.16 1.15 5/36 23670 /proc/meminfo: memFree=332684/1048576 swapFree=0/0 [pid=23667] ppid=23666 vsize=2568 CPUtime=0 /proc/23667/stat : 23667 (p2cudf-user-1.1) S 23666 23667 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 46289950 2629632 271 1283457024 134512640 135304128 4291856080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23667/statm: 642 271 230 194 0 29 0 [pid=23668] ppid=23667 vsize=2568 CPUtime=0.02 /proc/23668/stat : 23668 (p2cudf) S 23667 23667 17511 34816 17511 4202496 390 3011 0 1 0 0 2 0 25 0 1 0 46289951 2629632 280 1283457024 134512640 135304128 4289908000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23668/statm: 642 280 239 194 0 29 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5136 [startup+0.304143 s] /proc/loadavg: 1.03 1.16 1.15 5/36 23670 /proc/meminfo: memFree=332684/1048576 swapFree=0/0 [pid=23667] ppid=23666 vsize=2568 CPUtime=0 /proc/23667/stat : 23667 (p2cudf-user-1.1) S 23666 23667 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 46289950 2629632 271 1283457024 134512640 135304128 4291856080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23667/statm: 642 271 230 194 0 29 0 [pid=23668] ppid=23667 vsize=2568 CPUtime=0.02 /proc/23668/stat : 23668 (p2cudf) S 23667 23667 17511 34816 17511 4202496 390 3011 0 1 0 0 2 0 25 0 1 0 46289951 2629632 280 1283457024 134512640 135304128 4289908000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23668/statm: 642 280 239 194 0 29 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5136 [startup+0.704255 s] /proc/loadavg: 1.03 1.16 1.15 5/36 23670 /proc/meminfo: memFree=332684/1048576 swapFree=0/0 [pid=23667] ppid=23666 vsize=2568 CPUtime=0 /proc/23667/stat : 23667 (p2cudf-user-1.1) S 23666 23667 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 46289950 2629632 271 1283457024 134512640 135304128 4291856080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23667/statm: 642 271 230 194 0 29 0 [pid=23668] ppid=23667 vsize=2568 CPUtime=0.02 /proc/23668/stat : 23668 (p2cudf) S 23667 23667 17511 34816 17511 4202496 390 3011 0 1 0 0 2 0 25 0 1 0 46289951 2629632 280 1283457024 134512640 135304128 4289908000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23668/statm: 642 280 239 194 0 29 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5136 [startup+1.50442 s] /proc/loadavg: 1.03 1.16 1.15 3/45 23690 /proc/meminfo: memFree=285428/1048576 swapFree=0/0 [pid=23667] ppid=23666 vsize=2568 CPUtime=0 /proc/23667/stat : 23667 (p2cudf-user-1.1) S 23666 23667 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 46289950 2629632 271 1283457024 134512640 135304128 4291856080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23667/statm: 642 271 230 194 0 29 0 [pid=23668] ppid=23667 vsize=2568 CPUtime=0.02 /proc/23668/stat : 23668 (p2cudf) S 23667 23667 17511 34816 17511 4202496 390 3011 0 1 0 0 2 0 25 0 1 0 46289951 2629632 280 1283457024 134512640 135304128 4289908000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23668/statm: 642 280 239 194 0 29 0 [pid=23681] ppid=23668 vsize=878736 CPUtime=1.46 /proc/23681/stat : 23681 (java) S 23668 23667 17511 34816 17511 4202496 19632 0 1 0 139 7 0 0 25 0 10 0 46289954 899825664 16882 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23681/statm: 219684 16882 1729 10 0 216775 0 [pid=23681/tid=23682] ppid=23668 vsize=878736 CPUtime=0.79 /proc/23681/task/23682/stat : 23682 (java) R 23668 23667 17511 34816 17511 4202560 9870 0 1 0 75 4 0 0 25 0 10 0 46289955 899825664 16882 1283457024 134512640 134550932 4293687120 18446744073709551615 4152408336 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=23681/tid=23683] ppid=23668 vsize=878736 CPUtime=0 /proc/23681/task/23683/stat : 23683 (java) S 23668 23667 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 17 0 10 0 46289956 899825664 16882 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23684] ppid=23668 vsize=878736 CPUtime=0 /proc/23681/task/23684/stat : 23684 (java) S 23668 23667 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 46289957 899825664 16882 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23685] ppid=23668 vsize=878736 CPUtime=0 /proc/23681/task/23685/stat : 23685 (java) S 23668 23667 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46289957 899825664 16882 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23686] ppid=23668 vsize=878736 CPUtime=0 /proc/23681/task/23686/stat : 23686 (java) S 23668 23667 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46289959 899825664 16882 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23687] ppid=23668 vsize=878736 CPUtime=0.55 /proc/23681/task/23687/stat : 23687 (java) R 23668 23667 17511 34816 17511 4202560 7639 0 0 0 53 2 0 0 25 0 10 0 46289959 899825664 16882 1283457024 134512640 134550932 4293687120 18446744073709551615 4149519239 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=23681/tid=23688] ppid=23668 vsize=878736 CPUtime=0.1 /proc/23681/task/23688/stat : 23688 (java) S 23668 23667 17511 34816 17511 4202560 1044 0 0 0 10 0 0 0 19 0 10 0 46289959 899825664 16882 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23689] ppid=23668 vsize=878736 CPUtime=0 /proc/23681/task/23689/stat : 23689 (java) S 23668 23667 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46289959 899825664 16882 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23690] ppid=23668 vsize=878736 CPUtime=0 /proc/23681/task/23690/stat : 23690 (java) S 23668 23667 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46289959 899825664 16882 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 883872 [startup+3.11571 s] /proc/loadavg: 1.03 1.16 1.15 2/45 23690 /proc/meminfo: memFree=173580/1048576 swapFree=0/0 [pid=23667] ppid=23666 vsize=2568 CPUtime=0 /proc/23667/stat : 23667 (p2cudf-user-1.1) S 23666 23667 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 46289950 2629632 271 1283457024 134512640 135304128 4291856080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23667/statm: 642 271 230 194 0 29 0 [pid=23668] ppid=23667 vsize=2568 CPUtime=0.02 /proc/23668/stat : 23668 (p2cudf) S 23667 23667 17511 34816 17511 4202496 390 3011 0 1 0 0 2 0 25 0 1 0 46289951 2629632 280 1283457024 134512640 135304128 4289908000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23668/statm: 642 280 239 194 0 29 0 [pid=23681] ppid=23668 vsize=878736 CPUtime=3.07 /proc/23681/stat : 23681 (java) S 23668 23667 17511 34816 17511 4202496 72725 0 1 0 282 25 0 0 25 0 10 0 46289954 899825664 69975 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23681/statm: 219684 69975 1743 10 0 216775 0 [pid=23681/tid=23682] ppid=23668 vsize=878736 CPUtime=1.75 /proc/23681/task/23682/stat : 23682 (java) R 23668 23667 17511 34816 17511 4202560 50090 0 1 0 155 20 0 0 25 0 10 0 46289955 899825664 69975 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=23681/tid=23683] ppid=23668 vsize=878736 CPUtime=0.3 /proc/23681/task/23683/stat : 23683 (java) S 23668 23667 17511 34816 17511 4202560 12823 0 0 0 28 2 0 0 16 0 10 0 46289956 899825664 69975 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23684] ppid=23668 vsize=878736 CPUtime=0 /proc/23681/task/23684/stat : 23684 (java) S 23668 23667 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 10 0 46289957 899825664 69975 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23685] ppid=23668 vsize=878736 CPUtime=0 /proc/23681/task/23685/stat : 23685 (java) S 23668 23667 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 46289957 899825664 69975 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23686] ppid=23668 vsize=878736 CPUtime=0 /proc/23681/task/23686/stat : 23686 (java) S 23668 23667 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46289959 899825664 69975 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23687] ppid=23668 vsize=878736 CPUtime=0.8 /proc/23681/task/23687/stat : 23687 (java) R 23668 23667 17511 34816 17511 4202560 7685 0 0 0 78 2 0 0 20 0 10 0 46289959 899825664 69975 1283457024 134512640 134550932 4293687120 18446744073709551615 4151583073 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=23681/tid=23688] ppid=23668 vsize=878736 CPUtime=0.2 /proc/23681/task/23688/stat : 23688 (java) S 23668 23667 17511 34816 17511 4202560 1051 0 0 0 20 0 0 0 15 0 10 0 46289959 899825664 69975 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23689] ppid=23668 vsize=878736 CPUtime=0 /proc/23681/task/23689/stat : 23689 (java) S 23668 23667 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46289959 899825664 69975 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23690] ppid=23668 vsize=878736 CPUtime=0 /proc/23681/task/23690/stat : 23690 (java) S 23668 23667 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46289959 899825664 69975 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 883872 [startup+6.30574 s] /proc/loadavg: 1.11 1.17 1.16 3/46 23691 /proc/meminfo: memFree=57632/1048576 swapFree=0/0 [pid=23667] ppid=23666 vsize=2568 CPUtime=0 /proc/23667/stat : 23667 (p2cudf-user-1.1) S 23666 23667 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 46289950 2629632 271 1283457024 134512640 135304128 4291856080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23667/statm: 642 271 230 194 0 29 0 [pid=23668] ppid=23667 vsize=2568 CPUtime=0.02 /proc/23668/stat : 23668 (p2cudf) S 23667 23667 17511 34816 17511 4202496 390 3011 0 1 0 0 2 0 25 0 1 0 46289951 2629632 280 1283457024 134512640 135304128 4289908000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23668/statm: 642 280 239 194 0 29 0 [pid=23681] ppid=23668 vsize=879060 CPUtime=6.26 /proc/23681/stat : 23681 (java) S 23668 23667 17511 34816 17511 4202496 73105 0 1 0 599 27 0 0 25 0 11 0 46289954 900157440 70355 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23681/statm: 219765 70355 1780 10 0 216856 0 [pid=23681/tid=23682] ppid=23668 vsize=879060 CPUtime=3.57 /proc/23681/task/23682/stat : 23682 (java) R 23668 23667 17511 34816 17511 4202560 50276 0 1 0 335 22 0 0 25 0 11 0 46289955 900157440 70355 1283457024 134512640 134550932 4293687120 18446744073709551615 4095651313 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=23681/tid=23683] ppid=23668 vsize=879060 CPUtime=0.3 /proc/23681/task/23683/stat : 23683 (java) S 23668 23667 17511 34816 17511 4202560 12823 0 0 0 28 2 0 0 16 0 11 0 46289956 900157440 70355 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23684] ppid=23668 vsize=879060 CPUtime=0 /proc/23681/task/23684/stat : 23684 (java) S 23668 23667 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46289957 900157440 70355 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23685] ppid=23668 vsize=879060 CPUtime=0 /proc/23681/task/23685/stat : 23685 (java) S 23668 23667 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46289957 900157440 70355 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23686] ppid=23668 vsize=879060 CPUtime=0 /proc/23681/task/23686/stat : 23686 (java) S 23668 23667 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46289959 900157440 70355 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23687] ppid=23668 vsize=879060 CPUtime=2 /proc/23681/task/23687/stat : 23687 (java) S 23668 23667 17511 34816 17511 4202560 7846 0 0 0 198 2 0 0 15 0 11 0 46289959 900157440 70355 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23688] ppid=23668 vsize=879060 CPUtime=0.37 /proc/23681/task/23688/stat : 23688 (java) S 23668 23667 17511 34816 17511 4202560 1079 0 0 0 37 0 0 0 15 0 11 0 46289959 900157440 70355 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23689] ppid=23668 vsize=879060 CPUtime=0 /proc/23681/task/23689/stat : 23689 (java) S 23668 23667 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46289959 900157440 70355 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23690] ppid=23668 vsize=879060 CPUtime=0 /proc/23681/task/23690/stat : 23690 (java) S 23668 23667 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46289959 900157440 70355 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23691] ppid=23668 vsize=879060 CPUtime=0 /proc/23681/task/23691/stat : 23691 (java) S 23668 23667 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 11 0 46290423 900157440 70355 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 884196 [startup+12.7093 s] /proc/loadavg: 1.10 1.17 1.16 2/46 23691 /proc/meminfo: memFree=64460/1048576 swapFree=0/0 [pid=23667] ppid=23666 vsize=2568 CPUtime=0 /proc/23667/stat : 23667 (p2cudf-user-1.1) S 23666 23667 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 46289950 2629632 271 1283457024 134512640 135304128 4291856080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23667/statm: 642 271 230 194 0 29 0 [pid=23668] ppid=23667 vsize=2568 CPUtime=0.02 /proc/23668/stat : 23668 (p2cudf) S 23667 23667 17511 34816 17511 4202496 390 3011 0 1 0 0 2 0 25 0 1 0 46289951 2629632 280 1283457024 134512640 135304128 4289908000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23668/statm: 642 280 239 194 0 29 0 [pid=23681] ppid=23668 vsize=871384 CPUtime=12.65 /proc/23681/stat : 23681 (java) S 23668 23667 17511 34816 17511 4202496 73152 0 1 0 1238 27 0 0 25 0 11 0 46289954 892297216 68513 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23681/statm: 217846 68513 1783 10 0 214937 0 [pid=23681/tid=23682] ppid=23668 vsize=871384 CPUtime=9.48 /proc/23681/task/23682/stat : 23682 (java) R 23668 23667 17511 34816 17511 4202560 50283 0 1 0 926 22 0 0 25 0 11 0 46289955 892297216 68513 1283457024 134512640 134550932 4293687120 18446744073709551615 4095651499 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=23681/tid=23683] ppid=23668 vsize=871384 CPUtime=0.3 /proc/23681/task/23683/stat : 23683 (java) S 23668 23667 17511 34816 17511 4202560 12823 0 0 0 28 2 0 0 16 0 11 0 46289956 892297216 68513 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23684] ppid=23668 vsize=871384 CPUtime=0 /proc/23681/task/23684/stat : 23684 (java) S 23668 23667 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46289957 892297216 68513 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23685] ppid=23668 vsize=871384 CPUtime=0 /proc/23681/task/23685/stat : 23685 (java) S 23668 23667 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46289957 892297216 68513 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23686] ppid=23668 vsize=871384 CPUtime=0 /proc/23681/task/23686/stat : 23686 (java) S 23668 23667 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46289959 892297216 68513 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23687] ppid=23668 vsize=871384 CPUtime=2.49 /proc/23681/task/23687/stat : 23687 (java) S 23668 23667 17511 34816 17511 4202560 7886 0 0 0 247 2 0 0 15 0 11 0 46289959 892297216 68513 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23688] ppid=23668 vsize=871384 CPUtime=0.37 /proc/23681/task/23688/stat : 23688 (java) S 23668 23667 17511 34816 17511 4202560 1079 0 0 0 37 0 0 0 15 0 11 0 46289959 892297216 68513 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23689] ppid=23668 vsize=871384 CPUtime=0 /proc/23681/task/23689/stat : 23689 (java) S 23668 23667 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46289959 892297216 68513 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23690] ppid=23668 vsize=871384 CPUtime=0 /proc/23681/task/23690/stat : 23690 (java) S 23668 23667 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46289959 892297216 68513 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23691] ppid=23668 vsize=871384 CPUtime=0 /proc/23681/task/23691/stat : 23691 (java) S 23668 23667 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 11 0 46290423 892297216 68513 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 876520 Solver just ended. Dumping a history of the last processes samples [startup+12.8093 s] /proc/loadavg: 1.10 1.17 1.16 2/46 23691 /proc/meminfo: memFree=64460/1048576 swapFree=0/0 [pid=23667] ppid=23666 vsize=2568 CPUtime=0 /proc/23667/stat : 23667 (p2cudf-user-1.1) S 23666 23667 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 46289950 2629632 271 1283457024 134512640 135304128 4291856080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23667/statm: 642 271 230 194 0 29 0 [pid=23668] ppid=23667 vsize=2568 CPUtime=0.02 /proc/23668/stat : 23668 (p2cudf) S 23667 23667 17511 34816 17511 4202496 390 3011 0 1 0 0 2 0 25 0 1 0 46289951 2629632 280 1283457024 134512640 135304128 4289908000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23668/statm: 642 280 239 194 0 29 0 [pid=23681] ppid=23668 vsize=871384 CPUtime=12.75 /proc/23681/stat : 23681 (java) S 23668 23667 17511 34816 17511 4202496 73152 0 1 0 1248 27 0 0 25 0 11 0 46289954 892297216 68513 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23681/statm: 217846 68513 1783 10 0 214937 0 [pid=23681/tid=23682] ppid=23668 vsize=871384 CPUtime=9.58 /proc/23681/task/23682/stat : 23682 (java) R 23668 23667 17511 34816 17511 4202560 50283 0 1 0 936 22 0 0 25 0 11 0 46289955 892297216 68513 1283457024 134512640 134550932 4293687120 18446744073709551615 4095780956 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=23681/tid=23683] ppid=23668 vsize=871384 CPUtime=0.3 /proc/23681/task/23683/stat : 23683 (java) S 23668 23667 17511 34816 17511 4202560 12823 0 0 0 28 2 0 0 16 0 11 0 46289956 892297216 68513 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23684] ppid=23668 vsize=871384 CPUtime=0 /proc/23681/task/23684/stat : 23684 (java) S 23668 23667 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46289957 892297216 68513 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23685] ppid=23668 vsize=871384 CPUtime=0 /proc/23681/task/23685/stat : 23685 (java) S 23668 23667 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46289957 892297216 68513 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23686] ppid=23668 vsize=871384 CPUtime=0 /proc/23681/task/23686/stat : 23686 (java) S 23668 23667 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46289959 892297216 68513 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23687] ppid=23668 vsize=871384 CPUtime=2.49 /proc/23681/task/23687/stat : 23687 (java) S 23668 23667 17511 34816 17511 4202560 7886 0 0 0 247 2 0 0 15 0 11 0 46289959 892297216 68513 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23688] ppid=23668 vsize=871384 CPUtime=0.37 /proc/23681/task/23688/stat : 23688 (java) S 23668 23667 17511 34816 17511 4202560 1079 0 0 0 37 0 0 0 15 0 11 0 46289959 892297216 68513 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23689] ppid=23668 vsize=871384 CPUtime=0 /proc/23681/task/23689/stat : 23689 (java) S 23668 23667 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46289959 892297216 68513 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23690] ppid=23668 vsize=871384 CPUtime=0 /proc/23681/task/23690/stat : 23690 (java) S 23668 23667 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46289959 892297216 68513 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23691] ppid=23668 vsize=871384 CPUtime=0 /proc/23681/task/23691/stat : 23691 (java) S 23668 23667 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 11 0 46290423 892297216 68513 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.77 Current children cumulated vsize (KiB) 876520 [startup+14.4095 s] /proc/loadavg: 1.10 1.17 1.16 2/46 23691 /proc/meminfo: memFree=64460/1048576 swapFree=0/0 [pid=23667] ppid=23666 vsize=2568 CPUtime=0 /proc/23667/stat : 23667 (p2cudf-user-1.1) S 23666 23667 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 46289950 2629632 271 1283457024 134512640 135304128 4291856080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23667/statm: 642 271 230 194 0 29 0 [pid=23668] ppid=23667 vsize=2568 CPUtime=0.02 /proc/23668/stat : 23668 (p2cudf) S 23667 23667 17511 34816 17511 4202496 390 3011 0 1 0 0 2 0 25 0 1 0 46289951 2629632 280 1283457024 134512640 135304128 4289908000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23668/statm: 642 280 239 194 0 29 0 [pid=23681] ppid=23668 vsize=871384 CPUtime=14.35 /proc/23681/stat : 23681 (java) S 23668 23667 17511 34816 17511 4202496 73153 0 1 0 1408 27 0 0 25 0 11 0 46289954 892297216 68514 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23681/statm: 217846 68514 1783 10 0 214937 0 [pid=23681/tid=23682] ppid=23668 vsize=871384 CPUtime=11.17 /proc/23681/task/23682/stat : 23682 (java) R 23668 23667 17511 34816 17511 4202560 50283 0 1 0 1095 22 0 0 25 0 11 0 46289955 892297216 68514 1283457024 134512640 134550932 4293687120 18446744073709551615 4095651165 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=23681/tid=23683] ppid=23668 vsize=871384 CPUtime=0.3 /proc/23681/task/23683/stat : 23683 (java) S 23668 23667 17511 34816 17511 4202560 12823 0 0 0 28 2 0 0 15 0 11 0 46289956 892297216 68514 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23684] ppid=23668 vsize=871384 CPUtime=0 /proc/23681/task/23684/stat : 23684 (java) S 23668 23667 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46289957 892297216 68514 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23685] ppid=23668 vsize=871384 CPUtime=0 /proc/23681/task/23685/stat : 23685 (java) S 23668 23667 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46289957 892297216 68514 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23686] ppid=23668 vsize=871384 CPUtime=0 /proc/23681/task/23686/stat : 23686 (java) S 23668 23667 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46289959 892297216 68514 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23687] ppid=23668 vsize=871384 CPUtime=2.5 /proc/23681/task/23687/stat : 23687 (java) S 23668 23667 17511 34816 17511 4202560 7887 0 0 0 248 2 0 0 15 0 11 0 46289959 892297216 68514 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23688] ppid=23668 vsize=871384 CPUtime=0.37 /proc/23681/task/23688/stat : 23688 (java) S 23668 23667 17511 34816 17511 4202560 1079 0 0 0 37 0 0 0 15 0 11 0 46289959 892297216 68514 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23689] ppid=23668 vsize=871384 CPUtime=0 /proc/23681/task/23689/stat : 23689 (java) S 23668 23667 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46289959 892297216 68514 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23690] ppid=23668 vsize=871384 CPUtime=0 /proc/23681/task/23690/stat : 23690 (java) S 23668 23667 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46289959 892297216 68514 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23691] ppid=23668 vsize=871384 CPUtime=0 /proc/23681/task/23691/stat : 23691 (java) S 23668 23667 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 11 0 46290423 892297216 68514 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 14.37 Current children cumulated vsize (KiB) 876520 [startup+16.0101 s] /proc/loadavg: 1.09 1.16 1.16 2/46 23691 /proc/meminfo: memFree=64460/1048576 swapFree=0/0 [pid=23667] ppid=23666 vsize=2568 CPUtime=0 /proc/23667/stat : 23667 (p2cudf-user-1.1) S 23666 23667 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 46289950 2629632 271 1283457024 134512640 135304128 4291856080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23667/statm: 642 271 230 194 0 29 0 [pid=23668] ppid=23667 vsize=2568 CPUtime=0.02 /proc/23668/stat : 23668 (p2cudf) S 23667 23667 17511 34816 17511 4202496 390 3011 0 1 0 0 2 0 25 0 1 0 46289951 2629632 280 1283457024 134512640 135304128 4289908000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23668/statm: 642 280 239 194 0 29 0 [pid=23681] ppid=23668 vsize=871384 CPUtime=15.95 /proc/23681/stat : 23681 (java) S 23668 23667 17511 34816 17511 4202496 73155 0 1 0 1568 27 0 0 25 0 11 0 46289954 892297216 68516 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23681/statm: 217846 68516 1783 10 0 214937 0 [pid=23681/tid=23682] ppid=23668 vsize=871384 CPUtime=12.75 /proc/23681/task/23682/stat : 23682 (java) R 23668 23667 17511 34816 17511 4202560 50283 0 1 0 1253 22 0 0 25 0 11 0 46289955 892297216 68516 1283457024 134512640 134550932 4293687120 18446744073709551615 4094791481 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=23681/tid=23683] ppid=23668 vsize=871384 CPUtime=0.3 /proc/23681/task/23683/stat : 23683 (java) S 23668 23667 17511 34816 17511 4202560 12823 0 0 0 28 2 0 0 15 0 11 0 46289956 892297216 68516 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23684] ppid=23668 vsize=871384 CPUtime=0 /proc/23681/task/23684/stat : 23684 (java) S 23668 23667 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46289957 892297216 68516 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23685] ppid=23668 vsize=871384 CPUtime=0 /proc/23681/task/23685/stat : 23685 (java) S 23668 23667 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46289957 892297216 68516 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23686] ppid=23668 vsize=871384 CPUtime=0 /proc/23681/task/23686/stat : 23686 (java) S 23668 23667 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46289959 892297216 68516 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23687] ppid=23668 vsize=871384 CPUtime=2.51 /proc/23681/task/23687/stat : 23687 (java) S 23668 23667 17511 34816 17511 4202560 7889 0 0 0 249 2 0 0 15 0 11 0 46289959 892297216 68516 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23688] ppid=23668 vsize=871384 CPUtime=0.37 /proc/23681/task/23688/stat : 23688 (java) S 23668 23667 17511 34816 17511 4202560 1079 0 0 0 37 0 0 0 15 0 11 0 46289959 892297216 68516 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23689] ppid=23668 vsize=871384 CPUtime=0 /proc/23681/task/23689/stat : 23689 (java) S 23668 23667 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46289959 892297216 68516 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23690] ppid=23668 vsize=871384 CPUtime=0 /proc/23681/task/23690/stat : 23690 (java) S 23668 23667 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46289959 892297216 68516 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23691] ppid=23668 vsize=871384 CPUtime=0 /proc/23681/task/23691/stat : 23691 (java) S 23668 23667 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 11 0 46290423 892297216 68516 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 15.97 Current children cumulated vsize (KiB) 876520 [startup+16.8232 s] /proc/loadavg: 1.09 1.16 1.16 1/46 23692 /proc/meminfo: memFree=64460/1048576 swapFree=0/0 [pid=23667] ppid=23666 vsize=2568 CPUtime=0 /proc/23667/stat : 23667 (p2cudf-user-1.1) S 23666 23667 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 46289950 2629632 271 1283457024 134512640 135304128 4291856080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23667/statm: 642 271 230 194 0 29 0 [pid=23668] ppid=23667 vsize=2568 CPUtime=0.02 /proc/23668/stat : 23668 (p2cudf) S 23667 23667 17511 34816 17511 4202496 390 3011 0 1 0 0 2 0 25 0 1 0 46289951 2629632 280 1283457024 134512640 135304128 4289908000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23668/statm: 642 280 239 194 0 29 0 [pid=23681] ppid=23668 vsize=871708 CPUtime=16.25 /proc/23681/stat : 23681 (java) S 23668 23667 17511 34816 17511 4202496 73851 0 1 0 1598 27 0 0 25 0 11 0 46289954 892628992 69212 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23681/statm: 217927 69212 1784 10 0 215018 0 [pid=23681/tid=23682] ppid=23668 vsize=871708 CPUtime=12.98 /proc/23681/task/23682/stat : 23682 (java) S 23668 23667 17511 34816 17511 4202560 50291 0 1 0 1276 22 0 0 25 0 11 0 46289955 892628992 69212 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23683] ppid=23668 vsize=871708 CPUtime=0.32 /proc/23681/task/23683/stat : 23683 (java) R 23668 23667 17511 34816 17511 4202560 13500 0 0 0 30 2 0 0 15 0 11 0 46289956 892628992 69212 1283457024 134512640 134550932 4293687120 18446744073709551615 4148769144 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=23681/tid=23684] ppid=23668 vsize=871708 CPUtime=0 /proc/23681/task/23684/stat : 23684 (java) S 23668 23667 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46289957 892628992 69212 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23685] ppid=23668 vsize=871708 CPUtime=0 /proc/23681/task/23685/stat : 23685 (java) S 23668 23667 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46289957 892628992 69212 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23686] ppid=23668 vsize=871708 CPUtime=0 /proc/23681/task/23686/stat : 23686 (java) S 23668 23667 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46289959 892628992 69212 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23687] ppid=23668 vsize=871708 CPUtime=2.56 /proc/23681/task/23687/stat : 23687 (java) S 23668 23667 17511 34816 17511 4202560 7895 0 0 0 254 2 0 0 16 0 11 0 46289959 892628992 69212 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23688] ppid=23668 vsize=871708 CPUtime=0.37 /proc/23681/task/23688/stat : 23688 (java) S 23668 23667 17511 34816 17511 4202560 1079 0 0 0 37 0 0 0 15 0 11 0 46289959 892628992 69212 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23689] ppid=23668 vsize=871708 CPUtime=0 /proc/23681/task/23689/stat : 23689 (java) S 23668 23667 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46289959 892628992 69212 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23690] ppid=23668 vsize=871708 CPUtime=0 /proc/23681/task/23690/stat : 23690 (java) S 23668 23667 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46289959 892628992 69212 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23692] ppid=23668 vsize=871708 CPUtime=0 /proc/23681/task/23692/stat : 23692 (java) R 23668 23667 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 20 0 11 0 46291579 892628992 69212 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16.27 Current children cumulated vsize (KiB) 876844 [startup+17.2132 s] /proc/loadavg: 1.09 1.16 1.16 1/46 23692 /proc/meminfo: memFree=64460/1048576 swapFree=0/0 [pid=23667] ppid=23666 vsize=2568 CPUtime=0 /proc/23667/stat : 23667 (p2cudf-user-1.1) S 23666 23667 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 46289950 2629632 271 1283457024 134512640 135304128 4291856080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23667/statm: 642 271 230 194 0 29 0 [pid=23668] ppid=23667 vsize=2568 CPUtime=0.02 /proc/23668/stat : 23668 (p2cudf) S 23667 23667 17511 34816 17511 4202496 390 3011 0 1 0 0 2 0 25 0 1 0 46289951 2629632 280 1283457024 134512640 135304128 4289908000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/23668/statm: 642 280 239 194 0 29 0 [pid=23681] ppid=23668 vsize=871708 CPUtime=16.64 /proc/23681/stat : 23681 (java) S 23668 23667 17511 34816 17511 4202496 83295 0 1 0 1630 34 0 0 25 0 11 0 46289954 892628992 78656 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23681/statm: 217927 78656 1784 10 0 215018 0 [pid=23681/tid=23682] ppid=23668 vsize=871708 CPUtime=12.98 /proc/23681/task/23682/stat : 23682 (java) S 23668 23667 17511 34816 17511 4202560 50291 0 1 0 1276 22 0 0 25 0 11 0 46289955 892628992 78656 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23683] ppid=23668 vsize=871708 CPUtime=0.56 /proc/23681/task/23683/stat : 23683 (java) S 23668 23667 17511 34816 17511 4202560 22942 0 0 0 53 3 0 0 16 0 11 0 46289956 892628992 78656 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23684] ppid=23668 vsize=871708 CPUtime=0 /proc/23681/task/23684/stat : 23684 (java) S 23668 23667 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46289957 892628992 78656 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23685] ppid=23668 vsize=871708 CPUtime=0 /proc/23681/task/23685/stat : 23685 (java) S 23668 23667 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46289957 892628992 78656 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23686] ppid=23668 vsize=871708 CPUtime=0 /proc/23681/task/23686/stat : 23686 (java) S 23668 23667 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46289959 892628992 78656 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23687] ppid=23668 vsize=871708 CPUtime=2.58 /proc/23681/task/23687/stat : 23687 (java) S 23668 23667 17511 34816 17511 4202560 7895 0 0 0 256 2 0 0 15 0 11 0 46289959 892628992 78656 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23688] ppid=23668 vsize=871708 CPUtime=0.37 /proc/23681/task/23688/stat : 23688 (java) S 23668 23667 17511 34816 17511 4202560 1079 0 0 0 37 0 0 0 15 0 11 0 46289959 892628992 78656 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23689] ppid=23668 vsize=871708 CPUtime=0 /proc/23681/task/23689/stat : 23689 (java) S 23668 23667 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46289959 892628992 78656 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=23681/tid=23690] ppid=23668 vsize=871708 CPUtime=0 /proc/23681/task/23690/stat : 23690 (java) R 23668 23667 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46289959 892628992 78656 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=23681/tid=23692] ppid=23668 vsize=871708 CPUtime=0.13 /proc/23681/task/23692/stat : 23692 (java) R 23668 23667 17511 34816 17511 4202560 6 0 0 0 7 6 0 0 20 0 11 0 46291579 892628992 78656 1283457024 134512640 134550932 4293687120 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16.66 Current children cumulated vsize (KiB) 876844 Child status: 0 Real time (s): 17.2938 CPU time (s): 16.729 CPU user time (s): 16.349 CPU system time (s): 0.380023 CPU usage (%): 96.7345 Max. virtual memory (cumulated for all children) (KiB): 884196 getrusage(RUSAGE_CHILDREN,...) data: user time used= 16.349 system time used= 0.380023 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 87094 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1280 involuntary context switches= 1385 runsolver used 0.012 second user time and 0 second system time The end