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-16 parallel	OPT	4	11.6019	3.42039
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 (15322 MiB free)
  memory of node 1: 16384 MiB (13323 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400096-1568709806/watcher-4400096-1568709806 -o /tmp/evaluation-result-4400096-1568709806/solver-4400096-1568709806 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568701156-7383 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 780940999 HOME/instance-4400096-1568709806.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9421, runsolver pid=9418
Current StackSize limit: 8192 KiB


[startup+0.100613 s]*
/proc/loadavg: 8.48 8.18 8.16 2/213 9442
/proc/meminfo: memFree=29316760/32770624 swapFree=66958320/67108860
[pid=9421] ppid=9418 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9421/stat : 9421 (xcsp3-exec) S 9418 9421 7356 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446917110 115843072 362 33554432000 4194304 5098028 140722099604352 140722099602456 139806893269628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13201408 140722099610492 140722099610734 140722099610734 140722099613642 0
/proc/9421/statm: 28282 362 304 221 0 87 0
[pid=9423] ppid=9421 vsize=28227396 memory=29756 CPUtime=0.12 cores=0-7
/proc/9423/stat : 9423 (java) S 9421 9421 7356 0 -1 1077944320 5919 0 0 0 11 1 0 0 20 0 20 0 446917110 28904853504 7439 33554432000 4194304 4196468 140727819644384 140727819626928 139638333181687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
/proc/9423/statm: 7056849 7439 3119 1 0 7019032 0
[pid=9423/tid=9424] ppid=9421 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/9423/task/9424/stat : 9424 (java) R 9421 9421 7356 0 -1 4202560 3835 0 0 0 8 1 0 0 20 0 20 0 446917110 28904853504 7439 33554432000 4194304 4196468 140727819644384 139638337413600 139638333193622 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9425] ppid=9421 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/9423/task/9425/stat : 9425 (java) S 9421 9421 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446917111 28904853504 7439 33554432000 4194304 4196468 140727819644384 139638253033744 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9426] ppid=9421 vsize=28227396 memory=140322243626624 CPUtime=0 cores=0-7
/proc/9423/task/9426/stat : 9426 (java) S 9421 9421 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917111 28904853504 7439 33554432000 4194304 4196468 140727819644384 139638251981200 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9427] ppid=9421 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9423/task/9427/stat : 9427 (java) S 9421 9421 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446917111 28904853504 7439 33554432000 4194304 4196468 140727819644384 139638250928656 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9428] ppid=9421 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9423/task/9428/stat : 9428 (java) S 9421 9421 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917111 28904853504 7439 33554432000 4194304 4196468 140727819644384 139638249876112 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9429] ppid=9421 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9423/task/9429/stat : 9429 (java) S 9421 9421 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446917111 28904853504 7439 33554432000 4194304 4196468 140727819644384 139638248823568 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9430] ppid=9421 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9423/task/9430/stat : 9430 (java) S 9421 9421 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917111 28904853504 7439 33554432000 4194304 4196468 140727819644384 139638247771024 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9431] ppid=9421 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9423/task/9431/stat : 9431 (java) S 9421 9421 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917111 28904853504 7439 33554432000 4194304 4196468 140727819644384 139638246718480 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9432] ppid=9421 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9423/task/9432/stat : 9432 (java) S 9421 9421 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917111 28904853504 7439 33554432000 4194304 4196468 140727819644384 139637877234832 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9433] ppid=9421 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9423/task/9433/stat : 9433 (java) S 9421 9421 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446917113 28904853504 7439 33554432000 4194304 4196468 140727819644384 139637717821424 139638333192834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9434] ppid=9421 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9423/task/9434/stat : 9434 (java) S 9421 9421 7356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446917113 28904853504 7439 33554432000 4194304 4196468 140727819644384 139637716767648 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9435] ppid=9421 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9423/task/9435/stat : 9435 (java) S 9421 9421 7356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446917113 28904853504 7439 33554432000 4194304 4196468 140727819644384 139637715715056 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9436] ppid=9421 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9423/task/9436/stat : 9436 (java) S 9421 9421 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917116 28904853504 7439 33554432000 4194304 4196468 140727819644384 139637714663632 139638333200283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9437] ppid=9421 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9423/task/9437/stat : 9437 (java) S 9421 9421 7356 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 446917116 28904853504 7439 33554432000 4194304 4196468 140727819644384 139637713611248 139638333192834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9438] ppid=9421 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9423/task/9438/stat : 9438 (java) S 9421 9421 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917116 28904853504 7439 33554432000 4194304 4196468 140727819644384 139637712558704 139638333192834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9439] ppid=9421 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9423/task/9439/stat : 9439 (java) S 9421 9421 7356 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 446917116 28904853504 7439 33554432000 4194304 4196468 140727819644384 139637711506160 139638333192834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9440] ppid=9421 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/9423/task/9440/stat : 9440 (java) R 9421 9421 7356 0 -1 4202560 349 0 0 0 1 0 0 0 20 0 20 0 446917116 28904853504 7439 33554432000 4194304 4196468 140727819644384 139637710453616 139638318320130 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9441] ppid=9421 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9423/task/9441/stat : 9441 (java) S 9421 9421 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446917116 28904853504 7439 33554432000 4194304 4196468 140727819644384 139637709400288 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9442] ppid=9421 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9423/task/9442/stat : 9442 (java) S 9421 9421 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917116 28904853504 7439 33554432000 4194304 4196468 140727819644384 139637641177520 139638333192834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31204 KiB

