runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2081252-1247719449/watcher-2081252-1247719449 -o /tmp/evaluation-result-2081252-1247719449/solver-2081252-1247719449 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2087607628 HOME/instance-2081252-1247719449.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.02 2.00 4/81 17211
/proc/meminfo: memFree=1259912/2055920 swapFree=4191900/4192956
[pid=17211] ppid=17209 vsize=5356 CPUtime=0
/proc/17211/stat : 17211 (pcssolve) R 17209 17211 14762 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 59011735 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 240472615583 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/17211/statm: 1339 241 200 169 0 50 0
[pid=17212] ppid=17211 vsize=3544 CPUtime=0
/proc/17212/stat : 17212 (fgrep) R 17211 17211 14762 0 -1 4194304 116 0 0 0 0 0 0 0 22 0 1 0 59011736 3629056 83 996147200 4194304 4274172 548682068976 18446744073709551615 240472455936 0 0 4096 0 0 0 0 17 1 0 0
/proc/17212/statm: 886 83 66 19 0 10 0
[startup+0.0765591 s]
/proc/loadavg: 2.00 2.02 2.00 4/81 17211
/proc/meminfo: memFree=1259912/2055920 swapFree=4191900/4192956
[pid=17211] ppid=17209 vsize=4904 CPUtime=0.05
/proc/17211/stat : 17211 (pcs.small) R 17209 17211 14762 0 -1 4194304 930 813 0 0 5 0 0 0 18 0 1 0 59011735 5021696 539 996147200 134512640 135095119 4294956304 18446744073709551615 134578307 0 0 4096 0 0 0 0 17 1 0 0
/proc/17211/statm: 1226 539 378 142 0 180 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 4904
[startup+0.101558 s]
/proc/loadavg: 2.00 2.02 2.00 4/81 17211
/proc/meminfo: memFree=1259912/2055920 swapFree=4191900/4192956
[pid=17211] ppid=17209 vsize=5432 CPUtime=0.08
/proc/17211/stat : 17211 (pcs.small) R 17209 17211 14762 0 -1 4194304 1043 813 0 0 8 0 0 0 18 0 1 0 59011735 5562368 652 996147200 134512640 135095119 4294956304 18446744073709551615 134839497 0 0 4096 0 0 0 0 17 1 0 0
/proc/17211/statm: 1358 652 378 142 0 312 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5432
[startup+0.301576 s]
/proc/loadavg: 2.00 2.02 2.00 4/81 17211
/proc/meminfo: memFree=1259912/2055920 swapFree=4191900/4192956
[pid=17211] ppid=17209 vsize=6992 CPUtime=0.27
/proc/17211/stat : 17211 (pcs.small) R 17209 17211 14762 0 -1 4194304 1542 813 0 0 27 0 0 0 19 0 1 0 59011735 7159808 1020 996147200 134512640 135095119 4294956304 18446744073709551615 134578885 0 0 4096 0 0 0 0 17 1 0 0
/proc/17211/statm: 1748 1020 378 142 0 702 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 6992
[startup+0.701611 s]
/proc/loadavg: 2.00 2.02 2.00 4/81 17211
/proc/meminfo: memFree=1259912/2055920 swapFree=4191900/4192956
[pid=17211] ppid=17209 vsize=10508 CPUtime=0.68
/proc/17211/stat : 17211 (pcs.small) R 17209 17211 14762 0 -1 4194304 2568 813 0 0 67 1 0 0 23 0 1 0 59011735 10760192 1852 996147200 134512640 135095119 4294956304 18446744073709551615 7945662 0 0 4096 0 0 0 0 17 1 0 0
/proc/17211/statm: 2627 1852 378 142 0 1581 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10508
[startup+1.50168 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 17217
/proc/meminfo: memFree=1251264/2055920 swapFree=4191900/4192956
[pid=17211] ppid=17209 vsize=17036 CPUtime=1.47
/proc/17211/stat : 17211 (pcs.small) R 17209 17211 14762 0 -1 4194304 4515 813 0 0 145 2 0 0 25 0 1 0 59011735 17444864 3413 996147200 134512640 135095119 4294956304 18446744073709551615 134638356 0 0 4096 0 0 0 0 17 1 0 0
/proc/17211/statm: 4259 3413 378 142 0 3213 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 17036
[startup+3.10282 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 17217
/proc/meminfo: memFree=1242048/2055920 swapFree=4191900/4192956
[pid=17211] ppid=17209 vsize=29392 CPUtime=3.06
/proc/17211/stat : 17211 (pcs.small) R 17209 17211 14762 0 -1 4194304 8181 813 0 0 302 4 0 0 25 0 1 0 59011735 30097408 6309 996147200 134512640 135095119 4294956304 18446744073709551615 134555263 0 0 4096 0 0 0 0 17 1 0 0
/proc/17211/statm: 7348 6309 378 142 0 6302 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 29392
[startup+6.3011 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 17217
/proc/meminfo: memFree=1220352/2055920 swapFree=4191900/4192956
[pid=17211] ppid=17209 vsize=52832 CPUtime=6.23
/proc/17211/stat : 17211 (pcs.small) R 17209 17211 14762 0 -1 4194304 15044 813 0 0 615 8 0 0 25 0 1 0 59011735 54099968 11634 996147200 134512640 135095119 4294956304 18446744073709551615 134555253 0 0 4096 0 0 0 0 17 1 0 0
/proc/17211/statm: 13208 11634 378 142 0 12162 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 52832
[startup+12.7017 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 17217
/proc/meminfo: memFree=1180544/2055920 swapFree=4191900/4192956
[pid=17211] ppid=17209 vsize=96048 CPUtime=12.56
/proc/17211/stat : 17211 (pcs.small) R 17209 17211 14762 0 -1 4194304 27626 813 0 0 1241 15 0 0 25 0 1 0 59011735 98353152 21142 996147200 134512640 135095119 4294956304 18446744073709551615 134642806 0 0 4096 0 0 0 0 17 1 0 0
/proc/17211/statm: 24012 21142 378 142 0 22966 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 96048
Solver just ended. Dumping a history of the last processes samples
[startup+13.5017 s]
/proc/loadavg: 2.00 2.02 2.00 4/82 17217
/proc/meminfo: memFree=1174016/2055920 swapFree=4191900/4192956
[pid=17211] ppid=17209 vsize=99944 CPUtime=13.35
/proc/17211/stat : 17211 (pcs.small) R 17209 17211 14762 0 -1 4194304 28804 813 0 0 1319 16 0 0 25 0 1 0 59011735 102342656 22320 996147200 134512640 135095119 4294956304 18446744073709551615 134842408 0 0 4096 0 0 0 0 17 1 0 0
/proc/17211/statm: 24986 22320 378 142 0 23940 0
Current children cumulated CPU time (s) 13.35
Current children cumulated vsize (KiB) 99944
[startup+13.9018 s]
/proc/loadavg: 2.00 2.02 2.00 4/82 17217
/proc/meminfo: memFree=1174016/2055920 swapFree=4191900/4192956
[pid=17211] ppid=17209 vsize=101772 CPUtime=13.76
/proc/17211/stat : 17211 (pcs.small) R 17209 17211 14762 0 -1 4194304 29405 813 0 0 1359 17 0 0 25 0 1 0 59011735 104214528 22921 996147200 134512640 135095119 4294956304 18446744073709551615 134617038 0 0 4096 0 0 0 0 17 1 0 0
/proc/17211/statm: 25443 22921 378 142 0 24397 0
Current children cumulated CPU time (s) 13.76
Current children cumulated vsize (KiB) 101772
[startup+14.3068 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 17217
/proc/meminfo: memFree=1167552/2055920 swapFree=4191900/4192956
[pid=17211] ppid=17209 vsize=95008 CPUtime=14.15
/proc/17211/stat : 17211 (pcs.small) R 17209 17211 14762 0 -1 4194304 29828 813 0 0 1398 17 0 0 25 0 1 0 59011735 97288192 21550 996147200 134512640 135095119 4294956304 18446744073709551615 7945724 0 0 4096 0 0 0 0 17 1 0 0
/proc/17211/statm: 23752 21550 378 142 0 22706 0
Current children cumulated CPU time (s) 14.15
Current children cumulated vsize (KiB) 95008
[startup+14.4018 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 17217
/proc/meminfo: memFree=1167552/2055920 swapFree=4191900/4192956
[pid=17211] ppid=17209 vsize=95008 CPUtime=14.24
/proc/17211/stat : 17211 (pcs.small) R 17209 17211 14762 0 -1 4194304 29828 813 0 0 1407 17 0 0 25 0 1 0 59011735 97288192 21550 996147200 134512640 135095119 4294956304 18446744073709551615 7942233 0 0 4096 0 0 0 0 17 1 0 0
/proc/17211/statm: 23752 21550 378 142 0 22706 0
Current children cumulated CPU time (s) 14.24
Current children cumulated vsize (KiB) 95008
Child status: 0
Real time (s): 14.4741
CPU time (s): 14.3338
CPU user time (s): 14.1368
CPU system time (s): 0.19697
CPU usage (%): 99.0309
Max. virtual memory (cumulated for all children) (KiB): 103204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.1369
system time used= 0.19697
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30644
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= 609
runsolver used 0.017997 second user time and 0.055991 second system time
The end
Begin job on node15 at 2009-07-16 06:44:09
IDJOB=2081252
IDBENCH=57381
IDSOLVER=734
FILE ID=node15/2081252-1247719449
PBS_JOBID= 9521309
Free space on /tmp= 66304 MiB
SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/varDimacs/normalized-hole-08_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2081252-1247719449/watcher-2081252-1247719449 -o /tmp/evaluation-result-2081252-1247719449/solver-2081252-1247719449 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2087607628 HOME/instance-2081252-1247719449.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 2732f8ac626c4257fbb4e256e3914883
RANDOM SEED=2087607628
node15.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.220
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.220
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: 1260392 kB
Buffers: 87736 kB
Cached: 504672 kB
SwapCached: 416 kB
Active: 313968 kB
Inactive: 412324 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1260392 kB
SwapTotal: 4192956 kB
SwapFree: 4191900 kB
Dirty: 1840 kB
Writeback: 0 kB
Mapped: 153532 kB
Slab: 54140 kB
Committed_AS: 961312 kB
PageTables: 2184 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= 66304 MiB
End job on node15 at 2009-07-16 06:44:23