runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2068216-1247706239/watcher-2068216-1247706239 -o /tmp/evaluation-result-2068216-1247706239/solver-2068216-1247706239 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1996026709 HOME/instance-2068216-1247706239.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.96 2.08 2.13 4/81 12368
/proc/meminfo: memFree=1586112/2055920 swapFree=4191900/4192956
[pid=12368] ppid=12366 vsize=5356 CPUtime=0
/proc/12368/stat : 12368 (pcssolve) R 12366 12368 10935 0 -1 4194304 273 0 0 0 0 0 0 0 20 0 1 0 57690088 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 221780699807 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12368/statm: 1339 241 200 169 0 50 0
[pid=12369] ppid=12368 vsize=5356 CPUtime=0
/proc/12369/stat : 12369 (pcssolve) R 12368 12368 10935 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 57690088 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 221780699807 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12369/statm: 1339 241 200 169 0 50 0
[startup+0.0854841 s]
/proc/loadavg: 1.96 2.08 2.13 4/81 12368
/proc/meminfo: memFree=1586112/2055920 swapFree=4191900/4192956
[pid=12368] ppid=12366 vsize=5616 CPUtime=0.06
/proc/12368/stat : 12368 (pcs.big) R 12366 12368 10935 0 -1 4194304 1083 826 0 0 5 0 1 0 23 0 1 0 57690088 5750784 692 996147200 134512640 135215973 4294956304 18446744073709551615 4158853402 0 0 4096 0 0 0 0 17 1 0 0
/proc/12368/statm: 1404 692 361 171 0 329 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5616
[startup+0.10316 s]
/proc/loadavg: 1.96 2.08 2.13 4/81 12368
/proc/meminfo: memFree=1586112/2055920 swapFree=4191900/4192956
[pid=12368] ppid=12366 vsize=7104 CPUtime=0.07
/proc/12368/stat : 12368 (pcs.big) R 12366 12368 10935 0 -1 4194304 1487 826 0 0 6 0 1 0 23 0 1 0 57690088 7274496 974 996147200 134512640 135215973 4294956304 18446744073709551615 4297248 0 0 4096 0 0 0 0 17 1 0 0
/proc/12368/statm: 1776 974 369 171 0 701 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7104
[startup+0.301497 s]
/proc/loadavg: 1.96 2.08 2.13 4/81 12368
/proc/meminfo: memFree=1586112/2055920 swapFree=4191900/4192956
[pid=12368] ppid=12366 vsize=9364 CPUtime=0.28
/proc/12368/stat : 12368 (pcs.big) R 12366 12368 10935 0 -1 4194304 2151 826 0 0 26 1 1 0 25 0 1 0 57690088 9588736 1555 996147200 134512640 135215973 4294956304 18446744073709551615 4562472 0 0 4096 0 0 0 0 17 1 0 0
/proc/12368/statm: 2341 1555 385 171 0 1266 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9364
[startup+0.701525 s]
/proc/loadavg: 1.96 2.08 2.13 4/81 12368
/proc/meminfo: memFree=1586112/2055920 swapFree=4191900/4192956
[pid=12368] ppid=12366 vsize=17280 CPUtime=0.68
/proc/12368/stat : 12368 (pcs.big) R 12366 12368 10935 0 -1 4194304 4565 826 0 0 65 2 1 0 25 0 1 0 57690088 17694720 3162 996147200 134512640 135215973 4294956304 18446744073709551615 134762900 0 0 4096 0 0 0 0 17 1 0 0
/proc/12368/statm: 4320 3162 385 171 0 3245 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 17280
[startup+1.50257 s]
/proc/loadavg: 1.96 2.08 2.13 3/82 12374
/proc/meminfo: memFree=1569720/2055920 swapFree=4191900/4192956
[pid=12368] ppid=12366 vsize=34244 CPUtime=1.47
/proc/12368/stat : 12368 (pcs.big) R 12366 12368 10935 0 -1 4194304 10486 826 0 0 141 5 1 0 25 0 1 0 57690088 35065856 7696 996147200 134512640 135215973 4294956304 18446744073709551615 4158961131 0 0 4096 0 0 0 0 17 1 0 0
/proc/12368/statm: 8561 7696 406 171 0 7486 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 34244
[startup+3.10168 s]
/proc/loadavg: 1.96 2.08 2.13 3/82 12374
/proc/meminfo: memFree=1553720/2055920 swapFree=4191900/4192956
[pid=12368] ppid=12366 vsize=50760 CPUtime=3.05
/proc/12368/stat : 12368 (pcs.big) R 12366 12368 10935 0 -1 4194304 15569 826 0 0 297 7 1 0 25 0 1 0 57690088 51978240 11320 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/12368/statm: 12690 11320 406 171 0 11615 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 50760
[startup+6.30188 s]
/proc/loadavg: 1.96 2.08 2.13 3/82 12374
/proc/meminfo: memFree=1532472/2055920 swapFree=4191900/4192956
[pid=12368] ppid=12366 vsize=65148 CPUtime=6.23
/proc/12368/stat : 12368 (pcs.big) R 12366 12368 10935 0 -1 4194304 19737 826 0 0 613 9 1 0 25 0 1 0 57690088 66711552 15427 996147200 134512640 135215973 4294956304 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 1 0 0
/proc/12368/statm: 16287 15427 409 171 0 15212 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 65148
Solver just ended. Dumping a history of the last processes samples
[startup+6.50189 s]
/proc/loadavg: 1.96 2.08 2.13 3/82 12374
/proc/meminfo: memFree=1524216/2055920 swapFree=4191900/4192956
[pid=12368] ppid=12366 vsize=66468 CPUtime=6.42
/proc/12368/stat : 12368 (pcs.big) R 12366 12368 10935 0 -1 4194304 20079 826 0 0 632 9 1 0 25 0 1 0 57690088 68063232 15769 996147200 134512640 135215973 4294956304 18446744073709551615 134585615 0 0 4096 0 0 0 0 17 1 0 0
/proc/12368/statm: 16617 15769 409 171 0 15542 0
Current children cumulated CPU time (s) 6.42
Current children cumulated vsize (KiB) 66468
[startup+6.60689 s]
/proc/loadavg: 1.96 2.08 2.13 3/82 12374
/proc/meminfo: memFree=1524216/2055920 swapFree=4191900/4192956
[pid=12368] ppid=12366 vsize=66996 CPUtime=6.52
/proc/12368/stat : 12368 (pcs.big) R 12366 12368 10935 0 -1 4194304 20266 826 0 0 642 9 1 0 25 0 1 0 57690088 68603904 15895 996147200 134512640 135215973 4294956304 18446744073709551615 134902593 0 0 4096 0 0 0 0 17 1 0 0
/proc/12368/statm: 16749 15895 409 171 0 15674 0
Current children cumulated CPU time (s) 6.52
Current children cumulated vsize (KiB) 66996
Child status: 0
Real time (s): 6.69617
CPU time (s): 6.62799
CPU user time (s): 6.51301
CPU system time (s): 0.114982
CPU usage (%): 98.9819
Max. virtual memory (cumulated for all children) (KiB): 66996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.51301
system time used= 0.114982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21156
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= 240
runsolver used 0.011998 second user time and 0.026995 second system time
The end
Begin job on node29 at 2009-07-16 03:03:59
IDJOB=2068216
IDBENCH=54839
IDSOLVER=733
FILE ID=node29/2068216-1247706239
PBS_JOBID= 9521253
Free space on /tmp= 66320 MiB
SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/pseudo/mpsReduced/normalized-mps-red-neos20.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2068216-1247706239/watcher-2068216-1247706239 -o /tmp/evaluation-result-2068216-1247706239/solver-2068216-1247706239 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1996026709 HOME/instance-2068216-1247706239.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8df3601537f146e29101cbf7de6286ca
RANDOM SEED=1996026709
node29.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.225
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.225
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: 1586592 kB
Buffers: 59376 kB
Cached: 244532 kB
SwapCached: 392 kB
Active: 138564 kB
Inactive: 264388 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1586592 kB
SwapTotal: 4192956 kB
SwapFree: 4191900 kB
Dirty: 3188 kB
Writeback: 0 kB
Mapped: 118732 kB
Slab: 51220 kB
Committed_AS: 739472 kB
PageTables: 2128 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= 66320 MiB
End job on node29 at 2009-07-16 03:04:06