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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-24	OPT	4	8.23962	3.63961
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 (13778 MiB free)
  memory of node 1: 16384 MiB (11107 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406404-1569396673/watcher-4406404-1569396673 -o /tmp/evaluation-result-4406404-1569396673/solver-4406404-1569396673 -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 2000911244 HOME/instance-4406404-1569396673.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=4222, runsolver pid=4219

[startup+0.100646 s]*
/proc/loadavg: 0.05 0.03 0.05 4/230 4238
/proc/meminfo: memFree=25465484/32770624 swapFree=66959728/67108860
[pid=4222] ppid=4219 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4222/stat : 4222 (xcsp3-exec) S 4219 4222 4066 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515936156 115843072 362 33554432000 4194304 5098028 140735804633616 140735804631720 139933664076412 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28995584 140735804642170 140735804642413 140735804642413 140735804645322 0
/proc/4222/statm: 28282 362 304 221 0 87 0
[pid=4224] ppid=4222 vsize=15144776 memory=29072 CPUtime=0.13 cores=0,2,4,6
/proc/4224/stat : 4224 (java) S 4222 4222 4066 0 -1 1077944320 5660 0 0 0 11 2 0 0 20 0 15 0 515936156 15508250624 7268 33554432000 4194304 4196468 140730074980864 140730074963408 140609581317879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
/proc/4224/statm: 3786194 7268 3150 1 0 3748377 0
[pid=4224/tid=4225] ppid=4222 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/4224/task/4225/stat : 4225 (java) R 4222 4222 4066 0 -1 4202560 3591 0 0 0 8 1 0 0 20 0 15 0 515936156 15508250624 7268 33554432000 4194304 4196468 140730074980864 140609585550608 140609573559269 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4226] ppid=4222 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4226/stat : 4226 (java) S 4222 4222 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515936157 15508250624 7268 33554432000 4194304 4196468 140730074980864 140609517554832 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4227] ppid=4222 vsize=15144776 memory=288370181677246080 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4227/stat : 4227 (java) S 4222 4222 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515936157 15508250624 7268 33554432000 4194304 4196468 140730074980864 140609516502032 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4228] ppid=4222 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4228/stat : 4228 (java) S 4222 4222 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515936157 15508250624 7268 33554432000 4194304 4196468 140730074980864 140609515449232 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4229] ppid=4222 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4229/stat : 4229 (java) S 4222 4222 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515936157 15508250624 7268 33554432000 4194304 4196468 140730074980864 140609514396432 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4230] ppid=4222 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4230/stat : 4230 (java) S 4222 4222 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515936158 15508250624 7268 33554432000 4194304 4196468 140730074980864 140609117165936 140609581329026 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4231] ppid=4222 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4231/stat : 4231 (java) S 4222 4222 4066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515936159 15508250624 7268 33554432000 4194304 4196468 140730074980864 140609116111904 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4232] ppid=4222 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4232/stat : 4232 (java) S 4222 4222 4066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515936159 15508250624 7268 33554432000 4194304 4196468 140730074980864 140609115059056 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4233] ppid=4222 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4233/stat : 4233 (java) S 4222 4222 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515936161 15508250624 7268 33554432000 4194304 4196468 140730074980864 140609114007376 140609581336475 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4234] ppid=4222 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4234/stat : 4234 (java) R 4222 4222 4066 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 515936161 15508250624 7268 33554432000 4194304 4196468 140730074980864 140609112955760 140609581329026 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4235] ppid=4222 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4235/stat : 4235 (java) R 4222 4222 4066 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 15 0 515936161 15508250624 7268 33554432000 4194304 4196468 140730074980864 140609111894608 140609564753617 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4236] ppid=4222 vsize=15144776 memory=139805525534336 CPUtime=0.02 cores=0,2,4,6
/proc/4224/task/4236/stat : 4236 (java) R 4222 4222 4066 0 -1 4202560 350 0 0 0 2 0 0 0 20 0 15 0 515936161 15508250624 7268 33554432000 4194304 4196468 140730074980864 140609110850160 140609559922415 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4237] ppid=4222 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4237/stat : 4237 (java) S 4222 4222 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515936162 15508250624 7268 33554432000 4194304 4196468 140730074980864 140609041984224 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4238] ppid=4222 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4238/stat : 4238 (java) S 4222 4222 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515936162 15508250624 7268 33554432000 4194304 4196468 140730074980864 140609040931504 140609581329026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30520 KiB

