runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2067303-1247705398/watcher-2067303-1247705398 -o /tmp/evaluation-result-2067303-1247705398/solver-2067303-1247705398 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 390076977 HOME/instance-2067303-1247705398.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.23 2.10 2.01 3/70 15999
/proc/meminfo: memFree=1402792/2055920 swapFree=4192812/4192956
[pid=15999] ppid=15997 vsize=5356 CPUtime=0
/proc/15999/stat : 15999 (pcssolve) R 15997 15999 14714 0 -1 4194304 290 0 0 0 0 0 0 0 18 0 1 0 57602523 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 209560595103 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/15999/statm: 1339 241 200 169 0 50 0
[pid=16000] ppid=15999 vsize=0 CPUtime=0
/proc/16000/stat : 16000 (fgrep) Z 15999 15999 14714 0 -1 4194316 155 0 0 0 0 0 0 0 18 0 1 0 57602524 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 0 0 0
/proc/16000/statm: 0 0 0 0 0 0 0
[pid=16001] ppid=15999 vsize=3676 CPUtime=0
/proc/16001/stat : 16001 (grep) R 15999 15999 14714 0 -1 4194304 145 0 0 0 0 0 0 0 18 0 1 0 57602524 3764224 112 996147200 4194304 4274172 548682069040 18446744073709551615 4222528 0 0 4096 0 0 0 0 17 0 0 0
/proc/16001/statm: 919 113 93 19 0 43 0
[startup+0.0525431 s]
/proc/loadavg: 2.23 2.10 2.01 3/70 15999
/proc/meminfo: memFree=1402792/2055920 swapFree=4192812/4192956
[pid=15999] ppid=15997 vsize=5504 CPUtime=0.03
/proc/15999/stat : 15999 (pcs.big) R 15997 15999 14714 0 -1 4194304 1058 826 0 0 3 0 0 0 17 0 1 0 57602523 5636096 667 996147200 134512640 135215973 4294956304 18446744073709551615 134738369 0 0 4096 0 0 0 0 17 0 0 0
/proc/15999/statm: 1376 667 385 171 0 301 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5504
[startup+0.10255 s]
/proc/loadavg: 2.23 2.10 2.01 3/70 15999
/proc/meminfo: memFree=1402792/2055920 swapFree=4192812/4192956
[pid=15999] ppid=15997 vsize=7264 CPUtime=0.08
/proc/15999/stat : 15999 (pcs.big) R 15997 15999 14714 0 -1 4194304 1531 826 0 0 8 0 0 0 17 0 1 0 57602523 7438336 1032 996147200 134512640 135215973 4294956304 18446744073709551615 134808146 0 0 4096 0 0 0 0 17 0 0 0
/proc/15999/statm: 1816 1036 385 171 0 741 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7264
[startup+0.301583 s]
/proc/loadavg: 2.23 2.10 2.01 3/70 15999
/proc/meminfo: memFree=1402792/2055920 swapFree=4192812/4192956
[pid=15999] ppid=15997 vsize=14668 CPUtime=0.28
/proc/15999/stat : 15999 (pcs.big) R 15997 15999 14714 0 -1 4194304 4096 826 0 0 27 1 0 0 18 0 1 0 57602523 15020032 2490 996147200 134512640 135215973 4294956304 18446744073709551615 134908087 0 0 4096 0 0 0 0 17 0 0 0
/proc/15999/statm: 3667 2490 407 171 0 2592 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 14668
[startup+0.702663 s]
/proc/loadavg: 2.23 2.10 2.01 3/70 15999
/proc/meminfo: memFree=1402792/2055920 swapFree=4192812/4192956
[pid=15999] ppid=15997 vsize=15088 CPUtime=0.68
/proc/15999/stat : 15999 (pcs.big) R 15997 15999 14714 0 -1 4194304 4371 826 0 0 66 2 0 0 22 0 1 0 57602523 15450112 2765 996147200 134512640 135215973 4294956304 18446744073709551615 134532902 0 0 4096 0 0 0 0 17 0 0 0
/proc/15999/statm: 3772 2765 410 171 0 2697 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 15088
[startup+1.50179 s]
/proc/loadavg: 2.23 2.10 2.01 3/85 16027
/proc/meminfo: memFree=1379376/2055920 swapFree=4192812/4192956
[pid=15999] ppid=15997 vsize=16544 CPUtime=1.48
/proc/15999/stat : 15999 (pcs.big) R 15997 15999 14714 0 -1 4194304 4741 826 0 0 146 2 0 0 25 0 1 0 57602523 16941056 3135 996147200 134512640 135215973 4294956304 18446744073709551615 134587250 0 0 4096 0 0 0 0 17 0 0 0
/proc/15999/statm: 4136 3135 410 171 0 3061 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 16544
[startup+3.10107 s]
/proc/loadavg: 2.23 2.10 2.01 4/86 16028
/proc/meminfo: memFree=1368680/2055920 swapFree=4192812/4192956
[pid=15999] ppid=15997 vsize=22368 CPUtime=3.08
/proc/15999/stat : 15999 (pcs.big) R 15997 15999 14714 0 -1 4194304 6199 826 0 0 305 3 0 0 25 0 1 0 57602523 22904832 4593 996147200 134512640 135215973 4294956304 18446744073709551615 134590633 0 0 4096 0 0 0 0 17 0 0 0
/proc/15999/statm: 5592 4593 410 171 0 4517 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 22368
[startup+6.30162 s]
/proc/loadavg: 2.21 2.09 2.01 3/86 16028
/proc/meminfo: memFree=1231272/2055920 swapFree=4192812/4192956
[pid=15999] ppid=15997 vsize=35540 CPUtime=6.27
/proc/15999/stat : 15999 (pcs.big) R 15997 15999 14714 0 -1 4194304 9596 826 0 0 623 4 0 0 25 0 1 0 57602523 36392960 7892 996147200 134512640 135215973 4294956304 18446744073709551615 134533248 0 0 4096 0 0 0 0 17 0 0 0
/proc/15999/statm: 8885 7892 410 171 0 7810 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 35540
[startup+12.7017 s]
/proc/loadavg: 2.27 2.11 2.02 3/86 16028
/proc/meminfo: memFree=974056/2055920 swapFree=4192812/4192956
[pid=15999] ppid=15997 vsize=69600 CPUtime=12.67
/proc/15999/stat : 15999 (pcs.big) R 15997 15999 14714 0 -1 4194304 18229 826 0 0 1259 8 0 0 25 0 1 0 57602523 71270400 16267 996147200 134512640 135215973 4294956304 18446744073709551615 134627170 0 0 4096 0 0 0 0 17 0 0 0
/proc/15999/statm: 17400 16267 410 171 0 16325 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 69600
[startup+25.5019 s]
/proc/loadavg: 2.36 2.13 2.03 4/86 16028
/proc/meminfo: memFree=526888/2055920 swapFree=4192812/4192956
[pid=15999] ppid=15997 vsize=128096 CPUtime=25.47
/proc/15999/stat : 15999 (pcs.big) R 15997 15999 14714 0 -1 4194304 33212 826 0 0 2532 15 0 0 25 0 1 0 57602523 131170304 30993 996147200 134512640 135215973 4294956304 18446744073709551615 135095366 0 0 4096 0 0 0 0 17 0 0 0
/proc/15999/statm: 32024 30993 410 171 0 30949 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 128096
[startup+51.1022 s]
/proc/loadavg: 2.24 2.12 2.02 3/86 16028
/proc/meminfo: memFree=397608/2055920 swapFree=4192812/4192956
[pid=15999] ppid=15997 vsize=260764 CPUtime=51.06
/proc/15999/stat : 15999 (pcs.big) R 15997 15999 14714 0 -1 4194304 66769 826 0 0 5075 31 0 0 25 0 1 0 57602523 267022336 63747 996147200 134512640 135215973 4294956304 18446744073709551615 134589855 0 0 4096 0 0 0 0 17 0 0 0
/proc/15999/statm: 65182 63747 410 171 0 64107 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 260764
[startup+102.308 s]
/proc/loadavg: 2.10 2.10 2.02 4/74 16065
/proc/meminfo: memFree=889928/2055920 swapFree=4192812/4192956
[pid=15999] ppid=15997 vsize=513904 CPUtime=102.22
/proc/15999/stat : 15999 (pcs.big) R 15997 15999 14714 0 -1 4194304 130985 826 0 0 10164 58 0 0 25 0 1 0 57602523 526237696 126425 996147200 134512640 135215973 4294956304 18446744073709551615 134650377 0 0 4096 0 0 0 0 17 0 0 0
/proc/15999/statm: 128476 126425 410 171 0 127401 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 513904
[startup+162.301 s]
/proc/loadavg: 2.24 2.13 2.03 3/86 16146
/proc/meminfo: memFree=15456/2055920 swapFree=4192812/4192956
[pid=15999] ppid=15997 vsize=821964 CPUtime=162.14
/proc/15999/stat : 15999 (pcs.big) R 15997 15999 14714 0 -1 4194304 209936 826 0 0 16120 94 0 0 25 0 1 0 57602523 841691136 203327 996147200 134512640 135215973 4294956304 18446744073709551615 134660049 0 0 4096 0 0 0 0 17 0 0 0
/proc/15999/statm: 205491 203327 410 171 0 204416 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 821964
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+181.601 s]
/proc/loadavg: 2.24 2.14 2.03 3/86 16147
/proc/meminfo: memFree=33240/2055920 swapFree=4192812/4192956
[pid=15999] ppid=15997 vsize=921932 CPUtime=181.39
/proc/15999/stat : 15999 (pcs.big) R 15997 15999 14714 0 -1 4194304 235547 826 0 0 18032 107 0 0 25 0 1 0 57602523 944058368 228938 996147200 134512640 135215973 4294956304 18446744073709551615 135098472 0 0 4096 0 0 0 0 17 0 0 0
/proc/15999/statm: 230483 228939 410 171 0 229408 0
Current children cumulated CPU time (s) 181.39
Current children cumulated vsize (KiB) 921932
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+181.706 s]
/proc/loadavg: 2.24 2.14 2.03 3/86 16147
/proc/meminfo: memFree=33240/2055920 swapFree=4192812/4192956
[pid=15999] ppid=15997 vsize=0 CPUtime=181.49
/proc/15999/stat : 15999 (pcs.big) R 15997 15999 14714 0 -1 4195332 235548 826 0 0 18032 117 0 0 25 0 1 0 57602523 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/15999/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 181.49
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 181.745
CPU time (s): 181.547
CPU user time (s): 180.332
CPU system time (s): 1.21581
CPU usage (%): 99.8914
Max. virtual memory (cumulated for all children) (KiB): 921932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 180.332
system time used= 1.21582
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 236374
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= 19
involuntary context switches= 796
runsolver used 0.205968 second user time and 0.636903 second system time
The end
Begin job on node68 at 2009-07-16 02:49:58
IDJOB=2067303
IDBENCH=54637
IDSOLVER=733
FILE ID=node68/2067303-1247705398
PBS_JOBID= 9521178
Free space on /tmp= 66420 MiB
SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/pseudo/fpga/normalized-fpga-25-23.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2067303-1247705398/watcher-2067303-1247705398 -o /tmp/evaluation-result-2067303-1247705398/solver-2067303-1247705398 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 390076977 HOME/instance-2067303-1247705398.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 671f2ae421ce6098ad7400acb4bfddbe
RANDOM SEED=390076977
node68.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.258
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.258
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: 1403272 kB
Buffers: 80024 kB
Cached: 481928 kB
SwapCached: 0 kB
Active: 190640 kB
Inactive: 389328 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1403272 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2128 kB
Writeback: 0 kB
Mapped: 28068 kB
Slab: 58024 kB
Committed_AS: 566364 kB
PageTables: 1784 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66416 MiB
End job on node68 at 2009-07-16 02:53:02