runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2090634-1247731037/watcher-2090634-1247731037 -o /tmp/evaluation-result-2090634-1247731037/solver-2090634-1247731037 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1710625860 HOME/instance-2090634-1247731037.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.06 2.04 2.01 4/73 16350
/proc/meminfo: memFree=1435360/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=5356 CPUtime=0
/proc/16350/stat : 16350 (pcssolve) R 16348 16350 15811 0 -1 4194304 290 0 0 0 0 0 0 0 19 0 1 0 60168987 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 240153848479 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/16350/statm: 1339 241 200 169 0 50 0
[pid=16351] ppid=16350 vsize=5356 CPUtime=0
/proc/16351/stat : 16351 (pcssolve) R 16350 16350 15811 0 -1 4194368 18 0 0 0 0 0 0 0 19 0 1 0 60168987 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 4542624 0 0 4100 65536 0 0 0 17 0 0 0
/proc/16351/statm: 1339 242 201 169 0 50 0
[pid=16352] ppid=16350 vsize=5356 CPUtime=0
/proc/16352/stat : 16352 (pcssolve) R 16350 16350 15811 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 1 0 60168987 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 240153848479 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/16352/statm: 1339 241 200 169 0 50 0
[startup+0.0612419 s]
/proc/loadavg: 2.06 2.04 2.01 4/73 16350
/proc/meminfo: memFree=1435360/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=5024 CPUtime=0.04
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 15811 0 -1 4194304 911 656 0 0 4 0 0 0 17 0 1 0 60168987 5144576 542 996147200 134512640 135215973 4294956304 18446744073709551615 134837559 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 1256 542 385 171 0 181 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5024
[startup+0.10125 s]
/proc/loadavg: 2.06 2.04 2.01 4/73 16350
/proc/meminfo: memFree=1435360/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=5564 CPUtime=0.08
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 15811 0 -1 4194304 1008 656 0 0 8 0 0 0 17 0 1 0 60168987 5697536 639 996147200 134512640 135215973 4294956304 18446744073709551615 6813253 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 1391 639 385 171 0 316 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5564
[startup+0.303124 s]
/proc/loadavg: 2.06 2.04 2.01 4/73 16350
/proc/meminfo: memFree=1435360/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=7172 CPUtime=0.28
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 15811 0 -1 4194304 1374 656 0 0 28 0 0 0 18 0 1 0 60168987 7344128 1005 996147200 134512640 135215973 4294956304 18446744073709551615 135018582 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 1793 1005 403 171 0 718 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 7172
[startup+0.701363 s]
/proc/loadavg: 2.06 2.04 2.01 4/73 16350
/proc/meminfo: memFree=1435360/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=7172 CPUtime=0.68
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 15811 0 -1 4194304 1379 656 0 0 68 0 0 0 23 0 1 0 60168987 7344128 1010 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 1793 1010 403 171 0 718 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7172
[startup+1.50152 s]
/proc/loadavg: 2.06 2.04 2.01 3/74 16355
/proc/meminfo: memFree=1432856/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=7172 CPUtime=1.48
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 15811 0 -1 4194304 1386 656 0 0 148 0 0 0 25 0 1 0 60168987 7344128 1017 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 1793 1017 403 171 0 718 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 7172
[startup+3.10182 s]
/proc/loadavg: 2.21 2.08 2.02 3/74 16355
/proc/meminfo: memFree=1432536/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=7172 CPUtime=3.07
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 15811 0 -1 4194304 1410 656 0 0 307 0 0 0 25 0 1 0 60168987 7344128 1041 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 1793 1041 403 171 0 718 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 7172
[startup+6.30143 s]
/proc/loadavg: 2.21 2.08 2.02 3/74 16355
/proc/meminfo: memFree=1431960/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=7172 CPUtime=6.27
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 15811 0 -1 4194304 1472 656 0 0 627 0 0 0 25 0 1 0 60168987 7344128 1103 996147200 134512640 135215973 4294956304 18446744073709551615 4158960041 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 1793 1103 403 171 0 718 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 7172
[startup+12.7017 s]
/proc/loadavg: 2.18 2.07 2.02 3/74 16355
/proc/meminfo: memFree=1430680/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=8012 CPUtime=12.67
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 15811 0 -1 4194304 1704 656 0 0 1267 0 0 0 25 0 1 0 60168987 8204288 1335 996147200 134512640 135215973 4294956304 18446744073709551615 134590021 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 2003 1335 403 171 0 928 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 8012
[startup+25.5011 s]
/proc/loadavg: 2.22 2.09 2.02 3/74 16355
/proc/meminfo: memFree=1427352/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=10640 CPUtime=25.47
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 15811 0 -1 4194304 2398 656 0 0 2546 1 0 0 25 0 1 0 60168987 10895360 1996 996147200 134512640 135215973 4294956304 18446744073709551615 134583217 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 2660 1996 403 171 0 1585 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 10640
[startup+51.102 s]
/proc/loadavg: 2.15 2.08 2.02 3/74 16355
/proc/meminfo: memFree=1420568/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=16176 CPUtime=51.06
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 15811 0 -1 4194304 3819 656 0 0 5104 2 0 0 25 0 1 0 60168987 16564224 3352 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 4044 3352 403 171 0 2969 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 16176
[startup+102.306 s]
/proc/loadavg: 2.09 2.08 2.02 3/74 16355
/proc/meminfo: memFree=1406872/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=26576 CPUtime=102.24
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 15811 0 -1 4194304 6590 656 0 0 10219 5 0 0 25 0 1 0 60168987 27213824 5961 996147200 134512640 135215973 4294956304 18446744073709551615 134533040 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 6644 5961 403 171 0 5569 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 26576
[startup+162.302 s]
/proc/loadavg: 2.17 2.11 2.03 3/74 16355
/proc/meminfo: memFree=1391640/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=39196 CPUtime=162.21
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 15811 0 -1 4194304 9894 656 0 0 16213 8 0 0 25 0 1 0 60168987 40136704 8943 996147200 134512640 135215973 4294956304 18446744073709551615 135013268 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 9799 8943 403 171 0 8724 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 39196
[startup+222.302 s]
/proc/loadavg: 2.20 2.13 2.04 3/74 16355
/proc/meminfo: memFree=1376856/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=49872 CPUtime=222.18
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 15811 0 -1 4194304 12718 656 0 0 22208 10 0 0 25 0 1 0 60168987 51068928 11767 996147200 134512640 135215973 4294956304 18446744073709551615 134523348 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 12468 11767 403 171 0 11393 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 49872
[startup+282.301 s]
/proc/loadavg: 2.15 2.12 2.04 3/74 16361
/proc/meminfo: memFree=1363096/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=62504 CPUtime=282.13
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 15811 0 -1 4194304 16027 656 0 0 28201 12 0 0 25 0 1 0 60168987 64004096 14434 996147200 134512640 135215973 4294956304 18446744073709551615 135027099 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 15626 14434 403 171 0 14551 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 62504
[startup+342.302 s]
/proc/loadavg: 2.12 2.11 2.04 3/74 16361
/proc/meminfo: memFree=1333976/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=72404 CPUtime=342.1
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 15811 0 -1 4194304 18647 656 0 0 34196 14 0 0 25 0 1 0 60168987 74141696 17054 996147200 134512640 135215973 4294956304 18446744073709551615 4158960542 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 18101 17054 403 171 0 17026 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 72404
Solver just ended. Dumping a history of the last processes samples
[startup+345.501 s]
/proc/loadavg: 2.12 2.11 2.04 3/74 16361
/proc/meminfo: memFree=1333336/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=72932 CPUtime=345.29
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 15811 0 -1 4194304 18787 656 0 0 34515 14 0 0 25 0 1 0 60168987 74682368 17194 996147200 134512640 135215973 4294956304 18446744073709551615 134600057 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 18233 17194 403 171 0 17158 0
Current children cumulated CPU time (s) 345.29
Current children cumulated vsize (KiB) 72932
[startup+351.902 s]
/proc/loadavg: 2.10 2.11 2.04 3/74 16361
/proc/meminfo: memFree=1331992/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=74120 CPUtime=351.7
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 15811 0 -1 4194304 19085 656 0 0 35155 15 0 0 25 0 1 0 60168987 75898880 17492 996147200 134512640 135215973 4294956304 18446744073709551615 134597411 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 18530 17492 403 171 0 17455 0
Current children cumulated CPU time (s) 351.7
Current children cumulated vsize (KiB) 74120
[startup+355.102 s]
/proc/loadavg: 2.10 2.11 2.04 3/74 16361
/proc/meminfo: memFree=1331544/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=74644 CPUtime=354.89
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 15811 0 -1 4194304 19230 656 0 0 35474 15 0 0 25 0 1 0 60168987 76435456 17637 996147200 134512640 135215973 4294956304 18446744073709551615 4158961208 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 18661 17637 403 171 0 17586 0
Current children cumulated CPU time (s) 354.89
Current children cumulated vsize (KiB) 74644
[startup+356.703 s]
/proc/loadavg: 2.10 2.11 2.04 3/74 16361
/proc/meminfo: memFree=1331096/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=74908 CPUtime=356.49
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 15811 0 -1 4194304 19306 656 0 0 35634 15 0 0 25 0 1 0 60168987 76705792 17713 996147200 134512640 135215973 4294956304 18446744073709551615 4158961072 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 18727 17713 403 171 0 17652 0
Current children cumulated CPU time (s) 356.49
Current children cumulated vsize (KiB) 74908
[startup+358.302 s]
/proc/loadavg: 2.09 2.11 2.04 3/74 16361
/proc/meminfo: memFree=1330840/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=75304 CPUtime=358.09
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 15811 0 -1 4194304 19390 656 0 0 35794 15 0 0 25 0 1 0 60168987 77111296 17797 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 18826 17797 403 171 0 17751 0
Current children cumulated CPU time (s) 358.09
Current children cumulated vsize (KiB) 75304
[startup+359.102 s]
/proc/loadavg: 2.09 2.11 2.04 3/74 16361
/proc/meminfo: memFree=1330648/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=75436 CPUtime=358.89
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 15811 0 -1 4194304 19425 656 0 0 35874 15 0 0 25 0 1 0 60168987 77246464 17832 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 18859 17832 403 171 0 17784 0
Current children cumulated CPU time (s) 358.89
Current children cumulated vsize (KiB) 75436
[startup+359.502 s]
/proc/loadavg: 2.09 2.11 2.04 3/74 16361
/proc/meminfo: memFree=1330648/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=74408 CPUtime=359.29
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 15811 0 -1 4194304 19448 656 0 0 35914 15 0 0 25 0 1 0 60168987 76193792 17676 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 18602 17676 403 171 0 17527 0
Current children cumulated CPU time (s) 359.29
Current children cumulated vsize (KiB) 74408
[startup+359.602 s]
/proc/loadavg: 2.09 2.11 2.04 3/74 16361
/proc/meminfo: memFree=1330968/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=74408 CPUtime=359.39
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 15811 0 -1 4194304 19448 656 0 0 35924 15 0 0 25 0 1 0 60168987 76193792 17676 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 18602 17676 403 171 0 17527 0
Current children cumulated CPU time (s) 359.39
Current children cumulated vsize (KiB) 74408
Child status: 0
Real time (s): 359.633
CPU time (s): 359.435
CPU user time (s): 359.264
CPU system time (s): 0.170974
CPU usage (%): 99.9451
Max. virtual memory (cumulated for all children) (KiB): 75436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 359.264
system time used= 0.170974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20107
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= 1520
runsolver used 0.220966 second user time and 1.09983 second system time
The end
Begin job on node86 at 2009-07-16 09:57:17
IDJOB=2090634
IDBENCH=59832
IDSOLVER=733
FILE ID=node86/2090634-1247731037
PBS_JOBID= 9521581
Free space on /tmp= 66256 MiB
SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/tightness0.65/normalized-rand-2-40-40-135-650-42_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2090634-1247731037/watcher-2090634-1247731037 -o /tmp/evaluation-result-2090634-1247731037/solver-2090634-1247731037 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1710625860 HOME/instance-2090634-1247731037.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a9c026ff4fe680f9772081bd27ec5cfd
RANDOM SEED=1710625860
node86.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.265
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.265
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1435840 kB
Buffers: 94048 kB
Cached: 373656 kB
SwapCached: 0 kB
Active: 155620 kB
Inactive: 388968 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1435840 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2136 kB
Writeback: 0 kB
Mapped: 88100 kB
Slab: 60692 kB
Committed_AS: 671768 kB
PageTables: 1992 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= 66252 MiB
End job on node86 at 2009-07-16 10:03:17