2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Hybrid 2018-08-14	OPT	792	11.5061	6.35999
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 (6232 MiB free)
  memory of node 1: 16384 MiB (8775 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308653-1534285408/watcher-4308653-1534285408 -o /tmp/evaluation-result-4308653-1534285408/solver-4308653-1534285408 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534270607-2649 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 2091381668 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308653-1534285408.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4500, runsolver pid=4497
Current StackSize limit: 8192 KiB


[startup+0.107122 s]*
/proc/loadavg: 1.74 1.61 1.60 3/215 4515
/proc/meminfo: memFree=15348800/32770624 swapFree=67108504/67108860
[pid=4500] ppid=4497 vsize=14082736 memory=32940 CPUtime=0.13 cores=0,2,4,6
/proc/4500/stat : 4500 (java) S 4497 4500 875 0 -1 1077944320 7159 0 0 0 12 1 0 0 20 0 15 0 246104005 14420721664 8235 33554432000 4194304 4196468 140726891988496 140726891971040 140701602053879 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
/proc/4500/statm: 3520684 8235 3139 1 0 3482761 0
[pid=4500/tid=4502] ppid=4497 vsize=14082736 memory=8389772277269004345 CPUtime=0.09 cores=0,2,4,6
/proc/4500/task/4502/stat : 4502 (java) D 4497 4500 875 0 -1 1077944384 5230 0 0 0 9 0 0 0 20 0 15 0 246104005 14420721664 8235 33554432000 4194304 4196468 140726891988496 140701606281200 140701602077757 0 4 0 16800975 18446744072101588516 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4503] ppid=4497 vsize=14082736 memory=288293255295270935 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4503/stat : 4503 (java) S 4497 4500 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246104006 14420721664 8235 33554432000 4194304 4196468 140726891988496 140701532142224 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4504] ppid=4497 vsize=14082736 memory=140713336730200 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4504/stat : 4504 (java) S 4497 4500 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246104006 14420721664 8235 33554432000 4194304 4196468 140726891988496 140701531089424 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4505] ppid=4497 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4505/stat : 4505 (java) S 4497 4500 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246104006 14420721664 8235 33554432000 4194304 4196468 140726891988496 140701530036624 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4506] ppid=4497 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4506/stat : 4506 (java) S 4497 4500 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246104006 14420721664 8235 33554432000 4194304 4196468 140726891988496 140701528983824 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4507] ppid=4497 vsize=14082736 memory=140713336702592 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4507/stat : 4507 (java) S 4497 4500 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246104007 14420721664 8235 33554432000 4194304 4196468 140726891988496 140701076142960 140701602065026 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4508] ppid=4497 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4508/stat : 4508 (java) S 4497 4500 875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246104008 14420721664 8235 33554432000 4194304 4196468 140726891988496 140701075088928 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4509] ppid=4497 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4509/stat : 4509 (java) S 4497 4500 875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246104008 14420721664 8235 33554432000 4194304 4196468 140726891988496 140701074036080 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4510] ppid=4497 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4510/stat : 4510 (java) S 4497 4500 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246104010 14420721664 8235 33554432000 4194304 4196468 140726891988496 140701072984400 140701602072475 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4511] ppid=4497 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4511/stat : 4511 (java) S 4497 4500 875 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 246104010 14420721664 8235 33554432000 4194304 4196468 140726891988496 140701071931760 140701602065026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4512] ppid=4497 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4512/stat : 4512 (java) S 4497 4500 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246104010 14420721664 8235 33554432000 4194304 4196468 140726891988496 140701070878960 140701602065026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4513] ppid=4497 vsize=14082736 memory=140713336702592 CPUtime=0.01 cores=0,2,4,6
/proc/4500/task/4513/stat : 4513 (java) R 4497 4500 875 0 -1 4202560 259 0 0 0 1 0 0 0 20 0 15 0 246104010 14420721664 8235 33554432000 4194304 4196468 140726891988496 140701069826080 140701581039024 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4514] ppid=4497 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4514/stat : 4514 (java) S 4497 4500 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246104010 14420721664 8235 33554432000 4194304 4196468 140726891988496 140701068773600 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4515] ppid=4497 vsize=14082736 memory=140713336702592 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4515/stat : 4515 (java) S 4497 4500 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246104010 14420721664 8235 33554432000 4194304 4196468 140726891988496 140701067721904 140701602065026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32940 KiB