[startup+0.210581 s]*
/proc/loadavg: 8.48 8.18 8.16 2/213 9442
/proc/meminfo: memFree=29304116/32770624 swapFree=66958320/67108860
[pid=9421] ppid=9418 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9421/stat : 9421 (xcsp3-exec) S 9418 9421 7356 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446917110 115843072 362 33554432000 4194304 5098028 140722099604352 140722099602456 139806893269628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13201408 140722099610492 140722099610734 140722099610734 140722099613642 0
/proc/9421/statm: 28282 362 304 221 0 87 0
[pid=9423] ppid=9421 vsize=28227396 memory=40744 CPUtime=0.33 cores=0-7
/proc/9423/stat : 9423 (java) S 9421 9421 7356 0 -1 1077944320 9456 0 0 0 30 3 0 0 20 0 20 0 446917110 28904853504 10186 33554432000 4194304 4196468 140727819644384 140727819626928 139638333181687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
/proc/9423/statm: 7056849 10186 3270 1 0 7019032 0
[pid=9423/tid=9424] ppid=9421 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/9423/task/9424/stat : 9424 (java) R 9421 9421 7356 0 -1 4202560 6630 0 0 0 17 2 0 0 20 0 20 0 446917110 28904853504 10186 33554432000 4194304 4196468 140727819644384 139638337414416 139638333193622 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9425] ppid=9421 vsize=28227396 memory=329 CPUtime=0 cores=0-7
/proc/9423/task/9425/stat : 9425 (java) S 9421 9421 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446917111 28904853504 10186 33554432000 4194304 4196468 140727819644384 139638253033744 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9426] ppid=9421 vsize=28227396 memory=140322243636216 CPUtime=0 cores=0-7
/proc/9423/task/9426/stat : 9426 (java) S 9421 9421 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917111 28904853504 10186 33554432000 4194304 4196468 140727819644384 139638251981200 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9427] ppid=9421 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9423/task/9427/stat : 9427 (java) S 9421 9421 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446917111 28904853504 10186 33554432000 4194304 4196468 140727819644384 139638250928656 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9428] ppid=9421 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9423/task/9428/stat : 9428 (java) S 9421 9421 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917111 28904853504 10186 33554432000 4194304 4196468 140727819644384 139638249876112 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9429] ppid=9421 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9423/task/9429/stat : 9429 (java) S 9421 9421 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446917111 28904853504 10186 33554432000 4194304 4196468 140727819644384 139638248823568 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9430] ppid=9421 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9423/task/9430/stat : 9430 (java) S 9421 9421 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917111 28904853504 10186 33554432000 4194304 4196468 140727819644384 139638247771024 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9431] ppid=9421 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9423/task/9431/stat : 9431 (java) S 9421 9421 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917111 28904853504 10186 33554432000 4194304 4196468 140727819644384 139638246718480 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9432] ppid=9421 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9423/task/9432/stat : 9432 (java) S 9421 9421 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917111 28904853504 10186 33554432000 4194304 4196468 140727819644384 139637877234832 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9433] ppid=9421 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9423/task/9433/stat : 9433 (java) S 9421 9421 7356 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 446917113 28904853504 10186 33554432000 4194304 4196468 140727819644384 139637717821424 139638333192834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9434] ppid=9421 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9423/task/9434/stat : 9434 (java) S 9421 9421 7356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446917113 28904853504 10186 33554432000 4194304 4196468 140727819644384 139637716767648 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9435] ppid=9421 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9423/task/9435/stat : 9435 (java) S 9421 9421 7356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446917113 28904853504 10186 33554432000 4194304 4196468 140727819644384 139637715715056 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9436] ppid=9421 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9423/task/9436/stat : 9436 (java) S 9421 9421 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917116 28904853504 10186 33554432000 4194304 4196468 140727819644384 139637714663632 139638333200283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9437] ppid=9421 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/9423/task/9437/stat : 9437 (java) S 9421 9421 7356 0 -1 1077944384 447 0 0 0 2 0 0 0 20 0 20 0 446917116 28904853504 10186 33554432000 4194304 4196468 140727819644384 139637713611248 139638333192834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9438] ppid=9421 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/9423/task/9438/stat : 9438 (java) S 9421 9421 7356 0 -1 1077944384 196 0 0 0 1 0 0 0 20 0 20 0 446917116 28904853504 10186 33554432000 4194304 4196468 140727819644384 139637712558704 139638333192834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9439] ppid=9421 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/9423/task/9439/stat : 9439 (java) S 9421 9421 7356 0 -1 1077944384 147 0 0 0 1 0 0 0 20 0 20 0 446917116 28904853504 10186 33554432000 4194304 4196468 140727819644384 139637711506160 139638333192834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9440] ppid=9421 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/9423/task/9440/stat : 9440 (java) R 9421 9421 7356 0 -1 4202560 729 0 0 0 7 0 0 0 20 0 20 0 446917116 28904853504 10186 33554432000 4194304 4196468 140727819644384 139637710453616 139638325418814 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9441] ppid=9421 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9423/task/9441/stat : 9441 (java) S 9421 9421 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446917116 28904853504 10186 33554432000 4194304 4196468 140727819644384 139637709400288 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9442] ppid=9421 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9423/task/9442/stat : 9442 (java) S 9421 9421 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917116 28904853504 10186 33554432000 4194304 4196468 140727819644384 139637641177520 139638333192834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42192 KiB

