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	SAT (TO)	22	2400.05	2388.31
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 (13827 MiB free)
  memory of node 1: 16384 MiB (10983 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406608-1569405494/watcher-4406608-1569405494 -o /tmp/evaluation-result-4406608-1569405494/solver-4406608-1569405494 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1569396629-28465 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 1898939242 HOME/instance-4406608-1569405494.xml 

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

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
solver pid=30790, runsolver pid=30787
Current StackSize limit: 8192 KiB


[startup+0.100078 s]*
/proc/loadavg: 1.85 1.95 1.95 5/230 30806
/proc/meminfo: memFree=25389704/32770624 swapFree=66956584/67108860
[pid=30790] ppid=30787 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30790/stat : 30790 (xcsp3-exec) S 30787 30790 28434 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516820747 115843072 362 33554432000 4194304 5098028 140724335719120 140724335717224 139733435163260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12169216 140724335727482 140724335727725 140724335727725 140724335730634 0
/proc/30790/statm: 28282 362 304 221 0 87 0
[pid=30792] ppid=30790 vsize=15144776 memory=28852 CPUtime=0.13 cores=0,2,4,6
/proc/30792/stat : 30792 (java) S 30790 30790 28434 0 -1 1077944320 5700 0 0 0 12 1 0 0 20 0 15 0 516820747 15508250624 7213 33554432000 4194304 4196468 140720769012480 140720768995024 139724774391543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
/proc/30792/statm: 3786194 7213 3119 1 0 3748377 0
[pid=30792/tid=30793] ppid=30790 vsize=15144776 memory=8514701219881124772 CPUtime=0.09 cores=0,2,4,6
/proc/30792/task/30793/stat : 30793 (java) R 30790 30790 28434 0 -1 4202560 3601 0 0 0 9 0 0 0 20 0 15 0 516820747 15508250624 7213 33554432000 4194304 4196468 140720769012480 139724778617840 139724758435173 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30794] ppid=30790 vsize=15144776 memory=3472468728802051280 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30794/stat : 30794 (java) S 30790 30790 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516820748 15508250624 7213 33554432000 4194304 4196468 140720769012480 139724686048400 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30795] ppid=30790 vsize=15144776 memory=140599906899584 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30795/stat : 30795 (java) S 30790 30790 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516820748 15508250624 7213 33554432000 4194304 4196468 140720769012480 139724684995600 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30796] ppid=30790 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30796/stat : 30796 (java) S 30790 30790 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516820748 15508250624 7213 33554432000 4194304 4196468 140720769012480 139724683942800 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30797] ppid=30790 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30797/stat : 30797 (java) S 30790 30790 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516820748 15508250624 7213 33554432000 4194304 4196468 140720769012480 139724682890000 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30798] ppid=30790 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30798/stat : 30798 (java) S 30790 30790 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516820749 15508250624 7213 33554432000 4194304 4196468 140720769012480 139724242565488 139724774402690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30799] ppid=30790 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30799/stat : 30799 (java) S 30790 30790 28434 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516820750 15508250624 7213 33554432000 4194304 4196468 140720769012480 139724241511456 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30800] ppid=30790 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30800/stat : 30800 (java) S 30790 30790 28434 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516820750 15508250624 7213 33554432000 4194304 4196468 140720769012480 139724240458608 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30801] ppid=30790 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30801/stat : 30801 (java) S 30790 30790 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516820752 15508250624 7213 33554432000 4194304 4196468 140720769012480 139724239406928 139724774410139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30802] ppid=30790 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30802/stat : 30802 (java) R 30790 30790 28434 0 -1 4202560 326 0 0 0 0 0 0 0 20 0 15 0 516820752 15508250624 7213 33554432000 4194304 4196468 140720769012480 139724238355312 139724752322144 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30803] ppid=30790 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30803/stat : 30803 (java) R 30790 30790 28434 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 516820752 15508250624 7213 33554432000 4194304 4196468 140720769012480 139724237302512 139724774402690 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30804] ppid=30790 vsize=15144776 memory=140599906899584 CPUtime=0.02 cores=0,2,4,6
/proc/30792/task/30804/stat : 30804 (java) R 30790 30790 28434 0 -1 4202560 363 0 0 0 2 0 0 0 20 0 15 0 516820752 15508250624 7213 33554432000 4194304 4196468 140720769012480 139724236249712 139724753095127 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30805] ppid=30790 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30805/stat : 30805 (java) S 30790 30790 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516820753 15508250624 7213 33554432000 4194304 4196468 140720769012480 139724235197152 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30806] ppid=30790 vsize=15144776 memory=140599906899584 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30806/stat : 30806 (java) S 30790 30790 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516820753 15508250624 7213 33554432000 4194304 4196468 140720769012480 139724234144432 139724774402690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30300 KiB

