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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 4.0.5 seq (2017-08-09)	SAT	1.53829	0.82066298

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (7871 MiB free)
  memory of node 1: 16384 MiB (13766 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269446-1502849601/watcher-4269446-1502849601 -o /tmp/evaluation-result-4269446-1502849601/solver-4269446-1502849601 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1502838668-25115 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 670891278 HOME/instance-4269446-1502849601.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=26245, runsolver pid=26242

[startup+0.106335 s]*
/proc/loadavg: 1.97 2.01 2.04 5/217 26261
/proc/meminfo: memFree=22140504/32770624 swapFree=67108860/67108860
[pid=26245] ppid=26242 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26245/stat : 26245 (xcsp3-exec) S 26242 26245 25083 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 118040979 9740288 346 33554432000 4194304 5098028 140733931015408 140733931013512 140354186707580 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 34279424 140733931021423 140733931021627 140733931021627 140733931024363 0
/proc/26245/statm: 2378 346 289 221 0 87 0
[pid=26247] ppid=26245 vsize=13978596 memory=28360 CPUtime=0.13 cores=1,3,5,7
/proc/26247/stat : 26247 (java) S 26245 26245 25083 0 -1 1077944320 5469 0 0 0 12 1 0 0 20 0 15 0 118040979 14314082304 7090 33554432000 4194304 4196468 140725778915120 140725778897664 140580580638455 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
/proc/26247/statm: 3494649 7090 2888 1 0 3482966 0
[pid=26247/tid=26248] ppid=26245 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/26247/task/26248/stat : 26248 (java) R 26245 26245 25083 0 -1 4202560 3403 0 0 0 9 0 0 0 20 0 15 0 118040979 14314082304 7090 33554432000 4194304 4196468 140725778915120 140580584865872 140580580659802 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26249] ppid=26245 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26249/stat : 26249 (java) S 26245 26245 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118040980 14314082304 7090 33554432000 4194304 4196468 140725778915120 140580533258512 140580580648661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26250] ppid=26245 vsize=13978596 memory=139731967477376 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26250/stat : 26250 (java) S 26245 26245 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118040980 14314082304 7090 33554432000 4194304 4196468 140725778915120 140580532205968 140580580648661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26251] ppid=26245 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26251/stat : 26251 (java) S 26245 26245 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118040980 14314082304 7090 33554432000 4194304 4196468 140725778915120 140580531153424 140580580648661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26252] ppid=26245 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26252/stat : 26252 (java) S 26245 26245 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118040980 14314082304 7090 33554432000 4194304 4196468 140725778915120 140580530100880 140580580648661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26253] ppid=26245 vsize=13978596 memory=139731967477376 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26253/stat : 26253 (java) S 26245 26245 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118040981 14314082304 7090 33554432000 4194304 4196468 140725778915120 140580121901552 140580580649602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26254] ppid=26245 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26254/stat : 26254 (java) S 26245 26245 25083 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118040982 14314082304 7090 33554432000 4194304 4196468 140725778915120 140580120847776 140580580648661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26255] ppid=26245 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26255/stat : 26255 (java) S 26245 26245 25083 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118040982 14314082304 7090 33554432000 4194304 4196468 140725778915120 140580119795184 140580580648661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26256] ppid=26245 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26256/stat : 26256 (java) S 26245 26245 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118040984 14314082304 7090 33554432000 4194304 4196468 140725778915120 140580050954960 140580580657051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26257] ppid=26245 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26257/stat : 26257 (java) R 26245 26245 25083 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 15 0 118040984 14314082304 7090 33554432000 4194304 4196468 140725778915120 140580049901552 140580580649602 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26258] ppid=26245 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26258/stat : 26258 (java) R 26245 26245 25083 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 15 0 118040985 14314082304 7090 33554432000 4194304 4196468 140725778915120 140580048849008 140580565454957 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26259] ppid=26245 vsize=13978596 memory=139731967477376 CPUtime=0.02 cores=1,3,5,7
/proc/26247/task/26259/stat : 26259 (java) R 26245 26245 25083 0 -1 4202560 329 0 0 0 2 0 0 0 20 0 15 0 118040985 14314082304 7090 33554432000 4194304 4196468 140725778915120 140580047796464 140580572927938 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26260] ppid=26245 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26260/stat : 26260 (java) S 26245 26245 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118040985 14314082304 7090 33554432000 4194304 4196468 140725778915120 140580046744160 140580580648661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26261] ppid=26245 vsize=13978596 memory=139731967477376 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26261/stat : 26261 (java) S 26245 26245 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118040985 14314082304 7156 33554432000 4194304 4196468 140725778915120 140580045691696 140580580649602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29744 KiB

