runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3457141-1307217665/watcher-3457141-1307217665 -o /tmp/evaluation-result-3457141-1307217665/solver-3457141-1307217665 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457141-1307217665.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.84 1.98 1.70 1/519 32471
/proc/meminfo: memFree=23796364/32951124 swapFree=56930356/67111528
[pid=32471] ppid=32469 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/32471/stat : 32471 (java) S 32469 32471 32290 0 -1 4202496 6713 0 1 0 0 0 0 0 25 0 2 0 833364200 10694979584 6415 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917533669 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/32471/statm: 2611079 6427 917 9 0 2602235 0
[pid=32471/tid=32472] ppid=32469 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32472/stat : 32472 (java) R 32469 32471 32290 0 -1 4202560 5662 0 1 0 0 0 0 0 25 0 2 0 833364201 10694979584 6478 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218905424955 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.117218 s]
/proc/loadavg: 1.84 1.98 1.70 1/519 32471
/proc/meminfo: memFree=23796364/32951124 swapFree=56930356/67111528
[pid=32471] ppid=32469 vsize=10540340 CPUtime=0.13 cores=0,2,4,6
/proc/32471/stat : 32471 (java) S 32469 32471 32290 0 -1 4202496 13326 0 1 0 11 2 0 0 25 0 18 0 833364200 10793308160 13002 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/32471/statm: 2635085 13002 2125 9 0 2625819 0
[pid=32471/tid=32472] ppid=32469 vsize=10540340 CPUtime=0.09 cores=0,2,4,6
/proc/32471/task/32472/stat : 32472 (java) R 32469 32471 32290 0 -1 4202560 11328 0 1 0 8 1 0 0 18 0 18 0 833364201 10793308160 13002 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 46912505228131 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10540340
[startup+0.201224 s]
/proc/loadavg: 1.84 1.98 1.70 1/519 32471
/proc/meminfo: memFree=23796364/32951124 swapFree=56930356/67111528
[pid=32471] ppid=32469 vsize=10541040 CPUtime=0.29 cores=0,2,4,6
/proc/32471/stat : 32471 (java) S 32469 32471 32290 0 -1 4202496 14422 0 1 0 27 2 0 0 25 0 18 0 833364200 10794024960 13892 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/32471/statm: 2635260 13893 2184 9 0 2625994 0
[pid=32471/tid=32472] ppid=32469 vsize=10541040 CPUtime=0.18 cores=0,2,4,6
/proc/32471/task/32472/stat : 32472 (java) R 32469 32471 32290 0 -1 4202560 11928 0 1 0 17 1 0 0 18 0 18 0 833364201 10794024960 13893 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 47916150848339 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10541040
[startup+0.317638 s]
/proc/loadavg: 1.84 1.98 1.70 1/519 32471
/proc/meminfo: memFree=23796364/32951124 swapFree=56930356/67111528
[pid=32471] ppid=32469 vsize=10542668 CPUtime=0.61 cores=0,2,4,6
/proc/32471/stat : 32471 (java) S 32469 32471 32290 0 -1 4202496 19996 0 1 0 58 3 0 0 25 0 18 0 833364200 10795692032 18713 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/32471/statm: 2635667 18714 2208 9 0 2626401 0
[pid=32471/tid=32472] ppid=32469 vsize=10542668 CPUtime=0.3 cores=0,2,4,6
/proc/32471/task/32472/stat : 32472 (java) R 32469 32471 32290 0 -1 4202560 15469 0 1 0 28 2 0 0 18 0 18 0 833364201 10795692032 18715 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 46912505606608 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 10542668
[startup+0.700115 s]
/proc/loadavg: 1.84 1.98 1.70 1/519 32471
/proc/meminfo: memFree=23796364/32951124 swapFree=56930356/67111528
[pid=32471] ppid=32469 vsize=10550816 CPUtime=1.7 cores=0,2,4,6
/proc/32471/stat : 32471 (java) S 32469 32471 32290 0 -1 4202496 30694 0 1 0 165 5 0 0 25 0 19 0 833364200 10804035584 27099 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/32471/statm: 2637704 27099 2229 9 0 2628438 0
[pid=32471/tid=32472] ppid=32469 vsize=10550816 CPUtime=0.68 cores=0,2,4,6
/proc/32471/task/32472/stat : 32472 (java) R 32469 32471 32290 0 -1 4202560 20453 0 1 0 65 3 0 0 18 0 19 0 833364201 10804035584 27100 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 46912505753502 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 10550816
[startup+1.50098 s]
/proc/loadavg: 1.84 1.98 1.70 2/538 32536
/proc/meminfo: memFree=23613980/32951124 swapFree=56930356/67111528
[pid=32471] ppid=32469 vsize=10550816 CPUtime=2.58 cores=0,2,4,6
/proc/32471/stat : 32471 (java) S 32469 32471 32290 0 -1 4202496 57134 0 1 0 249 9 0 0 25 0 19 0 833364200 10804035584 53538 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/32471/statm: 2637704 53539 2232 9 0 2628438 0
[pid=32471/tid=32472] ppid=32469 vsize=10550816 CPUtime=1.48 cores=0,2,4,6
/proc/32471/task/32472/stat : 32472 (java) R 32469 32471 32290 0 -1 4202560 46880 0 1 0 141 7 0 0 18 0 19 0 833364201 10804035584 53540 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 46912505800541 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=32471/tid=32474] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32474/stat : 32474 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364203 10804035584 53541 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 6 0 0 0
[pid=32471/tid=32475] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32475/stat : 32475 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364203 10804035584 53542 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 6 0 0 0
[pid=32471/tid=32476] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32476/stat : 32476 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364203 10804035584 53543 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 6 0 0 0
[pid=32471/tid=32477] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32477/stat : 32477 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364203 10804035584 53543 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 6 0 0 0
[pid=32471/tid=32478] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32478/stat : 32478 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364203 10804035584 53544 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 6 0 0 0
[pid=32471/tid=32479] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32479/stat : 32479 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364203 10804035584 53545 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 6 0 0 0
[pid=32471/tid=32480] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32480/stat : 32480 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364203 10804035584 53546 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 6 0 0 0
[pid=32471/tid=32481] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32481/stat : 32481 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364203 10804035584 53547 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 6 0 0 0
[pid=32471/tid=32482] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32482/stat : 32482 (java) S 32469 32471 32290 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833364204 10804035584 53548 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917547520 0 0 0 16800975 18446604445590177600 0 0 -1 2 0 0 0
[pid=32471/tid=32483] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32483/stat : 32483 (java) S 32469 32471 32290 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833364204 10804035584 53548 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 4 0 0 0
[pid=32471/tid=32484] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32484/stat : 32484 (java) S 32469 32471 32290 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833364204 10804035584 53549 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 4 0 0 0
[pid=32471/tid=32485] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32485/stat : 32485 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364207 10804035584 53550 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917554609 0 4 0 16800975 18446604445590177600 0 0 -1 4 0 0 0
[pid=32471/tid=32486] ppid=32469 vsize=10550816 CPUtime=0.55 cores=0,2,4,6
/proc/32471/task/32486/stat : 32486 (java) S 32469 32471 32290 0 -1 4202560 6216 0 0 0 54 1 0 0 15 0 19 0 833364207 10804035584 53551 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 0 0 0 0
[pid=32471/tid=32487] ppid=32469 vsize=10550816 CPUtime=0.53 cores=0,2,4,6
/proc/32471/task/32487/stat : 32487 (java) S 32469 32471 32290 0 -1 4202560 2880 0 0 0 53 0 0 0 15 0 19 0 833364207 10804035584 53552 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 2 0 0 0
[pid=32471/tid=32488] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32488/stat : 32488 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364207 10804035584 53553 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 4 0 0 0
[pid=32471/tid=32489] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32489/stat : 32489 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833364207 10804035584 53554 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917547520 0 4 0 16800975 18446604445590177600 0 0 -1 2 0 0 0
[pid=32471/tid=32490] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32490/stat : 32490 (java) S 32469 32471 32290 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 833364234 10804035584 53555 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917547520 0 4 0 16800975 18446604445590177600 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 10550816
Solver just ended. Dumping a history of the last processes samples
[startup+1.80092 s]
/proc/loadavg: 1.84 1.98 1.70 2/538 32536
/proc/meminfo: memFree=23613980/32951124 swapFree=56930356/67111528
[pid=32471] ppid=32469 vsize=10550816 CPUtime=2.89 cores=0,2,4,6
/proc/32471/stat : 32471 (java) S 32469 32471 32290 0 -1 4202496 66113 0 1 0 279 10 0 0 25 0 19 0 833364200 10804035584 62517 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/32471/statm: 2637704 62517 2232 9 0 2628438 0
[pid=32471/tid=32472] ppid=32469 vsize=10550816 CPUtime=1.78 cores=0,2,4,6
/proc/32471/task/32472/stat : 32472 (java) R 32469 32471 32290 0 -1 4202560 55856 0 1 0 170 8 0 0 18 0 19 0 833364201 10804035584 62517 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 46912505718308 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=32471/tid=32474] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32474/stat : 32474 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364203 10804035584 62517 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 6 0 0 0
[pid=32471/tid=32475] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32475/stat : 32475 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364203 10804035584 62517 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 6 0 0 0
[pid=32471/tid=32476] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32476/stat : 32476 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364203 10804035584 62517 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 6 0 0 0
[pid=32471/tid=32477] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32477/stat : 32477 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364203 10804035584 62518 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 6 0 0 0
[pid=32471/tid=32478] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32478/stat : 32478 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364203 10804035584 62518 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 6 0 0 0
[pid=32471/tid=32479] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32479/stat : 32479 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364203 10804035584 62518 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 6 0 0 0
[pid=32471/tid=32480] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32480/stat : 32480 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364203 10804035584 62518 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 6 0 0 0
[pid=32471/tid=32481] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32481/stat : 32481 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364203 10804035584 62518 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 6 0 0 0
[pid=32471/tid=32482] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32482/stat : 32482 (java) S 32469 32471 32290 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833364204 10804035584 62518 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917547520 0 0 0 16800975 18446604445590177600 0 0 -1 2 0 0 0
[pid=32471/tid=32483] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32483/stat : 32483 (java) S 32469 32471 32290 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833364204 10804035584 62518 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 4 0 0 0
[pid=32471/tid=32484] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32484/stat : 32484 (java) S 32469 32471 32290 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833364204 10804035584 62518 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 4 0 0 0
[pid=32471/tid=32485] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32485/stat : 32485 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364207 10804035584 62518 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917554609 0 4 0 16800975 18446604445590177600 0 0 -1 4 0 0 0
[pid=32471/tid=32486] ppid=32469 vsize=10550816 CPUtime=0.56 cores=0,2,4,6
/proc/32471/task/32486/stat : 32486 (java) S 32469 32471 32290 0 -1 4202560 6217 0 0 0 55 1 0 0 15 0 19 0 833364207 10804035584 62518 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 0 0 0 0
[pid=32471/tid=32487] ppid=32469 vsize=10550816 CPUtime=0.53 cores=0,2,4,6
/proc/32471/task/32487/stat : 32487 (java) S 32469 32471 32290 0 -1 4202560 2880 0 0 0 53 0 0 0 15 0 19 0 833364207 10804035584 62518 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 2 0 0 0
[pid=32471/tid=32488] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32488/stat : 32488 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364207 10804035584 62518 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 4 0 0 0
[pid=32471/tid=32489] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32489/stat : 32489 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833364207 10804035584 62518 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917547520 0 4 0 16800975 18446604445590177600 0 0 -1 2 0 0 0
[pid=32471/tid=32490] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32490/stat : 32490 (java) S 32469 32471 32290 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 833364234 10804035584 62518 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917547520 0 4 0 16800975 18446604445590177600 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 10550816
[startup+2.20085 s]
/proc/loadavg: 1.84 1.98 1.70 2/538 32536
/proc/meminfo: memFree=23613980/32951124 swapFree=56930356/67111528
[pid=32471] ppid=32469 vsize=10550816 CPUtime=3.29 cores=0,2,4,6
/proc/32471/stat : 32471 (java) S 32469 32471 32290 0 -1 4202496 74556 0 1 0 317 12 0 0 25 0 19 0 833364200 10804035584 70959 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/32471/statm: 2637704 70959 2232 9 0 2628438 0
[pid=32471/tid=32472] ppid=32469 vsize=10550816 CPUtime=2.17 cores=0,2,4,6
/proc/32471/task/32472/stat : 32472 (java) R 32469 32471 32290 0 -1 4202560 64299 0 1 0 208 9 0 0 18 0 19 0 833364201 10804035584 70959 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 46912505718625 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=32471/tid=32474] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32474/stat : 32474 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364203 10804035584 70959 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 6 0 0 0
[pid=32471/tid=32475] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32475/stat : 32475 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364203 10804035584 70959 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 6 0 0 0
[pid=32471/tid=32476] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32476/stat : 32476 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364203 10804035584 70959 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 6 0 0 0
[pid=32471/tid=32477] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32477/stat : 32477 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364203 10804035584 70959 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 6 0 0 0
[pid=32471/tid=32478] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32478/stat : 32478 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364203 10804035584 70959 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 6 0 0 0
[pid=32471/tid=32479] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32479/stat : 32479 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364203 10804035584 70959 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 6 0 0 0
[pid=32471/tid=32480] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32480/stat : 32480 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364203 10804035584 70959 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 6 0 0 0
[pid=32471/tid=32481] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32481/stat : 32481 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364203 10804035584 70959 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 6 0 0 0
[pid=32471/tid=32482] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32482/stat : 32482 (java) S 32469 32471 32290 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833364204 10804035584 70959 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917547520 0 0 0 16800975 18446604445590177600 0 0 -1 2 0 0 0
[pid=32471/tid=32483] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32483/stat : 32483 (java) S 32469 32471 32290 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833364204 10804035584 70959 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 4 0 0 0
[pid=32471/tid=32484] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32484/stat : 32484 (java) S 32469 32471 32290 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833364204 10804035584 70959 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 4 0 0 0
[pid=32471/tid=32485] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32485/stat : 32485 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364207 10804035584 70959 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917554609 0 4 0 16800975 18446604445590177600 0 0 -1 4 0 0 0
[pid=32471/tid=32486] ppid=32469 vsize=10550816 CPUtime=0.56 cores=0,2,4,6
/proc/32471/task/32486/stat : 32486 (java) S 32469 32471 32290 0 -1 4202560 6217 0 0 0 55 1 0 0 15 0 19 0 833364207 10804035584 70959 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 0 0 0 0
[pid=32471/tid=32487] ppid=32469 vsize=10550816 CPUtime=0.53 cores=0,2,4,6
/proc/32471/task/32487/stat : 32487 (java) S 32469 32471 32290 0 -1 4202560 2880 0 0 0 53 0 0 0 15 0 19 0 833364207 10804035584 70959 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 2 0 0 0
[pid=32471/tid=32488] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32488/stat : 32488 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364207 10804035584 70959 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 4 0 0 0
[pid=32471/tid=32489] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32489/stat : 32489 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833364207 10804035584 70959 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917547520 0 4 0 16800975 18446604445590177600 0 0 -1 2 0 0 0
[pid=32471/tid=32490] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32490/stat : 32490 (java) S 32469 32471 32290 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 833364234 10804035584 70959 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917547520 0 4 0 16800975 18446604445590177600 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.29
Current children cumulated vsize (KiB) 10550816
[startup+2.60078 s]
/proc/loadavg: 1.84 1.98 1.70 2/538 32536
/proc/meminfo: memFree=23506100/32951124 swapFree=56930356/67111528
[pid=32471] ppid=32469 vsize=10550816 CPUtime=3.7 cores=0,2,4,6
/proc/32471/stat : 32471 (java) S 32469 32471 32290 0 -1 4202496 79900 0 1 0 358 12 0 0 25 0 19 0 833364200 10804035584 76304 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/32471/statm: 2637704 76304 2232 9 0 2628438 0
[pid=32471/tid=32472] ppid=32469 vsize=10550816 CPUtime=2.58 cores=0,2,4,6
/proc/32471/task/32472/stat : 32472 (java) R 32469 32471 32290 0 -1 4202560 69641 0 1 0 248 10 0 0 18 0 19 0 833364201 10804035584 76304 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 46912505790151 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=32471/tid=32474] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32474/stat : 32474 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364203 10804035584 76304 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 6 0 0 0
[pid=32471/tid=32475] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32475/stat : 32475 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364203 10804035584 76305 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 6 0 0 0
[pid=32471/tid=32476] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32476/stat : 32476 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364203 10804035584 76305 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 6 0 0 0
[pid=32471/tid=32477] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32477/stat : 32477 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364203 10804035584 76305 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 6 0 0 0
[pid=32471/tid=32478] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32478/stat : 32478 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364203 10804035584 76310 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 6 0 0 0
[pid=32471/tid=32479] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32479/stat : 32479 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364203 10804035584 76315 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 6 0 0 0
[pid=32471/tid=32480] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32480/stat : 32480 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364203 10804035584 76317 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 6 0 0 0
[pid=32471/tid=32481] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32481/stat : 32481 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364203 10804035584 76318 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 6 0 0 0
[pid=32471/tid=32482] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32482/stat : 32482 (java) S 32469 32471 32290 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833364204 10804035584 76325 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917547520 0 0 0 16800975 18446604445590177600 0 0 -1 2 0 0 0
[pid=32471/tid=32483] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32483/stat : 32483 (java) S 32469 32471 32290 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833364204 10804035584 76326 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 4 0 0 0
[pid=32471/tid=32484] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32484/stat : 32484 (java) S 32469 32471 32290 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833364204 10804035584 76326 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 4 0 0 0
[pid=32471/tid=32485] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32485/stat : 32485 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364207 10804035584 76327 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917554609 0 4 0 16800975 18446604445590177600 0 0 -1 4 0 0 0
[pid=32471/tid=32486] ppid=32469 vsize=10550816 CPUtime=0.56 cores=0,2,4,6
/proc/32471/task/32486/stat : 32486 (java) S 32469 32471 32290 0 -1 4202560 6220 0 0 0 55 1 0 0 15 0 19 0 833364207 10804035584 76327 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 0 0 0 0
[pid=32471/tid=32487] ppid=32469 vsize=10550816 CPUtime=0.53 cores=0,2,4,6
/proc/32471/task/32487/stat : 32487 (java) S 32469 32471 32290 0 -1 4202560 2880 0 0 0 53 0 0 0 15 0 19 0 833364207 10804035584 76327 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 2 0 0 0
[pid=32471/tid=32488] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32488/stat : 32488 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364207 10804035584 76328 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917546905 0 4 0 16800975 18446604445590177600 0 0 -1 4 0 0 0
[pid=32471/tid=32489] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32489/stat : 32489 (java) S 32469 32471 32290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833364207 10804035584 76328 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917547520 0 4 0 16800975 18446604445590177600 0 0 -1 2 0 0 0
[pid=32471/tid=32490] ppid=32469 vsize=10550816 CPUtime=0 cores=0,2,4,6
/proc/32471/task/32490/stat : 32490 (java) S 32469 32471 32290 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 833364234 10804035584 76328 33554432000 1073741824 1073778376 140733301651664 18446744073709551615 218917547520 0 4 0 16800975 18446604445590177600 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 10550816
Child status: 10
Real time (s): 2.69068
CPU time (s): 3.80542
CPU user time (s): 3.66244
CPU system time (s): 0.142978
CPU usage (%): 141.43
Max. virtual memory (cumulated for all children) (KiB): 10550816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.66244
system time used= 0.142978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81910
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 285
involuntary context switches= 43
runsolver used 0.022996 second user time and 0.036994 second system time
The end