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 (10100 MiB free)
memory of node 1: 16384 MiB (13662 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302499-1532897860/watcher-4302499-1532897860 -o /tmp/evaluation-result-4302499-1532897860/solver-4302499-1532897860 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532892903-13713 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=568749865 HOME/instance-4302499-1532897860.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=20536, runsolver pid=20533
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 1.78 1.77 1.77 5/206 20593
/proc/meminfo: memFree=24326428/32770624 swapFree=67108860/67108860
[pid=20536] ppid=20533 vsize=10005480 memory=15180 CPUtime=0.09 cores=1,3,5,7
/proc/20536/stat : 20536 (java) S 20533 20536 12183 0 -1 1077944320 4455 13367 0 0 1 0 5 3 20 0 6 0 107349156 10245611520 3795 33554432000 4194304 4196468 140731877578688 140731877561232 140648131346167 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
/proc/20536/statm: 2501370 3795 1935 1 0 2489808 0
[pid=20536/tid=20589] ppid=20533 vsize=10005480 memory=4279135703913365132 CPUtime=0.09 cores=1,3,5,7
/proc/20536/task/20589/stat : 20589 (java) R 20533 20536 12183 0 -1 4202560 2290 13367 0 0 1 0 5 3 20 0 6 0 107349165 10245611520 3795 33554432000 4194304 4196468 140731877578688 140648103182928 140648131368093 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20590] ppid=20533 vsize=10005480 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20590/stat : 20590 (java) S 20533 20536 12183 0 -1 1077944384 1 13367 0 0 0 0 5 3 20 0 6 0 107349166 10245611520 3795 33554432000 4194304 4196468 140731877578688 140648135589008 140648131356373 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20591] ppid=20533 vsize=10005480 memory=140345219204736 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20591/stat : 20591 (java) S 20533 20536 12183 0 -1 1077944384 1 13367 0 0 0 0 5 3 20 0 6 0 107349166 10245611520 3861 33554432000 4194304 4196468 140731877578688 140648033946640 140648131356373 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20592] ppid=20533 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20592/stat : 20592 (java) S 20533 20536 12183 0 -1 1077944384 1 13367 0 0 0 0 5 3 20 0 6 0 107349166 10245611520 3861 33554432000 4194304 4196468 140731877578688 140647669828496 140648131356373 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20593] ppid=20533 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20593/stat : 20593 (java) S 20533 20536 12183 0 -1 1077944384 2 13367 0 0 0 0 5 3 20 0 6 0 107349166 10245611520 3861 33554432000 4194304 4196468 140731877578688 140647668775696 140648131356373 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 15180 KiB
[startup+0.2098 s]*
/proc/loadavg: 1.78 1.77 1.77 4/215 20602
/proc/meminfo: memFree=24305276/32770624 swapFree=67108860/67108860
[pid=20536] ppid=20533 vsize=10982744 memory=41480 CPUtime=0.26 cores=1,3,5,7
/proc/20536/stat : 20536 (java) S 20533 20536 12183 0 -1 1077944320 8157 13367 0 0 17 1 5 3 20 0 15 0 107349156 11246329856 10370 33554432000 4194304 4196468 140731877578688 140731877561232 140648131346167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
/proc/20536/statm: 2745686 10370 2950 1 0 2708109 0
[pid=20536/tid=20589] ppid=20533 vsize=10982744 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/20536/task/20589/stat : 20589 (java) D 20533 20536 12183 0 -1 1077944384 4615 13367 0 0 11 0 5 3 20 0 15 0 107349165 11246329856 10370 33554432000 4194304 4196468 140731877578688 140648103170976 140648124025389 0 4 0 16800975 18446744072101785124 0 0 -1 5 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20590] ppid=20533 vsize=10982744 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20590/stat : 20590 (java) S 20533 20536 12183 0 -1 1077944384 1 13367 0 0 0 0 5 3 20 0 15 0 107349166 11246329856 10370 33554432000 4194304 4196468 140731877578688 140648135589008 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20591] ppid=20533 vsize=10982776 memory=140345219204736 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20591/stat : 20591 (java) S 20533 20536 12183 0 -1 1077944384 1 13367 0 0 0 0 5 3 20 0 15 0 107349166 11246362624 10370 33554432000 4194304 4196468 140731877578688 140648033946640 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20592] ppid=20533 vsize=10982776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20592/stat : 20592 (java) S 20533 20536 12183 0 -1 1077944384 1 13367 0 0 0 0 5 3 20 0 15 0 107349166 11246362624 10370 33554432000 4194304 4196468 140731877578688 140647669828496 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20593] ppid=20533 vsize=10983736 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20593/stat : 20593 (java) S 20533 20536 12183 0 -1 1077944384 2 13367 0 0 0 0 5 3 20 0 15 0 107349166 11247345664 10436 33554432000 4194304 4196468 140731877578688 140647668775696 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20594] ppid=20533 vsize=10983736 memory=140345219204736 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20594/stat : 20594 (java) S 20533 20536 12183 0 -1 1077944384 2 13367 0 0 0 0 5 3 20 0 15 0 107349167 11247345664 10436 33554432000 4194304 4196468 140731877578688 140647168186736 140648131357314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20595] ppid=20533 vsize=10983736 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20595/stat : 20595 (java) S 20533 20536 12183 0 -1 1077944384 13 13367 0 0 0 0 5 3 20 0 15 0 107349167 11247345664 10436 33554432000 4194304 4196468 140731877578688 140646958490656 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20596] ppid=20533 vsize=10983736 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20596/stat : 20596 (java) S 20533 20536 12183 0 -1 1077944384 21 13367 0 0 0 0 5 3 20 0 15 0 107349168 11247345664 10436 33554432000 4194304 4196468 140731877578688 140646891377520 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20597] ppid=20533 vsize=10983736 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20597/stat : 20597 (java) S 20533 20536 12183 0 -1 1077944384 3 13367 0 0 0 0 5 3 20 0 15 0 107349170 11247345664 10436 33554432000 4194304 4196468 140731877578688 140646583981904 140648131364763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20598] ppid=20533 vsize=10983736 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/20536/task/20598/stat : 20598 (java) S 20533 20536 12183 0 -1 1077944384 385 13367 0 0 1 0 5 3 20 0 15 0 107349170 11247345664 10502 33554432000 4194304 4196468 140731877578688 140647167134576 140648131357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20599] ppid=20533 vsize=10983736 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20599/stat : 20599 (java) S 20533 20536 12183 0 -1 1077944384 255 13367 0 0 0 0 5 3 20 0 15 0 107349170 11247345664 10502 33554432000 4194304 4196468 140731877578688 140647166081776 140648131357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20600] ppid=20533 vsize=10983736 memory=140345219204736 CPUtime=0.11 cores=1,3,5,7
/proc/20536/task/20600/stat : 20600 (java) S 20533 20536 12183 0 -1 1077944384 669 13367 0 0 3 0 5 3 20 0 15 0 107349170 11247345664 10502 33554432000 4194304 4196468 140731877578688 140647165028976 140648131357314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20601] ppid=20533 vsize=10983736 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20601/stat : 20601 (java) S 20533 20536 12183 0 -1 1077944384 3 13367 0 0 0 0 5 3 20 0 15 0 107349170 11247345664 10502 33554432000 4194304 4196468 140731877578688 140646153186016 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20602] ppid=20533 vsize=10983736 memory=140345219204736 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20602/stat : 20602 (java) S 20533 20536 12183 0 -1 1077944384 1 13367 0 0 0 0 5 3 20 0 15 0 107349171 11247345664 10502 33554432000 4194304 4196468 140731877578688 140647163976368 140648131357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 41480 KiB
[startup+0.310162 s]*
/proc/loadavg: 1.78 1.77 1.77 6/215 20602
/proc/meminfo: memFree=24292748/32770624 swapFree=67108860/67108860
[pid=20536] ppid=20533 vsize=10983192 memory=52168 CPUtime=0.39 cores=1,3,5,7
/proc/20536/stat : 20536 (java) S 20533 20536 12183 0 -1 1077944320 10706 13367 0 0 29 2 5 3 20 0 15 0 107349156 11246788608 13042 33554432000 4194304 4196468 140731877578688 140731877561232 140648131346167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
/proc/20536/statm: 2745798 13042 3069 1 0 2708109 0
[pid=20536/tid=20589] ppid=20533 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/20536/task/20589/stat : 20589 (java) R 20533 20536 12183 0 -1 4202560 7128 13367 0 0 20 1 5 3 20 0 15 0 107349165 11246788608 13042 33554432000 4194304 4196468 140731877578688 140648103158176 140648115426654 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20590] ppid=20533 vsize=10983192 memory=7012755875661107280 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20590/stat : 20590 (java) S 20533 20536 12183 0 -1 1077944384 1 13367 0 0 0 0 5 3 20 0 15 0 107349166 11246788608 13042 33554432000 4194304 4196468 140731877578688 140648135589008 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20591] ppid=20533 vsize=10983192 memory=2076 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20591/stat : 20591 (java) S 20533 20536 12183 0 -1 1077944384 1 13367 0 0 0 0 5 3 20 0 15 0 107349166 11246788608 13042 33554432000 4194304 4196468 140731877578688 140648033946640 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20592] ppid=20533 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20592/stat : 20592 (java) S 20533 20536 12183 0 -1 1077944384 1 13367 0 0 0 0 5 3 20 0 15 0 107349166 11246788608 13042 33554432000 4194304 4196468 140731877578688 140647669828496 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20593] ppid=20533 vsize=10983192 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20593/stat : 20593 (java) S 20533 20536 12183 0 -1 1077944384 2 13367 0 0 0 0 5 3 20 0 15 0 107349166 11246788608 13042 33554432000 4194304 4196468 140731877578688 140647668775696 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20594] ppid=20533 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20594/stat : 20594 (java) S 20533 20536 12183 0 -1 1077944384 2 13367 0 0 0 0 5 3 20 0 15 0 107349167 11246788608 13042 33554432000 4194304 4196468 140731877578688 140647168186736 140648131357314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20595] ppid=20533 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20595/stat : 20595 (java) S 20533 20536 12183 0 -1 1077944384 13 13367 0 0 0 0 5 3 20 0 15 0 107349167 11246788608 13042 33554432000 4194304 4196468 140731877578688 140646958490656 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20596] ppid=20533 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20596/stat : 20596 (java) S 20533 20536 12183 0 -1 1077944384 21 13367 0 0 0 0 5 3 20 0 15 0 107349168 11246788608 13042 33554432000 4194304 4196468 140731877578688 140646891377520 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20597] ppid=20533 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20597/stat : 20597 (java) S 20533 20536 12183 0 -1 1077944384 3 13367 0 0 0 0 5 3 20 0 15 0 107349170 11246788608 13042 33554432000 4194304 4196468 140731877578688 140646583981904 140648131364763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20598] ppid=20533 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/20536/task/20598/stat : 20598 (java) S 20533 20536 12183 0 -1 1077944384 391 13367 0 0 1 0 5 3 20 0 15 0 107349170 11246788608 13042 33554432000 4194304 4196468 140731877578688 140647167134576 140648131357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20599] ppid=20533 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/20536/task/20599/stat : 20599 (java) S 20533 20536 12183 0 -1 1077944384 260 13367 0 0 1 0 5 3 20 0 15 0 107349170 11246788608 13042 33554432000 4194304 4196468 140731877578688 140647166081776 140648131357314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20600] ppid=20533 vsize=10983192 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/20536/task/20600/stat : 20600 (java) R 20533 20536 12183 0 -1 4202560 694 13367 0 0 5 0 5 3 20 0 15 0 107349170 11246788608 13042 33554432000 4194304 4196468 140731877578688 140647165028976 140648109879431 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20601] ppid=20533 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20601/stat : 20601 (java) S 20533 20536 12183 0 -1 1077944384 3 13367 0 0 0 0 5 3 20 0 15 0 107349170 11246788608 13042 33554432000 4194304 4196468 140731877578688 140646153186016 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20602] ppid=20533 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20602/stat : 20602 (java) S 20533 20536 12183 0 -1 1077944384 1 13367 0 0 0 0 5 3 20 0 15 0 107349171 11246788608 13042 33554432000 4194304 4196468 140731877578688 140647163976368 140648131357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 52168 KiB
[startup+0.7008 s]
/proc/loadavg: 1.78 1.77 1.77 4/215 20602
/proc/meminfo: memFree=24279288/32770624 swapFree=67108860/67108860
[pid=20536] ppid=20533 vsize=10983192 memory=85952 CPUtime=0.99 cores=1,3,5,7
/proc/20536/stat : 20536 (java) S 20533 20536 12183 0 -1 1077944320 17088 13367 0 0 88 3 5 3 20 0 15 0 107349156 11246788608 21488 33554432000 4194304 4196468 140731877578688 140731877561232 140648131346167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
/proc/20536/statm: 2745798 21488 3247 1 0 2708109 0
[pid=20536/tid=20589] ppid=20533 vsize=10983192 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/20536/task/20589/stat : 20589 (java) R 20533 20536 12183 0 -1 4202560 12274 13367 0 0 57 2 5 3 20 0 15 0 107349165 11246788608 21488 33554432000 4194304 4196468 140731877578688 140648103166992 140648116511806 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20590] ppid=20533 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20590/stat : 20590 (java) S 20533 20536 12183 0 -1 1077944384 1 13367 0 0 0 0 5 3 20 0 15 0 107349166 11246788608 21488 33554432000 4194304 4196468 140731877578688 140648135589008 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20591] ppid=20533 vsize=10983192 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20591/stat : 20591 (java) S 20533 20536 12183 0 -1 1077944384 1 13367 0 0 0 0 5 3 20 0 15 0 107349166 11246788608 21488 33554432000 4194304 4196468 140731877578688 140648033946640 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20592] ppid=20533 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20592/stat : 20592 (java) S 20533 20536 12183 0 -1 1077944384 1 13367 0 0 0 0 5 3 20 0 15 0 107349166 11246788608 21488 33554432000 4194304 4196468 140731877578688 140647669828496 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20593] ppid=20533 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20593/stat : 20593 (java) S 20533 20536 12183 0 -1 1077944384 2 13367 0 0 0 0 5 3 20 0 15 0 107349166 11246788608 21488 33554432000 4194304 4196468 140731877578688 140647668775696 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20594] ppid=20533 vsize=10983192 memory=4420 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20594/stat : 20594 (java) S 20533 20536 12183 0 -1 1077944384 5 13367 0 0 0 0 5 3 20 0 15 0 107349167 11246788608 21488 33554432000 4194304 4196468 140731877578688 140647168186736 140648131357314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20595] ppid=20533 vsize=10983192 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20595/stat : 20595 (java) S 20533 20536 12183 0 -1 1077944384 13 13367 0 0 0 0 5 3 20 0 15 0 107349167 11246788608 21488 33554432000 4194304 4196468 140731877578688 140646958490656 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20596] ppid=20533 vsize=10983192 memory=8836 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20596/stat : 20596 (java) S 20533 20536 12183 0 -1 1077944384 21 13367 0 0 0 0 5 3 20 0 15 0 107349168 11246788608 21488 33554432000 4194304 4196468 140731877578688 140646891377520 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20597] ppid=20533 vsize=10983192 memory=11044 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20597/stat : 20597 (java) S 20533 20536 12183 0 -1 1077944384 3 13367 0 0 0 0 5 3 20 0 15 0 107349170 11246788608 21488 33554432000 4194304 4196468 140731877578688 140646583981904 140648131364763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20598] ppid=20533 vsize=10983192 memory=13252 CPUtime=0.18 cores=1,3,5,7
/proc/20536/task/20598/stat : 20598 (java) S 20533 20536 12183 0 -1 1077944384 1024 13367 0 0 10 0 5 3 20 0 15 0 107349170 11246788608 21488 33554432000 4194304 4196468 140731877578688 140647167134576 140648131357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20599] ppid=20533 vsize=10983192 memory=15460 CPUtime=0.15 cores=1,3,5,7
/proc/20536/task/20599/stat : 20599 (java) S 20533 20536 12183 0 -1 1077944384 663 13367 0 0 7 0 5 3 20 0 15 0 107349170 11246788608 21488 33554432000 4194304 4196468 140731877578688 140647166081776 140648131357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20600] ppid=20533 vsize=10983192 memory=17668 CPUtime=0.21 cores=1,3,5,7
/proc/20536/task/20600/stat : 20600 (java) S 20533 20536 12183 0 -1 1077944384 883 13367 0 0 13 0 5 3 20 0 15 0 107349170 11246788608 21488 33554432000 4194304 4196468 140731877578688 140647165028976 140648131357314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20601] ppid=20533 vsize=10983192 memory=19876 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20601/stat : 20601 (java) S 20533 20536 12183 0 -1 1077944384 3 13367 0 0 0 0 5 3 20 0 15 0 107349170 11246788608 21488 33554432000 4194304 4196468 140731877578688 140646153186016 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20602] ppid=20533 vsize=10983192 memory=22084 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20602/stat : 20602 (java) S 20533 20536 12183 0 -1 1077944384 1 13367 0 0 0 0 5 3 20 0 15 0 107349171 11246788608 21488 33554432000 4194304 4196468 140731877578688 140647163976368 140648131357314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 85952 KiB
[startup+1.50074 s]
/proc/loadavg: 1.78 1.77 1.77 2/215 20602
/proc/meminfo: memFree=24241896/32770624 swapFree=67108860/67108860
[pid=20536] ppid=20533 vsize=10991948 memory=111432 CPUtime=1.57 cores=1,3,5,7
/proc/20536/stat : 20536 (java) S 20533 20536 12183 0 -1 1077944320 19970 13367 0 0 144 5 5 3 20 0 15 0 107349156 11255754752 27858 33554432000 4194304 4196468 140731877578688 140731877561232 140648131346167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
/proc/20536/statm: 2747987 27858 3436 1 0 2709645 0
[pid=20536/tid=20589] ppid=20533 vsize=10991948 memory=0 CPUtime=1.01 cores=1,3,5,7
/proc/20536/task/20589/stat : 20589 (java) R 20533 20536 12183 0 -1 4202560 14722 13367 0 0 89 4 5 3 20 0 15 0 107349165 11255754752 27858 33554432000 4194304 4196468 140731877578688 140648103178352 140648131358102 0 4 0 16800975 0 0 0 -1 5 0 0 45 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20590] ppid=20533 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20590/stat : 20590 (java) S 20533 20536 12183 0 -1 1077944384 1 13367 0 0 0 0 5 3 20 0 15 0 107349166 11255754752 27858 33554432000 4194304 4196468 140731877578688 140648135589008 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20591] ppid=20533 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20591/stat : 20591 (java) S 20533 20536 12183 0 -1 1077944384 1 13367 0 0 0 0 5 3 20 0 15 0 107349166 11255754752 27858 33554432000 4194304 4196468 140731877578688 140648033946640 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20592] ppid=20533 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20592/stat : 20592 (java) S 20533 20536 12183 0 -1 1077944384 1 13367 0 0 0 0 5 3 20 0 15 0 107349166 11255754752 27858 33554432000 4194304 4196468 140731877578688 140647669828496 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20593] ppid=20533 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20593/stat : 20593 (java) S 20533 20536 12183 0 -1 1077944384 2 13367 0 0 0 0 5 3 20 0 15 0 107349166 11255754752 27858 33554432000 4194304 4196468 140731877578688 140647668775696 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20594] ppid=20533 vsize=10991948 memory=-7965959130280075168 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20594/stat : 20594 (java) S 20533 20536 12183 0 -1 1077944384 5 13367 0 0 0 0 5 3 20 0 15 0 107349167 11255754752 27858 33554432000 4194304 4196468 140731877578688 140647168186736 140648131357314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20595] ppid=20533 vsize=10991948 memory=280690205731072 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20595/stat : 20595 (java) S 20533 20536 12183 0 -1 1077944384 13 13367 0 0 0 0 5 3 20 0 15 0 107349167 11255754752 27858 33554432000 4194304 4196468 140731877578688 140646958490656 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20596] ppid=20533 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20596/stat : 20596 (java) S 20533 20536 12183 0 -1 1077944384 21 13367 0 0 0 0 5 3 20 0 15 0 107349168 11255754752 27858 33554432000 4194304 4196468 140731877578688 140646891377520 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20597] ppid=20533 vsize=10991948 memory=1952 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20597/stat : 20597 (java) S 20533 20536 12183 0 -1 1077944384 3 13367 0 0 0 0 5 3 20 0 15 0 107349170 11255754752 27858 33554432000 4194304 4196468 140731877578688 140646583981904 140648131364763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20598] ppid=20533 vsize=10991948 memory=1232 CPUtime=0.23 cores=1,3,5,7
/proc/20536/task/20598/stat : 20598 (java) R 20533 20536 12183 0 -1 1077944384 1058 13367 0 0 15 0 5 3 20 0 15 0 107349170 11255754752 27858 33554432000 4194304 4196468 140731877578688 140647167134576 140648131357314 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20599] ppid=20533 vsize=10991948 memory=8560 CPUtime=0.21 cores=1,3,5,7
/proc/20536/task/20599/stat : 20599 (java) S 20533 20536 12183 0 -1 1077944384 784 13367 0 0 13 0 5 3 20 0 15 0 107349170 11255754752 27858 33554432000 4194304 4196468 140731877578688 140647166081776 140648131357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20600] ppid=20533 vsize=10991948 memory=1712 CPUtime=0.32 cores=1,3,5,7
/proc/20536/task/20600/stat : 20600 (java) R 20533 20536 12183 0 -1 4202560 1163 13367 0 0 24 0 5 3 20 0 15 0 107349170 11255754752 27858 33554432000 4194304 4196468 140731877578688 140647165028976 140648115426654 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20601] ppid=20533 vsize=10991948 memory=5412 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20601/stat : 20601 (java) S 20533 20536 12183 0 -1 1077944384 3 13367 0 0 0 0 5 3 20 0 15 0 107349170 11255754752 27858 33554432000 4194304 4196468 140731877578688 140646153186016 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20602] ppid=20533 vsize=10991948 memory=4612 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20602/stat : 20602 (java) S 20533 20536 12183 0 -1 1077944384 2 13367 0 0 0 0 5 3 20 0 15 0 107349171 11255754752 27858 33554432000 4194304 4196468 140731877578688 140647163976368 140648131357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 41 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 10991948 KiB
################
# More data... #
################
/proc/20536/task/20589/stat : 20589 (java) R 20533 20536 12183 0 -1 4202560 59653 13367 0 0 16052 20 5 3 20 0 15 0 107349165 11345952768 208789 33554432000 4194304 4196468 140731877578688 140648103180800 140647717987388 0 4 0 16800975 0 0 0 -1 3 0 0 45 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20590] ppid=20533 vsize=11080032 memory=835156 CPUtime=0.5 cores=1,3,5,7
/proc/20536/task/20590/stat : 20590 (java) S 20533 20536 12183 0 -1 1077944384 3826 13367 0 0 38 4 5 3 20 0 15 0 107349166 11345952768 208789 33554432000 4194304 4196468 140731877578688 140648135589008 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20591] ppid=20533 vsize=11080032 memory=835132 CPUtime=0.49 cores=1,3,5,7
/proc/20536/task/20591/stat : 20591 (java) S 20533 20536 12183 0 -1 1077944384 2048 13367 0 0 38 3 5 3 20 0 15 0 107349166 11345952768 208789 33554432000 4194304 4196468 140731877578688 140648033946640 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20592] ppid=20533 vsize=11080032 memory=6791534058613427641 CPUtime=0.49 cores=1,3,5,7
/proc/20536/task/20592/stat : 20592 (java) S 20533 20536 12183 0 -1 1077944384 2439 13367 0 0 39 2 5 3 20 0 15 0 107349166 11345952768 208789 33554432000 4194304 4196468 140731877578688 140647669828496 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20593] ppid=20533 vsize=11080032 memory=835156 CPUtime=0.51 cores=1,3,5,7
/proc/20536/task/20593/stat : 20593 (java) S 20533 20536 12183 0 -1 1077944384 2089 13367 0 0 38 5 5 3 20 0 15 0 107349166 11345952768 208789 33554432000 4194304 4196468 140731877578688 140647668775696 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20594] ppid=20533 vsize=11080032 memory=0 CPUtime=0.47 cores=1,3,5,7
/proc/20536/task/20594/stat : 20594 (java) S 20533 20536 12183 0 -1 1077944384 2999 13367 0 0 37 2 5 3 20 0 15 0 107349167 11345952768 208789 33554432000 4194304 4196468 140731877578688 140647168186736 140648131357314 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20595] ppid=20533 vsize=11080032 memory=835140 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20595/stat : 20595 (java) S 20533 20536 12183 0 -1 1077944384 15 13367 0 0 0 0 5 3 20 0 15 0 107349167 11345952768 208789 33554432000 4194304 4196468 140731877578688 140646958490720 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20596] ppid=20533 vsize=11080032 memory=835140 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20596/stat : 20596 (java) S 20533 20536 12183 0 -1 1077944384 42 13367 0 0 0 0 5 3 20 0 15 0 107349168 11345952768 208789 33554432000 4194304 4196468 140731877578688 140646891377536 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20597] ppid=20533 vsize=11080032 memory=835156 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20597/stat : 20597 (java) S 20533 20536 12183 0 -1 1077944384 3 13367 0 0 0 0 5 3 20 0 15 0 107349170 11345952768 208789 33554432000 4194304 4196468 140731877578688 140646583981904 140648131364763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20598] ppid=20533 vsize=11080032 memory=835140 CPUtime=6.51 cores=1,3,5,7
/proc/20536/task/20598/stat : 20598 (java) S 20533 20536 12183 0 -1 1077944384 26584 13367 0 0 639 4 5 3 20 0 15 0 107349170 11345952768 208789 33554432000 4194304 4196468 140731877578688 140647167134576 140648131357314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20599] ppid=20533 vsize=11080032 memory=1296 CPUtime=5.94 cores=1,3,5,7
/proc/20536/task/20599/stat : 20599 (java) S 20533 20536 12183 0 -1 1077944384 26807 13367 0 0 581 5 5 3 20 0 15 0 107349170 11345952768 208789 33554432000 4194304 4196468 140731877578688 140647166081776 140648131357314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20600] ppid=20533 vsize=11080032 memory=2400 CPUtime=2.8 cores=1,3,5,7
/proc/20536/task/20600/stat : 20600 (java) S 20533 20536 12183 0 -1 1077944384 19281 13367 0 0 267 5 5 3 20 0 15 0 107349170 11345952768 208789 33554432000 4194304 4196468 140731877578688 140647165028976 140648131357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20601] ppid=20533 vsize=11080032 memory=835156 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20601/stat : 20601 (java) S 20533 20536 12183 0 -1 1077944384 3 13367 0 0 0 0 5 3 20 0 15 0 107349170 11345952768 208789 33554432000 4194304 4196468 140731877578688 140646153186016 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20602] ppid=20533 vsize=11080032 memory=835140 CPUtime=0.16 cores=1,3,5,7
/proc/20536/task/20602/stat : 20602 (java) S 20533 20536 12183 0 -1 1077944384 598 13367 0 0 3 5 5 3 20 0 15 0 107349171 11345952768 208789 33554432000 4194304 4196468 140731877578688 140647163976368 140648131357314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 41 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
Current children cumulated CPU time: 178.08 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 835156 KiB
[startup+222.31 s]
/proc/loadavg: 1.68 1.77 1.77 3/217 21027
/proc/meminfo: memFree=23128760/32770624 swapFree=67108860/67108860
[pid=20536] ppid=20533 vsize=11080032 memory=837332 CPUtime=240.54 cores=1,3,5,7
/proc/20536/stat : 20536 (java) S 20533 20536 12183 0 -1 1077944320 159402 13367 0 0 23980 66 5 3 20 0 15 0 107349156 11345952768 209333 33554432000 4194304 4196468 140731877578688 140731877561232 140648131346167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
/proc/20536/statm: 2770008 209333 3530 1 0 2731661 0
[pid=20536/tid=20589] ppid=20533 vsize=11080032 memory=837332 CPUtime=220.16 cores=1,3,5,7
/proc/20536/task/20589/stat : 20589 (java) R 20533 20536 12183 0 -1 4202560 61168 13367 0 0 21986 22 5 3 20 0 15 0 107349165 11345952768 209333 33554432000 4194304 4196468 140731877578688 140648103180352 140647714839299 0 4 0 16800975 0 0 0 -1 7 0 0 45 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20590] ppid=20533 vsize=11080032 memory=837332 CPUtime=0.78 cores=1,3,5,7
/proc/20536/task/20590/stat : 20590 (java) S 20533 20536 12183 0 -1 1077944384 4421 13367 0 0 64 6 5 3 20 0 15 0 107349166 11345952768 209333 33554432000 4194304 4196468 140731877578688 140648135589008 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20591] ppid=20533 vsize=11080032 memory=837332 CPUtime=0.78 cores=1,3,5,7
/proc/20536/task/20591/stat : 20591 (java) S 20533 20536 12183 0 -1 1077944384 2141 13367 0 0 66 4 5 3 20 0 15 0 107349166 11345952768 209333 33554432000 4194304 4196468 140731877578688 140648033946640 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20592] ppid=20533 vsize=11080032 memory=837332 CPUtime=0.78 cores=1,3,5,7
/proc/20536/task/20592/stat : 20592 (java) S 20533 20536 12183 0 -1 1077944384 3702 13367 0 0 66 4 5 3 20 0 15 0 107349166 11345952768 209333 33554432000 4194304 4196468 140731877578688 140647669828496 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20593] ppid=20533 vsize=11080032 memory=837332 CPUtime=0.79 cores=1,3,5,7
/proc/20536/task/20593/stat : 20593 (java) S 20533 20536 12183 0 -1 1077944384 2214 13367 0 0 65 6 5 3 20 0 15 0 107349166 11345952768 209333 33554432000 4194304 4196468 140731877578688 140647668775696 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20594] ppid=20533 vsize=11080032 memory=1012 CPUtime=0.74 cores=1,3,5,7
/proc/20536/task/20594/stat : 20594 (java) S 20533 20536 12183 0 -1 1077944384 3370 13367 0 0 62 4 5 3 20 0 15 0 107349167 11345952768 209333 33554432000 4194304 4196468 140731877578688 140647168186736 140648131357314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20595] ppid=20533 vsize=11080032 memory=837268 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20595/stat : 20595 (java) S 20533 20536 12183 0 -1 1077944384 15 13367 0 0 0 0 5 3 20 0 15 0 107349167 11345952768 209333 33554432000 4194304 4196468 140731877578688 140646958490720 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20596] ppid=20533 vsize=11080032 memory=837332 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20596/stat : 20596 (java) S 20533 20536 12183 0 -1 1077944384 42 13367 0 0 0 0 5 3 20 0 15 0 107349168 11345952768 209333 33554432000 4194304 4196468 140731877578688 140646891377536 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20597] ppid=20533 vsize=11080032 memory=6944656592387989600 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20597/stat : 20597 (java) S 20533 20536 12183 0 -1 1077944384 3 13367 0 0 0 0 5 3 20 0 15 0 107349170 11345952768 209333 33554432000 4194304 4196468 140731877578688 140646583981904 140648131364763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20598] ppid=20533 vsize=11080032 memory=837332 CPUtime=7.18 cores=1,3,5,7
/proc/20536/task/20598/stat : 20598 (java) S 20533 20536 12183 0 -1 1077944384 29825 13367 0 0 706 4 5 3 20 0 15 0 107349170 11345952768 209333 33554432000 4194304 4196468 140731877578688 140647167134576 140648131357314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20599] ppid=20533 vsize=11080032 memory=837332 CPUtime=6.6 cores=1,3,5,7
/proc/20536/task/20599/stat : 20599 (java) S 20533 20536 12183 0 -1 1077944384 28062 13367 0 0 647 5 5 3 20 0 15 0 107349170 11345952768 209333 33554432000 4194304 4196468 140731877578688 140647166081776 140648131357314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20600] ppid=20533 vsize=11080032 memory=837332 CPUtime=3.15 cores=1,3,5,7
/proc/20536/task/20600/stat : 20600 (java) S 20533 20536 12183 0 -1 1077944384 21615 13367 0 0 301 6 5 3 20 0 15 0 107349170 11345952768 209333 33554432000 4194304 4196468 140731877578688 140647165028976 140648131357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20601] ppid=20533 vsize=11080032 memory=18448 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20601/stat : 20601 (java) S 20533 20536 12183 0 -1 1077944384 3 13367 0 0 0 0 5 3 20 0 15 0 107349170 11345952768 209333 33554432000 4194304 4196468 140731877578688 140646153186016 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20602] ppid=20533 vsize=11080032 memory=1796 CPUtime=0.2 cores=1,3,5,7
/proc/20536/task/20602/stat : 20602 (java) S 20533 20536 12183 0 -1 1077944384 628 13367 0 0 5 7 5 3 20 0 15 0 107349171 11345952768 209333 33554432000 4194304 4196468 140731877578688 140647163976368 140648131357314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 41 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
Current children cumulated CPU time: 240.54 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 837332 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+233.31 s]
/proc/loadavg: 1.75 1.78 1.78 3/217 21027
/proc/meminfo: memFree=23129132/32770624 swapFree=67108860/67108860
[pid=20536] ppid=20533 vsize=11080032 memory=837332 CPUtime=252.01 cores=1,3,5,7
/proc/20536/stat : 20536 (java) S 20533 20536 12183 0 -1 1077944320 159511 13367 0 0 25126 67 5 3 20 0 15 0 107349156 11345952768 209333 33554432000 4194304 4196468 140731877578688 140731877561232 140648131346167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
/proc/20536/statm: 2770008 209333 3530 1 0 2731661 0
[pid=20536/tid=20589] ppid=20533 vsize=11080032 memory=837332 CPUtime=231.05 cores=1,3,5,7
/proc/20536/task/20589/stat : 20589 (java) R 20533 20536 12183 0 -1 4202560 61240 13367 0 0 23075 22 5 3 20 0 15 0 107349165 11345952768 209333 33554432000 4194304 4196468 140731877578688 140648103180464 140647700649826 0 4 0 16800975 0 0 0 -1 5 0 0 45 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20590] ppid=20533 vsize=11080032 memory=837332 CPUtime=0.83 cores=1,3,5,7
/proc/20536/task/20590/stat : 20590 (java) S 20533 20536 12183 0 -1 1077944384 4421 13367 0 0 69 6 5 3 20 0 15 0 107349166 11345952768 209333 33554432000 4194304 4196468 140731877578688 140648135589008 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20591] ppid=20533 vsize=11080032 memory=837328 CPUtime=0.83 cores=1,3,5,7
/proc/20536/task/20591/stat : 20591 (java) S 20533 20536 12183 0 -1 1077944384 2147 13367 0 0 71 4 5 3 20 0 15 0 107349166 11345952768 209333 33554432000 4194304 4196468 140731877578688 140648033946640 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20592] ppid=20533 vsize=11080032 memory=837332 CPUtime=0.83 cores=1,3,5,7
/proc/20536/task/20592/stat : 20592 (java) S 20533 20536 12183 0 -1 1077944384 3704 13367 0 0 71 4 5 3 20 0 15 0 107349166 11345952768 209333 33554432000 4194304 4196468 140731877578688 140647669828496 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20593] ppid=20533 vsize=11080032 memory=837332 CPUtime=0.84 cores=1,3,5,7
/proc/20536/task/20593/stat : 20593 (java) S 20533 20536 12183 0 -1 1077944384 2217 13367 0 0 70 6 5 3 20 0 15 0 107349166 11345952768 209333 33554432000 4194304 4196468 140731877578688 140647668775696 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20594] ppid=20533 vsize=11080032 memory=837332 CPUtime=0.79 cores=1,3,5,7
/proc/20536/task/20594/stat : 20594 (java) S 20533 20536 12183 0 -1 1077944384 3370 13367 0 0 67 4 5 3 20 0 15 0 107349167 11345952768 209333 33554432000 4194304 4196468 140731877578688 140647168186736 140648131357314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20595] ppid=20533 vsize=11080032 memory=837332 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20595/stat : 20595 (java) S 20533 20536 12183 0 -1 1077944384 15 13367 0 0 0 0 5 3 20 0 15 0 107349167 11345952768 209333 33554432000 4194304 4196468 140731877578688 140646958490720 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20596] ppid=20533 vsize=11080032 memory=837332 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20596/stat : 20596 (java) S 20533 20536 12183 0 -1 1077944384 42 13367 0 0 0 0 5 3 20 0 15 0 107349168 11345952768 209333 33554432000 4194304 4196468 140731877578688 140646891377536 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20597] ppid=20533 vsize=11080032 memory=837332 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20597/stat : 20597 (java) S 20533 20536 12183 0 -1 1077944384 3 13367 0 0 0 0 5 3 20 0 15 0 107349170 11345952768 209333 33554432000 4194304 4196468 140731877578688 140646583981904 140648131364763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20598] ppid=20533 vsize=11080032 memory=837332 CPUtime=7.3 cores=1,3,5,7
/proc/20536/task/20598/stat : 20598 (java) S 20533 20536 12183 0 -1 1077944384 29840 13367 0 0 718 4 5 3 20 0 15 0 107349170 11345952768 209333 33554432000 4194304 4196468 140731877578688 140647167134576 140648131357314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20599] ppid=20533 vsize=11080032 memory=1436 CPUtime=6.73 cores=1,3,5,7
/proc/20536/task/20599/stat : 20599 (java) S 20533 20536 12183 0 -1 1077944384 28063 13367 0 0 660 5 5 3 20 0 15 0 107349170 11345952768 209333 33554432000 4194304 4196468 140731877578688 140647166081776 140648131357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20600] ppid=20533 vsize=11080032 memory=1200 CPUtime=3.21 cores=1,3,5,7
/proc/20536/task/20600/stat : 20600 (java) S 20533 20536 12183 0 -1 1077944384 21625 13367 0 0 307 6 5 3 20 0 15 0 107349170 11345952768 209333 33554432000 4194304 4196468 140731877578688 140647165028976 140648131357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20601] ppid=20533 vsize=11080032 memory=2400 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20601/stat : 20601 (java) S 20533 20536 12183 0 -1 1077944384 3 13367 0 0 0 0 5 3 20 0 15 0 107349170 11345952768 209333 33554432000 4194304 4196468 140731877578688 140646153186016 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20602] ppid=20533 vsize=11080032 memory=1836 CPUtime=0.2 cores=1,3,5,7
/proc/20536/task/20602/stat : 20602 (java) S 20533 20536 12183 0 -1 1077944384 628 13367 0 0 5 7 5 3 20 0 15 0 107349171 11345952768 209333 33554432000 4194304 4196468 140731877578688 140647163976368 140648131357314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 41 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 837332 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+233.347 s]
# the end of solver process 20536 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.33 s, system=0.725507 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+233.31 s]
/proc/loadavg: 1.75 1.78 1.78 3/217 21027
/proc/meminfo: memFree=23129132/32770624 swapFree=67108860/67108860
[pid=20536] ppid=20533 vsize=11080032 memory=837332 CPUtime=252.01 cores=1,3,5,7
/proc/20536/stat : 20536 (java) S 20533 20536 12183 0 -1 1077944320 159511 13367 0 0 25126 67 5 3 20 0 15 0 107349156 11345952768 209333 33554432000 4194304 4196468 140731877578688 140731877561232 140648131346167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
/proc/20536/statm: 2770008 209333 3530 1 0 2731661 0
[pid=20536/tid=20589] ppid=20533 vsize=11080032 memory=837332 CPUtime=231.05 cores=1,3,5,7
/proc/20536/task/20589/stat : 20589 (java) R 20533 20536 12183 0 -1 4202560 61240 13367 0 0 23075 22 5 3 20 0 15 0 107349165 11345952768 209333 33554432000 4194304 4196468 140731877578688 140648103180464 140647700649826 0 4 0 16800975 0 0 0 -1 5 0 0 45 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20590] ppid=20533 vsize=11080032 memory=837332 CPUtime=0.83 cores=1,3,5,7
/proc/20536/task/20590/stat : 20590 (java) S 20533 20536 12183 0 -1 1077944384 4421 13367 0 0 69 6 5 3 20 0 15 0 107349166 11345952768 209333 33554432000 4194304 4196468 140731877578688 140648135589008 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20591] ppid=20533 vsize=11080032 memory=837328 CPUtime=0.83 cores=1,3,5,7
/proc/20536/task/20591/stat : 20591 (java) S 20533 20536 12183 0 -1 1077944384 2147 13367 0 0 71 4 5 3 20 0 15 0 107349166 11345952768 209333 33554432000 4194304 4196468 140731877578688 140648033946640 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20592] ppid=20533 vsize=11080032 memory=837332 CPUtime=0.83 cores=1,3,5,7
/proc/20536/task/20592/stat : 20592 (java) S 20533 20536 12183 0 -1 1077944384 3704 13367 0 0 71 4 5 3 20 0 15 0 107349166 11345952768 209333 33554432000 4194304 4196468 140731877578688 140647669828496 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20593] ppid=20533 vsize=11080032 memory=837332 CPUtime=0.84 cores=1,3,5,7
/proc/20536/task/20593/stat : 20593 (java) S 20533 20536 12183 0 -1 1077944384 2217 13367 0 0 70 6 5 3 20 0 15 0 107349166 11345952768 209333 33554432000 4194304 4196468 140731877578688 140647668775696 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20594] ppid=20533 vsize=11080032 memory=837332 CPUtime=0.79 cores=1,3,5,7
/proc/20536/task/20594/stat : 20594 (java) S 20533 20536 12183 0 -1 1077944384 3370 13367 0 0 67 4 5 3 20 0 15 0 107349167 11345952768 209333 33554432000 4194304 4196468 140731877578688 140647168186736 140648131357314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20595] ppid=20533 vsize=11080032 memory=837332 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20595/stat : 20595 (java) S 20533 20536 12183 0 -1 1077944384 15 13367 0 0 0 0 5 3 20 0 15 0 107349167 11345952768 209333 33554432000 4194304 4196468 140731877578688 140646958490720 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20596] ppid=20533 vsize=11080032 memory=837332 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20596/stat : 20596 (java) S 20533 20536 12183 0 -1 1077944384 42 13367 0 0 0 0 5 3 20 0 15 0 107349168 11345952768 209333 33554432000 4194304 4196468 140731877578688 140646891377536 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20597] ppid=20533 vsize=11080032 memory=837332 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20597/stat : 20597 (java) S 20533 20536 12183 0 -1 1077944384 3 13367 0 0 0 0 5 3 20 0 15 0 107349170 11345952768 209333 33554432000 4194304 4196468 140731877578688 140646583981904 140648131364763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20598] ppid=20533 vsize=11080032 memory=837332 CPUtime=7.3 cores=1,3,5,7
/proc/20536/task/20598/stat : 20598 (java) S 20533 20536 12183 0 -1 1077944384 29840 13367 0 0 718 4 5 3 20 0 15 0 107349170 11345952768 209333 33554432000 4194304 4196468 140731877578688 140647167134576 140648131357314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20599] ppid=20533 vsize=11080032 memory=1436 CPUtime=6.73 cores=1,3,5,7
/proc/20536/task/20599/stat : 20599 (java) S 20533 20536 12183 0 -1 1077944384 28063 13367 0 0 660 5 5 3 20 0 15 0 107349170 11345952768 209333 33554432000 4194304 4196468 140731877578688 140647166081776 140648131357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20600] ppid=20533 vsize=11080032 memory=1200 CPUtime=3.21 cores=1,3,5,7
/proc/20536/task/20600/stat : 20600 (java) S 20533 20536 12183 0 -1 1077944384 21625 13367 0 0 307 6 5 3 20 0 15 0 107349170 11345952768 209333 33554432000 4194304 4196468 140731877578688 140647165028976 140648131357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20601] ppid=20533 vsize=11080032 memory=2400 CPUtime=0.08 cores=1,3,5,7
/proc/20536/task/20601/stat : 20601 (java) S 20533 20536 12183 0 -1 1077944384 3 13367 0 0 0 0 5 3 20 0 15 0 107349170 11345952768 209333 33554432000 4194304 4196468 140731877578688 140646153186016 140648131356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
[pid=20536/tid=20602] ppid=20533 vsize=11080032 memory=1836 CPUtime=0.2 cores=1,3,5,7
/proc/20536/task/20602/stat : 20602 (java) S 20533 20536 12183 0 -1 1077944384 628 13367 0 0 5 7 5 3 20 0 15 0 107349171 11345952768 209333 33554432000 4194304 4196468 140731877578688 140647163976368 140648131357314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 41 0 0 6293624 6294260 38965248 140731877587570 140731877590369 140731877590369 140731877593039 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 837332 KiB
Child status: 143
Real time (s): 233.347
CPU time (s): 252.056
CPU user time (s): 251.33
CPU system time (s): 0.725507
CPU usage (%): 108.018
Max. virtual memory (cumulated for all children) (KiB): 11082668
Max. memory (cumulated for all children) (KiB): 862636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.33
system time used= 0.725507
maximum resident set size= 864684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173671
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31612
involuntary context switches= 698
# summary of solver processes directly reported to runsolver:
# pid: 20536
# total CPU time (s): 252.056
# total CPU user time (s): 251.33
# total CPU system time (s): 0.725507
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.49251 second user time and 2.15246 second system time
The end