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-3458232-1307158403/watcher-3458232-1307158403 -o /tmp/evaluation-result-3458232-1307158403/solver-3458232-1307158403 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458232-1307158403.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: 2.21 2.08 1.98 2/487 12246
/proc/meminfo: memFree=24067796/32951124 swapFree=56297244/67111528
[pid=12246] ppid=12244 vsize=30536 CPUtime=0 cores=0,2,4,6
/proc/12246/stat : 12246 (java) S 12244 12246 8699 0 -1 4202496 1245 0 0 0 0 0 0 0 25 0 2 0 906070809 31268864 963 33554432000 1073741824 1073778376 140736799611552 18446744073709551615 252469868517 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/12246/statm: 7634 963 736 9 0 385 0
[pid=12246/tid=12247] ppid=12244 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12247/stat : 12247 (java) R 12244 12246 8699 0 -1 4202560 6418 0 1 0 0 0 0 0 25 0 2 0 906070809 13850947584 7234 33554432000 1073741824 1073778376 140736799611552 18446744073709551615 252457759803 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.086408 s]
/proc/loadavg: 2.21 2.08 1.98 2/487 12246
/proc/meminfo: memFree=24067796/32951124 swapFree=56297244/67111528
[pid=12246] ppid=12244 vsize=13621236 CPUtime=0.07 cores=0,2,4,6
/proc/12246/stat : 12246 (java) S 12244 12246 8699 0 -1 4202496 15037 0 1 0 6 1 0 0 25 0 18 0 906070809 13948145664 14709 33554432000 1073741824 1073778376 140736799611552 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12246/statm: 3405551 15062 2062 9 0 3396285 0
[pid=12246/tid=12247] ppid=12244 vsize=13622204 CPUtime=0.07 cores=0,2,4,6
/proc/12246/task/12247/stat : 12247 (java) R 12244 12246 8699 0 -1 4202560 13502 0 1 0 6 1 0 0 18 0 18 0 906070809 13949136896 15062 33554432000 1073741824 1073778376 140736799611552 18446744073709551615 252469892555 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13621236
[startup+0.104827 s]
/proc/loadavg: 2.21 2.08 1.98 2/487 12246
/proc/meminfo: memFree=24067796/32951124 swapFree=56297244/67111528
[pid=12246] ppid=12244 vsize=13622204 CPUtime=0.11 cores=0,2,4,6
/proc/12246/stat : 12246 (java) S 12244 12246 8699 0 -1 4202496 15650 0 1 0 9 2 0 0 25 0 18 0 906070809 13949136896 15322 33554432000 1073741824 1073778376 140736799611552 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12246/statm: 3405551 15322 2092 9 0 3396285 0
[pid=12246/tid=12247] ppid=12244 vsize=13622204 CPUtime=0.09 cores=0,2,4,6
/proc/12246/task/12247/stat : 12247 (java) R 12244 12246 8699 0 -1 4202560 13721 0 1 0 7 2 0 0 18 0 18 0 906070809 13949136896 15322 33554432000 1073741824 1073778376 140736799611552 18446744073709551615 47900368913749 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13622204
[startup+0.300776 s]
/proc/loadavg: 2.21 2.08 1.98 2/487 12246
/proc/meminfo: memFree=24067796/32951124 swapFree=56297244/67111528
[pid=12246] ppid=12244 vsize=13626176 CPUtime=0.52 cores=0,2,4,6
/proc/12246/stat : 12246 (java) S 12244 12246 8699 0 -1 4202496 18432 0 1 0 50 2 0 0 25 0 19 0 906070809 13953204224 17229 33554432000 1073741824 1073778376 140736799611552 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12246/statm: 3406544 17229 2194 9 0 3397278 0
[pid=12246/tid=12247] ppid=12244 vsize=13626176 CPUtime=0.29 cores=0,2,4,6
/proc/12246/task/12247/stat : 12247 (java) R 12244 12246 8699 0 -1 4202560 14251 0 1 0 27 2 0 0 18 0 19 0 906070809 13953204224 17230 33554432000 1073741824 1073778376 140736799611552 18446744073709551615 47900372343635 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 13626176
Solver just ended. Dumping a history of the last processes samples
[startup+0.500738 s]
/proc/loadavg: 2.21 2.08 1.98 2/487 12246
/proc/meminfo: memFree=24067796/32951124 swapFree=56297244/67111528
[pid=12246] ppid=12244 vsize=13626476 CPUtime=0.82 cores=0,2,4,6
/proc/12246/stat : 12246 (java) S 12244 12246 8699 0 -1 4202496 19282 0 1 0 79 3 0 0 25 0 19 0 906070809 13953511424 18077 33554432000 1073741824 1073778376 140736799611552 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12246/statm: 3406619 18077 2235 9 0 3397353 0
[pid=12246/tid=12247] ppid=12244 vsize=13626476 CPUtime=0.47 cores=0,2,4,6
/proc/12246/task/12247/stat : 12247 (java) R 12244 12246 8699 0 -1 4202560 14468 0 1 0 45 2 0 0 18 0 19 0 906070809 13953511424 18077 33554432000 1073741824 1073778376 140736799611552 18446744073709551615 46912505573033 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 13626476
Child status: 30
Real time (s): 0.519545
CPU time (s): 0.84787
CPU user time (s): 0.812876
CPU system time (s): 0.034994
CPU usage (%): 163.195
Max. virtual memory (cumulated for all children) (KiB): 13627020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.812876
system time used= 0.034994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19315
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= 184
involuntary context switches= 16
runsolver used 0.003999 second user time and 0.014997 second system time
The end
Begin job on node111 at 2011-06-04 05:33:23
IDJOB=3458232
IDBENCH=48052
IDSOLVER=1952
FILE ID=node111/3458232-1307158403
RUNJOBID= node111-1307156522-11740
PBS_JOBID= 13508805
Free space on /tmp= 73868 MiB
SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=5-P0=17-P1=29-P2=17-P3=19-P4=2-P5=11-P6=29-P7=17-P8=5-B.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458232-1307158403/watcher-3458232-1307158403 -o /tmp/evaluation-result-3458232-1307158403/solver-3458232-1307158403 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458232-1307158403.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 72fe30e1c21a3b80e1a1f9cf3965ebc5
RANDOM SEED=1287520206
node111.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.849
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.69
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.849
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 : 5428.12
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.849
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.849
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.86
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.849
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.75
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.849
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.849
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.67
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.849
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: 24067952 kB
Buffers: 312396 kB
Cached: 818716 kB
SwapCached: 11784 kB
Active: 7839768 kB
Inactive: 765192 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 24067952 kB
SwapTotal: 67111528 kB
SwapFree: 56297244 kB
Dirty: 1096 kB
Writeback: 0 kB
AnonPages: 7471164 kB
Mapped: 36052 kB
Slab: 143684 kB
PageTables: 66588 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 162506240 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= 73868 MiB
End job on node111 at 2011-06-04 05:33:24