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 (9556 MiB free)
memory of node 1: 16384 MiB (15854 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298929-1532786299/watcher-4298929-1532786299 -o /tmp/evaluation-result-4298929-1532786299/solver-4298929-1532786299 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532776307-29142 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298929-1532786299.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=30233, runsolver pid=30230
[startup+0.106074 s]*
/proc/loadavg: 1.42 1.42 1.40 3/215 30248
/proc/meminfo: memFree=26004920/32770624 swapFree=67108860/67108860
[pid=30233] ppid=30230 vsize=10658972 memory=27732 CPUtime=0.14 cores=1,3,5,7
/proc/30233/stat : 30233 (java) S 30230 30233 29110 0 -1 1077944320 5362 0 0 0 13 1 0 0 20 0 15 0 96193105 10914787328 6933 33554432000 4194304 4196468 140737067499904 140737067482448 139849319571191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
/proc/30233/statm: 2664743 6933 2827 1 0 2627263 0
[pid=30233/tid=30235] ppid=30230 vsize=10658972 memory=-8269626465541460604 CPUtime=0.09 cores=1,3,5,7
/proc/30233/task/30235/stat : 30235 (java) R 30230 30233 29110 0 -1 4202560 3130 0 0 0 9 0 0 0 20 0 15 0 96193105 10914787328 6999 33554432000 4194304 4196468 140737067499904 139849323800072 139849297817146 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30236] ppid=30230 vsize=10658972 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30236/stat : 30236 (java) S 30230 30233 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96193106 10914787328 6999 33554432000 4194304 4196468 140737067499904 139849245645840 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30237] ppid=30230 vsize=10658972 memory=139920365827712 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30237/stat : 30237 (java) S 30230 30233 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96193106 10914787328 6999 33554432000 4194304 4196468 140737067499904 139849244593296 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30238] ppid=30230 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30238/stat : 30238 (java) S 30230 30233 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96193106 10914787328 6999 33554432000 4194304 4196468 140737067499904 139849243540240 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30239] ppid=30230 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30239/stat : 30239 (java) S 30230 30233 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96193106 10914787328 6999 33554432000 4194304 4196468 140737067499904 139849242487696 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30240] ppid=30230 vsize=10658972 memory=139920365827712 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30240/stat : 30240 (java) S 30230 30233 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96193108 10914787328 6999 33554432000 4194304 4196468 140737067499904 139848353536240 139849319582338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30241] ppid=30230 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30241/stat : 30241 (java) S 30230 30233 29110 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96193108 10914787328 6999 33554432000 4194304 4196468 140737067499904 139848352482464 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30242] ppid=30230 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30242/stat : 30242 (java) S 30230 30233 29110 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96193108 10914787328 7065 33554432000 4194304 4196468 140737067499904 139848351429360 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30243] ppid=30230 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30243/stat : 30243 (java) S 30230 30233 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96193111 10914787328 7065 33554432000 4194304 4196468 140737067499904 139848350377936 139849319589787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30244] ppid=30230 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30244/stat : 30244 (java) R 30230 30233 29110 0 -1 4202560 464 0 0 0 0 0 0 0 20 0 15 0 96193111 10914787328 7065 33554432000 4194304 4196468 140737067499904 139848349318808 139849304468946 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30245] ppid=30230 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30245/stat : 30245 (java) S 30230 30233 29110 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 96193111 10914787328 7065 33554432000 4194304 4196468 140737067499904 139848348273520 139849319582338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30246] ppid=30230 vsize=10658972 memory=139920365827712 CPUtime=0.02 cores=1,3,5,7
/proc/30233/task/30246/stat : 30246 (java) R 30230 30233 29110 0 -1 4202560 435 0 0 0 2 0 0 0 20 0 15 0 96193111 10914787328 7065 33554432000 4194304 4196468 140737067499904 139848347217672 139849297939830 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30247] ppid=30230 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30247/stat : 30247 (java) S 30230 30233 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96193111 10914787328 7065 33554432000 4194304 4196468 140737067499904 139848346168160 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30248] ppid=30230 vsize=10658972 memory=139920365827712 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30248/stat : 30248 (java) S 30230 30233 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96193111 10914787328 7065 33554432000 4194304 4196468 140737067499904 139848345115184 139849319582338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27732 KiB
[startup+0.211625 s]*
/proc/loadavg: 1.42 1.42 1.40 4/215 30248
/proc/meminfo: memFree=25993436/32770624 swapFree=67108860/67108860
[pid=30233] ppid=30230 vsize=10659048 memory=40516 CPUtime=0.33 cores=1,3,5,7
/proc/30233/stat : 30233 (java) S 30230 30233 29110 0 -1 1077944320 8207 0 0 0 31 2 0 0 20 0 15 0 96193105 10914865152 10129 33554432000 4194304 4196468 140737067499904 140737067482448 139849319571191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
/proc/30233/statm: 2664762 10129 2991 1 0 2627263 0
[pid=30233/tid=30235] ppid=30230 vsize=10659048 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/30233/task/30235/stat : 30235 (java) R 30230 30233 29110 0 -1 4202560 5200 0 0 0 19 1 0 0 20 0 15 0 96193105 10914865152 10129 33554432000 4194304 4196468 140737067499904 139849323803504 139849303651678 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30236] ppid=30230 vsize=10659048 memory=331 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30236/stat : 30236 (java) S 30230 30233 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96193106 10914865152 10129 33554432000 4194304 4196468 140737067499904 139849245645840 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30237] ppid=30230 vsize=10659048 memory=139920366367951 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30237/stat : 30237 (java) S 30230 30233 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96193106 10914865152 10129 33554432000 4194304 4196468 140737067499904 139849244593296 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30238] ppid=30230 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30238/stat : 30238 (java) S 30230 30233 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96193106 10914865152 10129 33554432000 4194304 4196468 140737067499904 139849243540240 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30239] ppid=30230 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30239/stat : 30239 (java) S 30230 30233 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96193106 10914865152 10129 33554432000 4194304 4196468 140737067499904 139849242487696 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30240] ppid=30230 vsize=10659048 memory=139920365827712 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30240/stat : 30240 (java) S 30230 30233 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96193108 10914865152 10129 33554432000 4194304 4196468 140737067499904 139848353536240 139849319582338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30241] ppid=30230 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30241/stat : 30241 (java) S 30230 30233 29110 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96193108 10914865152 10129 33554432000 4194304 4196468 140737067499904 139848352482464 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30242] ppid=30230 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30242/stat : 30242 (java) S 30230 30233 29110 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96193108 10914865152 10129 33554432000 4194304 4196468 140737067499904 139848351429360 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30243] ppid=30230 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30243/stat : 30243 (java) S 30230 30233 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96193111 10914865152 10129 33554432000 4194304 4196468 140737067499904 139848350377936 139849319589787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30244] ppid=30230 vsize=10659048 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30233/task/30244/stat : 30244 (java) S 30230 30233 29110 0 -1 1077944384 669 0 0 0 2 0 0 0 20 0 15 0 96193111 10914865152 10129 33554432000 4194304 4196468 140737067499904 139848349326064 139849319582338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30245] ppid=30230 vsize=10659048 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/30233/task/30245/stat : 30245 (java) S 30230 30233 29110 0 -1 1077944384 187 0 0 0 1 0 0 0 20 0 15 0 96193111 10914865152 10129 33554432000 4194304 4196468 140737067499904 139848348273520 139849319582338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30246] ppid=30230 vsize=10659048 memory=139920365827712 CPUtime=0.08 cores=1,3,5,7
/proc/30233/task/30246/stat : 30246 (java) S 30230 30233 29110 0 -1 1077944384 784 0 0 0 8 0 0 0 20 0 15 0 96193111 10914865152 10129 33554432000 4194304 4196468 140737067499904 139848347220464 139849319582338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30247] ppid=30230 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30247/stat : 30247 (java) S 30230 30233 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96193111 10914865152 10129 33554432000 4194304 4196468 140737067499904 139848346168160 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30248] ppid=30230 vsize=10659048 memory=139920365827712 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30248/stat : 30248 (java) S 30230 30233 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96193111 10914865152 10129 33554432000 4194304 4196468 140737067499904 139848345115184 139849319582338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 40516 KiB
[startup+0.310844 s]*
/proc/loadavg: 1.42 1.42 1.40 4/215 30248
/proc/meminfo: memFree=25986240/32770624 swapFree=67108860/67108860
[pid=30233] ppid=30230 vsize=10659048 memory=47012 CPUtime=0.58 cores=1,3,5,7
/proc/30233/stat : 30233 (java) S 30230 30233 29110 0 -1 1077944320 8809 0 0 0 55 3 0 0 20 0 15 0 96193105 10914865152 11753 33554432000 4194304 4196468 140737067499904 140737067482448 139849319571191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
/proc/30233/statm: 2664762 11753 3013 1 0 2627263 0
[pid=30233/tid=30235] ppid=30230 vsize=10659048 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/30233/task/30235/stat : 30235 (java) R 30230 30233 29110 0 -1 4202560 5499 0 0 0 28 1 0 0 20 0 15 0 96193105 10914865152 11753 33554432000 4194304 4196468 140737067499904 139849323800048 139849303614821 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30236] ppid=30230 vsize=10659048 memory=4294977825 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30236/stat : 30236 (java) S 30230 30233 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96193106 10914865152 11753 33554432000 4194304 4196468 140737067499904 139849245645840 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30237] ppid=30230 vsize=10659048 memory=139920366355600 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30237/stat : 30237 (java) S 30230 30233 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96193106 10914865152 11753 33554432000 4194304 4196468 140737067499904 139849244593296 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30238] ppid=30230 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30238/stat : 30238 (java) S 30230 30233 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96193106 10914865152 11753 33554432000 4194304 4196468 140737067499904 139849243540240 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30239] ppid=30230 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30239/stat : 30239 (java) S 30230 30233 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96193106 10914865152 11753 33554432000 4194304 4196468 140737067499904 139849242487696 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30240] ppid=30230 vsize=10659048 memory=139920365827712 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30240/stat : 30240 (java) S 30230 30233 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96193108 10914865152 11753 33554432000 4194304 4196468 140737067499904 139848353536240 139849319582338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30241] ppid=30230 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30241/stat : 30241 (java) S 30230 30233 29110 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96193108 10914865152 11753 33554432000 4194304 4196468 140737067499904 139848352482464 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30242] ppid=30230 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30242/stat : 30242 (java) S 30230 30233 29110 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96193108 10914865152 11753 33554432000 4194304 4196468 140737067499904 139848351429360 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30243] ppid=30230 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30243/stat : 30243 (java) S 30230 30233 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96193111 10914865152 11753 33554432000 4194304 4196468 140737067499904 139848350377936 139849319589787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30244] ppid=30230 vsize=10659048 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/30233/task/30244/stat : 30244 (java) S 30230 30233 29110 0 -1 1077944384 703 0 0 0 5 0 0 0 20 0 15 0 96193111 10914865152 11753 33554432000 4194304 4196468 140737067499904 139848349326064 139849319582338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30245] ppid=30230 vsize=10659048 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/30233/task/30245/stat : 30245 (java) S 30230 30233 29110 0 -1 1077944384 297 0 0 0 5 0 0 0 20 0 15 0 96193111 10914865152 11753 33554432000 4194304 4196468 140737067499904 139848348273520 139849319582338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30246] ppid=30230 vsize=10659048 memory=139920365827712 CPUtime=0.15 cores=1,3,5,7
/proc/30233/task/30246/stat : 30246 (java) R 30230 30233 29110 0 -1 4202560 944 0 0 0 15 0 0 0 20 0 15 0 96193111 10914865152 11753 33554432000 4194304 4196468 140737067499904 139848347220464 139849297589505 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30247] ppid=30230 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30247/stat : 30247 (java) S 30230 30233 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96193111 10914865152 11753 33554432000 4194304 4196468 140737067499904 139848346168160 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30248] ppid=30230 vsize=10659048 memory=139920365827712 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30248/stat : 30248 (java) S 30230 30233 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96193111 10914865152 11753 33554432000 4194304 4196468 140737067499904 139848345115184 139849319582338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 47012 KiB
[startup+0.700799 s]
/proc/loadavg: 1.42 1.42 1.40 5/215 30248
/proc/meminfo: memFree=25956464/32770624 swapFree=67108860/67108860
[pid=30233] ppid=30230 vsize=10659048 memory=109488 CPUtime=1.75 cores=1,3,5,7
/proc/30233/stat : 30233 (java) S 30230 30233 29110 0 -1 1077944320 13155 0 0 0 170 5 0 0 20 0 15 0 96193105 10914865152 27372 33554432000 4194304 4196468 140737067499904 140737067482448 139849319571191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
/proc/30233/statm: 2664762 27372 3099 1 0 2627263 0
[pid=30233/tid=30235] ppid=30230 vsize=10659048 memory=15564 CPUtime=0.67 cores=1,3,5,7
/proc/30233/task/30235/stat : 30235 (java) R 30230 30233 29110 0 -1 4202560 5644 0 0 0 65 2 0 0 20 0 15 0 96193105 10914865152 27372 33554432000 4194304 4196468 140737067499904 139849323808600 139849297565708 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30236] ppid=30230 vsize=10659048 memory=2324 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30236/stat : 30236 (java) S 30230 30233 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96193106 10914865152 27372 33554432000 4194304 4196468 140737067499904 139849245645840 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30237] ppid=30230 vsize=10659048 memory=1584 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30237/stat : 30237 (java) S 30230 30233 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96193106 10914865152 27372 33554432000 4194304 4196468 140737067499904 139849244593296 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30238] ppid=30230 vsize=10659048 memory=496 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30238/stat : 30238 (java) S 30230 30233 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96193106 10914865152 27372 33554432000 4194304 4196468 140737067499904 139849243540240 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30239] ppid=30230 vsize=10659048 memory=928 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30239/stat : 30239 (java) S 30230 30233 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96193106 10914865152 27372 33554432000 4194304 4196468 140737067499904 139849242487696 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30240] ppid=30230 vsize=10659048 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30240/stat : 30240 (java) S 30230 30233 29110 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96193108 10914865152 27372 33554432000 4194304 4196468 140737067499904 139848353536240 139849319582338 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30241] ppid=30230 vsize=10659048 memory=1968 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30241/stat : 30241 (java) S 30230 30233 29110 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96193108 10914865152 27372 33554432000 4194304 4196468 140737067499904 139848352482464 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30242] ppid=30230 vsize=10659048 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30242/stat : 30242 (java) S 30230 30233 29110 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96193108 10914865152 27372 33554432000 4194304 4196468 140737067499904 139848351429360 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30243] ppid=30230 vsize=10659048 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30243/stat : 30243 (java) S 30230 30233 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96193111 10914865152 27372 33554432000 4194304 4196468 140737067499904 139848350377936 139849319589787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30244] ppid=30230 vsize=10659048 memory=6081108994580573287 CPUtime=0.4 cores=1,3,5,7
/proc/30233/task/30244/stat : 30244 (java) R 30230 30233 29110 0 -1 4202560 2803 0 0 0 40 0 0 0 20 0 15 0 96193111 10914865152 27372 33554432000 4194304 4196468 140737067499904 139848349307632 139849311860573 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30245] ppid=30230 vsize=10659048 memory=6293050847276651881 CPUtime=0.38 cores=1,3,5,7
/proc/30233/task/30245/stat : 30245 (java) R 30230 30233 29110 0 -1 4202560 2074 0 0 0 38 0 0 0 20 0 15 0 96193111 10914865152 27372 33554432000 4194304 4196468 140737067499904 139848348259400 139849312668083 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30246] ppid=30230 vsize=10659048 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/30233/task/30246/stat : 30246 (java) S 30230 30233 29110 0 -1 1077944384 1269 0 0 0 24 0 0 0 20 0 15 0 96193111 10914865152 27372 33554432000 4194304 4196468 140737067499904 139848347220464 139849319582338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30247] ppid=30230 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30247/stat : 30247 (java) S 30230 30233 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96193111 10914865152 27372 33554432000 4194304 4196468 140737067499904 139848346168160 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30248] ppid=30230 vsize=10659048 memory=756 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30248/stat : 30248 (java) S 30230 30233 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96193111 10914865152 27372 33554432000 4194304 4196468 140737067499904 139848345115184 139849319582338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 109488 KiB
[startup+1.5008 s]
/proc/loadavg: 1.42 1.42 1.40 5/215 30248
/proc/meminfo: memFree=25869736/32770624 swapFree=67108860/67108860
[pid=30233] ppid=30230 vsize=10659048 memory=192752 CPUtime=3.18 cores=1,3,5,7
/proc/30233/stat : 30233 (java) S 30230 30233 29110 0 -1 1077944320 16399 0 0 0 311 7 0 0 20 0 15 0 96193105 10914865152 48188 33554432000 4194304 4196468 140737067499904 140737067482448 139849319571191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
/proc/30233/statm: 2664762 48188 3133 1 0 2627263 0
[pid=30233/tid=30235] ppid=30230 vsize=10659048 memory=192748 CPUtime=1.47 cores=1,3,5,7
/proc/30233/task/30235/stat : 30235 (java) R 30230 30233 29110 0 -1 4202560 6039 0 0 0 143 4 0 0 20 0 15 0 96193105 10914865152 48188 33554432000 4194304 4196468 140737067499904 139849323811008 139848920019742 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30236] ppid=30230 vsize=10659048 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30236/stat : 30236 (java) S 30230 30233 29110 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 96193106 10914865152 48188 33554432000 4194304 4196468 140737067499904 139849245645840 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30237] ppid=30230 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30237/stat : 30237 (java) S 30230 30233 29110 0 -1 1077944384 241 0 0 0 0 0 0 0 20 0 15 0 96193106 10914865152 48188 33554432000 4194304 4196468 140737067499904 139849244593296 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30238] ppid=30230 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30238/stat : 30238 (java) S 30230 30233 29110 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 96193106 10914865152 48188 33554432000 4194304 4196468 140737067499904 139849243540240 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30239] ppid=30230 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30239/stat : 30239 (java) S 30230 30233 29110 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 96193106 10914865152 48188 33554432000 4194304 4196468 140737067499904 139849242487696 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30240] ppid=30230 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30240/stat : 30240 (java) S 30230 30233 29110 0 -1 1077944384 221 0 0 0 0 0 0 0 20 0 15 0 96193108 10914865152 48188 33554432000 4194304 4196468 140737067499904 139848353536240 139849319582338 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
################
# More data... #
################
/proc/30233/task/30235/stat : 30235 (java) R 30230 30233 29110 0 -1 4202560 24114 0 0 0 236678 24 0 0 20 0 15 0 96193105 10914865152 64411 33554432000 4194304 4196468 140737067499904 139849323810848 139848920021013 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30236] ppid=30230 vsize=10659048 memory=257644 CPUtime=5.73 cores=1,3,5,7
/proc/30233/task/30236/stat : 30236 (java) S 30230 30233 29110 0 -1 1077944384 2453 0 0 0 517 56 0 0 20 0 15 0 96193106 10914865152 64411 33554432000 4194304 4196468 140737067499904 139849245645840 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30237] ppid=30230 vsize=10659048 memory=257644 CPUtime=5.75 cores=1,3,5,7
/proc/30233/task/30237/stat : 30237 (java) S 30230 30233 29110 0 -1 1077944384 3061 0 0 0 521 54 0 0 20 0 15 0 96193106 10914865152 64411 33554432000 4194304 4196468 140737067499904 139849244593296 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30238] ppid=30230 vsize=10659048 memory=257644 CPUtime=5.75 cores=1,3,5,7
/proc/30233/task/30238/stat : 30238 (java) S 30230 30233 29110 0 -1 1077944384 3316 0 0 0 521 54 0 0 20 0 15 0 96193106 10914865152 64411 33554432000 4194304 4196468 140737067499904 139849243540240 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30239] ppid=30230 vsize=10659048 memory=257644 CPUtime=5.72 cores=1,3,5,7
/proc/30233/task/30239/stat : 30239 (java) S 30230 30233 29110 0 -1 1077944384 3875 0 0 0 518 54 0 0 20 0 15 0 96193106 10914865152 64411 33554432000 4194304 4196468 140737067499904 139849242487696 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30240] ppid=30230 vsize=10659048 memory=279840474201648 CPUtime=6.8 cores=1,3,5,7
/proc/30233/task/30240/stat : 30240 (java) S 30230 30233 29110 0 -1 1077944384 5276 0 0 0 632 48 0 0 20 0 15 0 96193108 10914865152 64411 33554432000 4194304 4196468 140737067499904 139848353536240 139849319582338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30241] ppid=30230 vsize=10659048 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30241/stat : 30241 (java) S 30230 30233 29110 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 96193108 10914865152 64411 33554432000 4194304 4196468 140737067499904 139848352482464 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30242] ppid=30230 vsize=10659048 memory=257644 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30242/stat : 30242 (java) S 30230 30233 29110 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 96193108 10914865152 64411 33554432000 4194304 4196468 140737067499904 139848351429360 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30243] ppid=30230 vsize=10659048 memory=257644 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30243/stat : 30243 (java) S 30230 30233 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96193111 10914865152 64411 33554432000 4194304 4196468 140737067499904 139848350377936 139849319589787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30244] ppid=30230 vsize=10659048 memory=27864 CPUtime=0.95 cores=1,3,5,7
/proc/30233/task/30244/stat : 30244 (java) S 30230 30233 29110 0 -1 1077944384 8394 0 0 0 94 1 0 0 20 0 15 0 96193111 10914865152 64411 33554432000 4194304 4196468 140737067499904 139848349326064 139849319582338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30245] ppid=30230 vsize=10659048 memory=2204 CPUtime=0.82 cores=1,3,5,7
/proc/30233/task/30245/stat : 30245 (java) S 30230 30233 29110 0 -1 1077944384 5893 0 0 0 81 1 0 0 20 0 15 0 96193111 10914865152 64411 33554432000 4194304 4196468 140737067499904 139848348273520 139849319582338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30246] ppid=30230 vsize=10659048 memory=257644 CPUtime=0.32 cores=1,3,5,7
/proc/30233/task/30246/stat : 30246 (java) S 30230 30233 29110 0 -1 1077944384 6031 0 0 0 31 1 0 0 20 0 15 0 96193111 10914865152 64411 33554432000 4194304 4196468 140737067499904 139848347220464 139849319582338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30247] ppid=30230 vsize=10659048 memory=257644 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30247/stat : 30247 (java) S 30230 30233 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96193111 10914865152 64411 33554432000 4194304 4196468 140737067499904 139848346168160 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30248] ppid=30230 vsize=10659048 memory=7528 CPUtime=1.12 cores=1,3,5,7
/proc/30233/task/30248/stat : 30248 (java) S 30230 30233 29110 0 -1 1077944384 775 0 0 0 58 54 0 0 20 0 15 0 96193111 10914865152 64411 33554432000 4194304 4196468 140737067499904 139848345115184 139849319582338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
Current children cumulated CPU time: 2400.1 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 257644 KiB
[startup+2442.3 s]
/proc/loadavg: 1.41 1.39 1.37 3/215 30424
/proc/meminfo: memFree=26024916/32770624 swapFree=67108860/67108860
[pid=30233] ppid=30230 vsize=10659048 memory=259692 CPUtime=2460.57 cores=1,3,5,7
/proc/30233/stat : 30233 (java) S 30230 30233 29110 0 -1 1077944320 65603 0 0 0 245788 269 0 0 20 0 15 0 96193105 10914865152 64923 33554432000 4194304 4196468 140737067499904 140737067482448 139849319571191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
/proc/30233/statm: 2664762 64923 3149 1 0 2627263 0
[pid=30233/tid=30235] ppid=30230 vsize=10659048 memory=259692 CPUtime=2426.67 cores=1,3,5,7
/proc/30233/task/30235/stat : 30235 (java) R 30230 30233 29110 0 -1 4202560 24525 0 0 0 242642 25 0 0 20 0 15 0 96193105 10914865152 64923 33554432000 4194304 4196468 140737067499904 139849323810848 139848919523591 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30236] ppid=30230 vsize=10659048 memory=259692 CPUtime=5.89 cores=1,3,5,7
/proc/30233/task/30236/stat : 30236 (java) S 30230 30233 29110 0 -1 1077944384 2675 0 0 0 531 58 0 0 20 0 15 0 96193106 10914865152 64923 33554432000 4194304 4196468 140737067499904 139849245645840 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30237] ppid=30230 vsize=10659048 memory=257644 CPUtime=5.91 cores=1,3,5,7
/proc/30233/task/30237/stat : 30237 (java) S 30230 30233 29110 0 -1 1077944384 3165 0 0 0 536 55 0 0 20 0 15 0 96193106 10914865152 64923 33554432000 4194304 4196468 140737067499904 139849244593296 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30238] ppid=30230 vsize=10659048 memory=257644 CPUtime=5.91 cores=1,3,5,7
/proc/30233/task/30238/stat : 30238 (java) S 30230 30233 29110 0 -1 1077944384 3362 0 0 0 536 55 0 0 20 0 15 0 96193106 10914865152 64923 33554432000 4194304 4196468 140737067499904 139849243540240 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30239] ppid=30230 vsize=10659048 memory=257644 CPUtime=5.87 cores=1,3,5,7
/proc/30233/task/30239/stat : 30239 (java) S 30230 30233 29110 0 -1 1077944384 3895 0 0 0 532 55 0 0 20 0 15 0 96193106 10914865152 64923 33554432000 4194304 4196468 140737067499904 139849242487696 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30240] ppid=30230 vsize=10659048 memory=259692 CPUtime=6.96 cores=1,3,5,7
/proc/30233/task/30240/stat : 30240 (java) S 30230 30233 29110 0 -1 1077944384 5452 0 0 0 647 49 0 0 20 0 15 0 96193108 10914865152 64923 33554432000 4194304 4196468 140737067499904 139848353536240 139849319582338 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30241] ppid=30230 vsize=10659048 memory=259692 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30241/stat : 30241 (java) S 30230 30233 29110 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 96193108 10914865152 64923 33554432000 4194304 4196468 140737067499904 139848352482464 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30242] ppid=30230 vsize=10659048 memory=259692 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30242/stat : 30242 (java) S 30230 30233 29110 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 96193108 10914865152 64923 33554432000 4194304 4196468 140737067499904 139848351429360 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30243] ppid=30230 vsize=10659048 memory=259692 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30243/stat : 30243 (java) S 30230 30233 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96193111 10914865152 64923 33554432000 4194304 4196468 140737067499904 139848350377936 139849319589787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30244] ppid=30230 vsize=10659048 memory=259692 CPUtime=0.95 cores=1,3,5,7
/proc/30233/task/30244/stat : 30244 (java) S 30230 30233 29110 0 -1 1077944384 8396 0 0 0 94 1 0 0 20 0 15 0 96193111 10914865152 64923 33554432000 4194304 4196468 140737067499904 139848349326064 139849319582338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30245] ppid=30230 vsize=10659048 memory=259692 CPUtime=0.82 cores=1,3,5,7
/proc/30233/task/30245/stat : 30245 (java) S 30230 30233 29110 0 -1 1077944384 5895 0 0 0 81 1 0 0 20 0 15 0 96193111 10914865152 64923 33554432000 4194304 4196468 140737067499904 139848348273520 139849319582338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30246] ppid=30230 vsize=10659048 memory=259692 CPUtime=0.32 cores=1,3,5,7
/proc/30233/task/30246/stat : 30246 (java) S 30230 30233 29110 0 -1 1077944384 6033 0 0 0 31 1 0 0 20 0 15 0 96193111 10914865152 64923 33554432000 4194304 4196468 140737067499904 139848347220464 139849319582338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30247] ppid=30230 vsize=10659048 memory=259692 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30247/stat : 30247 (java) S 30230 30233 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96193111 10914865152 64923 33554432000 4194304 4196468 140737067499904 139848346168160 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30248] ppid=30230 vsize=10659048 memory=6791534058613427641 CPUtime=1.16 cores=1,3,5,7
/proc/30233/task/30248/stat : 30248 (java) S 30230 30233 29110 0 -1 1077944384 782 0 0 0 60 56 0 0 20 0 15 0 96193111 10914865152 64923 33554432000 4194304 4196468 140737067499904 139848345115184 139849319582338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
Current children cumulated CPU time: 2460.57 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 259692 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2501.3 s]
/proc/loadavg: 1.70 1.46 1.40 3/215 30425
/proc/meminfo: memFree=25065660/32770624 swapFree=67108860/67108860
[pid=30233] ppid=30230 vsize=10659048 memory=259692 CPUtime=2520.04 cores=1,3,5,7
/proc/30233/stat : 30233 (java) S 30230 30233 29110 0 -1 1077944320 65937 0 0 0 251731 273 0 0 20 0 15 0 96193105 10914865152 64923 33554432000 4194304 4196468 140737067499904 140737067482448 139849319571191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
/proc/30233/statm: 2664762 64923 3149 1 0 2627263 0
[pid=30233/tid=30235] ppid=30230 vsize=10659048 memory=259692 CPUtime=2485.31 cores=1,3,5,7
/proc/30233/task/30235/stat : 30235 (java) R 30230 30233 29110 0 -1 4202560 24821 0 0 0 248506 25 0 0 20 0 15 0 96193105 10914865152 64923 33554432000 4194304 4196468 140737067499904 139849323810848 139848920438998 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30236] ppid=30230 vsize=10659048 memory=259692 CPUtime=6.04 cores=1,3,5,7
/proc/30233/task/30236/stat : 30236 (java) S 30230 30233 29110 0 -1 1077944384 2675 0 0 0 545 59 0 0 20 0 15 0 96193106 10914865152 64923 33554432000 4194304 4196468 140737067499904 139849245645840 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30237] ppid=30230 vsize=10659048 memory=259692 CPUtime=6.08 cores=1,3,5,7
/proc/30233/task/30237/stat : 30237 (java) S 30230 30233 29110 0 -1 1077944384 3165 0 0 0 551 57 0 0 20 0 15 0 96193106 10914865152 64923 33554432000 4194304 4196468 140737067499904 139849244593296 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30238] ppid=30230 vsize=10659048 memory=259692 CPUtime=6.06 cores=1,3,5,7
/proc/30233/task/30238/stat : 30238 (java) S 30230 30233 29110 0 -1 1077944384 3392 0 0 0 551 55 0 0 20 0 15 0 96193106 10914865152 64923 33554432000 4194304 4196468 140737067499904 139849243540240 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30239] ppid=30230 vsize=10659048 memory=259692 CPUtime=6.03 cores=1,3,5,7
/proc/30233/task/30239/stat : 30239 (java) S 30230 30233 29110 0 -1 1077944384 3895 0 0 0 547 56 0 0 20 0 15 0 96193106 10914865152 64923 33554432000 4194304 4196468 140737067499904 139849242487696 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30240] ppid=30230 vsize=10659048 memory=259692 CPUtime=7.13 cores=1,3,5,7
/proc/30233/task/30240/stat : 30240 (java) S 30230 30233 29110 0 -1 1077944384 5456 0 0 0 663 50 0 0 20 0 15 0 96193108 10914865152 64923 33554432000 4194304 4196468 140737067499904 139848353536240 139849319582338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30241] ppid=30230 vsize=10659048 memory=259692 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30241/stat : 30241 (java) S 30230 30233 29110 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 96193108 10914865152 64923 33554432000 4194304 4196468 140737067499904 139848352482464 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30242] ppid=30230 vsize=10659048 memory=259692 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30242/stat : 30242 (java) S 30230 30233 29110 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 96193108 10914865152 64923 33554432000 4194304 4196468 140737067499904 139848351429360 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30243] ppid=30230 vsize=10659048 memory=259692 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30243/stat : 30243 (java) S 30230 30233 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96193111 10914865152 64923 33554432000 4194304 4196468 140737067499904 139848350377936 139849319589787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30244] ppid=30230 vsize=10659048 memory=259692 CPUtime=0.95 cores=1,3,5,7
/proc/30233/task/30244/stat : 30244 (java) S 30230 30233 29110 0 -1 1077944384 8396 0 0 0 94 1 0 0 20 0 15 0 96193111 10914865152 64923 33554432000 4194304 4196468 140737067499904 139848349326064 139849319582338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30245] ppid=30230 vsize=10659048 memory=259692 CPUtime=0.82 cores=1,3,5,7
/proc/30233/task/30245/stat : 30245 (java) S 30230 30233 29110 0 -1 1077944384 5895 0 0 0 81 1 0 0 20 0 15 0 96193111 10914865152 64923 33554432000 4194304 4196468 140737067499904 139848348273520 139849319582338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30246] ppid=30230 vsize=10659048 memory=259692 CPUtime=0.32 cores=1,3,5,7
/proc/30233/task/30246/stat : 30246 (java) S 30230 30233 29110 0 -1 1077944384 6033 0 0 0 31 1 0 0 20 0 15 0 96193111 10914865152 64923 33554432000 4194304 4196468 140737067499904 139848347220464 139849319582338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30247] ppid=30230 vsize=10659048 memory=259692 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30247/stat : 30247 (java) S 30230 30233 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96193111 10914865152 64923 33554432000 4194304 4196468 140737067499904 139848346168160 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30248] ppid=30230 vsize=10659048 memory=259692 CPUtime=1.19 cores=1,3,5,7
/proc/30233/task/30248/stat : 30248 (java) S 30230 30233 29110 0 -1 1077944384 786 0 0 0 62 57 0 0 20 0 15 0 96193111 10914865152 64923 33554432000 4194304 4196468 140737067499904 139848345115184 139849319582338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 259692 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2501.32 s]
# the end of solver process 30233 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.32 s, system=2.73896 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2501.3 s]
/proc/loadavg: 1.70 1.46 1.40 3/215 30425
/proc/meminfo: memFree=25065660/32770624 swapFree=67108860/67108860
[pid=30233] ppid=30230 vsize=10659048 memory=259692 CPUtime=2520.04 cores=1,3,5,7
/proc/30233/stat : 30233 (java) S 30230 30233 29110 0 -1 1077944320 65937 0 0 0 251731 273 0 0 20 0 15 0 96193105 10914865152 64923 33554432000 4194304 4196468 140737067499904 140737067482448 139849319571191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
/proc/30233/statm: 2664762 64923 3149 1 0 2627263 0
[pid=30233/tid=30235] ppid=30230 vsize=10659048 memory=259692 CPUtime=2485.31 cores=1,3,5,7
/proc/30233/task/30235/stat : 30235 (java) R 30230 30233 29110 0 -1 4202560 24821 0 0 0 248506 25 0 0 20 0 15 0 96193105 10914865152 64923 33554432000 4194304 4196468 140737067499904 139849323810848 139848920438998 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30236] ppid=30230 vsize=10659048 memory=259692 CPUtime=6.04 cores=1,3,5,7
/proc/30233/task/30236/stat : 30236 (java) S 30230 30233 29110 0 -1 1077944384 2675 0 0 0 545 59 0 0 20 0 15 0 96193106 10914865152 64923 33554432000 4194304 4196468 140737067499904 139849245645840 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30237] ppid=30230 vsize=10659048 memory=259692 CPUtime=6.08 cores=1,3,5,7
/proc/30233/task/30237/stat : 30237 (java) S 30230 30233 29110 0 -1 1077944384 3165 0 0 0 551 57 0 0 20 0 15 0 96193106 10914865152 64923 33554432000 4194304 4196468 140737067499904 139849244593296 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30238] ppid=30230 vsize=10659048 memory=259692 CPUtime=6.06 cores=1,3,5,7
/proc/30233/task/30238/stat : 30238 (java) S 30230 30233 29110 0 -1 1077944384 3392 0 0 0 551 55 0 0 20 0 15 0 96193106 10914865152 64923 33554432000 4194304 4196468 140737067499904 139849243540240 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30239] ppid=30230 vsize=10659048 memory=259692 CPUtime=6.03 cores=1,3,5,7
/proc/30233/task/30239/stat : 30239 (java) S 30230 30233 29110 0 -1 1077944384 3895 0 0 0 547 56 0 0 20 0 15 0 96193106 10914865152 64923 33554432000 4194304 4196468 140737067499904 139849242487696 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30240] ppid=30230 vsize=10659048 memory=259692 CPUtime=7.13 cores=1,3,5,7
/proc/30233/task/30240/stat : 30240 (java) S 30230 30233 29110 0 -1 1077944384 5456 0 0 0 663 50 0 0 20 0 15 0 96193108 10914865152 64923 33554432000 4194304 4196468 140737067499904 139848353536240 139849319582338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30241] ppid=30230 vsize=10659048 memory=259692 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30241/stat : 30241 (java) S 30230 30233 29110 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 96193108 10914865152 64923 33554432000 4194304 4196468 140737067499904 139848352482464 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30242] ppid=30230 vsize=10659048 memory=259692 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30242/stat : 30242 (java) S 30230 30233 29110 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 96193108 10914865152 64923 33554432000 4194304 4196468 140737067499904 139848351429360 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30243] ppid=30230 vsize=10659048 memory=259692 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30243/stat : 30243 (java) S 30230 30233 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96193111 10914865152 64923 33554432000 4194304 4196468 140737067499904 139848350377936 139849319589787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30244] ppid=30230 vsize=10659048 memory=259692 CPUtime=0.95 cores=1,3,5,7
/proc/30233/task/30244/stat : 30244 (java) S 30230 30233 29110 0 -1 1077944384 8396 0 0 0 94 1 0 0 20 0 15 0 96193111 10914865152 64923 33554432000 4194304 4196468 140737067499904 139848349326064 139849319582338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30245] ppid=30230 vsize=10659048 memory=259692 CPUtime=0.82 cores=1,3,5,7
/proc/30233/task/30245/stat : 30245 (java) S 30230 30233 29110 0 -1 1077944384 5895 0 0 0 81 1 0 0 20 0 15 0 96193111 10914865152 64923 33554432000 4194304 4196468 140737067499904 139848348273520 139849319582338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30246] ppid=30230 vsize=10659048 memory=259692 CPUtime=0.32 cores=1,3,5,7
/proc/30233/task/30246/stat : 30246 (java) S 30230 30233 29110 0 -1 1077944384 6033 0 0 0 31 1 0 0 20 0 15 0 96193111 10914865152 64923 33554432000 4194304 4196468 140737067499904 139848347220464 139849319582338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30247] ppid=30230 vsize=10659048 memory=259692 CPUtime=0 cores=1,3,5,7
/proc/30233/task/30247/stat : 30247 (java) S 30230 30233 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96193111 10914865152 64923 33554432000 4194304 4196468 140737067499904 139848346168160 139849319581397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
[pid=30233/tid=30248] ppid=30230 vsize=10659048 memory=259692 CPUtime=1.19 cores=1,3,5,7
/proc/30233/task/30248/stat : 30248 (java) S 30230 30233 29110 0 -1 1077944384 786 0 0 0 62 57 0 0 20 0 15 0 96193111 10914865152 64923 33554432000 4194304 4196468 140737067499904 139848345115184 139849319582338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 31039488 140737067504813 140737067504905 140737067504905 140737067507663 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 259692 KiB
Child status: 143
Real time (s): 2501.32
CPU time (s): 2520.06
CPU user time (s): 2517.32
CPU system time (s): 2.73896
CPU usage (%): 100.749
Max. virtual memory (cumulated for all children) (KiB): 10659048
Max. memory (cumulated for all children) (KiB): 259692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.32
system time used= 2.73896
maximum resident set size= 260060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66194
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 256218
involuntary context switches= 5358
# summary of solver processes directly reported to runsolver:
# pid: 30233
# total CPU time (s): 2520.06
# total CPU user time (s): 2517.32
# total CPU system time (s): 2.73896
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.8675 second user time and 17.3222 second system time
The end