2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Hybrid 2018-08-14	SAT (TO)	48	252.111	247.518
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 (13985 MiB free)
  memory of node 1: 16384 MiB (9121 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310541-1534329724/watcher-4310541-1534329724 -o /tmp/evaluation-result-4310541-1534329724/solver-4310541-1534329724 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534329232-16097 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 135931585 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310541-1534329724.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=16468, runsolver pid=16465

[startup+0.100095 s]*
/proc/loadavg: 1.85 1.89 1.65 3/219 16483
/proc/meminfo: memFree=23643868/32770624 swapFree=67108852/67108860
[pid=16468] ppid=16465 vsize=14082736 memory=32396 CPUtime=0.12 cores=0,2,4,6
/proc/16468/stat : 16468 (java) S 16465 16468 16066 0 -1 1077944320 7029 0 0 0 10 2 0 0 20 0 15 0 250535533 14420721664 8099 33554432000 4194304 4196468 140721430055392 140721430037936 140280320372471 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
/proc/16468/statm: 3520684 8099 3138 1 0 3482761 0
[pid=16468/tid=16470] ppid=16465 vsize=14082736 memory=-8629632960754125952 CPUtime=0.09 cores=0,2,4,6
/proc/16468/task/16470/stat : 16470 (java) R 16465 16468 16066 0 -1 4202560 5167 0 0 0 8 1 0 0 20 0 15 0 250535533 14420721664 8165 33554432000 4194304 4196468 140721430055392 140280324598160 140280300640821 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16471] ppid=16465 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16471/stat : 16471 (java) S 16465 16468 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250535534 14420721664 8165 33554432000 4194304 4196468 140721430055392 140280276925072 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16472] ppid=16465 vsize=14082736 memory=140257311549056 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16472/stat : 16472 (java) S 16465 16468 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250535534 14420721664 8165 33554432000 4194304 4196468 140721430055392 140279915407888 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16473] ppid=16465 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16473/stat : 16473 (java) S 16465 16468 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250535534 14420721664 8165 33554432000 4194304 4196468 140721430055392 140279914355088 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16474] ppid=16465 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16474/stat : 16474 (java) S 16465 16468 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250535534 14420721664 8165 33554432000 4194304 4196468 140721430055392 140279913302288 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16475] ppid=16465 vsize=14082736 memory=140257311549056 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16475/stat : 16475 (java) S 16465 16468 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250535536 14420721664 8165 33554432000 4194304 4196468 140721430055392 140279794318192 140280320383618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16476] ppid=16465 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16476/stat : 16476 (java) S 16465 16468 16066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250535536 14420721664 8165 33554432000 4194304 4196468 140721430055392 140279793264160 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16477] ppid=16465 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16477/stat : 16477 (java) S 16465 16468 16066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250535536 14420721664 8165 33554432000 4194304 4196468 140721430055392 140279792211312 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16478] ppid=16465 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16478/stat : 16478 (java) S 16465 16468 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250535539 14420721664 8165 33554432000 4194304 4196468 140721430055392 140279791159632 140280320391067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16479] ppid=16465 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16479/stat : 16479 (java) S 16465 16468 16066 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 250535539 14420721664 8165 33554432000 4194304 4196468 140721430055392 140279790106992 140280320383618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16480] ppid=16465 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16480/stat : 16480 (java) S 16465 16468 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250535539 14420721664 8165 33554432000 4194304 4196468 140721430055392 140279789054192 140280320383618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16481] ppid=16465 vsize=14082736 memory=140257311549056 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16481/stat : 16481 (java) S 16465 16468 16066 0 -1 1077944384 241 0 0 0 0 0 0 0 20 0 15 0 250535539 14420721664 8165 33554432000 4194304 4196468 140721430055392 140279788001392 140280320383618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16482] ppid=16465 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16482/stat : 16482 (java) S 16465 16468 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250535539 14420721664 8165 33554432000 4194304 4196468 140721430055392 140279786948832 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16483] ppid=16465 vsize=14082736 memory=140257311549056 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16483/stat : 16483 (java) S 16465 16468 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250535539 14420721664 8165 33554432000 4194304 4196468 140721430055392 140279785897136 140280320383618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32396 KiB

