runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3490918-1307752384/watcher-3490918-1307752384 -o /tmp/evaluation-result-3490918-1307752384/solver-3490918-1307752384 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490918-1307752384.opb --verbosity=0 --format=opb --randomseed=23055123
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: 2.00 1.98 1.78 3/174 9324
/proc/meminfo: memFree=31897996/32951124 swapFree=67060628/67111528
[pid=9324] ppid=9322 vsize=7568 CPUtime=0 cores=0,2,4,6
/proc/9324/stat : 9324 (minisatid) R 9322 9324 8673 0 -1 4202496 403 0 0 0 0 0 0 0 25 0 1 0 886838808 7749632 355 33554432000 4194304 6720400 140736212621856 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9324/statm: 1892 355 230 617 0 1266 0
[startup+0.0802101 s]
/proc/loadavg: 2.00 1.98 1.78 3/174 9324
/proc/meminfo: memFree=31897996/32951124 swapFree=67060628/67111528
[pid=9324] ppid=9322 vsize=11524 CPUtime=0.07 cores=0,2,4,6
/proc/9324/stat : 9324 (minisatid) R 9322 9324 8673 0 -1 4202496 1445 0 0 0 7 0 0 0 25 0 1 0 886838808 11800576 1393 33554432000 4194304 6720400 140736212621856 18446744073709551615 4592598 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9324/statm: 2881 1393 262 617 0 2255 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11524
[startup+0.101206 s]
/proc/loadavg: 2.00 1.98 1.78 3/174 9324
/proc/meminfo: memFree=31897996/32951124 swapFree=67060628/67111528
[pid=9324] ppid=9322 vsize=11524 CPUtime=0.09 cores=0,2,4,6
/proc/9324/stat : 9324 (minisatid) R 9322 9324 8673 0 -1 4202496 1477 0 0 0 9 0 0 0 25 0 1 0 886838808 11800576 1425 33554432000 4194304 6720400 140736212621856 18446744073709551615 4814336 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9324/statm: 2881 1425 262 617 0 2255 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11524
[startup+0.30018 s]
/proc/loadavg: 2.00 1.98 1.78 3/174 9324
/proc/meminfo: memFree=31897996/32951124 swapFree=67060628/67111528
[pid=9324] ppid=9322 vsize=8092 CPUtime=0.29 cores=0,2,4,6
/proc/9324/stat : 9324 (minisatid) R 9322 9324 8673 0 -1 4202496 1730 0 0 0 29 0 0 0 25 0 1 0 886838808 8286208 1543 33554432000 4194304 6720400 140736212621856 18446744073709551615 4616636 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9324/statm: 2023 1543 262 617 0 1397 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8092
[startup+0.701068 s]
/proc/loadavg: 2.00 1.98 1.78 3/174 9324
/proc/meminfo: memFree=31897996/32951124 swapFree=67060628/67111528
[pid=9324] ppid=9322 vsize=9456 CPUtime=0.69 cores=0,2,4,6
/proc/9324/stat : 9324 (minisatid) R 9322 9324 8673 0 -1 4202496 2221 0 0 0 69 0 0 0 25 0 1 0 886838808 9682944 1848 33554432000 4194304 6720400 140736212621856 18446744073709551615 4610404 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9324/statm: 2364 1848 262 617 0 1738 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9456
[startup+1.50092 s]
/proc/loadavg: 2.00 1.98 1.79 3/175 9325
/proc/meminfo: memFree=31892036/32951124 swapFree=67060628/67111528
[pid=9324] ppid=9322 vsize=10084 CPUtime=1.49 cores=0,2,4,6
/proc/9324/stat : 9324 (minisatid) R 9322 9324 8673 0 -1 4202496 2431 0 0 0 149 0 0 0 25 0 1 0 886838808 10326016 2055 33554432000 4194304 6720400 140736212621856 18446744073709551615 4718479 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9324/statm: 2521 2055 262 617 0 1895 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10084
[startup+3.10066 s]
/proc/loadavg: 2.00 1.98 1.79 3/175 9325
/proc/meminfo: memFree=31890916/32951124 swapFree=67060628/67111528
[pid=9324] ppid=9322 vsize=11480 CPUtime=3.09 cores=0,2,4,6
/proc/9324/stat : 9324 (minisatid) R 9322 9324 8673 0 -1 4202496 2672 0 0 0 309 0 0 0 25 0 1 0 886838808 11755520 2290 33554432000 4194304 6720400 140736212621856 18446744073709551615 4616608 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9324/statm: 2870 2290 262 617 0 2244 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11480
[startup+6.30109 s]
/proc/loadavg: 2.00 1.98 1.79 3/175 9325
/proc/meminfo: memFree=31888436/32951124 swapFree=67060628/67111528
[pid=9324] ppid=9322 vsize=13340 CPUtime=6.29 cores=0,2,4,6
/proc/9324/stat : 9324 (minisatid) R 9322 9324 8673 0 -1 4202496 3100 0 0 0 629 0 0 0 25 0 1 0 886838808 13660160 2704 33554432000 4194304 6720400 140736212621856 18446744073709551615 4616723 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9324/statm: 3335 2704 262 617 0 2709 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13340
[startup+12.7009 s]
/proc/loadavg: 2.00 1.98 1.79 3/175 9325
/proc/meminfo: memFree=31883324/32951124 swapFree=67060628/67111528
[pid=9324] ppid=9322 vsize=17084 CPUtime=12.69 cores=0,2,4,6
/proc/9324/stat : 9324 (minisatid) R 9322 9324 8673 0 -1 4202496 4010 0 0 0 1269 0 0 0 25 0 1 0 886838808 17494016 3600 33554432000 4194304 6720400 140736212621856 18446744073709551615 4617324 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9324/statm: 4271 3600 262 617 0 3645 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17084
[startup+25.5006 s]
/proc/loadavg: 2.00 1.98 1.79 3/175 9325
/proc/meminfo: memFree=31880072/32951124 swapFree=67060628/67111528
[pid=9324] ppid=9322 vsize=19028 CPUtime=25.49 cores=0,2,4,6
/proc/9324/stat : 9324 (minisatid) R 9322 9324 8673 0 -1 4202496 4662 0 0 0 2549 0 0 0 25 0 1 0 886838808 19484672 4234 33554432000 4194304 6720400 140736212621856 18446744073709551615 4616608 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9324/statm: 4757 4234 262 617 0 4131 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19028
[startup+51.1009 s]
/proc/loadavg: 2.00 1.98 1.79 3/175 9364
/proc/meminfo: memFree=31896080/32951124 swapFree=67060628/67111528
[pid=9324] ppid=9322 vsize=21832 CPUtime=51.09 cores=0,2,4,6
/proc/9324/stat : 9324 (minisatid) R 9322 9324 8673 0 -1 4202496 5473 0 0 0 5109 0 0 0 25 0 1 0 886838808 22355968 5024 33554432000 4194304 6720400 140736212621856 18446744073709551615 4820064 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9324/statm: 5458 5024 262 617 0 4832 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 21832
Solver just ended. Dumping a history of the last processes samples
[startup+63.9006 s]
/proc/loadavg: 2.00 1.98 1.80 3/175 9364
/proc/meminfo: memFree=31891092/32951124 swapFree=67060628/67111528
[pid=9324] ppid=9322 vsize=24880 CPUtime=63.89 cores=0,2,4,6
/proc/9324/stat : 9324 (minisatid) R 9322 9324 8673 0 -1 4202496 5861 0 0 0 6389 0 0 0 25 0 1 0 886838808 25477120 5406 33554432000 4194304 6720400 140736212621856 18446744073709551615 4617061 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9324/statm: 6220 5406 262 617 0 5594 0
Current children cumulated CPU time (s) 63.89
Current children cumulated vsize (KiB) 24880
[startup+70.3004 s]
/proc/loadavg: 2.00 1.98 1.80 3/175 9365
/proc/meminfo: memFree=31888860/32951124 swapFree=67060628/67111528
[pid=9324] ppid=9322 vsize=24880 CPUtime=70.29 cores=0,2,4,6
/proc/9324/stat : 9324 (minisatid) R 9322 9324 8673 0 -1 4202496 5861 0 0 0 7029 0 0 0 25 0 1 0 886838808 25477120 5406 33554432000 4194304 6720400 140736212621856 18446744073709551615 4616835 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9324/statm: 6220 5406 262 617 0 5594 0
Current children cumulated CPU time (s) 70.29
Current children cumulated vsize (KiB) 24880
[startup+71.9012 s]
/proc/loadavg: 2.00 1.98 1.80 3/175 9365
/proc/meminfo: memFree=31888860/32951124 swapFree=67060628/67111528
[pid=9324] ppid=9322 vsize=24880 CPUtime=71.89 cores=0,2,4,6
/proc/9324/stat : 9324 (minisatid) R 9322 9324 8673 0 -1 4202496 5861 0 0 0 7189 0 0 0 25 0 1 0 886838808 25477120 5406 33554432000 4194304 6720400 140736212621856 18446744073709551615 4803283 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9324/statm: 6220 5406 262 617 0 5594 0
Current children cumulated CPU time (s) 71.89
Current children cumulated vsize (KiB) 24880
[startup+72.701 s]
/proc/loadavg: 2.00 1.98 1.80 3/175 9365
/proc/meminfo: memFree=31888860/32951124 swapFree=67060628/67111528
[pid=9324] ppid=9322 vsize=24880 CPUtime=72.69 cores=0,2,4,6
/proc/9324/stat : 9324 (minisatid) R 9322 9324 8673 0 -1 4202496 5861 0 0 0 7269 0 0 0 25 0 1 0 886838808 25477120 5406 33554432000 4194304 6720400 140736212621856 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9324/statm: 6220 5406 262 617 0 5594 0
Current children cumulated CPU time (s) 72.69
Current children cumulated vsize (KiB) 24880
[startup+73.1009 s]
/proc/loadavg: 2.00 1.98 1.80 3/175 9365
/proc/meminfo: memFree=31888860/32951124 swapFree=67060628/67111528
[pid=9324] ppid=9322 vsize=24880 CPUtime=73.09 cores=0,2,4,6
/proc/9324/stat : 9324 (minisatid) R 9322 9324 8673 0 -1 4202496 5861 0 0 0 7309 0 0 0 25 0 1 0 886838808 25477120 5406 33554432000 4194304 6720400 140736212621856 18446744073709551615 4617064 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9324/statm: 6220 5406 262 617 0 5594 0
Current children cumulated CPU time (s) 73.09
Current children cumulated vsize (KiB) 24880
[startup+73.5008 s]
/proc/loadavg: 2.00 1.98 1.80 3/175 9365
/proc/meminfo: memFree=31888860/32951124 swapFree=67060628/67111528
[pid=9324] ppid=9322 vsize=24880 CPUtime=73.49 cores=0,2,4,6
/proc/9324/stat : 9324 (minisatid) R 9322 9324 8673 0 -1 4202496 5861 0 0 0 7349 0 0 0 25 0 1 0 886838808 25477120 5406 33554432000 4194304 6720400 140736212621856 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9324/statm: 6220 5406 262 617 0 5594 0
Current children cumulated CPU time (s) 73.49
Current children cumulated vsize (KiB) 24880
Child status: 20
Real time (s): 73.5119
CPU time (s): 73.5128
CPU user time (s): 73.5018
CPU system time (s): 0.010998
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 24880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 73.5018
system time used= 0.010998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5868
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= 3
involuntary context switches= 95
runsolver used 0.12598 second user time and 0.215967 second system time
The end
Begin job on node106 at 2011-06-11 02:33:04
IDJOB=3490918
IDBENCH=1330
IDSOLVER=1980
FILE ID=node106/3490918-1307752384
RUNJOBID= node106-1307750180-8691
PBS_JOBID= 13550854
Free space on /tmp= 74020 MiB
SOLVER NAME= MinisatID 2.5.2 (fixed)
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900566157.opb
COMMAND LINE= HOME/minisatid BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3490918-1307752384/watcher-3490918-1307752384 -o /tmp/evaluation-result-3490918-1307752384/solver-3490918-1307752384 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490918-1307752384.opb --verbosity=0 --format=opb --randomseed=23055123
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 8170439ba832b251137a16b29cd20ba3
RANDOM SEED=23055123
node106.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.830
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.66
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.830
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.20
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.830
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.830
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.82
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.830
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.830
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.830
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.830
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: 31898772 kB
Buffers: 108592 kB
Cached: 740596 kB
SwapCached: 12488 kB
Active: 220624 kB
Inactive: 675740 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31898772 kB
SwapTotal: 67111528 kB
SwapFree: 67060628 kB
Dirty: 3140 kB
Writeback: 0 kB
AnonPages: 45288 kB
Mapped: 12072 kB
Slab: 92392 kB
PageTables: 3752 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 212228 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= 74016 MiB
End job on node106 at 2011-06-11 02:34:18