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

Solver Name	Answer	CPU time	Wall clock time
R1: choco-solver 4.0.5 (2017-07-05)	? (TO)	2400.42	302.712

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-4248714-1500692823/watcher-4248714-1500692823 -o /tmp/evaluation-result-4248714-1500692823/solver-4248714-1500692823 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7653 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1166114173 HOME/instance-4248714-1500692823.xml 

pid=10488
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: 10.35 12.31 13.51 2/270 10491
/proc/meminfo: memFree=28498212/32770624 swapFree=5800/281528
[pid=10491] ppid=10488 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10491/stat : 10491 (xcsp3-exec) S 10488 10491 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4550049 9740288 346 33554432000 4194304 5098028 140731762874320 140731762872424 140306636087932 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29589504 140731762881678 140731762881888 140731762881888 140731762884587 0
/proc/10491/statm: 2378 346 289 221 0 87 0

[startup+0.100064 s]
/proc/loadavg: 10.35 12.31 13.51 2/270 10491
/proc/meminfo: memFree=28498212/32770624 swapFree=5800/281528
[pid=10491] ppid=10488 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10491/stat : 10491 (xcsp3-exec) S 10488 10491 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4550049 9740288 346 33554432000 4194304 5098028 140731762874320 140731762872424 140306636087932 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29589504 140731762881678 140731762881888 140731762881888 140731762884587 0
/proc/10491/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200325 s]
/proc/loadavg: 10.35 12.31 13.51 2/270 10491
/proc/meminfo: memFree=28498212/32770624 swapFree=5800/281528
[pid=10491] ppid=10488 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10491/stat : 10491 (xcsp3-exec) S 10488 10491 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4550049 9740288 346 33554432000 4194304 5098028 140731762874320 140731762872424 140306636087932 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29589504 140731762881678 140731762881888 140731762881888 140731762884587 0
/proc/10491/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300238 s]
/proc/loadavg: 10.35 12.31 13.51 2/270 10491
/proc/meminfo: memFree=28498212/32770624 swapFree=5800/281528
[pid=10491] ppid=10488 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10491/stat : 10491 (xcsp3-exec) S 10488 10491 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4550049 9740288 346 33554432000 4194304 5098028 140731762874320 140731762872424 140306636087932 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29589504 140731762881678 140731762881888 140731762881888 140731762884587 0
/proc/10491/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700217 s]
/proc/loadavg: 10.35 12.31 13.51 2/270 10491
/proc/meminfo: memFree=28498212/32770624 swapFree=5800/281528
[pid=10491] ppid=10488 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10491/stat : 10491 (xcsp3-exec) S 10488 10491 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4550049 9740288 346 33554432000 4194304 5098028 140731762874320 140731762872424 140306636087932 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29589504 140731762881678 140731762881888 140731762881888 140731762884587 0
/proc/10491/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50114 s]
/proc/loadavg: 10.35 12.31 13.51 5/291 10512
/proc/meminfo: memFree=28355284/32770624 swapFree=5800/281528
[pid=10491] ppid=10488 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10491/stat : 10491 (xcsp3-exec) S 10488 10491 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4550049 9740288 346 33554432000 4194304 5098028 140731762874320 140731762872424 140306636087932 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29589504 140731762881678 140731762881888 140731762881888 140731762884587 0
/proc/10491/statm: 2378 346 289 221 0 87 0
[pid=10492] ppid=10491 vsize=13801768 CPUtime=5.19 cores=1,3,5,7,9,11,13,15
/proc/10492/stat : 10492 (java) S 10491 10491 7621 0 -1 1077944320 21993 0 0 0 497 22 0 0 20 0 28 0 4550049 14133010432 55231 33554432000 4194304 4196468 140733699600080 140733699582624 140716893339383 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
/proc/10492/statm: 3450442 55231 3248 1 0 3437675 0
[pid=10492/tid=10493] ppid=10491 vsize=13801768 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10493/stat : 10493 (java) S 10491 10491 7621 0 -1 1077944384 8372 0 0 0 128 6 0 0 20 0 28 0 4550049 14133010432 55231 33554432000 4194304 4196468 140733699600080 140716897580160 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10495] ppid=10491 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10495/stat : 10495 (java) S 10491 10491 7621 0 -1 1077944384 69 0 0 0 1 2 0 0 20 0 28 0 4550050 14133010432 55231 33554432000 4194304 4196468 140733699600080 140716825475728 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10496] ppid=10491 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10496/stat : 10496 (java) S 10491 10491 7621 0 -1 1077944384 100 0 0 0 1 0 0 0 20 0 28 0 4550050 14133010432 55231 33554432000 4194304 4196468 140733699600080 140716824422928 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10497] ppid=10491 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10497/stat : 10497 (java) S 10491 10491 7621 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 28 0 4550050 14133010432 55231 33554432000 4194304 4196468 140733699600080 140716823370128 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10498] ppid=10491 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10498/stat : 10498 (java) S 10491 10491 7621 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 28 0 4550050 14133010432 55231 33554432000 4194304 4196468 140733699600080 140716822317328 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10499] ppid=10491 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10499/stat : 10499 (java) S 10491 10491 7621 0 -1 1077944384 16 0 0 0 1 1 0 0 20 0 28 0 4550050 14133010432 55231 33554432000 4194304 4196468 140733699600080 140716821265552 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10500] ppid=10491 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10500/stat : 10500 (java) S 10491 10491 7621 0 -1 1077944384 70 0 0 0 2 1 0 0 20 0 28 0 4550050 14133010432 55231 33554432000 4194304 4196468 140733699600080 140716820212752 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10501] ppid=10491 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10501/stat : 10501 (java) S 10491 10491 7621 0 -1 1077944384 45 0 0 0 2 1 0 0 20 0 28 0 4550050 14133010432 55231 33554432000 4194304 4196468 140733699600080 140716486396816 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10502] ppid=10491 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10502/stat : 10502 (java) S 10491 10491 7621 0 -1 1077944384 51 0 0 0 2 1 0 0 20 0 28 0 4550050 14133010432 55231 33554432000 4194304 4196468 140733699600080 140716485344016 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10503] ppid=10491 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10503/stat : 10503 (java) S 10491 10491 7621 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 28 0 4550053 14133010432 55231 33554432000 4194304 4196468 140733699600080 140716355668336 140716893350530 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10504] ppid=10491 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10504/stat : 10504 (java) S 10491 10491 7621 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 4550053 14133010432 55231 33554432000 4194304 4196468 140733699600080 140716354614304 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10505] ppid=10491 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10505/stat : 10505 (java) S 10491 10491 7621 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 4550054 14133010432 55231 33554432000 4194304 4196468 140733699600080 140716353561456 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10506] ppid=10491 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10506/stat : 10506 (java) S 10491 10491 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4550058 14133010432 55231 33554432000 4194304 4196468 140733699600080 140716352509776 140716893357979 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10507] ppid=10491 vsize=13801768 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10507/stat : 10507 (java) R 10491 10491 7621 0 -1 4202560 3268 0 0 0 85 1 0 0 20 0 28 0 4550058 14133010432 55231 33554432000 4194304 4196468 140733699600080 140716351458456 140716874519501 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10508] ppid=10491 vsize=13801768 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10508/stat : 10508 (java) R 10491 10491 7621 0 -1 4202560 2412 0 0 0 87 1 0 0 20 0 28 0 4550058 14133010432 55231 33554432000 4194304 4196468 140733699600080 140716350395168 140716893360730 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10509] ppid=10491 vsize=13801768 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10509/stat : 10509 (java) R 10491 10491 7621 0 -1 4202560 2785 0 0 0 80 0 0 0 20 0 28 0 4550058 14133010432 55231 33554432000 4194304 4196468 140733699600080 140716281935328 140716878463203 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10510] ppid=10491 vsize=13801768 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10510/stat : 10510 (java) R 10491 10491 7621 0 -1 4202560 2950 0 0 0 61 0 0 0 20 0 28 0 4550058 14133010432 55231 33554432000 4194304 4196468 140733699600080 140716280895984 140716893360730 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10511] ppid=10491 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10511/stat : 10511 (java) S 10491 10491 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4550058 14133010432 55231 33554432000 4194304 4196468 140733699600080 140716279843424 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10512] ppid=10491 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10512/stat : 10512 (java) S 10491 10491 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4550058 14133010432 55231 33554432000 4194304 4196468 140733699600080 140716278790704 140716893350530 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
Current children cumulated CPU time (s) 5.19
Current children cumulated vsize (KiB) 13811280