[startup+0.210801 s]*
/proc/loadavg: 0.37 0.09 0.07 4/230 4238
/proc/meminfo: memFree=25450640/32770624 swapFree=66959728/67108860
[pid=4222] ppid=4219 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4222/stat : 4222 (xcsp3-exec) S 4219 4222 4066 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515936156 115843072 362 33554432000 4194304 5098028 140735804633616 140735804631720 139933664076412 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28995584 140735804642170 140735804642413 140735804642413 140735804645322 0
/proc/4222/statm: 28282 362 304 221 0 87 0
[pid=4224] ppid=4222 vsize=15144776 memory=40844 CPUtime=0.34 cores=0,2,4,6
/proc/4224/stat : 4224 (java) S 4222 4222 4066 0 -1 1077944320 9461 0 0 0 30 4 0 0 20 0 15 0 515936156 15508250624 10211 33554432000 4194304 4196468 140730074980864 140730074963408 140609581317879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
/proc/4224/statm: 3786194 10211 3303 1 0 3748377 0
[pid=4224/tid=4225] ppid=4222 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/4224/task/4225/stat : 4225 (java) R 4222 4222 4066 0 -1 4202560 6614 0 0 0 17 3 0 0 20 0 15 0 515936156 15508250624 10211 33554432000 4194304 4196468 140730074980864 140609585551824 140609581329814 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4226] ppid=4222 vsize=15144776 memory=1946936 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4226/stat : 4226 (java) S 4222 4222 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515936157 15508250624 10211 33554432000 4194304 4196468 140730074980864 140609517554832 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4227] ppid=4222 vsize=15144776 memory=139805525547498 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4227/stat : 4227 (java) S 4222 4222 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515936157 15508250624 10211 33554432000 4194304 4196468 140730074980864 140609516502032 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4228] ppid=4222 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4228/stat : 4228 (java) S 4222 4222 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515936157 15508250624 10211 33554432000 4194304 4196468 140730074980864 140609515449232 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4229] ppid=4222 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4229/stat : 4229 (java) S 4222 4222 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515936157 15508250624 10211 33554432000 4194304 4196468 140730074980864 140609514396432 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4230] ppid=4222 vsize=15144776 memory=139805525534336 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4230/stat : 4230 (java) S 4222 4222 4066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515936158 15508250624 10211 33554432000 4194304 4196468 140730074980864 140609117165936 140609581329026 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4231] ppid=4222 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4231/stat : 4231 (java) S 4222 4222 4066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515936159 15508250624 10211 33554432000 4194304 4196468 140730074980864 140609116111904 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4232] ppid=4222 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4232/stat : 4232 (java) S 4222 4222 4066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515936159 15508250624 10211 33554432000 4194304 4196468 140730074980864 140609115059056 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4233] ppid=4222 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4233/stat : 4233 (java) S 4222 4222 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515936161 15508250624 10211 33554432000 4194304 4196468 140730074980864 140609114007376 140609581336475 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4234] ppid=4222 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4224/task/4234/stat : 4234 (java) S 4222 4222 4066 0 -1 1077944384 519 0 0 0 2 0 0 0 20 0 15 0 515936161 15508250624 10211 33554432000 4194304 4196468 140730074980864 140609112955760 140609581329026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4235] ppid=4222 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/4224/task/4235/stat : 4235 (java) S 4222 4222 4066 0 -1 1077944384 315 0 0 0 2 0 0 0 20 0 15 0 515936161 15508250624 10211 33554432000 4194304 4196468 140730074980864 140609111902960 140609581329026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4236] ppid=4222 vsize=15144776 memory=139805525534336 CPUtime=0.08 cores=0,2,4,6
/proc/4224/task/4236/stat : 4236 (java) R 4222 4222 4066 0 -1 4202560 709 0 0 0 8 0 0 0 20 0 15 0 515936161 15508250624 10211 33554432000 4194304 4196468 140730074980864 140609110849968 140609560085355 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4237] ppid=4222 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4237/stat : 4237 (java) S 4222 4222 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515936162 15508250624 10211 33554432000 4194304 4196468 140730074980864 140609041984224 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4238] ppid=4222 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4238/stat : 4238 (java) S 4222 4222 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515936162 15508250624 10211 33554432000 4194304 4196468 140730074980864 140609040931504 140609581329026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42292 KiB

