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)	46	252.042	247.317
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 (6405 MiB free)
  memory of node 1: 16384 MiB (9900 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310526-1534329525/watcher-4310526-1534329525 -o /tmp/evaluation-result-4310526-1534329525/solver-4310526-1534329525 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534329043-20538 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 478280435 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310526-1534329525.xml 

running on 4 cores: 1,3,5,7

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=20897, runsolver pid=20894

[startup+0.100122 s]*
/proc/loadavg: 1.59 1.60 1.50 3/215 20912
/proc/meminfo: memFree=16675832/32770624 swapFree=67108860/67108860
[pid=20897] ppid=20894 vsize=14082736 memory=36176 CPUtime=0.11 cores=1,3,5,7
/proc/20897/stat : 20897 (java) S 20894 20897 20506 0 -1 1077944320 7459 0 0 0 10 1 0 0 20 0 15 0 250515668 14420721664 9044 33554432000 4194304 4196468 140723938784192 140723938766736 140665008004855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
/proc/20897/statm: 3520684 9044 3138 1 0 3482761 0
[pid=20897/tid=20899] ppid=20894 vsize=14082736 memory=-6966717417093883519 CPUtime=0.09 cores=1,3,5,7
/proc/20897/task/20899/stat : 20899 (java) R 20894 20897 20506 0 -1 4202560 5540 0 0 0 8 1 0 0 20 0 15 0 250515669 14420721664 9044 33554432000 4194304 4196468 140723938784192 140665012210144 140665008016790 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20900] ppid=20894 vsize=14082736 memory=5793855247886645689 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20900/stat : 20900 (java) S 20894 20897 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250515670 14420721664 9044 33554432000 4194304 4196468 140723938784192 140664945605648 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20901] ppid=20894 vsize=14082736 memory=139996876752512 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20901/stat : 20901 (java) S 20894 20897 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250515670 14420721664 9044 33554432000 4194304 4196468 140723938784192 140664602369168 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20902] ppid=20894 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20902/stat : 20902 (java) S 20894 20897 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250515670 14420721664 9044 33554432000 4194304 4196468 140723938784192 140664601316112 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20903] ppid=20894 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20903/stat : 20903 (java) S 20894 20897 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250515670 14420721664 9044 33554432000 4194304 4196468 140723938784192 140664600263568 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20904] ppid=20894 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20904/stat : 20904 (java) S 20894 20897 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250515671 14420721664 9044 33554432000 4194304 4196468 140723938784192 140664550242544 140665008016002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20905] ppid=20894 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20905/stat : 20905 (java) S 20894 20897 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250515671 14420721664 9044 33554432000 4194304 4196468 140723938784192 140664549188768 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20906] ppid=20894 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20906/stat : 20906 (java) S 20894 20897 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250515672 14420721664 9044 33554432000 4194304 4196468 140723938784192 140664548135664 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20907] ppid=20894 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20907/stat : 20907 (java) S 20894 20897 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250515674 14420721664 9044 33554432000 4194304 4196468 140723938784192 140664547084240 140665008023451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20908] ppid=20894 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20908/stat : 20908 (java) S 20894 20897 20506 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 250515674 14420721664 9044 33554432000 4194304 4196468 140723938784192 140664546032368 140665008016002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20909] ppid=20894 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20909/stat : 20909 (java) S 20894 20897 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250515674 14420721664 9044 33554432000 4194304 4196468 140723938784192 140664544979824 140665008016002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20910] ppid=20894 vsize=14082736 memory=139996876752512 CPUtime=0.01 cores=1,3,5,7
/proc/20897/task/20910/stat : 20910 (java) R 20894 20897 20506 0 -1 4202560 238 0 0 0 1 0 0 0 20 0 15 0 250515674 14420721664 9044 33554432000 4194304 4196468 140723938784192 140664543926768 140664992252153 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20911] ppid=20894 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20911/stat : 20911 (java) S 20894 20897 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250515674 14420721664 9044 33554432000 4194304 4196468 140723938784192 140664542874464 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20912] ppid=20894 vsize=14082736 memory=139996876752512 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20912/stat : 20912 (java) S 20894 20897 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250515674 14420721664 9044 33554432000 4194304 4196468 140723938784192 140663912131120 140665008016002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 36176 KiB

