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 (7259 MiB free)
memory of node 1: 16384 MiB (12977 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289811-1532222715/watcher-4289811-1532222715 -o /tmp/evaluation-result-4289811-1532222715/solver-4289811-1532222715 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532209718-28181 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4289811-1532222715.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=30379, runsolver pid=30376
[startup+0.100079 s]*
/proc/loadavg: 2.00 2.06 2.13 5/220 30394
/proc/meminfo: memFree=20705280/32770624 swapFree=67108860/67108860
[pid=30379] ppid=30376 vsize=10659012 memory=31268 CPUtime=0.13 cores=0,2,4,6
/proc/30379/stat : 30379 (java) S 30376 30379 25837 0 -1 1077944320 6881 0 0 0 11 2 0 0 20 0 15 0 39834659 10914828288 7817 33554432000 4194304 4196468 140736721599792 140736721582336 140632364797687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
/proc/30379/statm: 2664753 7817 2818 1 0 2627263 0
[pid=30379/tid=30381] ppid=30376 vsize=10659012 memory=-8701690554792316545 CPUtime=0.09 cores=0,2,4,6
/proc/30379/task/30381/stat : 30381 (java) R 30376 30379 25837 0 -1 4202560 4720 0 0 0 8 1 0 0 20 0 15 0 39834659 10914828288 7817 33554432000 4194304 4196468 140736721599792 140632369018816 140632001382439 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30382] ppid=30376 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30382/stat : 30382 (java) S 30376 30379 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39834660 10914828288 7817 33554432000 4194304 4196468 140736721599792 140632330078992 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30383] ppid=30376 vsize=10659012 memory=139976346171008 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30383/stat : 30383 (java) S 30376 30379 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39834660 10914828288 7817 33554432000 4194304 4196468 140736721599792 140631970786192 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30384] ppid=30376 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30384/stat : 30384 (java) S 30376 30379 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39834660 10914828288 7817 33554432000 4194304 4196468 140736721599792 140631969733648 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30385] ppid=30376 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30385/stat : 30385 (java) S 30376 30379 25837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39834660 10914828288 7817 33554432000 4194304 4196468 140736721599792 140631968681104 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30386] ppid=30376 vsize=10659012 memory=139976346171008 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30386/stat : 30386 (java) S 30376 30379 25837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39834661 10914828288 7817 33554432000 4194304 4196468 140736721599792 140631856891888 140632364808834 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30387] ppid=30376 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30387/stat : 30387 (java) S 30376 30379 25837 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39834662 10914828288 7817 33554432000 4194304 4196468 140736721599792 140631855838112 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30388] ppid=30376 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30388/stat : 30388 (java) S 30376 30379 25837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39834662 10914828288 7817 33554432000 4194304 4196468 140736721599792 140631854785520 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30389] ppid=30376 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30389/stat : 30389 (java) S 30376 30379 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39834664 10914828288 7817 33554432000 4194304 4196468 140736721599792 140631853734096 140632364816283 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30390] ppid=30376 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30390/stat : 30390 (java) S 30376 30379 25837 0 -1 1077944384 443 0 0 0 0 0 0 0 20 0 15 0 39834664 10914828288 7817 33554432000 4194304 4196468 140736721599792 140631852681712 140632364808834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30391] ppid=30376 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30391/stat : 30391 (java) S 30376 30379 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39834665 10914828288 7817 33554432000 4194304 4196468 140736721599792 140631851629168 140632364808834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30392] ppid=30376 vsize=10659012 memory=139976346171008 CPUtime=0.02 cores=0,2,4,6
/proc/30379/task/30392/stat : 30392 (java) R 30376 30379 25837 0 -1 4202560 346 0 0 0 2 0 0 0 20 0 15 0 39834665 10914828288 7817 33554432000 4194304 4196468 140736721599792 140631850576624 140632348909501 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30393] ppid=30376 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30393/stat : 30393 (java) S 30376 30379 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39834665 10914828288 7817 33554432000 4194304 4196468 140736721599792 140631849524320 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30394] ppid=30376 vsize=10659012 memory=139976346171008 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30394/stat : 30394 (java) S 30376 30379 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39834665 10914828288 7817 33554432000 4194304 4196468 140736721599792 140631848470832 140632364808834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 31268 KiB
[startup+0.210905 s]*
/proc/loadavg: 2.00 2.06 2.13 3/220 30394
/proc/meminfo: memFree=20694756/32770624 swapFree=67108860/67108860
[pid=30379] ppid=30376 vsize=10659012 memory=42108 CPUtime=0.33 cores=0,2,4,6
/proc/30379/stat : 30379 (java) S 30376 30379 25837 0 -1 1077944320 8127 0 0 0 31 2 0 0 20 0 15 0 39834659 10914828288 10527 33554432000 4194304 4196468 140736721599792 140736721582336 140632364797687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
/proc/30379/statm: 2664753 10527 2995 1 0 2627263 0
[pid=30379/tid=30381] ppid=30376 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/30379/task/30381/stat : 30381 (java) R 30376 30379 25837 0 -1 4202560 5092 0 0 0 19 1 0 0 20 0 15 0 39834659 10914828288 10527 33554432000 4194304 4196468 140736721599792 140632369033968 140632348841317 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30382] ppid=30376 vsize=10659012 memory=364 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30382/stat : 30382 (java) S 30376 30379 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39834660 10914828288 10527 33554432000 4194304 4196468 140736721599792 140632330078992 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30383] ppid=30376 vsize=10659012 memory=3546500615295727264 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30383/stat : 30383 (java) S 30376 30379 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39834660 10914828288 10527 33554432000 4194304 4196468 140736721599792 140631970786192 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30384] ppid=30376 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30384/stat : 30384 (java) S 30376 30379 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39834660 10914828288 10527 33554432000 4194304 4196468 140736721599792 140631969733648 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30385] ppid=30376 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30385/stat : 30385 (java) S 30376 30379 25837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39834660 10914828288 10527 33554432000 4194304 4196468 140736721599792 140631968681104 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30386] ppid=30376 vsize=10659012 memory=139976346171008 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30386/stat : 30386 (java) S 30376 30379 25837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39834661 10914828288 10527 33554432000 4194304 4196468 140736721599792 140631856891888 140632364808834 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30387] ppid=30376 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30387/stat : 30387 (java) S 30376 30379 25837 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39834662 10914828288 10527 33554432000 4194304 4196468 140736721599792 140631855838112 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30388] ppid=30376 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30388/stat : 30388 (java) S 30376 30379 25837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39834662 10914828288 10527 33554432000 4194304 4196468 140736721599792 140631854785520 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30389] ppid=30376 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30389/stat : 30389 (java) S 30376 30379 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39834664 10914828288 10527 33554432000 4194304 4196468 140736721599792 140631853734096 140632364816283 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30390] ppid=30376 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30379/task/30390/stat : 30390 (java) S 30376 30379 25837 0 -1 1077944384 782 0 0 0 2 0 0 0 20 0 15 0 39834664 10914828288 10527 33554432000 4194304 4196468 140736721599792 140631852681712 140632364808834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30391] ppid=30376 vsize=10659012 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/30379/task/30391/stat : 30391 (java) S 30376 30379 25837 0 -1 1077944384 199 0 0 0 1 0 0 0 20 0 15 0 39834665 10914828288 10527 33554432000 4194304 4196468 140736721599792 140631851629168 140632364808834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30392] ppid=30376 vsize=10659012 memory=139976346171008 CPUtime=0.07 cores=0,2,4,6
/proc/30379/task/30392/stat : 30392 (java) R 30376 30379 25837 0 -1 4202560 686 0 0 0 7 0 0 0 20 0 15 0 39834665 10914828288 10527 33554432000 4194304 4196468 140736721599792 140631850576624 140632343766256 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30393] ppid=30376 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30393/stat : 30393 (java) S 30376 30379 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39834665 10914828288 10527 33554432000 4194304 4196468 140736721599792 140631849524320 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30394] ppid=30376 vsize=10659012 memory=139976346171008 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30394/stat : 30394 (java) S 30376 30379 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39834665 10914828288 10527 33554432000 4194304 4196468 140736721599792 140631848470832 140632364808834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42108 KiB
[startup+0.310783 s]*
/proc/loadavg: 2.00 2.06 2.13 6/220 30394
/proc/meminfo: memFree=20684272/32770624 swapFree=67108860/67108860
[pid=30379] ppid=30376 vsize=10659088 memory=51488 CPUtime=0.57 cores=0,2,4,6
/proc/30379/stat : 30379 (java) S 30376 30379 25837 0 -1 1077944320 9415 0 0 0 54 3 0 0 20 0 15 0 39834659 10914906112 12872 33554432000 4194304 4196468 140736721599792 140736721582336 140632364797687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
/proc/30379/statm: 2664772 12872 3061 1 0 2627263 0
[pid=30379/tid=30381] ppid=30376 vsize=10659088 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/30379/task/30381/stat : 30381 (java) R 30376 30379 25837 0 -1 4202560 5645 0 0 0 28 2 0 0 20 0 15 0 39834659 10914906112 12872 33554432000 4194304 4196468 140736721599792 140632369034320 140632348878174 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30382] ppid=30376 vsize=10659088 memory=4294982659 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30382/stat : 30382 (java) S 30376 30379 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39834660 10914906112 12872 33554432000 4194304 4196468 140736721599792 140632330078992 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30383] ppid=30376 vsize=10659088 memory=3834735385198982816 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30383/stat : 30383 (java) S 30376 30379 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39834660 10914906112 12872 33554432000 4194304 4196468 140736721599792 140631970786192 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30384] ppid=30376 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30384/stat : 30384 (java) S 30376 30379 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39834660 10914906112 12872 33554432000 4194304 4196468 140736721599792 140631969733648 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30385] ppid=30376 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30385/stat : 30385 (java) S 30376 30379 25837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39834660 10914906112 12872 33554432000 4194304 4196468 140736721599792 140631968681104 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30386] ppid=30376 vsize=10659088 memory=139976346171008 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30386/stat : 30386 (java) S 30376 30379 25837 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 39834661 10914906112 12872 33554432000 4194304 4196468 140736721599792 140631856891888 140632364808834 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30387] ppid=30376 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30387/stat : 30387 (java) S 30376 30379 25837 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39834662 10914906112 12872 33554432000 4194304 4196468 140736721599792 140631855838112 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30388] ppid=30376 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30388/stat : 30388 (java) S 30376 30379 25837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39834662 10914906112 12872 33554432000 4194304 4196468 140736721599792 140631854785520 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30389] ppid=30376 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30389/stat : 30389 (java) S 30376 30379 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39834664 10914906112 12872 33554432000 4194304 4196468 140736721599792 140631853734096 140632364816283 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30390] ppid=30376 vsize=10659088 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/30379/task/30390/stat : 30390 (java) R 30376 30379 25837 0 -1 1077944384 816 0 0 0 4 0 0 0 20 0 15 0 39834664 10914906112 12872 33554432000 4194304 4196468 140736721599792 140631852681712 140632364808834 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30391] ppid=30376 vsize=10659088 memory=-1 CPUtime=0.06 cores=0,2,4,6
/proc/30379/task/30391/stat : 30391 (java) R 30376 30379 25837 0 -1 4202560 688 0 0 0 6 0 0 0 20 0 15 0 39834665 10914906112 12872 33554432000 4194304 4196468 140736721599792 140631851610184 140632348208352 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30392] ppid=30376 vsize=10659088 memory=139976346171008 CPUtime=0.13 cores=0,2,4,6
/proc/30379/task/30392/stat : 30392 (java) R 30376 30379 25837 0 -1 4202560 951 0 0 0 13 0 0 0 20 0 15 0 39834665 10914906112 12937 33554432000 4194304 4196468 140736721599792 140631850576624 140632357034814 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30393] ppid=30376 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30393/stat : 30393 (java) S 30376 30379 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39834665 10914906112 12937 33554432000 4194304 4196468 140736721599792 140631849524320 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30394] ppid=30376 vsize=10659088 memory=139976346171008 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30394/stat : 30394 (java) S 30376 30379 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39834665 10914906112 12937 33554432000 4194304 4196468 140736721599792 140631848470832 140632364808834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 51488 KiB
[startup+0.70071 s]
/proc/loadavg: 2.00 2.06 2.13 6/220 30394
/proc/meminfo: memFree=20661752/32770624 swapFree=67108860/67108860
[pid=30379] ppid=30376 vsize=10661136 memory=126772 CPUtime=1.88 cores=0,2,4,6
/proc/30379/stat : 30379 (java) S 30376 30379 25837 0 -1 1077944320 12035 0 0 0 183 5 0 0 20 0 15 0 39834659 10917003264 31693 33554432000 4194304 4196468 140736721599792 140736721582336 140632364797687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
/proc/30379/statm: 2665284 31693 3109 1 0 2627775 0
[pid=30379/tid=30381] ppid=30376 vsize=10661136 memory=270483081693713 CPUtime=0.67 cores=0,2,4,6
/proc/30379/task/30381/stat : 30381 (java) R 30376 30379 25837 0 -1 4202560 6128 0 0 0 64 3 0 0 20 0 15 0 39834659 10917003264 31693 33554432000 4194304 4196468 140736721599792 140632369023792 140632005455215 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30382] ppid=30376 vsize=10661136 memory=175223 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30382/stat : 30382 (java) S 30376 30379 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39834660 10917003264 31693 33554432000 4194304 4196468 140736721599792 140632330078992 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30383] ppid=30376 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30383/stat : 30383 (java) S 30376 30379 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39834660 10917003264 31693 33554432000 4194304 4196468 140736721599792 140631970786192 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30384] ppid=30376 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30384/stat : 30384 (java) S 30376 30379 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39834660 10917003264 31693 33554432000 4194304 4196468 140736721599792 140631969733648 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30385] ppid=30376 vsize=10661136 memory=7809523229951467568 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30385/stat : 30385 (java) S 30376 30379 25837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39834660 10917003264 31693 33554432000 4194304 4196468 140736721599792 140631968681104 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30386] ppid=30376 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30386/stat : 30386 (java) S 30376 30379 25837 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 39834661 10917003264 31693 33554432000 4194304 4196468 140736721599792 140631856891888 140632364808834 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30387] ppid=30376 vsize=10661136 memory=-6363690208856270693 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30387/stat : 30387 (java) S 30376 30379 25837 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39834662 10917003264 31693 33554432000 4194304 4196468 140736721599792 140631855838112 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30388] ppid=30376 vsize=10661136 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30388/stat : 30388 (java) S 30376 30379 25837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39834662 10917003264 31693 33554432000 4194304 4196468 140736721599792 140631854785520 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30389] ppid=30376 vsize=10661136 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30389/stat : 30389 (java) S 30376 30379 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39834664 10917003264 31693 33554432000 4194304 4196468 140736721599792 140631853734096 140632364816283 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30390] ppid=30376 vsize=10661136 memory=6944652177228980320 CPUtime=0.38 cores=0,2,4,6
/proc/30379/task/30390/stat : 30390 (java) R 30376 30379 25837 0 -1 4202560 1673 0 0 0 38 0 0 0 20 0 15 0 39834664 10917003264 31693 33554432000 4194304 4196468 140736721599792 140631852670976 140632349923082 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30391] ppid=30376 vsize=10661136 memory=0 CPUtime=0.41 cores=0,2,4,6
/proc/30379/task/30391/stat : 30391 (java) R 30376 30379 25837 0 -1 4202560 1227 0 0 0 41 0 0 0 20 0 15 0 39834665 10917003264 31693 33554432000 4194304 4196468 140736721599792 140631851614128 140632344043632 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30392] ppid=30376 vsize=10661136 memory=0 CPUtime=0.38 cores=0,2,4,6
/proc/30379/task/30392/stat : 30392 (java) S 30376 30379 25837 0 -1 1077944384 1634 0 0 0 38 0 0 0 20 0 15 0 39834665 10917003264 31693 33554432000 4194304 4196468 140736721599792 140631850576624 140632364808834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30393] ppid=30376 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30393/stat : 30393 (java) S 30376 30379 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39834665 10917003264 31693 33554432000 4194304 4196468 140736721599792 140631849524320 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30394] ppid=30376 vsize=10661136 memory=8760 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30394/stat : 30394 (java) S 30376 30379 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39834665 10917003264 31693 33554432000 4194304 4196468 140736721599792 140631848470832 140632364808834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
Current children cumulated CPU time: 1.88 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 126772 KiB
[startup+1.50072 s]
/proc/loadavg: 2.00 2.06 2.13 5/219 30394
/proc/meminfo: memFree=20525360/32770624 swapFree=67108860/67108860
[pid=30379] ppid=30376 vsize=10661136 memory=260520 CPUtime=4.46 cores=0,2,4,6
/proc/30379/stat : 30379 (java) S 30376 30379 25837 0 -1 1077944320 20913 0 0 0 437 9 0 0 20 0 15 0 39834659 10917003264 65130 33554432000 4194304 4196468 140736721599792 140736721582336 140632364797687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
/proc/30379/statm: 2665284 65130 3144 1 0 2627775 0
[pid=30379/tid=30381] ppid=30376 vsize=10661136 memory=3303 CPUtime=1.39 cores=0,2,4,6
/proc/30379/task/30381/stat : 30381 (java) R 30376 30379 25837 0 -1 4202560 6275 0 0 0 135 4 0 0 20 0 15 0 39834659 10917003264 65130 33554432000 4194304 4196468 140736721599792 140632369030256 140632347205282 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30382] ppid=30376 vsize=10661136 memory=6791534058613427641 CPUtime=0.05 cores=0,2,4,6
/proc/30379/task/30382/stat : 30382 (java) S 30376 30379 25837 0 -1 1077944384 65 0 0 0 5 0 0 0 20 0 15 0 39834660 10917003264 65130 33554432000 4194304 4196468 140736721599792 140632330078992 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30383] ppid=30376 vsize=10661136 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/30379/task/30383/stat : 30383 (java) S 30376 30379 25837 0 -1 1077944384 66 0 0 0 4 0 0 0 20 0 15 0 39834660 10917003264 65130 33554432000 4194304 4196468 140736721599792 140631970786192 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30384] ppid=30376 vsize=10661136 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/30379/task/30384/stat : 30384 (java) S 30376 30379 25837 0 -1 1077944384 155 0 0 0 3 0 0 0 20 0 15 0 39834660 10917003264 65130 33554432000 4194304 4196468 140736721599792 140631969733648 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30385] ppid=30376 vsize=10661136 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/30379/task/30385/stat : 30385 (java) S 30376 30379 25837 0 -1 1077944384 70 0 0 0 4 0 0 0 20 0 15 0 39834660 10917003264 65130 33554432000 4194304 4196468 140736721599792 140631968681104 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30386] ppid=30376 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30386/stat : 30386 (java) S 30376 30379 25837 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 39834661 10917003264 65130 33554432000 4194304 4196468 140736721599792 140631856891888 140632364808834 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
################
# More data... #
################
/proc/30379/task/30383/stat : 30383 (java) S 30376 30379 25837 0 -1 1077944384 12546 0 0 0 202 65 0 0 20 0 16 0 39834660 10985164800 880624 33554432000 4194304 4196468 140736721599792 140631970786192 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30384] ppid=30376 vsize=10727700 memory=3522496 CPUtime=2.67 cores=0,2,4,6
/proc/30379/task/30384/stat : 30384 (java) S 30376 30379 25837 0 -1 1077944384 11412 0 0 0 202 65 0 0 20 0 16 0 39834660 10985164800 880624 33554432000 4194304 4196468 140736721599792 140631969733648 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30385] ppid=30376 vsize=10727700 memory=3522496 CPUtime=2.68 cores=0,2,4,6
/proc/30379/task/30385/stat : 30385 (java) S 30376 30379 25837 0 -1 1077944384 11888 0 0 0 203 65 0 0 20 0 16 0 39834660 10985164800 880624 33554432000 4194304 4196468 140736721599792 140631968681104 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30386] ppid=30376 vsize=10727700 memory=3522496 CPUtime=0.5 cores=0,2,4,6
/proc/30379/task/30386/stat : 30386 (java) S 30376 30379 25837 0 -1 1077944384 13795 0 0 0 46 4 0 0 20 0 16 0 39834661 10985164800 880624 33554432000 4194304 4196468 140736721599792 140631856891888 140632364808834 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30387] ppid=30376 vsize=10727700 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30387/stat : 30387 (java) S 30376 30379 25837 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 39834662 10985164800 880624 33554432000 4194304 4196468 140736721599792 140631855838176 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30388] ppid=30376 vsize=10727700 memory=3522496 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30388/stat : 30388 (java) S 30376 30379 25837 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 16 0 39834662 10985164800 880624 33554432000 4194304 4196468 140736721599792 140631854785536 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30389] ppid=30376 vsize=10727700 memory=3522496 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30389/stat : 30389 (java) S 30376 30379 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39834664 10985164800 880624 33554432000 4194304 4196468 140736721599792 140631853734096 140632364816283 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30390] ppid=30376 vsize=10727700 memory=3522496 CPUtime=2.64 cores=0,2,4,6
/proc/30379/task/30390/stat : 30390 (java) S 30376 30379 25837 0 -1 1077944384 15907 0 0 0 262 2 0 0 20 0 16 0 39834664 10985164800 880624 33554432000 4194304 4196468 140736721599792 140631852681712 140632364808834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30391] ppid=30376 vsize=10727700 memory=3522492 CPUtime=2.54 cores=0,2,4,6
/proc/30379/task/30391/stat : 30391 (java) S 30376 30379 25837 0 -1 1077944384 11090 0 0 0 252 2 0 0 20 0 16 0 39834665 10985164800 880624 33554432000 4194304 4196468 140736721599792 140631851629168 140632364808834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30392] ppid=30376 vsize=10727700 memory=2444 CPUtime=0.7 cores=0,2,4,6
/proc/30379/task/30392/stat : 30392 (java) S 30376 30379 25837 0 -1 1077944384 7824 0 0 0 69 1 0 0 20 0 16 0 39834665 10985164800 880624 33554432000 4194304 4196468 140736721599792 140631850576624 140632364808834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30393] ppid=30376 vsize=10727700 memory=3522496 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30393/stat : 30393 (java) S 30376 30379 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39834665 10985164800 880624 33554432000 4194304 4196468 140736721599792 140631849524320 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30394] ppid=30376 vsize=10727700 memory=14168 CPUtime=1.5 cores=0,2,4,6
/proc/30379/task/30394/stat : 30394 (java) S 30376 30379 25837 0 -1 1077944384 1937 0 0 0 70 80 0 0 20 0 16 0 39834665 10985164800 880624 33554432000 4194304 4196468 140736721599792 140631848470832 140632364808834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30395] ppid=30376 vsize=10727700 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30395/stat : 30395 (java) S 30376 30379 25837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39834964 10985164800 880624 33554432000 4194304 4196468 140736721599792 140631845319472 140632364808834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
Current children cumulated CPU time: 2397.6 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 3522496 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2384.7 s]
/proc/loadavg: 2.01 2.00 2.03 3/222 30570
/proc/meminfo: memFree=16689324/32770624 swapFree=67108860/67108860
[pid=30379] ppid=30376 vsize=10727700 memory=3522496 CPUtime=2400 cores=0,2,4,6
/proc/30379/stat : 30379 (java) S 30376 30379 25837 0 -1 1077944320 171313 0 0 0 239642 358 0 0 20 0 16 0 39834659 10985164800 880624 33554432000 4194304 4196468 140736721599792 140736721582336 140632364797687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
/proc/30379/statm: 2681925 880624 3193 1 0 2644416 0
[pid=30379/tid=30381] ppid=30376 vsize=10727700 memory=3522492 CPUtime=2381.35 cores=0,2,4,6
/proc/30379/task/30381/stat : 30381 (java) R 30376 30379 25837 0 -1 4202560 70606 0 0 0 238108 27 0 0 20 0 16 0 39834659 10985164800 880624 33554432000 4194304 4196468 140736721599792 140632369034328 140632001609796 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30382] ppid=30376 vsize=10727700 memory=3522496 CPUtime=2.67 cores=0,2,4,6
/proc/30379/task/30382/stat : 30382 (java) S 30376 30379 25837 0 -1 1077944384 12852 0 0 0 202 65 0 0 20 0 16 0 39834660 10985164800 880624 33554432000 4194304 4196468 140736721599792 140632330078992 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30383] ppid=30376 vsize=10727700 memory=3522492 CPUtime=2.67 cores=0,2,4,6
/proc/30379/task/30383/stat : 30383 (java) S 30376 30379 25837 0 -1 1077944384 12546 0 0 0 202 65 0 0 20 0 16 0 39834660 10985164800 880624 33554432000 4194304 4196468 140736721599792 140631970786192 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30384] ppid=30376 vsize=10727700 memory=3522496 CPUtime=2.67 cores=0,2,4,6
/proc/30379/task/30384/stat : 30384 (java) S 30376 30379 25837 0 -1 1077944384 11412 0 0 0 202 65 0 0 20 0 16 0 39834660 10985164800 880624 33554432000 4194304 4196468 140736721599792 140631969733648 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30385] ppid=30376 vsize=10727700 memory=3522496 CPUtime=2.68 cores=0,2,4,6
/proc/30379/task/30385/stat : 30385 (java) S 30376 30379 25837 0 -1 1077944384 11888 0 0 0 203 65 0 0 20 0 16 0 39834660 10985164800 880624 33554432000 4194304 4196468 140736721599792 140631968681104 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30386] ppid=30376 vsize=10727700 memory=3522496 CPUtime=0.5 cores=0,2,4,6
/proc/30379/task/30386/stat : 30386 (java) S 30376 30379 25837 0 -1 1077944384 13795 0 0 0 46 4 0 0 20 0 16 0 39834661 10985164800 880624 33554432000 4194304 4196468 140736721599792 140631856891888 140632364808834 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30387] ppid=30376 vsize=10727700 memory=3522496 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30387/stat : 30387 (java) S 30376 30379 25837 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 39834662 10985164800 880624 33554432000 4194304 4196468 140736721599792 140631855838176 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30388] ppid=30376 vsize=10727700 memory=3522492 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30388/stat : 30388 (java) S 30376 30379 25837 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 16 0 39834662 10985164800 880624 33554432000 4194304 4196468 140736721599792 140631854785536 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30389] ppid=30376 vsize=10727700 memory=2444 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30389/stat : 30389 (java) S 30376 30379 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39834664 10985164800 880624 33554432000 4194304 4196468 140736721599792 140631853734096 140632364816283 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30390] ppid=30376 vsize=10727700 memory=3522496 CPUtime=2.64 cores=0,2,4,6
/proc/30379/task/30390/stat : 30390 (java) S 30376 30379 25837 0 -1 1077944384 15907 0 0 0 262 2 0 0 20 0 16 0 39834664 10985164800 880624 33554432000 4194304 4196468 140736721599792 140631852681712 140632364808834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30391] ppid=30376 vsize=10727700 memory=3522496 CPUtime=2.54 cores=0,2,4,6
/proc/30379/task/30391/stat : 30391 (java) S 30376 30379 25837 0 -1 1077944384 11090 0 0 0 252 2 0 0 20 0 16 0 39834665 10985164800 880624 33554432000 4194304 4196468 140736721599792 140631851629168 140632364808834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30392] ppid=30376 vsize=10727700 memory=3522496 CPUtime=0.7 cores=0,2,4,6
/proc/30379/task/30392/stat : 30392 (java) S 30376 30379 25837 0 -1 1077944384 7824 0 0 0 69 1 0 0 20 0 16 0 39834665 10985164800 880624 33554432000 4194304 4196468 140736721599792 140631850576624 140632364808834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30393] ppid=30376 vsize=10727700 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30393/stat : 30393 (java) S 30376 30379 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39834665 10985164800 880624 33554432000 4194304 4196468 140736721599792 140631849524320 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30394] ppid=30376 vsize=10727700 memory=3522496 CPUtime=1.5 cores=0,2,4,6
/proc/30379/task/30394/stat : 30394 (java) S 30376 30379 25837 0 -1 1077944384 1937 0 0 0 70 80 0 0 20 0 16 0 39834665 10985164800 880624 33554432000 4194304 4196468 140736721599792 140631848470832 140632364808834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30395] ppid=30376 vsize=10727700 memory=3522492 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30395/stat : 30395 (java) S 30376 30379 25837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39834964 10985164800 880624 33554432000 4194304 4196468 140736721599792 140631845319472 140632364808834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 3522496 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2384.94 s]
# the end of solver process 30379 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.57 s, system=3.61357 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2384.81 s]
/proc/loadavg: 2.01 2.00 2.03 3/222 30570
/proc/meminfo: memFree=16689324/32770624 swapFree=67108860/67108860
[pid=30379] ppid=30376 vsize=10927392 memory=3522844 CPUtime=2400.14 cores=0,2,4,6
/proc/30379/stat : 30379 (java) S 30376 30379 25837 0 -1 1077944320 173360 0 0 0 239656 358 0 0 20 0 17 0 39834659 11189649408 880711 33554432000 4194304 4196468 140736721599792 140736721582336 140632364797687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
/proc/30379/statm: 2731848 880711 3196 1 0 2694339 0
[pid=30379/tid=30381] ppid=30376 vsize=10927392 memory=3280 CPUtime=2381.46 cores=0,2,4,6
/proc/30379/task/30381/stat : 30381 (java) R 30376 30379 25837 0 -1 4202560 70866 0 0 0 238119 27 0 0 20 0 17 0 39834659 11189649408 880711 33554432000 4194304 4196468 140736721599792 140632369034328 140632009331734 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30382] ppid=30376 vsize=10927392 memory=889440 CPUtime=2.67 cores=0,2,4,6
/proc/30379/task/30382/stat : 30382 (java) S 30376 30379 25837 0 -1 1077944384 12852 0 0 0 202 65 0 0 20 0 17 0 39834660 11189649408 880711 33554432000 4194304 4196468 140736721599792 140632330078992 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30383] ppid=30376 vsize=10927392 memory=6791534058613427641 CPUtime=2.67 cores=0,2,4,6
/proc/30379/task/30383/stat : 30383 (java) S 30376 30379 25837 0 -1 1077944384 12546 0 0 0 202 65 0 0 20 0 17 0 39834660 11189649408 880711 33554432000 4194304 4196468 140736721599792 140631970786192 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30384] ppid=30376 vsize=10927392 memory=4126316290023845779 CPUtime=2.67 cores=0,2,4,6
/proc/30379/task/30384/stat : 30384 (java) S 30376 30379 25837 0 -1 1077944384 11412 0 0 0 202 65 0 0 20 0 17 0 39834660 11189649408 880711 33554432000 4194304 4196468 140736721599792 140631969733648 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30385] ppid=30376 vsize=10927392 memory=288230574492221466 CPUtime=2.68 cores=0,2,4,6
/proc/30379/task/30385/stat : 30385 (java) S 30376 30379 25837 0 -1 1077944384 11888 0 0 0 203 65 0 0 20 0 17 0 39834660 11189649408 880711 33554432000 4194304 4196468 140736721599792 140631968681104 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30386] ppid=30376 vsize=10927392 memory=288230596050944315 CPUtime=0.5 cores=0,2,4,6
/proc/30379/task/30386/stat : 30386 (java) S 30376 30379 25837 0 -1 1077944384 13795 0 0 0 46 4 0 0 20 0 17 0 39834661 11189649408 880711 33554432000 4194304 4196468 140736721599792 140631856891888 140632364808834 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30387] ppid=30376 vsize=10927392 memory=14695218540710260 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30387/stat : 30387 (java) S 30376 30379 25837 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 17 0 39834662 11189649408 880711 33554432000 4194304 4196468 140736721599792 140631855838176 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30388] ppid=30376 vsize=10927392 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30388/stat : 30388 (java) S 30376 30379 25837 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 17 0 39834662 11189649408 880711 33554432000 4194304 4196468 140736721599792 140631854785536 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30389] ppid=30376 vsize=10927392 memory=2196 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30389/stat : 30389 (java) S 30376 30379 25837 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 17 0 39834664 11189649408 880711 33554432000 4194304 4196468 140736721599792 140631853734096 140632364816283 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30390] ppid=30376 vsize=10927392 memory=7288 CPUtime=2.66 cores=0,2,4,6
/proc/30379/task/30390/stat : 30390 (java) S 30376 30379 25837 0 -1 1077944384 16545 0 0 0 264 2 0 0 20 0 17 0 39834664 11189649408 880711 33554432000 4194304 4196468 140736721599792 140631852681712 140632364808834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30391] ppid=30376 vsize=10927392 memory=840 CPUtime=2.54 cores=0,2,4,6
/proc/30379/task/30391/stat : 30391 (java) S 30376 30379 25837 0 -1 1077944384 11373 0 0 0 252 2 0 0 20 0 17 0 39834665 11189649408 880711 33554432000 4194304 4196468 140736721599792 140631851629168 140632364808834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30392] ppid=30376 vsize=10927392 memory=1696 CPUtime=0.7 cores=0,2,4,6
/proc/30379/task/30392/stat : 30392 (java) S 30376 30379 25837 0 -1 1077944384 8030 0 0 0 69 1 0 0 20 0 17 0 39834665 11189649408 880711 33554432000 4194304 4196468 140736721599792 140631850576624 140632364808834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30393] ppid=30376 vsize=10927392 memory=3522496 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30393/stat : 30393 (java) S 30376 30379 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39834665 11189649408 880711 33554432000 4194304 4196468 140736721599792 140631849524320 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30394] ppid=30376 vsize=10927392 memory=928 CPUtime=1.5 cores=0,2,4,6
/proc/30379/task/30394/stat : 30394 (java) S 30376 30379 25837 0 -1 1077944384 1937 0 0 0 70 80 0 0 20 0 17 0 39834665 11189649408 880711 33554432000 4194304 4196468 140736721599792 140631848470832 140632364808834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
Current children cumulated CPU time: 2400.14 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 3522844 KiB
[startup+2384.9 s]
/proc/loadavg: 2.01 2.00 2.03 3/222 30570
/proc/meminfo: memFree=16689324/32770624 swapFree=67108860/67108860
[pid=30379] ppid=30376 vsize=10927392 memory=3522844 CPUtime=2400.14 cores=0,2,4,6
/proc/30379/stat : 30379 (java) S 30376 30379 25837 0 -1 1077944320 173372 0 0 0 239656 358 0 0 20 0 17 0 39834659 11189649408 880711 33554432000 4194304 4196468 140736721599792 140736721582336 140632364797687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
/proc/30379/statm: 2731848 880711 3196 1 0 2694339 0
[pid=30379/tid=30381] ppid=30376 vsize=10927392 memory=3522496 CPUtime=2381.46 cores=0,2,4,6
/proc/30379/task/30381/stat : 30381 (java) S 30376 30379 25837 0 -1 1077944384 70878 0 0 0 238119 27 0 0 20 0 17 0 39834659 11189649408 880711 33554432000 4194304 4196468 140736721599792 140632369040560 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30382] ppid=30376 vsize=10927392 memory=3522496 CPUtime=2.67 cores=0,2,4,6
/proc/30379/task/30382/stat : 30382 (java) S 30376 30379 25837 0 -1 1077944384 12852 0 0 0 202 65 0 0 20 0 17 0 39834660 11189649408 880711 33554432000 4194304 4196468 140736721599792 140632330078992 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30383] ppid=30376 vsize=10927392 memory=3522496 CPUtime=2.67 cores=0,2,4,6
/proc/30379/task/30383/stat : 30383 (java) S 30376 30379 25837 0 -1 1077944384 12546 0 0 0 202 65 0 0 20 0 17 0 39834660 11189649408 880711 33554432000 4194304 4196468 140736721599792 140631970786192 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30384] ppid=30376 vsize=10927392 memory=3522492 CPUtime=2.67 cores=0,2,4,6
/proc/30379/task/30384/stat : 30384 (java) S 30376 30379 25837 0 -1 1077944384 11412 0 0 0 202 65 0 0 20 0 17 0 39834660 11189649408 880711 33554432000 4194304 4196468 140736721599792 140631969733648 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30385] ppid=30376 vsize=10927392 memory=3522496 CPUtime=2.68 cores=0,2,4,6
/proc/30379/task/30385/stat : 30385 (java) S 30376 30379 25837 0 -1 1077944384 11888 0 0 0 203 65 0 0 20 0 17 0 39834660 11189649408 880711 33554432000 4194304 4196468 140736721599792 140631968681104 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30386] ppid=30376 vsize=10927392 memory=3522492 CPUtime=0.5 cores=0,2,4,6
/proc/30379/task/30386/stat : 30386 (java) S 30376 30379 25837 0 -1 1077944384 13795 0 0 0 46 4 0 0 20 0 17 0 39834661 11189649408 880711 33554432000 4194304 4196468 140736721599792 140631856891888 140632364808834 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30387] ppid=30376 vsize=10927392 memory=3522496 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30387/stat : 30387 (java) S 30376 30379 25837 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 17 0 39834662 11189649408 880711 33554432000 4194304 4196468 140736721599792 140631855838176 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30388] ppid=30376 vsize=10927392 memory=3522496 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30388/stat : 30388 (java) S 30376 30379 25837 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 17 0 39834662 11189649408 880711 33554432000 4194304 4196468 140736721599792 140631854785536 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30389] ppid=30376 vsize=10927392 memory=3522496 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30389/stat : 30389 (java) S 30376 30379 25837 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 17 0 39834664 11189649408 880711 33554432000 4194304 4196468 140736721599792 140631853734096 140632364816283 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30390] ppid=30376 vsize=10927392 memory=3522496 CPUtime=2.66 cores=0,2,4,6
/proc/30379/task/30390/stat : 30390 (java) S 30376 30379 25837 0 -1 1077944384 16545 0 0 0 264 2 0 0 20 0 17 0 39834664 11189649408 880711 33554432000 4194304 4196468 140736721599792 140631852681712 140632364808834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30391] ppid=30376 vsize=10927392 memory=1008 CPUtime=2.54 cores=0,2,4,6
/proc/30379/task/30391/stat : 30391 (java) S 30376 30379 25837 0 -1 1077944384 11373 0 0 0 252 2 0 0 20 0 17 0 39834665 11189649408 880711 33554432000 4194304 4196468 140736721599792 140631851629168 140632364808834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30392] ppid=30376 vsize=10927392 memory=3522496 CPUtime=0.7 cores=0,2,4,6
/proc/30379/task/30392/stat : 30392 (java) S 30376 30379 25837 0 -1 1077944384 8030 0 0 0 69 1 0 0 20 0 17 0 39834665 11189649408 880711 33554432000 4194304 4196468 140736721599792 140631850576624 140632364808834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30393] ppid=30376 vsize=10927392 memory=3522492 CPUtime=0 cores=0,2,4,6
/proc/30379/task/30393/stat : 30393 (java) S 30376 30379 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39834665 11189649408 880711 33554432000 4194304 4196468 140736721599792 140631849524320 140632364807893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
[pid=30379/tid=30394] ppid=30376 vsize=10927392 memory=3522492 CPUtime=1.5 cores=0,2,4,6
/proc/30379/task/30394/stat : 30394 (java) S 30376 30379 25837 0 -1 1077944384 1937 0 0 0 70 80 0 0 20 0 17 0 39834665 11189649408 880711 33554432000 4194304 4196468 140736721599792 140631848470832 140632364808834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140736721605745 140736721605897 140736721605897 140736721608655 0
Current children cumulated CPU time: 2400.14 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 3522844 KiB
Child status: 143
Real time (s): 2384.94
CPU time (s): 2400.19
CPU user time (s): 2396.57
CPU system time (s): 3.61357
CPU usage (%): 100.64
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 3522844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.57
system time used= 3.61357
maximum resident set size= 3523260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174416
page faults= 0
swaps= 0
block input operations= 832
block output operations= 1664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55808
involuntary context switches= 4402
# summary of solver processes directly reported to runsolver:
# pid: 30379
# total CPU time (s): 2400.19
# total CPU user time (s): 2396.57
# total CPU system time (s): 3.61357
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8765 second user time and 23.0948 second system time
The end