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)	12	2400.08	2384.62
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 (13779 MiB free)
  memory of node 1: 16384 MiB (11064 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406401-1569396679/watcher-4406401-1569396679 -o /tmp/evaluation-result-4406401-1569396679/solver-4406401-1569396679 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1569396629-4098 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 1860271512 HOME/instance-4406401-1569396679.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
Current StackSize limit: 8192 KiB

solver pid=4298, runsolver pid=4295

[startup+0.100175 s]*
/proc/loadavg: 0.66 0.16 0.09 3/230 4314
/proc/meminfo: memFree=25423184/32770624 swapFree=66959728/67108860
[pid=4298] ppid=4295 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4298/stat : 4298 (xcsp3-exec) S 4295 4298 4066 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515936711 115843072 362 33554432000 4194304 5098028 140730293927696 140730293925800 140613884863100 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14340096 140730293928826 140730293929069 140730293929069 140730293931978 0
/proc/4298/statm: 28282 362 304 221 0 87 0
[pid=4300] ppid=4298 vsize=15144776 memory=30196 CPUtime=0.12 cores=0,2,4,6
/proc/4300/stat : 4300 (java) S 4298 4298 4066 0 -1 1077944320 5948 0 0 0 11 1 0 0 20 0 15 0 515936711 15508250624 7549 33554432000 4194304 4196468 140732035009584 140732034992128 140030770585335 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
/proc/4300/statm: 3786194 7549 3146 1 0 3748377 0
[pid=4300/tid=4301] ppid=4298 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/4300/task/4301/stat : 4301 (java) R 4298 4298 4066 0 -1 4202560 3866 0 0 0 8 1 0 0 20 0 15 0 515936711 15508250624 7549 33554432000 4194304 4196468 140732035009584 140030774818128 140030770597270 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4302] ppid=4298 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4302/stat : 4302 (java) S 4298 4298 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515936712 15508250624 7549 33554432000 4194304 4196468 140732035009584 140030362643088 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4303] ppid=4298 vsize=15144776 memory=288370684703352448 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4303/stat : 4303 (java) S 4298 4298 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515936712 15508250624 7549 33554432000 4194304 4196468 140732035009584 140030361590288 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4304] ppid=4298 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4304/stat : 4304 (java) S 4298 4298 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515936712 15508250624 7549 33554432000 4194304 4196468 140732035009584 140030360537488 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4305] ppid=4298 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4305/stat : 4305 (java) S 4298 4298 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515936712 15508250624 7549 33554432000 4194304 4196468 140732035009584 140030359484688 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4306] ppid=4298 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4306/stat : 4306 (java) S 4298 4298 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515936713 15508250624 7549 33554432000 4194304 4196468 140732035009584 140030306372464 140030770596482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4307] ppid=4298 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4307/stat : 4307 (java) S 4298 4298 4066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515936714 15508250624 7549 33554432000 4194304 4196468 140732035009584 140030305318432 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4308] ppid=4298 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4308/stat : 4308 (java) S 4298 4298 4066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515936714 15508250624 7549 33554432000 4194304 4196468 140732035009584 140030304265584 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4309] ppid=4298 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4309/stat : 4309 (java) S 4298 4298 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515936717 15508250624 7549 33554432000 4194304 4196468 140732035009584 140030303213904 140030770603931 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4310] ppid=4298 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4310/stat : 4310 (java) S 4298 4298 4066 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 515936717 15508250624 7549 33554432000 4194304 4196468 140732035009584 140030302161264 140030770596482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4311] ppid=4298 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4311/stat : 4311 (java) R 4298 4298 4066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 15 0 515936717 15508250624 7549 33554432000 4194304 4196468 140732035009584 140030301108464 140030770606682 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4312] ppid=4298 vsize=15144776 memory=140308551640704 CPUtime=0.02 cores=0,2,4,6
/proc/4300/task/4312/stat : 4312 (java) R 4298 4298 4066 0 -1 4202560 354 0 0 0 2 0 0 0 20 0 15 0 515936717 15508250624 7549 33554432000 4194304 4196468 140732035009584 140030300053200 140030762822462 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4313] ppid=4298 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4313/stat : 4313 (java) S 4298 4298 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515936717 15508250624 7549 33554432000 4194304 4196468 140732035009584 140030299003104 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4314] ppid=4298 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4314/stat : 4314 (java) S 4298 4298 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515936717 15508250624 7549 33554432000 4194304 4196468 140732035009584 140030297951408 140030770596482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31644 KiB