[startup+0.211236 s]*
/proc/loadavg: 1.59 1.60 1.50 4/215 20912
/proc/meminfo: memFree=16660820/32770624 swapFree=67108860/67108860
[pid=20897] ppid=20894 vsize=14082736 memory=49828 CPUtime=0.31 cores=1,3,5,7
/proc/20897/stat : 20897 (java) S 20894 20897 20506 0 -1 1077944320 10488 0 0 0 29 2 0 0 20 0 15 0 250515668 14420721664 12457 33554432000 4194304 4196468 140723938784192 140723938766736 140665008004855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
/proc/20897/statm: 3520684 12457 3420 1 0 3482761 0
[pid=20897/tid=20899] ppid=20894 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/20897/task/20899/stat : 20899 (java) R 20894 20897 20506 0 -1 4202560 8244 0 0 0 18 2 0 0 20 0 15 0 250515669 14420721664 12457 33554432000 4194304 4196468 140723938784192 140665012233600 140665008026781 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20900] ppid=20894 vsize=14082736 memory=4211973723081543050 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20900/stat : 20900 (java) S 20894 20897 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250515670 14420721664 12457 33554432000 4194304 4196468 140723938784192 140664945605648 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20901] ppid=20894 vsize=14082736 memory=139996876752512 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20901/stat : 20901 (java) S 20894 20897 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250515670 14420721664 12457 33554432000 4194304 4196468 140723938784192 140664602369168 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20902] ppid=20894 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20902/stat : 20902 (java) S 20894 20897 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250515670 14420721664 12457 33554432000 4194304 4196468 140723938784192 140664601316112 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20903] ppid=20894 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20903/stat : 20903 (java) S 20894 20897 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250515670 14420721664 12457 33554432000 4194304 4196468 140723938784192 140664600263568 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20904] ppid=20894 vsize=14082736 memory=139996876752512 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20904/stat : 20904 (java) S 20894 20897 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250515671 14420721664 12457 33554432000 4194304 4196468 140723938784192 140664550242544 140665008016002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20905] ppid=20894 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20905/stat : 20905 (java) S 20894 20897 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250515671 14420721664 12457 33554432000 4194304 4196468 140723938784192 140664549188768 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20906] ppid=20894 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20906/stat : 20906 (java) S 20894 20897 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250515672 14420721664 12457 33554432000 4194304 4196468 140723938784192 140664548135664 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20907] ppid=20894 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20907/stat : 20907 (java) S 20894 20897 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250515674 14420721664 12457 33554432000 4194304 4196468 140723938784192 140664547084240 140665008023451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20908] ppid=20894 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20897/task/20908/stat : 20908 (java) R 20894 20897 20506 0 -1 4202560 462 0 0 0 2 0 0 0 20 0 15 0 250515674 14420721664 12457 33554432000 4194304 4196468 140723938784192 140664546019152 140664988704173 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20909] ppid=20894 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/20897/task/20909/stat : 20909 (java) R 20894 20897 20506 0 -1 1077944384 136 0 0 0 1 0 0 0 20 0 15 0 250515674 14420721664 12457 33554432000 4194304 4196468 140723938784192 140664544979920 140665008015061 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20910] ppid=20894 vsize=14082736 memory=139996876752512 CPUtime=0.06 cores=1,3,5,7
/proc/20897/task/20910/stat : 20910 (java) R 20894 20897 20506 0 -1 4202560 269 0 0 0 6 0 0 0 20 0 15 0 250515674 14420721664 12457 33554432000 4194304 4196468 140723938784192 140664543921344 140664987124881 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20911] ppid=20894 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20911/stat : 20911 (java) S 20894 20897 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250515674 14420721664 12457 33554432000 4194304 4196468 140723938784192 140664542874464 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20912] ppid=20894 vsize=14082736 memory=139996876752512 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20912/stat : 20912 (java) S 20894 20897 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250515674 14420721664 12457 33554432000 4194304 4196468 140723938784192 140663912131120 140665008016002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 49828 KiB

