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 (11425 MiB free)
memory of node 1: 16384 MiB (15835 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301562-1532882230/watcher-4301562-1532882230 -o /tmp/evaluation-result-4301562-1532882230/solver-4301562-1532882230 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532879536-13547 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301562-1532882230.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=15928, runsolver pid=15925
Current StackSize limit: 8192 KiB
[startup+0.100367 s]*
/proc/loadavg: 2.38 2.89 2.65 3/216 15943
/proc/meminfo: memFree=27898180/32770624 swapFree=67108860/67108860
[pid=15928] ppid=15925 vsize=10659012 memory=31556 CPUtime=0.12 cores=1,3,5,7
/proc/15928/stat : 15928 (java) S 15925 15928 13514 0 -1 1077944320 6427 0 0 0 11 1 0 0 20 0 15 0 105786128 10914828288 7889 33554432000 4194304 4196468 140734093045440 140734093027984 140198555447031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
/proc/15928/statm: 2664753 7889 2827 1 0 2627263 0
[pid=15928/tid=15930] ppid=15925 vsize=10659012 memory=-8701690554792447870 CPUtime=0.09 cores=1,3,5,7
/proc/15928/task/15930/stat : 15930 (java) R 15925 15928 13514 0 -1 4202560 4279 0 0 0 8 1 0 0 20 0 15 0 105786129 10914828288 7889 33554432000 4194304 4196468 140734093045440 140198559668160 140198539757644 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15931] ppid=15925 vsize=10659012 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15931/stat : 15931 (java) S 15925 15928 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105786129 10914828288 7889 33554432000 4194304 4196468 140734093045440 140198481521808 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15932] ppid=15925 vsize=10659012 memory=140573471536768 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15932/stat : 15932 (java) S 15925 15928 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105786129 10914828288 7889 33554432000 4194304 4196468 140734093045440 140198480469008 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15933] ppid=15925 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15933/stat : 15933 (java) S 15925 15928 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105786129 10914828288 7889 33554432000 4194304 4196468 140734093045440 140198479416208 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15934] ppid=15925 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15934/stat : 15934 (java) S 15925 15928 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105786129 10914828288 7889 33554432000 4194304 4196468 140734093045440 140198478363408 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15935] ppid=15925 vsize=10659012 memory=140573471536768 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15935/stat : 15935 (java) S 15925 15928 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105786131 10914828288 7889 33554432000 4194304 4196468 140734093045440 140198047332720 140198555458178 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15936] ppid=15925 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15936/stat : 15936 (java) S 15925 15928 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105786131 10914828288 7889 33554432000 4194304 4196468 140734093045440 140198046278688 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15937] ppid=15925 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15937/stat : 15937 (java) S 15925 15928 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105786131 10914828288 7889 33554432000 4194304 4196468 140734093045440 140198045225840 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15938] ppid=15925 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15938/stat : 15938 (java) S 15925 15928 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105786134 10914828288 7889 33554432000 4194304 4196468 140734093045440 140198044174160 140198555465627 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15939] ppid=15925 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15939/stat : 15939 (java) S 15925 15928 13514 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 15 0 105786134 10914828288 7889 33554432000 4194304 4196468 140734093045440 140198043122544 140198555458178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15940] ppid=15925 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15940/stat : 15940 (java) S 15925 15928 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105786134 10914828288 7889 33554432000 4194304 4196468 140734093045440 140198042069744 140198555458178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15941] ppid=15925 vsize=10659012 memory=140573471536768 CPUtime=0.02 cores=1,3,5,7
/proc/15928/task/15941/stat : 15941 (java) S 15925 15928 13514 0 -1 1077944384 350 0 0 0 2 0 0 0 20 0 15 0 105786134 10914828288 7889 33554432000 4194304 4196468 140734093045440 140198041016944 140198555458178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15942] ppid=15925 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15942/stat : 15942 (java) S 15925 15928 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105786134 10914828288 7889 33554432000 4194304 4196468 140734093045440 140198039964384 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15943] ppid=15925 vsize=10659012 memory=140573471536768 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15943/stat : 15943 (java) S 15925 15928 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105786134 10914828288 7889 33554432000 4194304 4196468 140734093045440 140198038911664 140198555458178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 31556 KiB
[startup+0.210523 s]*
/proc/loadavg: 2.38 2.89 2.65 4/216 15943
/proc/meminfo: memFree=27887900/32770624 swapFree=67108860/67108860
[pid=15928] ppid=15925 vsize=10659012 memory=42280 CPUtime=0.33 cores=1,3,5,7
/proc/15928/stat : 15928 (java) S 15925 15928 13514 0 -1 1077944320 7625 0 0 0 31 2 0 0 20 0 15 0 105786128 10914828288 10570 33554432000 4194304 4196468 140734093045440 140734093027984 140198555447031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
/proc/15928/statm: 2664753 10570 3005 1 0 2627263 0
[pid=15928/tid=15930] ppid=15925 vsize=10659012 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/15928/task/15930/stat : 15930 (java) R 15925 15928 13514 0 -1 4202560 4618 0 0 0 18 1 0 0 20 0 15 0 105786129 10914828288 10570 33554432000 4194304 4196468 140734093045440 140198559683312 140198539490661 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15931] ppid=15925 vsize=10659012 memory=331 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15931/stat : 15931 (java) S 15925 15928 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105786129 10914828288 10570 33554432000 4194304 4196468 140734093045440 140198481521808 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15932] ppid=15925 vsize=10659012 memory=140573472161802 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15932/stat : 15932 (java) S 15925 15928 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105786129 10914828288 10570 33554432000 4194304 4196468 140734093045440 140198480469008 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15933] ppid=15925 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15933/stat : 15933 (java) S 15925 15928 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105786129 10914828288 10570 33554432000 4194304 4196468 140734093045440 140198479416208 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15934] ppid=15925 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15934/stat : 15934 (java) S 15925 15928 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105786129 10914828288 10570 33554432000 4194304 4196468 140734093045440 140198478363408 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15935] ppid=15925 vsize=10659012 memory=140573471536768 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15935/stat : 15935 (java) S 15925 15928 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105786131 10914828288 10570 33554432000 4194304 4196468 140734093045440 140198047332720 140198555458178 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15936] ppid=15925 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15936/stat : 15936 (java) S 15925 15928 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105786131 10914828288 10570 33554432000 4194304 4196468 140734093045440 140198046278688 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15937] ppid=15925 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15937/stat : 15937 (java) S 15925 15928 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105786131 10914828288 10570 33554432000 4194304 4196468 140734093045440 140198045225840 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15938] ppid=15925 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15938/stat : 15938 (java) S 15925 15928 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105786134 10914828288 10570 33554432000 4194304 4196468 140734093045440 140198044174160 140198555465627 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15939] ppid=15925 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15928/task/15939/stat : 15939 (java) S 15925 15928 13514 0 -1 1077944384 667 0 0 0 2 0 0 0 20 0 15 0 105786134 10914828288 10570 33554432000 4194304 4196468 140734093045440 140198043122544 140198555458178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15940] ppid=15925 vsize=10659012 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/15928/task/15940/stat : 15940 (java) S 15925 15928 13514 0 -1 1077944384 317 0 0 0 1 0 0 0 20 0 15 0 105786134 10914828288 10570 33554432000 4194304 4196468 140734093045440 140198042069744 140198555458178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15941] ppid=15925 vsize=10659012 memory=140573471536768 CPUtime=0.07 cores=1,3,5,7
/proc/15928/task/15941/stat : 15941 (java) R 15925 15928 13514 0 -1 4202560 661 0 0 0 7 0 0 0 20 0 15 0 105786134 10914828288 10570 33554432000 4194304 4196468 140734093045440 140198041016944 140198555458966 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15942] ppid=15925 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15942/stat : 15942 (java) S 15925 15928 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105786134 10914828288 10570 33554432000 4194304 4196468 140734093045440 140198039964384 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15943] ppid=15925 vsize=10659012 memory=140573471536768 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15943/stat : 15943 (java) S 15925 15928 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105786134 10914828288 10570 33554432000 4194304 4196468 140734093045440 140198038911664 140198555458178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42280 KiB
[startup+0.310969 s]*
/proc/loadavg: 2.35 2.88 2.65 5/216 15943
/proc/meminfo: memFree=27873012/32770624 swapFree=67108860/67108860
[pid=15928] ppid=15925 vsize=10659012 memory=54840 CPUtime=0.59 cores=1,3,5,7
/proc/15928/stat : 15928 (java) S 15925 15928 13514 0 -1 1077944320 9284 0 0 0 57 2 0 0 20 0 15 0 105786128 10914828288 13710 33554432000 4194304 4196468 140734093045440 140734093027984 140198555447031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
/proc/15928/statm: 2664753 13710 3048 1 0 2627263 0
[pid=15928/tid=15930] ppid=15925 vsize=10659012 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/15928/task/15930/stat : 15930 (java) R 15925 15928 13514 0 -1 4202560 4898 0 0 0 28 1 0 0 20 0 15 0 105786129 10914828288 13776 33554432000 4194304 4196468 140734093045440 140198559685008 140198555468957 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15931] ppid=15925 vsize=10659012 memory=4294977825 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15931/stat : 15931 (java) S 15925 15928 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105786129 10914828288 13776 33554432000 4194304 4196468 140734093045440 140198481521808 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15932] ppid=15925 vsize=10659012 memory=140573472156117 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15932/stat : 15932 (java) S 15925 15928 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105786129 10914828288 13776 33554432000 4194304 4196468 140734093045440 140198480469008 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15933] ppid=15925 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15933/stat : 15933 (java) S 15925 15928 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105786129 10914828288 13776 33554432000 4194304 4196468 140734093045440 140198479416208 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15934] ppid=15925 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15934/stat : 15934 (java) S 15925 15928 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105786129 10914828288 13776 33554432000 4194304 4196468 140734093045440 140198478363408 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15935] ppid=15925 vsize=10659012 memory=140573471536768 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15935/stat : 15935 (java) S 15925 15928 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105786131 10914828288 13776 33554432000 4194304 4196468 140734093045440 140198047332720 140198555458178 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15936] ppid=15925 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15936/stat : 15936 (java) S 15925 15928 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105786131 10914828288 13776 33554432000 4194304 4196468 140734093045440 140198046278688 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15937] ppid=15925 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15937/stat : 15937 (java) S 15925 15928 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105786131 10914828288 13776 33554432000 4194304 4196468 140734093045440 140198045225840 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15938] ppid=15925 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15938/stat : 15938 (java) S 15925 15928 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105786134 10914828288 13776 33554432000 4194304 4196468 140734093045440 140198044174160 140198555465627 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15939] ppid=15925 vsize=10659012 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15928/task/15939/stat : 15939 (java) R 15925 15928 13514 0 -1 4202560 1067 0 0 0 7 0 0 0 20 0 15 0 105786134 10914828288 13776 33554432000 4194304 4196468 140734093045440 140198043108424 140198536147328 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15940] ppid=15925 vsize=10659012 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15928/task/15940/stat : 15940 (java) R 15925 15928 13514 0 -1 4202560 881 0 0 0 7 0 0 0 20 0 15 0 105786134 10914828288 13776 33554432000 4194304 4196468 140734093045440 140198042050760 140198538947229 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15941] ppid=15925 vsize=10659012 memory=140573471536768 CPUtime=0.13 cores=1,3,5,7
/proc/15928/task/15941/stat : 15941 (java) R 15925 15928 13514 0 -1 1077944384 1084 0 0 0 13 0 0 0 20 0 15 0 105786134 10914828288 13776 33554432000 4194304 4196468 140734093045440 140198041016944 140198555458178 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15942] ppid=15925 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15942/stat : 15942 (java) S 15925 15928 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105786134 10914828288 13776 33554432000 4194304 4196468 140734093045440 140198039964384 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15943] ppid=15925 vsize=10659012 memory=140573471536768 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15943/stat : 15943 (java) S 15925 15928 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105786134 10914828288 13776 33554432000 4194304 4196468 140734093045440 140198038911664 140198555458178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 54840 KiB
[startup+0.700753 s]
/proc/loadavg: 2.35 2.88 2.65 5/216 15943
/proc/meminfo: memFree=27854092/32770624 swapFree=67108860/67108860
[pid=15928] ppid=15925 vsize=10659088 memory=126604 CPUtime=1.77 cores=1,3,5,7
/proc/15928/stat : 15928 (java) S 15925 15928 13514 0 -1 1077944320 10993 0 0 0 173 4 0 0 20 0 15 0 105786128 10914906112 31651 33554432000 4194304 4196468 140734093045440 140734093027984 140198555447031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
/proc/15928/statm: 2664772 31651 3108 1 0 2627263 0
[pid=15928/tid=15930] ppid=15925 vsize=10659088 memory=16828 CPUtime=0.67 cores=1,3,5,7
/proc/15928/task/15930/stat : 15930 (java) R 15925 15928 13514 0 -1 4202560 5425 0 0 0 64 3 0 0 20 0 15 0 105786129 10914906112 31651 33554432000 4194304 4196468 140734093045440 140198559679840 140198555458966 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15931] ppid=15925 vsize=10659088 memory=2324 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15931/stat : 15931 (java) S 15925 15928 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105786129 10914906112 31651 33554432000 4194304 4196468 140734093045440 140198481521808 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15932] ppid=15925 vsize=10659088 memory=1584 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15932/stat : 15932 (java) S 15925 15928 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105786129 10914906112 31651 33554432000 4194304 4196468 140734093045440 140198480469008 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15933] ppid=15925 vsize=10659088 memory=496 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15933/stat : 15933 (java) S 15925 15928 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105786129 10914906112 31651 33554432000 4194304 4196468 140734093045440 140198479416208 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15934] ppid=15925 vsize=10659088 memory=928 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15934/stat : 15934 (java) S 15925 15928 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105786129 10914906112 31651 33554432000 4194304 4196468 140734093045440 140198478363408 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15935] ppid=15925 vsize=10659088 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15935/stat : 15935 (java) S 15925 15928 13514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105786131 10914906112 31651 33554432000 4194304 4196468 140734093045440 140198047332720 140198555458178 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15936] ppid=15925 vsize=10659088 memory=1968 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15936/stat : 15936 (java) S 15925 15928 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105786131 10914906112 31651 33554432000 4194304 4196468 140734093045440 140198046278688 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15937] ppid=15925 vsize=10659088 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15937/stat : 15937 (java) S 15925 15928 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105786131 10914906112 31651 33554432000 4194304 4196468 140734093045440 140198045225840 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15938] ppid=15925 vsize=10659088 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15938/stat : 15938 (java) S 15925 15928 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105786134 10914906112 31651 33554432000 4194304 4196468 140734093045440 140198044174160 140198555465627 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15939] ppid=15925 vsize=10659088 memory=6081108994580573287 CPUtime=0.41 cores=1,3,5,7
/proc/15928/task/15939/stat : 15939 (java) R 15925 15928 13514 0 -1 4202560 1626 0 0 0 41 0 0 0 20 0 15 0 105786134 10914906112 31651 33554432000 4194304 4196468 140734093045440 140198043108976 140198534689824 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15940] ppid=15925 vsize=10659088 memory=6220993253238723945 CPUtime=0.41 cores=1,3,5,7
/proc/15928/task/15940/stat : 15940 (java) R 15925 15928 13514 0 -1 4202560 1211 0 0 0 41 0 0 0 20 0 15 0 105786134 10914906112 31651 33554432000 4194304 4196468 140734093045440 140198042069872 140198540199223 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15941] ppid=15925 vsize=10659088 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/15928/task/15941/stat : 15941 (java) R 15925 15928 13514 0 -1 1077944384 1362 0 0 0 25 0 0 0 20 0 15 0 105786134 10914906112 31651 33554432000 4194304 4196468 140734093045440 140198041016944 140198555458178 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15942] ppid=15925 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15942/stat : 15942 (java) S 15925 15928 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105786134 10914906112 31651 33554432000 4194304 4196468 140734093045440 140198039964384 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15943] ppid=15925 vsize=10659088 memory=756 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15943/stat : 15943 (java) S 15925 15928 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105786134 10914906112 31651 33554432000 4194304 4196468 140734093045440 140198038911664 140198555458178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 126604 KiB
[startup+1.50804 s]
/proc/loadavg: 2.35 2.88 2.65 6/216 15943
/proc/meminfo: memFree=27703104/32770624 swapFree=67108860/67108860
[pid=15928] ppid=15925 vsize=10659088 memory=379416 CPUtime=4.05 cores=1,3,5,7
/proc/15928/stat : 15928 (java) S 15925 15928 13514 0 -1 1077944320 12997 0 0 0 388 17 0 0 20 0 15 0 105786128 10914906112 94854 33554432000 4194304 4196468 140734093045440 140734093027984 140198555447031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
/proc/15928/statm: 2664772 94854 3150 1 0 2627263 0
[pid=15928/tid=15930] ppid=15925 vsize=10659088 memory=235308 CPUtime=1.39 cores=1,3,5,7
/proc/15928/task/15930/stat : 15930 (java) S 15925 15928 13514 0 -1 1077944384 5653 0 0 0 134 5 0 0 20 0 15 0 105786129 10914906112 94854 33554432000 4194304 4196468 140734093045440 140198559683904 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15931] ppid=15925 vsize=10659088 memory=33 CPUtime=0.07 cores=1,3,5,7
/proc/15928/task/15931/stat : 15931 (java) R 15925 15928 13514 0 -1 4202560 124 0 0 0 5 2 0 0 20 0 15 0 105786129 10914906112 94854 33554432000 4194304 4196468 140734093045440 140198481522008 140198540474905 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15932] ppid=15925 vsize=10659088 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15928/task/15932/stat : 15932 (java) R 15925 15928 13514 0 -1 4202560 111 0 0 0 5 2 0 0 20 0 15 0 105786129 10914906112 94854 33554432000 4194304 4196468 140734093045440 140198480469208 140198540474905 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15933] ppid=15925 vsize=10659088 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/15928/task/15933/stat : 15933 (java) R 15925 15928 13514 0 -1 4202560 151 0 0 0 5 2 0 0 20 0 15 0 105786129 10914906112 94854 33554432000 4194304 4196468 140734093045440 140198479416408 140198540474905 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15934] ppid=15925 vsize=10659088 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/15928/task/15934/stat : 15934 (java) R 15925 15928 13514 0 -1 4202560 112 0 0 0 4 2 0 0 20 0 15 0 105786129 10914906112 94854 33554432000 4194304 4196468 140734093045440 140198478363296 140198540474905 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15935] ppid=15925 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15935/stat : 15935 (java) S 15925 15928 13514 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 105786131 10914906112 94854 33554432000 4194304 4196468 140734093045440 140198047331232 140198555457237 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
################
# More data... #
################
/proc/15928/task/15930/stat : 15930 (java) S 15925 15928 13514 0 -1 1077944384 16614 0 0 0 1059 10 0 0 20 0 15 0 105786129 10917003264 1812209 33554432000 4194304 4196468 140734093045440 140198559684288 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15931] ppid=15925 vsize=10661136 memory=7009220 CPUtime=28.72 cores=1,3,5,7
/proc/15928/task/15931/stat : 15931 (java) R 15925 15928 13514 0 -1 4202560 6284 0 0 0 2714 158 0 0 20 0 15 0 105786129 10917003264 1812209 33554432000 4194304 4196468 140734093045440 140198481521928 140198548075239 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15932] ppid=15925 vsize=10661136 memory=1812 CPUtime=28.71 cores=1,3,5,7
/proc/15928/task/15932/stat : 15932 (java) R 15925 15928 13514 0 -1 4202560 7829 0 0 0 2728 143 0 0 20 0 15 0 105786129 10917003264 1812209 33554432000 4194304 4196468 140734093045440 140198480469208 140198539895246 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15933] ppid=15925 vsize=10661136 memory=1069 CPUtime=28.78 cores=1,3,5,7
/proc/15928/task/15933/stat : 15933 (java) R 15925 15928 13514 0 -1 4202560 6627 0 0 0 2739 139 0 0 20 0 15 0 105786129 10917003264 1812209 33554432000 4194304 4196468 140734093045440 140198479416096 140198539895246 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15934] ppid=15925 vsize=10661136 memory=1020 CPUtime=28.79 cores=1,3,5,7
/proc/15928/task/15934/stat : 15934 (java) R 15925 15928 13514 0 -1 4202560 7691 0 0 0 2740 139 0 0 20 0 15 0 105786129 10917003264 1812209 33554432000 4194304 4196468 140734093045440 140198478363528 140198548075239 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15935] ppid=15925 vsize=10661136 memory=6892484 CPUtime=11.38 cores=1,3,5,7
/proc/15928/task/15935/stat : 15935 (java) S 15925 15928 13514 0 -1 1077944384 17049 0 0 0 1136 2 0 0 20 0 15 0 105786131 10917003264 1812209 33554432000 4194304 4196468 140734093045440 140198047331232 140198555457237 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15936] ppid=15925 vsize=10661136 memory=6429724 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15936/stat : 15936 (java) S 15925 15928 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105786131 10917003264 1812209 33554432000 4194304 4196468 140734093045440 140198046278752 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15937] ppid=15925 vsize=10661136 memory=5663552 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15937/stat : 15937 (java) S 15925 15928 13514 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 105786131 10917003264 1812209 33554432000 4194304 4196468 140734093045440 140198045225856 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15938] ppid=15925 vsize=10661136 memory=6892156 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15938/stat : 15938 (java) S 15925 15928 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105786134 10917003264 1812209 33554432000 4194304 4196468 140734093045440 140198044174160 140198555465627 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15939] ppid=15925 vsize=10661136 memory=6429724 CPUtime=1.11 cores=1,3,5,7
/proc/15928/task/15939/stat : 15939 (java) S 15925 15928 13514 0 -1 1077944384 4331 0 0 0 110 1 0 0 20 0 15 0 105786134 10917003264 1812209 33554432000 4194304 4196468 140734093045440 140198043122544 140198555458178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15940] ppid=15925 vsize=10661136 memory=0 CPUtime=1.07 cores=1,3,5,7
/proc/15928/task/15940/stat : 15940 (java) S 15925 15928 13514 0 -1 1077944384 3590 0 0 0 107 0 0 0 20 0 15 0 105786134 10917003264 1812209 33554432000 4194304 4196468 140734093045440 140198042069744 140198555458178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15941] ppid=15925 vsize=10661136 memory=6429600 CPUtime=0.49 cores=1,3,5,7
/proc/15928/task/15941/stat : 15941 (java) S 15925 15928 13514 0 -1 1077944384 4246 0 0 0 48 1 0 0 20 0 15 0 105786134 10917003264 1812209 33554432000 4194304 4196468 140734093045440 140198041016944 140198555458178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15942] ppid=15925 vsize=10661136 memory=4871374705135476842 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15942/stat : 15942 (java) S 15925 15928 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105786134 10917003264 1812209 33554432000 4194304 4196468 140734093045440 140198039964384 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15943] ppid=15925 vsize=10661136 memory=4140 CPUtime=0.03 cores=1,3,5,7
/proc/15928/task/15943/stat : 15943 (java) S 15925 15928 13514 0 -1 1077944384 152 0 0 0 1 2 0 0 20 0 15 0 105786134 10917003264 1812209 33554432000 4194304 4196468 140734093045440 140198038911664 140198555458178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
Current children cumulated CPU time: 139.84 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 7248836 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+86.0007 s]*
/proc/loadavg: 3.19 3.05 2.73 3/216 15944
/proc/meminfo: memFree=19384860/32770624 swapFree=67108860/67108860
[pid=15928] ppid=15925 vsize=10661136 memory=8298968 CPUtime=252.06 cores=1,3,5,7
/proc/15928/stat : 15928 (java) S 15925 15928 13514 0 -1 1077944320 84616 0 0 0 24578 628 0 0 20 0 15 0 105786128 10917003264 2074742 33554432000 4194304 4196468 140734093045440 140734093027984 140198555447031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
/proc/15928/statm: 2665284 2074742 3173 1 0 2627775 0
[pid=15928/tid=15930] ppid=15925 vsize=10661136 memory=6791534058613427641 CPUtime=12.8 cores=1,3,5,7
/proc/15928/task/15930/stat : 15930 (java) S 15925 15928 13514 0 -1 1077944384 17213 0 0 0 1270 10 0 0 20 0 15 0 105786129 10917003264 2074742 33554432000 4194304 4196468 140734093045440 140198559683200 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15931] ppid=15925 vsize=10661136 memory=0 CPUtime=54.68 cores=1,3,5,7
/proc/15928/task/15931/stat : 15931 (java) S 15925 15928 13514 0 -1 1077944384 7927 0 0 0 5302 166 0 0 20 0 15 0 105786129 10917003264 2074742 33554432000 4194304 4196468 140734093045440 140198481521808 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15932] ppid=15925 vsize=10661136 memory=3617551817894998559 CPUtime=54.24 cores=1,3,5,7
/proc/15928/task/15932/stat : 15932 (java) S 15925 15928 13514 0 -1 1077944384 8589 0 0 0 5267 157 0 0 20 0 15 0 105786129 10917003264 2074742 33554432000 4194304 4196468 140734093045440 140198480469008 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15933] ppid=15925 vsize=10661136 memory=3834026952452485683 CPUtime=54.7 cores=1,3,5,7
/proc/15928/task/15933/stat : 15933 (java) S 15925 15928 13514 0 -1 1077944384 7235 0 0 0 5326 144 0 0 20 0 15 0 105786129 10917003264 2074742 33554432000 4194304 4196468 140734093045440 140198479416208 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15934] ppid=15925 vsize=10661136 memory=6083354206233319521 CPUtime=54.76 cores=1,3,5,7
/proc/15928/task/15934/stat : 15934 (java) S 15925 15928 13514 0 -1 1077944384 8422 0 0 0 5333 143 0 0 20 0 15 0 105786129 10917003264 2074742 33554432000 4194304 4196468 140734093045440 140198478363408 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15935] ppid=15925 vsize=10661136 memory=0 CPUtime=17.89 cores=1,3,5,7
/proc/15928/task/15935/stat : 15935 (java) R 15925 15928 13514 0 -1 4202560 19055 0 0 0 1787 2 0 0 20 0 15 0 105786131 10917003264 2074742 33554432000 4194304 4196468 140734093045440 140198047331152 140198539904634 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15936] ppid=15925 vsize=10661136 memory=3690760583443919920 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15936/stat : 15936 (java) S 15925 15928 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105786131 10917003264 2074742 33554432000 4194304 4196468 140734093045440 140198046278752 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15937] ppid=15925 vsize=10661136 memory=7085125864516248937 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15937/stat : 15937 (java) S 15925 15928 13514 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 105786131 10917003264 2074742 33554432000 4194304 4196468 140734093045440 140198045225856 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15938] ppid=15925 vsize=10661136 memory=2608 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15938/stat : 15938 (java) S 15925 15928 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105786134 10917003264 2074742 33554432000 4194304 4196468 140734093045440 140198044174160 140198555465627 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15939] ppid=15925 vsize=10661136 memory=0 CPUtime=1.11 cores=1,3,5,7
/proc/15928/task/15939/stat : 15939 (java) S 15925 15928 13514 0 -1 1077944384 4334 0 0 0 110 1 0 0 20 0 15 0 105786134 10917003264 2074742 33554432000 4194304 4196468 140734093045440 140198043122304 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15940] ppid=15925 vsize=10661136 memory=3467829116138960176 CPUtime=1.26 cores=1,3,5,7
/proc/15928/task/15940/stat : 15940 (java) S 15925 15928 13514 0 -1 1077944384 6080 0 0 0 125 1 0 0 20 0 15 0 105786134 10917003264 2074742 33554432000 4194304 4196468 140734093045440 140198042069792 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15941] ppid=15925 vsize=10661136 memory=281146943072320 CPUtime=0.49 cores=1,3,5,7
/proc/15928/task/15941/stat : 15941 (java) S 15925 15928 13514 0 -1 1077944384 4248 0 0 0 48 1 0 0 20 0 15 0 105786134 10917003264 2074742 33554432000 4194304 4196468 140734093045440 140198041016992 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15942] ppid=15925 vsize=10661136 memory=9 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15942/stat : 15942 (java) S 15925 15928 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105786134 10917003264 2074742 33554432000 4194304 4196468 140734093045440 140198039964384 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15943] ppid=15925 vsize=10661136 memory=281146943072320 CPUtime=0.05 cores=1,3,5,7
/proc/15928/task/15943/stat : 15943 (java) S 15925 15928 13514 0 -1 1077944384 154 0 0 0 1 4 0 0 20 0 15 0 105786134 10917003264 2074742 33554432000 4194304 4196468 140734093045440 140198038911664 140198555458178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 8298968 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+86.5989 s]
# the end of solver process 15928 was just reported to runsolver
# cumulated CPU time of all completed processes: user=246.351 s, system=6.32322 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+86.4007 s]
/proc/loadavg: 3.19 3.05 2.73 3/216 15944
/proc/meminfo: memFree=19384860/32770624 swapFree=67108860/67108860
[pid=15928] ppid=15925 vsize=10860828 memory=8299112 CPUtime=252.47 cores=1,3,5,7
/proc/15928/stat : 15928 (java) S 15925 15928 13514 0 -1 1077944320 84873 0 0 0 24618 629 0 0 20 0 17 0 105786128 11121487872 2074778 33554432000 4194304 4196468 140734093045440 140734093027984 140198555447031 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
/proc/15928/statm: 2715207 2074778 3175 1 0 2677698 0
[pid=15928/tid=15930] ppid=15925 vsize=10860828 memory=1256 CPUtime=12.84 cores=1,3,5,7
/proc/15928/task/15930/stat : 15930 (java) R 15925 15928 13514 0 -1 4202560 17213 0 0 0 1274 10 0 0 20 0 17 0 105786129 11121487872 2074778 33554432000 4194304 4196468 140734093045440 140198559683200 140198155938117 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15931] ppid=15925 vsize=10860828 memory=10368 CPUtime=54.68 cores=1,3,5,7
/proc/15928/task/15931/stat : 15931 (java) S 15925 15928 13514 0 -1 1077944384 7927 0 0 0 5302 166 0 0 20 0 17 0 105786129 11121487872 2074778 33554432000 4194304 4196468 140734093045440 140198481521808 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15932] ppid=15925 vsize=10860828 memory=6791534058613427641 CPUtime=54.24 cores=1,3,5,7
/proc/15928/task/15932/stat : 15932 (java) S 15925 15928 13514 0 -1 1077944384 8589 0 0 0 5267 157 0 0 20 0 17 0 105786129 11121487872 2074778 33554432000 4194304 4196468 140734093045440 140198480469008 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15933] ppid=15925 vsize=10860828 memory=0 CPUtime=54.7 cores=1,3,5,7
/proc/15928/task/15933/stat : 15933 (java) S 15925 15928 13514 0 -1 1077944384 7235 0 0 0 5326 144 0 0 20 0 17 0 105786129 11121487872 2074778 33554432000 4194304 4196468 140734093045440 140198479416208 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15934] ppid=15925 vsize=10860828 memory=0 CPUtime=54.76 cores=1,3,5,7
/proc/15928/task/15934/stat : 15934 (java) S 15925 15928 13514 0 -1 1077944384 8422 0 0 0 5333 143 0 0 20 0 17 0 105786129 11121487872 2074778 33554432000 4194304 4196468 140734093045440 140198478363408 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15935] ppid=15925 vsize=10860828 memory=0 CPUtime=18.25 cores=1,3,5,7
/proc/15928/task/15935/stat : 15935 (java) S 15925 15928 13514 0 -1 1077944384 19182 0 0 0 1823 2 0 0 20 0 17 0 105786131 11121487872 2074778 33554432000 4194304 4196468 140734093045440 140198047332720 140198555458178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15936] ppid=15925 vsize=10860828 memory=8298956 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15936/stat : 15936 (java) S 15925 15928 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 105786131 11121487872 2074778 33554432000 4194304 4196468 140734093045440 140198046278752 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15937] ppid=15925 vsize=10860828 memory=2324 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15937/stat : 15937 (java) S 15925 15928 13514 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 105786131 11121487872 2074778 33554432000 4194304 4196468 140734093045440 140198045225856 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15938] ppid=15925 vsize=10860828 memory=1584 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15938/stat : 15938 (java) S 15925 15928 13514 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 17 0 105786134 11121487872 2074778 33554432000 4194304 4196468 140734093045440 140198044174160 140198555465627 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15939] ppid=15925 vsize=10860828 memory=496 CPUtime=1.11 cores=1,3,5,7
/proc/15928/task/15939/stat : 15939 (java) S 15925 15928 13514 0 -1 1077944384 4334 0 0 0 110 1 0 0 20 0 17 0 105786134 11121487872 2074778 33554432000 4194304 4196468 140734093045440 140198043122544 140198555458178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15940] ppid=15925 vsize=10860828 memory=928 CPUtime=1.26 cores=1,3,5,7
/proc/15928/task/15940/stat : 15940 (java) S 15925 15928 13514 0 -1 1077944384 6080 0 0 0 125 1 0 0 20 0 17 0 105786134 11121487872 2074778 33554432000 4194304 4196468 140734093045440 140198042069744 140198555458178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15941] ppid=15925 vsize=10860828 memory=1172 CPUtime=0.49 cores=1,3,5,7
/proc/15928/task/15941/stat : 15941 (java) S 15925 15928 13514 0 -1 1077944384 4248 0 0 0 48 1 0 0 20 0 17 0 105786134 11121487872 2074778 33554432000 4194304 4196468 140734093045440 140198041016944 140198555458178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15942] ppid=15925 vsize=10860828 memory=8298968 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15942/stat : 15942 (java) S 15925 15928 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105786134 11121487872 2074778 33554432000 4194304 4196468 140734093045440 140198039964384 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15943] ppid=15925 vsize=10860828 memory=1172 CPUtime=0.05 cores=1,3,5,7
/proc/15928/task/15943/stat : 15943 (java) S 15925 15928 13514 0 -1 1077944384 154 0 0 0 1 4 0 0 20 0 17 0 105786134 11121487872 2074778 33554432000 4194304 4196468 140734093045440 140198038911664 140198555458178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
Current children cumulated CPU time: 252.47 s
Current children cumulated vsize: 10860828 KiB
Current children cumulated memory: 8299112 KiB
[startup+86.5007 s]
/proc/loadavg: 3.19 3.05 2.73 3/216 15944
/proc/meminfo: memFree=19384860/32770624 swapFree=67108860/67108860
[pid=15928] ppid=15925 vsize=10860828 memory=8299112 CPUtime=252.57 cores=1,3,5,7
/proc/15928/stat : 15928 (java) S 15925 15928 13514 0 -1 1077944320 84873 0 0 0 24628 629 0 0 20 0 17 0 105786128 11121487872 2074778 33554432000 4194304 4196468 140734093045440 140734093027984 140198555447031 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
/proc/15928/statm: 2715207 2074778 3175 1 0 2677698 0
[pid=15928/tid=15930] ppid=15925 vsize=10860828 memory=8298968 CPUtime=12.94 cores=1,3,5,7
/proc/15928/task/15930/stat : 15930 (java) R 15925 15928 13514 0 -1 4202560 17213 0 0 0 1284 10 0 0 20 0 17 0 105786129 11121487872 2074778 33554432000 4194304 4196468 140734093045440 140198559683200 140198156077878 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15931] ppid=15925 vsize=10860828 memory=8298968 CPUtime=54.68 cores=1,3,5,7
/proc/15928/task/15931/stat : 15931 (java) S 15925 15928 13514 0 -1 1077944384 7927 0 0 0 5302 166 0 0 20 0 17 0 105786129 11121487872 2074778 33554432000 4194304 4196468 140734093045440 140198481521808 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15932] ppid=15925 vsize=10860828 memory=8298968 CPUtime=54.24 cores=1,3,5,7
/proc/15928/task/15932/stat : 15932 (java) S 15925 15928 13514 0 -1 1077944384 8589 0 0 0 5267 157 0 0 20 0 17 0 105786129 11121487872 2074778 33554432000 4194304 4196468 140734093045440 140198480469008 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15933] ppid=15925 vsize=10860828 memory=8298960 CPUtime=54.7 cores=1,3,5,7
/proc/15928/task/15933/stat : 15933 (java) S 15925 15928 13514 0 -1 1077944384 7235 0 0 0 5326 144 0 0 20 0 17 0 105786129 11121487872 2074778 33554432000 4194304 4196468 140734093045440 140198479416208 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15934] ppid=15925 vsize=10860828 memory=8298960 CPUtime=54.76 cores=1,3,5,7
/proc/15928/task/15934/stat : 15934 (java) S 15925 15928 13514 0 -1 1077944384 8422 0 0 0 5333 143 0 0 20 0 17 0 105786129 11121487872 2074778 33554432000 4194304 4196468 140734093045440 140198478363408 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15935] ppid=15925 vsize=10860828 memory=8298952 CPUtime=18.25 cores=1,3,5,7
/proc/15928/task/15935/stat : 15935 (java) S 15925 15928 13514 0 -1 1077944384 19182 0 0 0 1823 2 0 0 20 0 17 0 105786131 11121487872 2074778 33554432000 4194304 4196468 140734093045440 140198047332720 140198555458178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15936] ppid=15925 vsize=10860828 memory=8293772 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15936/stat : 15936 (java) S 15925 15928 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 105786131 11121487872 2074778 33554432000 4194304 4196468 140734093045440 140198046278752 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15937] ppid=15925 vsize=10860828 memory=8298960 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15937/stat : 15937 (java) S 15925 15928 13514 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 105786131 11121487872 2074778 33554432000 4194304 4196468 140734093045440 140198045225856 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15938] ppid=15925 vsize=10860828 memory=8299076 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15938/stat : 15938 (java) S 15925 15928 13514 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 17 0 105786134 11121487872 2074778 33554432000 4194304 4196468 140734093045440 140198044174160 140198555465627 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15939] ppid=15925 vsize=10860828 memory=8298968 CPUtime=1.11 cores=1,3,5,7
/proc/15928/task/15939/stat : 15939 (java) S 15925 15928 13514 0 -1 1077944384 4334 0 0 0 110 1 0 0 20 0 17 0 105786134 11121487872 2074778 33554432000 4194304 4196468 140734093045440 140198043122544 140198555458178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15940] ppid=15925 vsize=10860828 memory=8298968 CPUtime=1.26 cores=1,3,5,7
/proc/15928/task/15940/stat : 15940 (java) S 15925 15928 13514 0 -1 1077944384 6080 0 0 0 125 1 0 0 20 0 17 0 105786134 11121487872 2074778 33554432000 4194304 4196468 140734093045440 140198042069744 140198555458178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15941] ppid=15925 vsize=10860828 memory=8298960 CPUtime=0.49 cores=1,3,5,7
/proc/15928/task/15941/stat : 15941 (java) S 15925 15928 13514 0 -1 1077944384 4248 0 0 0 48 1 0 0 20 0 17 0 105786134 11121487872 2074778 33554432000 4194304 4196468 140734093045440 140198041016944 140198555458178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15942] ppid=15925 vsize=10860828 memory=8298968 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15942/stat : 15942 (java) S 15925 15928 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105786134 11121487872 2074778 33554432000 4194304 4196468 140734093045440 140198039964384 140198555457237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
[pid=15928/tid=15943] ppid=15925 vsize=10860828 memory=4140 CPUtime=0.05 cores=1,3,5,7
/proc/15928/task/15943/stat : 15943 (java) S 15925 15928 13514 0 -1 1077944384 154 0 0 0 1 4 0 0 20 0 17 0 105786134 11121487872 2074778 33554432000 4194304 4196468 140734093045440 140198038911664 140198555458178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140734093050998 140734093051150 140734093051150 140734093053903 0
Current children cumulated CPU time: 252.57 s
Current children cumulated vsize: 10860828 KiB
Current children cumulated memory: 8299112 KiB
Child status: 143
Real time (s): 86.5989
CPU time (s): 252.674
CPU user time (s): 246.351
CPU system time (s): 6.32322
CPU usage (%): 291.775
Max. virtual memory (cumulated for all children) (KiB): 10860828
Max. memory (cumulated for all children) (KiB): 8299112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.351
system time used= 6.32322
maximum resident set size= 8299696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84909
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5645
involuntary context switches= 1971
# summary of solver processes directly reported to runsolver:
# pid: 15928
# total CPU time (s): 252.674
# total CPU user time (s): 246.351
# total CPU system time (s): 6.32322
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.505045 second user time and 0.919256 second system time
The end