2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: choco-solver 4.0.5 (2017-07-05)	SAT (TO)	61	2400.76	306.612

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4245160-1500685304/watcher-4245160-1500685304 -o /tmp/evaluation-result-4245160-1500685304/solver-4245160-1500685304 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16945 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 50651382 HOME/instance-4245160-1500685304.xml 

pid=461
running on 8 cores: 1,3,5,7,9,11,13,15

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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 15.86 15.00 14.65 11/276 464
/proc/meminfo: memFree=29599796/32770624 swapFree=5900/220400
[pid=464] ppid=461 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/464/stat : 464 (xcsp3-exec) S 461 464 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3797393 9740288 346 33554432000 4194304 5098028 140727448240880 140727448238984 140438792868476 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 27160576 140727448249488 140727448249696 140727448249696 140727448252395 0
/proc/464/statm: 2378 346 289 221 0 87 0

[startup+0.1001 s]
/proc/loadavg: 15.86 15.00 14.65 11/276 464
/proc/meminfo: memFree=29599796/32770624 swapFree=5900/220400
[pid=464] ppid=461 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/464/stat : 464 (xcsp3-exec) S 461 464 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3797393 9740288 346 33554432000 4194304 5098028 140727448240880 140727448238984 140438792868476 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 27160576 140727448249488 140727448249696 140727448249696 140727448252395 0
/proc/464/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200283 s]
/proc/loadavg: 15.86 15.00 14.65 11/276 464
/proc/meminfo: memFree=29599796/32770624 swapFree=5900/220400
[pid=464] ppid=461 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/464/stat : 464 (xcsp3-exec) S 461 464 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3797393 9740288 346 33554432000 4194304 5098028 140727448240880 140727448238984 140438792868476 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 27160576 140727448249488 140727448249696 140727448249696 140727448252395 0
/proc/464/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300271 s]
/proc/loadavg: 15.86 15.00 14.65 11/276 464
/proc/meminfo: memFree=29599796/32770624 swapFree=5900/220400
[pid=464] ppid=461 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/464/stat : 464 (xcsp3-exec) S 461 464 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3797393 9740288 346 33554432000 4194304 5098028 140727448240880 140727448238984 140438792868476 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 27160576 140727448249488 140727448249696 140727448249696 140727448252395 0
/proc/464/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700183 s]
/proc/loadavg: 15.86 15.00 14.65 11/276 464
/proc/meminfo: memFree=29599796/32770624 swapFree=5900/220400
[pid=464] ppid=461 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/464/stat : 464 (xcsp3-exec) S 461 464 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3797393 9740288 346 33554432000 4194304 5098028 140727448240880 140727448238984 140438792868476 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 27160576 140727448249488 140727448249696 140727448249696 140727448252395 0
/proc/464/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50078 s]
/proc/loadavg: 15.86 15.00 14.65 12/297 488
/proc/meminfo: memFree=29372140/32770624 swapFree=5900/220500
[pid=464] ppid=461 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/464/stat : 464 (xcsp3-exec) S 461 464 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3797393 9740288 346 33554432000 4194304 5098028 140727448240880 140727448238984 140438792868476 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 27160576 140727448249488 140727448249696 140727448249696 140727448252395 0
/proc/464/statm: 2378 346 289 221 0 87 0
[pid=465] ppid=464 vsize=13269256 CPUtime=4.73 cores=1,3,5,7,9,11,13,15
/proc/465/stat : 465 (java) S 464 464 16913 0 -1 1077944320 15595 0 0 0 442 31 0 0 20 0 20 0 3797394 13587718144 60976 33554432000 4194304 4196468 140727713256640 140727713239184 139788329467639 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
/proc/465/statm: 3317314 60976 3230 1 0 3304547 0
[pid=465/tid=466] ppid=464 vsize=13269256 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/465/task/466/stat : 466 (java) R 464 464 16913 0 -1 4202560 6394 0 0 0 135 5 0 0 20 0 20 0 3797394 13587718144 60976 33554432000 4194304 4196468 140727713256640 139788333703816 139787968003676 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=468] ppid=464 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/465/task/468/stat : 468 (java) S 464 464 16913 0 -1 1077944384 39 0 0 0 2 3 0 0 20 0 20 0 3797395 13587718144 60976 33554432000 4194304 4196468 140727713256640 139787928448016 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=469] ppid=464 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/465/task/469/stat : 469 (java) S 464 464 16913 0 -1 1077944384 28 0 0 0 2 3 0 0 20 0 20 0 3797395 13587718144 60976 33554432000 4194304 4196468 140727713256640 139787927395472 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=470] ppid=464 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/465/task/470/stat : 470 (java) S 464 464 16913 0 -1 1077944384 31 0 0 0 2 3 0 0 20 0 20 0 3797395 13587718144 60976 33554432000 4194304 4196468 140727713256640 139787926342416 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=471] ppid=464 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/465/task/471/stat : 471 (java) S 464 464 16913 0 -1 1077944384 22 0 0 0 1 2 0 0 20 0 20 0 3797395 13587718144 60976 33554432000 4194304 4196468 140727713256640 139787925289872 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=472] ppid=464 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/465/task/472/stat : 472 (java) S 464 464 16913 0 -1 1077944384 27 0 0 0 3 2 0 0 20 0 20 0 3797395 13587718144 60976 33554432000 4194304 4196468 140727713256640 139787924236816 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=473] ppid=464 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/465/task/473/stat : 473 (java) S 464 464 16913 0 -1 1077944384 77 0 0 0 4 1 0 0 20 0 20 0 3797395 13587718144 60976 33554432000 4194304 4196468 140727713256640 139787923184272 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=474] ppid=464 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/465/task/474/stat : 474 (java) S 464 464 16913 0 -1 1077944384 42 0 0 0 2 3 0 0 20 0 20 0 3797395 13587718144 60976 33554432000 4194304 4196468 140727713256640 139787922131216 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=476] ppid=464 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/465/task/476/stat : 476 (java) S 464 464 16913 0 -1 1077944384 21 0 0 0 1 1 0 0 20 0 20 0 3797395 13587718144 60976 33554432000 4194304 4196468 140727713256640 139787921078672 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=477] ppid=464 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/465/task/477/stat : 477 (java) S 464 464 16913 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 3797397 13587718144 60976 33554432000 4194304 4196468 140727713256640 139787791796976 139788329478786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=478] ppid=464 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/465/task/478/stat : 478 (java) S 464 464 16913 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3797398 13587718144 60976 33554432000 4194304 4196468 140727713256640 139787790743200 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=479] ppid=464 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/465/task/479/stat : 479 (java) S 464 464 16913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3797398 13587718144 60976 33554432000 4194304 4196468 140727713256640 139787789690096 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=480] ppid=464 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/465/task/480/stat : 480 (java) S 464 464 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3797402 13587718144 60976 33554432000 4194304 4196468 140727713256640 139787788638672 139788329486235 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=481] ppid=464 vsize=13269256 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/465/task/481/stat : 481 (java) R 464 464 16913 0 -1 4202560 2196 0 0 0 80 1 0 0 20 0 20 0 3797402 13587718144 60976 33554432000 4194304 4196468 140727713256640 139787787585696 139788307062670 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=483] ppid=464 vsize=13269256 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/465/task/483/stat : 483 (java) R 464 464 16913 0 -1 4202560 1808 0 0 0 78 0 0 0 20 0 20 0 3797402 13587718144 60976 33554432000 4194304 4196468 140727713256640 139787786514800 139788309160743 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=484] ppid=464 vsize=13269256 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/465/task/484/stat : 484 (java) S 464 464 16913 0 -1 1077944384 1371 0 0 0 77 0 0 0 20 0 20 0 3797402 13587718144 60976 33554432000 4194304 4196468 140727713256640 139787785480176 139788329478786 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=485] ppid=464 vsize=13269256 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/465/task/485/stat : 485 (java) S 464 464 16913 0 -1 1077944384 2161 0 0 0 49 1 0 0 20 0 20 0 3797402 13587718144 60976 33554432000 4194304 4196468 140727713256640 139787784427632 139788329478786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=486] ppid=464 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/465/task/486/stat : 486 (java) S 464 464 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3797402 13587718144 60976 33554432000 4194304 4196468 140727713256640 139787783375840 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=488] ppid=464 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/465/task/488/stat : 488 (java) S 464 464 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3797402 13587718144 60976 33554432000 4194304 4196468 140727713256640 139787782323376 139788329478786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
Current children cumulated CPU time (s) 4.73
Current children cumulated vsize (KiB) 13278768