[startup+0.210327 s]*
/proc/loadavg: 1.74 1.61 1.60 4/215 4515
/proc/meminfo: memFree=15336020/32770624 swapFree=67108504/67108860
[pid=4500] ppid=4497 vsize=14082736 memory=46836 CPUtime=0.29 cores=0,2,4,6
/proc/4500/stat : 4500 (java) S 4497 4500 875 0 -1 1077944320 10305 0 0 0 27 2 0 0 20 0 15 0 246104005 14420721664 11709 33554432000 4194304 4196468 140726891988496 140726891971040 140701602053879 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
/proc/4500/statm: 3520684 11709 3375 1 0 3482761 0
[pid=4500/tid=4502] ppid=4497 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/4500/task/4502/stat : 4502 (java) S 4497 4500 875 0 -1 1077944384 8023 0 0 0 18 2 0 0 20 0 15 0 246104005 14420721664 11709 33554432000 4194304 4196468 140726891988496 140701606282224 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4503] ppid=4497 vsize=14082736 memory=365 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4503/stat : 4503 (java) S 4497 4500 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246104006 14420721664 11709 33554432000 4194304 4196468 140726891988496 140701532142224 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4504] ppid=4497 vsize=14082736 memory=140713336728169 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4504/stat : 4504 (java) S 4497 4500 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246104006 14420721664 11709 33554432000 4194304 4196468 140726891988496 140701531089424 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4505] ppid=4497 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4505/stat : 4505 (java) S 4497 4500 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246104006 14420721664 11709 33554432000 4194304 4196468 140726891988496 140701530036624 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4506] ppid=4497 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4506/stat : 4506 (java) S 4497 4500 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246104006 14420721664 11709 33554432000 4194304 4196468 140726891988496 140701528983824 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4507] ppid=4497 vsize=14082736 memory=140713336702592 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4507/stat : 4507 (java) S 4497 4500 875 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246104007 14420721664 11709 33554432000 4194304 4196468 140726891988496 140701076142960 140701602065026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4508] ppid=4497 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4508/stat : 4508 (java) S 4497 4500 875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246104008 14420721664 11709 33554432000 4194304 4196468 140726891988496 140701075088928 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4509] ppid=4497 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4509/stat : 4509 (java) S 4497 4500 875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246104008 14420721664 11709 33554432000 4194304 4196468 140726891988496 140701074036080 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4510] ppid=4497 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4510/stat : 4510 (java) S 4497 4500 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246104010 14420721664 11709 33554432000 4194304 4196468 140726891988496 140701072984400 140701602072475 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4511] ppid=4497 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4500/task/4511/stat : 4511 (java) R 4497 4500 875 0 -1 1077944384 369 0 0 0 1 0 0 0 20 0 15 0 246104010 14420721664 11709 33554432000 4194304 4196468 140726891988496 140701071931856 140701602064085 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4512] ppid=4497 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/4500/task/4512/stat : 4512 (java) R 4497 4500 875 0 -1 4202560 231 0 0 0 2 0 0 0 20 0 15 0 246104010 14420721664 11709 33554432000 4194304 4196468 140726891988496 140701070869344 140701580472519 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4513] ppid=4497 vsize=14082736 memory=140713336702592 CPUtime=0.05 cores=0,2,4,6
/proc/4500/task/4513/stat : 4513 (java) S 4497 4500 875 0 -1 1077944384 308 0 0 0 5 0 0 0 20 0 15 0 246104010 14420721664 11709 33554432000 4194304 4196468 140726891988496 140701069826160 140701602065026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4514] ppid=4497 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4514/stat : 4514 (java) S 4497 4500 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246104010 14420721664 11709 33554432000 4194304 4196468 140726891988496 140701068773600 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4515] ppid=4497 vsize=14082736 memory=140713336702592 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4515/stat : 4515 (java) S 4497 4500 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246104010 14420721664 11709 33554432000 4194304 4196468 140726891988496 140701067721904 140701602065026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46836 KiB

