2019 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-24	OPT	394	19.7799	12.0877
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 (12494 MiB free)
  memory of node 1: 16384 MiB (11399 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406447-1569405694/watcher-4406447-1569405694 -o /var/tmp/evaluation-result-4406447-1569405694/solver-4406447-1569405694 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node146-1569396628-15288 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 734900325 HOME/instance-4406447-1569405694.xml 

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

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

solver pid=17298, runsolver pid=17295

[startup+0.100071 s]*
/proc/loadavg: 1.81 1.78 1.83 4/230 17314
/proc/meminfo: memFree=24451084/32770624 swapFree=67002032/67108860
[pid=17298] ppid=17295 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/17298/stat : 17298 (xcsp3-exec) S 17295 17298 15256 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516483368 115843072 364 33554432000 4194304 5098028 140729188771424 140729188769528 140361676567164 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21229568 140729188774743 140729188775001 140729188775001 140729188777926 0
/proc/17298/statm: 28282 364 305 221 0 87 0
[pid=17300] ppid=17298 vsize=15144776 memory=29368 CPUtime=0.13 cores=1,3,5,7
/proc/17300/stat : 17300 (java) S 17298 17298 15256 0 -1 1077944320 5761 0 0 0 12 1 0 0 20 0 15 0 516483369 15508250624 7342 33554432000 4194304 4196468 140721777263712 140721777246256 140324143693559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
/proc/17300/statm: 3786194 7342 3152 1 0 3748377 0
[pid=17300/tid=17301] ppid=17298 vsize=15144776 memory=8252428994737482315 CPUtime=0.09 cores=1,3,5,7
/proc/17300/task/17301/stat : 17301 (java) R 17298 17298 15256 0 -1 4202560 3638 0 0 0 8 1 0 0 20 0 15 0 516483369 15508250624 7342 33554432000 4194304 4196468 140721777263712 140324147922912 140324143715485 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17302] ppid=17298 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17302/stat : 17302 (java) S 17298 17298 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516483370 15508250624 7342 33554432000 4194304 4196468 140721777263712 140324100246160 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17303] ppid=17298 vsize=15144776 memory=139919691589248 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17303/stat : 17303 (java) S 17298 17298 15256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516483370 15508250624 7342 33554432000 4194304 4196468 140721777263712 140324099193360 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17304] ppid=17298 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17304/stat : 17304 (java) S 17298 17298 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516483370 15508250624 7342 33554432000 4194304 4196468 140721777263712 140323734083984 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17305] ppid=17298 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17305/stat : 17305 (java) S 17298 17298 15256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516483370 15508250624 7342 33554432000 4194304 4196468 140721777263712 140323733031184 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17306] ppid=17298 vsize=15144776 memory=139919691589248 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17306/stat : 17306 (java) S 17298 17298 15256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516483371 15508250624 7342 33554432000 4194304 4196468 140721777263712 140323612195696 140324143704706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17307] ppid=17298 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17307/stat : 17307 (java) S 17298 17298 15256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516483372 15508250624 7342 33554432000 4194304 4196468 140721777263712 140323611141664 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17308] ppid=17298 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17308/stat : 17308 (java) S 17298 17298 15256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516483372 15508250624 7342 33554432000 4194304 4196468 140721777263712 140323610088816 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17309] ppid=17298 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17309/stat : 17309 (java) S 17298 17298 15256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516483374 15508250624 7342 33554432000 4194304 4196468 140721777263712 140323609037136 140324143712155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17310] ppid=17298 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17310/stat : 17310 (java) S 17298 17298 15256 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 516483374 15508250624 7342 33554432000 4194304 4196468 140721777263712 140323607984496 140324143704706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17311] ppid=17298 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17311/stat : 17311 (java) S 17298 17298 15256 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 516483374 15508250624 7342 33554432000 4194304 4196468 140721777263712 140323606931696 140324143704706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17312] ppid=17298 vsize=15144776 memory=139919691589248 CPUtime=0.02 cores=1,3,5,7
/proc/17300/task/17312/stat : 17312 (java) R 17298 17298 15256 0 -1 4202560 330 0 0 0 2 0 0 0 20 0 15 0 516483374 15508250624 7342 33554432000 4194304 4196468 140721777263712 140323605878896 140324122827471 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17313] ppid=17298 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17313/stat : 17313 (java) S 17298 17298 15256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516483374 15508250624 7342 33554432000 4194304 4196468 140721777263712 140323604826336 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17314] ppid=17298 vsize=15144776 memory=139919691589248 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17314/stat : 17314 (java) S 17298 17298 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516483375 15508250624 7342 33554432000 4194304 4196468 140721777263712 140323603774640 140324143704706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30824 KiB