[startup+0.214883 s]*
/proc/loadavg: 0.66 0.16 0.09 3/230 4314
/proc/meminfo: memFree=25412296/32770624 swapFree=66959728/67108860
[pid=4298] ppid=4295 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4298/stat : 4298 (xcsp3-exec) S 4295 4298 4066 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515936711 115843072 362 33554432000 4194304 5098028 140730293927696 140730293925800 140613884863100 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14340096 140730293928826 140730293929069 140730293929069 140730293931978 0
/proc/4298/statm: 28282 362 304 221 0 87 0
[pid=4300] ppid=4298 vsize=15144776 memory=40560 CPUtime=0.35 cores=0,2,4,6
/proc/4300/stat : 4300 (java) S 4298 4298 4066 0 -1 1077944320 9339 0 0 0 32 3 0 0 20 0 15 0 515936711 15508250624 10140 33554432000 4194304 4196468 140732035009584 140732034992128 140030770585335 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
/proc/4300/statm: 3786194 10140 3299 1 0 3748377 0
[pid=4300/tid=4301] ppid=4298 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/4300/task/4301/stat : 4301 (java) R 4298 4298 4066 0 -1 4202560 6637 0 0 0 18 2 0 0 20 0 15 0 515936711 15508250624 10140 33554432000 4194304 4196468 140732035009584 140030774820320 140030752440436 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4302] ppid=4298 vsize=15144776 memory=1946936 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4302/stat : 4302 (java) S 4298 4298 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515936712 15508250624 10140 33554432000 4194304 4196468 140732035009584 140030362643088 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4303] ppid=4298 vsize=15144776 memory=140308551653866 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4303/stat : 4303 (java) S 4298 4298 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515936712 15508250624 10140 33554432000 4194304 4196468 140732035009584 140030361590288 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4304] ppid=4298 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4304/stat : 4304 (java) S 4298 4298 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515936712 15508250624 10140 33554432000 4194304 4196468 140732035009584 140030360537488 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4305] ppid=4298 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4305/stat : 4305 (java) S 4298 4298 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515936712 15508250624 10140 33554432000 4194304 4196468 140732035009584 140030359484688 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4306] ppid=4298 vsize=15144776 memory=140308551640704 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4306/stat : 4306 (java) S 4298 4298 4066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515936713 15508250624 10140 33554432000 4194304 4196468 140732035009584 140030306372464 140030770596482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4307] ppid=4298 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4307/stat : 4307 (java) S 4298 4298 4066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515936714 15508250624 10140 33554432000 4194304 4196468 140732035009584 140030305318432 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4308] ppid=4298 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4308/stat : 4308 (java) S 4298 4298 4066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515936714 15508250624 10140 33554432000 4194304 4196468 140732035009584 140030304265584 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4309] ppid=4298 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4309/stat : 4309 (java) S 4298 4298 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515936717 15508250624 10140 33554432000 4194304 4196468 140732035009584 140030303213904 140030770603931 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4310] ppid=4298 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4300/task/4310/stat : 4310 (java) S 4298 4298 4066 0 -1 1077944384 466 0 0 0 2 0 0 0 20 0 15 0 515936717 15508250624 10140 33554432000 4194304 4196468 140732035009584 140030302161264 140030770596482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4311] ppid=4298 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/4300/task/4311/stat : 4311 (java) R 4298 4298 4066 0 -1 1077944384 166 0 0 0 2 0 0 0 20 0 15 0 515936717 15508250624 10140 33554432000 4194304 4196468 140732035009584 140030301108464 140030770596482 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4312] ppid=4298 vsize=15144776 memory=140308551640704 CPUtime=0.08 cores=0,2,4,6
/proc/4300/task/4312/stat : 4312 (java) S 4298 4298 4066 0 -1 1077944384 766 0 0 0 8 0 0 0 20 0 15 0 515936717 15508250624 10140 33554432000 4194304 4196468 140732035009584 140030300055664 140030770596482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4313] ppid=4298 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4313/stat : 4313 (java) S 4298 4298 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515936717 15508250624 10140 33554432000 4194304 4196468 140732035009584 140030299003104 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4314] ppid=4298 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4314/stat : 4314 (java) S 4298 4298 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515936717 15508250624 10140 33554432000 4194304 4196468 140732035009584 140030297951408 140030770596482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42008 KiB

