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-3468756-1307093735/watcher-3468756-1307093735 -o /tmp/evaluation-result-3468756-1307093735/solver-3468756-1307093735 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468756-1307093735.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2
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: 1.84 1.98 1.99 2/483 12105
/proc/meminfo: memFree=24928440/32950928 swapFree=61542356/67111528
[pid=12105] ppid=12103 vsize=13316 CPUtime=0 cores=0,2,4,6
/proc/12105/stat : 12105 (clasp) R 12103 12105 12040 0 -1 4202496 705 0 0 0 0 0 0 0 25 0 1 0 899604135 13635584 628 33554432000 4194304 4933572 140736816398272 18446744073709551615 260905090827 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12105/statm: 3329 628 347 181 0 338 0
[startup+0.0214011 s]
/proc/loadavg: 1.84 1.98 1.99 2/483 12105
/proc/meminfo: memFree=24928440/32950928 swapFree=61542356/67111528
[pid=12105] ppid=12103 vsize=13316 CPUtime=0.02 cores=0,2,4,6
/proc/12105/stat : 12105 (clasp) R 12103 12105 12040 0 -1 4202496 762 0 0 0 2 0 0 0 25 0 1 0 899604135 13635584 685 33554432000 4194304 4933572 140736816398272 18446744073709551615 4649774 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12105/statm: 3329 685 374 181 0 338 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13316
[startup+0.100431 s]
/proc/loadavg: 1.84 1.98 1.99 2/483 12105
/proc/meminfo: memFree=24928440/32950928 swapFree=61542356/67111528
[pid=12105] ppid=12103 vsize=13316 CPUtime=0.09 cores=0,2,4,6
/proc/12105/stat : 12105 (clasp) R 12103 12105 12040 0 -1 4202496 782 0 0 0 9 0 0 0 25 0 1 0 899604135 13635584 705 33554432000 4194304 4933572 140736816398272 18446744073709551615 4664031 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12105/statm: 3329 705 385 181 0 338 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13316
[startup+0.300395 s]
/proc/loadavg: 1.84 1.98 1.99 2/483 12105
/proc/meminfo: memFree=24928440/32950928 swapFree=61542356/67111528
[pid=12105] ppid=12103 vsize=13724 CPUtime=0.29 cores=0,2,4,6
/proc/12105/stat : 12105 (clasp) R 12103 12105 12040 0 -1 4202496 865 0 0 0 29 0 0 0 25 0 1 0 899604135 14053376 788 33554432000 4194304 4933572 140736816398272 18446744073709551615 4631959 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12105/statm: 3431 788 385 181 0 440 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13724
[startup+0.700327 s]
/proc/loadavg: 1.84 1.98 1.99 2/483 12105
/proc/meminfo: memFree=24928440/32950928 swapFree=61542356/67111528
[pid=12105] ppid=12103 vsize=13724 CPUtime=0.69 cores=0,2,4,6
/proc/12105/stat : 12105 (clasp) R 12103 12105 12040 0 -1 4202496 865 0 0 0 69 0 0 0 25 0 1 0 899604135 14053376 788 33554432000 4194304 4933572 140736816398272 18446744073709551615 4632155 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12105/statm: 3431 788 385 181 0 440 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13724
[startup+1.50118 s]
/proc/loadavg: 1.84 1.98 1.99 3/484 12107
/proc/meminfo: memFree=24923480/32950928 swapFree=61542356/67111528
[pid=12105] ppid=12103 vsize=14384 CPUtime=1.5 cores=0,2,4,6
/proc/12105/stat : 12105 (clasp) R 12103 12105 12040 0 -1 4202496 1036 0 0 0 150 0 0 0 25 0 1 0 899604135 14729216 959 33554432000 4194304 4933572 140736816398272 18446744073709551615 4329844 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12105/statm: 3596 959 385 181 0 605 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 14384
[startup+3.10088 s]
/proc/loadavg: 1.84 1.98 1.99 3/484 12107
/proc/meminfo: memFree=24922116/32950928 swapFree=61542356/67111528
[pid=12105] ppid=12103 vsize=14900 CPUtime=3.1 cores=0,2,4,6
/proc/12105/stat : 12105 (clasp) R 12103 12105 12040 0 -1 4202496 1176 0 0 0 310 0 0 0 25 0 1 0 899604135 15257600 1099 33554432000 4194304 4933572 140736816398272 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12105/statm: 3725 1099 385 181 0 734 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 14900
Solver just ended. Dumping a history of the last processes samples
[startup+4.70059 s]
/proc/loadavg: 1.85 1.98 1.99 3/484 12107
/proc/meminfo: memFree=24921872/32950928 swapFree=61542356/67111528
[pid=12105] ppid=12103 vsize=15032 CPUtime=4.7 cores=0,2,4,6
/proc/12105/stat : 12105 (clasp) R 12103 12105 12040 0 -1 4202496 1210 0 0 0 470 0 0 0 25 0 1 0 899604135 15392768 1133 33554432000 4194304 4933572 140736816398272 18446744073709551615 4340829 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12105/statm: 3758 1133 385 181 0 767 0
Current children cumulated CPU time (s) 4.7
Current children cumulated vsize (KiB) 15032
[startup+5.1004 s]
/proc/loadavg: 1.85 1.98 1.99 3/484 12107
/proc/meminfo: memFree=24921872/32950928 swapFree=61542356/67111528
[pid=12105] ppid=12103 vsize=15032 CPUtime=5.1 cores=0,2,4,6
/proc/12105/stat : 12105 (clasp) R 12103 12105 12040 0 -1 4202496 1210 0 0 0 510 0 0 0 25 0 1 0 899604135 15392768 1133 33554432000 4194304 4933572 140736816398272 18446744073709551615 4635664 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12105/statm: 3758 1133 385 181 0 767 0
Current children cumulated CPU time (s) 5.1
Current children cumulated vsize (KiB) 15032
[startup+5.51733 s]
/proc/loadavg: 1.85 1.98 1.99 3/484 12107
/proc/meminfo: memFree=24920880/32950928 swapFree=61542356/67111528
[pid=12105] ppid=12103 vsize=15032 CPUtime=5.51 cores=0,2,4,6
/proc/12105/stat : 12105 (clasp) R 12103 12105 12040 0 -1 4202496 1210 0 0 0 551 0 0 0 25 0 1 0 899604135 15392768 1133 33554432000 4194304 4933572 140736816398272 18446744073709551615 4368063 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12105/statm: 3758 1133 385 181 0 767 0
Current children cumulated CPU time (s) 5.51
Current children cumulated vsize (KiB) 15032
Child status: 10
Real time (s): 5.59601
CPU time (s): 5.59615
CPU user time (s): 5.59515
CPU system time (s): 0.000999
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 15032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.59515
system time used= 0.000999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1222
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= 7
involuntary context switches= 14
runsolver used 0.034994 second user time and 0.066989 second system time
The end
Begin job on node116 at 2011-06-03 11:35:35
IDJOB=3468756
IDBENCH=2166
IDSOLVER=1958
FILE ID=node116/3468756-1307093735
RUNJOBID= node116-1307093734-12058
PBS_JOBID= 13498000
Free space on /tmp= 73840 MiB
SOLVER NAME= clasp 2.0-R4191
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16e2.opb
COMMAND LINE= HOME/clasp BENCHNAME --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3468756-1307093735/watcher-3468756-1307093735 -o /tmp/evaluation-result-3468756-1307093735/solver-3468756-1307093735 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468756-1307093735.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 70562ccf7e5b2c45714808415668e9f1
RANDOM SEED=1493942107
node116.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.826
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.65
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.826
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.15
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.826
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.75
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.826
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.75
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.826
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.77
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.826
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.75
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.826
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.826
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.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 24928588 kB
Buffers: 229704 kB
Cached: 409932 kB
SwapCached: 12572 kB
Active: 7406728 kB
Inactive: 345044 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 24928588 kB
SwapTotal: 67111528 kB
SwapFree: 61542356 kB
Dirty: 2444 kB
Writeback: 0 kB
AnonPages: 7109632 kB
Mapped: 22496 kB
Slab: 138636 kB
PageTables: 62112 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 139601360 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= 73836 MiB
End job on node116 at 2011-06-03 11:35:40