[startup+0.210829 s]*
/proc/loadavg: 1.81 1.78 1.83 6/230 17314
/proc/meminfo: memFree=24438240/32770624 swapFree=67002032/67108860
[pid=17298] ppid=17295 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/17298/stat : 17298 (xcsp3-exec) S 17295 17298 15256 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516483368 115843072 364 33554432000 4194304 5098028 140729188771424 140729188769528 140361676567164 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21229568 140729188774743 140729188775001 140729188775001 140729188777926 0
/proc/17298/statm: 28282 364 305 221 0 87 0
[pid=17300] ppid=17298 vsize=15144776 memory=40536 CPUtime=0.34 cores=1,3,5,7
/proc/17300/stat : 17300 (java) S 17298 17298 15256 0 -1 1077944320 9349 0 0 0 32 2 0 0 20 0 15 0 516483369 15508250624 10134 33554432000 4194304 4196468 140721777263712 140721777246256 140324143693559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
/proc/17300/statm: 3786194 10134 3321 1 0 3748377 0
[pid=17300/tid=17301] ppid=17298 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/17300/task/17301/stat : 17301 (java) R 17298 17298 15256 0 -1 4202560 6596 0 0 0 18 2 0 0 20 0 15 0 516483369 15508250624 10134 33554432000 4194304 4196468 140721777263712 140324147926288 140324143715485 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17302] ppid=17298 vsize=15144776 memory=13675 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17302/stat : 17302 (java) S 17298 17298 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516483370 15508250624 10134 33554432000 4194304 4196468 140721777263712 140324100246160 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17303] ppid=17298 vsize=15144776 memory=4122960211416164000 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17303/stat : 17303 (java) S 17298 17298 15256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516483370 15508250624 10134 33554432000 4194304 4196468 140721777263712 140324099193360 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17304] ppid=17298 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17304/stat : 17304 (java) S 17298 17298 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516483370 15508250624 10134 33554432000 4194304 4196468 140721777263712 140323734083984 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17305] ppid=17298 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17305/stat : 17305 (java) S 17298 17298 15256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516483370 15508250624 10134 33554432000 4194304 4196468 140721777263712 140323733031184 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17306] ppid=17298 vsize=15144776 memory=139919691589248 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17306/stat : 17306 (java) S 17298 17298 15256 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516483371 15508250624 10134 33554432000 4194304 4196468 140721777263712 140323612195696 140324143704706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17307] ppid=17298 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17307/stat : 17307 (java) S 17298 17298 15256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516483372 15508250624 10134 33554432000 4194304 4196468 140721777263712 140323611141664 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17308] ppid=17298 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17308/stat : 17308 (java) S 17298 17298 15256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516483372 15508250624 10134 33554432000 4194304 4196468 140721777263712 140323610088816 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17309] ppid=17298 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17309/stat : 17309 (java) S 17298 17298 15256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516483374 15508250624 10134 33554432000 4194304 4196468 140721777263712 140323609037136 140324143712155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17310] ppid=17298 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/17300/task/17310/stat : 17310 (java) S 17298 17298 15256 0 -1 1077944384 523 0 0 0 2 0 0 0 20 0 15 0 516483374 15508250624 10134 33554432000 4194304 4196468 140721777263712 140323607984496 140324143704706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17311] ppid=17298 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/17300/task/17311/stat : 17311 (java) S 17298 17298 15256 0 -1 1077944384 138 0 0 0 2 0 0 0 20 0 15 0 516483374 15508250624 10134 33554432000 4194304 4196468 140721777263712 140323606931696 140324143704706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17312] ppid=17298 vsize=15144776 memory=139919691589248 CPUtime=0.08 cores=1,3,5,7
/proc/17300/task/17312/stat : 17312 (java) S 17298 17298 15256 0 -1 1077944384 785 0 0 0 8 0 0 0 20 0 15 0 516483374 15508250624 10134 33554432000 4194304 4196468 140721777263712 140323605878896 140324143704706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17313] ppid=17298 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17313/stat : 17313 (java) S 17298 17298 15256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516483374 15508250624 10134 33554432000 4194304 4196468 140721777263712 140323604826336 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17314] ppid=17298 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17314/stat : 17314 (java) S 17298 17298 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516483375 15508250624 10134 33554432000 4194304 4196468 140721777263712 140323603774640 140324143704706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41992 KiB