[startup+0.310538 s]*
/proc/loadavg: 0.66 0.16 0.09 4/230 4314
/proc/meminfo: memFree=25405844/32770624 swapFree=66959728/67108860
[pid=4298] ppid=4295 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4298/stat : 4298 (xcsp3-exec) S 4295 4298 4066 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515936711 115843072 362 33554432000 4194304 5098028 140730293927696 140730293925800 140613884863100 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14340096 140730293928826 140730293929069 140730293929069 140730293931978 0
/proc/4298/statm: 28282 362 304 221 0 87 0
[pid=4300] ppid=4298 vsize=15149032 memory=49896 CPUtime=0.53 cores=0,2,4,6
/proc/4300/stat : 4300 (java) S 4298 4298 4066 0 -1 1077944320 10722 0 0 0 49 4 0 0 20 0 15 0 515936711 15512608768 12474 33554432000 4194304 4196468 140732035009584 140732034992128 140030770585335 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
/proc/4300/statm: 3787258 12474 3373 1 0 3748377 0
[pid=4300/tid=4301] ppid=4298 vsize=15148776 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/4300/task/4301/stat : 4301 (java) R 4298 4298 4066 0 -1 4202560 7706 0 0 0 27 3 0 0 20 0 15 0 515936711 15512346624 12502 33554432000 4194304 4196468 140732035009584 140030774815984 140030763302298 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4302] ppid=4298 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4302/stat : 4302 (java) S 4298 4298 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515936712 15512608768 12502 33554432000 4194304 4196468 140732035009584 140030362643088 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4303] ppid=4298 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4303/stat : 4303 (java) S 4298 4298 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515936712 15512608768 12502 33554432000 4194304 4196468 140732035009584 140030361590288 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4304] ppid=4298 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4304/stat : 4304 (java) S 4298 4298 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515936712 15512608768 12502 33554432000 4194304 4196468 140732035009584 140030360537488 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4305] ppid=4298 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4305/stat : 4305 (java) S 4298 4298 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515936712 15512608768 12502 33554432000 4194304 4196468 140732035009584 140030359484688 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4306] ppid=4298 vsize=15149032 memory=7307460107981921142 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4306/stat : 4306 (java) S 4298 4298 4066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515936713 15512608768 12502 33554432000 4194304 4196468 140732035009584 140030306372464 140030770596482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4307] ppid=4298 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4307/stat : 4307 (java) S 4298 4298 4066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515936714 15512608768 12502 33554432000 4194304 4196468 140732035009584 140030305318432 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4308] ppid=4298 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4308/stat : 4308 (java) S 4298 4298 4066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515936714 15512608768 12502 33554432000 4194304 4196468 140732035009584 140030304265584 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4309] ppid=4298 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4309/stat : 4309 (java) S 4298 4298 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515936717 15512608768 12502 33554432000 4194304 4196468 140732035009584 140030303213904 140030770603931 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4310] ppid=4298 vsize=15149032 memory=-8412656567168561567 CPUtime=0.04 cores=0,2,4,6
/proc/4300/task/4310/stat : 4310 (java) R 4298 4298 4066 0 -1 4202560 604 0 0 0 4 0 0 0 20 0 15 0 515936717 15512608768 12502 33554432000 4194304 4196468 140732035009584 140030302161264 140030752106514 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4311] ppid=4298 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/4300/task/4311/stat : 4311 (java) S 4298 4298 4066 0 -1 1077944384 199 0 0 0 4 0 0 0 20 0 15 0 515936717 15512608768 12502 33554432000 4194304 4196468 140732035009584 140030301108464 140030770596482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4312] ppid=4298 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/4300/task/4312/stat : 4312 (java) S 4298 4298 4066 0 -1 1077944384 921 0 0 0 12 0 0 0 20 0 15 0 515936717 15512608768 12502 33554432000 4194304 4196468 140732035009584 140030300055664 140030770596482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4313] ppid=4298 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4313/stat : 4313 (java) S 4298 4298 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515936717 15512608768 12502 33554432000 4194304 4196468 140732035009584 140030299003104 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4314] ppid=4298 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4314/stat : 4314 (java) S 4298 4298 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515936717 15512608768 12502 33554432000 4194304 4196468 140732035009584 140030297951408 140030770596482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51344 KiB

