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-3456191-1307664584/watcher-3456191-1307664584 -o /tmp/evaluation-result-3456191-1307664584/solver-3456191-1307664584 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456191-1307664584.opb
running on 4 cores: 1,3,5,7
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 2.00 2.00 2/195 13271
/proc/meminfo: memFree=30957376/32951124 swapFree=67055708/67111528
[pid=13271] ppid=13269 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/13271/stat : 13271 (java) S 13269 13271 11597 0 -1 4202496 1237 0 0 0 0 0 0 0 23 0 2 0 610649711 31260672 957 33554432000 1073741824 1073778376 140734122329008 18446744073709551615 268672464869 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/13271/statm: 7632 957 730 9 0 383 0
[pid=13271/tid=13272] ppid=13269 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13272/stat : 13272 (java) R 13269 13271 11597 0 -1 4202560 123 0 0 0 0 0 0 0 25 0 2 0 610649712 31260672 957 33554432000 1073741824 1073778376 140734122329008 18446744073709551615 268660662016 0 0 4096 0 0 0 0 -1 1 0 0 0
[startup+0.0991221 s]
/proc/loadavg: 2.00 2.00 2.00 2/195 13271
/proc/meminfo: memFree=30957376/32951124 swapFree=67055708/67111528
[pid=13271] ppid=13269 vsize=10539864 CPUtime=0.11 cores=1,3,5,7
/proc/13271/stat : 13271 (java) S 13269 13271 11597 0 -1 4202496 13075 0 1 0 9 2 0 0 23 0 18 0 610649711 10792820736 12744 33554432000 1073741824 1073778376 140734122329008 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13271/statm: 2634966 12744 2093 9 0 2625700 0
[pid=13271/tid=13272] ppid=13269 vsize=10539864 CPUtime=0.08 cores=1,3,5,7
/proc/13271/task/13272/stat : 13272 (java) R 13269 13271 11597 0 -1 4202560 11149 0 1 0 7 1 0 0 25 0 18 0 610649712 10792820736 12744 33554432000 1073741824 1073778376 140734122329008 18446744073709551615 47041289930972 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539864
[startup+0.10112 s]
/proc/loadavg: 2.00 2.00 2.00 2/195 13271
/proc/meminfo: memFree=30957376/32951124 swapFree=67055708/67111528
[pid=13271] ppid=13269 vsize=10539864 CPUtime=0.11 cores=1,3,5,7
/proc/13271/stat : 13271 (java) S 13269 13271 11597 0 -1 4202496 13094 0 1 0 9 2 0 0 23 0 18 0 610649711 10792820736 12763 33554432000 1073741824 1073778376 140734122329008 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13271/statm: 2634966 12763 2093 9 0 2625700 0
[pid=13271/tid=13272] ppid=13269 vsize=10539864 CPUtime=0.08 cores=1,3,5,7
/proc/13271/task/13272/stat : 13272 (java) R 13269 13271 11597 0 -1 4202560 11168 0 1 0 7 1 0 0 25 0 18 0 610649712 10792820736 12763 33554432000 1073741824 1073778376 140734122329008 18446744073709551615 46912496218441 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539864
[startup+0.309161 s]
/proc/loadavg: 2.00 2.00 2.00 2/195 13271
/proc/meminfo: memFree=30957376/32951124 swapFree=67055708/67111528
[pid=13271] ppid=13269 vsize=10543832 CPUtime=0.52 cores=1,3,5,7
/proc/13271/stat : 13271 (java) S 13269 13271 11597 0 -1 4202496 17249 0 1 0 50 2 0 0 23 0 19 0 610649711 10796883968 16063 33554432000 1073741824 1073778376 140734122329008 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13271/statm: 2635958 16063 2209 9 0 2626692 0
[pid=13271/tid=13272] ppid=13269 vsize=10543832 CPUtime=0.29 cores=1,3,5,7
/proc/13271/task/13272/stat : 13272 (java) R 13269 13271 11597 0 -1 4202560 12740 0 1 0 28 1 0 0 18 0 19 0 610649712 10796883968 16063 33554432000 1073741824 1073778376 140734122329008 18446744073709551615 46912505580489 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10543832
[startup+0.701047 s]
/proc/loadavg: 2.00 2.00 2.00 2/195 13271
/proc/meminfo: memFree=30957376/32951124 swapFree=67055708/67111528
[pid=13271] ppid=13269 vsize=10554300 CPUtime=1.66 cores=1,3,5,7
/proc/13271/stat : 13271 (java) S 13269 13271 11597 0 -1 4202496 44415 0 1 0 159 7 0 0 23 0 20 0 610649711 10807603200 39788 33554432000 1073741824 1073778376 140734122329008 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13271/statm: 2638575 39789 2219 9 0 2629309 0
[pid=13271/tid=13272] ppid=13269 vsize=10554300 CPUtime=0.69 cores=1,3,5,7
/proc/13271/task/13272/stat : 13272 (java) S 13269 13271 11597 0 -1 4202560 32335 0 1 0 64 5 0 0 19 0 20 0 610649712 10807603200 39789 33554432000 1073741824 1073778376 140734122329008 18446744073709551615 268672478105 0 4 0 16800975 18446604466480487168 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 10554300
Solver just ended. Dumping a history of the last processes samples
Child status: 30
Real time (s): 0.72118
CPU time (s): 1.67874
CPU user time (s): 1.59776
CPU system time (s): 0.080987
CPU usage (%): 232.777
Max. virtual memory (cumulated for all children) (KiB): 10554688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.59776
system time used= 0.080987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44441
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 213
involuntary context switches= 19
runsolver used 0.001999 second user time and 0.004999 second system time
The end
Begin job on node107 at 2011-06-10 02:09:44
IDJOB=3456191
IDBENCH=48203
IDSOLVER=1951
FILE ID=node107/3456191-1307664584
RUNJOBID= node107-1307659172-12308
PBS_JOBID= 13549415
Free space on /tmp= 74100 MiB
SOLVER NAME= Sat4j CuttingPlanes 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_50_25_2.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3456191-1307664584/watcher-3456191-1307664584 -o /tmp/evaluation-result-3456191-1307664584/solver-3456191-1307664584 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456191-1307664584.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= b479d3e6e7c019e1b676c88c15e75cf5
RANDOM SEED=1326292268
node107.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.829
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.829
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 : 5332.75
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.829
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.67
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.829
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.829
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.829
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 : 5359.47
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.829
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.829
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: 30959152 kB
Buffers: 82664 kB
Cached: 252812 kB
SwapCached: 19468 kB
Active: 1568988 kB
Inactive: 234156 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 30959152 kB
SwapTotal: 67111528 kB
SwapFree: 67055708 kB
Dirty: 1528 kB
Writeback: 0 kB
AnonPages: 1465716 kB
Mapped: 21012 kB
Slab: 120984 kB
PageTables: 7524 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 10563584 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= 74100 MiB
End job on node107 at 2011-06-10 02:09:45