[startup+0.319572 s]*
/proc/loadavg: 8.48 8.18 8.16 3/213 9442
/proc/meminfo: memFree=29297104/32770624 swapFree=66958320/67108860
[pid=9421] ppid=9418 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9421/stat : 9421 (xcsp3-exec) S 9418 9421 7356 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446917110 115843072 362 33554432000 4194304 5098028 140722099604352 140722099602456 139806893269628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13201408 140722099610492 140722099610734 140722099610734 140722099613642 0
/proc/9421/statm: 28282 362 304 221 0 87 0
[pid=9423] ppid=9421 vsize=28231652 memory=50336 CPUtime=0.54 cores=0-7
/proc/9423/stat : 9423 (java) S 9421 9421 7356 0 -1 1077944320 10972 0 0 0 49 5 0 0 20 0 20 0 446917110 28909211648 12584 33554432000 4194304 4196468 140727819644384 140727819626928 139638333181687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
/proc/9423/statm: 7057913 12584 3355 1 0 7019032 0
[pid=9423/tid=9424] ppid=9421 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/9423/task/9424/stat : 9424 (java) R 9421 9421 7356 0 -1 4202560 7886 0 0 0 27 3 0 0 20 0 20 0 446917110 28909211648 12584 33554432000 4194304 4196468 140727819644384 139638337412800 139638317262174 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9425] ppid=9421 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9423/task/9425/stat : 9425 (java) S 9421 9421 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446917111 28909211648 12584 33554432000 4194304 4196468 140727819644384 139638253033744 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9426] ppid=9421 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9423/task/9426/stat : 9426 (java) S 9421 9421 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917111 28909211648 12584 33554432000 4194304 4196468 140727819644384 139638251981200 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9427] ppid=9421 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9423/task/9427/stat : 9427 (java) S 9421 9421 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446917111 28909211648 12584 33554432000 4194304 4196468 140727819644384 139638250928656 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9428] ppid=9421 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9423/task/9428/stat : 9428 (java) S 9421 9421 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917111 28909211648 12584 33554432000 4194304 4196468 140727819644384 139638249876112 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9429] ppid=9421 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9423/task/9429/stat : 9429 (java) S 9421 9421 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446917111 28909211648 12584 33554432000 4194304 4196468 140727819644384 139638248823568 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9430] ppid=9421 vsize=28231652 memory=140322084580015 CPUtime=0 cores=0-7
/proc/9423/task/9430/stat : 9430 (java) S 9421 9421 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917111 28909211648 12584 33554432000 4194304 4196468 140727819644384 139638247771024 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9431] ppid=9421 vsize=28231652 memory=140322084582320 CPUtime=0 cores=0-7
/proc/9423/task/9431/stat : 9431 (java) S 9421 9421 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917111 28909211648 12584 33554432000 4194304 4196468 140727819644384 139638246718480 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9432] ppid=9421 vsize=28231652 memory=140322084584624 CPUtime=0 cores=0-7
/proc/9423/task/9432/stat : 9432 (java) S 9421 9421 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917111 28909211648 12584 33554432000 4194304 4196468 140727819644384 139637877234832 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9433] ppid=9421 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9423/task/9433/stat : 9433 (java) S 9421 9421 7356 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 446917113 28909211648 12584 33554432000 4194304 4196468 140727819644384 139637717821424 139638333192834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9434] ppid=9421 vsize=28231652 memory=280644169183120 CPUtime=0 cores=0-7
/proc/9423/task/9434/stat : 9434 (java) S 9421 9421 7356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446917113 28909211648 12584 33554432000 4194304 4196468 140727819644384 139637716767648 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9435] ppid=9421 vsize=28231652 memory=280644169180816 CPUtime=0 cores=0-7
/proc/9423/task/9435/stat : 9435 (java) S 9421 9421 7356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446917113 28909211648 12584 33554432000 4194304 4196468 140727819644384 139637715715056 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9436] ppid=9421 vsize=28231652 memory=280644169187728 CPUtime=0 cores=0-7
/proc/9423/task/9436/stat : 9436 (java) S 9421 9421 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917116 28909211648 12584 33554432000 4194304 4196468 140727819644384 139637714663632 139638333200283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9437] ppid=9421 vsize=28231652 memory=280644169128976 CPUtime=0.03 cores=0-7
/proc/9423/task/9437/stat : 9437 (java) S 9421 9421 7356 0 -1 1077944384 465 0 0 0 3 0 0 0 20 0 20 0 446917116 28909211648 12584 33554432000 4194304 4196468 140727819644384 139637713611248 139638333192834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9438] ppid=9421 vsize=28231652 memory=280644169201552 CPUtime=0.03 cores=0-7
/proc/9423/task/9438/stat : 9438 (java) S 9421 9421 7356 0 -1 1077944384 303 0 0 0 3 0 0 0 20 0 20 0 446917116 28909211648 12584 33554432000 4194304 4196468 140727819644384 139637712558704 139638333192834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9439] ppid=9421 vsize=28231652 memory=280644169208464 CPUtime=0.02 cores=0-7
/proc/9423/task/9439/stat : 9439 (java) S 9421 9421 7356 0 -1 1077944384 175 0 0 0 2 0 0 0 20 0 20 0 446917116 28909211648 12584 33554432000 4194304 4196468 140727819644384 139637711506160 139638333192834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9440] ppid=9421 vsize=28231652 memory=280644169206160 CPUtime=0.12 cores=0-7
/proc/9423/task/9440/stat : 9440 (java) S 9421 9421 7356 0 -1 1077944384 835 0 0 0 12 0 0 0 20 0 20 0 446917116 28909211648 12584 33554432000 4194304 4196468 140727819644384 139637710453616 139638333192834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9441] ppid=9421 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9423/task/9441/stat : 9441 (java) S 9421 9421 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446917116 28909211648 12584 33554432000 4194304 4196468 140727819644384 139637709400288 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9442] ppid=9421 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/9423/task/9442/stat : 9442 (java) S 9421 9421 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917116 28909211648 12584 33554432000 4194304 4196468 140727819644384 139637641177520 139638333192834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51784 KiB