[startup+0.210673 s]*
/proc/loadavg: 1.97 2.01 2.04 3/217 26261
/proc/meminfo: memFree=22128712/32770624 swapFree=67108860/67108860
[pid=26245] ppid=26242 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26245/stat : 26245 (xcsp3-exec) S 26242 26245 25083 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 118040979 9740288 346 33554432000 4194304 5098028 140733931015408 140733931013512 140354186707580 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 34279424 140733931021423 140733931021627 140733931021627 140733931024363 0
/proc/26245/statm: 2378 346 289 221 0 87 0
[pid=26247] ppid=26245 vsize=13982852 memory=40748 CPUtime=0.34 cores=1,3,5,7
/proc/26247/stat : 26247 (java) S 26245 26245 25083 0 -1 1077944320 8220 0 0 0 32 2 0 0 20 0 15 0 118040979 14318440448 10187 33554432000 4194304 4196468 140725778915120 140725778897664 140580580638455 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
/proc/26247/statm: 3495713 10187 3074 1 0 3482966 0
[pid=26247/tid=26248] ppid=26245 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/26247/task/26248/stat : 26248 (java) R 26245 26245 25083 0 -1 4202560 5312 0 0 0 19 1 0 0 20 0 15 0 118040979 14318440448 10187 33554432000 4194304 4196468 140725778915120 140580584860496 140580573316469 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26249] ppid=26245 vsize=13982852 memory=8911 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26249/stat : 26249 (java) S 26245 26245 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118040980 14318440448 10187 33554432000 4194304 4196468 140725778915120 140580533258512 140580580648661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26250] ppid=26245 vsize=13982852 memory=288370108119189120 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26250/stat : 26250 (java) S 26245 26245 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118040980 14318440448 10187 33554432000 4194304 4196468 140725778915120 140580532205968 140580580648661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26251] ppid=26245 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26251/stat : 26251 (java) S 26245 26245 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118040980 14318440448 10187 33554432000 4194304 4196468 140725778915120 140580531153424 140580580648661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26252] ppid=26245 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26252/stat : 26252 (java) S 26245 26245 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118040980 14318440448 10187 33554432000 4194304 4196468 140725778915120 140580530100880 140580580648661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26253] ppid=26245 vsize=13982852 memory=139731967477376 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26253/stat : 26253 (java) S 26245 26245 25083 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 118040981 14318440448 10187 33554432000 4194304 4196468 140725778915120 140580121901552 140580580649602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26254] ppid=26245 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26254/stat : 26254 (java) S 26245 26245 25083 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118040982 14318440448 10187 33554432000 4194304 4196468 140725778915120 140580120847776 140580580648661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26255] ppid=26245 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26255/stat : 26255 (java) S 26245 26245 25083 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118040982 14318440448 10187 33554432000 4194304 4196468 140725778915120 140580119795184 140580580648661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26256] ppid=26245 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26256/stat : 26256 (java) S 26245 26245 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118040984 14318440448 10187 33554432000 4194304 4196468 140725778915120 140580050954960 140580580657051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26257] ppid=26245 vsize=13982852 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/26247/task/26257/stat : 26257 (java) S 26245 26245 25083 0 -1 1077944384 532 0 0 0 1 0 0 0 20 0 15 0 118040984 14318440448 10187 33554432000 4194304 4196468 140725778915120 140580049901552 140580580649602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26258] ppid=26245 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26247/task/26258/stat : 26258 (java) S 26245 26245 25083 0 -1 1077944384 294 0 0 0 2 0 0 0 20 0 15 0 118040985 14318440448 10187 33554432000 4194304 4196468 140725778915120 140580048849008 140580580649602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26259] ppid=26245 vsize=13982852 memory=139731967477376 CPUtime=0.08 cores=1,3,5,7
/proc/26247/task/26259/stat : 26259 (java) S 26245 26245 25083 0 -1 1077944384 776 0 0 0 8 0 0 0 20 0 15 0 118040985 14318440448 10187 33554432000 4194304 4196468 140725778915120 140580047796464 140580580649602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26260] ppid=26245 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26260/stat : 26260 (java) S 26245 26245 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118040985 14318440448 10187 33554432000 4194304 4196468 140725778915120 140580046744160 140580580648661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26261] ppid=26245 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26261/stat : 26261 (java) S 26245 26245 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118040985 14318440448 10187 33554432000 4194304 4196468 140725778915120 140580045691696 140580580649602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 42132 KiB