[startup+0.319645 s]*
/proc/loadavg: 0.37 0.09 0.07 4/230 4238
/proc/meminfo: memFree=25440556/32770624 swapFree=66959728/67108860
[pid=4222] ppid=4219 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4222/stat : 4222 (xcsp3-exec) S 4219 4222 4066 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515936156 115843072 362 33554432000 4194304 5098028 140735804633616 140735804631720 139933664076412 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28995584 140735804642170 140735804642413 140735804642413 140735804645322 0
/proc/4222/statm: 28282 362 304 221 0 87 0
[pid=4224] ppid=4222 vsize=15149032 memory=50344 CPUtime=0.54 cores=0,2,4,6
/proc/4224/stat : 4224 (java) S 4222 4222 4066 0 -1 1077944320 10949 0 0 0 49 5 0 0 20 0 15 0 515936156 15512608768 12586 33554432000 4194304 4196468 140730074980864 140730074963408 140609581317879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
/proc/4224/statm: 3787258 12586 3365 1 0 3748377 0
[pid=4224/tid=4225] ppid=4222 vsize=15149032 memory=1398722017469774279 CPUtime=0.31 cores=0,2,4,6
/proc/4224/task/4225/stat : 4225 (java) R 4222 4222 4066 0 -1 4202560 7875 0 0 0 27 4 0 0 20 0 15 0 515936156 15512608768 12651 33554432000 4194304 4196468 140730074980864 140609585548992 140609581329814 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4226] ppid=4222 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4226/stat : 4226 (java) S 4222 4222 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515936157 15512608768 12651 33554432000 4194304 4196468 140730074980864 140609517554832 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4227] ppid=4222 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4227/stat : 4227 (java) S 4222 4222 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515936157 15512608768 12651 33554432000 4194304 4196468 140730074980864 140609516502032 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4228] ppid=4222 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4228/stat : 4228 (java) S 4222 4222 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515936157 15512608768 12651 33554432000 4194304 4196468 140730074980864 140609515449232 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4229] ppid=4222 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4229/stat : 4229 (java) S 4222 4222 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515936157 15512608768 12651 33554432000 4194304 4196468 140730074980864 140609514396432 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4230] ppid=4222 vsize=15149032 memory=7307460107981921142 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4230/stat : 4230 (java) S 4222 4222 4066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515936158 15512608768 12651 33554432000 4194304 4196468 140730074980864 140609117165936 140609581329026 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4231] ppid=4222 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4231/stat : 4231 (java) S 4222 4222 4066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515936159 15512608768 12651 33554432000 4194304 4196468 140730074980864 140609116111904 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4232] ppid=4222 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4232/stat : 4232 (java) S 4222 4222 4066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515936159 15512608768 12651 33554432000 4194304 4196468 140730074980864 140609115059056 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4233] ppid=4222 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4233/stat : 4233 (java) S 4222 4222 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515936161 15512608768 12651 33554432000 4194304 4196468 140730074980864 140609114007376 140609581336475 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4234] ppid=4222 vsize=15149032 memory=-8412656567168561567 CPUtime=0.05 cores=0,2,4,6
/proc/4224/task/4234/stat : 4234 (java) S 4222 4222 4066 0 -1 1077944384 613 0 0 0 5 0 0 0 20 0 15 0 515936161 15512608768 12651 33554432000 4194304 4196468 140730074980864 140609112955760 140609581329026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4235] ppid=4222 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/4224/task/4235/stat : 4235 (java) S 4222 4222 4066 0 -1 1077944384 358 0 0 0 4 0 0 0 20 0 15 0 515936161 15512608768 12651 33554432000 4194304 4196468 140730074980864 140609111902960 140609581329026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4236] ppid=4222 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/4224/task/4236/stat : 4236 (java) S 4222 4222 4066 0 -1 1077944384 805 0 0 0 12 0 0 0 20 0 15 0 515936161 15512608768 12651 33554432000 4194304 4196468 140730074980864 140609110850160 140609581329026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4237] ppid=4222 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4237/stat : 4237 (java) S 4222 4222 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515936162 15512608768 12651 33554432000 4194304 4196468 140730074980864 140609041984224 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4238] ppid=4222 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4238/stat : 4238 (java) S 4222 4222 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515936162 15512608768 12651 33554432000 4194304 4196468 140730074980864 140609040931504 140609581329026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51792 KiB