[startup+3.10081 s]
/proc/loadavg: 15.86 15.00 14.65 19/297 488
/proc/meminfo: memFree=29195700/32770624 swapFree=5900/220500
[pid=464] ppid=461 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/464/stat : 464 (xcsp3-exec) S 461 464 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3797393 9740288 346 33554432000 4194304 5098028 140727448240880 140727448238984 140438792868476 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 27160576 140727448249488 140727448249696 140727448249696 140727448252395 0
/proc/464/statm: 2378 346 289 221 0 87 0
[pid=465] ppid=464 vsize=13269256 CPUtime=9.67 cores=1,3,5,7,9,11,13,15
/proc/465/stat : 465 (java) S 464 464 16913 0 -1 1077944320 18009 0 0 0 837 130 0 0 20 0 20 0 3797394 13587718144 189259 33554432000 4194304 4196468 140727713256640 140727713239184 139788329467639 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
/proc/465/statm: 3317314 189259 3264 1 0 3304547 0
[pid=465/tid=466] ppid=464 vsize=13269256 CPUtime=2.75 cores=1,3,5,7,9,11,13,15
/proc/465/task/466/stat : 466 (java) R 464 464 16913 0 -1 4202560 6679 0 0 0 266 9 0 0 20 0 20 0 3797394 13587718144 189259 33554432000 4194304 4196468 140727713256640 139788333706136 139787971718855 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=468] ppid=464 vsize=13269256 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/465/task/468/stat : 468 (java) S 464 464 16913 0 -1 1077944384 201 0 0 0 14 15 0 0 20 0 20 0 3797395 13587718144 189259 33554432000 4194304 4196468 140727713256640 139787928448016 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=469] ppid=464 vsize=13269256 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/465/task/469/stat : 469 (java) S 464 464 16913 0 -1 1077944384 139 0 0 0 13 14 0 0 20 0 20 0 3797395 13587718144 189259 33554432000 4194304 4196468 140727713256640 139787927395472 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=470] ppid=464 vsize=13269256 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/465/task/470/stat : 470 (java) S 464 464 16913 0 -1 1077944384 198 0 0 0 13 14 0 0 20 0 20 0 3797395 13587718144 189259 33554432000 4194304 4196468 140727713256640 139787926342416 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=471] ppid=464 vsize=13269256 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/465/task/471/stat : 471 (java) S 464 464 16913 0 -1 1077944384 149 0 0 0 13 13 0 0 20 0 20 0 3797395 13587718144 189259 33554432000 4194304 4196468 140727713256640 139787925289872 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=472] ppid=464 vsize=13269256 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/465/task/472/stat : 472 (java) S 464 464 16913 0 -1 1077944384 171 0 0 0 14 14 0 0 20 0 20 0 3797395 13587718144 189259 33554432000 4194304 4196468 140727713256640 139787924236816 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=473] ppid=464 vsize=13269256 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/465/task/473/stat : 473 (java) S 464 464 16913 0 -1 1077944384 220 0 0 0 16 13 0 0 20 0 20 0 3797395 13587718144 189259 33554432000 4194304 4196468 140727713256640 139787923184272 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=474] ppid=464 vsize=13269256 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/465/task/474/stat : 474 (java) S 464 464 16913 0 -1 1077944384 236 0 0 0 12 15 0 0 20 0 20 0 3797395 13587718144 189259 33554432000 4194304 4196468 140727713256640 139787922131216 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=476] ppid=464 vsize=13269256 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/465/task/476/stat : 476 (java) S 464 464 16913 0 -1 1077944384 155 0 0 0 11 13 0 0 20 0 20 0 3797395 13587718144 189259 33554432000 4194304 4196468 140727713256640 139787921078672 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=477] ppid=464 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/465/task/477/stat : 477 (java) S 464 464 16913 0 -1 1077944384 530 0 0 0 0 0 0 0 20 0 20 0 3797397 13587718144 189259 33554432000 4194304 4196468 140727713256640 139787791796976 139788329478786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=478] ppid=464 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/465/task/478/stat : 478 (java) S 464 464 16913 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3797398 13587718144 189259 33554432000 4194304 4196468 140727713256640 139787790743264 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=479] ppid=464 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/465/task/479/stat : 479 (java) S 464 464 16913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3797398 13587718144 189259 33554432000 4194304 4196468 140727713256640 139787789690112 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=480] ppid=464 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/465/task/480/stat : 480 (java) S 464 464 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3797402 13587718144 189259 33554432000 4194304 4196468 140727713256640 139787788638672 139788329486235 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=481] ppid=464 vsize=13269256 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/465/task/481/stat : 481 (java) R 464 464 16913 0 -1 4202560 2289 0 0 0 133 1 0 0 20 0 20 0 3797402 13587718144 189259 33554432000 4194304 4196468 140727713256640 139787787585776 139788307062544 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=483] ppid=464 vsize=13269256 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/465/task/483/stat : 483 (java) S 464 464 16913 0 -1 1077944384 1985 0 0 0 132 0 0 0 20 0 20 0 3797402 13587718144 189259 33554432000 4194304 4196468 140727713256640 139787786533232 139788329478786 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=484] ppid=464 vsize=13269256 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/465/task/484/stat : 484 (java) S 464 464 16913 0 -1 1077944384 1531 0 0 0 137 0 0 0 20 0 20 0 3797402 13587718144 189259 33554432000 4194304 4196468 140727713256640 139787785480176 139788329478786 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=485] ppid=464 vsize=13269256 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/465/task/485/stat : 485 (java) S 464 464 16913 0 -1 1077944384 2231 0 0 0 56 1 0 0 20 0 20 0 3797402 13587718144 189259 33554432000 4194304 4196468 140727713256640 139787784427632 139788329478786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=486] ppid=464 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/465/task/486/stat : 486 (java) S 464 464 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3797402 13587718144 189259 33554432000 4194304 4196468 140727713256640 139787783375840 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=488] ppid=464 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/465/task/488/stat : 488 (java) S 464 464 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3797402 13587718144 189259 33554432000 4194304 4196468 140727713256640 139787782323376 139788329478786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
Current children cumulated CPU time (s) 9.67
Current children cumulated vsize (KiB) 13278768