[startup+0.310374 s]*
/proc/loadavg: 1.59 1.60 1.50 3/215 20912
/proc/meminfo: memFree=16657780/32770624 swapFree=67108860/67108860
[pid=20897] ppid=20894 vsize=14082736 memory=53076 CPUtime=0.44 cores=1,3,5,7
/proc/20897/stat : 20897 (java) S 20894 20897 20506 0 -1 1077944320 10830 0 0 0 41 3 0 0 20 0 15 0 250515668 14420721664 13269 33554432000 4194304 4196468 140723938784192 140723938766736 140665008004855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
/proc/20897/statm: 3520684 13269 3422 1 0 3482761 0
[pid=20897/tid=20899] ppid=20894 vsize=14082736 memory=4871374705135476842 CPUtime=0.3 cores=1,3,5,7
/proc/20897/task/20899/stat : 20899 (java) R 20894 20897 20506 0 -1 4202560 8570 0 0 0 28 2 0 0 20 0 15 0 250515669 14420721664 13269 33554432000 4194304 4196468 140723938784192 140665012166592 140665008026781 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20900] ppid=20894 vsize=14082736 memory=4211973723081543050 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20900/stat : 20900 (java) S 20894 20897 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250515670 14420721664 13269 33554432000 4194304 4196468 140723938784192 140664945605648 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20901] ppid=20894 vsize=14082736 memory=139996876754872 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20901/stat : 20901 (java) S 20894 20897 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250515670 14420721664 13269 33554432000 4194304 4196468 140723938784192 140664602369168 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20902] ppid=20894 vsize=14082736 memory=139996740844044 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20902/stat : 20902 (java) S 20894 20897 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250515670 14420721664 13269 33554432000 4194304 4196468 140723938784192 140664601316112 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20903] ppid=20894 vsize=14082736 memory=139996740832719 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20903/stat : 20903 (java) S 20894 20897 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250515670 14420721664 13269 33554432000 4194304 4196468 140723938784192 140664600263568 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20904] ppid=20894 vsize=14082736 memory=139996876773044 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20904/stat : 20904 (java) S 20894 20897 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250515671 14420721664 13269 33554432000 4194304 4196468 140723938784192 140664550242544 140665008016002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20905] ppid=20894 vsize=14082736 memory=139996740841903 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20905/stat : 20905 (java) S 20894 20897 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250515671 14420721664 13269 33554432000 4194304 4196468 140723938784192 140664549188768 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20906] ppid=20894 vsize=14082736 memory=279993481674640 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20906/stat : 20906 (java) S 20894 20897 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250515672 14420721664 13269 33554432000 4194304 4196468 140723938784192 140664548135664 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20907] ppid=20894 vsize=14082736 memory=279993481672336 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20907/stat : 20907 (java) S 20894 20897 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250515674 14420721664 13269 33554432000 4194304 4196468 140723938784192 140664547084240 140665008023451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20908] ppid=20894 vsize=14082736 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/20897/task/20908/stat : 20908 (java) S 20894 20897 20506 0 -1 1077944384 463 0 0 0 3 0 0 0 20 0 15 0 250515674 14420721664 13269 33554432000 4194304 4196468 140723938784192 140664546032368 140665008016002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20909] ppid=20894 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/20897/task/20909/stat : 20909 (java) S 20894 20897 20506 0 -1 1077944384 141 0 0 0 1 0 0 0 20 0 15 0 250515674 14420721664 13269 33554432000 4194304 4196468 140723938784192 140664544979824 140665008016002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20910] ppid=20894 vsize=14082736 memory=139996876752512 CPUtime=0.08 cores=1,3,5,7
/proc/20897/task/20910/stat : 20910 (java) S 20894 20897 20506 0 -1 1077944384 276 0 0 0 8 0 0 0 20 0 15 0 250515674 14420721664 13269 33554432000 4194304 4196468 140723938784192 140664543926768 140665008016002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20911] ppid=20894 vsize=14082736 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20911/stat : 20911 (java) S 20894 20897 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250515674 14420721664 13269 33554432000 4194304 4196468 140723938784192 140664542874464 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20912] ppid=20894 vsize=14082736 memory=139996876752512 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20912/stat : 20912 (java) S 20894 20897 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250515674 14420721664 13269 33554432000 4194304 4196468 140723938784192 140663912131120 140665008016002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 53076 KiB

[startup+0.700794 s]
/proc/loadavg: 1.59 1.60 1.50 3/215 20912
/proc/meminfo: memFree=16633348/32770624 swapFree=67108860/67108860
[pid=20897] ppid=20894 vsize=14084804 memory=92912 CPUtime=1 cores=1,3,5,7
/proc/20897/stat : 20897 (java) S 20894 20897 20506 0 -1 1077944320 17577 0 0 0 95 5 0 0 20 0 15 0 250515668 14422839296 23228 33554432000 4194304 4196468 140723938784192 140723938766736 140665008004855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
/proc/20897/statm: 3521201 23228 3502 1 0 3483273 0
[pid=20897/tid=20899] ppid=20894 vsize=14084804 memory=876 CPUtime=0.68 cores=1,3,5,7
/proc/20897/task/20899/stat : 20899 (java) R 20894 20897 20506 0 -1 4202560 14905 0 0 0 64 4 0 0 20 0 15 0 250515669 14422839296 23228 33554432000 4194304 4196468 140723938784192 140665012228096 140664992085342 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20900] ppid=20894 vsize=14084804 memory=10096 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20900/stat : 20900 (java) S 20894 20897 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250515670 14422839296 23228 33554432000 4194304 4196468 140723938784192 140664945605648 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20901] ppid=20894 vsize=14084804 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20901/stat : 20901 (java) S 20894 20897 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250515670 14422839296 23228 33554432000 4194304 4196468 140723938784192 140664602369168 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20902] ppid=20894 vsize=14084804 memory=6296683612554547549 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20902/stat : 20902 (java) S 20894 20897 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250515670 14422839296 23228 33554432000 4194304 4196468 140723938784192 140664601316112 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20903] ppid=20894 vsize=14084804 memory=7597685182856913236 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20903/stat : 20903 (java) S 20894 20897 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250515670 14422839296 23228 33554432000 4194304 4196468 140723938784192 140664600263568 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20904] ppid=20894 vsize=14084804 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20904/stat : 20904 (java) S 20894 20897 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250515671 14422839296 23228 33554432000 4194304 4196468 140723938784192 140664550242544 140665008016002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20905] ppid=20894 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20905/stat : 20905 (java) S 20894 20897 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250515671 14422839296 23228 33554432000 4194304 4196468 140723938784192 140664549188768 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20906] ppid=20894 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20906/stat : 20906 (java) S 20894 20897 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250515672 14422839296 23228 33554432000 4194304 4196468 140723938784192 140664548135664 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20907] ppid=20894 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20907/stat : 20907 (java) S 20894 20897 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250515674 14422839296 23228 33554432000 4194304 4196468 140723938784192 140664547084240 140665008023451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20908] ppid=20894 vsize=14084804 memory=268 CPUtime=0.07 cores=1,3,5,7
/proc/20897/task/20908/stat : 20908 (java) S 20894 20897 20506 0 -1 1077944384 592 0 0 0 7 0 0 0 20 0 15 0 250515674 14422839296 23228 33554432000 4194304 4196468 140723938784192 140664546032368 140665008016002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20909] ppid=20894 vsize=14084804 memory=7 CPUtime=0.08 cores=1,3,5,7
/proc/20897/task/20909/stat : 20909 (java) S 20894 20897 20506 0 -1 1077944384 341 0 0 0 8 0 0 0 20 0 15 0 250515674 14422839296 23228 33554432000 4194304 4196468 140723938784192 140664544979824 140665008016002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20910] ppid=20894 vsize=14084804 memory=20508 CPUtime=0.15 cores=1,3,5,7
/proc/20897/task/20910/stat : 20910 (java) S 20894 20897 20506 0 -1 1077944384 360 0 0 0 15 0 0 0 20 0 15 0 250515674 14422839296 23228 33554432000 4194304 4196468 140723938784192 140664543926768 140665008016002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20911] ppid=20894 vsize=14084804 memory=279993481858544 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20911/stat : 20911 (java) S 20894 20897 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250515674 14422839296 23228 33554432000 4194304 4196468 140723938784192 140664542874464 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20912] ppid=20894 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20912/stat : 20912 (java) S 20894 20897 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250515674 14422839296 23228 33554432000 4194304 4196468 140723938784192 140663912131120 140665008016002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 92912 KiB