[startup+0.210285 s]*
/proc/loadavg: 1.85 1.89 1.65 5/219 16483
/proc/meminfo: memFree=23627372/32770624 swapFree=67108852/67108860
[pid=16468] ppid=16465 vsize=14082736 memory=46540 CPUtime=0.3 cores=0,2,4,6
/proc/16468/stat : 16468 (java) S 16465 16468 16066 0 -1 1077944320 10231 0 0 0 27 3 0 0 20 0 15 0 250535533 14420721664 11635 33554432000 4194304 4196468 140721430055392 140721430037936 140280320372471 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
/proc/16468/statm: 3520684 11635 3345 1 0 3482761 0
[pid=16468/tid=16470] ppid=16465 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/16468/task/16470/stat : 16470 (java) S 16465 16468 16066 0 -1 1077944384 8012 0 0 0 18 2 0 0 20 0 15 0 250535533 14420721664 11635 33554432000 4194304 4196468 140721430055392 140280324600992 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16471] ppid=16465 vsize=14082736 memory=345 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16471/stat : 16471 (java) S 16465 16468 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250535534 14420721664 11635 33554432000 4194304 4196468 140721430055392 140280276925072 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16472] ppid=16465 vsize=14082736 memory=140257312908242 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16472/stat : 16472 (java) S 16465 16468 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250535534 14420721664 11635 33554432000 4194304 4196468 140721430055392 140279915407888 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16473] ppid=16465 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16473/stat : 16473 (java) S 16465 16468 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250535534 14420721664 11635 33554432000 4194304 4196468 140721430055392 140279914355088 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16474] ppid=16465 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16474/stat : 16474 (java) S 16465 16468 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250535534 14420721664 11635 33554432000 4194304 4196468 140721430055392 140279913302288 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16475] ppid=16465 vsize=14082736 memory=140257311549056 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16475/stat : 16475 (java) S 16465 16468 16066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250535536 14420721664 11635 33554432000 4194304 4196468 140721430055392 140279794318192 140280320383618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16476] ppid=16465 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16476/stat : 16476 (java) S 16465 16468 16066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250535536 14420721664 11635 33554432000 4194304 4196468 140721430055392 140279793264160 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16477] ppid=16465 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16477/stat : 16477 (java) S 16465 16468 16066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250535536 14420721664 11635 33554432000 4194304 4196468 140721430055392 140279792211312 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16478] ppid=16465 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16478/stat : 16478 (java) S 16465 16468 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250535539 14420721664 11635 33554432000 4194304 4196468 140721430055392 140279791159632 140280320391067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16479] ppid=16465 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/16468/task/16479/stat : 16479 (java) R 16465 16468 16066 0 -1 1077944384 463 0 0 0 1 0 0 0 20 0 15 0 250535539 14420721664 11635 33554432000 4194304 4196468 140721430055392 140279790106992 140280320383618 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16480] ppid=16465 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/16468/task/16480/stat : 16480 (java) S 16465 16468 16066 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 15 0 250535539 14420721664 11635 33554432000 4194304 4196468 140721430055392 140279789054192 140280320383618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16481] ppid=16465 vsize=14082736 memory=140257311549056 CPUtime=0.05 cores=0,2,4,6
/proc/16468/task/16481/stat : 16481 (java) S 16465 16468 16066 0 -1 1077944384 317 0 0 0 5 0 0 0 20 0 15 0 250535539 14420721664 11635 33554432000 4194304 4196468 140721430055392 140279788001392 140280320383618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16482] ppid=16465 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16482/stat : 16482 (java) S 16465 16468 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250535539 14420721664 11635 33554432000 4194304 4196468 140721430055392 140279786948832 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16483] ppid=16465 vsize=14082736 memory=140257311549056 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16483/stat : 16483 (java) S 16465 16468 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250535539 14420721664 11635 33554432000 4194304 4196468 140721430055392 140279785897136 140280320383618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46540 KiB

[startup+0.31052 s]*
/proc/loadavg: 1.85 1.89 1.65 5/219 16483
/proc/meminfo: memFree=23623960/32770624 swapFree=67108852/67108860
[pid=16468] ppid=16465 vsize=14082736 memory=50268 CPUtime=0.43 cores=0,2,4,6
/proc/16468/stat : 16468 (java) S 16465 16468 16066 0 -1 1077944320 10698 0 0 0 40 3 0 0 20 0 15 0 250535533 14420721664 12567 33554432000 4194304 4196468 140721430055392 140721430037936 140280320372471 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
/proc/16468/statm: 3520684 12567 3386 1 0 3482761 0
[pid=16468/tid=16470] ppid=16465 vsize=14082736 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/16468/task/16470/stat : 16470 (java) R 16465 16468 16066 0 -1 4202560 8376 0 0 0 28 2 0 0 20 0 15 0 250535533 14420721664 12567 33554432000 4194304 4196468 140721430055392 140280324573320 140280303559280 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16471] ppid=16465 vsize=14082736 memory=304556157652172823 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16471/stat : 16471 (java) S 16465 16468 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250535534 14420721664 12567 33554432000 4194304 4196468 140721430055392 140280276925072 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16472] ppid=16465 vsize=14082736 memory=140257312907926 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16472/stat : 16472 (java) S 16465 16468 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250535534 14420721664 12567 33554432000 4194304 4196468 140721430055392 140279915407888 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16473] ppid=16465 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16473/stat : 16473 (java) S 16465 16468 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250535534 14420721664 12567 33554432000 4194304 4196468 140721430055392 140279914355088 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16474] ppid=16465 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16474/stat : 16474 (java) S 16465 16468 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250535534 14420721664 12567 33554432000 4194304 4196468 140721430055392 140279913302288 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16475] ppid=16465 vsize=14082736 memory=140257311549056 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16475/stat : 16475 (java) S 16465 16468 16066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250535536 14420721664 12567 33554432000 4194304 4196468 140721430055392 140279794318192 140280320383618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16476] ppid=16465 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16476/stat : 16476 (java) S 16465 16468 16066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250535536 14420721664 12567 33554432000 4194304 4196468 140721430055392 140279793264160 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16477] ppid=16465 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16477/stat : 16477 (java) S 16465 16468 16066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250535536 14420721664 12567 33554432000 4194304 4196468 140721430055392 140279792211312 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16478] ppid=16465 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16478/stat : 16478 (java) S 16465 16468 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250535539 14420721664 12567 33554432000 4194304 4196468 140721430055392 140279791159632 140280320391067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16479] ppid=16465 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/16468/task/16479/stat : 16479 (java) S 16465 16468 16066 0 -1 1077944384 482 0 0 0 2 0 0 0 20 0 15 0 250535539 14420721664 12567 33554432000 4194304 4196468 140721430055392 140279790106992 140280320383618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16480] ppid=16465 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/16468/task/16480/stat : 16480 (java) S 16465 16468 16066 0 -1 1077944384 126 0 0 0 2 0 0 0 20 0 15 0 250535539 14420721664 12567 33554432000 4194304 4196468 140721430055392 140279789054192 140280320383618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16481] ppid=16465 vsize=14082736 memory=140257311549056 CPUtime=0.07 cores=0,2,4,6
/proc/16468/task/16481/stat : 16481 (java) S 16465 16468 16066 0 -1 1077944384 333 0 0 0 7 0 0 0 20 0 15 0 250535539 14420721664 12567 33554432000 4194304 4196468 140721430055392 140279788001392 140280320383618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16482] ppid=16465 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16482/stat : 16482 (java) S 16465 16468 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250535539 14420721664 12567 33554432000 4194304 4196468 140721430055392 140279786948832 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16483] ppid=16465 vsize=14082736 memory=140257311549056 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16483/stat : 16483 (java) S 16465 16468 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250535539 14420721664 12567 33554432000 4194304 4196468 140721430055392 140279785897136 140280320383618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50268 KiB

