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 (8552 MiB free)
memory of node 1: 16384 MiB (11548 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293302-1532312882/watcher-4293302-1532312882 -o /tmp/evaluation-result-4293302-1532312882/solver-4293302-1532312882 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532294157-6739 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=888460777 -superng HOME/instance-4293302-1532312882.xml
running on 4 cores: 0,2,4,6
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=10155, runsolver pid=10152
[startup+0.100562 s]*
/proc/loadavg: 2.27 2.10 2.00 3/204 10210
/proc/meminfo: memFree=20579496/32770624 swapFree=67108860/67108860
[pid=10155] ppid=10152 vsize=9972712 memory=18328 CPUtime=0.08 cores=0,2,4,6
/proc/10155/stat : 10155 (java) S 10152 10155 6708 0 -1 1077944320 4215 13228 0 0 0 1 5 2 20 0 6 0 48851430 10212057088 4582 33554432000 4194304 4196468 140724999078864 140724999061408 140685655453431 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
/proc/10155/statm: 2493178 4582 1930 1 0 2481616 0
[pid=10155/tid=10208] ppid=10152 vsize=9972712 memory=4279135704047190159 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10208/stat : 10208 (java) R 10152 10155 6708 0 -1 4202560 2036 13228 0 0 0 0 5 2 20 0 6 0 48851439 10212057088 4582 33554432000 4194304 4196468 140724999078864 140685627290192 140685641135923 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10209] ppid=10152 vsize=9972712 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10209/stat : 10209 (java) S 10152 10155 6708 0 -1 1077944384 1 13228 0 0 0 0 5 2 20 0 6 0 48851440 10212057088 4582 33554432000 4194304 4196468 140724999078864 140685659695888 140685655463637 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10210] ppid=10152 vsize=9972712 memory=140223960462976 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10210/stat : 10210 (java) S 10152 10155 6708 0 -1 1077944384 1 13228 0 0 0 0 5 2 20 0 6 0 48851440 10212057088 4582 33554432000 4194304 4196468 140724999078864 140685547969424 140685655463637 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10211] ppid=10152 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10211/stat : 10211 (java) S 10152 10155 6708 0 -1 1077944384 2 13228 0 0 0 0 5 2 20 0 6 0 48851440 10212057088 4582 33554432000 4194304 4196468 140724999078864 140685227322384 140685655463637 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10212] ppid=10152 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10212/stat : 10212 (java) S 10152 10155 6708 0 -1 1077944384 2 13228 0 0 0 0 5 2 20 0 6 0 48851440 10212057088 4582 33554432000 4194304 4196468 140724999078864 140685226269840 140685655463637 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18328 KiB
[startup+0.210428 s]*
/proc/loadavg: 2.27 2.10 2.00 3/215 10221
/proc/meminfo: memFree=20555316/32770624 swapFree=67108860/67108860
[pid=10155] ppid=10152 vsize=10818904 memory=44464 CPUtime=0.25 cores=0,2,4,6
/proc/10155/stat : 10155 (java) S 10152 10155 6708 0 -1 1077944320 7807 13228 0 0 16 2 5 2 20 0 15 0 48851430 11078557696 11116 33554432000 4194304 4196468 140724999078864 140724999061408 140685655453431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
/proc/10155/statm: 2704726 11116 2970 1 0 2667149 0
[pid=10155/tid=10208] ppid=10152 vsize=10818904 memory=-6517102902069810590 CPUtime=0.18 cores=0,2,4,6
/proc/10155/task/10208/stat : 10208 (java) R 10152 10155 6708 0 -1 4202560 4530 13228 0 0 10 1 5 2 20 0 15 0 48851439 11078557696 11182 33554432000 4194304 4196468 140724999078864 140685627270544 140685639533918 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10209] ppid=10152 vsize=10818904 memory=-7025452035940392864 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10209/stat : 10209 (java) S 10152 10155 6708 0 -1 1077944384 1 13228 0 0 0 0 5 2 20 0 15 0 48851440 11078557696 11182 33554432000 4194304 4196468 140724999078864 140685659695888 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10210] ppid=10152 vsize=10818904 memory=140223960462976 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10210/stat : 10210 (java) S 10152 10155 6708 0 -1 1077944384 1 13228 0 0 0 0 5 2 20 0 15 0 48851440 11078557696 11182 33554432000 4194304 4196468 140724999078864 140685547969424 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10211] ppid=10152 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10211/stat : 10211 (java) S 10152 10155 6708 0 -1 1077944384 2 13228 0 0 0 0 5 2 20 0 15 0 48851440 11078557696 11182 33554432000 4194304 4196468 140724999078864 140685227322384 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10212] ppid=10152 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10212/stat : 10212 (java) S 10152 10155 6708 0 -1 1077944384 2 13228 0 0 0 0 5 2 20 0 15 0 48851440 11078557696 11182 33554432000 4194304 4196468 140724999078864 140685226269840 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10213] ppid=10152 vsize=10818904 memory=140223960462976 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10213/stat : 10213 (java) S 10152 10155 6708 0 -1 1077944384 2 13228 0 0 0 0 5 2 20 0 15 0 48851442 11078557696 11182 33554432000 4194304 4196468 140724999078864 140685114877936 140685655464578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10214] ppid=10152 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10214/stat : 10214 (java) S 10152 10155 6708 0 -1 1077944384 33 13228 0 0 0 0 5 2 20 0 15 0 48851442 11078557696 11182 33554432000 4194304 4196468 140724999078864 140685113824160 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10215] ppid=10152 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10215/stat : 10215 (java) S 10152 10155 6708 0 -1 1077944384 1 13228 0 0 0 0 5 2 20 0 15 0 48851442 11078557696 11182 33554432000 4194304 4196468 140724999078864 140685009216496 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10216] ppid=10152 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10216/stat : 10216 (java) S 10152 10155 6708 0 -1 1077944384 2 13228 0 0 0 0 5 2 20 0 15 0 48851445 11078557696 11182 33554432000 4194304 4196468 140724999078864 140684405237968 140685655472027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10217] ppid=10152 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10155/task/10217/stat : 10217 (java) S 10152 10155 6708 0 -1 1077944384 486 13228 0 0 1 0 5 2 20 0 15 0 48851445 11078557696 11182 33554432000 4194304 4196468 140724999078864 140685080267248 140685655464578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10218] ppid=10152 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10155/task/10218/stat : 10218 (java) S 10152 10155 6708 0 -1 1077944384 88 13228 0 0 1 0 5 2 20 0 15 0 48851445 11078557696 11182 33554432000 4194304 4196468 140724999078864 140685079214704 140685655464578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10219] ppid=10152 vsize=10818904 memory=140223960462976 CPUtime=0.1 cores=0,2,4,6
/proc/10155/task/10219/stat : 10219 (java) R 10152 10155 6708 0 -1 4202560 576 13228 0 0 3 0 5 2 20 0 15 0 48851445 11078557696 11182 33554432000 4194304 4196468 140724999078864 140685078162160 140685639533918 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10220] ppid=10152 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10220/stat : 10220 (java) S 10152 10155 6708 0 -1 1077944384 3 13228 0 0 0 0 5 2 20 0 15 0 48851445 11078557696 11182 33554432000 4194304 4196468 140724999078864 140683935476832 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10221] ppid=10152 vsize=10818904 memory=140223960462976 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10221/stat : 10221 (java) S 10152 10155 6708 0 -1 1077944384 1 13228 0 0 0 0 5 2 20 0 15 0 48851445 11078557696 11182 33554432000 4194304 4196468 140724999078864 140684975659312 140685655464578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 44464 KiB
[startup+0.310229 s]*
/proc/loadavg: 2.27 2.10 2.00 3/215 10221
/proc/meminfo: memFree=20544052/32770624 swapFree=67108860/67108860
[pid=10155] ppid=10152 vsize=10819352 memory=55648 CPUtime=0.37 cores=0,2,4,6
/proc/10155/stat : 10155 (java) S 10152 10155 6708 0 -1 1077944320 10422 13228 0 0 27 3 5 2 20 0 15 0 48851430 11079016448 13912 33554432000 4194304 4196468 140724999078864 140724999061408 140685655453431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
/proc/10155/statm: 2704838 13912 3104 1 0 2667149 0
[pid=10155/tid=10208] ppid=10152 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/10155/task/10208/stat : 10208 (java) R 10152 10155 6708 0 -1 4202560 7015 13228 0 0 19 2 5 2 20 0 15 0 48851439 11079016448 13912 33554432000 4194304 4196468 140724999078864 140685627265440 140685637017008 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10209] ppid=10152 vsize=10819352 memory=6154266078702751825 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10209/stat : 10209 (java) S 10152 10155 6708 0 -1 1077944384 1 13228 0 0 0 0 5 2 20 0 15 0 48851440 11079016448 13912 33554432000 4194304 4196468 140724999078864 140685659695888 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10210] ppid=10152 vsize=10819352 memory=2072 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10210/stat : 10210 (java) S 10152 10155 6708 0 -1 1077944384 1 13228 0 0 0 0 5 2 20 0 15 0 48851440 11079016448 13912 33554432000 4194304 4196468 140724999078864 140685547969424 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10211] ppid=10152 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10211/stat : 10211 (java) S 10152 10155 6708 0 -1 1077944384 2 13228 0 0 0 0 5 2 20 0 15 0 48851440 11079016448 13912 33554432000 4194304 4196468 140724999078864 140685227322384 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10212] ppid=10152 vsize=10819352 memory=4126316290023845779 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10212/stat : 10212 (java) S 10152 10155 6708 0 -1 1077944384 2 13228 0 0 0 0 5 2 20 0 15 0 48851440 11079016448 13912 33554432000 4194304 4196468 140724999078864 140685226269840 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10213] ppid=10152 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10213/stat : 10213 (java) S 10152 10155 6708 0 -1 1077944384 2 13228 0 0 0 0 5 2 20 0 15 0 48851442 11079016448 13912 33554432000 4194304 4196468 140724999078864 140685114877936 140685655464578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10214] ppid=10152 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10214/stat : 10214 (java) S 10152 10155 6708 0 -1 1077944384 33 13228 0 0 0 0 5 2 20 0 15 0 48851442 11079016448 13912 33554432000 4194304 4196468 140724999078864 140685113824160 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10215] ppid=10152 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10215/stat : 10215 (java) S 10152 10155 6708 0 -1 1077944384 1 13228 0 0 0 0 5 2 20 0 15 0 48851442 11079016448 13912 33554432000 4194304 4196468 140724999078864 140685009216496 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10216] ppid=10152 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10216/stat : 10216 (java) S 10152 10155 6708 0 -1 1077944384 2 13228 0 0 0 0 5 2 20 0 15 0 48851445 11079016448 13912 33554432000 4194304 4196468 140724999078864 140684405237968 140685655472027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10217] ppid=10152 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10155/task/10217/stat : 10217 (java) S 10152 10155 6708 0 -1 1077944384 486 13228 0 0 1 0 5 2 20 0 15 0 48851445 11079016448 13912 33554432000 4194304 4196468 140724999078864 140685080267248 140685655464578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10218] ppid=10152 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10155/task/10218/stat : 10218 (java) S 10152 10155 6708 0 -1 1077944384 89 13228 0 0 1 0 5 2 20 0 15 0 48851445 11079016448 13912 33554432000 4194304 4196468 140724999078864 140685079214704 140685655464578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10219] ppid=10152 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/10155/task/10219/stat : 10219 (java) S 10152 10155 6708 0 -1 1077944384 596 13228 0 0 5 0 5 2 20 0 15 0 48851445 11079016448 13912 33554432000 4194304 4196468 140724999078864 140685078162160 140685655464578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10220] ppid=10152 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10220/stat : 10220 (java) S 10152 10155 6708 0 -1 1077944384 3 13228 0 0 0 0 5 2 20 0 15 0 48851445 11079016448 13912 33554432000 4194304 4196468 140724999078864 140683935476832 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10221] ppid=10152 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10221/stat : 10221 (java) S 10152 10155 6708 0 -1 1077944384 1 13228 0 0 0 0 5 2 20 0 15 0 48851445 11079016448 13912 33554432000 4194304 4196468 140724999078864 140684975659312 140685655464578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 55648 KiB
[startup+0.700808 s]
/proc/loadavg: 2.27 2.10 2.00 4/215 10221
/proc/meminfo: memFree=20533152/32770624 swapFree=67108860/67108860
[pid=10155] ppid=10152 vsize=10819352 memory=88392 CPUtime=0.97 cores=0,2,4,6
/proc/10155/stat : 10155 (java) S 10152 10155 6708 0 -1 1077944320 16761 13228 0 0 86 4 5 2 20 0 15 0 48851430 11079016448 22098 33554432000 4194304 4196468 140724999078864 140724999061408 140685655453431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
/proc/10155/statm: 2704838 22098 3238 1 0 2667149 0
[pid=10155/tid=10208] ppid=10152 vsize=10819352 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/10155/task/10208/stat : 10208 (java) R 10152 10155 6708 0 -1 4202560 12241 13228 0 0 55 3 5 2 20 0 15 0 48851439 11079016448 22098 33554432000 4194304 4196468 140724999078864 140685627281312 140685655475357 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10209] ppid=10152 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10209/stat : 10209 (java) S 10152 10155 6708 0 -1 1077944384 1 13228 0 0 0 0 5 2 20 0 15 0 48851440 11079016448 22098 33554432000 4194304 4196468 140724999078864 140685659695888 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10210] ppid=10152 vsize=10819352 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10210/stat : 10210 (java) S 10152 10155 6708 0 -1 1077944384 1 13228 0 0 0 0 5 2 20 0 15 0 48851440 11079016448 22098 33554432000 4194304 4196468 140724999078864 140685547969424 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10211] ppid=10152 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10211/stat : 10211 (java) S 10152 10155 6708 0 -1 1077944384 2 13228 0 0 0 0 5 2 20 0 15 0 48851440 11079016448 22098 33554432000 4194304 4196468 140724999078864 140685227322384 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10212] ppid=10152 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10212/stat : 10212 (java) S 10152 10155 6708 0 -1 1077944384 2 13228 0 0 0 0 5 2 20 0 15 0 48851440 11079016448 22098 33554432000 4194304 4196468 140724999078864 140685226269840 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10213] ppid=10152 vsize=10819352 memory=4420 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10213/stat : 10213 (java) S 10152 10155 6708 0 -1 1077944384 6 13228 0 0 0 0 5 2 20 0 15 0 48851442 11079016448 22098 33554432000 4194304 4196468 140724999078864 140685114877936 140685655464578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10214] ppid=10152 vsize=10819352 memory=6628 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10214/stat : 10214 (java) S 10152 10155 6708 0 -1 1077944384 33 13228 0 0 0 0 5 2 20 0 15 0 48851442 11079016448 22098 33554432000 4194304 4196468 140724999078864 140685113824160 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10215] ppid=10152 vsize=10819352 memory=8836 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10215/stat : 10215 (java) S 10152 10155 6708 0 -1 1077944384 1 13228 0 0 0 0 5 2 20 0 15 0 48851442 11079016448 22098 33554432000 4194304 4196468 140724999078864 140685009216496 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10216] ppid=10152 vsize=10819352 memory=11044 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10216/stat : 10216 (java) S 10152 10155 6708 0 -1 1077944384 2 13228 0 0 0 0 5 2 20 0 15 0 48851445 11079016448 22098 33554432000 4194304 4196468 140724999078864 140684405237968 140685655472027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10217] ppid=10152 vsize=10819352 memory=13252 CPUtime=0.17 cores=0,2,4,6
/proc/10155/task/10217/stat : 10217 (java) S 10152 10155 6708 0 -1 1077944384 1106 13228 0 0 10 0 5 2 20 0 15 0 48851445 11079016448 22098 33554432000 4194304 4196468 140724999078864 140685080267248 140685655464578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10218] ppid=10152 vsize=10819352 memory=15460 CPUtime=0.14 cores=0,2,4,6
/proc/10155/task/10218/stat : 10218 (java) S 10152 10155 6708 0 -1 1077944384 484 13228 0 0 7 0 5 2 20 0 15 0 48851445 11079016448 22098 33554432000 4194304 4196468 140724999078864 140685079214704 140685655464578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10219] ppid=10152 vsize=10819352 memory=17668 CPUtime=0.2 cores=0,2,4,6
/proc/10155/task/10219/stat : 10219 (java) S 10152 10155 6708 0 -1 1077944384 690 13228 0 0 13 0 5 2 20 0 15 0 48851445 11079016448 22098 33554432000 4194304 4196468 140724999078864 140685078162160 140685655464578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10220] ppid=10152 vsize=10819352 memory=19876 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10220/stat : 10220 (java) S 10152 10155 6708 0 -1 1077944384 3 13228 0 0 0 0 5 2 20 0 15 0 48851445 11079016448 22098 33554432000 4194304 4196468 140724999078864 140683935476832 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10221] ppid=10152 vsize=10819352 memory=22084 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10221/stat : 10221 (java) S 10152 10155 6708 0 -1 1077944384 1 13228 0 0 0 0 5 2 20 0 15 0 48851445 11079016448 22098 33554432000 4194304 4196468 140724999078864 140684975659312 140685655464578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 88392 KiB
[startup+1.50148 s]
/proc/loadavg: 2.27 2.10 2.00 3/215 10221
/proc/meminfo: memFree=20486944/32770624 swapFree=67108860/67108860
[pid=10155] ppid=10152 vsize=10834252 memory=199320 CPUtime=2.69 cores=0,2,4,6
/proc/10155/stat : 10155 (java) S 10152 10155 6708 0 -1 1077944320 25515 13228 0 0 251 11 5 2 20 0 15 0 48851430 11094274048 49830 33554432000 4194304 4196468 140724999078864 140724999061408 140685655453431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
/proc/10155/statm: 2708563 49830 3479 1 0 2670221 0
[pid=10155/tid=10208] ppid=10152 vsize=10834252 memory=0 CPUtime=1.41 cores=0,2,4,6
/proc/10155/task/10208/stat : 10208 (java) R 10152 10155 6708 0 -1 4202560 17629 13228 0 0 128 6 5 2 20 0 15 0 48851439 11094274048 49830 33554432000 4194304 4196468 140724999078864 140685627272024 140685641133584 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10209] ppid=10152 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10155/task/10209/stat : 10209 (java) S 10152 10155 6708 0 -1 1077944384 29 13228 0 0 1 0 5 2 20 0 15 0 48851440 11094274048 49830 33554432000 4194304 4196468 140724999078864 140685659695888 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10210] ppid=10152 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10155/task/10210/stat : 10210 (java) S 10152 10155 6708 0 -1 1077944384 25 13228 0 0 1 0 5 2 20 0 15 0 48851440 11094274048 49830 33554432000 4194304 4196468 140724999078864 140685547969424 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10211] ppid=10152 vsize=10834252 memory=3611949788955226161 CPUtime=0.08 cores=0,2,4,6
/proc/10155/task/10211/stat : 10211 (java) S 10152 10155 6708 0 -1 1077944384 70 13228 0 0 1 0 5 2 20 0 15 0 48851440 11094274048 49830 33554432000 4194304 4196468 140724999078864 140685227322384 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10212] ppid=10152 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10155/task/10212/stat : 10212 (java) S 10152 10155 6708 0 -1 1077944384 161 13228 0 0 1 0 5 2 20 0 15 0 48851440 11094274048 49830 33554432000 4194304 4196468 140724999078864 140685226269840 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10213] ppid=10152 vsize=10834252 memory=-7965959130280075168 CPUtime=0.08 cores=0,2,4,6
/proc/10155/task/10213/stat : 10213 (java) S 10152 10155 6708 0 -1 1077944384 860 13228 0 0 1 0 5 2 20 0 15 0 48851442 11094274048 49830 33554432000 4194304 4196468 140724999078864 140685114877936 140685655464578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10214] ppid=10152 vsize=10834252 memory=280447674296576 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10214/stat : 10214 (java) S 10152 10155 6708 0 -1 1077944384 55 13228 0 0 0 0 5 2 20 0 15 0 48851442 11094274048 49830 33554432000 4194304 4196468 140724999078864 140685113824224 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10215] ppid=10152 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10215/stat : 10215 (java) S 10152 10155 6708 0 -1 1077944384 2 13228 0 0 0 0 5 2 20 0 15 0 48851442 11094274048 49830 33554432000 4194304 4196468 140724999078864 140685009216496 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10216] ppid=10152 vsize=10834252 memory=5380 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10216/stat : 10216 (java) S 10152 10155 6708 0 -1 1077944384 2 13228 0 0 0 0 5 2 20 0 15 0 48851445 11094274048 49830 33554432000 4194304 4196468 140724999078864 140684405237968 140685655472027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10217] ppid=10152 vsize=10834252 memory=4616 CPUtime=0.42 cores=0,2,4,6
/proc/10155/task/10217/stat : 10217 (java) R 10152 10155 6708 0 -1 4202560 1638 13228 0 0 35 0 5 2 20 0 15 0 48851445 11094274048 49830 33554432000 4194304 4196468 140724999078864 140685080267248 140685640572057 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10218] ppid=10152 vsize=10834252 memory=1232 CPUtime=0.47 cores=0,2,4,6
/proc/10155/task/10218/stat : 10218 (java) S 10152 10155 6708 0 -1 1077944384 1273 13228 0 0 40 0 5 2 20 0 15 0 48851445 11094274048 49830 33554432000 4194304 4196468 140724999078864 140685079214704 140685655464578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10219] ppid=10152 vsize=10834252 memory=11964 CPUtime=0.46 cores=0,2,4,6
/proc/10155/task/10219/stat : 10219 (java) S 10152 10155 6708 0 -1 1077944384 1577 13228 0 0 39 0 5 2 20 0 15 0 48851445 11094274048 49830 33554432000 4194304 4196468 140724999078864 140685078162160 140685655464578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10220] ppid=10152 vsize=10834252 memory=1708 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10220/stat : 10220 (java) S 10152 10155 6708 0 -1 1077944384 3 13228 0 0 0 0 5 2 20 0 15 0 48851445 11094274048 49830 33554432000 4194304 4196468 140724999078864 140683935476832 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10221] ppid=10152 vsize=10834252 memory=8384 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10221/stat : 10221 (java) S 10152 10155 6708 0 -1 1077944384 3 13228 0 0 0 0 5 2 20 0 15 0 48851445 11094274048 49830 33554432000 4194304 4196468 140724999078864 140684975659312 140685655464578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/10155/task/10208/stat : 10208 (java) R 10152 10155 6708 0 -1 4202560 132379 13228 0 0 236284 32 5 2 20 0 15 0 48851439 11176083456 525114 33554432000 4194304 4196468 140724999078864 140685627289296 140685246017120 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10209] ppid=10152 vsize=10914144 memory=2094416 CPUtime=15.91 cores=0,2,4,6
/proc/10155/task/10209/stat : 10209 (java) S 10152 10155 6708 0 -1 1077944384 39611 13228 0 0 1510 74 5 2 20 0 15 0 48851440 11176083456 525114 33554432000 4194304 4196468 140724999078864 140685659695888 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10210] ppid=10152 vsize=10914144 memory=280447675679936 CPUtime=15.93 cores=0,2,4,6
/proc/10155/task/10210/stat : 10210 (java) S 10152 10155 6708 0 -1 1077944384 44668 13228 0 0 1510 76 5 2 20 0 15 0 48851440 11176083456 525114 33554432000 4194304 4196468 140724999078864 140685547969424 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10211] ppid=10152 vsize=10914144 memory=2497 CPUtime=15.94 cores=0,2,4,6
/proc/10155/task/10211/stat : 10211 (java) S 10152 10155 6708 0 -1 1077944384 37631 13228 0 0 1513 74 5 2 20 0 15 0 48851440 11176083456 525114 33554432000 4194304 4196468 140724999078864 140685227322384 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10212] ppid=10152 vsize=10914144 memory=2096204 CPUtime=15.91 cores=0,2,4,6
/proc/10155/task/10212/stat : 10212 (java) S 10152 10155 6708 0 -1 1077944384 35982 13228 0 0 1509 75 5 2 20 0 15 0 48851440 11176083456 525114 33554432000 4194304 4196468 140724999078864 140685226269840 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10213] ppid=10152 vsize=10914144 memory=2100456 CPUtime=2.01 cores=0,2,4,6
/proc/10155/task/10213/stat : 10213 (java) S 10152 10155 6708 0 -1 1077944384 21459 13228 0 0 179 15 5 2 20 0 15 0 48851442 11176083456 525114 33554432000 4194304 4196468 140724999078864 140685114877936 140685655464578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10214] ppid=10152 vsize=10914144 memory=2100456 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10214/stat : 10214 (java) S 10152 10155 6708 0 -1 1077944384 63 13228 0 0 0 0 5 2 20 0 15 0 48851442 11176083456 525114 33554432000 4194304 4196468 140724999078864 140685113824224 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10215] ppid=10152 vsize=10914144 memory=2100456 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10215/stat : 10215 (java) S 10152 10155 6708 0 -1 1077944384 10 13228 0 0 0 0 5 2 20 0 15 0 48851442 11176083456 525114 33554432000 4194304 4196468 140724999078864 140685009216512 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10216] ppid=10152 vsize=10914144 memory=2100456 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10216/stat : 10216 (java) S 10152 10155 6708 0 -1 1077944384 2 13228 0 0 0 0 5 2 20 0 15 0 48851445 11176083456 525114 33554432000 4194304 4196468 140724999078864 140684405237968 140685655472027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10217] ppid=10152 vsize=10914144 memory=2100456 CPUtime=8.56 cores=0,2,4,6
/proc/10155/task/10217/stat : 10217 (java) S 10152 10155 6708 0 -1 1077944384 39755 13228 0 0 843 6 5 2 20 0 15 0 48851445 11176083456 525114 33554432000 4194304 4196468 140724999078864 140685080267248 140685655464578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10218] ppid=10152 vsize=10914144 memory=2100456 CPUtime=8.77 cores=0,2,4,6
/proc/10155/task/10218/stat : 10218 (java) S 10152 10155 6708 0 -1 1077944384 43367 13228 0 0 864 6 5 2 20 0 15 0 48851445 11176083456 525114 33554432000 4194304 4196468 140724999078864 140685079214704 140685655464578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10219] ppid=10152 vsize=10914144 memory=140223838034200 CPUtime=3.65 cores=0,2,4,6
/proc/10155/task/10219/stat : 10219 (java) S 10152 10155 6708 0 -1 1077944384 45158 13228 0 0 351 7 5 2 20 0 15 0 48851445 11176083456 525114 33554432000 4194304 4196468 140724999078864 140685078162160 140685655464578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10220] ppid=10152 vsize=10914144 memory=56 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10220/stat : 10220 (java) S 10152 10155 6708 0 -1 1077944384 3 13228 0 0 0 0 5 2 20 0 15 0 48851445 11176083456 525114 33554432000 4194304 4196468 140724999078864 140683935476832 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10221] ppid=10152 vsize=10914144 memory=4140 CPUtime=1.4 cores=0,2,4,6
/proc/10155/task/10221/stat : 10221 (java) S 10152 10155 6708 0 -1 1077944384 2702 13228 0 0 67 66 5 2 20 0 15 0 48851445 11176083456 525114 33554432000 4194304 4196468 140724999078864 140684975659312 140685655464578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
Current children cumulated CPU time: 2450.79 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 2100456 KiB
[startup+2442.3 s]
/proc/loadavg: 1.51 1.36 1.42 3/215 10445
/proc/meminfo: memFree=18509756/32770624 swapFree=67108860/67108860
[pid=10155] ppid=10152 vsize=10914144 memory=2101104 CPUtime=2512.11 cores=0,2,4,6
/proc/10155/stat : 10155 (java) S 10152 10155 6708 0 -1 1077944320 448039 13228 0 0 250784 420 5 2 20 0 15 0 48851430 11176083456 525276 33554432000 4194304 4196468 140724999078864 140724999061408 140685655453431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
/proc/10155/statm: 2728536 525276 3531 1 0 2690189 0
[pid=10155/tid=10208] ppid=10152 vsize=10914144 memory=2101104 CPUtime=2422.68 cores=0,2,4,6
/proc/10155/task/10208/stat : 10208 (java) R 10152 10155 6708 0 -1 4202560 133156 13228 0 0 242228 33 5 2 20 0 15 0 48851439 11176083456 525276 33554432000 4194304 4196468 140724999078864 140685627288352 140685243999919 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10209] ppid=10152 vsize=10914144 memory=2101104 CPUtime=16.35 cores=0,2,4,6
/proc/10155/task/10209/stat : 10209 (java) S 10152 10155 6708 0 -1 1077944384 40394 13228 0 0 1554 74 5 2 20 0 15 0 48851440 11176083456 525276 33554432000 4194304 4196468 140724999078864 140685659695888 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10210] ppid=10152 vsize=10914144 memory=2101104 CPUtime=16.37 cores=0,2,4,6
/proc/10155/task/10210/stat : 10210 (java) S 10152 10155 6708 0 -1 1077944384 44799 13228 0 0 1554 76 5 2 20 0 15 0 48851440 11176083456 525276 33554432000 4194304 4196468 140724999078864 140685547969424 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10211] ppid=10152 vsize=10914144 memory=2096204 CPUtime=16.38 cores=0,2,4,6
/proc/10155/task/10211/stat : 10211 (java) S 10152 10155 6708 0 -1 1077944384 38145 13228 0 0 1557 74 5 2 20 0 15 0 48851440 11176083456 525276 33554432000 4194304 4196468 140724999078864 140685227322384 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10212] ppid=10152 vsize=10914144 memory=2100456 CPUtime=16.36 cores=0,2,4,6
/proc/10155/task/10212/stat : 10212 (java) S 10152 10155 6708 0 -1 1077944384 36587 13228 0 0 1553 76 5 2 20 0 15 0 48851440 11176083456 525276 33554432000 4194304 4196468 140724999078864 140685226269840 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10213] ppid=10152 vsize=10914144 memory=2100632 CPUtime=2.08 cores=0,2,4,6
/proc/10155/task/10213/stat : 10213 (java) S 10152 10155 6708 0 -1 1077944384 21687 13228 0 0 185 16 5 2 20 0 15 0 48851442 11176083456 525276 33554432000 4194304 4196468 140724999078864 140685114877936 140685655464578 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10214] ppid=10152 vsize=10914144 memory=2101104 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10214/stat : 10214 (java) S 10152 10155 6708 0 -1 1077944384 63 13228 0 0 0 0 5 2 20 0 15 0 48851442 11176083456 525276 33554432000 4194304 4196468 140724999078864 140685113824224 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10215] ppid=10152 vsize=10914144 memory=2101104 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10215/stat : 10215 (java) S 10152 10155 6708 0 -1 1077944384 10 13228 0 0 0 0 5 2 20 0 15 0 48851442 11176083456 525276 33554432000 4194304 4196468 140724999078864 140685009216512 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10216] ppid=10152 vsize=10914144 memory=2101104 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10216/stat : 10216 (java) S 10152 10155 6708 0 -1 1077944384 2 13228 0 0 0 0 5 2 20 0 15 0 48851445 11176083456 525276 33554432000 4194304 4196468 140724999078864 140684405237968 140685655472027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10217] ppid=10152 vsize=10914144 memory=4140 CPUtime=8.56 cores=0,2,4,6
/proc/10155/task/10217/stat : 10217 (java) S 10152 10155 6708 0 -1 1077944384 39757 13228 0 0 843 6 5 2 20 0 15 0 48851445 11176083456 525276 33554432000 4194304 4196468 140724999078864 140685080267248 140685655464578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10218] ppid=10152 vsize=10914144 memory=2101104 CPUtime=8.77 cores=0,2,4,6
/proc/10155/task/10218/stat : 10218 (java) S 10152 10155 6708 0 -1 1077944384 43369 13228 0 0 864 6 5 2 20 0 15 0 48851445 11176083456 525276 33554432000 4194304 4196468 140724999078864 140685079214704 140685655464578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10219] ppid=10152 vsize=10914144 memory=2101104 CPUtime=3.65 cores=0,2,4,6
/proc/10155/task/10219/stat : 10219 (java) S 10152 10155 6708 0 -1 1077944384 45160 13228 0 0 351 7 5 2 20 0 15 0 48851445 11176083456 525276 33554432000 4194304 4196468 140724999078864 140685078162160 140685655464578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10220] ppid=10152 vsize=10914144 memory=2101104 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10220/stat : 10220 (java) S 10152 10155 6708 0 -1 1077944384 3 13228 0 0 0 0 5 2 20 0 15 0 48851445 11176083456 525276 33554432000 4194304 4196468 140724999078864 140683935476832 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10221] ppid=10152 vsize=10914144 memory=2101104 CPUtime=1.44 cores=0,2,4,6
/proc/10155/task/10221/stat : 10221 (java) S 10152 10155 6708 0 -1 1077944384 2719 13228 0 0 69 68 5 2 20 0 15 0 48851445 11176083456 525276 33554432000 4194304 4196468 140724999078864 140684975659312 140685655464578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
Current children cumulated CPU time: 2512.11 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 2101104 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2450.11 s]
/proc/loadavg: 1.51 1.37 1.42 3/215 10445
/proc/meminfo: memFree=18509756/32770624 swapFree=67108860/67108860
[pid=10155] ppid=10152 vsize=10914144 memory=2101104 CPUtime=2520.08 cores=0,2,4,6
/proc/10155/stat : 10155 (java) S 10152 10155 6708 0 -1 1077944320 450078 13228 0 0 251581 420 5 2 20 0 15 0 48851430 11176083456 525276 33554432000 4194304 4196468 140724999078864 140724999061408 140685655453431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
/proc/10155/statm: 2728536 525276 3531 1 0 2690189 0
[pid=10155/tid=10208] ppid=10152 vsize=10914144 memory=2101104 CPUtime=2430.41 cores=0,2,4,6
/proc/10155/task/10208/stat : 10208 (java) R 10152 10155 6708 0 -1 4202560 133483 13228 0 0 243001 33 5 2 20 0 15 0 48851439 11176083456 525276 33554432000 4194304 4196468 140724999078864 140685627288848 140685230848405 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10209] ppid=10152 vsize=10914144 memory=2101104 CPUtime=16.42 cores=0,2,4,6
/proc/10155/task/10209/stat : 10209 (java) S 10152 10155 6708 0 -1 1077944384 40854 13228 0 0 1560 75 5 2 20 0 15 0 48851440 11176083456 525276 33554432000 4194304 4196468 140724999078864 140685659695888 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10210] ppid=10152 vsize=10914144 memory=2101104 CPUtime=16.43 cores=0,2,4,6
/proc/10155/task/10210/stat : 10210 (java) S 10152 10155 6708 0 -1 1077944384 45258 13228 0 0 1560 76 5 2 20 0 15 0 48851440 11176083456 525276 33554432000 4194304 4196468 140724999078864 140685547969424 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10211] ppid=10152 vsize=10914144 memory=2101104 CPUtime=16.44 cores=0,2,4,6
/proc/10155/task/10211/stat : 10211 (java) S 10152 10155 6708 0 -1 1077944384 38692 13228 0 0 1563 74 5 2 20 0 15 0 48851440 11176083456 525276 33554432000 4194304 4196468 140724999078864 140685227322384 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10212] ppid=10152 vsize=10914144 memory=2101104 CPUtime=16.42 cores=0,2,4,6
/proc/10155/task/10212/stat : 10212 (java) S 10152 10155 6708 0 -1 1077944384 36639 13228 0 0 1559 76 5 2 20 0 15 0 48851440 11176083456 525276 33554432000 4194304 4196468 140724999078864 140685226269840 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10213] ppid=10152 vsize=10914144 memory=2101104 CPUtime=2.09 cores=0,2,4,6
/proc/10155/task/10213/stat : 10213 (java) S 10152 10155 6708 0 -1 1077944384 21862 13228 0 0 186 16 5 2 20 0 15 0 48851442 11176083456 525276 33554432000 4194304 4196468 140724999078864 140685114877936 140685655464578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10214] ppid=10152 vsize=10914144 memory=2101104 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10214/stat : 10214 (java) S 10152 10155 6708 0 -1 1077944384 63 13228 0 0 0 0 5 2 20 0 15 0 48851442 11176083456 525276 33554432000 4194304 4196468 140724999078864 140685113824224 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10215] ppid=10152 vsize=10914144 memory=2101104 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10215/stat : 10215 (java) S 10152 10155 6708 0 -1 1077944384 10 13228 0 0 0 0 5 2 20 0 15 0 48851442 11176083456 525276 33554432000 4194304 4196468 140724999078864 140685009216512 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10216] ppid=10152 vsize=10914144 memory=2101104 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10216/stat : 10216 (java) S 10152 10155 6708 0 -1 1077944384 2 13228 0 0 0 0 5 2 20 0 15 0 48851445 11176083456 525276 33554432000 4194304 4196468 140724999078864 140684405237968 140685655472027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10217] ppid=10152 vsize=10914144 memory=2100632 CPUtime=8.56 cores=0,2,4,6
/proc/10155/task/10217/stat : 10217 (java) S 10152 10155 6708 0 -1 1077944384 39759 13228 0 0 843 6 5 2 20 0 15 0 48851445 11176083456 525276 33554432000 4194304 4196468 140724999078864 140685080267248 140685655464578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10218] ppid=10152 vsize=10914144 memory=2100456 CPUtime=8.77 cores=0,2,4,6
/proc/10155/task/10218/stat : 10218 (java) S 10152 10155 6708 0 -1 1077944384 43371 13228 0 0 864 6 5 2 20 0 15 0 48851445 11176083456 525276 33554432000 4194304 4196468 140724999078864 140685079214704 140685655464578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10219] ppid=10152 vsize=10914144 memory=2101104 CPUtime=3.65 cores=0,2,4,6
/proc/10155/task/10219/stat : 10219 (java) S 10152 10155 6708 0 -1 1077944384 45162 13228 0 0 351 7 5 2 20 0 15 0 48851445 11176083456 525276 33554432000 4194304 4196468 140724999078864 140685078162160 140685655464578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10220] ppid=10152 vsize=10914144 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10220/stat : 10220 (java) S 10152 10155 6708 0 -1 1077944384 3 13228 0 0 0 0 5 2 20 0 15 0 48851445 11176083456 525276 33554432000 4194304 4196468 140724999078864 140683935476832 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10221] ppid=10152 vsize=10914144 memory=2101104 CPUtime=1.44 cores=0,2,4,6
/proc/10155/task/10221/stat : 10221 (java) S 10152 10155 6708 0 -1 1077944384 2732 13228 0 0 69 68 5 2 20 0 15 0 48851445 11176083456 525276 33554432000 4194304 4196468 140724999078864 140684975659312 140685655464578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 2101104 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2450.14 s]
# the end of solver process 10155 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.89 s, system=4.25198 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2450.11 s]
/proc/loadavg: 1.51 1.37 1.42 3/215 10445
/proc/meminfo: memFree=18509756/32770624 swapFree=67108860/67108860
[pid=10155] ppid=10152 vsize=10914144 memory=2101104 CPUtime=2520.08 cores=0,2,4,6
/proc/10155/stat : 10155 (java) S 10152 10155 6708 0 -1 1077944320 450078 13228 0 0 251581 420 5 2 20 0 15 0 48851430 11176083456 525276 33554432000 4194304 4196468 140724999078864 140724999061408 140685655453431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
/proc/10155/statm: 2728536 525276 3531 1 0 2690189 0
[pid=10155/tid=10208] ppid=10152 vsize=10914144 memory=2101104 CPUtime=2430.41 cores=0,2,4,6
/proc/10155/task/10208/stat : 10208 (java) R 10152 10155 6708 0 -1 4202560 133483 13228 0 0 243001 33 5 2 20 0 15 0 48851439 11176083456 525276 33554432000 4194304 4196468 140724999078864 140685627288848 140685230848405 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10209] ppid=10152 vsize=10914144 memory=2101104 CPUtime=16.42 cores=0,2,4,6
/proc/10155/task/10209/stat : 10209 (java) S 10152 10155 6708 0 -1 1077944384 40854 13228 0 0 1560 75 5 2 20 0 15 0 48851440 11176083456 525276 33554432000 4194304 4196468 140724999078864 140685659695888 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10210] ppid=10152 vsize=10914144 memory=2101104 CPUtime=16.43 cores=0,2,4,6
/proc/10155/task/10210/stat : 10210 (java) S 10152 10155 6708 0 -1 1077944384 45258 13228 0 0 1560 76 5 2 20 0 15 0 48851440 11176083456 525276 33554432000 4194304 4196468 140724999078864 140685547969424 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10211] ppid=10152 vsize=10914144 memory=2101104 CPUtime=16.44 cores=0,2,4,6
/proc/10155/task/10211/stat : 10211 (java) S 10152 10155 6708 0 -1 1077944384 38692 13228 0 0 1563 74 5 2 20 0 15 0 48851440 11176083456 525276 33554432000 4194304 4196468 140724999078864 140685227322384 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10212] ppid=10152 vsize=10914144 memory=2101104 CPUtime=16.42 cores=0,2,4,6
/proc/10155/task/10212/stat : 10212 (java) S 10152 10155 6708 0 -1 1077944384 36639 13228 0 0 1559 76 5 2 20 0 15 0 48851440 11176083456 525276 33554432000 4194304 4196468 140724999078864 140685226269840 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10213] ppid=10152 vsize=10914144 memory=2101104 CPUtime=2.09 cores=0,2,4,6
/proc/10155/task/10213/stat : 10213 (java) S 10152 10155 6708 0 -1 1077944384 21862 13228 0 0 186 16 5 2 20 0 15 0 48851442 11176083456 525276 33554432000 4194304 4196468 140724999078864 140685114877936 140685655464578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10214] ppid=10152 vsize=10914144 memory=2101104 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10214/stat : 10214 (java) S 10152 10155 6708 0 -1 1077944384 63 13228 0 0 0 0 5 2 20 0 15 0 48851442 11176083456 525276 33554432000 4194304 4196468 140724999078864 140685113824224 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10215] ppid=10152 vsize=10914144 memory=2101104 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10215/stat : 10215 (java) S 10152 10155 6708 0 -1 1077944384 10 13228 0 0 0 0 5 2 20 0 15 0 48851442 11176083456 525276 33554432000 4194304 4196468 140724999078864 140685009216512 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10216] ppid=10152 vsize=10914144 memory=2101104 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10216/stat : 10216 (java) S 10152 10155 6708 0 -1 1077944384 2 13228 0 0 0 0 5 2 20 0 15 0 48851445 11176083456 525276 33554432000 4194304 4196468 140724999078864 140684405237968 140685655472027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10217] ppid=10152 vsize=10914144 memory=2100632 CPUtime=8.56 cores=0,2,4,6
/proc/10155/task/10217/stat : 10217 (java) S 10152 10155 6708 0 -1 1077944384 39759 13228 0 0 843 6 5 2 20 0 15 0 48851445 11176083456 525276 33554432000 4194304 4196468 140724999078864 140685080267248 140685655464578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10218] ppid=10152 vsize=10914144 memory=2100456 CPUtime=8.77 cores=0,2,4,6
/proc/10155/task/10218/stat : 10218 (java) S 10152 10155 6708 0 -1 1077944384 43371 13228 0 0 864 6 5 2 20 0 15 0 48851445 11176083456 525276 33554432000 4194304 4196468 140724999078864 140685079214704 140685655464578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10219] ppid=10152 vsize=10914144 memory=2101104 CPUtime=3.65 cores=0,2,4,6
/proc/10155/task/10219/stat : 10219 (java) S 10152 10155 6708 0 -1 1077944384 45162 13228 0 0 351 7 5 2 20 0 15 0 48851445 11176083456 525276 33554432000 4194304 4196468 140724999078864 140685078162160 140685655464578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10220] ppid=10152 vsize=10914144 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/10155/task/10220/stat : 10220 (java) S 10152 10155 6708 0 -1 1077944384 3 13228 0 0 0 0 5 2 20 0 15 0 48851445 11176083456 525276 33554432000 4194304 4196468 140724999078864 140683935476832 140685655463637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
[pid=10155/tid=10221] ppid=10152 vsize=10914144 memory=2101104 CPUtime=1.44 cores=0,2,4,6
/proc/10155/task/10221/stat : 10221 (java) S 10152 10155 6708 0 -1 1077944384 2732 13228 0 0 69 68 5 2 20 0 15 0 48851445 11176083456 525276 33554432000 4194304 4196468 140724999078864 140684975659312 140685655464578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140724999084204 140724999087452 140724999087452 140724999090127 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 2101104 KiB
Child status: 143
Real time (s): 2450.14
CPU time (s): 2520.14
CPU user time (s): 2515.89
CPU system time (s): 4.25198
CPU usage (%): 102.857
Max. virtual memory (cumulated for all children) (KiB): 10916784
Max. memory (cumulated for all children) (KiB): 2561956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.89
system time used= 4.25198
maximum resident set size= 2561964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 464574
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 98876
involuntary context switches= 6638
# summary of solver processes directly reported to runsolver:
# pid: 10155
# total CPU time (s): 2520.14
# total CPU user time (s): 2515.89
# total CPU system time (s): 4.25198
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6732 second user time and 23.4162 second system time
The end