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 (12770 MiB free)
memory of node 1: 16384 MiB (14258 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395962-1568408070/watcher-4395962-1568408070 -o /tmp/evaluation-result-4395962-1568408070/solver-4395962-1568408070 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568399721-12059 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1200361340 HOME/instance-4395962-1568408070.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=14245, runsolver pid=14242
Current StackSize limit: 8192 KiB
[startup+0.100139 s]*
/proc/loadavg: 1.67 1.43 1.43 3/218 14302
/proc/meminfo: memFree=27672160/32770624 swapFree=66959224/67108860
[pid=14245] ppid=14242 vsize=9972712 memory=17084 CPUtime=0.09 cores=1,3,5,7
/proc/14245/stat : 14245 (java) S 14242 14245 12027 0 -1 1077944320 4491 13323 0 0 1 0 5 3 20 0 6 0 416747177 10212057088 4271 33554432000 4194304 4196468 140726749961536 140726749944080 140105402109687 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
/proc/14245/statm: 2493178 4271 1935 1 0 2481616 0
[pid=14245/tid=14298] ppid=14242 vsize=9972712 memory=4628411388058700198 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14298/stat : 14298 (java) R 14242 14245 12027 0 -1 4202560 2296 13323 0 0 0 0 5 3 20 0 6 0 416747186 10212057088 4271 33554432000 4194304 4196468 140726749961536 140105373946448 140105386190174 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14299] ppid=14242 vsize=9972712 memory=5793855754162735545 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14299/stat : 14299 (java) S 14242 14245 12027 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 6 0 416747187 10212057088 4271 33554432000 4194304 4196468 140726749961536 140105406351888 140105402119893 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14300] ppid=14242 vsize=9972712 memory=140503152842368 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14300/stat : 14300 (java) S 14242 14245 12027 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 6 0 416747187 10212057088 4271 33554432000 4194304 4196468 140726749961536 140105325103760 140105402119893 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14301] ppid=14242 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14301/stat : 14301 (java) S 14242 14245 12027 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 6 0 416747187 10212057088 4271 33554432000 4194304 4196468 140726749961536 140105324050704 140105402119893 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14302] ppid=14242 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14302/stat : 14302 (java) S 14242 14245 12027 0 -1 1077944384 2 13323 0 0 0 0 5 3 20 0 6 0 416747187 10212057088 4271 33554432000 4194304 4196468 140726749961536 140104973605264 140105402119893 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17084 KiB
[startup+0.209997 s]*
/proc/loadavg: 1.67 1.43 1.43 4/227 14311
/proc/meminfo: memFree=27651252/32770624 swapFree=66959224/67108860
[pid=14245] ppid=14242 vsize=10819664 memory=41388 CPUtime=0.27 cores=1,3,5,7
/proc/14245/stat : 14245 (java) S 14242 14245 12027 0 -1 1077944320 7225 13323 0 0 17 2 5 3 20 0 15 0 416747177 11079335936 10347 33554432000 4194304 4196468 140726749961536 140726749944080 140105402109687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
/proc/14245/statm: 2704916 10347 3144 1 0 2667149 0
[pid=14245/tid=14298] ppid=14242 vsize=10819664 memory=-8540663193526752614 CPUtime=0.2 cores=1,3,5,7
/proc/14245/task/14298/stat : 14298 (java) R 14242 14245 12027 0 -1 4202560 3722 13323 0 0 11 1 5 3 20 0 15 0 416747186 11079335936 10347 33554432000 4194304 4196468 140726749961536 140105373940272 140105386190174 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14299] ppid=14242 vsize=10819664 memory=4211974229357632906 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14299/stat : 14299 (java) S 14242 14245 12027 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 15 0 416747187 11079335936 10347 33554432000 4194304 4196468 140726749961536 140105406351888 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14300] ppid=14242 vsize=10819664 memory=140503152842368 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14300/stat : 14300 (java) S 14242 14245 12027 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 15 0 416747187 11079335936 10347 33554432000 4194304 4196468 140726749961536 140105325103760 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14301] ppid=14242 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14301/stat : 14301 (java) S 14242 14245 12027 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 15 0 416747187 11079335936 10347 33554432000 4194304 4196468 140726749961536 140105324050704 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14302] ppid=14242 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14302/stat : 14302 (java) S 14242 14245 12027 0 -1 1077944384 2 13323 0 0 0 0 5 3 20 0 15 0 416747187 11079335936 10347 33554432000 4194304 4196468 140726749961536 140104973605264 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14303] ppid=14242 vsize=10819664 memory=140503152842368 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14303/stat : 14303 (java) S 14242 14245 12027 0 -1 1077944384 2 13323 0 0 0 0 5 3 20 0 15 0 416747189 11079335936 10347 33554432000 4194304 4196468 140726749961536 140104928791280 140105402120834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14304] ppid=14242 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14304/stat : 14304 (java) S 14242 14245 12027 0 -1 1077944384 13 13323 0 0 0 0 5 3 20 0 15 0 416747189 11079335936 10347 33554432000 4194304 4196468 140726749961536 140104316216992 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14305] ppid=14242 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14305/stat : 14305 (java) S 14242 14245 12027 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 15 0 416747189 11079335936 10347 33554432000 4194304 4196468 140726749961536 140104181998832 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14306] ppid=14242 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14306/stat : 14306 (java) S 14242 14245 12027 0 -1 1077944384 3 13323 0 0 0 0 5 3 20 0 15 0 416747192 11079335936 10347 33554432000 4194304 4196468 140726749961536 140103941708240 140105402128283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14307] ppid=14242 vsize=10819664 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/14245/task/14307/stat : 14307 (java) S 14242 14245 12027 0 -1 1077944384 587 13323 0 0 1 0 5 3 20 0 15 0 416747192 11079335936 10347 33554432000 4194304 4196468 140726749961536 140104927738096 140105402120834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14308] ppid=14242 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14308/stat : 14308 (java) S 14242 14245 12027 0 -1 1077944384 63 13323 0 0 0 0 5 3 20 0 15 0 416747192 11079335936 10347 33554432000 4194304 4196468 140726749961536 140104926685552 140105402120834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14309] ppid=14242 vsize=10819664 memory=140503152842368 CPUtime=0.11 cores=1,3,5,7
/proc/14245/task/14309/stat : 14309 (java) S 14242 14245 12027 0 -1 1077944384 620 13323 0 0 3 0 5 3 20 0 15 0 416747192 11079335936 10347 33554432000 4194304 4196468 140726749961536 140104925632496 140105402120834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14310] ppid=14242 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14310/stat : 14310 (java) S 14242 14245 12027 0 -1 1077944384 3 13323 0 0 0 0 5 3 20 0 15 0 416747192 11079335936 10347 33554432000 4194304 4196468 140726749961536 140103908149600 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14311] ppid=14242 vsize=10819664 memory=140503152842368 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14311/stat : 14311 (java) S 14242 14245 12027 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 15 0 416747192 11079335936 10347 33554432000 4194304 4196468 140726749961536 140104924580912 140105402120834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 41388 KiB
[startup+0.311205 s]*
/proc/loadavg: 1.67 1.43 1.43 3/227 14311
/proc/meminfo: memFree=27639180/32770624 swapFree=66959224/67108860
[pid=14245] ppid=14242 vsize=10820148 memory=50556 CPUtime=0.4 cores=1,3,5,7
/proc/14245/stat : 14245 (java) S 14242 14245 12027 0 -1 1077944320 10880 13323 0 0 29 3 5 3 20 0 15 0 416747177 11079831552 12639 33554432000 4194304 4196468 140726749961536 140726749944080 140105402109687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
/proc/14245/statm: 2705037 12639 3297 1 0 2667149 0
[pid=14245/tid=14298] ppid=14242 vsize=10820148 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/14245/task/14298/stat : 14298 (java) R 14242 14245 12027 0 -1 4202560 7357 13323 0 0 19 2 5 3 20 0 15 0 416747186 11079831552 12639 33554432000 4194304 4196468 140726749961536 140105373925568 140105402131613 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14299] ppid=14242 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14299/stat : 14299 (java) S 14242 14245 12027 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 15 0 416747187 11079831552 12639 33554432000 4194304 4196468 140726749961536 140105406351888 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14300] ppid=14242 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14300/stat : 14300 (java) S 14242 14245 12027 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 15 0 416747187 11079831552 12639 33554432000 4194304 4196468 140726749961536 140105325103760 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14301] ppid=14242 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14301/stat : 14301 (java) S 14242 14245 12027 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 15 0 416747187 11079831552 12639 33554432000 4194304 4196468 140726749961536 140105324050704 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14302] ppid=14242 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14302/stat : 14302 (java) S 14242 14245 12027 0 -1 1077944384 2 13323 0 0 0 0 5 3 20 0 15 0 416747187 11079831552 12639 33554432000 4194304 4196468 140726749961536 140104973605264 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14303] ppid=14242 vsize=10820148 memory=140503152842367 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14303/stat : 14303 (java) S 14242 14245 12027 0 -1 1077944384 2 13323 0 0 0 0 5 3 20 0 15 0 416747189 11079831552 12639 33554432000 4194304 4196468 140726749961536 140104928791280 140105402120834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14304] ppid=14242 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14304/stat : 14304 (java) S 14242 14245 12027 0 -1 1077944384 13 13323 0 0 0 0 5 3 20 0 15 0 416747189 11079831552 12639 33554432000 4194304 4196468 140726749961536 140104316216992 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14305] ppid=14242 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14305/stat : 14305 (java) S 14242 14245 12027 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 15 0 416747189 11079831552 12639 33554432000 4194304 4196468 140726749961536 140104181998832 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14306] ppid=14242 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14306/stat : 14306 (java) S 14242 14245 12027 0 -1 1077944384 3 13323 0 0 0 0 5 3 20 0 15 0 416747192 11079831552 12639 33554432000 4194304 4196468 140726749961536 140103941708240 140105402128283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14307] ppid=14242 vsize=10820148 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/14245/task/14307/stat : 14307 (java) S 14242 14245 12027 0 -1 1077944384 588 13323 0 0 2 0 5 3 20 0 15 0 416747192 11079831552 12639 33554432000 4194304 4196468 140726749961536 140104927738096 140105402120834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14308] ppid=14242 vsize=10820148 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/14245/task/14308/stat : 14308 (java) S 14242 14245 12027 0 -1 1077944384 72 13323 0 0 1 0 5 3 20 0 15 0 416747192 11079831552 12639 33554432000 4194304 4196468 140726749961536 140104926685552 140105402120834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14309] ppid=14242 vsize=10820148 memory=140503152842368 CPUtime=0.13 cores=1,3,5,7
/proc/14245/task/14309/stat : 14309 (java) R 14242 14245 12027 0 -1 4202560 628 13323 0 0 5 0 5 3 20 0 15 0 416747192 11079831552 12639 33554432000 4194304 4196468 140726749961536 140104925632496 140105402121622 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14310] ppid=14242 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14310/stat : 14310 (java) S 14242 14245 12027 0 -1 1077944384 3 13323 0 0 0 0 5 3 20 0 15 0 416747192 11079831552 12639 33554432000 4194304 4196468 140726749961536 140103908149600 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14311] ppid=14242 vsize=10820148 memory=140503152842368 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14311/stat : 14311 (java) S 14242 14245 12027 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 15 0 416747192 11079831552 12639 33554432000 4194304 4196468 140726749961536 140104924580912 140105402120834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50556 KiB
[startup+0.703169 s]
/proc/loadavg: 1.67 1.43 1.43 3/226 14311
/proc/meminfo: memFree=27624268/32770624 swapFree=66959224/67108860
[pid=14245] ppid=14242 vsize=10824360 memory=83820 CPUtime=1.15 cores=1,3,5,7
/proc/14245/stat : 14245 (java) S 14242 14245 12027 0 -1 1077944320 15179 13323 0 0 102 5 5 3 20 0 15 0 416747177 11084144640 20955 33554432000 4194304 4196468 140726749961536 140726749944080 140105402109687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
/proc/14245/statm: 2706090 20955 3498 1 0 2668173 0
[pid=14245/tid=14298] ppid=14242 vsize=10824360 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/14245/task/14298/stat : 14298 (java) R 14242 14245 12027 0 -1 4202560 10484 13323 0 0 55 4 5 3 20 0 15 0 416747186 11084144640 20955 33554432000 4194304 4196468 140726749961536 140105373936848 140105004239704 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14299] ppid=14242 vsize=10824360 memory=140503010130912 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14299/stat : 14299 (java) S 14242 14245 12027 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 15 0 416747187 11084144640 20955 33554432000 4194304 4196468 140726749961536 140105406351888 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14300] ppid=14242 vsize=10824360 memory=288230587429420904 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14300/stat : 14300 (java) S 14242 14245 12027 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 15 0 416747187 11084144640 20955 33554432000 4194304 4196468 140726749961536 140105325103760 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14301] ppid=14242 vsize=10824360 memory=13852962571026373 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14301/stat : 14301 (java) S 14242 14245 12027 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 15 0 416747187 11084144640 20955 33554432000 4194304 4196468 140726749961536 140105324050704 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14302] ppid=14242 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14302/stat : 14302 (java) S 14242 14245 12027 0 -1 1077944384 2 13323 0 0 0 0 5 3 20 0 15 0 416747187 11084144640 20955 33554432000 4194304 4196468 140726749961536 140104973605264 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14303] ppid=14242 vsize=10824360 memory=140503010283536 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14303/stat : 14303 (java) S 14242 14245 12027 0 -1 1077944384 5 13323 0 0 0 0 5 3 20 0 15 0 416747189 11084144640 20955 33554432000 4194304 4196468 140726749961536 140104928791280 140105402120834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14304] ppid=14242 vsize=10824360 memory=140505560122408 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14304/stat : 14304 (java) S 14242 14245 12027 0 -1 1077944384 13 13323 0 0 0 0 5 3 20 0 15 0 416747189 11084144640 20955 33554432000 4194304 4196468 140726749961536 140104316216992 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14305] ppid=14242 vsize=10824360 memory=928 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14305/stat : 14305 (java) S 14242 14245 12027 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 15 0 416747189 11084144640 20955 33554432000 4194304 4196468 140726749961536 140104181998832 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14306] ppid=14242 vsize=10824360 memory=7305218370954617941 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14306/stat : 14306 (java) S 14242 14245 12027 0 -1 1077944384 3 13323 0 0 0 0 5 3 20 0 15 0 416747192 11084144640 20955 33554432000 4194304 4196468 140726749961536 140103941708240 140105402128283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14307] ppid=14242 vsize=10824360 memory=7881696724453321575 CPUtime=0.23 cores=1,3,5,7
/proc/14245/task/14307/stat : 14307 (java) S 14242 14245 12027 0 -1 1077944384 1056 13323 0 0 15 0 5 3 20 0 15 0 416747192 11084144640 20955 33554432000 4194304 4196468 140726749961536 140104927738096 140105402120834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14308] ppid=14242 vsize=10824360 memory=8025788814078207340 CPUtime=0.21 cores=1,3,5,7
/proc/14245/task/14308/stat : 14308 (java) R 14242 14245 12027 0 -1 4202560 521 13323 0 0 13 0 5 3 20 0 15 0 416747192 11084144640 20955 33554432000 4194304 4196468 140726749961536 140104926672096 140105383654669 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14309] ppid=14242 vsize=10824360 memory=-8814538831020006773 CPUtime=0.25 cores=1,3,5,7
/proc/14245/task/14309/stat : 14309 (java) R 14242 14245 12027 0 -1 4202560 881 13323 0 0 17 0 5 3 20 0 15 0 416747192 11084144640 20955 33554432000 4194304 4196468 140726749961536 140104925632496 140105386190174 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14310] ppid=14242 vsize=10824360 memory=1404238533774450294 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14310/stat : 14310 (java) S 14242 14245 12027 0 -1 1077944384 3 13323 0 0 0 0 5 3 20 0 15 0 416747192 11084144640 20955 33554432000 4194304 4196468 140726749961536 140103908149600 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14311] ppid=14242 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14311/stat : 14311 (java) S 14242 14245 12027 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 15 0 416747192 11084144640 20955 33554432000 4194304 4196468 140726749961536 140104924580912 140105402120834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 83820 KiB
[startup+1.50121 s]
/proc/loadavg: 1.67 1.43 1.43 6/226 14311
/proc/meminfo: memFree=27558084/32770624 swapFree=66959224/67108860
[pid=14245] ppid=14242 vsize=10830580 memory=228716 CPUtime=3.5 cores=1,3,5,7
/proc/14245/stat : 14245 (java) S 14242 14245 12027 0 -1 1077944320 29877 13323 0 0 330 12 5 3 20 0 15 0 416747177 11090513920 57179 33554432000 4194304 4196468 140726749961536 140726749944080 140105402109687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
/proc/14245/statm: 2707645 57179 3581 1 0 2669709 0
[pid=14245/tid=14298] ppid=14242 vsize=10830580 memory=221732 CPUtime=1.45 cores=1,3,5,7
/proc/14245/task/14298/stat : 14298 (java) R 14242 14245 12027 0 -1 4202560 13718 13323 0 0 130 7 5 3 20 0 15 0 416747186 11090513920 57179 33554432000 4194304 4196468 140726749961536 140105373919496 140105387478495 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14299] ppid=14242 vsize=10830580 memory=-8172468297011507069 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14299/stat : 14299 (java) S 14242 14245 12027 0 -1 1077944384 253 13323 0 0 0 0 5 3 20 0 15 0 416747187 11090513920 57179 33554432000 4194304 4196468 140726749961536 140105406351888 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14300] ppid=14242 vsize=10830580 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14300/stat : 14300 (java) S 14242 14245 12027 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 15 0 416747187 11090513920 57179 33554432000 4194304 4196468 140726749961536 140105325103760 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14301] ppid=14242 vsize=10830580 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14301/stat : 14301 (java) S 14242 14245 12027 0 -1 1077944384 6 13323 0 0 0 0 5 3 20 0 15 0 416747187 11090513920 57179 33554432000 4194304 4196468 140726749961536 140105324050704 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14302] ppid=14242 vsize=10830580 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14302/stat : 14302 (java) S 14242 14245 12027 0 -1 1077944384 80 13323 0 0 0 0 5 3 20 0 15 0 416747187 11090513920 57179 33554432000 4194304 4196468 140726749961536 140104973605264 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14303] ppid=14242 vsize=10830580 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14303/stat : 14303 (java) S 14242 14245 12027 0 -1 1077944384 101 13323 0 0 0 0 5 3 20 0 15 0 416747189 11090513920 57179 33554432000 4194304 4196468 140726749961536 140104928791280 140105402120834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14304] ppid=14242 vsize=10830580 memory=4580 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14304/stat : 14304 (java) S 14242 14245 12027 0 -1 1077944384 13 13323 0 0 0 0 5 3 20 0 15 0 416747189 11090513920 57179 33554432000 4194304 4196468 140726749961536 140104316216992 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14305] ppid=14242 vsize=10830580 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14305/stat : 14305 (java) S 14242 14245 12027 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 15 0 416747189 11090513920 57179 33554432000 4194304 4196468 140726749961536 140104181998832 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14306] ppid=14242 vsize=10830580 memory=140503010235472 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14306/stat : 14306 (java) S 14242 14245 12027 0 -1 1077944384 3 13323 0 0 0 0 5 3 20 0 15 0 416747192 11090513920 57179 33554432000 4194304 4196468 140726749961536 140103941708240 140105402128283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14307] ppid=14242 vsize=10830580 memory=0 CPUtime=0.88 cores=1,3,5,7
/proc/14245/task/14307/stat : 14307 (java) R 14242 14245 12027 0 -1 4202560 6277 13323 0 0 79 1 5 3 20 0 15 0 416747192 11090513920 57179 33554432000 4194304 4196468 140726749961536 140104927738096 140105385322302 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14308] ppid=14242 vsize=10830580 memory=0 CPUtime=0.84 cores=1,3,5,7
/proc/14245/task/14308/stat : 14308 (java) S 14242 14245 12027 0 -1 1077944384 4831 13323 0 0 76 0 5 3 20 0 15 0 416747192 11090513920 57179 33554432000 4194304 4196468 140726749961536 140104926685552 140105402120834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14309] ppid=14242 vsize=10830580 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/14245/task/14309/stat : 14309 (java) S 14242 14245 12027 0 -1 1077944384 2380 13323 0 0 40 1 5 3 20 0 15 0 416747192 11090513920 57179 33554432000 4194304 4196468 140726749961536 140104925632496 140105402120834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14310] ppid=14242 vsize=10830580 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14310/stat : 14310 (java) S 14242 14245 12027 0 -1 1077944384 3 13323 0 0 0 0 5 3 20 0 15 0 416747192 11090513920 57179 33554432000 4194304 4196468 140726749961536 140103908149600 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14311] ppid=14242 vsize=10830580 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14311/stat : 14311 (java) S 14242 14245 12027 0 -1 1077944384 3 13323 0 0 0 0 5 3 20 0 15 0 416747192 11090513920 57179 33554432000 4194304 4196468 140726749961536 140104924580912 140105402120834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
Current children cumulated CPU time: 3.5 s
Current children cumulated vsize: 10830580 KiB
################
# More data... #
################
/proc/14245/task/14298/stat : 14298 (java) R 14242 14245 12027 0 -1 4202560 86954 13323 0 0 236579 58 5 3 20 0 15 0 416747186 11107311616 102734 33554432000 4194304 4196468 140726749961536 140105373944624 140105013590548 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14299] ppid=14242 vsize=10846984 memory=410860 CPUtime=8.83 cores=1,3,5,7
/proc/14245/task/14299/stat : 14299 (java) S 14242 14245 12027 0 -1 1077944384 23460 13323 0 0 838 37 5 3 20 0 15 0 416747187 11107311616 102734 33554432000 4194304 4196468 140726749961536 140105406351888 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14300] ppid=14242 vsize=10846984 memory=410936 CPUtime=8.8 cores=1,3,5,7
/proc/14245/task/14300/stat : 14300 (java) S 14242 14245 12027 0 -1 1077944384 17781 13323 0 0 834 38 5 3 20 0 15 0 416747187 11107311616 102734 33554432000 4194304 4196468 140726749961536 140105325103760 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14301] ppid=14242 vsize=10846984 memory=410936 CPUtime=8.82 cores=1,3,5,7
/proc/14245/task/14301/stat : 14301 (java) S 14242 14245 12027 0 -1 1077944384 25577 13323 0 0 841 33 5 3 20 0 15 0 416747187 11107311616 102734 33554432000 4194304 4196468 140726749961536 140105324050704 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14302] ppid=14242 vsize=10846984 memory=410936 CPUtime=8.82 cores=1,3,5,7
/proc/14245/task/14302/stat : 14302 (java) S 14242 14245 12027 0 -1 1077944384 18575 13323 0 0 835 39 5 3 20 0 15 0 416747187 11107311616 102734 33554432000 4194304 4196468 140726749961536 140104973605264 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14303] ppid=14242 vsize=10846984 memory=33 CPUtime=5.21 cores=1,3,5,7
/proc/14245/task/14303/stat : 14303 (java) S 14242 14245 12027 0 -1 1077944384 20334 13323 0 0 459 54 5 3 20 0 15 0 416747189 11107311616 102734 33554432000 4194304 4196468 140726749961536 140104928791280 140105402120834 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14304] ppid=14242 vsize=10846984 memory=410936 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14304/stat : 14304 (java) S 14242 14245 12027 0 -1 1077944384 26 13323 0 0 0 0 5 3 20 0 15 0 416747189 11107311616 102734 33554432000 4194304 4196468 140726749961536 140104316217056 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14305] ppid=14242 vsize=10846984 memory=3620 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14305/stat : 14305 (java) S 14242 14245 12027 0 -1 1077944384 9 13323 0 0 0 0 5 3 20 0 15 0 416747189 11107311616 102734 33554432000 4194304 4196468 140726749961536 140104181998848 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14306] ppid=14242 vsize=10846984 memory=410936 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14306/stat : 14306 (java) S 14242 14245 12027 0 -1 1077944384 3 13323 0 0 0 0 5 3 20 0 15 0 416747192 11107311616 102734 33554432000 4194304 4196468 140726749961536 140103941708240 140105402128283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14307] ppid=14242 vsize=10846984 memory=0 CPUtime=8.1 cores=1,3,5,7
/proc/14245/task/14307/stat : 14307 (java) S 14242 14245 12027 0 -1 1077944384 36019 13323 0 0 798 4 5 3 20 0 15 0 416747192 11107311616 102734 33554432000 4194304 4196468 140726749961536 140104927738096 140105402120834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14308] ppid=14242 vsize=10846984 memory=6791534058613427641 CPUtime=8.43 cores=1,3,5,7
/proc/14245/task/14308/stat : 14308 (java) S 14242 14245 12027 0 -1 1077944384 39280 13323 0 0 830 5 5 3 20 0 15 0 416747192 11107311616 102734 33554432000 4194304 4196468 140726749961536 140104926685552 140105402120834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14309] ppid=14242 vsize=10846984 memory=1984 CPUtime=2.76 cores=1,3,5,7
/proc/14245/task/14309/stat : 14309 (java) S 14242 14245 12027 0 -1 1077944384 21860 13323 0 0 263 5 5 3 20 0 15 0 416747192 11107311616 102734 33554432000 4194304 4196468 140726749961536 140104925632496 140105402120834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14310] ppid=14242 vsize=10846984 memory=410860 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14310/stat : 14310 (java) S 14242 14245 12027 0 -1 1077944384 3 13323 0 0 0 0 5 3 20 0 15 0 416747192 11107311616 102734 33554432000 4194304 4196468 140726749961536 140103908149600 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14311] ppid=14242 vsize=10846984 memory=410860 CPUtime=1.33 cores=1,3,5,7
/proc/14245/task/14311/stat : 14311 (java) S 14242 14245 12027 0 -1 1077944384 1554 13323 0 0 54 71 5 3 20 0 15 0 416747192 11107311616 102734 33554432000 4194304 4196468 140726749961536 140104924580912 140105402120834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
Current children cumulated CPU time: 2426.91 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 410936 KiB
[startup+2442.3 s]
/proc/loadavg: 1.48 1.51 1.48 3/227 14815
/proc/meminfo: memFree=28020540/32770624 swapFree=66959224/67108860
[pid=14245] ppid=14242 vsize=10846984 memory=411764 CPUtime=2487.75 cores=1,3,5,7
/proc/14245/stat : 14245 (java) S 14242 14245 12027 0 -1 1077944320 296009 13323 0 0 248452 315 5 3 20 0 15 0 416747177 11107311616 102941 33554432000 4194304 4196468 140726749961536 140726749944080 140105402109687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
/proc/14245/statm: 2711746 102941 3641 1 0 2673805 0
[pid=14245/tid=14298] ppid=14242 vsize=10846984 memory=412108 CPUtime=2425.93 cores=1,3,5,7
/proc/14245/task/14298/stat : 14298 (java) R 14242 14245 12027 0 -1 4202560 87545 13323 0 0 242527 58 5 3 20 0 15 0 416747186 11107311616 102941 33554432000 4194304 4196468 140726749961536 140105373945216 140105005210768 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14299] ppid=14242 vsize=10846984 memory=412228 CPUtime=9.12 cores=1,3,5,7
/proc/14245/task/14299/stat : 14299 (java) S 14242 14245 12027 0 -1 1077944384 23976 13323 0 0 866 38 5 3 20 0 15 0 416747187 11107311616 102941 33554432000 4194304 4196468 140726749961536 140105406351888 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14300] ppid=14242 vsize=10846984 memory=411984 CPUtime=9.08 cores=1,3,5,7
/proc/14245/task/14300/stat : 14300 (java) S 14242 14245 12027 0 -1 1077944384 18048 13323 0 0 861 39 5 3 20 0 15 0 416747187 11107311616 102941 33554432000 4194304 4196468 140726749961536 140105325103760 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14301] ppid=14242 vsize=10846984 memory=412108 CPUtime=9.12 cores=1,3,5,7
/proc/14245/task/14301/stat : 14301 (java) S 14242 14245 12027 0 -1 1077944384 26019 13323 0 0 870 34 5 3 20 0 15 0 416747187 11107311616 102941 33554432000 4194304 4196468 140726749961536 140105324050704 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14302] ppid=14242 vsize=10846984 memory=412108 CPUtime=9.1 cores=1,3,5,7
/proc/14245/task/14302/stat : 14302 (java) S 14242 14245 12027 0 -1 1077944384 18995 13323 0 0 863 39 5 3 20 0 15 0 416747187 11107311616 102941 33554432000 4194304 4196468 140726749961536 140104973605264 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14303] ppid=14242 vsize=10846984 memory=412108 CPUtime=5.36 cores=1,3,5,7
/proc/14245/task/14303/stat : 14303 (java) S 14242 14245 12027 0 -1 1077944384 20442 13323 0 0 473 55 5 3 20 0 15 0 416747189 11107311616 102941 33554432000 4194304 4196468 140726749961536 140104928791280 140105402120834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14304] ppid=14242 vsize=10846984 memory=412108 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14304/stat : 14304 (java) S 14242 14245 12027 0 -1 1077944384 26 13323 0 0 0 0 5 3 20 0 15 0 416747189 11107311616 102941 33554432000 4194304 4196468 140726749961536 140104316217056 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14305] ppid=14242 vsize=10846984 memory=412148 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14305/stat : 14305 (java) S 14242 14245 12027 0 -1 1077944384 9 13323 0 0 0 0 5 3 20 0 15 0 416747189 11107311616 102941 33554432000 4194304 4196468 140726749961536 140104181998848 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14306] ppid=14242 vsize=10846984 memory=411764 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14306/stat : 14306 (java) S 14242 14245 12027 0 -1 1077944384 3 13323 0 0 0 0 5 3 20 0 15 0 416747192 11107311616 102941 33554432000 4194304 4196468 140726749961536 140103941708240 140105402128283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14307] ppid=14242 vsize=10846984 memory=776 CPUtime=8.1 cores=1,3,5,7
/proc/14245/task/14307/stat : 14307 (java) S 14242 14245 12027 0 -1 1077944384 36021 13323 0 0 798 4 5 3 20 0 15 0 416747192 11107311616 102941 33554432000 4194304 4196468 140726749961536 140104927738096 140105402120834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14308] ppid=14242 vsize=10846984 memory=411764 CPUtime=8.43 cores=1,3,5,7
/proc/14245/task/14308/stat : 14308 (java) S 14242 14245 12027 0 -1 1077944384 39282 13323 0 0 830 5 5 3 20 0 15 0 416747192 11107311616 102941 33554432000 4194304 4196468 140726749961536 140104926685552 140105402120834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14309] ppid=14242 vsize=10846984 memory=3620 CPUtime=2.76 cores=1,3,5,7
/proc/14245/task/14309/stat : 14309 (java) S 14242 14245 12027 0 -1 1077944384 21863 13323 0 0 263 5 5 3 20 0 15 0 416747192 11107311616 102941 33554432000 4194304 4196468 140726749961536 140104925632496 140105402120834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14310] ppid=14242 vsize=10846984 memory=412148 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14310/stat : 14310 (java) S 14242 14245 12027 0 -1 1077944384 3 13323 0 0 0 0 5 3 20 0 15 0 416747192 11107311616 102941 33554432000 4194304 4196468 140726749961536 140103908149600 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14311] ppid=14242 vsize=10846984 memory=412108 CPUtime=1.35 cores=1,3,5,7
/proc/14245/task/14311/stat : 14311 (java) S 14242 14245 12027 0 -1 1077944384 1570 13323 0 0 55 72 5 3 20 0 15 0 416747192 11107311616 102941 33554432000 4194304 4196468 140726749961536 140104924580912 140105402120834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
Current children cumulated CPU time: 2487.75 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 411764 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2474.11 s]
/proc/loadavg: 1.43 1.50 1.48 3/227 14818
/proc/meminfo: memFree=28003292/32770624 swapFree=66959224/67108860
[pid=14245] ppid=14242 vsize=10846984 memory=414180 CPUtime=2520.01 cores=1,3,5,7
/proc/14245/stat : 14245 (java) S 14242 14245 12027 0 -1 1077944320 297291 13323 0 0 251675 318 5 3 20 0 15 0 416747177 11107311616 103545 33554432000 4194304 4196468 140726749961536 140726749944080 140105402109687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
/proc/14245/statm: 2711746 103545 3641 1 0 2673805 0
[pid=14245/tid=14298] ppid=14242 vsize=10846984 memory=414180 CPUtime=2457.46 cores=1,3,5,7
/proc/14245/task/14298/stat : 14298 (java) R 14242 14245 12027 0 -1 4202560 88028 13323 0 0 245680 58 5 3 20 0 15 0 416747186 11107311616 103545 33554432000 4194304 4196468 140726749961536 140105373945072 140105020401260 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14299] ppid=14242 vsize=10846984 memory=414180 CPUtime=9.28 cores=1,3,5,7
/proc/14245/task/14299/stat : 14299 (java) S 14242 14245 12027 0 -1 1077944384 24141 13323 0 0 881 39 5 3 20 0 15 0 416747187 11107311616 103545 33554432000 4194304 4196468 140726749961536 140105406351888 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14300] ppid=14242 vsize=10846984 memory=414180 CPUtime=9.23 cores=1,3,5,7
/proc/14245/task/14300/stat : 14300 (java) S 14242 14245 12027 0 -1 1077944384 18144 13323 0 0 876 39 5 3 20 0 15 0 416747187 11107311616 103545 33554432000 4194304 4196468 140726749961536 140105325103760 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14301] ppid=14242 vsize=10846984 memory=414180 CPUtime=9.27 cores=1,3,5,7
/proc/14245/task/14301/stat : 14301 (java) S 14242 14245 12027 0 -1 1077944384 26179 13323 0 0 885 34 5 3 20 0 15 0 416747187 11107311616 103545 33554432000 4194304 4196468 140726749961536 140105324050704 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14302] ppid=14242 vsize=10846984 memory=414180 CPUtime=9.25 cores=1,3,5,7
/proc/14245/task/14302/stat : 14302 (java) S 14242 14245 12027 0 -1 1077944384 19254 13323 0 0 878 39 5 3 20 0 15 0 416747187 11107311616 103545 33554432000 4194304 4196468 140726749961536 140104973605264 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14303] ppid=14242 vsize=10846984 memory=414180 CPUtime=5.44 cores=1,3,5,7
/proc/14245/task/14303/stat : 14303 (java) S 14242 14245 12027 0 -1 1077944384 20539 13323 0 0 481 55 5 3 20 0 15 0 416747189 11107311616 103545 33554432000 4194304 4196468 140726749961536 140104928791280 140105402120834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14304] ppid=14242 vsize=10846984 memory=3620 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14304/stat : 14304 (java) S 14242 14245 12027 0 -1 1077944384 26 13323 0 0 0 0 5 3 20 0 15 0 416747189 11107311616 103545 33554432000 4194304 4196468 140726749961536 140104316217056 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14305] ppid=14242 vsize=10846984 memory=390512 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14305/stat : 14305 (java) S 14242 14245 12027 0 -1 1077944384 9 13323 0 0 0 0 5 3 20 0 15 0 416747189 11107311616 103545 33554432000 4194304 4196468 140726749961536 140104181998848 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14306] ppid=14242 vsize=10846984 memory=414180 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14306/stat : 14306 (java) S 14242 14245 12027 0 -1 1077944384 3 13323 0 0 0 0 5 3 20 0 15 0 416747192 11107311616 103545 33554432000 4194304 4196468 140726749961536 140103941708240 140105402128283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14307] ppid=14242 vsize=10846984 memory=414180 CPUtime=8.1 cores=1,3,5,7
/proc/14245/task/14307/stat : 14307 (java) S 14242 14245 12027 0 -1 1077944384 36023 13323 0 0 798 4 5 3 20 0 15 0 416747192 11107311616 103545 33554432000 4194304 4196468 140726749961536 140104927738096 140105402120834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14308] ppid=14242 vsize=10846984 memory=3620 CPUtime=8.43 cores=1,3,5,7
/proc/14245/task/14308/stat : 14308 (java) S 14242 14245 12027 0 -1 1077944384 39284 13323 0 0 830 5 5 3 20 0 15 0 416747192 11107311616 103545 33554432000 4194304 4196468 140726749961536 140104926685552 140105402120834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14309] ppid=14242 vsize=10846984 memory=414180 CPUtime=2.76 cores=1,3,5,7
/proc/14245/task/14309/stat : 14309 (java) S 14242 14245 12027 0 -1 1077944384 21865 13323 0 0 263 5 5 3 20 0 15 0 416747192 11107311616 103545 33554432000 4194304 4196468 140726749961536 140104925632496 140105402120834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14310] ppid=14242 vsize=10846984 memory=3620 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14310/stat : 14310 (java) S 14242 14245 12027 0 -1 1077944384 3 13323 0 0 0 0 5 3 20 0 15 0 416747192 11107311616 103545 33554432000 4194304 4196468 140726749961536 140103908149600 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14311] ppid=14242 vsize=10846984 memory=413812 CPUtime=1.37 cores=1,3,5,7
/proc/14245/task/14311/stat : 14311 (java) S 14242 14245 12027 0 -1 1077944384 1586 13323 0 0 56 73 5 3 20 0 15 0 416747192 11107311616 103545 33554432000 4194304 4196468 140726749961536 140104924580912 140105402120834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 414180 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2474.17 s]
# the end of solver process 14245 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.84 s, system=3.22259 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2474.11 s]
/proc/loadavg: 1.43 1.50 1.48 3/227 14818
/proc/meminfo: memFree=28003292/32770624 swapFree=66959224/67108860
[pid=14245] ppid=14242 vsize=10846984 memory=414180 CPUtime=2520.01 cores=1,3,5,7
/proc/14245/stat : 14245 (java) S 14242 14245 12027 0 -1 1077944320 297291 13323 0 0 251675 318 5 3 20 0 15 0 416747177 11107311616 103545 33554432000 4194304 4196468 140726749961536 140726749944080 140105402109687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
/proc/14245/statm: 2711746 103545 3641 1 0 2673805 0
[pid=14245/tid=14298] ppid=14242 vsize=10846984 memory=414180 CPUtime=2457.46 cores=1,3,5,7
/proc/14245/task/14298/stat : 14298 (java) R 14242 14245 12027 0 -1 4202560 88028 13323 0 0 245680 58 5 3 20 0 15 0 416747186 11107311616 103545 33554432000 4194304 4196468 140726749961536 140105373945072 140105020401260 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14299] ppid=14242 vsize=10846984 memory=414180 CPUtime=9.28 cores=1,3,5,7
/proc/14245/task/14299/stat : 14299 (java) S 14242 14245 12027 0 -1 1077944384 24141 13323 0 0 881 39 5 3 20 0 15 0 416747187 11107311616 103545 33554432000 4194304 4196468 140726749961536 140105406351888 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14300] ppid=14242 vsize=10846984 memory=414180 CPUtime=9.23 cores=1,3,5,7
/proc/14245/task/14300/stat : 14300 (java) S 14242 14245 12027 0 -1 1077944384 18144 13323 0 0 876 39 5 3 20 0 15 0 416747187 11107311616 103545 33554432000 4194304 4196468 140726749961536 140105325103760 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14301] ppid=14242 vsize=10846984 memory=414180 CPUtime=9.27 cores=1,3,5,7
/proc/14245/task/14301/stat : 14301 (java) S 14242 14245 12027 0 -1 1077944384 26179 13323 0 0 885 34 5 3 20 0 15 0 416747187 11107311616 103545 33554432000 4194304 4196468 140726749961536 140105324050704 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14302] ppid=14242 vsize=10846984 memory=414180 CPUtime=9.25 cores=1,3,5,7
/proc/14245/task/14302/stat : 14302 (java) S 14242 14245 12027 0 -1 1077944384 19254 13323 0 0 878 39 5 3 20 0 15 0 416747187 11107311616 103545 33554432000 4194304 4196468 140726749961536 140104973605264 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14303] ppid=14242 vsize=10846984 memory=414180 CPUtime=5.44 cores=1,3,5,7
/proc/14245/task/14303/stat : 14303 (java) S 14242 14245 12027 0 -1 1077944384 20539 13323 0 0 481 55 5 3 20 0 15 0 416747189 11107311616 103545 33554432000 4194304 4196468 140726749961536 140104928791280 140105402120834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14304] ppid=14242 vsize=10846984 memory=3620 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14304/stat : 14304 (java) S 14242 14245 12027 0 -1 1077944384 26 13323 0 0 0 0 5 3 20 0 15 0 416747189 11107311616 103545 33554432000 4194304 4196468 140726749961536 140104316217056 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14305] ppid=14242 vsize=10846984 memory=390512 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14305/stat : 14305 (java) S 14242 14245 12027 0 -1 1077944384 9 13323 0 0 0 0 5 3 20 0 15 0 416747189 11107311616 103545 33554432000 4194304 4196468 140726749961536 140104181998848 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14306] ppid=14242 vsize=10846984 memory=414180 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14306/stat : 14306 (java) S 14242 14245 12027 0 -1 1077944384 3 13323 0 0 0 0 5 3 20 0 15 0 416747192 11107311616 103545 33554432000 4194304 4196468 140726749961536 140103941708240 140105402128283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14307] ppid=14242 vsize=10846984 memory=414180 CPUtime=8.1 cores=1,3,5,7
/proc/14245/task/14307/stat : 14307 (java) S 14242 14245 12027 0 -1 1077944384 36023 13323 0 0 798 4 5 3 20 0 15 0 416747192 11107311616 103545 33554432000 4194304 4196468 140726749961536 140104927738096 140105402120834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14308] ppid=14242 vsize=10846984 memory=3620 CPUtime=8.43 cores=1,3,5,7
/proc/14245/task/14308/stat : 14308 (java) S 14242 14245 12027 0 -1 1077944384 39284 13323 0 0 830 5 5 3 20 0 15 0 416747192 11107311616 103545 33554432000 4194304 4196468 140726749961536 140104926685552 140105402120834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14309] ppid=14242 vsize=10846984 memory=414180 CPUtime=2.76 cores=1,3,5,7
/proc/14245/task/14309/stat : 14309 (java) S 14242 14245 12027 0 -1 1077944384 21865 13323 0 0 263 5 5 3 20 0 15 0 416747192 11107311616 103545 33554432000 4194304 4196468 140726749961536 140104925632496 140105402120834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14310] ppid=14242 vsize=10846984 memory=3620 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14310/stat : 14310 (java) S 14242 14245 12027 0 -1 1077944384 3 13323 0 0 0 0 5 3 20 0 15 0 416747192 11107311616 103545 33554432000 4194304 4196468 140726749961536 140103908149600 140105402119893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
[pid=14245/tid=14311] ppid=14242 vsize=10846984 memory=413812 CPUtime=1.37 cores=1,3,5,7
/proc/14245/task/14311/stat : 14311 (java) S 14242 14245 12027 0 -1 1077944384 1586 13323 0 0 56 73 5 3 20 0 15 0 416747192 11107311616 103545 33554432000 4194304 4196468 140726749961536 140104924580912 140105402120834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11780096 140726749969135 140726749971653 140726749971653 140726749974479 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 414180 KiB
Child status: 143
Real time (s): 2474.17
CPU time (s): 2520.06
CPU user time (s): 2516.84
CPU system time (s): 3.22259
CPU usage (%): 101.855
Max. virtual memory (cumulated for all children) (KiB): 10846984
Max. memory (cumulated for all children) (KiB): 2823980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.84
system time used= 3.22259
maximum resident set size= 2832172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 311473
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 169184
involuntary context switches= 4230
# summary of solver processes directly reported to runsolver:
# pid: 14245
# total CPU time (s): 2520.06
# total CPU user time (s): 2516.84
# total CPU system time (s): 3.22259
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3309 second user time and 23.1528 second system time
The end