runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-218151-1168251297 -o ROOT/results/node4/solver-218151-1168251297 -C 1800 -M 900 /tmp/evaluation/218151-1168251297/Complete/Ordinary/solver /tmp/evaluation/218151-1168251297/unknown 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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
/proc/loadavg: 1.93 1.98 1.97 5/94 18293
/proc/meminfo: memFree=1681904/2055920 swapFree=4182144/4192956
[pid=18292] ppid=18290 vsize=18540 CPUtime=0
/proc/18292/stat : 18292 (runsolver) R 18290 18292 16157 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 173525869 18984960 279 18446744073709551615 4194304 4267372 548682069056 18446744073709551615 259913215271 0 0 4096 24578 0 0 0 17 1 0 0
/proc/18292/statm: 4635 279 244 17 0 2626 0
[startup+0.107547 s]
/proc/loadavg: 1.93 1.98 1.97 5/94 18293
/proc/meminfo: memFree=1681904/2055920 swapFree=4182144/4192956
[pid=18292] ppid=18290 vsize=61640 CPUtime=0.09
/proc/18292/stat : 18292 (bprolog) R 18290 18292 16157 0 -1 4194304 1915 0 0 0 9 0 0 0 21 0 1 0 173525869 63119360 1631 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134550142 0 0 4096 2 0 0 0 17 1 0 0
/proc/18292/statm: 15410 1631 158 90 0 14948 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 61640
[startup+0.515585 s]
/proc/loadavg: 1.93 1.98 1.97 5/94 18293
/proc/meminfo: memFree=1681904/2055920 swapFree=4182144/4192956
[pid=18292] ppid=18290 vsize=61640 CPUtime=0.49
/proc/18292/stat : 18292 (bprolog) R 18290 18292 16157 0 -1 4194304 4735 0 0 0 48 1 0 0 24 0 1 0 173525869 63119360 4451 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134608099 0 0 4096 2 0 0 0 17 1 0 0
/proc/18292/statm: 15410 4451 158 90 0 14948 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 61640
[startup+1.33667 s]
/proc/loadavg: 1.93 1.98 1.97 3/94 18293
/proc/meminfo: memFree=1649264/2055920 swapFree=4182144/4192956
[pid=18292] ppid=18290 vsize=70316 CPUtime=1.31
/proc/18292/stat : 18292 (bprolog) R 18290 18292 16157 0 -1 4194304 11978 0 0 0 126 5 0 0 25 0 1 0 173525869 72003584 10402 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134613072 0 0 4096 2 0 0 0 17 1 0 0
/proc/18292/statm: 17579 10402 158 90 0 17117 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 70316
[startup+2.97383 s]
/proc/loadavg: 1.93 1.98 1.97 3/94 18293
/proc/meminfo: memFree=1633584/2055920 swapFree=4182144/4192956
[pid=18292] ppid=18290 vsize=80204 CPUtime=2.93
/proc/18292/stat : 18292 (bprolog) R 18290 18292 16157 0 -1 4194304 22119 0 0 0 284 9 0 0 25 0 1 0 173525869 82128896 12909 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134858524 0 0 4096 2 0 0 0 17 1 0 0
/proc/18292/statm: 20051 12909 158 90 0 19589 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 80204
[startup+6.26915 s]
/proc/loadavg: 1.93 1.98 1.97 3/94 18293
/proc/meminfo: memFree=1626224/2055920 swapFree=4182144/4192956
[pid=18292] ppid=18290 vsize=80572 CPUtime=6.2
/proc/18292/stat : 18292 (bprolog) R 18290 18292 16157 0 -1 4194304 35434 0 0 0 604 16 0 0 25 0 1 0 173525869 82505728 14159 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134858585 0 0 4096 2 0 0 0 17 1 0 0
/proc/18292/statm: 20143 14159 158 90 0 19681 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 80572
[startup+12.7328 s]
/proc/loadavg: 1.94 1.98 1.97 3/94 18293
/proc/meminfo: memFree=1624432/2055920 swapFree=4182144/4192956
[pid=18292] ppid=18290 vsize=80664 CPUtime=12.61
/proc/18292/stat : 18292 (bprolog) R 18290 18292 16157 0 -1 4194304 60125 0 0 0 1232 29 0 0 25 0 1 0 173525869 82599936 14491 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134859013 0 0 4096 2 0 0 0 17 1 0 0
/proc/18292/statm: 20166 14491 158 90 0 19704 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 80664
[startup+25.571 s]
/proc/loadavg: 1.95 1.98 1.97 3/94 18293
/proc/meminfo: memFree=1585328/2055920 swapFree=4182144/4192956
[pid=18292] ppid=18290 vsize=137176 CPUtime=25.32
/proc/18292/stat : 18292 (bprolog) R 18290 18292 16157 0 -1 4194304 116794 0 0 0 2473 59 0 0 25 0 1 0 173525869 140468224 25673 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134857778 0 0 4096 2 0 0 0 17 1 0 0
/proc/18292/statm: 34294 25673 158 90 0 33832 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 137176
[startup+51.2374 s]
/proc/loadavg: 1.97 1.98 1.97 3/95 18294
/proc/meminfo: memFree=1563496/2055920 swapFree=4182144/4192956
[pid=18292] ppid=18290 vsize=185152 CPUtime=50.76
/proc/18292/stat : 18292 (bprolog) R 18290 18292 16157 0 -1 4194304 135356 0 0 0 5006 70 0 0 25 0 2 0 173525869 189595648 29703 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134670015 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/18292/statm: 46288 29703 170 90 0 45826 0
[pid=18292/tid=18294] ppid=18290 vsize=185152 CPUtime=0
/proc/18292/task/18294/stat : 18294 (bprolog) S 18290 18292 16157 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 173528817 189595648 29703 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 185152
[startup+102.493 s]
/proc/loadavg: 1.98 1.98 1.97 3/95 18294
/proc/meminfo: memFree=1563560/2055920 swapFree=4182144/4192956
[pid=18292] ppid=18290 vsize=185152 CPUtime=101.54
/proc/18292/stat : 18292 (bprolog) R 18290 18292 16157 0 -1 4194304 135357 0 0 0 10084 70 0 0 25 0 2 0 173525869 189595648 29704 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134565123 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/18292/statm: 46288 29704 170 90 0 45826 0
[pid=18292/tid=18294] ppid=18290 vsize=185152 CPUtime=0
/proc/18292/task/18294/stat : 18294 (bprolog) S 18290 18292 16157 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 173528817 189595648 29704 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 185152
[startup+162.515 s]
/proc/loadavg: 2.21 2.03 1.99 3/95 18393
/proc/meminfo: memFree=1324584/2055920 swapFree=4182144/4192956
[pid=18292] ppid=18290 vsize=185152 CPUtime=161.18
/proc/18292/stat : 18292 (bprolog) R 18290 18292 16157 0 -1 4194304 135357 0 0 0 16046 72 0 0 25 0 2 0 173525869 189595648 29704 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134565733 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/18292/statm: 46288 29704 170 90 0 45826 0
[pid=18292/tid=18294] ppid=18290 vsize=185152 CPUtime=0
/proc/18292/task/18294/stat : 18294 (bprolog) S 18290 18292 16157 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 173528817 189595648 29704 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.18
Current children cumulated vsize (KiB) 185152
[startup+222.582 s]
/proc/loadavg: 2.34 2.10 2.01 5/95 18395
/proc/meminfo: memFree=1267240/2055920 swapFree=4182144/4192956
[pid=18292] ppid=18290 vsize=185152 CPUtime=220.66
/proc/18292/stat : 18292 (bprolog) R 18290 18292 16157 0 -1 4194304 135357 0 0 0 21994 72 0 0 25 0 2 0 173525869 189595648 29704 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552332 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/18292/statm: 46288 29704 170 90 0 45826 0
[pid=18292/tid=18294] ppid=18290 vsize=185152 CPUtime=0
/proc/18292/task/18294/stat : 18294 (bprolog) S 18290 18292 16157 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 173528817 189595648 29704 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.66
Current children cumulated vsize (KiB) 185152
[startup+282.602 s]
/proc/loadavg: 2.63 2.23 2.06 4/95 18395
/proc/meminfo: memFree=1242280/2055920 swapFree=4182144/4192956
[pid=18292] ppid=18290 vsize=185152 CPUtime=280.1
/proc/18292/stat : 18292 (bprolog) R 18290 18292 16157 0 -1 4194304 135358 0 0 0 27938 72 0 0 25 0 2 0 173525869 189595648 29705 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134711836 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/18292/statm: 46288 29705 170 90 0 45826 0
[pid=18292/tid=18294] ppid=18290 vsize=185152 CPUtime=0
/proc/18292/task/18294/stat : 18294 (bprolog) S 18290 18292 16157 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 173528817 189595648 29705 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.1
Current children cumulated vsize (KiB) 185152
[startup+342.658 s]
/proc/loadavg: 2.69 2.32 2.10 4/95 18395
/proc/meminfo: memFree=1219560/2055920 swapFree=4182144/4192956
[pid=18292] ppid=18290 vsize=185152 CPUtime=339.55
/proc/18292/stat : 18292 (bprolog) R 18290 18292 16157 0 -1 4194304 135358 0 0 0 33882 73 0 0 25 0 2 0 173525869 189595648 29705 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134639156 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/18292/statm: 46288 29705 170 90 0 45826 0
[pid=18292/tid=18294] ppid=18290 vsize=185152 CPUtime=0
/proc/18292/task/18294/stat : 18294 (bprolog) S 18290 18292 16157 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 173528817 189595648 29705 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.55
Current children cumulated vsize (KiB) 185152
[startup+402.703 s]
/proc/loadavg: 2.78 2.41 2.14 3/95 18395
/proc/meminfo: memFree=1199976/2055920 swapFree=4182144/4192956
[pid=18292] ppid=18290 vsize=185152 CPUtime=399
/proc/18292/stat : 18292 (bprolog) R 18290 18292 16157 0 -1 4194304 135358 0 0 0 39827 73 0 0 25 0 2 0 173525869 189595648 29705 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134589209 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/18292/statm: 46288 29705 170 90 0 45826 0
[pid=18292/tid=18294] ppid=18290 vsize=185152 CPUtime=0
/proc/18292/task/18294/stat : 18294 (bprolog) S 18290 18292 16157 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 173528817 189595648 29705 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 399
Current children cumulated vsize (KiB) 185152
[startup+462.761 s]
/proc/loadavg: 2.88 2.50 2.19 4/95 18395
/proc/meminfo: memFree=1192176/2055920 swapFree=4182144/4192956
[pid=18292] ppid=18290 vsize=185152 CPUtime=458.48
/proc/18292/stat : 18292 (bprolog) R 18290 18292 16157 0 -1 4194304 135358 0 0 0 45774 74 0 0 25 0 2 0 173525869 189595648 29705 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134639210 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/18292/statm: 46288 29705 170 90 0 45826 0
[pid=18292/tid=18294] ppid=18290 vsize=185152 CPUtime=0
/proc/18292/task/18294/stat : 18294 (bprolog) S 18290 18292 16157 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 173528817 189595648 29705 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 458.48
Current children cumulated vsize (KiB) 185152
[startup+522.814 s]
/proc/loadavg: 2.78 2.53 2.22 4/95 18395
/proc/meminfo: memFree=1160816/2055920 swapFree=4182144/4192956
[pid=18292] ppid=18290 vsize=185152 CPUtime=517.93
/proc/18292/stat : 18292 (bprolog) R 18290 18292 16157 0 -1 4194304 135358 0 0 0 51719 74 0 0 25 0 2 0 173525869 189595648 29705 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134711664 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/18292/statm: 46288 29705 170 90 0 45826 0
[pid=18292/tid=18294] ppid=18290 vsize=185152 CPUtime=0
/proc/18292/task/18294/stat : 18294 (bprolog) S 18290 18292 16157 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 173528817 189595648 29705 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 517.93
Current children cumulated vsize (KiB) 185152
[startup+582.869 s]
/proc/loadavg: 2.75 2.57 2.25 4/95 18395
/proc/meminfo: memFree=1159664/2055920 swapFree=4182144/4192956
[pid=18292] ppid=18290 vsize=185152 CPUtime=577.39
/proc/18292/stat : 18292 (bprolog) R 18290 18292 16157 0 -1 4194304 135358 0 0 0 57665 74 0 0 25 0 2 0 173525869 189595648 29705 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134580397 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/18292/statm: 46288 29705 170 90 0 45826 0
[pid=18292/tid=18294] ppid=18290 vsize=185152 CPUtime=0
/proc/18292/task/18294/stat : 18294 (bprolog) S 18290 18292 16157 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 173528817 189595648 29705 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 577.39
Current children cumulated vsize (KiB) 185152
Child status: 0
Real time (s): 627.962
CPU time (s): 622.047
CPU user time (s): 621.28
CPU system time (s): 0.767883
CPU usage (%): 99.0581
Max. virtual memory (cumulated for all children) (KiB): 185152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 621.28
system time used= 0.767883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135369
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= 9
involuntary context switches= 33385
runsolver used 0.72089 s user time and 1.9967 s system time
The end
Begin job on node4 on Mon Jan 8 10:14:58 UTC 2007
IDJOB= 218151
IDBENCH= 5206
FILE ID= node4/218151-1168251297
PBS_JOBID= 3481607
Free space on /tmp= 66313 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-49_ext.xml
COMMAND LINE= /tmp/evaluation/218151-1168251297/Complete/Ordinary/solver /tmp/evaluation/218151-1168251297/unknown 1800
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node4/convwatcher-218151-1168251297 -o ROOT/results/node4/conversion-218151-1168251297 -C 600 -M 900 /tmp/evaluation/218151-1168251297/Complete/Ordinary/conversion /tmp/evaluation/218151-1168251297/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-218151-1168251297 -o ROOT/results/node4/solver-218151-1168251297 -C 1800 -M 900 /tmp/evaluation/218151-1168251297/Complete/Ordinary/solver /tmp/evaluation/218151-1168251297/unknown 1800
META MD5SUM SOLVER= b53ab06f245aa5e62684a7a0a4388ade
MD5SUM BENCH= ab6c75a4330ebc652c45903e8fdc50be
RANDOM SEED= 417749165
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.223
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.223
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: 1682384 kB
Buffers: 55744 kB
Cached: 165968 kB
SwapCached: 2552 kB
Active: 214804 kB
Inactive: 102960 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1682384 kB
SwapTotal: 4192956 kB
SwapFree: 4182144 kB
Dirty: 3984 kB
Writeback: 0 kB
Mapped: 113416 kB
Slab: 40184 kB
Committed_AS: 4934336 kB
PageTables: 2588 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= 66303 MiB
End job on node4 on Mon Jan 8 10:25:32 UTC 2007