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/201012091434/p2cudf-user-1.10/8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./p2cudf-user-1.10 /home/misc2010/data/2010/debian-dudf//8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf /home/misc2010/tmp/201012091434/p2cudf-user-1.10/8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debian-dudf.result -changed,-removed,-unmet_recommends,-new 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.04 1.01 3/39 31238 /proc/meminfo: memFree=421272/1048576 swapFree=2095372/2097144 [pid=31237] ppid=31236 vsize=2576 CPUtime=0 /proc/31237/stat : 31237 (p2cudf-user-1.1) R 31236 31237 25521 34816 25544 4202496 360 0 0 0 0 0 0 0 25 0 1 0 900417805 2637824 274 1283457024 134512640 135304128 4293203984 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/31237/statm: 644 274 233 194 0 30 0 [pid=31238] ppid=31237 vsize=2576 CPUtime=0 /proc/31238/stat : 31238 (p2cudf-user-1.1) R 31237 31237 25521 34816 25544 4202560 0 0 0 0 0 0 0 0 25 0 1 0 900417806 2637824 41 1283457024 134512640 135304128 4293203984 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/31238/statm: 644 41 0 194 0 30 0 [startup+0.123104 s] /proc/loadavg: 1.03 1.04 1.01 3/39 31238 /proc/meminfo: memFree=421272/1048576 swapFree=2095372/2097144 [pid=31237] ppid=31236 vsize=2576 CPUtime=0 /proc/31237/stat : 31237 (p2cudf-user-1.1) S 31236 31237 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 900417805 2637824 274 1283457024 134512640 135304128 4293203984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31237/statm: 644 274 233 194 0 30 0 [pid=31238] ppid=31237 vsize=2576 CPUtime=0.02 /proc/31238/stat : 31238 (p2cudf) S 31237 31237 25521 34816 25544 4202496 394 2991 0 1 0 0 2 0 25 0 1 0 900417806 2637824 283 1283457024 134512640 135304128 4289283200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31238/statm: 644 283 241 194 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5152 [startup+0.211124 s] /proc/loadavg: 1.03 1.04 1.01 3/39 31238 /proc/meminfo: memFree=421272/1048576 swapFree=2095372/2097144 [pid=31237] ppid=31236 vsize=2576 CPUtime=0 /proc/31237/stat : 31237 (p2cudf-user-1.1) S 31236 31237 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 900417805 2637824 274 1283457024 134512640 135304128 4293203984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31237/statm: 644 274 233 194 0 30 0 [pid=31238] ppid=31237 vsize=2576 CPUtime=0.02 /proc/31238/stat : 31238 (p2cudf) S 31237 31237 25521 34816 25544 4202496 394 2991 0 1 0 0 2 0 25 0 1 0 900417806 2637824 283 1283457024 134512640 135304128 4289283200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31238/statm: 644 283 241 194 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5152 [startup+0.311145 s] /proc/loadavg: 1.03 1.04 1.01 3/39 31238 /proc/meminfo: memFree=421272/1048576 swapFree=2095372/2097144 [pid=31237] ppid=31236 vsize=2576 CPUtime=0 /proc/31237/stat : 31237 (p2cudf-user-1.1) S 31236 31237 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 900417805 2637824 274 1283457024 134512640 135304128 4293203984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31237/statm: 644 274 233 194 0 30 0 [pid=31238] ppid=31237 vsize=2576 CPUtime=0.02 /proc/31238/stat : 31238 (p2cudf) S 31237 31237 25521 34816 25544 4202496 394 2991 0 1 0 0 2 0 25 0 1 0 900417806 2637824 283 1283457024 134512640 135304128 4289283200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31238/statm: 644 283 241 194 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5152 [startup+0.711203 s] /proc/loadavg: 1.03 1.04 1.01 3/39 31238 /proc/meminfo: memFree=421272/1048576 swapFree=2095372/2097144 [pid=31237] ppid=31236 vsize=2576 CPUtime=0 /proc/31237/stat : 31237 (p2cudf-user-1.1) S 31236 31237 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 900417805 2637824 274 1283457024 134512640 135304128 4293203984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31237/statm: 644 274 233 194 0 30 0 [pid=31238] ppid=31237 vsize=2576 CPUtime=0.02 /proc/31238/stat : 31238 (p2cudf) S 31237 31237 25521 34816 25544 4202496 394 2991 0 1 0 0 2 0 25 0 1 0 900417806 2637824 283 1283457024 134512640 135304128 4289283200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31238/statm: 644 283 241 194 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5152 [startup+1.51138 s] /proc/loadavg: 1.03 1.04 1.01 3/50 31260 /proc/meminfo: memFree=379960/1048576 swapFree=2095372/2097144 [pid=31237] ppid=31236 vsize=2576 CPUtime=0 /proc/31237/stat : 31237 (p2cudf-user-1.1) S 31236 31237 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 900417805 2637824 274 1283457024 134512640 135304128 4293203984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31237/statm: 644 274 233 194 0 30 0 [pid=31238] ppid=31237 vsize=2576 CPUtime=0.02 /proc/31238/stat : 31238 (p2cudf) S 31237 31237 25521 34816 25544 4202496 394 2991 0 1 0 0 2 0 25 0 1 0 900417806 2637824 283 1283457024 134512640 135304128 4289283200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31238/statm: 644 283 241 194 0 30 0 [pid=31251] ppid=31238 vsize=889644 CPUtime=1.46 /proc/31251/stat : 31251 (java) S 31238 31237 25521 34816 25544 4202496 18377 0 1 0 138 8 0 0 25 0 10 0 900417809 910995456 15457 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31251/statm: 222411 15457 1732 10 0 219501 0 [pid=31251/tid=31252] ppid=31238 vsize=889644 CPUtime=0.6 /proc/31251/task/31252/stat : 31252 (java) R 31238 31237 25521 34816 25544 4202560 6197 0 1 0 60 0 0 0 25 0 10 0 900417810 910995456 15457 1283457024 134512640 134550932 4293379840 18446744073709551615 4095640309 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31251/tid=31253] ppid=31238 vsize=889644 CPUtime=0 /proc/31251/task/31253/stat : 31253 (java) S 31238 31237 25521 34816 25544 4202560 5 0 0 0 0 0 0 0 15 0 10 0 900417811 910995456 15457 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 0 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31254] ppid=31238 vsize=889644 CPUtime=0 /proc/31251/task/31254/stat : 31254 (java) S 31238 31237 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 25 0 10 0 900417813 910995456 15457 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31255] ppid=31238 vsize=889644 CPUtime=0 /proc/31251/task/31255/stat : 31255 (java) S 31238 31237 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 10 0 900417813 910995456 15457 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31256] ppid=31238 vsize=889644 CPUtime=0 /proc/31251/task/31256/stat : 31256 (java) S 31238 31237 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900417815 910995456 15457 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31257] ppid=31238 vsize=889644 CPUtime=0.56 /proc/31251/task/31257/stat : 31257 (java) R 31238 31237 25521 34816 25544 4202560 8866 0 0 0 51 5 0 0 24 0 10 0 900417815 910995456 15457 1283457024 134512640 134550932 4293379840 18446744073709551615 4150431126 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31251/tid=31258] ppid=31238 vsize=889644 CPUtime=0.27 /proc/31251/task/31258/stat : 31258 (java) R 31238 31237 25521 34816 25544 4202560 2198 0 0 0 26 1 0 0 22 0 10 0 900417815 910995456 15457 1283457024 134512640 134550932 4293379840 18446744073709551615 4152887883 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31251/tid=31259] ppid=31238 vsize=889644 CPUtime=0 /proc/31251/task/31259/stat : 31259 (java) S 31238 31237 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 25 0 10 0 900417815 910995456 15457 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31260] ppid=31238 vsize=889644 CPUtime=0 /proc/31251/task/31260/stat : 31260 (java) S 31238 31237 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 10 0 900417815 910995456 15457 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 894796 [startup+3.10731 s] /proc/loadavg: 1.03 1.04 1.01 2/50 31260 /proc/meminfo: memFree=328424/1048576 swapFree=2095372/2097144 [pid=31237] ppid=31236 vsize=2576 CPUtime=0 /proc/31237/stat : 31237 (p2cudf-user-1.1) S 31236 31237 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 900417805 2637824 274 1283457024 134512640 135304128 4293203984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31237/statm: 644 274 233 194 0 30 0 [pid=31238] ppid=31237 vsize=2576 CPUtime=0.02 /proc/31238/stat : 31238 (p2cudf) S 31237 31237 25521 34816 25544 4202496 394 2991 0 1 0 0 2 0 25 0 1 0 900417806 2637824 283 1283457024 134512640 135304128 4289283200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31238/statm: 644 283 241 194 0 30 0 [pid=31251] ppid=31238 vsize=889072 CPUtime=2.94 /proc/31251/stat : 31251 (java) S 31238 31237 25521 34816 25544 4202496 66158 0 1 0 260 34 0 0 25 0 10 0 900417809 910409728 61041 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31251/statm: 222268 61041 1733 10 0 219358 0 [pid=31251/tid=31252] ppid=31238 vsize=889072 CPUtime=1.6 /proc/31251/task/31252/stat : 31252 (java) R 31238 31237 25521 34816 25544 4202560 50250 0 1 0 136 24 0 0 25 0 10 0 900417810 910409728 61041 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31251/tid=31253] ppid=31238 vsize=889072 CPUtime=0.03 /proc/31251/task/31253/stat : 31253 (java) R 31238 31237 25521 34816 25544 4202560 1272 0 0 0 2 1 0 0 16 0 10 0 900417811 910409728 61041 1283457024 134512640 134550932 4293379840 18446744073709551615 4149706013 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=31251/tid=31254] ppid=31238 vsize=889072 CPUtime=0 /proc/31251/task/31254/stat : 31254 (java) S 31238 31237 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 25 0 10 0 900417813 910409728 61041 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31255] ppid=31238 vsize=889072 CPUtime=0 /proc/31251/task/31255/stat : 31255 (java) S 31238 31237 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 10 0 900417813 910409728 61041 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31256] ppid=31238 vsize=889072 CPUtime=0 /proc/31251/task/31256/stat : 31256 (java) S 31238 31237 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900417815 910409728 61041 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31257] ppid=31238 vsize=889072 CPUtime=0.71 /proc/31251/task/31257/stat : 31257 (java) S 31238 31237 25521 34816 25544 4202560 9570 0 0 0 65 6 0 0 25 0 10 0 900417815 910409728 61041 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31258] ppid=31238 vsize=889072 CPUtime=0.57 /proc/31251/task/31258/stat : 31258 (java) S 31238 31237 25521 34816 25544 4202560 3955 0 0 0 56 1 0 0 17 0 10 0 900417815 910409728 61041 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31259] ppid=31238 vsize=889072 CPUtime=0 /proc/31251/task/31259/stat : 31259 (java) S 31238 31237 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 25 0 10 0 900417815 910409728 61041 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31260] ppid=31238 vsize=889072 CPUtime=0 /proc/31251/task/31260/stat : 31260 (java) S 31238 31237 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 10 0 900417815 910409728 61041 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.96 Current children cumulated vsize (KiB) 894224 [startup+6.30824 s] /proc/loadavg: 1.02 1.04 1.01 2/50 31260 /proc/meminfo: memFree=62772/1048576 swapFree=2095372/2097144 [pid=31237] ppid=31236 vsize=2576 CPUtime=0 /proc/31237/stat : 31237 (p2cudf-user-1.1) S 31236 31237 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 900417805 2637824 274 1283457024 134512640 135304128 4293203984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31237/statm: 644 274 233 194 0 30 0 [pid=31238] ppid=31237 vsize=2576 CPUtime=0.02 /proc/31238/stat : 31238 (p2cudf) S 31237 31237 25521 34816 25544 4202496 394 2991 0 1 0 0 2 0 25 0 1 0 900417806 2637824 283 1283457024 134512640 135304128 4289283200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31238/statm: 644 283 241 194 0 30 0 [pid=31251] ppid=31238 vsize=888840 CPUtime=6.1 /proc/31251/stat : 31251 (java) S 31238 31237 25521 34816 25544 4202496 93741 0 1 0 562 48 0 0 25 0 10 0 900417809 910172160 85822 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31251/statm: 222210 85822 1766 10 0 219300 0 [pid=31251/tid=31252] ppid=31238 vsize=888840 CPUtime=2.64 /proc/31251/task/31252/stat : 31252 (java) R 31238 31237 25521 34816 25544 4202560 50408 0 1 0 240 24 0 0 25 0 10 0 900417810 910172160 85822 1283457024 134512640 134550932 4293379840 18446744073709551615 4096391316 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31251/tid=31253] ppid=31238 vsize=888840 CPUtime=0.58 /proc/31251/task/31253/stat : 31253 (java) S 31238 31237 25521 34816 25544 4202560 25658 0 0 0 44 14 0 0 16 0 10 0 900417811 910172160 85822 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 0 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31254] ppid=31238 vsize=888840 CPUtime=0 /proc/31251/task/31254/stat : 31254 (java) S 31238 31237 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 10 0 900417813 910172160 85822 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31255] ppid=31238 vsize=888840 CPUtime=0.01 /proc/31251/task/31255/stat : 31255 (java) S 31238 31237 25521 34816 25544 4202560 6 0 0 0 1 0 0 0 18 0 10 0 900417813 910172160 85822 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31256] ppid=31238 vsize=888840 CPUtime=0 /proc/31251/task/31256/stat : 31256 (java) S 31238 31237 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900417815 910172160 85822 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31257] ppid=31238 vsize=888840 CPUtime=0.71 /proc/31251/task/31257/stat : 31257 (java) S 31238 31237 25521 34816 25544 4202560 9570 0 0 0 65 6 0 0 25 0 10 0 900417815 910172160 85822 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31258] ppid=31238 vsize=888840 CPUtime=2.12 /proc/31251/task/31258/stat : 31258 (java) S 31238 31237 25521 34816 25544 4202560 6991 0 0 0 210 2 0 0 15 0 10 0 900417815 910172160 85822 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31259] ppid=31238 vsize=888840 CPUtime=0 /proc/31251/task/31259/stat : 31259 (java) S 31238 31237 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 25 0 10 0 900417815 910172160 85822 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31260] ppid=31238 vsize=888840 CPUtime=0 /proc/31251/task/31260/stat : 31260 (java) S 31238 31237 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 10 0 900417815 910172160 85822 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.12 Current children cumulated vsize (KiB) 893992 [startup+12.7104 s] /proc/loadavg: 1.02 1.04 1.01 3/51 31261 /proc/meminfo: memFree=37724/1048576 swapFree=2095372/2097144 [pid=31237] ppid=31236 vsize=2576 CPUtime=0 /proc/31237/stat : 31237 (p2cudf-user-1.1) S 31236 31237 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 900417805 2637824 274 1283457024 134512640 135304128 4293203984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31237/statm: 644 274 233 194 0 30 0 [pid=31238] ppid=31237 vsize=2576 CPUtime=0.02 /proc/31238/stat : 31238 (p2cudf) S 31237 31237 25521 34816 25544 4202496 394 2991 0 1 0 0 2 0 25 0 1 0 900417806 2637824 283 1283457024 134512640 135304128 4289283200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31238/statm: 644 283 241 194 0 30 0 [pid=31251] ppid=31238 vsize=889164 CPUtime=12.49 /proc/31251/stat : 31251 (java) S 31238 31237 25521 34816 25544 4202496 99904 0 1 0 1199 50 0 0 25 0 11 0 900417809 910503936 91985 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31251/statm: 222291 91985 1792 10 0 219381 0 [pid=31251/tid=31252] ppid=31238 vsize=889164 CPUtime=7.78 /proc/31251/task/31252/stat : 31252 (java) R 31238 31237 25521 34816 25544 4202560 50469 0 1 0 754 24 0 0 25 0 11 0 900417810 910503936 91985 1283457024 134512640 134550932 4293379840 18446744073709551615 4096987225 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31251/tid=31253] ppid=31238 vsize=889164 CPUtime=0.82 /proc/31251/task/31253/stat : 31253 (java) S 31238 31237 25521 34816 25544 4202560 31619 0 0 0 66 16 0 0 16 0 11 0 900417811 910503936 91985 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 0 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31254] ppid=31238 vsize=889164 CPUtime=0 /proc/31251/task/31254/stat : 31254 (java) S 31238 31237 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 11 0 900417813 910503936 91985 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31255] ppid=31238 vsize=889164 CPUtime=0.01 /proc/31251/task/31255/stat : 31255 (java) S 31238 31237 25521 34816 25544 4202560 6 0 0 0 1 0 0 0 18 0 11 0 900417813 910503936 91985 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31256] ppid=31238 vsize=889164 CPUtime=0 /proc/31251/task/31256/stat : 31256 (java) S 31238 31237 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900417815 910503936 91985 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31257] ppid=31238 vsize=889164 CPUtime=0.71 /proc/31251/task/31257/stat : 31257 (java) S 31238 31237 25521 34816 25544 4202560 9570 0 0 0 65 6 0 0 25 0 11 0 900417815 910503936 91985 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31258] ppid=31238 vsize=889164 CPUtime=3.14 /proc/31251/task/31258/stat : 31258 (java) S 31238 31237 25521 34816 25544 4202560 7128 0 0 0 312 2 0 0 15 0 11 0 900417815 910503936 91985 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31259] ppid=31238 vsize=889164 CPUtime=0 /proc/31251/task/31259/stat : 31259 (java) S 31238 31237 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 25 0 11 0 900417815 910503936 91985 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31260] ppid=31238 vsize=889164 CPUtime=0 /proc/31251/task/31260/stat : 31260 (java) R 31238 31237 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900417815 910503936 91985 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31251/tid=31261] ppid=31238 vsize=889164 CPUtime=0 /proc/31251/task/31261/stat : 31261 (java) S 31238 31237 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900418564 910503936 91985 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.51 Current children cumulated vsize (KiB) 894316 Solver just ended. Dumping a history of the last processes samples [startup+15.7115 s] /proc/loadavg: 1.02 1.04 1.00 3/51 31261 /proc/meminfo: memFree=37724/1048576 swapFree=2095372/2097144 [pid=31237] ppid=31236 vsize=2576 CPUtime=0 /proc/31237/stat : 31237 (p2cudf-user-1.1) S 31236 31237 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 900417805 2637824 274 1283457024 134512640 135304128 4293203984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31237/statm: 644 274 233 194 0 30 0 [pid=31238] ppid=31237 vsize=2576 CPUtime=0.02 /proc/31238/stat : 31238 (p2cudf) S 31237 31237 25521 34816 25544 4202496 394 2991 0 1 0 0 2 0 25 0 1 0 900417806 2637824 283 1283457024 134512640 135304128 4289283200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31238/statm: 644 283 241 194 0 30 0 [pid=31251] ppid=31238 vsize=889164 CPUtime=15.49 /proc/31251/stat : 31251 (java) S 31238 31237 25521 34816 25544 4202496 99911 0 1 0 1499 50 0 0 25 0 11 0 900417809 910503936 91992 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31251/statm: 222291 91992 1792 10 0 219381 0 [pid=31251/tid=31252] ppid=31238 vsize=889164 CPUtime=10.72 /proc/31251/task/31252/stat : 31252 (java) R 31238 31237 25521 34816 25544 4202560 50469 0 1 0 1048 24 0 0 25 0 11 0 900417810 910503936 91992 1283457024 134512640 134550932 4293379840 18446744073709551615 4097023701 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31251/tid=31253] ppid=31238 vsize=889164 CPUtime=0.82 /proc/31251/task/31253/stat : 31253 (java) S 31238 31237 25521 34816 25544 4202560 31619 0 0 0 66 16 0 0 15 0 11 0 900417811 910503936 91992 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 0 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31254] ppid=31238 vsize=889164 CPUtime=0 /proc/31251/task/31254/stat : 31254 (java) S 31238 31237 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 11 0 900417813 910503936 91992 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31255] ppid=31238 vsize=889164 CPUtime=0.01 /proc/31251/task/31255/stat : 31255 (java) S 31238 31237 25521 34816 25544 4202560 6 0 0 0 1 0 0 0 18 0 11 0 900417813 910503936 91992 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31256] ppid=31238 vsize=889164 CPUtime=0 /proc/31251/task/31256/stat : 31256 (java) S 31238 31237 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900417815 910503936 91992 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31257] ppid=31238 vsize=889164 CPUtime=0.71 /proc/31251/task/31257/stat : 31257 (java) S 31238 31237 25521 34816 25544 4202560 9570 0 0 0 65 6 0 0 25 0 11 0 900417815 910503936 91992 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31258] ppid=31238 vsize=889164 CPUtime=3.19 /proc/31251/task/31258/stat : 31258 (java) S 31238 31237 25521 34816 25544 4202560 7135 0 0 0 317 2 0 0 15 0 11 0 900417815 910503936 91992 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31259] ppid=31238 vsize=889164 CPUtime=0 /proc/31251/task/31259/stat : 31259 (java) S 31238 31237 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 25 0 11 0 900417815 910503936 91992 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31260] ppid=31238 vsize=889164 CPUtime=0 /proc/31251/task/31260/stat : 31260 (java) R 31238 31237 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900417815 910503936 91992 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31251/tid=31261] ppid=31238 vsize=889164 CPUtime=0 /proc/31251/task/31261/stat : 31261 (java) S 31238 31237 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900418564 910503936 91992 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 15.51 Current children cumulated vsize (KiB) 894316 [startup+17.3021 s] /proc/loadavg: 1.02 1.04 1.00 2/51 31261 /proc/meminfo: memFree=37724/1048576 swapFree=2095372/2097144 [pid=31237] ppid=31236 vsize=2576 CPUtime=0 /proc/31237/stat : 31237 (p2cudf-user-1.1) S 31236 31237 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 900417805 2637824 274 1283457024 134512640 135304128 4293203984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31237/statm: 644 274 233 194 0 30 0 [pid=31238] ppid=31237 vsize=2576 CPUtime=0.02 /proc/31238/stat : 31238 (p2cudf) S 31237 31237 25521 34816 25544 4202496 394 2991 0 1 0 0 2 0 25 0 1 0 900417806 2637824 283 1283457024 134512640 135304128 4289283200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31238/statm: 644 283 241 194 0 30 0 [pid=31251] ppid=31238 vsize=889164 CPUtime=17.08 /proc/31251/stat : 31251 (java) S 31238 31237 25521 34816 25544 4202496 99911 0 1 0 1658 50 0 0 25 0 11 0 900417809 910503936 91992 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31251/statm: 222291 91992 1792 10 0 219381 0 [pid=31251/tid=31252] ppid=31238 vsize=889164 CPUtime=12.32 /proc/31251/task/31252/stat : 31252 (java) R 31238 31237 25521 34816 25544 4202560 50469 0 1 0 1208 24 0 0 25 0 11 0 900417810 910503936 91992 1283457024 134512640 134550932 4293379840 18446744073709551615 4096993191 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31251/tid=31253] ppid=31238 vsize=889164 CPUtime=0.82 /proc/31251/task/31253/stat : 31253 (java) S 31238 31237 25521 34816 25544 4202560 31619 0 0 0 66 16 0 0 15 0 11 0 900417811 910503936 91992 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 0 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31254] ppid=31238 vsize=889164 CPUtime=0 /proc/31251/task/31254/stat : 31254 (java) S 31238 31237 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 11 0 900417813 910503936 91992 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31255] ppid=31238 vsize=889164 CPUtime=0.01 /proc/31251/task/31255/stat : 31255 (java) S 31238 31237 25521 34816 25544 4202560 6 0 0 0 1 0 0 0 18 0 11 0 900417813 910503936 91992 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31256] ppid=31238 vsize=889164 CPUtime=0 /proc/31251/task/31256/stat : 31256 (java) S 31238 31237 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900417815 910503936 91992 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31257] ppid=31238 vsize=889164 CPUtime=0.71 /proc/31251/task/31257/stat : 31257 (java) S 31238 31237 25521 34816 25544 4202560 9570 0 0 0 65 6 0 0 25 0 11 0 900417815 910503936 91992 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31258] ppid=31238 vsize=889164 CPUtime=3.19 /proc/31251/task/31258/stat : 31258 (java) S 31238 31237 25521 34816 25544 4202560 7135 0 0 0 317 2 0 0 15 0 11 0 900417815 910503936 91992 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31259] ppid=31238 vsize=889164 CPUtime=0 /proc/31251/task/31259/stat : 31259 (java) S 31238 31237 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 25 0 11 0 900417815 910503936 91992 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31260] ppid=31238 vsize=889164 CPUtime=0 /proc/31251/task/31260/stat : 31260 (java) S 31238 31237 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900417815 910503936 91992 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31261] ppid=31238 vsize=889164 CPUtime=0 /proc/31251/task/31261/stat : 31261 (java) S 31238 31237 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900418564 910503936 91992 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 17.1 Current children cumulated vsize (KiB) 894316 [startup+18.1043 s] /proc/loadavg: 1.02 1.04 1.00 2/51 31261 /proc/meminfo: memFree=37724/1048576 swapFree=2095372/2097144 [pid=31237] ppid=31236 vsize=2576 CPUtime=0 /proc/31237/stat : 31237 (p2cudf-user-1.1) S 31236 31237 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 900417805 2637824 274 1283457024 134512640 135304128 4293203984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31237/statm: 644 274 233 194 0 30 0 [pid=31238] ppid=31237 vsize=2576 CPUtime=0.02 /proc/31238/stat : 31238 (p2cudf) S 31237 31237 25521 34816 25544 4202496 394 2991 0 1 0 0 2 0 25 0 1 0 900417806 2637824 283 1283457024 134512640 135304128 4289283200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31238/statm: 644 283 241 194 0 30 0 [pid=31251] ppid=31238 vsize=889488 CPUtime=17.4 /proc/31251/stat : 31251 (java) S 31238 31237 25521 34816 25544 4202496 99922 0 1 0 1690 50 0 0 25 0 12 0 900417809 910835712 92003 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31251/statm: 222372 92003 1792 10 0 219462 0 [pid=31251/tid=31252] ppid=31238 vsize=889488 CPUtime=12.63 /proc/31251/task/31252/stat : 31252 (java) S 31238 31237 25521 34816 25544 4202560 50476 0 1 0 1239 24 0 0 25 0 12 0 900417810 910835712 92003 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31253] ppid=31238 vsize=889488 CPUtime=0.82 /proc/31251/task/31253/stat : 31253 (java) S 31238 31237 25521 34816 25544 4202560 31619 0 0 0 66 16 0 0 15 0 12 0 900417811 910835712 92003 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 0 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31254] ppid=31238 vsize=889488 CPUtime=0 /proc/31251/task/31254/stat : 31254 (java) S 31238 31237 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 12 0 900417813 910835712 92003 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31255] ppid=31238 vsize=889488 CPUtime=0.01 /proc/31251/task/31255/stat : 31255 (java) S 31238 31237 25521 34816 25544 4202560 6 0 0 0 1 0 0 0 18 0 12 0 900417813 910835712 92003 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31256] ppid=31238 vsize=889488 CPUtime=0 /proc/31251/task/31256/stat : 31256 (java) S 31238 31237 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900417815 910835712 92003 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31257] ppid=31238 vsize=889488 CPUtime=0.71 /proc/31251/task/31257/stat : 31257 (java) S 31238 31237 25521 34816 25544 4202560 9570 0 0 0 65 6 0 0 25 0 12 0 900417815 910835712 92003 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31258] ppid=31238 vsize=889488 CPUtime=3.2 /proc/31251/task/31258/stat : 31258 (java) S 31238 31237 25521 34816 25544 4202560 7135 0 0 0 318 2 0 0 16 0 12 0 900417815 910835712 92003 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31259] ppid=31238 vsize=889488 CPUtime=0 /proc/31251/task/31259/stat : 31259 (java) S 31238 31237 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 25 0 12 0 900417815 910835712 92003 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31260] ppid=31238 vsize=889488 CPUtime=0 /proc/31251/task/31260/stat : 31260 (java) S 31238 31237 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 12 0 900417815 910835712 92003 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31261] ppid=31238 vsize=889488 CPUtime=0 /proc/31251/task/31261/stat : 31261 (java) S 31238 31237 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 12 0 900418564 910835712 92003 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 17.42 Current children cumulated vsize (KiB) 894640 [startup+18.3127 s] /proc/loadavg: 1.02 1.04 1.00 2/51 31261 /proc/meminfo: memFree=37724/1048576 swapFree=2095372/2097144 [pid=31237] ppid=31236 vsize=2576 CPUtime=0 /proc/31237/stat : 31237 (p2cudf-user-1.1) S 31236 31237 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 900417805 2637824 274 1283457024 134512640 135304128 4293203984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31237/statm: 644 274 233 194 0 30 0 [pid=31238] ppid=31237 vsize=2576 CPUtime=0.02 /proc/31238/stat : 31238 (p2cudf) S 31237 31237 25521 34816 25544 4202496 394 2991 0 1 0 0 2 0 25 0 1 0 900417806 2637824 283 1283457024 134512640 135304128 4289283200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31238/statm: 644 283 241 194 0 30 0 [pid=31251] ppid=31238 vsize=889488 CPUtime=17.58 /proc/31251/stat : 31251 (java) S 31238 31237 25521 34816 25544 4202496 99923 0 1 0 1704 54 0 0 25 0 12 0 900417809 910835712 92004 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31251/statm: 222372 92004 1792 10 0 219462 0 [pid=31251/tid=31252] ppid=31238 vsize=889488 CPUtime=12.63 /proc/31251/task/31252/stat : 31252 (java) S 31238 31237 25521 34816 25544 4202560 50476 0 1 0 1239 24 0 0 25 0 12 0 900417810 910835712 92004 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31253] ppid=31238 vsize=889488 CPUtime=0.82 /proc/31251/task/31253/stat : 31253 (java) S 31238 31237 25521 34816 25544 4202560 31619 0 0 0 66 16 0 0 15 0 12 0 900417811 910835712 92004 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 0 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31254] ppid=31238 vsize=889488 CPUtime=0 /proc/31251/task/31254/stat : 31254 (java) S 31238 31237 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 12 0 900417813 910835712 92004 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31255] ppid=31238 vsize=889488 CPUtime=0.01 /proc/31251/task/31255/stat : 31255 (java) S 31238 31237 25521 34816 25544 4202560 6 0 0 0 1 0 0 0 18 0 12 0 900417813 910835712 92004 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31256] ppid=31238 vsize=889488 CPUtime=0 /proc/31251/task/31256/stat : 31256 (java) S 31238 31237 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900417815 910835712 92004 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31257] ppid=31238 vsize=889488 CPUtime=0.71 /proc/31251/task/31257/stat : 31257 (java) S 31238 31237 25521 34816 25544 4202560 9570 0 0 0 65 6 0 0 25 0 12 0 900417815 910835712 92004 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31258] ppid=31238 vsize=889488 CPUtime=3.26 /proc/31251/task/31258/stat : 31258 (java) S 31238 31237 25521 34816 25544 4202560 7135 0 0 0 324 2 0 0 15 0 12 0 900417815 910835712 92004 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31259] ppid=31238 vsize=889488 CPUtime=0 /proc/31251/task/31259/stat : 31259 (java) S 31238 31237 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 25 0 12 0 900417815 910835712 92004 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 [pid=31251/tid=31260] ppid=31238 vsize=889488 CPUtime=0 /proc/31251/task/31260/stat : 31260 (java) R 31238 31237 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 12 0 900417815 910835712 92004 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31251/tid=31261] ppid=31238 vsize=889488 CPUtime=0 /proc/31251/task/31261/stat : 31261 (java) S 31238 31237 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 12 0 900418564 910835712 92004 1283457024 134512640 134550932 4293379840 18446744073709551615 4294960130 0 4 0 16800975 18446612133130958080 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 17.6 Current children cumulated vsize (KiB) 894640 Child status: 0 Real time (s): 18.4082 CPU time (s): 17.6531 CPU user time (s): 17.0771 CPU system time (s): 0.576036 CPU usage (%): 95.8978 Max. virtual memory (cumulated for all children) (KiB): 899328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 17.0771 system time used= 0.576036 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 103708 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= 1248 involuntary context switches= 1386 runsolver used 0 second user time and 0 second system time The end