2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Sat4j-CSP 2018-07-11	SAT (TO)	792	252.212	241.241
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 (14386 MiB free)
  memory of node 1: 16384 MiB (12373 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301496-1532881191/watcher-4301496-1532881191 -o /tmp/evaluation-result-4301496-1532881191/solver-4301496-1532881191 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532877021-22035 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301496-1532881191.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=25745, runsolver pid=25742

[startup+0.100061 s]*
/proc/loadavg: 3.48 2.47 2.38 3/216 25760
/proc/meminfo: memFree=27385856/32770624 swapFree=67108860/67108860
[pid=25745] ppid=25742 vsize=10659012 memory=30700 CPUtime=0.12 cores=0,2,4,6
/proc/25745/stat : 25745 (java) S 25742 25745 22004 0 -1 1077944320 6738 0 0 0 10 2 0 0 20 0 15 0 105682263 10914828288 7675 33554432000 4194304 4196468 140732762628368 140732762610912 140202834812663 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
/proc/25745/statm: 2664753 7675 2845 1 0 2627263 0
[pid=25745/tid=25747] ppid=25742 vsize=10659012 memory=-8773748148830115196 CPUtime=0.09 cores=0,2,4,6
/proc/25745/task/25747/stat : 25747 (java) R 25742 25745 22004 0 -1 4202560 4578 0 0 0 8 1 0 0 20 0 15 0 105682263 10914828288 7675 33554432000 4194304 4196468 140732762628368 140202839017328 140202834834589 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25748] ppid=25742 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25748/stat : 25748 (java) S 25742 25745 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105682264 10914828288 7675 33554432000 4194304 4196468 140732762628368 140202771504144 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25749] ppid=25742 vsize=10659012 memory=140091290576512 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25749/stat : 25749 (java) S 25742 25745 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105682264 10914828288 7675 33554432000 4194304 4196468 140732762628368 140202770451600 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25750] ppid=25742 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25750/stat : 25750 (java) S 25742 25745 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105682264 10914828288 7675 33554432000 4194304 4196468 140732762628368 140202769398544 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25751] ppid=25742 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25751/stat : 25751 (java) S 25742 25745 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105682264 10914828288 7675 33554432000 4194304 4196468 140732762628368 140202768346000 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25752] ppid=25742 vsize=10659012 memory=140091290576512 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25752/stat : 25752 (java) S 25742 25745 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105682266 10914828288 7675 33554432000 4194304 4196468 140732762628368 140202327427312 140202834823810 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25753] ppid=25742 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25753/stat : 25753 (java) S 25742 25745 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105682266 10914828288 7675 33554432000 4194304 4196468 140732762628368 140202326373536 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25754] ppid=25742 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25754/stat : 25754 (java) S 25742 25745 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105682266 10914828288 7675 33554432000 4194304 4196468 140732762628368 140202325320432 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25755] ppid=25742 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25755/stat : 25755 (java) S 25742 25745 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105682269 10914828288 7675 33554432000 4194304 4196468 140732762628368 140202324269008 140202834831259 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25756] ppid=25742 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25756/stat : 25756 (java) S 25742 25745 22004 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 105682269 10914828288 7675 33554432000 4194304 4196468 140732762628368 140202323217136 140202834823810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25757] ppid=25742 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25757/stat : 25757 (java) S 25742 25745 22004 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 15 0 105682269 10914828288 7675 33554432000 4194304 4196468 140732762628368 140202322164592 140202834823810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25758] ppid=25742 vsize=10659012 memory=140091290576512 CPUtime=0.01 cores=0,2,4,6
/proc/25745/task/25758/stat : 25758 (java) R 25742 25745 22004 0 -1 4202560 339 0 0 0 1 0 0 0 20 0 15 0 105682269 10914828288 7675 33554432000 4194304 4196468 140732762628368 140202321111536 140202834824598 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25759] ppid=25742 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25759/stat : 25759 (java) S 25742 25745 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105682269 10914828288 7675 33554432000 4194304 4196468 140732762628368 140202320059232 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25760] ppid=25742 vsize=10659012 memory=140091290576512 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25760/stat : 25760 (java) S 25742 25745 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105682269 10914828288 7675 33554432000 4194304 4196468 140732762628368 140202319006256 140202834823810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30700 KiB