[startup+0.700687 s]
/proc/loadavg: 1.85 1.89 1.65 3/219 16483
/proc/meminfo: memFree=23589824/32770624 swapFree=67108852/67108860
[pid=16468] ppid=16465 vsize=14084804 memory=86596 CPUtime=0.99 cores=0,2,4,6
/proc/16468/stat : 16468 (java) S 16465 16468 16066 0 -1 1077944320 17543 0 0 0 93 6 0 0 20 0 15 0 250535533 14422839296 21649 33554432000 4194304 4196468 140721430055392 140721430037936 140280320372471 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
/proc/16468/statm: 3521201 21649 3504 1 0 3483273 0
[pid=16468/tid=16470] ppid=16465 vsize=14084804 memory=3340 CPUtime=0.67 cores=0,2,4,6
/proc/16468/task/16470/stat : 16470 (java) R 16465 16468 16066 0 -1 4202560 14798 0 0 0 62 5 0 0 20 0 15 0 250535533 14422839296 21649 33554432000 4194304 4196468 140721430055392 140280324587408 140280320394397 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16471] ppid=16465 vsize=14084804 memory=1172 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16471/stat : 16471 (java) S 16465 16468 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250535534 14422839296 21649 33554432000 4194304 4196468 140721430055392 140280276925072 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16472] ppid=16465 vsize=14084804 memory=37796 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16472/stat : 16472 (java) S 16465 16468 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250535534 14422839296 21649 33554432000 4194304 4196468 140721430055392 140279915407888 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16473] ppid=16465 vsize=14084804 memory=1624 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16473/stat : 16473 (java) S 16465 16468 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250535534 14422839296 21649 33554432000 4194304 4196468 140721430055392 140279914355088 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16474] ppid=16465 vsize=14084804 memory=496 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16474/stat : 16474 (java) S 16465 16468 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250535534 14422839296 21649 33554432000 4194304 4196468 140721430055392 140279913302288 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16475] ppid=16465 vsize=14084804 memory=928 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16475/stat : 16475 (java) S 16465 16468 16066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250535536 14422839296 21649 33554432000 4194304 4196468 140721430055392 140279794318192 140280320383618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16476] ppid=16465 vsize=14084804 memory=2248 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16476/stat : 16476 (java) S 16465 16468 16066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250535536 14422839296 21649 33554432000 4194304 4196468 140721430055392 140279793264160 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16477] ppid=16465 vsize=14084804 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16477/stat : 16477 (java) S 16465 16468 16066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250535536 14422839296 21649 33554432000 4194304 4196468 140721430055392 140279792211312 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16478] ppid=16465 vsize=14084804 memory=7379241883359864663 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16478/stat : 16478 (java) S 16465 16468 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250535539 14422839296 21649 33554432000 4194304 4196468 140721430055392 140279791159632 140280320391067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16479] ppid=16465 vsize=14084804 memory=7237400421040875609 CPUtime=0.09 cores=0,2,4,6
/proc/16468/task/16479/stat : 16479 (java) S 16465 16468 16066 0 -1 1077944384 664 0 0 0 9 0 0 0 20 0 15 0 250535539 14422839296 21649 33554432000 4194304 4196468 140721430055392 140279790106992 140280320383618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16480] ppid=16465 vsize=14084804 memory=7523071198212214892 CPUtime=0.06 cores=0,2,4,6
/proc/16468/task/16480/stat : 16480 (java) S 16465 16468 16066 0 -1 1077944384 256 0 0 0 6 0 0 0 20 0 15 0 250535539 14422839296 21649 33554432000 4194304 4196468 140721430055392 140279789054192 140280320383618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16481] ppid=16465 vsize=14084804 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/16468/task/16481/stat : 16481 (java) S 16465 16468 16066 0 -1 1077944384 444 0 0 0 14 0 0 0 20 0 15 0 250535539 14422839296 21649 33554432000 4194304 4196468 140721430055392 140279788001392 140280320383618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16482] ppid=16465 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16482/stat : 16482 (java) S 16465 16468 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250535539 14422839296 21649 33554432000 4194304 4196468 140721430055392 140279786948832 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16483] ppid=16465 vsize=14084804 memory=6436 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16483/stat : 16483 (java) S 16465 16468 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250535539 14422839296 21649 33554432000 4194304 4196468 140721430055392 140279785897136 140280320383618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 86596 KiB