[startup+0.319265 s]*
/proc/loadavg: 1.81 1.78 1.83 4/230 17314
/proc/meminfo: memFree=24430800/32770624 swapFree=67002032/67108860
[pid=17298] ppid=17295 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/17298/stat : 17298 (xcsp3-exec) S 17295 17298 15256 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516483368 115843072 364 33554432000 4194304 5098028 140729188771424 140729188769528 140361676567164 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21229568 140729188774743 140729188775001 140729188775001 140729188777926 0
/proc/17298/statm: 28282 364 305 221 0 87 0
[pid=17300] ppid=17298 vsize=15149032 memory=50340 CPUtime=0.55 cores=1,3,5,7
/proc/17300/stat : 17300 (java) S 17298 17298 15256 0 -1 1077944320 10890 0 0 0 51 4 0 0 20 0 15 0 516483369 15512608768 12585 33554432000 4194304 4196468 140721777263712 140721777246256 140324143693559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
/proc/17300/statm: 3787258 12585 3361 1 0 3748377 0
[pid=17300/tid=17301] ppid=17298 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/17300/task/17301/stat : 17301 (java) R 17298 17298 15256 0 -1 4202560 7884 0 0 0 27 3 0 0 20 0 15 0 516483369 15512608768 12585 33554432000 4194304 4196468 140721777263712 140324147925920 140324127774046 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17302] ppid=17298 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17302/stat : 17302 (java) S 17298 17298 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516483370 15512608768 12585 33554432000 4194304 4196468 140721777263712 140324100246160 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17303] ppid=17298 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17303/stat : 17303 (java) S 17298 17298 15256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516483370 15512608768 12585 33554432000 4194304 4196468 140721777263712 140324099193360 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17304] ppid=17298 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17304/stat : 17304 (java) S 17298 17298 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516483370 15512608768 12585 33554432000 4194304 4196468 140721777263712 140323734083984 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17305] ppid=17298 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17305/stat : 17305 (java) S 17298 17298 15256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516483370 15512608768 12585 33554432000 4194304 4196468 140721777263712 140323733031184 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17306] ppid=17298 vsize=15149032 memory=-7305852742256935071 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17306/stat : 17306 (java) S 17298 17298 15256 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516483371 15512608768 12585 33554432000 4194304 4196468 140721777263712 140323612195696 140324143704706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17307] ppid=17298 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17307/stat : 17307 (java) S 17298 17298 15256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516483372 15512608768 12585 33554432000 4194304 4196468 140721777263712 140323611141664 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17308] ppid=17298 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17308/stat : 17308 (java) S 17298 17298 15256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516483372 15512608768 12585 33554432000 4194304 4196468 140721777263712 140323610088816 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17309] ppid=17298 vsize=15149032 memory=8514701219781834910 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17309/stat : 17309 (java) S 17298 17298 15256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516483374 15512608768 12585 33554432000 4194304 4196468 140721777263712 140323609037136 140324143712155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17310] ppid=17298 vsize=15149032 memory=6576575808607069861 CPUtime=0.05 cores=1,3,5,7
/proc/17300/task/17310/stat : 17310 (java) S 17298 17298 15256 0 -1 1077944384 616 0 0 0 5 0 0 0 20 0 15 0 516483374 15512608768 12585 33554432000 4194304 4196468 140721777263712 140323607984496 140324143704706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17311] ppid=17298 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/17300/task/17311/stat : 17311 (java) S 17298 17298 15256 0 -1 1077944384 147 0 0 0 4 0 0 0 20 0 15 0 516483374 15512608768 12585 33554432000 4194304 4196468 140721777263712 140323606931696 140324143704706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17312] ppid=17298 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/17300/task/17312/stat : 17312 (java) S 17298 17298 15256 0 -1 1077944384 947 0 0 0 13 0 0 0 20 0 15 0 516483374 15512608768 12585 33554432000 4194304 4196468 140721777263712 140323605878896 140324143704706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17313] ppid=17298 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17313/stat : 17313 (java) S 17298 17298 15256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516483374 15512608768 12585 33554432000 4194304 4196468 140721777263712 140323604826336 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17314] ppid=17298 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17314/stat : 17314 (java) S 17298 17298 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516483375 15512608768 12585 33554432000 4194304 4196468 140721777263712 140323603774640 140324143704706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51796 KiB