[startup+0.210838 s]*
/proc/loadavg: 1.85 1.95 1.95 4/230 30806
/proc/meminfo: memFree=25376464/32770624 swapFree=66956584/67108860
[pid=30790] ppid=30787 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30790/stat : 30790 (xcsp3-exec) S 30787 30790 28434 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516820747 115843072 362 33554432000 4194304 5098028 140724335719120 140724335717224 139733435163260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12169216 140724335727482 140724335727725 140724335727725 140724335730634 0
/proc/30790/statm: 28282 362 304 221 0 87 0
[pid=30792] ppid=30790 vsize=15144776 memory=40692 CPUtime=0.34 cores=0,2,4,6
/proc/30792/stat : 30792 (java) S 30790 30790 28434 0 -1 1077944320 9450 0 0 0 31 3 0 0 20 0 15 0 516820747 15508250624 10173 33554432000 4194304 4196468 140720769012480 140720768995024 139724774391543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
/proc/30792/statm: 3786194 10173 3265 1 0 3748377 0
[pid=30792/tid=30793] ppid=30790 vsize=15144776 memory=5855087016065728930 CPUtime=0.2 cores=0,2,4,6
/proc/30792/task/30793/stat : 30793 (java) R 30790 30790 28434 0 -1 4202560 6620 0 0 0 18 2 0 0 20 0 15 0 516820747 15508250624 10173 33554432000 4194304 4196468 140720769012480 139724778628608 139724774403478 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30794] ppid=30790 vsize=15144776 memory=3472468728802051280 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30794/stat : 30794 (java) S 30790 30790 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516820748 15508250624 10173 33554432000 4194304 4196468 140720769012480 139724686048400 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30795] ppid=30790 vsize=15144776 memory=140599906899584 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30795/stat : 30795 (java) S 30790 30790 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516820748 15508250624 10173 33554432000 4194304 4196468 140720769012480 139724684995600 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30796] ppid=30790 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30796/stat : 30796 (java) S 30790 30790 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516820748 15508250624 10173 33554432000 4194304 4196468 140720769012480 139724683942800 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30797] ppid=30790 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30797/stat : 30797 (java) S 30790 30790 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516820748 15508250624 10173 33554432000 4194304 4196468 140720769012480 139724682890000 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30798] ppid=30790 vsize=15144776 memory=140599906899584 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30798/stat : 30798 (java) S 30790 30790 28434 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516820749 15508250624 10173 33554432000 4194304 4196468 140720769012480 139724242565488 139724774402690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30799] ppid=30790 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30799/stat : 30799 (java) S 30790 30790 28434 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516820750 15508250624 10173 33554432000 4194304 4196468 140720769012480 139724241511456 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30800] ppid=30790 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30800/stat : 30800 (java) S 30790 30790 28434 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516820750 15508250624 10173 33554432000 4194304 4196468 140720769012480 139724240458608 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30801] ppid=30790 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30801/stat : 30801 (java) S 30790 30790 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516820752 15508250624 10173 33554432000 4194304 4196468 140720769012480 139724239406928 139724774410139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30802] ppid=30790 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/30792/task/30802/stat : 30802 (java) S 30790 30790 28434 0 -1 1077944384 584 0 0 0 3 0 0 0 20 0 15 0 516820752 15508250624 10173 33554432000 4194304 4196468 140720769012480 139724238355312 139724774402690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30803] ppid=30790 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/30792/task/30803/stat : 30803 (java) S 30790 30790 28434 0 -1 1077944384 163 0 0 0 1 0 0 0 20 0 15 0 516820752 15508250624 10173 33554432000 4194304 4196468 140720769012480 139724237302512 139724774402690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30804] ppid=30790 vsize=15144776 memory=140599906899584 CPUtime=0.08 cores=0,2,4,6
/proc/30792/task/30804/stat : 30804 (java) R 30790 30790 28434 0 -1 4202560 777 0 0 0 8 0 0 0 20 0 15 0 516820752 15508250624 10173 33554432000 4194304 4196468 140720769012480 139724236249712 139724774412890 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30805] ppid=30790 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30805/stat : 30805 (java) S 30790 30790 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516820753 15508250624 10173 33554432000 4194304 4196468 140720769012480 139724235197152 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30806] ppid=30790 vsize=15144776 memory=140599906899584 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30806/stat : 30806 (java) S 30790 30790 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516820753 15508250624 10173 33554432000 4194304 4196468 140720769012480 139724234144432 139724774402690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42140 KiB

