runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1831946-1242793185/watcher-1831946-1242793185 -o /tmp/evaluation-result-1831946-1242793185/solver-1831946-1242793185 -C 10000 -W 12000 -M 1800 --output-limit 1,128 HOME/SApperloT-base -seed=1632979797 HOME/instance-1831946-1242793185.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 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 134217728 bytes. The first 1048576 bytes and the last 133169152 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11641
/proc/meminfo: memFree=1711856/2055920 swapFree=4179968/4192956
[pid=11641] ppid=11639 vsize=6452 CPUtime=0
/proc/11641/stat : 11641 (SApperloT-base) R 11639 11641 11569 0 -1 4194304 1046 0 0 0 0 0 0 0 18 0 1 0 307344634 6606848 1030 1992294400 134512640 135674940 4294956208 18446744073709551615 134542196 0 0 4096 0 0 0 0 17 0 0 0
/proc/11641/statm: 1613 1038 88 283 0 1327 0
[startup+0.0242001 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11641
/proc/meminfo: memFree=1711856/2055920 swapFree=4179968/4192956
[pid=11641] ppid=11639 vsize=15932 CPUtime=0.01
/proc/11641/stat : 11641 (SApperloT-base) R 11639 11641 11569 0 -1 4194304 3713 0 0 0 0 1 0 0 18 0 1 0 307344634 16314368 3697 1992294400 134512640 135674940 4294956208 18446744073709551615 134545002 0 0 4096 0 0 0 0 17 0 0 0
/proc/11641/statm: 3983 3702 88 283 0 3697 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15932
[startup+0.10121 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11641
/proc/meminfo: memFree=1711856/2055920 swapFree=4179968/4192956
[pid=11641] ppid=11639 vsize=28152 CPUtime=0.1
/proc/11641/stat : 11641 (SApperloT-base) R 11639 11641 11569 0 -1 4194304 5315 0 0 0 8 2 0 0 18 0 1 0 307344634 28827648 5299 1992294400 134512640 135674940 4294956208 18446744073709551615 135113206 0 0 4096 0 0 0 0 17 0 0 0
/proc/11641/statm: 7038 5299 90 283 0 6752 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 28152
[startup+0.301236 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11641
/proc/meminfo: memFree=1711856/2055920 swapFree=4179968/4192956
[pid=11641] ppid=11639 vsize=35544 CPUtime=0.29
/proc/11641/stat : 11641 (SApperloT-base) R 11639 11641 11569 0 -1 4194304 7239 0 0 0 26 3 0 0 19 0 1 0 307344634 36397056 7223 1992294400 134512640 135674940 4294956208 18446744073709551615 135113206 0 0 4096 0 0 0 0 17 0 0 0
/proc/11641/statm: 8886 7223 90 283 0 8600 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35544
[startup+0.70129 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11641
/proc/meminfo: memFree=1711856/2055920 swapFree=4179968/4192956
[pid=11641] ppid=11639 vsize=49800 CPUtime=0.69
/proc/11641/stat : 11641 (SApperloT-base) R 11639 11641 11569 0 -1 4194304 10979 0 0 0 64 5 0 0 23 0 1 0 307344634 50995200 10963 1992294400 134512640 135674940 4294956208 18446744073709551615 134590768 0 0 4096 0 0 0 0 17 0 0 0
/proc/11641/statm: 12450 10964 90 283 0 12164 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49800
[startup+1.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11642
/proc/meminfo: memFree=1657704/2055920 swapFree=4179968/4192956
[pid=11641] ppid=11639 vsize=60820 CPUtime=1.49
/proc/11641/stat : 11641 (SApperloT-base) R 11639 11641 11569 0 -1 4194304 14001 0 0 0 143 6 0 0 25 0 1 0 307344634 62279680 13757 1992294400 134512640 135674940 4294956208 18446744073709551615 134564271 0 0 4096 0 0 0 0 17 0 0 0
/proc/11641/statm: 15205 13757 98 283 0 14919 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 60820
[startup+3.10162 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11642
/proc/meminfo: memFree=1656936/2055920 swapFree=4179968/4192956
[pid=11641] ppid=11639 vsize=60820 CPUtime=3.09
/proc/11641/stat : 11641 (SApperloT-base) R 11639 11641 11569 0 -1 4194304 14066 0 0 0 303 6 0 0 25 0 1 0 307344634 62279680 13822 1992294400 134512640 135674940 4294956208 18446744073709551615 134564394 0 0 4096 0 0 0 0 17 1 0 0
/proc/11641/statm: 15205 13822 98 283 0 14919 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 60820
[startup+6.30104 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11642
/proc/meminfo: memFree=1656616/2055920 swapFree=4179968/4192956
[pid=11641] ppid=11639 vsize=61216 CPUtime=6.27
/proc/11641/stat : 11641 (SApperloT-base) R 11639 11641 11569 0 -1 4194304 14146 0 0 0 621 6 0 0 25 0 1 0 307344634 62685184 13902 1992294400 134512640 135674940 4294956208 18446744073709551615 134564154 0 0 4096 0 0 0 0 17 0 0 0
/proc/11641/statm: 15304 13902 98 283 0 15018 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 61216
[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11642
/proc/meminfo: memFree=1655912/2055920 swapFree=4179968/4192956
[pid=11641] ppid=11639 vsize=63036 CPUtime=12.67
/proc/11641/stat : 11641 (SApperloT-base) R 11639 11641 11569 0 -1 4194304 14638 0 0 0 1261 6 0 0 25 0 1 0 307344634 64548864 14137 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 0 0 0
/proc/11641/statm: 15759 14137 98 283 0 15473 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 63036
[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11642
/proc/meminfo: memFree=1653352/2055920 swapFree=4179968/4192956
[pid=11641] ppid=11639 vsize=65572 CPUtime=25.47
/proc/11641/stat : 11641 (SApperloT-base) R 11639 11641 11569 0 -1 4194304 15292 0 0 0 2539 8 0 0 25 0 1 0 307344634 67145728 14791 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 0 0 0
/proc/11641/statm: 16393 14791 98 283 0 16107 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 65572
[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11642
/proc/meminfo: memFree=1647592/2055920 swapFree=4179968/4192956
[pid=11641] ppid=11639 vsize=71108 CPUtime=51.06
/proc/11641/stat : 11641 (SApperloT-base) R 11639 11641 11569 0 -1 4194304 16739 0 0 0 5097 9 0 0 25 0 1 0 307344634 72814592 16238 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 0 0 0
/proc/11641/statm: 17777 16238 98 283 0 17491 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 71108
Solver just ended. Dumping a history of the last processes samples
[startup+63.9018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11642
/proc/meminfo: memFree=1644200/2055920 swapFree=4179968/4192956
[pid=11641] ppid=11639 vsize=74436 CPUtime=63.85
/proc/11641/stat : 11641 (SApperloT-base) R 11639 11641 11569 0 -1 4194304 17547 0 0 0 6376 9 0 0 25 0 1 0 307344634 76222464 17046 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 0 0 0
/proc/11641/statm: 18609 17046 99 283 0 18323 0
Current children cumulated CPU time (s) 63.85
Current children cumulated vsize (KiB) 74436
[startup+76.7016 s]
/proc/loadavg: 1.08 1.02 1.01 2/65 11642
/proc/meminfo: memFree=1644008/2055920 swapFree=4179968/4192956
[pid=11641] ppid=11639 vsize=74580 CPUtime=76.64
/proc/11641/stat : 11641 (SApperloT-base) R 11639 11641 11569 0 -1 4194304 17598 0 0 0 7655 9 0 0 25 0 1 0 307344634 76369920 17097 1992294400 134512640 135674940 4294956208 18446744073709551615 134564017 0 0 4096 0 0 0 0 17 0 0 0
/proc/11641/statm: 18645 17097 99 283 0 18359 0
Current children cumulated CPU time (s) 76.64
Current children cumulated vsize (KiB) 74580
[startup+79.902 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 11642
/proc/meminfo: memFree=1643752/2055920 swapFree=4179968/4192956
[pid=11641] ppid=11639 vsize=74988 CPUtime=79.84
/proc/11641/stat : 11641 (SApperloT-base) R 11639 11641 11569 0 -1 4194304 17696 0 0 0 7975 9 0 0 25 0 1 0 307344634 76787712 17195 1992294400 134512640 135674940 4294956208 18446744073709551615 134564017 0 0 4096 0 0 0 0 17 0 0 0
/proc/11641/statm: 18747 17195 99 283 0 18461 0
Current children cumulated CPU time (s) 79.84
Current children cumulated vsize (KiB) 74988
[startup+81.5012 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 11642
/proc/meminfo: memFree=1643048/2055920 swapFree=4179968/4192956
[pid=11641] ppid=11639 vsize=75780 CPUtime=81.44
/proc/11641/stat : 11641 (SApperloT-base) R 11639 11641 11569 0 -1 4194304 17900 0 0 0 8134 10 0 0 25 0 1 0 307344634 77598720 17399 1992294400 134512640 135674940 4294956208 18446744073709551615 134563987 0 0 4096 0 0 0 0 17 0 0 0
/proc/11641/statm: 18945 17399 99 283 0 18659 0
Current children cumulated CPU time (s) 81.44
Current children cumulated vsize (KiB) 75780
[startup+82.3013 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 11642
/proc/meminfo: memFree=1643048/2055920 swapFree=4179968/4192956
[pid=11641] ppid=11639 vsize=76848 CPUtime=82.24
/proc/11641/stat : 11641 (SApperloT-base) R 11639 11641 11569 0 -1 4194304 18159 0 0 0 8214 10 0 0 25 0 1 0 307344634 78692352 17658 1992294400 134512640 135674940 4294956208 18446744073709551615 134564017 0 0 4096 0 0 0 0 17 0 0 0
/proc/11641/statm: 19212 17658 99 283 0 18926 0
Current children cumulated CPU time (s) 82.24
Current children cumulated vsize (KiB) 76848
[startup+82.7024 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 11642
/proc/meminfo: memFree=1641704/2055920 swapFree=4179968/4192956
[pid=11641] ppid=11639 vsize=77244 CPUtime=82.65
/proc/11641/stat : 11641 (SApperloT-base) R 11639 11641 11569 0 -1 4194304 18234 0 0 0 8255 10 0 0 25 0 1 0 307344634 79097856 17733 1992294400 134512640 135674940 4294956208 18446744073709551615 134550641 0 0 4096 0 0 0 0 17 0 0 0
/proc/11641/statm: 19311 17733 99 283 0 19025 0
Current children cumulated CPU time (s) 82.65
Current children cumulated vsize (KiB) 77244
[startup+83.1024 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 11642
/proc/meminfo: memFree=1641704/2055920 swapFree=4179968/4192956
[pid=11641] ppid=11639 vsize=77760 CPUtime=83.04
/proc/11641/stat : 11641 (SApperloT-base) R 11639 11641 11569 0 -1 4194304 18300 0 0 0 8294 10 0 0 25 0 1 0 307344634 79626240 17799 1992294400 134512640 135674940 4294956208 18446744073709551615 134564358 0 0 4096 0 0 0 0 17 0 0 0
/proc/11641/statm: 19440 17799 99 283 0 19154 0
Current children cumulated CPU time (s) 83.04
Current children cumulated vsize (KiB) 77760
Child status: 0
Real time (s): 83.116
CPU time (s): 83.0654
CPU user time (s): 82.9524
CPU system time (s): 0.112982
CPU usage (%): 99.9391
Max. virtual memory (cumulated for all children) (KiB): 77760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 82.9524
system time used= 0.112982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18304
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= 2
involuntary context switches= 195
runsolver used 0.06299 second user time and 0.244962 second system time
The end
Begin job on node71 at 2009-05-20 06:19:47
IDJOB=1831946
IDBENCH=71688
IDSOLVER=642
FILE ID=node71/1831946-1242793185
PBS_JOBID= 9322423
Free space on /tmp= 66276 MiB
SOLVER NAME= SApperloT base
BENCH NAME= SAT_RACE06/manol-pipe-c10nidw_s.cnf
COMMAND LINE= HOME/SApperloT-base -seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1831946-1242793185/watcher-1831946-1242793185 -o /tmp/evaluation-result-1831946-1242793185/solver-1831946-1242793185 -C 10000 -W 12000 -M 1800 --output-limit 1,128 HOME/SApperloT-base -seed=1632979797 HOME/instance-1831946-1242793185.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 7989bb134c6f50cb418407e85e733980
RANDOM SEED=1632979797
node71.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.236
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.236
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: 1712272 kB
Buffers: 40116 kB
Cached: 253696 kB
SwapCached: 7156 kB
Active: 75304 kB
Inactive: 227324 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1712272 kB
SwapTotal: 4192956 kB
SwapFree: 4179968 kB
Dirty: 23380 kB
Writeback: 0 kB
Mapped: 14052 kB
Slab: 26948 kB
Committed_AS: 903564 kB
PageTables: 1440 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= 66276 MiB
End job on node71 at 2009-05-20 06:21:10