[startup+0.70164 s]
/proc/loadavg: 0.37 0.09 0.07 5/230 4238
/proc/meminfo: memFree=25417020/32770624 swapFree=66959728/67108860
[pid=4222] ppid=4219 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4222/stat : 4222 (xcsp3-exec) S 4219 4222 4066 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515936156 115843072 362 33554432000 4194304 5098028 140735804633616 140735804631720 139933664076412 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28995584 140735804642170 140735804642413 140735804642413 140735804645322 0
/proc/4222/statm: 28282 362 304 221 0 87 0
[pid=4224] ppid=4222 vsize=15151156 memory=109724 CPUtime=1.7 cores=0,2,4,6
/proc/4224/stat : 4224 (java) S 4222 4222 4066 0 -1 1077944320 14031 0 0 0 163 7 0 0 20 0 15 0 515936156 15514783744 27431 33554432000 4194304 4196468 140730074980864 140730074963408 140609581317879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
/proc/4224/statm: 3787789 27431 3437 1 0 3748889 0
[pid=4224/tid=4225] ppid=4222 vsize=15151156 memory=-3704326594973231466 CPUtime=0.68 cores=0,2,4,6
/proc/4224/task/4225/stat : 4225 (java) R 4222 4222 4066 0 -1 4202560 8368 0 0 0 63 5 0 0 20 0 15 0 515936156 15514783744 27431 33554432000 4194304 4196468 140730074980864 140609585550832 140609581329814 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4226] ppid=4222 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4226/stat : 4226 (java) S 4222 4222 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515936157 15514783744 27431 33554432000 4194304 4196468 140730074980864 140609517554832 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4227] ppid=4222 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4227/stat : 4227 (java) S 4222 4222 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515936157 15514783744 27431 33554432000 4194304 4196468 140730074980864 140609516502032 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4228] ppid=4222 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4228/stat : 4228 (java) S 4222 4222 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515936157 15514783744 27431 33554432000 4194304 4196468 140730074980864 140609515449232 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4229] ppid=4222 vsize=15151156 memory=1188 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4229/stat : 4229 (java) S 4222 4222 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515936157 15514783744 27431 33554432000 4194304 4196468 140730074980864 140609514396432 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4230] ppid=4222 vsize=15151156 memory=1536 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4230/stat : 4230 (java) S 4222 4222 4066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515936158 15514783744 27431 33554432000 4194304 4196468 140730074980864 140609117165936 140609581329026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4231] ppid=4222 vsize=15151156 memory=9592 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4231/stat : 4231 (java) S 4222 4222 4066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515936159 15514783744 27431 33554432000 4194304 4196468 140730074980864 140609116111904 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4232] ppid=4222 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4232/stat : 4232 (java) S 4222 4222 4066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515936159 15514783744 27431 33554432000 4194304 4196468 140730074980864 140609115059056 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4233] ppid=4222 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4233/stat : 4233 (java) S 4222 4222 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515936161 15514783744 27431 33554432000 4194304 4196468 140730074980864 140609114007376 140609581336475 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4234] ppid=4222 vsize=15151156 memory=620 CPUtime=0.35 cores=0,2,4,6
/proc/4224/task/4234/stat : 4234 (java) R 4222 4222 4066 0 -1 4202560 1491 0 0 0 35 0 0 0 20 0 15 0 515936161 15514783744 27431 33554432000 4194304 4196468 140730074980864 140609112941784 140609562861602 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4235] ppid=4222 vsize=15151156 memory=1496 CPUtime=0.34 cores=0,2,4,6
/proc/4224/task/4235/stat : 4235 (java) R 4222 4222 4066 0 -1 4202560 1272 0 0 0 34 0 0 0 20 0 15 0 515936161 15514783744 27431 33554432000 4194304 4196468 140730074980864 140609111884800 140609564803829 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4236] ppid=4222 vsize=15151156 memory=1016 CPUtime=0.29 cores=0,2,4,6
/proc/4224/task/4236/stat : 4236 (java) R 4222 4222 4066 0 -1 4202560 1594 0 0 0 29 0 0 0 20 0 15 0 515936161 15514783744 27431 33554432000 4194304 4196468 140730074980864 140609110850160 140609581339226 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4237] ppid=4222 vsize=15151156 memory=6072 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4237/stat : 4237 (java) S 4222 4222 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515936162 15514783744 27431 33554432000 4194304 4196468 140730074980864 140609041984224 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4238] ppid=4222 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4238/stat : 4238 (java) S 4222 4222 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515936162 15514783744 27431 33554432000 4194304 4196468 140730074980864 140609040931504 140609581329026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 111172 KiB

[startup+1.50468 s]
/proc/loadavg: 0.37 0.09 0.07 5/230 4238
/proc/meminfo: memFree=25321020/32770624 swapFree=66959728/67108860
[pid=4222] ppid=4219 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4222/stat : 4222 (xcsp3-exec) S 4219 4222 4066 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515936156 115843072 362 33554432000 4194304 5098028 140735804633616 140735804631720 139933664076412 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28995584 140735804642170 140735804642413 140735804642413 140735804645322 0
/proc/4222/statm: 28282 362 304 221 0 87 0

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