[startup+0.317497 s]*
/proc/loadavg: 1.85 1.95 1.95 4/230 30806
/proc/meminfo: memFree=25369120/32770624 swapFree=66956584/67108860
[pid=30790] ppid=30787 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30790/stat : 30790 (xcsp3-exec) S 30787 30790 28434 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516820747 115843072 362 33554432000 4194304 5098028 140724335719120 140724335717224 139733435163260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12169216 140724335727482 140724335727725 140724335727725 140724335730634 0
/proc/30790/statm: 28282 362 304 221 0 87 0
[pid=30792] ppid=30790 vsize=15149032 memory=50696 CPUtime=0.53 cores=0,2,4,6
/proc/30792/stat : 30792 (java) S 30790 30790 28434 0 -1 1077944320 10957 0 0 0 50 3 0 0 20 0 15 0 516820747 15512608768 12674 33554432000 4194304 4196468 140720769012480 140720768995024 139724774391543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
/proc/30792/statm: 3787258 12674 3369 1 0 3748377 0
[pid=30792/tid=30793] ppid=30790 vsize=15149032 memory=8514701219880861597 CPUtime=0.3 cores=0,2,4,6
/proc/30792/task/30793/stat : 30793 (java) R 30790 30790 28434 0 -1 4202560 7875 0 0 0 28 2 0 0 20 0 15 0 516820747 15512608768 12674 33554432000 4194304 4196468 140720769012480 139724778622656 139724774403478 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30794] ppid=30790 vsize=15149032 memory=3472468728802051280 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30794/stat : 30794 (java) S 30790 30790 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516820748 15512608768 12674 33554432000 4194304 4196468 140720769012480 139724686048400 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30795] ppid=30790 vsize=15149032 memory=140599906899584 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30795/stat : 30795 (java) S 30790 30790 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516820748 15512608768 12674 33554432000 4194304 4196468 140720769012480 139724684995600 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30796] ppid=30790 vsize=15149032 memory=5 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30796/stat : 30796 (java) S 30790 30790 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516820748 15512608768 12674 33554432000 4194304 4196468 140720769012480 139724683942800 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30797] ppid=30790 vsize=15149032 memory=140599781107743 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30797/stat : 30797 (java) S 30790 30790 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516820748 15512608768 12674 33554432000 4194304 4196468 140720769012480 139724682890000 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30798] ppid=30790 vsize=15149032 memory=281199562176256 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30798/stat : 30798 (java) S 30790 30790 28434 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516820749 15512608768 12674 33554432000 4194304 4196468 140720769012480 139724242565488 139724774402690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30799] ppid=30790 vsize=15149032 memory=140599781084687 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30799/stat : 30799 (java) S 30790 30790 28434 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516820750 15512608768 12674 33554432000 4194304 4196468 140720769012480 139724241511456 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30800] ppid=30790 vsize=15149032 memory=281199687993440 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30800/stat : 30800 (java) S 30790 30790 28434 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516820750 15512608768 12674 33554432000 4194304 4196468 140720769012480 139724240458608 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30801] ppid=30790 vsize=15149032 memory=140599781089295 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30801/stat : 30801 (java) S 30790 30790 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516820752 15512608768 12674 33554432000 4194304 4196468 140720769012480 139724239406928 139724774410139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30802] ppid=30790 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/30792/task/30802/stat : 30802 (java) S 30790 30790 28434 0 -1 1077944384 606 0 0 0 4 0 0 0 20 0 15 0 516820752 15512608768 12674 33554432000 4194304 4196468 140720769012480 139724238355312 139724774402690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30803] ppid=30790 vsize=15149032 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/30792/task/30803/stat : 30803 (java) R 30790 30790 28434 0 -1 4202560 288 0 0 0 4 0 0 0 20 0 15 0 516820752 15512608768 12674 33554432000 4194304 4196468 140720769012480 139724237289056 139724757948177 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30804] ppid=30790 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/30792/task/30804/stat : 30804 (java) S 30790 30790 28434 0 -1 1077944384 882 0 0 0 12 0 0 0 20 0 15 0 516820752 15512608768 12674 33554432000 4194304 4196468 140720769012480 139724236249712 139724774402690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30805] ppid=30790 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30805/stat : 30805 (java) S 30790 30790 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516820753 15512608768 12674 33554432000 4194304 4196468 140720769012480 139724235197152 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30806] ppid=30790 vsize=15149032 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30806/stat : 30806 (java) S 30790 30790 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516820753 15512608768 12674 33554432000 4194304 4196468 140720769012480 139724234144432 139724774402690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52144 KiB