[startup+0.31055 s]*
/proc/loadavg: 1.97 2.01 2.04 6/217 26261
/proc/meminfo: memFree=22121772/32770624 swapFree=67108860/67108860
[pid=26245] ppid=26242 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26245/stat : 26245 (xcsp3-exec) S 26242 26245 25083 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 118040979 9740288 346 33554432000 4194304 5098028 140733931015408 140733931013512 140354186707580 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 34279424 140733931021423 140733931021627 140733931021627 140733931024363 0
/proc/26245/statm: 2378 346 289 221 0 87 0
[pid=26247] ppid=26245 vsize=13982928 memory=48340 CPUtime=0.49 cores=1,3,5,7
/proc/26247/stat : 26247 (java) S 26245 26245 25083 0 -1 1077944320 9214 0 0 0 47 2 0 0 20 0 15 0 118040979 14318518272 12085 33554432000 4194304 4196468 140725778915120 140725778897664 140580580638455 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
/proc/26247/statm: 3495732 12085 3126 1 0 3482966 0
[pid=26247/tid=26248] ppid=26245 vsize=13982928 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/26247/task/26248/stat : 26248 (java) R 26245 26245 25083 0 -1 4202560 6125 0 0 0 28 1 0 0 20 0 15 0 118040979 14318518272 12085 33554432000 4194304 4196468 140725778915120 140580584873552 140580564682085 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26249] ppid=26245 vsize=13982928 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26249/stat : 26249 (java) S 26245 26245 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118040980 14318518272 12085 33554432000 4194304 4196468 140725778915120 140580533258512 140580580648661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26250] ppid=26245 vsize=13982928 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26250/stat : 26250 (java) S 26245 26245 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118040980 14318518272 12085 33554432000 4194304 4196468 140725778915120 140580532205968 140580580648661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26251] ppid=26245 vsize=13982928 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26251/stat : 26251 (java) S 26245 26245 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118040980 14318518272 12085 33554432000 4194304 4196468 140725778915120 140580531153424 140580580648661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26252] ppid=26245 vsize=13982928 memory=4500088472188524148 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26252/stat : 26252 (java) S 26245 26245 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118040980 14318518272 12085 33554432000 4194304 4196468 140725778915120 140580530100880 140580580648661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26253] ppid=26245 vsize=13982928 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26253/stat : 26253 (java) S 26245 26245 25083 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 118040981 14318518272 12085 33554432000 4194304 4196468 140725778915120 140580121901552 140580580649602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26254] ppid=26245 vsize=13982928 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26254/stat : 26254 (java) S 26245 26245 25083 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118040982 14318518272 12085 33554432000 4194304 4196468 140725778915120 140580120847776 140580580648661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26255] ppid=26245 vsize=13982928 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26255/stat : 26255 (java) S 26245 26245 25083 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118040982 14318518272 12085 33554432000 4194304 4196468 140725778915120 140580119795184 140580580648661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26256] ppid=26245 vsize=13982928 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26256/stat : 26256 (java) S 26245 26245 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118040984 14318518272 12085 33554432000 4194304 4196468 140725778915120 140580050954960 140580580657051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26257] ppid=26245 vsize=13982928 memory=4713750055892520310 CPUtime=0.03 cores=1,3,5,7
/proc/26247/task/26257/stat : 26257 (java) S 26245 26245 25083 0 -1 1077944384 553 0 0 0 3 0 0 0 20 0 15 0 118040984 14318518272 12085 33554432000 4194304 4196468 140725778915120 140580049901552 140580580649602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26258] ppid=26245 vsize=13982928 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/26247/task/26258/stat : 26258 (java) S 26245 26245 25083 0 -1 1077944384 359 0 0 0 4 0 0 0 20 0 15 0 118040985 14318518272 12085 33554432000 4194304 4196468 140725778915120 140580048849008 140580580649602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26259] ppid=26245 vsize=13982928 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/26247/task/26259/stat : 26259 (java) R 26245 26245 25083 0 -1 4202560 872 0 0 0 12 0 0 0 20 0 15 0 118040985 14318518272 12085 33554432000 4194304 4196468 140725778915120 140580047796464 140580580650390 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26260] ppid=26245 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26260/stat : 26260 (java) S 26245 26245 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118040985 14318518272 12085 33554432000 4194304 4196468 140725778915120 140580046744160 140580580648661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26261] ppid=26245 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26261/stat : 26261 (java) S 26245 26245 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118040985 14318518272 12085 33554432000 4194304 4196468 140725778915120 140580045691696 140580580649602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 49724 KiB

