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 (8533 MiB free)
memory of node 1: 16384 MiB (11538 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296277-1532621454/watcher-4296277-1532621454 -o /tmp/evaluation-result-4296277-1532621454/solver-4296277-1532621454 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532621454-11758 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=216689594 HOME/instance-4296277-1532621454.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
Current StackSize limit: 8192 KiB
solver pid=11788, runsolver pid=11781
[startup+0.100133 s]*
/proc/loadavg: 0.97 1.33 1.40 4/198 11901
/proc/meminfo: memFree=20539188/32770624 swapFree=67108860/67108860
[pid=11788] ppid=11781 vsize=9972712 memory=16548 CPUtime=0.09 cores=0,2,4,6
/proc/11788/stat : 11788 (java) S 11781 11788 8081 0 -1 1077944320 4301 13067 0 0 1 0 5 3 20 0 6 0 79708551 10212057088 4137 33554432000 4194304 4196468 140729759729408 140729759711952 140265554808567 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
/proc/11788/statm: 2493178 4137 1932 1 0 2481616 0
[pid=11788/tid=11893] ppid=11781 vsize=9972712 memory=-6517102902069810590 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11893/stat : 11893 (java) R 11781 11788 8081 0 -1 4202560 2121 13067 0 0 0 0 5 3 20 0 6 0 79708561 10212057088 4137 33554432000 4194304 4196468 140729759729408 140265526645328 140265538889054 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11898] ppid=11781 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11898/stat : 11898 (java) S 11781 11788 8081 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 6 0 79708561 10212057088 4137 33554432000 4194304 4196468 140729759729408 140265559050896 140265554818773 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11899] ppid=11781 vsize=9972712 memory=140346574608000 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11899/stat : 11899 (java) S 11781 11788 8081 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 6 0 79708561 10212057088 4137 33554432000 4194304 4196468 140729759729408 140265447324176 140265554818773 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11900] ppid=11781 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11900/stat : 11900 (java) S 11781 11788 8081 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 6 0 79708561 10212057088 4137 33554432000 4194304 4196468 140729759729408 140265446271376 140265554818773 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11901] ppid=11781 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11901/stat : 11901 (java) S 11781 11788 8081 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 6 0 79708562 10212057088 4137 33554432000 4194304 4196468 140729759729408 140265125832976 140265554818773 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16548 KiB
[startup+0.2098 s]*
/proc/loadavg: 0.97 1.33 1.40 4/216 11919
/proc/meminfo: memFree=20499116/32770624 swapFree=67108860/67108860
[pid=11788] ppid=11781 vsize=10818904 memory=39276 CPUtime=0.26 cores=0,2,4,6
/proc/11788/stat : 11788 (java) S 11781 11788 8081 0 -1 1077944320 7557 13067 0 0 16 2 5 3 20 0 15 0 79708551 11078557696 9819 33554432000 4194304 4196468 140729759729408 140729759711952 140265554808567 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
/proc/11788/statm: 2704726 9819 2967 1 0 2667149 0
[pid=11788/tid=11893] ppid=11781 vsize=10818904 memory=-5576991679852610352 CPUtime=0.19 cores=0,2,4,6
/proc/11788/task/11893/stat : 11893 (java) R 11781 11788 8081 0 -1 4202560 4144 13067 0 0 10 1 5 3 20 0 15 0 79708561 11078557696 9819 33554432000 4194304 4196468 140729759729408 140265526604608 140265535074352 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11898] ppid=11781 vsize=10818904 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11898/stat : 11898 (java) S 11781 11788 8081 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 15 0 79708561 11078557696 9885 33554432000 4194304 4196468 140729759729408 140265559050896 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11899] ppid=11781 vsize=10818904 memory=140346574608000 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11899/stat : 11899 (java) S 11781 11788 8081 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 15 0 79708561 11078557696 9885 33554432000 4194304 4196468 140729759729408 140265447324176 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11900] ppid=11781 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11900/stat : 11900 (java) S 11781 11788 8081 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 15 0 79708561 11078557696 9885 33554432000 4194304 4196468 140729759729408 140265446271376 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11901] ppid=11781 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11901/stat : 11901 (java) S 11781 11788 8081 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 15 0 79708562 11078557696 9885 33554432000 4194304 4196468 140729759729408 140265125832976 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11903] ppid=11781 vsize=10818904 memory=140346574608000 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11903/stat : 11903 (java) S 11781 11788 8081 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 15 0 79708563 11078557696 9885 33554432000 4194304 4196468 140729759729408 140264759421808 140265554819714 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11906] ppid=11781 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11906/stat : 11906 (java) S 11781 11788 8081 0 -1 1077944384 33 13067 0 0 0 0 5 3 20 0 15 0 79708563 11078557696 9885 33554432000 4194304 4196468 140729759729408 140264758367776 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11907] ppid=11781 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11907/stat : 11907 (java) S 11781 11788 8081 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 15 0 79708564 11078557696 9885 33554432000 4194304 4196468 140729759729408 140264639292784 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11913] ppid=11781 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11913/stat : 11913 (java) S 11781 11788 8081 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 79708566 11078557696 9885 33554432000 4194304 4196468 140729759729408 140264130566480 140265554827163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11914] ppid=11781 vsize=10818904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11788/task/11914/stat : 11914 (java) S 11781 11788 8081 0 -1 1077944384 568 13067 0 0 1 0 5 3 20 0 15 0 79708566 11078557696 9885 33554432000 4194304 4196468 140729759729408 140264724810096 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11915] ppid=11781 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11915/stat : 11915 (java) S 11781 11788 8081 0 -1 1077944384 54 13067 0 0 0 0 5 3 20 0 15 0 79708566 11078557696 9885 33554432000 4194304 4196468 140729759729408 140264723757296 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11916] ppid=11781 vsize=10818904 memory=140346574608000 CPUtime=0.11 cores=0,2,4,6
/proc/11788/task/11916/stat : 11916 (java) S 11781 11788 8081 0 -1 1077944384 596 13067 0 0 3 0 5 3 20 0 15 0 79708566 11078557696 9885 33554432000 4194304 4196468 140729759729408 140264722704496 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11918] ppid=11781 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11918/stat : 11918 (java) S 11781 11788 8081 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 79708567 11078557696 9951 33554432000 4194304 4196468 140729759729408 140264097007840 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11919] ppid=11781 vsize=10818904 memory=140346574608000 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11919/stat : 11919 (java) S 11781 11788 8081 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 15 0 79708567 11078557696 9951 33554432000 4194304 4196468 140729759729408 140264721652912 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 39276 KiB
[startup+0.310086 s]*
/proc/loadavg: 0.97 1.33 1.40 4/216 11919
/proc/meminfo: memFree=20476072/32770624 swapFree=67108860/67108860
[pid=11788] ppid=11781 vsize=10819352 memory=51932 CPUtime=0.38 cores=0,2,4,6
/proc/11788/stat : 11788 (java) S 11781 11788 8081 0 -1 1077944320 10602 13067 0 0 27 3 5 3 20 0 15 0 79708551 11079016448 12983 33554432000 4194304 4196468 140729759729408 140729759711952 140265554808567 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
/proc/11788/statm: 2704838 12983 3086 1 0 2667149 0
[pid=11788/tid=11893] ppid=11781 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/11788/task/11893/stat : 11893 (java) R 11781 11788 8081 0 -1 4202560 7133 13067 0 0 19 2 5 3 20 0 15 0 79708561 11079016448 12983 33554432000 4194304 4196468 140729759729408 140265526620576 140265538889054 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11898] ppid=11781 vsize=10819352 memory=5787213827347079232 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11898/stat : 11898 (java) S 11781 11788 8081 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 15 0 79708561 11079016448 12983 33554432000 4194304 4196468 140729759729408 140265559050896 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11899] ppid=11781 vsize=10819352 memory=7649399375742316849 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11899/stat : 11899 (java) S 11781 11788 8081 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 15 0 79708561 11079016448 13025 33554432000 4194304 4196468 140729759729408 140265447324176 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11900] ppid=11781 vsize=10819352 memory=4294969504 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11900/stat : 11900 (java) S 11781 11788 8081 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 15 0 79708561 11079016448 13025 33554432000 4194304 4196468 140729759729408 140265446271376 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11901] ppid=11781 vsize=10819352 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11901/stat : 11901 (java) S 11781 11788 8081 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 15 0 79708562 11079016448 13025 33554432000 4194304 4196468 140729759729408 140265125832976 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11903] ppid=11781 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11903/stat : 11903 (java) S 11781 11788 8081 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 15 0 79708563 11079016448 13025 33554432000 4194304 4196468 140729759729408 140264759421808 140265554819714 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11906] ppid=11781 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11906/stat : 11906 (java) S 11781 11788 8081 0 -1 1077944384 33 13067 0 0 0 0 5 3 20 0 15 0 79708563 11079016448 13025 33554432000 4194304 4196468 140729759729408 140264758367776 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11907] ppid=11781 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11907/stat : 11907 (java) S 11781 11788 8081 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 15 0 79708564 11079016448 13025 33554432000 4194304 4196468 140729759729408 140264639292784 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11913] ppid=11781 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11913/stat : 11913 (java) S 11781 11788 8081 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 79708566 11079016448 13025 33554432000 4194304 4196468 140729759729408 140264130566480 140265554827163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11914] ppid=11781 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11788/task/11914/stat : 11914 (java) S 11781 11788 8081 0 -1 1077944384 569 13067 0 0 1 0 5 3 20 0 15 0 79708566 11079016448 13025 33554432000 4194304 4196468 140729759729408 140264724810096 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11915] ppid=11781 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11788/task/11915/stat : 11915 (java) S 11781 11788 8081 0 -1 1077944384 54 13067 0 0 1 0 5 3 20 0 15 0 79708566 11079016448 13025 33554432000 4194304 4196468 140729759729408 140264723757296 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11916] ppid=11781 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/11788/task/11916/stat : 11916 (java) S 11781 11788 8081 0 -1 1077944384 606 13067 0 0 4 0 5 3 20 0 15 0 79708566 11079016448 13025 33554432000 4194304 4196468 140729759729408 140264722704496 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11918] ppid=11781 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11918/stat : 11918 (java) S 11781 11788 8081 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 79708567 11079016448 13025 33554432000 4194304 4196468 140729759729408 140264097007840 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11919] ppid=11781 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11919/stat : 11919 (java) S 11781 11788 8081 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 15 0 79708567 11079016448 13025 33554432000 4194304 4196468 140729759729408 140264721652912 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51932 KiB
[startup+0.700809 s]
/proc/loadavg: 0.97 1.33 1.40 4/216 11919
/proc/meminfo: memFree=20453868/32770624 swapFree=67108860/67108860
[pid=11788] ppid=11781 vsize=10819352 memory=84484 CPUtime=0.98 cores=0,2,4,6
/proc/11788/stat : 11788 (java) S 11781 11788 8081 0 -1 1077944320 16793 13067 0 0 86 4 5 3 20 0 15 0 79708551 11079016448 21121 33554432000 4194304 4196468 140729759729408 140729759711952 140265554808567 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
/proc/11788/statm: 2704838 21121 3240 1 0 2667149 0
[pid=11788/tid=11893] ppid=11781 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/11788/task/11893/stat : 11893 (java) R 11781 11788 8081 0 -1 4202560 12235 13067 0 0 55 3 5 3 20 0 15 0 79708561 11079016448 21121 33554432000 4194304 4196468 140729759729408 140265526630608 140265536372119 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11898] ppid=11781 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11898/stat : 11898 (java) S 11781 11788 8081 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 15 0 79708561 11079016448 21121 33554432000 4194304 4196468 140729759729408 140265559050896 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11899] ppid=11781 vsize=10819352 memory=4136 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11899/stat : 11899 (java) S 11781 11788 8081 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 15 0 79708561 11079016448 21121 33554432000 4194304 4196468 140729759729408 140265447324176 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11900] ppid=11781 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11900/stat : 11900 (java) S 11781 11788 8081 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 15 0 79708561 11079016448 21121 33554432000 4194304 4196468 140729759729408 140265446271376 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11901] ppid=11781 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11901/stat : 11901 (java) S 11781 11788 8081 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 15 0 79708562 11079016448 21121 33554432000 4194304 4196468 140729759729408 140265125832976 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11903] ppid=11781 vsize=10819352 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11903/stat : 11903 (java) S 11781 11788 8081 0 -1 1077944384 5 13067 0 0 0 0 5 3 20 0 15 0 79708563 11079016448 21121 33554432000 4194304 4196468 140729759729408 140264759421808 140265554819714 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11906] ppid=11781 vsize=10819352 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11906/stat : 11906 (java) S 11781 11788 8081 0 -1 1077944384 33 13067 0 0 0 0 5 3 20 0 15 0 79708563 11079016448 21121 33554432000 4194304 4196468 140729759729408 140264758367776 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11907] ppid=11781 vsize=10819352 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11907/stat : 11907 (java) S 11781 11788 8081 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 15 0 79708564 11079016448 21121 33554432000 4194304 4196468 140729759729408 140264639292784 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11913] ppid=11781 vsize=10819352 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11913/stat : 11913 (java) S 11781 11788 8081 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 79708566 11079016448 21121 33554432000 4194304 4196468 140729759729408 140264130566480 140265554827163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11914] ppid=11781 vsize=10819352 memory=13252 CPUtime=0.17 cores=0,2,4,6
/proc/11788/task/11914/stat : 11914 (java) S 11781 11788 8081 0 -1 1077944384 1193 13067 0 0 9 0 5 3 20 0 15 0 79708566 11079016448 21121 33554432000 4194304 4196468 140729759729408 140264724810096 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11915] ppid=11781 vsize=10819352 memory=15460 CPUtime=0.15 cores=0,2,4,6
/proc/11788/task/11915/stat : 11915 (java) S 11781 11788 8081 0 -1 1077944384 445 13067 0 0 7 0 5 3 20 0 15 0 79708566 11079016448 21121 33554432000 4194304 4196468 140729759729408 140264723757296 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11916] ppid=11781 vsize=10819352 memory=17668 CPUtime=0.21 cores=0,2,4,6
/proc/11788/task/11916/stat : 11916 (java) S 11781 11788 8081 0 -1 1077944384 675 13067 0 0 13 0 5 3 20 0 15 0 79708566 11079016448 21121 33554432000 4194304 4196468 140729759729408 140264722704496 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11918] ppid=11781 vsize=10819352 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11918/stat : 11918 (java) S 11781 11788 8081 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 79708567 11079016448 21121 33554432000 4194304 4196468 140729759729408 140264097007840 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11919] ppid=11781 vsize=10819352 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11919/stat : 11919 (java) S 11781 11788 8081 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 15 0 79708567 11079016448 21121 33554432000 4194304 4196468 140729759729408 140264721652912 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84484 KiB
[startup+1.50201 s]
/proc/loadavg: 0.97 1.33 1.40 5/216 11919
/proc/meminfo: memFree=20364988/32770624 swapFree=67108860/67108860
[pid=11788] ppid=11781 vsize=10834252 memory=175820 CPUtime=2.35 cores=0,2,4,6
/proc/11788/stat : 11788 (java) S 11781 11788 8081 0 -1 1077944320 24139 13067 0 0 218 9 5 3 20 0 15 0 79708551 11094274048 43955 33554432000 4194304 4196468 140729759729408 140729759711952 140265554808567 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
/proc/11788/statm: 2708563 43955 3469 1 0 2670221 0
[pid=11788/tid=11893] ppid=11781 vsize=10834252 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/11788/task/11893/stat : 11893 (java) R 11781 11788 8081 0 -1 4202560 17748 13067 0 0 129 5 5 3 20 0 15 0 79708561 11094274048 43955 33554432000 4194304 4196468 140729759729408 140265526626208 140265477865153 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11898] ppid=11781 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11788/task/11898/stat : 11898 (java) S 11781 11788 8081 0 -1 1077944384 24 13067 0 0 1 0 5 3 20 0 15 0 79708561 11094274048 43955 33554432000 4194304 4196468 140729759729408 140265559050896 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11899] ppid=11781 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11788/task/11899/stat : 11899 (java) S 11781 11788 8081 0 -1 1077944384 16 13067 0 0 1 0 5 3 20 0 15 0 79708561 11094274048 43955 33554432000 4194304 4196468 140729759729408 140265447324176 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11900] ppid=11781 vsize=10834252 memory=1399103955520229747 CPUtime=0.09 cores=0,2,4,6
/proc/11788/task/11900/stat : 11900 (java) S 11781 11788 8081 0 -1 1077944384 204 13067 0 0 1 0 5 3 20 0 15 0 79708561 11094274048 43955 33554432000 4194304 4196468 140729759729408 140265446271376 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11901] ppid=11781 vsize=10834252 memory=280692890085632 CPUtime=0.09 cores=0,2,4,6
/proc/11788/task/11901/stat : 11901 (java) S 11781 11788 8081 0 -1 1077944384 61 13067 0 0 1 0 5 3 20 0 15 0 79708562 11094274048 43955 33554432000 4194304 4196468 140729759729408 140265125832976 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11903] ppid=11781 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11788/task/11903/stat : 11903 (java) S 11781 11788 8081 0 -1 1077944384 54 13067 0 0 1 0 5 3 20 0 15 0 79708563 11094274048 43955 33554432000 4194304 4196468 140729759729408 140264759421808 140265554819714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11906] ppid=11781 vsize=10834252 memory=1228 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11906/stat : 11906 (java) S 11781 11788 8081 0 -1 1077944384 34 13067 0 0 0 0 5 3 20 0 15 0 79708563 11094274048 43955 33554432000 4194304 4196468 140729759729408 140264758367840 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11907] ppid=11781 vsize=10834252 memory=1704 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11907/stat : 11907 (java) S 11781 11788 8081 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 15 0 79708564 11094274048 43955 33554432000 4194304 4196468 140729759729408 140264639292800 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11913] ppid=11781 vsize=10834252 memory=9996 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11913/stat : 11913 (java) S 11781 11788 8081 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 79708566 11094274048 43955 33554432000 4194304 4196468 140729759729408 140264130566480 140265554827163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11914] ppid=11781 vsize=10834252 memory=5792 CPUtime=0.3 cores=0,2,4,6
/proc/11788/task/11914/stat : 11914 (java) S 11781 11788 8081 0 -1 1077944384 1482 13067 0 0 22 0 5 3 20 0 15 0 79708566 11094274048 43955 33554432000 4194304 4196468 140729759729408 140264724810096 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11915] ppid=11781 vsize=10834252 memory=1936 CPUtime=0.31 cores=0,2,4,6
/proc/11788/task/11915/stat : 11915 (java) S 11781 11788 8081 0 -1 1077944384 1010 13067 0 0 23 0 5 3 20 0 15 0 79708566 11094274048 43955 33554432000 4194304 4196468 140729759729408 140264723757296 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11916] ppid=11781 vsize=10834252 memory=1196 CPUtime=0.42 cores=0,2,4,6
/proc/11788/task/11916/stat : 11916 (java) S 11781 11788 8081 0 -1 1077944384 1306 13067 0 0 34 0 5 3 20 0 15 0 79708566 11094274048 43955 33554432000 4194304 4196468 140729759729408 140264722704496 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11918] ppid=11781 vsize=10834252 memory=8532 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11918/stat : 11918 (java) S 11781 11788 8081 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 79708567 11094274048 43955 33554432000 4194304 4196468 140729759729408 140264097007840 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11919] ppid=11781 vsize=10834252 memory=4616 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11919/stat : 11919 (java) S 11781 11788 8081 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 15 0 79708567 11094274048 43955 33554432000 4194304 4196468 140729759729408 140264721652912 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
Current children cumulated CPU time: 2.35 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/11788/task/11893/stat : 11893 (java) R 11781 11788 8081 0 -1 4202560 92179 13067 0 0 235462 52 5 3 20 0 15 0 79708561 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265526643920 140265141933191 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11898] ppid=11781 vsize=10916192 memory=1000632 CPUtime=12.21 cores=0,2,4,6
/proc/11788/task/11898/stat : 11898 (java) S 11781 11788 8081 0 -1 1077944384 12780 13067 0 0 1157 56 5 3 20 0 15 0 79708561 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265559050896 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11899] ppid=11781 vsize=10916192 memory=1000632 CPUtime=12.19 cores=0,2,4,6
/proc/11788/task/11899/stat : 11899 (java) S 11781 11788 8081 0 -1 1077944384 21710 13067 0 0 1150 61 5 3 20 0 15 0 79708561 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265447324176 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11900] ppid=11781 vsize=10916192 memory=13898514172380 CPUtime=12.2 cores=0,2,4,6
/proc/11788/task/11900/stat : 11900 (java) S 11781 11788 8081 0 -1 1077944384 10612 13067 0 0 1158 54 5 3 20 0 15 0 79708561 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265446271376 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11901] ppid=11781 vsize=10916192 memory=56 CPUtime=12.21 cores=0,2,4,6
/proc/11788/task/11901/stat : 11901 (java) S 11781 11788 8081 0 -1 1077944384 12944 13067 0 0 1152 61 5 3 20 0 15 0 79708562 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265125832976 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11903] ppid=11781 vsize=10916192 memory=6944656592455360604 CPUtime=11.19 cores=0,2,4,6
/proc/11788/task/11903/stat : 11903 (java) S 11781 11788 8081 0 -1 1077944384 14323 13067 0 0 1057 54 5 3 20 0 15 0 79708563 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264759421808 140265554819714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11906] ppid=11781 vsize=10916192 memory=23836 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11906/stat : 11906 (java) S 11781 11788 8081 0 -1 1077944384 53 13067 0 0 0 0 5 3 20 0 15 0 79708563 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264758367840 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11907] ppid=11781 vsize=10916192 memory=998584 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11907/stat : 11907 (java) S 11781 11788 8081 0 -1 1077944384 7 13067 0 0 0 0 5 3 20 0 15 0 79708564 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264639292800 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11913] ppid=11781 vsize=10916192 memory=1000632 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11913/stat : 11913 (java) S 11781 11788 8081 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 79708566 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264130566480 140265554827163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11914] ppid=11781 vsize=10916192 memory=1000632 CPUtime=7.21 cores=0,2,4,6
/proc/11788/task/11914/stat : 11914 (java) S 11781 11788 8081 0 -1 1077944384 17020 13067 0 0 710 3 5 3 20 0 15 0 79708566 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264724810096 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11915] ppid=11781 vsize=10916192 memory=971508 CPUtime=8.12 cores=0,2,4,6
/proc/11788/task/11915/stat : 11915 (java) S 11781 11788 8081 0 -1 1077944384 23176 13067 0 0 799 5 5 3 20 0 15 0 79708566 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264723757296 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11916] ppid=11781 vsize=10916192 memory=1000632 CPUtime=3.42 cores=0,2,4,6
/proc/11788/task/11916/stat : 11916 (java) S 11781 11788 8081 0 -1 1077944384 21235 13067 0 0 329 5 5 3 20 0 15 0 79708566 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264722704496 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11918] ppid=11781 vsize=10916192 memory=1728 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11918/stat : 11918 (java) S 11781 11788 8081 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 79708567 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264097007840 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11919] ppid=11781 vsize=10916192 memory=796 CPUtime=1.56 cores=0,2,4,6
/proc/11788/task/11919/stat : 11919 (java) S 11781 11788 8081 0 -1 1077944384 882 13067 0 0 71 77 5 3 20 0 15 0 79708567 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264721652912 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
Current children cumulated CPU time: 2434.9 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1000632 KiB
[startup+2442.3 s]
/proc/loadavg: 1.24 1.30 1.35 4/216 11994
/proc/meminfo: memFree=18599124/32770624 swapFree=67108860/67108860
[pid=11788] ppid=11781 vsize=10916192 memory=1000632 CPUtime=2495.81 cores=0,2,4,6
/proc/11788/stat : 11788 (java) S 11781 11788 8081 0 -1 1077944320 230406 13067 0 0 249205 368 5 3 20 0 15 0 79708551 11178180608 250158 33554432000 4194304 4196468 140729759729408 140729759711952 140265554808567 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
/proc/11788/statm: 2729048 250158 3531 1 0 2690701 0
[pid=11788/tid=11893] ppid=11781 vsize=10916192 memory=1000632 CPUtime=2414.53 cores=0,2,4,6
/proc/11788/task/11893/stat : 11893 (java) R 11781 11788 8081 0 -1 4202560 92817 13067 0 0 241393 52 5 3 20 0 15 0 79708561 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265526643168 140265142699097 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11898] ppid=11781 vsize=10916192 memory=1000632 CPUtime=12.52 cores=0,2,4,6
/proc/11788/task/11898/stat : 11898 (java) S 11781 11788 8081 0 -1 1077944384 12844 13067 0 0 1187 57 5 3 20 0 15 0 79708561 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265559050896 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11899] ppid=11781 vsize=10916192 memory=1000632 CPUtime=12.5 cores=0,2,4,6
/proc/11788/task/11899/stat : 11899 (java) S 11781 11788 8081 0 -1 1077944384 21754 13067 0 0 1181 61 5 3 20 0 15 0 79708561 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265447324176 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11900] ppid=11781 vsize=10916192 memory=1000632 CPUtime=12.51 cores=0,2,4,6
/proc/11788/task/11900/stat : 11900 (java) S 11781 11788 8081 0 -1 1077944384 10964 13067 0 0 1188 55 5 3 20 0 15 0 79708561 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265446271376 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11901] ppid=11781 vsize=10916192 memory=1000632 CPUtime=12.52 cores=0,2,4,6
/proc/11788/task/11901/stat : 11901 (java) S 11781 11788 8081 0 -1 1077944384 12974 13067 0 0 1183 61 5 3 20 0 15 0 79708562 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265125832976 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11903] ppid=11781 vsize=10916192 memory=1000632 CPUtime=11.47 cores=0,2,4,6
/proc/11788/task/11903/stat : 11903 (java) S 11781 11788 8081 0 -1 1077944384 14476 13067 0 0 1083 56 5 3 20 0 15 0 79708563 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264759421808 140265554819714 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11906] ppid=11781 vsize=10916192 memory=1000632 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11906/stat : 11906 (java) S 11781 11788 8081 0 -1 1077944384 53 13067 0 0 0 0 5 3 20 0 15 0 79708563 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264758367840 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11907] ppid=11781 vsize=10916192 memory=1000632 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11907/stat : 11907 (java) S 11781 11788 8081 0 -1 1077944384 7 13067 0 0 0 0 5 3 20 0 15 0 79708564 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264639292800 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11913] ppid=11781 vsize=10916192 memory=1000632 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11913/stat : 11913 (java) S 11781 11788 8081 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 79708566 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264130566480 140265554827163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11914] ppid=11781 vsize=10916192 memory=4136 CPUtime=7.21 cores=0,2,4,6
/proc/11788/task/11914/stat : 11914 (java) S 11781 11788 8081 0 -1 1077944384 17020 13067 0 0 710 3 5 3 20 0 15 0 79708566 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264724810096 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11915] ppid=11781 vsize=10916192 memory=1000632 CPUtime=8.13 cores=0,2,4,6
/proc/11788/task/11915/stat : 11915 (java) S 11781 11788 8081 0 -1 1077944384 23176 13067 0 0 800 5 5 3 20 0 15 0 79708566 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264723757296 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11916] ppid=11781 vsize=10916192 memory=1000632 CPUtime=3.42 cores=0,2,4,6
/proc/11788/task/11916/stat : 11916 (java) S 11781 11788 8081 0 -1 1077944384 21235 13067 0 0 329 5 5 3 20 0 15 0 79708566 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264722704496 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11918] ppid=11781 vsize=10916192 memory=1000632 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11918/stat : 11918 (java) S 11781 11788 8081 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 79708567 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264097007840 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11919] ppid=11781 vsize=10916192 memory=1000632 CPUtime=1.59 cores=0,2,4,6
/proc/11788/task/11919/stat : 11919 (java) S 11781 11788 8081 0 -1 1077944384 888 13067 0 0 72 79 5 3 20 0 15 0 79708567 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264721652912 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
Current children cumulated CPU time: 2495.81 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1000632 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2466.11 s]
/proc/loadavg: 1.30 1.31 1.35 4/216 11995
/proc/meminfo: memFree=18597068/32770624 swapFree=67108860/67108860
[pid=11788] ppid=11781 vsize=10916192 memory=1000632 CPUtime=2520 cores=0,2,4,6
/proc/11788/stat : 11788 (java) S 11781 11788 8081 0 -1 1077944320 230847 13067 0 0 251621 371 5 3 20 0 15 0 79708551 11178180608 250158 33554432000 4194304 4196468 140729759729408 140729759711952 140265554808567 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
/proc/11788/statm: 2729048 250158 3531 1 0 2690701 0
[pid=11788/tid=11893] ppid=11781 vsize=10916192 memory=5792 CPUtime=2438.09 cores=0,2,4,6
/proc/11788/task/11893/stat : 11893 (java) R 11781 11788 8081 0 -1 4202560 93068 13067 0 0 243748 53 5 3 20 0 15 0 79708561 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265526643120 140265126956264 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11898] ppid=11781 vsize=10916192 memory=1000632 CPUtime=12.65 cores=0,2,4,6
/proc/11788/task/11898/stat : 11898 (java) S 11781 11788 8081 0 -1 1077944384 12895 13067 0 0 1199 58 5 3 20 0 15 0 79708561 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265559050896 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11899] ppid=11781 vsize=10916192 memory=1000632 CPUtime=12.63 cores=0,2,4,6
/proc/11788/task/11899/stat : 11899 (java) S 11781 11788 8081 0 -1 1077944384 21767 13067 0 0 1193 62 5 3 20 0 15 0 79708561 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265447324176 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11900] ppid=11781 vsize=10916192 memory=1000632 CPUtime=12.64 cores=0,2,4,6
/proc/11788/task/11900/stat : 11900 (java) S 11781 11788 8081 0 -1 1077944384 10971 13067 0 0 1200 56 5 3 20 0 15 0 79708561 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265446271376 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11901] ppid=11781 vsize=10916192 memory=1796 CPUtime=12.65 cores=0,2,4,6
/proc/11788/task/11901/stat : 11901 (java) S 11781 11788 8081 0 -1 1077944384 13015 13067 0 0 1195 62 5 3 20 0 15 0 79708562 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265125832976 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11903] ppid=11781 vsize=10916192 memory=1000632 CPUtime=11.58 cores=0,2,4,6
/proc/11788/task/11903/stat : 11903 (java) S 11781 11788 8081 0 -1 1077944384 14545 13067 0 0 1094 56 5 3 20 0 15 0 79708563 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264759421808 140265554819714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11906] ppid=11781 vsize=10916192 memory=1000632 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11906/stat : 11906 (java) S 11781 11788 8081 0 -1 1077944384 53 13067 0 0 0 0 5 3 20 0 15 0 79708563 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264758367840 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11907] ppid=11781 vsize=10916192 memory=1000632 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11907/stat : 11907 (java) S 11781 11788 8081 0 -1 1077944384 7 13067 0 0 0 0 5 3 20 0 15 0 79708564 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264639292800 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11913] ppid=11781 vsize=10916192 memory=1000632 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11913/stat : 11913 (java) S 11781 11788 8081 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 79708566 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264130566480 140265554827163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11914] ppid=11781 vsize=10916192 memory=1000632 CPUtime=7.21 cores=0,2,4,6
/proc/11788/task/11914/stat : 11914 (java) S 11781 11788 8081 0 -1 1077944384 17022 13067 0 0 710 3 5 3 20 0 15 0 79708566 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264724810096 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11915] ppid=11781 vsize=10916192 memory=1000632 CPUtime=8.13 cores=0,2,4,6
/proc/11788/task/11915/stat : 11915 (java) S 11781 11788 8081 0 -1 1077944384 23178 13067 0 0 800 5 5 3 20 0 15 0 79708566 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264723757296 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11916] ppid=11781 vsize=10916192 memory=4136 CPUtime=3.42 cores=0,2,4,6
/proc/11788/task/11916/stat : 11916 (java) S 11781 11788 8081 0 -1 1077944384 21237 13067 0 0 329 5 5 3 20 0 15 0 79708566 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264722704496 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11918] ppid=11781 vsize=10916192 memory=1000632 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11918/stat : 11918 (java) S 11781 11788 8081 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 79708567 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264097007840 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11919] ppid=11781 vsize=10916192 memory=6791534058613427641 CPUtime=1.61 cores=0,2,4,6
/proc/11788/task/11919/stat : 11919 (java) S 11781 11788 8081 0 -1 1077944384 891 13067 0 0 73 80 5 3 20 0 15 0 79708567 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264721652912 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1000632 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2466.14 s]
# the end of solver process 11788 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.28 s, system=3.76075 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2466.11 s]
/proc/loadavg: 1.30 1.31 1.35 4/216 11995
/proc/meminfo: memFree=18597068/32770624 swapFree=67108860/67108860
[pid=11788] ppid=11781 vsize=10916192 memory=1000632 CPUtime=2520 cores=0,2,4,6
/proc/11788/stat : 11788 (java) S 11781 11788 8081 0 -1 1077944320 230847 13067 0 0 251621 371 5 3 20 0 15 0 79708551 11178180608 250158 33554432000 4194304 4196468 140729759729408 140729759711952 140265554808567 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
/proc/11788/statm: 2729048 250158 3531 1 0 2690701 0
[pid=11788/tid=11893] ppid=11781 vsize=10916192 memory=5792 CPUtime=2438.09 cores=0,2,4,6
/proc/11788/task/11893/stat : 11893 (java) R 11781 11788 8081 0 -1 4202560 93068 13067 0 0 243748 53 5 3 20 0 15 0 79708561 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265526643120 140265126956264 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11898] ppid=11781 vsize=10916192 memory=1000632 CPUtime=12.65 cores=0,2,4,6
/proc/11788/task/11898/stat : 11898 (java) S 11781 11788 8081 0 -1 1077944384 12895 13067 0 0 1199 58 5 3 20 0 15 0 79708561 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265559050896 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11899] ppid=11781 vsize=10916192 memory=1000632 CPUtime=12.63 cores=0,2,4,6
/proc/11788/task/11899/stat : 11899 (java) S 11781 11788 8081 0 -1 1077944384 21767 13067 0 0 1193 62 5 3 20 0 15 0 79708561 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265447324176 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11900] ppid=11781 vsize=10916192 memory=1000632 CPUtime=12.64 cores=0,2,4,6
/proc/11788/task/11900/stat : 11900 (java) S 11781 11788 8081 0 -1 1077944384 10971 13067 0 0 1200 56 5 3 20 0 15 0 79708561 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265446271376 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11901] ppid=11781 vsize=10916192 memory=1796 CPUtime=12.65 cores=0,2,4,6
/proc/11788/task/11901/stat : 11901 (java) S 11781 11788 8081 0 -1 1077944384 13015 13067 0 0 1195 62 5 3 20 0 15 0 79708562 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265125832976 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11903] ppid=11781 vsize=10916192 memory=1000632 CPUtime=11.58 cores=0,2,4,6
/proc/11788/task/11903/stat : 11903 (java) S 11781 11788 8081 0 -1 1077944384 14545 13067 0 0 1094 56 5 3 20 0 15 0 79708563 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264759421808 140265554819714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11906] ppid=11781 vsize=10916192 memory=1000632 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11906/stat : 11906 (java) S 11781 11788 8081 0 -1 1077944384 53 13067 0 0 0 0 5 3 20 0 15 0 79708563 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264758367840 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11907] ppid=11781 vsize=10916192 memory=1000632 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11907/stat : 11907 (java) S 11781 11788 8081 0 -1 1077944384 7 13067 0 0 0 0 5 3 20 0 15 0 79708564 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264639292800 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11913] ppid=11781 vsize=10916192 memory=1000632 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11913/stat : 11913 (java) S 11781 11788 8081 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 79708566 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264130566480 140265554827163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11914] ppid=11781 vsize=10916192 memory=1000632 CPUtime=7.21 cores=0,2,4,6
/proc/11788/task/11914/stat : 11914 (java) S 11781 11788 8081 0 -1 1077944384 17022 13067 0 0 710 3 5 3 20 0 15 0 79708566 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264724810096 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11915] ppid=11781 vsize=10916192 memory=1000632 CPUtime=8.13 cores=0,2,4,6
/proc/11788/task/11915/stat : 11915 (java) S 11781 11788 8081 0 -1 1077944384 23178 13067 0 0 800 5 5 3 20 0 15 0 79708566 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264723757296 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11916] ppid=11781 vsize=10916192 memory=4136 CPUtime=3.42 cores=0,2,4,6
/proc/11788/task/11916/stat : 11916 (java) S 11781 11788 8081 0 -1 1077944384 21237 13067 0 0 329 5 5 3 20 0 15 0 79708566 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264722704496 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11918] ppid=11781 vsize=10916192 memory=1000632 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11918/stat : 11918 (java) S 11781 11788 8081 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 79708567 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264097007840 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11919] ppid=11781 vsize=10916192 memory=6791534058613427641 CPUtime=1.61 cores=0,2,4,6
/proc/11788/task/11919/stat : 11919 (java) S 11781 11788 8081 0 -1 1077944384 891 13067 0 0 73 80 5 3 20 0 15 0 79708567 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264721652912 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1000632 KiB
Child status: 143
Real time (s): 2466.14
CPU time (s): 2520.04
CPU user time (s): 2516.28
CPU system time (s): 3.76075
CPU usage (%): 102.186
Max. virtual memory (cumulated for all children) (KiB): 10916192
Max. memory (cumulated for all children) (KiB): 1000632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.28
system time used= 3.76075
maximum resident set size= 1004884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 244562
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 304703
involuntary context switches= 8881
# summary of solver processes directly reported to runsolver:
# pid: 11788
# total CPU time (s): 2520.04
# total CPU user time (s): 2516.28
# total CPU system time (s): 3.76075
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2023 second user time and 22.8612 second system time
The end