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-3457466-1307221267/watcher-3457466-1307221267 -o /tmp/evaluation-result-3457466-1307221267/solver-3457466-1307221267 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457466-1307221267.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: 1.92 2.00 1.99 2/506 25874
/proc/meminfo: memFree=17495600/32951124 swapFree=46575304/67111528
[pid=25874] ppid=25872 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/25874/stat : 25874 (java) S 25872 25874 25273 0 -1 4202496 3999 0 1 0 0 0 0 0 25 0 2 0 566317941 10694979584 3701 33554432000 1073741824 1073778376 140735899112000 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/25874/statm: 2611079 3715 917 9 0 2602235 0
[pid=25874/tid=25875] ppid=25872 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/25874/task/25875/stat : 25875 (java) R 25872 25874 25273 0 -1 4202560 6897 0 1 0 0 0 0 0 25 0 2 0 566317941 10694979584 7713 33554432000 1073741824 1073778376 140735899112000 18446744073709551615 268660356155 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.105499 s]
/proc/loadavg: 1.92 2.00 1.99 2/506 25874
/proc/meminfo: memFree=17495600/32951124 swapFree=46575304/67111528
[pid=25874] ppid=25872 vsize=10540044 CPUtime=0.11 cores=1,3,5,7
/proc/25874/stat : 25874 (java) S 25872 25874 25273 0 -1 4202496 13166 0 1 0 10 1 0 0 25 0 18 0 566317941 10793005056 12863 33554432000 1073741824 1073778376 140735899112000 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25874/statm: 2635011 12864 2107 9 0 2625745 0
[pid=25874/tid=25875] ppid=25872 vsize=10540044 CPUtime=0.09 cores=1,3,5,7
/proc/25874/task/25875/stat : 25875 (java) R 25872 25874 25273 0 -1 4202560 11254 0 1 0 8 1 0 0 18 0 18 0 566317941 10793005056 12864 33554432000 1073741824 1073778376 140735899112000 18446744073709551615 47504795242403 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540044
[startup+0.200483 s]
/proc/loadavg: 1.92 2.00 1.99 2/506 25874
/proc/meminfo: memFree=17495600/32951124 swapFree=46575304/67111528
[pid=25874] ppid=25872 vsize=10542304 CPUtime=0.3 cores=1,3,5,7
/proc/25874/stat : 25874 (java) S 25872 25874 25273 0 -1 4202496 15369 0 1 0 29 1 0 0 25 0 18 0 566317941 10795319296 14633 33554432000 1073741824 1073778376 140735899112000 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25874/statm: 2635576 14634 2188 9 0 2626310 0
[pid=25874/tid=25875] ppid=25872 vsize=10542304 CPUtime=0.19 cores=1,3,5,7
/proc/25874/task/25875/stat : 25875 (java) R 25872 25874 25273 0 -1 4202560 11835 0 1 0 18 1 0 0 18 0 18 0 566317941 10795319296 14634 33554432000 1073741824 1073778376 140735899112000 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 10542304
[startup+0.300521 s]
/proc/loadavg: 1.92 2.00 1.99 2/506 25874
/proc/meminfo: memFree=17495600/32951124 swapFree=46575304/67111528
[pid=25874] ppid=25872 vsize=10544640 CPUtime=0.51 cores=1,3,5,7
/proc/25874/stat : 25874 (java) S 25872 25874 25273 0 -1 4202496 17032 0 1 0 50 1 0 0 25 0 19 0 566317941 10797711360 15730 33554432000 1073741824 1073778376 140735899112000 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25874/statm: 2636160 15730 2205 9 0 2626894 0
[pid=25874/tid=25875] ppid=25872 vsize=10544640 CPUtime=0.29 cores=1,3,5,7
/proc/25874/task/25875/stat : 25875 (java) R 25872 25874 25273 0 -1 4202560 12561 0 1 0 28 1 0 0 19 0 19 0 566317941 10797711360 15730 33554432000 1073741824 1073778376 140735899112000 18446744073709551615 46912505226881 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10544640
[startup+0.700397 s]
/proc/loadavg: 1.92 2.00 1.99 2/506 25874
/proc/meminfo: memFree=17495600/32951124 swapFree=46575304/67111528
[pid=25874] ppid=25872 vsize=10563480 CPUtime=1.7 cores=1,3,5,7
/proc/25874/stat : 25874 (java) S 25872 25874 25273 0 -1 4202496 37081 0 1 0 166 4 0 0 25 0 19 0 566317941 10817003520 32118 33554432000 1073741824 1073778376 140735899112000 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25874/statm: 2640870 32119 2221 9 0 2631604 0
[pid=25874/tid=25875] ppid=25872 vsize=10563480 CPUtime=0.68 cores=1,3,5,7
/proc/25874/task/25875/stat : 25875 (java) R 25872 25874 25273 0 -1 4202560 22247 0 1 0 66 2 0 0 19 0 19 0 566317941 10817003520 32119 33554432000 1073741824 1073778376 140735899112000 18446744073709551615 46912505691774 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 10563480
Solver just ended. Dumping a history of the last processes samples
[startup+0.800416 s]
/proc/loadavg: 1.92 2.00 1.99 2/506 25874
/proc/meminfo: memFree=17495600/32951124 swapFree=46575304/67111528
[pid=25874] ppid=25872 vsize=10563480 CPUtime=1.94 cores=1,3,5,7
/proc/25874/stat : 25874 (java) S 25872 25874 25273 0 -1 4202496 45336 0 1 0 189 5 0 0 25 0 19 0 566317941 10817003520 40229 33554432000 1073741824 1073778376 140735899112000 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25874/statm: 2640870 40233 2221 9 0 2631604 0
[pid=25874/tid=25875] ppid=25872 vsize=10563480 CPUtime=0.79 cores=1,3,5,7
/proc/25874/task/25875/stat : 25875 (java) R 25872 25874 25273 0 -1 4202560 30469 0 1 0 75 4 0 0 19 0 19 0 566317941 10817003520 40237 33554432000 1073741824 1073778376 140735899112000 18446744073709551615 46912505648663 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 10563480
[startup+0.900394 s]
/proc/loadavg: 1.92 2.00 1.99 2/506 25874
/proc/meminfo: memFree=17495600/32951124 swapFree=46575304/67111528
[pid=25874] ppid=25872 vsize=10563480 CPUtime=2.1 cores=1,3,5,7
/proc/25874/stat : 25874 (java) S 25872 25874 25273 0 -1 4202496 55533 0 1 0 204 6 0 0 25 0 19 0 566317941 10817003520 50339 33554432000 1073741824 1073778376 140735899112000 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25874/statm: 2640870 50344 2222 9 0 2631604 0
[pid=25874/tid=25875] ppid=25872 vsize=10563480 CPUtime=0.89 cores=1,3,5,7
/proc/25874/task/25875/stat : 25875 (java) R 25872 25874 25273 0 -1 4202560 40569 0 1 0 84 5 0 0 19 0 19 0 566317941 10817003520 50346 33554432000 1073741824 1073778376 140735899112000 18446744073709551615 46912505710576 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 10563480
Child status: 30
Real time (s): 0.945129
CPU time (s): 2.15467
CPU user time (s): 2.07368
CPU system time (s): 0.080987
CPU usage (%): 227.976
Max. virtual memory (cumulated for all children) (KiB): 10563480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.07368
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= 57059
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= 244
involuntary context switches= 38
runsolver used 0.012998 second user time and 0.005999 second system time
The end
Begin job on node107 at 2011-06-04 23:01:07
IDJOB=3457466
IDBENCH=2857
IDSOLVER=1951
FILE ID=node107/3457466-1307221267
RUNJOBID= node107-1307215872-25292
PBS_JOBID= 13509111
Free space on /tmp= 73884 MiB
SOLVER NAME= Sat4j CuttingPlanes 2.3.0
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_70_70.r.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3457466-1307221267/watcher-3457466-1307221267 -o /tmp/evaluation-result-3457466-1307221267/solver-3457466-1307221267 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457466-1307221267.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 53a568f0fdbc8cc091f9ceed6dccddf7
RANDOM SEED=94195607
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: 17495740 kB
Buffers: 344224 kB
Cached: 2183920 kB
SwapCached: 22548 kB
Active: 13058224 kB
Inactive: 2037888 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 17495740 kB
SwapTotal: 67111528 kB
SwapFree: 46575304 kB
Dirty: 588 kB
Writeback: 0 kB
AnonPages: 12563216 kB
Mapped: 41072 kB
Slab: 187952 kB
PageTables: 102288 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 155456648 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= 73884 MiB
End job on node107 at 2011-06-04 23:01:08