[startup+1.501 s]
/proc/loadavg: 2.02 1.93 1.66 6/219 16483
/proc/meminfo: memFree=23556996/32770624 swapFree=67108852/67108860
[pid=16468] ppid=16465 vsize=14086852 memory=221644 CPUtime=3.42 cores=0,2,4,6
/proc/16468/stat : 16468 (java) S 16465 16468 16066 0 -1 1077944320 25246 0 0 0 331 11 0 0 20 0 15 0 250535533 14424936448 55411 33554432000 4194304 4196468 140721430055392 140721430037936 140280320372471 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
/proc/16468/statm: 3521713 55411 3568 1 0 3483785 0
[pid=16468/tid=16470] ppid=16465 vsize=14086852 memory=164400 CPUtime=1.45 cores=0,2,4,6
/proc/16468/task/16470/stat : 16470 (java) R 16465 16468 16066 0 -1 4202560 17549 0 0 0 138 7 0 0 20 0 15 0 250535533 14424936448 55411 33554432000 4194304 4196468 140721430055392 140280324607648 140279961658247 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16471] ppid=16465 vsize=14086852 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16471/stat : 16471 (java) S 16465 16468 16066 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 250535534 14424936448 55411 33554432000 4194304 4196468 140721430055392 140280276925072 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16472] ppid=16465 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16472/stat : 16472 (java) S 16465 16468 16066 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 250535534 14424936448 55411 33554432000 4194304 4196468 140721430055392 140279915407888 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16473] ppid=16465 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16473/stat : 16473 (java) S 16465 16468 16066 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 250535534 14424936448 55411 33554432000 4194304 4196468 140721430055392 140279914355088 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16474] ppid=16465 vsize=14086852 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16474/stat : 16474 (java) S 16465 16468 16066 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 15 0 250535534 14424936448 55411 33554432000 4194304 4196468 140721430055392 140279913302288 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16475] ppid=16465 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16475/stat : 16475 (java) S 16465 16468 16066 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 15 0 250535536 14424936448 55411 33554432000 4194304 4196468 140721430055392 140279794318192 140280320383618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0

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

/proc/16468/task/16470/stat : 16470 (java) R 16465 16468 16066 0 -1 4202560 28583 0 0 0 16212 9 0 0 20 0 15 0 250535533 14431227904 67270 33554432000 4194304 4196468 140721430055392 140280324603328 140279966262940 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16471] ppid=16465 vsize=14092996 memory=269076 CPUtime=0.02 cores=0,2,4,6
/proc/16468/task/16471/stat : 16471 (java) S 16465 16468 16066 0 -1 1077944384 174 0 0 0 2 0 0 0 20 0 15 0 250535534 14431227904 67270 33554432000 4194304 4196468 140721430055392 140280276925072 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16472] ppid=16465 vsize=14092996 memory=269076 CPUtime=0.01 cores=0,2,4,6
/proc/16468/task/16472/stat : 16472 (java) S 16465 16468 16066 0 -1 1077944384 140 0 0 0 1 0 0 0 20 0 15 0 250535534 14431227904 67270 33554432000 4194304 4196468 140721430055392 140279915407888 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16473] ppid=16465 vsize=14092996 memory=269080 CPUtime=0.02 cores=0,2,4,6
/proc/16468/task/16473/stat : 16473 (java) S 16465 16468 16066 0 -1 1077944384 1368 0 0 0 2 0 0 0 20 0 15 0 250535534 14431227904 67270 33554432000 4194304 4196468 140721430055392 140279914355088 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16474] ppid=16465 vsize=14092996 memory=269080 CPUtime=0.02 cores=0,2,4,6
/proc/16468/task/16474/stat : 16474 (java) S 16465 16468 16066 0 -1 1077944384 660 0 0 0 2 0 0 0 20 0 15 0 250535534 14431227904 67270 33554432000 4194304 4196468 140721430055392 140279913302288 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16475] ppid=16465 vsize=14092996 memory=269080 CPUtime=0.01 cores=0,2,4,6
/proc/16468/task/16475/stat : 16475 (java) S 16465 16468 16066 0 -1 1077944384 657 0 0 0 1 0 0 0 20 0 15 0 250535536 14431227904 67270 33554432000 4194304 4196468 140721430055392 140279794318192 140280320383618 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16476] ppid=16465 vsize=14092996 memory=269080 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16476/stat : 16476 (java) S 16465 16468 16066 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 250535536 14431227904 67270 33554432000 4194304 4196468 140721430055392 140279793264224 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16477] ppid=16465 vsize=14092996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16477/stat : 16477 (java) S 16465 16468 16066 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 250535536 14431227904 67270 33554432000 4194304 4196468 140721430055392 140279792211328 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16478] ppid=16465 vsize=14092996 memory=211033956554811 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16478/stat : 16478 (java) S 16465 16468 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250535539 14431227904 67270 33554432000 4194304 4196468 140721430055392 140279791159632 140280320391067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16479] ppid=16465 vsize=14092996 memory=3708 CPUtime=1.63 cores=0,2,4,6
/proc/16468/task/16479/stat : 16479 (java) S 16465 16468 16066 0 -1 1077944384 11421 0 0 0 161 2 0 0 20 0 15 0 250535539 14431227904 67270 33554432000 4194304 4196468 140721430055392 140279790106992 140280320383618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16480] ppid=16465 vsize=14092996 memory=1912 CPUtime=1.6 cores=0,2,4,6
/proc/16468/task/16480/stat : 16480 (java) S 16465 16468 16066 0 -1 1077944384 11831 0 0 0 159 1 0 0 20 0 15 0 250535539 14431227904 67270 33554432000 4194304 4196468 140721430055392 140279789054192 140280320383618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16481] ppid=16465 vsize=14092996 memory=1120 CPUtime=0.95 cores=0,2,4,6
/proc/16468/task/16481/stat : 16481 (java) S 16465 16468 16066 0 -1 1077944384 14725 0 0 0 92 3 0 0 20 0 15 0 250535539 14431227904 67270 33554432000 4194304 4196468 140721430055392 140279788001392 140280320383618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16482] ppid=16465 vsize=14092996 memory=269080 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16482/stat : 16482 (java) S 16465 16468 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250535539 14431227904 67270 33554432000 4194304 4196468 140721430055392 140279786948832 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16483] ppid=16465 vsize=14092996 memory=68228 CPUtime=0.02 cores=0,2,4,6
/proc/16468/task/16483/stat : 16483 (java) S 16465 16468 16066 0 -1 1077944384 365 0 0 0 1 1 0 0 20 0 15 0 250535539 14431227904 67270 33554432000 4194304 4196468 140721430055392 140279785897136 140280320383618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
Current children cumulated CPU time: 166.58 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 269080 KiB