[startup+1.50119 s]
/proc/loadavg: 1.59 1.60 1.50 8/214 20943
/proc/meminfo: memFree=18996716/32770624 swapFree=67108860/67108860
[pid=20897] ppid=20894 vsize=14086852 memory=227220 CPUtime=3.44 cores=1,3,5,7
/proc/20897/stat : 20897 (java) S 20894 20897 20506 0 -1 1077944320 22475 0 0 0 336 8 0 0 20 0 15 0 250515668 14424936448 56805 33554432000 4194304 4196468 140723938784192 140723938766736 140665008004855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
/proc/20897/statm: 3521713 56805 3552 1 0 3483785 0
[pid=20897/tid=20899] ppid=20894 vsize=14086852 memory=167772 CPUtime=1.46 cores=1,3,5,7
/proc/20897/task/20899/stat : 20899 (java) R 20894 20897 20506 0 -1 4202560 16047 0 0 0 141 5 0 0 20 0 15 0 250515669 14424936448 56805 33554432000 4194304 4196468 140723938784192 140665012238752 140664630467836 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20900] ppid=20894 vsize=14086852 memory=279993481744672 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20900/stat : 20900 (java) S 20894 20897 20506 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 250515670 14424936448 56805 33554432000 4194304 4196468 140723938784192 140664945605648 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20901] ppid=20894 vsize=14086852 memory=139996740881120 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20901/stat : 20901 (java) S 20894 20897 20506 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 250515670 14424936448 56805 33554432000 4194304 4196468 140723938784192 140664602369168 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20902] ppid=20894 vsize=14086852 memory=139996740881152 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20902/stat : 20902 (java) S 20894 20897 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250515670 14424936448 56805 33554432000 4194304 4196468 140723938784192 140664601316112 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20903] ppid=20894 vsize=14086852 memory=139996740881184 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20903/stat : 20903 (java) S 20894 20897 20506 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 250515670 14424936448 56805 33554432000 4194304 4196468 140723938784192 140664600263568 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20904] ppid=20894 vsize=14086852 memory=139996740881216 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20904/stat : 20904 (java) S 20894 20897 20506 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 250515671 14424936448 56805 33554432000 4194304 4196468 140723938784192 140664550242544 140665008016002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0

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