[startup+0.701078 s]
/proc/loadavg: 1.85 1.95 1.95 6/230 30806
/proc/meminfo: memFree=25348588/32770624 swapFree=66956584/67108860
[pid=30790] ppid=30787 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30790/stat : 30790 (xcsp3-exec) S 30787 30790 28434 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516820747 115843072 362 33554432000 4194304 5098028 140724335719120 140724335717224 139733435163260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12169216 140724335727482 140724335727725 140724335727725 140724335730634 0
/proc/30790/statm: 28282 362 304 221 0 87 0
[pid=30792] ppid=30790 vsize=15151156 memory=97124 CPUtime=1.72 cores=0,2,4,6
/proc/30792/stat : 30792 (java) S 30790 30790 28434 0 -1 1077944320 14874 0 0 0 167 5 0 0 20 0 15 0 516820747 15514783744 24281 33554432000 4194304 4196468 140720769012480 140720768995024 139724774391543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
/proc/30792/statm: 3787789 24281 3447 1 0 3748889 0
[pid=30792/tid=30793] ppid=30790 vsize=15151156 memory=7236547281622689387 CPUtime=0.66 cores=0,2,4,6
/proc/30792/task/30793/stat : 30793 (java) R 30790 30790 28434 0 -1 1077944384 9085 0 0 0 63 3 0 0 20 0 15 0 516820747 15514783744 24281 33554432000 4194304 4196468 140720769012480 139724778617024 139724774401749 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30794] ppid=30790 vsize=15151156 memory=7236547281622689387 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30794/stat : 30794 (java) S 30790 30790 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516820748 15514783744 24281 33554432000 4194304 4196468 140720769012480 139724686048400 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30795] ppid=30790 vsize=15151156 memory=6298373484264312919 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30795/stat : 30795 (java) S 30790 30790 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516820748 15514783744 24281 33554432000 4194304 4196468 140720769012480 139724684995600 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30796] ppid=30790 vsize=15151156 memory=7100839870071150693 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30796/stat : 30796 (java) S 30790 30790 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516820748 15514783744 24281 33554432000 4194304 4196468 140720769012480 139724683942800 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30797] ppid=30790 vsize=15151156 memory=8326441112149131693 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30797/stat : 30797 (java) S 30790 30790 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516820748 15514783744 24281 33554432000 4194304 4196468 140720769012480 139724682890000 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30798] ppid=30790 vsize=15151156 memory=6944656592455360608 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30798/stat : 30798 (java) S 30790 30790 28434 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516820749 15514783744 24281 33554432000 4194304 4196468 140720769012480 139724242565488 139724774402690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30799] ppid=30790 vsize=15151156 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30799/stat : 30799 (java) S 30790 30790 28434 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516820750 15514783744 24281 33554432000 4194304 4196468 140720769012480 139724241511456 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30800] ppid=30790 vsize=15151156 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30800/stat : 30800 (java) S 30790 30790 28434 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516820750 15514783744 24281 33554432000 4194304 4196468 140720769012480 139724240458608 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30801] ppid=30790 vsize=15151156 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30801/stat : 30801 (java) S 30790 30790 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516820752 15514783744 24281 33554432000 4194304 4196468 140720769012480 139724239406928 139724774410139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30802] ppid=30790 vsize=15151156 memory=53724 CPUtime=0.33 cores=0,2,4,6
/proc/30792/task/30802/stat : 30802 (java) R 30790 30790 28434 0 -1 4202560 1356 0 0 0 33 0 0 0 20 0 15 0 516820752 15514783744 24281 33554432000 4194304 4196468 140720769012480 139724238343184 139724757883152 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30803] ppid=30790 vsize=15151156 memory=984 CPUtime=0.35 cores=0,2,4,6
/proc/30792/task/30803/stat : 30803 (java) R 30790 30790 28434 0 -1 4202560 1212 0 0 0 35 0 0 0 20 0 15 0 516820752 15514783744 24281 33554432000 4194304 4196468 140720769012480 139724237282784 139724757859392 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30804] ppid=30790 vsize=15151156 memory=2032 CPUtime=0.35 cores=0,2,4,6
/proc/30792/task/30804/stat : 30804 (java) S 30790 30790 28434 0 -1 1077944384 1914 0 0 0 35 0 0 0 20 0 15 0 516820752 15514783744 24281 33554432000 4194304 4196468 140720769012480 139724236249712 139724774402690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30805] ppid=30790 vsize=15151156 memory=7090143983960547920 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30805/stat : 30805 (java) S 30790 30790 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516820753 15514783744 24281 33554432000 4194304 4196468 140720769012480 139724235197152 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30806] ppid=30790 vsize=15151156 memory=7013346425477294192 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30806/stat : 30806 (java) S 30790 30790 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516820753 15514783744 24281 33554432000 4194304 4196468 140720769012480 139724234144432 139724774402690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 98572 KiB