[startup+3.10136 s]
/proc/loadavg: 10.35 12.31 13.51 13/299 10520
/proc/meminfo: memFree=28282728/32770624 swapFree=5800/281528
[pid=10491] ppid=10488 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10491/stat : 10491 (xcsp3-exec) S 10488 10491 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4550049 9740288 346 33554432000 4194304 5098028 140731762874320 140731762872424 140306636087932 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29589504 140731762881678 140731762881888 140731762881888 140731762884587 0
/proc/10491/statm: 2378 346 289 221 0 87 0
[pid=10492] ppid=10491 vsize=13801768 CPUtime=17.88 cores=1,3,5,7,9,11,13,15
/proc/10492/stat : 10492 (java) S 10491 10491 7621 0 -1 1077944320 29065 0 0 0 1752 36 0 0 20 0 28 0 4550049 14133010432 71880 33554432000 4194304 4196468 140733699600080 140733699582624 140716893339383 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
/proc/10492/statm: 3450442 71880 3259 1 0 3437675 0
[pid=10492/tid=10493] ppid=10491 vsize=13801768 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10493/stat : 10493 (java) S 10491 10491 7621 0 -1 1077944384 8372 0 0 0 128 6 0 0 20 0 28 0 4550049 14133010432 71880 33554432000 4194304 4196468 140733699600080 140716897580160 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10495] ppid=10491 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10495/stat : 10495 (java) S 10491 10491 7621 0 -1 1077944384 80 0 0 0 3 3 0 0 20 0 28 0 4550050 14133010432 71880 33554432000 4194304 4196468 140733699600080 140716825475728 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10496] ppid=10491 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10496/stat : 10496 (java) S 10491 10491 7621 0 -1 1077944384 121 0 0 0 3 3 0 0 20 0 28 0 4550050 14133010432 71880 33554432000 4194304 4196468 140733699600080 140716824422928 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10497] ppid=10491 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10497/stat : 10497 (java) S 10491 10491 7621 0 -1 1077944384 53 0 0 0 3 3 0 0 20 0 28 0 4550050 14133010432 71880 33554432000 4194304 4196468 140733699600080 140716823370128 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10498] ppid=10491 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10498/stat : 10498 (java) S 10491 10491 7621 0 -1 1077944384 38 0 0 0 4 1 0 0 20 0 28 0 4550050 14133010432 71880 33554432000 4194304 4196468 140733699600080 140716822317328 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10499] ppid=10491 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10499/stat : 10499 (java) S 10491 10491 7621 0 -1 1077944384 40 0 0 0 3 2 0 0 20 0 28 0 4550050 14133010432 71880 33554432000 4194304 4196468 140733699600080 140716821265552 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10500] ppid=10491 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10500/stat : 10500 (java) S 10491 10491 7621 0 -1 1077944384 92 0 0 0 4 4 0 0 20 0 28 0 4550050 14133010432 71880 33554432000 4194304 4196468 140733699600080 140716820212752 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10501] ppid=10491 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10501/stat : 10501 (java) S 10491 10491 7621 0 -1 1077944384 55 0 0 0 4 2 0 0 20 0 28 0 4550050 14133010432 71880 33554432000 4194304 4196468 140733699600080 140716486396816 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10502] ppid=10491 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10502/stat : 10502 (java) S 10491 10491 7621 0 -1 1077944384 73 0 0 0 6 2 0 0 20 0 28 0 4550050 14133010432 71880 33554432000 4194304 4196468 140733699600080 140716485344016 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10503] ppid=10491 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10503/stat : 10503 (java) S 10491 10491 7621 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 28 0 4550053 14133010432 71880 33554432000 4194304 4196468 140733699600080 140716355668336 140716893350530 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10504] ppid=10491 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10504/stat : 10504 (java) S 10491 10491 7621 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 4550053 14133010432 71880 33554432000 4194304 4196468 140733699600080 140716354614368 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10505] ppid=10491 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10505/stat : 10505 (java) S 10491 10491 7621 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 4550054 14133010432 71880 33554432000 4194304 4196468 140733699600080 140716353561472 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10506] ppid=10491 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10506/stat : 10506 (java) S 10491 10491 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4550058 14133010432 71880 33554432000 4194304 4196468 140733699600080 140716352509776 140716893357979 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10507] ppid=10491 vsize=13801768 CPUtime=2.05 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10507/stat : 10507 (java) R 10491 10491 7621 0 -1 4202560 5417 0 0 0 204 1 0 0 20 0 28 0 4550058 14133010432 71880 33554432000 4194304 4196468 140733699600080 140716351444184 140716874883617 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10508] ppid=10491 vsize=13801768 CPUtime=1.95 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10508/stat : 10508 (java) R 10491 10491 7621 0 -1 4202560 3714 0 0 0 194 1 0 0 20 0 28 0 4550058 14133010432 71880 33554432000 4194304 4196468 140733699600080 140716350386376 140716872528832 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10509] ppid=10491 vsize=13801768 CPUtime=1.94 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10509/stat : 10509 (java) R 10491 10491 7621 0 -1 4202560 5553 0 0 0 193 1 0 0 20 0 28 0 4550058 14133010432 71880 33554432000 4194304 4196468 140733699600080 140716281941272 140716878246070 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10510] ppid=10491 vsize=13801768 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10510/stat : 10510 (java) S 10491 10491 7621 0 -1 1077944384 3258 0 0 0 75 0 0 0 20 0 28 0 4550058 14133010432 71880 33554432000 4194304 4196468 140733699600080 140716280895984 140716893350530 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10511] ppid=10491 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10511/stat : 10511 (java) S 10491 10491 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4550058 14133010432 71880 33554432000 4194304 4196468 140733699600080 140716279843424 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10512] ppid=10491 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10512/stat : 10512 (java) S 10491 10491 7621 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4550058 14133010432 71880 33554432000 4194304 4196468 140733699600080 140716278790704 140716893350530 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10513] ppid=10491 vsize=13801768 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10513/stat : 10513 (java) R 10491 10491 7621 0 -1 4202560 199 0 0 0 108 0 0 0 20 0 28 0 4550190 14133010432 71880 33554432000 4194304 4196468 140733699600080 140716270774904 140716506518476 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10514] ppid=10491 vsize=13801768 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10514/stat : 10514 (java) R 10491 10491 7621 0 -1 4202560 52 0 0 0 120 0 0 0 20 0 28 0 4550190 14133010432 71880 33554432000 4194304 4196468 140733699600080 140716269723480 140716506515159 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10515] ppid=10491 vsize=13801768 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10515/stat : 10515 (java) R 10491 10491 7621 0 -1 4202560 62 0 0 0 115 0 0 0 20 0 28 0 4550190 14133010432 71880 33554432000 4194304 4196468 140733699600080 140716268671912 140716506518465 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10516] ppid=10491 vsize=13801768 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10516/stat : 10516 (java) R 10491 10491 7621 0 -1 4202560 85 0 0 0 99 0 0 0 20 0 28 0 4550190 14133010432 71880 33554432000 4194304 4196468 140733699600080 140716267618064 140716505044780 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10517] ppid=10491 vsize=13801768 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10517/stat : 10517 (java) R 10491 10491 7621 0 -1 4202560 59 0 0 0 117 0 0 0 20 0 28 0 4550190 14133010432 71880 33554432000 4194304 4196468 140733699600080 140716266565976 140716507833878 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10518] ppid=10491 vsize=13801768 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10518/stat : 10518 (java) R 10491 10491 7621 0 -1 4202560 69 0 0 0 128 0 0 0 20 0 28 0 4550190 14133010432 71880 33554432000 4194304 4196468 140733699600080 140716265515184 140716506679928 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10519] ppid=10491 vsize=13801768 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10519/stat : 10519 (java) R 10491 10491 7621 0 -1 4202560 73 0 0 0 123 0 0 0 20 0 28 0 4550190 14133010432 71880 33554432000 4194304 4196468 140733699600080 140716264456024 140716507834124 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10520] ppid=10491 vsize=13801768 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10520/stat : 10520 (java) R 10491 10491 7621 0 -1 4202560 123 0 0 0 107 0 0 0 20 0 28 0 4550190 14133010432 71880 33554432000 4194304 4196468 140733699600080 140716263407240 140716504164224 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
Current children cumulated CPU time (s) 17.88
Current children cumulated vsize (KiB) 13811280

