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 5a (2017-07-05)	SAT (TO)	62	2400.11	306.513

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-4245161-1500685567/watcher-4245161-1500685567 -o /tmp/evaluation-result-4245161-1500685567/solver-4245161-1500685567 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500683384-8602 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 670554447 HOME/instance-4245161-1500685567.xml 

pid=19179
running on 8 cores: 0,2,4,6,8,10,12,14

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.95 15.84 14.11 10/271 19182
/proc/meminfo: memFree=31655664/32770624 swapFree=5884/238432
[pid=19182] ppid=19179 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19182/stat : 19182 (xcsp3-exec) S 19179 19182 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3824431 9740288 346 33554432000 4194304 5098028 140727629121904 140727629120008 139989155177084 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 36134912 140727629128847 140727629129056 140727629129056 140727629131755 0
/proc/19182/statm: 2378 346 289 221 0 87 0

[startup+0.100126 s]
/proc/loadavg: 15.95 15.84 14.11 10/271 19182
/proc/meminfo: memFree=31655664/32770624 swapFree=5884/238432
[pid=19182] ppid=19179 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19182/stat : 19182 (xcsp3-exec) S 19179 19182 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3824431 9740288 346 33554432000 4194304 5098028 140727629121904 140727629120008 139989155177084 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 36134912 140727629128847 140727629129056 140727629129056 140727629131755 0
/proc/19182/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200302 s]
/proc/loadavg: 15.95 15.84 14.11 10/271 19182
/proc/meminfo: memFree=31655664/32770624 swapFree=5884/238432
[pid=19182] ppid=19179 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19182/stat : 19182 (xcsp3-exec) S 19179 19182 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3824431 9740288 346 33554432000 4194304 5098028 140727629121904 140727629120008 139989155177084 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 36134912 140727629128847 140727629129056 140727629129056 140727629131755 0
/proc/19182/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300261 s]
/proc/loadavg: 15.95 15.84 14.11 10/271 19182
/proc/meminfo: memFree=31655664/32770624 swapFree=5884/238432
[pid=19182] ppid=19179 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19182/stat : 19182 (xcsp3-exec) S 19179 19182 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3824431 9740288 346 33554432000 4194304 5098028 140727629121904 140727629120008 139989155177084 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 36134912 140727629128847 140727629129056 140727629129056 140727629131755 0
/proc/19182/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700174 s]
/proc/loadavg: 15.95 15.84 14.11 10/271 19182
/proc/meminfo: memFree=31655664/32770624 swapFree=5884/238432
[pid=19182] ppid=19179 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19182/stat : 19182 (xcsp3-exec) S 19179 19182 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3824431 9740288 346 33554432000 4194304 5098028 140727629121904 140727629120008 139989155177084 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 36134912 140727629128847 140727629129056 140727629129056 140727629131755 0
/proc/19182/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50088 s]
/proc/loadavg: 15.95 15.84 14.11 13/292 19203
/proc/meminfo: memFree=31442748/32770624 swapFree=5884/238492
[pid=19182] ppid=19179 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19182/stat : 19182 (xcsp3-exec) S 19179 19182 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3824431 9740288 346 33554432000 4194304 5098028 140727629121904 140727629120008 139989155177084 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 36134912 140727629128847 140727629129056 140727629129056 140727629131755 0
/proc/19182/statm: 2378 346 289 221 0 87 0
[pid=19183] ppid=19182 vsize=13269256 CPUtime=4.8 cores=0,2,4,6,8,10,12,14
/proc/19183/stat : 19183 (java) S 19182 19182 8571 0 -1 1077944320 15710 0 0 0 449 31 0 0 20 0 20 0 3824431 13587718144 61018 33554432000 4194304 4196468 140734948480368 140734948462912 139994913222391 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
/proc/19183/statm: 3317314 61018 3234 1 0 3304547 0
[pid=19183/tid=19184] ppid=19182 vsize=13269256 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19184/stat : 19184 (java) R 19182 19182 8571 0 -1 4202560 6787 0 0 0 136 5 0 0 20 0 20 0 3824432 13587718144 61018 33554432000 4194304 4196468 140734948480368 139994917458072 139994548477216 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19186] ppid=19182 vsize=13269256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19186/stat : 19186 (java) S 19182 19182 8571 0 -1 1077944384 34 0 0 0 2 3 0 0 20 0 20 0 3824433 13587718144 61018 33554432000 4194304 4196468 140734948480368 139994865842448 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19187] ppid=19182 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19187/stat : 19187 (java) S 19182 19182 8571 0 -1 1077944384 44 0 0 0 1 2 0 0 20 0 20 0 3824433 13587718144 61018 33554432000 4194304 4196468 140734948480368 139994864789904 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19188] ppid=19182 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19188/stat : 19188 (java) S 19182 19182 8571 0 -1 1077944384 35 0 0 0 2 2 0 0 20 0 20 0 3824433 13587718144 61018 33554432000 4194304 4196468 140734948480368 139994863737360 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19189] ppid=19182 vsize=13269256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19189/stat : 19189 (java) S 19182 19182 8571 0 -1 1077944384 32 0 0 0 3 2 0 0 20 0 20 0 3824433 13587718144 61018 33554432000 4194304 4196468 140734948480368 139994508753552 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19190] ppid=19182 vsize=13269256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19190/stat : 19190 (java) S 19182 19182 8571 0 -1 1077944384 50 0 0 0 2 3 0 0 20 0 20 0 3824433 13587718144 61018 33554432000 4194304 4196468 140734948480368 139994507701008 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19191] ppid=19182 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19191/stat : 19191 (java) S 19182 19182 8571 0 -1 1077944384 35 0 0 0 2 2 0 0 20 0 20 0 3824433 13587718144 61018 33554432000 4194304 4196468 140734948480368 139994506648464 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19192] ppid=19182 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19192/stat : 19192 (java) S 19182 19182 8571 0 -1 1077944384 36 0 0 0 3 3 0 0 20 0 20 0 3824433 13587718144 61018 33554432000 4194304 4196468 140734948480368 139994505595920 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19193] ppid=19182 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19193/stat : 19193 (java) S 19182 19182 8571 0 -1 1077944384 20 0 0 0 2 2 0 0 20 0 20 0 3824433 13587718144 61018 33554432000 4194304 4196468 140734948480368 139994504543376 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19194] ppid=19182 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19194/stat : 19194 (java) S 19182 19182 8571 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 3824435 13587718144 61018 33554432000 4194304 4196468 140734948480368 139993577117680 139994913233538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19195] ppid=19182 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19195/stat : 19195 (java) S 19182 19182 8571 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3824436 13587718144 61018 33554432000 4194304 4196468 140734948480368 139993576063904 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19196] ppid=19182 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19196/stat : 19196 (java) S 19182 19182 8571 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3824436 13587718144 61018 33554432000 4194304 4196468 140734948480368 139993575011312 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19197] ppid=19182 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19197/stat : 19197 (java) S 19182 19182 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3824440 13587718144 61018 33554432000 4194304 4196468 140734948480368 139993573959888 139994913240987 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19198] ppid=19182 vsize=13269256 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19198/stat : 19198 (java) R 19182 19182 8571 0 -1 4202560 1669 0 0 0 79 0 0 0 20 0 20 0 3824440 13587718144 61018 33554432000 4194304 4196468 140734948480368 139993572896304 139994898332182 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19199] ppid=19182 vsize=13269256 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19199/stat : 19199 (java) S 19182 19182 8571 0 -1 1077944384 1671 0 0 0 77 0 0 0 20 0 20 0 3824440 13587718144 61018 33554432000 4194304 4196468 140734948480368 139993571854960 139994913233538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19200] ppid=19182 vsize=13269256 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19200/stat : 19200 (java) S 19182 19182 8571 0 -1 1077944384 2039 0 0 0 84 0 0 0 20 0 20 0 3824440 13587718144 61018 33554432000 4194304 4196468 140734948480368 139993570802416 139994913233538 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19201] ppid=19182 vsize=13269256 CPUtime=0.49 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19201/stat : 19201 (java) S 19182 19182 8571 0 -1 1077944384 1878 0 0 0 49 0 0 0 20 0 20 0 3824440 13587718144 61018 33554432000 4194304 4196468 140734948480368 139993569749872 139994913233538 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19202] ppid=19182 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19202/stat : 19202 (java) S 19182 19182 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3824441 13587718144 61018 33554432000 4194304 4196468 140734948480368 139993568696544 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19203] ppid=19182 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19203/stat : 19203 (java) S 19182 19182 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3824441 13587718144 61018 33554432000 4194304 4196468 140734948480368 139993567644080 139994913233538 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
Current children cumulated CPU time (s) 4.8
Current children cumulated vsize (KiB) 13278768