[startup+0.70073 s]
/proc/loadavg: 0.66 0.16 0.09 4/230 4314
/proc/meminfo: memFree=25382444/32770624 swapFree=66959728/67108860
[pid=4298] ppid=4295 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4298/stat : 4298 (xcsp3-exec) S 4295 4298 4066 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515936711 115843072 362 33554432000 4194304 5098028 140730293927696 140730293925800 140613884863100 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14340096 140730293928826 140730293929069 140730293929069 140730293931978 0
/proc/4298/statm: 28282 362 304 221 0 87 0
[pid=4300] ppid=4298 vsize=15151156 memory=93440 CPUtime=1.69 cores=0,2,4,6
/proc/4300/stat : 4300 (java) S 4298 4298 4066 0 -1 1077944320 15530 0 0 0 163 6 0 0 20 0 15 0 515936711 15514783744 23360 33554432000 4194304 4196468 140732035009584 140732034992128 140030770585335 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
/proc/4300/statm: 3787789 23360 3449 1 0 3748889 0
[pid=4300/tid=4301] ppid=4298 vsize=15151156 memory=-3704326594973231466 CPUtime=0.67 cores=0,2,4,6
/proc/4300/task/4301/stat : 4301 (java) R 4298 4298 4066 0 -1 4202560 9183 0 0 0 63 4 0 0 20 0 15 0 515936711 15514783744 23360 33554432000 4194304 4196468 140732035009584 140030774819680 140030379171712 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4302] ppid=4298 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4302/stat : 4302 (java) S 4298 4298 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515936712 15514783744 23360 33554432000 4194304 4196468 140732035009584 140030362643088 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4303] ppid=4298 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4303/stat : 4303 (java) S 4298 4298 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515936712 15514783744 23360 33554432000 4194304 4196468 140732035009584 140030361590288 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4304] ppid=4298 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4304/stat : 4304 (java) S 4298 4298 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515936712 15514783744 23360 33554432000 4194304 4196468 140732035009584 140030360537488 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4305] ppid=4298 vsize=15151156 memory=1188 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4305/stat : 4305 (java) S 4298 4298 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515936712 15514783744 23360 33554432000 4194304 4196468 140732035009584 140030359484688 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4306] ppid=4298 vsize=15151156 memory=1536 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4306/stat : 4306 (java) S 4298 4298 4066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515936713 15514783744 23360 33554432000 4194304 4196468 140732035009584 140030306372464 140030770596482 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4307] ppid=4298 vsize=15151156 memory=9592 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4307/stat : 4307 (java) S 4298 4298 4066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515936714 15514783744 23360 33554432000 4194304 4196468 140732035009584 140030305318432 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4308] ppid=4298 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4308/stat : 4308 (java) S 4298 4298 4066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515936714 15514783744 23360 33554432000 4194304 4196468 140732035009584 140030304265584 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4309] ppid=4298 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4309/stat : 4309 (java) S 4298 4298 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515936717 15514783744 23360 33554432000 4194304 4196468 140732035009584 140030303213904 140030770603931 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4310] ppid=4298 vsize=15151156 memory=620 CPUtime=0.35 cores=0,2,4,6
/proc/4300/task/4310/stat : 4310 (java) R 4298 4298 4066 0 -1 4202560 1505 0 0 0 35 0 0 0 20 0 15 0 515936717 15514783744 23360 33554432000 4194304 4196468 140732035009584 140030302141648 140030755480131 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4311] ppid=4298 vsize=15151156 memory=1496 CPUtime=0.24 cores=0,2,4,6
/proc/4300/task/4311/stat : 4311 (java) S 4298 4298 4066 0 -1 1077944384 900 0 0 0 24 0 0 0 20 0 15 0 515936717 15514783744 23360 33554432000 4194304 4196468 140732035009584 140030301108464 140030770596482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4312] ppid=4298 vsize=15151156 memory=1016 CPUtime=0.4 cores=0,2,4,6
/proc/4300/task/4312/stat : 4312 (java) S 4298 4298 4066 0 -1 1077944384 2635 0 0 0 40 0 0 0 20 0 15 0 515936717 15514783744 23360 33554432000 4194304 4196468 140732035009584 140030300055664 140030770596482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4313] ppid=4298 vsize=15151156 memory=6072 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4313/stat : 4313 (java) S 4298 4298 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515936717 15514783744 23360 33554432000 4194304 4196468 140732035009584 140030299003104 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4314] ppid=4298 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4314/stat : 4314 (java) S 4298 4298 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515936717 15514783744 23360 33554432000 4194304 4196468 140732035009584 140030297951408 140030770596482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 94888 KiB

[startup+1.5008 s]
/proc/loadavg: 0.66 0.16 0.09 5/230 4314
/proc/meminfo: memFree=25322664/32770624 swapFree=66959728/67108860
[pid=4298] ppid=4295 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4298/stat : 4298 (xcsp3-exec) S 4295 4298 4066 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515936711 115843072 362 33554432000 4194304 5098028 140730293927696 140730293925800 140613884863100 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14340096 140730293928826 140730293929069 140730293929069 140730293931978 0
/proc/4298/statm: 28282 362 304 221 0 87 0

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

/proc/4300/task/4308/stat : 4308 (java) S 4298 4298 4066 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 15 0 515936714 15514783744 340791 33554432000 4194304 4196468 140732035009584 140030304265600 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4309] ppid=4298 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4309/stat : 4309 (java) S 4298 4298 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515936717 15514783744 340791 33554432000 4194304 4196468 140732035009584 140030303213904 140030770603931 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4310] ppid=4298 vsize=15151156 memory=1363164 CPUtime=1.67 cores=0,2,4,6
/proc/4300/task/4310/stat : 4310 (java) S 4298 4298 4066 0 -1 1077944384 10679 0 0 0 165 2 0 0 20 0 15 0 515936717 15514783744 340791 33554432000 4194304 4196468 140732035009584 140030302161264 140030770596482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4311] ppid=4298 vsize=15151156 memory=1363164 CPUtime=1.54 cores=0,2,4,6
/proc/4300/task/4311/stat : 4311 (java) S 4298 4298 4066 0 -1 1077944384 9666 0 0 0 153 1 0 0 20 0 15 0 515936717 15514783744 340791 33554432000 4194304 4196468 140732035009584 140030301108464 140030770596482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4312] ppid=4298 vsize=15151156 memory=8112282956445269571 CPUtime=0.67 cores=0,2,4,6
/proc/4300/task/4312/stat : 4312 (java) S 4298 4298 4066 0 -1 1077944384 8325 0 0 0 65 2 0 0 20 0 15 0 515936717 15514783744 340791 33554432000 4194304 4196468 140732035009584 140030300055664 140030770596482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4313] ppid=4298 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4313/stat : 4313 (java) S 4298 4298 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515936717 15514783744 340791 33554432000 4194304 4196468 140732035009584 140030299003104 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4314] ppid=4298 vsize=15151156 memory=1363164 CPUtime=0.69 cores=0,2,4,6
/proc/4300/task/4314/stat : 4314 (java) S 4298 4298 4066 0 -1 1077944384 1418 0 0 0 34 35 0 0 20 0 15 0 515936717 15514783744 340791 33554432000 4194304 4196468 140732035009584 140030297951408 140030770596482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
Current children cumulated CPU time: 2277.68 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1364612 KiB