[startup+6.30155 s]
/proc/loadavg: 10.48 12.31 13.50 11/299 10520
/proc/meminfo: memFree=28015032/32770624 swapFree=5800/281528
[pid=10491] ppid=10488 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10491/stat : 10491 (xcsp3-exec) S 10488 10491 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4550049 9740288 346 33554432000 4194304 5098028 140731762874320 140731762872424 140306636087932 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29589504 140731762881678 140731762881888 140731762881888 140731762884587 0
/proc/10491/statm: 2378 346 289 221 0 87 0
[pid=10492] ppid=10491 vsize=13801768 CPUtime=43.23 cores=1,3,5,7,9,11,13,15
/proc/10492/stat : 10492 (java) S 10491 10491 7621 0 -1 1077944320 41602 0 0 0 4256 67 0 0 20 0 28 0 4550049 14133010432 123525 33554432000 4194304 4196468 140733699600080 140733699582624 140716893339383 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
/proc/10492/statm: 3450442 123525 3282 1 0 3437675 0
[pid=10492/tid=10493] ppid=10491 vsize=13801768 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10493/stat : 10493 (java) S 10491 10491 7621 0 -1 1077944384 8372 0 0 0 128 6 0 0 20 0 28 0 4550049 14133010432 123525 33554432000 4194304 4196468 140733699600080 140716897580160 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10495] ppid=10491 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10495/stat : 10495 (java) S 10491 10491 7621 0 -1 1077944384 123 0 0 0 7 5 0 0 20 0 28 0 4550050 14133010432 123525 33554432000 4194304 4196468 140733699600080 140716825475728 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10496] ppid=10491 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10496/stat : 10496 (java) S 10491 10491 7621 0 -1 1077944384 152 0 0 0 6 6 0 0 20 0 28 0 4550050 14133010432 123525 33554432000 4194304 4196468 140733699600080 140716824422928 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10497] ppid=10491 vsize=13801768 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10497/stat : 10497 (java) S 10491 10491 7621 0 -1 1077944384 84 0 0 0 6 5 0 0 20 0 28 0 4550050 14133010432 123525 33554432000 4194304 4196468 140733699600080 140716823370128 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10498] ppid=10491 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10498/stat : 10498 (java) S 10491 10491 7621 0 -1 1077944384 92 0 0 0 8 4 0 0 20 0 28 0 4550050 14133010432 123525 33554432000 4194304 4196468 140733699600080 140716822317328 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0

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