[startup+3.10086 s]
/proc/loadavg: 15.95 15.84 14.11 17/292 19203
/proc/meminfo: memFree=31281900/32770624 swapFree=5884/238492
[pid=19182] ppid=19179 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19182/stat : 19182 (xcsp3-exec) S 19179 19182 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3824431 9740288 346 33554432000 4194304 5098028 140727629121904 140727629120008 139989155177084 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 36134912 140727629128847 140727629129056 140727629129056 140727629131755 0
/proc/19182/statm: 2378 346 289 221 0 87 0
[pid=19183] ppid=19182 vsize=13269256 CPUtime=9.92 cores=0,2,4,6,8,10,12,14
/proc/19183/stat : 19183 (java) S 19182 19182 8571 0 -1 1077944320 18466 0 0 0 863 129 0 0 20 0 20 0 3824431 13587718144 189694 33554432000 4194304 4196468 140734948480368 140734948462912 139994913222391 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
/proc/19183/statm: 3317314 189694 3264 1 0 3304547 0
[pid=19183/tid=19184] ppid=19182 vsize=13269256 CPUtime=2.75 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19184/stat : 19184 (java) R 19182 19182 8571 0 -1 4202560 7067 0 0 0 265 10 0 0 20 0 20 0 3824432 13587718144 189694 33554432000 4194304 4196468 140734948480368 139994917458048 139994548712127 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19186] ppid=19182 vsize=13269256 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19186/stat : 19186 (java) S 19182 19182 8571 0 -1 1077944384 203 0 0 0 13 15 0 0 20 0 20 0 3824433 13587718144 189694 33554432000 4194304 4196468 140734948480368 139994865842448 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19187] ppid=19182 vsize=13269256 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19187/stat : 19187 (java) S 19182 19182 8571 0 -1 1077944384 200 0 0 0 14 14 0 0 20 0 20 0 3824433 13587718144 189694 33554432000 4194304 4196468 140734948480368 139994864789904 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19188] ppid=19182 vsize=13269256 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19188/stat : 19188 (java) S 19182 19182 8571 0 -1 1077944384 150 0 0 0 13 14 0 0 20 0 20 0 3824433 13587718144 189694 33554432000 4194304 4196468 140734948480368 139994863737360 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19189] ppid=19182 vsize=13269256 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19189/stat : 19189 (java) S 19182 19182 8571 0 -1 1077944384 187 0 0 0 13 13 0 0 20 0 20 0 3824433 13587718144 189694 33554432000 4194304 4196468 140734948480368 139994508753552 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19190] ppid=19182 vsize=13269256 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19190/stat : 19190 (java) S 19182 19182 8571 0 -1 1077944384 228 0 0 0 15 15 0 0 20 0 20 0 3824433 13587718144 189694 33554432000 4194304 4196468 140734948480368 139994507701008 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19191] ppid=19182 vsize=13269256 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19191/stat : 19191 (java) S 19182 19182 8571 0 -1 1077944384 203 0 0 0 14 15 0 0 20 0 20 0 3824433 13587718144 189694 33554432000 4194304 4196468 140734948480368 139994506648464 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19192] ppid=19182 vsize=13269256 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19192/stat : 19192 (java) S 19182 19182 8571 0 -1 1077944384 138 0 0 0 15 14 0 0 20 0 20 0 3824433 13587718144 189694 33554432000 4194304 4196468 140734948480368 139994505595920 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19193] ppid=19182 vsize=13269256 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19193/stat : 19193 (java) S 19182 19182 8571 0 -1 1077944384 137 0 0 0 15 12 0 0 20 0 20 0 3824433 13587718144 189694 33554432000 4194304 4196468 140734948480368 139994504543376 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19194] ppid=19182 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19194/stat : 19194 (java) S 19182 19182 8571 0 -1 1077944384 530 0 0 0 0 0 0 0 20 0 20 0 3824435 13587718144 189694 33554432000 4194304 4196468 140734948480368 139993577117680 139994913233538 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19195] ppid=19182 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19195/stat : 19195 (java) S 19182 19182 8571 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3824436 13587718144 189694 33554432000 4194304 4196468 140734948480368 139993576063968 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19196] ppid=19182 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19196/stat : 19196 (java) S 19182 19182 8571 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3824436 13587718144 189694 33554432000 4194304 4196468 140734948480368 139993575011328 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19197] ppid=19182 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19197/stat : 19197 (java) S 19182 19182 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3824440 13587718144 189694 33554432000 4194304 4196468 140734948480368 139993573959888 139994913240987 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19198] ppid=19182 vsize=13269256 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19198/stat : 19198 (java) S 19182 19182 8571 0 -1 1077944384 1988 0 0 0 140 0 0 0 20 0 20 0 3824440 13587718144 189694 33554432000 4194304 4196468 140734948480368 139993572907504 139994913233538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19199] ppid=19182 vsize=13269256 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19199/stat : 19199 (java) R 19182 19182 8571 0 -1 4202560 2055 0 0 0 145 0 0 0 20 0 20 0 3824440 13587718144 189694 33554432000 4194304 4196468 140734948480368 139993571855256 139994896748991 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19200] ppid=19182 vsize=13269256 CPUtime=1.35 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19200/stat : 19200 (java) S 19182 19182 8571 0 -1 1077944384 2107 0 0 0 135 0 0 0 20 0 20 0 3824440 13587718144 189694 33554432000 4194304 4196468 140734948480368 139993570802416 139994913233538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19201] ppid=19182 vsize=13269256 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19201/stat : 19201 (java) S 19182 19182 8571 0 -1 1077944384 1976 0 0 0 59 0 0 0 20 0 20 0 3824440 13587718144 189694 33554432000 4194304 4196468 140734948480368 139993569749872 139994913233538 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19202] ppid=19182 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19202/stat : 19202 (java) S 19182 19182 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3824441 13587718144 189694 33554432000 4194304 4196468 140734948480368 139993568696544 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19203] ppid=19182 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19203/stat : 19203 (java) S 19182 19182 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3824441 13587718144 189694 33554432000 4194304 4196468 140734948480368 139993567644080 139994913233538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
Current children cumulated CPU time (s) 9.92
Current children cumulated vsize (KiB) 13278768