[startup+6.30089 s]
/proc/loadavg: 15.31 14.90 14.62 17/297 488
/proc/meminfo: memFree=28029880/32770624 swapFree=5900/220500
[pid=464] ppid=461 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/464/stat : 464 (xcsp3-exec) S 461 464 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3797393 9740288 346 33554432000 4194304 5098028 140727448240880 140727448238984 140438792868476 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 27160576 140727448249488 140727448249696 140727448249696 140727448252395 0
/proc/464/statm: 2378 346 289 221 0 87 0
[pid=465] ppid=464 vsize=13269256 CPUtime=16.1 cores=1,3,5,7,9,11,13,15
/proc/465/stat : 465 (java) S 464 464 16913 0 -1 1077944320 20774 0 0 0 1293 317 0 0 20 0 20 0 3797394 13587718144 397553 33554432000 4194304 4196468 140727713256640 140727713239184 139788329467639 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
/proc/465/statm: 3317314 397553 3264 1 0 3304547 0
[pid=465/tid=466] ppid=464 vsize=13269256 CPUtime=5.49 cores=1,3,5,7,9,11,13,15
/proc/465/task/466/stat : 466 (java) R 464 464 16913 0 -1 4202560 7235 0 0 0 533 16 0 0 20 0 20 0 3797394 13587718144 397553 33554432000 4194304 4196468 140727713256640 139788333705656 139787972105258 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=468] ppid=464 vsize=13269256 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/465/task/468/stat : 468 (java) S 464 464 16913 0 -1 1077944384 409 0 0 0 35 37 0 0 20 0 20 0 3797395 13587718144 397553 33554432000 4194304 4196468 140727713256640 139787928448016 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=469] ppid=464 vsize=13269256 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/465/task/469/stat : 469 (java) S 464 464 16913 0 -1 1077944384 403 0 0 0 34 37 0 0 20 0 20 0 3797395 13587718144 397553 33554432000 4194304 4196468 140727713256640 139787927395472 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=470] ppid=464 vsize=13269256 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/465/task/470/stat : 470 (java) S 464 464 16913 0 -1 1077944384 369 0 0 0 33 34 0 0 20 0 20 0 3797395 13587718144 397553 33554432000 4194304 4196468 140727713256640 139787926342416 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=471] ppid=464 vsize=13269256 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/465/task/471/stat : 471 (java) S 464 464 16913 0 -1 1077944384 329 0 0 0 36 36 0 0 20 0 20 0 3797395 13587718144 397553 33554432000 4194304 4196468 140727713256640 139787925289872 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=472] ppid=464 vsize=13269256 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/465/task/472/stat : 472 (java) S 464 464 16913 0 -1 1077944384 438 0 0 0 36 37 0 0 20 0 20 0 3797395 13587718144 397553 33554432000 4194304 4196468 140727713256640 139787924236816 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=473] ppid=464 vsize=13269256 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/465/task/473/stat : 473 (java) S 464 464 16913 0 -1 1077944384 371 0 0 0 37 34 0 0 20 0 20 0 3797395 13587718144 397553 33554432000 4194304 4196468 140727713256640 139787923184272 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=474] ppid=464 vsize=13269256 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/465/task/474/stat : 474 (java) S 464 464 16913 0 -1 1077944384 419 0 0 0 35 38 0 0 20 0 20 0 3797395 13587718144 397553 33554432000 4194304 4196468 140727713256640 139787922131216 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=476] ppid=464 vsize=13269256 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/465/task/476/stat : 476 (java) S 464 464 16913 0 -1 1077944384 332 0 0 0 34 35 0 0 20 0 20 0 3797395 13587718144 397553 33554432000 4194304 4196468 140727713256640 139787921078672 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=477] ppid=464 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/465/task/477/stat : 477 (java) S 464 464 16913 0 -1 1077944384 1106 0 0 0 1 0 0 0 20 0 20 0 3797397 13587718144 397553 33554432000 4194304 4196468 140727713256640 139787791796976 139788329478786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=478] ppid=464 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/465/task/478/stat : 478 (java) S 464 464 16913 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3797398 13587718144 397553 33554432000 4194304 4196468 140727713256640 139787790743264 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=479] ppid=464 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/465/task/479/stat : 479 (java) S 464 464 16913 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 3797398 13587718144 397553 33554432000 4194304 4196468 140727713256640 139787789690112 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=480] ppid=464 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/465/task/480/stat : 480 (java) S 464 464 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3797402 13587718144 397553 33554432000 4194304 4196468 140727713256640 139787788638672 139788329486235 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0

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