[startup+0.701002 s]
/proc/loadavg: 1.81 1.78 1.83 6/230 17314
/proc/meminfo: memFree=24408224/32770624 swapFree=67002032/67108860
[pid=17298] ppid=17295 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/17298/stat : 17298 (xcsp3-exec) S 17295 17298 15256 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516483368 115843072 364 33554432000 4194304 5098028 140729188771424 140729188769528 140361676567164 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21229568 140729188774743 140729188775001 140729188775001 140729188777926 0
/proc/17298/statm: 28282 364 305 221 0 87 0
[pid=17300] ppid=17298 vsize=15151156 memory=99820 CPUtime=1.71 cores=1,3,5,7
/proc/17300/stat : 17300 (java) S 17298 17298 15256 0 -1 1077944320 14917 0 0 0 166 5 0 0 20 0 15 0 516483369 15514783744 24955 33554432000 4194304 4196468 140721777263712 140721777246256 140324143693559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
/proc/17300/statm: 3787789 24955 3449 1 0 3748889 0
[pid=17300/tid=17301] ppid=17298 vsize=15151156 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/17300/task/17301/stat : 17301 (java) R 17298 17298 15256 0 -1 4202560 8943 0 0 0 63 4 0 0 20 0 15 0 516483369 15514783744 24955 33554432000 4194304 4196468 140721777263712 140324147912784 140324143715485 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17302] ppid=17298 vsize=15151156 memory=64820 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17302/stat : 17302 (java) S 17298 17298 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516483370 15514783744 24955 33554432000 4194304 4196468 140721777263712 140324100246160 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17303] ppid=17298 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17303/stat : 17303 (java) S 17298 17298 15256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516483370 15514783744 24955 33554432000 4194304 4196468 140721777263712 140324099193360 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17304] ppid=17298 vsize=15151156 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17304/stat : 17304 (java) S 17298 17298 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516483370 15514783744 24955 33554432000 4194304 4196468 140721777263712 140323734083984 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17305] ppid=17298 vsize=15151156 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17305/stat : 17305 (java) S 17298 17298 15256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516483370 15514783744 24955 33554432000 4194304 4196468 140721777263712 140323733031184 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17306] ppid=17298 vsize=15151156 memory=580 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17306/stat : 17306 (java) S 17298 17298 15256 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516483371 15514783744 24955 33554432000 4194304 4196468 140721777263712 140323612195696 140324143704706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17307] ppid=17298 vsize=15151156 memory=1692 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17307/stat : 17307 (java) S 17298 17298 15256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516483372 15514783744 24955 33554432000 4194304 4196468 140721777263712 140323611141664 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17308] ppid=17298 vsize=15151156 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17308/stat : 17308 (java) S 17298 17298 15256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516483372 15514783744 24955 33554432000 4194304 4196468 140721777263712 140323610088816 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17309] ppid=17298 vsize=15151156 memory=7548 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17309/stat : 17309 (java) S 17298 17298 15256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516483374 15514783744 24955 33554432000 4194304 4196468 140721777263712 140323609037136 140324143712155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17310] ppid=17298 vsize=15151156 memory=2832 CPUtime=0.31 cores=1,3,5,7
/proc/17300/task/17310/stat : 17310 (java) R 17298 17298 15256 0 -1 4202560 1323 0 0 0 31 0 0 0 20 0 15 0 516483374 15514783744 24955 33554432000 4194304 4196468 140721777263712 140323607974288 140324127938115 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17311] ppid=17298 vsize=15151156 memory=1224 CPUtime=0.35 cores=1,3,5,7
/proc/17300/task/17311/stat : 17311 (java) R 17298 17298 15256 0 -1 4202560 1092 0 0 0 35 0 0 0 20 0 15 0 516483374 15514783744 24955 33554432000 4194304 4196468 140721777263712 140323606931696 140324129738561 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17312] ppid=17298 vsize=15151156 memory=6172 CPUtime=0.35 cores=1,3,5,7
/proc/17300/task/17312/stat : 17312 (java) R 17298 17298 15256 0 -1 1077944384 2249 0 0 0 35 0 0 0 20 0 15 0 516483374 15514783744 24955 33554432000 4194304 4196468 140721777263712 140323605878896 140324143704706 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17313] ppid=17298 vsize=15151156 memory=772 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17313/stat : 17313 (java) S 17298 17298 15256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516483374 15514783744 24955 33554432000 4194304 4196468 140721777263712 140323604826336 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17314] ppid=17298 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17314/stat : 17314 (java) S 17298 17298 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516483375 15514783744 24955 33554432000 4194304 4196468 140721777263712 140323603774640 140324143704706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 101276 KiB

[startup+1.50126 s]
/proc/loadavg: 1.81 1.78 1.83 5/230 17314
/proc/meminfo: memFree=24321656/32770624 swapFree=67002032/67108860
[pid=17298] ppid=17295 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/17298/stat : 17298 (xcsp3-exec) S 17295 17298 15256 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516483368 115843072 364 33554432000 4194304 5098028 140729188771424 140729188769528 140361676567164 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21229568 140729188774743 140729188775001 140729188775001 140729188777926 0
/proc/17298/statm: 28282 364 305 221 0 87 0

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