/proc/20897/task/20899/stat : 20899 (java) R 20894 20897 20506 0 -1 4202560 26632 0 0 0 16188 7 0 0 20 0 15 0 250515669 14429130752 66091 33554432000 4194304 4196468 140723938784192 140665012240840 140664634805536 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20900] ppid=20894 vsize=14090948 memory=264364 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20900/stat : 20900 (java) S 20894 20897 20506 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 250515670 14429130752 66091 33554432000 4194304 4196468 140723938784192 140664945605648 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20901] ppid=20894 vsize=14090948 memory=264352 CPUtime=0.01 cores=1,3,5,7
/proc/20897/task/20901/stat : 20901 (java) S 20894 20897 20506 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 15 0 250515670 14429130752 66091 33554432000 4194304 4196468 140723938784192 140664602369168 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20902] ppid=20894 vsize=14090948 memory=264308 CPUtime=0.01 cores=1,3,5,7
/proc/20897/task/20902/stat : 20902 (java) S 20894 20897 20506 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 15 0 250515670 14429130752 66091 33554432000 4194304 4196468 140723938784192 140664601316112 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20903] ppid=20894 vsize=14090948 memory=264324 CPUtime=0.01 cores=1,3,5,7
/proc/20897/task/20903/stat : 20903 (java) S 20894 20897 20506 0 -1 1077944384 429 0 0 0 1 0 0 0 20 0 15 0 250515670 14429130752 66091 33554432000 4194304 4196468 140723938784192 140664600263568 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20904] ppid=20894 vsize=14090948 memory=264364 CPUtime=0.01 cores=1,3,5,7
/proc/20897/task/20904/stat : 20904 (java) S 20894 20897 20506 0 -1 1077944384 898 0 0 0 1 0 0 0 20 0 15 0 250515671 14429130752 66091 33554432000 4194304 4196468 140723938784192 140664550242544 140665008016002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20905] ppid=20894 vsize=14090948 memory=264364 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20905/stat : 20905 (java) S 20894 20897 20506 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 250515671 14429130752 66091 33554432000 4194304 4196468 140723938784192 140664549188832 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20906] ppid=20894 vsize=14090948 memory=264364 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20906/stat : 20906 (java) S 20894 20897 20506 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 250515672 14429130752 66091 33554432000 4194304 4196468 140723938784192 140664548135680 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20907] ppid=20894 vsize=14090948 memory=264364 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20907/stat : 20907 (java) S 20894 20897 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250515674 14429130752 66091 33554432000 4194304 4196468 140723938784192 140664547084240 140665008023451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20908] ppid=20894 vsize=14090948 memory=264352 CPUtime=1.94 cores=1,3,5,7
/proc/20897/task/20908/stat : 20908 (java) S 20894 20897 20506 0 -1 1077944384 11692 0 0 0 193 1 0 0 20 0 15 0 250515674 14429130752 66091 33554432000 4194304 4196468 140723938784192 140664546032368 140665008016002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20909] ppid=20894 vsize=14090948 memory=0 CPUtime=1.68 cores=1,3,5,7
/proc/20897/task/20909/stat : 20909 (java) S 20894 20897 20506 0 -1 1077944384 7617 0 0 0 167 1 0 0 20 0 15 0 250515674 14429130752 66091 33554432000 4194304 4196468 140723938784192 140664544979824 140665008016002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20910] ppid=20894 vsize=14090948 memory=264364 CPUtime=0.87 cores=1,3,5,7
/proc/20897/task/20910/stat : 20910 (java) S 20894 20897 20506 0 -1 1077944384 10739 0 0 0 85 2 0 0 20 0 15 0 250515674 14429130752 66091 33554432000 4194304 4196468 140723938784192 140664543926768 140665008016002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20911] ppid=20894 vsize=14090948 memory=264364 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20911/stat : 20911 (java) S 20894 20897 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250515674 14429130752 66091 33554432000 4194304 4196468 140723938784192 140664542874464 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20912] ppid=20894 vsize=14090948 memory=264364 CPUtime=0.03 cores=1,3,5,7
/proc/20897/task/20912/stat : 20912 (java) S 20894 20897 20506 0 -1 1077944384 406 0 0 0 1 2 0 0 20 0 15 0 250515674 14429130752 66091 33554432000 4194304 4196468 140723938784192 140663912131120 140665008016002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 41 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
Current children cumulated CPU time: 166.57 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 264364 KiB

