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 (13557 MiB free)
memory of node 1: 16384 MiB (14308 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263435-1502614804/watcher-4263435-1502614804 -o /tmp/evaluation-result-4263435-1502614804/solver-4263435-1502614804 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1502612262-5004 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263435-1502614804.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5871, runsolver pid=5868
Current StackSize limit: 8192 KiB
[startup+0.103899 s]*
/proc/loadavg: 4.56 4.63 4.41 3/216 5886
/proc/meminfo: memFree=28517468/32770624 swapFree=67108860/67108860
[pid=5871] ppid=5868 vsize=10555400 memory=30496 CPUtime=0.13 cores=0,2,4,6
/proc/5871/stat : 5871 (java) S 5868 5871 4973 0 -1 1077944320 6688 0 0 0 12 1 0 0 20 0 15 0 94561364 10808729600 7624 33554432000 4194304 4196468 140730841196896 140730841179440 140410054102775 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
/proc/5871/statm: 2638850 7624 2807 1 0 2627263 0
[pid=5871/tid=5873] ppid=5868 vsize=10555400 memory=-8535551070823085248 CPUtime=0.09 cores=0,2,4,6
/proc/5871/task/5873/stat : 5873 (java) R 5868 5871 4973 0 -1 4202560 4534 0 0 0 8 1 0 0 20 0 15 0 94561365 10808729600 7624 33554432000 4194304 4196468 140730841196896 140410058323904 140410038146405 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5874] ppid=5868 vsize=10555400 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5874/stat : 5874 (java) S 5868 5871 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94561366 10808729600 7624 33554432000 4194304 4196468 140730841196896 140410006722832 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5875] ppid=5868 vsize=10555400 memory=140227723224704 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5875/stat : 5875 (java) S 5868 5871 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94561366 10808729600 7624 33554432000 4194304 4196468 140730841196896 140410005670288 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5876] ppid=5868 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5876/stat : 5876 (java) S 5868 5871 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94561366 10808729600 7624 33554432000 4194304 4196468 140730841196896 140410004617744 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5877] ppid=5868 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5877/stat : 5877 (java) S 5868 5871 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94561366 10808729600 7624 33554432000 4194304 4196468 140730841196896 140410003565200 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5878] ppid=5868 vsize=10555400 memory=140227723224704 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5878/stat : 5878 (java) S 5868 5871 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94561367 10808729600 7624 33554432000 4194304 4196468 140730841196896 140409291164144 140410054113922 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5879] ppid=5868 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5879/stat : 5879 (java) S 5868 5871 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94561367 10808729600 7624 33554432000 4194304 4196468 140730841196896 140409290110368 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5880] ppid=5868 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5880/stat : 5880 (java) S 5868 5871 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94561368 10808729600 7624 33554432000 4194304 4196468 140730841196896 140409289057776 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5881] ppid=5868 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5881/stat : 5881 (java) S 5868 5871 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94561370 10808729600 7624 33554432000 4194304 4196468 140730841196896 140409288006352 140410054121371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5882] ppid=5868 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5882/stat : 5882 (java) S 5868 5871 4973 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 15 0 94561370 10808729600 7624 33554432000 4194304 4196468 140730841196896 140409286952944 140410054113922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5883] ppid=5868 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5883/stat : 5883 (java) S 5868 5871 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94561370 10808729600 7624 33554432000 4194304 4196468 140730841196896 140409285900400 140410054113922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5884] ppid=5868 vsize=10555400 memory=140227723224704 CPUtime=0.02 cores=0,2,4,6
/proc/5871/task/5884/stat : 5884 (java) R 5868 5871 4973 0 -1 4202560 349 0 0 0 2 0 0 0 20 0 15 0 94561370 10808729600 7624 33554432000 4194304 4196468 140730841196896 140409284847856 140410054124122 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5885] ppid=5868 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5885/stat : 5885 (java) S 5868 5871 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94561370 10808729600 7624 33554432000 4194304 4196468 140730841196896 140409283795552 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5886] ppid=5868 vsize=10555400 memory=140227723224704 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5886/stat : 5886 (java) S 5868 5871 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94561370 10808729600 7624 33554432000 4194304 4196468 140730841196896 140409282743088 140410054113922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 30496 KiB
[startup+0.210534 s]*
/proc/loadavg: 4.56 4.63 4.41 3/216 5886
/proc/meminfo: memFree=28510272/32770624 swapFree=67108860/67108860
[pid=5871] ppid=5868 vsize=10555400 memory=38308 CPUtime=0.28 cores=0,2,4,6
/proc/5871/stat : 5871 (java) S 5868 5871 4973 0 -1 1077944320 7754 0 0 0 26 2 0 0 20 0 15 0 94561364 10808729600 9577 33554432000 4194304 4196468 140730841196896 140730841179440 140410054102775 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
/proc/5871/statm: 2638850 9577 2933 1 0 2627263 0
[pid=5871/tid=5873] ppid=5868 vsize=10555400 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/5871/task/5873/stat : 5873 (java) R 5868 5871 4973 0 -1 4202560 5366 0 0 0 18 1 0 0 20 0 15 0 94561365 10808729600 9577 33554432000 4194304 4196468 140730841196896 140410058339984 140409679554240 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5874] ppid=5868 vsize=10555400 memory=365 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5874/stat : 5874 (java) S 5868 5871 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94561366 10808729600 9577 33554432000 4194304 4196468 140730841196896 140410006722832 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5875] ppid=5868 vsize=10555400 memory=140227723233543 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5875/stat : 5875 (java) S 5868 5871 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94561366 10808729600 9577 33554432000 4194304 4196468 140730841196896 140410005670288 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5876] ppid=5868 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5876/stat : 5876 (java) S 5868 5871 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94561366 10808729600 9577 33554432000 4194304 4196468 140730841196896 140410004617744 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5877] ppid=5868 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5877/stat : 5877 (java) S 5868 5871 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94561366 10808729600 9577 33554432000 4194304 4196468 140730841196896 140410003565200 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5878] ppid=5868 vsize=10555400 memory=140227723224704 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5878/stat : 5878 (java) S 5868 5871 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94561367 10808729600 9577 33554432000 4194304 4196468 140730841196896 140409291164144 140410054113922 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5879] ppid=5868 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5879/stat : 5879 (java) S 5868 5871 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94561367 10808729600 9577 33554432000 4194304 4196468 140730841196896 140409290110368 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5880] ppid=5868 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5880/stat : 5880 (java) S 5868 5871 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94561368 10808729600 9577 33554432000 4194304 4196468 140730841196896 140409289057776 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5881] ppid=5868 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5881/stat : 5881 (java) S 5868 5871 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94561370 10808729600 9577 33554432000 4194304 4196468 140730841196896 140409288006352 140410054121371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5882] ppid=5868 vsize=10555400 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/5871/task/5882/stat : 5882 (java) S 5868 5871 4973 0 -1 1077944384 544 0 0 0 1 0 0 0 20 0 15 0 94561370 10808729600 9577 33554432000 4194304 4196468 140730841196896 140409286952944 140410054113922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5883] ppid=5868 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5883/stat : 5883 (java) S 5868 5871 4973 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 94561370 10808729600 9577 33554432000 4194304 4196468 140730841196896 140409285900400 140410054113922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5884] ppid=5868 vsize=10555400 memory=140227723224704 CPUtime=0.05 cores=0,2,4,6
/proc/5871/task/5884/stat : 5884 (java) R 5868 5871 4973 0 -1 4202560 397 0 0 0 5 0 0 0 20 0 15 0 94561370 10808729600 9577 33554432000 4194304 4196468 140730841196896 140409284847856 140410054124122 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5885] ppid=5868 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5885/stat : 5885 (java) S 5868 5871 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94561370 10808729600 9577 33554432000 4194304 4196468 140730841196896 140409283795552 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5886] ppid=5868 vsize=10555400 memory=140227723224704 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5886/stat : 5886 (java) S 5868 5871 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94561370 10808729600 9577 33554432000 4194304 4196468 140730841196896 140409282743088 140410054113922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 38308 KiB
[startup+0.31036 s]*
/proc/loadavg: 4.56 4.63 4.41 4/216 5886
/proc/meminfo: memFree=28501216/32770624 swapFree=67108860/67108860
[pid=5871] ppid=5868 vsize=10555476 memory=47420 CPUtime=0.49 cores=0,2,4,6
/proc/5871/stat : 5871 (java) S 5868 5871 4973 0 -1 1077944320 9051 0 0 0 46 3 0 0 20 0 15 0 94561364 10808807424 11855 33554432000 4194304 4196468 140730841196896 140730841179440 140410054102775 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
/proc/5871/statm: 2638869 11855 3034 1 0 2627263 0
[pid=5871/tid=5873] ppid=5868 vsize=10555476 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/5871/task/5873/stat : 5873 (java) D 5868 5871 4973 0 -1 4202560 5724 0 0 0 27 2 0 0 20 0 15 0 94561365 10808807424 11855 33554432000 4194304 4196468 140730841196896 140410058335776 140410054124701 0 4 0 16800975 18446744071580419588 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5874] ppid=5868 vsize=10555476 memory=304556153373982743 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5874/stat : 5874 (java) S 5868 5871 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94561366 10808807424 11855 33554432000 4194304 4196468 140730841196896 140410006722832 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5875] ppid=5868 vsize=10555476 memory=13993216129197720 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5875/stat : 5875 (java) S 5868 5871 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94561366 10808807424 11855 33554432000 4194304 4196468 140730841196896 140410005670288 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5876] ppid=5868 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5876/stat : 5876 (java) S 5868 5871 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94561366 10808807424 11855 33554432000 4194304 4196468 140730841196896 140410004617744 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5877] ppid=5868 vsize=10555476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5877/stat : 5877 (java) S 5868 5871 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94561366 10808807424 11855 33554432000 4194304 4196468 140730841196896 140410003565200 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5878] ppid=5868 vsize=10555476 memory=140227723224704 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5878/stat : 5878 (java) S 5868 5871 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94561367 10808807424 11855 33554432000 4194304 4196468 140730841196896 140409291164144 140410054113922 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5879] ppid=5868 vsize=10555476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5879/stat : 5879 (java) S 5868 5871 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94561367 10808807424 11855 33554432000 4194304 4196468 140730841196896 140409290110368 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5880] ppid=5868 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5880/stat : 5880 (java) S 5868 5871 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94561368 10808807424 11855 33554432000 4194304 4196468 140730841196896 140409289057776 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5881] ppid=5868 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5881/stat : 5881 (java) S 5868 5871 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94561370 10808807424 11855 33554432000 4194304 4196468 140730841196896 140409288006352 140410054121371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5882] ppid=5868 vsize=10555476 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/5871/task/5882/stat : 5882 (java) S 5868 5871 4973 0 -1 1077944384 815 0 0 0 4 0 0 0 20 0 15 0 94561370 10808807424 11855 33554432000 4194304 4196468 140730841196896 140409286952944 140410054113922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5883] ppid=5868 vsize=10555476 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/5871/task/5883/stat : 5883 (java) S 5868 5871 4973 0 -1 1077944384 366 0 0 0 3 0 0 0 20 0 15 0 94561370 10808807424 11855 33554432000 4194304 4196468 140730841196896 140409285900400 140410054113922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5884] ppid=5868 vsize=10555476 memory=140227723224704 CPUtime=0.11 cores=0,2,4,6
/proc/5871/task/5884/stat : 5884 (java) S 5868 5871 4973 0 -1 1077944384 777 0 0 0 11 0 0 0 20 0 15 0 94561370 10808807424 11855 33554432000 4194304 4196468 140730841196896 140409284847856 140410054113922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5885] ppid=5868 vsize=10555476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5885/stat : 5885 (java) S 5868 5871 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94561370 10808807424 11855 33554432000 4194304 4196468 140730841196896 140409283795552 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5886] ppid=5868 vsize=10555476 memory=140227723224704 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5886/stat : 5886 (java) S 5868 5871 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94561370 10808807424 11855 33554432000 4194304 4196468 140730841196896 140409282743088 140410054113922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 47420 KiB
[startup+0.701267 s]
/proc/loadavg: 4.52 4.62 4.41 5/216 5886
/proc/meminfo: memFree=28453996/32770624 swapFree=67108860/67108860
[pid=5871] ppid=5868 vsize=10555476 memory=230092 CPUtime=1.54 cores=0,2,4,6
/proc/5871/stat : 5871 (java) S 5868 5871 4973 0 -1 1077944320 11410 0 0 0 143 11 0 0 20 0 15 0 94561364 10808807424 57523 33554432000 4194304 4196468 140730841196896 140730841179440 140410054102775 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
/proc/5871/statm: 2638869 57523 3087 1 0 2627263 0
[pid=5871/tid=5873] ppid=5868 vsize=10555476 memory=1728 CPUtime=0.55 cores=0,2,4,6
/proc/5871/task/5873/stat : 5873 (java) S 5868 5871 4973 0 -1 1077944384 5868 0 0 0 52 3 0 0 20 0 15 0 94561365 10808807424 57523 33554432000 4194304 4196468 140730841196896 140410058317568 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5874] ppid=5868 vsize=10555476 memory=792 CPUtime=0.05 cores=0,2,4,6
/proc/5871/task/5874/stat : 5874 (java) R 5868 5871 4973 0 -1 4202560 45 0 0 0 4 1 0 0 20 0 15 0 94561366 10808807424 57523 33554432000 4194304 4196468 140730841196896 140410006720464 140410039130658 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5875] ppid=5868 vsize=10555476 memory=9992 CPUtime=0.05 cores=0,2,4,6
/proc/5871/task/5875/stat : 5875 (java) R 5868 5871 4973 0 -1 4202560 34 0 0 0 4 1 0 0 20 0 15 0 94561366 10808807424 57523 33554432000 4194304 4196468 140730841196896 140410005668264 140410039130658 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5876] ppid=5868 vsize=10555476 memory=1224 CPUtime=0.04 cores=0,2,4,6
/proc/5871/task/5876/stat : 5876 (java) R 5868 5871 4973 0 -1 4202560 24 0 0 0 3 1 0 0 20 0 15 0 94561366 10808807424 57523 33554432000 4194304 4196468 140730841196896 140410004617632 140410035728646 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5877] ppid=5868 vsize=10555476 memory=5716 CPUtime=0.04 cores=0,2,4,6
/proc/5871/task/5877/stat : 5877 (java) R 5868 5871 4973 0 -1 4202560 29 0 0 0 3 1 0 0 20 0 15 0 94561366 10808807424 57523 33554432000 4194304 4196468 140730841196896 140410003563008 140410039130658 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5878] ppid=5868 vsize=10555476 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5878/stat : 5878 (java) S 5868 5871 4973 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 94561367 10808807424 57523 33554432000 4194304 4196468 140730841196896 140409291162656 140410054112981 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5879] ppid=5868 vsize=10555476 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5879/stat : 5879 (java) S 5868 5871 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94561367 10808807424 57523 33554432000 4194304 4196468 140730841196896 140409290110368 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5880] ppid=5868 vsize=10555476 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5880/stat : 5880 (java) S 5868 5871 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94561368 10808807424 57523 33554432000 4194304 4196468 140730841196896 140409289057776 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5881] ppid=5868 vsize=10555476 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5881/stat : 5881 (java) S 5868 5871 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94561370 10808807424 57523 33554432000 4194304 4196468 140730841196896 140409288006352 140410054121371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5882] ppid=5868 vsize=10555476 memory=4639098309541127021 CPUtime=0.29 cores=0,2,4,6
/proc/5871/task/5882/stat : 5882 (java) S 5868 5871 4973 0 -1 1077944384 1778 0 0 0 29 0 0 0 20 0 15 0 94561370 10808807424 57523 33554432000 4194304 4196468 140730841196896 140409286937936 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5883] ppid=5868 vsize=10555476 memory=7597685182856913236 CPUtime=0.27 cores=0,2,4,6
/proc/5871/task/5883/stat : 5883 (java) S 5868 5871 4973 0 -1 1077944384 1292 0 0 0 27 0 0 0 20 0 15 0 94561370 10808807424 57523 33554432000 4194304 4196468 140730841196896 140409285885392 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5884] ppid=5868 vsize=10555476 memory=7236547281622689387 CPUtime=0.17 cores=0,2,4,6
/proc/5871/task/5884/stat : 5884 (java) S 5868 5871 4973 0 -1 1077944384 968 0 0 0 17 0 0 0 20 0 15 0 94561370 10808807424 57523 33554432000 4194304 4196468 140730841196896 140409284847856 140410054113922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5885] ppid=5868 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5885/stat : 5885 (java) S 5868 5871 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94561370 10808807424 57523 33554432000 4194304 4196468 140730841196896 140409283795552 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5886] ppid=5868 vsize=10555476 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5886/stat : 5886 (java) S 5868 5871 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94561370 10808807424 58035 33554432000 4194304 4196468 140730841196896 140409282743088 140410054113922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
Current children cumulated CPU time: 1.54 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 230092 KiB
[startup+1.5013 s]
/proc/loadavg: 4.52 4.62 4.41 3/216 5886
/proc/meminfo: memFree=28205632/32770624 swapFree=67108860/67108860
[pid=5871] ppid=5868 vsize=10622040 memory=353200 CPUtime=3.36 cores=0,2,4,6
/proc/5871/stat : 5871 (java) S 5868 5871 4973 0 -1 1077944320 12296 0 0 0 311 25 0 0 20 0 16 0 94561364 10876968960 88300 33554432000 4194304 4196468 140730841196896 140730841179440 140410054102775 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
/proc/5871/statm: 2655510 88300 3117 1 0 2643904 0
[pid=5871/tid=5873] ppid=5868 vsize=10622040 memory=0 CPUtime=1.22 cores=0,2,4,6
/proc/5871/task/5873/stat : 5873 (java) R 5868 5871 4973 0 -1 4202560 5961 0 0 0 118 4 0 0 20 0 16 0 94561365 10876968960 88300 33554432000 4194304 4196468 140730841196896 140410058340880 140409681639141 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5874] ppid=5868 vsize=10622040 memory=8390361644446492005 CPUtime=0.18 cores=0,2,4,6
/proc/5871/task/5874/stat : 5874 (java) S 5868 5871 4973 0 -1 1077944384 169 0 0 0 13 5 0 0 20 0 16 0 94561366 10876968960 88300 33554432000 4194304 4196468 140730841196896 140410006722832 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5875] ppid=5868 vsize=10622040 memory=-6352177166831615190 CPUtime=0.18 cores=0,2,4,6
/proc/5871/task/5875/stat : 5875 (java) S 5868 5871 4973 0 -1 1077944384 176 0 0 0 13 5 0 0 20 0 16 0 94561366 10876968960 88300 33554432000 4194304 4196468 140730841196896 140410005670288 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5876] ppid=5868 vsize=10622040 memory=8514701219931451533 CPUtime=0.17 cores=0,2,4,6
/proc/5871/task/5876/stat : 5876 (java) S 5868 5871 4973 0 -1 1077944384 120 0 0 0 13 4 0 0 20 0 16 0 94561366 10876968960 88300 33554432000 4194304 4196468 140730841196896 140410004617744 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5877] ppid=5868 vsize=10622040 memory=7005738693937936738 CPUtime=0.17 cores=0,2,4,6
/proc/5871/task/5877/stat : 5877 (java) S 5868 5871 4973 0 -1 1077944384 164 0 0 0 13 4 0 0 20 0 16 0 94561366 10876968960 88300 33554432000 4194304 4196468 140730841196896 140410003565200 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5878] ppid=5868 vsize=10622040 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5878/stat : 5878 (java) S 5868 5871 4973 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 94561367 10876968960 88300 33554432000 4194304 4196468 140730841196896 140409291164144 140410054113922 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
################
# More data... #
################
/proc/5871/task/5876/stat : 5876 (java) S 5868 5871 4973 0 -1 1077944384 1513 0 0 0 107 16 0 0 20 0 16 0 94561366 10876968960 225830 33554432000 4194304 4196468 140730841196896 140410004617744 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5877] ppid=5868 vsize=10622040 memory=903320 CPUtime=1.25 cores=0,2,4,6
/proc/5871/task/5877/stat : 5877 (java) S 5868 5871 4973 0 -1 1077944384 944 0 0 0 110 15 0 0 20 0 16 0 94561366 10876968960 225830 33554432000 4194304 4196468 140730841196896 140410003565200 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5878] ppid=5868 vsize=10622040 memory=903320 CPUtime=0.47 cores=0,2,4,6
/proc/5871/task/5878/stat : 5878 (java) S 5868 5871 4973 0 -1 1077944384 4060 0 0 0 45 2 0 0 20 0 16 0 94561367 10876968960 225830 33554432000 4194304 4196468 140730841196896 140409291164144 140410054113922 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5879] ppid=5868 vsize=10622040 memory=903320 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5879/stat : 5879 (java) S 5868 5871 4973 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 94561367 10876968960 225830 33554432000 4194304 4196468 140730841196896 140409290110432 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5880] ppid=5868 vsize=10622040 memory=903320 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5880/stat : 5880 (java) S 5868 5871 4973 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 94561368 10876968960 225830 33554432000 4194304 4196468 140730841196896 140409289057792 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5881] ppid=5868 vsize=10622040 memory=903320 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5881/stat : 5881 (java) S 5868 5871 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 94561370 10876968960 225830 33554432000 4194304 4196468 140730841196896 140409288006352 140410054121371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5882] ppid=5868 vsize=10622040 memory=903320 CPUtime=0.91 cores=0,2,4,6
/proc/5871/task/5882/stat : 5882 (java) S 5868 5871 4973 0 -1 1077944384 5954 0 0 0 90 1 0 0 20 0 16 0 94561370 10876968960 225830 33554432000 4194304 4196468 140730841196896 140409286952944 140410054113922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5883] ppid=5868 vsize=10622040 memory=903320 CPUtime=0.97 cores=0,2,4,6
/proc/5871/task/5883/stat : 5883 (java) S 5868 5871 4973 0 -1 1077944384 6703 0 0 0 96 1 0 0 20 0 16 0 94561370 10876968960 225830 33554432000 4194304 4196468 140730841196896 140409285900400 140410054113922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5884] ppid=5868 vsize=10622040 memory=903320 CPUtime=0.25 cores=0,2,4,6
/proc/5871/task/5884/stat : 5884 (java) S 5868 5871 4973 0 -1 1077944384 2329 0 0 0 25 0 0 0 20 0 16 0 94561370 10876968960 225830 33554432000 4194304 4196468 140730841196896 140409284847856 140410054113922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5885] ppid=5868 vsize=10622040 memory=903320 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5885/stat : 5885 (java) S 5868 5871 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 94561370 10876968960 225830 33554432000 4194304 4196468 140730841196896 140409283795552 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5886] ppid=5868 vsize=10622040 memory=903320 CPUtime=1.38 cores=0,2,4,6
/proc/5871/task/5886/stat : 5886 (java) S 5868 5871 4973 0 -1 1077944384 1681 0 0 0 64 74 0 0 20 0 16 0 94561370 10876968960 225830 33554432000 4194304 4196468 140730841196896 140409282743088 140410054113922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5887] ppid=5868 vsize=10622040 memory=14697383221004706 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5887/stat : 5887 (java) S 5868 5871 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 94561473 10876968960 225830 33554432000 4194304 4196468 140730841196896 140409281688880 140410054113922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
Current children cumulated CPU time: 2449.91 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 903320 KiB
[startup+2502.3 s]
/proc/loadavg: 2.36 2.05 2.19 3/216 6293
/proc/meminfo: memFree=24481860/32770624 swapFree=67108860/67108860
[pid=5871] ppid=5868 vsize=10622040 memory=903320 CPUtime=2509.96 cores=0,2,4,6
/proc/5871/stat : 5871 (java) S 5868 5871 4973 0 -1 1077944320 53218 0 0 0 250857 139 0 0 20 0 16 0 94561364 10876968960 225830 33554432000 4194304 4196468 140730841196896 140730841179440 140410054102775 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
/proc/5871/statm: 2655510 225830 3154 1 0 2643904 0
[pid=5871/tid=5873] ppid=5868 vsize=10622040 memory=903320 CPUtime=2500.85 cores=0,2,4,6
/proc/5871/task/5873/stat : 5873 (java) R 5868 5871 4973 0 -1 4202560 26728 0 0 0 250076 9 0 0 20 0 16 0 94561365 10876968960 225830 33554432000 4194304 4196468 140730841196896 140410058338752 140409681854228 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5874] ppid=5868 vsize=10622040 memory=0 CPUtime=1.26 cores=0,2,4,6
/proc/5871/task/5874/stat : 5874 (java) S 5868 5871 4973 0 -1 1077944384 806 0 0 0 109 17 0 0 20 0 16 0 94561366 10876968960 225830 33554432000 4194304 4196468 140730841196896 140410006722832 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5875] ppid=5868 vsize=10622040 memory=903320 CPUtime=1.25 cores=0,2,4,6
/proc/5871/task/5875/stat : 5875 (java) S 5868 5871 4973 0 -1 1077944384 1039 0 0 0 109 16 0 0 20 0 16 0 94561366 10876968960 225830 33554432000 4194304 4196468 140730841196896 140410005670288 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5876] ppid=5868 vsize=10622040 memory=903320 CPUtime=1.23 cores=0,2,4,6
/proc/5871/task/5876/stat : 5876 (java) S 5868 5871 4973 0 -1 1077944384 1513 0 0 0 107 16 0 0 20 0 16 0 94561366 10876968960 225830 33554432000 4194304 4196468 140730841196896 140410004617744 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5877] ppid=5868 vsize=10622040 memory=903320 CPUtime=1.25 cores=0,2,4,6
/proc/5871/task/5877/stat : 5877 (java) S 5868 5871 4973 0 -1 1077944384 944 0 0 0 110 15 0 0 20 0 16 0 94561366 10876968960 225830 33554432000 4194304 4196468 140730841196896 140410003565200 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5878] ppid=5868 vsize=10622040 memory=903320 CPUtime=0.47 cores=0,2,4,6
/proc/5871/task/5878/stat : 5878 (java) S 5868 5871 4973 0 -1 1077944384 4066 0 0 0 45 2 0 0 20 0 16 0 94561367 10876968960 225830 33554432000 4194304 4196468 140730841196896 140409291164144 140410054113922 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5879] ppid=5868 vsize=10622040 memory=903320 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5879/stat : 5879 (java) S 5868 5871 4973 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 94561367 10876968960 225830 33554432000 4194304 4196468 140730841196896 140409290110432 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5880] ppid=5868 vsize=10622040 memory=165506564763132 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5880/stat : 5880 (java) S 5868 5871 4973 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 94561368 10876968960 225830 33554432000 4194304 4196468 140730841196896 140409289057792 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5881] ppid=5868 vsize=10622040 memory=903320 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5881/stat : 5881 (java) S 5868 5871 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 94561370 10876968960 225830 33554432000 4194304 4196468 140730841196896 140409288006352 140410054121371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5882] ppid=5868 vsize=10622040 memory=903320 CPUtime=0.91 cores=0,2,4,6
/proc/5871/task/5882/stat : 5882 (java) S 5868 5871 4973 0 -1 1077944384 5960 0 0 0 90 1 0 0 20 0 16 0 94561370 10876968960 225830 33554432000 4194304 4196468 140730841196896 140409286952944 140410054113922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5883] ppid=5868 vsize=10622040 memory=903320 CPUtime=0.97 cores=0,2,4,6
/proc/5871/task/5883/stat : 5883 (java) S 5868 5871 4973 0 -1 1077944384 6705 0 0 0 96 1 0 0 20 0 16 0 94561370 10876968960 225830 33554432000 4194304 4196468 140730841196896 140409285900400 140410054113922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5884] ppid=5868 vsize=10622040 memory=903320 CPUtime=0.25 cores=0,2,4,6
/proc/5871/task/5884/stat : 5884 (java) S 5868 5871 4973 0 -1 1077944384 2333 0 0 0 25 0 0 0 20 0 16 0 94561370 10876968960 225830 33554432000 4194304 4196468 140730841196896 140409284847856 140410054113922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5885] ppid=5868 vsize=10622040 memory=903320 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5885/stat : 5885 (java) S 5868 5871 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 94561370 10876968960 225830 33554432000 4194304 4196468 140730841196896 140409283795552 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5886] ppid=5868 vsize=10622040 memory=0 CPUtime=1.41 cores=0,2,4,6
/proc/5871/task/5886/stat : 5886 (java) S 5868 5871 4973 0 -1 1077944384 1714 0 0 0 65 76 0 0 20 0 16 0 94561370 10876968960 225830 33554432000 4194304 4196468 140730841196896 140409282743088 140410054113922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5887] ppid=5868 vsize=10622040 memory=4206186544037388384 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5887/stat : 5887 (java) S 5868 5871 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 94561473 10876968960 225830 33554432000 4194304 4196468 140730841196896 140409281688880 140410054113922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
Current children cumulated CPU time: 2509.96 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 903320 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2512.4 s]
/proc/loadavg: 2.77 2.14 2.22 3/216 6293
/proc/meminfo: memFree=23760888/32770624 swapFree=67108860/67108860
[pid=5871] ppid=5868 vsize=10622040 memory=903320 CPUtime=2520.06 cores=0,2,4,6
/proc/5871/stat : 5871 (java) S 5868 5871 4973 0 -1 1077944320 53236 0 0 0 251867 139 0 0 20 0 16 0 94561364 10876968960 225830 33554432000 4194304 4196468 140730841196896 140730841179440 140410054102775 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
/proc/5871/statm: 2655510 225830 3154 1 0 2643904 0
[pid=5871/tid=5873] ppid=5868 vsize=10622040 memory=1156 CPUtime=2510.96 cores=0,2,4,6
/proc/5871/task/5873/stat : 5873 (java) R 5868 5871 4973 0 -1 4202560 26746 0 0 0 251087 9 0 0 20 0 16 0 94561365 10876968960 225830 33554432000 4194304 4196468 140730841196896 140410058338752 140409681854156 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5874] ppid=5868 vsize=10622040 memory=8112282956445269571 CPUtime=1.26 cores=0,2,4,6
/proc/5871/task/5874/stat : 5874 (java) S 5868 5871 4973 0 -1 1077944384 806 0 0 0 109 17 0 0 20 0 16 0 94561366 10876968960 225830 33554432000 4194304 4196468 140730841196896 140410006722832 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5875] ppid=5868 vsize=10622040 memory=792 CPUtime=1.25 cores=0,2,4,6
/proc/5871/task/5875/stat : 5875 (java) S 5868 5871 4973 0 -1 1077944384 1039 0 0 0 109 16 0 0 20 0 16 0 94561366 10876968960 225830 33554432000 4194304 4196468 140730841196896 140410005670288 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5876] ppid=5868 vsize=10622040 memory=9992 CPUtime=1.23 cores=0,2,4,6
/proc/5871/task/5876/stat : 5876 (java) S 5868 5871 4973 0 -1 1077944384 1513 0 0 0 107 16 0 0 20 0 16 0 94561366 10876968960 225830 33554432000 4194304 4196468 140730841196896 140410004617744 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5877] ppid=5868 vsize=10622040 memory=1224 CPUtime=1.25 cores=0,2,4,6
/proc/5871/task/5877/stat : 5877 (java) S 5868 5871 4973 0 -1 1077944384 944 0 0 0 110 15 0 0 20 0 16 0 94561366 10876968960 225830 33554432000 4194304 4196468 140730841196896 140410003565200 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5878] ppid=5868 vsize=10622040 memory=5716 CPUtime=0.47 cores=0,2,4,6
/proc/5871/task/5878/stat : 5878 (java) S 5868 5871 4973 0 -1 1077944384 4066 0 0 0 45 2 0 0 20 0 16 0 94561367 10876968960 225830 33554432000 4194304 4196468 140730841196896 140409291164144 140410054113922 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5879] ppid=5868 vsize=10622040 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5879/stat : 5879 (java) S 5868 5871 4973 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 94561367 10876968960 225830 33554432000 4194304 4196468 140730841196896 140409290110432 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5880] ppid=5868 vsize=10622040 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5880/stat : 5880 (java) S 5868 5871 4973 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 94561368 10876968960 225830 33554432000 4194304 4196468 140730841196896 140409289057792 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5881] ppid=5868 vsize=10622040 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5881/stat : 5881 (java) S 5868 5871 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 94561370 10876968960 225830 33554432000 4194304 4196468 140730841196896 140409288006352 140410054121371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5882] ppid=5868 vsize=10622040 memory=2244 CPUtime=0.91 cores=0,2,4,6
/proc/5871/task/5882/stat : 5882 (java) S 5868 5871 4973 0 -1 1077944384 5960 0 0 0 90 1 0 0 20 0 16 0 94561370 10876968960 225830 33554432000 4194304 4196468 140730841196896 140409286952944 140410054113922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5883] ppid=5868 vsize=10622040 memory=4132 CPUtime=0.97 cores=0,2,4,6
/proc/5871/task/5883/stat : 5883 (java) S 5868 5871 4973 0 -1 1077944384 6705 0 0 0 96 1 0 0 20 0 16 0 94561370 10876968960 225830 33554432000 4194304 4196468 140730841196896 140409285900400 140410054113922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5884] ppid=5868 vsize=10622040 memory=2204 CPUtime=0.25 cores=0,2,4,6
/proc/5871/task/5884/stat : 5884 (java) S 5868 5871 4973 0 -1 1077944384 2333 0 0 0 25 0 0 0 20 0 16 0 94561370 10876968960 225830 33554432000 4194304 4196468 140730841196896 140409284847856 140410054113922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5885] ppid=5868 vsize=10622040 memory=7280 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5885/stat : 5885 (java) S 5868 5871 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 94561370 10876968960 225830 33554432000 4194304 4196468 140730841196896 140409283795552 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5886] ppid=5868 vsize=10622040 memory=844 CPUtime=1.42 cores=0,2,4,6
/proc/5871/task/5886/stat : 5886 (java) S 5868 5871 4973 0 -1 1077944384 1714 0 0 0 66 76 0 0 20 0 16 0 94561370 10876968960 225830 33554432000 4194304 4196468 140730841196896 140409282743088 140410054113922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5887] ppid=5868 vsize=10622040 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5887/stat : 5887 (java) S 5868 5871 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 94561473 10876968960 225830 33554432000 4194304 4196468 140730841196896 140409281688880 140410054113922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 903320 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2512.62 s]
# the end of solver process 5871 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.73 s, system=1.39842 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2512.6 s]
/proc/loadavg: 2.77 2.14 2.22 3/216 6293
/proc/meminfo: memFree=23760888/32770624 swapFree=67108860/67108860
[pid=5871] ppid=5868 vsize=10821732 memory=903580 CPUtime=2520.11 cores=0,2,4,6
/proc/5871/stat : 5871 (java) S 5868 5871 4973 0 -1 1077944320 53671 0 0 0 251872 139 0 0 20 0 17 0 94561364 11081453568 225895 33554432000 4194304 4196468 140730841196896 140730841179440 140410054102775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
/proc/5871/statm: 2705433 225895 3156 1 0 2693827 0
[pid=5871/tid=5873] ppid=5868 vsize=10821732 memory=1160 CPUtime=2511 cores=0,2,4,6
/proc/5871/task/5873/stat : 5873 (java) S 5868 5871 4973 0 -1 1077944384 26765 0 0 0 251091 9 0 0 20 0 17 0 94561365 11081453568 225895 33554432000 4194304 4196468 140730841196896 140410058345648 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5874] ppid=5868 vsize=10821732 memory=2748 CPUtime=1.26 cores=0,2,4,6
/proc/5871/task/5874/stat : 5874 (java) S 5868 5871 4973 0 -1 1077944384 806 0 0 0 109 17 0 0 20 0 17 0 94561366 11081453568 225895 33554432000 4194304 4196468 140730841196896 140410006722832 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5875] ppid=5868 vsize=10821732 memory=3926828 CPUtime=1.25 cores=0,2,4,6
/proc/5871/task/5875/stat : 5875 (java) S 5868 5871 4973 0 -1 1077944384 1039 0 0 0 109 16 0 0 20 0 17 0 94561366 11081453568 225895 33554432000 4194304 4196468 140730841196896 140410005670288 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5876] ppid=5868 vsize=10821732 memory=8112282956445269571 CPUtime=1.23 cores=0,2,4,6
/proc/5871/task/5876/stat : 5876 (java) S 5868 5871 4973 0 -1 1077944384 1513 0 0 0 107 16 0 0 20 0 17 0 94561366 11081453568 225895 33554432000 4194304 4196468 140730841196896 140410004617744 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5877] ppid=5868 vsize=10821732 memory=4872558044660077418 CPUtime=1.25 cores=0,2,4,6
/proc/5871/task/5877/stat : 5877 (java) S 5868 5871 4973 0 -1 1077944384 944 0 0 0 110 15 0 0 20 0 17 0 94561366 11081453568 225895 33554432000 4194304 4196468 140730841196896 140410003565200 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5878] ppid=5868 vsize=10821732 memory=2317781976367841381 CPUtime=0.47 cores=0,2,4,6
/proc/5871/task/5878/stat : 5878 (java) S 5868 5871 4973 0 -1 1077944384 4066 0 0 0 45 2 0 0 20 0 17 0 94561367 11081453568 225895 33554432000 4194304 4196468 140730841196896 140409291164144 140410054113922 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5879] ppid=5868 vsize=10821732 memory=-6873214939880389056 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5879/stat : 5879 (java) S 5868 5871 4973 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 17 0 94561367 11081453568 225895 33554432000 4194304 4196468 140730841196896 140409290110432 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5880] ppid=5868 vsize=10821732 memory=3054629615227114592 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5880/stat : 5880 (java) S 5868 5871 4973 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 17 0 94561368 11081453568 225895 33554432000 4194304 4196468 140730841196896 140409289057792 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5881] ppid=5868 vsize=10821732 memory=2320532730232979554 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5881/stat : 5881 (java) S 5868 5871 4973 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 17 0 94561370 11081453568 225895 33554432000 4194304 4196468 140730841196896 140409288006352 140410054121371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5882] ppid=5868 vsize=10821732 memory=-8532472303362752414 CPUtime=0.91 cores=0,2,4,6
/proc/5871/task/5882/stat : 5882 (java) S 5868 5871 4973 0 -1 1077944384 5960 0 0 0 90 1 0 0 20 0 17 0 94561370 11081453568 225895 33554432000 4194304 4196468 140730841196896 140409286952944 140410054113922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5883] ppid=5868 vsize=10821732 memory=903320 CPUtime=0.97 cores=0,2,4,6
/proc/5871/task/5883/stat : 5883 (java) S 5868 5871 4973 0 -1 1077944384 6705 0 0 0 96 1 0 0 20 0 17 0 94561370 11081453568 225895 33554432000 4194304 4196468 140730841196896 140409285900400 140410054113922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5884] ppid=5868 vsize=10821732 memory=4104 CPUtime=0.25 cores=0,2,4,6
/proc/5871/task/5884/stat : 5884 (java) S 5868 5871 4973 0 -1 1077944384 2483 0 0 0 25 0 0 0 20 0 17 0 94561370 11081453568 225895 33554432000 4194304 4196468 140730841196896 140409284847856 140410054113922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5885] ppid=5868 vsize=10821732 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/5871/task/5885/stat : 5885 (java) S 5868 5871 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 94561370 11081453568 225895 33554432000 4194304 4196468 140730841196896 140409283795552 140410054112981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
[pid=5871/tid=5886] ppid=5868 vsize=10821732 memory=1424 CPUtime=1.42 cores=0,2,4,6
/proc/5871/task/5886/stat : 5886 (java) S 5868 5871 4973 0 -1 1077944384 1714 0 0 0 66 76 0 0 20 0 17 0 94561370 11081453568 225895 33554432000 4194304 4196468 140730841196896 140409282743088 140410054113922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140730841203846 140730841203999 140730841203999 140730841206735 0
Current children cumulated CPU time: 2520.11 s
Current children cumulated vsize: 10821732 KiB
Current children cumulated memory: 903580 KiB
Child status: 143
Real time (s): 2512.62
CPU time (s): 2520.13
CPU user time (s): 2518.73
CPU system time (s): 1.39842
CPU usage (%): 100.299
Max. virtual memory (cumulated for all children) (KiB): 10821732
Max. memory (cumulated for all children) (KiB): 903580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.73
system time used= 1.39842
maximum resident set size= 904252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53972
page faults= 0
swaps= 0
block input operations= 64
block output operations= 2128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56404
involuntary context switches= 952
# summary of solver processes directly reported to runsolver:
# pid: 5871
# total CPU time (s): 2520.13
# total CPU user time (s): 2518.73
# total CPU system time (s): 1.39842
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8228 second user time and 23.9867 second system time
The end