[pid=10492/tid=10519] ppid=10491 vsize=13801768 CPUtime=276.95 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10519/stat : 10519 (java) R 10491 10491 7621 0 -1 4202560 1568 0 0 0 27689 6 0 0 20 0 28 0 4550190 14133010432 707569 33554432000 4194304 4196468 140733699600080 140716264460408 140716506530829 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10520] ppid=10491 vsize=13801768 CPUtime=276.04 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10520/stat : 10520 (java) R 10491 10491 7621 0 -1 4202560 1837 0 0 0 27599 5 0 0 20 0 28 0 4550190 14133010432 707569 33554432000 4194304 4196468 140733699600080 140716263407528 140716507695096 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
Current children cumulated CPU time (s) 2238.67
Current children cumulated vsize (KiB) 13811280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+302.702 s]
/proc/loadavg: 10.52 12.43 13.33 10/293 10730
/proc/meminfo: memFree=24775084/32770624 swapFree=5800/281984
[pid=10491] ppid=10488 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10491/stat : 10491 (xcsp3-exec) S 10488 10491 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4550049 9740288 346 33554432000 4194304 5098028 140731762874320 140731762872424 140306636087932 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29589504 140731762881678 140731762881888 140731762881888 140731762884587 0
/proc/10491/statm: 2378 346 289 221 0 87 0
[pid=10492] ppid=10491 vsize=13801768 CPUtime=2400.42 cores=1,3,5,7,9,11,13,15
/proc/10492/stat : 10492 (java) S 10491 10491 7621 0 -1 1077944320 110170 0 0 0 239816 226 0 0 20 0 28 0 4550049 14133010432 706943 33554432000 4194304 4196468 140733699600080 140733699582624 140716893339383 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
/proc/10492/statm: 3450442 706943 3286 1 0 3437675 0
[pid=10492/tid=10493] ppid=10491 vsize=13801768 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10493/stat : 10493 (java) S 10491 10491 7621 0 -1 1077944384 8372 0 0 0 128 6 0 0 20 0 28 0 4550049 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716897580160 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10495] ppid=10491 vsize=13801768 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10495/stat : 10495 (java) S 10491 10491 7621 0 -1 1077944384 1240 0 0 0 104 16 0 0 20 0 28 0 4550050 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716825475728 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10496] ppid=10491 vsize=13801768 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10496/stat : 10496 (java) S 10491 10491 7621 0 -1 1077944384 1881 0 0 0 99 15 0 0 20 0 28 0 4550050 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716824422928 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10497] ppid=10491 vsize=13801768 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10497/stat : 10497 (java) S 10491 10491 7621 0 -1 1077944384 1459 0 0 0 98 16 0 0 20 0 28 0 4550050 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716823370128 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10498] ppid=10491 vsize=13801768 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10498/stat : 10498 (java) S 10491 10491 7621 0 -1 1077944384 968 0 0 0 107 13 0 0 20 0 28 0 4550050 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716822317328 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10499] ppid=10491 vsize=13801768 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10499/stat : 10499 (java) S 10491 10491 7621 0 -1 1077944384 953 0 0 0 104 12 0 0 20 0 28 0 4550050 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716821265552 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10500] ppid=10491 vsize=13801768 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10500/stat : 10500 (java) S 10491 10491 7621 0 -1 1077944384 1078 0 0 0 102 15 0 0 20 0 28 0 4550050 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716820212752 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10501] ppid=10491 vsize=13801768 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10501/stat : 10501 (java) S 10491 10491 7621 0 -1 1077944384 994 0 0 0 106 14 0 0 20 0 28 0 4550050 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716486396816 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10502] ppid=10491 vsize=13801768 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10502/stat : 10502 (java) S 10491 10491 7621 0 -1 1077944384 1153 0 0 0 106 14 0 0 20 0 28 0 4550050 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716485344016 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10503] ppid=10491 vsize=13801768 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10503/stat : 10503 (java) S 10491 10491 7621 0 -1 1077944384 4096 0 0 0 21 20 0 0 20 0 28 0 4550053 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716355668336 140716893350530 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10504] ppid=10491 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10504/stat : 10504 (java) S 10491 10491 7621 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 4550053 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716354614368 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10505] ppid=10491 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10505/stat : 10505 (java) S 10491 10491 7621 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 4550054 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716353561472 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10506] ppid=10491 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10506/stat : 10506 (java) S 10491 10491 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4550058 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716352509776 140716893357979 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10507] ppid=10491 vsize=13801768 CPUtime=5.8 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10507/stat : 10507 (java) S 10491 10491 7621 0 -1 1077944384 16466 0 0 0 578 2 0 0 20 0 28 0 4550058 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716351458160 140716893350530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10508] ppid=10491 vsize=13801768 CPUtime=4.45 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10508/stat : 10508 (java) S 10491 10491 7621 0 -1 1077944384 12180 0 0 0 443 2 0 0 20 0 28 0 4550058 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716350405360 140716893350530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10509] ppid=10491 vsize=13801768 CPUtime=5.79 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10509/stat : 10509 (java) S 10491 10491 7621 0 -1 1077944384 22818 0 0 0 575 4 0 0 20 0 28 0 4550058 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716281948784 140716893350530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10510] ppid=10491 vsize=13801768 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10510/stat : 10510 (java) S 10491 10491 7621 0 -1 1077944384 11069 0 0 0 108 2 0 0 20 0 28 0 4550058 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716280895984 140716893350530 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10511] ppid=10491 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10511/stat : 10511 (java) S 10491 10491 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4550058 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716279843424 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10512] ppid=10491 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10512/stat : 10512 (java) S 10491 10491 7621 0 -1 1077944384 1083 0 0 0 7 8 0 0 20 0 28 0 4550058 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716278790704 140716893350530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10513] ppid=10491 vsize=13801768 CPUtime=296.26 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10513/stat : 10513 (java) R 10491 10491 7621 0 -1 4202560 2468 0 0 0 29617 9 0 0 20 0 28 0 4550190 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716270777328 140716507086337 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10514] ppid=10491 vsize=13801768 CPUtime=296.74 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10514/stat : 10514 (java) R 10491 10491 7621 0 -1 4202560 4064 0 0 0 29665 9 0 0 20 0 28 0 4550190 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716269723288 140716510166862 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10515] ppid=10491 vsize=13801768 CPUtime=296.85 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10515/stat : 10515 (java) R 10491 10491 7621 0 -1 4202560 3760 0 0 0 29676 9 0 0 20 0 28 0 4550190 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716268671464 140716507694513 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10516] ppid=10491 vsize=13801768 CPUtime=296.37 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10516/stat : 10516 (java) R 10491 10491 7621 0 -1 4202560 2375 0 0 0 29632 5 0 0 20 0 28 0 4550190 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716267618664 140716509992498 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10517] ppid=10491 vsize=13801768 CPUtime=296.09 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10517/stat : 10517 (java) R 10491 10491 7621 0 -1 4202560 4610 0 0 0 29599 10 0 0 20 0 28 0 4550190 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716266565880 140716507883250 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10518] ppid=10491 vsize=13801768 CPUtime=296.53 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10518/stat : 10518 (java) R 10491 10491 7621 0 -1 4202560 2135 0 0 0 29645 8 0 0 20 0 28 0 4550190 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716265513064 140716507695410 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10519] ppid=10491 vsize=13801768 CPUtime=296.95 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10519/stat : 10519 (java) R 10491 10491 7621 0 -1 4202560 1668 0 0 0 29689 6 0 0 20 0 28 0 4550190 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716264460160 140716509152704 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10520] ppid=10491 vsize=13801768 CPUtime=295.98 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10520/stat : 10520 (java) R 10491 10491 7621 0 -1 4202560 1918 0 0 0 29593 5 0 0 20 0 28 0 4550190 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716263407480 140716507085455 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
Current children cumulated CPU time (s) 2400.42
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 10492 sig 9
??? kill 10491 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+302.702 s]
/proc/loadavg: 10.52 12.43 13.33 10/293 10730
/proc/meminfo: memFree=24775084/32770624 swapFree=5800/281984
[pid=10491] ppid=10488 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10491/stat : 10491 (xcsp3-exec) S 10488 10491 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4550049 9740288 346 33554432000 4194304 5098028 140731762874320 140731762872424 140306636087932 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29589504 140731762881678 140731762881888 140731762881888 140731762884587 0
/proc/10491/statm: 2378 346 289 221 0 87 0
[pid=10492] ppid=10491 vsize=13801768 CPUtime=2400.42 cores=1,3,5,7,9,11,13,15
/proc/10492/stat : 10492 (java) S 10491 10491 7621 0 -1 1077944320 110170 0 0 0 239816 226 0 0 20 0 28 0 4550049 14133010432 706943 33554432000 4194304 4196468 140733699600080 140733699582624 140716893339383 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
/proc/10492/statm: 3450442 706943 3286 1 0 3437675 0
[pid=10492/tid=10493] ppid=10491 vsize=13801768 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10493/stat : 10493 (java) S 10491 10491 7621 0 -1 1077944384 8372 0 0 0 128 6 0 0 20 0 28 0 4550049 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716897580160 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10495] ppid=10491 vsize=13801768 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10495/stat : 10495 (java) S 10491 10491 7621 0 -1 1077944384 1240 0 0 0 104 16 0 0 20 0 28 0 4550050 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716825475728 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10496] ppid=10491 vsize=13801768 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10496/stat : 10496 (java) S 10491 10491 7621 0 -1 1077944384 1881 0 0 0 99 15 0 0 20 0 28 0 4550050 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716824422928 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10497] ppid=10491 vsize=13801768 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10497/stat : 10497 (java) S 10491 10491 7621 0 -1 1077944384 1459 0 0 0 98 16 0 0 20 0 28 0 4550050 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716823370128 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10498] ppid=10491 vsize=13801768 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10498/stat : 10498 (java) S 10491 10491 7621 0 -1 1077944384 968 0 0 0 107 13 0 0 20 0 28 0 4550050 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716822317328 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10499] ppid=10491 vsize=13801768 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10499/stat : 10499 (java) S 10491 10491 7621 0 -1 1077944384 953 0 0 0 104 12 0 0 20 0 28 0 4550050 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716821265552 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10500] ppid=10491 vsize=13801768 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10500/stat : 10500 (java) S 10491 10491 7621 0 -1 1077944384 1078 0 0 0 102 15 0 0 20 0 28 0 4550050 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716820212752 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10501] ppid=10491 vsize=13801768 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10501/stat : 10501 (java) S 10491 10491 7621 0 -1 1077944384 994 0 0 0 106 14 0 0 20 0 28 0 4550050 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716486396816 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10502] ppid=10491 vsize=13801768 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10502/stat : 10502 (java) S 10491 10491 7621 0 -1 1077944384 1153 0 0 0 106 14 0 0 20 0 28 0 4550050 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716485344016 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10503] ppid=10491 vsize=13801768 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10503/stat : 10503 (java) S 10491 10491 7621 0 -1 1077944384 4096 0 0 0 21 20 0 0 20 0 28 0 4550053 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716355668336 140716893350530 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10504] ppid=10491 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10504/stat : 10504 (java) S 10491 10491 7621 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 4550053 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716354614368 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10505] ppid=10491 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10505/stat : 10505 (java) S 10491 10491 7621 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 4550054 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716353561472 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10506] ppid=10491 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10506/stat : 10506 (java) S 10491 10491 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4550058 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716352509776 140716893357979 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10507] ppid=10491 vsize=13801768 CPUtime=5.8 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10507/stat : 10507 (java) S 10491 10491 7621 0 -1 1077944384 16466 0 0 0 578 2 0 0 20 0 28 0 4550058 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716351458160 140716893350530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10508] ppid=10491 vsize=13801768 CPUtime=4.45 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10508/stat : 10508 (java) S 10491 10491 7621 0 -1 1077944384 12180 0 0 0 443 2 0 0 20 0 28 0 4550058 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716350405360 140716893350530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10509] ppid=10491 vsize=13801768 CPUtime=5.79 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10509/stat : 10509 (java) S 10491 10491 7621 0 -1 1077944384 22818 0 0 0 575 4 0 0 20 0 28 0 4550058 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716281948784 140716893350530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10510] ppid=10491 vsize=13801768 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10510/stat : 10510 (java) S 10491 10491 7621 0 -1 1077944384 11069 0 0 0 108 2 0 0 20 0 28 0 4550058 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716280895984 140716893350530 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10511] ppid=10491 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10511/stat : 10511 (java) S 10491 10491 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4550058 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716279843424 140716893349589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10512] ppid=10491 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10512/stat : 10512 (java) S 10491 10491 7621 0 -1 1077944384 1083 0 0 0 7 8 0 0 20 0 28 0 4550058 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716278790704 140716893350530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10513] ppid=10491 vsize=13801768 CPUtime=296.26 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10513/stat : 10513 (java) R 10491 10491 7621 0 -1 4202560 2468 0 0 0 29617 9 0 0 20 0 28 0 4550190 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716270777328 140716507086337 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10514] ppid=10491 vsize=13801768 CPUtime=296.74 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10514/stat : 10514 (java) R 10491 10491 7621 0 -1 4202560 4064 0 0 0 29665 9 0 0 20 0 28 0 4550190 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716269723288 140716510166862 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10515] ppid=10491 vsize=13801768 CPUtime=296.85 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10515/stat : 10515 (java) R 10491 10491 7621 0 -1 4202560 3760 0 0 0 29676 9 0 0 20 0 28 0 4550190 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716268671464 140716507694513 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10516] ppid=10491 vsize=13801768 CPUtime=296.37 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10516/stat : 10516 (java) R 10491 10491 7621 0 -1 4202560 2375 0 0 0 29632 5 0 0 20 0 28 0 4550190 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716267618664 140716509992498 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10517] ppid=10491 vsize=13801768 CPUtime=296.09 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10517/stat : 10517 (java) R 10491 10491 7621 0 -1 4202560 4610 0 0 0 29599 10 0 0 20 0 28 0 4550190 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716266565880 140716507883250 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10518] ppid=10491 vsize=13801768 CPUtime=296.53 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10518/stat : 10518 (java) R 10491 10491 7621 0 -1 4202560 2135 0 0 0 29645 8 0 0 20 0 28 0 4550190 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716265513064 140716507695410 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10519] ppid=10491 vsize=13801768 CPUtime=296.95 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10519/stat : 10519 (java) R 10491 10491 7621 0 -1 4202560 1668 0 0 0 29689 6 0 0 20 0 28 0 4550190 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716264460160 140716509152704 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
[pid=10492/tid=10520] ppid=10491 vsize=13801768 CPUtime=295.98 cores=1,3,5,7,9,11,13,15
/proc/10492/task/10520/stat : 10520 (java) R 10491 10491 7621 0 -1 4202560 1918 0 0 0 29593 5 0 0 20 0 28 0 4550190 14133010432 706943 33554432000 4194304 4196468 140733699600080 140716263407480 140716507085455 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14467072 140733699605692 140733699605868 140733699605868 140733699608527 0
Current children cumulated CPU time (s) 2400.42
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 10491 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1691
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=845
# CPU time returned by wait4() is 0.002536
# while last known CPU time is 2400.42
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 302.712
CPU time (s): 2400.42
CPU user time (s): 2398.16
CPU system time (s): 2.26
CPU usage (%): 792.971
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001691
system time used= 0.000845
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.9221 second user time and 3.95892 second system time