[startup+2322.3 s]
/proc/loadavg: 2.07 1.92 1.70 3/229 4774
/proc/meminfo: memFree=24134404/32770624 swapFree=66959728/67108860
[pid=4298] ppid=4295 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4298/stat : 4298 (xcsp3-exec) S 4295 4298 4066 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515936711 115843072 362 33554432000 4194304 5098028 140730293927696 140730293925800 140613884863100 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14340096 140730293928826 140730293929069 140730293929069 140730293931978 0
/proc/4298/statm: 28282 362 304 221 0 87 0
[pid=4300] ppid=4298 vsize=15151156 memory=1363164 CPUtime=2337.71 cores=0,2,4,6
/proc/4300/stat : 4300 (java) S 4298 4298 4066 0 -1 1077944320 303848 0 0 0 233122 649 0 0 20 0 15 0 515936711 15514783744 340791 33554432000 4194304 4196468 140732035009584 140732034992128 140030770585335 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
/proc/4300/statm: 3787789 340791 3526 1 0 3748889 0
[pid=4300/tid=4301] ppid=4298 vsize=15151156 memory=1363164 CPUtime=2316.9 cores=0,2,4,6
/proc/4300/task/4301/stat : 4301 (java) R 4298 4298 4066 0 -1 4202560 222728 0 0 0 231129 561 0 0 20 0 15 0 515936711 15514783744 340791 33554432000 4194304 4196468 140732035009584 140030774824704 140030385680021 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4302] ppid=4298 vsize=15151156 memory=1363164 CPUtime=3.74 cores=0,2,4,6
/proc/4300/task/4302/stat : 4302 (java) S 4298 4298 4066 0 -1 1077944384 10434 0 0 0 365 9 0 0 20 0 15 0 515936712 15514783744 340791 33554432000 4194304 4196468 140732035009584 140030362643088 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4303] ppid=4298 vsize=15151156 memory=1363164 CPUtime=3.75 cores=0,2,4,6
/proc/4300/task/4303/stat : 4303 (java) S 4298 4298 4066 0 -1 1077944384 8595 0 0 0 366 9 0 0 20 0 15 0 515936712 15514783744 340791 33554432000 4194304 4196468 140732035009584 140030361590288 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4304] ppid=4298 vsize=15151156 memory=1363164 CPUtime=3.75 cores=0,2,4,6
/proc/4300/task/4304/stat : 4304 (java) S 4298 4298 4066 0 -1 1077944384 8872 0 0 0 366 9 0 0 20 0 15 0 515936712 15514783744 340791 33554432000 4194304 4196468 140732035009584 140030360537488 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4305] ppid=4298 vsize=15151156 memory=1363164 CPUtime=3.74 cores=0,2,4,6
/proc/4300/task/4305/stat : 4305 (java) S 4298 4298 4066 0 -1 1077944384 8932 0 0 0 365 9 0 0 20 0 15 0 515936712 15514783744 340791 33554432000 4194304 4196468 140732035009584 140030359484688 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4306] ppid=4298 vsize=15151156 memory=1363164 CPUtime=1.16 cores=0,2,4,6
/proc/4300/task/4306/stat : 4306 (java) S 4298 4298 4066 0 -1 1077944384 12743 0 0 0 92 24 0 0 20 0 15 0 515936713 15514783744 340791 33554432000 4194304 4196468 140732035009584 140030306372464 140030770596482 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4307] ppid=4298 vsize=15151156 memory=1363164 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4307/stat : 4307 (java) S 4298 4298 4066 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 515936714 15514783744 340791 33554432000 4194304 4196468 140732035009584 140030305318496 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4308] ppid=4298 vsize=15151156 memory=1363164 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4308/stat : 4308 (java) S 4298 4298 4066 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 15 0 515936714 15514783744 340791 33554432000 4194304 4196468 140732035009584 140030304265600 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4309] ppid=4298 vsize=15151156 memory=1363164 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4309/stat : 4309 (java) S 4298 4298 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515936717 15514783744 340791 33554432000 4194304 4196468 140732035009584 140030303213904 140030770603931 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4310] ppid=4298 vsize=15151156 memory=1363164 CPUtime=1.67 cores=0,2,4,6
/proc/4300/task/4310/stat : 4310 (java) S 4298 4298 4066 0 -1 1077944384 10681 0 0 0 165 2 0 0 20 0 15 0 515936717 15514783744 340791 33554432000 4194304 4196468 140732035009584 140030302161264 140030770596482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4311] ppid=4298 vsize=15151156 memory=1363164 CPUtime=1.54 cores=0,2,4,6
/proc/4300/task/4311/stat : 4311 (java) S 4298 4298 4066 0 -1 1077944384 9668 0 0 0 153 1 0 0 20 0 15 0 515936717 15514783744 340791 33554432000 4194304 4196468 140732035009584 140030301108464 140030770596482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4312] ppid=4298 vsize=15151156 memory=1448 CPUtime=0.67 cores=0,2,4,6
/proc/4300/task/4312/stat : 4312 (java) S 4298 4298 4066 0 -1 1077944384 8328 0 0 0 65 2 0 0 20 0 15 0 515936717 15514783744 340791 33554432000 4194304 4196468 140732035009584 140030300055664 140030770596482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4313] ppid=4298 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4313/stat : 4313 (java) S 4298 4298 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515936717 15514783744 340791 33554432000 4194304 4196468 140732035009584 140030299003104 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4314] ppid=4298 vsize=15151156 memory=1363164 CPUtime=0.7 cores=0,2,4,6
/proc/4300/task/4314/stat : 4314 (java) S 4298 4298 4066 0 -1 1077944384 1437 0 0 0 34 36 0 0 20 0 15 0 515936717 15514783744 340791 33554432000 4194304 4196468 140732035009584 140030297951408 140030770596482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
Current children cumulated CPU time: 2337.71 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1364612 KiB