[startup+0.701035 s]
/proc/loadavg: 8.48 8.18 8.16 6/213 9442
/proc/meminfo: memFree=29273888/32770624 swapFree=66958320/67108860
[pid=9421] ppid=9418 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9421/stat : 9421 (xcsp3-exec) S 9418 9421 7356 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446917110 115843072 362 33554432000 4194304 5098028 140722099604352 140722099602456 139806893269628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13201408 140722099610492 140722099610734 140722099610734 140722099613642 0
/proc/9421/statm: 28282 362 304 221 0 87 0
[pid=9423] ppid=9421 vsize=28233776 memory=117124 CPUtime=1.94 cores=0-7
/proc/9423/stat : 9423 (java) S 9421 9421 7356 0 -1 1077944320 15333 0 0 0 186 8 0 0 20 0 20 0 446917110 28911386624 29281 33554432000 4194304 4196468 140727819644384 140727819626928 139638333181687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
/proc/9423/statm: 7058444 29281 3449 1 0 7019544 0
[pid=9423/tid=9424] ppid=9421 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/9423/task/9424/stat : 9424 (java) R 9421 9421 7356 0 -1 4202560 8357 0 0 0 63 5 0 0 20 0 20 0 446917110 28911386624 29281 33554432000 4194304 4196468 140727819644384 139638337418208 139637926473365 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9425] ppid=9421 vsize=28233776 memory=140322084791152 CPUtime=0 cores=0-7
/proc/9423/task/9425/stat : 9425 (java) S 9421 9421 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446917111 28911386624 29281 33554432000 4194304 4196468 140727819644384 139638253033744 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9426] ppid=9421 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/9423/task/9426/stat : 9426 (java) S 9421 9421 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917111 28911386624 29281 33554432000 4194304 4196468 140727819644384 139638251981200 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9427] ppid=9421 vsize=28233776 memory=8024 CPUtime=0 cores=0-7
/proc/9423/task/9427/stat : 9427 (java) S 9421 9421 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446917111 28911386624 29281 33554432000 4194304 4196468 140727819644384 139638250928656 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0

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