/proc/17298/stat : 17298 (xcsp3-exec) S 17295 17298 15256 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516483368 115843072 364 33554432000 4194304 5098028 140729188771424 140729188769528 140361676567164 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21229568 140729188774743 140729188775001 140729188775001 140729188777926 0
/proc/17298/statm: 28282 364 305 221 0 87 0
[pid=17300] ppid=17298 vsize=15151156 memory=227320 CPUtime=16.41 cores=1,3,5,7
/proc/17300/stat : 17300 (java) S 17298 17298 15256 0 -1 1077944320 33143 0 0 0 1627 14 0 0 20 0 15 0 516483369 15514783744 56830 33554432000 4194304 4196468 140721777263712 140721777246256 140324143693559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
/proc/17300/statm: 3787789 56830 3513 1 0 3748889 0
[pid=17300/tid=17301] ppid=17298 vsize=15151156 memory=227084 CPUtime=9.55 cores=1,3,5,7
/proc/17300/task/17301/stat : 17301 (java) R 17298 17298 15256 0 -1 4202560 11285 0 0 0 948 7 0 0 20 0 15 0 516483369 15514783744 56830 33554432000 4194304 4196468 140721777263712 140324147930256 140323786242341 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17302] ppid=17298 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17302/stat : 17302 (java) S 17298 17298 15256 0 -1 1077944384 186 0 0 0 0 0 0 0 20 0 15 0 516483370 15514783744 56830 33554432000 4194304 4196468 140721777263712 140324100246160 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17303] ppid=17298 vsize=15151156 memory=229652 CPUtime=0.01 cores=1,3,5,7
/proc/17300/task/17303/stat : 17303 (java) S 17298 17298 15256 0 -1 1077944384 81 0 0 0 1 0 0 0 20 0 15 0 516483370 15514783744 56830 33554432000 4194304 4196468 140721777263712 140324099193360 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17304] ppid=17298 vsize=15151156 memory=-7965959130280075168 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17304/stat : 17304 (java) S 17298 17298 15256 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 516483370 15514783744 56830 33554432000 4194304 4196468 140721777263712 140323734083984 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17305] ppid=17298 vsize=15151156 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17305/stat : 17305 (java) S 17298 17298 15256 0 -1 1077944384 466 0 0 0 0 0 0 0 20 0 15 0 516483370 15514783744 56830 33554432000 4194304 4196468 140721777263712 140323733031184 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17306] ppid=17298 vsize=15151156 memory=-7452758581673490302 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17306/stat : 17306 (java) S 17298 17298 15256 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 516483371 15514783744 56830 33554432000 4194304 4196468 140721777263712 140323612195696 140324143704706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17307] ppid=17298 vsize=15151156 memory=-7452758581673424766 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17307/stat : 17307 (java) S 17298 17298 15256 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 516483372 15514783744 56830 33554432000 4194304 4196468 140721777263712 140323611141664 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17308] ppid=17298 vsize=15151156 memory=-7452758581673424766 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17308/stat : 17308 (java) S 17298 17298 15256 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 516483372 15514783744 56830 33554432000 4194304 4196468 140721777263712 140323610088816 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17309] ppid=17298 vsize=15151156 memory=35488 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17309/stat : 17309 (java) S 17298 17298 15256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516483374 15514783744 56830 33554432000 4194304 4196468 140721777263712 140323609037136 140324143712155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17310] ppid=17298 vsize=15151156 memory=12028 CPUtime=3.04 cores=1,3,5,7
/proc/17300/task/17310/stat : 17310 (java) S 17298 17298 15256 0 -1 1077944384 6944 0 0 0 303 1 0 0 20 0 15 0 516483374 15514783744 56830 33554432000 4194304 4196468 140721777263712 140323607984496 140324143704706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17311] ppid=17298 vsize=15151156 memory=6791534058613427641 CPUtime=2.95 cores=1,3,5,7
/proc/17300/task/17311/stat : 17311 (java) S 17298 17298 15256 0 -1 1077944384 7306 0 0 0 294 1 0 0 20 0 15 0 516483374 15514783744 56830 33554432000 4194304 4196468 140721777263712 140323606931696 140324143704706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17312] ppid=17298 vsize=15151156 memory=227316 CPUtime=0.77 cores=1,3,5,7
/proc/17300/task/17312/stat : 17312 (java) S 17298 17298 15256 0 -1 1077944384 5164 0 0 0 75 2 0 0 20 0 15 0 516483374 15514783744 56830 33554432000 4194304 4196468 140721777263712 140323605878896 140324143704706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17313] ppid=17298 vsize=15151156 memory=928 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17313/stat : 17313 (java) S 17298 17298 15256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516483374 15514783744 56830 33554432000 4194304 4196468 140721777263712 140323604826336 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17314] ppid=17298 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17314/stat : 17314 (java) S 17298 17298 15256 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 516483375 15514783744 56830 33554432000 4194304 4196468 140721777263712 140323603774640 140324143704706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
Current children cumulated CPU time: 16.41 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 228776 KiB

