runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3461010-1307066208/watcher-3461010-1307066208 -o /tmp/evaluation-result-3461010-1307066208/solver-3461010-1307066208 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461010-1307066208.opb
running on 4 cores: 0,2,4,6
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.99 1.22 3/385 24322
/proc/meminfo: memFree=23883964/32951124 swapFree=49244120/67111528
[pid=24320] ppid=24317 vsize=2372 CPUtime=0 cores=0,2,4,6
/proc/24320/stat : 24320 (wbo1.6) R 24317 24320 23490 0 -1 4202496 392 0 0 0 0 0 0 0 21 0 1 0 818223596 2428928 336 33554432000 4194304 5714214 140734271937408 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24320/statm: 593 336 180 372 0 218 0
[startup+0.064984 s]
/proc/loadavg: 0.92 0.99 1.22 3/385 24322
/proc/meminfo: memFree=23883964/32951124 swapFree=49244120/67111528
[pid=24320] ppid=24317 vsize=2888 CPUtime=0.06 cores=0,2,4,6
/proc/24320/stat : 24320 (wbo1.6) R 24317 24320 23490 0 -1 4202496 540 0 0 0 6 0 0 0 21 0 1 0 818223596 2957312 484 33554432000 4194304 5714214 140734271937408 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24320/statm: 722 484 180 372 0 347 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2888
[startup+0.101024 s]
/proc/loadavg: 0.92 0.99 1.22 3/385 24322
/proc/meminfo: memFree=23883964/32951124 swapFree=49244120/67111528
[pid=24320] ppid=24317 vsize=3272 CPUtime=0.09 cores=0,2,4,6
/proc/24320/stat : 24320 (wbo1.6) R 24317 24320 23490 0 -1 4202496 627 0 0 0 9 0 0 0 21 0 1 0 818223596 3350528 571 33554432000 4194304 5714214 140734271937408 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24320/statm: 818 571 180 372 0 443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3272
[startup+0.300963 s]
/proc/loadavg: 0.92 0.99 1.22 3/385 24322
/proc/meminfo: memFree=23883964/32951124 swapFree=49244120/67111528
[pid=24320] ppid=24317 vsize=4716 CPUtime=0.29 cores=0,2,4,6
/proc/24320/stat : 24320 (wbo1.6) R 24317 24320 23490 0 -1 4202496 981 0 0 0 29 0 0 0 21 0 1 0 818223596 4829184 925 33554432000 4194304 5714214 140734271937408 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24320/statm: 1179 925 180 372 0 804 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4716
[startup+0.7009 s]
/proc/loadavg: 0.92 0.99 1.22 3/385 24322
/proc/meminfo: memFree=23883964/32951124 swapFree=49244120/67111528
[pid=24320] ppid=24317 vsize=6232 CPUtime=0.69 cores=0,2,4,6
/proc/24320/stat : 24320 (wbo1.6) R 24317 24320 23490 0 -1 4202496 1348 0 0 0 69 0 0 0 22 0 1 0 818223596 6381568 1292 33554432000 4194304 5714214 140734271937408 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24320/statm: 1558 1292 180 372 0 1183 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6232
[startup+1.5007 s]
/proc/loadavg: 0.92 0.99 1.22 4/387 24324
/proc/meminfo: memFree=23863928/32951124 swapFree=49244120/67111528
[pid=24320] ppid=24317 vsize=8928 CPUtime=1.49 cores=0,2,4,6
/proc/24320/stat : 24320 (wbo1.6) R 24317 24320 23490 0 -1 4202496 2007 0 0 0 148 1 0 0 25 0 1 0 818223596 9142272 1951 33554432000 4194304 5714214 140734271937408 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24320/statm: 2232 1951 180 372 0 1857 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8928
[startup+3.10045 s]
/proc/loadavg: 0.92 0.99 1.22 4/387 24324
/proc/meminfo: memFree=23852768/32951124 swapFree=49244120/67111528
[pid=24320] ppid=24317 vsize=11004 CPUtime=3.09 cores=0,2,4,6
/proc/24320/stat : 24320 (wbo1.6) R 24317 24320 23490 0 -1 4202496 2524 0 0 0 307 2 0 0 25 0 1 0 818223596 11268096 2468 33554432000 4194304 5714214 140734271937408 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24320/statm: 2751 2468 180 372 0 2376 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11004
[startup+6.3009 s]
/proc/loadavg: 1.01 1.00 1.22 4/387 24324
/proc/meminfo: memFree=23827704/32951124 swapFree=49244120/67111528
[pid=24320] ppid=24317 vsize=13848 CPUtime=6.29 cores=0,2,4,6
/proc/24320/stat : 24320 (wbo1.6) R 24317 24320 23490 0 -1 4202496 3193 0 0 0 626 3 0 0 25 0 1 0 818223596 14180352 3137 33554432000 4194304 5714214 140734271937408 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24320/statm: 3462 3137 180 372 0 3087 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13848
[startup+12.7008 s]
/proc/loadavg: 1.09 1.02 1.23 4/387 24324
/proc/meminfo: memFree=23795244/32951124 swapFree=49244120/67111528
[pid=24320] ppid=24317 vsize=18900 CPUtime=12.69 cores=0,2,4,6
/proc/24320/stat : 24320 (wbo1.6) R 24317 24320 23490 0 -1 4202496 4447 0 0 0 1265 4 0 0 25 0 1 0 818223596 19353600 4391 33554432000 4194304 5714214 140734271937408 18446744073709551615 4300287 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24320/statm: 4725 4391 180 372 0 4350 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18900
[startup+25.5005 s]
/proc/loadavg: 1.29 1.07 1.24 4/387 24325
/proc/meminfo: memFree=23756308/32951124 swapFree=49244120/67111528
[pid=24320] ppid=24317 vsize=25332 CPUtime=25.49 cores=0,2,4,6
/proc/24320/stat : 24320 (wbo1.6) R 24317 24320 23490 0 -1 4202496 6040 0 0 0 2541 8 0 0 25 0 1 0 818223596 25939968 5984 33554432000 4194304 5714214 140734271937408 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24320/statm: 6333 5984 180 372 0 5958 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25332
Solver just ended. Dumping a history of the last processes samples
[startup+31.9154 s]
/proc/loadavg: 1.34 1.08 1.24 4/387 24325
/proc/meminfo: memFree=23752580/32951124 swapFree=49244120/67111528
[pid=24320] ppid=24317 vsize=28136 CPUtime=31.9 cores=0,2,4,6
/proc/24320/stat : 24320 (wbo1.6) R 24317 24320 23490 0 -1 4202496 6755 0 0 0 3180 10 0 0 25 0 1 0 818223596 28811264 6699 33554432000 4194304 5714214 140734271937408 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24320/statm: 7034 6699 180 372 0 6659 0
Current children cumulated CPU time (s) 31.9
Current children cumulated vsize (KiB) 28136
[startup+38.3002 s]
/proc/loadavg: 1.40 1.10 1.25 4/387 24325
/proc/meminfo: memFree=23744096/32951124 swapFree=49244120/67111528
[pid=24320] ppid=24317 vsize=31132 CPUtime=38.29 cores=0,2,4,6
/proc/24320/stat : 24320 (wbo1.6) R 24317 24320 23490 0 -1 4202496 7469 0 0 0 3817 12 0 0 25 0 1 0 818223596 31879168 7413 33554432000 4194304 5714214 140734271937408 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24320/statm: 7783 7413 180 372 0 7408 0
Current children cumulated CPU time (s) 38.29
Current children cumulated vsize (KiB) 31132
[startup+41.5007 s]
/proc/loadavg: 1.44 1.11 1.25 4/387 24325
/proc/meminfo: memFree=23742960/32951124 swapFree=49244120/67111528
[pid=24320] ppid=24317 vsize=32412 CPUtime=41.48 cores=0,2,4,6
/proc/24320/stat : 24320 (wbo1.6) R 24317 24320 23490 0 -1 4202496 7778 0 0 0 4136 12 0 0 25 0 1 0 818223596 33189888 7722 33554432000 4194304 5714214 140734271937408 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24320/statm: 8103 7722 180 372 0 7728 0
Current children cumulated CPU time (s) 41.48
Current children cumulated vsize (KiB) 32412
[startup+43.1004 s]
/proc/loadavg: 1.44 1.11 1.25 4/387 24325
/proc/meminfo: memFree=23742464/32951124 swapFree=49244120/67111528
[pid=24320] ppid=24317 vsize=33312 CPUtime=43.08 cores=0,2,4,6
/proc/24320/stat : 24320 (wbo1.6) R 24317 24320 23490 0 -1 4202496 8012 0 0 0 4296 12 0 0 25 0 1 0 818223596 34111488 7956 33554432000 4194304 5714214 140734271937408 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24320/statm: 8328 7956 180 372 0 7953 0
Current children cumulated CPU time (s) 43.08
Current children cumulated vsize (KiB) 33312
[startup+43.9002 s]
/proc/loadavg: 1.49 1.12 1.25 3/387 24325
/proc/meminfo: memFree=23742216/32951124 swapFree=49244120/67111528
[pid=24320] ppid=24317 vsize=33312 CPUtime=43.89 cores=0,2,4,6
/proc/24320/stat : 24320 (wbo1.6) R 24317 24320 23490 0 -1 4202496 8030 0 0 0 4377 12 0 0 25 0 1 0 818223596 34111488 7974 33554432000 4194304 5714214 140734271937408 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24320/statm: 8328 7974 180 372 0 7953 0
Current children cumulated CPU time (s) 43.89
Current children cumulated vsize (KiB) 33312
[startup+44.1002 s]
/proc/loadavg: 1.49 1.12 1.25 3/387 24325
/proc/meminfo: memFree=23742216/32951124 swapFree=49244120/67111528
[pid=24320] ppid=24317 vsize=33312 CPUtime=44.09 cores=0,2,4,6
/proc/24320/stat : 24320 (wbo1.6) R 24317 24320 23490 0 -1 4202496 8030 0 0 0 4396 13 0 0 25 0 1 0 818223596 34111488 7974 33554432000 4194304 5714214 140734271937408 18446744073709551615 4311708 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24320/statm: 8328 7974 180 372 0 7953 0
Current children cumulated CPU time (s) 44.09
Current children cumulated vsize (KiB) 33312
Child status: 0
Real time (s): 44.1248
CPU time (s): 44.1203
CPU user time (s): 43.9873
CPU system time (s): 0.132979
CPU usage (%): 99.9898
Max. virtual memory (cumulated for all children) (KiB): 33312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.9873
system time used= 0.132979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8033
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= 4
involuntary context switches= 98
runsolver used 0.187971 second user time and 0.385941 second system time
The end
Begin job on node101 at 2011-06-03 03:56:48
IDJOB=3461010
IDBENCH=1157
IDSOLVER=1953
FILE ID=node101/3461010-1307066208
RUNJOBID= node101-1307066208-24303
PBS_JOBID= 13497887
Free space on /tmp= 73916 MiB
SOLVER NAME= wbo 1.6
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army10.14bt.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461010-1307066208/watcher-3461010-1307066208 -o /tmp/evaluation-result-3461010-1307066208/solver-3461010-1307066208 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461010-1307066208.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 35996461279b46395c12d24fd378138e
RANDOM SEED=1278879266
node101.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.841
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.68
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.841
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.07
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.841
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.77
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.841
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.841
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.841
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.841
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.841
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 23884540 kB
Buffers: 213728 kB
Cached: 440656 kB
SwapCached: 27120 kB
Active: 8391912 kB
Inactive: 398768 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 23884540 kB
SwapTotal: 67111528 kB
SwapFree: 49244120 kB
Dirty: 9360 kB
Writeback: 0 kB
AnonPages: 8131344 kB
Mapped: 17148 kB
Slab: 134232 kB
PageTables: 74756 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 78582016 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73908 MiB
End job on node101 at 2011-06-03 03:57:33