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 (8697 MiB free)
memory of node 1: 16384 MiB (13179 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387397-1568302750/watcher-4387397-1568302750 -o /tmp/evaluation-result-4387397-1568302750/solver-4387397-1568302750 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568282865-6843 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1333254332 HOME/instance-4387397-1568302750.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=12070, runsolver pid=12067
Current StackSize limit: 8192 KiB
[startup+0.100108 s]*
/proc/loadavg: 1.57 1.53 1.41 2/212 12123
/proc/meminfo: memFree=22397748/32770624 swapFree=66977604/67108860
[pid=12070] ppid=12067 vsize=9972712 memory=16284 CPUtime=0.09 cores=0,2,4,6
/proc/12070/stat : 12070 (java) S 12067 12070 5836 0 -1 1077944320 4297 13144 0 0 1 0 5 3 20 0 6 0 406532284 10212057088 4071 33554432000 4194304 4196468 140733077833184 140733077815728 140365091827447 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
/proc/12070/statm: 2493178 4071 1920 1 0 2481616 0
[pid=12070/tid=12123] ppid=12067 vsize=9972712 memory=720575944405811505 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12123/stat : 12123 (java) R 12067 12070 5836 0 -1 4202560 2116 13144 0 0 0 0 5 3 20 0 6 0 406532294 10212057088 4071 33554432000 4194304 4196468 140733077833184 140365063664208 140365091849373 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12124] ppid=12067 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12124/stat : 12124 (java) S 12067 12070 5836 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 6 0 406532294 10212057088 4071 33554432000 4194304 4196468 140733077833184 140365096069520 140365091837653 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12125] ppid=12067 vsize=9972712 memory=140214490909728 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12125/stat : 12125 (java) S 12067 12070 5836 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 6 0 406532294 10212057088 4071 33554432000 4194304 4196468 140733077833184 140364984342800 140365091837653 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12126] ppid=12067 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12126/stat : 12126 (java) S 12067 12070 5836 0 -1 1077944384 2 13144 0 0 0 0 5 3 20 0 6 0 406532294 10212057088 4071 33554432000 4194304 4196468 140733077833184 140364983290512 140365091837653 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12127] ppid=12067 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12127/stat : 12127 (java) S 12067 12070 5836 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 6 0 406532294 10212057088 4071 33554432000 4194304 4196468 140733077833184 140364982237712 140365091837653 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16284 KiB
[startup+0.210811 s]*
/proc/loadavg: 1.57 1.53 1.41 4/225 12136
/proc/meminfo: memFree=22378040/32770624 swapFree=66977604/67108860
[pid=12070] ppid=12067 vsize=10818940 memory=35696 CPUtime=0.25 cores=0,2,4,6
/proc/12070/stat : 12070 (java) S 12067 12070 5836 0 -1 1077944320 6856 13144 0 0 16 1 5 3 20 0 15 0 406532284 11078594560 8924 33554432000 4194304 4196468 140733077833184 140733077815728 140365091827447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
/proc/12070/statm: 2704735 8924 2931 1 0 2667149 0
[pid=12070/tid=12123] ppid=12067 vsize=10818940 memory=729618466009055537 CPUtime=0.19 cores=0,2,4,6
/proc/12070/task/12123/stat : 12123 (java) R 12067 12070 5836 0 -1 4202560 3336 13144 0 0 11 0 5 3 20 0 15 0 406532294 11078594560 8924 33554432000 4194304 4196468 140733077833184 140365063631568 140365075907934 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12124] ppid=12067 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12124/stat : 12124 (java) S 12067 12070 5836 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 15 0 406532294 11078594560 8924 33554432000 4194304 4196468 140733077833184 140365096069520 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12125] ppid=12067 vsize=10818940 memory=140214490909728 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12125/stat : 12125 (java) S 12067 12070 5836 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 15 0 406532294 11078594560 8924 33554432000 4194304 4196468 140733077833184 140364984342800 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12126] ppid=12067 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12126/stat : 12126 (java) S 12067 12070 5836 0 -1 1077944384 2 13144 0 0 0 0 5 3 20 0 15 0 406532294 11078594560 8924 33554432000 4194304 4196468 140733077833184 140364983290512 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12127] ppid=12067 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12127/stat : 12127 (java) S 12067 12070 5836 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 15 0 406532294 11078594560 8924 33554432000 4194304 4196468 140733077833184 140364982237712 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12128] ppid=12067 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12128/stat : 12128 (java) S 12067 12070 5836 0 -1 1077944384 2 13144 0 0 0 0 5 3 20 0 15 0 406532296 11078594560 8924 33554432000 4194304 4196468 140733077833184 140364416490096 140365091838594 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12129] ppid=12067 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12129/stat : 12129 (java) S 12067 12070 5836 0 -1 1077944384 33 13144 0 0 0 0 5 3 20 0 15 0 406532296 11078594560 8924 33554432000 4194304 4196468 140733077833184 140364415436064 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12130] ppid=12067 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12130/stat : 12130 (java) S 12067 12070 5836 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 15 0 406532296 11078594560 8924 33554432000 4194304 4196468 140733077833184 140363960411760 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12131] ppid=12067 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12131/stat : 12131 (java) S 12067 12070 5836 0 -1 1077944384 3 13144 0 0 0 0 5 3 20 0 15 0 406532299 11078594560 8924 33554432000 4194304 4196468 140733077833184 140363653012048 140365091846043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12132] ppid=12067 vsize=10818940 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/12070/task/12132/stat : 12132 (java) S 12067 12070 5836 0 -1 1077944384 457 13144 0 0 1 0 5 3 20 0 15 0 406532299 11078594560 8924 33554432000 4194304 4196468 140733077833184 140364381878384 140365091838594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12133] ppid=12067 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12133/stat : 12133 (java) S 12067 12070 5836 0 -1 1077944384 181 13144 0 0 0 0 5 3 20 0 15 0 406532299 11078594560 8924 33554432000 4194304 4196468 140733077833184 140364380825584 140365091838594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12134] ppid=12067 vsize=10818940 memory=140214488077952 CPUtime=0.11 cores=0,2,4,6
/proc/12070/task/12134/stat : 12134 (java) R 12067 12070 5836 0 -1 4202560 640 13144 0 0 3 0 5 3 20 0 15 0 406532299 11078594560 8924 33554432000 4194304 4196468 140733077833184 140364379773296 140365091848794 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12135] ppid=12067 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12135/stat : 12135 (java) S 12067 12070 5836 0 -1 1077944384 3 13144 0 0 0 0 5 3 20 0 15 0 406532299 11078594560 8924 33554432000 4194304 4196468 140733077833184 140363619453408 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12136] ppid=12067 vsize=10818940 memory=140214488077952 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12136/stat : 12136 (java) S 12067 12070 5836 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 15 0 406532300 11078594560 8924 33554432000 4194304 4196468 140733077833184 140364378721200 140365091838594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 35696 KiB
[startup+0.310205 s]*
/proc/loadavg: 1.57 1.53 1.41 3/225 12136
/proc/meminfo: memFree=22367004/32770624 swapFree=66977604/67108860
[pid=12070] ppid=12067 vsize=10819160 memory=44784 CPUtime=0.4 cores=0,2,4,6
/proc/12070/stat : 12070 (java) S 12067 12070 5836 0 -1 1077944320 10476 13144 0 0 29 3 5 3 20 0 15 0 406532284 11078819840 11196 33554432000 4194304 4196468 140733077833184 140733077815728 140365091827447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
/proc/12070/statm: 2704790 11196 3002 1 0 2667149 0
[pid=12070/tid=12123] ppid=12067 vsize=10819288 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/12070/task/12123/stat : 12123 (java) R 12067 12070 5836 0 -1 4202560 6950 13144 0 0 19 2 5 3 20 0 15 0 406532294 11078950912 11196 33554432000 4194304 4196468 140733077833184 140365063646992 140365014903762 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12124] ppid=12067 vsize=10819288 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12124/stat : 12124 (java) S 12067 12070 5836 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 15 0 406532294 11078950912 11196 33554432000 4194304 4196468 140733077833184 140365096069520 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12125] ppid=12067 vsize=10819288 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12125/stat : 12125 (java) S 12067 12070 5836 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 15 0 406532294 11078950912 11196 33554432000 4194304 4196468 140733077833184 140364984342800 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12126] ppid=12067 vsize=10819288 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12126/stat : 12126 (java) S 12067 12070 5836 0 -1 1077944384 2 13144 0 0 0 0 5 3 20 0 15 0 406532294 11078950912 11196 33554432000 4194304 4196468 140733077833184 140364983290512 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12127] ppid=12067 vsize=10819288 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12127/stat : 12127 (java) S 12067 12070 5836 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 15 0 406532294 11078950912 11196 33554432000 4194304 4196468 140733077833184 140364982237712 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12128] ppid=12067 vsize=10819288 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12128/stat : 12128 (java) S 12067 12070 5836 0 -1 1077944384 2 13144 0 0 0 0 5 3 20 0 15 0 406532296 11078950912 11196 33554432000 4194304 4196468 140733077833184 140364416490096 140365091838594 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12129] ppid=12067 vsize=10819288 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12129/stat : 12129 (java) S 12067 12070 5836 0 -1 1077944384 33 13144 0 0 0 0 5 3 20 0 15 0 406532296 11078950912 11196 33554432000 4194304 4196468 140733077833184 140364415436064 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12130] ppid=12067 vsize=10819432 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12130/stat : 12130 (java) S 12067 12070 5836 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 15 0 406532296 11079098368 11196 33554432000 4194304 4196468 140733077833184 140363960411760 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12131] ppid=12067 vsize=10819432 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12131/stat : 12131 (java) S 12067 12070 5836 0 -1 1077944384 3 13144 0 0 0 0 5 3 20 0 15 0 406532299 11079098368 11262 33554432000 4194304 4196468 140733077833184 140363653012048 140365091846043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12132] ppid=12067 vsize=10819432 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/12070/task/12132/stat : 12132 (java) S 12067 12070 5836 0 -1 1077944384 458 13144 0 0 2 0 5 3 20 0 15 0 406532299 11079098368 11262 33554432000 4194304 4196468 140733077833184 140364381878384 140365091838594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12133] ppid=12067 vsize=10819432 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/12070/task/12133/stat : 12133 (java) S 12067 12070 5836 0 -1 1077944384 182 13144 0 0 1 0 5 3 20 0 15 0 406532299 11079098368 11262 33554432000 4194304 4196468 140733077833184 140364380825584 140365091838594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12134] ppid=12067 vsize=10819432 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/12070/task/12134/stat : 12134 (java) S 12067 12070 5836 0 -1 1077944384 665 13144 0 0 5 0 5 3 20 0 15 0 406532299 11079098368 11262 33554432000 4194304 4196468 140733077833184 140364379773296 140365091838594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12135] ppid=12067 vsize=10819432 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12135/stat : 12135 (java) S 12067 12070 5836 0 -1 1077944384 3 13144 0 0 0 0 5 3 20 0 15 0 406532299 11079098368 11262 33554432000 4194304 4196468 140733077833184 140363619453408 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12136] ppid=12067 vsize=10819432 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12136/stat : 12136 (java) S 12067 12070 5836 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 15 0 406532300 11079098368 11262 33554432000 4194304 4196468 140733077833184 140364378721200 140365091838594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10819160 KiB
Current children cumulated memory: 44784 KiB
[startup+0.700781 s]
/proc/loadavg: 1.57 1.53 1.41 5/225 12136
/proc/meminfo: memFree=22354160/32770624 swapFree=66977604/67108860
[pid=12070] ppid=12067 vsize=10824340 memory=78464 CPUtime=1.14 cores=0,2,4,6
/proc/12070/stat : 12070 (java) S 12067 12070 5836 0 -1 1077944320 14839 13144 0 0 101 5 5 3 20 0 15 0 406532284 11084124160 19616 33554432000 4194304 4196468 140733077833184 140733077815728 140365091827447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
/proc/12070/statm: 2706085 19616 3508 1 0 2668173 0
[pid=12070/tid=12123] ppid=12067 vsize=10824340 memory=1428 CPUtime=0.67 cores=0,2,4,6
/proc/12070/task/12123/stat : 12123 (java) R 12067 12070 5836 0 -1 4202560 10448 13144 0 0 55 4 5 3 20 0 15 0 406532294 11084124160 19616 33554432000 4194304 4196468 140733077833184 140365063649584 140365075907934 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12124] ppid=12067 vsize=10824340 memory=1728 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12124/stat : 12124 (java) S 12067 12070 5836 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 15 0 406532294 11084124160 19616 33554432000 4194304 4196468 140733077833184 140365096069520 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12125] ppid=12067 vsize=10824340 memory=988 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12125/stat : 12125 (java) S 12067 12070 5836 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 15 0 406532294 11084124160 19616 33554432000 4194304 4196468 140733077833184 140364984342800 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12126] ppid=12067 vsize=10824340 memory=2004 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12126/stat : 12126 (java) S 12067 12070 5836 0 -1 1077944384 2 13144 0 0 0 0 5 3 20 0 15 0 406532294 11084124160 19616 33554432000 4194304 4196468 140733077833184 140364983290512 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12127] ppid=12067 vsize=10824340 memory=140214488076817 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12127/stat : 12127 (java) S 12067 12070 5836 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 15 0 406532294 11084124160 19616 33554432000 4194304 4196468 140733077833184 140364982237712 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12128] ppid=12067 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12128/stat : 12128 (java) S 12067 12070 5836 0 -1 1077944384 5 13144 0 0 0 0 5 3 20 0 15 0 406532296 11084124160 19616 33554432000 4194304 4196468 140733077833184 140364416490096 140365091838594 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12129] ppid=12067 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12129/stat : 12129 (java) S 12067 12070 5836 0 -1 1077944384 33 13144 0 0 0 0 5 3 20 0 15 0 406532296 11084124160 19616 33554432000 4194304 4196468 140733077833184 140364415436064 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12130] ppid=12067 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12130/stat : 12130 (java) S 12067 12070 5836 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 15 0 406532296 11084124160 19616 33554432000 4194304 4196468 140733077833184 140363960411760 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12131] ppid=12067 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12131/stat : 12131 (java) S 12067 12070 5836 0 -1 1077944384 3 13144 0 0 0 0 5 3 20 0 15 0 406532299 11084124160 19616 33554432000 4194304 4196468 140733077833184 140363653012048 140365091846043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12132] ppid=12067 vsize=10824340 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/12070/task/12132/stat : 12132 (java) S 12067 12070 5836 0 -1 1077944384 731 13144 0 0 13 0 5 3 20 0 15 0 406532299 11084124160 19616 33554432000 4194304 4196468 140733077833184 140364381878384 140365091838594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12133] ppid=12067 vsize=10824340 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/12070/task/12133/stat : 12133 (java) S 12067 12070 5836 0 -1 1077944384 531 13144 0 0 13 0 5 3 20 0 15 0 406532299 11084124160 19616 33554432000 4194304 4196468 140733077833184 140364380825584 140365091838594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12134] ppid=12067 vsize=10824340 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/12070/task/12134/stat : 12134 (java) S 12067 12070 5836 0 -1 1077944384 874 13144 0 0 17 0 5 3 20 0 15 0 406532299 11084124160 19616 33554432000 4194304 4196468 140733077833184 140364379773296 140365091838594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12135] ppid=12067 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12135/stat : 12135 (java) S 12067 12070 5836 0 -1 1077944384 3 13144 0 0 0 0 5 3 20 0 15 0 406532299 11084124160 19616 33554432000 4194304 4196468 140733077833184 140363619453408 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12136] ppid=12067 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12136/stat : 12136 (java) S 12067 12070 5836 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 15 0 406532300 11084124160 19616 33554432000 4194304 4196468 140733077833184 140364378721200 140365091838594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 78464 KiB
[startup+1.50277 s]
/proc/loadavg: 1.57 1.53 1.41 3/225 12136
/proc/meminfo: memFree=22305832/32770624 swapFree=66977604/67108860
[pid=12070] ppid=12067 vsize=10834656 memory=166448 CPUtime=2.45 cores=0,2,4,6
/proc/12070/stat : 12070 (java) S 12067 12070 5836 0 -1 1077944320 22205 13144 0 0 227 10 5 3 20 0 15 0 406532284 11094687744 41612 33554432000 4194304 4196468 140733077833184 140733077815728 140365091827447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
/proc/12070/statm: 2708664 41612 3582 1 0 2670733 0
[pid=12070/tid=12123] ppid=12067 vsize=10834656 memory=-7605864313038552735 CPUtime=1.43 cores=0,2,4,6
/proc/12070/task/12123/stat : 12123 (java) R 12067 12070 5836 0 -1 4202560 15412 13144 0 0 130 5 5 3 20 0 15 0 406532294 11094687744 41612 33554432000 4194304 4196468 140733077833184 140365063642072 140364648384775 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12124] ppid=12067 vsize=10834656 memory=1428 CPUtime=0.09 cores=0,2,4,6
/proc/12070/task/12124/stat : 12124 (java) S 12067 12070 5836 0 -1 1077944384 69 13144 0 0 1 0 5 3 20 0 15 0 406532294 11094687744 41612 33554432000 4194304 4196468 140733077833184 140365096069520 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12125] ppid=12067 vsize=10834656 memory=1728 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12125/stat : 12125 (java) S 12067 12070 5836 0 -1 1077944384 378 13144 0 0 0 0 5 3 20 0 15 0 406532294 11094687744 41612 33554432000 4194304 4196468 140733077833184 140364984342800 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12126] ppid=12067 vsize=10834656 memory=280428749534336 CPUtime=0.09 cores=0,2,4,6
/proc/12070/task/12126/stat : 12126 (java) S 12067 12070 5836 0 -1 1077944384 77 13144 0 0 1 0 5 3 20 0 15 0 406532294 11094687744 41612 33554432000 4194304 4196468 140733077833184 140364983290512 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12127] ppid=12067 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/12070/task/12127/stat : 12127 (java) S 12067 12070 5836 0 -1 1077944384 16 13144 0 0 1 0 5 3 20 0 15 0 406532294 11094687744 41612 33554432000 4194304 4196468 140733077833184 140364982237712 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12128] ppid=12067 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/12070/task/12128/stat : 12128 (java) S 12067 12070 5836 0 -1 1077944384 732 13144 0 0 1 0 5 3 20 0 15 0 406532296 11094687744 41612 33554432000 4194304 4196468 140733077833184 140364416490096 140365091838594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12129] ppid=12067 vsize=10834656 memory=1428 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12129/stat : 12129 (java) S 12067 12070 5836 0 -1 1077944384 35 13144 0 0 0 0 5 3 20 0 15 0 406532296 11094687744 41612 33554432000 4194304 4196468 140733077833184 140364415436128 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12130] ppid=12067 vsize=10834656 memory=1728 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12130/stat : 12130 (java) S 12067 12070 5836 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 15 0 406532296 11094687744 41612 33554432000 4194304 4196468 140733077833184 140363960411776 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12131] ppid=12067 vsize=10834656 memory=704 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12131/stat : 12131 (java) S 12067 12070 5836 0 -1 1077944384 3 13144 0 0 0 0 5 3 20 0 15 0 406532299 11094687744 41612 33554432000 4194304 4196468 140733077833184 140363653012048 140365091846043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12132] ppid=12067 vsize=10834656 memory=2209 CPUtime=0.3 cores=0,2,4,6
/proc/12070/task/12132/stat : 12132 (java) S 12067 12070 5836 0 -1 1077944384 826 13144 0 0 22 0 5 3 20 0 15 0 406532299 11094687744 41612 33554432000 4194304 4196468 140733077833184 140364381878384 140365091838594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12133] ppid=12067 vsize=10834656 memory=8996 CPUtime=0.34 cores=0,2,4,6
/proc/12070/task/12133/stat : 12133 (java) R 12067 12070 5836 0 -1 4202560 679 13144 0 0 26 0 5 3 20 0 15 0 406532299 11094687744 41612 33554432000 4194304 4196468 140733077833184 140364380825584 140365091848794 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12134] ppid=12067 vsize=10834656 memory=6791534058613427641 CPUtime=0.49 cores=0,2,4,6
/proc/12070/task/12134/stat : 12134 (java) S 12067 12070 5836 0 -1 1077944384 1769 13144 0 0 41 0 5 3 20 0 15 0 406532299 11094687744 41612 33554432000 4194304 4196468 140733077833184 140364379773296 140365091838594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12135] ppid=12067 vsize=10834656 memory=8303054830060986464 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12135/stat : 12135 (java) S 12067 12070 5836 0 -1 1077944384 3 13144 0 0 0 0 5 3 20 0 15 0 406532299 11094687744 41612 33554432000 4194304 4196468 140733077833184 140363619453408 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12136] ppid=12067 vsize=10834656 memory=-7966001967256141664 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12136/stat : 12136 (java) S 12067 12070 5836 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 15 0 406532300 11094687744 41612 33554432000 4194304 4196468 140733077833184 140364378721200 140365091838594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
Current children cumulated CPU time: 2.45 s
Current children cumulated vsize: 10834656 KiB
################
# More data... #
################
/proc/12070/task/12123/stat : 12123 (java) R 12067 12070 5836 0 -1 4202560 63027 13144 0 0 235420 47 5 3 20 0 15 0 406532294 11107291136 189777 33554432000 4194304 4196468 140733077833184 140365063662880 140364665711991 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12124] ppid=12067 vsize=10846964 memory=757060 CPUtime=11.32 cores=0,2,4,6
/proc/12070/task/12124/stat : 12124 (java) S 12067 12070 5836 0 -1 1077944384 7714 13144 0 0 1067 57 5 3 20 0 15 0 406532294 11107291136 189777 33554432000 4194304 4196468 140733077833184 140365096069520 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12125] ppid=12067 vsize=10846964 memory=757060 CPUtime=11.38 cores=0,2,4,6
/proc/12070/task/12125/stat : 12125 (java) S 12067 12070 5836 0 -1 1077944384 14133 13144 0 0 1074 56 5 3 20 0 15 0 406532294 11107291136 189777 33554432000 4194304 4196468 140733077833184 140364984342800 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12126] ppid=12067 vsize=10846964 memory=759108 CPUtime=11.34 cores=0,2,4,6
/proc/12070/task/12126/stat : 12126 (java) S 12067 12070 5836 0 -1 1077944384 12500 13144 0 0 1072 54 5 3 20 0 15 0 406532294 11107291136 189777 33554432000 4194304 4196468 140733077833184 140364983290512 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12127] ppid=12067 vsize=10846964 memory=759108 CPUtime=11.34 cores=0,2,4,6
/proc/12070/task/12127/stat : 12127 (java) S 12067 12070 5836 0 -1 1077944384 11444 13144 0 0 1072 54 5 3 20 0 15 0 406532294 11107291136 189777 33554432000 4194304 4196468 140733077833184 140364982237712 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12128] ppid=12067 vsize=10846964 memory=280428750367616 CPUtime=11.3 cores=0,2,4,6
/proc/12070/task/12128/stat : 12128 (java) S 12067 12070 5836 0 -1 1077944384 15652 13144 0 0 1069 53 5 3 20 0 15 0 406532296 11107291136 189777 33554432000 4194304 4196468 140733077833184 140364416490096 140365091838594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12129] ppid=12067 vsize=10846964 memory=759108 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12129/stat : 12129 (java) S 12067 12070 5836 0 -1 1077944384 44 13144 0 0 0 0 5 3 20 0 15 0 406532296 11107291136 189777 33554432000 4194304 4196468 140733077833184 140364415436192 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12130] ppid=12067 vsize=10846964 memory=759108 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12130/stat : 12130 (java) S 12067 12070 5836 0 -1 1077944384 6 13144 0 0 0 0 5 3 20 0 15 0 406532296 11107291136 189777 33554432000 4194304 4196468 140733077833184 140363960411776 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12131] ppid=12067 vsize=10846964 memory=759108 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12131/stat : 12131 (java) S 12067 12070 5836 0 -1 1077944384 3 13144 0 0 0 0 5 3 20 0 15 0 406532299 11107291136 189777 33554432000 4194304 4196468 140733077833184 140363653012048 140365091846043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12132] ppid=12067 vsize=10846964 memory=759108 CPUtime=5.12 cores=0,2,4,6
/proc/12070/task/12132/stat : 12132 (java) S 12067 12070 5836 0 -1 1077944384 27053 13144 0 0 498 6 5 3 20 0 15 0 406532299 11107291136 189777 33554432000 4194304 4196468 140733077833184 140364381878384 140365091838594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12133] ppid=12067 vsize=10846964 memory=759108 CPUtime=5.4 cores=0,2,4,6
/proc/12070/task/12133/stat : 12133 (java) S 12067 12070 5836 0 -1 1077944384 20625 13144 0 0 528 4 5 3 20 0 15 0 406532299 11107291136 189777 33554432000 4194304 4196468 140733077833184 140364380825584 140365091838594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12134] ppid=12067 vsize=10846964 memory=759108 CPUtime=3.47 cores=0,2,4,6
/proc/12070/task/12134/stat : 12134 (java) S 12067 12070 5836 0 -1 1077944384 29928 13144 0 0 332 7 5 3 20 0 15 0 406532299 11107291136 189777 33554432000 4194304 4196468 140733077833184 140364379773296 140365091838594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 67 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12135] ppid=12067 vsize=10846964 memory=1984 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12135/stat : 12135 (java) S 12067 12070 5836 0 -1 1077944384 3 13144 0 0 0 0 5 3 20 0 15 0 406532299 11107291136 189777 33554432000 4194304 4196468 140733077833184 140363619453408 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12136] ppid=12067 vsize=10846964 memory=759108 CPUtime=1.52 cores=0,2,4,6
/proc/12070/task/12136/stat : 12136 (java) S 12067 12070 5836 0 -1 1077944384 943 13144 0 0 67 77 5 3 20 0 15 0 406532300 11107291136 189777 33554432000 4194304 4196468 140733077833184 140364378721200 140365091838594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
Current children cumulated CPU time: 2426.32 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 759108 KiB
[startup+2442.3 s]
/proc/loadavg: 1.09 1.18 1.27 3/227 12511
/proc/meminfo: memFree=21945344/32770624 swapFree=66977604/67108860
[pid=12070] ppid=12067 vsize=10846964 memory=759108 CPUtime=2487.21 cores=0,2,4,6
/proc/12070/stat : 12070 (java) S 12067 12070 5836 0 -1 1077944320 206786 13144 0 0 248356 357 5 3 20 0 15 0 406532284 11107291136 189777 33554432000 4194304 4196468 140733077833184 140733077815728 140365091827447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
/proc/12070/statm: 2711741 189777 3623 1 0 2673805 0
[pid=12070/tid=12123] ppid=12067 vsize=10846964 memory=759108 CPUtime=2414.1 cores=0,2,4,6
/proc/12070/task/12123/stat : 12123 (java) R 12067 12070 5836 0 -1 4202560 63682 13144 0 0 241354 48 5 3 20 0 15 0 406532294 11107291136 189777 33554432000 4194304 4196468 140733077833184 140365063662688 140365074234459 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12124] ppid=12067 vsize=10846964 memory=759108 CPUtime=11.63 cores=0,2,4,6
/proc/12070/task/12124/stat : 12124 (java) S 12067 12070 5836 0 -1 1077944384 7813 13144 0 0 1097 58 5 3 20 0 15 0 406532294 11107291136 189777 33554432000 4194304 4196468 140733077833184 140365096069520 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12125] ppid=12067 vsize=10846964 memory=759108 CPUtime=11.68 cores=0,2,4,6
/proc/12070/task/12125/stat : 12125 (java) S 12067 12070 5836 0 -1 1077944384 14533 13144 0 0 1103 57 5 3 20 0 15 0 406532294 11107291136 189777 33554432000 4194304 4196468 140733077833184 140364984342800 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12126] ppid=12067 vsize=10846964 memory=759108 CPUtime=11.63 cores=0,2,4,6
/proc/12070/task/12126/stat : 12126 (java) S 12067 12070 5836 0 -1 1077944384 12559 13144 0 0 1100 55 5 3 20 0 15 0 406532294 11107291136 189777 33554432000 4194304 4196468 140733077833184 140364983290512 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12127] ppid=12067 vsize=10846964 memory=759108 CPUtime=11.63 cores=0,2,4,6
/proc/12070/task/12127/stat : 12127 (java) S 12067 12070 5836 0 -1 1077944384 11501 13144 0 0 1100 55 5 3 20 0 15 0 406532294 11107291136 189777 33554432000 4194304 4196468 140733077833184 140364982237712 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12128] ppid=12067 vsize=10846964 memory=759108 CPUtime=11.59 cores=0,2,4,6
/proc/12070/task/12128/stat : 12128 (java) S 12067 12070 5836 0 -1 1077944384 15865 13144 0 0 1097 54 5 3 20 0 15 0 406532296 11107291136 189777 33554432000 4194304 4196468 140733077833184 140364416490096 140365091838594 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12129] ppid=12067 vsize=10846964 memory=1164 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12129/stat : 12129 (java) S 12067 12070 5836 0 -1 1077944384 44 13144 0 0 0 0 5 3 20 0 15 0 406532296 11107291136 189777 33554432000 4194304 4196468 140733077833184 140364415436192 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12130] ppid=12067 vsize=10846964 memory=759108 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12130/stat : 12130 (java) S 12067 12070 5836 0 -1 1077944384 6 13144 0 0 0 0 5 3 20 0 15 0 406532296 11107291136 189777 33554432000 4194304 4196468 140733077833184 140363960411776 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12131] ppid=12067 vsize=10846964 memory=759108 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12131/stat : 12131 (java) S 12067 12070 5836 0 -1 1077944384 3 13144 0 0 0 0 5 3 20 0 15 0 406532299 11107291136 189777 33554432000 4194304 4196468 140733077833184 140363653012048 140365091846043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12132] ppid=12067 vsize=10846964 memory=759108 CPUtime=5.12 cores=0,2,4,6
/proc/12070/task/12132/stat : 12132 (java) S 12067 12070 5836 0 -1 1077944384 27055 13144 0 0 498 6 5 3 20 0 15 0 406532299 11107291136 189777 33554432000 4194304 4196468 140733077833184 140364381878384 140365091838594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12133] ppid=12067 vsize=10846964 memory=759108 CPUtime=5.4 cores=0,2,4,6
/proc/12070/task/12133/stat : 12133 (java) S 12067 12070 5836 0 -1 1077944384 20627 13144 0 0 528 4 5 3 20 0 15 0 406532299 11107291136 189777 33554432000 4194304 4196468 140733077833184 140364380825584 140365091838594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12134] ppid=12067 vsize=10846964 memory=3616 CPUtime=3.47 cores=0,2,4,6
/proc/12070/task/12134/stat : 12134 (java) S 12067 12070 5836 0 -1 1077944384 29930 13144 0 0 332 7 5 3 20 0 15 0 406532299 11107291136 189777 33554432000 4194304 4196468 140733077833184 140364379773296 140365091838594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 67 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12135] ppid=12067 vsize=10846964 memory=759108 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12135/stat : 12135 (java) S 12067 12070 5836 0 -1 1077944384 3 13144 0 0 0 0 5 3 20 0 15 0 406532299 11107291136 189777 33554432000 4194304 4196468 140733077833184 140363619453408 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12136] ppid=12067 vsize=10846964 memory=6791534058613427641 CPUtime=1.56 cores=0,2,4,6
/proc/12070/task/12136/stat : 12136 (java) S 12067 12070 5836 0 -1 1077944384 960 13144 0 0 69 79 5 3 20 0 15 0 406532300 11107291136 189777 33554432000 4194304 4196468 140733077833184 140364378721200 140365091838594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
Current children cumulated CPU time: 2487.21 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 759108 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2474.7 s]
/proc/loadavg: 1.12 1.18 1.27 3/228 12522
/proc/meminfo: memFree=21936240/32770624 swapFree=66977604/67108860
[pid=12070] ppid=12067 vsize=10846964 memory=759108 CPUtime=2520.04 cores=0,2,4,6
/proc/12070/stat : 12070 (java) S 12067 12070 5836 0 -1 1077944320 208068 13144 0 0 251635 361 5 3 20 0 15 0 406532284 11107291136 189777 33554432000 4194304 4196468 140733077833184 140733077815728 140365091827447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
/proc/12070/statm: 2711741 189777 3623 1 0 2673805 0
[pid=12070/tid=12123] ppid=12067 vsize=10846964 memory=759108 CPUtime=2446.16 cores=0,2,4,6
/proc/12070/task/12123/stat : 12123 (java) R 12067 12070 5836 0 -1 4202560 64160 13144 0 0 244560 48 5 3 20 0 15 0 406532294 11107291136 189777 33554432000 4194304 4196468 140733077833184 140365063663616 140365074347877 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12124] ppid=12067 vsize=10846964 memory=759108 CPUtime=11.78 cores=0,2,4,6
/proc/12070/task/12124/stat : 12124 (java) S 12067 12070 5836 0 -1 1077944384 8233 13144 0 0 1111 59 5 3 20 0 15 0 406532294 11107291136 189777 33554432000 4194304 4196468 140733077833184 140365096069520 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12125] ppid=12067 vsize=10846964 memory=924 CPUtime=11.82 cores=0,2,4,6
/proc/12070/task/12125/stat : 12125 (java) S 12067 12070 5836 0 -1 1077944384 14592 13144 0 0 1117 57 5 3 20 0 15 0 406532294 11107291136 189777 33554432000 4194304 4196468 140733077833184 140364984342800 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12126] ppid=12067 vsize=10846964 memory=759108 CPUtime=11.78 cores=0,2,4,6
/proc/12070/task/12126/stat : 12126 (java) S 12067 12070 5836 0 -1 1077944384 12599 13144 0 0 1115 55 5 3 20 0 15 0 406532294 11107291136 189777 33554432000 4194304 4196468 140733077833184 140364983290512 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12127] ppid=12067 vsize=10846964 memory=1112 CPUtime=11.79 cores=0,2,4,6
/proc/12070/task/12127/stat : 12127 (java) S 12067 12070 5836 0 -1 1077944384 11549 13144 0 0 1115 56 5 3 20 0 15 0 406532294 11107291136 189777 33554432000 4194304 4196468 140733077833184 140364982237712 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12128] ppid=12067 vsize=10846964 memory=759108 CPUtime=11.74 cores=0,2,4,6
/proc/12070/task/12128/stat : 12128 (java) S 12067 12070 5836 0 -1 1077944384 16078 13144 0 0 1111 55 5 3 20 0 15 0 406532296 11107291136 189777 33554432000 4194304 4196468 140733077833184 140364416490096 140365091838594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12129] ppid=12067 vsize=10846964 memory=759108 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12129/stat : 12129 (java) S 12067 12070 5836 0 -1 1077944384 44 13144 0 0 0 0 5 3 20 0 15 0 406532296 11107291136 189777 33554432000 4194304 4196468 140733077833184 140364415436192 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12130] ppid=12067 vsize=10846964 memory=759108 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12130/stat : 12130 (java) S 12067 12070 5836 0 -1 1077944384 6 13144 0 0 0 0 5 3 20 0 15 0 406532296 11107291136 189777 33554432000 4194304 4196468 140733077833184 140363960411776 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12131] ppid=12067 vsize=10846964 memory=759108 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12131/stat : 12131 (java) S 12067 12070 5836 0 -1 1077944384 3 13144 0 0 0 0 5 3 20 0 15 0 406532299 11107291136 189777 33554432000 4194304 4196468 140733077833184 140363653012048 140365091846043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12132] ppid=12067 vsize=10846964 memory=759108 CPUtime=5.12 cores=0,2,4,6
/proc/12070/task/12132/stat : 12132 (java) S 12067 12070 5836 0 -1 1077944384 27058 13144 0 0 498 6 5 3 20 0 15 0 406532299 11107291136 189777 33554432000 4194304 4196468 140733077833184 140364381878384 140365091838594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12133] ppid=12067 vsize=10846964 memory=759108 CPUtime=5.4 cores=0,2,4,6
/proc/12070/task/12133/stat : 12133 (java) S 12067 12070 5836 0 -1 1077944384 20629 13144 0 0 528 4 5 3 20 0 15 0 406532299 11107291136 189777 33554432000 4194304 4196468 140733077833184 140364380825584 140365091838594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12134] ppid=12067 vsize=10846964 memory=759108 CPUtime=3.47 cores=0,2,4,6
/proc/12070/task/12134/stat : 12134 (java) S 12067 12070 5836 0 -1 1077944384 29932 13144 0 0 332 7 5 3 20 0 15 0 406532299 11107291136 189777 33554432000 4194304 4196468 140733077833184 140364379773296 140365091838594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 67 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12135] ppid=12067 vsize=10846964 memory=759108 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12135/stat : 12135 (java) S 12067 12070 5836 0 -1 1077944384 3 13144 0 0 0 0 5 3 20 0 15 0 406532299 11107291136 189777 33554432000 4194304 4196468 140733077833184 140363619453408 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12136] ppid=12067 vsize=10846964 memory=759108 CPUtime=1.58 cores=0,2,4,6
/proc/12070/task/12136/stat : 12136 (java) S 12067 12070 5836 0 -1 1077944384 977 13144 0 0 70 80 5 3 20 0 15 0 406532300 11107291136 189777 33554432000 4194304 4196468 140733077833184 140364378721200 140365091838594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 759108 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2474.73 s]
# the end of solver process 12070 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.44 s, system=3.65397 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2474.7 s]
/proc/loadavg: 1.12 1.18 1.27 3/228 12522
/proc/meminfo: memFree=21936240/32770624 swapFree=66977604/67108860
[pid=12070] ppid=12067 vsize=10846964 memory=759108 CPUtime=2520.04 cores=0,2,4,6
/proc/12070/stat : 12070 (java) S 12067 12070 5836 0 -1 1077944320 208068 13144 0 0 251635 361 5 3 20 0 15 0 406532284 11107291136 189777 33554432000 4194304 4196468 140733077833184 140733077815728 140365091827447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
/proc/12070/statm: 2711741 189777 3623 1 0 2673805 0
[pid=12070/tid=12123] ppid=12067 vsize=10846964 memory=759108 CPUtime=2446.16 cores=0,2,4,6
/proc/12070/task/12123/stat : 12123 (java) R 12067 12070 5836 0 -1 4202560 64160 13144 0 0 244560 48 5 3 20 0 15 0 406532294 11107291136 189777 33554432000 4194304 4196468 140733077833184 140365063663616 140365074347877 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12124] ppid=12067 vsize=10846964 memory=759108 CPUtime=11.78 cores=0,2,4,6
/proc/12070/task/12124/stat : 12124 (java) S 12067 12070 5836 0 -1 1077944384 8233 13144 0 0 1111 59 5 3 20 0 15 0 406532294 11107291136 189777 33554432000 4194304 4196468 140733077833184 140365096069520 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12125] ppid=12067 vsize=10846964 memory=924 CPUtime=11.82 cores=0,2,4,6
/proc/12070/task/12125/stat : 12125 (java) S 12067 12070 5836 0 -1 1077944384 14592 13144 0 0 1117 57 5 3 20 0 15 0 406532294 11107291136 189777 33554432000 4194304 4196468 140733077833184 140364984342800 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12126] ppid=12067 vsize=10846964 memory=759108 CPUtime=11.78 cores=0,2,4,6
/proc/12070/task/12126/stat : 12126 (java) S 12067 12070 5836 0 -1 1077944384 12599 13144 0 0 1115 55 5 3 20 0 15 0 406532294 11107291136 189777 33554432000 4194304 4196468 140733077833184 140364983290512 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12127] ppid=12067 vsize=10846964 memory=1112 CPUtime=11.79 cores=0,2,4,6
/proc/12070/task/12127/stat : 12127 (java) S 12067 12070 5836 0 -1 1077944384 11549 13144 0 0 1115 56 5 3 20 0 15 0 406532294 11107291136 189777 33554432000 4194304 4196468 140733077833184 140364982237712 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12128] ppid=12067 vsize=10846964 memory=759108 CPUtime=11.74 cores=0,2,4,6
/proc/12070/task/12128/stat : 12128 (java) S 12067 12070 5836 0 -1 1077944384 16078 13144 0 0 1111 55 5 3 20 0 15 0 406532296 11107291136 189777 33554432000 4194304 4196468 140733077833184 140364416490096 140365091838594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12129] ppid=12067 vsize=10846964 memory=759108 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12129/stat : 12129 (java) S 12067 12070 5836 0 -1 1077944384 44 13144 0 0 0 0 5 3 20 0 15 0 406532296 11107291136 189777 33554432000 4194304 4196468 140733077833184 140364415436192 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12130] ppid=12067 vsize=10846964 memory=759108 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12130/stat : 12130 (java) S 12067 12070 5836 0 -1 1077944384 6 13144 0 0 0 0 5 3 20 0 15 0 406532296 11107291136 189777 33554432000 4194304 4196468 140733077833184 140363960411776 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12131] ppid=12067 vsize=10846964 memory=759108 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12131/stat : 12131 (java) S 12067 12070 5836 0 -1 1077944384 3 13144 0 0 0 0 5 3 20 0 15 0 406532299 11107291136 189777 33554432000 4194304 4196468 140733077833184 140363653012048 140365091846043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12132] ppid=12067 vsize=10846964 memory=759108 CPUtime=5.12 cores=0,2,4,6
/proc/12070/task/12132/stat : 12132 (java) S 12067 12070 5836 0 -1 1077944384 27058 13144 0 0 498 6 5 3 20 0 15 0 406532299 11107291136 189777 33554432000 4194304 4196468 140733077833184 140364381878384 140365091838594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12133] ppid=12067 vsize=10846964 memory=759108 CPUtime=5.4 cores=0,2,4,6
/proc/12070/task/12133/stat : 12133 (java) S 12067 12070 5836 0 -1 1077944384 20629 13144 0 0 528 4 5 3 20 0 15 0 406532299 11107291136 189777 33554432000 4194304 4196468 140733077833184 140364380825584 140365091838594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12134] ppid=12067 vsize=10846964 memory=759108 CPUtime=3.47 cores=0,2,4,6
/proc/12070/task/12134/stat : 12134 (java) S 12067 12070 5836 0 -1 1077944384 29932 13144 0 0 332 7 5 3 20 0 15 0 406532299 11107291136 189777 33554432000 4194304 4196468 140733077833184 140364379773296 140365091838594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 67 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12135] ppid=12067 vsize=10846964 memory=759108 CPUtime=0.08 cores=0,2,4,6
/proc/12070/task/12135/stat : 12135 (java) S 12067 12070 5836 0 -1 1077944384 3 13144 0 0 0 0 5 3 20 0 15 0 406532299 11107291136 189777 33554432000 4194304 4196468 140733077833184 140363619453408 140365091837653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
[pid=12070/tid=12136] ppid=12067 vsize=10846964 memory=759108 CPUtime=1.58 cores=0,2,4,6
/proc/12070/task/12136/stat : 12136 (java) S 12067 12070 5836 0 -1 1077944384 977 13144 0 0 70 80 5 3 20 0 15 0 406532300 11107291136 189777 33554432000 4194304 4196468 140733077833184 140364378721200 140365091838594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140733077834485 140733077836997 140733077836997 140733077839823 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 759108 KiB
Child status: 143
Real time (s): 2474.73
CPU time (s): 2520.09
CPU user time (s): 2516.44
CPU system time (s): 3.65397
CPU usage (%): 101.833
Max. virtual memory (cumulated for all children) (KiB): 10849724
Max. memory (cumulated for all children) (KiB): 759108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.44
system time used= 3.65397
maximum resident set size= 763324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 222435
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 292187
involuntary context switches= 9309
# summary of solver processes directly reported to runsolver:
# pid: 12070
# total CPU time (s): 2520.09
# total CPU user time (s): 2516.44
# total CPU system time (s): 3.65397
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.2814 second user time and 24.6853 second system time
The end