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 (2928 MiB free)
memory of node 1: 16384 MiB (2622 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4402862-1568973537/watcher-4402862-1568973537 -o /tmp/evaluation-result-4402862-1568973537/solver-4402862-1568973537 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568967594-23612 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=122441839 HOME/instance-4402862-1568973537.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=25434, runsolver pid=25431
[startup+0.100099 s]*
/proc/loadavg: 2.00 1.53 1.48 3/218 25491
/proc/meminfo: memFree=5680336/32770624 swapFree=66935368/67108860
[pid=25434] ppid=25431 vsize=9972712 memory=19000 CPUtime=0.1 cores=1,3,5,7
/proc/25434/stat : 25434 (java) S 25431 25434 23580 0 -1 1077944320 4514 13457 0 0 1 1 5 3 20 0 6 0 473291571 10212057088 4750 33554432000 4194304 4196468 140733373493920 140733373476464 140216525827831 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
/proc/25434/statm: 2493178 4750 1935 1 0 2481616 0
[pid=25434/tid=25487] ppid=25431 vsize=9972712 memory=-8439527450518781933 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25487/stat : 25487 (java) R 25431 25434 23580 0 -1 4202560 2301 13457 0 0 0 0 5 3 20 0 6 0 473291580 10212057088 4750 33554432000 4194304 4196468 140733373493920 140216497664592 140216525849757 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25488] ppid=25431 vsize=9972712 memory=4211973814663732618 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25488/stat : 25488 (java) S 25431 25434 23580 0 -1 1077944384 2 13457 0 0 0 0 5 3 20 0 6 0 473291581 10212057088 4750 33554432000 4194304 4196468 140733373493920 140216530070416 140216525838037 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25489] ppid=25431 vsize=9972712 memory=140088458942080 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25489/stat : 25489 (java) S 25431 25434 23580 0 -1 1077944384 1 13457 0 0 0 0 5 3 20 0 6 0 473291581 10212057088 4750 33554432000 4194304 4196468 140733373493920 140216099330832 140216525838037 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25490] ppid=25431 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25490/stat : 25490 (java) S 25431 25434 23580 0 -1 1077944384 1 13457 0 0 0 0 5 3 20 0 6 0 473291581 10212057088 4750 33554432000 4194304 4196468 140733373493920 140216098278544 140216525838037 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25491] ppid=25431 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25491/stat : 25491 (java) S 25431 25434 23580 0 -1 1077944384 2 13457 0 0 0 0 5 3 20 0 6 0 473291581 10212057088 4750 33554432000 4194304 4196468 140733373493920 140216097225744 140216525838037 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 19000 KiB
[startup+0.211037 s]*
/proc/loadavg: 2.00 1.53 1.48 3/227 25500
/proc/meminfo: memFree=5655908/32770624 swapFree=66935368/67108860
[pid=25434] ppid=25431 vsize=10820164 memory=41796 CPUtime=0.27 cores=1,3,5,7
/proc/25434/stat : 25434 (java) S 25431 25434 23580 0 -1 1077944320 7242 13457 0 0 17 2 5 3 20 0 15 0 473291571 11079847936 10449 33554432000 4194304 4196468 140733373493920 140733373476464 140216525827831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
/proc/25434/statm: 2705041 10449 3282 1 0 2667149 0
[pid=25434/tid=25487] ppid=25431 vsize=10820164 memory=7900017517374083699 CPUtime=0.19 cores=1,3,5,7
/proc/25434/task/25487/stat : 25487 (java) R 25431 25434 23580 0 -1 4202560 3749 13457 0 0 10 1 5 3 20 0 15 0 473291580 11079847936 10449 33554432000 4194304 4196468 140733373493920 140216497621864 140216525849757 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25488] ppid=25431 vsize=10820164 memory=4211973814663732618 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25488/stat : 25488 (java) S 25431 25434 23580 0 -1 1077944384 2 13457 0 0 0 0 5 3 20 0 15 0 473291581 11079847936 10449 33554432000 4194304 4196468 140733373493920 140216530070416 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25489] ppid=25431 vsize=10820164 memory=140088458942080 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25489/stat : 25489 (java) S 25431 25434 23580 0 -1 1077944384 1 13457 0 0 0 0 5 3 20 0 15 0 473291581 11079847936 10449 33554432000 4194304 4196468 140733373493920 140216099330832 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25490] ppid=25431 vsize=10820164 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25490/stat : 25490 (java) S 25431 25434 23580 0 -1 1077944384 1 13457 0 0 0 0 5 3 20 0 15 0 473291581 11079847936 10449 33554432000 4194304 4196468 140733373493920 140216098278544 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25491] ppid=25431 vsize=10820164 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25491/stat : 25491 (java) S 25431 25434 23580 0 -1 1077944384 2 13457 0 0 0 0 5 3 20 0 15 0 473291581 11079847936 10449 33554432000 4194304 4196468 140733373493920 140216097225744 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25492] ppid=25431 vsize=10820164 memory=140088458942080 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25492/stat : 25492 (java) S 25431 25434 23580 0 -1 1077944384 2 13457 0 0 0 0 5 3 20 0 15 0 473291582 11079847936 10449 33554432000 4194304 4196468 140733373493920 140215797606512 140216525838978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25493] ppid=25431 vsize=10820164 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25493/stat : 25493 (java) S 25431 25434 23580 0 -1 1077944384 13 13457 0 0 0 0 5 3 20 0 15 0 473291583 11079847936 10449 33554432000 4194304 4196468 140733373493920 140215515603744 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25494] ppid=25431 vsize=10820164 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25494/stat : 25494 (java) S 25431 25434 23580 0 -1 1077944384 1 13457 0 0 0 0 5 3 20 0 15 0 473291583 11079847936 10449 33554432000 4194304 4196468 140733373493920 140215314277488 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25495] ppid=25431 vsize=10820164 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25495/stat : 25495 (java) S 25431 25434 23580 0 -1 1077944384 3 13457 0 0 0 0 5 3 20 0 15 0 473291585 11079847936 10449 33554432000 4194304 4196468 140733373493920 140215073986640 140216525846427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25496] ppid=25431 vsize=10820164 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/25434/task/25496/stat : 25496 (java) S 25431 25434 23580 0 -1 1077944384 610 13457 0 0 1 0 5 3 20 0 15 0 473291585 11079847936 10449 33554432000 4194304 4196468 140733373493920 140215796554352 140216525838978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25497] ppid=25431 vsize=10820164 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25497/stat : 25497 (java) S 25431 25434 23580 0 -1 1077944384 46 13457 0 0 0 0 5 3 20 0 15 0 473291586 11079847936 10449 33554432000 4194304 4196468 140733373493920 140215795501552 140216525838978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25498] ppid=25431 vsize=10820164 memory=140088458942080 CPUtime=0.11 cores=1,3,5,7
/proc/25434/task/25498/stat : 25498 (java) S 25431 25434 23580 0 -1 1077944384 609 13457 0 0 3 0 5 3 20 0 15 0 473291586 11079847936 10449 33554432000 4194304 4196468 140733373493920 140215794449264 140216525838978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25499] ppid=25431 vsize=10820164 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25499/stat : 25499 (java) S 25431 25434 23580 0 -1 1077944384 3 13457 0 0 0 0 5 3 20 0 15 0 473291586 11079847936 10449 33554432000 4194304 4196468 140733373493920 140215040429024 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25500] ppid=25431 vsize=10820164 memory=140088458942080 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25500/stat : 25500 (java) S 25431 25434 23580 0 -1 1077944384 1 13457 0 0 0 0 5 3 20 0 15 0 473291586 11079847936 10449 33554432000 4194304 4196468 140733373493920 140215793396144 140216525838978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820164 KiB
Current children cumulated memory: 41796 KiB
[startup+0.31037 s]*
/proc/loadavg: 2.00 1.53 1.48 4/227 25500
/proc/meminfo: memFree=5646616/32770624 swapFree=66935368/67108860
[pid=25434] ppid=25431 vsize=10820196 memory=50080 CPUtime=0.4 cores=1,3,5,7
/proc/25434/stat : 25434 (java) S 25431 25434 23580 0 -1 1077944320 10770 13457 0 0 28 4 5 3 20 0 15 0 473291571 11079880704 12520 33554432000 4194304 4196468 140733373493920 140733373476464 140216525827831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
/proc/25434/statm: 2705049 12520 3318 1 0 2667149 0
[pid=25434/tid=25487] ppid=25431 vsize=10820196 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/25434/task/25487/stat : 25487 (java) R 25431 25434 23580 0 -1 4202560 7239 13457 0 0 19 2 5 3 20 0 15 0 473291580 11079880704 12520 33554432000 4194304 4196468 140733373493920 140216497646288 140216525849757 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25488] ppid=25431 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25488/stat : 25488 (java) S 25431 25434 23580 0 -1 1077944384 2 13457 0 0 0 0 5 3 20 0 15 0 473291581 11079880704 12520 33554432000 4194304 4196468 140733373493920 140216530070416 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25489] ppid=25431 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25489/stat : 25489 (java) S 25431 25434 23580 0 -1 1077944384 1 13457 0 0 0 0 5 3 20 0 15 0 473291581 11079880704 12520 33554432000 4194304 4196468 140733373493920 140216099330832 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25490] ppid=25431 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25490/stat : 25490 (java) S 25431 25434 23580 0 -1 1077944384 1 13457 0 0 0 0 5 3 20 0 15 0 473291581 11079880704 12520 33554432000 4194304 4196468 140733373493920 140216098278544 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25491] ppid=25431 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25491/stat : 25491 (java) S 25431 25434 23580 0 -1 1077944384 2 13457 0 0 0 0 5 3 20 0 15 0 473291581 11079880704 12520 33554432000 4194304 4196468 140733373493920 140216097225744 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25492] ppid=25431 vsize=10820196 memory=140088458942079 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25492/stat : 25492 (java) S 25431 25434 23580 0 -1 1077944384 2 13457 0 0 0 0 5 3 20 0 15 0 473291582 11079880704 12520 33554432000 4194304 4196468 140733373493920 140215797606512 140216525838978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25493] ppid=25431 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25493/stat : 25493 (java) S 25431 25434 23580 0 -1 1077944384 13 13457 0 0 0 0 5 3 20 0 15 0 473291583 11079880704 12520 33554432000 4194304 4196468 140733373493920 140215515603744 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25494] ppid=25431 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25494/stat : 25494 (java) S 25431 25434 23580 0 -1 1077944384 1 13457 0 0 0 0 5 3 20 0 15 0 473291583 11079880704 12520 33554432000 4194304 4196468 140733373493920 140215314277488 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25495] ppid=25431 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25495/stat : 25495 (java) S 25431 25434 23580 0 -1 1077944384 3 13457 0 0 0 0 5 3 20 0 15 0 473291585 11079880704 12520 33554432000 4194304 4196468 140733373493920 140215073986640 140216525846427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25496] ppid=25431 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/25434/task/25496/stat : 25496 (java) S 25431 25434 23580 0 -1 1077944384 619 13457 0 0 2 0 5 3 20 0 15 0 473291585 11079880704 12520 33554432000 4194304 4196468 140733373493920 140215796554352 140216525838978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25497] ppid=25431 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/25434/task/25497/stat : 25497 (java) S 25431 25434 23580 0 -1 1077944384 47 13457 0 0 1 0 5 3 20 0 15 0 473291586 11079880704 12520 33554432000 4194304 4196468 140733373493920 140215795501552 140216525838978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25498] ppid=25431 vsize=10820196 memory=140088458942080 CPUtime=0.13 cores=1,3,5,7
/proc/25434/task/25498/stat : 25498 (java) S 25431 25434 23580 0 -1 1077944384 628 13457 0 0 5 0 5 3 20 0 15 0 473291586 11079880704 12520 33554432000 4194304 4196468 140733373493920 140215794449264 140216525838978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25499] ppid=25431 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25499/stat : 25499 (java) S 25431 25434 23580 0 -1 1077944384 3 13457 0 0 0 0 5 3 20 0 15 0 473291586 11079880704 12520 33554432000 4194304 4196468 140733373493920 140215040429024 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25500] ppid=25431 vsize=10820196 memory=140088458942080 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25500/stat : 25500 (java) S 25431 25434 23580 0 -1 1077944384 1 13457 0 0 0 0 5 3 20 0 15 0 473291586 11079880704 12520 33554432000 4194304 4196468 140733373493920 140215793396144 140216525838978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50080 KiB
[startup+0.700781 s]
/proc/loadavg: 2.00 1.53 1.48 3/227 25500
/proc/meminfo: memFree=5629960/32770624 swapFree=66935368/67108860
[pid=25434] ppid=25431 vsize=10824364 memory=83708 CPUtime=1.15 cores=1,3,5,7
/proc/25434/stat : 25434 (java) S 25431 25434 23580 0 -1 1077944320 15164 13457 0 0 102 5 5 3 20 0 15 0 473291571 11084148736 20927 33554432000 4194304 4196468 140733373493920 140733373476464 140216525827831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
/proc/25434/statm: 2706091 20927 3506 1 0 2668173 0
[pid=25434/tid=25487] ppid=25431 vsize=10824364 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/25434/task/25487/stat : 25487 (java) R 25431 25434 23580 0 -1 4202560 10534 13457 0 0 55 4 5 3 20 0 15 0 473291580 11084148736 20927 33554432000 4194304 4196468 140733373493920 140216497657376 140216509871461 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25488] ppid=25431 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25488/stat : 25488 (java) S 25431 25434 23580 0 -1 1077944384 2 13457 0 0 0 0 5 3 20 0 15 0 473291581 11084148736 20927 33554432000 4194304 4196468 140733373493920 140216530070416 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25489] ppid=25431 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25489/stat : 25489 (java) S 25431 25434 23580 0 -1 1077944384 1 13457 0 0 0 0 5 3 20 0 15 0 473291581 11084148736 20927 33554432000 4194304 4196468 140733373493920 140216099330832 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25490] ppid=25431 vsize=10824364 memory=5938114200481458240 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25490/stat : 25490 (java) S 25431 25434 23580 0 -1 1077944384 1 13457 0 0 0 0 5 3 20 0 15 0 473291581 11084148736 20927 33554432000 4194304 4196468 140733373493920 140216098278544 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25491] ppid=25431 vsize=10824364 memory=8320808402719879476 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25491/stat : 25491 (java) S 25431 25434 23580 0 -1 1077944384 2 13457 0 0 0 0 5 3 20 0 15 0 473291581 11084148736 20927 33554432000 4194304 4196468 140733373493920 140216097225744 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25492] ppid=25431 vsize=10824364 memory=988 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25492/stat : 25492 (java) S 25431 25434 23580 0 -1 1077944384 5 13457 0 0 0 0 5 3 20 0 15 0 473291582 11084148736 20927 33554432000 4194304 4196468 140733373493920 140215797606512 140216525838978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25493] ppid=25431 vsize=10824364 memory=61 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25493/stat : 25493 (java) S 25431 25434 23580 0 -1 1077944384 13 13457 0 0 0 0 5 3 20 0 15 0 473291583 11084148736 20927 33554432000 4194304 4196468 140733373493920 140215515603744 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25494] ppid=25431 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25494/stat : 25494 (java) S 25431 25434 23580 0 -1 1077944384 1 13457 0 0 0 0 5 3 20 0 15 0 473291583 11084148736 20927 33554432000 4194304 4196468 140733373493920 140215314277488 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25495] ppid=25431 vsize=10824364 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25495/stat : 25495 (java) S 25431 25434 23580 0 -1 1077944384 3 13457 0 0 0 0 5 3 20 0 15 0 473291585 11084148736 20927 33554432000 4194304 4196468 140733373493920 140215073986640 140216525846427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25496] ppid=25431 vsize=10824364 memory=280176688660512 CPUtime=0.24 cores=1,3,5,7
/proc/25434/task/25496/stat : 25496 (java) R 25431 25434 23580 0 -1 4202560 1189 13457 0 0 16 0 5 3 20 0 15 0 473291585 11084148736 20927 33554432000 4194304 4196468 140733373493920 140215796542192 140216511850363 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25497] ppid=25431 vsize=10824364 memory=16132 CPUtime=0.2 cores=1,3,5,7
/proc/25434/task/25497/stat : 25497 (java) S 25431 25434 23580 0 -1 1077944384 438 13457 0 0 12 0 5 3 20 0 15 0 473291586 11084148736 20927 33554432000 4194304 4196468 140733373493920 140215795501552 140216525838978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25498] ppid=25431 vsize=10824364 memory=4420 CPUtime=0.25 cores=1,3,5,7
/proc/25434/task/25498/stat : 25498 (java) S 25431 25434 23580 0 -1 1077944384 763 13457 0 0 17 0 5 3 20 0 15 0 473291586 11084148736 20927 33554432000 4194304 4196468 140733373493920 140215794449264 140216525838978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25499] ppid=25431 vsize=10824364 memory=239 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25499/stat : 25499 (java) S 25431 25434 23580 0 -1 1077944384 3 13457 0 0 0 0 5 3 20 0 15 0 473291586 11084148736 20927 33554432000 4194304 4196468 140733373493920 140215040429024 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25500] ppid=25431 vsize=10824364 memory=8242257093008374069 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25500/stat : 25500 (java) S 25431 25434 23580 0 -1 1077944384 1 13457 0 0 0 0 5 3 20 0 15 0 473291586 11084148736 20927 33554432000 4194304 4196468 140733373493920 140215793396144 140216525838978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83708 KiB
[startup+1.50067 s]
/proc/loadavg: 2.16 1.57 1.50 3/227 25500
/proc/meminfo: memFree=5589584/32770624 swapFree=66935368/67108860
[pid=25434] ppid=25431 vsize=10834680 memory=175116 CPUtime=2.63 cores=1,3,5,7
/proc/25434/stat : 25434 (java) S 25431 25434 23580 0 -1 1077944320 24723 13457 0 0 245 10 5 3 20 0 15 0 473291571 11094712320 43779 33554432000 4194304 4196468 140733373493920 140733373476464 140216525827831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
/proc/25434/statm: 2708670 43779 3579 1 0 2670733 0
[pid=25434/tid=25487] ppid=25431 vsize=10834680 memory=0 CPUtime=1.44 cores=1,3,5,7
/proc/25434/task/25487/stat : 25487 (java) R 25431 25434 23580 0 -1 4202560 16085 13457 0 0 130 6 5 3 20 0 15 0 473291580 11094712320 43779 33554432000 4194304 4196468 140733373493920 140216497634224 140216525839766 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25488] ppid=25431 vsize=10834680 memory=115 CPUtime=0.09 cores=1,3,5,7
/proc/25434/task/25488/stat : 25488 (java) S 25431 25434 23580 0 -1 1077944384 97 13457 0 0 1 0 5 3 20 0 15 0 473291581 11094712320 43779 33554432000 4194304 4196468 140733373493920 140216530070416 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25489] ppid=25431 vsize=10834680 memory=1 CPUtime=0.09 cores=1,3,5,7
/proc/25434/task/25489/stat : 25489 (java) S 25431 25434 23580 0 -1 1077944384 61 13457 0 0 1 0 5 3 20 0 15 0 473291581 11094712320 43779 33554432000 4194304 4196468 140733373493920 140216099330832 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25490] ppid=25431 vsize=10834680 memory=1 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25490/stat : 25490 (java) S 25431 25434 23580 0 -1 1077944384 21 13457 0 0 0 0 5 3 20 0 15 0 473291581 11094712320 43779 33554432000 4194304 4196468 140733373493920 140216098278544 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25491] ppid=25431 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/25434/task/25491/stat : 25491 (java) S 25431 25434 23580 0 -1 1077944384 301 13457 0 0 1 0 5 3 20 0 15 0 473291581 11094712320 43779 33554432000 4194304 4196468 140733373493920 140216097225744 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25492] ppid=25431 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/25434/task/25492/stat : 25492 (java) S 25431 25434 23580 0 -1 1077944384 1042 13457 0 0 1 0 5 3 20 0 15 0 473291582 11094712320 43779 33554432000 4194304 4196468 140733373493920 140215797606512 140216525838978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25493] ppid=25431 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25493/stat : 25493 (java) S 25431 25434 23580 0 -1 1077944384 14 13457 0 0 0 0 5 3 20 0 15 0 473291583 11094712320 43779 33554432000 4194304 4196468 140733373493920 140215515603808 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25494] ppid=25431 vsize=10834680 memory=4580 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25494/stat : 25494 (java) S 25431 25434 23580 0 -1 1077944384 1 13457 0 0 0 0 5 3 20 0 15 0 473291583 11094712320 43779 33554432000 4194304 4196468 140733373493920 140215314277488 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25495] ppid=25431 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25495/stat : 25495 (java) S 25431 25434 23580 0 -1 1077944384 3 13457 0 0 0 0 5 3 20 0 15 0 473291585 11094712320 43779 33554432000 4194304 4196468 140733373493920 140215073986640 140216525846427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25496] ppid=25431 vsize=10834680 memory=0 CPUtime=0.41 cores=1,3,5,7
/proc/25434/task/25496/stat : 25496 (java) S 25431 25434 23580 0 -1 1077944384 1826 13457 0 0 33 0 5 3 20 0 15 0 473291585 11094712320 43779 33554432000 4194304 4196468 140733373493920 140215796554352 140216525838978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25497] ppid=25431 vsize=10834680 memory=2276 CPUtime=0.4 cores=1,3,5,7
/proc/25434/task/25497/stat : 25497 (java) S 25431 25434 23580 0 -1 1077944384 1356 13457 0 0 32 0 5 3 20 0 15 0 473291586 11094712320 43779 33554432000 4194304 4196468 140733373493920 140215795501552 140216525838978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25498] ppid=25431 vsize=10834680 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/25434/task/25498/stat : 25498 (java) S 25431 25434 23580 0 -1 1077944384 1704 13457 0 0 41 0 5 3 20 0 15 0 473291586 11094712320 43779 33554432000 4194304 4196468 140733373493920 140215794449264 140216525838978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25499] ppid=25431 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25499/stat : 25499 (java) S 25431 25434 23580 0 -1 1077944384 3 13457 0 0 0 0 5 3 20 0 15 0 473291586 11094712320 43779 33554432000 4194304 4196468 140733373493920 140215040429024 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25500] ppid=25431 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25500/stat : 25500 (java) S 25431 25434 23580 0 -1 1077944384 1 13457 0 0 0 0 5 3 20 0 15 0 473291586 11094712320 43779 33554432000 4194304 4196468 140733373493920 140215793396144 140216525838978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
Current children cumulated CPU time: 2.63 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/25434/task/25487/stat : 25487 (java) R 25431 25434 23580 0 -1 4202560 21795 13457 0 0 284 8 5 3 20 0 15 0 473291580 11107315712 61748 33554432000 4194304 4196468 140733373493920 140216497662240 140216131052761 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25488] ppid=25431 vsize=10846988 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/25434/task/25488/stat : 25488 (java) S 25431 25434 23580 0 -1 1077944384 106 13457 0 0 2 0 5 3 20 0 15 0 473291581 11107315712 61748 33554432000 4194304 4196468 140733373493920 140216530070416 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25489] ppid=25431 vsize=10846988 memory=206740 CPUtime=0.1 cores=1,3,5,7
/proc/25434/task/25489/stat : 25489 (java) S 25431 25434 23580 0 -1 1077944384 84 13457 0 0 2 0 5 3 20 0 15 0 473291581 11107315712 61748 33554432000 4194304 4196468 140733373493920 140216099330832 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25490] ppid=25431 vsize=10846988 memory=3616 CPUtime=0.1 cores=1,3,5,7
/proc/25434/task/25490/stat : 25490 (java) S 25431 25434 23580 0 -1 1077944384 41 13457 0 0 2 0 5 3 20 0 15 0 473291581 11107315712 61748 33554432000 4194304 4196468 140733373493920 140216098278544 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25491] ppid=25431 vsize=10846988 memory=40968 CPUtime=0.1 cores=1,3,5,7
/proc/25434/task/25491/stat : 25491 (java) S 25431 25434 23580 0 -1 1077944384 311 13457 0 0 2 0 5 3 20 0 15 0 473291581 11107315712 61748 33554432000 4194304 4196468 140733373493920 140216097225744 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25492] ppid=25431 vsize=10846988 memory=988 CPUtime=0.11 cores=1,3,5,7
/proc/25434/task/25492/stat : 25492 (java) S 25431 25434 23580 0 -1 1077944384 1973 13457 0 0 3 0 5 3 20 0 15 0 473291582 11107315712 61748 33554432000 4194304 4196468 140733373493920 140215797606512 140216525838978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25493] ppid=25431 vsize=10846988 memory=236892 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25493/stat : 25493 (java) S 25431 25434 23580 0 -1 1077944384 14 13457 0 0 0 0 5 3 20 0 15 0 473291583 11107315712 61748 33554432000 4194304 4196468 140733373493920 140215515603808 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25494] ppid=25431 vsize=10846988 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25494/stat : 25494 (java) S 25431 25434 23580 0 -1 1077944384 1 13457 0 0 0 0 5 3 20 0 15 0 473291583 11107315712 61748 33554432000 4194304 4196468 140733373493920 140215314277504 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25495] ppid=25431 vsize=10846988 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25495/stat : 25495 (java) S 25431 25434 23580 0 -1 1077944384 3 13457 0 0 0 0 5 3 20 0 15 0 473291585 11107315712 61748 33554432000 4194304 4196468 140733373493920 140215073986640 140216525846427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25496] ppid=25431 vsize=10846988 memory=0 CPUtime=1.17 cores=1,3,5,7
/proc/25434/task/25496/stat : 25496 (java) R 25431 25434 23580 0 -1 4202560 5207 13457 0 0 108 1 5 3 20 0 15 0 473291585 11107315712 61748 33554432000 4194304 4196468 140733373493920 140215796540376 140216525841695 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25497] ppid=25431 vsize=10846988 memory=7378391969546064995 CPUtime=1.05 cores=1,3,5,7
/proc/25434/task/25497/stat : 25497 (java) R 25431 25434 23580 0 -1 4202560 2446 13457 0 0 96 1 5 3 20 0 15 0 473291586 11107315712 61748 33554432000 4194304 4196468 140733373493920 140215795501552 140216505066316 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25498] ppid=25431 vsize=10846988 memory=7378391969546064995 CPUtime=1.33 cores=1,3,5,7
/proc/25434/task/25498/stat : 25498 (java) S 25431 25434 23580 0 -1 1077944384 4903 13457 0 0 124 1 5 3 20 0 15 0 473291586 11107315712 61748 33554432000 4194304 4196468 140733373493920 140215794449264 140216525838978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25499] ppid=25431 vsize=10846988 memory=7378391969546064995 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25499/stat : 25499 (java) S 25431 25434 23580 0 -1 1077944384 3 13457 0 0 0 0 5 3 20 0 15 0 473291586 11107315712 61748 33554432000 4194304 4196468 140733373493920 140215040429024 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25500] ppid=25431 vsize=10846988 memory=30961 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25500/stat : 25500 (java) S 25431 25434 23580 0 -1 1077944384 3 13457 0 0 0 0 5 3 20 0 15 0 473291586 11107315712 61748 33554432000 4194304 4196468 140733373493920 140215793396144 140216525838978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
Current children cumulated CPU time: 6.52 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 246992 KiB
[startup+3.91229 s]
# the end of solver process 25434 was just reported to runsolver
# cumulated CPU time of all completed processes: user=8.93755 s, system=0.247927 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20105 s]
/proc/loadavg: 2.16 1.57 1.50 5/227 25500
/proc/meminfo: memFree=5463880/32770624 swapFree=66935368/67108860
[pid=25434] ppid=25431 vsize=10847000 memory=259880 CPUtime=6.81 cores=1,3,5,7
/proc/25434/stat : 25434 (java) S 25431 25434 23580 0 -1 1077944320 42851 13457 0 0 656 17 5 3 20 0 15 0 473291571 11107328000 64970 33554432000 4194304 4196468 140733373493920 140733373476464 140216525827831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
/proc/25434/statm: 2711750 64970 3607 1 0 2673805 0
[pid=25434/tid=25487] ppid=25431 vsize=10847000 memory=6628 CPUtime=3.08 cores=1,3,5,7
/proc/25434/task/25487/stat : 25487 (java) R 25431 25434 23580 0 -1 4202560 22147 13457 0 0 292 8 5 3 20 0 15 0 473291580 11107328000 64970 33554432000 4194304 4196468 140733373493920 140216497651736 140216142329447 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25488] ppid=25431 vsize=10847000 memory=8836 CPUtime=0.1 cores=1,3,5,7
/proc/25434/task/25488/stat : 25488 (java) S 25431 25434 23580 0 -1 1077944384 106 13457 0 0 2 0 5 3 20 0 15 0 473291581 11107328000 64970 33554432000 4194304 4196468 140733373493920 140216530070416 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25489] ppid=25431 vsize=10847000 memory=11044 CPUtime=0.1 cores=1,3,5,7
/proc/25434/task/25489/stat : 25489 (java) S 25431 25434 23580 0 -1 1077944384 84 13457 0 0 2 0 5 3 20 0 15 0 473291581 11107328000 64970 33554432000 4194304 4196468 140733373493920 140216099330832 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25490] ppid=25431 vsize=10847000 memory=13252 CPUtime=0.1 cores=1,3,5,7
/proc/25434/task/25490/stat : 25490 (java) S 25431 25434 23580 0 -1 1077944384 41 13457 0 0 2 0 5 3 20 0 15 0 473291581 11107328000 64970 33554432000 4194304 4196468 140733373493920 140216098278544 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25491] ppid=25431 vsize=10847000 memory=15460 CPUtime=0.1 cores=1,3,5,7
/proc/25434/task/25491/stat : 25491 (java) S 25431 25434 23580 0 -1 1077944384 311 13457 0 0 2 0 5 3 20 0 15 0 473291581 11107328000 64970 33554432000 4194304 4196468 140733373493920 140216097225744 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25492] ppid=25431 vsize=10847000 memory=17668 CPUtime=0.11 cores=1,3,5,7
/proc/25434/task/25492/stat : 25492 (java) S 25431 25434 23580 0 -1 1077944384 1974 13457 0 0 3 0 5 3 20 0 15 0 473291582 11107328000 64970 33554432000 4194304 4196468 140733373493920 140215797606512 140216525838978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25493] ppid=25431 vsize=10847000 memory=19876 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25493/stat : 25493 (java) S 25431 25434 23580 0 -1 1077944384 14 13457 0 0 0 0 5 3 20 0 15 0 473291583 11107328000 64970 33554432000 4194304 4196468 140733373493920 140215515603808 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25494] ppid=25431 vsize=10847000 memory=22084 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25494/stat : 25494 (java) S 25431 25434 23580 0 -1 1077944384 1 13457 0 0 0 0 5 3 20 0 15 0 473291583 11107328000 64970 33554432000 4194304 4196468 140733373493920 140215314277504 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25495] ppid=25431 vsize=10847000 memory=24292 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25495/stat : 25495 (java) S 25431 25434 23580 0 -1 1077944384 3 13457 0 0 0 0 5 3 20 0 15 0 473291585 11107328000 64970 33554432000 4194304 4196468 140733373493920 140215073986640 140216525846427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25496] ppid=25431 vsize=10847000 memory=26500 CPUtime=1.26 cores=1,3,5,7
/proc/25434/task/25496/stat : 25496 (java) R 25431 25434 23580 0 -1 4202560 7132 13457 0 0 117 1 5 3 20 0 15 0 473291585 11107328000 64970 33554432000 4194304 4196468 140733373493920 140215796539016 140216518933493 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25497] ppid=25431 vsize=10847000 memory=28708 CPUtime=1.13 cores=1,3,5,7
/proc/25434/task/25497/stat : 25497 (java) R 25431 25434 23580 0 -1 4202560 3805 13457 0 0 104 1 5 3 20 0 15 0 473291586 11107328000 64970 33554432000 4194304 4196468 140733373493920 140215795486168 140216507372404 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25498] ppid=25431 vsize=10847000 memory=30916 CPUtime=1.35 cores=1,3,5,7
/proc/25434/task/25498/stat : 25498 (java) S 25431 25434 23580 0 -1 1077944384 5020 13457 0 0 126 1 5 3 20 0 15 0 473291586 11107328000 64970 33554432000 4194304 4196468 140733373493920 140215794449264 140216525838978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25499] ppid=25431 vsize=10847000 memory=301741373374332954 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25499/stat : 25499 (java) S 25431 25434 23580 0 -1 1077944384 3 13457 0 0 0 0 5 3 20 0 15 0 473291586 11107328000 64970 33554432000 4194304 4196468 140733373493920 140215040429024 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25500] ppid=25431 vsize=10847000 memory=321726105394610490 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25500/stat : 25500 (java) S 25431 25434 23580 0 -1 1077944384 5 13457 0 0 0 0 5 3 20 0 15 0 473291586 11107328000 64970 33554432000 4194304 4196468 140733373493920 140215793396144 140216525838978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
Current children cumulated CPU time: 6.81 s
Current children cumulated vsize: 10847000 KiB
Current children cumulated memory: 259880 KiB
[startup+3.60401 s]
/proc/loadavg: 2.16 1.57 1.50 5/227 25500
/proc/meminfo: memFree=5463880/32770624 swapFree=66935368/67108860
[pid=25434] ppid=25431 vsize=10849048 memory=276252 CPUtime=8.18 cores=1,3,5,7
/proc/25434/stat : 25434 (java) S 25431 25434 23580 0 -1 1077944320 53361 13457 0 0 791 19 5 3 20 0 15 0 473291571 11109425152 69063 33554432000 4194304 4196468 140733373493920 140733373476464 140216525827831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
/proc/25434/statm: 2712262 69063 3611 1 0 2674317 0
[pid=25434/tid=25487] ppid=25431 vsize=10849048 memory=1320 CPUtime=3.49 cores=1,3,5,7
/proc/25434/task/25487/stat : 25487 (java) R 25431 25434 23580 0 -1 4202560 25127 13457 0 0 332 9 5 3 20 0 15 0 473291580 11109425152 69063 33554432000 4194304 4196468 140733373493920 140216497661688 140216143313462 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25488] ppid=25431 vsize=10849048 memory=1700 CPUtime=0.1 cores=1,3,5,7
/proc/25434/task/25488/stat : 25488 (java) S 25431 25434 23580 0 -1 1077944384 106 13457 0 0 2 0 5 3 20 0 15 0 473291581 11109425152 69063 33554432000 4194304 4196468 140733373493920 140216530070416 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25489] ppid=25431 vsize=10849048 memory=5968 CPUtime=0.1 cores=1,3,5,7
/proc/25434/task/25489/stat : 25489 (java) S 25431 25434 23580 0 -1 1077944384 84 13457 0 0 2 0 5 3 20 0 15 0 473291581 11109425152 69063 33554432000 4194304 4196468 140733373493920 140216099330832 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25490] ppid=25431 vsize=10849048 memory=588 CPUtime=0.1 cores=1,3,5,7
/proc/25434/task/25490/stat : 25490 (java) S 25431 25434 23580 0 -1 1077944384 41 13457 0 0 2 0 5 3 20 0 15 0 473291581 11109425152 69063 33554432000 4194304 4196468 140733373493920 140216098278544 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25491] ppid=25431 vsize=10849048 memory=780 CPUtime=0.1 cores=1,3,5,7
/proc/25434/task/25491/stat : 25491 (java) S 25431 25434 23580 0 -1 1077944384 311 13457 0 0 2 0 5 3 20 0 15 0 473291581 11109425152 69063 33554432000 4194304 4196468 140733373493920 140216097225744 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25492] ppid=25431 vsize=10849048 memory=1056 CPUtime=0.11 cores=1,3,5,7
/proc/25434/task/25492/stat : 25492 (java) S 25431 25434 23580 0 -1 1077944384 3525 13457 0 0 3 0 5 3 20 0 15 0 473291582 11109425152 69063 33554432000 4194304 4196468 140733373493920 140215797606512 140216525838978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25493] ppid=25431 vsize=10849048 memory=7518026621751088992 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25493/stat : 25493 (java) S 25431 25434 23580 0 -1 1077944384 14 13457 0 0 0 0 5 3 20 0 15 0 473291583 11109425152 69063 33554432000 4194304 4196468 140733373493920 140215515603808 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25494] ppid=25431 vsize=10849048 memory=7237402611390506577 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25494/stat : 25494 (java) S 25431 25434 23580 0 -1 1077944384 1 13457 0 0 0 0 5 3 20 0 15 0 473291583 11109425152 69063 33554432000 4194304 4196468 140733373493920 140215314277504 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25495] ppid=25431 vsize=10849048 memory=5865188000529146989 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25495/stat : 25495 (java) S 25431 25434 23580 0 -1 1077944384 3 13457 0 0 0 0 5 3 20 0 15 0 473291585 11109425152 69063 33554432000 4194304 4196468 140733373493920 140215073986640 140216525846427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25496] ppid=25431 vsize=10849048 memory=5787213827063244903 CPUtime=1.66 cores=1,3,5,7
/proc/25434/task/25496/stat : 25496 (java) R 25431 25434 23580 0 -1 4202560 11212 13457 0 0 156 2 5 3 20 0 15 0 473291585 11109425152 69063 33554432000 4194304 4196468 140733373493920 140215796540376 140216510748956 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25497] ppid=25431 vsize=10849048 memory=7301858164987948385 CPUtime=1.52 cores=1,3,5,7
/proc/25434/task/25497/stat : 25497 (java) R 25431 25434 23580 0 -1 4202560 4748 13457 0 0 143 1 5 3 20 0 15 0 473291586 11109425152 69063 33554432000 4194304 4196468 140733373493920 140215795501552 140216510725654 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25498] ppid=25431 vsize=10849048 memory=5938114200481458240 CPUtime=1.54 cores=1,3,5,7
/proc/25434/task/25498/stat : 25498 (java) S 25431 25434 23580 0 -1 1077944384 5967 13457 0 0 144 2 5 3 20 0 15 0 473291586 11109425152 69063 33554432000 4194304 4196468 140733373493920 140215794449264 140216525838978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25499] ppid=25431 vsize=10849048 memory=7811040981868898131 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25499/stat : 25499 (java) S 25431 25434 23580 0 -1 1077944384 3 13457 0 0 0 0 5 3 20 0 15 0 473291586 11109425152 69063 33554432000 4194304 4196468 140733373493920 140215040429024 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25500] ppid=25431 vsize=10849048 memory=7444819964895187797 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25500/stat : 25500 (java) S 25431 25434 23580 0 -1 1077944384 10 13457 0 0 0 0 5 3 20 0 15 0 473291586 11109425152 69063 33554432000 4194304 4196468 140733373493920 140215793396144 140216525838978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
Current children cumulated CPU time: 8.18 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 276252 KiB
[startup+3.80105 s]
/proc/loadavg: 2.16 1.57 1.50 5/227 25500
/proc/meminfo: memFree=5463880/32770624 swapFree=66935368/67108860
[pid=25434] ppid=25431 vsize=10849048 memory=279992 CPUtime=8.88 cores=1,3,5,7
/proc/25434/stat : 25434 (java) S 25431 25434 23580 0 -1 1077944320 54065 13457 0 0 860 20 5 3 20 0 15 0 473291571 11109425152 69998 33554432000 4194304 4196468 140733373493920 140733373476464 140216525827831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
/proc/25434/statm: 2712262 69998 3612 1 0 2674317 0
[pid=25434/tid=25487] ppid=25431 vsize=10849048 memory=6944656592455097440 CPUtime=3.68 cores=1,3,5,7
/proc/25434/task/25487/stat : 25487 (java) R 25431 25434 23580 0 -1 4202560 25162 13457 0 0 351 9 5 3 20 0 15 0 473291580 11109425152 69998 33554432000 4194304 4196468 140733373493920 140216497659792 140216525839766 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25488] ppid=25431 vsize=10849048 memory=8546823402028195750 CPUtime=0.1 cores=1,3,5,7
/proc/25434/task/25488/stat : 25488 (java) S 25431 25434 23580 0 -1 1077944384 106 13457 0 0 2 0 5 3 20 0 15 0 473291581 11109425152 69998 33554432000 4194304 4196468 140733373493920 140216530070416 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25489] ppid=25431 vsize=10849048 memory=7300704880217444433 CPUtime=0.1 cores=1,3,5,7
/proc/25434/task/25489/stat : 25489 (java) S 25431 25434 23580 0 -1 1077944384 84 13457 0 0 2 0 5 3 20 0 15 0 473291581 11109425152 69998 33554432000 4194304 4196468 140733373493920 140216099330832 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25490] ppid=25431 vsize=10849048 memory=-3831251742559211316 CPUtime=0.1 cores=1,3,5,7
/proc/25434/task/25490/stat : 25490 (java) S 25431 25434 23580 0 -1 1077944384 41 13457 0 0 2 0 5 3 20 0 15 0 473291581 11109425152 69998 33554432000 4194304 4196468 140733373493920 140216098278544 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25491] ppid=25431 vsize=10849048 memory=-7595718148655178334 CPUtime=0.1 cores=1,3,5,7
/proc/25434/task/25491/stat : 25491 (java) S 25431 25434 23580 0 -1 1077944384 311 13457 0 0 2 0 5 3 20 0 15 0 473291581 11109425152 69998 33554432000 4194304 4196468 140733373493920 140216097225744 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25492] ppid=25431 vsize=10849048 memory=4783210246327787616 CPUtime=0.11 cores=1,3,5,7
/proc/25434/task/25492/stat : 25492 (java) S 25431 25434 23580 0 -1 1077944384 3525 13457 0 0 3 0 5 3 20 0 15 0 473291582 11109425152 69998 33554432000 4194304 4196468 140733373493920 140215797606512 140216525838978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25493] ppid=25431 vsize=10849048 memory=3472328296227689761 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25493/stat : 25493 (java) S 25431 25434 23580 0 -1 1077944384 14 13457 0 0 0 0 5 3 20 0 15 0 473291583 11109425152 69998 33554432000 4194304 4196468 140733373493920 140215515603808 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25494] ppid=25431 vsize=10849048 memory=6944656592455360569 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25494/stat : 25494 (java) S 25431 25434 23580 0 -1 1077944384 1 13457 0 0 0 0 5 3 20 0 15 0 473291583 11109425152 69998 33554432000 4194304 4196468 140733373493920 140215314277504 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25495] ppid=25431 vsize=10849048 memory=6944656591801717918 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25495/stat : 25495 (java) S 25431 25434 23580 0 -1 1077944384 3 13457 0 0 0 0 5 3 20 0 15 0 473291585 11109425152 69998 33554432000 4194304 4196468 140733373493920 140215073986640 140216525846427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25496] ppid=25431 vsize=10849048 memory=8978309881829228949 CPUtime=1.84 cores=1,3,5,7
/proc/25434/task/25496/stat : 25496 (java) R 25431 25434 23580 0 -1 4202560 11430 13457 0 0 174 2 5 3 20 0 15 0 473291585 11109425152 69998 33554432000 4194304 4196468 140733373493920 140215796554352 140216505171212 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25497] ppid=25431 vsize=10849048 memory=201688 CPUtime=1.7 cores=1,3,5,7
/proc/25434/task/25497/stat : 25497 (java) R 25431 25434 23580 0 -1 4202560 4851 13457 0 0 161 1 5 3 20 0 15 0 473291586 11109425152 69998 33554432000 4194304 4196468 140733373493920 140215795482848 140216505073737 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25498] ppid=25431 vsize=10849048 memory=280176688778304 CPUtime=1.67 cores=1,3,5,7
/proc/25434/task/25498/stat : 25498 (java) S 25431 25434 23580 0 -1 1077944384 6315 13457 0 0 157 2 5 3 20 0 15 0 473291586 11109425152 69998 33554432000 4194304 4196468 140733373493920 140215794449264 140216525838978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25499] ppid=25431 vsize=10849048 memory=-7385037615208631401 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25499/stat : 25499 (java) S 25431 25434 23580 0 -1 1077944384 3 13457 0 0 0 0 5 3 20 0 15 0 473291586 11109425152 69998 33554432000 4194304 4196468 140733373493920 140215040429024 140216525838037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
[pid=25434/tid=25500] ppid=25431 vsize=10849048 memory=-7522837583061805196 CPUtime=0.08 cores=1,3,5,7
/proc/25434/task/25500/stat : 25500 (java) S 25431 25434 23580 0 -1 1077944384 10 13457 0 0 0 0 5 3 20 0 15 0 473291586 11109425152 69998 33554432000 4194304 4196468 140733373493920 140215793396144 140216525838978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35561472 140733373500144 140733373502661 140733373502661 140733373505487 0
Current children cumulated CPU time: 8.88 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 279992 KiB
[startup+3.90277 s]*
/proc/loadavg: 2.16 1.57 1.50 3/212 25501
/proc/meminfo: memFree=5693016/32770624 swapFree=66935368/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3.91232
CPU time (s): 9.18548
CPU user time (s): 8.93755
CPU system time (s): 0.247927
CPU usage (%): 234.783
Max. virtual memory (cumulated for all children) (KiB): 10851712
Max. memory (cumulated for all children) (KiB): 279992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.93755
system time used= 0.247927
maximum resident set size= 301128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67809
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6789
involuntary context switches= 49
# summary of solver processes directly reported to runsolver:
# pid: 25434
# total CPU time (s): 9.18548
# total CPU user time (s): 8.93755
# total CPU system time (s): 0.247927
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.04523 second user time and 0.086149 second system time
The end