[startup+3.11007 s]
/proc/loadavg: 8.04 8.09 8.14 2/212 9442
/proc/meminfo: memFree=28669560/32770624 swapFree=66958320/67108860
[pid=9421] ppid=9418 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9421/stat : 9421 (xcsp3-exec) S 9418 9421 7356 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446917110 115843072 362 33554432000 4194304 5098028 140722099604352 140722099602456 139806893269628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13201408 140722099610492 140722099610734 140722099610734 140722099613642 0
/proc/9421/statm: 28282 362 304 221 0 87 0
[pid=9423] ppid=9421 vsize=28233776 memory=677884 CPUtime=9.56 cores=0-7
/proc/9423/stat : 9423 (java) S 9421 9421 7356 0 -1 1077944320 35062 0 0 0 915 41 0 0 20 0 20 0 446917110 28911386624 169471 33554432000 4194304 4196468 140727819644384 140727819626928 139638333181687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
/proc/9423/statm: 7058444 169471 3510 1 0 7019544 0
[pid=9423/tid=9424] ppid=9421 vsize=28233776 memory=55 CPUtime=2.96 cores=0-7
/proc/9423/task/9424/stat : 9424 (java) R 9421 9421 7356 0 -1 4202560 11560 0 0 0 283 13 0 0 20 0 20 0 446917110 28911386624 169471 33554432000 4194304 4196468 140727819644384 139638337417296 139637927458727 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9425] ppid=9421 vsize=28233776 memory=9125 CPUtime=0.09 cores=0-7
/proc/9423/task/9425/stat : 9425 (java) S 9421 9421 7356 0 -1 1077944384 518 0 0 0 7 2 0 0 20 0 20 0 446917111 28911386624 169471 33554432000 4194304 4196468 140727819644384 139638253033744 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9426] ppid=9421 vsize=28233776 memory=22713 CPUtime=0.07 cores=0-7
/proc/9423/task/9426/stat : 9426 (java) S 9421 9421 7356 0 -1 1077944384 120 0 0 0 5 2 0 0 20 0 20 0 446917111 28911386624 169471 33554432000 4194304 4196468 140727819644384 139638251981200 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9427] ppid=9421 vsize=28233776 memory=0 CPUtime=0.06 cores=0-7
/proc/9423/task/9427/stat : 9427 (java) S 9421 9421 7356 0 -1 1077944384 94 0 0 0 4 2 0 0 20 0 20 0 446917111 28911386624 169471 33554432000 4194304 4196468 140727819644384 139638250928656 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9428] ppid=9421 vsize=28233776 memory=8112282956445269571 CPUtime=0.08 cores=0-7
/proc/9423/task/9428/stat : 9428 (java) S 9421 9421 7356 0 -1 1077944384 269 0 0 0 6 2 0 0 20 0 20 0 446917111 28911386624 169471 33554432000 4194304 4196468 140727819644384 139638249876112 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9429] ppid=9421 vsize=28233776 memory=0 CPUtime=0.09 cores=0-7
/proc/9423/task/9429/stat : 9429 (java) S 9421 9421 7356 0 -1 1077944384 153 0 0 0 7 2 0 0 20 0 20 0 446917111 28911386624 169471 33554432000 4194304 4196468 140727819644384 139638248823568 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9430] ppid=9421 vsize=28233776 memory=0 CPUtime=0.09 cores=0-7
/proc/9423/task/9430/stat : 9430 (java) S 9421 9421 7356 0 -1 1077944384 156 0 0 0 6 3 0 0 20 0 20 0 446917111 28911386624 169471 33554432000 4194304 4196468 140727819644384 139638247771024 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9431] ppid=9421 vsize=28233776 memory=0 CPUtime=0.07 cores=0-7
/proc/9423/task/9431/stat : 9431 (java) S 9421 9421 7356 0 -1 1077944384 134 0 0 0 5 2 0 0 20 0 20 0 446917111 28911386624 169471 33554432000 4194304 4196468 140727819644384 139638246718480 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9432] ppid=9421 vsize=28233776 memory=0 CPUtime=0.07 cores=0-7
/proc/9423/task/9432/stat : 9432 (java) S 9421 9421 7356 0 -1 1077944384 124 0 0 0 5 2 0 0 20 0 20 0 446917111 28911386624 169471 33554432000 4194304 4196468 140727819644384 139637877234832 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9433] ppid=9421 vsize=28233776 memory=1448 CPUtime=0.01 cores=0-7
/proc/9423/task/9433/stat : 9433 (java) S 9421 9421 7356 0 -1 1077944384 634 0 0 0 1 0 0 0 20 0 20 0 446917113 28911386624 169471 33554432000 4194304 4196468 140727819644384 139637717821424 139638333192834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9434] ppid=9421 vsize=28233776 memory=1448 CPUtime=0 cores=0-7
/proc/9423/task/9434/stat : 9434 (java) S 9421 9421 7356 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 446917113 28911386624 169471 33554432000 4194304 4196468 140727819644384 139637716767712 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9435] ppid=9421 vsize=28233776 memory=411560 CPUtime=0 cores=0-7
/proc/9423/task/9435/stat : 9435 (java) S 9421 9421 7356 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 446917113 28911386624 169471 33554432000 4194304 4196468 140727819644384 139637715715072 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9436] ppid=9421 vsize=28233776 memory=7014751519684055912 CPUtime=0 cores=0-7
/proc/9423/task/9436/stat : 9436 (java) S 9421 9421 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917116 28911386624 169471 33554432000 4194304 4196468 140727819644384 139637714663632 139638333200283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9437] ppid=9421 vsize=28233776 memory=3689913976284524592 CPUtime=1.75 cores=0-7
/proc/9423/task/9437/stat : 9437 (java) S 9421 9421 7356 0 -1 1077944384 5092 0 0 0 174 1 0 0 20 0 20 0 446917116 28911386624 169471 33554432000 4194304 4196468 140727819644384 139637713611248 139638333192834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9438] ppid=9421 vsize=28233776 memory=2241 CPUtime=1.69 cores=0-7
/proc/9423/task/9438/stat : 9438 (java) R 9421 9421 7356 0 -1 4202560 6222 0 0 0 168 1 0 0 20 0 20 0 446917116 28911386624 169471 33554432000 4194304 4196468 140727819644384 139637712547968 139638318063376 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9439] ppid=9421 vsize=28233776 memory=2244 CPUtime=1.78 cores=0-7
/proc/9423/task/9439/stat : 9439 (java) S 9421 9421 7356 0 -1 1077944384 5465 0 0 0 177 1 0 0 20 0 20 0 446917116 28911386624 169471 33554432000 4194304 4196468 140727819644384 139637711506160 139638333192834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9440] ppid=9421 vsize=28233776 memory=1712 CPUtime=0.62 cores=0-7
/proc/9423/task/9440/stat : 9440 (java) R 9421 9421 7356 0 -1 4202560 3162 0 0 0 61 1 0 0 20 0 20 0 446917116 28911386624 169471 33554432000 4194304 4196468 140727819644384 139637710453616 139638312104708 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9441] ppid=9421 vsize=28233776 memory=1196 CPUtime=0 cores=0-7
/proc/9423/task/9441/stat : 9441 (java) S 9421 9421 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446917116 28911386624 169471 33554432000 4194304 4196468 140727819644384 139637709400288 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9442] ppid=9421 vsize=28233776 memory=1044 CPUtime=0 cores=0-7
/proc/9423/task/9442/stat : 9442 (java) S 9421 9421 7356 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 446917116 28911386624 169471 33554432000 4194304 4196468 140727819644384 139637641177520 139638333192834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
Current children cumulated CPU time: 9.56 s
Current children cumulated vsize: 28346904 KiB
Current children cumulated memory: 679332 KiB

[startup+3.42031 s]
# the end of solver process 9421 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=11.1664 s, system=0.435439 s

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