[startup+1.50149 s]
/proc/loadavg: 1.95 1.96 1.96 5/230 30806
/proc/meminfo: memFree=25255356/32770624 swapFree=66956584/67108860
[pid=30790] ppid=30787 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30790/stat : 30790 (xcsp3-exec) S 30787 30790 28434 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516820747 115843072 362 33554432000 4194304 5098028 140724335719120 140724335717224 139733435163260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12169216 140724335727482 140724335727725 140724335727725 140724335730634 0
/proc/30790/statm: 28282 362 304 221 0 87 0

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

/proc/30792/task/30800/stat : 30800 (java) S 30790 30790 28434 0 -1 1077944384 143 0 0 0 0 0 0 0 20 0 15 0 516820750 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724240458624 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30801] ppid=30790 vsize=15153204 memory=561664 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30801/stat : 30801 (java) S 30790 30790 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516820752 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724239406928 139724774410139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30802] ppid=30790 vsize=15153204 memory=1448 CPUtime=5.27 cores=0,2,4,6
/proc/30792/task/30802/stat : 30802 (java) S 30790 30790 28434 0 -1 1077944384 29463 0 0 0 523 4 0 0 20 0 15 0 516820752 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724238355312 139724774402690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 25 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30803] ppid=30790 vsize=15153204 memory=1448 CPUtime=4.46 cores=0,2,4,6
/proc/30792/task/30803/stat : 30803 (java) S 30790 30790 28434 0 -1 1077944384 25007 0 0 0 443 3 0 0 20 0 15 0 516820752 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724237302512 139724774402690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 37 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30804] ppid=30790 vsize=15153204 memory=561664 CPUtime=0.9 cores=0,2,4,6
/proc/30792/task/30804/stat : 30804 (java) S 30790 30790 28434 0 -1 1077944384 14166 0 0 0 88 2 0 0 20 0 15 0 516820752 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724236249712 139724774402690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30805] ppid=30790 vsize=15153204 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30805/stat : 30805 (java) S 30790 30790 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516820753 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724235197152 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30806] ppid=30790 vsize=15153204 memory=3620 CPUtime=0.73 cores=0,2,4,6
/proc/30792/task/30806/stat : 30806 (java) S 30790 30790 28434 0 -1 1077944384 1063 0 0 0 35 38 0 0 20 0 15 0 516820753 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724234144432 139724774402690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 43 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
Current children cumulated CPU time: 2334 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 563112 KiB