[startup+6.30088 s]
/proc/loadavg: 16.03 15.85 14.13 17/292 19203
/proc/meminfo: memFree=30181644/32770624 swapFree=5884/238500
[pid=19182] ppid=19179 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19182/stat : 19182 (xcsp3-exec) S 19179 19182 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3824431 9740288 346 33554432000 4194304 5098028 140727629121904 140727629120008 139989155177084 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 36134912 140727629128847 140727629129056 140727629129056 140727629131755 0
/proc/19182/statm: 2378 346 289 221 0 87 0
[pid=19183] ppid=19182 vsize=13269256 CPUtime=16.37 cores=0,2,4,6,8,10,12,14
/proc/19183/stat : 19183 (java) S 19182 19182 8571 0 -1 1077944320 21331 0 0 0 1328 309 0 0 20 0 20 0 3824431 13587718144 397002 33554432000 4194304 4196468 140734948480368 140734948462912 139994913222391 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
/proc/19183/statm: 3317314 397002 3264 1 0 3304547 0
[pid=19183/tid=19184] ppid=19182 vsize=13269256 CPUtime=5.36 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19184/stat : 19184 (java) R 19182 19182 8571 0 -1 4202560 7558 0 0 0 519 17 0 0 20 0 20 0 3824432 13587718144 397002 33554432000 4194304 4196468 140734948480368 139994917455512 139994546692311 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19186] ppid=19182 vsize=13269256 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19186/stat : 19186 (java) S 19182 19182 8571 0 -1 1077944384 385 0 0 0 37 37 0 0 20 0 20 0 3824433 13587718144 397002 33554432000 4194304 4196468 140734948480368 139994865842448 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19187] ppid=19182 vsize=13269256 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19187/stat : 19187 (java) S 19182 19182 8571 0 -1 1077944384 427 0 0 0 37 37 0 0 20 0 20 0 3824433 13587718144 397002 33554432000 4194304 4196468 140734948480368 139994864789904 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19188] ppid=19182 vsize=13269256 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19188/stat : 19188 (java) S 19182 19182 8571 0 -1 1077944384 295 0 0 0 36 33 0 0 20 0 20 0 3824433 13587718144 397002 33554432000 4194304 4196468 140734948480368 139994863737360 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19189] ppid=19182 vsize=13269256 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19189/stat : 19189 (java) S 19182 19182 8571 0 -1 1077944384 390 0 0 0 37 35 0 0 20 0 20 0 3824433 13587718144 397002 33554432000 4194304 4196468 140734948480368 139994508753552 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19190] ppid=19182 vsize=13269256 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19190/stat : 19190 (java) S 19182 19182 8571 0 -1 1077944384 550 0 0 0 39 37 0 0 20 0 20 0 3824433 13587718144 397002 33554432000 4194304 4196468 140734948480368 139994507701008 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19191] ppid=19182 vsize=13269256 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19191/stat : 19191 (java) S 19182 19182 8571 0 -1 1077944384 395 0 0 0 38 37 0 0 20 0 20 0 3824433 13587718144 397002 33554432000 4194304 4196468 140734948480368 139994506648464 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19192] ppid=19182 vsize=13269256 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19192/stat : 19192 (java) S 19182 19182 8571 0 -1 1077944384 447 0 0 0 37 37 0 0 20 0 20 0 3824433 13587718144 397002 33554432000 4194304 4196468 140734948480368 139994505595920 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19193] ppid=19182 vsize=13269256 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19193/stat : 19193 (java) S 19182 19182 8571 0 -1 1077944384 318 0 0 0 41 32 0 0 20 0 20 0 3824433 13587718144 397002 33554432000 4194304 4196468 140734948480368 139994504543376 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19194] ppid=19182 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19194/stat : 19194 (java) S 19182 19182 8571 0 -1 1077944384 1107 0 0 0 1 0 0 0 20 0 20 0 3824435 13587718144 397002 33554432000 4194304 4196468 140734948480368 139993577117680 139994913233538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19195] ppid=19182 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19195/stat : 19195 (java) S 19182 19182 8571 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3824436 13587718144 397002 33554432000 4194304 4196468 140734948480368 139993576063968 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19196] ppid=19182 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19196/stat : 19196 (java) S 19182 19182 8571 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 3824436 13587718144 397002 33554432000 4194304 4196468 140734948480368 139993575011328 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19197] ppid=19182 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19197/stat : 19197 (java) S 19182 19182 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3824440 13587718144 397002 33554432000 4194304 4196468 140734948480368 139993573959888 139994913240987 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0

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