[startup+2382.3 s]
/proc/loadavg: 1.84 1.89 1.70 3/230 4786
/proc/meminfo: memFree=24136252/32770624 swapFree=66959728/67108860
[pid=4298] ppid=4295 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4298/stat : 4298 (xcsp3-exec) S 4295 4298 4066 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515936711 115843072 362 33554432000 4194304 5098028 140730293927696 140730293925800 140613884863100 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14340096 140730293928826 140730293929069 140730293929069 140730293931978 0
/proc/4298/statm: 28282 362 304 221 0 87 0
[pid=4300] ppid=4298 vsize=15151156 memory=1361112 CPUtime=2397.76 cores=0,2,4,6
/proc/4300/stat : 4300 (java) S 4298 4298 4066 0 -1 1077944320 305837 0 0 0 239126 650 0 0 20 0 15 0 515936711 15514783744 340278 33554432000 4194304 4196468 140732035009584 140732034992128 140030770585335 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
/proc/4300/statm: 3787789 340278 3526 1 0 3748889 0
[pid=4300/tid=4301] ppid=4298 vsize=15151156 memory=1361112 CPUtime=2376.87 cores=0,2,4,6
/proc/4300/task/4301/stat : 4301 (java) R 4298 4298 4066 0 -1 4202560 223190 0 0 0 237126 561 0 0 20 0 15 0 515936711 15514783744 340278 33554432000 4194304 4196468 140732035009584 140030774825088 140030384874428 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4302] ppid=4298 vsize=15151156 memory=1361112 CPUtime=3.75 cores=0,2,4,6
/proc/4300/task/4302/stat : 4302 (java) S 4298 4298 4066 0 -1 1077944384 10551 0 0 0 366 9 0 0 20 0 15 0 515936712 15514783744 340278 33554432000 4194304 4196468 140732035009584 140030362643088 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4303] ppid=4298 vsize=15151156 memory=1361624 CPUtime=3.77 cores=0,2,4,6
/proc/4300/task/4303/stat : 4303 (java) S 4298 4298 4066 0 -1 1077944384 8971 0 0 0 367 10 0 0 20 0 15 0 515936712 15514783744 340278 33554432000 4194304 4196468 140732035009584 140030361590288 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4304] ppid=4298 vsize=15151156 memory=1362136 CPUtime=3.76 cores=0,2,4,6
/proc/4300/task/4304/stat : 4304 (java) S 4298 4298 4066 0 -1 1077944384 9024 0 0 0 367 9 0 0 20 0 15 0 515936712 15514783744 340278 33554432000 4194304 4196468 140732035009584 140030360537488 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4305] ppid=4298 vsize=15151156 memory=237507 CPUtime=3.75 cores=0,2,4,6
/proc/4300/task/4305/stat : 4305 (java) S 4298 4298 4066 0 -1 1077944384 9408 0 0 0 366 9 0 0 20 0 15 0 515936712 15514783744 340278 33554432000 4194304 4196468 140732035009584 140030359484688 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4306] ppid=4298 vsize=15151156 memory=1362136 CPUtime=1.16 cores=0,2,4,6
/proc/4300/task/4306/stat : 4306 (java) S 4298 4298 4066 0 -1 1077944384 13107 0 0 0 92 24 0 0 20 0 15 0 515936713 15514783744 340278 33554432000 4194304 4196468 140732035009584 140030306372464 140030770596482 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4307] ppid=4298 vsize=15151156 memory=1361112 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4307/stat : 4307 (java) S 4298 4298 4066 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 515936714 15514783744 340278 33554432000 4194304 4196468 140732035009584 140030305318496 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4308] ppid=4298 vsize=15151156 memory=1361112 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4308/stat : 4308 (java) S 4298 4298 4066 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 15 0 515936714 15514783744 340278 33554432000 4194304 4196468 140732035009584 140030304265600 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4309] ppid=4298 vsize=15151156 memory=1361112 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4309/stat : 4309 (java) S 4298 4298 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515936717 15514783744 340278 33554432000 4194304 4196468 140732035009584 140030303213904 140030770603931 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4310] ppid=4298 vsize=15151156 memory=1448 CPUtime=1.67 cores=0,2,4,6
/proc/4300/task/4310/stat : 4310 (java) S 4298 4298 4066 0 -1 1077944384 10685 0 0 0 165 2 0 0 20 0 15 0 515936717 15514783744 340278 33554432000 4194304 4196468 140732035009584 140030302161264 140030770596482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4311] ppid=4298 vsize=15151156 memory=280616789421528 CPUtime=1.54 cores=0,2,4,6
/proc/4300/task/4311/stat : 4311 (java) S 4298 4298 4066 0 -1 1077944384 9672 0 0 0 153 1 0 0 20 0 15 0 515936717 15514783744 340278 33554432000 4194304 4196468 140732035009584 140030301108464 140030770596482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4312] ppid=4298 vsize=15151156 memory=1448 CPUtime=0.67 cores=0,2,4,6
/proc/4300/task/4312/stat : 4312 (java) S 4298 4298 4066 0 -1 1077944384 8332 0 0 0 65 2 0 0 20 0 15 0 515936717 15514783744 340278 33554432000 4194304 4196468 140732035009584 140030300055664 140030770596482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4313] ppid=4298 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4313/stat : 4313 (java) S 4298 4298 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515936717 15514783744 340278 33554432000 4194304 4196468 140732035009584 140030299003104 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4314] ppid=4298 vsize=15151156 memory=1361112 CPUtime=0.72 cores=0,2,4,6
/proc/4300/task/4314/stat : 4314 (java) S 4298 4298 4066 0 -1 1077944384 1467 0 0 0 35 37 0 0 20 0 15 0 515936717 15514783744 340278 33554432000 4194304 4196468 140732035009584 140030297951408 140030770596482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
Current children cumulated CPU time: 2397.76 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1362560 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2384.6 s]
/proc/loadavg: 1.84 1.89 1.70 3/230 4786
/proc/meminfo: memFree=24136500/32770624 swapFree=66959728/67108860
[pid=4298] ppid=4295 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4298/stat : 4298 (xcsp3-exec) S 4295 4298 4066 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515936711 115843072 362 33554432000 4194304 5098028 140730293927696 140730293925800 140613884863100 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14340096 140730293928826 140730293929069 140730293929069 140730293931978 0
/proc/4298/statm: 28282 362 304 221 0 87 0
[pid=4300] ppid=4298 vsize=15151156 memory=1361112 CPUtime=2400.05 cores=0,2,4,6
/proc/4300/stat : 4300 (java) S 4298 4298 4066 0 -1 1077944320 305965 0 0 0 239355 650 0 0 20 0 15 0 515936711 15514783744 340278 33554432000 4194304 4196468 140732035009584 140732034992128 140030770585335 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
/proc/4300/statm: 3787789 340278 3526 1 0 3748889 0
[pid=4300/tid=4301] ppid=4298 vsize=15151156 memory=111632 CPUtime=2379.17 cores=0,2,4,6
/proc/4300/task/4301/stat : 4301 (java) R 4298 4298 4066 0 -1 4202560 223302 0 0 0 237356 561 0 0 20 0 15 0 515936711 15514783744 340278 33554432000 4194304 4196468 140732035009584 140030774824976 140030386596903 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4302] ppid=4298 vsize=15151156 memory=800 CPUtime=3.75 cores=0,2,4,6
/proc/4300/task/4302/stat : 4302 (java) S 4298 4298 4066 0 -1 1077944384 10551 0 0 0 366 9 0 0 20 0 15 0 515936712 15514783744 340278 33554432000 4194304 4196468 140732035009584 140030362643088 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4303] ppid=4298 vsize=15151156 memory=4104 CPUtime=3.77 cores=0,2,4,6
/proc/4300/task/4303/stat : 4303 (java) S 4298 4298 4066 0 -1 1077944384 8971 0 0 0 367 10 0 0 20 0 15 0 515936712 15514783744 340278 33554432000 4194304 4196468 140732035009584 140030361590288 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4304] ppid=4298 vsize=15151156 memory=1804 CPUtime=3.76 cores=0,2,4,6
/proc/4300/task/4304/stat : 4304 (java) S 4298 4298 4066 0 -1 1077944384 9024 0 0 0 367 9 0 0 20 0 15 0 515936712 15514783744 340278 33554432000 4194304 4196468 140732035009584 140030360537488 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4305] ppid=4298 vsize=15151156 memory=916 CPUtime=3.75 cores=0,2,4,6
/proc/4300/task/4305/stat : 4305 (java) S 4298 4298 4066 0 -1 1077944384 9408 0 0 0 366 9 0 0 20 0 15 0 515936712 15514783744 340278 33554432000 4194304 4196468 140732035009584 140030359484688 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4306] ppid=4298 vsize=15151156 memory=928 CPUtime=1.16 cores=0,2,4,6
/proc/4300/task/4306/stat : 4306 (java) S 4298 4298 4066 0 -1 1077944384 13108 0 0 0 92 24 0 0 20 0 15 0 515936713 15514783744 340278 33554432000 4194304 4196468 140732035009584 140030306372464 140030770596482 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4307] ppid=4298 vsize=15151156 memory=3656 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4307/stat : 4307 (java) S 4298 4298 4066 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 515936714 15514783744 340278 33554432000 4194304 4196468 140732035009584 140030305318496 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4308] ppid=4298 vsize=15151156 memory=1976 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4308/stat : 4308 (java) S 4298 4298 4066 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 15 0 515936714 15514783744 340278 33554432000 4194304 4196468 140732035009584 140030304265600 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4309] ppid=4298 vsize=15151156 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4309/stat : 4309 (java) S 4298 4298 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515936717 15514783744 340278 33554432000 4194304 4196468 140732035009584 140030303213904 140030770603931 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4310] ppid=4298 vsize=15151156 memory=808 CPUtime=1.67 cores=0,2,4,6
/proc/4300/task/4310/stat : 4310 (java) S 4298 4298 4066 0 -1 1077944384 10685 0 0 0 165 2 0 0 20 0 15 0 515936717 15514783744 340278 33554432000 4194304 4196468 140732035009584 140030302161264 140030770596482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4311] ppid=4298 vsize=15151156 memory=1448 CPUtime=1.54 cores=0,2,4,6
/proc/4300/task/4311/stat : 4311 (java) S 4298 4298 4066 0 -1 1077944384 9672 0 0 0 153 1 0 0 20 0 15 0 515936717 15514783744 340278 33554432000 4194304 4196468 140732035009584 140030301108464 140030770596482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4312] ppid=4298 vsize=15151156 memory=1764 CPUtime=0.67 cores=0,2,4,6
/proc/4300/task/4312/stat : 4312 (java) S 4298 4298 4066 0 -1 1077944384 8332 0 0 0 65 2 0 0 20 0 15 0 515936717 15514783744 340278 33554432000 4194304 4196468 140732035009584 140030300055664 140030770596482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4313] ppid=4298 vsize=15151156 memory=111632 CPUtime=0 cores=0,2,4,6
/proc/4300/task/4313/stat : 4313 (java) S 4298 4298 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515936717 15514783744 340278 33554432000 4194304 4196468 140732035009584 140030299003104 140030770595541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
[pid=4300/tid=4314] ppid=4298 vsize=15151156 memory=800 CPUtime=0.72 cores=0,2,4,6
/proc/4300/task/4314/stat : 4314 (java) S 4298 4298 4066 0 -1 1077944384 1482 0 0 0 35 37 0 0 20 0 15 0 515936717 15514783744 340278 33554432000 4194304 4196468 140732035009584 140030297951408 140030770596482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8884224 140732035011567 140732035011738 140732035011738 140732035014607 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1362560 KiB

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

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