[startup+2382.3 s]
/proc/loadavg: 1.27 1.74 1.83 2/207 31100
/proc/meminfo: memFree=25079040/32770624 swapFree=66956600/67108860
[pid=30790] ppid=30787 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30790/stat : 30790 (xcsp3-exec) S 30787 30790 28434 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516820747 115843072 362 33554432000 4194304 5098028 140724335719120 140724335717224 139733435163260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12169216 140724335727482 140724335727725 140724335727725 140724335730634 0
/proc/30790/statm: 28282 362 304 221 0 87 0
[pid=30792] ppid=30790 vsize=15153204 memory=561664 CPUtime=2394.02 cores=0,2,4,6
/proc/30792/stat : 30792 (java) S 30790 30790 28434 0 -1 1077944320 104399 0 0 0 239345 57 0 0 20 0 15 0 516820747 15516880896 140416 33554432000 4194304 4196468 140720769012480 140720768995024 139724774391543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
/proc/30792/statm: 3788301 140416 3527 1 0 3749401 0
[pid=30792/tid=30793] ppid=30790 vsize=15153204 memory=1448 CPUtime=2382.13 cores=0,2,4,6
/proc/30792/task/30793/stat : 30793 (java) R 30790 30790 28434 0 -1 4202560 27504 0 0 0 238205 8 0 0 20 0 15 0 516820747 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724778628344 139724371195042 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30794] ppid=30790 vsize=15153204 memory=561664 CPUtime=0.09 cores=0,2,4,6
/proc/30792/task/30794/stat : 30794 (java) S 30790 30790 28434 0 -1 1077944384 1094 0 0 0 7 2 0 0 20 0 15 0 516820748 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724686048400 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30795] ppid=30790 vsize=15153204 memory=561664 CPUtime=0.09 cores=0,2,4,6
/proc/30792/task/30795/stat : 30795 (java) S 30790 30790 28434 0 -1 1077944384 598 0 0 0 8 1 0 0 20 0 15 0 516820748 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724684995600 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30796] ppid=30790 vsize=15153204 memory=561664 CPUtime=0.09 cores=0,2,4,6
/proc/30792/task/30796/stat : 30796 (java) S 30790 30790 28434 0 -1 1077944384 398 0 0 0 7 2 0 0 20 0 15 0 516820748 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724683942800 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30797] ppid=30790 vsize=15153204 memory=561664 CPUtime=0.09 cores=0,2,4,6
/proc/30792/task/30797/stat : 30797 (java) S 30790 30790 28434 0 -1 1077944384 2257 0 0 0 8 1 0 0 20 0 15 0 516820748 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724682890000 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30798] ppid=30790 vsize=15153204 memory=561664 CPUtime=0.05 cores=0,2,4,6
/proc/30792/task/30798/stat : 30798 (java) S 30790 30790 28434 0 -1 1077944384 1354 0 0 0 2 3 0 0 20 0 15 0 516820749 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724242565488 139724774402690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30799] ppid=30790 vsize=15153204 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30799/stat : 30799 (java) S 30790 30790 28434 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 516820750 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724241511520 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30800] ppid=30790 vsize=15153204 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30800/stat : 30800 (java) S 30790 30790 28434 0 -1 1077944384 143 0 0 0 0 0 0 0 20 0 15 0 516820750 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724240458624 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30801] ppid=30790 vsize=15153204 memory=561664 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30801/stat : 30801 (java) S 30790 30790 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516820752 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724239406928 139724774410139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30802] ppid=30790 vsize=15153204 memory=3336 CPUtime=5.27 cores=0,2,4,6
/proc/30792/task/30802/stat : 30802 (java) S 30790 30790 28434 0 -1 1077944384 29465 0 0 0 523 4 0 0 20 0 15 0 516820752 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724238355312 139724774402690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 25 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30803] ppid=30790 vsize=15153204 memory=561664 CPUtime=4.46 cores=0,2,4,6
/proc/30792/task/30803/stat : 30803 (java) S 30790 30790 28434 0 -1 1077944384 25009 0 0 0 443 3 0 0 20 0 15 0 516820752 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724237302512 139724774402690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 37 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30804] ppid=30790 vsize=15153204 memory=3620 CPUtime=0.9 cores=0,2,4,6
/proc/30792/task/30804/stat : 30804 (java) S 30790 30790 28434 0 -1 1077944384 14169 0 0 0 88 2 0 0 20 0 15 0 516820752 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724236249712 139724774402690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30805] ppid=30790 vsize=15153204 memory=53800 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30805/stat : 30805 (java) S 30790 30790 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516820753 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724235197152 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30806] ppid=30790 vsize=15153204 memory=984 CPUtime=0.74 cores=0,2,4,6
/proc/30792/task/30806/stat : 30806 (java) S 30790 30790 28434 0 -1 1077944384 1085 0 0 0 35 39 0 0 20 0 15 0 516820753 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724234144432 139724774402690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 43 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
Current children cumulated CPU time: 2394.02 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 563112 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2388.3 s]
/proc/loadavg: 1.25 1.73 1.83 2/207 31100
/proc/meminfo: memFree=25079040/32770624 swapFree=66956600/67108860
[pid=30790] ppid=30787 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30790/stat : 30790 (xcsp3-exec) S 30787 30790 28434 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516820747 115843072 362 33554432000 4194304 5098028 140724335719120 140724335717224 139733435163260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12169216 140724335727482 140724335727725 140724335727725 140724335730634 0
/proc/30790/statm: 28282 362 304 221 0 87 0
[pid=30792] ppid=30790 vsize=15153204 memory=561664 CPUtime=2400.02 cores=0,2,4,6
/proc/30792/stat : 30792 (java) S 30790 30790 28434 0 -1 1077944320 104445 0 0 0 239945 57 0 0 20 0 15 0 516820747 15516880896 140416 33554432000 4194304 4196468 140720769012480 140720768995024 139724774391543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
/proc/30792/statm: 3788301 140416 3527 1 0 3749401 0
[pid=30792/tid=30793] ppid=30790 vsize=15153204 memory=561664 CPUtime=2388.13 cores=0,2,4,6
/proc/30792/task/30793/stat : 30793 (java) R 30790 30790 28434 0 -1 4202560 27548 0 0 0 238805 8 0 0 20 0 15 0 516820747 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724778628344 139724371846985 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30794] ppid=30790 vsize=15153204 memory=561664 CPUtime=0.09 cores=0,2,4,6
/proc/30792/task/30794/stat : 30794 (java) S 30790 30790 28434 0 -1 1077944384 1094 0 0 0 7 2 0 0 20 0 15 0 516820748 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724686048400 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30795] ppid=30790 vsize=15153204 memory=561664 CPUtime=0.09 cores=0,2,4,6
/proc/30792/task/30795/stat : 30795 (java) S 30790 30790 28434 0 -1 1077944384 598 0 0 0 8 1 0 0 20 0 15 0 516820748 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724684995600 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30796] ppid=30790 vsize=15153204 memory=561664 CPUtime=0.09 cores=0,2,4,6
/proc/30792/task/30796/stat : 30796 (java) S 30790 30790 28434 0 -1 1077944384 398 0 0 0 7 2 0 0 20 0 15 0 516820748 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724683942800 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30797] ppid=30790 vsize=15153204 memory=561664 CPUtime=0.09 cores=0,2,4,6
/proc/30792/task/30797/stat : 30797 (java) S 30790 30790 28434 0 -1 1077944384 2257 0 0 0 8 1 0 0 20 0 15 0 516820748 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724682890000 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30798] ppid=30790 vsize=15153204 memory=561664 CPUtime=0.05 cores=0,2,4,6
/proc/30792/task/30798/stat : 30798 (java) S 30790 30790 28434 0 -1 1077944384 1354 0 0 0 2 3 0 0 20 0 15 0 516820749 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724242565488 139724774402690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30799] ppid=30790 vsize=15153204 memory=561664 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30799/stat : 30799 (java) S 30790 30790 28434 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 516820750 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724241511520 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30800] ppid=30790 vsize=15153204 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30800/stat : 30800 (java) S 30790 30790 28434 0 -1 1077944384 143 0 0 0 0 0 0 0 20 0 15 0 516820750 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724240458624 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30801] ppid=30790 vsize=15153204 memory=561664 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30801/stat : 30801 (java) S 30790 30790 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516820752 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724239406928 139724774410139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30802] ppid=30790 vsize=15153204 memory=1448 CPUtime=5.27 cores=0,2,4,6
/proc/30792/task/30802/stat : 30802 (java) S 30790 30790 28434 0 -1 1077944384 29465 0 0 0 523 4 0 0 20 0 15 0 516820752 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724238355312 139724774402690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 25 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30803] ppid=30790 vsize=15153204 memory=1448 CPUtime=4.46 cores=0,2,4,6
/proc/30792/task/30803/stat : 30803 (java) S 30790 30790 28434 0 -1 1077944384 25009 0 0 0 443 3 0 0 20 0 15 0 516820752 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724237302512 139724774402690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 37 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30804] ppid=30790 vsize=15153204 memory=1448 CPUtime=0.9 cores=0,2,4,6
/proc/30792/task/30804/stat : 30804 (java) S 30790 30790 28434 0 -1 1077944384 14169 0 0 0 88 2 0 0 20 0 15 0 516820752 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724236249712 139724774402690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30805] ppid=30790 vsize=15153204 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30805/stat : 30805 (java) S 30790 30790 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516820753 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724235197152 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30806] ppid=30790 vsize=15153204 memory=561664 CPUtime=0.74 cores=0,2,4,6
/proc/30792/task/30806/stat : 30806 (java) S 30790 30790 28434 0 -1 1077944384 1087 0 0 0 35 39 0 0 20 0 15 0 516820753 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724234144432 139724774402690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 43 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 563112 KiB

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