[pid=19183/tid=19290] ppid=19182 vsize=13801768 CPUtime=248.15 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19290/stat : 19290 (java) R 19182 19182 8571 0 -1 4202560 9930 0 0 0 24807 8 0 0 20 0 28 0 3827613 14133010432 926117 33554432000 4194304 4196468 140734948480368 139993555920960 139994545718560 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19291] ppid=19182 vsize=13801768 CPUtime=249.73 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19291/stat : 19291 (java) R 19182 19182 8571 0 -1 4202560 3620 0 0 0 24972 1 0 0 20 0 28 0 3827613 14133010432 926117 33554432000 4194304 4196468 140734948480368 139993554865624 139994547043054 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
Current children cumulated CPU time (s) 2207.42
Current children cumulated vsize (KiB) 13811280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+306.502 s]
/proc/loadavg: 15.61 15.89 14.63 17/302 19398
/proc/meminfo: memFree=27808076/32770624 swapFree=5884/238896
[pid=19182] ppid=19179 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19182/stat : 19182 (xcsp3-exec) S 19179 19182 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3824431 9740288 346 33554432000 4194304 5098028 140727629121904 140727629120008 139989155177084 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 36134912 140727629128847 140727629129056 140727629129056 140727629131755 0
/proc/19182/statm: 2378 346 289 221 0 87 0
[pid=19183] ppid=19182 vsize=13801768 CPUtime=2400.11 cores=0,2,4,6,8,10,12,14
/proc/19183/stat : 19183 (java) S 19182 19182 8571 0 -1 1077944320 125138 0 0 0 239392 619 0 0 20 0 28 0 3824431 14133010432 930726 33554432000 4194304 4196468 140734948480368 140734948462912 139994913222391 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
/proc/19183/statm: 3450442 930726 3307 1 0 3437675 0
[pid=19183/tid=19184] ppid=19182 vsize=13801768 CPUtime=5.63 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19184/stat : 19184 (java) S 19182 19182 8571 0 -1 1077944384 7997 0 0 0 545 18 0 0 20 0 28 0 3824432 14133010432 930726 33554432000 4194304 4196468 140734948480368 139994917463168 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19186] ppid=19182 vsize=13801768 CPUtime=1.94 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19186/stat : 19186 (java) S 19182 19182 8571 0 -1 1077944384 1366 0 0 0 132 62 0 0 20 0 28 0 3824433 14133010432 930726 33554432000 4194304 4196468 140734948480368 139994865842448 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19187] ppid=19182 vsize=13801768 CPUtime=2.02 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19187/stat : 19187 (java) S 19182 19182 8571 0 -1 1077944384 2671 0 0 0 136 66 0 0 20 0 28 0 3824433 14133010432 930726 33554432000 4194304 4196468 140734948480368 139994864789904 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19188] ppid=19182 vsize=13801768 CPUtime=2.02 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19188/stat : 19188 (java) S 19182 19182 8571 0 -1 1077944384 900 0 0 0 137 65 0 0 20 0 28 0 3824433 14133010432 930726 33554432000 4194304 4196468 140734948480368 139994863737360 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19189] ppid=19182 vsize=13801768 CPUtime=2.02 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19189/stat : 19189 (java) S 19182 19182 8571 0 -1 1077944384 1496 0 0 0 139 63 0 0 20 0 28 0 3824433 14133010432 930726 33554432000 4194304 4196468 140734948480368 139994508753552 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19190] ppid=19182 vsize=13801768 CPUtime=2.06 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19190/stat : 19190 (java) S 19182 19182 8571 0 -1 1077944384 1443 0 0 0 139 67 0 0 20 0 28 0 3824433 14133010432 930726 33554432000 4194304 4196468 140734948480368 139994507701008 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19191] ppid=19182 vsize=13801768 CPUtime=2.05 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19191/stat : 19191 (java) S 19182 19182 8571 0 -1 1077944384 1536 0 0 0 137 68 0 0 20 0 28 0 3824433 14133010432 930726 33554432000 4194304 4196468 140734948480368 139994506648464 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19192] ppid=19182 vsize=13801768 CPUtime=2.04 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19192/stat : 19192 (java) S 19182 19182 8571 0 -1 1077944384 1861 0 0 0 136 68 0 0 20 0 28 0 3824433 14133010432 930726 33554432000 4194304 4196468 140734948480368 139994505595920 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19193] ppid=19182 vsize=13801768 CPUtime=2.02 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19193/stat : 19193 (java) S 19182 19182 8571 0 -1 1077944384 2047 0 0 0 140 62 0 0 20 0 28 0 3824433 14133010432 930726 33554432000 4194304 4196468 140734948480368 139994504543376 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19194] ppid=19182 vsize=13801768 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19194/stat : 19194 (java) S 19182 19182 8571 0 -1 1077944384 4930 0 0 0 35 5 0 0 20 0 28 0 3824435 14133010432 930726 33554432000 4194304 4196468 140734948480368 139993577117680 139994913233538 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 11 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19195] ppid=19182 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19195/stat : 19195 (java) S 19182 19182 8571 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 3824436 14133010432 930726 33554432000 4194304 4196468 140734948480368 139993576063968 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19196] ppid=19182 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19196/stat : 19196 (java) S 19182 19182 8571 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 3824436 14133010432 930726 33554432000 4194304 4196468 140734948480368 139993575011328 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19197] ppid=19182 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19197/stat : 19197 (java) S 19182 19182 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3824440 14133010432 930726 33554432000 4194304 4196468 140734948480368 139993573959888 139994913240987 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19198] ppid=19182 vsize=13801768 CPUtime=4.32 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19198/stat : 19198 (java) S 19182 19182 8571 0 -1 1077944384 14405 0 0 0 430 2 0 0 20 0 28 0 3824440 14133010432 930726 33554432000 4194304 4196468 140734948480368 139993572907504 139994913233538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19199] ppid=19182 vsize=13801768 CPUtime=4 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19199/stat : 19199 (java) S 19182 19182 8571 0 -1 1077944384 10951 0 0 0 398 2 0 0 20 0 28 0 3824440 14133010432 930726 33554432000 4194304 4196468 140734948480368 139993571854960 139994913233538 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19200] ppid=19182 vsize=13801768 CPUtime=4.7 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19200/stat : 19200 (java) S 19182 19182 8571 0 -1 1077944384 17911 0 0 0 467 3 0 0 20 0 28 0 3824440 14133010432 930726 33554432000 4194304 4196468 140734948480368 139993570802416 139994913233538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19201] ppid=19182 vsize=13801768 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19201/stat : 19201 (java) S 19182 19182 8571 0 -1 1077944384 10220 0 0 0 121 2 0 0 20 0 28 0 3824440 14133010432 930726 33554432000 4194304 4196468 140734948480368 139993569749872 139994913233538 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19202] ppid=19182 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19202/stat : 19202 (java) S 19182 19182 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3824441 14133010432 930726 33554432000 4194304 4196468 140734948480368 139993568696544 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19203] ppid=19182 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19203/stat : 19203 (java) S 19182 19182 8571 0 -1 1077944384 1573 0 0 0 7 9 0 0 20 0 28 0 3824441 14133010432 930726 33554432000 4194304 4196468 140734948480368 139993567644080 139994913233538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19284] ppid=19182 vsize=13801768 CPUtime=272.23 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19284/stat : 19284 (java) R 19182 19182 8571 0 -1 4202560 4006 0 0 0 27217 6 0 0 20 0 28 0 3827613 14133010432 930726 33554432000 4194304 4196468 140734948480368 139993559075672 139994545916441 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19285] ppid=19182 vsize=13801768 CPUtime=272.05 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19285/stat : 19285 (java) R 19182 19182 8571 0 -1 4202560 4088 0 0 0 27202 3 0 0 20 0 28 0 3827613 14133010432 930726 33554432000 4194304 4196468 140734948480368 139993553813512 139994545718588 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19286] ppid=19182 vsize=13801768 CPUtime=271.82 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19286/stat : 19286 (java) R 19182 19182 8571 0 -1 4202560 2687 0 0 0 27176 6 0 0 20 0 28 0 3827613 14133010432 930726 33554432000 4194304 4196468 140734948480368 139993560129672 139994545916441 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19287] ppid=19182 vsize=13801768 CPUtime=273.38 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19287/stat : 19287 (java) R 19182 19182 8571 0 -1 4202560 3917 0 0 0 27336 2 0 0 20 0 28 0 3827613 14133010432 930726 33554432000 4194304 4196468 140734948480368 139993552763488 139994545915985 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19288] ppid=19182 vsize=13801768 CPUtime=273.98 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19288/stat : 19288 (java) R 19182 19182 8571 0 -1 4202560 1122 0 0 0 27398 0 0 0 20 0 28 0 3827613 14133010432 930726 33554432000 4194304 4196468 140734948480368 139993558024520 139994547500026 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19289] ppid=19182 vsize=13801768 CPUtime=273.78 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19289/stat : 19289 (java) R 19182 19182 8571 0 -1 4202560 591 0 0 0 27378 0 0 0 20 0 28 0 3827613 14133010432 930726 33554432000 4194304 4196468 140734948480368 139993556972024 139994546170227 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19290] ppid=19182 vsize=13801768 CPUtime=272.26 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19290/stat : 19290 (java) R 19182 19182 8571 0 -1 4202560 10322 0 0 0 27218 8 0 0 20 0 28 0 3827613 14133010432 930726 33554432000 4194304 4196468 140734948480368 139993555918296 139994547499906 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19291] ppid=19182 vsize=13801768 CPUtime=273.88 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19291/stat : 19291 (java) R 19182 19182 8571 0 -1 4202560 3750 0 0 0 27386 2 0 0 20 0 28 0 3827613 14133010432 930726 33554432000 4194304 4196468 140734948480368 139993554866072 139994545916518 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
Current children cumulated CPU time (s) 2400.11
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 19183 sig 9
??? kill 19182 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+306.502 s]
/proc/loadavg: 15.61 15.89 14.63 17/302 19398
/proc/meminfo: memFree=27808076/32770624 swapFree=5884/238896
[pid=19182] ppid=19179 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19182/stat : 19182 (xcsp3-exec) S 19179 19182 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3824431 9740288 346 33554432000 4194304 5098028 140727629121904 140727629120008 139989155177084 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 36134912 140727629128847 140727629129056 140727629129056 140727629131755 0
/proc/19182/statm: 2378 346 289 221 0 87 0
[pid=19183] ppid=19182 vsize=13801768 CPUtime=2400.11 cores=0,2,4,6,8,10,12,14
/proc/19183/stat : 19183 (java) S 19182 19182 8571 0 -1 1077944320 125138 0 0 0 239392 619 0 0 20 0 28 0 3824431 14133010432 930726 33554432000 4194304 4196468 140734948480368 140734948462912 139994913222391 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
/proc/19183/statm: 3450442 930726 3307 1 0 3437675 0
[pid=19183/tid=19184] ppid=19182 vsize=13801768 CPUtime=5.63 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19184/stat : 19184 (java) S 19182 19182 8571 0 -1 1077944384 7997 0 0 0 545 18 0 0 20 0 28 0 3824432 14133010432 930726 33554432000 4194304 4196468 140734948480368 139994917463168 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19186] ppid=19182 vsize=13801768 CPUtime=1.94 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19186/stat : 19186 (java) S 19182 19182 8571 0 -1 1077944384 1366 0 0 0 132 62 0 0 20 0 28 0 3824433 14133010432 930726 33554432000 4194304 4196468 140734948480368 139994865842448 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19187] ppid=19182 vsize=13801768 CPUtime=2.02 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19187/stat : 19187 (java) S 19182 19182 8571 0 -1 1077944384 2671 0 0 0 136 66 0 0 20 0 28 0 3824433 14133010432 930726 33554432000 4194304 4196468 140734948480368 139994864789904 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19188] ppid=19182 vsize=13801768 CPUtime=2.02 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19188/stat : 19188 (java) S 19182 19182 8571 0 -1 1077944384 900 0 0 0 137 65 0 0 20 0 28 0 3824433 14133010432 930726 33554432000 4194304 4196468 140734948480368 139994863737360 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19189] ppid=19182 vsize=13801768 CPUtime=2.02 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19189/stat : 19189 (java) S 19182 19182 8571 0 -1 1077944384 1496 0 0 0 139 63 0 0 20 0 28 0 3824433 14133010432 930726 33554432000 4194304 4196468 140734948480368 139994508753552 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19190] ppid=19182 vsize=13801768 CPUtime=2.06 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19190/stat : 19190 (java) S 19182 19182 8571 0 -1 1077944384 1443 0 0 0 139 67 0 0 20 0 28 0 3824433 14133010432 930726 33554432000 4194304 4196468 140734948480368 139994507701008 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19191] ppid=19182 vsize=13801768 CPUtime=2.05 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19191/stat : 19191 (java) S 19182 19182 8571 0 -1 1077944384 1536 0 0 0 137 68 0 0 20 0 28 0 3824433 14133010432 930726 33554432000 4194304 4196468 140734948480368 139994506648464 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19192] ppid=19182 vsize=13801768 CPUtime=2.04 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19192/stat : 19192 (java) S 19182 19182 8571 0 -1 1077944384 1861 0 0 0 136 68 0 0 20 0 28 0 3824433 14133010432 930726 33554432000 4194304 4196468 140734948480368 139994505595920 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19193] ppid=19182 vsize=13801768 CPUtime=2.02 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19193/stat : 19193 (java) S 19182 19182 8571 0 -1 1077944384 2047 0 0 0 140 62 0 0 20 0 28 0 3824433 14133010432 930726 33554432000 4194304 4196468 140734948480368 139994504543376 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19194] ppid=19182 vsize=13801768 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19194/stat : 19194 (java) S 19182 19182 8571 0 -1 1077944384 4930 0 0 0 35 5 0 0 20 0 28 0 3824435 14133010432 930726 33554432000 4194304 4196468 140734948480368 139993577117680 139994913233538 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 11 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19195] ppid=19182 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19195/stat : 19195 (java) S 19182 19182 8571 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 3824436 14133010432 930726 33554432000 4194304 4196468 140734948480368 139993576063968 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19196] ppid=19182 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19196/stat : 19196 (java) S 19182 19182 8571 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 3824436 14133010432 930726 33554432000 4194304 4196468 140734948480368 139993575011328 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19197] ppid=19182 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19197/stat : 19197 (java) S 19182 19182 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3824440 14133010432 930726 33554432000 4194304 4196468 140734948480368 139993573959888 139994913240987 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19198] ppid=19182 vsize=13801768 CPUtime=4.32 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19198/stat : 19198 (java) S 19182 19182 8571 0 -1 1077944384 14405 0 0 0 430 2 0 0 20 0 28 0 3824440 14133010432 930726 33554432000 4194304 4196468 140734948480368 139993572907504 139994913233538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19199] ppid=19182 vsize=13801768 CPUtime=4 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19199/stat : 19199 (java) S 19182 19182 8571 0 -1 1077944384 10951 0 0 0 398 2 0 0 20 0 28 0 3824440 14133010432 930726 33554432000 4194304 4196468 140734948480368 139993571854960 139994913233538 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19200] ppid=19182 vsize=13801768 CPUtime=4.7 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19200/stat : 19200 (java) S 19182 19182 8571 0 -1 1077944384 17911 0 0 0 467 3 0 0 20 0 28 0 3824440 14133010432 930726 33554432000 4194304 4196468 140734948480368 139993570802416 139994913233538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19201] ppid=19182 vsize=13801768 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19201/stat : 19201 (java) S 19182 19182 8571 0 -1 1077944384 10220 0 0 0 121 2 0 0 20 0 28 0 3824440 14133010432 930726 33554432000 4194304 4196468 140734948480368 139993569749872 139994913233538 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19202] ppid=19182 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19202/stat : 19202 (java) S 19182 19182 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3824441 14133010432 930726 33554432000 4194304 4196468 140734948480368 139993568696544 139994913232597 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19203] ppid=19182 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19203/stat : 19203 (java) S 19182 19182 8571 0 -1 1077944384 1573 0 0 0 7 9 0 0 20 0 28 0 3824441 14133010432 930726 33554432000 4194304 4196468 140734948480368 139993567644080 139994913233538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19284] ppid=19182 vsize=13801768 CPUtime=272.23 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19284/stat : 19284 (java) R 19182 19182 8571 0 -1 4202560 4006 0 0 0 27217 6 0 0 20 0 28 0 3827613 14133010432 930726 33554432000 4194304 4196468 140734948480368 139993559075672 139994545916441 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19285] ppid=19182 vsize=13801768 CPUtime=272.05 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19285/stat : 19285 (java) R 19182 19182 8571 0 -1 4202560 4088 0 0 0 27202 3 0 0 20 0 28 0 3827613 14133010432 930726 33554432000 4194304 4196468 140734948480368 139993553813512 139994545718588 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19286] ppid=19182 vsize=13801768 CPUtime=271.82 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19286/stat : 19286 (java) R 19182 19182 8571 0 -1 4202560 2687 0 0 0 27176 6 0 0 20 0 28 0 3827613 14133010432 930726 33554432000 4194304 4196468 140734948480368 139993560129672 139994545916441 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19287] ppid=19182 vsize=13801768 CPUtime=273.38 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19287/stat : 19287 (java) R 19182 19182 8571 0 -1 4202560 3917 0 0 0 27336 2 0 0 20 0 28 0 3827613 14133010432 930726 33554432000 4194304 4196468 140734948480368 139993552763488 139994545915985 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19288] ppid=19182 vsize=13801768 CPUtime=273.98 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19288/stat : 19288 (java) R 19182 19182 8571 0 -1 4202560 1122 0 0 0 27398 0 0 0 20 0 28 0 3827613 14133010432 930726 33554432000 4194304 4196468 140734948480368 139993558024520 139994547500026 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19289] ppid=19182 vsize=13801768 CPUtime=273.78 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19289/stat : 19289 (java) R 19182 19182 8571 0 -1 4202560 591 0 0 0 27378 0 0 0 20 0 28 0 3827613 14133010432 930726 33554432000 4194304 4196468 140734948480368 139993556972024 139994546170227 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19290] ppid=19182 vsize=13801768 CPUtime=272.26 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19290/stat : 19290 (java) R 19182 19182 8571 0 -1 4202560 10322 0 0 0 27218 8 0 0 20 0 28 0 3827613 14133010432 930726 33554432000 4194304 4196468 140734948480368 139993555918296 139994547499906 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
[pid=19183/tid=19291] ppid=19182 vsize=13801768 CPUtime=273.88 cores=0,2,4,6,8,10,12,14
/proc/19183/task/19291/stat : 19291 (java) R 19182 19182 8571 0 -1 4202560 3750 0 0 0 27386 2 0 0 20 0 28 0 3827613 14133010432 930726 33554432000 4194304 4196468 140734948480368 139993554866072 139994545916518 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 24899584 140734948488380 140734948488556 140734948488556 140734948491215 0
Current children cumulated CPU time (s) 2400.11
Current children cumulated vsize (KiB) 13811280

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 306.513
CPU time (s): 2400.11
CPU user time (s): 2393.92
CPU system time (s): 6.19
CPU usage (%): 783.038
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002183
system time used= 0.001091
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519
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.5584 second user time and 4.83864 second system time

