0.00/0.02 c small-domain mode
0.00/0.04 c Seed is 278652968
0.00/0.04 c Constructing HOME/instance-2078666-1247716496.xml with 59 constraints
0.38/0.47 c Solving 153294 backtracks 20 restarts
523.86/528.89 s SATISFIABLE
523.86/528.89 c V0=11, V1=2, V2=11, V3=2, V4=16, V5=1, V6=4, V7=10, V8=11, V9=13, V10=6, V11=17, V12=0, V13=14, V14=19, V15=14, V16=1, V17=17, V18=15, V19=6,
523.86/528.89 v 11 2 11 2 16 1 4 10 11 13 6 17 0 14 19 14 1 17 15 6
523.86/528.89 d ASSIGNMENTS 153294
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2078666-1247716496/watcher-2078666-1247716496 -o /tmp/evaluation-result-2078666-1247716496/solver-2078666-1247716496 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 278652968 HOME/instance-2078666-1247716496.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.11 2.03 2.01 4/82 11222
/proc/meminfo: memFree=1194368/2055920 swapFree=4192812/4192956
[pid=11222] ppid=11220 vsize=5356 CPUtime=0
/proc/11222/stat : 11222 (pcssolve) R 11220 11222 10864 0 -1 4194304 269 0 0 0 0 0 0 0 20 0 1 0 58714264 5484544 237 996147200 4194304 4889804 548682068800 18446744073709551615 4371382 0 0 4100 65536 0 0 0 17 1 0 0
/proc/11222/statm: 1339 237 197 169 0 50 0
[startup+0.012885 s]
/proc/loadavg: 2.11 2.03 2.01 4/82 11222
/proc/meminfo: memFree=1194368/2055920 swapFree=4192812/4192956
[pid=11222] ppid=11220 vsize=5356 CPUtime=0
/proc/11222/stat : 11222 (pcssolve) S 11220 11222 10864 0 -1 4194304 305 155 0 0 0 0 0 0 21 0 1 0 58714264 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11222/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102887 s]
/proc/loadavg: 2.11 2.03 2.01 4/82 11222
/proc/meminfo: memFree=1194368/2055920 swapFree=4192812/4192956
[pid=11222] ppid=11220 vsize=5340 CPUtime=0.08
/proc/11222/stat : 11222 (pcs.small) R 11220 11222 10864 0 -1 4194304 949 822 0 0 7 0 1 0 18 0 1 0 58714264 5468160 558 996147200 134512640 135095119 4294956304 18446744073709551615 134803153 0 0 4096 0 0 0 0 17 1 0 0
/proc/11222/statm: 1335 558 375 142 0 289 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5340
[startup+0.302906 s]
/proc/loadavg: 2.11 2.03 2.01 4/82 11222
/proc/meminfo: memFree=1194368/2055920 swapFree=4192812/4192956
[pid=11222] ppid=11220 vsize=8084 CPUtime=0.28
/proc/11222/stat : 11222 (pcs.small) R 11220 11222 10864 0 -1 4194304 1288 822 0 0 27 0 1 0 19 0 1 0 58714264 8278016 897 996147200 134512640 135095119 4294956304 18446744073709551615 9352565 0 0 4096 0 0 0 0 17 1 0 0
/proc/11222/statm: 2021 897 375 142 0 975 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8084
[startup+0.70295 s]
/proc/loadavg: 2.11 2.03 2.01 4/82 11222
/proc/meminfo: memFree=1194368/2055920 swapFree=4192812/4192956
[pid=11222] ppid=11220 vsize=10364 CPUtime=0.68
/proc/11222/stat : 11222 (pcs.small) R 11220 11222 10864 0 -1 4194304 1593 822 0 0 67 0 1 0 23 0 1 0 58714264 10612736 1202 996147200 134512640 135095119 4294956304 18446744073709551615 134910772 0 0 4096 0 0 0 0 17 1 0 0
/proc/11222/statm: 2591 1202 390 142 0 1545 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10364
[startup+1.50103 s]
/proc/loadavg: 2.11 2.03 2.01 3/83 11228
/proc/meminfo: memFree=1190968/2055920 swapFree=4192812/4192956
[pid=11222] ppid=11220 vsize=10364 CPUtime=1.46
/proc/11222/stat : 11222 (pcs.small) R 11220 11222 10864 0 -1 4194304 1600 822 0 0 145 0 1 0 25 0 1 0 58714264 10612736 1209 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/11222/statm: 2591 1209 390 142 0 1545 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10364
[startup+3.10119 s]
/proc/loadavg: 2.10 2.03 2.00 3/83 11228
/proc/meminfo: memFree=1190776/2055920 swapFree=4192812/4192956
[pid=11222] ppid=11220 vsize=10364 CPUtime=3.05
/proc/11222/stat : 11222 (pcs.small) R 11220 11222 10864 0 -1 4194304 1618 822 0 0 304 0 1 0 25 0 1 0 58714264 10612736 1227 996147200 134512640 135095119 4294956304 18446744073709551615 134926973 0 0 4096 0 0 0 0 17 1 0 0
/proc/11222/statm: 2591 1227 390 142 0 1545 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 10364
[startup+6.30151 s]
/proc/loadavg: 2.10 2.03 2.00 3/83 11228
/proc/meminfo: memFree=1190456/2055920 swapFree=4192812/4192956
[pid=11222] ppid=11220 vsize=10624 CPUtime=6.22
/proc/11222/stat : 11222 (pcs.small) R 11220 11222 10864 0 -1 4194304 1707 822 0 0 621 0 1 0 25 0 1 0 58714264 10878976 1283 996147200 134512640 135095119 4294956304 18446744073709551615 134555071 0 0 4096 0 0 0 0 17 1 0 0
/proc/11222/statm: 2656 1283 390 142 0 1610 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 10624
[startup+12.7011 s]
/proc/loadavg: 2.08 2.03 2.00 3/83 11228
/proc/meminfo: memFree=1189816/2055920 swapFree=4192812/4192956
[pid=11222] ppid=11220 vsize=11012 CPUtime=12.56
/proc/11222/stat : 11222 (pcs.small) R 11220 11222 10864 0 -1 4194304 1887 822 0 0 1255 0 1 0 25 0 1 0 58714264 11276288 1398 996147200 134512640 135095119 4294956304 18446744073709551615 134909085 0 0 4096 0 0 0 0 17 1 0 0
/proc/11222/statm: 2753 1398 390 142 0 1707 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 11012
[startup+25.5014 s]
/proc/loadavg: 2.07 2.03 2.00 3/83 11228
/proc/meminfo: memFree=1189176/2055920 swapFree=4192812/4192956
[pid=11222] ppid=11220 vsize=11652 CPUtime=25.25
/proc/11222/stat : 11222 (pcs.small) R 11220 11222 10864 0 -1 4194304 2271 822 0 0 2523 1 1 0 25 0 1 0 58714264 11931648 1620 996147200 134512640 135095119 4294956304 18446744073709551615 134918148 0 0 4096 0 0 0 0 17 1 0 0
/proc/11222/statm: 2913 1620 390 142 0 1867 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 11652
[startup+51.102 s]
/proc/loadavg: 2.05 2.02 2.00 3/83 11228
/proc/meminfo: memFree=1187640/2055920 swapFree=4192812/4192956
[pid=11222] ppid=11220 vsize=12932 CPUtime=50.61
/proc/11222/stat : 11222 (pcs.small) R 11220 11222 10864 0 -1 4194304 3004 822 0 0 5059 1 1 0 25 0 1 0 58714264 13242368 2031 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 1 0 0
/proc/11222/statm: 3233 2031 390 142 0 2187 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 12932
[startup+102.306 s]
/proc/loadavg: 2.02 2.02 2.00 3/83 11228
/proc/meminfo: memFree=1183864/2055920 swapFree=4192812/4192956
[pid=11222] ppid=11220 vsize=15888 CPUtime=101.35
/proc/11222/stat : 11222 (pcs.small) R 11220 11222 10864 0 -1 4194304 4532 822 0 0 10132 2 1 0 25 0 1 0 58714264 16269312 2917 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/11222/statm: 3972 2917 390 142 0 2926 0
Current children cumulated CPU time (s) 101.35
Current children cumulated vsize (KiB) 15888
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 11228
/proc/meminfo: memFree=1179576/2055920 swapFree=4192812/4192956
[pid=11222] ppid=11220 vsize=19280 CPUtime=160.8
/proc/11222/stat : 11222 (pcs.small) R 11220 11222 10864 0 -1 4194304 5893 822 0 0 16076 3 1 0 25 0 1 0 58714264 19742720 3988 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 1 0 0
/proc/11222/statm: 4820 3988 390 142 0 3774 0
Current children cumulated CPU time (s) 160.8
Current children cumulated vsize (KiB) 19280
[startup+222.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 11228
/proc/meminfo: memFree=1175160/2055920 swapFree=4192812/4192956
[pid=11222] ppid=11220 vsize=25720 CPUtime=220.23
/proc/11222/stat : 11222 (pcs.small) R 11220 11222 10864 0 -1 4194304 8014 822 0 0 22018 4 1 0 25 0 1 0 58714264 26337280 5084 996147200 134512640 135095119 4294956304 18446744073709551615 134918076 0 0 4096 0 0 0 0 17 1 0 0
/proc/11222/statm: 6430 5084 390 142 0 5384 0
Current children cumulated CPU time (s) 220.23
Current children cumulated vsize (KiB) 25720
[startup+282.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 11228
/proc/meminfo: memFree=1170296/2055920 swapFree=4192812/4192956
[pid=11222] ppid=11220 vsize=30412 CPUtime=279.68
/proc/11222/stat : 11222 (pcs.small) R 11220 11222 10864 0 -1 4194304 9760 822 0 0 27962 5 1 0 25 0 1 0 58714264 31141888 6252 996147200 134512640 135095119 4294956304 18446744073709551615 134918178 0 0 4096 0 0 0 0 17 1 0 0
/proc/11222/statm: 7603 6252 390 142 0 6557 0
Current children cumulated CPU time (s) 279.68
Current children cumulated vsize (KiB) 30412
[startup+342.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 11228
/proc/meminfo: memFree=1165880/2055920 swapFree=4192812/4192956
[pid=11222] ppid=11220 vsize=40960 CPUtime=339.12
/proc/11222/stat : 11222 (pcs.small) R 11220 11222 10864 0 -1 4194304 12883 822 0 0 33904 7 1 0 25 0 1 0 58714264 41943040 7326 996147200 134512640 135095119 4294956304 18446744073709551615 134918253 0 0 4096 0 0 0 0 17 1 0 0
/proc/11222/statm: 10240 7326 390 142 0 9194 0
Current children cumulated CPU time (s) 339.12
Current children cumulated vsize (KiB) 40960
[startup+402.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 11234
/proc/meminfo: memFree=1161592/2055920 swapFree=4192812/4192956
[pid=11222] ppid=11220 vsize=43316 CPUtime=398.54
/proc/11222/stat : 11222 (pcs.small) R 11220 11222 10864 0 -1 4194304 13982 822 0 0 39846 7 1 0 25 0 1 0 58714264 44355584 8425 996147200 134512640 135095119 4294956304 18446744073709551615 134918253 0 0 4096 0 0 0 0 17 1 0 0
/proc/11222/statm: 10829 8425 390 142 0 9783 0
Current children cumulated CPU time (s) 398.54
Current children cumulated vsize (KiB) 43316
[startup+462.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 11234
/proc/meminfo: memFree=1151864/2055920 swapFree=4192812/4192956
[pid=11222] ppid=11220 vsize=55052 CPUtime=457.98
/proc/11222/stat : 11222 (pcs.small) R 11220 11222 10864 0 -1 4194304 17419 822 0 0 45788 9 1 0 25 0 1 0 58714264 56373248 10837 996147200 134512640 135095119 4294956304 18446744073709551615 134927127 0 0 4096 0 0 0 0 17 1 0 0
/proc/11222/statm: 13763 10837 390 142 0 12717 0
Current children cumulated CPU time (s) 457.98
Current children cumulated vsize (KiB) 55052
[startup+522.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 11234
/proc/meminfo: memFree=1150072/2055920 swapFree=4192812/4192956
[pid=11222] ppid=11220 vsize=55052 CPUtime=517.42
/proc/11222/stat : 11222 (pcs.small) R 11220 11222 10864 0 -1 4194304 17910 822 0 0 51732 9 1 0 25 0 1 0 58714264 56373248 11328 996147200 134512640 135095119 4294956304 18446744073709551615 134918187 0 0 4096 0 0 0 0 17 1 0 0
/proc/11222/statm: 13763 11328 390 142 0 12717 0
Current children cumulated CPU time (s) 517.42
Current children cumulated vsize (KiB) 55052
Solver just ended. Dumping a history of the last processes samples
[startup+524.706 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 11234
/proc/meminfo: memFree=1149944/2055920 swapFree=4192812/4192956
[pid=11222] ppid=11220 vsize=55052 CPUtime=519.8
/proc/11222/stat : 11222 (pcs.small) R 11220 11222 10864 0 -1 4194304 17928 822 0 0 51970 9 1 0 25 0 1 0 58714264 56373248 11346 996147200 134512640 135095119 4294956304 18446744073709551615 134918253 0 0 4096 0 0 0 0 17 1 0 0
/proc/11222/statm: 13763 11346 390 142 0 12717 0
Current children cumulated CPU time (s) 519.8
Current children cumulated vsize (KiB) 55052
[startup+526.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 11234
/proc/meminfo: memFree=1149880/2055920 swapFree=4192812/4192956
[pid=11222] ppid=11220 vsize=55052 CPUtime=521.38
/proc/11222/stat : 11222 (pcs.small) R 11220 11222 10864 0 -1 4194304 17942 822 0 0 52128 9 1 0 25 0 1 0 58714264 56373248 11360 996147200 134512640 135095119 4294956304 18446744073709551615 134926990 0 0 4096 0 0 0 0 17 1 0 0
/proc/11222/statm: 13763 11360 390 142 0 12717 0
Current children cumulated CPU time (s) 521.38
Current children cumulated vsize (KiB) 55052
[startup+527.901 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 11234
/proc/meminfo: memFree=1149816/2055920 swapFree=4192812/4192956
[pid=11222] ppid=11220 vsize=55052 CPUtime=522.97
/proc/11222/stat : 11222 (pcs.small) R 11220 11222 10864 0 -1 4194304 17955 822 0 0 52287 9 1 0 25 0 1 0 58714264 56373248 11373 996147200 134512640 135095119 4294956304 18446744073709551615 134918253 0 0 4096 0 0 0 0 17 1 0 0
/proc/11222/statm: 13763 11373 390 142 0 12717 0
Current children cumulated CPU time (s) 522.97
Current children cumulated vsize (KiB) 55052
[startup+528.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 11234
/proc/meminfo: memFree=1149816/2055920 swapFree=4192812/4192956
[pid=11222] ppid=11220 vsize=55052 CPUtime=523.36
/proc/11222/stat : 11222 (pcs.small) R 11220 11222 10864 0 -1 4194304 17958 822 0 0 52326 9 1 0 25 0 1 0 58714264 56373248 11376 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 1 0 0
/proc/11222/statm: 13763 11376 390 142 0 12717 0
Current children cumulated CPU time (s) 523.36
Current children cumulated vsize (KiB) 55052
[startup+528.702 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 11234
/proc/meminfo: memFree=1149816/2055920 swapFree=4192812/4192956
[pid=11222] ppid=11220 vsize=55052 CPUtime=523.76
/proc/11222/stat : 11222 (pcs.small) R 11220 11222 10864 0 -1 4194304 17961 822 0 0 52366 9 1 0 25 0 1 0 58714264 56373248 11379 996147200 134512640 135095119 4294956304 18446744073709551615 134926970 0 0 4096 0 0 0 0 17 1 0 0
/proc/11222/statm: 13763 11379 390 142 0 12717 0
Current children cumulated CPU time (s) 523.76
Current children cumulated vsize (KiB) 55052
[startup+528.802 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 11234
/proc/meminfo: memFree=1149816/2055920 swapFree=4192812/4192956
[pid=11222] ppid=11220 vsize=30468 CPUtime=523.86
/proc/11222/stat : 11222 (pcs.small) R 11220 11222 10864 0 -1 4194304 17962 822 0 0 52376 9 1 0 25 0 1 0 58714264 31199232 6959 996147200 134512640 135095119 4294956304 18446744073709551615 9351320 0 0 4096 0 0 0 0 17 1 0 0
/proc/11222/statm: 7617 6959 390 142 0 6571 0
Current children cumulated CPU time (s) 523.86
Current children cumulated vsize (KiB) 30468
Child status: 0
Real time (s): 528.892
CPU time (s): 523.972
CPU user time (s): 523.861
CPU system time (s): 0.110983
CPU usage (%): 99.0699
Max. virtual memory (cumulated for all children) (KiB): 55052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 523.861
system time used= 0.110983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18787
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= 22
involuntary context switches= 11199
runsolver used 0.761884 second user time and 1.59776 second system time
The end
Begin job on node36 at 2009-07-16 05:54:56
IDJOB=2078666
IDBENCH=56798
IDSOLVER=733
FILE ID=node36/2078666-1247716496
PBS_JOBID= 9521438
Free space on /tmp= 66312 MiB
SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-39_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2078666-1247716496/watcher-2078666-1247716496 -o /tmp/evaluation-result-2078666-1247716496/solver-2078666-1247716496 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 278652968 HOME/instance-2078666-1247716496.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 76c929ad943835582f9c43652ef4219a
RANDOM SEED=278652968
node36.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.238
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.238
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1194784 kB
Buffers: 73660 kB
Cached: 408256 kB
SwapCached: 0 kB
Active: 364248 kB
Inactive: 409276 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1194784 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3004 kB
Writeback: 0 kB
Mapped: 312016 kB
Slab: 72312 kB
Committed_AS: 1027600 kB
PageTables: 2312 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66308 MiB
End job on node36 at 2009-07-16 06:03:45