[startup+222.301 s]
/proc/loadavg: 2.08 2.05 1.77 3/220 16564
/proc/meminfo: memFree=23298276/32770624 swapFree=67108852/67108860
[pid=16468] ppid=16465 vsize=14092996 memory=269524 CPUtime=226.7 cores=0,2,4,6
/proc/16468/stat : 16468 (java) S 16465 16468 16066 0 -1 1077944320 74055 0 0 0 22648 22 0 0 20 0 15 0 250535533 14431227904 67381 33554432000 4194304 4196468 140721430055392 140721430037936 140280320372471 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
/proc/16468/statm: 3523249 67381 3585 1 0 3485321 0
[pid=16468/tid=16470] ppid=16465 vsize=14092996 memory=269448 CPUtime=222.21 cores=0,2,4,6
/proc/16468/task/16470/stat : 16470 (java) R 16465 16468 16066 0 -1 4202560 29363 0 0 0 22212 9 0 0 20 0 15 0 250535533 14431227904 67381 33554432000 4194304 4196468 140721430055392 140280324603456 140279966262443 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16471] ppid=16465 vsize=14092996 memory=269524 CPUtime=0.02 cores=0,2,4,6
/proc/16468/task/16471/stat : 16471 (java) S 16465 16468 16066 0 -1 1077944384 174 0 0 0 2 0 0 0 20 0 15 0 250535534 14431227904 67381 33554432000 4194304 4196468 140721430055392 140280276925072 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16472] ppid=16465 vsize=14092996 memory=269524 CPUtime=0.01 cores=0,2,4,6
/proc/16468/task/16472/stat : 16472 (java) S 16465 16468 16066 0 -1 1077944384 140 0 0 0 1 0 0 0 20 0 15 0 250535534 14431227904 67381 33554432000 4194304 4196468 140721430055392 140279915407888 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16473] ppid=16465 vsize=14092996 memory=269524 CPUtime=0.02 cores=0,2,4,6
/proc/16468/task/16473/stat : 16473 (java) S 16465 16468 16066 0 -1 1077944384 1368 0 0 0 2 0 0 0 20 0 15 0 250535534 14431227904 67381 33554432000 4194304 4196468 140721430055392 140279914355088 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16474] ppid=16465 vsize=14092996 memory=269524 CPUtime=0.02 cores=0,2,4,6
/proc/16468/task/16474/stat : 16474 (java) S 16465 16468 16066 0 -1 1077944384 660 0 0 0 2 0 0 0 20 0 15 0 250535534 14431227904 67381 33554432000 4194304 4196468 140721430055392 140279913302288 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16475] ppid=16465 vsize=14092996 memory=280514380951128 CPUtime=0.01 cores=0,2,4,6
/proc/16468/task/16475/stat : 16475 (java) S 16465 16468 16066 0 -1 1077944384 677 0 0 0 1 0 0 0 20 0 15 0 250535536 14431227904 67381 33554432000 4194304 4196468 140721430055392 140279794318192 140280320383618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16476] ppid=16465 vsize=14092996 memory=269524 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16476/stat : 16476 (java) S 16465 16468 16066 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 250535536 14431227904 67381 33554432000 4194304 4196468 140721430055392 140279793264224 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16477] ppid=16465 vsize=14092996 memory=269456 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16477/stat : 16477 (java) S 16465 16468 16066 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 250535536 14431227904 67381 33554432000 4194304 4196468 140721430055392 140279792211328 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16478] ppid=16465 vsize=14092996 memory=269456 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16478/stat : 16478 (java) S 16465 16468 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250535539 14431227904 67381 33554432000 4194304 4196468 140721430055392 140279791159632 140280320391067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16479] ppid=16465 vsize=14092996 memory=269524 CPUtime=1.68 cores=0,2,4,6
/proc/16468/task/16479/stat : 16479 (java) S 16465 16468 16066 0 -1 1077944384 12021 0 0 0 166 2 0 0 20 0 15 0 250535539 14431227904 67381 33554432000 4194304 4196468 140721430055392 140279790106992 140280320383618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16480] ppid=16465 vsize=14092996 memory=3708 CPUtime=1.62 cores=0,2,4,6
/proc/16468/task/16480/stat : 16480 (java) S 16465 16468 16066 0 -1 1077944384 11965 0 0 0 161 1 0 0 20 0 15 0 250535539 14431227904 67381 33554432000 4194304 4196468 140721430055392 140279789054192 140280320383618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16481] ppid=16465 vsize=14092996 memory=1100 CPUtime=0.98 cores=0,2,4,6
/proc/16468/task/16481/stat : 16481 (java) S 16465 16468 16066 0 -1 1077944384 15854 0 0 0 95 3 0 0 20 0 15 0 250535539 14431227904 67381 33554432000 4194304 4196468 140721430055392 140279788001392 140280320383618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16482] ppid=16465 vsize=14092996 memory=2056 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16482/stat : 16482 (java) S 16465 16468 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250535539 14431227904 67381 33554432000 4194304 4196468 140721430055392 140279786948832 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16483] ppid=16465 vsize=14092996 memory=269524 CPUtime=0.04 cores=0,2,4,6
/proc/16468/task/16483/stat : 16483 (java) S 16465 16468 16066 0 -1 1077944384 372 0 0 0 2 2 0 0 20 0 15 0 250535539 14431227904 67381 33554432000 4194304 4196468 140721430055392 140279785897136 140280320383618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
Current children cumulated CPU time: 226.7 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 269524 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+247.501 s]
/proc/loadavg: 2.05 2.05 1.78 3/220 16565
/proc/meminfo: memFree=23295740/32770624 swapFree=67108852/67108860
[pid=16468] ppid=16465 vsize=14092996 memory=269792 CPUtime=252.08 cores=0,2,4,6
/proc/16468/stat : 16468 (java) S 16465 16468 16066 0 -1 1077944320 78583 0 0 0 25185 23 0 0 20 0 15 0 250535533 14431227904 67448 33554432000 4194304 4196468 140721430055392 140721430037936 140280320372471 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
/proc/16468/statm: 3523249 67448 3591 1 0 3485321 0
[pid=16468/tid=16470] ppid=16465 vsize=14092996 memory=269784 CPUtime=247.4 cores=0,2,4,6
/proc/16468/task/16470/stat : 16470 (java) R 16465 16468 16066 0 -1 4202560 31288 0 0 0 24731 9 0 0 20 0 15 0 250535533 14431227904 67448 33554432000 4194304 4196468 140721430055392 140280324606040 140279966262995 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16471] ppid=16465 vsize=14092996 memory=269524 CPUtime=0.02 cores=0,2,4,6
/proc/16468/task/16471/stat : 16471 (java) S 16465 16468 16066 0 -1 1077944384 174 0 0 0 2 0 0 0 20 0 15 0 250535534 14431227904 67448 33554432000 4194304 4196468 140721430055392 140280276925072 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16472] ppid=16465 vsize=14092996 memory=269524 CPUtime=0.01 cores=0,2,4,6
/proc/16468/task/16472/stat : 16472 (java) S 16465 16468 16066 0 -1 1077944384 140 0 0 0 1 0 0 0 20 0 15 0 250535534 14431227904 67448 33554432000 4194304 4196468 140721430055392 140279915407888 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16473] ppid=16465 vsize=14092996 memory=269784 CPUtime=0.02 cores=0,2,4,6
/proc/16468/task/16473/stat : 16473 (java) S 16465 16468 16066 0 -1 1077944384 1368 0 0 0 2 0 0 0 20 0 15 0 250535534 14431227904 67448 33554432000 4194304 4196468 140721430055392 140279914355088 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16474] ppid=16465 vsize=14092996 memory=24987 CPUtime=0.02 cores=0,2,4,6
/proc/16468/task/16474/stat : 16474 (java) S 16465 16468 16066 0 -1 1077944384 660 0 0 0 2 0 0 0 20 0 15 0 250535534 14431227904 67448 33554432000 4194304 4196468 140721430055392 140279913302288 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16475] ppid=16465 vsize=14092996 memory=269792 CPUtime=0.01 cores=0,2,4,6
/proc/16468/task/16475/stat : 16475 (java) S 16465 16468 16066 0 -1 1077944384 696 0 0 0 1 0 0 0 20 0 15 0 250535536 14431227904 67448 33554432000 4194304 4196468 140721430055392 140279794318192 140280320383618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16476] ppid=16465 vsize=14092996 memory=269524 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16476/stat : 16476 (java) S 16465 16468 16066 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 250535536 14431227904 67448 33554432000 4194304 4196468 140721430055392 140279793264224 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16477] ppid=16465 vsize=14092996 memory=269792 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16477/stat : 16477 (java) S 16465 16468 16066 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 250535536 14431227904 67448 33554432000 4194304 4196468 140721430055392 140279792211328 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16478] ppid=16465 vsize=14092996 memory=24480 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16478/stat : 16478 (java) S 16465 16468 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250535539 14431227904 67448 33554432000 4194304 4196468 140721430055392 140279791159632 140280320391067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16479] ppid=16465 vsize=14092996 memory=269792 CPUtime=1.76 cores=0,2,4,6
/proc/16468/task/16479/stat : 16479 (java) S 16465 16468 16066 0 -1 1077944384 13040 0 0 0 174 2 0 0 20 0 15 0 250535539 14431227904 67448 33554432000 4194304 4196468 140721430055392 140279790106992 140280320383618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16480] ppid=16465 vsize=14092996 memory=269524 CPUtime=1.7 cores=0,2,4,6
/proc/16468/task/16480/stat : 16480 (java) S 16465 16468 16066 0 -1 1077944384 13197 0 0 0 169 1 0 0 20 0 15 0 250535539 14431227904 67448 33554432000 4194304 4196468 140721430055392 140279789054192 140280320383618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16481] ppid=16465 vsize=14092996 memory=269784 CPUtime=1 cores=0,2,4,6
/proc/16468/task/16481/stat : 16481 (java) S 16465 16468 16066 0 -1 1077944384 16183 0 0 0 97 3 0 0 20 0 15 0 250535539 14431227904 67448 33554432000 4194304 4196468 140721430055392 140279788001392 140280320383618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16482] ppid=16465 vsize=14092996 memory=6436 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16482/stat : 16482 (java) S 16465 16468 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250535539 14431227904 67448 33554432000 4194304 4196468 140721430055392 140279786948832 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16483] ppid=16465 vsize=14092996 memory=3708 CPUtime=0.04 cores=0,2,4,6
/proc/16468/task/16483/stat : 16483 (java) S 16465 16468 16066 0 -1 1077944384 376 0 0 0 2 2 0 0 20 0 15 0 250535539 14431227904 67448 33554432000 4194304 4196468 140721430055392 140279785897136 140280320383618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 269792 KiB

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