[startup+0.21067 s]*
/proc/loadavg: 3.48 2.47 2.38 3/216 25760
/proc/meminfo: memFree=27375064/32770624 swapFree=67108860/67108860
[pid=25745] ppid=25742 vsize=10659012 memory=41904 CPUtime=0.33 cores=0,2,4,6
/proc/25745/stat : 25745 (java) S 25742 25745 22004 0 -1 1077944320 8088 0 0 0 30 3 0 0 20 0 15 0 105682263 10914828288 10476 33554432000 4194304 4196468 140732762628368 140732762610912 140202834812663 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
/proc/25745/statm: 2664753 10476 3007 1 0 2627263 0
[pid=25745/tid=25747] ppid=25742 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/25745/task/25747/stat : 25747 (java) R 25742 25745 22004 0 -1 4202560 5037 0 0 0 18 2 0 0 20 0 15 0 105682263 10914828288 10476 33554432000 4194304 4196468 140732762628368 140202839048944 140202818856293 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25748] ppid=25742 vsize=10659012 memory=364 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25748/stat : 25748 (java) S 25742 25745 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105682264 10914828288 10476 33554432000 4194304 4196468 140732762628368 140202771504144 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25749] ppid=25742 vsize=10659012 memory=288370467442288256 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25749/stat : 25749 (java) S 25742 25745 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105682264 10914828288 10476 33554432000 4194304 4196468 140732762628368 140202770451600 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25750] ppid=25742 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25750/stat : 25750 (java) S 25742 25745 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105682264 10914828288 10476 33554432000 4194304 4196468 140732762628368 140202769398544 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25751] ppid=25742 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25751/stat : 25751 (java) S 25742 25745 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105682264 10914828288 10476 33554432000 4194304 4196468 140732762628368 140202768346000 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25752] ppid=25742 vsize=10659012 memory=140091290576512 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25752/stat : 25752 (java) S 25742 25745 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105682266 10914828288 10476 33554432000 4194304 4196468 140732762628368 140202327427312 140202834823810 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25753] ppid=25742 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25753/stat : 25753 (java) S 25742 25745 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105682266 10914828288 10476 33554432000 4194304 4196468 140732762628368 140202326373536 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25754] ppid=25742 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25754/stat : 25754 (java) S 25742 25745 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105682266 10914828288 10476 33554432000 4194304 4196468 140732762628368 140202325320432 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25755] ppid=25742 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25755/stat : 25755 (java) S 25742 25745 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105682269 10914828288 10476 33554432000 4194304 4196468 140732762628368 140202324269008 140202834831259 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25756] ppid=25742 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25745/task/25756/stat : 25756 (java) S 25742 25745 22004 0 -1 1077944384 618 0 0 0 2 0 0 0 20 0 15 0 105682269 10914828288 10476 33554432000 4194304 4196468 140732762628368 140202323217136 140202834823810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25757] ppid=25742 vsize=10659012 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/25745/task/25757/stat : 25757 (java) S 25742 25745 22004 0 -1 1077944384 391 0 0 0 1 0 0 0 20 0 15 0 105682269 10914828288 10476 33554432000 4194304 4196468 140732762628368 140202322164592 140202834823810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25758] ppid=25742 vsize=10659012 memory=140091290576512 CPUtime=0.07 cores=0,2,4,6
/proc/25745/task/25758/stat : 25758 (java) R 25742 25745 22004 0 -1 4202560 674 0 0 0 7 0 0 0 20 0 15 0 105682269 10914828288 10476 33554432000 4194304 4196468 140732762628368 140202321111536 140202818893150 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25759] ppid=25742 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25759/stat : 25759 (java) S 25742 25745 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105682269 10914828288 10476 33554432000 4194304 4196468 140732762628368 140202320059232 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25760] ppid=25742 vsize=10659012 memory=140091290576512 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25760/stat : 25760 (java) S 25742 25745 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105682269 10914828288 10476 33554432000 4194304 4196468 140732762628368 140202319006256 140202834823810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41904 KiB