[startup+0.310302 s]*
/proc/loadavg: 1.74 1.61 1.60 3/215 4515
/proc/meminfo: memFree=15332732/32770624 swapFree=67108504/67108860
[pid=4500] ppid=4497 vsize=14082736 memory=50280 CPUtime=0.43 cores=0,2,4,6
/proc/4500/stat : 4500 (java) S 4497 4500 875 0 -1 1077944320 10721 0 0 0 40 3 0 0 20 0 15 0 246104005 14420721664 12570 33554432000 4194304 4196468 140726891988496 140726891971040 140701602053879 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
/proc/4500/statm: 3520684 12570 3377 1 0 3482761 0
[pid=4500/tid=4502] ppid=4497 vsize=14082736 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/4500/task/4502/stat : 4502 (java) R 4497 4500 875 0 -1 4202560 8404 0 0 0 27 2 0 0 20 0 15 0 246104005 14420721664 12570 33554432000 4194304 4196468 140726891988496 140701606274976 140701583617431 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4503] ppid=4497 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4503/stat : 4503 (java) S 4497 4500 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246104006 14420721664 12570 33554432000 4194304 4196468 140726891988496 140701532142224 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4504] ppid=4497 vsize=14082736 memory=140713336726295 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4504/stat : 4504 (java) S 4497 4500 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246104006 14420721664 12570 33554432000 4194304 4196468 140726891988496 140701531089424 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4505] ppid=4497 vsize=14082736 memory=9796 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4505/stat : 4505 (java) S 4497 4500 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246104006 14420721664 12570 33554432000 4194304 4196468 140726891988496 140701530036624 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4506] ppid=4497 vsize=14082736 memory=35 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4506/stat : 4506 (java) S 4497 4500 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246104006 14420721664 12570 33554432000 4194304 4196468 140726891988496 140701528983824 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4507] ppid=4497 vsize=14082736 memory=140713336716928 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4507/stat : 4507 (java) S 4497 4500 875 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246104007 14420721664 12570 33554432000 4194304 4196468 140726891988496 140701076142960 140701602065026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4508] ppid=4497 vsize=14082736 memory=35 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4508/stat : 4508 (java) S 4497 4500 875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246104008 14420721664 12570 33554432000 4194304 4196468 140726891988496 140701075088928 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4509] ppid=4497 vsize=14082736 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4509/stat : 4509 (java) S 4497 4500 875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246104008 14420721664 12570 33554432000 4194304 4196468 140726891988496 140701074036080 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4510] ppid=4497 vsize=14082736 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4510/stat : 4510 (java) S 4497 4500 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246104010 14420721664 12570 33554432000 4194304 4196468 140726891988496 140701072984400 140701602072475 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4511] ppid=4497 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4500/task/4511/stat : 4511 (java) S 4497 4500 875 0 -1 1077944384 374 0 0 0 2 0 0 0 20 0 15 0 246104010 14420721664 12570 33554432000 4194304 4196468 140726891988496 140701071931760 140701602065026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4512] ppid=4497 vsize=14082736 memory=35 CPUtime=0.02 cores=0,2,4,6
/proc/4500/task/4512/stat : 4512 (java) S 4497 4500 875 0 -1 1077944384 233 0 0 0 2 0 0 0 20 0 15 0 246104010 14420721664 12570 33554432000 4194304 4196468 140726891988496 140701070878960 140701602065026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4513] ppid=4497 vsize=14082736 memory=140713336709408 CPUtime=0.08 cores=0,2,4,6
/proc/4500/task/4513/stat : 4513 (java) S 4497 4500 875 0 -1 1077944384 327 0 0 0 8 0 0 0 20 0 15 0 246104010 14420721664 12570 33554432000 4194304 4196468 140726891988496 140701069826160 140701602065026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4514] ppid=4497 vsize=14082736 memory=35 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4514/stat : 4514 (java) S 4497 4500 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246104010 14420721664 12570 33554432000 4194304 4196468 140726891988496 140701068773600 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4515] ppid=4497 vsize=14082736 memory=140713336702592 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4515/stat : 4515 (java) S 4497 4500 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246104010 14420721664 12570 33554432000 4194304 4196468 140726891988496 140701067721904 140701602065026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50280 KiB