The end

Begin job on node126 at 2017-07-22 03:06:07
IDJOB=4245161
IDBENCH=120601
IDSOLVER=2626
FILE ID=node126/4245161-1500685567
RUNJOBID= node126-1500683384-8602
PBS_JOBID= 20623339
Free space on /tmp= 61972 MiB

SOLVER NAME= choco-solver 5a
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-4245161-1500685567/watcher-4245161-1500685567 -o /tmp/evaluation-result-4245161-1500685567/solver-4245161-1500685567 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500683384-8602 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 670554447 HOME/instance-4245161-1500685567.xml

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

MD5SUM BENCH= 3c0366ff4baa9e19aea1ffc9dac5e4aa
RANDOM SEED=670554447

node126.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		: 1733.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	: 5333.50
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		: 2668.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	: 5332.55
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		: 1733.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	: 5333.50
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		: 2668.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	: 5332.55
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		: 1600.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	: 5333.50
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		: 2668.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	: 5332.55
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		: 1600.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	: 5333.50
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		: 2668.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	: 5332.55
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		: 1733.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	: 5333.50
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		: 2668.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	: 5332.55
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		: 2400.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	: 5333.50
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		: 2668.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	: 5332.55
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		: 1600.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	: 5333.50
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		: 2668.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	: 5332.55
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		: 1600.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	: 5333.50
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		: 2668.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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31656240 kB
MemAvailable:   31702120 kB
Buffers:           48908 kB
Cached:           307520 kB
SwapCached:            0 kB
Active:           496072 kB
Inactive:         247100 kB
Active(anon):     389060 kB
Inactive(anon):     8668 kB
Active(file):     107012 kB
Inactive(file):   238432 kB
Unevictable:        5884 kB
Mlocked:            5884 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              9764 kB
Writeback:             0 kB
AnonPages:        401196 kB
Mapped:            42496 kB
Shmem:              8872 kB
Slab:              65720 kB
SReclaimable:      32544 kB
SUnreclaim:        33176 kB
KernelStack:        5184 kB
PageTables:         6428 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1333784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    270336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61964 MiB
End job on node126 at 2017-07-22 03:11:13

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 4245161

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