[startup+0.310731 s]*
/proc/loadavg: 3.48 2.47 2.38 4/216 25760
/proc/meminfo: memFree=27364208/32770624 swapFree=67108860/67108860
[pid=25745] ppid=25742 vsize=10659088 memory=52228 CPUtime=0.59 cores=0,2,4,6
/proc/25745/stat : 25745 (java) S 25742 25745 22004 0 -1 1077944320 9674 0 0 0 56 3 0 0 20 0 15 0 105682263 10914906112 13057 33554432000 4194304 4196468 140732762628368 140732762610912 140202834812663 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
/proc/25745/statm: 2664772 13057 3067 1 0 2627263 0
[pid=25745/tid=25747] ppid=25742 vsize=10659088 memory=8390339637985935414 CPUtime=0.3 cores=0,2,4,6
/proc/25745/task/25747/stat : 25747 (java) R 25742 25745 22004 0 -1 4202560 5601 0 0 0 28 2 0 0 20 0 15 0 105682263 10914906112 13057 33554432000 4194304 4196468 140732762628368 140202839047856 140202818856293 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25748] ppid=25742 vsize=10659088 memory=288230596134830103 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25748/stat : 25748 (java) S 25742 25745 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105682264 10914906112 13057 33554432000 4194304 4196468 140732762628368 140202771504144 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25749] ppid=25742 vsize=10659088 memory=288370467442288256 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25749/stat : 25749 (java) S 25742 25745 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105682264 10914906112 13057 33554432000 4194304 4196468 140732762628368 140202770451600 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25750] ppid=25742 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25750/stat : 25750 (java) S 25742 25745 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105682264 10914906112 13057 33554432000 4194304 4196468 140732762628368 140202769398544 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25751] ppid=25742 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25751/stat : 25751 (java) S 25742 25745 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105682264 10914906112 13057 33554432000 4194304 4196468 140732762628368 140202768346000 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25752] ppid=25742 vsize=10659088 memory=140091290576512 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25752/stat : 25752 (java) S 25742 25745 22004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105682266 10914906112 13057 33554432000 4194304 4196468 140732762628368 140202327427312 140202834823810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25753] ppid=25742 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25753/stat : 25753 (java) S 25742 25745 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105682266 10914906112 13057 33554432000 4194304 4196468 140732762628368 140202326373536 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25754] ppid=25742 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25754/stat : 25754 (java) S 25742 25745 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105682266 10914906112 13057 33554432000 4194304 4196468 140732762628368 140202325320432 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25755] ppid=25742 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25755/stat : 25755 (java) S 25742 25745 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105682269 10914906112 13057 33554432000 4194304 4196468 140732762628368 140202324269008 140202834831259 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25756] ppid=25742 vsize=10659088 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25745/task/25756/stat : 25756 (java) R 25742 25745 22004 0 -1 4202560 1161 0 0 0 8 0 0 0 20 0 15 0 105682269 10914906112 13057 33554432000 4194304 4196468 140732762628368 140202323209768 140202815514327 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25757] ppid=25742 vsize=10659088 memory=-1 CPUtime=0.06 cores=0,2,4,6
/proc/25745/task/25757/stat : 25757 (java) R 25742 25745 22004 0 -1 4202560 644 0 0 0 6 0 0 0 20 0 15 0 105682269 10914906112 13057 33554432000 4194304 4196468 140732762628368 140202322164592 140202820836125 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25758] ppid=25742 vsize=10659088 memory=140091290576512 CPUtime=0.12 cores=0,2,4,6
/proc/25745/task/25758/stat : 25758 (java) R 25742 25745 22004 0 -1 1077944384 896 0 0 0 12 0 0 0 20 0 15 0 105682269 10914906112 13057 33554432000 4194304 4196468 140732762628368 140202321111536 140202834823810 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25759] ppid=25742 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25759/stat : 25759 (java) S 25742 25745 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105682269 10914906112 13057 33554432000 4194304 4196468 140732762628368 140202320059232 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25760] ppid=25742 vsize=10659088 memory=140091290576512 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25760/stat : 25760 (java) S 25742 25745 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105682269 10914906112 13057 33554432000 4194304 4196468 140732762628368 140202319006256 140202834823810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 52228 KiB

[startup+0.700674 s]
/proc/loadavg: 3.48 2.47 2.38 5/216 25760
/proc/meminfo: memFree=27336044/32770624 swapFree=67108860/67108860
[pid=25745] ppid=25742 vsize=10659088 memory=153700 CPUtime=1.93 cores=0,2,4,6
/proc/25745/stat : 25745 (java) S 25742 25745 22004 0 -1 1077944320 13212 0 0 0 187 6 0 0 20 0 15 0 105682263 10914906112 38425 33554432000 4194304 4196468 140732762628368 140732762610912 140202834812663 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
/proc/25745/statm: 2664772 38425 3108 1 0 2627263 0
[pid=25745/tid=25747] ppid=25742 vsize=10659088 memory=1840 CPUtime=0.67 cores=0,2,4,6
/proc/25745/task/25747/stat : 25747 (java) R 25742 25745 22004 0 -1 4202560 6091 0 0 0 63 4 0 0 20 0 15 0 105682263 10914906112 38425 33554432000 4194304 4196468 140732762628368 140202839049360 140202447294430 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25748] ppid=25742 vsize=10659088 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25748/stat : 25748 (java) S 25742 25745 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105682264 10914906112 38425 33554432000 4194304 4196468 140732762628368 140202771504144 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25749] ppid=25742 vsize=10659088 memory=12060 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25749/stat : 25749 (java) S 25742 25745 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105682264 10914906112 38425 33554432000 4194304 4196468 140732762628368 140202770451600 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25750] ppid=25742 vsize=10659088 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25750/stat : 25750 (java) S 25742 25745 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105682264 10914906112 38425 33554432000 4194304 4196468 140732762628368 140202769398544 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25751] ppid=25742 vsize=10659088 memory=792 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25751/stat : 25751 (java) S 25742 25745 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105682264 10914906112 38425 33554432000 4194304 4196468 140732762628368 140202768346000 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25752] ppid=25742 vsize=10659088 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25752/stat : 25752 (java) S 25742 25745 22004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105682266 10914906112 38425 33554432000 4194304 4196468 140732762628368 140202327427312 140202834823810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25753] ppid=25742 vsize=10659088 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25753/stat : 25753 (java) S 25742 25745 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105682266 10914906112 38425 33554432000 4194304 4196468 140732762628368 140202326373536 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25754] ppid=25742 vsize=10659088 memory=7302135314614015845 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25754/stat : 25754 (java) S 25742 25745 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105682266 10914906112 38425 33554432000 4194304 4196468 140732762628368 140202325320432 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25755] ppid=25742 vsize=10659088 memory=7450453974481135974 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25755/stat : 25755 (java) S 25742 25745 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105682269 10914906112 38425 33554432000 4194304 4196468 140732762628368 140202324269008 140202834831259 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25756] ppid=25742 vsize=10659088 memory=7236547281622689387 CPUtime=0.43 cores=0,2,4,6
/proc/25745/task/25756/stat : 25756 (java) R 25742 25745 22004 0 -1 4202560 2111 0 0 0 43 0 0 0 20 0 15 0 105682269 10914906112 38425 33554432000 4194304 4196468 140732762628368 140202323202288 140202827102117 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25757] ppid=25742 vsize=10659088 memory=-8412654363917126771 CPUtime=0.42 cores=0,2,4,6
/proc/25745/task/25757/stat : 25757 (java) R 25742 25745 22004 0 -1 4202560 1728 0 0 0 42 0 0 0 20 0 15 0 105682269 10914906112 38425 33554432000 4194304 4196468 140732762628368 140202322164720 140202812360483 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25758] ppid=25742 vsize=10659088 memory=0 CPUtime=0.37 cores=0,2,4,6
/proc/25745/task/25758/stat : 25758 (java) S 25742 25745 22004 0 -1 1077944384 1910 0 0 0 37 0 0 0 20 0 15 0 105682269 10914906112 38425 33554432000 4194304 4196468 140732762628368 140202321111536 140202834823810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25759] ppid=25742 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25759/stat : 25759 (java) S 25742 25745 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105682269 10914906112 38425 33554432000 4194304 4196468 140732762628368 140202320059232 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25760] ppid=25742 vsize=10659088 memory=31524 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25760/stat : 25760 (java) S 25742 25745 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105682269 10914906112 38425 33554432000 4194304 4196468 140732762628368 140202319006256 140202834823810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
Current children cumulated CPU time: 1.93 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 153700 KiB

