0.00/0.01 c small-domain mode
0.18/0.21 c Seed is 1889169296
0.18/0.21 c Constructing HOME/instance-2079667-1247716923.xml with 57 constraints
0.37/0.40 c Solving 44868 backtracks 17 restarts
126.67/127.27 s SATISFIABLE
126.67/127.27 c V0=19, V1=12, V2=4, V3=19, V4=15, V5=18, V6=14, V7=5, V8=0, V9=12, V10=15, V11=4, V12=19, V13=6, V14=8, V15=0, V16=18, V17=3, V18=4, V19=4,
126.67/127.27 v 19 12 4 19 15 18 14 5 0 12 15 4 19 6 8 0 18 3 4 4
126.67/127.27 d ASSIGNMENTS 44868
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2079667-1247716923/watcher-2079667-1247716923 -o /tmp/evaluation-result-2079667-1247716923/solver-2079667-1247716923 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1889169296 HOME/instance-2079667-1247716923.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.92 2.01 2.02 4/73 17519
/proc/meminfo: memFree=1565504/2055920 swapFree=4192812/4192956
[pid=17519] ppid=17517 vsize=5356 CPUtime=0
/proc/17519/stat : 17519 (pcssolve) S 17517 17519 16128 0 -1 4194304 305 0 0 0 0 0 0 0 18 0 1 0 58756937 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17519/statm: 1339 242 201 169 0 50 0
[pid=17520] ppid=17519 vsize=5356 CPUtime=0
/proc/17520/stat : 17520 (pcssolve) R 17519 17519 16128 0 -1 4194368 22 0 0 0 0 0 0 0 19 0 1 0 58756938 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 226686987559 0 0 4096 0 0 0 0 17 1 0 0
/proc/17520/statm: 1339 243 202 169 0 50 0
[pid=17521] ppid=17519 vsize=3676 CPUtime=0
/proc/17521/stat : 17521 (grep) S 17519 17519 16128 0 -1 4194304 154 0 0 0 0 0 0 0 18 0 1 0 58756938 3764224 121 996147200 4194304 4274172 548682069040 18446744073709551615 226687156306 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/17521/statm: 919 121 99 19 0 43 0
[startup+0.111895 s]
/proc/loadavg: 1.92 2.01 2.02 4/73 17519
/proc/meminfo: memFree=1565504/2055920 swapFree=4192812/4192956
[pid=17519] ppid=17517 vsize=5764 CPUtime=0.09
/proc/17519/stat : 17519 (pcs.small) R 17517 17519 16128 0 -1 4194304 997 822 0 0 9 0 0 0 18 0 1 0 58756937 5902336 606 996147200 134512640 135095119 4294956304 18446744073709551615 4158847324 0 0 4096 0 0 0 0 17 1 0 0
/proc/17519/statm: 1441 606 375 142 0 395 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5764
[startup+0.201912 s]
/proc/loadavg: 1.92 2.01 2.02 4/73 17519
/proc/meminfo: memFree=1565504/2055920 swapFree=4192812/4192956
[pid=17519] ppid=17517 vsize=6972 CPUtime=0.18
/proc/17519/stat : 17519 (pcs.small) R 17517 17519 16128 0 -1 4194304 1159 822 0 0 18 0 0 0 18 0 1 0 58756937 7139328 768 996147200 134512640 135095119 4294956304 18446744073709551615 134769659 0 0 4096 0 0 0 0 17 1 0 0
/proc/17519/statm: 1743 768 375 142 0 697 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 6972
[startup+0.301933 s]
/proc/loadavg: 1.92 2.01 2.02 4/73 17519
/proc/meminfo: memFree=1565504/2055920 swapFree=4192812/4192956
[pid=17519] ppid=17517 vsize=8444 CPUtime=0.27
/proc/17519/stat : 17519 (pcs.small) R 17517 17519 16128 0 -1 4194304 1337 822 0 0 27 0 0 0 19 0 1 0 58756937 8646656 946 996147200 134512640 135095119 4294956304 18446744073709551615 6180486 0 0 4096 0 0 0 0 17 1 0 0
/proc/17519/statm: 2111 946 375 142 0 1065 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 8444
[startup+0.702016 s]
/proc/loadavg: 1.92 2.01 2.02 4/73 17519
/proc/meminfo: memFree=1565504/2055920 swapFree=4192812/4192956
[pid=17519] ppid=17517 vsize=9968 CPUtime=0.67
/proc/17519/stat : 17519 (pcs.small) R 17517 17519 16128 0 -1 4194304 1553 822 0 0 67 0 0 0 23 0 1 0 58756937 10207232 1162 996147200 134512640 135095119 4294956304 18446744073709551615 134918148 0 0 4096 0 0 0 0 17 1 0 0
/proc/17519/statm: 2492 1162 389 142 0 1446 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 9968
[startup+1.50118 s]
/proc/loadavg: 1.92 2.01 2.02 3/74 17525
/proc/meminfo: memFree=1562168/2055920 swapFree=4192812/4192956
[pid=17519] ppid=17517 vsize=9968 CPUtime=1.47
/proc/17519/stat : 17519 (pcs.small) R 17517 17519 16128 0 -1 4194304 1557 822 0 0 147 0 0 0 25 0 1 0 58756937 10207232 1166 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/17519/statm: 2492 1166 389 142 0 1446 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9968
[startup+3.1015 s]
/proc/loadavg: 1.92 2.01 2.02 3/74 17525
/proc/meminfo: memFree=1561976/2055920 swapFree=4192812/4192956
[pid=17519] ppid=17517 vsize=10100 CPUtime=3.07
/proc/17519/stat : 17519 (pcs.small) R 17517 17519 16128 0 -1 4194304 1599 822 0 0 306 1 0 0 25 0 1 0 58756937 10342400 1208 996147200 134512640 135095119 4294956304 18446744073709551615 134918151 0 0 4096 0 0 0 0 17 1 0 0
/proc/17519/statm: 2525 1208 389 142 0 1479 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 10100
[startup+6.30116 s]
/proc/loadavg: 1.93 2.01 2.02 3/74 17525
/proc/meminfo: memFree=1561592/2055920 swapFree=4192812/4192956
[pid=17519] ppid=17517 vsize=10360 CPUtime=6.26
/proc/17519/stat : 17519 (pcs.small) R 17517 17519 16128 0 -1 4194304 1709 822 0 0 625 1 0 0 25 0 1 0 58756937 10608640 1285 996147200 134512640 135095119 4294956304 18446744073709551615 134918181 0 0 4096 0 0 0 0 17 1 0 0
/proc/17519/statm: 2590 1285 389 142 0 1544 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 10360
[startup+12.7015 s]
/proc/loadavg: 1.93 2.01 2.02 3/74 17525
/proc/meminfo: memFree=1560824/2055920 swapFree=4192812/4192956
[pid=17519] ppid=17517 vsize=10744 CPUtime=12.63
/proc/17519/stat : 17519 (pcs.small) R 17517 17519 16128 0 -1 4194304 1927 822 0 0 1262 1 0 0 25 0 1 0 58756937 11001856 1405 996147200 134512640 135095119 4294956304 18446744073709551615 134918241 0 0 4096 0 0 0 0 17 1 0 0
/proc/17519/statm: 2686 1405 389 142 0 1640 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 10744
[startup+25.5011 s]
/proc/loadavg: 1.95 2.01 2.02 3/74 17525
/proc/meminfo: memFree=1559672/2055920 swapFree=4192812/4192956
[pid=17519] ppid=17517 vsize=11512 CPUtime=25.38
/proc/17519/stat : 17519 (pcs.small) R 17517 17519 16128 0 -1 4194304 2383 822 0 0 2537 1 0 0 25 0 1 0 58756937 11788288 1667 996147200 134512640 135095119 4294956304 18446744073709551615 134918233 0 0 4096 0 0 0 0 17 1 0 0
/proc/17519/statm: 2878 1667 389 142 0 1832 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 11512
[startup+51.1013 s]
/proc/loadavg: 1.96 2.01 2.02 3/74 17525
/proc/meminfo: memFree=1557432/2055920 swapFree=4192812/4192956
[pid=17519] ppid=17517 vsize=13180 CPUtime=50.88
/proc/17519/stat : 17519 (pcs.small) R 17517 17519 16128 0 -1 4194304 3309 822 0 0 5086 2 0 0 25 0 1 0 58756937 13496320 2207 996147200 134512640 135095119 4294956304 18446744073709551615 134918235 0 0 4096 0 0 0 0 17 1 0 0
/proc/17519/statm: 3295 2207 389 142 0 2249 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 13180
[startup+102.302 s]
/proc/loadavg: 1.98 2.00 2.01 3/74 17525
/proc/meminfo: memFree=1550840/2055920 swapFree=4192812/4192956
[pid=17519] ppid=17517 vsize=18352 CPUtime=101.87
/proc/17519/stat : 17519 (pcs.small) R 17517 17519 16128 0 -1 4194304 5293 822 0 0 10184 3 0 0 25 0 1 0 58756937 18792448 3388 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 1 0 0
/proc/17519/statm: 4588 3388 389 142 0 3542 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 18352
Solver just ended. Dumping a history of the last processes samples
[startup+102.407 s]
/proc/loadavg: 1.98 2.00 2.01 3/74 17525
/proc/meminfo: memFree=1550840/2055920 swapFree=4192812/4192956
[pid=17519] ppid=17517 vsize=18352 CPUtime=101.97
/proc/17519/stat : 17519 (pcs.small) R 17517 17519 16128 0 -1 4194304 5294 822 0 0 10194 3 0 0 25 0 1 0 58756937 18792448 3389 996147200 134512640 135095119 4294956304 18446744073709551615 134918161 0 0 4096 0 0 0 0 17 1 0 0
/proc/17519/statm: 4588 3389 389 142 0 3542 0
Current children cumulated CPU time (s) 101.97
Current children cumulated vsize (KiB) 18352
[startup+115.201 s]
/proc/loadavg: 1.99 2.00 2.01 3/74 17525
/proc/meminfo: memFree=1550328/2055920 swapFree=4192812/4192956
[pid=17519] ppid=17517 vsize=18352 CPUtime=114.72
/proc/17519/stat : 17519 (pcs.small) R 17517 17519 16128 0 -1 4194304 5423 822 0 0 11469 3 0 0 25 0 1 0 58756937 18792448 3518 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 1 0 0
/proc/17519/statm: 4588 3518 389 142 0 3542 0
Current children cumulated CPU time (s) 114.72
Current children cumulated vsize (KiB) 18352
[startup+121.603 s]
/proc/loadavg: 1.99 2.00 2.01 3/74 17525
/proc/meminfo: memFree=1550072/2055920 swapFree=4192812/4192956
[pid=17519] ppid=17517 vsize=18352 CPUtime=121.09
/proc/17519/stat : 17519 (pcs.small) R 17517 17519 16128 0 -1 4194304 5489 822 0 0 12106 3 0 0 25 0 1 0 58756937 18792448 3584 996147200 134512640 135095119 4294956304 18446744073709551615 134918148 0 0 4096 0 0 0 0 17 1 0 0
/proc/17519/statm: 4588 3584 389 142 0 3542 0
Current children cumulated CPU time (s) 121.09
Current children cumulated vsize (KiB) 18352
[startup+124.801 s]
/proc/loadavg: 1.99 2.00 2.01 3/74 17525
/proc/meminfo: memFree=1549816/2055920 swapFree=4192812/4192956
[pid=17519] ppid=17517 vsize=18484 CPUtime=124.28
/proc/17519/stat : 17519 (pcs.small) R 17517 17519 16128 0 -1 4194304 5560 822 0 0 12425 3 0 0 25 0 1 0 58756937 18927616 3655 996147200 134512640 135095119 4294956304 18446744073709551615 134927008 0 0 4096 0 0 0 0 17 1 0 0
/proc/17519/statm: 4621 3655 389 142 0 3575 0
Current children cumulated CPU time (s) 124.28
Current children cumulated vsize (KiB) 18484
[startup+126.403 s]
/proc/loadavg: 1.99 2.00 2.01 3/74 17525
/proc/meminfo: memFree=1549624/2055920 swapFree=4192812/4192956
[pid=17519] ppid=17517 vsize=18616 CPUtime=125.87
/proc/17519/stat : 17519 (pcs.small) R 17517 17519 16128 0 -1 4194304 5596 822 0 0 12584 3 0 0 25 0 1 0 58756937 19062784 3691 996147200 134512640 135095119 4294956304 18446744073709551615 134554987 0 0 4096 0 0 0 0 17 1 0 0
/proc/17519/statm: 4654 3691 389 142 0 3608 0
Current children cumulated CPU time (s) 125.87
Current children cumulated vsize (KiB) 18616
[startup+126.802 s]
/proc/loadavg: 1.99 2.00 2.01 3/74 17525
/proc/meminfo: memFree=1549560/2055920 swapFree=4192812/4192956
[pid=17519] ppid=17517 vsize=18616 CPUtime=126.27
/proc/17519/stat : 17519 (pcs.small) R 17517 17519 16128 0 -1 4194304 5605 822 0 0 12624 3 0 0 25 0 1 0 58756937 19062784 3700 996147200 134512640 135095119 4294956304 18446744073709551615 134576464 0 0 4096 0 0 0 0 17 1 0 0
/proc/17519/statm: 4654 3700 389 142 0 3608 0
Current children cumulated CPU time (s) 126.27
Current children cumulated vsize (KiB) 18616
[startup+127.202 s]
/proc/loadavg: 1.99 2.00 2.01 3/74 17525
/proc/meminfo: memFree=1549560/2055920 swapFree=4192812/4192956
[pid=17519] ppid=17517 vsize=18616 CPUtime=126.67
/proc/17519/stat : 17519 (pcs.small) R 17517 17519 16128 0 -1 4194304 5615 822 0 0 12664 3 0 0 25 0 1 0 58756937 19062784 3710 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 1 0 0
/proc/17519/statm: 4654 3710 389 142 0 3608 0
Current children cumulated CPU time (s) 126.67
Current children cumulated vsize (KiB) 18616
Child status: 0
Real time (s): 127.28
CPU time (s): 126.775
CPU user time (s): 126.726
CPU system time (s): 0.048992
CPU usage (%): 99.6031
Max. virtual memory (cumulated for all children) (KiB): 18616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 126.726
system time used= 0.048992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6441
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= 23
involuntary context switches= 1445
runsolver used 0.12798 second user time and 0.340948 second system time
The end
Begin job on node80 at 2009-07-16 06:02:04
IDJOB=2079667
IDBENCH=56931
IDSOLVER=733
FILE ID=node80/2079667-1247716923
PBS_JOBID= 9521366
Free space on /tmp= 66320 MiB
SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/rand-3-20-20/normalized-rand-3-20-20-60-632-7_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2079667-1247716923/watcher-2079667-1247716923 -o /tmp/evaluation-result-2079667-1247716923/solver-2079667-1247716923 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1889169296 HOME/instance-2079667-1247716923.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 07d3ae142484721fc64ab76ec299d0ab
RANDOM SEED=1889169296
node80.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.285
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.285
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1565920 kB
Buffers: 72640 kB
Cached: 312444 kB
SwapCached: 0 kB
Active: 92988 kB
Inactive: 312032 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1565920 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2908 kB
Writeback: 0 kB
Mapped: 31348 kB
Slab: 70332 kB
Committed_AS: 523728 kB
PageTables: 1736 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= 66316 MiB
End job on node80 at 2009-07-16 06:04:11