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 (5063 MiB free)
memory of node 1: 16384 MiB (12707 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293564-1532321230/watcher-4293564-1532321230 -o /tmp/evaluation-result-4293564-1532321230/solver-4293564-1532321230 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532296223-4594 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1882872548 HOME/instance-4293564-1532321230.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
solver pid=10423, runsolver pid=10420
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 1.92 1.76 1.68 4/206 10480
/proc/meminfo: memFree=18192920/32770624 swapFree=67108860/67108860
[pid=10423] ppid=10420 vsize=9972712 memory=14700 CPUtime=0.08 cores=1,3,5,7
/proc/10423/stat : 10423 (java) S 10420 10423 4562 0 -1 1077944320 3785 13096 0 0 1 0 4 3 20 0 6 0 49686140 10212057088 3609 33554432000 4194304 4196468 140727485769584 140727485752128 140173547155191 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
/proc/10423/statm: 2493178 3609 1552 1 0 2481616 0
[pid=10423/tid=10476] ppid=10420 vsize=9972712 memory=4279135703912842379 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10476/stat : 10476 (java) R 10420 10423 4562 0 -1 4202560 1794 13096 0 0 0 0 4 3 20 0 6 0 49686150 10212057088 3807 33554432000 4194304 4196468 140727485769584 140173518991952 140173470232438 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10477] ppid=10420 vsize=9972712 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10477/stat : 10477 (java) S 10420 10423 4562 0 -1 1077944384 1 13096 0 0 0 0 4 3 20 0 6 0 49686150 10212057088 3873 33554432000 4194304 4196468 140727485769584 140173551397136 140173547165397 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10478] ppid=10420 vsize=9972712 memory=139947406644864 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10478/stat : 10478 (java) S 10420 10423 4562 0 -1 1077944384 1 13096 0 0 0 0 4 3 20 0 6 0 49686150 10212057088 3873 33554432000 4194304 4196468 140727485769584 140173439670672 140173547165397 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10479] ppid=10420 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10479/stat : 10479 (java) S 10420 10423 4562 0 -1 1077944384 2 13096 0 0 0 0 4 3 20 0 6 0 49686150 10212057088 3873 33554432000 4194304 4196468 140727485769584 140173119580688 140173547165397 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10480] ppid=10420 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10480/stat : 10480 (java) S 10420 10423 4562 0 -1 1077944384 2 13096 0 0 0 0 4 3 20 0 6 0 49686150 10212057088 3873 33554432000 4194304 4196468 140727485769584 140173118528144 140173547165397 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 14700 KiB
[startup+0.209927 s]*
/proc/loadavg: 1.92 1.76 1.68 3/215 10489
/proc/meminfo: memFree=18174088/32770624 swapFree=67108860/67108860
[pid=10423] ppid=10420 vsize=10818856 memory=39684 CPUtime=0.24 cores=1,3,5,7
/proc/10423/stat : 10423 (java) S 10420 10423 4562 0 -1 1077944320 8350 13096 0 0 16 1 4 3 20 0 15 0 49686140 11078508544 9921 33554432000 4194304 4196468 140727485769584 140727485752128 140173547155191 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
/proc/10423/statm: 2704714 9921 2936 1 0 2667149 0
[pid=10423/tid=10476] ppid=10420 vsize=10818856 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/10423/task/10476/stat : 10476 (java) R 10420 10423 4562 0 -1 4202560 4864 13096 0 0 10 1 4 3 20 0 15 0 49686150 11078508544 9921 33554432000 4194304 4196468 140727485769584 140173518952848 140173529652078 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10477] ppid=10420 vsize=10818856 memory=331 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10477/stat : 10477 (java) S 10420 10423 4562 0 -1 1077944384 1 13096 0 0 0 0 4 3 20 0 15 0 49686150 11078508544 9921 33554432000 4194304 4196468 140727485769584 140173551397136 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10478] ppid=10420 vsize=10818856 memory=139947406655540 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10478/stat : 10478 (java) S 10420 10423 4562 0 -1 1077944384 1 13096 0 0 0 0 4 3 20 0 15 0 49686150 11078508544 9921 33554432000 4194304 4196468 140727485769584 140173439670672 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10479] ppid=10420 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10479/stat : 10479 (java) S 10420 10423 4562 0 -1 1077944384 2 13096 0 0 0 0 4 3 20 0 15 0 49686150 11078508544 9921 33554432000 4194304 4196468 140727485769584 140173119580688 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10480] ppid=10420 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10480/stat : 10480 (java) S 10420 10423 4562 0 -1 1077944384 2 13096 0 0 0 0 4 3 20 0 15 0 49686150 11078508544 9921 33554432000 4194304 4196468 140727485769584 140173118528144 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10481] ppid=10420 vsize=10818856 memory=139947406644864 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10481/stat : 10481 (java) S 10420 10423 4562 0 -1 1077944384 2 13096 0 0 0 0 4 3 20 0 15 0 49686152 11078508544 9921 33554432000 4194304 4196468 140727485769584 140172550601200 140173547166338 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10482] ppid=10420 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10482/stat : 10482 (java) S 10420 10423 4562 0 -1 1077944384 33 13096 0 0 0 0 4 3 20 0 15 0 49686153 11078508544 9921 33554432000 4194304 4196468 140727485769584 140172549547424 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10483] ppid=10420 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10483/stat : 10483 (java) S 10420 10423 4562 0 -1 1077944384 1 13096 0 0 0 0 4 3 20 0 15 0 49686153 11078508544 9921 33554432000 4194304 4196468 140727485769584 140172431713776 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10484] ppid=10420 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10484/stat : 10484 (java) S 10420 10423 4562 0 -1 1077944384 3 13096 0 0 0 0 4 3 20 0 15 0 49686156 11078508544 9921 33554432000 4194304 4196468 140727485769584 140172124314320 140173547173787 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10485] ppid=10420 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10423/task/10485/stat : 10485 (java) S 10420 10423 4562 0 -1 1077944384 370 13096 0 0 1 0 4 3 20 0 15 0 49686156 11078508544 9921 33554432000 4194304 4196468 140727485769584 140172515989488 140173547166338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10486] ppid=10420 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10486/stat : 10486 (java) S 10420 10423 4562 0 -1 1077944384 243 13096 0 0 0 0 4 3 20 0 15 0 49686156 11078508544 9921 33554432000 4194304 4196468 140727485769584 140172514936944 140173547166338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10487] ppid=10420 vsize=10818856 memory=139947406644864 CPUtime=0.1 cores=1,3,5,7
/proc/10423/task/10487/stat : 10487 (java) R 10420 10423 4562 0 -1 4202560 645 13096 0 0 3 0 4 3 20 0 15 0 49686156 11078508544 9921 33554432000 4194304 4196468 140727485769584 140172513884400 140173532869508 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10488] ppid=10420 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10488/stat : 10488 (java) S 10420 10423 4562 0 -1 1077944384 3 13096 0 0 0 0 4 3 20 0 15 0 49686156 11078508544 9921 33554432000 4194304 4196468 140727485769584 140172090755680 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10489] ppid=10420 vsize=10818856 memory=139947406644864 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10489/stat : 10489 (java) S 10420 10423 4562 0 -1 1077944384 1 13096 0 0 0 0 4 3 20 0 15 0 49686156 11078508544 9921 33554432000 4194304 4196468 140727485769584 140172512832304 140173547166338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 39684 KiB
[startup+0.310339 s]*
/proc/loadavg: 1.92 1.76 1.68 3/215 10489
/proc/meminfo: memFree=18161236/32770624 swapFree=67108860/67108860
[pid=10423] ppid=10420 vsize=10819352 memory=49240 CPUtime=0.37 cores=1,3,5,7
/proc/10423/stat : 10423 (java) S 10420 10423 4562 0 -1 1077944320 9943 13096 0 0 28 2 4 3 20 0 15 0 49686140 11079016448 12310 33554432000 4194304 4196468 140727485769584 140727485752128 140173547155191 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
/proc/10423/statm: 2704838 12310 3067 1 0 2667149 0
[pid=10423/tid=10476] ppid=10420 vsize=10819352 memory=6791534058613427641 CPUtime=0.27 cores=1,3,5,7
/proc/10423/task/10476/stat : 10476 (java) R 10420 10423 4562 0 -1 4202560 6585 13096 0 0 19 1 4 3 20 0 15 0 49686150 11079016448 12442 33554432000 4194304 4196468 140727485769584 140173518967200 140173527432016 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10477] ppid=10420 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10477/stat : 10477 (java) S 10420 10423 4562 0 -1 1077944384 1 13096 0 0 0 0 4 3 20 0 15 0 49686150 11079016448 12442 33554432000 4194304 4196468 140727485769584 140173551397136 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10478] ppid=10420 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10478/stat : 10478 (java) S 10420 10423 4562 0 -1 1077944384 1 13096 0 0 0 0 4 3 20 0 15 0 49686150 11079016448 12442 33554432000 4194304 4196468 140727485769584 140173439670672 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10479] ppid=10420 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10479/stat : 10479 (java) S 10420 10423 4562 0 -1 1077944384 2 13096 0 0 0 0 4 3 20 0 15 0 49686150 11079016448 12442 33554432000 4194304 4196468 140727485769584 140173119580688 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10480] ppid=10420 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10480/stat : 10480 (java) S 10420 10423 4562 0 -1 1077944384 2 13096 0 0 0 0 4 3 20 0 15 0 49686150 11079016448 12442 33554432000 4194304 4196468 140727485769584 140173118528144 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10481] ppid=10420 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10481/stat : 10481 (java) S 10420 10423 4562 0 -1 1077944384 2 13096 0 0 0 0 4 3 20 0 15 0 49686152 11079016448 12442 33554432000 4194304 4196468 140727485769584 140172550601200 140173547166338 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10482] ppid=10420 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10482/stat : 10482 (java) S 10420 10423 4562 0 -1 1077944384 33 13096 0 0 0 0 4 3 20 0 15 0 49686153 11079016448 12508 33554432000 4194304 4196468 140727485769584 140172549547424 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10483] ppid=10420 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10483/stat : 10483 (java) S 10420 10423 4562 0 -1 1077944384 1 13096 0 0 0 0 4 3 20 0 15 0 49686153 11079016448 12508 33554432000 4194304 4196468 140727485769584 140172431713776 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10484] ppid=10420 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10484/stat : 10484 (java) S 10420 10423 4562 0 -1 1077944384 3 13096 0 0 0 0 4 3 20 0 15 0 49686156 11079016448 12508 33554432000 4194304 4196468 140727485769584 140172124314320 140173547173787 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10485] ppid=10420 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10423/task/10485/stat : 10485 (java) S 10420 10423 4562 0 -1 1077944384 371 13096 0 0 1 0 4 3 20 0 15 0 49686156 11079016448 12508 33554432000 4194304 4196468 140727485769584 140172515989488 140173547166338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10486] ppid=10420 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10423/task/10486/stat : 10486 (java) S 10420 10423 4562 0 -1 1077944384 243 13096 0 0 1 0 4 3 20 0 15 0 49686156 11079016448 12508 33554432000 4194304 4196468 140727485769584 140172514936944 140173547166338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10487] ppid=10420 vsize=10819352 memory=139947406644864 CPUtime=0.12 cores=1,3,5,7
/proc/10423/task/10487/stat : 10487 (java) S 10420 10423 4562 0 -1 1077944384 659 13096 0 0 5 0 4 3 20 0 15 0 49686156 11079016448 12508 33554432000 4194304 4196468 140727485769584 140172513884400 140173547166338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10488] ppid=10420 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10488/stat : 10488 (java) S 10420 10423 4562 0 -1 1077944384 3 13096 0 0 0 0 4 3 20 0 15 0 49686156 11079016448 12508 33554432000 4194304 4196468 140727485769584 140172090755680 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10489] ppid=10420 vsize=10819352 memory=139947406644864 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10489/stat : 10489 (java) S 10420 10423 4562 0 -1 1077944384 1 13096 0 0 0 0 4 3 20 0 15 0 49686156 11079016448 12508 33554432000 4194304 4196468 140727485769584 140172512832304 140173547166338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 49240 KiB
[startup+0.700762 s]
/proc/loadavg: 1.92 1.76 1.68 3/215 10489
/proc/meminfo: memFree=18149392/32770624 swapFree=67108860/67108860
[pid=10423] ppid=10420 vsize=10819352 memory=84504 CPUtime=0.98 cores=1,3,5,7
/proc/10423/stat : 10423 (java) S 10420 10423 4562 0 -1 1077944320 16841 13096 0 0 87 4 4 3 20 0 15 0 49686140 11079016448 21126 33554432000 4194304 4196468 140727485769584 140727485752128 140173547155191 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
/proc/10423/statm: 2704838 21126 3238 1 0 2667149 0
[pid=10423/tid=10476] ppid=10420 vsize=10819352 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/10423/task/10476/stat : 10476 (java) R 10420 10423 4562 0 -1 4202560 12321 13096 0 0 56 2 4 3 20 0 15 0 49686150 11079016448 21126 33554432000 4194304 4196468 140727485769584 140173518977360 140173531235678 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10477] ppid=10420 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10477/stat : 10477 (java) S 10420 10423 4562 0 -1 1077944384 1 13096 0 0 0 0 4 3 20 0 15 0 49686150 11079016448 21126 33554432000 4194304 4196468 140727485769584 140173551397136 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10478] ppid=10420 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10478/stat : 10478 (java) S 10420 10423 4562 0 -1 1077944384 1 13096 0 0 0 0 4 3 20 0 15 0 49686150 11079016448 21126 33554432000 4194304 4196468 140727485769584 140173439670672 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10479] ppid=10420 vsize=10819352 memory=139947281625872 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10479/stat : 10479 (java) S 10420 10423 4562 0 -1 1077944384 2 13096 0 0 0 0 4 3 20 0 15 0 49686150 11079016448 21126 33554432000 4194304 4196468 140727485769584 140173119580688 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10480] ppid=10420 vsize=10819352 memory=139951509340756 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10480/stat : 10480 (java) S 10420 10423 4562 0 -1 1077944384 2 13096 0 0 0 0 4 3 20 0 15 0 49686150 11079016448 21126 33554432000 4194304 4196468 140727485769584 140173118528144 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10481] ppid=10420 vsize=10819352 memory=8368 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10481/stat : 10481 (java) S 10420 10423 4562 0 -1 1077944384 5 13096 0 0 0 0 4 3 20 0 15 0 49686152 11079016448 21126 33554432000 4194304 4196468 140727485769584 140172550601200 140173547166338 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10482] ppid=10420 vsize=10819352 memory=7662705889289527641 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10482/stat : 10482 (java) S 10420 10423 4562 0 -1 1077944384 33 13096 0 0 0 0 4 3 20 0 15 0 49686153 11079016448 21126 33554432000 4194304 4196468 140727485769584 140172549547424 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10483] ppid=10420 vsize=10819352 memory=7885635084775281010 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10483/stat : 10483 (java) S 10420 10423 4562 0 -1 1077944384 1 13096 0 0 0 0 4 3 20 0 15 0 49686153 11079016448 21126 33554432000 4194304 4196468 140727485769584 140172431713776 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10484] ppid=10420 vsize=10819352 memory=16436 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10484/stat : 10484 (java) S 10420 10423 4562 0 -1 1077944384 3 13096 0 0 0 0 4 3 20 0 15 0 49686156 11079016448 21126 33554432000 4194304 4196468 140727485769584 140172124314320 140173547173787 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10485] ppid=10420 vsize=10819352 memory=10004 CPUtime=0.14 cores=1,3,5,7
/proc/10423/task/10485/stat : 10485 (java) S 10420 10423 4562 0 -1 1077944384 613 13096 0 0 7 0 4 3 20 0 15 0 49686156 11079016448 21126 33554432000 4194304 4196468 140727485769584 140172515989488 140173547166338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10486] ppid=10420 vsize=10819352 memory=4008 CPUtime=0.16 cores=1,3,5,7
/proc/10423/task/10486/stat : 10486 (java) S 10420 10423 4562 0 -1 1077944384 923 13096 0 0 9 0 4 3 20 0 15 0 49686156 11079016448 21126 33554432000 4194304 4196468 140727485769584 140172514936944 140173547166338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10487] ppid=10420 vsize=10819352 memory=1796 CPUtime=0.2 cores=1,3,5,7
/proc/10423/task/10487/stat : 10487 (java) S 10420 10423 4562 0 -1 1077944384 745 13096 0 0 13 0 4 3 20 0 15 0 49686156 11079016448 21126 33554432000 4194304 4196468 140727485769584 140172513884400 140173547166338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10488] ppid=10420 vsize=10819352 memory=644 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10488/stat : 10488 (java) S 10420 10423 4562 0 -1 1077944384 3 13096 0 0 0 0 4 3 20 0 15 0 49686156 11079016448 21126 33554432000 4194304 4196468 140727485769584 140172090755680 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10489] ppid=10420 vsize=10819352 memory=956 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10489/stat : 10489 (java) S 10420 10423 4562 0 -1 1077944384 1 13096 0 0 0 0 4 3 20 0 15 0 49686156 11079016448 21126 33554432000 4194304 4196468 140727485769584 140172512832304 140173547166338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84504 KiB
[startup+1.50081 s]
/proc/loadavg: 1.92 1.76 1.68 4/215 10489
/proc/meminfo: memFree=18102812/32770624 swapFree=67108860/67108860
[pid=10423] ppid=10420 vsize=10832204 memory=167912 CPUtime=2.92 cores=1,3,5,7
/proc/10423/stat : 10423 (java) S 10420 10423 4562 0 -1 1077944320 24445 13096 0 0 277 8 4 3 20 0 15 0 49686140 11092176896 41978 33554432000 4194304 4196468 140727485769584 140727485752128 140173547155191 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
/proc/10423/statm: 2708051 41978 3451 1 0 2669709 0
[pid=10423/tid=10476] ppid=10420 vsize=10832204 memory=60592 CPUtime=1.44 cores=1,3,5,7
/proc/10423/task/10476/stat : 10476 (java) R 10420 10423 4562 0 -1 4202560 16862 13096 0 0 132 5 4 3 20 0 15 0 49686150 11092176896 41978 33554432000 4194304 4196468 140727485769584 140173518970304 140173531235678 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10477] ppid=10420 vsize=10832204 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10477/stat : 10477 (java) S 10420 10423 4562 0 -1 1077944384 1 13096 0 0 0 0 4 3 20 0 15 0 49686150 11092176896 41978 33554432000 4194304 4196468 140727485769584 140173551397136 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10478] ppid=10420 vsize=10832204 memory=279894563283104 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10478/stat : 10478 (java) S 10420 10423 4562 0 -1 1077944384 1 13096 0 0 0 0 4 3 20 0 15 0 49686150 11092176896 41978 33554432000 4194304 4196468 140727485769584 140173439670672 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10479] ppid=10420 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10479/stat : 10479 (java) S 10420 10423 4562 0 -1 1077944384 2 13096 0 0 0 0 4 3 20 0 15 0 49686150 11092176896 41978 33554432000 4194304 4196468 140727485769584 140173119580688 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10480] ppid=10420 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10480/stat : 10480 (java) S 10420 10423 4562 0 -1 1077944384 2 13096 0 0 0 0 4 3 20 0 15 0 49686150 11092176896 41978 33554432000 4194304 4196468 140727485769584 140173118528144 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10481] ppid=10420 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10481/stat : 10481 (java) S 10420 10423 4562 0 -1 1077944384 12 13096 0 0 0 0 4 3 20 0 15 0 49686152 11092176896 41978 33554432000 4194304 4196468 140727485769584 140172550601200 140173547166338 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10482] ppid=10420 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10482/stat : 10482 (java) S 10420 10423 4562 0 -1 1077944384 33 13096 0 0 0 0 4 3 20 0 15 0 49686153 11092176896 41978 33554432000 4194304 4196468 140727485769584 140172549547424 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10483] ppid=10420 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10483/stat : 10483 (java) S 10420 10423 4562 0 -1 1077944384 1 13096 0 0 0 0 4 3 20 0 15 0 49686153 11092176896 41978 33554432000 4194304 4196468 140727485769584 140172431713776 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10484] ppid=10420 vsize=10832204 memory=-2746958450906831424 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10484/stat : 10484 (java) S 10420 10423 4562 0 -1 1077944384 3 13096 0 0 0 0 4 3 20 0 15 0 49686156 11092176896 41978 33554432000 4194304 4196468 140727485769584 140172124314320 140173547173787 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10485] ppid=10420 vsize=10832204 memory=0 CPUtime=0.59 cores=1,3,5,7
/proc/10423/task/10485/stat : 10485 (java) S 10420 10423 4562 0 -1 1077944384 1522 13096 0 0 52 0 4 3 20 0 15 0 49686156 11092176896 41978 33554432000 4194304 4196468 140727485769584 140172515989488 140173547166338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10486] ppid=10420 vsize=10832204 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/10423/task/10486/stat : 10486 (java) S 10420 10423 4562 0 -1 1077944384 2133 13096 0 0 48 1 4 3 20 0 15 0 49686156 11092176896 41978 33554432000 4194304 4196468 140727485769584 140172514936944 140173547166338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10487] ppid=10420 vsize=10832204 memory=6791534058613427641 CPUtime=0.5 cores=1,3,5,7
/proc/10423/task/10487/stat : 10487 (java) S 10420 10423 4562 0 -1 1077944384 1682 13096 0 0 43 0 4 3 20 0 15 0 49686156 11092176896 41978 33554432000 4194304 4196468 140727485769584 140172513884400 140173547166338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10488] ppid=10420 vsize=10832204 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10488/stat : 10488 (java) S 10420 10423 4562 0 -1 1077944384 3 13096 0 0 0 0 4 3 20 0 15 0 49686156 11092176896 41978 33554432000 4194304 4196468 140727485769584 140172090755680 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10489] ppid=10420 vsize=10832204 memory=279894563527552 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10489/stat : 10489 (java) S 10420 10423 4562 0 -1 1077944384 1 13096 0 0 0 0 4 3 20 0 15 0 49686156 11092176896 41978 33554432000 4194304 4196468 140727485769584 140172512832304 140173547166338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 10832204 KiB
################
# More data... #
################
/proc/10423/task/10476/stat : 10476 (java) R 10420 10423 4562 0 -1 4202560 427441 13096 0 0 236892 94 4 3 20 0 15 0 49686150 11178180608 805871 33554432000 4194304 4196468 140727485769584 140173518989248 140173139164841 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10477] ppid=10420 vsize=10916192 memory=3223484 CPUtime=8.93 cores=1,3,5,7
/proc/10423/task/10477/stat : 10477 (java) S 10420 10423 4562 0 -1 1077944384 30294 13096 0 0 855 31 4 3 20 0 15 0 49686150 11178180608 805871 33554432000 4194304 4196468 140727485769584 140173551397136 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10478] ppid=10420 vsize=10916192 memory=3223484 CPUtime=8.93 cores=1,3,5,7
/proc/10423/task/10478/stat : 10478 (java) S 10420 10423 4562 0 -1 1077944384 29859 13096 0 0 855 31 4 3 20 0 15 0 49686150 11178180608 805871 33554432000 4194304 4196468 140727485769584 140173439670672 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10479] ppid=10420 vsize=10916192 memory=3223484 CPUtime=8.91 cores=1,3,5,7
/proc/10423/task/10479/stat : 10479 (java) S 10420 10423 4562 0 -1 1077944384 20922 13096 0 0 854 30 4 3 20 0 15 0 49686150 11178180608 805871 33554432000 4194304 4196468 140727485769584 140173119580688 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10480] ppid=10420 vsize=10916192 memory=3223484 CPUtime=8.9 cores=1,3,5,7
/proc/10423/task/10480/stat : 10480 (java) S 10420 10423 4562 0 -1 1077944384 29608 13096 0 0 854 29 4 3 20 0 15 0 49686150 11178180608 805871 33554432000 4194304 4196468 140727485769584 140173118528144 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10481] ppid=10420 vsize=10916192 memory=3223484 CPUtime=2.48 cores=1,3,5,7
/proc/10423/task/10481/stat : 10481 (java) S 10420 10423 4562 0 -1 1077944384 29042 13096 0 0 213 28 4 3 20 0 15 0 49686152 11178180608 805871 33554432000 4194304 4196468 140727485769584 140172550601200 140173547166338 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10482] ppid=10420 vsize=10916192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10482/stat : 10482 (java) S 10420 10423 4562 0 -1 1077944384 57 13096 0 0 0 0 4 3 20 0 15 0 49686153 11178180608 805871 33554432000 4194304 4196468 140727485769584 140172549547552 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10483] ppid=10420 vsize=10916192 memory=3223484 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10483/stat : 10483 (java) S 10420 10423 4562 0 -1 1077944384 35 13096 0 0 0 0 4 3 20 0 15 0 49686153 11178180608 805871 33554432000 4194304 4196468 140727485769584 140172431713792 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10484] ppid=10420 vsize=10916192 memory=3223484 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10484/stat : 10484 (java) S 10420 10423 4562 0 -1 1077944384 3 13096 0 0 0 0 4 3 20 0 15 0 49686156 11178180608 805871 33554432000 4194304 4196468 140727485769584 140172124314320 140173547173787 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10485] ppid=10420 vsize=10916192 memory=3223484 CPUtime=8.33 cores=1,3,5,7
/proc/10423/task/10485/stat : 10485 (java) S 10420 10423 4562 0 -1 1077944384 73561 13096 0 0 818 8 4 3 20 0 15 0 49686156 11178180608 805871 33554432000 4194304 4196468 140727485769584 140172515989488 140173547166338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10486] ppid=10420 vsize=10916192 memory=3223484 CPUtime=8.79 cores=1,3,5,7
/proc/10423/task/10486/stat : 10486 (java) S 10420 10423 4562 0 -1 1077944384 77656 13096 0 0 865 7 4 3 20 0 15 0 49686156 11178180608 805871 33554432000 4194304 4196468 140727485769584 140172514936944 140173547166338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10487] ppid=10420 vsize=10916192 memory=3223484 CPUtime=3.17 cores=1,3,5,7
/proc/10423/task/10487/stat : 10487 (java) S 10420 10423 4562 0 -1 1077944384 73720 13096 0 0 302 8 4 3 20 0 15 0 49686156 11178180608 805871 33554432000 4194304 4196468 140727485769584 140172513884400 140173547166338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10488] ppid=10420 vsize=10916192 memory=3223484 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10488/stat : 10488 (java) S 10420 10423 4562 0 -1 1077944384 3 13096 0 0 0 0 4 3 20 0 15 0 49686156 11178180608 805871 33554432000 4194304 4196468 140727485769584 140172090755680 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10489] ppid=10420 vsize=10916192 memory=12976 CPUtime=1.54 cores=1,3,5,7
/proc/10423/task/10489/stat : 10489 (java) S 10420 10423 4562 0 -1 1077944384 2157 13096 0 0 66 81 4 3 20 0 15 0 49686156 11178180608 805871 33554432000 4194304 4196468 140727485769584 140172512832304 140173547166338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
Current children cumulated CPU time: 2429.39 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 3223484 KiB
[startup+2442.3 s]
/proc/loadavg: 1.57 1.51 1.57 3/215 10712
/proc/meminfo: memFree=14596708/32770624 swapFree=67108860/67108860
[pid=10423] ppid=10420 vsize=10916192 memory=3222988 CPUtime=2489.68 cores=1,3,5,7
/proc/10423/stat : 10423 (java) S 10420 10423 4562 0 -1 1077944320 812929 13096 0 0 248634 327 4 3 20 0 15 0 49686140 11178180608 805747 33554432000 4194304 4196468 140727485769584 140727485752128 140173547155191 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
/proc/10423/statm: 2729048 805747 3538 1 0 2690701 0
[pid=10423/tid=10476] ppid=10420 vsize=10916192 memory=3222460 CPUtime=2429.83 cores=1,3,5,7
/proc/10423/task/10476/stat : 10476 (java) R 10420 10423 4562 0 -1 4202560 439156 13096 0 0 242881 95 4 3 20 0 15 0 49686150 11178180608 805747 33554432000 4194304 4196468 140727485769584 140173518989200 140173135960726 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10477] ppid=10420 vsize=10916192 memory=3222988 CPUtime=9 cores=1,3,5,7
/proc/10423/task/10477/stat : 10477 (java) S 10420 10423 4562 0 -1 1077944384 31153 13096 0 0 862 31 4 3 20 0 15 0 49686150 11178180608 805747 33554432000 4194304 4196468 140727485769584 140173551397136 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10478] ppid=10420 vsize=10916192 memory=3222988 CPUtime=9 cores=1,3,5,7
/proc/10423/task/10478/stat : 10478 (java) S 10420 10423 4562 0 -1 1077944384 30131 13096 0 0 862 31 4 3 20 0 15 0 49686150 11178180608 805747 33554432000 4194304 4196468 140727485769584 140173439670672 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10479] ppid=10420 vsize=10916192 memory=3222988 CPUtime=8.99 cores=1,3,5,7
/proc/10423/task/10479/stat : 10479 (java) S 10420 10423 4562 0 -1 1077944384 21281 13096 0 0 862 30 4 3 20 0 15 0 49686150 11178180608 805747 33554432000 4194304 4196468 140727485769584 140173119580688 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10480] ppid=10420 vsize=10916192 memory=3222988 CPUtime=8.99 cores=1,3,5,7
/proc/10423/task/10480/stat : 10480 (java) S 10420 10423 4562 0 -1 1077944384 30887 13096 0 0 862 30 4 3 20 0 15 0 49686150 11178180608 805747 33554432000 4194304 4196468 140727485769584 140173118528144 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10481] ppid=10420 vsize=10916192 memory=3222988 CPUtime=2.5 cores=1,3,5,7
/proc/10423/task/10481/stat : 10481 (java) S 10420 10423 4562 0 -1 1077944384 29385 13096 0 0 215 28 4 3 20 0 15 0 49686152 11178180608 805747 33554432000 4194304 4196468 140727485769584 140172550601200 140173547166338 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10482] ppid=10420 vsize=10916192 memory=3222988 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10482/stat : 10482 (java) S 10420 10423 4562 0 -1 1077944384 57 13096 0 0 0 0 4 3 20 0 15 0 49686153 11178180608 805747 33554432000 4194304 4196468 140727485769584 140172549547552 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10483] ppid=10420 vsize=10916192 memory=3222988 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10483/stat : 10483 (java) S 10420 10423 4562 0 -1 1077944384 35 13096 0 0 0 0 4 3 20 0 15 0 49686153 11178180608 805747 33554432000 4194304 4196468 140727485769584 140172431713792 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10484] ppid=10420 vsize=10916192 memory=3222988 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10484/stat : 10484 (java) S 10420 10423 4562 0 -1 1077944384 3 13096 0 0 0 0 4 3 20 0 15 0 49686156 11178180608 805747 33554432000 4194304 4196468 140727485769584 140172124314320 140173547173787 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10485] ppid=10420 vsize=10916192 memory=3222988 CPUtime=8.33 cores=1,3,5,7
/proc/10423/task/10485/stat : 10485 (java) S 10420 10423 4562 0 -1 1077944384 73564 13096 0 0 818 8 4 3 20 0 15 0 49686156 11178180608 805747 33554432000 4194304 4196468 140727485769584 140172515989488 140173547166338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10486] ppid=10420 vsize=10916192 memory=3222988 CPUtime=8.81 cores=1,3,5,7
/proc/10423/task/10486/stat : 10486 (java) S 10420 10423 4562 0 -1 1077944384 79160 13096 0 0 867 7 4 3 20 0 15 0 49686156 11178180608 805747 33554432000 4194304 4196468 140727485769584 140172514936944 140173547166338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10487] ppid=10420 vsize=10916192 memory=3222988 CPUtime=3.17 cores=1,3,5,7
/proc/10423/task/10487/stat : 10487 (java) S 10420 10423 4562 0 -1 1077944384 73723 13096 0 0 302 8 4 3 20 0 15 0 49686156 11178180608 805747 33554432000 4194304 4196468 140727485769584 140172513884400 140173547166338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10488] ppid=10420 vsize=10916192 memory=3222988 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10488/stat : 10488 (java) S 10420 10423 4562 0 -1 1077944384 3 13096 0 0 0 0 4 3 20 0 15 0 49686156 11178180608 805747 33554432000 4194304 4196468 140727485769584 140172090755680 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10489] ppid=10420 vsize=10916192 memory=1296 CPUtime=1.59 cores=1,3,5,7
/proc/10423/task/10489/stat : 10489 (java) S 10420 10423 4562 0 -1 1077944384 2204 13096 0 0 68 84 4 3 20 0 15 0 49686156 11178180608 805747 33554432000 4194304 4196468 140727485769584 140172512832304 140173547166338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
Current children cumulated CPU time: 2489.68 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 3222988 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2472.5 s]
/proc/loadavg: 1.67 1.54 1.58 3/215 10714
/proc/meminfo: memFree=14596012/32770624 swapFree=67108860/67108860
[pid=10423] ppid=10420 vsize=10916192 memory=3223212 CPUtime=2520.03 cores=1,3,5,7
/proc/10423/stat : 10423 (java) S 10420 10423 4562 0 -1 1077944320 824935 13096 0 0 251667 329 4 3 20 0 15 0 49686140 11178180608 805803 33554432000 4194304 4196468 140727485769584 140727485752128 140173547155191 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
/proc/10423/statm: 2729048 805803 3538 1 0 2690701 0
[pid=10423/tid=10476] ppid=10420 vsize=10916192 memory=3223212 CPUtime=2459.97 cores=1,3,5,7
/proc/10423/task/10476/stat : 10476 (java) R 10420 10423 4562 0 -1 4202560 445887 13096 0 0 245895 95 4 3 20 0 15 0 49686150 11178180608 805803 33554432000 4194304 4196468 140727485769584 140173518988976 140173120701171 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10477] ppid=10420 vsize=10916192 memory=3223212 CPUtime=9.04 cores=1,3,5,7
/proc/10423/task/10477/stat : 10477 (java) S 10420 10423 4562 0 -1 1077944384 31879 13096 0 0 866 31 4 3 20 0 15 0 49686150 11178180608 805803 33554432000 4194304 4196468 140727485769584 140173551397136 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10478] ppid=10420 vsize=10916192 memory=3223212 CPUtime=9.04 cores=1,3,5,7
/proc/10423/task/10478/stat : 10478 (java) S 10420 10423 4562 0 -1 1077944384 30329 13096 0 0 866 31 4 3 20 0 15 0 49686150 11178180608 805803 33554432000 4194304 4196468 140727485769584 140173439670672 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10479] ppid=10420 vsize=10916192 memory=3223080 CPUtime=9.03 cores=1,3,5,7
/proc/10423/task/10479/stat : 10479 (java) S 10420 10423 4562 0 -1 1077944384 22533 13096 0 0 866 30 4 3 20 0 15 0 49686150 11178180608 805803 33554432000 4194304 4196468 140727485769584 140173119580688 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10480] ppid=10420 vsize=10916192 memory=3223080 CPUtime=9.03 cores=1,3,5,7
/proc/10423/task/10480/stat : 10480 (java) S 10420 10423 4562 0 -1 1077944384 31120 13096 0 0 866 30 4 3 20 0 15 0 49686150 11178180608 805803 33554432000 4194304 4196468 140727485769584 140173118528144 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10481] ppid=10420 vsize=10916192 memory=3222988 CPUtime=2.52 cores=1,3,5,7
/proc/10423/task/10481/stat : 10481 (java) S 10420 10423 4562 0 -1 1077944384 29713 13096 0 0 217 28 4 3 20 0 15 0 49686152 11178180608 805803 33554432000 4194304 4196468 140727485769584 140172550601200 140173547166338 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10482] ppid=10420 vsize=10916192 memory=3222988 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10482/stat : 10482 (java) S 10420 10423 4562 0 -1 1077944384 57 13096 0 0 0 0 4 3 20 0 15 0 49686153 11178180608 805803 33554432000 4194304 4196468 140727485769584 140172549547552 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10483] ppid=10420 vsize=10916192 memory=3223212 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10483/stat : 10483 (java) S 10420 10423 4562 0 -1 1077944384 35 13096 0 0 0 0 4 3 20 0 15 0 49686153 11178180608 805803 33554432000 4194304 4196468 140727485769584 140172431713792 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10484] ppid=10420 vsize=10916192 memory=1728 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10484/stat : 10484 (java) S 10420 10423 4562 0 -1 1077944384 3 13096 0 0 0 0 4 3 20 0 15 0 49686156 11178180608 805803 33554432000 4194304 4196468 140727485769584 140172124314320 140173547173787 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10485] ppid=10420 vsize=10916192 memory=3223212 CPUtime=8.33 cores=1,3,5,7
/proc/10423/task/10485/stat : 10485 (java) S 10420 10423 4562 0 -1 1077944384 74779 13096 0 0 818 8 4 3 20 0 15 0 49686156 11178180608 805803 33554432000 4194304 4196468 140727485769584 140172515989488 140173547166338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10486] ppid=10420 vsize=10916192 memory=50 CPUtime=8.81 cores=1,3,5,7
/proc/10423/task/10486/stat : 10486 (java) S 10420 10423 4562 0 -1 1077944384 80453 13096 0 0 867 7 4 3 20 0 15 0 49686156 11178180608 805803 33554432000 4194304 4196468 140727485769584 140172514936944 140173547166338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10487] ppid=10420 vsize=10916192 memory=2680 CPUtime=3.17 cores=1,3,5,7
/proc/10423/task/10487/stat : 10487 (java) S 10420 10423 4562 0 -1 1077944384 73726 13096 0 0 302 8 4 3 20 0 15 0 49686156 11178180608 805803 33554432000 4194304 4196468 140727485769584 140172513884400 140173547166338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10488] ppid=10420 vsize=10916192 memory=3223212 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10488/stat : 10488 (java) S 10420 10423 4562 0 -1 1077944384 3 13096 0 0 0 0 4 3 20 0 15 0 49686156 11178180608 805803 33554432000 4194304 4196468 140727485769584 140172090755680 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10489] ppid=10420 vsize=10916192 memory=10036 CPUtime=1.61 cores=1,3,5,7
/proc/10423/task/10489/stat : 10489 (java) S 10420 10423 4562 0 -1 1077944384 2231 13096 0 0 69 85 4 3 20 0 15 0 49686156 11178180608 805803 33554432000 4194304 4196468 140727485769584 140172512832304 140173547166338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 3223212 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2472.67 s]
# the end of solver process 10423 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.87 s, system=3.35551 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2472.61 s]
/proc/loadavg: 1.67 1.54 1.58 3/215 10714
/proc/meminfo: memFree=14596012/32770624 swapFree=67108860/67108860
[pid=10423] ppid=10420 vsize=11112808 memory=3227416 CPUtime=2520.14 cores=1,3,5,7
/proc/10423/stat : 10423 (java) S 10420 10423 4562 0 -1 1077944320 825416 13096 0 0 251678 329 4 3 20 0 17 0 49686140 11379515392 806854 33554432000 4194304 4196468 140727485769584 140727485752128 140173547155191 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
/proc/10423/statm: 2778202 806854 3539 1 0 2739855 0
[pid=10423/tid=10476] ppid=10420 vsize=11112808 memory=5 CPUtime=2460.08 cores=1,3,5,7
/proc/10423/task/10476/stat : 10476 (java) R 10420 10423 4562 0 -1 4202560 445892 13096 0 0 245906 95 4 3 20 0 17 0 49686150 11379515392 806854 33554432000 4194304 4196468 140727485769584 140173518988976 140173135204876 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10477] ppid=10420 vsize=11112808 memory=3 CPUtime=9.04 cores=1,3,5,7
/proc/10423/task/10477/stat : 10477 (java) S 10420 10423 4562 0 -1 1077944384 31879 13096 0 0 866 31 4 3 20 0 17 0 49686150 11379515392 806854 33554432000 4194304 4196468 140727485769584 140173551397136 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10478] ppid=10420 vsize=11112808 memory=0 CPUtime=9.04 cores=1,3,5,7
/proc/10423/task/10478/stat : 10478 (java) S 10420 10423 4562 0 -1 1077944384 30329 13096 0 0 866 31 4 3 20 0 17 0 49686150 11379515392 806854 33554432000 4194304 4196468 140727485769584 140173439670672 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10479] ppid=10420 vsize=11112808 memory=30 CPUtime=9.03 cores=1,3,5,7
/proc/10423/task/10479/stat : 10479 (java) S 10420 10423 4562 0 -1 1077944384 22533 13096 0 0 866 30 4 3 20 0 17 0 49686150 11379515392 806854 33554432000 4194304 4196468 140727485769584 140173119580688 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10480] ppid=10420 vsize=11112808 memory=0 CPUtime=9.03 cores=1,3,5,7
/proc/10423/task/10480/stat : 10480 (java) S 10420 10423 4562 0 -1 1077944384 31120 13096 0 0 866 30 4 3 20 0 17 0 49686150 11379515392 806854 33554432000 4194304 4196468 140727485769584 140173118528144 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10481] ppid=10420 vsize=11112808 memory=0 CPUtime=2.52 cores=1,3,5,7
/proc/10423/task/10481/stat : 10481 (java) S 10420 10423 4562 0 -1 1077944384 29713 13096 0 0 217 28 4 3 20 0 17 0 49686152 11379515392 806854 33554432000 4194304 4196468 140727485769584 140172550601200 140173547166338 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10482] ppid=10420 vsize=11112808 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10482/stat : 10482 (java) S 10420 10423 4562 0 -1 1077944384 57 13096 0 0 0 0 4 3 20 0 17 0 49686153 11379515392 806854 33554432000 4194304 4196468 140727485769584 140172549547552 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10483] ppid=10420 vsize=11112808 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10483/stat : 10483 (java) S 10420 10423 4562 0 -1 1077944384 35 13096 0 0 0 0 4 3 20 0 17 0 49686153 11379515392 806854 33554432000 4194304 4196468 140727485769584 140172431713792 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10484] ppid=10420 vsize=11112808 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10484/stat : 10484 (java) S 10420 10423 4562 0 -1 1077944384 167 13096 0 0 0 0 4 3 20 0 17 0 49686156 11379515392 806854 33554432000 4194304 4196468 140727485769584 140172124314320 140173547173787 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10485] ppid=10420 vsize=11112808 memory=1631 CPUtime=8.33 cores=1,3,5,7
/proc/10423/task/10485/stat : 10485 (java) S 10420 10423 4562 0 -1 1077944384 74779 13096 0 0 818 8 4 3 20 0 17 0 49686156 11379515392 806854 33554432000 4194304 4196468 140727485769584 140172515989488 140173547166338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10486] ppid=10420 vsize=11112808 memory=288230574492221466 CPUtime=8.81 cores=1,3,5,7
/proc/10423/task/10486/stat : 10486 (java) S 10420 10423 4562 0 -1 1077944384 80453 13096 0 0 867 7 4 3 20 0 17 0 49686156 11379515392 806854 33554432000 4194304 4196468 140727485769584 140172514936944 140173547166338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10487] ppid=10420 vsize=11112808 memory=288230613214036277 CPUtime=3.17 cores=1,3,5,7
/proc/10423/task/10487/stat : 10487 (java) S 10420 10423 4562 0 -1 1077944384 73726 13096 0 0 302 8 4 3 20 0 17 0 49686156 11379515392 806854 33554432000 4194304 4196468 140727485769584 140172513884400 140173547166338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10488] ppid=10420 vsize=11112808 memory=13847486485760432 CPUtime=0.07 cores=1,3,5,7
/proc/10423/task/10488/stat : 10488 (java) S 10420 10423 4562 0 -1 1077944384 3 13096 0 0 0 0 4 3 20 0 17 0 49686156 11379515392 806854 33554432000 4194304 4196468 140727485769584 140172090755680 140173547165397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
[pid=10423/tid=10489] ppid=10420 vsize=11112808 memory=2200 CPUtime=1.61 cores=1,3,5,7
/proc/10423/task/10489/stat : 10489 (java) S 10420 10423 4562 0 -1 1077944384 2231 13096 0 0 69 85 4 3 20 0 17 0 49686156 11379515392 806854 33554432000 4194304 4196468 140727485769584 140172512832304 140173547166338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140727485778542 140727485781340 140727485781340 140727485784015 0
Current children cumulated CPU time: 2520.14 s
Current children cumulated vsize: 11112808 KiB
Current children cumulated memory: 3227416 KiB
Child status: 143
Real time (s): 2472.67
CPU time (s): 2520.23
CPU user time (s): 2516.87
CPU system time (s): 3.35551
CPU usage (%): 101.923
Max. virtual memory (cumulated for all children) (KiB): 11112808
Max. memory (cumulated for all children) (KiB): 3227416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.87
system time used= 3.35551
maximum resident set size= 3227440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 841175
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105187
involuntary context switches= 3460
# summary of solver processes directly reported to runsolver:
# pid: 10423
# total CPU time (s): 2520.23
# total CPU user time (s): 2516.87
# total CPU system time (s): 3.35551
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7396 second user time and 23.6873 second system time
The end