[pid=465/tid=591] ppid=464 vsize=13801768 CPUtime=131.58 cores=1,3,5,7,9,11,13,15
/proc/465/task/591/stat : 591 (java) R 464 464 16913 0 -1 4202560 6896 0 0 0 13154 4 0 0 20 0 28 0 3806347 14133010432 899723 33554432000 4194304 4196468 140727713256640 139787771150888 139787968007316 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=592] ppid=464 vsize=13801768 CPUtime=132 cores=1,3,5,7,9,11,13,15
/proc/465/task/592/stat : 592 (java) R 464 464 16913 0 -1 4202560 1582 0 0 0 13199 1 0 0 20 0 28 0 3806347 14133010432 899723 33554432000 4194304 4196468 140727713256640 139787772206096 139787974254147 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
Current children cumulated CPU time (s) 1729.65
Current children cumulated vsize (KiB) 13811280

[startup+282.302 s]
/proc/loadavg: 15.99 15.51 14.94 17/304 819
/proc/meminfo: memFree=26004036/32770624 swapFree=5900/220912
[pid=464] ppid=461 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/464/stat : 464 (xcsp3-exec) S 461 464 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3797393 9740288 346 33554432000 4194304 5098028 140727448240880 140727448238984 140438792868476 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 27160576 140727448249488 140727448249696 140727448249696 140727448252395 0
/proc/464/statm: 2378 346 289 221 0 87 0
[pid=465] ppid=464 vsize=13801768 CPUtime=2207.27 cores=1,3,5,7,9,11,13,15
/proc/465/stat : 465 (java) S 464 464 16913 0 -1 1077944320 122407 0 0 0 220133 594 0 0 20 0 28 0 3797394 14133010432 916620 33554432000 4194304 4196468 140727713256640 140727713239184 139788329467639 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
/proc/465/statm: 3450442 916620 3308 1 0 3437675 0
[pid=465/tid=466] ppid=464 vsize=13801768 CPUtime=5.56 cores=1,3,5,7,9,11,13,15
/proc/465/task/466/stat : 466 (java) S 464 464 16913 0 -1 1077944384 7519 0 0 0 540 16 0 0 20 0 28 0 3797394 14133010432 916620 33554432000 4194304 4196468 140727713256640 139788333708416 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=468] ppid=464 vsize=13801768 CPUtime=2.06 cores=1,3,5,7,9,11,13,15
/proc/465/task/468/stat : 468 (java) S 464 464 16913 0 -1 1077944384 1754 0 0 0 142 64 0 0 20 0 28 0 3797395 14133010432 916620 33554432000 4194304 4196468 140727713256640 139787928448016 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=469] ppid=464 vsize=13801768 CPUtime=2.05 cores=1,3,5,7,9,11,13,15
/proc/465/task/469/stat : 469 (java) S 464 464 16913 0 -1 1077944384 1204 0 0 0 142 63 0 0 20 0 28 0 3797395 14133010432 916620 33554432000 4194304 4196468 140727713256640 139787927395472 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=470] ppid=464 vsize=13801768 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/465/task/470/stat : 470 (java) S 464 464 16913 0 -1 1077944384 1540 0 0 0 135 57 0 0 20 0 28 0 3797395 14133010432 916620 33554432000 4194304 4196468 140727713256640 139787926342416 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=471] ppid=464 vsize=13801768 CPUtime=2.06 cores=1,3,5,7,9,11,13,15
/proc/465/task/471/stat : 471 (java) S 464 464 16913 0 -1 1077944384 1365 0 0 0 144 62 0 0 20 0 28 0 3797395 14133010432 916620 33554432000 4194304 4196468 140727713256640 139787925289872 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=472] ppid=464 vsize=13801768 CPUtime=2.01 cores=1,3,5,7,9,11,13,15
/proc/465/task/472/stat : 472 (java) S 464 464 16913 0 -1 1077944384 2198 0 0 0 140 61 0 0 20 0 28 0 3797395 14133010432 916620 33554432000 4194304 4196468 140727713256640 139787924236816 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=473] ppid=464 vsize=13801768 CPUtime=2.05 cores=1,3,5,7,9,11,13,15
/proc/465/task/473/stat : 473 (java) S 464 464 16913 0 -1 1077944384 1683 0 0 0 145 60 0 0 20 0 28 0 3797395 14133010432 916620 33554432000 4194304 4196468 140727713256640 139787923184272 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=474] ppid=464 vsize=13801768 CPUtime=2.07 cores=1,3,5,7,9,11,13,15
/proc/465/task/474/stat : 474 (java) S 464 464 16913 0 -1 1077944384 1741 0 0 0 144 63 0 0 20 0 28 0 3797395 14133010432 916620 33554432000 4194304 4196468 140727713256640 139787922131216 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=476] ppid=464 vsize=13801768 CPUtime=2.01 cores=1,3,5,7,9,11,13,15
/proc/465/task/476/stat : 476 (java) S 464 464 16913 0 -1 1077944384 2175 0 0 0 142 59 0 0 20 0 28 0 3797395 14133010432 916620 33554432000 4194304 4196468 140727713256640 139787921078672 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=477] ppid=464 vsize=13801768 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/465/task/477/stat : 477 (java) S 464 464 16913 0 -1 1077944384 5290 0 0 0 37 6 0 0 20 0 28 0 3797397 14133010432 916620 33554432000 4194304 4196468 140727713256640 139787791796976 139788329478786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=478] ppid=464 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/465/task/478/stat : 478 (java) S 464 464 16913 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3797398 14133010432 916620 33554432000 4194304 4196468 140727713256640 139787790743264 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=479] ppid=464 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/465/task/479/stat : 479 (java) S 464 464 16913 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 3797398 14133010432 916620 33554432000 4194304 4196468 140727713256640 139787789690112 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=480] ppid=464 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/465/task/480/stat : 480 (java) S 464 464 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3797402 14133010432 916620 33554432000 4194304 4196468 140727713256640 139787788638672 139788329486235 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=481] ppid=464 vsize=13801768 CPUtime=4.57 cores=1,3,5,7,9,11,13,15
/proc/465/task/481/stat : 481 (java) S 464 464 16913 0 -1 1077944384 16974 0 0 0 454 3 0 0 20 0 28 0 3797402 14133010432 916620 33554432000 4194304 4196468 140727713256640 139787787585776 139788329478786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=483] ppid=464 vsize=13801768 CPUtime=4.02 cores=1,3,5,7,9,11,13,15
/proc/465/task/483/stat : 483 (java) S 464 464 16913 0 -1 1077944384 10605 0 0 0 399 3 0 0 20 0 28 0 3797402 14133010432 916620 33554432000 4194304 4196468 140727713256640 139787786533232 139788329478786 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=484] ppid=464 vsize=13801768 CPUtime=3.94 cores=1,3,5,7,9,11,13,15
/proc/465/task/484/stat : 484 (java) S 464 464 16913 0 -1 1077944384 14384 0 0 0 392 2 0 0 20 0 28 0 3797402 14133010432 916620 33554432000 4194304 4196468 140727713256640 139787785480176 139788329478786 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=485] ppid=464 vsize=13801768 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/465/task/485/stat : 485 (java) S 464 464 16913 0 -1 1077944384 9470 0 0 0 115 3 0 0 20 0 28 0 3797402 14133010432 916620 33554432000 4194304 4196468 140727713256640 139787784427632 139788329478786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=486] ppid=464 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/465/task/486/stat : 486 (java) S 464 464 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3797402 14133010432 916620 33554432000 4194304 4196468 140727713256640 139787783375840 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=488] ppid=464 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/465/task/488/stat : 488 (java) S 464 464 16913 0 -1 1077944384 1161 0 0 0 6 10 0 0 20 0 28 0 3797402 14133010432 916620 33554432000 4194304 4196468 140727713256640 139787782323376 139788329478786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=584] ppid=464 vsize=13801768 CPUtime=191.46 cores=1,3,5,7,9,11,13,15
/proc/465/task/584/stat : 584 (java) R 464 464 16913 0 -1 4202560 2653 0 0 0 19144 2 0 0 20 0 28 0 3806347 14133010432 916620 33554432000 4194304 4196468 140727713256640 139787774307448 139787968873074 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=585] ppid=464 vsize=13801768 CPUtime=192.33 cores=1,3,5,7,9,11,13,15
/proc/465/task/585/stat : 585 (java) R 464 464 16913 0 -1 4202560 2895 0 0 0 19232 1 0 0 20 0 28 0 3806347 14133010432 916620 33554432000 4194304 4196468 140727713256640 139787769045208 139787971311297 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=587] ppid=464 vsize=13801768 CPUtime=190.84 cores=1,3,5,7,9,11,13,15
/proc/465/task/587/stat : 587 (java) R 464 464 16913 0 -1 4202560 2445 0 0 0 19083 1 0 0 20 0 28 0 3806347 14133010432 916620 33554432000 4194304 4196468 140727713256640 139787767992312 139787968872920 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=588] ppid=464 vsize=13801768 CPUtime=192.15 cores=1,3,5,7,9,11,13,15
/proc/465/task/588/stat : 588 (java) R 464 464 16913 0 -1 4202560 1011 0 0 0 19215 0 0 0 20 0 28 0 3806347 14133010432 916620 33554432000 4194304 4196468 140727713256640 139787773255512 139787975266889 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=589] ppid=464 vsize=13801768 CPUtime=190.44 cores=1,3,5,7,9,11,13,15
/proc/465/task/589/stat : 589 (java) R 464 464 16913 0 -1 4202560 2146 0 0 0 19042 2 0 0 20 0 28 0 3806347 14133010432 916620 33554432000 4194304 4196468 140727713256640 139787770097768 139787968872920 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=590] ppid=464 vsize=13801768 CPUtime=191.35 cores=1,3,5,7,9,11,13,15
/proc/465/task/590/stat : 590 (java) R 464 464 16913 0 -1 4202560 582 0 0 0 19135 0 0 0 20 0 28 0 3806347 14133010432 916620 33554432000 4194304 4196468 140727713256640 139787766939312 139787975266912 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=591] ppid=464 vsize=13801768 CPUtime=191.29 cores=1,3,5,7,9,11,13,15
/proc/465/task/591/stat : 591 (java) R 464 464 16913 0 -1 4202560 8339 0 0 0 19124 5 0 0 20 0 28 0 3806347 14133010432 916620 33554432000 4194304 4196468 140727713256640 139787771153296 139787968873147 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=592] ppid=464 vsize=13801768 CPUtime=191.85 cores=1,3,5,7,9,11,13,15
/proc/465/task/592/stat : 592 (java) R 464 464 16913 0 -1 4202560 2174 0 0 0 19184 1 0 0 20 0 28 0 3806347 14133010432 916620 33554432000 4194304 4196468 140727713256640 139787772203224 139787974254191 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
Current children cumulated CPU time (s) 2207.27
Current children cumulated vsize (KiB) 13811280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+306.601 s]
/proc/loadavg: 16.06 15.56 14.97 17/304 819
/proc/meminfo: memFree=25883144/32770624 swapFree=5900/220928
[pid=464] ppid=461 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/464/stat : 464 (xcsp3-exec) S 461 464 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3797393 9740288 346 33554432000 4194304 5098028 140727448240880 140727448238984 140438792868476 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 27160576 140727448249488 140727448249696 140727448249696 140727448252395 0
/proc/464/statm: 2378 346 289 221 0 87 0
[pid=465] ppid=464 vsize=13801768 CPUtime=2400.76 cores=1,3,5,7,9,11,13,15
/proc/465/stat : 465 (java) S 464 464 16913 0 -1 1077944320 123685 0 0 0 239468 608 0 0 20 0 28 0 3797394 14133010432 925324 33554432000 4194304 4196468 140727713256640 140727713239184 139788329467639 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
/proc/465/statm: 3450442 925324 3308 1 0 3437675 0
[pid=465/tid=466] ppid=464 vsize=13801768 CPUtime=5.56 cores=1,3,5,7,9,11,13,15
/proc/465/task/466/stat : 466 (java) S 464 464 16913 0 -1 1077944384 7519 0 0 0 540 16 0 0 20 0 28 0 3797394 14133010432 925324 33554432000 4194304 4196468 140727713256640 139788333708416 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=468] ppid=464 vsize=13801768 CPUtime=2.07 cores=1,3,5,7,9,11,13,15
/proc/465/task/468/stat : 468 (java) S 464 464 16913 0 -1 1077944384 1763 0 0 0 142 65 0 0 20 0 28 0 3797395 14133010432 925324 33554432000 4194304 4196468 140727713256640 139787928448016 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=469] ppid=464 vsize=13801768 CPUtime=2.06 cores=1,3,5,7,9,11,13,15
/proc/465/task/469/stat : 469 (java) S 464 464 16913 0 -1 1077944384 1217 0 0 0 142 64 0 0 20 0 28 0 3797395 14133010432 925324 33554432000 4194304 4196468 140727713256640 139787927395472 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=470] ppid=464 vsize=13801768 CPUtime=1.95 cores=1,3,5,7,9,11,13,15
/proc/465/task/470/stat : 470 (java) S 464 464 16913 0 -1 1077944384 1554 0 0 0 137 58 0 0 20 0 28 0 3797395 14133010432 925324 33554432000 4194304 4196468 140727713256640 139787926342416 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=471] ppid=464 vsize=13801768 CPUtime=2.09 cores=1,3,5,7,9,11,13,15
/proc/465/task/471/stat : 471 (java) S 464 464 16913 0 -1 1077944384 1377 0 0 0 145 64 0 0 20 0 28 0 3797395 14133010432 925324 33554432000 4194304 4196468 140727713256640 139787925289872 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=472] ppid=464 vsize=13801768 CPUtime=2.05 cores=1,3,5,7,9,11,13,15
/proc/465/task/472/stat : 472 (java) S 464 464 16913 0 -1 1077944384 2212 0 0 0 142 63 0 0 20 0 28 0 3797395 14133010432 925324 33554432000 4194304 4196468 140727713256640 139787924236816 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=473] ppid=464 vsize=13801768 CPUtime=2.07 cores=1,3,5,7,9,11,13,15
/proc/465/task/473/stat : 473 (java) S 464 464 16913 0 -1 1077944384 1705 0 0 0 146 61 0 0 20 0 28 0 3797395 14133010432 925324 33554432000 4194304 4196468 140727713256640 139787923184272 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=474] ppid=464 vsize=13801768 CPUtime=2.11 cores=1,3,5,7,9,11,13,15
/proc/465/task/474/stat : 474 (java) S 464 464 16913 0 -1 1077944384 1761 0 0 0 146 65 0 0 20 0 28 0 3797395 14133010432 925324 33554432000 4194304 4196468 140727713256640 139787922131216 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=476] ppid=464 vsize=13801768 CPUtime=2.04 cores=1,3,5,7,9,11,13,15
/proc/465/task/476/stat : 476 (java) S 464 464 16913 0 -1 1077944384 2191 0 0 0 143 61 0 0 20 0 28 0 3797395 14133010432 925324 33554432000 4194304 4196468 140727713256640 139787921078672 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=477] ppid=464 vsize=13801768 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/465/task/477/stat : 477 (java) S 464 464 16913 0 -1 1077944384 5304 0 0 0 37 6 0 0 20 0 28 0 3797397 14133010432 925324 33554432000 4194304 4196468 140727713256640 139787791796976 139788329478786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=478] ppid=464 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/465/task/478/stat : 478 (java) S 464 464 16913 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3797398 14133010432 925324 33554432000 4194304 4196468 140727713256640 139787790743264 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=479] ppid=464 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/465/task/479/stat : 479 (java) S 464 464 16913 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 3797398 14133010432 925324 33554432000 4194304 4196468 140727713256640 139787789690112 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=480] ppid=464 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/465/task/480/stat : 480 (java) S 464 464 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3797402 14133010432 925324 33554432000 4194304 4196468 140727713256640 139787788638672 139788329486235 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=481] ppid=464 vsize=13801768 CPUtime=4.57 cores=1,3,5,7,9,11,13,15
/proc/465/task/481/stat : 481 (java) S 464 464 16913 0 -1 1077944384 16974 0 0 0 454 3 0 0 20 0 28 0 3797402 14133010432 925324 33554432000 4194304 4196468 140727713256640 139787787585776 139788329478786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=483] ppid=464 vsize=13801768 CPUtime=4.02 cores=1,3,5,7,9,11,13,15
/proc/465/task/483/stat : 483 (java) S 464 464 16913 0 -1 1077944384 10605 0 0 0 399 3 0 0 20 0 28 0 3797402 14133010432 925324 33554432000 4194304 4196468 140727713256640 139787786533232 139788329478786 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=484] ppid=464 vsize=13801768 CPUtime=3.94 cores=1,3,5,7,9,11,13,15
/proc/465/task/484/stat : 484 (java) S 464 464 16913 0 -1 1077944384 14384 0 0 0 392 2 0 0 20 0 28 0 3797402 14133010432 925324 33554432000 4194304 4196468 140727713256640 139787785480176 139788329478786 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=485] ppid=464 vsize=13801768 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/465/task/485/stat : 485 (java) S 464 464 16913 0 -1 1077944384 9607 0 0 0 115 3 0 0 20 0 28 0 3797402 14133010432 925324 33554432000 4194304 4196468 140727713256640 139787784427632 139788329478786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=486] ppid=464 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/465/task/486/stat : 486 (java) S 464 464 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3797402 14133010432 925324 33554432000 4194304 4196468 140727713256640 139787783375840 139788329477845 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=488] ppid=464 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/465/task/488/stat : 488 (java) S 464 464 16913 0 -1 1077944384 1161 0 0 0 7 11 0 0 20 0 28 0 3797402 14133010432 925324 33554432000 4194304 4196468 140727713256640 139787782323376 139788329478786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=584] ppid=464 vsize=13801768 CPUtime=215.71 cores=1,3,5,7,9,11,13,15
/proc/465/task/584/stat : 584 (java) R 464 464 16913 0 -1 4202560 2800 0 0 0 21569 2 0 0 20 0 28 0 3806347 14133010432 925324 33554432000 4194304 4196468 140727713256640 139787774309920 139787971311377 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=585] ppid=464 vsize=13801768 CPUtime=216.27 cores=1,3,5,7,9,11,13,15
/proc/465/task/585/stat : 585 (java) R 464 464 16913 0 -1 4202560 3073 0 0 0 21626 1 0 0 20 0 28 0 3806347 14133010432 925324 33554432000 4194304 4196468 140727713256640 139787769044960 139787975267051 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=587] ppid=464 vsize=13801768 CPUtime=215.07 cores=1,3,5,7,9,11,13,15
/proc/465/task/587/stat : 587 (java) R 464 464 16913 0 -1 4202560 2489 0 0 0 21506 1 0 0 20 0 28 0 3806347 14133010432 925324 33554432000 4194304 4196468 140727713256640 139787767992024 139787968873147 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=588] ppid=464 vsize=13801768 CPUtime=216.32 cores=1,3,5,7,9,11,13,15
/proc/465/task/588/stat : 588 (java) R 464 464 16913 0 -1 4202560 1033 0 0 0 21632 0 0 0 20 0 28 0 3806347 14133010432 925324 33554432000 4194304 4196468 140727713256640 139787773255976 139787967621415 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=589] ppid=464 vsize=13801768 CPUtime=214.68 cores=1,3,5,7,9,11,13,15
/proc/465/task/589/stat : 589 (java) R 464 464 16913 0 -1 4202560 2321 0 0 0 21466 2 0 0 20 0 28 0 3806347 14133010432 925324 33554432000 4194304 4196468 140727713256640 139787770097560 139787975186044 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=590] ppid=464 vsize=13801768 CPUtime=215.43 cores=1,3,5,7,9,11,13,15
/proc/465/task/590/stat : 590 (java) R 464 464 16913 0 -1 4202560 592 0 0 0 21543 0 0 0 20 0 28 0 3806347 14133010432 925324 33554432000 4194304 4196468 140727713256640 139787766939352 139787973246761 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=591] ppid=464 vsize=13801768 CPUtime=215.48 cores=1,3,5,7,9,11,13,15
/proc/465/task/591/stat : 591 (java) R 464 464 16913 0 -1 4202560 8651 0 0 0 21543 5 0 0 20 0 28 0 3806347 14133010432 925324 33554432000 4194304 4196468 140727713256640 139787771150504 139787968872502 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
[pid=465/tid=592] ppid=464 vsize=13801768 CPUtime=216.01 cores=1,3,5,7,9,11,13,15
/proc/465/task/592/stat : 592 (java) R 464 464 16913 0 -1 4202560 2293 0 0 0 21600 1 0 0 20 0 28 0 3806347 14133010432 925324 33554432000 4194304 4196468 140727713256640 139787772203304 139787974254147 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 32403456 140727713260732 140727713260908 140727713260908 140727713263567 0
Current children cumulated CPU time (s) 2400.76
Current children cumulated vsize (KiB) 13811280

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 465 sig 9
??? kill 464 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 464 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=2455
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=882
# CPU time returned by wait4() is 0.003337
# while last known CPU time is 2400.76
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 306.612
CPU time (s): 2400.76
CPU user time (s): 2394.68
CPU system time (s): 6.08
CPU usage (%): 782.995
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002455
system time used= 0.000882
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.88071 second user time and 4.6953 second system time

