0.00/0.02 c has big domains
0.00/0.02 c big-domain mode
0.00/0.18 c Seed is 362296319
0.00/0.18 c Constructing HOME/instance-2090844-1247731145.xml with 84 constraints
0.67/0.77 c Solving 398 backtracks 6 restarts
19.10/19.33 s SATISFIABLE
19.10/19.33 c V0=175, V1=167, V2=154, V3=82, V4=9, V5=164, V6=74, V7=178, V8=138, V9=92, V10=45, V11=172, V12=177, V13=41, V14=60, V15=129, V16=0, V17=49, V18=144, V19=67, V20=5, V21=38, V22=105, V23=4, V24=118, V25=64, V26=40, V27=30, V28=117, V29=21, V30=117, V31=21, V32=90, V33=179, V34=63, V35=39, V36=179, V37=118, V38=138, V39=104,
19.10/19.33 v 175 167 154 82 9 164 74 178 138 92 45 172 177 41 60 129 0 49 144 67 5 38 105 4 118 64 40 30 117 21 117 21 90 179 63 39 179 118 138 104
19.10/19.33 d ASSIGNMENTS 398
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2090844-1247731145/watcher-2090844-1247731145 -o /tmp/evaluation-result-2090844-1247731145/solver-2090844-1247731145 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 362296319 HOME/instance-2090844-1247731145.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.00 2.05 2.04 3/72 15172
/proc/meminfo: memFree=1526224/2055920 swapFree=4192812/4192956
[pid=15172] ppid=15170 vsize=18576 CPUtime=0
/proc/15172/stat : 15172 (runsolver) R 15170 15172 14343 0 -1 4194368 15 0 0 0 0 0 0 0 23 0 1 0 60181574 19021824 285 996147200 4194304 4302564 548682068496 18446744073709551615 262910045479 0 0 4096 24578 0 0 0 17 1 0 0
/proc/15172/statm: 4644 285 249 26 0 2626 0
[startup+0.25519 s]
/proc/loadavg: 2.00 2.05 2.04 3/72 15172
/proc/meminfo: memFree=1526224/2055920 swapFree=4192812/4192956
[pid=15172] ppid=15170 vsize=6932 CPUtime=0.23
/proc/15172/stat : 15172 (pcs.big) R 15170 15172 14343 0 -1 4194304 1096 656 0 0 23 0 0 0 19 0 1 0 60181574 7098368 727 996147200 134512640 135215973 4294956304 18446744073709551615 134695693 0 0 4096 0 0 0 0 17 1 0 0
/proc/15172/statm: 1733 727 383 171 0 658 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 6932
[startup+0.302198 s]
/proc/loadavg: 2.00 2.05 2.04 3/72 15172
/proc/meminfo: memFree=1526224/2055920 swapFree=4192812/4192956
[pid=15172] ppid=15170 vsize=7520 CPUtime=0.27
/proc/15172/stat : 15172 (pcs.big) R 15170 15172 14343 0 -1 4194304 1153 656 0 0 27 0 0 0 19 0 1 0 60181574 7700480 784 996147200 134512640 135215973 4294956304 18446744073709551615 134590055 0 0 4096 0 0 0 0 17 1 0 0
/proc/15172/statm: 1880 784 383 171 0 805 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 7520
[startup+0.402218 s]
/proc/loadavg: 2.00 2.05 2.04 3/72 15172
/proc/meminfo: memFree=1526224/2055920 swapFree=4192812/4192956
[pid=15172] ppid=15170 vsize=8568 CPUtime=0.37
/proc/15172/stat : 15172 (pcs.big) R 15170 15172 14343 0 -1 4194304 1274 656 0 0 37 0 0 0 20 0 1 0 60181574 8773632 905 996147200 134512640 135215973 4294956304 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/15172/statm: 2142 905 383 171 0 1067 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 8568
[startup+0.702276 s]
/proc/loadavg: 2.00 2.05 2.04 3/72 15172
/proc/meminfo: memFree=1526224/2055920 swapFree=4192812/4192956
[pid=15172] ppid=15170 vsize=11880 CPUtime=0.67
/proc/15172/stat : 15172 (pcs.big) R 15170 15172 14343 0 -1 4194304 1649 656 0 0 67 0 0 0 23 0 1 0 60181574 12165120 1280 996147200 134512640 135215973 4294956304 18446744073709551615 134841164 0 0 4096 0 0 0 0 17 1 0 0
/proc/15172/statm: 2970 1280 383 171 0 1895 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 11880
[startup+1.50143 s]
/proc/loadavg: 2.00 2.05 2.04 3/73 15177
/proc/meminfo: memFree=1521224/2055920 swapFree=4192812/4192956
[pid=15172] ppid=15170 vsize=13304 CPUtime=1.46
/proc/15172/stat : 15172 (pcs.big) R 15170 15172 14343 0 -1 4194304 1979 656 0 0 146 0 0 0 25 0 1 0 60181574 13623296 1610 996147200 134512640 135215973 4294956304 18446744073709551615 134589810 0 0 4096 0 0 0 0 17 1 0 0
/proc/15172/statm: 3326 1610 401 171 0 2251 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 13304
[startup+3.10175 s]
/proc/loadavg: 2.00 2.05 2.04 3/73 15177
/proc/meminfo: memFree=1521032/2055920 swapFree=4192812/4192956
[pid=15172] ppid=15170 vsize=13304 CPUtime=3.04
/proc/15172/stat : 15172 (pcs.big) R 15170 15172 14343 0 -1 4194304 2013 656 0 0 304 0 0 0 25 0 1 0 60181574 13623296 1644 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 1 0 0
/proc/15172/statm: 3326 1644 401 171 0 2251 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 13304
[startup+6.30138 s]
/proc/loadavg: 2.00 2.04 2.04 3/73 15177
/proc/meminfo: memFree=1520392/2055920 swapFree=4192812/4192956
[pid=15172] ppid=15170 vsize=13304 CPUtime=6.21
/proc/15172/stat : 15172 (pcs.big) R 15170 15172 14343 0 -1 4194304 2096 656 0 0 621 0 0 0 25 0 1 0 60181574 13623296 1727 996147200 134512640 135215973 4294956304 18446744073709551615 134590185 0 0 4096 0 0 0 0 17 1 0 0
/proc/15172/statm: 3326 1727 401 171 0 2251 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 13304
[startup+12.7016 s]
/proc/loadavg: 2.00 2.04 2.04 3/73 15177
/proc/meminfo: memFree=1519624/2055920 swapFree=4192812/4192956
[pid=15172] ppid=15170 vsize=13304 CPUtime=12.56
/proc/15172/stat : 15172 (pcs.big) R 15170 15172 14343 0 -1 4194304 2257 656 0 0 1255 1 0 0 25 0 1 0 60181574 13623296 1888 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/15172/statm: 3326 1888 401 171 0 2251 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 13304
Solver just ended. Dumping a history of the last processes samples
[startup+12.9017 s]
/proc/loadavg: 2.00 2.04 2.04 3/73 15177
/proc/meminfo: memFree=1519624/2055920 swapFree=4192812/4192956
[pid=15172] ppid=15170 vsize=13304 CPUtime=12.76
/proc/15172/stat : 15172 (pcs.big) R 15170 15172 14343 0 -1 4194304 2270 656 0 0 1275 1 0 0 25 0 1 0 60181574 13623296 1901 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 1 0 0
/proc/15172/statm: 3326 1901 401 171 0 2251 0
Current children cumulated CPU time (s) 12.76
Current children cumulated vsize (KiB) 13304
[startup+16.1023 s]
/proc/loadavg: 2.00 2.04 2.04 3/73 15177
/proc/meminfo: memFree=1519176/2055920 swapFree=4192812/4192956
[pid=15172] ppid=15170 vsize=13304 CPUtime=15.93
/proc/15172/stat : 15172 (pcs.big) R 15170 15172 14343 0 -1 4194304 2349 656 0 0 1592 1 0 0 25 0 1 0 60181574 13623296 1980 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 1 0 0
/proc/15172/statm: 3326 1980 401 171 0 2251 0
Current children cumulated CPU time (s) 15.93
Current children cumulated vsize (KiB) 13304
[startup+17.7016 s]
/proc/loadavg: 2.00 2.04 2.04 4/73 15177
/proc/meminfo: memFree=1518920/2055920 swapFree=4192812/4192956
[pid=15172] ppid=15170 vsize=13304 CPUtime=17.52
/proc/15172/stat : 15172 (pcs.big) R 15170 15172 14343 0 -1 4194304 2403 656 0 0 1751 1 0 0 25 0 1 0 60181574 13623296 2034 996147200 134512640 135215973 4294956304 18446744073709551615 135018578 0 0 4096 0 0 0 0 17 1 0 0
/proc/15172/statm: 3326 2034 401 171 0 2251 0
Current children cumulated CPU time (s) 17.52
Current children cumulated vsize (KiB) 13304
[startup+18.5018 s]
/proc/loadavg: 2.00 2.04 2.04 4/73 15177
/proc/meminfo: memFree=1518920/2055920 swapFree=4192812/4192956
[pid=15172] ppid=15170 vsize=13304 CPUtime=18.31
/proc/15172/stat : 15172 (pcs.big) R 15170 15172 14343 0 -1 4194304 2432 656 0 0 1830 1 0 0 25 0 1 0 60181574 13623296 2063 996147200 134512640 135215973 4294956304 18446744073709551615 134599858 0 0 4096 0 0 0 0 17 1 0 0
/proc/15172/statm: 3326 2063 401 171 0 2251 0
Current children cumulated CPU time (s) 18.31
Current children cumulated vsize (KiB) 13304
[startup+18.9069 s]
/proc/loadavg: 2.00 2.04 2.04 3/73 15177
/proc/meminfo: memFree=1518792/2055920 swapFree=4192812/4192956
[pid=15172] ppid=15170 vsize=13304 CPUtime=18.71
/proc/15172/stat : 15172 (pcs.big) R 15170 15172 14343 0 -1 4194304 2434 656 0 0 1870 1 0 0 25 0 1 0 60181574 13623296 2065 996147200 134512640 135215973 4294956304 18446744073709551615 135026845 0 0 4096 0 0 0 0 17 1 0 0
/proc/15172/statm: 3326 2065 401 171 0 2251 0
Current children cumulated CPU time (s) 18.71
Current children cumulated vsize (KiB) 13304
[startup+19.3019 s]
/proc/loadavg: 2.00 2.04 2.04 3/73 15177
/proc/meminfo: memFree=1518792/2055920 swapFree=4192812/4192956
[pid=15172] ppid=15170 vsize=13304 CPUtime=19.1
/proc/15172/stat : 15172 (pcs.big) R 15170 15172 14343 0 -1 4194304 2443 656 0 0 1909 1 0 0 25 0 1 0 60181574 13623296 2074 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/15172/statm: 3326 2074 401 171 0 2251 0
Current children cumulated CPU time (s) 19.1
Current children cumulated vsize (KiB) 13304
Child status: 0
Real time (s): 19.3392
CPU time (s): 19.1611
CPU user time (s): 19.1391
CPU system time (s): 0.021996
CPU usage (%): 99.0791
Max. virtual memory (cumulated for all children) (KiB): 13304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.1391
system time used= 0.021996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3107
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= 18
involuntary context switches= 429
runsolver used 0.030995 second user time and 0.057991 second system time
The end
Begin job on node11 at 2009-07-16 09:59:06
IDJOB=2090844
IDBENCH=59920
IDSOLVER=734
FILE ID=node11/2090844-1247731145
PBS_JOBID= 9521647
Free space on /tmp= 66416 MiB
SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/tightness0.9/normalized-rand-2-40-180-84-900-64_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2090844-1247731145/watcher-2090844-1247731145 -o /tmp/evaluation-result-2090844-1247731145/solver-2090844-1247731145 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 362296319 HOME/instance-2090844-1247731145.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 2b6ea20fd68fbf0f60bf115c067cf6d3
RANDOM SEED=362296319
node11.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.274
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.274
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: 1526704 kB
Buffers: 77260 kB
Cached: 321152 kB
SwapCached: 0 kB
Active: 139948 kB
Inactive: 319900 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1526704 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3520 kB
Writeback: 0 kB
Mapped: 72880 kB
Slab: 54700 kB
Committed_AS: 554764 kB
PageTables: 1916 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= 66416 MiB
End job on node11 at 2009-07-16 09:59:25