[startup+1.50411 s]
/proc/loadavg: 3.48 2.47 2.38 5/216 25760
/proc/meminfo: memFree=27200264/32770624 swapFree=67108860/67108860
[pid=25745] ppid=25742 vsize=10661136 memory=350564 CPUtime=4.55 cores=0,2,4,6
/proc/25745/stat : 25745 (java) S 25742 25745 22004 0 -1 1077944320 17604 0 0 0 439 16 0 0 20 0 15 0 105682263 10917003264 87641 33554432000 4194304 4196468 140732762628368 140732762610912 140202834812663 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
/proc/25745/statm: 2665284 87641 3141 1 0 2627775 0
[pid=25745/tid=25747] ppid=25742 vsize=10661136 memory=6791534058613427641 CPUtime=1.35 cores=0,2,4,6
/proc/25745/task/25747/stat : 25747 (java) R 25742 25745 22004 0 -1 4202560 6139 0 0 0 130 5 0 0 20 0 15 0 105682263 10917003264 87641 33554432000 4194304 4196468 140732762628368 140202839046968 140202451343459 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25748] ppid=25742 vsize=10661136 memory=-7737605734073681312 CPUtime=0.08 cores=0,2,4,6
/proc/25745/task/25748/stat : 25748 (java) S 25742 25745 22004 0 -1 1077944384 111 0 0 0 7 1 0 0 20 0 15 0 105682264 10917003264 87641 33554432000 4194304 4196468 140732762628368 140202771504144 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25749] ppid=25742 vsize=10661136 memory=-8412652143485227891 CPUtime=0.1 cores=0,2,4,6
/proc/25745/task/25749/stat : 25749 (java) S 25742 25745 22004 0 -1 1077944384 122 0 0 0 8 2 0 0 20 0 15 0 105682264 10917003264 87641 33554432000 4194304 4196468 140732762628368 140202770451600 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25750] ppid=25742 vsize=10661136 memory=-6160033262581301393 CPUtime=0.09 cores=0,2,4,6
/proc/25745/task/25750/stat : 25750 (java) S 25742 25745 22004 0 -1 1077944384 112 0 0 0 8 1 0 0 20 0 15 0 105682264 10917003264 87641 33554432000 4194304 4196468 140732762628368 140202769398544 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25751] ppid=25742 vsize=10661136 memory=-8171376296011865461 CPUtime=0.07 cores=0,2,4,6
/proc/25745/task/25751/stat : 25751 (java) S 25742 25745 22004 0 -1 1077944384 110 0 0 0 6 1 0 0 20 0 15 0 105682264 10917003264 87641 33554432000 4194304 4196468 140732762628368 140202768346000 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25752] ppid=25742 vsize=10661136 memory=7016952788452204857 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25752/stat : 25752 (java) S 25742 25745 22004 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 105682266 10917003264 87641 33554432000 4194304 4196468 140732762628368 140202327427312 140202834823810 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0

################
# More data... #
################