[startup+2384.62 s]
# the end of solver process 4300 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2393.57 s, system=6.51279 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

Child status: 143
Real time (s): 2384.62
CPU time (s): 2400.08
CPU user time (s): 2393.57
CPU system time (s): 6.51279
CPU usage (%): 100.649
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 8289380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2393.57
system time used= 6.51279
maximum resident set size= 8339132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 307033
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71359
involuntary context switches= 3394


# summary of solver processes directly reported to runsolver:
#   pid: 4298,4300
#   total CPU time (s): 2400.08
#   total CPU user time (s): 2393.57
#   total CPU system time (s): 6.51279

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.6536 second user time and 23.0584 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-homer.xml
MD5SUM	4034cc1c4ef788f4220b0fc076e8c883
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	12
Best CPU time to get the best result obtained on this benchmark	26.8114
Satisfiable
(Un)Satisfiability was proved
Number of variables	561
Number of constraints	1628
Number of domains	1
Minimum domain size	561
Maximum domain size	561
Distribution of domain sizes	[{"size":561,"count":561}]
Minimum variable degree	1
Maximum variable degree	100
Distribution of variable degrees	[{"degree":1,"count":5},{"degree":2,"count":208},{"degree":3,"count":104},{"degree":4,"count":48},{"degree":5,"count":28},{"degree":6,"count":18},{"degree":7,"count":15},{"degree":8,"count":19},{"degree":9,"count":15},{"degree":10,"count":12},{"degree":11,"count":8},{"degree":12,"count":5},{"degree":13,"count":11},{"degree":14,"count":7},{"degree":15,"count":11},{"degree":16,"count":3},{"degree":17,"count":3},{"degree":18,"count":4},{"degree":19,"count":2},{"degree":20,"count":1},{"degree":21,"count":3},{"degree":22,"count":3},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":2},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":36,"count":1},{"degree":37,"count":1},{"degree":38,"count":1},{"degree":39,"count":1},{"degree":40,"count":2},{"degree":41,"count":1},{"degree":43,"count":2},{"degree":46,"count":1},{"degree":51,"count":1},{"degree":53,"count":1},{"degree":55,"count":1},{"degree":56,"count":1},{"degree":57,"count":1},{"degree":62,"count":1},{"degree":66,"count":1},{"degree":78,"count":1},{"degree":100,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":1628}]
Number of extensional constraints	0
Number of intensional constraints	1628
Distribution of constraint types	[{"type":"intension","count":1628}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4406401

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