[startup+0.700711 s]
/proc/loadavg: 1.74 1.61 1.60 3/215 4515
/proc/meminfo: memFree=15310596/32770624 swapFree=67108504/67108860
[pid=4500] ppid=4497 vsize=14084804 memory=88692 CPUtime=0.99 cores=0,2,4,6
/proc/4500/stat : 4500 (java) S 4497 4500 875 0 -1 1077944320 17574 0 0 0 94 5 0 0 20 0 15 0 246104005 14422839296 22173 33554432000 4194304 4196468 140726891988496 140726891971040 140701602053879 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
/proc/4500/statm: 3521201 22173 3504 1 0 3483273 0
[pid=4500/tid=4502] ppid=4497 vsize=14084804 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/4500/task/4502/stat : 4502 (java) R 4497 4500 875 0 -1 4202560 14827 0 0 0 63 4 0 0 20 0 15 0 246104005 14422839296 22173 33554432000 4194304 4196468 140726891988496 140701606275552 140701602075805 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4503] ppid=4497 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4503/stat : 4503 (java) S 4497 4500 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246104006 14422839296 22173 33554432000 4194304 4196468 140726891988496 140701532142224 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4504] ppid=4497 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4504/stat : 4504 (java) S 4497 4500 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246104006 14422839296 22173 33554432000 4194304 4196468 140726891988496 140701531089424 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4505] ppid=4497 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4505/stat : 4505 (java) S 4497 4500 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246104006 14422839296 22173 33554432000 4194304 4196468 140726891988496 140701530036624 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4506] ppid=4497 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4506/stat : 4506 (java) S 4497 4500 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246104006 14422839296 22173 33554432000 4194304 4196468 140726891988496 140701528983824 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4507] ppid=4497 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4507/stat : 4507 (java) S 4497 4500 875 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246104007 14422839296 22173 33554432000 4194304 4196468 140726891988496 140701076142960 140701602065026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4508] ppid=4497 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4508/stat : 4508 (java) S 4497 4500 875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246104008 14422839296 22173 33554432000 4194304 4196468 140726891988496 140701075088928 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4509] ppid=4497 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4509/stat : 4509 (java) S 4497 4500 875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246104008 14422839296 22173 33554432000 4194304 4196468 140726891988496 140701074036080 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4510] ppid=4497 vsize=14084804 memory=281426390770288 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4510/stat : 4510 (java) S 4497 4500 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246104010 14422839296 22173 33554432000 4194304 4196468 140726891988496 140701072984400 140701602072475 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4511] ppid=4497 vsize=14084804 memory=281426390770352 CPUtime=0.07 cores=0,2,4,6
/proc/4500/task/4511/stat : 4511 (java) S 4497 4500 875 0 -1 1077944384 542 0 0 0 7 0 0 0 20 0 15 0 246104010 14422839296 22173 33554432000 4194304 4196468 140726891988496 140701071931760 140701602065026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4512] ppid=4497 vsize=14084804 memory=281426390770404 CPUtime=0.07 cores=0,2,4,6
/proc/4500/task/4512/stat : 4512 (java) S 4497 4500 875 0 -1 1077944384 381 0 0 0 7 0 0 0 20 0 15 0 246104010 14422839296 22173 33554432000 4194304 4196468 140726891988496 140701070878960 140701602065026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4513] ppid=4497 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/4500/task/4513/stat : 4513 (java) S 4497 4500 875 0 -1 1077944384 441 0 0 0 15 0 0 0 20 0 15 0 246104010 14422839296 22173 33554432000 4194304 4196468 140726891988496 140701069826160 140701602065026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4514] ppid=4497 vsize=14084804 memory=160070612693434 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4514/stat : 4514 (java) S 4497 4500 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246104010 14422839296 22173 33554432000 4194304 4196468 140726891988496 140701068773600 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4515] ppid=4497 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4515/stat : 4515 (java) S 4497 4500 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246104010 14422839296 22173 33554432000 4194304 4196468 140726891988496 140701067721904 140701602065026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88692 KiB

[startup+1.50413 s]
/proc/loadavg: 1.74 1.61 1.60 5/215 4515
/proc/meminfo: memFree=15267136/32770624 swapFree=67108504/67108860
[pid=4500] ppid=4497 vsize=14088900 memory=198420 CPUtime=3.51 cores=0,2,4,6
/proc/4500/stat : 4500 (java) S 4497 4500 875 0 -1 1077944320 30563 0 0 0 343 8 0 0 20 0 15 0 246104005 14427033600 49605 33554432000 4194304 4196468 140726891988496 140726891971040 140701602053879 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
/proc/4500/statm: 3522225 49605 3548 1 0 3484297 0
[pid=4500/tid=4502] ppid=4497 vsize=14088900 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/4500/task/4502/stat : 4502 (java) R 4497 4500 875 0 -1 4202560 18355 0 0 0 141 6 0 0 20 0 15 0 246104005 14427033600 49605 33554432000 4194304 4196468 140726891988496 140701606263528 140701199270176 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4503] ppid=4497 vsize=14088900 memory=170926128 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4503/stat : 4503 (java) S 4497 4500 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246104006 14427033600 49605 33554432000 4194304 4196468 140726891988496 140701532142224 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4504] ppid=4497 vsize=14088900 memory=6011581402601046114 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4504/stat : 4504 (java) S 4497 4500 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246104006 14427033600 49605 33554432000 4194304 4196468 140726891988496 140701531089424 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4505] ppid=4497 vsize=14088900 memory=7014751519734585681 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4505/stat : 4505 (java) S 4497 4500 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246104006 14427033600 49605 33554432000 4194304 4196468 140726891988496 140701530036624 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4506] ppid=4497 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4506/stat : 4506 (java) S 4497 4500 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246104006 14427033600 49605 33554432000 4194304 4196468 140726891988496 140701528983824 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4507] ppid=4497 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4507/stat : 4507 (java) S 4497 4500 875 0 -1 1077944384 224 0 0 0 0 0 0 0 20 0 15 0 246104007 14427033600 49605 33554432000 4194304 4196468 140726891988496 140701076142960 140701602065026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4508] ppid=4497 vsize=14088900 memory=140713195375088 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4508/stat : 4508 (java) S 4497 4500 875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246104008 14427033600 49605 33554432000 4194304 4196468 140726891988496 140701075088928 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4509] ppid=4497 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4509/stat : 4509 (java) S 4497 4500 875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246104008 14427033600 49605 33554432000 4194304 4196468 140726891988496 140701074036080 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4510] ppid=4497 vsize=14088900 memory=281426390758880 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4510/stat : 4510 (java) S 4497 4500 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246104010 14427033600 49605 33554432000 4194304 4196468 140726891988496 140701072984400 140701602072475 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4511] ppid=4497 vsize=14088900 memory=0 CPUtime=0.75 cores=0,2,4,6
/proc/4500/task/4511/stat : 4511 (java) R 4497 4500 875 0 -1 4202560 3970 0 0 0 75 0 0 0 20 0 15 0 246104010 14427033600 49605 33554432000 4194304 4196468 140726891988496 140701071918160 140701583598344 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4512] ppid=4497 vsize=14088900 memory=160070612660442 CPUtime=0.74 cores=0,2,4,6
/proc/4500/task/4512/stat : 4512 (java) R 4497 4500 875 0 -1 4202560 3966 0 0 0 73 1 0 0 20 0 15 0 246104010 14427033600 49605 33554432000 4194304 4196468 140726891988496 140701070865488 140701583571664 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4513] ppid=4497 vsize=14088900 memory=0 CPUtime=0.52 cores=0,2,4,6
/proc/4500/task/4513/stat : 4513 (java) S 4497 4500 875 0 -1 1077944384 2665 0 0 0 52 0 0 0 20 0 15 0 246104010 14427033600 49605 33554432000 4194304 4196468 140726891988496 140701069826160 140701602065026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4514] ppid=4497 vsize=14088900 memory=-6800859132029471843 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4514/stat : 4514 (java) S 4497 4500 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246104010 14427033600 49605 33554432000 4194304 4196468 140726891988496 140701068773600 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4515] ppid=4497 vsize=14088900 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4515/stat : 4515 (java) S 4497 4500 875 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 246104010 14427033600 49605 33554432000 4194304 4196468 140726891988496 140701067721904 140701602065026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
Current children cumulated CPU time: 3.51 s
Current children cumulated vsize: 14088900 KiB
Current children cumulated memory: 198420 KiB

