0.00/0.01 c has big domains
0.00/0.01 c big-domain mode
0.00/0.01 c Seed is 1780784400
0.00/0.01 c Constructing HOME/instance-2080845-1247718875.xml
0.00/0.05 c deduced all_different(V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V16,V17,V18,V19,V20,V21,V22,V23,V24,V25,V26,V27,V28,V29,V30,V31,V32,V33,V34,V35,V36,V37,V38,V39,V40,V41,V42,V43,V44,V45,V46,V47,V0)
0.00/0.05 c with 1161 constraints
0.00/0.05 c Solving
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2080845-1247718875/watcher-2080845-1247718875 -o /tmp/evaluation-result-2080845-1247718875/solver-2080845-1247718875 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1780784400 HOME/instance-2080845-1247718875.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 1.98 1.99 4/72 14730
/proc/meminfo: memFree=1180120/2055920 swapFree=4192812/4192956
[pid=14730] ppid=14728 vsize=5356 CPUtime=0
/proc/14730/stat : 14730 (pcssolve) S 14728 14730 12223 0 -1 4194304 305 0 0 0 0 0 0 0 19 0 1 0 58953810 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14730/statm: 1339 242 201 169 0 50 0
[pid=14731] ppid=14730 vsize=5356 CPUtime=0
/proc/14731/stat : 14731 (pcssolve) R 14730 14730 12223 0 -1 4194368 22 0 0 0 0 0 0 0 20 0 1 0 58953811 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 233588714791 0 0 4096 0 0 0 0 17 1 0 0
/proc/14731/statm: 1339 243 202 169 0 50 0
[pid=14732] ppid=14730 vsize=3676 CPUtime=0
/proc/14732/stat : 14732 (grep) S 14730 14730 12223 0 -1 4194304 154 0 0 0 0 0 0 0 19 0 1 0 58953811 3764224 121 996147200 4194304 4274172 548682069040 18446744073709551615 233588883538 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/14732/statm: 919 121 99 19 0 43 0
[startup+0.0825409 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 14730
/proc/meminfo: memFree=1180120/2055920 swapFree=4192812/4192956
[pid=14730] ppid=14728 vsize=4944 CPUtime=0.06
/proc/14730/stat : 14730 (pcs.big) R 14728 14730 12223 0 -1 4194304 933 656 0 0 6 0 0 0 22 0 1 0 58953810 5062656 564 996147200 134512640 135215973 4294956304 18446744073709551615 4158961217 0 0 4096 0 0 0 0 17 0 0 0
/proc/14730/statm: 1236 564 408 171 0 161 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4944
[startup+0.101541 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 14730
/proc/meminfo: memFree=1180120/2055920 swapFree=4192812/4192956
[pid=14730] ppid=14728 vsize=4944 CPUtime=0.08
/proc/14730/stat : 14730 (pcs.big) R 14728 14730 12223 0 -1 4194304 938 656 0 0 8 0 0 0 22 0 1 0 58953810 5062656 569 996147200 134512640 135215973 4294956304 18446744073709551615 134589881 0 0 4096 0 0 0 0 17 0 0 0
/proc/14730/statm: 1236 569 408 171 0 161 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4944
[startup+0.301583 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 14730
/proc/meminfo: memFree=1180120/2055920 swapFree=4192812/4192956
[pid=14730] ppid=14728 vsize=5332 CPUtime=0.28
/proc/14730/stat : 14730 (pcs.big) R 14728 14730 12223 0 -1 4194304 1038 656 0 0 28 0 0 0 23 0 1 0 58953810 5459968 669 996147200 134512640 135215973 4294956304 18446744073709551615 134585409 0 0 4096 0 0 0 0 17 0 0 0
/proc/14730/statm: 1333 669 408 171 0 258 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5332
[startup+0.701654 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 14730
/proc/meminfo: memFree=1180120/2055920 swapFree=4192812/4192956
[pid=14730] ppid=14728 vsize=6248 CPUtime=0.67
/proc/14730/stat : 14730 (pcs.big) R 14728 14730 12223 0 -1 4194304 1269 656 0 0 67 0 0 0 25 0 1 0 58953810 6397952 900 996147200 134512640 135215973 4294956304 18446744073709551615 11116613 0 0 4096 0 0 0 0 17 0 0 0
/proc/14730/statm: 1562 900 408 171 0 487 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 6248
[startup+1.5018 s]
/proc/loadavg: 1.92 1.98 1.99 3/73 14735
/proc/meminfo: memFree=1176456/2055920 swapFree=4192812/4192956
[pid=14730] ppid=14728 vsize=8092 CPUtime=1.47
/proc/14730/stat : 14730 (pcs.big) R 14728 14730 12223 0 -1 4194304 1710 656 0 0 146 1 0 0 25 0 1 0 58953810 8286208 1341 996147200 134512640 135215973 4294956304 18446744073709551615 11152990 0 0 4096 0 0 0 0 17 0 0 0
/proc/14730/statm: 2023 1341 408 171 0 948 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 8092
[startup+3.10109 s]
/proc/loadavg: 1.92 1.98 1.99 3/73 14735
/proc/meminfo: memFree=1173000/2055920 swapFree=4192812/4192956
[pid=14730] ppid=14728 vsize=11884 CPUtime=3.06
/proc/14730/stat : 14730 (pcs.big) R 14728 14730 12223 0 -1 4194304 2673 656 0 0 305 1 0 0 25 0 1 0 58953810 12169216 2271 996147200 134512640 135215973 4294956304 18446744073709551615 4158960138 0 0 4096 0 0 0 0 17 0 0 0
/proc/14730/statm: 2971 2271 408 171 0 1896 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 11884
[startup+6.30166 s]
/proc/loadavg: 1.93 1.98 1.99 3/73 14735
/proc/meminfo: memFree=1163208/2055920 swapFree=4192812/4192956
[pid=14730] ppid=14728 vsize=18276 CPUtime=6.25
/proc/14730/stat : 14730 (pcs.big) R 14728 14730 12223 0 -1 4194304 4356 656 0 0 623 2 0 0 25 0 1 0 58953810 18714624 3889 996147200 134512640 135215973 4294956304 18446744073709551615 134597637 0 0 4096 0 0 0 0 17 0 0 0
/proc/14730/statm: 4569 3889 408 171 0 3494 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 18276
[startup+12.7018 s]
/proc/loadavg: 1.93 1.98 1.99 3/73 14735
/proc/meminfo: memFree=1142424/2055920 swapFree=4192812/4192956
[pid=14730] ppid=14728 vsize=33608 CPUtime=12.62
/proc/14730/stat : 14730 (pcs.big) R 14728 14730 12223 0 -1 4194304 8315 656 0 0 1258 4 0 0 25 0 1 0 58953810 34414592 7686 996147200 134512640 135215973 4294956304 18446744073709551615 11122299 0 0 4096 0 0 0 0 17 0 0 0
/proc/14730/statm: 8402 7686 408 171 0 7327 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 33608
[startup+25.5011 s]
/proc/loadavg: 1.95 1.98 1.99 3/73 14735
/proc/meminfo: memFree=1103704/2055920 swapFree=4192812/4192956
[pid=14730] ppid=14728 vsize=61104 CPUtime=25.36
/proc/14730/stat : 14730 (pcs.big) R 14728 14730 12223 0 -1 4194304 15444 656 0 0 2528 8 0 0 25 0 1 0 58953810 62570496 14493 996147200 134512640 135215973 4294956304 18446744073709551615 11153030 0 0 4096 0 0 0 0 17 0 0 0
/proc/14730/statm: 15276 14493 408 171 0 14201 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 61104
[startup+51.1018 s]
/proc/loadavg: 1.96 1.98 1.99 3/73 14735
/proc/meminfo: memFree=1027480/2055920 swapFree=4192812/4192956
[pid=14730] ppid=14728 vsize=118908 CPUtime=50.85
/proc/14730/stat : 14730 (pcs.big) R 14728 14730 12223 0 -1 4194304 30411 656 0 0 5071 14 0 0 25 0 1 0 58953810 121761792 28818 996147200 134512640 135215973 4294956304 18446744073709551615 134532991 0 0 4096 0 0 0 0 17 0 0 0
/proc/14730/statm: 29727 28818 408 171 0 28652 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 118908
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/73 14735
/proc/meminfo: memFree=878872/2055920 swapFree=4192812/4192956
[pid=14730] ppid=14728 vsize=225524 CPUtime=101.82
/proc/14730/stat : 14730 (pcs.big) R 14728 14730 12223 0 -1 4194304 58018 656 0 0 10153 29 0 0 25 0 1 0 58953810 230936576 55400 996147200 134512640 135215973 4294956304 18446744073709551615 134902059 0 0 4096 0 0 0 0 17 0 0 0
/proc/14730/statm: 56381 55400 408 171 0 55306 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 225524
[startup+162.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 14735
/proc/meminfo: memFree=706392/2055920 swapFree=4192812/4192956
[pid=14730] ppid=14728 vsize=354312 CPUtime=161.53
/proc/14730/stat : 14730 (pcs.big) R 14728 14730 12223 0 -1 4194304 91372 656 0 0 16109 44 0 0 25 0 1 0 58953810 362815488 86448 996147200 134512640 135215973 4294956304 18446744073709551615 134742278 0 0 4096 0 0 0 0 17 0 0 0
/proc/14730/statm: 88578 86448 408 171 0 87503 0
Current children cumulated CPU time (s) 161.53
Current children cumulated vsize (KiB) 354312
[startup+222.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 14735
/proc/meminfo: memFree=526168/2055920 swapFree=4192812/4192956
[pid=14730] ppid=14728 vsize=479544 CPUtime=221.26
/proc/14730/stat : 14730 (pcs.big) R 14728 14730 12223 0 -1 4194304 123788 656 0 0 22065 61 0 0 25 0 1 0 58953810 491053056 118351 996147200 134512640 135215973 4294956304 18446744073709551615 134584051 0 0 4096 0 0 0 0 17 0 0 0
/proc/14730/statm: 119886 118351 408 171 0 118811 0
Current children cumulated CPU time (s) 221.26
Current children cumulated vsize (KiB) 479544
[startup+282.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 14735
/proc/meminfo: memFree=351832/2055920 swapFree=4192812/4192956
[pid=14730] ppid=14728 vsize=617208 CPUtime=280.98
/proc/14730/stat : 14730 (pcs.big) R 14728 14730 12223 0 -1 4194304 159314 656 0 0 28019 79 0 0 25 0 1 0 58953810 632020992 149780 996147200 134512640 135215973 4294956304 18446744073709551615 4158960018 0 0 4096 0 0 0 0 17 0 0 0
/proc/14730/statm: 154302 149780 408 171 0 153227 0
Current children cumulated CPU time (s) 280.98
Current children cumulated vsize (KiB) 617208
[startup+342.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 14735
/proc/meminfo: memFree=162456/2055920 swapFree=4192812/4192956
[pid=14730] ppid=14728 vsize=739608 CPUtime=340.71
/proc/14730/stat : 14730 (pcs.big) R 14728 14730 12223 0 -1 4194304 191028 656 0 0 33978 93 0 0 25 0 1 0 58953810 757358592 181494 996147200 134512640 135215973 4294956304 18446744073709551615 134976634 0 0 4096 0 0 0 0 17 0 0 0
/proc/14730/statm: 184902 181494 408 171 0 183827 0
Current children cumulated CPU time (s) 340.71
Current children cumulated vsize (KiB) 739608
[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 14735
/proc/meminfo: memFree=16024/2055920 swapFree=4192812/4192956
[pid=14730] ppid=14728 vsize=855940 CPUtime=400.41
/proc/14730/stat : 14730 (pcs.big) R 14728 14730 12223 0 -1 4194304 221220 656 0 0 39933 108 0 0 25 0 1 0 58953810 876482560 211686 996147200 134512640 135215973 4294956304 18446744073709551615 4158960153 0 0 4096 0 0 0 0 17 0 0 0
/proc/14730/statm: 213985 211686 408 171 0 212910 0
Current children cumulated CPU time (s) 400.41
Current children cumulated vsize (KiB) 855940
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+436.902 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 14735
/proc/meminfo: memFree=15384/2055920 swapFree=4192812/4192956
[pid=14730] ppid=14728 vsize=921724 CPUtime=434.81
/proc/14730/stat : 14730 (pcs.big) R 14728 14730 12223 0 -1 4194304 238323 656 0 0 43363 118 0 0 25 0 1 0 58953810 943845376 228789 996147200 134512640 135215973 4294956304 18446744073709551615 134585398 0 0 4096 0 0 0 0 17 0 0 0
/proc/14730/statm: 230431 228789 408 171 0 229356 0
Current children cumulated CPU time (s) 434.81
Current children cumulated vsize (KiB) 921724
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+437.007 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 14735
/proc/meminfo: memFree=15384/2055920 swapFree=4192812/4192956
[pid=14730] ppid=14728 vsize=0 CPUtime=434.91
/proc/14730/stat : 14730 (pcs.big) R 14728 14730 12223 0 -1 4195332 238323 656 0 0 43363 128 0 0 25 0 1 0 58953810 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/14730/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 434.91
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 437.055
CPU time (s): 434.977
CPU user time (s): 433.639
CPU system time (s): 1.3378
CPU usage (%): 99.5246
Max. virtual memory (cumulated for all children) (KiB): 921724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 433.639
system time used= 1.3378
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 238979
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= 16
involuntary context switches= 6184
runsolver used 0.45893 second user time and 1.22081 second system time
The end
Begin job on node27 at 2009-07-16 06:34:36
IDJOB=2080845
IDBENCH=57184
IDSOLVER=734
FILE ID=node27/2080845-1247718875
PBS_JOBID= 9521343
Free space on /tmp= 66244 MiB
SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/langford3/normalized-langford-3-16.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2080845-1247718875/watcher-2080845-1247718875 -o /tmp/evaluation-result-2080845-1247718875/solver-2080845-1247718875 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1780784400 HOME/instance-2080845-1247718875.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 17d5a229380d5fbf34b59ff6e8d706d0
RANDOM SEED=1780784400
node27.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 : 2800.239
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 : 5521.40
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 : 2800.239
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: 1180600 kB
Buffers: 71140 kB
Cached: 378272 kB
SwapCached: 0 kB
Active: 392276 kB
Inactive: 409596 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1180600 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1856 kB
Writeback: 0 kB
Mapped: 364048 kB
Slab: 58196 kB
Committed_AS: 900676 kB
PageTables: 2364 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264948 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 node27 at 2009-07-16 06:41:54