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 (12173 MiB free)
memory of node 1: 16384 MiB (14750 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301268-1532877393/watcher-4301268-1532877393 -o /tmp/evaluation-result-4301268-1532877393/solver-4301268-1532877393 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532875965-20369 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301268-1532877393.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
Current StackSize limit: 8192 KiB
solver pid=21667, runsolver pid=21664
[startup+0.100126 s]*
/proc/loadavg: 2.18 2.34 2.39 3/216 21682
/proc/meminfo: memFree=27552496/32770624 swapFree=67108792/67108860
[pid=21667] ppid=21664 vsize=10659012 memory=30072 CPUtime=0.13 cores=1,3,5,7
/proc/21667/stat : 21667 (java) S 21664 21667 16915 0 -1 1077944320 6606 0 0 0 11 2 0 0 20 0 15 0 105302600 10914828288 7518 33554432000 4194304 4196468 140737402641632 140737402624176 140633245834999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
/proc/21667/statm: 2664753 7518 2822 1 0 2627263 0
[pid=21667/tid=21669] ppid=21664 vsize=10659012 memory=-8773748148829982339 CPUtime=0.09 cores=1,3,5,7
/proc/21667/task/21669/stat : 21669 (java) R 21664 21667 16915 0 -1 4202560 4430 0 0 0 8 1 0 0 20 0 15 0 105302600 10914828288 7518 33554432000 4194304 4196468 140737402641632 140633250056864 140633245856925 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21670] ppid=21664 vsize=10659012 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21670/stat : 21670 (java) S 21664 21667 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105302601 10914828288 7518 33554432000 4194304 4196468 140737402641632 140633202387728 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21671] ppid=21664 vsize=10659012 memory=140315787441792 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21671/stat : 21671 (java) S 21664 21667 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105302601 10914828288 7518 33554432000 4194304 4196468 140737402641632 140632851930000 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21672] ppid=21664 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21672/stat : 21672 (java) S 21664 21667 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105302601 10914828288 7518 33554432000 4194304 4196468 140737402641632 140632850877456 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21673] ppid=21664 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21673/stat : 21673 (java) S 21664 21667 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105302601 10914828288 7518 33554432000 4194304 4196468 140737402641632 140632849824912 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21674] ppid=21664 vsize=10659012 memory=140315787441792 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21674/stat : 21674 (java) S 21664 21667 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105302602 10914828288 7518 33554432000 4194304 4196468 140737402641632 140632550746096 140633245846146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21675] ppid=21664 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21675/stat : 21675 (java) S 21664 21667 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105302603 10914828288 7518 33554432000 4194304 4196468 140737402641632 140632549692320 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21676] ppid=21664 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21676/stat : 21676 (java) S 21664 21667 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105302603 10914828288 7518 33554432000 4194304 4196468 140737402641632 140632548639728 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21677] ppid=21664 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21677/stat : 21677 (java) S 21664 21667 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105302605 10914828288 7518 33554432000 4194304 4196468 140737402641632 140632547588304 140633245853595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21678] ppid=21664 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21678/stat : 21678 (java) S 21664 21667 16915 0 -1 1077944384 437 0 0 0 0 0 0 0 20 0 15 0 105302605 10914828288 7518 33554432000 4194304 4196468 140737402641632 140632546535920 140633245846146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21679] ppid=21664 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21679/stat : 21679 (java) S 21664 21667 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105302605 10914828288 7518 33554432000 4194304 4196468 140737402641632 140632545483376 140633245846146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21680] ppid=21664 vsize=10659012 memory=140315787441792 CPUtime=0.01 cores=1,3,5,7
/proc/21667/task/21680/stat : 21680 (java) R 21664 21667 16915 0 -1 4202560 369 0 0 0 1 0 0 0 20 0 15 0 105302605 10914828288 7518 33554432000 4194304 4196468 140737402641632 140632544430832 140633224510064 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21681] ppid=21664 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21681/stat : 21681 (java) S 21664 21667 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105302605 10914828288 7518 33554432000 4194304 4196468 140737402641632 140632543378528 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21682] ppid=21664 vsize=10659012 memory=140315787441792 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21682/stat : 21682 (java) S 21664 21667 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105302605 10914828288 7518 33554432000 4194304 4196468 140737402641632 140632542325040 140633245846146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30072 KiB
[startup+0.210533 s]*
/proc/loadavg: 2.18 2.34 2.39 4/216 21682
/proc/meminfo: memFree=27542096/32770624 swapFree=67108792/67108860
[pid=21667] ppid=21664 vsize=10659012 memory=41008 CPUtime=0.32 cores=1,3,5,7
/proc/21667/stat : 21667 (java) S 21664 21667 16915 0 -1 1077944320 7856 0 0 0 30 2 0 0 20 0 15 0 105302600 10914828288 10252 33554432000 4194304 4196468 140737402641632 140737402624176 140633245834999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
/proc/21667/statm: 2664753 10252 3001 1 0 2627263 0
[pid=21667/tid=21669] ppid=21664 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/21667/task/21669/stat : 21669 (java) R 21664 21667 16915 0 -1 4202560 5021 0 0 0 19 1 0 0 20 0 15 0 105302600 10914828288 10252 33554432000 4194304 4196468 140737402641632 140633250064480 140633229915486 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21670] ppid=21664 vsize=10659012 memory=343 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21670/stat : 21670 (java) S 21664 21667 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105302601 10914828288 10252 33554432000 4194304 4196468 140737402641632 140633202387728 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21671] ppid=21664 vsize=10659012 memory=288370691939153536 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21671/stat : 21671 (java) S 21664 21667 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105302601 10914828288 10252 33554432000 4194304 4196468 140737402641632 140632851930000 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21672] ppid=21664 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21672/stat : 21672 (java) S 21664 21667 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105302601 10914828288 10252 33554432000 4194304 4196468 140737402641632 140632850877456 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21673] ppid=21664 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21673/stat : 21673 (java) S 21664 21667 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105302601 10914828288 10252 33554432000 4194304 4196468 140737402641632 140632849824912 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21674] ppid=21664 vsize=10659012 memory=140315787441792 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21674/stat : 21674 (java) S 21664 21667 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105302602 10914828288 10252 33554432000 4194304 4196468 140737402641632 140632550746096 140633245846146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21675] ppid=21664 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21675/stat : 21675 (java) S 21664 21667 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105302603 10914828288 10252 33554432000 4194304 4196468 140737402641632 140632549692320 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21676] ppid=21664 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21676/stat : 21676 (java) S 21664 21667 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105302603 10914828288 10252 33554432000 4194304 4196468 140737402641632 140632548639728 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21677] ppid=21664 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21677/stat : 21677 (java) S 21664 21667 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105302605 10914828288 10252 33554432000 4194304 4196468 140737402641632 140632547588304 140633245853595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21678] ppid=21664 vsize=10659012 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21667/task/21678/stat : 21678 (java) S 21664 21667 16915 0 -1 1077944384 565 0 0 0 1 0 0 0 20 0 15 0 105302605 10914828288 10252 33554432000 4194304 4196468 140737402641632 140632546535920 140633245846146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21679] ppid=21664 vsize=10659012 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/21667/task/21679/stat : 21679 (java) S 21664 21667 16915 0 -1 1077944384 206 0 0 0 2 0 0 0 20 0 15 0 105302605 10914828288 10252 33554432000 4194304 4196468 140737402641632 140632545483376 140633245846146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21680] ppid=21664 vsize=10659012 memory=140315787441792 CPUtime=0.07 cores=1,3,5,7
/proc/21667/task/21680/stat : 21680 (java) S 21664 21667 16915 0 -1 1077944384 697 0 0 0 7 0 0 0 20 0 15 0 105302605 10914828288 10252 33554432000 4194304 4196468 140737402641632 140632544430832 140633245846146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21681] ppid=21664 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21681/stat : 21681 (java) S 21664 21667 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105302605 10914828288 10252 33554432000 4194304 4196468 140737402641632 140632543378528 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21682] ppid=21664 vsize=10659012 memory=140315787441792 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21682/stat : 21682 (java) S 21664 21667 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105302605 10914828288 10252 33554432000 4194304 4196468 140737402641632 140632542325040 140633245846146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41008 KiB
[startup+0.315166 s]*
/proc/loadavg: 2.18 2.34 2.39 6/216 21682
/proc/meminfo: memFree=27534412/32770624 swapFree=67108792/67108860
[pid=21667] ppid=21664 vsize=10659088 memory=47132 CPUtime=0.54 cores=1,3,5,7
/proc/21667/stat : 21667 (java) S 21664 21667 16915 0 -1 1077944320 8878 0 0 0 51 3 0 0 20 0 15 0 105302600 10914906112 11783 33554432000 4194304 4196468 140737402641632 140737402624176 140633245834999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
/proc/21667/statm: 2664772 11783 3061 1 0 2627263 0
[pid=21667/tid=21669] ppid=21664 vsize=10659088 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/21667/task/21669/stat : 21669 (java) R 21664 21667 16915 0 -1 4202560 5614 0 0 0 29 1 0 0 20 0 15 0 105302600 10914906112 11783 33554432000 4194304 4196468 140737402641632 140633250069136 140633245856925 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21670] ppid=21664 vsize=10659088 memory=4294977868 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21670/stat : 21670 (java) S 21664 21667 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105302601 10914906112 11783 33554432000 4194304 4196468 140737402641632 140633202387728 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21671] ppid=21664 vsize=10659088 memory=288370691939153536 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21671/stat : 21671 (java) S 21664 21667 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105302601 10914906112 11783 33554432000 4194304 4196468 140737402641632 140632851930000 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21672] ppid=21664 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21672/stat : 21672 (java) S 21664 21667 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105302601 10914906112 11783 33554432000 4194304 4196468 140737402641632 140632850877456 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21673] ppid=21664 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21673/stat : 21673 (java) S 21664 21667 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105302601 10914906112 11783 33554432000 4194304 4196468 140737402641632 140632849824912 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21674] ppid=21664 vsize=10659088 memory=140315787441792 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21674/stat : 21674 (java) S 21664 21667 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105302602 10914906112 11783 33554432000 4194304 4196468 140737402641632 140632550746096 140633245846146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21675] ppid=21664 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21675/stat : 21675 (java) S 21664 21667 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105302603 10914906112 11783 33554432000 4194304 4196468 140737402641632 140632549692320 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21676] ppid=21664 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21676/stat : 21676 (java) S 21664 21667 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105302603 10914906112 11783 33554432000 4194304 4196468 140737402641632 140632548639728 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21677] ppid=21664 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21677/stat : 21677 (java) S 21664 21667 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105302605 10914906112 11783 33554432000 4194304 4196468 140737402641632 140632547588304 140633245853595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21678] ppid=21664 vsize=10659088 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/21667/task/21678/stat : 21678 (java) R 21664 21667 16915 0 -1 1077944384 701 0 0 0 4 0 0 0 20 0 15 0 105302605 10914906112 11783 33554432000 4194304 4196468 140737402641632 140632546535920 140633245846146 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21679] ppid=21664 vsize=10659088 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/21667/task/21679/stat : 21679 (java) S 21664 21667 16915 0 -1 1077944384 352 0 0 0 5 0 0 0 20 0 15 0 105302605 10914906112 11783 33554432000 4194304 4196468 140737402641632 140632545483376 140633245846146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21680] ppid=21664 vsize=10659088 memory=140315787441792 CPUtime=0.12 cores=1,3,5,7
/proc/21667/task/21680/stat : 21680 (java) R 21664 21667 16915 0 -1 4202560 843 0 0 0 12 0 0 0 20 0 15 0 105302605 10914906112 11783 33554432000 4194304 4196468 140737402641632 140632544426560 140633224969235 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21681] ppid=21664 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21681/stat : 21681 (java) S 21664 21667 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105302605 10914906112 11783 33554432000 4194304 4196468 140737402641632 140632543378528 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21682] ppid=21664 vsize=10659088 memory=140315787441792 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21682/stat : 21682 (java) S 21664 21667 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105302605 10914906112 11783 33554432000 4194304 4196468 140737402641632 140632542325040 140633245846146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47132 KiB
[startup+0.70068 s]
/proc/loadavg: 2.18 2.34 2.39 5/216 21682
/proc/meminfo: memFree=27507984/32770624 swapFree=67108792/67108860
[pid=21667] ppid=21664 vsize=10661136 memory=101804 CPUtime=1.83 cores=1,3,5,7
/proc/21667/stat : 21667 (java) S 21664 21667 16915 0 -1 1077944320 12501 0 0 0 177 6 0 0 20 0 15 0 105302600 10917003264 25451 33554432000 4194304 4196468 140737402641632 140737402624176 140633245834999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
/proc/21667/statm: 2665284 25451 3109 1 0 2627775 0
[pid=21667/tid=21669] ppid=21664 vsize=10661136 memory=233404763236361 CPUtime=0.68 cores=1,3,5,7
/proc/21667/task/21669/stat : 21669 (java) R 21664 21667 16915 0 -1 4202560 6177 0 0 0 65 3 0 0 20 0 15 0 105302600 10917003264 25451 33554432000 4194304 4196468 140737402641632 140633250069320 140633227735152 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21670] ppid=21664 vsize=10661136 memory=3977296629253554382 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21670/stat : 21670 (java) S 21664 21667 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105302601 10917003264 25451 33554432000 4194304 4196468 140737402641632 140633202387728 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21671] ppid=21664 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21671/stat : 21671 (java) S 21664 21667 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105302601 10917003264 25451 33554432000 4194304 4196468 140737402641632 140632851930000 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21672] ppid=21664 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21672/stat : 21672 (java) S 21664 21667 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105302601 10917003264 25451 33554432000 4194304 4196468 140737402641632 140632850877456 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21673] ppid=21664 vsize=10661136 memory=7809523229951467570 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21673/stat : 21673 (java) S 21664 21667 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105302601 10917003264 25451 33554432000 4194304 4196468 140737402641632 140632849824912 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21674] ppid=21664 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21674/stat : 21674 (java) S 21664 21667 16915 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105302602 10917003264 25451 33554432000 4194304 4196468 140737402641632 140632550746096 140633245846146 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21675] ppid=21664 vsize=10661136 memory=-3535359994705171810 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21675/stat : 21675 (java) S 21664 21667 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105302603 10917003264 25451 33554432000 4194304 4196468 140737402641632 140632549692320 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21676] ppid=21664 vsize=10661136 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21676/stat : 21676 (java) S 21664 21667 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105302603 10917003264 25451 33554432000 4194304 4196468 140737402641632 140632548639728 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21677] ppid=21664 vsize=10661136 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21677/stat : 21677 (java) S 21664 21667 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105302605 10917003264 25451 33554432000 4194304 4196468 140737402641632 140632547588304 140633245853595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21678] ppid=21664 vsize=10661136 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/21667/task/21678/stat : 21678 (java) R 21664 21667 16915 0 -1 4202560 1872 0 0 0 34 0 0 0 20 0 15 0 105302605 10917003264 25451 33554432000 4194304 4196468 140737402641632 140632546521800 140633227356178 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21679] ppid=21664 vsize=10661136 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/21667/task/21679/stat : 21679 (java) R 21664 21667 16915 0 -1 4202560 1075 0 0 0 36 0 0 0 20 0 15 0 105302605 10917003264 25451 33554432000 4194304 4196468 140737402641632 140632545469944 140633231853075 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21680] ppid=21664 vsize=10661136 memory=0 CPUtime=0.42 cores=1,3,5,7
/proc/21667/task/21680/stat : 21680 (java) S 21664 21667 16915 0 -1 1077944384 2005 0 0 0 41 1 0 0 20 0 15 0 105302605 10917003264 25451 33554432000 4194304 4196468 140737402641632 140632544430832 140633245846146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21681] ppid=21664 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21681/stat : 21681 (java) S 21664 21667 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105302605 10917003264 25451 33554432000 4194304 4196468 140737402641632 140632543378528 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21682] ppid=21664 vsize=10661136 memory=18268 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21682/stat : 21682 (java) S 21664 21667 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105302605 10917003264 25451 33554432000 4194304 4196468 140737402641632 140632542325040 140633245846146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
Current children cumulated CPU time: 1.83 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 101804 KiB
[startup+1.50084 s]
/proc/loadavg: 2.18 2.34 2.39 4/217 21683
/proc/meminfo: memFree=27464896/32770624 swapFree=67108792/67108860
[pid=21667] ppid=21664 vsize=10727700 memory=118908 CPUtime=3.51 cores=1,3,5,7
/proc/21667/stat : 21667 (java) S 21664 21667 16915 0 -1 1077944320 16012 0 0 0 345 6 0 0 20 0 16 0 105302600 10985164800 29727 33554432000 4194304 4196468 140737402641632 140737402624176 140633245834999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
/proc/21667/statm: 2681925 29727 3116 1 0 2644416 0
[pid=21667/tid=21669] ppid=21664 vsize=10727700 memory=10799 CPUtime=1.47 cores=1,3,5,7
/proc/21667/task/21669/stat : 21669 (java) R 21664 21667 16915 0 -1 4202560 6528 0 0 0 144 3 0 0 20 0 16 0 105302600 10985164800 29727 33554432000 4194304 4196468 140737402641632 140633250071600 140632887691619 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21670] ppid=21664 vsize=10727700 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21670/stat : 21670 (java) S 21664 21667 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 105302601 10985164800 29727 33554432000 4194304 4196468 140737402641632 140633202387728 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21671] ppid=21664 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21671/stat : 21671 (java) S 21664 21667 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 105302601 10985164800 29727 33554432000 4194304 4196468 140737402641632 140632851930000 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21672] ppid=21664 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21672/stat : 21672 (java) S 21664 21667 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 105302601 10985164800 29727 33554432000 4194304 4196468 140737402641632 140632850877456 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21673] ppid=21664 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21673/stat : 21673 (java) S 21664 21667 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 105302601 10985164800 29727 33554432000 4194304 4196468 140737402641632 140632849824912 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21674] ppid=21664 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21674/stat : 21674 (java) S 21664 21667 16915 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 16 0 105302602 10985164800 29727 33554432000 4194304 4196468 140737402641632 140632550746096 140633245846146 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21675] ppid=21664 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21675/stat : 21675 (java) S 21664 21667 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 105302603 10985164800 29727 33554432000 4194304 4196468 140737402641632 140632549692320 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21676] ppid=21664 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21676/stat : 21676 (java) S 21664 21667 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105302603 10985164800 29727 33554432000 4194304 4196468 140737402641632 140632548639728 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21677] ppid=21664 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21677/stat : 21677 (java) S 21664 21667 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105302605 10985164800 29727 33554432000 4194304 4196468 140737402641632 140632547588304 140633245853595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21678] ppid=21664 vsize=10727700 memory=0 CPUtime=0.77 cores=1,3,5,7
/proc/21667/task/21678/stat : 21678 (java) S 21664 21667 16915 0 -1 1077944384 2650 0 0 0 77 0 0 0 20 0 16 0 105302605 10985164800 29727 33554432000 4194304 4196468 140737402641632 140632546535920 140633245846146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21679] ppid=21664 vsize=10727700 memory=0 CPUtime=0.74 cores=1,3,5,7
/proc/21667/task/21679/stat : 21679 (java) S 21664 21667 16915 0 -1 1077944384 3195 0 0 0 74 0 0 0 20 0 16 0 105302605 10985164800 29727 33554432000 4194304 4196468 140737402641632 140632545483376 140633245846146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21680] ppid=21664 vsize=10727700 memory=233404763337705 CPUtime=0.49 cores=1,3,5,7
/proc/21667/task/21680/stat : 21680 (java) S 21664 21667 16915 0 -1 1077944384 2246 0 0 0 48 1 0 0 20 0 16 0 105302605 10985164800 29727 33554432000 4194304 4196468 140737402641632 140632544430832 140633245846146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21681] ppid=21664 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21681/stat : 21681 (java) S 21664 21667 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105302605 10985164800 29727 33554432000 4194304 4196468 140737402641632 140632543378528 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21682] ppid=21664 vsize=10727700 memory=-5921431000321636112 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21682/stat : 21682 (java) S 21664 21667 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105302605 10985164800 29727 33554432000 4194304 4196468 140737402641632 140632542325040 140633245846146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21683] ppid=21664 vsize=10727700 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21683/stat : 21683 (java) S 21664 21667 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105302673 10985164800 29727 33554432000 4194304 4196468 140737402641632 140632539173680 140633245846146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
Current children cumulated CPU time: 3.51 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 118908 KiB
[startup+3.11055 s]
/proc/loadavg: 2.18 2.34 2.39 4/217 21683
/proc/meminfo: memFree=27436796/32770624 swapFree=67108792/67108860
[pid=21667] ppid=21664 vsize=10727700 memory=140300 CPUtime=5.81 cores=1,3,5,7
/proc/21667/stat : 21667 (java) S 21664 21667 16915 0 -1 1077944320 17685 0 0 0 574 7 0 0 20 0 16 0 105302600 10985164800 35075 33554432000 4194304 4196468 140737402641632 140737402624176 140633245834999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
/proc/21667/statm: 2681925 35075 3130 1 0 2644416 0
[pid=21667/tid=21669] ppid=21664 vsize=10727700 memory=0 CPUtime=3.08 cores=1,3,5,7
/proc/21667/task/21669/stat : 21669 (java) R 21664 21667 16915 0 -1 4202560 6932 0 0 0 305 3 0 0 20 0 16 0 105302600 10985164800 35075 33554432000 4194304 4196468 140737402641632 140633250060352 140632887908049 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21670] ppid=21664 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21670/stat : 21670 (java) S 21664 21667 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 105302601 10985164800 35075 33554432000 4194304 4196468 140737402641632 140633202387728 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21671] ppid=21664 vsize=10727700 memory=137880 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21671/stat : 21671 (java) S 21664 21667 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 105302601 10985164800 35075 33554432000 4194304 4196468 140737402641632 140632851930000 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21672] ppid=21664 vsize=10727700 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21672/stat : 21672 (java) S 21664 21667 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 105302601 10985164800 35075 33554432000 4194304 4196468 140737402641632 140632850877456 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21673] ppid=21664 vsize=10727700 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21673/stat : 21673 (java) S 21664 21667 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 105302601 10985164800 35075 33554432000 4194304 4196468 140737402641632 140632849824912 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21674] ppid=21664 vsize=10727700 memory=233358458136908 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21674/stat : 21674 (java) S 21664 21667 16915 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 105302602 10985164800 35075 33554432000 4194304 4196468 140737402641632 140632550746096 140633245846146 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21675] ppid=21664 vsize=10727700 memory=233358458136909 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21675/stat : 21675 (java) S 21664 21667 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 105302603 10985164800 35075 33554432000 4194304 4196468 140737402641632 140632549692320 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21676] ppid=21664 vsize=10727700 memory=233358458136910 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21676/stat : 21676 (java) S 21664 21667 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105302603 10985164800 35075 33554432000 4194304 4196468 140737402641632 140632548639728 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21677] ppid=21664 vsize=10727700 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21677/stat : 21677 (java) S 21664 21667 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105302605 10985164800 35075 33554432000 4194304 4196468 140737402641632 140632547588304 140633245853595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21678] ppid=21664 vsize=10727700 memory=0 CPUtime=1.14 cores=1,3,5,7
/proc/21667/task/21678/stat : 21678 (java) S 21664 21667 16915 0 -1 1077944384 3177 0 0 0 113 1 0 0 20 0 16 0 105302605 10985164800 35075 33554432000 4194304 4196468 140737402641632 140632546535920 140633245846146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21679] ppid=21664 vsize=10727700 memory=0 CPUtime=1.02 cores=1,3,5,7
/proc/21667/task/21679/stat : 21679 (java) S 21664 21667 16915 0 -1 1077944384 3660 0 0 0 102 0 0 0 20 0 16 0 105302605 10985164800 35075 33554432000 4194304 4196468 140737402641632 140632545483376 140633245846146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21680] ppid=21664 vsize=10727700 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/21667/task/21680/stat : 21680 (java) S 21664 21667 16915 0 -1 1077944384 2455 0 0 0 52 1 0 0 20 0 16 0 105302605 10985164800 35075 33554432000 4194304 4196468 140737402641632 140632544430832 140633245846146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21681] ppid=21664 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21681/stat : 21681 (java) S 21664 21667 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105302605 10985164800 35075 33554432000 4194304 4196468 140737402641632 140632543378528 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21682] ppid=21664 vsize=10727700 memory=56 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21682/stat : 21682 (java) S 21664 21667 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 105302605 10985164800 35075 33554432000 4194304 4196468 140737402641632 140632542325040 140633245846146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21683] ppid=21664 vsize=10727700 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21683/stat : 21683 (java) S 21664 21667 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105302673 10985164800 35075 33554432000 4194304 4196468 140737402641632 140632539173680 140633245846146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
Current children cumulated CPU time: 5.81 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 140300 KiB
[startup+3.34968 s]
# the end of solver process 21667 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.78899 s, system=0.082772 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20096 s]
/proc/loadavg: 2.18 2.34 2.39 4/217 21683
/proc/meminfo: memFree=27436796/32770624 swapFree=67108792/67108860
[pid=21667] ppid=21664 vsize=10860828 memory=144508 CPUtime=5.85 cores=1,3,5,7
/proc/21667/stat : 21667 (java) S 21664 21667 16915 0 -1 1077944320 18083 0 0 0 578 7 0 0 20 0 16 0 105302600 11121487872 36127 33554432000 4194304 4196468 140737402641632 140737402624176 140633245834999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
/proc/21667/statm: 2715207 36127 3132 1 0 2677698 0
[pid=21667/tid=21669] ppid=21664 vsize=10860828 memory=280631284138560 CPUtime=3.11 cores=1,3,5,7
/proc/21667/task/21669/stat : 21669 (java) S 21664 21667 16915 0 -1 1077944384 7193 0 0 0 308 3 0 0 20 0 16 0 105302600 11121487872 36127 33554432000 4194304 4196468 140737402641632 140633250075680 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21670] ppid=21664 vsize=10860828 memory=-1161699032755964503 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21670/stat : 21670 (java) S 21664 21667 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 105302601 11121487872 36127 33554432000 4194304 4196468 140737402641632 140633202387728 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21671] ppid=21664 vsize=10860828 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21671/stat : 21671 (java) S 21664 21667 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 105302601 11121487872 36127 33554432000 4194304 4196468 140737402641632 140632851930000 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21672] ppid=21664 vsize=10860828 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21672/stat : 21672 (java) S 21664 21667 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 105302601 11121487872 36127 33554432000 4194304 4196468 140737402641632 140632850877456 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21673] ppid=21664 vsize=10860828 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21673/stat : 21673 (java) S 21664 21667 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 105302601 11121487872 36127 33554432000 4194304 4196468 140737402641632 140632849824912 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21674] ppid=21664 vsize=10860828 memory=-4051592751533505334 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21674/stat : 21674 (java) S 21664 21667 16915 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 105302602 11121487872 36127 33554432000 4194304 4196468 140737402641632 140632550746096 140633245846146 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21675] ppid=21664 vsize=10860828 memory=1414355462422710185 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21675/stat : 21675 (java) S 21664 21667 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 105302603 11121487872 36127 33554432000 4194304 4196468 140737402641632 140632549692320 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21676] ppid=21664 vsize=10860828 memory=9050719662980759725 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21676/stat : 21676 (java) S 21664 21667 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105302603 11121487872 36127 33554432000 4194304 4196468 140737402641632 140632548639728 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21677] ppid=21664 vsize=10860828 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21677/stat : 21677 (java) S 21664 21667 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105302605 11121487872 36127 33554432000 4194304 4196468 140737402641632 140632547588304 140633245853595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21678] ppid=21664 vsize=10860828 memory=0 CPUtime=1.14 cores=1,3,5,7
/proc/21667/task/21678/stat : 21678 (java) S 21664 21667 16915 0 -1 1077944384 3177 0 0 0 113 1 0 0 20 0 16 0 105302605 11121487872 36127 33554432000 4194304 4196468 140737402641632 140632546535920 140633245846146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21679] ppid=21664 vsize=10860828 memory=0 CPUtime=1.03 cores=1,3,5,7
/proc/21667/task/21679/stat : 21679 (java) S 21664 21667 16915 0 -1 1077944384 3662 0 0 0 103 0 0 0 20 0 16 0 105302605 11121487872 36127 33554432000 4194304 4196468 140737402641632 140632545483376 140633245846146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21680] ppid=21664 vsize=10860828 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/21667/task/21680/stat : 21680 (java) S 21664 21667 16915 0 -1 1077944384 2456 0 0 0 53 1 0 0 20 0 16 0 105302605 11121487872 36127 33554432000 4194304 4196468 140737402641632 140632544430832 140633245846146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21681] ppid=21664 vsize=10860828 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21681/stat : 21681 (java) S 21664 21667 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105302605 11121487872 36127 33554432000 4194304 4196468 140737402641632 140632543378528 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21682] ppid=21664 vsize=10860828 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21682/stat : 21682 (java) S 21664 21667 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 105302605 11121487872 36127 33554432000 4194304 4196468 140737402641632 140632542325040 140633245846146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
Current children cumulated CPU time: 5.85 s
Current children cumulated vsize: 10860828 KiB
Current children cumulated memory: 144508 KiB
[startup+3.30076 s]
/proc/loadavg: 2.18 2.34 2.39 4/217 21683
/proc/meminfo: memFree=27436796/32770624 swapFree=67108792/67108860
[pid=21667] ppid=21664 vsize=10860828 memory=144508 CPUtime=5.85 cores=1,3,5,7
/proc/21667/stat : 21667 (java) S 21664 21667 16915 0 -1 1077944320 18083 0 0 0 578 7 0 0 20 0 16 0 105302600 11121487872 36127 33554432000 4194304 4196468 140737402641632 140737402624176 140633245834999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
/proc/21667/statm: 2715207 36127 3132 1 0 2677698 0
[pid=21667/tid=21669] ppid=21664 vsize=10860828 memory=140300 CPUtime=3.11 cores=1,3,5,7
/proc/21667/task/21669/stat : 21669 (java) S 21664 21667 16915 0 -1 1077944384 7193 0 0 0 308 3 0 0 20 0 16 0 105302600 11121487872 36127 33554432000 4194304 4196468 140737402641632 140633250075680 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21670] ppid=21664 vsize=10860828 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21670/stat : 21670 (java) S 21664 21667 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 105302601 11121487872 36127 33554432000 4194304 4196468 140737402641632 140633202387728 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21671] ppid=21664 vsize=10860828 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21671/stat : 21671 (java) S 21664 21667 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 105302601 11121487872 36127 33554432000 4194304 4196468 140737402641632 140632851930000 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21672] ppid=21664 vsize=10860828 memory=233358458136908 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21672/stat : 21672 (java) S 21664 21667 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 105302601 11121487872 36127 33554432000 4194304 4196468 140737402641632 140632850877456 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21673] ppid=21664 vsize=10860828 memory=233358458136909 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21673/stat : 21673 (java) S 21664 21667 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 105302601 11121487872 36127 33554432000 4194304 4196468 140737402641632 140632849824912 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21674] ppid=21664 vsize=10860828 memory=233358458136910 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21674/stat : 21674 (java) S 21664 21667 16915 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 105302602 11121487872 36127 33554432000 4194304 4196468 140737402641632 140632550746096 140633245846146 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21675] ppid=21664 vsize=10860828 memory=137880 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21675/stat : 21675 (java) S 21664 21667 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 105302603 11121487872 36127 33554432000 4194304 4196468 140737402641632 140632549692320 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21676] ppid=21664 vsize=10860828 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21676/stat : 21676 (java) S 21664 21667 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105302603 11121487872 36127 33554432000 4194304 4196468 140737402641632 140632548639728 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21677] ppid=21664 vsize=10860828 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21677/stat : 21677 (java) S 21664 21667 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105302605 11121487872 36127 33554432000 4194304 4196468 140737402641632 140632547588304 140633245853595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21678] ppid=21664 vsize=10860828 memory=6791534058613427641 CPUtime=1.14 cores=1,3,5,7
/proc/21667/task/21678/stat : 21678 (java) S 21664 21667 16915 0 -1 1077944384 3177 0 0 0 113 1 0 0 20 0 16 0 105302605 11121487872 36127 33554432000 4194304 4196468 140737402641632 140632546535920 140633245846146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21679] ppid=21664 vsize=10860828 memory=0 CPUtime=1.03 cores=1,3,5,7
/proc/21667/task/21679/stat : 21679 (java) S 21664 21667 16915 0 -1 1077944384 3662 0 0 0 103 0 0 0 20 0 16 0 105302605 11121487872 36127 33554432000 4194304 4196468 140737402641632 140632545483376 140633245846146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21680] ppid=21664 vsize=10860828 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/21667/task/21680/stat : 21680 (java) S 21664 21667 16915 0 -1 1077944384 2456 0 0 0 53 1 0 0 20 0 16 0 105302605 11121487872 36127 33554432000 4194304 4196468 140737402641632 140632544430832 140633245846146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21681] ppid=21664 vsize=10860828 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21681/stat : 21681 (java) S 21664 21667 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105302605 11121487872 36127 33554432000 4194304 4196468 140737402641632 140632543378528 140633245845205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
[pid=21667/tid=21682] ppid=21664 vsize=10860828 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21682/stat : 21682 (java) S 21664 21667 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 105302605 11121487872 36127 33554432000 4194304 4196468 140737402641632 140632542325040 140633245846146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29126656 140737402647670 140737402647822 140737402647822 140737402650575 0
Current children cumulated CPU time: 5.85 s
Current children cumulated vsize: 10860828 KiB
Current children cumulated memory: 144508 KiB
Child status: 0
Real time (s): 3.34973
CPU time (s): 5.87177
CPU user time (s): 5.78899
CPU system time (s): 0.082772
CPU usage (%): 175.291
Max. virtual memory (cumulated for all children) (KiB): 10860828
Max. memory (cumulated for all children) (KiB): 144508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.78899
system time used= 0.082772
maximum resident set size= 149032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18744
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2150
involuntary context switches= 17
# summary of solver processes directly reported to runsolver:
# pid: 21667
# total CPU time (s): 5.87177
# total CPU user time (s): 5.78899
# total CPU system time (s): 0.082772
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045461 second user time and 0.07738 second system time
The end