[startup+3.10981 s]
/proc/loadavg: 1.76 1.61 1.60 3/215 4515
/proc/meminfo: memFree=15130880/32770624 swapFree=67108504/67108860
[pid=4500] ppid=4497 vsize=14090948 memory=251600 CPUtime=7.88 cores=0,2,4,6
/proc/4500/stat : 4500 (java) S 4497 4500 875 0 -1 1077944320 40376 0 0 0 774 14 0 0 20 0 15 0 246104005 14429130752 62900 33554432000 4194304 4196468 140726891988496 140726891971040 140701602053879 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
/proc/4500/statm: 3522737 62900 3570 1 0 3484809 0
[pid=4500/tid=4502] ppid=4497 vsize=14090948 memory=237632 CPUtime=3.05 cores=0,2,4,6
/proc/4500/task/4502/stat : 4502 (java) R 4497 4500 875 0 -1 4202560 20104 0 0 0 298 7 0 0 20 0 15 0 246104005 14429130752 62900 33554432000 4194304 4196468 140726891988496 140701606292192 140701209199817 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4503] ppid=4497 vsize=14090948 memory=229624 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4503/stat : 4503 (java) S 4497 4500 875 0 -1 1077944384 181 0 0 0 0 0 0 0 20 0 15 0 246104006 14429130752 62900 33554432000 4194304 4196468 140726891988496 140701532142224 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4504] ppid=4497 vsize=14090948 memory=4354580177697351578 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4504/stat : 4504 (java) S 4497 4500 875 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 15 0 246104006 14429130752 62900 33554432000 4194304 4196468 140726891988496 140701531089424 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4505] ppid=4497 vsize=14090948 memory=3978984328921901989 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4505/stat : 4505 (java) S 4497 4500 875 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 246104006 14429130752 62900 33554432000 4194304 4196468 140726891988496 140701530036624 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4506] ppid=4497 vsize=14090948 memory=-7452140638219950676 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4506/stat : 4506 (java) S 4497 4500 875 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 246104006 14429130752 62900 33554432000 4194304 4196468 140726891988496 140701528983824 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4507] ppid=4497 vsize=14090948 memory=37864 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4507/stat : 4507 (java) S 4497 4500 875 0 -1 1077944384 274 0 0 0 0 0 0 0 20 0 15 0 246104007 14429130752 62900 33554432000 4194304 4196468 140726891988496 140701076142960 140701602065026 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4508] ppid=4497 vsize=14090948 memory=13776 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4508/stat : 4508 (java) S 4497 4500 875 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 246104008 14429130752 62900 33554432000 4194304 4196468 140726891988496 140701075088992 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4509] ppid=4497 vsize=14090948 memory=3356 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4509/stat : 4509 (java) S 4497 4500 875 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 246104008 14429130752 62900 33554432000 4194304 4196468 140726891988496 140701074036096 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4510] ppid=4497 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4510/stat : 4510 (java) S 4497 4500 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246104010 14429130752 62900 33554432000 4194304 4196468 140726891988496 140701072984400 140701602072475 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4511] ppid=4497 vsize=14090948 memory=0 CPUtime=1.96 cores=0,2,4,6
/proc/4500/task/4511/stat : 4511 (java) S 4497 4500 875 0 -1 1077944384 6851 0 0 0 196 0 0 0 20 0 15 0 246104010 14429130752 62900 33554432000 4194304 4196468 140726891988496 140701071931760 140701602065026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4512] ppid=4497 vsize=14090948 memory=0 CPUtime=1.94 cores=0,2,4,6
/proc/4500/task/4512/stat : 4512 (java) S 4497 4500 875 0 -1 1077944384 5623 0 0 0 193 1 0 0 20 0 15 0 246104010 14429130752 62900 33554432000 4194304 4196468 140726891988496 140701070878960 140701602065026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4513] ppid=4497 vsize=14090948 memory=281426390365072 CPUtime=0.82 cores=0,2,4,6
/proc/4500/task/4513/stat : 4513 (java) S 4497 4500 875 0 -1 1077944384 5724 0 0 0 81 1 0 0 20 0 15 0 246104010 14429130752 62900 33554432000 4194304 4196468 140726891988496 140701069826160 140701602065026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4514] ppid=4497 vsize=14090948 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4514/stat : 4514 (java) S 4497 4500 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246104010 14429130752 62900 33554432000 4194304 4196468 140726891988496 140701068773600 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4515] ppid=4497 vsize=14090948 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4515/stat : 4515 (java) S 4497 4500 875 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 246104010 14429130752 62900 33554432000 4194304 4196468 140726891988496 140701067721904 140701602065026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
Current children cumulated CPU time: 7.88 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 251600 KiB