[startup+0.700841 s]
/proc/loadavg: 1.97 2.01 2.04 4/217 26261
/proc/meminfo: memFree=22108248/32770624 swapFree=67108860/67108860
[pid=26245] ppid=26242 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26245/stat : 26245 (xcsp3-exec) S 26242 26245 25083 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 118040979 9740288 346 33554432000 4194304 5098028 140733931015408 140733931013512 140354186707580 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 34279424 140733931021423 140733931021627 140733931021627 140733931024363 0
/proc/26245/statm: 2378 346 289 221 0 87 0
[pid=26247] ppid=26245 vsize=13984976 memory=64160 CPUtime=1.38 cores=1,3,5,7
/proc/26247/stat : 26247 (java) S 26245 26245 25083 0 -1 1077944320 10780 0 0 0 135 3 0 0 20 0 15 0 118040979 14320615424 16040 33554432000 4194304 4196468 140725778915120 140725778897664 140580580638455 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
/proc/26247/statm: 3496244 16040 3196 1 0 3483478 0
[pid=26247/tid=26248] ppid=26245 vsize=13984976 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/26247/task/26248/stat : 26248 (java) R 26245 26245 25083 0 -1 4202560 6642 0 0 0 65 2 0 0 20 0 15 0 118040979 14320615424 16040 33554432000 4194304 4196468 140725778915120 140580584878192 140580205247604 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26249] ppid=26245 vsize=13984976 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26249/stat : 26249 (java) S 26245 26245 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118040980 14320615424 16040 33554432000 4194304 4196468 140725778915120 140580533258512 140580580648661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26250] ppid=26245 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26250/stat : 26250 (java) S 26245 26245 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118040980 14320615424 16040 33554432000 4194304 4196468 140725778915120 140580532205968 140580580648661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26251] ppid=26245 vsize=13984976 memory=33268 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26251/stat : 26251 (java) S 26245 26245 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118040980 14320615424 16040 33554432000 4194304 4196468 140725778915120 140580531153424 140580580648661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26252] ppid=26245 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26252/stat : 26252 (java) S 26245 26245 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118040980 14320615424 16040 33554432000 4194304 4196468 140725778915120 140580530100880 140580580648661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26253] ppid=26245 vsize=13984976 memory=2408 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26253/stat : 26253 (java) S 26245 26245 25083 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 118040981 14320615424 16040 33554432000 4194304 4196468 140725778915120 140580121901552 140580580649602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26254] ppid=26245 vsize=13984976 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26254/stat : 26254 (java) S 26245 26245 25083 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118040982 14320615424 16040 33554432000 4194304 4196468 140725778915120 140580120847776 140580580648661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26255] ppid=26245 vsize=13984976 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26255/stat : 26255 (java) S 26245 26245 25083 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118040982 14320615424 16040 33554432000 4194304 4196468 140725778915120 140580119795184 140580580648661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26256] ppid=26245 vsize=13984976 memory=12032 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26256/stat : 26256 (java) S 26245 26245 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118040984 14320615424 16040 33554432000 4194304 4196468 140725778915120 140580050954960 140580580657051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26257] ppid=26245 vsize=13984976 memory=5792 CPUtime=0.21 cores=1,3,5,7
/proc/26247/task/26257/stat : 26257 (java) S 26245 26245 25083 0 -1 1077944384 922 0 0 0 21 0 0 0 20 0 15 0 118040984 14320615424 16040 33554432000 4194304 4196468 140725778915120 140580049901552 140580580649602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26258] ppid=26245 vsize=13984976 memory=796 CPUtime=0.25 cores=1,3,5,7
/proc/26247/task/26258/stat : 26258 (java) S 26245 26245 25083 0 -1 1077944384 735 0 0 0 25 0 0 0 20 0 15 0 118040985 14320615424 16040 33554432000 4194304 4196468 140725778915120 140580048849008 140580580649602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26259] ppid=26245 vsize=13984976 memory=1436 CPUtime=0.23 cores=1,3,5,7
/proc/26247/task/26259/stat : 26259 (java) S 26245 26245 25083 0 -1 1077944384 1174 0 0 0 23 0 0 0 20 0 15 0 118040985 14320615424 16040 33554432000 4194304 4196468 140725778915120 140580047796464 140580580649602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26260] ppid=26245 vsize=13984976 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26260/stat : 26260 (java) S 26245 26245 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118040985 14320615424 16040 33554432000 4194304 4196468 140725778915120 140580046744160 140580580648661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26261] ppid=26245 vsize=13984976 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26261/stat : 26261 (java) S 26245 26245 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118040985 14320615424 16040 33554432000 4194304 4196468 140725778915120 140580045691696 140580580649602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 65544 KiB