The end

Begin job on node124 at 2017-07-22 05:07:03
IDJOB=4248714
IDBENCH=133917
IDSOLVER=2625
FILE ID=node124/4248714-1500692823
RUNJOBID= node124-1500683887-7653
PBS_JOBID= 20623343
Free space on /tmp= 62000 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/SportsScheduling/SportsScheduling-m1-s1/SportsScheduling-30.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-4248714-1500692823/watcher-4248714-1500692823 -o /tmp/evaluation-result-4248714-1500692823/solver-4248714-1500692823 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7653 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1166114173 HOME/instance-4248714-1500692823.xml

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

MD5SUM BENCH= 342946d6497bc5c3a3caf7e92c124315
RANDOM SEED=1166114173

node124.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		: 1600.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.16
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		: 1600.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		: 1600.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.16
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		: 2000.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.16
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		: 1733.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		: 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	: 5333.16
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	: 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		: 2133.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.16
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		: 1600.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.16
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		: 1867.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		: 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	: 5333.16
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	: 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.16
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		: 2267.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:        28498996 kB
MemAvailable:   28657972 kB
Buffers:          114796 kB
Cached:           326536 kB
SwapCached:            0 kB
Active:          3545656 kB
Inactive:         290272 kB
Active(anon):    3397080 kB
Inactive(anon):     8744 kB
Active(file):     148576 kB
Inactive(file):   281528 kB
Unevictable:        5800 kB
Mlocked:            5800 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7776 kB
Writeback:             0 kB
AnonPages:       3322060 kB
Mapped:            42648 kB
Shmem:              8840 kB
Slab:             123200 kB
SReclaimable:      89412 kB
SUnreclaim:        33788 kB
KernelStack:        5136 kB
PageTables:        12384 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5413796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3184640 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61992 MiB
End job on node124 at 2017-07-22 05:12:06

Name	SportsScheduling/SportsScheduling-m1-s1/ SportsScheduling-30.xml
MD5SUM	342946d6497bc5c3a3caf7e92c124315
Bench Category	CSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables	1335
Number of constraints	555
Number of domains	2
Minimum domain size	30
Maximum domain size	435
Distribution of domain sizes	[{"size":30,"count":900},{"size":435,"count":435}]
Minimum variable degree	3
Maximum variable degree	4
Distribution of variable degrees	[{"degree":3,"count":450},{"degree":4,"count":885}]
Minimum constraint arity	1
Maximum constraint arity	435
Distribution of constraint arities	[{"arity":1,"count":15},{"arity":2,"count":15},{"arity":3,"count":435},{"arity":15,"count":29},{"arity":30,"count":30},{"arity":58,"count":15},{"arity":60,"count":15},{"arity":435,"count":1}]
Number of extensional constraints	435
Number of intensional constraints	30
Distribution of constraint types	[{"type":"extension","count":435},{"type":"intension","count":30},{"type":"allDifferent","count":31},{"type":"count","count":29},{"type":"cardinality","count":30}]
Optimization problem	NO
Type of objective

Trace number 4248714

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data