/proc/4224/task/4226/stat : 4226 (java) S 4222 4222 4066 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 515936157 15514783744 49982 33554432000 4194304 4196468 140730074980864 140609517554832 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4227] ppid=4222 vsize=15151156 memory=7955702562851810405 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4227/stat : 4227 (java) S 4222 4222 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515936157 15514783744 49982 33554432000 4194304 4196468 140730074980864 140609516502032 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4228] ppid=4222 vsize=15151156 memory=7593729096716210528 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4228/stat : 4228 (java) S 4222 4222 4066 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 515936157 15514783744 49982 33554432000 4194304 4196468 140730074980864 140609515449232 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4229] ppid=4222 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4229/stat : 4229 (java) S 4222 4222 4066 0 -1 1077944384 228 0 0 0 0 0 0 0 20 0 15 0 515936157 15514783744 49982 33554432000 4194304 4196468 140730074980864 140609514396432 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4230] ppid=4222 vsize=15151156 memory=1188 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4230/stat : 4230 (java) S 4222 4222 4066 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 15 0 515936158 15514783744 49982 33554432000 4194304 4196468 140730074980864 140609117165936 140609581329026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4231] ppid=4222 vsize=15151156 memory=1536 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4231/stat : 4231 (java) S 4222 4222 4066 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 515936159 15514783744 49982 33554432000 4194304 4196468 140730074980864 140609116111904 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4232] ppid=4222 vsize=15151156 memory=9592 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4232/stat : 4232 (java) S 4222 4222 4066 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 515936159 15514783744 49982 33554432000 4194304 4196468 140730074980864 140609115059056 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4233] ppid=4222 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4233/stat : 4233 (java) S 4222 4222 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515936161 15514783744 49982 33554432000 4194304 4196468 140730074980864 140609114007376 140609581336475 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4234] ppid=4222 vsize=15151156 memory=36344013267212 CPUtime=0.94 cores=0,2,4,6
/proc/4224/task/4234/stat : 4234 (java) R 4222 4222 4066 0 -1 1077944384 3173 0 0 0 93 1 0 0 20 0 15 0 515936161 15514783744 49982 33554432000 4194304 4196468 140730074980864 140609112947088 140609581328085 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4235] ppid=4222 vsize=15151156 memory=0 CPUtime=0.99 cores=0,2,4,6
/proc/4224/task/4235/stat : 4235 (java) R 4222 4222 4066 0 -1 4202560 3432 0 0 0 98 1 0 0 20 0 15 0 515936161 15514783744 49982 33554432000 4194304 4196468 140730074980864 140609111902960 140609562838739 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4236] ppid=4222 vsize=15151156 memory=0 CPUtime=0.56 cores=0,2,4,6
/proc/4224/task/4236/stat : 4236 (java) S 4222 4222 4066 0 -1 1077944384 3335 0 0 0 56 0 0 0 20 0 15 0 515936161 15514783744 49982 33554432000 4194304 4196468 140730074980864 140609110850160 140609581329026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4237] ppid=4222 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4237/stat : 4237 (java) S 4222 4222 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515936162 15514783744 49982 33554432000 4194304 4196468 140730074980864 140609041984224 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4238] ppid=4222 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4238/stat : 4238 (java) S 4222 4222 4066 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 515936162 15514783744 49982 33554432000 4194304 4196468 140730074980864 140609040931504 140609581329026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
Current children cumulated CPU time: 4.01 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 201376 KiB

[startup+3.11029 s]
/proc/loadavg: 0.37 0.09 0.07 3/230 4238
/proc/meminfo: memFree=25222644/32770624 swapFree=66959728/67108860
[pid=4222] ppid=4219 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4222/stat : 4222 (xcsp3-exec) S 4219 4222 4066 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515936156 115843072 362 33554432000 4194304 5098028 140735804633616 140735804631720 139933664076412 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28995584 140735804642170 140735804642413 140735804642413 140735804645322 0
/proc/4222/statm: 28282 362 304 221 0 87 0
[pid=4224] ppid=4222 vsize=15151156 memory=235480 CPUtime=7.35 cores=0,2,4,6
/proc/4224/stat : 4224 (java) S 4222 4222 4066 0 -1 1077944320 34779 0 0 0 721 14 0 0 20 0 15 0 515936156 15514783744 58870 33554432000 4194304 4196468 140730074980864 140730074963408 140609581317879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
/proc/4224/statm: 3787789 58870 3511 1 0 3748889 0
[pid=4224/tid=4225] ppid=4222 vsize=15151156 memory=0 CPUtime=3.06 cores=0,2,4,6
/proc/4224/task/4225/stat : 4225 (java) R 4222 4222 4066 0 -1 4202560 10715 0 0 0 300 6 0 0 20 0 15 0 515936156 15514783744 58870 33554432000 4194304 4196468 140730074980864 140609585556640 140609581329814 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4226] ppid=4222 vsize=15151156 memory=157934537416960 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4226/stat : 4226 (java) S 4222 4222 4066 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 515936157 15514783744 58870 33554432000 4194304 4196468 140730074980864 140609517554832 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4227] ppid=4222 vsize=15151156 memory=279610826871248 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4227/stat : 4227 (java) S 4222 4222 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515936157 15514783744 58870 33554432000 4194304 4196468 140730074980864 140609516502032 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4228] ppid=4222 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4228/stat : 4228 (java) S 4222 4222 4066 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 515936157 15514783744 58870 33554432000 4194304 4196468 140730074980864 140609515449232 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4229] ppid=4222 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4229/stat : 4229 (java) S 4222 4222 4066 0 -1 1077944384 228 0 0 0 0 0 0 0 20 0 15 0 515936157 15514783744 58870 33554432000 4194304 4196468 140730074980864 140609514396432 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4230] ppid=4222 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4230/stat : 4230 (java) S 4222 4222 4066 0 -1 1077944384 280 0 0 0 0 0 0 0 20 0 15 0 515936158 15514783744 58870 33554432000 4194304 4196468 140730074980864 140609117165936 140609581329026 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4231] ppid=4222 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4231/stat : 4231 (java) S 4222 4222 4066 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 515936159 15514783744 58870 33554432000 4194304 4196468 140730074980864 140609116111904 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4232] ppid=4222 vsize=15151156 memory=127320 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4232/stat : 4232 (java) S 4222 4222 4066 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 515936159 15514783744 58870 33554432000 4194304 4196468 140730074980864 140609115059056 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4233] ppid=4222 vsize=15151156 memory=3689086533920373304 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4233/stat : 4233 (java) S 4222 4222 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515936161 15514783744 58870 33554432000 4194304 4196468 140730074980864 140609114007376 140609581336475 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4234] ppid=4222 vsize=15151156 memory=279610826894048 CPUtime=1.75 cores=0,2,4,6
/proc/4224/task/4234/stat : 4234 (java) R 4222 4222 4066 0 -1 4202560 8779 0 0 0 173 2 0 0 20 0 15 0 515936161 15514783744 58870 33554432000 4194304 4196468 140730074980864 140609112955760 140609566199808 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4235] ppid=4222 vsize=15151156 memory=-7604262568725289114 CPUtime=1.82 cores=0,2,4,6
/proc/4224/task/4235/stat : 4235 (java) R 4222 4222 4066 0 -1 1077944384 9148 0 0 0 179 3 0 0 20 0 15 0 515936161 15514783744 58870 33554432000 4194304 4196468 140730074980864 140609111902960 140609581329026 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4236] ppid=4222 vsize=15151156 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/4224/task/4236/stat : 4236 (java) S 4222 4222 4066 0 -1 1077944384 3759 0 0 0 64 1 0 0 20 0 15 0 515936161 15514783744 58870 33554432000 4194304 4196468 140730074980864 140609110850160 140609581329026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4237] ppid=4222 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4237/stat : 4237 (java) S 4222 4222 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515936162 15514783744 58870 33554432000 4194304 4196468 140730074980864 140609041984224 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4238] ppid=4222 vsize=15151156 memory=1188 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4238/stat : 4238 (java) S 4222 4222 4066 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 515936162 15514783744 58870 33554432000 4194304 4196468 140730074980864 140609040931504 140609581329026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
Current children cumulated CPU time: 7.35 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 236928 KiB