[startup+11.2008 s]
/proc/loadavg: 1.84 1.79 1.83 3/231 17337
/proc/meminfo: memFree=24251884/32770624 swapFree=67002032/67108860
[pid=17298] ppid=17295 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/17298/stat : 17298 (xcsp3-exec) S 17295 17298 15256 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516483368 115843072 364 33554432000 4194304 5098028 140729188771424 140729188769528 140361676567164 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21229568 140729188774743 140729188775001 140729188775001 140729188777926 0
/proc/17298/statm: 28282 364 305 221 0 87 0
[pid=17300] ppid=17298 vsize=15151156 memory=227392 CPUtime=18.2 cores=1,3,5,7
/proc/17300/stat : 17300 (java) S 17298 17298 15256 0 -1 1077944320 36011 0 0 0 1806 14 0 0 20 0 15 0 516483369 15514783744 56848 33554432000 4194304 4196468 140721777263712 140721777246256 140324143693559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
/proc/17300/statm: 3787789 56848 3513 1 0 3748889 0
[pid=17300/tid=17301] ppid=17298 vsize=15151156 memory=16106965717748363 CPUtime=11.15 cores=1,3,5,7
/proc/17300/task/17301/stat : 17301 (java) R 17298 17298 15256 0 -1 4202560 11295 0 0 0 1108 7 0 0 20 0 15 0 516483369 15514783744 56848 33554432000 4194304 4196468 140721777263712 140324147929088 140323786447857 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17302] ppid=17298 vsize=15151156 memory=3 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17302/stat : 17302 (java) S 17298 17298 15256 0 -1 1077944384 186 0 0 0 0 0 0 0 20 0 15 0 516483370 15514783744 56848 33554432000 4194304 4196468 140721777263712 140324100246160 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17303] ppid=17298 vsize=15151156 memory=988 CPUtime=0.01 cores=1,3,5,7
/proc/17300/task/17303/stat : 17303 (java) S 17298 17298 15256 0 -1 1077944384 81 0 0 0 1 0 0 0 20 0 15 0 516483370 15514783744 56848 33554432000 4194304 4196468 140721777263712 140324099193360 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17304] ppid=17298 vsize=15151156 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17304/stat : 17304 (java) S 17298 17298 15256 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 516483370 15514783744 56848 33554432000 4194304 4196468 140721777263712 140323734083984 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17305] ppid=17298 vsize=15151156 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17305/stat : 17305 (java) S 17298 17298 15256 0 -1 1077944384 466 0 0 0 0 0 0 0 20 0 15 0 516483370 15514783744 56848 33554432000 4194304 4196468 140721777263712 140323733031184 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17306] ppid=17298 vsize=15151156 memory=580 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17306/stat : 17306 (java) S 17298 17298 15256 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 516483371 15514783744 56848 33554432000 4194304 4196468 140721777263712 140323612195696 140324143704706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17307] ppid=17298 vsize=15151156 memory=1692 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17307/stat : 17307 (java) S 17298 17298 15256 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 516483372 15514783744 56848 33554432000 4194304 4196468 140721777263712 140323611141664 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17308] ppid=17298 vsize=15151156 memory=164 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17308/stat : 17308 (java) S 17298 17298 15256 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 516483372 15514783744 56848 33554432000 4194304 4196468 140721777263712 140323610088816 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17309] ppid=17298 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17309/stat : 17309 (java) S 17298 17298 15256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516483374 15514783744 56848 33554432000 4194304 4196468 140721777263712 140323609037136 140324143712155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17310] ppid=17298 vsize=15151156 memory=0 CPUtime=3.15 cores=1,3,5,7
/proc/17300/task/17310/stat : 17310 (java) S 17298 17298 15256 0 -1 1077944384 8031 0 0 0 314 1 0 0 20 0 15 0 516483374 15514783744 56848 33554432000 4194304 4196468 140721777263712 140323607984496 140324143704706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17311] ppid=17298 vsize=15151156 memory=0 CPUtime=3.04 cores=1,3,5,7
/proc/17300/task/17311/stat : 17311 (java) S 17298 17298 15256 0 -1 1077944384 8840 0 0 0 303 1 0 0 20 0 15 0 516483374 15514783744 56848 33554432000 4194304 4196468 140721777263712 140323606931696 140324143704706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17312] ppid=17298 vsize=15151156 memory=0 CPUtime=0.77 cores=1,3,5,7
/proc/17300/task/17312/stat : 17312 (java) S 17298 17298 15256 0 -1 1077944384 5375 0 0 0 75 2 0 0 20 0 15 0 516483374 15514783744 56848 33554432000 4194304 4196468 140721777263712 140323605878896 140324143704706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17313] ppid=17298 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17313/stat : 17313 (java) S 17298 17298 15256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516483374 15514783744 56848 33554432000 4194304 4196468 140721777263712 140323604826336 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17314] ppid=17298 vsize=15151156 memory=7548 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17314/stat : 17314 (java) S 17298 17298 15256 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 516483375 15514783744 56848 33554432000 4194304 4196468 140721777263712 140323603774640 140324143704706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
Current children cumulated CPU time: 18.2 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 228848 KiB