/proc/25745/task/25750/stat : 25750 (java) S 25742 25745 22004 0 -1 1077944384 1013 0 0 0 176 13 0 0 20 0 16 0 105682264 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202769398544 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25751] ppid=25742 vsize=10727700 memory=953812 CPUtime=1.88 cores=0,2,4,6
/proc/25745/task/25751/stat : 25751 (java) S 25742 25745 22004 0 -1 1077944384 803 0 0 0 174 14 0 0 20 0 16 0 105682264 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202768346000 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25752] ppid=25742 vsize=10727700 memory=953812 CPUtime=0.86 cores=0,2,4,6
/proc/25745/task/25752/stat : 25752 (java) S 25742 25745 22004 0 -1 1077944384 5038 0 0 0 86 0 0 0 20 0 16 0 105682266 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202327427312 140202834823810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25753] ppid=25742 vsize=10727700 memory=953812 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25753/stat : 25753 (java) S 25742 25745 22004 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 105682266 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202326373600 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25754] ppid=25742 vsize=10727700 memory=953812 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25754/stat : 25754 (java) S 25742 25745 22004 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 105682266 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202325320448 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25755] ppid=25742 vsize=10727700 memory=953812 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25755/stat : 25755 (java) S 25742 25745 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105682269 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202324269008 140202834831259 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25756] ppid=25742 vsize=10727700 memory=953812 CPUtime=2.4 cores=0,2,4,6
/proc/25745/task/25756/stat : 25756 (java) S 25742 25745 22004 0 -1 1077944384 5369 0 0 0 239 1 0 0 20 0 16 0 105682269 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202323217136 140202834823810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25757] ppid=25742 vsize=10727700 memory=953812 CPUtime=2.27 cores=0,2,4,6
/proc/25745/task/25757/stat : 25757 (java) S 25742 25745 22004 0 -1 1077944384 5189 0 0 0 226 1 0 0 20 0 16 0 105682269 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202322164592 140202834823810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25758] ppid=25742 vsize=10727700 memory=953812 CPUtime=0.65 cores=0,2,4,6
/proc/25745/task/25758/stat : 25758 (java) S 25742 25745 22004 0 -1 1077944384 6786 0 0 0 63 2 0 0 20 0 16 0 105682269 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202321111536 140202834823810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25759] ppid=25742 vsize=10727700 memory=953812 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25759/stat : 25759 (java) S 25742 25745 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105682269 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202320059232 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25760] ppid=25742 vsize=10727700 memory=953812 CPUtime=0.08 cores=0,2,4,6
/proc/25745/task/25760/stat : 25760 (java) S 25742 25745 22004 0 -1 1077944384 390 0 0 0 3 5 0 0 20 0 16 0 105682269 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202319006256 140202834823810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25761] ppid=25742 vsize=10727700 memory=953812 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25761/stat : 25761 (java) S 25742 25745 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105682591 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202315854896 140202834823810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
Current children cumulated CPU time: 173.32 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 953812 KiB