[startup+3.63955 s]
# the end of solver process 4222 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=8.0884 s, system=0.151221 s

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

[startup+3.20173 s]
/proc/loadavg: 0.37 0.09 0.07 3/230 4238
/proc/meminfo: memFree=25222644/32770624 swapFree=66959728/67108860
[pid=4222] ppid=4219 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4222/stat : 4222 (xcsp3-exec) S 4219 4222 4066 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515936156 115843072 362 33554432000 4194304 5098028 140735804633616 140735804631720 139933664076412 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28995584 140735804642170 140735804642413 140735804642413 140735804645322 0
/proc/4222/statm: 28282 362 304 221 0 87 0
[pid=4224] ppid=4222 vsize=15151156 memory=235480 CPUtime=7.55 cores=0,2,4,6
/proc/4224/stat : 4224 (java) S 4222 4222 4066 0 -1 1077944320 34803 0 0 0 741 14 0 0 20 0 15 0 515936156 15514783744 58870 33554432000 4194304 4196468 140730074980864 140730074963408 140609581317879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
/proc/4224/statm: 3787789 58870 3511 1 0 3748889 0
[pid=4224/tid=4225] ppid=4222 vsize=15151156 memory=2828 CPUtime=3.16 cores=0,2,4,6
/proc/4224/task/4225/stat : 4225 (java) R 4222 4222 4066 0 -1 4202560 10715 0 0 0 310 6 0 0 20 0 15 0 515936156 15514783744 58870 33554432000 4194304 4196468 140730074980864 140609585555400 140609200076027 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4226] ppid=4222 vsize=15151156 memory=11204 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4226/stat : 4226 (java) S 4222 4222 4066 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 515936157 15514783744 58870 33554432000 4194304 4196468 140730074980864 140609517554832 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4227] ppid=4222 vsize=15151156 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4227/stat : 4227 (java) S 4222 4222 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515936157 15514783744 58870 33554432000 4194304 4196468 140730074980864 140609516502032 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4228] ppid=4222 vsize=15151156 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4228/stat : 4228 (java) S 4222 4222 4066 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 515936157 15514783744 58870 33554432000 4194304 4196468 140730074980864 140609515449232 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4229] ppid=4222 vsize=15151156 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4229/stat : 4229 (java) S 4222 4222 4066 0 -1 1077944384 228 0 0 0 0 0 0 0 20 0 15 0 515936157 15514783744 58870 33554432000 4194304 4196468 140730074980864 140609514396432 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4230] ppid=4222 vsize=15151156 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4230/stat : 4230 (java) S 4222 4222 4066 0 -1 1077944384 280 0 0 0 0 0 0 0 20 0 15 0 515936158 15514783744 58870 33554432000 4194304 4196468 140730074980864 140609117165936 140609581329026 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4231] ppid=4222 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4231/stat : 4231 (java) S 4222 4222 4066 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 515936159 15514783744 58870 33554432000 4194304 4196468 140730074980864 140609116111904 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4232] ppid=4222 vsize=15151156 memory=620 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4232/stat : 4232 (java) S 4222 4222 4066 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 515936159 15514783744 58870 33554432000 4194304 4196468 140730074980864 140609115059056 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4233] ppid=4222 vsize=15151156 memory=1496 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4233/stat : 4233 (java) S 4222 4222 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515936161 15514783744 58870 33554432000 4194304 4196468 140730074980864 140609114007376 140609581336475 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4234] ppid=4222 vsize=15151156 memory=1016 CPUtime=1.81 cores=0,2,4,6
/proc/4224/task/4234/stat : 4234 (java) S 4222 4222 4066 0 -1 1077944384 8796 0 0 0 179 2 0 0 20 0 15 0 515936161 15514783744 58870 33554432000 4194304 4196468 140730074980864 140609112955760 140609581329026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4235] ppid=4222 vsize=15151156 memory=6072 CPUtime=1.87 cores=0,2,4,6
/proc/4224/task/4235/stat : 4235 (java) R 4222 4222 4066 0 -1 4202560 9155 0 0 0 184 3 0 0 20 0 15 0 515936161 15514783744 58870 33554432000 4194304 4196468 140730074980864 140609111902880 140609564803879 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4236] ppid=4222 vsize=15151156 memory=14012 CPUtime=0.65 cores=0,2,4,6
/proc/4224/task/4236/stat : 4236 (java) S 4222 4222 4066 0 -1 1077944384 3759 0 0 0 64 1 0 0 20 0 15 0 515936161 15514783744 58870 33554432000 4194304 4196468 140730074980864 140609110850160 140609581329026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4237] ppid=4222 vsize=15151156 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4237/stat : 4237 (java) S 4222 4222 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515936162 15514783744 58870 33554432000 4194304 4196468 140730074980864 140609041984224 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4238] ppid=4222 vsize=15151156 memory=36544 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4238/stat : 4238 (java) S 4222 4222 4066 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 515936162 15514783744 58870 33554432000 4194304 4196468 140730074980864 140609040931504 140609581329026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
Current children cumulated CPU time: 7.55 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 236928 KiB

