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 (5963 MiB free)
memory of node 1: 16384 MiB (10482 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296177-1532613129/watcher-4296177-1532613129 -o /tmp/evaluation-result-4296177-1532613129/solver-4296177-1532613129 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532582651-32592 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1176472947 -superng HOME/instance-4296177-1532613129.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5547, runsolver pid=5544
[startup+0.100155 s]*
/proc/loadavg: 1.64 1.67 1.81 3/207 5604
/proc/meminfo: memFree=16834496/32770624 swapFree=67108796/67108860
[pid=5547] ppid=5544 vsize=9972712 memory=18592 CPUtime=0.08 cores=1,3,5,7
/proc/5547/stat : 5547 (java) S 5544 5547 32560 0 -1 1077944320 4285 12990 0 0 1 0 5 2 20 0 6 0 78876129 10212057088 4648 33554432000 4194304 4196468 140732681212688 140732681195232 140352927080183 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
/proc/5547/statm: 2493178 4648 1932 1 0 2481616 0
[pid=5547/tid=5600] ppid=5544 vsize=9972712 memory=-8171376296011865461 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5600/stat : 5600 (java) R 5544 5547 32560 0 -1 4202560 2104 12990 0 0 0 0 5 2 20 0 6 0 78876138 10212057088 4648 33554432000 4194304 4196468 140732681212688 140352898916944 140352927102109 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5601] ppid=5544 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5601/stat : 5601 (java) S 5544 5547 32560 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 6 0 78876139 10212057088 4648 33554432000 4194304 4196468 140732681212688 140352931322640 140352927090389 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5602] ppid=5544 vsize=9972712 memory=140501692905088 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5602/stat : 5602 (java) S 5544 5547 32560 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 6 0 78876139 10212057088 4648 33554432000 4194304 4196468 140732681212688 140352830213008 140352927090389 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5603] ppid=5544 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5603/stat : 5603 (java) S 5544 5547 32560 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 6 0 78876139 10212057088 4648 33554432000 4194304 4196468 140732681212688 140352829160464 140352927090389 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5604] ppid=5544 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5604/stat : 5604 (java) S 5544 5547 32560 0 -1 1077944384 2 12990 0 0 0 0 5 2 20 0 6 0 78876139 10212057088 4648 33554432000 4194304 4196468 140732681212688 140352828107920 140352927090389 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18592 KiB
[startup+0.209991 s]*
/proc/loadavg: 1.64 1.67 1.81 3/216 5613
/proc/meminfo: memFree=16814692/32770624 swapFree=67108796/67108860
[pid=5547] ppid=5544 vsize=10818936 memory=41656 CPUtime=0.26 cores=1,3,5,7
/proc/5547/stat : 5547 (java) S 5544 5547 32560 0 -1 1077944320 8783 12990 0 0 17 2 5 2 20 0 15 0 78876129 11078590464 10414 33554432000 4194304 4196468 140732681212688 140732681195232 140352927080183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
/proc/5547/statm: 2704734 10414 2961 1 0 2667157 0
[pid=5547/tid=5600] ppid=5544 vsize=10818904 memory=-8171376296011865461 CPUtime=0.18 cores=1,3,5,7
/proc/5547/task/5600/stat : 5600 (java) D 5544 5547 32560 0 -1 1077944384 5860 12990 0 0 10 1 5 2 20 0 15 0 78876138 11078557696 10863 33554432000 4194304 4196468 140732681212688 140352898904992 140352919759405 0 4 0 16800975 18446744072101629476 0 0 -1 5 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5601] ppid=5544 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5601/stat : 5601 (java) S 5544 5547 32560 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 15 0 78876139 11078557696 10863 33554432000 4194304 4196468 140732681212688 140352931322640 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5602] ppid=5544 vsize=10818904 memory=140501692905088 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5602/stat : 5602 (java) S 5544 5547 32560 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 15 0 78876139 11078557696 10863 33554432000 4194304 4196468 140732681212688 140352830213008 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5603] ppid=5544 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5603/stat : 5603 (java) S 5544 5547 32560 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 15 0 78876139 11078590464 10863 33554432000 4194304 4196468 140732681212688 140352829160464 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5604] ppid=5544 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5604/stat : 5604 (java) S 5544 5547 32560 0 -1 1077944384 2 12990 0 0 0 0 5 2 20 0 15 0 78876139 11078590464 10863 33554432000 4194304 4196468 140732681212688 140352828107920 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5605] ppid=5544 vsize=10818936 memory=140501692905088 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5605/stat : 5605 (java) S 5544 5547 32560 0 -1 1077944384 2 12990 0 0 0 0 5 2 20 0 15 0 78876140 11078590464 10863 33554432000 4194304 4196468 140732681212688 140351929874416 140352927091330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5606] ppid=5544 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5606/stat : 5606 (java) S 5544 5547 32560 0 -1 1077944384 33 12990 0 0 0 0 5 2 20 0 15 0 78876141 11078590464 10863 33554432000 4194304 4196468 140732681212688 140351928820640 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5607] ppid=5544 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5607/stat : 5607 (java) S 5544 5547 32560 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 15 0 78876141 11078590464 10863 33554432000 4194304 4196468 140732681212688 140351813706736 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5608] ppid=5544 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5608/stat : 5608 (java) S 5544 5547 32560 0 -1 1077944384 3 12990 0 0 0 0 5 2 20 0 15 0 78876143 11078590464 10863 33554432000 4194304 4196468 140732681212688 140351506307280 140352927098779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5609] ppid=5544 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5547/task/5609/stat : 5609 (java) S 5544 5547 32560 0 -1 1077944384 512 12990 0 0 1 0 5 2 20 0 15 0 78876143 11078590464 10863 33554432000 4194304 4196468 140732681212688 140351895263728 140352927091330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5610] ppid=5544 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5547/task/5610/stat : 5610 (java) S 5544 5547 32560 0 -1 1077944384 88 12990 0 0 1 0 5 2 20 0 15 0 78876143 11078590464 10863 33554432000 4194304 4196468 140732681212688 140351894211184 140352927091330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5611] ppid=5544 vsize=10818936 memory=140501692905088 CPUtime=0.1 cores=1,3,5,7
/proc/5547/task/5611/stat : 5611 (java) S 5544 5547 32560 0 -1 1077944384 544 12990 0 0 3 0 5 2 20 0 15 0 78876143 11078590464 10863 33554432000 4194304 4196468 140732681212688 140351893158640 140352927091330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5612] ppid=5544 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5612/stat : 5612 (java) S 5544 5547 32560 0 -1 1077944384 3 12990 0 0 0 0 5 2 20 0 15 0 78876144 11078590464 10863 33554432000 4194304 4196468 140732681212688 140351472749664 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5613] ppid=5544 vsize=10818936 memory=140501692905088 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5613/stat : 5613 (java) S 5544 5547 32560 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 15 0 78876144 11078590464 10863 33554432000 4194304 4196468 140732681212688 140351892105520 140352927091330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818936 KiB
Current children cumulated memory: 41656 KiB
[startup+0.310318 s]*
/proc/loadavg: 1.64 1.67 1.81 3/216 5613
/proc/meminfo: memFree=16801420/32770624 swapFree=67108796/67108860
[pid=5547] ppid=5544 vsize=10819352 memory=51328 CPUtime=0.38 cores=1,3,5,7
/proc/5547/stat : 5547 (java) S 5544 5547 32560 0 -1 1077944320 10462 12990 0 0 29 2 5 2 20 0 15 0 78876129 11079016448 12832 33554432000 4194304 4196468 140732681212688 140732681195232 140352927080183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
/proc/5547/statm: 2704838 12832 3080 1 0 2667149 0
[pid=5547/tid=5600] ppid=5544 vsize=10819352 memory=6935054825532540783 CPUtime=0.28 cores=1,3,5,7
/proc/5547/task/5600/stat : 5600 (java) R 5544 5547 32560 0 -1 4202560 7060 12990 0 0 20 1 5 2 20 0 15 0 78876138 11079016448 12832 33554432000 4194304 4196468 140732681212688 140352898892192 140352910266992 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5601] ppid=5544 vsize=10819352 memory=-8389222452898340213 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5601/stat : 5601 (java) S 5544 5547 32560 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 15 0 78876139 11079016448 12832 33554432000 4194304 4196468 140732681212688 140352931322640 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5602] ppid=5544 vsize=10819352 memory=1328725297981317182 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5602/stat : 5602 (java) S 5544 5547 32560 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 15 0 78876139 11079016448 12832 33554432000 4194304 4196468 140732681212688 140352830213008 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5603] ppid=5544 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5603/stat : 5603 (java) S 5544 5547 32560 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 15 0 78876139 11079016448 12832 33554432000 4194304 4196468 140732681212688 140352829160464 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5604] ppid=5544 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5604/stat : 5604 (java) S 5544 5547 32560 0 -1 1077944384 2 12990 0 0 0 0 5 2 20 0 15 0 78876139 11079016448 12832 33554432000 4194304 4196468 140732681212688 140352828107920 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5605] ppid=5544 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5605/stat : 5605 (java) S 5544 5547 32560 0 -1 1077944384 2 12990 0 0 0 0 5 2 20 0 15 0 78876140 11079016448 12832 33554432000 4194304 4196468 140732681212688 140351929874416 140352927091330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5606] ppid=5544 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5606/stat : 5606 (java) S 5544 5547 32560 0 -1 1077944384 33 12990 0 0 0 0 5 2 20 0 15 0 78876141 11079016448 12832 33554432000 4194304 4196468 140732681212688 140351928820640 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5607] ppid=5544 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5607/stat : 5607 (java) S 5544 5547 32560 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 15 0 78876141 11079016448 12832 33554432000 4194304 4196468 140732681212688 140351813706736 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5608] ppid=5544 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5608/stat : 5608 (java) S 5544 5547 32560 0 -1 1077944384 3 12990 0 0 0 0 5 2 20 0 15 0 78876143 11079016448 12832 33554432000 4194304 4196468 140732681212688 140351506307280 140352927098779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5609] ppid=5544 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5547/task/5609/stat : 5609 (java) S 5544 5547 32560 0 -1 1077944384 512 12990 0 0 1 0 5 2 20 0 15 0 78876143 11079016448 12832 33554432000 4194304 4196468 140732681212688 140351895263728 140352927091330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5610] ppid=5544 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5547/task/5610/stat : 5610 (java) S 5544 5547 32560 0 -1 1077944384 89 12990 0 0 1 0 5 2 20 0 15 0 78876143 11079016448 12832 33554432000 4194304 4196468 140732681212688 140351894211184 140352927091330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5611] ppid=5544 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/5547/task/5611/stat : 5611 (java) S 5544 5547 32560 0 -1 1077944384 567 12990 0 0 5 0 5 2 20 0 15 0 78876143 11079016448 12832 33554432000 4194304 4196468 140732681212688 140351893158640 140352927091330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5612] ppid=5544 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5612/stat : 5612 (java) S 5544 5547 32560 0 -1 1077944384 3 12990 0 0 0 0 5 2 20 0 15 0 78876144 11079016448 12832 33554432000 4194304 4196468 140732681212688 140351472749664 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5613] ppid=5544 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5613/stat : 5613 (java) S 5544 5547 32560 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 15 0 78876144 11079016448 12832 33554432000 4194304 4196468 140732681212688 140351892105520 140352927091330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51328 KiB
[startup+0.700756 s]
/proc/loadavg: 1.64 1.67 1.81 4/216 5613
/proc/meminfo: memFree=16791420/32770624 swapFree=67108796/67108860
[pid=5547] ppid=5544 vsize=10819352 memory=84444 CPUtime=0.98 cores=1,3,5,7
/proc/5547/stat : 5547 (java) S 5544 5547 32560 0 -1 1077944320 16784 12990 0 0 87 4 5 2 20 0 15 0 78876129 11079016448 21111 33554432000 4194304 4196468 140732681212688 140732681195232 140352927080183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
/proc/5547/statm: 2704838 21111 3237 1 0 2667149 0
[pid=5547/tid=5600] ppid=5544 vsize=10819352 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/5547/task/5600/stat : 5600 (java) R 5544 5547 32560 0 -1 4202560 12312 12990 0 0 56 2 5 2 20 0 15 0 78876138 11079016448 21111 33554432000 4194304 4196468 140732681212688 140352898901008 140352927102109 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5601] ppid=5544 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5601/stat : 5601 (java) S 5544 5547 32560 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 15 0 78876139 11079016448 21111 33554432000 4194304 4196468 140732681212688 140352931322640 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5602] ppid=5544 vsize=10819352 memory=7886766292050524213 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5602/stat : 5602 (java) S 5544 5547 32560 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 15 0 78876139 11079016448 21111 33554432000 4194304 4196468 140732681212688 140352830213008 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5603] ppid=5544 vsize=10819352 memory=5860705218891763792 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5603/stat : 5603 (java) S 5544 5547 32560 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 15 0 78876139 11079016448 21111 33554432000 4194304 4196468 140732681212688 140352829160464 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5604] ppid=5544 vsize=10819352 memory=6226596351323422817 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5604/stat : 5604 (java) S 5544 5547 32560 0 -1 1077944384 2 12990 0 0 0 0 5 2 20 0 15 0 78876139 11079016448 21175 33554432000 4194304 4196468 140732681212688 140352828107920 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5605] ppid=5544 vsize=10819352 memory=2319389199337275488 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5605/stat : 5605 (java) S 5544 5547 32560 0 -1 1077944384 6 12990 0 0 0 0 5 2 20 0 15 0 78876140 11079016448 21175 33554432000 4194304 4196468 140732681212688 140351929874416 140352927091330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5606] ppid=5544 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5606/stat : 5606 (java) S 5544 5547 32560 0 -1 1077944384 33 12990 0 0 0 0 5 2 20 0 15 0 78876141 11079016448 21175 33554432000 4194304 4196468 140732681212688 140351928820640 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5607] ppid=5544 vsize=10819352 memory=3708 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5607/stat : 5607 (java) S 5544 5547 32560 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 15 0 78876141 11079016448 21175 33554432000 4194304 4196468 140732681212688 140351813706736 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5608] ppid=5544 vsize=10819352 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5608/stat : 5608 (java) S 5544 5547 32560 0 -1 1077944384 3 12990 0 0 0 0 5 2 20 0 15 0 78876143 11079016448 21175 33554432000 4194304 4196468 140732681212688 140351506307280 140352927098779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5609] ppid=5544 vsize=10819352 memory=2244 CPUtime=0.14 cores=1,3,5,7
/proc/5547/task/5609/stat : 5609 (java) S 5544 5547 32560 0 -1 1077944384 888 12990 0 0 7 0 5 2 20 0 15 0 78876143 11079016448 21175 33554432000 4194304 4196468 140732681212688 140351895263728 140352927091330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5610] ppid=5544 vsize=10819352 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/5547/task/5610/stat : 5610 (java) S 5544 5547 32560 0 -1 1077944384 676 12990 0 0 9 0 5 2 20 0 15 0 78876143 11079016448 21175 33554432000 4194304 4196468 140732681212688 140351894211184 140352927091330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5611] ppid=5544 vsize=10819352 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/5547/task/5611/stat : 5611 (java) R 5544 5547 32560 0 -1 4202560 666 12990 0 0 13 0 5 2 20 0 15 0 78876143 11079016448 21175 33554432000 4194304 4196468 140732681212688 140351893158640 140352906502800 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5612] ppid=5544 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5612/stat : 5612 (java) S 5544 5547 32560 0 -1 1077944384 3 12990 0 0 0 0 5 2 20 0 15 0 78876144 11079016448 21175 33554432000 4194304 4196468 140732681212688 140351472749664 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5613] ppid=5544 vsize=10819352 memory=30305 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5613/stat : 5613 (java) S 5544 5547 32560 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 15 0 78876144 11079016448 21175 33554432000 4194304 4196468 140732681212688 140351892105520 140352927091330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84444 KiB
[startup+1.50076 s]
/proc/loadavg: 1.64 1.67 1.81 4/216 5613
/proc/meminfo: memFree=16745616/32770624 swapFree=67108796/67108860
[pid=5547] ppid=5544 vsize=10834252 memory=201708 CPUtime=2.74 cores=1,3,5,7
/proc/5547/stat : 5547 (java) S 5544 5547 32560 0 -1 1077944320 24177 12990 0 0 257 10 5 2 20 0 15 0 78876129 11094274048 50427 33554432000 4194304 4196468 140732681212688 140732681195232 140352927080183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
/proc/5547/statm: 2708563 50427 3475 1 0 2670221 0
[pid=5547/tid=5600] ppid=5544 vsize=10834252 memory=124 CPUtime=1.41 cores=1,3,5,7
/proc/5547/task/5600/stat : 5600 (java) R 5544 5547 32560 0 -1 4202560 17192 12990 0 0 129 5 5 2 20 0 15 0 78876138 11094274048 50427 33554432000 4194304 4196468 140732681212688 140352898897312 140352850123299 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5601] ppid=5544 vsize=10834252 memory=77 CPUtime=0.08 cores=1,3,5,7
/proc/5547/task/5601/stat : 5601 (java) S 5544 5547 32560 0 -1 1077944384 24 12990 0 0 1 0 5 2 20 0 15 0 78876139 11094274048 50427 33554432000 4194304 4196468 140732681212688 140352931322640 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5602] ppid=5544 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5547/task/5602/stat : 5602 (java) S 5544 5547 32560 0 -1 1077944384 182 12990 0 0 1 0 5 2 20 0 15 0 78876139 11094274048 50427 33554432000 4194304 4196468 140732681212688 140352830213008 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5603] ppid=5544 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5547/task/5603/stat : 5603 (java) S 5544 5547 32560 0 -1 1077944384 61 12990 0 0 1 0 5 2 20 0 15 0 78876139 11094274048 50427 33554432000 4194304 4196468 140732681212688 140352829160464 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5604] ppid=5544 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5547/task/5604/stat : 5604 (java) S 5544 5547 32560 0 -1 1077944384 28 12990 0 0 1 0 5 2 20 0 15 0 78876139 11094274048 50427 33554432000 4194304 4196468 140732681212688 140352828107920 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5605] ppid=5544 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5547/task/5605/stat : 5605 (java) S 5544 5547 32560 0 -1 1077944384 58 12990 0 0 1 0 5 2 20 0 15 0 78876140 11094274048 50427 33554432000 4194304 4196468 140732681212688 140351929874416 140352927091330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5606] ppid=5544 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5606/stat : 5606 (java) S 5544 5547 32560 0 -1 1077944384 34 12990 0 0 0 0 5 2 20 0 15 0 78876141 11094274048 50427 33554432000 4194304 4196468 140732681212688 140351928820704 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5607] ppid=5544 vsize=10834252 memory=-7591201286991560646 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5607/stat : 5607 (java) S 5544 5547 32560 0 -1 1077944384 2 12990 0 0 0 0 5 2 20 0 15 0 78876141 11094274048 50427 33554432000 4194304 4196468 140732681212688 140351813706736 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5608] ppid=5544 vsize=10834252 memory=-2127761030944088055 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5608/stat : 5608 (java) S 5544 5547 32560 0 -1 1077944384 3 12990 0 0 0 0 5 2 20 0 15 0 78876143 11094274048 50427 33554432000 4194304 4196468 140732681212688 140351506307280 140352927098779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5609] ppid=5544 vsize=10834252 memory=-2897801490638248331 CPUtime=0.47 cores=1,3,5,7
/proc/5547/task/5609/stat : 5609 (java) S 5544 5547 32560 0 -1 1077944384 1764 12990 0 0 40 0 5 2 20 0 15 0 78876143 11094274048 50427 33554432000 4194304 4196468 140732681212688 140351895263728 140352927091330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5610] ppid=5544 vsize=10834252 memory=-6363967285786469784 CPUtime=0.48 cores=1,3,5,7
/proc/5547/task/5610/stat : 5610 (java) S 5544 5547 32560 0 -1 1077944384 1228 12990 0 0 41 0 5 2 20 0 15 0 78876143 11094274048 50427 33554432000 4194304 4196468 140732681212688 140351894211184 140352927091330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5611] ppid=5544 vsize=10834252 memory=-2746958450906831519 CPUtime=0.44 cores=1,3,5,7
/proc/5547/task/5611/stat : 5611 (java) S 5544 5547 32560 0 -1 1077944384 1407 12990 0 0 37 0 5 2 20 0 15 0 78876143 11094274048 50427 33554432000 4194304 4196468 140732681212688 140351893158640 140352927091330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5612] ppid=5544 vsize=10834252 memory=64 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5612/stat : 5612 (java) S 5544 5547 32560 0 -1 1077944384 3 12990 0 0 0 0 5 2 20 0 15 0 78876144 11094274048 50427 33554432000 4194304 4196468 140732681212688 140351472749664 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5613] ppid=5544 vsize=10834252 memory=33 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5613/stat : 5613 (java) S 5544 5547 32560 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 15 0 78876144 11094274048 50427 33554432000 4194304 4196468 140732681212688 140351892105520 140352927091330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/5547/task/5600/stat : 5600 (java) R 5544 5547 32560 0 -1 4202560 77342 12990 0 0 236956 34 5 2 20 0 15 0 78876138 11178180608 184865 33554432000 4194304 4196468 140732681212688 140352898914064 140352510847494 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5601] ppid=5544 vsize=10916192 memory=8112282956445269571 CPUtime=5.5 cores=1,3,5,7
/proc/5547/task/5601/stat : 5601 (java) S 5544 5547 32560 0 -1 1077944384 4297 12990 0 0 511 32 5 2 20 0 15 0 78876139 11178180608 184865 33554432000 4194304 4196468 140732681212688 140352931322640 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5602] ppid=5544 vsize=10916192 memory=741968 CPUtime=5.5 cores=1,3,5,7
/proc/5547/task/5602/stat : 5602 (java) S 5544 5547 32560 0 -1 1077944384 6779 12990 0 0 513 30 5 2 20 0 15 0 78876139 11178180608 184865 33554432000 4194304 4196468 140732681212688 140352830213008 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5603] ppid=5544 vsize=10916192 memory=741912 CPUtime=5.5 cores=1,3,5,7
/proc/5547/task/5603/stat : 5603 (java) S 5544 5547 32560 0 -1 1077944384 7457 12990 0 0 512 31 5 2 20 0 15 0 78876139 11178180608 184865 33554432000 4194304 4196468 140732681212688 140352829160464 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5604] ppid=5544 vsize=10916192 memory=739972 CPUtime=5.49 cores=1,3,5,7
/proc/5547/task/5604/stat : 5604 (java) S 5544 5547 32560 0 -1 1077944384 10898 12990 0 0 513 29 5 2 20 0 15 0 78876139 11178180608 184865 33554432000 4194304 4196468 140732681212688 140352828107920 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5605] ppid=5544 vsize=10916192 memory=739460 CPUtime=4.99 cores=1,3,5,7
/proc/5547/task/5605/stat : 5605 (java) S 5544 5547 32560 0 -1 1077944384 10259 12990 0 0 463 29 5 2 20 0 15 0 78876140 11178180608 184865 33554432000 4194304 4196468 140732681212688 140351929874416 140352927091330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5606] ppid=5544 vsize=10916192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5606/stat : 5606 (java) S 5544 5547 32560 0 -1 1077944384 38 12990 0 0 0 0 5 2 20 0 15 0 78876141 11178180608 184865 33554432000 4194304 4196468 140732681212688 140351928820704 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5607] ppid=5544 vsize=10916192 memory=742024 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5607/stat : 5607 (java) S 5544 5547 32560 0 -1 1077944384 5 12990 0 0 0 0 5 2 20 0 15 0 78876141 11178180608 184865 33554432000 4194304 4196468 140732681212688 140351813706752 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5608] ppid=5544 vsize=10916192 memory=1608 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5608/stat : 5608 (java) S 5544 5547 32560 0 -1 1077944384 3 12990 0 0 0 0 5 2 20 0 15 0 78876143 11178180608 184865 33554432000 4194304 4196468 140732681212688 140351506307280 140352927098779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5609] ppid=5544 vsize=10916192 memory=3708 CPUtime=4.9 cores=1,3,5,7
/proc/5547/task/5609/stat : 5609 (java) S 5544 5547 32560 0 -1 1077944384 25090 12990 0 0 480 3 5 2 20 0 15 0 78876143 11178180608 184865 33554432000 4194304 4196468 140732681212688 140351895263728 140352927091330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5610] ppid=5544 vsize=10916192 memory=23308 CPUtime=5.23 cores=1,3,5,7
/proc/5547/task/5610/stat : 5610 (java) S 5544 5547 32560 0 -1 1077944384 28359 12990 0 0 513 3 5 2 20 0 15 0 78876143 11178180608 184865 33554432000 4194304 4196468 140732681212688 140351894211184 140352927091330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5611] ppid=5544 vsize=10916192 memory=742024 CPUtime=2.05 cores=1,3,5,7
/proc/5547/task/5611/stat : 5611 (java) S 5544 5547 32560 0 -1 1077944384 25043 12990 0 0 193 5 5 2 20 0 15 0 78876143 11178180608 184865 33554432000 4194304 4196468 140732681212688 140351893158640 140352927091330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5612] ppid=5544 vsize=10916192 memory=741968 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5612/stat : 5612 (java) S 5544 5547 32560 0 -1 1077944384 3 12990 0 0 0 0 5 2 20 0 15 0 78876144 11178180608 184865 33554432000 4194304 4196468 140732681212688 140351472749664 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5613] ppid=5544 vsize=10916192 memory=741896 CPUtime=1.54 cores=1,3,5,7
/proc/5547/task/5613/stat : 5613 (java) S 5544 5547 32560 0 -1 1077944384 1481 12990 0 0 63 84 5 2 20 0 15 0 78876144 11178180608 184865 33554432000 4194304 4196468 140732681212688 140351892105520 140352927091330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
Current children cumulated CPU time: 2410.14 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 739460 KiB
[startup+2442.3 s]
/proc/loadavg: 0.69 0.70 0.77 2/194 5757
/proc/meminfo: memFree=16868356/32770624 swapFree=67108796/67108860
[pid=5547] ppid=5544 vsize=10916192 memory=735388 CPUtime=2470.55 cores=1,3,5,7
/proc/5547/stat : 5547 (java) S 5544 5547 32560 0 -1 1077944320 199908 12990 0 0 246809 239 5 2 20 0 15 0 78876129 11178180608 183847 33554432000 4194304 4196468 140732681212688 140732681195232 140352927080183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
/proc/5547/statm: 2729048 183847 3527 1 0 2690701 0
[pid=5547/tid=5600] ppid=5544 vsize=10916192 memory=735388 CPUtime=2429.64 cores=1,3,5,7
/proc/5547/task/5600/stat : 5600 (java) R 5544 5547 32560 0 -1 4202560 77620 12990 0 0 242923 34 5 2 20 0 15 0 78876138 11178180608 183847 33554432000 4194304 4196468 140732681212688 140352898914272 140352517276216 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5601] ppid=5544 vsize=10916192 memory=735388 CPUtime=5.64 cores=1,3,5,7
/proc/5547/task/5601/stat : 5601 (java) S 5544 5547 32560 0 -1 1077944384 4601 12990 0 0 524 33 5 2 20 0 15 0 78876139 11178180608 183847 33554432000 4194304 4196468 140732681212688 140352931322640 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5602] ppid=5544 vsize=10916192 memory=735388 CPUtime=5.65 cores=1,3,5,7
/proc/5547/task/5602/stat : 5602 (java) S 5544 5547 32560 0 -1 1077944384 6797 12990 0 0 527 31 5 2 20 0 15 0 78876139 11178180608 183847 33554432000 4194304 4196468 140732681212688 140352830213008 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5603] ppid=5544 vsize=10916192 memory=735388 CPUtime=5.65 cores=1,3,5,7
/proc/5547/task/5603/stat : 5603 (java) S 5544 5547 32560 0 -1 1077944384 7482 12990 0 0 526 32 5 2 20 0 15 0 78876139 11178180608 183847 33554432000 4194304 4196468 140732681212688 140352829160464 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5604] ppid=5544 vsize=10916192 memory=735388 CPUtime=5.63 cores=1,3,5,7
/proc/5547/task/5604/stat : 5604 (java) S 5544 5547 32560 0 -1 1077944384 10921 12990 0 0 527 29 5 2 20 0 15 0 78876139 11178180608 183847 33554432000 4194304 4196468 140732681212688 140352828107920 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5605] ppid=5544 vsize=10916192 memory=735388 CPUtime=5.11 cores=1,3,5,7
/proc/5547/task/5605/stat : 5605 (java) S 5544 5547 32560 0 -1 1077944384 10271 12990 0 0 474 30 5 2 20 0 15 0 78876140 11178180608 183847 33554432000 4194304 4196468 140732681212688 140351929874416 140352927091330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5606] ppid=5544 vsize=10916192 memory=3708 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5606/stat : 5606 (java) S 5544 5547 32560 0 -1 1077944384 38 12990 0 0 0 0 5 2 20 0 15 0 78876141 11178180608 183847 33554432000 4194304 4196468 140732681212688 140351928820704 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5607] ppid=5544 vsize=10916192 memory=735388 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5607/stat : 5607 (java) S 5544 5547 32560 0 -1 1077944384 5 12990 0 0 0 0 5 2 20 0 15 0 78876141 11178180608 183847 33554432000 4194304 4196468 140732681212688 140351813706752 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5608] ppid=5544 vsize=10916192 memory=3708 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5608/stat : 5608 (java) S 5544 5547 32560 0 -1 1077944384 3 12990 0 0 0 0 5 2 20 0 15 0 78876143 11178180608 183847 33554432000 4194304 4196468 140732681212688 140351506307280 140352927098779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5609] ppid=5544 vsize=10916192 memory=8112282956445269571 CPUtime=4.9 cores=1,3,5,7
/proc/5547/task/5609/stat : 5609 (java) S 5544 5547 32560 0 -1 1077944384 25090 12990 0 0 480 3 5 2 20 0 15 0 78876143 11178180608 183847 33554432000 4194304 4196468 140732681212688 140351895263728 140352927091330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5610] ppid=5544 vsize=10916192 memory=1608 CPUtime=5.23 cores=1,3,5,7
/proc/5547/task/5610/stat : 5610 (java) S 5544 5547 32560 0 -1 1077944384 28359 12990 0 0 513 3 5 2 20 0 15 0 78876143 11178180608 183847 33554432000 4194304 4196468 140732681212688 140351894211184 140352927091330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5611] ppid=5544 vsize=10916192 memory=735388 CPUtime=2.05 cores=1,3,5,7
/proc/5547/task/5611/stat : 5611 (java) S 5544 5547 32560 0 -1 1077944384 25043 12990 0 0 193 5 5 2 20 0 15 0 78876143 11178180608 183847 33554432000 4194304 4196468 140732681212688 140351893158640 140352927091330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5612] ppid=5544 vsize=10916192 memory=735388 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5612/stat : 5612 (java) S 5544 5547 32560 0 -1 1077944384 3 12990 0 0 0 0 5 2 20 0 15 0 78876144 11178180608 183847 33554432000 4194304 4196468 140732681212688 140351472749664 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5613] ppid=5544 vsize=10916192 memory=735388 CPUtime=1.59 cores=1,3,5,7
/proc/5547/task/5613/stat : 5613 (java) S 5544 5547 32560 0 -1 1077944384 1485 12990 0 0 65 87 5 2 20 0 15 0 78876144 11178180608 183847 33554432000 4194304 4196468 140732681212688 140351892105520 140352927091330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
Current children cumulated CPU time: 2470.55 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 735388 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2491.5 s]
/proc/loadavg: 0.61 0.67 0.75 2/194 5758
/proc/meminfo: memFree=16868356/32770624 swapFree=67108796/67108860
[pid=5547] ppid=5544 vsize=10916192 memory=735460 CPUtime=2520.08 cores=1,3,5,7
/proc/5547/stat : 5547 (java) S 5544 5547 32560 0 -1 1077944320 200571 12990 0 0 251758 243 5 2 20 0 15 0 78876129 11178180608 183865 33554432000 4194304 4196468 140732681212688 140732681195232 140352927080183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
/proc/5547/statm: 2729048 183865 3527 1 0 2690701 0
[pid=5547/tid=5600] ppid=5544 vsize=10916192 memory=735460 CPUtime=2478.59 cores=1,3,5,7
/proc/5547/task/5600/stat : 5600 (java) R 5544 5547 32560 0 -1 4202560 77949 12990 0 0 247817 35 5 2 20 0 15 0 78876138 11178180608 183865 33554432000 4194304 4196468 140732681212688 140352898913648 140352515299840 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5601] ppid=5544 vsize=10916192 memory=15044 CPUtime=5.75 cores=1,3,5,7
/proc/5547/task/5601/stat : 5601 (java) S 5544 5547 32560 0 -1 1077944384 4650 12990 0 0 535 33 5 2 20 0 15 0 78876139 11178180608 183865 33554432000 4194304 4196468 140732681212688 140352931322640 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5602] ppid=5544 vsize=10916192 memory=735460 CPUtime=5.76 cores=1,3,5,7
/proc/5547/task/5602/stat : 5602 (java) S 5544 5547 32560 0 -1 1077944384 6808 12990 0 0 537 32 5 2 20 0 15 0 78876139 11178180608 183865 33554432000 4194304 4196468 140732681212688 140352830213008 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5603] ppid=5544 vsize=10916192 memory=735460 CPUtime=5.76 cores=1,3,5,7
/proc/5547/task/5603/stat : 5603 (java) S 5544 5547 32560 0 -1 1077944384 7494 12990 0 0 537 32 5 2 20 0 15 0 78876139 11178180608 183865 33554432000 4194304 4196468 140732681212688 140352829160464 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5604] ppid=5544 vsize=10916192 memory=735460 CPUtime=5.75 cores=1,3,5,7
/proc/5547/task/5604/stat : 5604 (java) S 5544 5547 32560 0 -1 1077944384 10970 12990 0 0 538 30 5 2 20 0 15 0 78876139 11178180608 183865 33554432000 4194304 4196468 140732681212688 140352828107920 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5605] ppid=5544 vsize=10916192 memory=735460 CPUtime=5.21 cores=1,3,5,7
/proc/5547/task/5605/stat : 5605 (java) S 5544 5547 32560 0 -1 1077944384 10460 12990 0 0 484 30 5 2 20 0 15 0 78876140 11178180608 183865 33554432000 4194304 4196468 140732681212688 140351929874416 140352927091330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5606] ppid=5544 vsize=10916192 memory=735460 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5606/stat : 5606 (java) S 5544 5547 32560 0 -1 1077944384 38 12990 0 0 0 0 5 2 20 0 15 0 78876141 11178180608 183865 33554432000 4194304 4196468 140732681212688 140351928820704 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5607] ppid=5544 vsize=10916192 memory=55 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5607/stat : 5607 (java) S 5544 5547 32560 0 -1 1077944384 5 12990 0 0 0 0 5 2 20 0 15 0 78876141 11178180608 183865 33554432000 4194304 4196468 140732681212688 140351813706752 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5608] ppid=5544 vsize=10916192 memory=735460 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5608/stat : 5608 (java) S 5544 5547 32560 0 -1 1077944384 3 12990 0 0 0 0 5 2 20 0 15 0 78876143 11178180608 183865 33554432000 4194304 4196468 140732681212688 140351506307280 140352927098779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5609] ppid=5544 vsize=10916192 memory=735460 CPUtime=4.9 cores=1,3,5,7
/proc/5547/task/5609/stat : 5609 (java) S 5544 5547 32560 0 -1 1077944384 25092 12990 0 0 480 3 5 2 20 0 15 0 78876143 11178180608 183865 33554432000 4194304 4196468 140732681212688 140351895263728 140352927091330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5610] ppid=5544 vsize=10916192 memory=735460 CPUtime=5.23 cores=1,3,5,7
/proc/5547/task/5610/stat : 5610 (java) S 5544 5547 32560 0 -1 1077944384 28361 12990 0 0 513 3 5 2 20 0 15 0 78876143 11178180608 183865 33554432000 4194304 4196468 140732681212688 140351894211184 140352927091330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5611] ppid=5544 vsize=10916192 memory=8112282956445269571 CPUtime=2.05 cores=1,3,5,7
/proc/5547/task/5611/stat : 5611 (java) S 5544 5547 32560 0 -1 1077944384 25045 12990 0 0 193 5 5 2 20 0 15 0 78876143 11178180608 183865 33554432000 4194304 4196468 140732681212688 140351893158640 140352927091330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5612] ppid=5544 vsize=10916192 memory=15044 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5612/stat : 5612 (java) S 5544 5547 32560 0 -1 1077944384 3 12990 0 0 0 0 5 2 20 0 15 0 78876144 11178180608 183865 33554432000 4194304 4196468 140732681212688 140351472749664 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5613] ppid=5544 vsize=10916192 memory=8112282956445269571 CPUtime=1.61 cores=1,3,5,7
/proc/5547/task/5613/stat : 5613 (java) S 5544 5547 32560 0 -1 1077944384 1503 12990 0 0 66 88 5 2 20 0 15 0 78876144 11178180608 183865 33554432000 4194304 4196468 140732681212688 140351892105520 140352927091330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 735460 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2491.54 s]
# the end of solver process 5547 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.67 s, system=2.4688 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2491.5 s]
/proc/loadavg: 0.61 0.67 0.75 2/194 5758
/proc/meminfo: memFree=16868356/32770624 swapFree=67108796/67108860
[pid=5547] ppid=5544 vsize=10916192 memory=735460 CPUtime=2520.08 cores=1,3,5,7
/proc/5547/stat : 5547 (java) S 5544 5547 32560 0 -1 1077944320 200571 12990 0 0 251758 243 5 2 20 0 15 0 78876129 11178180608 183865 33554432000 4194304 4196468 140732681212688 140732681195232 140352927080183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
/proc/5547/statm: 2729048 183865 3527 1 0 2690701 0
[pid=5547/tid=5600] ppid=5544 vsize=10916192 memory=735460 CPUtime=2478.59 cores=1,3,5,7
/proc/5547/task/5600/stat : 5600 (java) R 5544 5547 32560 0 -1 4202560 77949 12990 0 0 247817 35 5 2 20 0 15 0 78876138 11178180608 183865 33554432000 4194304 4196468 140732681212688 140352898913648 140352515299840 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5601] ppid=5544 vsize=10916192 memory=15044 CPUtime=5.75 cores=1,3,5,7
/proc/5547/task/5601/stat : 5601 (java) S 5544 5547 32560 0 -1 1077944384 4650 12990 0 0 535 33 5 2 20 0 15 0 78876139 11178180608 183865 33554432000 4194304 4196468 140732681212688 140352931322640 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5602] ppid=5544 vsize=10916192 memory=735460 CPUtime=5.76 cores=1,3,5,7
/proc/5547/task/5602/stat : 5602 (java) S 5544 5547 32560 0 -1 1077944384 6808 12990 0 0 537 32 5 2 20 0 15 0 78876139 11178180608 183865 33554432000 4194304 4196468 140732681212688 140352830213008 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5603] ppid=5544 vsize=10916192 memory=735460 CPUtime=5.76 cores=1,3,5,7
/proc/5547/task/5603/stat : 5603 (java) S 5544 5547 32560 0 -1 1077944384 7494 12990 0 0 537 32 5 2 20 0 15 0 78876139 11178180608 183865 33554432000 4194304 4196468 140732681212688 140352829160464 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5604] ppid=5544 vsize=10916192 memory=735460 CPUtime=5.75 cores=1,3,5,7
/proc/5547/task/5604/stat : 5604 (java) S 5544 5547 32560 0 -1 1077944384 10970 12990 0 0 538 30 5 2 20 0 15 0 78876139 11178180608 183865 33554432000 4194304 4196468 140732681212688 140352828107920 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5605] ppid=5544 vsize=10916192 memory=735460 CPUtime=5.21 cores=1,3,5,7
/proc/5547/task/5605/stat : 5605 (java) S 5544 5547 32560 0 -1 1077944384 10460 12990 0 0 484 30 5 2 20 0 15 0 78876140 11178180608 183865 33554432000 4194304 4196468 140732681212688 140351929874416 140352927091330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5606] ppid=5544 vsize=10916192 memory=735460 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5606/stat : 5606 (java) S 5544 5547 32560 0 -1 1077944384 38 12990 0 0 0 0 5 2 20 0 15 0 78876141 11178180608 183865 33554432000 4194304 4196468 140732681212688 140351928820704 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5607] ppid=5544 vsize=10916192 memory=55 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5607/stat : 5607 (java) S 5544 5547 32560 0 -1 1077944384 5 12990 0 0 0 0 5 2 20 0 15 0 78876141 11178180608 183865 33554432000 4194304 4196468 140732681212688 140351813706752 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5608] ppid=5544 vsize=10916192 memory=735460 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5608/stat : 5608 (java) S 5544 5547 32560 0 -1 1077944384 3 12990 0 0 0 0 5 2 20 0 15 0 78876143 11178180608 183865 33554432000 4194304 4196468 140732681212688 140351506307280 140352927098779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5609] ppid=5544 vsize=10916192 memory=735460 CPUtime=4.9 cores=1,3,5,7
/proc/5547/task/5609/stat : 5609 (java) S 5544 5547 32560 0 -1 1077944384 25092 12990 0 0 480 3 5 2 20 0 15 0 78876143 11178180608 183865 33554432000 4194304 4196468 140732681212688 140351895263728 140352927091330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5610] ppid=5544 vsize=10916192 memory=735460 CPUtime=5.23 cores=1,3,5,7
/proc/5547/task/5610/stat : 5610 (java) S 5544 5547 32560 0 -1 1077944384 28361 12990 0 0 513 3 5 2 20 0 15 0 78876143 11178180608 183865 33554432000 4194304 4196468 140732681212688 140351894211184 140352927091330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5611] ppid=5544 vsize=10916192 memory=8112282956445269571 CPUtime=2.05 cores=1,3,5,7
/proc/5547/task/5611/stat : 5611 (java) S 5544 5547 32560 0 -1 1077944384 25045 12990 0 0 193 5 5 2 20 0 15 0 78876143 11178180608 183865 33554432000 4194304 4196468 140732681212688 140351893158640 140352927091330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5612] ppid=5544 vsize=10916192 memory=15044 CPUtime=0.07 cores=1,3,5,7
/proc/5547/task/5612/stat : 5612 (java) S 5544 5547 32560 0 -1 1077944384 3 12990 0 0 0 0 5 2 20 0 15 0 78876144 11178180608 183865 33554432000 4194304 4196468 140732681212688 140351472749664 140352927090389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
[pid=5547/tid=5613] ppid=5544 vsize=10916192 memory=8112282956445269571 CPUtime=1.61 cores=1,3,5,7
/proc/5547/task/5613/stat : 5613 (java) S 5544 5547 32560 0 -1 1077944384 1503 12990 0 0 66 88 5 2 20 0 15 0 78876144 11178180608 183865 33554432000 4194304 4196468 140732681212688 140351892105520 140352927091330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14491648 140732681218219 140732681221468 140732681221468 140732681224143 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 735460 KiB
Child status: 143
Real time (s): 2491.54
CPU time (s): 2520.14
CPU user time (s): 2517.67
CPU system time (s): 2.4688
CPU usage (%): 101.148
Max. virtual memory (cumulated for all children) (KiB): 10916784
Max. memory (cumulated for all children) (KiB): 863820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.67
system time used= 2.4688
maximum resident set size= 863820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 214372
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 165461
involuntary context switches= 5166
# summary of solver processes directly reported to runsolver:
# pid: 5547
# total CPU time (s): 2520.14
# total CPU user time (s): 2517.67
# total CPU system time (s): 2.4688
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0894 second user time and 24.2687 second system time
The end