[startup+247.518 s]
# the end of solver process 16468 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.872 s, system=0.23911 s

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

[startup+247.501 s]
/proc/loadavg: 2.05 2.05 1.78 3/220 16565
/proc/meminfo: memFree=23295740/32770624 swapFree=67108852/67108860
[pid=16468] ppid=16465 vsize=14092996 memory=269792 CPUtime=252.08 cores=0,2,4,6
/proc/16468/stat : 16468 (java) S 16465 16468 16066 0 -1 1077944320 78583 0 0 0 25185 23 0 0 20 0 15 0 250535533 14431227904 67448 33554432000 4194304 4196468 140721430055392 140721430037936 140280320372471 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
/proc/16468/statm: 3523249 67448 3591 1 0 3485321 0
[pid=16468/tid=16470] ppid=16465 vsize=14092996 memory=269784 CPUtime=247.4 cores=0,2,4,6
/proc/16468/task/16470/stat : 16470 (java) R 16465 16468 16066 0 -1 4202560 31288 0 0 0 24731 9 0 0 20 0 15 0 250535533 14431227904 67448 33554432000 4194304 4196468 140721430055392 140280324606040 140279966262995 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16471] ppid=16465 vsize=14092996 memory=269524 CPUtime=0.02 cores=0,2,4,6
/proc/16468/task/16471/stat : 16471 (java) S 16465 16468 16066 0 -1 1077944384 174 0 0 0 2 0 0 0 20 0 15 0 250535534 14431227904 67448 33554432000 4194304 4196468 140721430055392 140280276925072 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16472] ppid=16465 vsize=14092996 memory=269524 CPUtime=0.01 cores=0,2,4,6
/proc/16468/task/16472/stat : 16472 (java) S 16465 16468 16066 0 -1 1077944384 140 0 0 0 1 0 0 0 20 0 15 0 250535534 14431227904 67448 33554432000 4194304 4196468 140721430055392 140279915407888 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16473] ppid=16465 vsize=14092996 memory=269784 CPUtime=0.02 cores=0,2,4,6
/proc/16468/task/16473/stat : 16473 (java) S 16465 16468 16066 0 -1 1077944384 1368 0 0 0 2 0 0 0 20 0 15 0 250535534 14431227904 67448 33554432000 4194304 4196468 140721430055392 140279914355088 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16474] ppid=16465 vsize=14092996 memory=24987 CPUtime=0.02 cores=0,2,4,6
/proc/16468/task/16474/stat : 16474 (java) S 16465 16468 16066 0 -1 1077944384 660 0 0 0 2 0 0 0 20 0 15 0 250535534 14431227904 67448 33554432000 4194304 4196468 140721430055392 140279913302288 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16475] ppid=16465 vsize=14092996 memory=269792 CPUtime=0.01 cores=0,2,4,6
/proc/16468/task/16475/stat : 16475 (java) S 16465 16468 16066 0 -1 1077944384 696 0 0 0 1 0 0 0 20 0 15 0 250535536 14431227904 67448 33554432000 4194304 4196468 140721430055392 140279794318192 140280320383618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16476] ppid=16465 vsize=14092996 memory=269524 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16476/stat : 16476 (java) S 16465 16468 16066 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 250535536 14431227904 67448 33554432000 4194304 4196468 140721430055392 140279793264224 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16477] ppid=16465 vsize=14092996 memory=269792 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16477/stat : 16477 (java) S 16465 16468 16066 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 250535536 14431227904 67448 33554432000 4194304 4196468 140721430055392 140279792211328 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16478] ppid=16465 vsize=14092996 memory=24480 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16478/stat : 16478 (java) S 16465 16468 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250535539 14431227904 67448 33554432000 4194304 4196468 140721430055392 140279791159632 140280320391067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16479] ppid=16465 vsize=14092996 memory=269792 CPUtime=1.76 cores=0,2,4,6
/proc/16468/task/16479/stat : 16479 (java) S 16465 16468 16066 0 -1 1077944384 13040 0 0 0 174 2 0 0 20 0 15 0 250535539 14431227904 67448 33554432000 4194304 4196468 140721430055392 140279790106992 140280320383618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16480] ppid=16465 vsize=14092996 memory=269524 CPUtime=1.7 cores=0,2,4,6
/proc/16468/task/16480/stat : 16480 (java) S 16465 16468 16066 0 -1 1077944384 13197 0 0 0 169 1 0 0 20 0 15 0 250535539 14431227904 67448 33554432000 4194304 4196468 140721430055392 140279789054192 140280320383618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16481] ppid=16465 vsize=14092996 memory=269784 CPUtime=1 cores=0,2,4,6
/proc/16468/task/16481/stat : 16481 (java) S 16465 16468 16066 0 -1 1077944384 16183 0 0 0 97 3 0 0 20 0 15 0 250535539 14431227904 67448 33554432000 4194304 4196468 140721430055392 140279788001392 140280320383618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16482] ppid=16465 vsize=14092996 memory=6436 CPUtime=0 cores=0,2,4,6
/proc/16468/task/16482/stat : 16482 (java) S 16465 16468 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250535539 14431227904 67448 33554432000 4194304 4196468 140721430055392 140279786948832 140280320382677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
[pid=16468/tid=16483] ppid=16465 vsize=14092996 memory=3708 CPUtime=0.04 cores=0,2,4,6
/proc/16468/task/16483/stat : 16483 (java) S 16465 16468 16066 0 -1 1077944384 376 0 0 0 2 2 0 0 20 0 15 0 250535539 14431227904 67448 33554432000 4194304 4196468 140721430055392 140279785897136 140280320383618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22081536 140721430062171 140721430062350 140721430062350 140721430065103 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 269792 KiB