[startup+2388.31 s]
# the end of solver process 30790 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001121 s, system=0.001121 s

[startup+2388.31 s]
# the end of solver process 30792 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.46 s, system=0.584208 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+2388.3 s]
/proc/loadavg: 1.25 1.73 1.83 2/207 31100
/proc/meminfo: memFree=25079040/32770624 swapFree=66956600/67108860
[pid=30790] ppid=30787 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30790/stat : 30790 (xcsp3-exec) S 30787 30790 28434 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516820747 115843072 362 33554432000 4194304 5098028 140724335719120 140724335717224 139733435163260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12169216 140724335727482 140724335727725 140724335727725 140724335730634 0
/proc/30790/statm: 28282 362 304 221 0 87 0
[pid=30792] ppid=30790 vsize=15153204 memory=561664 CPUtime=2400.02 cores=0,2,4,6
/proc/30792/stat : 30792 (java) S 30790 30790 28434 0 -1 1077944320 104445 0 0 0 239945 57 0 0 20 0 15 0 516820747 15516880896 140416 33554432000 4194304 4196468 140720769012480 140720768995024 139724774391543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
/proc/30792/statm: 3788301 140416 3527 1 0 3749401 0
[pid=30792/tid=30793] ppid=30790 vsize=15153204 memory=561664 CPUtime=2388.13 cores=0,2,4,6
/proc/30792/task/30793/stat : 30793 (java) R 30790 30790 28434 0 -1 4202560 27548 0 0 0 238805 8 0 0 20 0 15 0 516820747 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724778628344 139724371846985 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30794] ppid=30790 vsize=15153204 memory=561664 CPUtime=0.09 cores=0,2,4,6
/proc/30792/task/30794/stat : 30794 (java) S 30790 30790 28434 0 -1 1077944384 1094 0 0 0 7 2 0 0 20 0 15 0 516820748 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724686048400 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30795] ppid=30790 vsize=15153204 memory=561664 CPUtime=0.09 cores=0,2,4,6
/proc/30792/task/30795/stat : 30795 (java) S 30790 30790 28434 0 -1 1077944384 598 0 0 0 8 1 0 0 20 0 15 0 516820748 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724684995600 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30796] ppid=30790 vsize=15153204 memory=561664 CPUtime=0.09 cores=0,2,4,6
/proc/30792/task/30796/stat : 30796 (java) S 30790 30790 28434 0 -1 1077944384 398 0 0 0 7 2 0 0 20 0 15 0 516820748 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724683942800 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30797] ppid=30790 vsize=15153204 memory=561664 CPUtime=0.09 cores=0,2,4,6
/proc/30792/task/30797/stat : 30797 (java) S 30790 30790 28434 0 -1 1077944384 2257 0 0 0 8 1 0 0 20 0 15 0 516820748 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724682890000 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30798] ppid=30790 vsize=15153204 memory=561664 CPUtime=0.05 cores=0,2,4,6
/proc/30792/task/30798/stat : 30798 (java) S 30790 30790 28434 0 -1 1077944384 1354 0 0 0 2 3 0 0 20 0 15 0 516820749 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724242565488 139724774402690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30799] ppid=30790 vsize=15153204 memory=561664 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30799/stat : 30799 (java) S 30790 30790 28434 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 516820750 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724241511520 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30800] ppid=30790 vsize=15153204 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30800/stat : 30800 (java) S 30790 30790 28434 0 -1 1077944384 143 0 0 0 0 0 0 0 20 0 15 0 516820750 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724240458624 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30801] ppid=30790 vsize=15153204 memory=561664 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30801/stat : 30801 (java) S 30790 30790 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516820752 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724239406928 139724774410139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30802] ppid=30790 vsize=15153204 memory=1448 CPUtime=5.27 cores=0,2,4,6
/proc/30792/task/30802/stat : 30802 (java) S 30790 30790 28434 0 -1 1077944384 29465 0 0 0 523 4 0 0 20 0 15 0 516820752 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724238355312 139724774402690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 25 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30803] ppid=30790 vsize=15153204 memory=1448 CPUtime=4.46 cores=0,2,4,6
/proc/30792/task/30803/stat : 30803 (java) S 30790 30790 28434 0 -1 1077944384 25009 0 0 0 443 3 0 0 20 0 15 0 516820752 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724237302512 139724774402690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 37 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30804] ppid=30790 vsize=15153204 memory=1448 CPUtime=0.9 cores=0,2,4,6
/proc/30792/task/30804/stat : 30804 (java) S 30790 30790 28434 0 -1 1077944384 14169 0 0 0 88 2 0 0 20 0 15 0 516820752 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724236249712 139724774402690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30805] ppid=30790 vsize=15153204 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30805/stat : 30805 (java) S 30790 30790 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516820753 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724235197152 139724774401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
[pid=30792/tid=30806] ppid=30790 vsize=15153204 memory=561664 CPUtime=0.74 cores=0,2,4,6
/proc/30792/task/30806/stat : 30806 (java) S 30790 30790 28434 0 -1 1077944384 1087 0 0 0 35 39 0 0 20 0 15 0 516820753 15516880896 140416 33554432000 4194304 4196468 140720769012480 139724234144432 139724774402690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 43 0 0 6293624 6294260 17522688 140720769016815 140720769016986 140720769016986 140720769019855 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 563112 KiB

Child status: 143
Real time (s): 2388.31
CPU time (s): 2400.05
CPU user time (s): 2399.46
CPU system time (s): 0.584208
CPU usage (%): 100.491
Max. virtual memory (cumulated for all children) (KiB): 15266332
Max. memory (cumulated for all children) (KiB): 563112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.46
system time used= 0.584208
maximum resident set size= 562204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105415
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55244
involuntary context switches= 1025


# summary of solver processes directly reported to runsolver:
#   pid: 30790,30792
#   total CPU time (s): 2400.05
#   total CPU user time (s): 2399.46
#   total CPU system time (s): 0.584208

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.393 second user time and 23.1388 second system time

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

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