[startup+6.3008 s]
/proc/loadavg: 1.76 1.61 1.60 3/215 4515
/proc/meminfo: memFree=15127108/32770624 swapFree=67108504/67108860
[pid=4500] ppid=4497 vsize=14090948 memory=258272 CPUtime=11.43 cores=0,2,4,6
/proc/4500/stat : 4500 (java) S 4497 4500 875 0 -1 1077944320 41554 0 0 0 1128 15 0 0 20 0 15 0 246104005 14429130752 64568 33554432000 4194304 4196468 140726891988496 140726891971040 140701602053879 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
/proc/4500/statm: 3522737 64568 3575 1 0 3484809 0
[pid=4500/tid=4502] ppid=4497 vsize=14090948 memory=281426390078576 CPUtime=6.21 cores=0,2,4,6
/proc/4500/task/4502/stat : 4502 (java) R 4497 4500 875 0 -1 4202560 20151 0 0 0 614 7 0 0 20 0 15 0 246104005 14429130752 64568 33554432000 4194304 4196468 140726891988496 140701606288816 140701208479906 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4503] ppid=4497 vsize=14090948 memory=3732 CPUtime=0.04 cores=0,2,4,6
/proc/4500/task/4503/stat : 4503 (java) S 4497 4500 875 0 -1 1077944384 184 0 0 0 3 1 0 0 20 0 15 0 246104006 14429130752 64568 33554432000 4194304 4196468 140726891988496 140701532142224 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4504] ppid=4497 vsize=14090948 memory=254220 CPUtime=0.03 cores=0,2,4,6
/proc/4500/task/4504/stat : 4504 (java) S 4497 4500 875 0 -1 1077944384 107 0 0 0 3 0 0 0 20 0 15 0 246104006 14429130752 64568 33554432000 4194304 4196468 140726891988496 140701531089424 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4505] ppid=4497 vsize=14090948 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/4500/task/4505/stat : 4505 (java) S 4497 4500 875 0 -1 1077944384 46 0 0 0 3 1 0 0 20 0 15 0 246104006 14429130752 64568 33554432000 4194304 4196468 140726891988496 140701530036624 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4506] ppid=4497 vsize=14090948 memory=6656426216303648864 CPUtime=0.03 cores=0,2,4,6
/proc/4500/task/4506/stat : 4506 (java) S 4497 4500 875 0 -1 1077944384 65 0 0 0 3 0 0 0 20 0 15 0 246104006 14429130752 64568 33554432000 4194304 4196468 140726891988496 140701528983824 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4507] ppid=4497 vsize=14090948 memory=3816 CPUtime=0.01 cores=0,2,4,6
/proc/4500/task/4507/stat : 4507 (java) S 4497 4500 875 0 -1 1077944384 276 0 0 0 1 0 0 0 20 0 15 0 246104007 14429130752 64568 33554432000 4194304 4196468 140726891988496 140701076142960 140701602065026 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4508] ppid=4497 vsize=14090948 memory=66844 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4508/stat : 4508 (java) S 4497 4500 875 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 246104008 14429130752 64568 33554432000 4194304 4196468 140726891988496 140701075088992 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4509] ppid=4497 vsize=14090948 memory=1116 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4509/stat : 4509 (java) S 4497 4500 875 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 246104008 14429130752 64568 33554432000 4194304 4196468 140726891988496 140701074036096 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4510] ppid=4497 vsize=14090948 memory=2144 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4510/stat : 4510 (java) S 4497 4500 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246104010 14429130752 64568 33554432000 4194304 4196468 140726891988496 140701072984400 140701602072475 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4511] ppid=4497 vsize=14090948 memory=1752 CPUtime=2.1 cores=0,2,4,6
/proc/4500/task/4511/stat : 4511 (java) S 4497 4500 875 0 -1 1077944384 7384 0 0 0 209 1 0 0 20 0 15 0 246104010 14429130752 64568 33554432000 4194304 4196468 140726891988496 140701071931760 140701602065026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4512] ppid=4497 vsize=14090948 memory=748 CPUtime=2.06 cores=0,2,4,6
/proc/4500/task/4512/stat : 4512 (java) S 4497 4500 875 0 -1 1077944384 6118 0 0 0 205 1 0 0 20 0 15 0 246104010 14429130752 64568 33554432000 4194304 4196468 140726891988496 140701070878960 140701602065026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4513] ppid=4497 vsize=14090948 memory=2144 CPUtime=0.84 cores=0,2,4,6
/proc/4500/task/4513/stat : 4513 (java) S 4497 4500 875 0 -1 1077944384 5756 0 0 0 83 1 0 0 20 0 15 0 246104010 14429130752 64568 33554432000 4194304 4196468 140726891988496 140701069826160 140701602065026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4514] ppid=4497 vsize=14090948 memory=1752 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4514/stat : 4514 (java) S 4497 4500 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246104010 14429130752 64568 33554432000 4194304 4196468 140726891988496 140701068773600 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4515] ppid=4497 vsize=14090948 memory=748 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4515/stat : 4515 (java) S 4497 4500 875 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 246104010 14429130752 64568 33554432000 4194304 4196468 140726891988496 140701067721904 140701602065026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
Current children cumulated CPU time: 11.43 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 258272 KiB

