runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (11874 MiB free)
memory of node 1: 16384 MiB (10543 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4311816-1534553548/watcher-4311816-1534553548 -o /tmp/evaluation-result-4311816-1534553548/solver-4311816-1534553548 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534541043-15718 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 410133268 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311816-1534553548.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=17469, runsolver pid=17466
Current StackSize limit: 8192 KiB
[startup+0.100151 s]*
/proc/loadavg: 1.29 1.46 1.55 2/215 17483
/proc/meminfo: memFree=22948264/32770624 swapFree=67108804/67108860
[pid=17469] ppid=17466 vsize=14014316 memory=18816 CPUtime=0.05 cores=0,2,4,6
/proc/17469/stat : 17469 (java) S 17466 17469 15687 0 -1 1077944320 4638 0 0 0 5 0 0 0 20 0 14 0 272917937 14350659584 4704 33554432000 4194304 4196468 140735397372832 140735397355376 140075759980279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
/proc/17469/statm: 3503579 4704 2598 1 0 3466120 0
[pid=17469/tid=17471] ppid=17466 vsize=14014316 memory=-8197850346479981691 CPUtime=0.04 cores=0,2,4,6
/proc/17469/task/17471/stat : 17471 (java) D 17466 17469 15687 0 -1 1077944384 2736 0 0 0 4 0 0 0 20 0 14 0 272917937 14350659584 4704 33554432000 4194304 4196468 140735397372832 140075764217664 140075760004157 0 4 0 16800975 18446744072101666340 0 0 -1 4 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17472] ppid=17466 vsize=14014316 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17472/stat : 17472 (java) S 17466 17469 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 272917938 14350659584 4704 33554432000 4194304 4196468 140735397372832 140075729693200 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17473] ppid=17466 vsize=14014316 memory=140318143182464 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17473/stat : 17473 (java) S 17466 17469 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 272917938 14350659584 4704 33554432000 4194304 4196468 140735397372832 140075354430096 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17474] ppid=17466 vsize=14014316 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17474/stat : 17474 (java) S 17466 17469 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 272917938 14350659584 4704 33554432000 4194304 4196468 140735397372832 140075353377040 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17475] ppid=17466 vsize=14014316 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17475/stat : 17475 (java) S 17466 17469 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 272917938 14350659584 4704 33554432000 4194304 4196468 140735397372832 140075352324496 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17476] ppid=17466 vsize=14014316 memory=140318143182464 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17476/stat : 17476 (java) S 17466 17469 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 272917940 14350659584 4704 33554432000 4194304 4196468 140735397372832 140075234953968 140075759991426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17477] ppid=17466 vsize=14014316 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17477/stat : 17477 (java) S 17466 17469 15687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 272917940 14350659584 4704 33554432000 4194304 4196468 140735397372832 140075233900192 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17478] ppid=17466 vsize=14014316 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17478/stat : 17478 (java) S 17466 17469 15687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 272917940 14350659584 4704 33554432000 4194304 4196468 140735397372832 140075232847088 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17479] ppid=17466 vsize=14014316 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17479/stat : 17479 (java) S 17466 17469 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 272917943 14350659584 4704 33554432000 4194304 4196468 140735397372832 140075231795664 140075759998875 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17480] ppid=17466 vsize=14014316 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17480/stat : 17480 (java) S 17466 17469 15687 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 14 0 272917943 14350659584 4704 33554432000 4194304 4196468 140735397372832 140075230742768 140075759991426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17481] ppid=17466 vsize=14014316 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17481/stat : 17481 (java) S 17466 17469 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 272917943 14350659584 4704 33554432000 4194304 4196468 140735397372832 140075229690224 140075759991426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17482] ppid=17466 vsize=14014316 memory=140318143182464 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17482/stat : 17482 (java) S 17466 17469 15687 0 -1 1077944384 215 0 0 0 0 0 0 0 20 0 14 0 272917943 14350659584 4704 33554432000 4194304 4196468 140735397372832 140075228637168 140075759991426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17483] ppid=17466 vsize=14014316 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17483/stat : 17483 (java) S 17466 17469 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 272917943 14350659584 4704 33554432000 4194304 4196468 140735397372832 140075227584864 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 14014316 KiB
Current children cumulated memory: 18816 KiB
[startup+0.21031 s]*
/proc/loadavg: 1.29 1.46 1.55 5/216 17484
/proc/meminfo: memFree=22931100/32770624 swapFree=67108804/67108860
[pid=17469] ppid=17466 vsize=14082736 memory=38164 CPUtime=0.16 cores=0,2,4,6
/proc/17469/stat : 17469 (java) S 17466 17469 15687 0 -1 1077944320 8704 0 0 0 14 2 0 0 20 0 15 0 272917937 14420721664 9541 33554432000 4194304 4196468 140735397372832 140735397355376 140075759980279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
/proc/17469/statm: 3520684 9541 3249 1 0 3482761 0
[pid=17469/tid=17471] ppid=17466 vsize=14082736 memory=7022364594140610616 CPUtime=0.12 cores=0,2,4,6
/proc/17469/task/17471/stat : 17471 (java) R 17466 17469 15687 0 -1 4202560 6536 0 0 0 11 1 0 0 20 0 15 0 272917937 14420721664 9541 33554432000 4194304 4196468 140735397372832 140075764210416 140075745145951 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17472] ppid=17466 vsize=14082736 memory=343 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17472/stat : 17472 (java) S 17466 17469 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272917938 14420721664 9541 33554432000 4194304 4196468 140735397372832 140075729693200 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17473] ppid=17466 vsize=14082736 memory=140318143198550 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17473/stat : 17473 (java) S 17466 17469 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272917938 14420721664 9541 33554432000 4194304 4196468 140735397372832 140075354430096 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17474] ppid=17466 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17474/stat : 17474 (java) S 17466 17469 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272917938 14420721664 9541 33554432000 4194304 4196468 140735397372832 140075353377040 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17475] ppid=17466 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17475/stat : 17475 (java) S 17466 17469 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272917938 14420721664 9541 33554432000 4194304 4196468 140735397372832 140075352324496 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17476] ppid=17466 vsize=14082736 memory=140318143182464 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17476/stat : 17476 (java) S 17466 17469 15687 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272917940 14420721664 9541 33554432000 4194304 4196468 140735397372832 140075234953968 140075759991426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17477] ppid=17466 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17477/stat : 17477 (java) S 17466 17469 15687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272917940 14420721664 9541 33554432000 4194304 4196468 140735397372832 140075233900192 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17478] ppid=17466 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17478/stat : 17478 (java) S 17466 17469 15687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272917940 14420721664 9541 33554432000 4194304 4196468 140735397372832 140075232847088 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17479] ppid=17466 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17479/stat : 17479 (java) S 17466 17469 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272917943 14420721664 9541 33554432000 4194304 4196468 140735397372832 140075231795664 140075759998875 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17480] ppid=17466 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17480/stat : 17480 (java) S 17466 17469 15687 0 -1 1077944384 454 0 0 0 0 0 0 0 20 0 15 0 272917943 14420721664 9541 33554432000 4194304 4196468 140735397372832 140075230742768 140075759991426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17481] ppid=17466 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17481/stat : 17481 (java) S 17466 17469 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272917943 14420721664 9541 33554432000 4194304 4196468 140735397372832 140075229690224 140075759991426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17482] ppid=17466 vsize=14082736 memory=140318143182464 CPUtime=0.02 cores=0,2,4,6
/proc/17469/task/17482/stat : 17482 (java) S 17466 17469 15687 0 -1 1077944384 329 0 0 0 2 0 0 0 20 0 15 0 272917943 14420721664 9541 33554432000 4194304 4196468 140735397372832 140075228637168 140075759991426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17483] ppid=17466 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17483/stat : 17483 (java) S 17466 17469 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272917943 14420721664 9541 33554432000 4194304 4196468 140735397372832 140075227584864 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17484] ppid=17466 vsize=14082736 memory=140318143182464 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17484/stat : 17484 (java) S 17466 17469 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272917951 14420721664 9541 33554432000 4194304 4196468 140735397372832 140075226532912 140075759991426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 38164 KiB
[startup+0.310742 s]*
/proc/loadavg: 1.29 1.46 1.55 4/216 17484
/proc/meminfo: memFree=22923512/32770624 swapFree=67108804/67108860
[pid=17469] ppid=17466 vsize=14082736 memory=47164 CPUtime=0.34 cores=0,2,4,6
/proc/17469/stat : 17469 (java) S 17466 17469 15687 0 -1 1077944320 10392 0 0 0 32 2 0 0 20 0 15 0 272917937 14420721664 11791 33554432000 4194304 4196468 140735397372832 140735397355376 140075759980279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
/proc/17469/statm: 3520684 11791 3410 1 0 3482761 0
[pid=17469/tid=17471] ppid=17466 vsize=14082736 memory=5450919713671312938 CPUtime=0.21 cores=0,2,4,6
/proc/17469/task/17471/stat : 17471 (java) R 17466 17469 15687 0 -1 4202560 7938 0 0 0 20 1 0 0 20 0 15 0 272917937 14420721664 11791 33554432000 4194304 4196468 140735397372832 140075764188112 140075741543808 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17472] ppid=17466 vsize=14082736 memory=4122819170707441977 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17472/stat : 17472 (java) S 17466 17469 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272917938 14420721664 11791 33554432000 4194304 4196468 140735397372832 140075729693200 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17473] ppid=17466 vsize=14082736 memory=140318143249696 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17473/stat : 17473 (java) S 17466 17469 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272917938 14420721664 11791 33554432000 4194304 4196468 140735397372832 140075354430096 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17474] ppid=17466 vsize=14082736 memory=69604 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17474/stat : 17474 (java) S 17466 17469 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272917938 14420721664 11791 33554432000 4194304 4196468 140735397372832 140075353377040 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17475] ppid=17466 vsize=14082736 memory=35 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17475/stat : 17475 (java) S 17466 17469 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272917938 14420721664 11791 33554432000 4194304 4196468 140735397372832 140075352324496 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17476] ppid=17466 vsize=14082736 memory=140318143256608 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17476/stat : 17476 (java) S 17466 17469 15687 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272917940 14420721664 11791 33554432000 4194304 4196468 140735397372832 140075234953968 140075759991426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17477] ppid=17466 vsize=14082736 memory=35 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17477/stat : 17477 (java) S 17466 17469 15687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272917940 14420721664 11791 33554432000 4194304 4196468 140735397372832 140075233900192 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17478] ppid=17466 vsize=14082736 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17478/stat : 17478 (java) S 17466 17469 15687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272917940 14420721664 11791 33554432000 4194304 4196468 140735397372832 140075232847088 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17479] ppid=17466 vsize=14082736 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17479/stat : 17479 (java) S 17466 17469 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272917943 14420721664 11791 33554432000 4194304 4196468 140735397372832 140075231795664 140075759998875 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17480] ppid=17466 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/17469/task/17480/stat : 17480 (java) S 17466 17469 15687 0 -1 1077944384 499 0 0 0 2 0 0 0 20 0 15 0 272917943 14420721664 11791 33554432000 4194304 4196468 140735397372832 140075230742768 140075759991426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17481] ppid=17466 vsize=14082736 memory=140317990978511 CPUtime=0.02 cores=0,2,4,6
/proc/17469/task/17481/stat : 17481 (java) S 17466 17469 15687 0 -1 1077944384 148 0 0 0 2 0 0 0 20 0 15 0 272917943 14420721664 11791 33554432000 4194304 4196468 140735397372832 140075229690224 140075759991426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17482] ppid=17466 vsize=14082736 memory=140318143199929 CPUtime=0.07 cores=0,2,4,6
/proc/17469/task/17482/stat : 17482 (java) S 17466 17469 15687 0 -1 1077944384 425 0 0 0 7 0 0 0 20 0 15 0 272917943 14420721664 11791 33554432000 4194304 4196468 140735397372832 140075228637168 140075759991426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17483] ppid=17466 vsize=14082736 memory=140317990978575 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17483/stat : 17483 (java) S 17466 17469 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272917943 14420721664 11791 33554432000 4194304 4196468 140735397372832 140075227584864 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17484] ppid=17466 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17484/stat : 17484 (java) S 17466 17469 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272917951 14420721664 11791 33554432000 4194304 4196468 140735397372832 140075226532912 140075759991426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47164 KiB
[startup+0.700811 s]
/proc/loadavg: 1.29 1.46 1.55 3/216 17484
/proc/meminfo: memFree=22913872/32770624 swapFree=67108804/67108860
[pid=17469] ppid=17466 vsize=14084804 memory=81208 CPUtime=0.83 cores=0,2,4,6
/proc/17469/stat : 17469 (java) S 17466 17469 15687 0 -1 1077944320 16664 0 0 0 79 4 0 0 20 0 15 0 272917937 14422839296 20302 33554432000 4194304 4196468 140735397372832 140735397355376 140075759980279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
/proc/17469/statm: 3521201 20302 3454 1 0 3483273 0
[pid=17469/tid=17471] ppid=17466 vsize=14084804 memory=1744 CPUtime=0.59 cores=0,2,4,6
/proc/17469/task/17471/stat : 17471 (java) R 17466 17469 15687 0 -1 4202560 13990 0 0 0 56 3 0 0 20 0 15 0 272917937 14422839296 20302 33554432000 4194304 4196468 140735397372832 140075764216560 140075744060766 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17472] ppid=17466 vsize=14084804 memory=752 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17472/stat : 17472 (java) S 17466 17469 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272917938 14422839296 20302 33554432000 4194304 4196468 140735397372832 140075729693200 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17473] ppid=17466 vsize=14084804 memory=836 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17473/stat : 17473 (java) S 17466 17469 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272917938 14422839296 20302 33554432000 4194304 4196468 140735397372832 140075354430096 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17474] ppid=17466 vsize=14084804 memory=1084 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17474/stat : 17474 (java) S 17466 17469 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272917938 14422839296 20302 33554432000 4194304 4196468 140735397372832 140075353377040 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17475] ppid=17466 vsize=14084804 memory=1600 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17475/stat : 17475 (java) S 17466 17469 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272917938 14422839296 20302 33554432000 4194304 4196468 140735397372832 140075352324496 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17476] ppid=17466 vsize=14084804 memory=7952 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17476/stat : 17476 (java) S 17466 17469 15687 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272917940 14422839296 20302 33554432000 4194304 4196468 140735397372832 140075234953968 140075759991426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17477] ppid=17466 vsize=14084804 memory=4088 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17477/stat : 17477 (java) S 17466 17469 15687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272917940 14422839296 20302 33554432000 4194304 4196468 140735397372832 140075233900192 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17478] ppid=17466 vsize=14084804 memory=1784 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17478/stat : 17478 (java) S 17466 17469 15687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272917940 14422839296 20302 33554432000 4194304 4196468 140735397372832 140075232847088 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17479] ppid=17466 vsize=14084804 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17479/stat : 17479 (java) S 17466 17469 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272917943 14422839296 20302 33554432000 4194304 4196468 140735397372832 140075231795664 140075759998875 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17480] ppid=17466 vsize=14084804 memory=5844 CPUtime=0.04 cores=0,2,4,6
/proc/17469/task/17480/stat : 17480 (java) S 17466 17469 15687 0 -1 1077944384 514 0 0 0 4 0 0 0 20 0 15 0 272917943 14422839296 20302 33554432000 4194304 4196468 140735397372832 140075230742768 140075759991426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17481] ppid=17466 vsize=14084804 memory=3304 CPUtime=0.05 cores=0,2,4,6
/proc/17469/task/17481/stat : 17481 (java) S 17466 17469 15687 0 -1 1077944384 246 0 0 0 5 0 0 0 20 0 15 0 272917943 14422839296 20302 33554432000 4194304 4196468 140735397372832 140075229690224 140075759991426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17482] ppid=17466 vsize=14084804 memory=1260 CPUtime=0.13 cores=0,2,4,6
/proc/17469/task/17482/stat : 17482 (java) S 17466 17469 15687 0 -1 1077944384 533 0 0 0 13 0 0 0 20 0 15 0 272917943 14422839296 20302 33554432000 4194304 4196468 140735397372832 140075228637168 140075759991426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17483] ppid=17466 vsize=14084804 memory=14872 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17483/stat : 17483 (java) S 17466 17469 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272917943 14422839296 20302 33554432000 4194304 4196468 140735397372832 140075227584864 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17484] ppid=17466 vsize=14084804 memory=7090749836192213099 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17484/stat : 17484 (java) S 17466 17469 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272917951 14422839296 20302 33554432000 4194304 4196468 140735397372832 140075226532912 140075759991426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
Current children cumulated CPU time: 0.83 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 81208 KiB
[startup+1.46587 s]
# the end of solver process 17469 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.49104 s, system=0.070557 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.23796 s]
/proc/loadavg: 1.29 1.46 1.55 3/216 17484
/proc/meminfo: memFree=22913872/32770624 swapFree=67108804/67108860
[pid=17469] ppid=17466 vsize=14086852 memory=94608 CPUtime=1.2 cores=0,2,4,6
/proc/17469/stat : 17469 (java) S 17466 17469 15687 0 -1 1077944320 18028 0 0 0 115 5 0 0 20 0 15 0 272917937 14424936448 23652 33554432000 4194304 4196468 140735397372832 140735397355376 140075759980279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
/proc/17469/statm: 3521713 23652 3505 1 0 3483785 0
[pid=17469/tid=17471] ppid=17466 vsize=14086852 memory=0 CPUtime=0.78 cores=0,2,4,6
/proc/17469/task/17471/stat : 17471 (java) R 17466 17469 15687 0 -1 4202560 14962 0 0 0 74 4 0 0 20 0 15 0 272917937 14424936448 23652 33554432000 4194304 4196468 140735397372832 140075764209296 140075741848817 0 4 0 16800975 0 0 0 -1 4 0 0 35 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17472] ppid=17466 vsize=14086852 memory=280635982521696 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17472/stat : 17472 (java) S 17466 17469 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272917938 14424936448 23652 33554432000 4194304 4196468 140735397372832 140075729693200 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17473] ppid=17466 vsize=14086852 memory=280635982277488 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17473/stat : 17473 (java) S 17466 17469 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272917938 14424936448 23652 33554432000 4194304 4196468 140735397372832 140075354430096 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17474] ppid=17466 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17474/stat : 17474 (java) S 17466 17469 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272917938 14424936448 23652 33554432000 4194304 4196468 140735397372832 140075353377040 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17475] ppid=17466 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17475/stat : 17475 (java) S 17466 17469 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272917938 14424936448 23652 33554432000 4194304 4196468 140735397372832 140075352324496 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17476] ppid=17466 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17476/stat : 17476 (java) S 17466 17469 15687 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272917940 14424936448 23652 33554432000 4194304 4196468 140735397372832 140075234953968 140075759991426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17477] ppid=17466 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17477/stat : 17477 (java) S 17466 17469 15687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272917940 14424936448 23652 33554432000 4194304 4196468 140735397372832 140075233900192 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17478] ppid=17466 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17478/stat : 17478 (java) S 17466 17469 15687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272917940 14424936448 23652 33554432000 4194304 4196468 140735397372832 140075232847088 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17479] ppid=17466 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17479/stat : 17479 (java) S 17466 17469 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272917943 14424936448 23652 33554432000 4194304 4196468 140735397372832 140075231795664 140075759998875 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17480] ppid=17466 vsize=14086852 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/17469/task/17480/stat : 17480 (java) S 17466 17469 15687 0 -1 1077944384 692 0 0 0 11 0 0 0 20 0 15 0 272917943 14424936448 23652 33554432000 4194304 4196468 140735397372832 140075230742768 140075759991426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17481] ppid=17466 vsize=14086852 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17469/task/17481/stat : 17481 (java) S 17466 17469 15687 0 -1 1077944384 327 0 0 0 9 0 0 0 20 0 15 0 272917943 14424936448 23652 33554432000 4194304 4196468 140735397372832 140075229690224 140075759991426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17482] ppid=17466 vsize=14086852 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/17469/task/17482/stat : 17482 (java) R 17466 17469 15687 0 -1 4202560 665 0 0 0 19 0 0 0 20 0 15 0 272917943 14424936448 23652 33554432000 4194304 4196468 140735397372832 140075228637168 140075738935840 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17483] ppid=17466 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17483/stat : 17483 (java) S 17466 17469 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272917943 14424936448 23652 33554432000 4194304 4196468 140735397372832 140075227584864 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17484] ppid=17466 vsize=14086852 memory=288230600329134386 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17484/stat : 17484 (java) S 17466 17469 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272917951 14424936448 23652 33554432000 4194304 4196468 140735397372832 140075226532912 140075759991426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 14086852 KiB
Current children cumulated memory: 94608 KiB
[startup+1.40104 s]*
/proc/loadavg: 1.35 1.47 1.55 5/216 17484
/proc/meminfo: memFree=22862676/32770624 swapFree=67108804/67108860
[pid=17469] ppid=17466 vsize=14088900 memory=107324 CPUtime=1.46 cores=0,2,4,6
/proc/17469/stat : 17469 (java) S 17466 17469 15687 0 -1 1077944320 19088 0 0 0 140 6 0 0 20 0 15 0 272917937 14427033600 26831 33554432000 4194304 4196468 140735397372832 140735397355376 140075759980279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
/proc/17469/statm: 3522225 26831 3514 1 0 3484297 0
[pid=17469/tid=17471] ppid=17466 vsize=14088900 memory=5450919713671312938 CPUtime=0.95 cores=0,2,4,6
/proc/17469/task/17471/stat : 17471 (java) R 17466 17469 15687 0 -1 4202560 15844 0 0 0 91 4 0 0 20 0 15 0 272917937 14427033600 26831 33554432000 4194304 4196468 140735397372832 140075764213344 140075759992214 0 4 0 16800975 0 0 0 -1 4 0 0 35 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17472] ppid=17466 vsize=14088900 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17472/stat : 17472 (java) S 17466 17469 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272917938 14427033600 26831 33554432000 4194304 4196468 140735397372832 140075729693200 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17473] ppid=17466 vsize=14088900 memory=140318143182464 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17473/stat : 17473 (java) S 17466 17469 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272917938 14427033600 26831 33554432000 4194304 4196468 140735397372832 140075354430096 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17474] ppid=17466 vsize=14088900 memory=4639087545783262621 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17474/stat : 17474 (java) S 17466 17469 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272917938 14427033600 26831 33554432000 4194304 4196468 140735397372832 140075353377040 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17475] ppid=17466 vsize=14088900 memory=3617015243319226911 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17475/stat : 17475 (java) S 17466 17469 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272917938 14427033600 26831 33554432000 4194304 4196468 140735397372832 140075352324496 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17476] ppid=17466 vsize=14088900 memory=4786094755673320629 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17476/stat : 17476 (java) S 17466 17469 15687 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272917940 14427033600 26831 33554432000 4194304 4196468 140735397372832 140075234953968 140075759991426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17477] ppid=17466 vsize=14088900 memory=2314885530816952900 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17477/stat : 17477 (java) S 17466 17469 15687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272917940 14427033600 26831 33554432000 4194304 4196468 140735397372832 140075233900192 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17478] ppid=17466 vsize=14088900 memory=-7739291840220455296 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17478/stat : 17478 (java) S 17466 17469 15687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272917940 14427033600 26831 33554432000 4194304 4196468 140735397372832 140075232847088 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17479] ppid=17466 vsize=14088900 memory=-7449383003082255507 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17479/stat : 17479 (java) S 17466 17469 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272917943 14427033600 26831 33554432000 4194304 4196468 140735397372832 140075231795664 140075759998875 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17480] ppid=17466 vsize=14088900 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/17469/task/17480/stat : 17480 (java) S 17466 17469 15687 0 -1 1077944384 698 0 0 0 11 0 0 0 20 0 15 0 272917943 14427033600 26831 33554432000 4194304 4196468 140735397372832 140075230742768 140075759991426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17481] ppid=17466 vsize=14088900 memory=3472328296227680299 CPUtime=0.12 cores=0,2,4,6
/proc/17469/task/17481/stat : 17481 (java) S 17466 17469 15687 0 -1 1077944384 348 0 0 0 12 0 0 0 20 0 15 0 272917943 14427033600 26831 33554432000 4194304 4196468 140735397372832 140075229690224 140075759991426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17482] ppid=17466 vsize=14088900 memory=3472468614303753904 CPUtime=0.24 cores=0,2,4,6
/proc/17469/task/17482/stat : 17482 (java) R 17466 17469 15687 0 -1 4202560 819 0 0 0 24 0 0 0 20 0 15 0 272917943 14427033600 26831 33554432000 4194304 4196468 140735397372832 140075228637168 140075739695094 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17483] ppid=17466 vsize=14088900 memory=3472323898181169199 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17483/stat : 17483 (java) S 17466 17469 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272917943 14427033600 26831 33554432000 4194304 4196468 140735397372832 140075227584864 140075759990485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
[pid=17469/tid=17484] ppid=17466 vsize=14088900 memory=4211961893684305911 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17484/stat : 17484 (java) S 17466 17469 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272917951 14427033600 26831 33554432000 4194304 4196468 140735397372832 140075226532912 140075759991426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140735397381193 140735397381385 140735397381385 140735397384143 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 14088900 KiB
Current children cumulated memory: 107324 KiB
Child status: 0
Real time (s): 1.46591
CPU time (s): 1.5616
CPU user time (s): 1.49104
CPU system time (s): 0.070557
CPU usage (%): 106.527
Max. virtual memory (cumulated for all children) (KiB): 14088900
Max. memory (cumulated for all children) (KiB): 107324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.49104
system time used= 0.070557
maximum resident set size= 113516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21779
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1702
involuntary context switches= 10
# summary of solver processes directly reported to runsolver:
# pid: 17469
# total CPU time (s): 1.5616
# total CPU user time (s): 1.49104
# total CPU system time (s): 0.070557
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031177 second user time and 0.056436 second system time
The end