[startup+3.60082 s]
/proc/loadavg: 0.37 0.09 0.07 3/230 4238
/proc/meminfo: memFree=25222644/32770624 swapFree=66959728/67108860
[pid=4222] ppid=4219 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4222/stat : 4222 (xcsp3-exec) S 4219 4222 4066 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515936156 115843072 362 33554432000 4194304 5098028 140735804633616 140735804631720 139933664076412 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28995584 140735804642170 140735804642413 140735804642413 140735804645322 0
/proc/4222/statm: 28282 362 304 221 0 87 0
[pid=4224] ppid=4222 vsize=15151156 memory=236444 CPUtime=8.19 cores=0,2,4,6
/proc/4224/stat : 4224 (java) S 4222 4222 4066 0 -1 1077944320 35048 0 0 0 805 14 0 0 20 0 15 0 515936156 15514783744 59111 33554432000 4194304 4196468 140730074980864 140730074963408 140609581317879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
/proc/4224/statm: 3787789 59111 3512 1 0 3748889 0
[pid=4224/tid=4225] ppid=4222 vsize=15151156 memory=8112282956445269571 CPUtime=3.55 cores=0,2,4,6
/proc/4224/task/4225/stat : 4225 (java) R 4222 4222 4066 0 -1 4202560 10718 0 0 0 349 6 0 0 20 0 15 0 515936156 15514783744 59111 33554432000 4194304 4196468 140730074980864 140609585556432 140609200074714 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4226] ppid=4222 vsize=15151156 memory=235256 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4226/stat : 4226 (java) S 4222 4222 4066 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 515936157 15514783744 59111 33554432000 4194304 4196468 140730074980864 140609517554832 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4227] ppid=4222 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4227/stat : 4227 (java) S 4222 4222 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515936157 15514783744 59111 33554432000 4194304 4196468 140730074980864 140609516502032 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4228] ppid=4222 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4228/stat : 4228 (java) S 4222 4222 4066 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 515936157 15514783744 59111 33554432000 4194304 4196468 140730074980864 140609515449232 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4229] ppid=4222 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4229/stat : 4229 (java) S 4222 4222 4066 0 -1 1077944384 228 0 0 0 0 0 0 0 20 0 15 0 515936157 15514783744 59111 33554432000 4194304 4196468 140730074980864 140609514396432 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4230] ppid=4222 vsize=15151156 memory=-1598831813028945288 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4230/stat : 4230 (java) S 4222 4222 4066 0 -1 1077944384 280 0 0 0 0 0 0 0 20 0 15 0 515936158 15514783744 59111 33554432000 4194304 4196468 140730074980864 140609117165936 140609581329026 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4231] ppid=4222 vsize=15151156 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4231/stat : 4231 (java) S 4222 4222 4066 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 515936159 15514783744 59111 33554432000 4194304 4196468 140730074980864 140609116111904 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4232] ppid=4222 vsize=15151156 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4232/stat : 4232 (java) S 4222 4222 4066 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 515936159 15514783744 59111 33554432000 4194304 4196468 140730074980864 140609115059056 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4233] ppid=4222 vsize=15151156 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4233/stat : 4233 (java) S 4222 4222 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515936161 15514783744 59111 33554432000 4194304 4196468 140730074980864 140609114007376 140609581336475 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4234] ppid=4222 vsize=15151156 memory=-2672971630493134941 CPUtime=1.84 cores=0,2,4,6
/proc/4224/task/4234/stat : 4234 (java) S 4222 4222 4066 0 -1 1077944384 8800 0 0 0 182 2 0 0 20 0 15 0 515936161 15514783744 59111 33554432000 4194304 4196468 140730074980864 140609112955760 140609581329026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4235] ppid=4222 vsize=15151156 memory=139805525541377 CPUtime=2.08 cores=0,2,4,6
/proc/4224/task/4235/stat : 4235 (java) S 4222 4222 4066 0 -1 1077944384 9382 0 0 0 205 3 0 0 20 0 15 0 515936161 15514783744 59111 33554432000 4194304 4196468 140730074980864 140609111902960 140609581329026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4236] ppid=4222 vsize=15151156 memory=139805525539169 CPUtime=0.65 cores=0,2,4,6
/proc/4224/task/4236/stat : 4236 (java) S 4222 4222 4066 0 -1 1077944384 3770 0 0 0 64 1 0 0 20 0 15 0 515936161 15514783744 59111 33554432000 4194304 4196468 140730074980864 140609110850160 140609581329026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4237] ppid=4222 vsize=15151156 memory=139805525536961 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4237/stat : 4237 (java) S 4222 4222 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515936162 15514783744 59111 33554432000 4194304 4196468 140730074980864 140609041984224 140609581328085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
[pid=4224/tid=4238] ppid=4222 vsize=15151156 memory=139805525534753 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4238/stat : 4238 (java) S 4222 4222 4066 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 515936162 15514783744 59111 33554432000 4194304 4196468 140730074980864 140609040931504 140609581329026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140730074985455 140730074985626 140730074985626 140730074988495 0
Current children cumulated CPU time: 8.19 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 237892 KiB