[startup+3.20758 s]
/proc/loadavg: 8.04 8.09 8.14 2/212 9442
/proc/meminfo: memFree=28669560/32770624 swapFree=66958320/67108860
[pid=9421] ppid=9418 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9421/stat : 9421 (xcsp3-exec) S 9418 9421 7356 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446917110 115843072 362 33554432000 4194304 5098028 140722099604352 140722099602456 139806893269628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13201408 140722099610492 140722099610734 140722099610734 140722099613642 0
/proc/9421/statm: 28282 362 304 221 0 87 0
[pid=9423] ppid=9421 vsize=28766288 memory=678740 CPUtime=10.23 cores=0-7
/proc/9423/stat : 9423 (java) S 9421 9421 7356 0 -1 1077944320 35674 0 0 0 982 41 0 0 20 0 28 0 446917110 29456678912 169685 33554432000 4194304 4196468 140727819644384 140727819626928 139638333181687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
/proc/9423/statm: 7191572 169685 3512 1 0 7152672 0
[pid=9423/tid=9424] ppid=9421 vsize=28766288 memory=8024 CPUtime=2.97 cores=0-7
/proc/9423/task/9424/stat : 9424 (java) S 9421 9421 7356 0 -1 1077944384 11665 0 0 0 284 13 0 0 20 0 28 0 446917110 29456678912 169685 33554432000 4194304 4196468 140727819644384 139638337422464 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9425] ppid=9421 vsize=28766288 memory=10428 CPUtime=0.09 cores=0-7
/proc/9423/task/9425/stat : 9425 (java) S 9421 9421 7356 0 -1 1077944384 518 0 0 0 7 2 0 0 20 0 28 0 446917111 29456678912 169685 33554432000 4194304 4196468 140727819644384 139638253033744 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9426] ppid=9421 vsize=28766288 memory=14012 CPUtime=0.07 cores=0-7
/proc/9423/task/9426/stat : 9426 (java) S 9421 9421 7356 0 -1 1077944384 120 0 0 0 5 2 0 0 20 0 28 0 446917111 29456678912 169685 33554432000 4194304 4196468 140727819644384 139638251981200 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9427] ppid=9421 vsize=28766288 memory=14080 CPUtime=0.06 cores=0-7
/proc/9423/task/9427/stat : 9427 (java) S 9421 9421 7356 0 -1 1077944384 94 0 0 0 4 2 0 0 20 0 28 0 446917111 29456678912 169685 33554432000 4194304 4196468 140727819644384 139638250928656 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9428] ppid=9421 vsize=28766288 memory=26220 CPUtime=0.08 cores=0-7
/proc/9423/task/9428/stat : 9428 (java) S 9421 9421 7356 0 -1 1077944384 269 0 0 0 6 2 0 0 20 0 28 0 446917111 29456678912 169685 33554432000 4194304 4196468 140727819644384 139638249876112 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9429] ppid=9421 vsize=28766288 memory=677540 CPUtime=0.09 cores=0-7
/proc/9423/task/9429/stat : 9429 (java) S 9421 9421 7356 0 -1 1077944384 153 0 0 0 7 2 0 0 20 0 28 0 446917111 29456678912 169685 33554432000 4194304 4196468 140727819644384 139638248823568 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9430] ppid=9421 vsize=28766288 memory=3612 CPUtime=0.09 cores=0-7
/proc/9423/task/9430/stat : 9430 (java) S 9421 9421 7356 0 -1 1077944384 156 0 0 0 6 3 0 0 20 0 28 0 446917111 29456678912 169685 33554432000 4194304 4196468 140727819644384 139638247771024 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9431] ppid=9421 vsize=28766288 memory=47752 CPUtime=0.07 cores=0-7
/proc/9423/task/9431/stat : 9431 (java) S 9421 9421 7356 0 -1 1077944384 134 0 0 0 5 2 0 0 20 0 28 0 446917111 29456678912 169685 33554432000 4194304 4196468 140727819644384 139638246718480 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9432] ppid=9421 vsize=28766288 memory=988 CPUtime=0.07 cores=0-7
/proc/9423/task/9432/stat : 9432 (java) S 9421 9421 7356 0 -1 1077944384 124 0 0 0 5 2 0 0 20 0 28 0 446917111 29456678912 169685 33554432000 4194304 4196468 140727819644384 139637877234832 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9433] ppid=9421 vsize=28766288 memory=2020 CPUtime=0.01 cores=0-7
/proc/9423/task/9433/stat : 9433 (java) S 9421 9421 7356 0 -1 1077944384 634 0 0 0 1 0 0 0 20 0 28 0 446917113 29456678912 169685 33554432000 4194304 4196468 140727819644384 139637717821424 139638333192834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9434] ppid=9421 vsize=28766288 memory=1432 CPUtime=0 cores=0-7
/proc/9423/task/9434/stat : 9434 (java) S 9421 9421 7356 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 446917113 29456678912 169685 33554432000 4194304 4196468 140727819644384 139637716767712 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9435] ppid=9421 vsize=28766288 memory=776 CPUtime=0 cores=0-7
/proc/9423/task/9435/stat : 9435 (java) S 9421 9421 7356 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 446917113 29456678912 169685 33554432000 4194304 4196468 140727819644384 139637715715072 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9436] ppid=9421 vsize=28766288 memory=1056 CPUtime=0 cores=0-7
/proc/9423/task/9436/stat : 9436 (java) S 9421 9421 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446917116 29456678912 169685 33554432000 4194304 4196468 140727819644384 139637714663632 139638333200283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9437] ppid=9421 vsize=28766288 memory=4000 CPUtime=1.78 cores=0-7
/proc/9423/task/9437/stat : 9437 (java) R 9421 9421 7356 0 -1 1077944384 5108 0 0 0 177 1 0 0 20 0 28 0 446917116 29456678912 169685 33554432000 4194304 4196468 140727819644384 139637713610432 139638333191893 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9438] ppid=9421 vsize=28766288 memory=1552 CPUtime=1.73 cores=0-7
/proc/9423/task/9438/stat : 9438 (java) R 9421 9421 7356 0 -1 4202560 6242 0 0 0 172 1 0 0 20 0 28 0 446917116 29456678912 169685 33554432000 4194304 4196468 140727819644384 139637712547504 139638313817605 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9439] ppid=9421 vsize=28766288 memory=7 CPUtime=1.8 cores=0-7
/proc/9423/task/9439/stat : 9439 (java) R 9421 9421 7356 0 -1 4202560 5471 0 0 0 179 1 0 0 20 0 28 0 446917116 29456678912 169685 33554432000 4194304 4196468 140727819644384 139637711492976 139638310776718 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9440] ppid=9421 vsize=28766288 memory=6 CPUtime=0.65 cores=0-7
/proc/9423/task/9440/stat : 9440 (java) S 9421 9421 7356 0 -1 1077944384 3258 0 0 0 64 1 0 0 20 0 28 0 446917116 29456678912 169685 33554432000 4194304 4196468 140727819644384 139637710448688 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9441] ppid=9421 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/9423/task/9441/stat : 9441 (java) S 9421 9421 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446917116 29456678912 169685 33554432000 4194304 4196468 140727819644384 139637709400288 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9442] ppid=9421 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/9423/task/9442/stat : 9442 (java) S 9421 9421 7356 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 446917116 29456678912 169685 33554432000 4194304 4196468 140727819644384 139637641177520 139638333192834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
Current children cumulated CPU time: 10.23 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 680188 KiB