The end

Begin job on node133 at 2017-07-22 03:01:44
IDJOB=4245160
IDBENCH=120601
IDSOLVER=2625
FILE ID=node133/4245160-1500685304
RUNJOBID= node133-1500682387-16945
PBS_JOBID= 20623321
Free space on /tmp= 62008 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-dsjc-500-5.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4245160-1500685304/watcher-4245160-1500685304 -o /tmp/evaluation-result-4245160-1500685304/solver-4245160-1500685304 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16945 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 50651382 HOME/instance-4245160-1500685304.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 3c0366ff4baa9e19aea1ffc9dac5e4aa
RANDOM SEED=50651382

node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29600256 kB
MemAvailable:   29654260 kB
Buffers:           51528 kB
Cached:           311328 kB
SwapCached:            0 kB
Active:          2557416 kB
Inactive:         229168 kB
Active(anon):    2426348 kB
Inactive(anon):     8768 kB
Active(file):     131068 kB
Inactive(file):   220400 kB
Unevictable:        5900 kB
Mlocked:            5900 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              9772 kB
Writeback:             0 kB
AnonPages:       2428768 kB
Mapped:            43120 kB
Shmem:              8904 kB
Slab:              69672 kB
SReclaimable:      36740 kB
SUnreclaim:        32932 kB
KernelStack:        4752 kB
PageTables:        10968 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3689556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2299904 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62000 MiB
End job on node133 at 2017-07-22 03:06:51

Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-500-5.xml
MD5SUM	3c0366ff4baa9e19aea1ffc9dac5e4aa
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	57
Best CPU time to get the best result obtained on this benchmark	2400.05
Satisfiable
(Un)Satisfiability was proved
Number of variables	500
Number of constraints	62624
Number of domains	1
Minimum domain size	500
Maximum domain size	500
Distribution of domain sizes	[{"size":500,"count":500}]
Minimum variable degree	221
Maximum variable degree	287
Distribution of variable degrees	[{"degree":221,"count":2},{"degree":222,"count":1},{"degree":223,"count":2},{"degree":224,"count":1},{"degree":225,"count":1},{"degree":227,"count":1},{"degree":228,"count":2},{"degree":230,"count":1},{"degree":231,"count":4},{"degree":232,"count":4},{"degree":233,"count":3},{"degree":234,"count":4},{"degree":235,"count":8},{"degree":236,"count":17},{"degree":237,"count":4},{"degree":238,"count":11},{"degree":239,"count":6},{"degree":240,"count":11},{"degree":241,"count":9},{"degree":242,"count":14},{"degree":243,"count":14},{"degree":244,"count":12},{"degree":245,"count":13},{"degree":246,"count":17},{"degree":247,"count":14},"...",{"degree":257,"count":16}, {"degree":258,"count":9}, {"degree":259,"count":19}, {"degree":260,"count":19}, {"degree":261,"count":19}, {"degree":262,"count":14}, {"degree":263,"count":12}, {"degree":264,"count":6}, {"degree":265,"count":7}, {"degree":266,"count":8}, {"degree":267,"count":4}, {"degree":268,"count":6}, {"degree":269,"count":5}, {"degree":270,"count":8}, {"degree":271,"count":4}, {"degree":272,"count":2}, {"degree":273,"count":2}, {"degree":274,"count":1}, {"degree":275,"count":1}, {"degree":276,"count":1}, {"degree":277,"count":2}, {"degree":278,"count":1}, {"degree":280,"count":2}, {"degree":281,"count":1}, {"degree":287,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":62624}]
Number of extensional constraints	0
Number of intensional constraints	62624
Distribution of constraint types	[{"type":"intension","count":62624}]
Optimization problem	YES
Type of objective	min MAXIMUM

Trace number 4245160

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