runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2067358-1247705415/watcher-2067358-1247705415 -o /tmp/evaluation-result-2067358-1247705415/solver-2067358-1247705415 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 200176400 HOME/instance-2067358-1247705415.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.64 2.25 2.08 4/82 16580
/proc/meminfo: memFree=250752/2055920 swapFree=4192812/4192956
[pid=16580] ppid=16578 vsize=18576 CPUtime=0
/proc/16580/stat : 16580 (runsolver) R 16578 16580 14034 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 57605051 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 235371293991 0 0 4096 24578 0 0 0 17 1 0 0
/proc/16580/statm: 4644 284 249 26 0 2626 0
[startup+0.19417 s]
/proc/loadavg: 2.64 2.25 2.08 4/82 16580
/proc/meminfo: memFree=250752/2055920 swapFree=4192812/4192956
[pid=16580] ppid=16578 vsize=7340 CPUtime=0.17
/proc/16580/stat : 16580 (pcs.big) R 16578 16580 14034 0 -1 4194304 1686 826 0 0 17 0 0 0 18 0 1 0 57605051 7516160 1108 996147200 134512640 135215973 4294956304 18446744073709551615 135098469 0 0 4096 0 0 0 0 17 1 0 0
/proc/16580/statm: 1835 1108 409 171 0 760 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 7340
[startup+0.201167 s]
/proc/loadavg: 2.64 2.25 2.08 4/82 16580
/proc/meminfo: memFree=250752/2055920 swapFree=4192812/4192956
[pid=16580] ppid=16578 vsize=7340 CPUtime=0.17
/proc/16580/stat : 16580 (pcs.big) R 16578 16580 14034 0 -1 4194304 1686 826 0 0 17 0 0 0 18 0 1 0 57605051 7516160 1108 996147200 134512640 135215973 4294956304 18446744073709551615 134590491 0 0 4096 0 0 0 0 17 1 0 0
/proc/16580/statm: 1835 1108 409 171 0 760 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 7340
[startup+0.301179 s]
/proc/loadavg: 2.64 2.25 2.08 4/82 16580
/proc/meminfo: memFree=250752/2055920 swapFree=4192812/4192956
[pid=16580] ppid=16578 vsize=7340 CPUtime=0.27
/proc/16580/stat : 16580 (pcs.big) R 16578 16580 14034 0 -1 4194304 1701 826 0 0 27 0 0 0 19 0 1 0 57605051 7516160 1123 996147200 134512640 135215973 4294956304 18446744073709551615 3053179 0 0 4096 0 0 0 0 17 1 0 0
/proc/16580/statm: 1835 1123 409 171 0 760 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 7340
[startup+0.701213 s]
/proc/loadavg: 2.64 2.25 2.08 4/82 16580
/proc/meminfo: memFree=250752/2055920 swapFree=4192812/4192956
[pid=16580] ppid=16578 vsize=8604 CPUtime=0.67
/proc/16580/stat : 16580 (pcs.big) R 16578 16580 14034 0 -1 4194304 2009 826 0 0 67 0 0 0 22 0 1 0 57605051 8810496 1431 996147200 134512640 135215973 4294956304 18446744073709551615 134585549 0 0 4096 0 0 0 0 17 1 0 0
/proc/16580/statm: 2151 1431 409 171 0 1076 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 8604
[startup+1.50129 s]
/proc/loadavg: 2.64 2.25 2.08 3/83 16586
/proc/meminfo: memFree=244856/2055920 swapFree=4192812/4192956
[pid=16580] ppid=16578 vsize=12408 CPUtime=1.48
/proc/16580/stat : 16580 (pcs.big) R 16578 16580 14034 0 -1 4194304 2969 826 0 0 146 2 0 0 25 0 1 0 57605051 12705792 2391 996147200 134512640 135215973 4294956304 18446744073709551615 134627170 0 0 4096 0 0 0 0 17 1 0 0
/proc/16580/statm: 3102 2391 409 171 0 2027 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 12408
[startup+3.10143 s]
/proc/loadavg: 2.64 2.25 2.08 3/83 16586
/proc/meminfo: memFree=238264/2055920 swapFree=4192812/4192956
[pid=16580] ppid=16578 vsize=21420 CPUtime=3.08
/proc/16580/stat : 16580 (pcs.big) R 16578 16580 14034 0 -1 4194304 5234 826 0 0 305 3 0 0 25 0 1 0 57605051 21934080 4590 996147200 134512640 135215973 4294956304 18446744073709551615 4158960007 0 0 4096 0 0 0 0 17 1 0 0
/proc/16580/statm: 5355 4590 409 171 0 4280 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 21420
[startup+6.30172 s]
/proc/loadavg: 2.59 2.24 2.08 3/83 16586
/proc/meminfo: memFree=221816/2055920 swapFree=4192812/4192956
[pid=16580] ppid=16578 vsize=37400 CPUtime=6.27
/proc/16580/stat : 16580 (pcs.big) R 16578 16580 14034 0 -1 4194304 9312 826 0 0 622 5 0 0 25 0 1 0 57605051 38297600 8603 996147200 134512640 135215973 4294956304 18446744073709551615 134583622 0 0 4096 0 0 0 0 17 1 0 0
/proc/16580/statm: 9350 8603 409 171 0 8275 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 37400
[startup+12.7023 s]
/proc/loadavg: 2.54 2.24 2.08 4/83 16586
/proc/meminfo: memFree=188104/2055920 swapFree=4192812/4192956
[pid=16580] ppid=16578 vsize=70408 CPUtime=12.67
/proc/16580/stat : 16580 (pcs.big) R 16578 16580 14034 0 -1 4194304 17678 826 0 0 1256 11 0 0 25 0 1 0 57605051 72097792 16775 996147200 134512640 135215973 4294956304 18446744073709551615 134627170 0 0 4096 0 0 0 0 17 1 0 0
/proc/16580/statm: 17602 16775 409 171 0 16527 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 70408
[startup+25.5014 s]
/proc/loadavg: 2.50 2.24 2.08 3/83 16586
/proc/meminfo: memFree=144904/2055920 swapFree=4192812/4192956
[pid=16580] ppid=16578 vsize=138564 CPUtime=25.47
/proc/16580/stat : 16580 (pcs.big) R 16578 16580 14034 0 -1 4194304 35121 826 0 0 2527 20 0 0 25 0 1 0 57605051 141889536 33832 996147200 134512640 135215973 4294956304 18446744073709551615 3051288 0 0 4096 0 0 0 0 17 1 0 0
/proc/16580/statm: 34641 33832 409 171 0 33566 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 138564
[startup+51.1018 s]
/proc/loadavg: 2.46 2.25 2.09 3/83 16586
/proc/meminfo: memFree=15176/2055920 swapFree=4192812/4192956
[pid=16580] ppid=16578 vsize=278852 CPUtime=51.04
/proc/16580/stat : 16580 (pcs.big) R 16578 16580 14034 0 -1 4194304 70574 826 0 0 5065 39 0 0 25 0 1 0 57605051 285544448 68515 996147200 134512640 135215973 4294956304 18446744073709551615 134627170 0 0 4096 0 0 0 0 17 1 0 0
/proc/16580/statm: 69713 68515 409 171 0 68638 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 278852
[startup+102.301 s]
/proc/loadavg: 2.35 2.26 2.10 3/83 16588
/proc/meminfo: memFree=15944/2055920 swapFree=4192812/4192956
[pid=16580] ppid=16578 vsize=562780 CPUtime=102.14
/proc/16580/stat : 16580 (pcs.big) R 16578 16580 14034 0 -1 4194304 143285 826 0 0 10137 77 0 0 25 0 1 0 57605051 576286720 137639 996147200 134512640 135215973 4294956304 18446744073709551615 4158960148 0 0 4096 0 0 0 0 17 1 0 0
/proc/16580/statm: 140695 137639 409 171 0 139620 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 562780
[startup+162.302 s]
/proc/loadavg: 2.26 2.25 2.10 3/83 16588
/proc/meminfo: memFree=34696/2055920 swapFree=4192812/4192956
[pid=16580] ppid=16578 vsize=873952 CPUtime=161.94
/proc/16580/stat : 16580 (pcs.big) R 16578 16580 14034 0 -1 4194304 222723 826 0 0 16072 122 0 0 25 0 1 0 57605051 894926848 217077 996147200 134512640 135215973 4294956304 18446744073709551615 134627170 0 0 4096 0 0 0 0 17 1 0 0
/proc/16580/statm: 218488 217077 409 171 0 217413 0
Current children cumulated CPU time (s) 161.94
Current children cumulated vsize (KiB) 873952
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+171.302 s]
/proc/loadavg: 2.37 2.28 2.11 4/83 16588
/proc/meminfo: memFree=15304/2055920 swapFree=4192812/4192956
[pid=16580] ppid=16578 vsize=922200 CPUtime=170.91
/proc/16580/stat : 16580 (pcs.big) R 16578 16580 14034 0 -1 4194304 234855 826 0 0 16963 128 0 0 25 0 1 0 57605051 944332800 229209 996147200 134512640 135215973 4294956304 18446744073709551615 134903319 0 0 4096 0 0 0 0 17 1 0 0
/proc/16580/statm: 230550 229209 409 171 0 229475 0
Current children cumulated CPU time (s) 170.91
Current children cumulated vsize (KiB) 922200
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+171.407 s]
/proc/loadavg: 2.37 2.28 2.11 4/83 16588
/proc/meminfo: memFree=15304/2055920 swapFree=4192812/4192956
[pid=16580] ppid=16578 vsize=0 CPUtime=171.01
/proc/16580/stat : 16580 (pcs.big) R 16578 16580 14034 0 -1 4195332 234856 826 0 0 16963 138 0 0 25 0 1 0 57605051 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/16580/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 171.01
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 171.456
CPU time (s): 171.084
CPU user time (s): 169.64
CPU system time (s): 1.44378
CPU usage (%): 99.7831
Max. virtual memory (cumulated for all children) (KiB): 922200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 169.64
system time used= 1.44378
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235682
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= 701
runsolver used 0.154976 second user time and 0.478927 second system time
The end
Begin job on node51 at 2009-07-16 02:50:15
IDJOB=2067358
IDBENCH=54647
IDSOLVER=733
FILE ID=node51/2067358-1247705415
PBS_JOBID= 9521210
Free space on /tmp= 66320 MiB
SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/pseudo/fpga/normalized-fpga-15-15.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2067358-1247705415/watcher-2067358-1247705415 -o /tmp/evaluation-result-2067358-1247705415/solver-2067358-1247705415 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 200176400 HOME/instance-2067358-1247705415.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0a20cfd7459d01995e50a3e5ec9a9f3d
RANDOM SEED=200176400
node51.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: 251232 kB
Buffers: 72200 kB
Cached: 887280 kB
SwapCached: 0 kB
Active: 811876 kB
Inactive: 915272 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 251232 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1904 kB
Writeback: 0 kB
Mapped: 788152 kB
Slab: 61380 kB
Committed_AS: 1260368 kB
PageTables: 3316 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 node51 at 2009-07-16 02:53:09