Child status: 0
Real time (s): 3.63961
CPU time (s): 8.23962
CPU user time (s): 8.0884
CPU system time (s): 0.151221
CPU usage (%): 226.388
Max. virtual memory (cumulated for all children) (KiB): 15266348
Max. memory (cumulated for all children) (KiB): 237892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.0884
system time used= 0.151221
maximum resident set size= 236828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35676
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2502
involuntary context switches= 36


# summary of solver processes directly reported to runsolver:
#   pid: 4222
#   total CPU time (s): 8.23962
#   total CPU user time (s): 8.0884
#   total CPU system time (s): 0.151221

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.050327 second user time and 0.075491 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-05c.xml
MD5SUM	4c5949db6bfbca6a63c3d4670a37bb2f
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	1.93663
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	9803
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	28
Maximum variable degree	67
Distribution of variable degrees	[{"degree":28,"count":1},{"degree":29,"count":1},{"degree":31,"count":2},{"degree":32,"count":7},{"degree":33,"count":5},{"degree":34,"count":2},{"degree":35,"count":4},{"degree":36,"count":18},{"degree":37,"count":10},{"degree":38,"count":21},{"degree":39,"count":27},{"degree":40,"count":25},{"degree":41,"count":33},{"degree":42,"count":22},{"degree":43,"count":23},{"degree":44,"count":27},{"degree":45,"count":26},{"degree":46,"count":37},{"degree":47,"count":26},{"degree":48,"count":25},{"degree":49,"count":23},{"degree":50,"count":17},{"degree":51,"count":11},{"degree":52,"count":13},{"degree":53,"count":9},{"degree":54,"count":8},{"degree":55,"count":4},{"degree":56,"count":1},{"degree":57,"count":4},{"degree":58,"count":5},{"degree":60,"count":5},{"degree":61,"count":4},{"degree":63,"count":1},{"degree":66,"count":2},{"degree":67,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":9803}]
Number of extensional constraints	0
Number of intensional constraints	9803
Distribution of constraint types	[{"type":"intension","count":9803}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4406404

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
