runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node48/watcher-336166-1173641623 -o ROOT/results/node48/solver-336166-1173641623 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/336166-1173641623/tts-4-0 /tmp/evaluation/336166-1173641623/instance-336166-1173641623.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 0.98 3/64 3763
/proc/meminfo: memFree=1847784/2055920 swapFree=4183544/4192956
[pid=3763] ppid=3761 vsize=940 CPUtime=0
/proc/3763/stat : 3763 (tts-4-0) R 3761 3763 3659 0 -1 4194304 121 0 0 0 0 0 0 0 18 0 1 0 89957149 962560 106 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134522241 0 0 4096 0 0 0 0 17 1 0 0
/proc/3763/statm: 235 106 57 113 0 119 0
[startup+0.0205519 s]
/proc/loadavg: 1.00 1.00 0.98 3/64 3763
/proc/meminfo: memFree=1847784/2055920 swapFree=4183544/4192956
[pid=3763] ppid=3761 vsize=1468 CPUtime=0.01
/proc/3763/stat : 3763 (tts-4-0) R 3761 3763 3659 0 -1 4194304 279 0 0 0 1 0 0 0 18 0 1 0 89957149 1503232 264 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/3763/statm: 367 265 57 113 0 251 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1468
[startup+0.101564 s]
/proc/loadavg: 1.00 1.00 0.98 3/64 3763
/proc/meminfo: memFree=1847784/2055920 swapFree=4183544/4192956
[pid=3763] ppid=3761 vsize=4836 CPUtime=0.09
/proc/3763/stat : 3763 (tts-4-0) R 3761 3763 3659 0 -1 4194304 1096 0 0 0 9 0 0 0 18 0 1 0 89957149 4952064 1081 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/3763/statm: 1209 1082 57 113 0 1093 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4836
[startup+0.3016 s]
/proc/loadavg: 1.00 1.00 0.98 3/64 3763
/proc/meminfo: memFree=1847784/2055920 swapFree=4183544/4192956
[pid=3763] ppid=3761 vsize=12808 CPUtime=0.29
/proc/3763/stat : 3763 (tts-4-0) R 3761 3763 3659 0 -1 4194304 3115 0 0 0 28 1 0 0 19 0 1 0 89957149 13115392 3100 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/3763/statm: 3202 3101 57 113 0 3086 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12808
[startup+0.701669 s]
/proc/loadavg: 1.00 1.00 0.98 3/64 3763
/proc/meminfo: memFree=1847784/2055920 swapFree=4183544/4192956
[pid=3763] ppid=3761 vsize=29912 CPUtime=0.69
/proc/3763/stat : 3763 (tts-4-0) R 3761 3763 3659 0 -1 4194304 7154 0 0 0 66 3 0 0 23 0 1 0 89957149 30629888 7139 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/3763/statm: 7478 7139 57 113 0 7362 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29912
[startup+1.50181 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 3764
/proc/meminfo: memFree=1808544/2055920 swapFree=4183544/4192956
[pid=3763] ppid=3761 vsize=61508 CPUtime=1.49
/proc/3763/stat : 3763 (tts-4-0) R 3761 3763 3659 0 -1 4194304 15245 0 0 0 142 7 0 0 25 0 1 0 89957149 62984192 15230 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/3763/statm: 15377 15231 57 113 0 15261 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 61508
[startup+3.10108 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 3764
/proc/meminfo: memFree=1763936/2055920 swapFree=4183544/4192956
[pid=3763] ppid=3761 vsize=126956 CPUtime=3.09
/proc/3763/stat : 3763 (tts-4-0) R 3761 3763 3659 0 -1 4194304 31406 0 0 0 294 15 0 0 25 0 1 0 89957149 130002944 31391 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/3763/statm: 31739 31392 57 113 0 31623 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 126956
[startup+6.30163 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 3764
/proc/meminfo: memFree=1661088/2055920 swapFree=4183544/4192956
[pid=3763] ppid=3761 vsize=191560 CPUtime=6.29
/proc/3763/stat : 3763 (tts-4-0) R 3761 3763 3659 0 -1 4194304 46969 0 0 0 607 22 0 0 25 0 1 0 89957149 196157440 46954 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134524073 0 0 4096 0 0 0 0 17 1 0 0
/proc/3763/statm: 47890 46954 58 113 0 47774 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 191560
[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 3764
/proc/meminfo: memFree=1661088/2055920 swapFree=4183544/4192956
[pid=3763] ppid=3761 vsize=191560 CPUtime=12.68
/proc/3763/stat : 3763 (tts-4-0) R 3761 3763 3659 0 -1 4194304 46969 0 0 0 1246 22 0 0 25 0 1 0 89957149 196157440 46954 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134524063 0 0 4096 0 0 0 0 17 1 0 0
/proc/3763/statm: 47890 46954 58 113 0 47774 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 191560
[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 3764
/proc/meminfo: memFree=1661216/2055920 swapFree=4183544/4192956
[pid=3763] ppid=3761 vsize=191560 CPUtime=25.48
/proc/3763/stat : 3763 (tts-4-0) R 3761 3763 3659 0 -1 4194304 46969 0 0 0 2526 22 0 0 25 0 1 0 89957149 196157440 46954 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134524063 0 0 4096 0 0 0 0 17 1 0 0
/proc/3763/statm: 47890 46954 58 113 0 47774 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 191560
[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 3764
/proc/meminfo: memFree=1661280/2055920 swapFree=4183544/4192956
[pid=3763] ppid=3761 vsize=191560 CPUtime=51.06
/proc/3763/stat : 3763 (tts-4-0) R 3761 3763 3659 0 -1 4194304 46969 0 0 0 5084 22 0 0 25 0 1 0 89957149 196157440 46954 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134524036 0 0 4096 0 0 0 0 17 1 0 0
/proc/3763/statm: 47890 46954 58 113 0 47774 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 191560
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 3764
/proc/meminfo: memFree=1412512/2055920 swapFree=4183544/4192956
[pid=3763] ppid=3761 vsize=470116 CPUtime=102.25
/proc/3763/stat : 3763 (tts-4-0) R 3761 3763 3659 0 -1 4194304 109930 0 0 0 10179 46 0 0 25 0 1 0 89957149 481398784 109679 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/3763/statm: 117529 109679 62 113 0 117413 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 470116
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 3764
/proc/meminfo: memFree=1271840/2055920 swapFree=4183544/4192956
[pid=3763] ppid=3761 vsize=581656 CPUtime=162.22
/proc/3763/stat : 3763 (tts-4-0) R 3761 3763 3659 0 -1 4194304 144385 0 0 0 16164 58 0 0 25 0 1 0 89957149 595615744 144134 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134555203 0 0 4096 0 0 0 0 17 1 0 0
/proc/3763/statm: 145414 144134 62 113 0 145298 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 581656
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 3764
/proc/meminfo: memFree=1127072/2055920 swapFree=4183544/4192956
[pid=3763] ppid=3761 vsize=732700 CPUtime=222.21
/proc/3763/stat : 3763 (tts-4-0) R 3761 3763 3659 0 -1 4194304 184620 0 0 0 22145 76 0 0 25 0 1 0 89957149 750284800 181887 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/3763/statm: 183175 181887 65 113 0 183059 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 732700
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 3764
/proc/meminfo: memFree=174112/2055920 swapFree=4183544/4192956
[pid=3763] ppid=3761 vsize=1698164 CPUtime=282.18
/proc/3763/stat : 3763 (tts-4-0) R 3761 3763 3659 0 -1 4194304 424796 0 0 0 28046 172 0 0 25 0 1 0 89957149 1738919936 418019 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591892 0 0 4096 0 0 0 0 17 1 0 0
/proc/3763/statm: 424541 418019 66 113 0 424425 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 1698164
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 3764
/proc/meminfo: memFree=67680/2055920 swapFree=4183544/4192956
[pid=3763] ppid=3761 vsize=1805000 CPUtime=342.16
/proc/3763/stat : 3763 (tts-4-0) R 3761 3763 3659 0 -1 4194304 451327 0 0 0 34032 184 0 0 25 0 1 0 89957149 1848320000 444550 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/3763/statm: 451250 444550 66 113 0 451134 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 1805000
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+359.502 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 3764
/proc/meminfo: memFree=29472/2055920 swapFree=4183544/4192956
[pid=3763] ppid=3761 vsize=1843796 CPUtime=359.37
/proc/3763/stat : 3763 (tts-4-0) R 3761 3763 3659 0 -1 4194304 460899 0 0 0 35748 189 0 0 25 0 1 0 89957149 1888047104 454122 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134537415 0 0 4096 0 0 0 0 17 1 0 0
/proc/3763/statm: 460949 454125 66 113 0 460833 0
Current children cumulated CPU time (s) 359.37
Current children cumulated vsize (KiB) 1843796
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+359.607 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 3765
/proc/meminfo: memFree=709976/2055920 swapFree=4183544/4192956
[pid=3763] ppid=3761 vsize=0 CPUtime=359.47
/proc/3763/stat : 3763 (tts-4-0) R 3761 3763 3659 0 -1 4195332 460902 0 0 0 35748 199 0 0 25 0 1 0 89957149 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/3763/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 359.47
Current children cumulated vsize (KiB) 0
[startup+359.706 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 3765
/proc/meminfo: memFree=709976/2055920 swapFree=4183544/4192956
[pid=3763] ppid=3761 vsize=0 CPUtime=359.56
/proc/3763/stat : 3763 (tts-4-0) R 3761 3763 3659 0 -1 4195332 460902 0 0 0 35748 208 0 0 25 0 1 0 89957149 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/3763/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 359.56
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 359.782
CPU time (s): 359.645
CPU user time (s): 357.481
CPU system time (s): 2.16467
CPU usage (%): 99.9621
Max. virtual memory (cumulated for all children) (KiB): 1843796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 357.481
system time used= 2.16467
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460902
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= 6
involuntary context switches= 517
runsolver used 0.254961 second user time and 0.743886 second system time
The end
Begin job on node48 on Sun Mar 11 19:33:52 UTC 2007
IDJOB= 336166
IDBENCH= 24669
IDSOLVER= 98
FILE ID= node48/336166-1173641623
PBS_JOBID= 4101357
Free space on /tmp= 66430 MiB
SOLVER NAME= TTS 4.0
BENCH NAME= HOME/pub/bench/SAT07/crafted/Hard/contest05/others/sgp_9-8-8.sat05-2674.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/336166-1173641623/tts-4-0 /tmp/evaluation/336166-1173641623/instance-336166-1173641623.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-336166-1173641623 -o ROOT/results/node48/solver-336166-1173641623 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/336166-1173641623/tts-4-0 /tmp/evaluation/336166-1173641623/instance-336166-1173641623.cnf
META MD5SUM SOLVER= 73a7a27d0c2e86f9b1191433fde766ff
MD5SUM BENCH= f935103d71f7bb9e8d8051793d20ec02
RANDOM SEED= 255494556
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node48.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux
/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.259
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.259
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: 1848192 kB
Buffers: 15112 kB
Cached: 153076 kB
SwapCached: 3648 kB
Active: 92892 kB
Inactive: 85768 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1848192 kB
SwapTotal: 4192956 kB
SwapFree: 4183544 kB
Dirty: 52864 kB
Writeback: 0 kB
Mapped: 15240 kB
Slab: 15152 kB
Committed_AS: 115724 kB
PageTables: 1388 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= 66430 MiB
End job on node48 on Sun Mar 11 19:39:54 UTC 2007