[startup+3.40088 s]
/proc/loadavg: 8.04 8.09 8.14 2/212 9442
/proc/meminfo: memFree=28669560/32770624 swapFree=66958320/67108860
[pid=9421] ppid=9418 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9421/stat : 9421 (xcsp3-exec) S 9418 9421 7356 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446917110 115843072 362 33554432000 4194304 5098028 140722099604352 140722099602456 139806893269628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13201408 140722099610492 140722099610734 140722099610734 140722099613642 0
/proc/9421/statm: 28282 362 304 221 0 87 0
[pid=9423] ppid=9421 vsize=28768336 memory=680448 CPUtime=11.58 cores=0-7
/proc/9423/stat : 9423 (java) S 9421 9421 7356 0 -1 1077944320 36149 0 0 0 1116 42 0 0 20 0 19 0 446917110 29458776064 170112 33554432000 4194304 4196468 140727819644384 140727819626928 139638333181687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
/proc/9423/statm: 7192084 170112 3516 1 0 7153184 0
[pid=9423/tid=9424] ppid=9421 vsize=28768336 memory=0 CPUtime=2.97 cores=0-7
/proc/9423/task/9424/stat : 9424 (java) S 9421 9421 7356 0 -1 1077944384 11672 0 0 0 284 13 0 0 20 0 19 0 446917110 29458776064 170112 33554432000 4194304 4196468 140727819644384 139638337424528 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9425] ppid=9421 vsize=28768336 memory=0 CPUtime=0.09 cores=0-7
/proc/9423/task/9425/stat : 9425 (java) S 9421 9421 7356 0 -1 1077944384 518 0 0 0 7 2 0 0 20 0 19 0 446917111 29458776064 170112 33554432000 4194304 4196468 140727819644384 139638253033744 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9426] ppid=9421 vsize=28768336 memory=2236 CPUtime=0.07 cores=0-7
/proc/9423/task/9426/stat : 9426 (java) S 9421 9421 7356 0 -1 1077944384 120 0 0 0 5 2 0 0 20 0 19 0 446917111 29458776064 170112 33554432000 4194304 4196468 140727819644384 139638251981200 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9427] ppid=9421 vsize=28768336 memory=15620 CPUtime=0.06 cores=0-7
/proc/9423/task/9427/stat : 9427 (java) S 9421 9421 7356 0 -1 1077944384 94 0 0 0 4 2 0 0 20 0 19 0 446917111 29458776064 170112 33554432000 4194304 4196468 140727819644384 139638250928656 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9428] ppid=9421 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7
/proc/9423/task/9428/stat : 9428 (java) S 9421 9421 7356 0 -1 1077944384 269 0 0 0 6 2 0 0 20 0 19 0 446917111 29458776064 170112 33554432000 4194304 4196468 140727819644384 139638249876112 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9429] ppid=9421 vsize=28768336 memory=87 CPUtime=0.09 cores=0-7
/proc/9423/task/9429/stat : 9429 (java) S 9421 9421 7356 0 -1 1077944384 153 0 0 0 7 2 0 0 20 0 19 0 446917111 29458776064 170112 33554432000 4194304 4196468 140727819644384 139638248823568 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9430] ppid=9421 vsize=28768336 memory=31044 CPUtime=0.09 cores=0-7
/proc/9423/task/9430/stat : 9430 (java) S 9421 9421 7356 0 -1 1077944384 156 0 0 0 6 3 0 0 20 0 19 0 446917111 29458776064 170112 33554432000 4194304 4196468 140727819644384 139638247771024 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9431] ppid=9421 vsize=28768336 memory=-6586668835053300886 CPUtime=0.07 cores=0-7
/proc/9423/task/9431/stat : 9431 (java) S 9421 9421 7356 0 -1 1077944384 134 0 0 0 5 2 0 0 20 0 19 0 446917111 29458776064 170112 33554432000 4194304 4196468 140727819644384 139638246718480 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9432] ppid=9421 vsize=28768336 memory=0 CPUtime=0.07 cores=0-7
/proc/9423/task/9432/stat : 9432 (java) S 9421 9421 7356 0 -1 1077944384 124 0 0 0 5 2 0 0 20 0 19 0 446917111 29458776064 170112 33554432000 4194304 4196468 140727819644384 139637877234832 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9433] ppid=9421 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7
/proc/9423/task/9433/stat : 9433 (java) S 9421 9421 7356 0 -1 1077944384 634 0 0 0 1 0 0 0 20 0 19 0 446917113 29458776064 170112 33554432000 4194304 4196468 140727819644384 139637717821632 139638333192834 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9434] ppid=9421 vsize=28768336 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/9423/task/9434/stat : 9434 (java) S 9421 9421 7356 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 446917113 29458776064 170112 33554432000 4194304 4196468 140727819644384 139637716767712 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9435] ppid=9421 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/9423/task/9435/stat : 9435 (java) S 9421 9421 7356 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 446917113 29458776064 170112 33554432000 4194304 4196468 140727819644384 139637715715072 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9436] ppid=9421 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/9423/task/9436/stat : 9436 (java) S 9421 9421 7356 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 446917116 29458776064 170112 33554432000 4194304 4196468 140727819644384 139637714663280 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9437] ppid=9421 vsize=28768336 memory=0 CPUtime=1.93 cores=0-7
/proc/9423/task/9437/stat : 9437 (java) R 9421 9421 7356 0 -1 4202560 5165 0 0 0 192 1 0 0 20 0 19 0 446917116 29458776064 170112 33554432000 4194304 4196468 140727819644384 139637713595280 139638314703087 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9438] ppid=9421 vsize=28768336 memory=6944656592455359580 CPUtime=1.86 cores=0-7
/proc/9423/task/9438/stat : 9438 (java) S 9421 9421 7356 0 -1 1077944384 6285 0 0 0 185 1 0 0 20 0 19 0 446917116 29458776064 170112 33554432000 4194304 4196468 140727819644384 139637712543216 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9439] ppid=9421 vsize=28768336 memory=6656426216303648864 CPUtime=1.92 cores=0-7
/proc/9423/task/9439/stat : 9439 (java) S 9421 9421 7356 0 -1 1077944384 5500 0 0 0 191 1 0 0 20 0 19 0 446917116 29458776064 170112 33554432000 4194304 4196468 140727819644384 139637711486560 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9440] ppid=9421 vsize=28768336 memory=0 CPUtime=0.71 cores=0-7
/proc/9423/task/9440/stat : 9440 (java) S 9421 9421 7356 0 -1 1077944384 3369 0 0 0 70 1 0 0 20 0 19 0 446917116 29458776064 170112 33554432000 4194304 4196468 140727819644384 139637710453616 139638333192834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
[pid=9423/tid=9441] ppid=9421 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/9423/task/9441/stat : 9441 (java) S 9421 9421 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446917116 29458776064 170112 33554432000 4194304 4196468 140727819644384 139637709400288 139638333191893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18685952 140727819645936 140727819646107 140727819646107 140727819648975 0
Current children cumulated CPU time: 11.58 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 681896 KiB