[startup+222.301 s]
/proc/loadavg: 2.21 2.29 2.32 3/218 25851
/proc/meminfo: memFree=25282660/32770624 swapFree=67108860/67108860
[pid=25745] ppid=25742 vsize=10727700 memory=953812 CPUtime=233.34 cores=0,2,4,6
/proc/25745/stat : 25745 (java) S 25742 25745 22004 0 -1 1077944320 42270 0 0 0 23259 75 0 0 20 0 16 0 105682263 10985164800 238453 33554432000 4194304 4196468 140732762628368 140732762610912 140202834812663 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
/proc/25745/statm: 2681925 238453 3187 1 0 2644416 0
[pid=25745/tid=25747] ppid=25742 vsize=10727700 memory=953812 CPUtime=219.46 cores=0,2,4,6
/proc/25745/task/25747/stat : 25747 (java) R 25742 25745 22004 0 -1 4202560 13314 0 0 0 21937 9 0 0 20 0 16 0 105682263 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202839048480 140202446497568 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25748] ppid=25742 vsize=10727700 memory=953812 CPUtime=1.86 cores=0,2,4,6
/proc/25745/task/25748/stat : 25748 (java) S 25742 25745 22004 0 -1 1077944384 1294 0 0 0 172 14 0 0 20 0 16 0 105682264 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202771504144 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25749] ppid=25742 vsize=10727700 memory=953812 CPUtime=1.88 cores=0,2,4,6
/proc/25745/task/25749/stat : 25749 (java) S 25742 25745 22004 0 -1 1077944384 1425 0 0 0 175 13 0 0 20 0 16 0 105682264 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202770451600 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25750] ppid=25742 vsize=10727700 memory=2424 CPUtime=1.89 cores=0,2,4,6
/proc/25745/task/25750/stat : 25750 (java) S 25742 25745 22004 0 -1 1077944384 1013 0 0 0 176 13 0 0 20 0 16 0 105682264 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202769398544 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25751] ppid=25742 vsize=10727700 memory=953812 CPUtime=1.88 cores=0,2,4,6
/proc/25745/task/25751/stat : 25751 (java) S 25742 25745 22004 0 -1 1077944384 803 0 0 0 174 14 0 0 20 0 16 0 105682264 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202768346000 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25752] ppid=25742 vsize=10727700 memory=953812 CPUtime=0.86 cores=0,2,4,6
/proc/25745/task/25752/stat : 25752 (java) S 25742 25745 22004 0 -1 1077944384 5063 0 0 0 86 0 0 0 20 0 16 0 105682266 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202327427312 140202834823810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25753] ppid=25742 vsize=10727700 memory=953812 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25753/stat : 25753 (java) S 25742 25745 22004 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 105682266 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202326373600 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25754] ppid=25742 vsize=10727700 memory=953812 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25754/stat : 25754 (java) S 25742 25745 22004 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 105682266 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202325320448 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25755] ppid=25742 vsize=10727700 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25755/stat : 25755 (java) S 25742 25745 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105682269 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202324269008 140202834831259 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25756] ppid=25742 vsize=10727700 memory=792 CPUtime=2.4 cores=0,2,4,6
/proc/25745/task/25756/stat : 25756 (java) S 25742 25745 22004 0 -1 1077944384 5526 0 0 0 239 1 0 0 20 0 16 0 105682269 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202323217136 140202834823810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25757] ppid=25742 vsize=10727700 memory=953812 CPUtime=2.27 cores=0,2,4,6
/proc/25745/task/25757/stat : 25757 (java) S 25742 25745 22004 0 -1 1077944384 5196 0 0 0 226 1 0 0 20 0 16 0 105682269 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202322164592 140202834823810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25758] ppid=25742 vsize=10727700 memory=4028 CPUtime=0.65 cores=0,2,4,6
/proc/25745/task/25758/stat : 25758 (java) S 25742 25745 22004 0 -1 1077944384 6789 0 0 0 63 2 0 0 20 0 16 0 105682269 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202321111536 140202834823810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25759] ppid=25742 vsize=10727700 memory=953812 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25759/stat : 25759 (java) S 25742 25745 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105682269 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202320059232 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25760] ppid=25742 vsize=10727700 memory=1624 CPUtime=0.11 cores=0,2,4,6
/proc/25745/task/25760/stat : 25760 (java) S 25742 25745 22004 0 -1 1077944384 438 0 0 0 4 7 0 0 20 0 16 0 105682269 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202319006256 140202834823810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25761] ppid=25742 vsize=10727700 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25761/stat : 25761 (java) S 25742 25745 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105682591 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202315854896 140202834823810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
Current children cumulated CPU time: 233.34 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 953812 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+241.001 s]*
/proc/loadavg: 2.15 2.27 2.31 3/218 25852
/proc/meminfo: memFree=25262988/32770624 swapFree=67108860/67108860
[pid=25745] ppid=25742 vsize=10727700 memory=953812 CPUtime=252.06 cores=0,2,4,6
/proc/25745/stat : 25745 (java) S 25742 25745 22004 0 -1 1077944320 42373 0 0 0 25130 76 0 0 20 0 16 0 105682263 10985164800 238453 33554432000 4194304 4196468 140732762628368 140732762610912 140202834812663 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
/proc/25745/statm: 2681925 238453 3187 1 0 2644416 0
[pid=25745/tid=25747] ppid=25742 vsize=10727700 memory=6791534058613427641 CPUtime=238.17 cores=0,2,4,6
/proc/25745/task/25747/stat : 25747 (java) R 25742 25745 22004 0 -1 4202560 13417 0 0 0 23808 9 0 0 20 0 16 0 105682263 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202839048480 140202452948182 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25748] ppid=25742 vsize=10727700 memory=6791534058613427641 CPUtime=1.86 cores=0,2,4,6
/proc/25745/task/25748/stat : 25748 (java) S 25742 25745 22004 0 -1 1077944384 1294 0 0 0 172 14 0 0 20 0 16 0 105682264 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202771504144 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25749] ppid=25742 vsize=10727700 memory=6791534058613427641 CPUtime=1.88 cores=0,2,4,6
/proc/25745/task/25749/stat : 25749 (java) S 25742 25745 22004 0 -1 1077944384 1425 0 0 0 175 13 0 0 20 0 16 0 105682264 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202770451600 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25750] ppid=25742 vsize=10727700 memory=15252670952770856 CPUtime=1.89 cores=0,2,4,6
/proc/25745/task/25750/stat : 25750 (java) S 25742 25745 22004 0 -1 1077944384 1013 0 0 0 176 13 0 0 20 0 16 0 105682264 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202769398544 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25751] ppid=25742 vsize=10727700 memory=6153433744107005287 CPUtime=1.88 cores=0,2,4,6
/proc/25745/task/25751/stat : 25751 (java) S 25742 25745 22004 0 -1 1077944384 803 0 0 0 174 14 0 0 20 0 16 0 105682264 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202768346000 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25752] ppid=25742 vsize=10727700 memory=316772599420158241 CPUtime=0.86 cores=0,2,4,6
/proc/25745/task/25752/stat : 25752 (java) S 25742 25745 22004 0 -1 1077944384 5063 0 0 0 86 0 0 0 20 0 16 0 105682266 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202327427312 140202834823810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25753] ppid=25742 vsize=10727700 memory=15258134134392223 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25753/stat : 25753 (java) S 25742 25745 22004 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 105682266 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202326373600 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25754] ppid=25742 vsize=10727700 memory=316772599420158241 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25754/stat : 25754 (java) S 25742 25745 22004 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 105682266 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202325320448 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25755] ppid=25742 vsize=10727700 memory=15258134134392223 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25755/stat : 25755 (java) S 25742 25745 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105682269 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202324269008 140202834831259 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25756] ppid=25742 vsize=10727700 memory=6153433744107202151 CPUtime=2.4 cores=0,2,4,6
/proc/25745/task/25756/stat : 25756 (java) S 25742 25745 22004 0 -1 1077944384 5526 0 0 0 239 1 0 0 20 0 16 0 105682269 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202323217136 140202834823810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25757] ppid=25742 vsize=10727700 memory=8387223549236478041 CPUtime=2.27 cores=0,2,4,6
/proc/25745/task/25757/stat : 25757 (java) S 25742 25745 22004 0 -1 1077944384 5196 0 0 0 226 1 0 0 20 0 16 0 105682269 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202322164592 140202834823810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25758] ppid=25742 vsize=10727700 memory=35044 CPUtime=0.65 cores=0,2,4,6
/proc/25745/task/25758/stat : 25758 (java) S 25742 25745 22004 0 -1 1077944384 6789 0 0 0 63 2 0 0 20 0 16 0 105682269 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202321111536 140202834823810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25759] ppid=25742 vsize=10727700 memory=37252 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25759/stat : 25759 (java) S 25742 25745 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105682269 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202320059232 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25760] ppid=25742 vsize=10727700 memory=39460 CPUtime=0.12 cores=0,2,4,6
/proc/25745/task/25760/stat : 25760 (java) S 25742 25745 22004 0 -1 1077944384 438 0 0 0 4 8 0 0 20 0 16 0 105682269 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202319006256 140202834823810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25761] ppid=25742 vsize=10727700 memory=41668 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25761/stat : 25761 (java) S 25742 25745 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105682591 10985164800 238453 33554432000 4194304 4196468 140732762628368 140202315854896 140202834823810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 953812 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+241.241 s]
# the end of solver process 25745 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.433 s, system=0.779213 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+241.201 s]
/proc/loadavg: 2.15 2.27 2.31 3/218 25852
/proc/meminfo: memFree=25262988/32770624 swapFree=67108860/67108860
[pid=25745] ppid=25742 vsize=10927392 memory=954164 CPUtime=252.18 cores=0,2,4,6
/proc/25745/stat : 25745 (java) S 25742 25745 22004 0 -1 1077944320 43787 0 0 0 25142 76 0 0 20 0 17 0 105682263 11189649408 238541 33554432000 4194304 4196468 140732762628368 140732762610912 140202834812663 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
/proc/25745/statm: 2731848 238541 3189 1 0 2694339 0
[pid=25745/tid=25747] ppid=25742 vsize=10927392 memory=6791534058613427641 CPUtime=238.27 cores=0,2,4,6
/proc/25745/task/25747/stat : 25747 (java) S 25742 25745 22004 0 -1 1077944384 13669 0 0 0 23818 9 0 0 20 0 17 0 105682263 11189649408 238541 33554432000 4194304 4196468 140732762628368 140202839055536 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25748] ppid=25742 vsize=10927392 memory=288230583166042426 CPUtime=1.86 cores=0,2,4,6
/proc/25745/task/25748/stat : 25748 (java) S 25742 25745 22004 0 -1 1077944384 1294 0 0 0 172 14 0 0 20 0 17 0 105682264 11189649408 238541 33554432000 4194304 4196468 140732762628368 140202771504144 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25749] ppid=25742 vsize=10927392 memory=15252670952770856 CPUtime=1.88 cores=0,2,4,6
/proc/25745/task/25749/stat : 25749 (java) S 25742 25745 22004 0 -1 1077944384 1425 0 0 0 175 13 0 0 20 0 17 0 105682264 11189649408 238541 33554432000 4194304 4196468 140732762628368 140202770451600 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25750] ppid=25742 vsize=10927392 memory=2424 CPUtime=1.89 cores=0,2,4,6
/proc/25745/task/25750/stat : 25750 (java) S 25742 25745 22004 0 -1 1077944384 1013 0 0 0 176 13 0 0 20 0 17 0 105682264 11189649408 238541 33554432000 4194304 4196468 140732762628368 140202769398544 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25751] ppid=25742 vsize=10927392 memory=928 CPUtime=1.88 cores=0,2,4,6
/proc/25745/task/25751/stat : 25751 (java) S 25742 25745 22004 0 -1 1077944384 803 0 0 0 174 14 0 0 20 0 17 0 105682264 11189649408 238541 33554432000 4194304 4196468 140732762628368 140202768346000 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25752] ppid=25742 vsize=10927392 memory=1572 CPUtime=0.86 cores=0,2,4,6
/proc/25745/task/25752/stat : 25752 (java) S 25742 25745 22004 0 -1 1077944384 5063 0 0 0 86 0 0 0 20 0 17 0 105682266 11189649408 238541 33554432000 4194304 4196468 140732762628368 140202327427312 140202834823810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25753] ppid=25742 vsize=10927392 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25753/stat : 25753 (java) S 25742 25745 22004 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 17 0 105682266 11189649408 238541 33554432000 4194304 4196468 140732762628368 140202326373600 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25754] ppid=25742 vsize=10927392 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25754/stat : 25754 (java) S 25742 25745 22004 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 17 0 105682266 11189649408 238541 33554432000 4194304 4196468 140732762628368 140202325320448 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25755] ppid=25742 vsize=10927392 memory=2200 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25755/stat : 25755 (java) S 25742 25745 22004 0 -1 1077944384 233 0 0 0 0 0 0 0 20 0 17 0 105682269 11189649408 238541 33554432000 4194304 4196468 140732762628368 140202324269008 140202834831259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25756] ppid=25742 vsize=10927392 memory=8148 CPUtime=2.4 cores=0,2,4,6
/proc/25745/task/25756/stat : 25756 (java) S 25742 25745 22004 0 -1 1077944384 5534 0 0 0 239 1 0 0 20 0 17 0 105682269 11189649408 238541 33554432000 4194304 4196468 140732762628368 140202323217136 140202834823810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25757] ppid=25742 vsize=10927392 memory=844 CPUtime=2.28 cores=0,2,4,6
/proc/25745/task/25757/stat : 25757 (java) S 25742 25745 22004 0 -1 1077944384 5481 0 0 0 227 1 0 0 20 0 17 0 105682269 11189649408 238541 33554432000 4194304 4196468 140732762628368 140202322164592 140202834823810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25758] ppid=25742 vsize=10927392 memory=1796 CPUtime=0.66 cores=0,2,4,6
/proc/25745/task/25758/stat : 25758 (java) S 25742 25745 22004 0 -1 1077944384 7041 0 0 0 64 2 0 0 20 0 17 0 105682269 11189649408 238541 33554432000 4194304 4196468 140732762628368 140202321111536 140202834823810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25759] ppid=25742 vsize=10927392 memory=916 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25759/stat : 25759 (java) S 25742 25745 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105682269 11189649408 238541 33554432000 4194304 4196468 140732762628368 140202320059232 140202834822869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
[pid=25745/tid=25760] ppid=25742 vsize=10927392 memory=3848 CPUtime=0.12 cores=0,2,4,6
/proc/25745/task/25760/stat : 25760 (java) S 25742 25745 22004 0 -1 1077944384 438 0 0 0 4 8 0 0 20 0 17 0 105682269 11189649408 238541 33554432000 4194304 4196468 140732762628368 140202319006256 140202834823810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140732762637430 140732762637582 140732762637582 140732762640335 0
Current children cumulated CPU time: 252.18 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 954164 KiB