[startup+222.301 s]
/proc/loadavg: 1.70 1.67 1.55 3/216 21000
/proc/meminfo: memFree=17444240/32770624 swapFree=67108860/67108860
[pid=20897] ppid=20894 vsize=14090948 memory=266376 CPUtime=226.99 cores=1,3,5,7
/proc/20897/stat : 20897 (java) S 20894 20897 20506 0 -1 1077944320 67103 0 0 0 22682 17 0 0 20 0 15 0 250515668 14429130752 66594 33554432000 4194304 4196468 140723938784192 140723938766736 140665008004855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
/proc/20897/statm: 3522737 66594 3580 1 0 3484809 0
[pid=20897/tid=20899] ppid=20894 vsize=14090948 memory=266192 CPUtime=221.95 cores=1,3,5,7
/proc/20897/task/20899/stat : 20899 (java) R 20894 20897 20506 0 -1 4202560 29556 0 0 0 22188 7 0 0 20 0 15 0 250515669 14429130752 66594 33554432000 4194304 4196468 140723938784192 140665012237344 140664634805513 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20900] ppid=20894 vsize=14090948 memory=266192 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20900/stat : 20900 (java) S 20894 20897 20506 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 250515670 14429130752 66594 33554432000 4194304 4196468 140723938784192 140664945605648 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20901] ppid=20894 vsize=14090948 memory=266376 CPUtime=0.01 cores=1,3,5,7
/proc/20897/task/20901/stat : 20901 (java) S 20894 20897 20506 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 15 0 250515670 14429130752 66594 33554432000 4194304 4196468 140723938784192 140664602369168 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20902] ppid=20894 vsize=14090948 memory=266192 CPUtime=0.01 cores=1,3,5,7
/proc/20897/task/20902/stat : 20902 (java) S 20894 20897 20506 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 15 0 250515670 14429130752 66594 33554432000 4194304 4196468 140723938784192 140664601316112 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20903] ppid=20894 vsize=14090948 memory=266376 CPUtime=0.01 cores=1,3,5,7
/proc/20897/task/20903/stat : 20903 (java) S 20894 20897 20506 0 -1 1077944384 429 0 0 0 1 0 0 0 20 0 15 0 250515670 14429130752 66594 33554432000 4194304 4196468 140723938784192 140664600263568 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20904] ppid=20894 vsize=14090948 memory=68068 CPUtime=0.01 cores=1,3,5,7
/proc/20897/task/20904/stat : 20904 (java) S 20894 20897 20506 0 -1 1077944384 937 0 0 0 1 0 0 0 20 0 15 0 250515671 14429130752 66594 33554432000 4194304 4196468 140723938784192 140664550242544 140665008016002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20905] ppid=20894 vsize=14090948 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20905/stat : 20905 (java) S 20894 20897 20506 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 250515671 14429130752 66594 33554432000 4194304 4196468 140723938784192 140664549188832 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20906] ppid=20894 vsize=14090948 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20906/stat : 20906 (java) S 20894 20897 20506 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 250515672 14429130752 66594 33554432000 4194304 4196468 140723938784192 140664548135680 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20907] ppid=20894 vsize=14090948 memory=68068 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20907/stat : 20907 (java) S 20894 20897 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250515674 14429130752 66594 33554432000 4194304 4196468 140723938784192 140664547084240 140665008023451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20908] ppid=20894 vsize=14090948 memory=1228 CPUtime=2.16 cores=1,3,5,7
/proc/20897/task/20908/stat : 20908 (java) S 20894 20897 20506 0 -1 1077944384 14016 0 0 0 215 1 0 0 20 0 15 0 250515674 14429130752 66594 33554432000 4194304 4196468 140723938784192 140664546032368 140665008016002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20909] ppid=20894 vsize=14090948 memory=1952 CPUtime=1.78 cores=1,3,5,7
/proc/20897/task/20909/stat : 20909 (java) S 20894 20897 20506 0 -1 1077944384 8508 0 0 0 177 1 0 0 20 0 15 0 250515674 14429130752 66594 33554432000 4194304 4196468 140723938784192 140664544979824 140665008016002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20910] ppid=20894 vsize=14090948 memory=266192 CPUtime=0.93 cores=1,3,5,7
/proc/20897/task/20910/stat : 20910 (java) S 20894 20897 20506 0 -1 1077944384 11727 0 0 0 91 2 0 0 20 0 15 0 250515674 14429130752 66594 33554432000 4194304 4196468 140723938784192 140664543926768 140665008016002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20911] ppid=20894 vsize=14090948 memory=10096 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20911/stat : 20911 (java) S 20894 20897 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250515674 14429130752 66594 33554432000 4194304 4196468 140723938784192 140664542874464 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20912] ppid=20894 vsize=14090948 memory=4128 CPUtime=0.03 cores=1,3,5,7
/proc/20897/task/20912/stat : 20912 (java) S 20894 20897 20506 0 -1 1077944384 440 0 0 0 1 2 0 0 20 0 15 0 250515674 14429130752 66594 33554432000 4194304 4196468 140723938784192 140663912131120 140665008016002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 41 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
Current children cumulated CPU time: 226.99 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 266376 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+247.301 s]
/proc/loadavg: 1.84 1.70 1.56 4/216 21077
/proc/meminfo: memFree=18605288/32770624 swapFree=67108860/67108860
[pid=20897] ppid=20894 vsize=14090948 memory=266556 CPUtime=252.01 cores=1,3,5,7
/proc/20897/stat : 20897 (java) S 20894 20897 20506 0 -1 1077944320 68313 0 0 0 25184 17 0 0 20 0 15 0 250515668 14429130752 66639 33554432000 4194304 4196468 140723938784192 140723938766736 140665008004855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
/proc/20897/statm: 3522737 66639 3580 1 0 3484809 0
[pid=20897/tid=20899] ppid=20894 vsize=14090948 memory=266424 CPUtime=246.94 cores=1,3,5,7
/proc/20897/task/20899/stat : 20899 (java) R 20894 20897 20506 0 -1 4202560 29638 0 0 0 24687 7 0 0 20 0 15 0 250515669 14429130752 66639 33554432000 4194304 4196468 140723938784192 140665012240752 140664634806091 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20900] ppid=20894 vsize=14090948 memory=266424 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20900/stat : 20900 (java) S 20894 20897 20506 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 250515670 14429130752 66639 33554432000 4194304 4196468 140723938784192 140664945605648 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20901] ppid=20894 vsize=14090948 memory=266424 CPUtime=0.01 cores=1,3,5,7
/proc/20897/task/20901/stat : 20901 (java) S 20894 20897 20506 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 15 0 250515670 14429130752 66639 33554432000 4194304 4196468 140723938784192 140664602369168 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20902] ppid=20894 vsize=14090948 memory=266424 CPUtime=0.01 cores=1,3,5,7
/proc/20897/task/20902/stat : 20902 (java) S 20894 20897 20506 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 15 0 250515670 14429130752 66639 33554432000 4194304 4196468 140723938784192 140664601316112 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20903] ppid=20894 vsize=14090948 memory=4104 CPUtime=0.01 cores=1,3,5,7
/proc/20897/task/20903/stat : 20903 (java) S 20894 20897 20506 0 -1 1077944384 429 0 0 0 1 0 0 0 20 0 15 0 250515670 14429130752 66639 33554432000 4194304 4196468 140723938784192 140664600263568 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20904] ppid=20894 vsize=14090948 memory=4124 CPUtime=0.01 cores=1,3,5,7
/proc/20897/task/20904/stat : 20904 (java) S 20894 20897 20506 0 -1 1077944384 937 0 0 0 1 0 0 0 20 0 15 0 250515671 14429130752 66639 33554432000 4194304 4196468 140723938784192 140664550242544 140665008016002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20905] ppid=20894 vsize=14090948 memory=266424 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20905/stat : 20905 (java) S 20894 20897 20506 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 250515671 14429130752 66639 33554432000 4194304 4196468 140723938784192 140664549188832 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20906] ppid=20894 vsize=14090948 memory=266424 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20906/stat : 20906 (java) S 20894 20897 20506 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 250515672 14429130752 66639 33554432000 4194304 4196468 140723938784192 140664548135680 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20907] ppid=20894 vsize=14090948 memory=266424 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20907/stat : 20907 (java) S 20894 20897 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250515674 14429130752 66639 33554432000 4194304 4196468 140723938784192 140664547084240 140665008023451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20908] ppid=20894 vsize=14090948 memory=266424 CPUtime=2.17 cores=1,3,5,7
/proc/20897/task/20908/stat : 20908 (java) S 20894 20897 20506 0 -1 1077944384 14089 0 0 0 216 1 0 0 20 0 15 0 250515674 14429130752 66639 33554432000 4194304 4196468 140723938784192 140664546032368 140665008016002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20909] ppid=20894 vsize=14090948 memory=266424 CPUtime=1.78 cores=1,3,5,7
/proc/20897/task/20909/stat : 20909 (java) S 20894 20897 20506 0 -1 1077944384 8510 0 0 0 177 1 0 0 20 0 15 0 250515674 14429130752 66639 33554432000 4194304 4196468 140723938784192 140664544979824 140665008016002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20910] ppid=20894 vsize=14090948 memory=266424 CPUtime=0.94 cores=1,3,5,7
/proc/20897/task/20910/stat : 20910 (java) S 20894 20897 20506 0 -1 1077944384 12778 0 0 0 92 2 0 0 20 0 15 0 250515674 14429130752 66639 33554432000 4194304 4196468 140723938784192 140664543926768 140665008016002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20911] ppid=20894 vsize=14090948 memory=266424 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20911/stat : 20911 (java) S 20894 20897 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250515674 14429130752 66639 33554432000 4194304 4196468 140723938784192 140664542874464 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20912] ppid=20894 vsize=14090948 memory=4128 CPUtime=0.05 cores=1,3,5,7
/proc/20897/task/20912/stat : 20912 (java) S 20894 20897 20506 0 -1 1077944384 442 0 0 0 2 3 0 0 20 0 15 0 250515674 14429130752 66639 33554432000 4194304 4196468 140723938784192 140663912131120 140665008016002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 41 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 266556 KiB

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