[startup+0.820612 s]
# the end of solver process 26245 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1.49609 s, system=0.042193 s

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

[startup+0.800912 s]
/proc/loadavg: 1.97 2.01 2.04 4/217 26261
/proc/meminfo: memFree=22108248/32770624 swapFree=67108860/67108860
[pid=26245] ppid=26242 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26245/stat : 26245 (xcsp3-exec) S 26242 26245 25083 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 118040979 9740288 346 33554432000 4194304 5098028 140733931015408 140733931013512 140354186707580 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 34279424 140733931021423 140733931021627 140733931021627 140733931024363 0
/proc/26245/statm: 2378 346 289 221 0 87 0
[pid=26247] ppid=26245 vsize=13984976 memory=66208 CPUtime=1.5 cores=1,3,5,7
/proc/26247/stat : 26247 (java) S 26245 26245 25083 0 -1 1077944320 10793 0 0 0 147 3 0 0 20 0 15 0 118040979 14320615424 16552 33554432000 4194304 4196468 140725778915120 140725778897664 140580580638455 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
/proc/26247/statm: 3496244 16552 3196 1 0 3483478 0
[pid=26247/tid=26248] ppid=26245 vsize=13984976 memory=4620 CPUtime=0.77 cores=1,3,5,7
/proc/26247/task/26248/stat : 26248 (java) R 26245 26245 25083 0 -1 4202560 6644 0 0 0 75 2 0 0 20 0 15 0 118040979 14320615424 16552 33554432000 4194304 4196468 140725778915120 140580584875376 140580202080221 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26249] ppid=26245 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26249/stat : 26249 (java) S 26245 26245 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118040980 14320615424 16552 33554432000 4194304 4196468 140725778915120 140580533258512 140580580648661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26250] ppid=26245 vsize=13984976 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26250/stat : 26250 (java) S 26245 26245 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118040980 14320615424 16552 33554432000 4194304 4196468 140725778915120 140580532205968 140580580648661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26251] ppid=26245 vsize=13984976 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26251/stat : 26251 (java) S 26245 26245 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118040980 14320615424 16552 33554432000 4194304 4196468 140725778915120 140580531153424 140580580648661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26252] ppid=26245 vsize=13984976 memory=8836 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26252/stat : 26252 (java) S 26245 26245 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118040980 14320615424 16552 33554432000 4194304 4196468 140725778915120 140580530100880 140580580648661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26253] ppid=26245 vsize=13984976 memory=11044 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26253/stat : 26253 (java) S 26245 26245 25083 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 118040981 14320615424 16552 33554432000 4194304 4196468 140725778915120 140580121901552 140580580649602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26254] ppid=26245 vsize=13984976 memory=13252 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26254/stat : 26254 (java) S 26245 26245 25083 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118040982 14320615424 16552 33554432000 4194304 4196468 140725778915120 140580120847776 140580580648661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26255] ppid=26245 vsize=13984976 memory=15460 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26255/stat : 26255 (java) S 26245 26245 25083 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118040982 14320615424 16552 33554432000 4194304 4196468 140725778915120 140580119795184 140580580648661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26256] ppid=26245 vsize=13984976 memory=17668 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26256/stat : 26256 (java) S 26245 26245 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118040984 14320615424 16552 33554432000 4194304 4196468 140725778915120 140580050954960 140580580657051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26257] ppid=26245 vsize=13984976 memory=19876 CPUtime=0.21 cores=1,3,5,7
/proc/26247/task/26257/stat : 26257 (java) S 26245 26245 25083 0 -1 1077944384 924 0 0 0 21 0 0 0 20 0 15 0 118040984 14320615424 16552 33554432000 4194304 4196468 140725778915120 140580049901552 140580580649602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26258] ppid=26245 vsize=13984976 memory=22084 CPUtime=0.26 cores=1,3,5,7
/proc/26247/task/26258/stat : 26258 (java) R 26245 26245 25083 0 -1 4202560 735 0 0 0 26 0 0 0 20 0 15 0 118040985 14320615424 16552 33554432000 4194304 4196468 140725778915120 140580048836448 140580566066806 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26259] ppid=26245 vsize=13984976 memory=24292 CPUtime=0.24 cores=1,3,5,7
/proc/26247/task/26259/stat : 26259 (java) S 26245 26245 25083 0 -1 1077944384 1183 0 0 0 24 0 0 0 20 0 15 0 118040985 14320615424 16552 33554432000 4194304 4196468 140725778915120 140580047796464 140580580649602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26260] ppid=26245 vsize=13984976 memory=26500 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26260/stat : 26260 (java) S 26245 26245 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118040985 14320615424 16552 33554432000 4194304 4196468 140725778915120 140580046744160 140580580648661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
[pid=26247/tid=26261] ppid=26245 vsize=13984976 memory=28708 CPUtime=0 cores=1,3,5,7
/proc/26247/task/26261/stat : 26261 (java) S 26245 26245 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118040985 14320615424 16552 33554432000 4194304 4196468 140725778915120 140580045691696 140580580649602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39395328 140725778916503 140725778916679 140725778916679 140725778919375 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 67592 KiB