Child status: 143
Real time (s): 241.241
CPU time (s): 252.212
CPU user time (s): 251.433
CPU system time (s): 0.779213
CPU usage (%): 104.548
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 954164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.433
system time used= 0.779213
maximum resident set size= 954880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44795
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7635
involuntary context switches= 377


# summary of solver processes directly reported to runsolver:
#   pid: 25745
#   total CPU time (s): 252.212
#   total CPU user time (s): 251.433
#   total CPU system time (s): 0.779213

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.26951 second user time and 1.55299 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-graph-04-opt_c18.xml
MD5SUM	61d46f07ed59020314d5adfe9107f362
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	394
Best CPU time to get the best result obtained on this benchmark	3.82527
Satisfiable
(Un)Satisfiability was proved
Number of variables	400
Number of constraints	2244
Number of domains	6
Minimum domain size	22
Maximum domain size	44
Distribution of domain sizes	[{"size":22,"count":32},{"size":24,"count":14},{"size":36,"count":90},{"size":42,"count":152},{"size":44,"count":112}]
Minimum variable degree	5
Maximum variable degree	21
Distribution of variable degrees	[{"degree":5,"count":2},{"degree":6,"count":13},{"degree":7,"count":13},{"degree":8,"count":28},{"degree":9,"count":47},{"degree":10,"count":60},{"degree":11,"count":36},{"degree":12,"count":37},{"degree":13,"count":22},{"degree":14,"count":21},{"degree":15,"count":19},{"degree":16,"count":31},{"degree":17,"count":42},{"degree":18,"count":12},{"degree":19,"count":11},{"degree":20,"count":4},{"degree":21,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":2244}]
Number of extensional constraints	0
Number of intensional constraints	2244
Distribution of constraint types	[{"type":"intension","count":2244}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4301496

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
