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 (14028 MiB free)
memory of node 1: 16384 MiB (15252 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400906-1568673354/watcher-4400906-1568673354 -o /tmp/evaluation-result-4400906-1568673354/solver-4400906-1568673354 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568669613-18173 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=140789969 HOME/instance-4400906-1568673354.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=18399, runsolver pid=18396
Current StackSize limit: 8192 KiB
[startup+0.100123 s]*
/proc/loadavg: 0.84 1.89 2.49 3/217 18456
/proc/meminfo: memFree=29974532/32770624 swapFree=66926424/67108860
[pid=18399] ppid=18396 vsize=9972712 memory=18956 CPUtime=0.09 cores=1,3,5,7
/proc/18399/stat : 18399 (java) S 18396 18399 18141 0 -1 1077944320 4473 13138 0 0 1 0 5 3 20 0 6 0 443591263 10212057088 4739 33554432000 4194304 4196468 140721875974896 140721875957440 139947021811447 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
/proc/18399/statm: 2493178 4739 1935 1 0 2481616 0
[pid=18399/tid=18452] ppid=18396 vsize=9972712 memory=720575944405811505 CPUtime=0.09 cores=1,3,5,7
/proc/18399/task/18452/stat : 18452 (java) R 18396 18399 18141 0 -1 4202560 2278 13138 0 0 1 0 5 3 20 0 6 0 443591272 10212057088 4739 33554432000 4194304 4196468 140721875974896 139946993648208 139947001112976 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18453] ppid=18396 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18453/stat : 18453 (java) S 18396 18399 18141 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 6 0 443591273 10212057088 4739 33554432000 4194304 4196468 140721875974896 139947026053392 139947021821653 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18454] ppid=18396 vsize=9972712 memory=139922763922001 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18454/stat : 18454 (java) S 18396 18399 18141 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 6 0 443591273 10212057088 4739 33554432000 4194304 4196468 140721875974896 139946947013008 139947021821653 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18455] ppid=18396 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18455/stat : 18455 (java) S 18396 18399 18141 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 6 0 443591273 10212057088 4739 33554432000 4194304 4196468 140721875974896 139946594478608 139947021821653 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18456] ppid=18396 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18456/stat : 18456 (java) S 18396 18399 18141 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 6 0 443591273 10212057088 4739 33554432000 4194304 4196468 140721875974896 139946593426064 139947021821653 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18956 KiB
[startup+0.210002 s]*
/proc/loadavg: 0.84 1.89 2.49 3/226 18465
/proc/meminfo: memFree=29954648/32770624 swapFree=66926424/67108860
[pid=18399] ppid=18396 vsize=10821220 memory=42596 CPUtime=0.27 cores=1,3,5,7
/proc/18399/stat : 18399 (java) S 18396 18399 18141 0 -1 1077944320 7624 13138 0 0 18 1 5 3 20 0 15 0 443591263 11080929280 10649 33554432000 4194304 4196468 140721875974896 140721875957440 139947021811447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
/proc/18399/statm: 2705305 10649 3297 1 0 2667405 0
[pid=18399/tid=18452] ppid=18396 vsize=10822180 memory=729618466009055537 CPUtime=0.19 cores=1,3,5,7
/proc/18399/task/18452/stat : 18452 (java) R 18396 18399 18141 0 -1 4202560 4289 13138 0 0 11 0 5 3 20 0 15 0 443591272 11081912320 10847 33554432000 4194304 4196468 140721875974896 139946993623808 139947014122379 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18453] ppid=18396 vsize=10822180 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18453/stat : 18453 (java) S 18396 18399 18141 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 443591273 11081912320 10847 33554432000 4194304 4196468 140721875974896 139947026053392 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18454] ppid=18396 vsize=10822180 memory=139922763922001 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18454/stat : 18454 (java) S 18396 18399 18141 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 443591273 11081912320 10913 33554432000 4194304 4196468 140721875974896 139946947013008 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18455] ppid=18396 vsize=10822180 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18455/stat : 18455 (java) S 18396 18399 18141 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 443591273 11081912320 10913 33554432000 4194304 4196468 140721875974896 139946594478608 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18456] ppid=18396 vsize=10822180 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18456/stat : 18456 (java) S 18396 18399 18141 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 443591273 11081912320 10913 33554432000 4194304 4196468 140721875974896 139946593426064 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18457] ppid=18396 vsize=10822180 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18457/stat : 18457 (java) S 18396 18399 18141 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 443591274 11081912320 10913 33554432000 4194304 4196468 140721875974896 139946548476400 139947021822594 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18458] ppid=18396 vsize=10822180 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18458/stat : 18458 (java) S 18396 18399 18141 0 -1 1077944384 13 13138 0 0 0 0 5 3 20 0 15 0 443591274 11081912320 10913 33554432000 4194304 4196468 140721875974896 139946476168608 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18459] ppid=18396 vsize=10823808 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18459/stat : 18459 (java) S 18396 18399 18141 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 443591275 11083579392 10913 33554432000 4194304 4196468 140721875974896 139945872188912 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18460] ppid=18396 vsize=10823808 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18460/stat : 18460 (java) S 18396 18399 18141 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 443591277 11083579392 10913 33554432000 4194304 4196468 140721875974896 139945564789456 139947021830043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18461] ppid=18396 vsize=10823808 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/18399/task/18461/stat : 18461 (java) S 18396 18399 18141 0 -1 1077944384 481 13138 0 0 1 0 5 3 20 0 15 0 443591277 11083579392 10913 33554432000 4194304 4196468 140721875974896 139946547423216 139947021822594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18462] ppid=18396 vsize=10823808 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/18399/task/18462/stat : 18462 (java) R 18396 18399 18141 0 -1 4202560 183 13138 0 0 1 0 5 3 20 0 15 0 443591277 11083579392 10913 33554432000 4194304 4196468 140721875974896 139946546370672 139947003358201 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18463] ppid=18396 vsize=10823808 memory=139922763904640 CPUtime=0.11 cores=1,3,5,7
/proc/18399/task/18463/stat : 18463 (java) S 18396 18399 18141 0 -1 1077944384 627 13138 0 0 3 0 5 3 20 0 15 0 443591277 11083579392 10913 33554432000 4194304 4196468 140721875974896 139946545318128 139947021822594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18464] ppid=18396 vsize=10823808 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18464/stat : 18464 (java) S 18396 18399 18141 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 443591278 11083579392 10913 33554432000 4194304 4196468 140721875974896 139945531230816 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18465] ppid=18396 vsize=10823808 memory=139922763904640 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18465/stat : 18465 (java) S 18396 18399 18141 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 443591278 11083579392 10979 33554432000 4194304 4196468 140721875974896 139946442611504 139947021822594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10821220 KiB
Current children cumulated memory: 42596 KiB
[startup+0.310542 s]*
/proc/loadavg: 0.84 1.89 2.49 4/226 18465
/proc/meminfo: memFree=29945256/32770624 swapFree=66926424/67108860
[pid=18399] ppid=18396 vsize=10820196 memory=50196 CPUtime=0.4 cores=1,3,5,7
/proc/18399/stat : 18399 (java) S 18396 18399 18141 0 -1 1077944320 10765 13138 0 0 30 2 5 3 20 0 15 0 443591263 11079880704 12549 33554432000 4194304 4196468 140721875974896 140721875957440 139947021811447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
/proc/18399/statm: 2705049 12549 3308 1 0 2667149 0
[pid=18399/tid=18452] ppid=18396 vsize=10820196 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/18399/task/18452/stat : 18452 (java) R 18396 18399 18141 0 -1 4202560 7220 13138 0 0 20 2 5 3 20 0 15 0 443591272 11079880704 12549 33554432000 4194304 4196468 140721875974896 139946993631264 139947021823382 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18453] ppid=18396 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18453/stat : 18453 (java) S 18396 18399 18141 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 443591273 11079880704 12549 33554432000 4194304 4196468 140721875974896 139947026053392 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18454] ppid=18396 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18454/stat : 18454 (java) S 18396 18399 18141 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 443591273 11079880704 12549 33554432000 4194304 4196468 140721875974896 139946947013008 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18455] ppid=18396 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18455/stat : 18455 (java) S 18396 18399 18141 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 443591273 11079880704 12549 33554432000 4194304 4196468 140721875974896 139946594478608 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18456] ppid=18396 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18456/stat : 18456 (java) S 18396 18399 18141 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 443591273 11079880704 12549 33554432000 4194304 4196468 140721875974896 139946593426064 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18457] ppid=18396 vsize=10820196 memory=139922763904639 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18457/stat : 18457 (java) S 18396 18399 18141 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 443591274 11079880704 12549 33554432000 4194304 4196468 140721875974896 139946548476400 139947021822594 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18458] ppid=18396 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18458/stat : 18458 (java) S 18396 18399 18141 0 -1 1077944384 13 13138 0 0 0 0 5 3 20 0 15 0 443591274 11079880704 12549 33554432000 4194304 4196468 140721875974896 139946476168608 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18459] ppid=18396 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18459/stat : 18459 (java) S 18396 18399 18141 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 443591275 11079880704 12549 33554432000 4194304 4196468 140721875974896 139945872188912 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18460] ppid=18396 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18460/stat : 18460 (java) S 18396 18399 18141 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 443591277 11079880704 12549 33554432000 4194304 4196468 140721875974896 139945564789456 139947021830043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18461] ppid=18396 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/18399/task/18461/stat : 18461 (java) S 18396 18399 18141 0 -1 1077944384 482 13138 0 0 2 0 5 3 20 0 15 0 443591277 11079880704 12549 33554432000 4194304 4196468 140721875974896 139946547423216 139947021822594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18462] ppid=18396 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/18399/task/18462/stat : 18462 (java) S 18396 18399 18141 0 -1 1077944384 184 13138 0 0 1 0 5 3 20 0 15 0 443591277 11079880704 12549 33554432000 4194304 4196468 140721875974896 139946546370672 139947021822594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18463] ppid=18396 vsize=10820196 memory=139922763904640 CPUtime=0.13 cores=1,3,5,7
/proc/18399/task/18463/stat : 18463 (java) S 18396 18399 18141 0 -1 1077944384 645 13138 0 0 5 0 5 3 20 0 15 0 443591277 11079880704 12549 33554432000 4194304 4196468 140721875974896 139946545318128 139947021822594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18464] ppid=18396 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18464/stat : 18464 (java) S 18396 18399 18141 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 443591278 11079880704 12549 33554432000 4194304 4196468 140721875974896 139945531230816 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18465] ppid=18396 vsize=10820196 memory=139922763904640 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18465/stat : 18465 (java) S 18396 18399 18141 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 443591278 11079880704 12549 33554432000 4194304 4196468 140721875974896 139946442611504 139947021822594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50196 KiB
[startup+0.704269 s]
/proc/loadavg: 0.84 1.89 2.49 5/226 18465
/proc/meminfo: memFree=29928844/32770624 swapFree=66926424/67108860
[pid=18399] ppid=18396 vsize=10825388 memory=84000 CPUtime=1.16 cores=1,3,5,7
/proc/18399/stat : 18399 (java) S 18396 18399 18141 0 -1 1077944320 15209 13138 0 0 104 4 5 3 20 0 15 0 443591263 11085197312 20982 33554432000 4194304 4196468 140721875974896 140721875957440 139947021811447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
/proc/18399/statm: 2706347 21000 3514 1 0 2668429 0
[pid=18399/tid=18452] ppid=18396 vsize=10824364 memory=5795117241467496816 CPUtime=0.67 cores=1,3,5,7
/proc/18399/task/18452/stat : 18452 (java) R 18396 18399 18141 0 -1 4202560 10623 13138 0 0 56 3 5 3 20 0 15 0 443591272 11084148736 21000 33554432000 4194304 4196468 140721875974896 139946993629376 139947014490669 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18453] ppid=18396 vsize=10825388 memory=1284 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18453/stat : 18453 (java) S 18396 18399 18141 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 443591273 11085197312 21000 33554432000 4194304 4196468 140721875974896 139947026053392 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18454] ppid=18396 vsize=10825388 memory=1044 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18454/stat : 18454 (java) S 18396 18399 18141 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 443591273 11085197312 21000 33554432000 4194304 4196468 140721875974896 139946947013008 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18455] ppid=18396 vsize=10825388 memory=4580 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18455/stat : 18455 (java) S 18396 18399 18141 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 443591273 11085197312 21000 33554432000 4194304 4196468 140721875974896 139946594478608 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18456] ppid=18396 vsize=10825388 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18456/stat : 18456 (java) S 18396 18399 18141 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 443591273 11085197312 21001 33554432000 4194304 4196468 140721875974896 139946593426064 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18457] ppid=18396 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18457/stat : 18457 (java) S 18396 18399 18141 0 -1 1077944384 5 13138 0 0 0 0 5 3 20 0 15 0 443591274 11084148736 21001 33554432000 4194304 4196468 140721875974896 139946548476400 139947021822594 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18458] ppid=18396 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18458/stat : 18458 (java) S 18396 18399 18141 0 -1 1077944384 13 13138 0 0 0 0 5 3 20 0 15 0 443591274 11084148736 21001 33554432000 4194304 4196468 140721875974896 139946476168608 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18459] ppid=18396 vsize=10825388 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18459/stat : 18459 (java) S 18396 18399 18141 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 443591275 11085197312 21001 33554432000 4194304 4196468 140721875974896 139945872188912 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18460] ppid=18396 vsize=10825388 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18460/stat : 18460 (java) S 18396 18399 18141 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 443591277 11085197312 21001 33554432000 4194304 4196468 140721875974896 139945564789456 139947021830043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18461] ppid=18396 vsize=10825388 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/18399/task/18461/stat : 18461 (java) R 18396 18399 18141 0 -1 4202560 896 13138 0 0 13 0 5 3 20 0 15 0 443591277 11085197312 21001 33554432000 4194304 4196468 140721875974896 139946547423216 139947006976992 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18462] ppid=18396 vsize=10825388 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/18399/task/18462/stat : 18462 (java) R 18396 18399 18141 0 -1 4202560 633 13138 0 0 15 0 5 3 20 0 15 0 443591277 11085197312 21001 33554432000 4194304 4196468 140721875974896 139946546352592 139947014917104 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18463] ppid=18396 vsize=10824364 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/18399/task/18463/stat : 18463 (java) S 18396 18399 18141 0 -1 1077944384 818 13138 0 0 17 0 5 3 20 0 15 0 443591277 11084148736 21001 33554432000 4194304 4196468 140721875974896 139946545318128 139947021822594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18464] ppid=18396 vsize=10825388 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18464/stat : 18464 (java) S 18396 18399 18141 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 443591278 11085197312 21001 33554432000 4194304 4196468 140721875974896 139945531230816 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18465] ppid=18396 vsize=10825388 memory=3580 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18465/stat : 18465 (java) S 18396 18399 18141 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 443591278 11085197312 21001 33554432000 4194304 4196468 140721875974896 139946442611504 139947021822594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10825388 KiB
Current children cumulated memory: 84000 KiB
[startup+1.50074 s]
/proc/loadavg: 0.84 1.89 2.49 5/226 18465
/proc/meminfo: memFree=29870352/32770624 swapFree=66926424/67108860
[pid=18399] ppid=18396 vsize=10834680 memory=208388 CPUtime=3.11 cores=1,3,5,7
/proc/18399/stat : 18399 (java) S 18396 18399 18141 0 -1 1077944320 36799 13138 0 0 292 11 5 3 20 0 15 0 443591263 11094712320 52097 33554432000 4194304 4196468 140721875974896 140721875957440 139947021811447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
/proc/18399/statm: 2708670 52097 3586 1 0 2670733 0
[pid=18399/tid=18452] ppid=18396 vsize=10834680 memory=139922652533336 CPUtime=1.44 cores=1,3,5,7
/proc/18399/task/18452/stat : 18452 (java) R 18396 18399 18141 0 -1 4202560 17534 13138 0 0 130 6 5 3 20 0 15 0 443591272 11094712320 52097 33554432000 4194304 4196468 140721875974896 139946993639600 139947005891934 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18453] ppid=18396 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/18399/task/18453/stat : 18453 (java) S 18396 18399 18141 0 -1 1077944384 89 13138 0 0 1 0 5 3 20 0 15 0 443591273 11094712320 52097 33554432000 4194304 4196468 140721875974896 139947026053392 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18454] ppid=18396 vsize=10834680 memory=6628 CPUtime=0.09 cores=1,3,5,7
/proc/18399/task/18454/stat : 18454 (java) S 18396 18399 18141 0 -1 1077944384 27 13138 0 0 1 0 5 3 20 0 15 0 443591273 11094712320 52097 33554432000 4194304 4196468 140721875974896 139946947013008 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18455] ppid=18396 vsize=10834680 memory=8 CPUtime=0.09 cores=1,3,5,7
/proc/18399/task/18455/stat : 18455 (java) S 18396 18399 18141 0 -1 1077944384 303 13138 0 0 1 0 5 3 20 0 15 0 443591273 11094712320 52097 33554432000 4194304 4196468 140721875974896 139946594478608 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18456] ppid=18396 vsize=10834680 memory=279845305473440 CPUtime=0.09 cores=1,3,5,7
/proc/18399/task/18456/stat : 18456 (java) S 18396 18399 18141 0 -1 1077944384 73 13138 0 0 1 0 5 3 20 0 15 0 443591273 11094712320 52097 33554432000 4194304 4196468 140721875974896 139946593426064 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18457] ppid=18396 vsize=10834680 memory=218931662983156 CPUtime=0.09 cores=1,3,5,7
/proc/18399/task/18457/stat : 18457 (java) S 18396 18399 18141 0 -1 1077944384 171 13138 0 0 1 0 5 3 20 0 15 0 443591274 11094712320 52097 33554432000 4194304 4196468 140721875974896 139946548476400 139947021822594 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18458] ppid=18396 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18458/stat : 18458 (java) S 18396 18399 18141 0 -1 1077944384 14 13138 0 0 0 0 5 3 20 0 15 0 443591274 11094712320 52097 33554432000 4194304 4196468 140721875974896 139946476168672 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18459] ppid=18396 vsize=10834680 memory=6011695602326205232 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18459/stat : 18459 (java) S 18396 18399 18141 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 443591275 11094712320 52097 33554432000 4194304 4196468 140721875974896 139945872188928 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18460] ppid=18396 vsize=10834680 memory=-8412658770403813517 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18460/stat : 18460 (java) S 18396 18399 18141 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 443591277 11094712320 52097 33554432000 4194304 4196468 140721875974896 139945564789456 139947021830043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18461] ppid=18396 vsize=10834680 memory=-7668917182949848256 CPUtime=0.62 cores=1,3,5,7
/proc/18399/task/18461/stat : 18461 (java) S 18396 18399 18141 0 -1 1077944384 7277 13138 0 0 54 0 5 3 20 0 15 0 443591277 11094712320 52097 33554432000 4194304 4196468 140721875974896 139946547423216 139947021822594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18462] ppid=18396 vsize=10834680 memory=8514726395714956677 CPUtime=0.67 cores=1,3,5,7
/proc/18399/task/18462/stat : 18462 (java) S 18396 18399 18141 0 -1 1077944384 6731 13138 0 0 58 1 5 3 20 0 15 0 443591277 11094712320 52097 33554432000 4194304 4196468 140721875974896 139946546370672 139947021822594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18463] ppid=18396 vsize=10834680 memory=-5703089359383394774 CPUtime=0.49 cores=1,3,5,7
/proc/18399/task/18463/stat : 18463 (java) S 18396 18399 18141 0 -1 1077944384 2364 13138 0 0 41 0 5 3 20 0 15 0 443591277 11094712320 52097 33554432000 4194304 4196468 140721875974896 139946545318128 139947021822594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18464] ppid=18396 vsize=10834680 memory=8325818960211581590 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18464/stat : 18464 (java) S 18396 18399 18141 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 443591278 11094712320 52097 33554432000 4194304 4196468 140721875974896 139945531230816 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18465] ppid=18396 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18465/stat : 18465 (java) S 18396 18399 18141 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 443591278 11094712320 52097 33554432000 4194304 4196468 140721875974896 139946442611504 139947021822594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
Current children cumulated CPU time: 3.11 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/18399/task/18452/stat : 18452 (java) R 18396 18399 18141 0 -1 4202560 93580 13138 0 0 235438 65 5 3 20 0 15 0 443591272 11109412864 359736 33554432000 4194304 4196468 140721875974896 139946993645808 139946630481216 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18453] ppid=18396 vsize=10849036 memory=6943526294502006880 CPUtime=12.55 cores=1,3,5,7
/proc/18399/task/18453/stat : 18453 (java) S 18396 18399 18141 0 -1 1077944384 29956 13138 0 0 1185 62 5 3 20 0 15 0 443591273 11109412864 359736 33554432000 4194304 4196468 140721875974896 139947026053392 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18454] ppid=18396 vsize=10849036 memory=-6528659778308523166 CPUtime=12.56 cores=1,3,5,7
/proc/18399/task/18454/stat : 18454 (java) S 18396 18399 18141 0 -1 1077944384 25084 13138 0 0 1188 60 5 3 20 0 15 0 443591273 11109412864 359736 33554432000 4194304 4196468 140721875974896 139946947013008 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18455] ppid=18396 vsize=10849036 memory=-8412652169811693427 CPUtime=12.57 cores=1,3,5,7
/proc/18399/task/18455/stat : 18455 (java) S 18396 18399 18141 0 -1 1077944384 36135 13138 0 0 1186 63 5 3 20 0 15 0 443591273 11109412864 359736 33554432000 4194304 4196468 140721875974896 139946594478608 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18456] ppid=18396 vsize=10849036 memory=6441370576508249454 CPUtime=12.58 cores=1,3,5,7
/proc/18399/task/18456/stat : 18456 (java) S 18396 18399 18141 0 -1 1077944384 20301 13138 0 0 1189 61 5 3 20 0 15 0 443591273 11109412864 359736 33554432000 4194304 4196468 140721875974896 139946593426064 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18457] ppid=18396 vsize=10849036 memory=151124467793371 CPUtime=11.26 cores=1,3,5,7
/proc/18399/task/18457/stat : 18457 (java) S 18396 18399 18141 0 -1 1077944384 24517 13138 0 0 1056 62 5 3 20 0 15 0 443591274 11109412864 359736 33554432000 4194304 4196468 140721875974896 139946548476400 139947021822594 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18458] ppid=18396 vsize=10849036 memory=7666652032192241770 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18458/stat : 18458 (java) S 18396 18399 18141 0 -1 1077944384 15 13138 0 0 0 0 5 3 20 0 15 0 443591274 11109412864 359736 33554432000 4194304 4196468 140721875974896 139946476168672 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18459] ppid=18396 vsize=10849036 memory=1438944 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18459/stat : 18459 (java) S 18396 18399 18141 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 443591275 11109412864 359736 33554432000 4194304 4196468 140721875974896 139945872188928 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18460] ppid=18396 vsize=10849036 memory=1438944 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18460/stat : 18460 (java) S 18396 18399 18141 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 443591277 11109412864 359736 33554432000 4194304 4196468 140721875974896 139945564789456 139947021830043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18461] ppid=18396 vsize=10849036 memory=2016 CPUtime=7.74 cores=1,3,5,7
/proc/18399/task/18461/stat : 18461 (java) S 18396 18399 18141 0 -1 1077944384 35042 13138 0 0 762 4 5 3 20 0 15 0 443591277 11109412864 359736 33554432000 4194304 4196468 140721875974896 139946547423216 139947021822594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18462] ppid=18396 vsize=10849036 memory=1284 CPUtime=7.16 cores=1,3,5,7
/proc/18399/task/18462/stat : 18462 (java) S 18396 18399 18141 0 -1 1077944384 35318 13138 0 0 703 5 5 3 20 0 15 0 443591277 11109412864 359736 33554432000 4194304 4196468 140721875974896 139946546370672 139947021822594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18463] ppid=18396 vsize=10849036 memory=1044 CPUtime=2.58 cores=1,3,5,7
/proc/18399/task/18463/stat : 18463 (java) S 18396 18399 18141 0 -1 1077944384 23855 13138 0 0 245 5 5 3 20 0 15 0 443591277 11109412864 359736 33554432000 4194304 4196468 140721875974896 139946545318128 139947021822594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18464] ppid=18396 vsize=10849036 memory=708 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18464/stat : 18464 (java) S 18396 18399 18141 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 443591278 11109412864 359736 33554432000 4194304 4196468 140721875974896 139945531230816 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18465] ppid=18396 vsize=10849036 memory=1438944 CPUtime=1.52 cores=1,3,5,7
/proc/18399/task/18465/stat : 18465 (java) S 18396 18399 18141 0 -1 1077944384 1267 13138 0 0 58 86 5 3 20 0 15 0 443591278 11109412864 359736 33554432000 4194304 4196468 140721875974896 139946442611504 139947021822594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
Current children cumulated CPU time: 2435.01 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1438944 KiB
[startup+2442.3 s]*
/proc/loadavg: 1.06 1.25 1.39 3/227 18730
/proc/meminfo: memFree=28291820/32770624 swapFree=66926472/67108860
[pid=18399] ppid=18396 vsize=10849036 memory=1441060 CPUtime=2495.98 cores=1,3,5,7
/proc/18399/stat : 18399 (java) S 18396 18399 18141 0 -1 1077944320 329424 13138 0 0 249177 413 5 3 20 0 15 0 443591263 11109412864 360265 33554432000 4194304 4196468 140721875974896 140721875957440 139947021811447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
/proc/18399/statm: 2712259 360265 3638 1 0 2674317 0
[pid=18399/tid=18452] ppid=18396 vsize=10849036 memory=8317482817917895235 CPUtime=2414.41 cores=1,3,5,7
/proc/18399/task/18452/stat : 18452 (java) R 18396 18399 18141 0 -1 4202560 94569 13138 0 0 241367 66 5 3 20 0 15 0 443591272 11109412864 360265 33554432000 4194304 4196468 140721875974896 139946993645872 139946644939048 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18453] ppid=18396 vsize=10849036 memory=924 CPUtime=12.88 cores=1,3,5,7
/proc/18399/task/18453/stat : 18453 (java) S 18396 18399 18141 0 -1 1077944384 30091 13138 0 0 1217 63 5 3 20 0 15 0 443591273 11109412864 360265 33554432000 4194304 4196468 140721875974896 139947026053392 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18454] ppid=18396 vsize=10849036 memory=3848 CPUtime=12.89 cores=1,3,5,7
/proc/18399/task/18454/stat : 18454 (java) S 18396 18399 18141 0 -1 1077944384 25623 13138 0 0 1220 61 5 3 20 0 15 0 443591273 11109412864 360265 33554432000 4194304 4196468 140721875974896 139946947013008 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18455] ppid=18396 vsize=10849036 memory=2312 CPUtime=12.91 cores=1,3,5,7
/proc/18399/task/18455/stat : 18455 (java) S 18396 18399 18141 0 -1 1077944384 36275 13138 0 0 1218 65 5 3 20 0 15 0 443591273 11109412864 360265 33554432000 4194304 4196468 140721875974896 139946594478608 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18456] ppid=18396 vsize=10849036 memory=2608 CPUtime=12.92 cores=1,3,5,7
/proc/18399/task/18456/stat : 18456 (java) S 18396 18399 18141 0 -1 1077944384 20355 13138 0 0 1221 63 5 3 20 0 15 0 443591273 11109412864 360265 33554432000 4194304 4196468 140721875974896 139946593426064 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18457] ppid=18396 vsize=10849036 memory=0 CPUtime=11.56 cores=1,3,5,7
/proc/18399/task/18457/stat : 18457 (java) S 18396 18399 18141 0 -1 1077944384 24766 13138 0 0 1084 64 5 3 20 0 15 0 443591274 11109412864 360265 33554432000 4194304 4196468 140721875974896 139946548476400 139947021822594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18458] ppid=18396 vsize=10849036 memory=6298675944972905830 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18458/stat : 18458 (java) S 18396 18399 18141 0 -1 1077944384 15 13138 0 0 0 0 5 3 20 0 15 0 443591274 11109412864 360265 33554432000 4194304 4196468 140721875974896 139946476168672 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18459] ppid=18396 vsize=10849036 memory=1412 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18459/stat : 18459 (java) S 18396 18399 18141 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 443591275 11109412864 360265 33554432000 4194304 4196468 140721875974896 139945872188928 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18460] ppid=18396 vsize=10849036 memory=3180 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18460/stat : 18460 (java) S 18396 18399 18141 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 443591277 11109412864 360265 33554432000 4194304 4196468 140721875974896 139945564789456 139947021830043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18461] ppid=18396 vsize=10849036 memory=993308 CPUtime=7.74 cores=1,3,5,7
/proc/18399/task/18461/stat : 18461 (java) S 18396 18399 18141 0 -1 1077944384 35046 13138 0 0 762 4 5 3 20 0 15 0 443591277 11109412864 360265 33554432000 4194304 4196468 140721875974896 139946547423216 139947021822594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18462] ppid=18396 vsize=10849036 memory=1408 CPUtime=7.16 cores=1,3,5,7
/proc/18399/task/18462/stat : 18462 (java) S 18396 18399 18141 0 -1 1077944384 35322 13138 0 0 703 5 5 3 20 0 15 0 443591277 11109412864 360265 33554432000 4194304 4196468 140721875974896 139946546370672 139947021822594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18463] ppid=18396 vsize=10849036 memory=3248 CPUtime=2.58 cores=1,3,5,7
/proc/18399/task/18463/stat : 18463 (java) S 18396 18399 18141 0 -1 1077944384 23859 13138 0 0 245 5 5 3 20 0 15 0 443591277 11109412864 360265 33554432000 4194304 4196468 140721875974896 139946545318128 139947021822594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18464] ppid=18396 vsize=10849036 memory=1441060 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18464/stat : 18464 (java) S 18396 18399 18141 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 443591278 11109412864 360265 33554432000 4194304 4196468 140721875974896 139945531230816 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18465] ppid=18396 vsize=10849036 memory=4104 CPUtime=1.54 cores=1,3,5,7
/proc/18399/task/18465/stat : 18465 (java) S 18396 18399 18141 0 -1 1077944384 1287 13138 0 0 59 87 5 3 20 0 15 0 443591278 11109412864 360265 33554432000 4194304 4196468 140721875974896 139946442611504 139947021822594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
Current children cumulated CPU time: 2495.98 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1441060 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2466 s]
/proc/loadavg: 1.46 1.31 1.40 5/227 18863
/proc/meminfo: memFree=28611068/32770624 swapFree=66926472/67108860
[pid=18399] ppid=18396 vsize=10849036 memory=1441088 CPUtime=2520.07 cores=1,3,5,7
/proc/18399/stat : 18399 (java) S 18396 18399 18141 0 -1 1077944320 330199 13138 0 0 251582 417 5 3 20 0 15 0 443591263 11109412864 360272 33554432000 4194304 4196468 140721875974896 140721875957440 139947021811447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
/proc/18399/statm: 2712259 360272 3638 1 0 2674317 0
[pid=18399/tid=18452] ppid=18396 vsize=10849036 memory=1441088 CPUtime=2437.83 cores=1,3,5,7
/proc/18399/task/18452/stat : 18452 (java) R 18396 18399 18141 0 -1 4202560 94870 13138 0 0 243708 67 5 3 20 0 15 0 443591272 11109412864 360272 33554432000 4194304 4196468 140721875974896 139946993645968 139946646853299 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18453] ppid=18396 vsize=10849036 memory=1441088 CPUtime=13.02 cores=1,3,5,7
/proc/18399/task/18453/stat : 18453 (java) S 18396 18399 18141 0 -1 1077944384 30100 13138 0 0 1230 64 5 3 20 0 15 0 443591273 11109412864 360272 33554432000 4194304 4196468 140721875974896 139947026053392 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18454] ppid=18396 vsize=10849036 memory=1289 CPUtime=13.03 cores=1,3,5,7
/proc/18399/task/18454/stat : 18454 (java) S 18396 18399 18141 0 -1 1077944384 25703 13138 0 0 1233 62 5 3 20 0 15 0 443591273 11109412864 360272 33554432000 4194304 4196468 140721875974896 139946947013008 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18455] ppid=18396 vsize=10849036 memory=1441088 CPUtime=13.04 cores=1,3,5,7
/proc/18399/task/18455/stat : 18455 (java) S 18396 18399 18141 0 -1 1077944384 36445 13138 0 0 1231 65 5 3 20 0 15 0 443591273 11109412864 360272 33554432000 4194304 4196468 140721875974896 139946594478608 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18456] ppid=18396 vsize=10849036 memory=3580 CPUtime=13.05 cores=1,3,5,7
/proc/18399/task/18456/stat : 18456 (java) S 18396 18399 18141 0 -1 1077944384 20359 13138 0 0 1234 63 5 3 20 0 15 0 443591273 11109412864 360272 33554432000 4194304 4196468 140721875974896 139946593426064 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18457] ppid=18396 vsize=10849036 memory=30660 CPUtime=11.68 cores=1,3,5,7
/proc/18399/task/18457/stat : 18457 (java) S 18396 18399 18141 0 -1 1077944384 24964 13138 0 0 1095 65 5 3 20 0 15 0 443591274 11109412864 360272 33554432000 4194304 4196468 140721875974896 139946548476400 139947021822594 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18458] ppid=18396 vsize=10849036 memory=2472 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18458/stat : 18458 (java) S 18396 18399 18141 0 -1 1077944384 15 13138 0 0 0 0 5 3 20 0 15 0 443591274 11109412864 360272 33554432000 4194304 4196468 140721875974896 139946476168672 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18459] ppid=18396 vsize=10849036 memory=458604 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18459/stat : 18459 (java) S 18396 18399 18141 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 443591275 11109412864 360272 33554432000 4194304 4196468 140721875974896 139945872188928 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18460] ppid=18396 vsize=10849036 memory=1441088 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18460/stat : 18460 (java) S 18396 18399 18141 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 443591277 11109412864 360272 33554432000 4194304 4196468 140721875974896 139945564789456 139947021830043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18461] ppid=18396 vsize=10849036 memory=1441088 CPUtime=7.74 cores=1,3,5,7
/proc/18399/task/18461/stat : 18461 (java) S 18396 18399 18141 0 -1 1077944384 35046 13138 0 0 762 4 5 3 20 0 15 0 443591277 11109412864 360272 33554432000 4194304 4196468 140721875974896 139946547423216 139947021822594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18462] ppid=18396 vsize=10849036 memory=1441088 CPUtime=7.16 cores=1,3,5,7
/proc/18399/task/18462/stat : 18462 (java) S 18396 18399 18141 0 -1 1077944384 35322 13138 0 0 703 5 5 3 20 0 15 0 443591277 11109412864 360272 33554432000 4194304 4196468 140721875974896 139946546370672 139947021822594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18463] ppid=18396 vsize=10849036 memory=1441088 CPUtime=2.58 cores=1,3,5,7
/proc/18399/task/18463/stat : 18463 (java) S 18396 18399 18141 0 -1 1077944384 23859 13138 0 0 245 5 5 3 20 0 15 0 443591277 11109412864 360272 33554432000 4194304 4196468 140721875974896 139946545318128 139947021822594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18464] ppid=18396 vsize=10849036 memory=230363 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18464/stat : 18464 (java) S 18396 18399 18141 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 443591278 11109412864 360272 33554432000 4194304 4196468 140721875974896 139945531230816 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18465] ppid=18396 vsize=10849036 memory=222739 CPUtime=1.56 cores=1,3,5,7
/proc/18399/task/18465/stat : 18465 (java) S 18396 18399 18141 0 -1 1077944384 1300 13138 0 0 60 88 5 3 20 0 15 0 443591278 11109412864 360272 33554432000 4194304 4196468 140721875974896 139946442611504 139947021822594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1441088 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2466.03 s]
# the end of solver process 18399 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.89 s, system=4.21323 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2466 s]
/proc/loadavg: 1.46 1.31 1.40 5/227 18863
/proc/meminfo: memFree=28611068/32770624 swapFree=66926472/67108860
[pid=18399] ppid=18396 vsize=10849036 memory=1441088 CPUtime=2520.07 cores=1,3,5,7
/proc/18399/stat : 18399 (java) S 18396 18399 18141 0 -1 1077944320 330199 13138 0 0 251582 417 5 3 20 0 15 0 443591263 11109412864 360272 33554432000 4194304 4196468 140721875974896 140721875957440 139947021811447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
/proc/18399/statm: 2712259 360272 3638 1 0 2674317 0
[pid=18399/tid=18452] ppid=18396 vsize=10849036 memory=1441088 CPUtime=2437.83 cores=1,3,5,7
/proc/18399/task/18452/stat : 18452 (java) R 18396 18399 18141 0 -1 4202560 94870 13138 0 0 243708 67 5 3 20 0 15 0 443591272 11109412864 360272 33554432000 4194304 4196468 140721875974896 139946993645968 139946646853299 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18453] ppid=18396 vsize=10849036 memory=1441088 CPUtime=13.02 cores=1,3,5,7
/proc/18399/task/18453/stat : 18453 (java) S 18396 18399 18141 0 -1 1077944384 30100 13138 0 0 1230 64 5 3 20 0 15 0 443591273 11109412864 360272 33554432000 4194304 4196468 140721875974896 139947026053392 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18454] ppid=18396 vsize=10849036 memory=1289 CPUtime=13.03 cores=1,3,5,7
/proc/18399/task/18454/stat : 18454 (java) S 18396 18399 18141 0 -1 1077944384 25703 13138 0 0 1233 62 5 3 20 0 15 0 443591273 11109412864 360272 33554432000 4194304 4196468 140721875974896 139946947013008 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18455] ppid=18396 vsize=10849036 memory=1441088 CPUtime=13.04 cores=1,3,5,7
/proc/18399/task/18455/stat : 18455 (java) S 18396 18399 18141 0 -1 1077944384 36445 13138 0 0 1231 65 5 3 20 0 15 0 443591273 11109412864 360272 33554432000 4194304 4196468 140721875974896 139946594478608 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18456] ppid=18396 vsize=10849036 memory=3580 CPUtime=13.05 cores=1,3,5,7
/proc/18399/task/18456/stat : 18456 (java) S 18396 18399 18141 0 -1 1077944384 20359 13138 0 0 1234 63 5 3 20 0 15 0 443591273 11109412864 360272 33554432000 4194304 4196468 140721875974896 139946593426064 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18457] ppid=18396 vsize=10849036 memory=30660 CPUtime=11.68 cores=1,3,5,7
/proc/18399/task/18457/stat : 18457 (java) S 18396 18399 18141 0 -1 1077944384 24964 13138 0 0 1095 65 5 3 20 0 15 0 443591274 11109412864 360272 33554432000 4194304 4196468 140721875974896 139946548476400 139947021822594 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18458] ppid=18396 vsize=10849036 memory=2472 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18458/stat : 18458 (java) S 18396 18399 18141 0 -1 1077944384 15 13138 0 0 0 0 5 3 20 0 15 0 443591274 11109412864 360272 33554432000 4194304 4196468 140721875974896 139946476168672 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18459] ppid=18396 vsize=10849036 memory=458604 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18459/stat : 18459 (java) S 18396 18399 18141 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 443591275 11109412864 360272 33554432000 4194304 4196468 140721875974896 139945872188928 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18460] ppid=18396 vsize=10849036 memory=1441088 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18460/stat : 18460 (java) S 18396 18399 18141 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 443591277 11109412864 360272 33554432000 4194304 4196468 140721875974896 139945564789456 139947021830043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18461] ppid=18396 vsize=10849036 memory=1441088 CPUtime=7.74 cores=1,3,5,7
/proc/18399/task/18461/stat : 18461 (java) S 18396 18399 18141 0 -1 1077944384 35046 13138 0 0 762 4 5 3 20 0 15 0 443591277 11109412864 360272 33554432000 4194304 4196468 140721875974896 139946547423216 139947021822594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18462] ppid=18396 vsize=10849036 memory=1441088 CPUtime=7.16 cores=1,3,5,7
/proc/18399/task/18462/stat : 18462 (java) S 18396 18399 18141 0 -1 1077944384 35322 13138 0 0 703 5 5 3 20 0 15 0 443591277 11109412864 360272 33554432000 4194304 4196468 140721875974896 139946546370672 139947021822594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18463] ppid=18396 vsize=10849036 memory=1441088 CPUtime=2.58 cores=1,3,5,7
/proc/18399/task/18463/stat : 18463 (java) S 18396 18399 18141 0 -1 1077944384 23859 13138 0 0 245 5 5 3 20 0 15 0 443591277 11109412864 360272 33554432000 4194304 4196468 140721875974896 139946545318128 139947021822594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18464] ppid=18396 vsize=10849036 memory=230363 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18464/stat : 18464 (java) S 18396 18399 18141 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 443591278 11109412864 360272 33554432000 4194304 4196468 140721875974896 139945531230816 139947021821653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
[pid=18399/tid=18465] ppid=18396 vsize=10849036 memory=222739 CPUtime=1.56 cores=1,3,5,7
/proc/18399/task/18465/stat : 18465 (java) S 18396 18399 18141 0 -1 1077944384 1300 13138 0 0 60 88 5 3 20 0 15 0 443591278 11109412864 360272 33554432000 4194304 4196468 140721875974896 139946442611504 139947021822594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140721875983088 140721875985605 140721875985605 140721875988431 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1441088 KiB
Child status: 143
Real time (s): 2466.03
CPU time (s): 2520.1
CPU user time (s): 2515.89
CPU system time (s): 4.21323
CPU usage (%): 102.193
Max. virtual memory (cumulated for all children) (KiB): 10851792
Max. memory (cumulated for all children) (KiB): 1526864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.89
system time used= 4.21323
maximum resident set size= 1527380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 344192
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 305714
involuntary context switches= 7730
# summary of solver processes directly reported to runsolver:
# pid: 18399
# total CPU time (s): 2520.1
# total CPU user time (s): 2515.89
# total CPU system time (s): 4.21323
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2121 second user time and 23.1145 second system time
The end