Child status: 0
Real time (s): 3.42039
CPU time (s): 11.6019
CPU user time (s): 11.1664
CPU system time (s): 0.435439
CPU usage (%): 339.197
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 681896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.1664
system time used= 0.435439
maximum resident set size= 681200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36732
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= 4018
involuntary context switches= 79


# summary of solver processes directly reported to runsolver:
#   pid: 9421
#   total CPU time (s): 11.6019
#   total CPU user time (s): 11.1664
#   total CPU system time (s): 0.435439

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045524 second user time and 0.07992 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-05d.xml
MD5SUM	368e26568da76f7c30ce4b17b57b0014
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	2.19767
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	9757
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	30
Maximum variable degree	69
Distribution of variable degrees	[{"degree":30,"count":2},{"degree":32,"count":5},{"degree":33,"count":14},{"degree":34,"count":7},{"degree":35,"count":13},{"degree":36,"count":18},{"degree":37,"count":13},{"degree":38,"count":17},{"degree":39,"count":17},{"degree":40,"count":27},{"degree":41,"count":16},{"degree":42,"count":32},{"degree":43,"count":28},{"degree":44,"count":28},{"degree":45,"count":29},{"degree":46,"count":24},{"degree":47,"count":22},{"degree":48,"count":17},{"degree":49,"count":23},{"degree":50,"count":15},{"degree":51,"count":17},{"degree":52,"count":14},{"degree":53,"count":14},{"degree":54,"count":11},{"degree":55,"count":9},{"degree":56,"count":4},{"degree":57,"count":4},{"degree":58,"count":2},{"degree":59,"count":2},{"degree":60,"count":1},{"degree":62,"count":1},{"degree":65,"count":2},{"degree":66,"count":1},{"degree":69,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":9757}]
Number of extensional constraints	0
Number of intensional constraints	9757
Distribution of constraint types	[{"type":"intension","count":9757}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4400096

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