[startup+11.6009 s]
/proc/loadavg: 1.84 1.79 1.83 3/231 17337
/proc/meminfo: memFree=24251884/32770624 swapFree=67002032/67108860
[pid=17298] ppid=17295 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/17298/stat : 17298 (xcsp3-exec) S 17295 17298 15256 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516483368 115843072 364 33554432000 4194304 5098028 140729188771424 140729188769528 140361676567164 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21229568 140729188774743 140729188775001 140729188775001 140729188777926 0
/proc/17298/statm: 28282 364 305 221 0 87 0
[pid=17300] ppid=17298 vsize=15153204 memory=227408 CPUtime=18.76 cores=1,3,5,7
/proc/17300/stat : 17300 (java) S 17298 17298 15256 0 -1 1077944320 37913 0 0 0 1861 15 0 0 20 0 15 0 516483369 15516880896 56852 33554432000 4194304 4196468 140721777263712 140721777246256 140324143693559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
/proc/17300/statm: 3788301 56852 3513 1 0 3749401 0
[pid=17300/tid=17301] ppid=17298 vsize=15153204 memory=6944652177228980320 CPUtime=11.55 cores=1,3,5,7
/proc/17300/task/17301/stat : 17301 (java) R 17298 17298 15256 0 -1 4202560 11305 0 0 0 1148 7 0 0 20 0 15 0 516483369 15516880896 56852 33554432000 4194304 4196468 140721777263712 140324147929088 140323785800916 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17302] ppid=17298 vsize=15153204 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17302/stat : 17302 (java) S 17298 17298 15256 0 -1 1077944384 186 0 0 0 0 0 0 0 20 0 15 0 516483370 15516880896 56852 33554432000 4194304 4196468 140721777263712 140324100246160 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17303] ppid=17298 vsize=15153204 memory=8560712388882833484 CPUtime=0.01 cores=1,3,5,7
/proc/17300/task/17303/stat : 17303 (java) S 17298 17298 15256 0 -1 1077944384 81 0 0 0 1 0 0 0 20 0 15 0 516483370 15516880896 56852 33554432000 4194304 4196468 140721777263712 140324099193360 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17304] ppid=17298 vsize=15153204 memory=8475934422144280176 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17304/stat : 17304 (java) S 17298 17298 15256 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 516483370 15516880896 56852 33554432000 4194304 4196468 140721777263712 140323734083984 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17305] ppid=17298 vsize=15153204 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17305/stat : 17305 (java) S 17298 17298 15256 0 -1 1077944384 466 0 0 0 0 0 0 0 20 0 15 0 516483370 15516880896 56852 33554432000 4194304 4196468 140721777263712 140323733031184 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17306] ppid=17298 vsize=15153204 memory=7548 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17306/stat : 17306 (java) S 17298 17298 15256 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 516483371 15516880896 56852 33554432000 4194304 4196468 140721777263712 140323612195696 140324143704706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17307] ppid=17298 vsize=15153204 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17307/stat : 17307 (java) S 17298 17298 15256 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 516483372 15516880896 56852 33554432000 4194304 4196468 140721777263712 140323611141664 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17308] ppid=17298 vsize=15153204 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17308/stat : 17308 (java) S 17298 17298 15256 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 516483372 15516880896 56852 33554432000 4194304 4196468 140721777263712 140323610088816 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17309] ppid=17298 vsize=15153204 memory=6172 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17309/stat : 17309 (java) S 17298 17298 15256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516483374 15516880896 56852 33554432000 4194304 4196468 140721777263712 140323609037136 140324143712155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17310] ppid=17298 vsize=15153204 memory=772 CPUtime=3.15 cores=1,3,5,7
/proc/17300/task/17310/stat : 17310 (java) S 17298 17298 15256 0 -1 1077944384 8032 0 0 0 314 1 0 0 20 0 15 0 516483374 15516880896 56852 33554432000 4194304 4196468 140721777263712 140323607984496 140324143704706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17311] ppid=17298 vsize=15153204 memory=1556 CPUtime=3.18 cores=1,3,5,7
/proc/17300/task/17311/stat : 17311 (java) R 17298 17298 15256 0 -1 4202560 10709 0 0 0 317 1 0 0 20 0 15 0 516483374 15516880896 56852 33554432000 4194304 4196468 140721777263712 140323606931696 140324127080143 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17312] ppid=17298 vsize=15153204 memory=1056 CPUtime=0.77 cores=1,3,5,7
/proc/17300/task/17312/stat : 17312 (java) S 17298 17298 15256 0 -1 1077944384 5397 0 0 0 75 2 0 0 20 0 15 0 516483374 15516880896 56852 33554432000 4194304 4196468 140721777263712 140323605878896 140324143704706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17313] ppid=17298 vsize=15153204 memory=1096 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17313/stat : 17313 (java) S 17298 17298 15256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516483374 15516880896 56852 33554432000 4194304 4196468 140721777263712 140323604826336 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17314] ppid=17298 vsize=15153204 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17314/stat : 17314 (java) S 17298 17298 15256 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 516483375 15516880896 56852 33554432000 4194304 4196468 140721777263712 140323603774640 140324143704706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
Current children cumulated CPU time: 18.76 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 228864 KiB

