0.00/0.01 c small-domain mode
0.00/0.02 c Seed is 1640849666
0.00/0.02 c Constructing HOME/instance-2090183-1247731005.xml with 3302 constraints
0.01/0.06 c Solving 29935 backtracks 16 restarts
15.04/15.28 s SATISFIABLE
15.04/15.28 c V0=8, V1=12, V2=13, V3=9, V4=13, V5=13, V6=5, V7=11, V8=0, V9=2, V10=14, V11=8, V12=0, V13=14, V14=6, V15=13, V16=1, V17=10, V18=3, V19=12, V20=1, V21=0, V22=10, V23=8, V24=7, V25=5, V26=0, V27=2, V28=1, V29=4,
15.04/15.28 v 8 12 13 9 13 13 5 11 0 2 14 8 0 14 6 13 1 10 3 12 1 0 10 8 7 5 0 2 1 4
15.04/15.28 d ASSIGNMENTS 29935
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2090183-1247731005/watcher-2090183-1247731005 -o /tmp/evaluation-result-2090183-1247731005/solver-2090183-1247731005 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1640849666 HOME/instance-2090183-1247731005.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: 1.99 1.98 1.99 4/74 22462
/proc/meminfo: memFree=1452984/2055920 swapFree=4192812/4192956
[pid=22462] ppid=22460 vsize=18576 CPUtime=0
/proc/22462/stat : 22462 (runsolver) R 22460 22462 21471 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 59791794 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 264519609639 0 0 4096 24578 0 0 0 17 1 0 0
/proc/22462/statm: 4644 284 249 26 0 2626 0
[startup+0.0309371 s]
/proc/loadavg: 1.99 1.98 1.99 4/74 22462
/proc/meminfo: memFree=1452984/2055920 swapFree=4192812/4192956
[pid=22462] ppid=22460 vsize=4508 CPUtime=0.01
/proc/22462/stat : 22462 (pcs.small) R 22460 22462 21471 0 -1 4194304 834 822 0 0 1 0 0 0 25 0 1 0 59791794 4616192 443 996147200 134512640 135095119 4294956304 18446744073709551615 7343830 0 0 4096 0 0 0 0 17 1 0 0
/proc/22462/statm: 1127 443 364 142 0 81 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4508
[startup+0.101946 s]
/proc/loadavg: 1.99 1.98 1.99 4/74 22462
/proc/meminfo: memFree=1452984/2055920 swapFree=4192812/4192956
[pid=22462] ppid=22460 vsize=5308 CPUtime=0.08
/proc/22462/stat : 22462 (pcs.small) R 22460 22462 21471 0 -1 4194304 1047 822 0 0 8 0 0 0 25 0 1 0 59791794 5435392 656 996147200 134512640 135095119 4294956304 18446744073709551615 134642881 0 0 4096 0 0 0 0 17 1 0 0
/proc/22462/statm: 1327 656 378 142 0 281 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5308
[startup+0.30197 s]
/proc/loadavg: 1.99 1.98 1.99 4/74 22462
/proc/meminfo: memFree=1452984/2055920 swapFree=4192812/4192956
[pid=22462] ppid=22460 vsize=5436 CPUtime=0.27
/proc/22462/stat : 22462 (pcs.small) R 22460 22462 21471 0 -1 4194304 1087 822 0 0 27 0 0 0 25 0 1 0 59791794 5566464 663 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/22462/statm: 1359 663 378 142 0 313 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 5436
[startup+0.702022 s]
/proc/loadavg: 1.99 1.98 1.99 4/74 22462
/proc/meminfo: memFree=1452984/2055920 swapFree=4192812/4192956
[pid=22462] ppid=22460 vsize=5696 CPUtime=0.67
/proc/22462/stat : 22462 (pcs.small) R 22460 22462 21471 0 -1 4194304 1148 822 0 0 67 0 0 0 25 0 1 0 59791794 5832704 724 996147200 134512640 135095119 4294956304 18446744073709551615 134582189 0 0 4096 0 0 0 0 17 1 0 0
/proc/22462/statm: 1424 724 378 142 0 378 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 5696
[startup+1.50113 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 22468
/proc/meminfo: memFree=1451120/2055920 swapFree=4192812/4192956
[pid=22462] ppid=22460 vsize=6736 CPUtime=1.46
/proc/22462/stat : 22462 (pcs.small) R 22460 22462 21471 0 -1 4194304 1486 822 0 0 146 0 0 0 25 0 1 0 59791794 6897664 932 996147200 134512640 135095119 4294956304 18446744073709551615 134636914 0 0 4096 0 0 0 0 17 1 0 0
/proc/22462/statm: 1684 932 378 142 0 638 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 6736
[startup+3.10234 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 22468
/proc/meminfo: memFree=1449968/2055920 swapFree=4192812/4192956
[pid=22462] ppid=22460 vsize=7772 CPUtime=3.05
/proc/22462/stat : 22462 (pcs.small) R 22460 22462 21471 0 -1 4194304 1872 822 0 0 304 1 0 0 25 0 1 0 59791794 7958528 1189 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 1 0 0
/proc/22462/statm: 1943 1189 378 142 0 897 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 7772
[startup+6.30175 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 22468
/proc/meminfo: memFree=1447664/2055920 swapFree=4192812/4192956
[pid=22462] ppid=22460 vsize=10492 CPUtime=6.22
/proc/22462/stat : 22462 (pcs.small) R 22460 22462 21471 0 -1 4194304 2742 822 0 0 621 1 0 0 25 0 1 0 59791794 10743808 1673 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/22462/statm: 2623 1673 378 142 0 1577 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 10492
[startup+12.7016 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 22468
/proc/meminfo: memFree=1444848/2055920 swapFree=4192812/4192956
[pid=22462] ppid=22460 vsize=13972 CPUtime=12.56
/proc/22462/stat : 22462 (pcs.small) R 22460 22462 21471 0 -1 4194304 3893 822 0 0 1253 3 0 0 25 0 1 0 59791794 14307328 2311 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/22462/statm: 3493 2311 378 142 0 2447 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 13972
Solver just ended. Dumping a history of the last processes samples
[startup+14.3068 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 22468
/proc/meminfo: memFree=1444080/2055920 swapFree=4192812/4192956
[pid=22462] ppid=22460 vsize=14368 CPUtime=14.15
/proc/22462/stat : 22462 (pcs.small) R 22460 22462 21471 0 -1 4194304 4028 822 0 0 1412 3 0 0 25 0 1 0 59791794 14712832 2446 996147200 134512640 135095119 4294956304 18446744073709551615 134641921 0 0 4096 0 0 0 0 17 1 0 0
/proc/22462/statm: 3592 2446 378 142 0 2546 0
Current children cumulated CPU time (s) 14.15
Current children cumulated vsize (KiB) 14368
[startup+14.7018 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 22468
/proc/meminfo: memFree=1444080/2055920 swapFree=4192812/4192956
[pid=22462] ppid=22460 vsize=14368 CPUtime=14.54
/proc/22462/stat : 22462 (pcs.small) R 22460 22462 21471 0 -1 4194304 4059 822 0 0 1451 3 0 0 25 0 1 0 59791794 14712832 2477 996147200 134512640 135095119 4294956304 18446744073709551615 134589551 0 0 4096 0 0 0 0 17 1 0 0
/proc/22462/statm: 3592 2477 378 142 0 2546 0
Current children cumulated CPU time (s) 14.54
Current children cumulated vsize (KiB) 14368
[startup+15.1019 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 22468
/proc/meminfo: memFree=1444080/2055920 swapFree=4192812/4192956
[pid=22462] ppid=22460 vsize=16844 CPUtime=14.94
/proc/22462/stat : 22462 (pcs.small) R 22460 22462 21471 0 -1 4194304 4690 822 0 0 1491 3 0 0 25 0 1 0 59791794 17248256 2851 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/22462/statm: 4211 2851 378 142 0 3165 0
Current children cumulated CPU time (s) 14.94
Current children cumulated vsize (KiB) 16844
[startup+15.2019 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 22468
/proc/meminfo: memFree=1444080/2055920 swapFree=4192812/4192956
[pid=22462] ppid=22460 vsize=16844 CPUtime=15.04
/proc/22462/stat : 22462 (pcs.small) R 22460 22462 21471 0 -1 4194304 4693 822 0 0 1501 3 0 0 25 0 1 0 59791794 17248256 2854 996147200 134512640 135095119 4294956304 18446744073709551615 134636932 0 0 4096 0 0 0 0 17 1 0 0
/proc/22462/statm: 4211 2854 378 142 0 3165 0
Current children cumulated CPU time (s) 15.04
Current children cumulated vsize (KiB) 16844
Child status: 0
Real time (s): 15.2901
CPU time (s): 15.1417
CPU user time (s): 15.0967
CPU system time (s): 0.044993
CPU usage (%): 99.0297
Max. virtual memory (cumulated for all children) (KiB): 16844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.0967
system time used= 0.044993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5519
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= 20
involuntary context switches= 361
runsolver used 0.017997 second user time and 0.06199 second system time
The end
Begin job on node40 at 2009-07-16 09:56:45
IDJOB=2090183
IDBENCH=59696
IDSOLVER=733
FILE ID=node40/2090183-1247731005
PBS_JOBID= 9521496
Free space on /tmp= 66244 MiB
SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/rand-2-30-15/normalized-rand-2-30-15-306-230-7_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2090183-1247731005/watcher-2090183-1247731005 -o /tmp/evaluation-result-2090183-1247731005/solver-2090183-1247731005 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1640849666 HOME/instance-2090183-1247731005.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 1a80a4ae25992e7bcf91f881d62fd585
RANDOM SEED=1640849666
node40.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.213
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.213
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: 1453464 kB
Buffers: 70960 kB
Cached: 378384 kB
SwapCached: 0 kB
Active: 113568 kB
Inactive: 400040 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1453464 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2296 kB
Writeback: 0 kB
Mapped: 76092 kB
Slab: 74040 kB
Committed_AS: 710208 kB
PageTables: 1920 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66244 MiB
End job on node40 at 2009-07-16 09:57:00