[startup+6.35992 s]
# the end of solver process 4500 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=11.3449 s, system=0.161192 s

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

[startup+6.3008 s]
/proc/loadavg: 1.76 1.61 1.60 3/215 4515
/proc/meminfo: memFree=15127108/32770624 swapFree=67108504/67108860
[pid=4500] ppid=4497 vsize=14090948 memory=258272 CPUtime=11.43 cores=0,2,4,6
/proc/4500/stat : 4500 (java) S 4497 4500 875 0 -1 1077944320 41554 0 0 0 1128 15 0 0 20 0 15 0 246104005 14429130752 64568 33554432000 4194304 4196468 140726891988496 140726891971040 140701602053879 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
/proc/4500/statm: 3522737 64568 3575 1 0 3484809 0
[pid=4500/tid=4502] ppid=4497 vsize=14090948 memory=281426390078576 CPUtime=6.21 cores=0,2,4,6
/proc/4500/task/4502/stat : 4502 (java) R 4497 4500 875 0 -1 4202560 20151 0 0 0 614 7 0 0 20 0 15 0 246104005 14429130752 64568 33554432000 4194304 4196468 140726891988496 140701606288816 140701208479906 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4503] ppid=4497 vsize=14090948 memory=3732 CPUtime=0.04 cores=0,2,4,6
/proc/4500/task/4503/stat : 4503 (java) S 4497 4500 875 0 -1 1077944384 184 0 0 0 3 1 0 0 20 0 15 0 246104006 14429130752 64568 33554432000 4194304 4196468 140726891988496 140701532142224 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4504] ppid=4497 vsize=14090948 memory=254220 CPUtime=0.03 cores=0,2,4,6
/proc/4500/task/4504/stat : 4504 (java) S 4497 4500 875 0 -1 1077944384 107 0 0 0 3 0 0 0 20 0 15 0 246104006 14429130752 64568 33554432000 4194304 4196468 140726891988496 140701531089424 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4505] ppid=4497 vsize=14090948 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/4500/task/4505/stat : 4505 (java) S 4497 4500 875 0 -1 1077944384 46 0 0 0 3 1 0 0 20 0 15 0 246104006 14429130752 64568 33554432000 4194304 4196468 140726891988496 140701530036624 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4506] ppid=4497 vsize=14090948 memory=6656426216303648864 CPUtime=0.03 cores=0,2,4,6
/proc/4500/task/4506/stat : 4506 (java) S 4497 4500 875 0 -1 1077944384 65 0 0 0 3 0 0 0 20 0 15 0 246104006 14429130752 64568 33554432000 4194304 4196468 140726891988496 140701528983824 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4507] ppid=4497 vsize=14090948 memory=3816 CPUtime=0.01 cores=0,2,4,6
/proc/4500/task/4507/stat : 4507 (java) S 4497 4500 875 0 -1 1077944384 276 0 0 0 1 0 0 0 20 0 15 0 246104007 14429130752 64568 33554432000 4194304 4196468 140726891988496 140701076142960 140701602065026 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4508] ppid=4497 vsize=14090948 memory=66844 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4508/stat : 4508 (java) S 4497 4500 875 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 246104008 14429130752 64568 33554432000 4194304 4196468 140726891988496 140701075088992 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4509] ppid=4497 vsize=14090948 memory=1116 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4509/stat : 4509 (java) S 4497 4500 875 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 246104008 14429130752 64568 33554432000 4194304 4196468 140726891988496 140701074036096 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4510] ppid=4497 vsize=14090948 memory=2144 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4510/stat : 4510 (java) S 4497 4500 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246104010 14429130752 64568 33554432000 4194304 4196468 140726891988496 140701072984400 140701602072475 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4511] ppid=4497 vsize=14090948 memory=1752 CPUtime=2.1 cores=0,2,4,6
/proc/4500/task/4511/stat : 4511 (java) S 4497 4500 875 0 -1 1077944384 7384 0 0 0 209 1 0 0 20 0 15 0 246104010 14429130752 64568 33554432000 4194304 4196468 140726891988496 140701071931760 140701602065026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4512] ppid=4497 vsize=14090948 memory=748 CPUtime=2.06 cores=0,2,4,6
/proc/4500/task/4512/stat : 4512 (java) S 4497 4500 875 0 -1 1077944384 6118 0 0 0 205 1 0 0 20 0 15 0 246104010 14429130752 64568 33554432000 4194304 4196468 140726891988496 140701070878960 140701602065026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4513] ppid=4497 vsize=14090948 memory=2144 CPUtime=0.84 cores=0,2,4,6
/proc/4500/task/4513/stat : 4513 (java) S 4497 4500 875 0 -1 1077944384 5756 0 0 0 83 1 0 0 20 0 15 0 246104010 14429130752 64568 33554432000 4194304 4196468 140726891988496 140701069826160 140701602065026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4514] ppid=4497 vsize=14090948 memory=1752 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4514/stat : 4514 (java) S 4497 4500 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246104010 14429130752 64568 33554432000 4194304 4196468 140726891988496 140701068773600 140701602064085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
[pid=4500/tid=4515] ppid=4497 vsize=14090948 memory=748 CPUtime=0 cores=0,2,4,6
/proc/4500/task/4515/stat : 4515 (java) S 4497 4500 875 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 246104010 14429130752 64568 33554432000 4194304 4196468 140726891988496 140701067721904 140701602065026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17498112 140726891996244 140726891996425 140726891996425 140726891999183 0
Current children cumulated CPU time: 11.43 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 258272 KiB