[startup+12.0008 s]*
/proc/loadavg: 1.84 1.79 1.83 5/231 17337
/proc/meminfo: memFree=24241840/32770624 swapFree=67002032/67108860
[pid=17298] ppid=17295 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/17298/stat : 17298 (xcsp3-exec) S 17295 17298 15256 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516483368 115843072 364 33554432000 4194304 5098028 140729188771424 140729188769528 140361676567164 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21229568 140729188774743 140729188775001 140729188775001 140729188777926 0
/proc/17298/statm: 28282 364 305 221 0 87 0
[pid=17300] ppid=17298 vsize=15153204 memory=237520 CPUtime=19.63 cores=1,3,5,7
/proc/17300/stat : 17300 (java) S 17298 17298 15256 0 -1 1077944320 41432 0 0 0 1948 15 0 0 20 0 15 0 516483369 15516880896 59380 33554432000 4194304 4196468 140721777263712 140721777246256 140324143693559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
/proc/17300/statm: 3788301 59380 3515 1 0 3749401 0
[pid=17300/tid=17301] ppid=17298 vsize=15153204 memory=1398722017469774279 CPUtime=11.96 cores=1,3,5,7
/proc/17300/task/17301/stat : 17301 (java) R 17298 17298 15256 0 -1 4202560 11390 0 0 0 1189 7 0 0 20 0 15 0 516483369 15516880896 59380 33554432000 4194304 4196468 140721777263712 140324147924816 140323786092894 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17302] ppid=17298 vsize=15153204 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17302/stat : 17302 (java) S 17298 17298 15256 0 -1 1077944384 186 0 0 0 0 0 0 0 20 0 15 0 516483370 15516880896 59380 33554432000 4194304 4196468 140721777263712 140324100246160 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17303] ppid=17298 vsize=15153204 memory=2012 CPUtime=0.01 cores=1,3,5,7
/proc/17300/task/17303/stat : 17303 (java) S 17298 17298 15256 0 -1 1077944384 81 0 0 0 1 0 0 0 20 0 15 0 516483370 15516880896 59380 33554432000 4194304 4196468 140721777263712 140324099193360 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17304] ppid=17298 vsize=15153204 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17304/stat : 17304 (java) S 17298 17298 15256 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 516483370 15516880896 59380 33554432000 4194304 4196468 140721777263712 140323734083984 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17305] ppid=17298 vsize=15153204 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17305/stat : 17305 (java) S 17298 17298 15256 0 -1 1077944384 466 0 0 0 0 0 0 0 20 0 15 0 516483370 15516880896 59380 33554432000 4194304 4196468 140721777263712 140323733031184 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17306] ppid=17298 vsize=15153204 memory=13412 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17306/stat : 17306 (java) S 17298 17298 15256 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 516483371 15516880896 59380 33554432000 4194304 4196468 140721777263712 140323612195696 140324143704706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17307] ppid=17298 vsize=15153204 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17307/stat : 17307 (java) S 17298 17298 15256 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 516483372 15516880896 59380 33554432000 4194304 4196468 140721777263712 140323611141664 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17308] ppid=17298 vsize=15153204 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17308/stat : 17308 (java) S 17298 17298 15256 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 516483372 15516880896 59380 33554432000 4194304 4196468 140721777263712 140323610088816 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17309] ppid=17298 vsize=15153204 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17309/stat : 17309 (java) S 17298 17298 15256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516483374 15516880896 59380 33554432000 4194304 4196468 140721777263712 140323609037136 140324143712155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17310] ppid=17298 vsize=15153204 memory=0 CPUtime=3.26 cores=1,3,5,7
/proc/17300/task/17310/stat : 17310 (java) R 17298 17298 15256 0 -1 4202560 8245 0 0 0 325 1 0 0 20 0 15 0 516483374 15516880896 59380 33554432000 4194304 4196468 140721777263712 140323607965904 140324128801266 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17311] ppid=17298 vsize=15153204 memory=0 CPUtime=3.53 cores=1,3,5,7
/proc/17300/task/17311/stat : 17311 (java) R 17298 17298 15256 0 -1 4202560 13915 0 0 0 352 1 0 0 20 0 15 0 516483374 15516880896 59380 33554432000 4194304 4196468 140721777263712 140323606931696 140324125214753 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17312] ppid=17298 vsize=15153204 memory=0 CPUtime=0.78 cores=1,3,5,7
/proc/17300/task/17312/stat : 17312 (java) S 17298 17298 15256 0 -1 1077944384 5414 0 0 0 76 2 0 0 20 0 15 0 516483374 15516880896 59380 33554432000 4194304 4196468 140721777263712 140323605878896 140324143704706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17313] ppid=17298 vsize=15153204 memory=-8316900901535099443 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17313/stat : 17313 (java) S 17298 17298 15256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516483374 15516880896 59380 33554432000 4194304 4196468 140721777263712 140323604826336 140324143703765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
[pid=17300/tid=17314] ppid=17298 vsize=15153204 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17300/task/17314/stat : 17314 (java) S 17298 17298 15256 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 516483375 15516880896 59380 33554432000 4194304 4196468 140721777263712 140323603774640 140324143704706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23109632 140721777267675 140721777267850 140721777267850 140721777270735 0
Current children cumulated CPU time: 19.63 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 238976 KiB

Child status: 0
Real time (s): 12.0877
CPU time (s): 19.7799
CPU user time (s): 19.6151
CPU system time (s): 0.164779
CPU usage (%): 163.637
Max. virtual memory (cumulated for all children) (KiB): 15266332
Max. memory (cumulated for all children) (KiB): 238976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.6151
system time used= 0.164779
maximum resident set size= 238000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42338
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= 2908
involuntary context switches= 33


# summary of solver processes directly reported to runsolver:
#   pid: 17298
#   total CPU time (s): 19.7799
#   total CPU user time (s): 19.6151
#   total CPU system time (s): 0.164779

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.10251 second user time and 0.167744 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-graph-10-opt_c18.xml
MD5SUM	d4eaac7549f90ed3ded0e25770a164a4
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	394
Best CPU time to get the best result obtained on this benchmark	5.69025
Satisfiable
(Un)Satisfiability was proved
Number of variables	680
Number of constraints	3907
Number of domains	6
Minimum domain size	22
Maximum domain size	44
Distribution of domain sizes	[{"size":22,"count":40},{"size":24,"count":14},{"size":36,"count":146},{"size":42,"count":306},{"size":44,"count":174}]
Minimum variable degree	4
Maximum variable degree	25
Distribution of variable degrees	[{"degree":4,"count":1},{"degree":5,"count":2},{"degree":6,"count":15},{"degree":7,"count":36},{"degree":8,"count":71},{"degree":9,"count":62},{"degree":10,"count":71},{"degree":11,"count":58},{"degree":12,"count":55},{"degree":13,"count":34},{"degree":14,"count":33},{"degree":15,"count":44},{"degree":16,"count":63},{"degree":17,"count":60},{"degree":18,"count":44},{"degree":19,"count":19},{"degree":20,"count":5},{"degree":21,"count":2},{"degree":22,"count":1},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":25,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":3907}]
Number of extensional constraints	0
Number of intensional constraints	3907
Distribution of constraint types	[{"type":"intension","count":3907}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4406447

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
