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 (8803 MiB free)
memory of node 1: 16384 MiB (14745 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301346-1532878688/watcher-4301346-1532878688 -o /tmp/evaluation-result-4301346-1532878688/solver-4301346-1532878688 -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-4301346-1532878688.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=22732, runsolver pid=22729
Current StackSize limit: 8192 KiB
[startup+0.100115 s]*
/proc/loadavg: 2.01 2.14 2.25 5/216 22747
/proc/meminfo: memFree=24095436/32770624 swapFree=67108792/67108860
[pid=22732] ppid=22729 vsize=10659012 memory=30096 CPUtime=0.12 cores=1,3,5,7
/proc/22732/stat : 22732 (java) S 22729 22732 16915 0 -1 1077944320 6613 0 0 0 11 1 0 0 20 0 15 0 105432038 10914828288 7524 33554432000 4194304 4196468 140724702635088 140724702617632 140352656809719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
/proc/22732/statm: 2664753 7524 2846 1 0 2627263 0
[pid=22732/tid=22734] ppid=22729 vsize=10659012 memory=-8773748148829981827 CPUtime=0.09 cores=1,3,5,7
/proc/22732/task/22734/stat : 22734 (java) R 22729 22732 16915 0 -1 4202560 4437 0 0 0 9 0 0 0 20 0 15 0 105432038 10914828288 7524 33554432000 4194304 4196468 140724702635088 140352661023712 140352656821654 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22735] ppid=22729 vsize=10659012 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22735/stat : 22735 (java) S 22729 22732 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105432039 10914828288 7524 33554432000 4194304 4196468 140724702635088 140352263215760 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22736] ppid=22729 vsize=10659012 memory=139646762612352 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22736/stat : 22736 (java) S 22729 22732 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105432039 10914828288 7524 33554432000 4194304 4196468 140724702635088 140352262162960 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22737] ppid=22729 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22737/stat : 22737 (java) S 22729 22732 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105432039 10914828288 7524 33554432000 4194304 4196468 140724702635088 140352261110160 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22738] ppid=22729 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22738/stat : 22738 (java) S 22729 22732 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105432039 10914828288 7524 33554432000 4194304 4196468 140724702635088 140352260057360 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22739] ppid=22729 vsize=10659012 memory=139646762612352 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22739/stat : 22739 (java) S 22729 22732 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105432040 10914828288 7524 33554432000 4194304 4196468 140724702635088 140351977761648 140352656820866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22740] ppid=22729 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22740/stat : 22740 (java) S 22729 22732 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105432041 10914828288 7524 33554432000 4194304 4196468 140724702635088 140351976707616 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22741] ppid=22729 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22741/stat : 22741 (java) S 22729 22732 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105432041 10914828288 7524 33554432000 4194304 4196468 140724702635088 140351975654768 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22742] ppid=22729 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22742/stat : 22742 (java) S 22729 22732 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105432043 10914828288 7524 33554432000 4194304 4196468 140724702635088 140351974603088 140352656828315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22743] ppid=22729 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22743/stat : 22743 (java) S 22729 22732 16915 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 105432043 10914828288 7524 33554432000 4194304 4196468 140724702635088 140351973550448 140352656820866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22744] ppid=22729 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22744/stat : 22744 (java) S 22729 22732 16915 0 -1 1077944384 146 0 0 0 0 0 0 0 20 0 15 0 105432043 10914828288 7524 33554432000 4194304 4196468 140724702635088 140351972497648 140352656820866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22745] ppid=22729 vsize=10659012 memory=139646762612352 CPUtime=0.02 cores=1,3,5,7
/proc/22732/task/22745/stat : 22745 (java) S 22729 22732 16915 0 -1 1077944384 360 0 0 0 2 0 0 0 20 0 15 0 105432043 10914828288 7524 33554432000 4194304 4196468 140724702635088 140351971444848 140352656820866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22746] ppid=22729 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22746/stat : 22746 (java) S 22729 22732 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105432044 10914828288 7524 33554432000 4194304 4196468 140724702635088 140351970392288 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22747] ppid=22729 vsize=10659012 memory=139646762612352 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22747/stat : 22747 (java) S 22729 22732 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105432044 10914828288 7524 33554432000 4194304 4196468 140724702635088 140351969340592 140352656820866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30096 KiB
[startup+0.210537 s]*
/proc/loadavg: 2.01 2.14 2.25 3/216 22747
/proc/meminfo: memFree=24085884/32770624 swapFree=67108792/67108860
[pid=22732] ppid=22729 vsize=10659012 memory=42072 CPUtime=0.33 cores=1,3,5,7
/proc/22732/stat : 22732 (java) S 22729 22732 16915 0 -1 1077944320 8102 0 0 0 31 2 0 0 20 0 15 0 105432038 10914828288 10518 33554432000 4194304 4196468 140724702635088 140724702617632 140352656809719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
/proc/22732/statm: 2664753 10518 2996 1 0 2627263 0
[pid=22732/tid=22734] ppid=22729 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/22732/task/22734/stat : 22734 (java) R 22729 22732 16915 0 -1 4202560 5014 0 0 0 19 1 0 0 20 0 15 0 105432038 10914828288 10518 33554432000 4194304 4196468 140724702635088 140352661046000 140352640853349 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22735] ppid=22729 vsize=10659012 memory=343 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22735/stat : 22735 (java) S 22729 22732 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105432039 10914828288 10518 33554432000 4194304 4196468 140724702635088 140352263215760 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22736] ppid=22729 vsize=10659012 memory=288370022914324096 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22736/stat : 22736 (java) S 22729 22732 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105432039 10914828288 10518 33554432000 4194304 4196468 140724702635088 140352262162960 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22737] ppid=22729 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22737/stat : 22737 (java) S 22729 22732 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105432039 10914828288 10518 33554432000 4194304 4196468 140724702635088 140352261110160 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22738] ppid=22729 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22738/stat : 22738 (java) S 22729 22732 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105432039 10914828288 10518 33554432000 4194304 4196468 140724702635088 140352260057360 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22739] ppid=22729 vsize=10659012 memory=139646762612352 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22739/stat : 22739 (java) S 22729 22732 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105432040 10914828288 10518 33554432000 4194304 4196468 140724702635088 140351977761648 140352656820866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22740] ppid=22729 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22740/stat : 22740 (java) S 22729 22732 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105432041 10914828288 10518 33554432000 4194304 4196468 140724702635088 140351976707616 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22741] ppid=22729 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22741/stat : 22741 (java) S 22729 22732 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105432041 10914828288 10518 33554432000 4194304 4196468 140724702635088 140351975654768 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22742] ppid=22729 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22742/stat : 22742 (java) S 22729 22732 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105432043 10914828288 10518 33554432000 4194304 4196468 140724702635088 140351974603088 140352656828315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22743] ppid=22729 vsize=10659012 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/22732/task/22743/stat : 22743 (java) S 22729 22732 16915 0 -1 1077944384 531 0 0 0 1 0 0 0 20 0 15 0 105432043 10914828288 10518 33554432000 4194304 4196468 140724702635088 140351973550448 140352656820866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22744] ppid=22729 vsize=10659012 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/22732/task/22744/stat : 22744 (java) S 22729 22732 16915 0 -1 1077944384 460 0 0 0 2 0 0 0 20 0 15 0 105432043 10914828288 10518 33554432000 4194304 4196468 140724702635088 140351972497648 140352656820866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22745] ppid=22729 vsize=10659012 memory=139646762612352 CPUtime=0.07 cores=1,3,5,7
/proc/22732/task/22745/stat : 22745 (java) R 22729 22732 16915 0 -1 4202560 732 0 0 0 7 0 0 0 20 0 15 0 105432043 10914828288 10518 33554432000 4194304 4196468 140724702635088 140351971444848 140352640890206 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22746] ppid=22729 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22746/stat : 22746 (java) S 22729 22732 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105432044 10914828288 10518 33554432000 4194304 4196468 140724702635088 140351970392288 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22747] ppid=22729 vsize=10659012 memory=139646762612352 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22747/stat : 22747 (java) S 22729 22732 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105432044 10914828288 10518 33554432000 4194304 4196468 140724702635088 140351969340592 140352656820866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42072 KiB
[startup+0.311129 s]*
/proc/loadavg: 2.01 2.14 2.25 6/216 22747
/proc/meminfo: memFree=24070996/32770624 swapFree=67108792/67108860
[pid=22732] ppid=22729 vsize=10659012 memory=55176 CPUtime=0.59 cores=1,3,5,7
/proc/22732/stat : 22732 (java) S 22729 22732 16915 0 -1 1077944320 9850 0 0 0 57 2 0 0 20 0 15 0 105432038 10914828288 13794 33554432000 4194304 4196468 140724702635088 140724702617632 140352656809719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
/proc/22732/statm: 2664753 13794 3045 1 0 2627263 0
[pid=22732/tid=22734] ppid=22729 vsize=10659012 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/22732/task/22734/stat : 22734 (java) R 22729 22732 16915 0 -1 4202560 5360 0 0 0 29 1 0 0 20 0 15 0 105432038 10914828288 13794 33554432000 4194304 4196468 140724702635088 140352661039984 140352656831645 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22735] ppid=22729 vsize=10659012 memory=4294977868 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22735/stat : 22735 (java) S 22729 22732 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105432039 10914828288 13794 33554432000 4194304 4196468 140724702635088 140352263215760 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22736] ppid=22729 vsize=10659012 memory=288370022914324096 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22736/stat : 22736 (java) S 22729 22732 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105432039 10914828288 13794 33554432000 4194304 4196468 140724702635088 140352262162960 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22737] ppid=22729 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22737/stat : 22737 (java) S 22729 22732 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105432039 10914828288 13794 33554432000 4194304 4196468 140724702635088 140352261110160 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22738] ppid=22729 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22738/stat : 22738 (java) S 22729 22732 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105432039 10914828288 13794 33554432000 4194304 4196468 140724702635088 140352260057360 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22739] ppid=22729 vsize=10659012 memory=139646762612352 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22739/stat : 22739 (java) S 22729 22732 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105432040 10914828288 13794 33554432000 4194304 4196468 140724702635088 140351977761648 140352656820866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22740] ppid=22729 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22740/stat : 22740 (java) S 22729 22732 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105432041 10914828288 13794 33554432000 4194304 4196468 140724702635088 140351976707616 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22741] ppid=22729 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22741/stat : 22741 (java) S 22729 22732 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105432041 10914828288 13794 33554432000 4194304 4196468 140724702635088 140351975654768 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22742] ppid=22729 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22742/stat : 22742 (java) S 22729 22732 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105432043 10914828288 13794 33554432000 4194304 4196468 140724702635088 140351974603088 140352656828315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22743] ppid=22729 vsize=10659012 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/22732/task/22743/stat : 22743 (java) R 22729 22732 16915 0 -1 4202560 1078 0 0 0 6 0 0 0 20 0 15 0 105432043 10914828288 13794 33554432000 4194304 4196468 140724702635088 140351973531464 140352640306507 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22744] ppid=22729 vsize=10659012 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22732/task/22744/stat : 22744 (java) R 22729 22732 16915 0 -1 4202560 1022 0 0 0 7 0 0 0 20 0 15 0 105432043 10914828288 13794 33554432000 4194304 4196468 140724702635088 140351972483672 140352649099168 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22745] ppid=22729 vsize=10659012 memory=139646762612352 CPUtime=0.12 cores=1,3,5,7
/proc/22732/task/22745/stat : 22745 (java) R 22729 22732 16915 0 -1 1077944384 1027 0 0 0 12 0 0 0 20 0 15 0 105432043 10914828288 13794 33554432000 4194304 4196468 140724702635088 140351971444848 140352656820866 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22746] ppid=22729 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22746/stat : 22746 (java) S 22729 22732 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105432044 10914828288 13794 33554432000 4194304 4196468 140724702635088 140351970392288 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22747] ppid=22729 vsize=10659012 memory=139646762612352 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22747/stat : 22747 (java) S 22729 22732 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105432044 10914828288 13794 33554432000 4194304 4196468 140724702635088 140351969340592 140352656820866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 55176 KiB
[startup+0.70076 s]
/proc/loadavg: 2.01 2.14 2.25 6/216 22747
/proc/meminfo: memFree=24039784/32770624 swapFree=67108792/67108860
[pid=22732] ppid=22729 vsize=10659088 memory=118684 CPUtime=1.89 cores=1,3,5,7
/proc/22732/stat : 22732 (java) S 22729 22732 16915 0 -1 1077944320 12592 0 0 0 185 4 0 0 20 0 15 0 105432038 10914906112 29671 33554432000 4194304 4196468 140724702635088 140724702617632 140352656809719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
/proc/22732/statm: 2664772 29671 3102 1 0 2627263 0
[pid=22732/tid=22734] ppid=22729 vsize=10659088 memory=237309895142450 CPUtime=0.68 cores=1,3,5,7
/proc/22732/task/22734/stat : 22734 (java) R 22729 22732 16915 0 -1 4202560 5890 0 0 0 66 2 0 0 20 0 15 0 105432038 10914906112 29671 33554432000 4194304 4196468 140724702635088 140352661043840 140352656821654 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22735] ppid=22729 vsize=10659088 memory=3977296629253554382 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22735/stat : 22735 (java) S 22729 22732 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105432039 10914906112 29671 33554432000 4194304 4196468 140724702635088 140352263215760 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22736] ppid=22729 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22736/stat : 22736 (java) S 22729 22732 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105432039 10914906112 29671 33554432000 4194304 4196468 140724702635088 140352262162960 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22737] ppid=22729 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22737/stat : 22737 (java) S 22729 22732 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105432039 10914906112 29671 33554432000 4194304 4196468 140724702635088 140352261110160 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22738] ppid=22729 vsize=10659088 memory=7809523229951467570 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22738/stat : 22738 (java) S 22729 22732 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105432039 10914906112 29671 33554432000 4194304 4196468 140724702635088 140352260057360 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22739] ppid=22729 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22739/stat : 22739 (java) S 22729 22732 16915 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105432040 10914906112 29671 33554432000 4194304 4196468 140724702635088 140351977761648 140352656820866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22740] ppid=22729 vsize=10659088 memory=-3535359994705171810 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22740/stat : 22740 (java) S 22729 22732 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105432041 10914906112 29671 33554432000 4194304 4196468 140724702635088 140351976707616 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22741] ppid=22729 vsize=10659088 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22741/stat : 22741 (java) S 22729 22732 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105432041 10914906112 29671 33554432000 4194304 4196468 140724702635088 140351975654768 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22742] ppid=22729 vsize=10659088 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22742/stat : 22742 (java) S 22729 22732 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105432043 10914906112 29671 33554432000 4194304 4196468 140724702635088 140351974603088 140352656828315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22743] ppid=22729 vsize=10659088 memory=0 CPUtime=0.44 cores=1,3,5,7
/proc/22732/task/22743/stat : 22743 (java) R 22729 22732 16915 0 -1 4202560 2275 0 0 0 44 0 0 0 20 0 15 0 105432043 10914906112 29671 33554432000 4194304 4196468 140724702635088 140351973530432 140352640797206 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22744] ppid=22729 vsize=10659088 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/22732/task/22744/stat : 22744 (java) R 22729 22732 16915 0 -1 4202560 1659 0 0 0 45 0 0 0 20 0 15 0 105432043 10914906112 29671 33554432000 4194304 4196468 140724702635088 140351972478664 140352641196960 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22745] ppid=22729 vsize=10659088 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/22732/task/22745/stat : 22745 (java) S 22729 22732 16915 0 -1 1077944384 1397 0 0 0 29 0 0 0 20 0 15 0 105432043 10914906112 29671 33554432000 4194304 4196468 140724702635088 140351971444848 140352656820866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22746] ppid=22729 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22746/stat : 22746 (java) S 22729 22732 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105432044 10914906112 29671 33554432000 4194304 4196468 140724702635088 140351970392288 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22747] ppid=22729 vsize=10659088 memory=18268 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22747/stat : 22747 (java) S 22729 22732 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105432044 10914906112 29671 33554432000 4194304 4196468 140724702635088 140351969340592 140352656820866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
Current children cumulated CPU time: 1.89 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 118684 KiB
[startup+1.50114 s]
/proc/loadavg: 2.01 2.14 2.25 5/216 22747
/proc/meminfo: memFree=23900168/32770624 swapFree=67108792/67108860
[pid=22732] ppid=22729 vsize=10659088 memory=385044 CPUtime=4.33 cores=1,3,5,7
/proc/22732/stat : 22732 (java) S 22729 22732 16915 0 -1 1077944320 17488 0 0 0 417 16 0 0 20 0 15 0 105432038 10914906112 95749 33554432000 4194304 4196468 140724702635088 140724702617632 140352656809719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
/proc/22732/statm: 2664772 96261 3145 1 0 2627263 0
[pid=22732/tid=22734] ppid=22729 vsize=10659088 memory=10799 CPUtime=1.41 cores=1,3,5,7
/proc/22732/task/22734/stat : 22734 (java) S 22729 22732 16915 0 -1 1077944384 5995 0 0 0 136 5 0 0 20 0 15 0 105432038 10914906112 96261 33554432000 4194304 4196468 140724702635088 140352661047648 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22735] ppid=22729 vsize=10659088 memory=6791534058613427641 CPUtime=0.05 cores=1,3,5,7
/proc/22732/task/22735/stat : 22735 (java) R 22729 22732 16915 0 -1 4202560 116 0 0 0 3 2 0 0 20 0 15 0 105432039 10914906112 96261 33554432000 4194304 4196468 140724702635088 140352263215648 140352649914407 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22736] ppid=22729 vsize=10659088 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/22732/task/22736/stat : 22736 (java) R 22729 22732 16915 0 -1 4202560 134 0 0 0 3 2 0 0 20 0 15 0 105432039 10914906112 96261 33554432000 4194304 4196468 140724702635088 140352262162960 140352649906420 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22737] ppid=22729 vsize=10659088 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/22732/task/22737/stat : 22737 (java) R 22729 22732 16915 0 -1 4202560 106 0 0 0 2 2 0 0 20 0 15 0 105432039 10914906112 96261 33554432000 4194304 4196468 140724702635088 140352261110160 140352649909419 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22738] ppid=22729 vsize=10659088 memory=6943526294502006880 CPUtime=0.04 cores=1,3,5,7
/proc/22732/task/22738/stat : 22738 (java) R 22729 22732 16915 0 -1 4202560 108 0 0 0 3 1 0 0 20 0 15 0 105432039 10914906112 96261 33554432000 4194304 4196468 140724702635088 140352260057360 140352641837593 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22739] ppid=22729 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22739/stat : 22739 (java) S 22729 22732 16915 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 105432040 10914906112 96261 33554432000 4194304 4196468 140724702635088 140351977760160 140352656819925 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
################
# More data... #
################
/proc/22732/task/22736/stat : 22736 (java) S 22729 22732 16915 0 -1 1077944384 19752 0 0 0 232 30 0 0 20 0 16 0 105432039 10985164800 571585 33554432000 4194304 4196468 140724702635088 140352262162960 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22737] ppid=22729 vsize=10727700 memory=2286328 CPUtime=2.55 cores=1,3,5,7
/proc/22732/task/22737/stat : 22737 (java) S 22729 22732 16915 0 -1 1077944384 18116 0 0 0 226 29 0 0 20 0 16 0 105432039 10985164800 571585 33554432000 4194304 4196468 140724702635088 140352261110160 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22738] ppid=22729 vsize=10727700 memory=2286340 CPUtime=2.57 cores=1,3,5,7
/proc/22732/task/22738/stat : 22738 (java) S 22729 22732 16915 0 -1 1077944384 21543 0 0 0 229 28 0 0 20 0 16 0 105432039 10985164800 571585 33554432000 4194304 4196468 140724702635088 140352260057360 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22739] ppid=22729 vsize=10727700 memory=-6298133881059299932 CPUtime=0.9 cores=1,3,5,7
/proc/22732/task/22739/stat : 22739 (java) S 22729 22732 16915 0 -1 1077944384 4717 0 0 0 90 0 0 0 20 0 16 0 105432040 10985164800 571585 33554432000 4194304 4196468 140724702635088 140351977761648 140352656820866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22740] ppid=22729 vsize=10727700 memory=2286340 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22740/stat : 22740 (java) S 22729 22732 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 105432041 10985164800 571585 33554432000 4194304 4196468 140724702635088 140351976707680 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22741] ppid=22729 vsize=10727700 memory=2286340 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22741/stat : 22741 (java) S 22729 22732 16915 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 105432041 10985164800 571585 33554432000 4194304 4196468 140724702635088 140351975654768 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22742] ppid=22729 vsize=10727700 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22742/stat : 22742 (java) S 22729 22732 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105432043 10985164800 571585 33554432000 4194304 4196468 140724702635088 140351974603088 140352656828315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22743] ppid=22729 vsize=10727700 memory=4872558044660077418 CPUtime=3.25 cores=1,3,5,7
/proc/22732/task/22743/stat : 22743 (java) S 22729 22732 16915 0 -1 1077944384 9188 0 0 0 324 1 0 0 20 0 16 0 105432043 10985164800 571585 33554432000 4194304 4196468 140724702635088 140351973550448 140352656820866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22744] ppid=22729 vsize=10727700 memory=2286340 CPUtime=3.01 cores=1,3,5,7
/proc/22732/task/22744/stat : 22744 (java) S 22729 22732 16915 0 -1 1077944384 8846 0 0 0 301 0 0 0 20 0 16 0 105432043 10985164800 571585 33554432000 4194304 4196468 140724702635088 140351972497648 140352656820866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22745] ppid=22729 vsize=10727700 memory=7524500490783711855 CPUtime=0.6 cores=1,3,5,7
/proc/22732/task/22745/stat : 22745 (java) S 22729 22732 16915 0 -1 1077944384 4495 0 0 0 59 1 0 0 20 0 16 0 105432043 10985164800 571585 33554432000 4194304 4196468 140724702635088 140351971444848 140352656820866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22746] ppid=22729 vsize=10727700 memory=7307184289356141158 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22746/stat : 22746 (java) S 22729 22732 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105432044 10985164800 571585 33554432000 4194304 4196468 140724702635088 140351970392288 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22747] ppid=22729 vsize=10727700 memory=2286340 CPUtime=0.13 cores=1,3,5,7
/proc/22732/task/22747/stat : 22747 (java) S 22729 22732 16915 0 -1 1077944384 308 0 0 0 6 7 0 0 20 0 16 0 105432044 10985164800 571585 33554432000 4194304 4196468 140724702635088 140351969340592 140352656820866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22748] ppid=22729 vsize=10727700 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22748/stat : 22748 (java) S 22729 22732 16915 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 105433132 10985164800 571585 33554432000 4194304 4196468 140724702635088 140351968286128 140352656820866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
Current children cumulated CPU time: 237.03 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 2286340 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+237.301 s]
/proc/loadavg: 2.04 2.11 2.22 3/218 22838
/proc/meminfo: memFree=25516436/32770624 swapFree=67108792/67108860
[pid=22732] ppid=22729 vsize=10727700 memory=2286340 CPUtime=252.03 cores=1,3,5,7
/proc/22732/stat : 22732 (java) S 22729 22732 16915 0 -1 1077944320 234798 0 0 0 25049 154 0 0 20 0 16 0 105432038 10985164800 571585 33554432000 4194304 4196468 140724702635088 140724702617632 140352656809719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
/proc/22732/statm: 2681925 571585 3197 1 0 2644416 0
[pid=22732/tid=22734] ppid=22729 vsize=10727700 memory=2286340 CPUtime=233.71 cores=1,3,5,7
/proc/22732/task/22734/stat : 22734 (java) R 22729 22732 16915 0 -1 4202560 131523 0 0 0 23348 23 0 0 20 0 16 0 105432038 10985164800 571585 33554432000 4194304 4196468 140724702635088 140352661046296 140352296075250 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22735] ppid=22729 vsize=10727700 memory=2286340 CPUtime=2.57 cores=1,3,5,7
/proc/22732/task/22735/stat : 22735 (java) S 22729 22732 16915 0 -1 1077944384 14928 0 0 0 228 29 0 0 20 0 16 0 105432039 10985164800 571585 33554432000 4194304 4196468 140724702635088 140352263215760 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22736] ppid=22729 vsize=10727700 memory=2286340 CPUtime=2.62 cores=1,3,5,7
/proc/22732/task/22736/stat : 22736 (java) S 22729 22732 16915 0 -1 1077944384 19752 0 0 0 232 30 0 0 20 0 16 0 105432039 10985164800 571585 33554432000 4194304 4196468 140724702635088 140352262162960 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22737] ppid=22729 vsize=10727700 memory=2286340 CPUtime=2.55 cores=1,3,5,7
/proc/22732/task/22737/stat : 22737 (java) S 22729 22732 16915 0 -1 1077944384 18116 0 0 0 226 29 0 0 20 0 16 0 105432039 10985164800 571585 33554432000 4194304 4196468 140724702635088 140352261110160 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22738] ppid=22729 vsize=10727700 memory=2286340 CPUtime=2.57 cores=1,3,5,7
/proc/22732/task/22738/stat : 22738 (java) S 22729 22732 16915 0 -1 1077944384 21543 0 0 0 229 28 0 0 20 0 16 0 105432039 10985164800 571585 33554432000 4194304 4196468 140724702635088 140352260057360 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22739] ppid=22729 vsize=10727700 memory=2286328 CPUtime=0.9 cores=1,3,5,7
/proc/22732/task/22739/stat : 22739 (java) S 22729 22732 16915 0 -1 1077944384 4717 0 0 0 90 0 0 0 20 0 16 0 105432040 10985164800 571585 33554432000 4194304 4196468 140724702635088 140351977761648 140352656820866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22740] ppid=22729 vsize=10727700 memory=164 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22740/stat : 22740 (java) S 22729 22732 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 105432041 10985164800 571585 33554432000 4194304 4196468 140724702635088 140351976707680 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22741] ppid=22729 vsize=10727700 memory=8512 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22741/stat : 22741 (java) S 22729 22732 16915 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 105432041 10985164800 571585 33554432000 4194304 4196468 140724702635088 140351975654768 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22742] ppid=22729 vsize=10727700 memory=792 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22742/stat : 22742 (java) S 22729 22732 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105432043 10985164800 571585 33554432000 4194304 4196468 140724702635088 140351974603088 140352656828315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22743] ppid=22729 vsize=10727700 memory=6791534058613427641 CPUtime=3.25 cores=1,3,5,7
/proc/22732/task/22743/stat : 22743 (java) S 22729 22732 16915 0 -1 1077944384 9188 0 0 0 324 1 0 0 20 0 16 0 105432043 10985164800 571585 33554432000 4194304 4196468 140724702635088 140351973550448 140352656820866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22744] ppid=22729 vsize=10727700 memory=1792 CPUtime=3.01 cores=1,3,5,7
/proc/22732/task/22744/stat : 22744 (java) S 22729 22732 16915 0 -1 1077944384 8846 0 0 0 301 0 0 0 20 0 16 0 105432043 10985164800 571585 33554432000 4194304 4196468 140724702635088 140351972497648 140352656820866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22745] ppid=22729 vsize=10727700 memory=7885354829536256850 CPUtime=0.6 cores=1,3,5,7
/proc/22732/task/22745/stat : 22745 (java) S 22729 22732 16915 0 -1 1077944384 4495 0 0 0 59 1 0 0 20 0 16 0 105432043 10985164800 571585 33554432000 4194304 4196468 140724702635088 140351971444848 140352656820866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22746] ppid=22729 vsize=10727700 memory=7235710566141946944 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22746/stat : 22746 (java) S 22729 22732 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105432044 10985164800 571585 33554432000 4194304 4196468 140724702635088 140351970392288 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22747] ppid=22729 vsize=10727700 memory=2286340 CPUtime=0.14 cores=1,3,5,7
/proc/22732/task/22747/stat : 22747 (java) S 22729 22732 16915 0 -1 1077944384 308 0 0 0 6 8 0 0 20 0 16 0 105432044 10985164800 571585 33554432000 4194304 4196468 140724702635088 140351969340592 140352656820866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22748] ppid=22729 vsize=10727700 memory=2286340 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22748/stat : 22748 (java) S 22729 22732 16915 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 105433132 10985164800 571585 33554432000 4194304 4196468 140724702635088 140351968286128 140352656820866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 2286340 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+237.55 s]
# the end of solver process 22732 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.582 s, system=1.57347 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+237.405 s]
/proc/loadavg: 2.04 2.11 2.22 3/218 22838
/proc/meminfo: memFree=25516436/32770624 swapFree=67108792/67108860
[pid=22732] ppid=22729 vsize=10927392 memory=2286560 CPUtime=252.1 cores=1,3,5,7
/proc/22732/stat : 22732 (java) S 22729 22732 16915 0 -1 1077944320 235920 0 0 0 25056 154 0 0 20 0 17 0 105432038 11189649408 571640 33554432000 4194304 4196468 140724702635088 140724702617632 140352656809719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
/proc/22732/statm: 2731848 571640 3199 1 0 2694339 0
[pid=22732/tid=22734] ppid=22729 vsize=10927392 memory=6791534058613427641 CPUtime=233.77 cores=1,3,5,7
/proc/22732/task/22734/stat : 22734 (java) S 22729 22732 16915 0 -1 1077944384 131584 0 0 0 23354 23 0 0 20 0 17 0 105432038 11189649408 571640 33554432000 4194304 4196468 140724702635088 140352661052592 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22735] ppid=22729 vsize=10927392 memory=4872558044660077418 CPUtime=2.57 cores=1,3,5,7
/proc/22732/task/22735/stat : 22735 (java) S 22729 22732 16915 0 -1 1077944384 14928 0 0 0 228 29 0 0 20 0 17 0 105432039 11189649408 571640 33554432000 4194304 4196468 140724702635088 140352263215760 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22736] ppid=22729 vsize=10927392 memory=16738 CPUtime=2.62 cores=1,3,5,7
/proc/22732/task/22736/stat : 22736 (java) S 22729 22732 16915 0 -1 1077944384 19752 0 0 0 232 30 0 0 20 0 17 0 105432039 11189649408 571640 33554432000 4194304 4196468 140724702635088 140352262162960 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22737] ppid=22729 vsize=10927392 memory=1 CPUtime=2.55 cores=1,3,5,7
/proc/22732/task/22737/stat : 22737 (java) S 22729 22732 16915 0 -1 1077944384 18116 0 0 0 226 29 0 0 20 0 17 0 105432039 11189649408 571640 33554432000 4194304 4196468 140724702635088 140352261110160 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22738] ppid=22729 vsize=10927392 memory=0 CPUtime=2.57 cores=1,3,5,7
/proc/22732/task/22738/stat : 22738 (java) S 22729 22732 16915 0 -1 1077944384 21543 0 0 0 229 28 0 0 20 0 17 0 105432039 11189649408 571640 33554432000 4194304 4196468 140724702635088 140352260057360 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22739] ppid=22729 vsize=10927392 memory=0 CPUtime=0.9 cores=1,3,5,7
/proc/22732/task/22739/stat : 22739 (java) S 22729 22732 16915 0 -1 1077944384 4721 0 0 0 90 0 0 0 20 0 17 0 105432040 11189649408 571640 33554432000 4194304 4196468 140724702635088 140351977761648 140352656820866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22740] ppid=22729 vsize=10927392 memory=23553 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22740/stat : 22740 (java) S 22729 22732 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 105432041 11189649408 571640 33554432000 4194304 4196468 140724702635088 140351976707680 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22741] ppid=22729 vsize=10927392 memory=21721 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22741/stat : 22741 (java) S 22729 22732 16915 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 105432041 11189649408 571640 33554432000 4194304 4196468 140724702635088 140351975654768 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22742] ppid=22729 vsize=10927392 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22742/stat : 22742 (java) S 22729 22732 16915 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 17 0 105432043 11189649408 571640 33554432000 4194304 4196468 140724702635088 140351974603088 140352656828315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22743] ppid=22729 vsize=10927392 memory=1428 CPUtime=3.26 cores=1,3,5,7
/proc/22732/task/22743/stat : 22743 (java) S 22729 22732 16915 0 -1 1077944384 9293 0 0 0 325 1 0 0 20 0 17 0 105432043 11189649408 571640 33554432000 4194304 4196468 140724702635088 140351973550448 140352656820866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22744] ppid=22729 vsize=10927392 memory=8512 CPUtime=3.01 cores=1,3,5,7
/proc/22732/task/22744/stat : 22744 (java) S 22729 22732 16915 0 -1 1077944384 9104 0 0 0 301 0 0 0 20 0 17 0 105432043 11189649408 571640 33554432000 4194304 4196468 140724702635088 140351972497648 140352656820866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22745] ppid=22729 vsize=10927392 memory=792 CPUtime=0.6 cores=1,3,5,7
/proc/22732/task/22745/stat : 22745 (java) S 22729 22732 16915 0 -1 1077944384 4704 0 0 0 59 1 0 0 20 0 17 0 105432043 11189649408 571640 33554432000 4194304 4196468 140724702635088 140351971444848 140352656820866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22746] ppid=22729 vsize=10927392 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22746/stat : 22746 (java) S 22729 22732 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105432044 11189649408 571640 33554432000 4194304 4196468 140724702635088 140351970392288 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22747] ppid=22729 vsize=10927392 memory=1228 CPUtime=0.14 cores=1,3,5,7
/proc/22732/task/22747/stat : 22747 (java) S 22729 22732 16915 0 -1 1077944384 308 0 0 0 6 8 0 0 20 0 17 0 105432044 11189649408 571640 33554432000 4194304 4196468 140724702635088 140351969340592 140352656820866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
Current children cumulated CPU time: 252.1 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 2286560 KiB
[startup+237.501 s]
/proc/loadavg: 2.04 2.11 2.22 3/218 22838
/proc/meminfo: memFree=25516436/32770624 swapFree=67108792/67108860
[pid=22732] ppid=22729 vsize=10927392 memory=2286560 CPUtime=252.1 cores=1,3,5,7
/proc/22732/stat : 22732 (java) S 22729 22732 16915 0 -1 1077944320 235920 0 0 0 25056 154 0 0 20 0 17 0 105432038 11189649408 571640 33554432000 4194304 4196468 140724702635088 140724702617632 140352656809719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
/proc/22732/statm: 2731848 571640 3199 1 0 2694339 0
[pid=22732/tid=22734] ppid=22729 vsize=10927392 memory=2286340 CPUtime=233.77 cores=1,3,5,7
/proc/22732/task/22734/stat : 22734 (java) S 22729 22732 16915 0 -1 1077944384 131584 0 0 0 23354 23 0 0 20 0 17 0 105432038 11189649408 571640 33554432000 4194304 4196468 140724702635088 140352661052592 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22735] ppid=22729 vsize=10927392 memory=2286340 CPUtime=2.57 cores=1,3,5,7
/proc/22732/task/22735/stat : 22735 (java) S 22729 22732 16915 0 -1 1077944384 14928 0 0 0 228 29 0 0 20 0 17 0 105432039 11189649408 571640 33554432000 4194304 4196468 140724702635088 140352263215760 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22736] ppid=22729 vsize=10927392 memory=2286340 CPUtime=2.62 cores=1,3,5,7
/proc/22732/task/22736/stat : 22736 (java) S 22729 22732 16915 0 -1 1077944384 19752 0 0 0 232 30 0 0 20 0 17 0 105432039 11189649408 571640 33554432000 4194304 4196468 140724702635088 140352262162960 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22737] ppid=22729 vsize=10927392 memory=2286340 CPUtime=2.55 cores=1,3,5,7
/proc/22732/task/22737/stat : 22737 (java) S 22729 22732 16915 0 -1 1077944384 18116 0 0 0 226 29 0 0 20 0 17 0 105432039 11189649408 571640 33554432000 4194304 4196468 140724702635088 140352261110160 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22738] ppid=22729 vsize=10927392 memory=2286328 CPUtime=2.57 cores=1,3,5,7
/proc/22732/task/22738/stat : 22738 (java) S 22729 22732 16915 0 -1 1077944384 21543 0 0 0 229 28 0 0 20 0 17 0 105432039 11189649408 571640 33554432000 4194304 4196468 140724702635088 140352260057360 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22739] ppid=22729 vsize=10927392 memory=164 CPUtime=0.9 cores=1,3,5,7
/proc/22732/task/22739/stat : 22739 (java) S 22729 22732 16915 0 -1 1077944384 4721 0 0 0 90 0 0 0 20 0 17 0 105432040 11189649408 571640 33554432000 4194304 4196468 140724702635088 140351977761648 140352656820866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22740] ppid=22729 vsize=10927392 memory=2286340 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22740/stat : 22740 (java) S 22729 22732 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 105432041 11189649408 571640 33554432000 4194304 4196468 140724702635088 140351976707680 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22741] ppid=22729 vsize=10927392 memory=2286340 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22741/stat : 22741 (java) S 22729 22732 16915 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 105432041 11189649408 571640 33554432000 4194304 4196468 140724702635088 140351975654768 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22742] ppid=22729 vsize=10927392 memory=2286340 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22742/stat : 22742 (java) S 22729 22732 16915 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 17 0 105432043 11189649408 571640 33554432000 4194304 4196468 140724702635088 140351974603088 140352656828315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22743] ppid=22729 vsize=10927392 memory=6791534058613427641 CPUtime=3.26 cores=1,3,5,7
/proc/22732/task/22743/stat : 22743 (java) S 22729 22732 16915 0 -1 1077944384 9293 0 0 0 325 1 0 0 20 0 17 0 105432043 11189649408 571640 33554432000 4194304 4196468 140724702635088 140351973550448 140352656820866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22744] ppid=22729 vsize=10927392 memory=1792 CPUtime=3.01 cores=1,3,5,7
/proc/22732/task/22744/stat : 22744 (java) S 22729 22732 16915 0 -1 1077944384 9104 0 0 0 301 0 0 0 20 0 17 0 105432043 11189649408 571640 33554432000 4194304 4196468 140724702635088 140351972497648 140352656820866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22745] ppid=22729 vsize=10927392 memory=8512 CPUtime=0.6 cores=1,3,5,7
/proc/22732/task/22745/stat : 22745 (java) S 22729 22732 16915 0 -1 1077944384 4704 0 0 0 59 1 0 0 20 0 17 0 105432043 11189649408 571640 33554432000 4194304 4196468 140724702635088 140351971444848 140352656820866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22746] ppid=22729 vsize=10927392 memory=792 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22746/stat : 22746 (java) S 22729 22732 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105432044 11189649408 571640 33554432000 4194304 4196468 140724702635088 140351970392288 140352656819925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
[pid=22732/tid=22747] ppid=22729 vsize=10927392 memory=4136 CPUtime=0.14 cores=1,3,5,7
/proc/22732/task/22747/stat : 22747 (java) S 22729 22732 16915 0 -1 1077944384 308 0 0 0 6 8 0 0 20 0 17 0 105432044 11189649408 571640 33554432000 4194304 4196468 140724702635088 140351969340592 140352656820866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 39735296 140724702643318 140724702643470 140724702643470 140724702646223 0
Current children cumulated CPU time: 252.1 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 2286560 KiB
Child status: 143
Real time (s): 237.55
CPU time (s): 252.155
CPU user time (s): 250.582
CPU system time (s): 1.57347
CPU usage (%): 106.148
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 2289332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.582
system time used= 1.57347
maximum resident set size= 2289332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 236877
page faults= 0
swaps= 0
block input operations= 0
block output operations= 320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8232
involuntary context switches= 177
# summary of solver processes directly reported to runsolver:
# pid: 22732
# total CPU time (s): 252.155
# total CPU user time (s): 250.582
# total CPU system time (s): 1.57347
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.43736 second user time and 2.34699 second system time
The end