Child status: 0
Real time (s): 6.35999
CPU time (s): 11.5061
CPU user time (s): 11.3449
CPU system time (s): 0.161192
CPU usage (%): 180.914
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 258272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.3449
system time used= 0.161192
maximum resident set size= 259072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41665
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2882
involuntary context switches= 42


# summary of solver processes directly reported to runsolver:
#   pid: 4500
#   total CPU time (s): 11.5061
#   total CPU user time (s): 11.3449
#   total CPU system time (s): 0.161192

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.059349 second user time and 0.102007 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-scen-05-opt_c18.xml
MD5SUM	d1449c913cc5aeed08f9a5dcd27a0601
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	792
Best CPU time to get the best result obtained on this benchmark	1.44759
Satisfiable
(Un)Satisfiability was proved
Number of variables	400
Number of constraints	2598
Number of domains	4
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":2},{"size":22,"count":10},{"size":36,"count":192},{"size":44,"count":196}]
Minimum variable degree	2
Maximum variable degree	60
Distribution of variable degrees	[{"degree":2,"count":4},{"degree":3,"count":2},{"degree":4,"count":16},{"degree":5,"count":10},{"degree":6,"count":37},{"degree":7,"count":16},{"degree":8,"count":41},{"degree":9,"count":14},{"degree":10,"count":40},{"degree":11,"count":20},{"degree":12,"count":14},{"degree":13,"count":13},{"degree":14,"count":21},{"degree":15,"count":8},{"degree":16,"count":16},{"degree":17,"count":12},{"degree":18,"count":18},{"degree":19,"count":9},{"degree":20,"count":14},{"degree":21,"count":13},{"degree":22,"count":6},{"degree":23,"count":10},{"degree":24,"count":4},{"degree":25,"count":11},{"degree":26,"count":4},{"degree":27,"count":2},{"degree":28,"count":2},{"degree":29,"count":3},{"degree":30,"count":2},{"degree":31,"count":3},{"degree":32,"count":3},{"degree":33,"count":1},{"degree":37,"count":1},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":2},{"degree":53,"count":1},{"degree":60,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":2598}]
Number of extensional constraints	0
Number of intensional constraints	2598
Distribution of constraint types	[{"type":"intension","count":2598}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4308653

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