[startup+247.317 s]
# the end of solver process 20897 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.856 s, system=0.186098 s

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

[startup+247.301 s]
/proc/loadavg: 1.84 1.70 1.56 4/216 21077
/proc/meminfo: memFree=18605288/32770624 swapFree=67108860/67108860
[pid=20897] ppid=20894 vsize=14090948 memory=266556 CPUtime=252.01 cores=1,3,5,7
/proc/20897/stat : 20897 (java) S 20894 20897 20506 0 -1 1077944320 68313 0 0 0 25184 17 0 0 20 0 15 0 250515668 14429130752 66639 33554432000 4194304 4196468 140723938784192 140723938766736 140665008004855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
/proc/20897/statm: 3522737 66639 3580 1 0 3484809 0
[pid=20897/tid=20899] ppid=20894 vsize=14090948 memory=266424 CPUtime=246.94 cores=1,3,5,7
/proc/20897/task/20899/stat : 20899 (java) R 20894 20897 20506 0 -1 4202560 29638 0 0 0 24687 7 0 0 20 0 15 0 250515669 14429130752 66639 33554432000 4194304 4196468 140723938784192 140665012240752 140664634806091 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20900] ppid=20894 vsize=14090948 memory=266424 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20900/stat : 20900 (java) S 20894 20897 20506 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 250515670 14429130752 66639 33554432000 4194304 4196468 140723938784192 140664945605648 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20901] ppid=20894 vsize=14090948 memory=266424 CPUtime=0.01 cores=1,3,5,7
/proc/20897/task/20901/stat : 20901 (java) S 20894 20897 20506 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 15 0 250515670 14429130752 66639 33554432000 4194304 4196468 140723938784192 140664602369168 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20902] ppid=20894 vsize=14090948 memory=266424 CPUtime=0.01 cores=1,3,5,7
/proc/20897/task/20902/stat : 20902 (java) S 20894 20897 20506 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 15 0 250515670 14429130752 66639 33554432000 4194304 4196468 140723938784192 140664601316112 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20903] ppid=20894 vsize=14090948 memory=4104 CPUtime=0.01 cores=1,3,5,7
/proc/20897/task/20903/stat : 20903 (java) S 20894 20897 20506 0 -1 1077944384 429 0 0 0 1 0 0 0 20 0 15 0 250515670 14429130752 66639 33554432000 4194304 4196468 140723938784192 140664600263568 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20904] ppid=20894 vsize=14090948 memory=4124 CPUtime=0.01 cores=1,3,5,7
/proc/20897/task/20904/stat : 20904 (java) S 20894 20897 20506 0 -1 1077944384 937 0 0 0 1 0 0 0 20 0 15 0 250515671 14429130752 66639 33554432000 4194304 4196468 140723938784192 140664550242544 140665008016002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20905] ppid=20894 vsize=14090948 memory=266424 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20905/stat : 20905 (java) S 20894 20897 20506 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 250515671 14429130752 66639 33554432000 4194304 4196468 140723938784192 140664549188832 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20906] ppid=20894 vsize=14090948 memory=266424 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20906/stat : 20906 (java) S 20894 20897 20506 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 250515672 14429130752 66639 33554432000 4194304 4196468 140723938784192 140664548135680 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20907] ppid=20894 vsize=14090948 memory=266424 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20907/stat : 20907 (java) S 20894 20897 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250515674 14429130752 66639 33554432000 4194304 4196468 140723938784192 140664547084240 140665008023451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20908] ppid=20894 vsize=14090948 memory=266424 CPUtime=2.17 cores=1,3,5,7
/proc/20897/task/20908/stat : 20908 (java) S 20894 20897 20506 0 -1 1077944384 14089 0 0 0 216 1 0 0 20 0 15 0 250515674 14429130752 66639 33554432000 4194304 4196468 140723938784192 140664546032368 140665008016002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20909] ppid=20894 vsize=14090948 memory=266424 CPUtime=1.78 cores=1,3,5,7
/proc/20897/task/20909/stat : 20909 (java) S 20894 20897 20506 0 -1 1077944384 8510 0 0 0 177 1 0 0 20 0 15 0 250515674 14429130752 66639 33554432000 4194304 4196468 140723938784192 140664544979824 140665008016002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20910] ppid=20894 vsize=14090948 memory=266424 CPUtime=0.94 cores=1,3,5,7
/proc/20897/task/20910/stat : 20910 (java) S 20894 20897 20506 0 -1 1077944384 12778 0 0 0 92 2 0 0 20 0 15 0 250515674 14429130752 66639 33554432000 4194304 4196468 140723938784192 140664543926768 140665008016002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20911] ppid=20894 vsize=14090948 memory=266424 CPUtime=0 cores=1,3,5,7
/proc/20897/task/20911/stat : 20911 (java) S 20894 20897 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250515674 14429130752 66639 33554432000 4194304 4196468 140723938784192 140664542874464 140665008015061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
[pid=20897/tid=20912] ppid=20894 vsize=14090948 memory=4128 CPUtime=0.05 cores=1,3,5,7
/proc/20897/task/20912/stat : 20912 (java) S 20894 20897 20506 0 -1 1077944384 442 0 0 0 2 3 0 0 20 0 15 0 250515674 14429130752 66639 33554432000 4194304 4196468 140723938784192 140663912131120 140665008016002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 41 0 0 6293624 6294260 37842944 140723938788443 140723938788622 140723938788622 140723938791375 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 266556 KiB