Child status: 0
Real time (s): 0.820663
CPU time (s): 1.53829
CPU user time (s): 1.49609
CPU system time (s): 0.042193
CPU usage (%): 187.445
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 67592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.49609
system time used= 0.042193
maximum resident set size= 67068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11358
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1532
involuntary context switches= 4


# summary of solver processes directly reported to runsolver:
#   pid: 26245
#   total CPU time (s): 1.53829
#   total CPU user time (s): 1.49609
#   total CPU system time (s): 0.042193

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.021536 second user time and 0.054917 second system time

The end

Begin job on node149 at 2017-08-16 03:59:02
IDJOB=4269446
IDBENCH=138725
IDSOLVER=2660
FILE ID=node149/4269446-1502849601
RUNJOBID= node149-1502838668-25115
PBS_JOBID= 20629851
Free space on /tmp= 61932 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/Domino/Domino-m1-s1/Domino-700-100.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4269446-1502849601/watcher-4269446-1502849601 -o /tmp/evaluation-result-4269446-1502849601/solver-4269446-1502849601 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1502838668-25115 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 670891278 HOME/instance-4269446-1502849601.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= afd68c385e5184dcb31c2a6fba91eaef
RANDOM SEED=670891278

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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.43
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	: 4
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		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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.43
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	: 4
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		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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.43
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	: 4
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	: 4
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.43
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	: 4
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:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        22158060 kB
MemAvailable:   26398800 kB
Buffers:          330740 kB
Cached:          4182028 kB
SwapCached:            0 kB
Active:          6777352 kB
Inactive:        3354288 kB
Active(anon):    5621788 kB
Inactive(anon):    24956 kB
Active(file):    1155564 kB
Inactive(file):  3329332 kB
Unevictable:        6348 kB
Mlocked:            6348 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7820 kB
Writeback:            40 kB
AnonPages:       5624888 kB
Mapped:            58992 kB
Shmem:             25224 kB
Slab:             170704 kB
SReclaimable:     143356 kB
SUnreclaim:        27348 kB
KernelStack:        3536 kB
PageTables:        15992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6611992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5382144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       97664 kB
DirectMap2M:    33447936 kB

Free space on /tmp at the end= 61924 MiB
End job on node149 at 2017-08-16 03:59:03

Name	Domino/ Domino-m1-s1/Domino-700-100.xml
MD5SUM	afd68c385e5184dcb31c2a6fba91eaef
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.01282
Satisfiable
(Un)Satisfiability was proved
Number of variables	700
Number of constraints	2
Number of domains	1
Minimum domain size	100
Maximum domain size	100
Distribution of domain sizes	[{"size":100,"count":700}]
Minimum variable degree	1
Maximum variable degree	2
Distribution of variable degrees	[{"degree":1,"count":698},{"degree":2,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	700
Distribution of constraint arities	[{"arity":2,"count":1},{"arity":700,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	1
Distribution of constraint types	[{"type":"intension","count":1},{"type":"allEqual","count":1}]
Optimization problem	NO
Type of objective

Trace number 4269446

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data