Child status: 143
Real time (s): 247.518
CPU time (s): 252.111
CPU user time (s): 251.872
CPU system time (s): 0.23911
CPU usage (%): 101.856
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 269792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.872
system time used= 0.23911
maximum resident set size= 270416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78933
page faults= 0
swaps= 0
block input operations= 0
block output operations= 432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9185
involuntary context switches= 262


# summary of solver processes directly reported to runsolver:
#   pid: 16468
#   total CPU time (s): 252.111
#   total CPU user time (s): 251.872
#   total CPU system time (s): 0.23911

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.65096 second user time and 1.82974 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-graph-08-opt_c18.xml
MD5SUM	edb7fc8f5d274005fc89ddd50225e87c
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	20
Best CPU time to get the best result obtained on this benchmark	251.994
Satisfiable
(Un)Satisfiability was proved
Number of variables	680
Number of constraints	3757
Number of domains	7
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":48},{"size":22,"count":36},{"size":24,"count":18},{"size":36,"count":122},{"size":42,"count":170},{"size":44,"count":286}]
Minimum variable degree	2
Maximum variable degree	23
Distribution of variable degrees	[{"degree":2,"count":3},{"degree":3,"count":1},{"degree":4,"count":6},{"degree":5,"count":10},{"degree":6,"count":46},{"degree":7,"count":68},{"degree":8,"count":77},{"degree":9,"count":85},{"degree":10,"count":54},{"degree":11,"count":33},{"degree":12,"count":37},{"degree":13,"count":21},{"degree":14,"count":8},{"degree":15,"count":1},{"degree":16,"count":35},{"degree":17,"count":26},{"degree":18,"count":63},{"degree":19,"count":54},{"degree":20,"count":32},{"degree":21,"count":12},{"degree":22,"count":7},{"degree":23,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":3757}]
Number of extensional constraints	0
Number of intensional constraints	3757
Distribution of constraint types	[{"type":"intension","count":3757}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4310541

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