Child status: 143
Real time (s): 247.317
CPU time (s): 252.042
CPU user time (s): 251.856
CPU system time (s): 0.186098
CPU usage (%): 101.91
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 269848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.856
system time used= 0.186098
maximum resident set size= 269848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68499
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= 8800
involuntary context switches= 164


# summary of solver processes directly reported to runsolver:
#   pid: 20897
#   total CPU time (s): 252.042
#   total CPU user time (s): 251.856
#   total CPU system time (s): 0.186098

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.19722 second user time and 2.22106 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-graph-09-opt_c18.xml
MD5SUM	2788969af340f57bdb68eae00f77e52f
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	22
Best CPU time to get the best result obtained on this benchmark	252.029
Satisfiable
(Un)Satisfiability was proved
Number of variables	916
Number of constraints	5246
Number of domains	7
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":2},{"size":36,"count":408},{"size":42,"count":306},{"size":44,"count":188}]
Minimum variable degree	2
Maximum variable degree	38
Distribution of variable degrees	[{"degree":2,"count":1},{"degree":3,"count":10},{"degree":4,"count":22},{"degree":5,"count":38},{"degree":6,"count":81},{"degree":7,"count":93},{"degree":8,"count":105},{"degree":9,"count":86},{"degree":10,"count":68},{"degree":11,"count":42},{"degree":12,"count":24},{"degree":13,"count":14},{"degree":14,"count":4},{"degree":15,"count":2},{"degree":16,"count":10},{"degree":17,"count":3},{"degree":18,"count":32},{"degree":19,"count":53},{"degree":20,"count":77},{"degree":21,"count":81},{"degree":22,"count":42},{"degree":23,"count":14},{"degree":24,"count":9},{"degree":25,"count":2},{"degree":26,"count":1},{"degree":38,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":5246}]
Number of extensional constraints	0
Number of intensional constraints	5246
Distribution of constraint types	[{"type":"intension","count":5246}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4310526

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
