runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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-3378165-1305463312/watcher-3378165-1305463312 -o /tmp/evaluation-result-3378165-1305463312/solver-3378165-1305463312 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3378165-1305463312.cnf -seed 405595628 -budget 4800 -cores 4
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 3.39 3.89 3.87 2/287 18126
/proc/meminfo: memFree=20637740/32951124 swapFree=66457188/67111528
[pid=18126] ppid=18124 vsize=15384 CPUtime=0 cores=0,2,4,6
/proc/18126/stat : 18126 (python) S 18124 18126 18093 0 -1 4202496 819 0 0 0 0 0 0 0 25 0 1 0 657929382 15753216 704 33554432000 4194304 5683644 140737417463440 18446744073709551615 232335890432 0 2147483391 16781312 2 18446744071699453118 0 0 17 4 0 0 0
/proc/18126/statm: 3846 704 334 364 0 333 0
[startup+0.0477801 s]
/proc/loadavg: 3.39 3.89 3.87 2/287 18126
/proc/meminfo: memFree=20637740/32951124 swapFree=66457188/67111528
[pid=18126] ppid=18124 vsize=18888 CPUtime=0.02 cores=0,2,4,6
/proc/18126/stat : 18126 (python) R 18124 18126 18093 0 -1 4202496 1286 0 0 0 2 0 0 0 25 0 1 0 657929382 19341312 1139 33554432000 4194304 5683644 140737417463440 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/18126/statm: 4722 1139 421 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18888
[startup+0.100824 s]
/proc/loadavg: 3.39 3.89 3.87 2/287 18126
/proc/meminfo: memFree=20637740/32951124 swapFree=66457188/67111528
[pid=18126] ppid=18124 vsize=84476 CPUtime=0.06 cores=0,2,4,6
/proc/18126/stat : 18126 (python) S 18124 18126 18093 0 -1 4202496 2398 0 0 0 4 2 0 0 17 0 1 0 657929382 86503424 2127 33554432000 4194304 5683644 140737417463440 18446744073709551615 232335890432 0 2147483391 16781312 2 18446744071699453118 0 0 17 6 0 0 0
/proc/18126/statm: 21119 2127 707 364 0 1336 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 84476
[startup+0.300732 s]
/proc/loadavg: 3.39 3.89 3.87 2/287 18126
/proc/meminfo: memFree=20637740/32951124 swapFree=66457188/67111528
[pid=18126] ppid=18124 vsize=135588 CPUtime=0.21 cores=0,2,4,6
/proc/18126/stat : 18126 (python) S 18124 18126 18093 0 -1 4202496 5913 935 1 0 14 7 0 0 17 0 1 0 657929382 138842112 4132 33554432000 4194304 5683644 140737417463440 18446744073709551615 232335890432 0 2147483391 16781312 2 18446744071700199571 0 0 17 6 0 0 0
/proc/18126/statm: 33897 4132 1031 364 0 3083 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 135588
[startup+0.700764 s]
/proc/loadavg: 3.39 3.89 3.87 2/287 18126
/proc/meminfo: memFree=20637740/32951124 swapFree=66457188/67111528
[pid=18126] ppid=18124 vsize=232072 CPUtime=0.39 cores=0,2,4,6
/proc/18126/stat : 18126 (python) S 18124 18126 18093 0 -1 4202496 7858 935 1 0 25 14 0 0 16 0 1 0 657929382 237641728 5765 33554432000 4194304 5683644 140737417463440 18446744073709551615 232335890432 0 2147483391 16781312 2 18446744071699453118 0 0 17 6 0 0 0
/proc/18126/statm: 58018 5765 1585 364 0 4340 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 232072
[startup+1.5005 s]
/proc/loadavg: 3.12 3.83 3.85 3/293 18140
/proc/meminfo: memFree=20590424/32951124 swapFree=66457188/67111528
[pid=18126] ppid=18124 vsize=321028 CPUtime=0.92 cores=0,2,4,6
/proc/18126/stat : 18126 (python) S 18124 18126 18093 0 -1 4202496 12855 935 1 0 75 17 0 0 21 0 5 0 657929382 328732672 7445 33554432000 4194304 5683644 140737417463440 18446744073709551615 232347719115 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18126/statm: 80257 7445 1873 364 0 16166 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 321028
Solver just ended. Dumping a history of the last processes samples
[startup+1.90042 s]
/proc/loadavg: 3.12 3.83 3.85 3/293 18140
/proc/meminfo: memFree=20590424/32951124 swapFree=66457188/67111528
[pid=18126] ppid=18124 vsize=321028 CPUtime=0.92 cores=0,2,4,6
/proc/18126/stat : 18126 (python) S 18124 18126 18093 0 -1 4202496 12855 935 1 0 75 17 0 0 21 0 5 0 657929382 328732672 7445 33554432000 4194304 5683644 140737417463440 18446744073709551615 232347719115 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18126/statm: 80257 7445 1873 364 0 16166 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 321028
[startup+2.30135 s]
/proc/loadavg: 3.12 3.83 3.85 6/305 18152
/proc/meminfo: memFree=20507000/32951124 swapFree=66457188/67111528
[pid=18126] ppid=18124 vsize=321028 CPUtime=0.92 cores=0,2,4,6
/proc/18126/stat : 18126 (python) S 18124 18126 18093 0 -1 4202496 12855 935 1 0 75 17 0 0 21 0 5 0 657929382 328732672 7445 33554432000 4194304 5683644 140737417463440 18446744073709551615 232347719115 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18126/statm: 80257 7445 1873 364 0 16166 0
[pid=18141] ppid=18126 vsize=279344 CPUtime=0 cores=0,2,4,6
/proc/18141/stat : 18141 (python) S 18126 18126 18093 0 -1 4202560 727 0 0 0 0 0 0 0 18 0 1 0 657929521 286048256 5774 33554432000 4194304 5683644 140737417463440 18446744073709551615 232335912463 0 0 16781312 514 17939622377239347199 0 0 17 4 0 0 0
/proc/18141/statm: 69836 5774 354 364 0 5754 0
[pid=18144] ppid=18141 vsize=268424 CPUtime=0.89 cores=0,2,4,6
/proc/18144/stat : 18144 (hybridGM3) R 18141 18144 18144 0 -1 4202496 4995 0 0 0 89 0 0 0 21 0 1 0 657929522 274866176 4729 33554432000 134512640 135204385 4289069760 18446744073709551615 134537292 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/18144/statm: 67106 4729 64 169 0 66936 0
[pid=18143] ppid=18126 vsize=290140 CPUtime=0 cores=0,2,4,6
/proc/18143/stat : 18143 (python) S 18126 18126 18093 0 -1 4202560 713 0 0 0 0 0 0 0 19 0 1 0 657929522 297103360 5887 33554432000 4194304 5683644 140737417463440 18446744073709551615 232335912518 0 0 16781312 514 14305193013817638911 0 0 17 4 0 0 0
/proc/18143/statm: 72535 5887 344 364 0 8450 0
[pid=18146] ppid=18143 vsize=451844 CPUtime=0.89 cores=0,2,4,6
/proc/18146/stat : 18146 (TNM) R 18143 18146 18146 0 -1 4202496 760 0 0 0 89 0 0 0 22 0 1 0 657929522 462688256 498 33554432000 134512640 135008748 4289803776 18446744073709551615 134527804 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/18146/statm: 112961 498 46 122 0 111861 0
[pid=18147] ppid=18126 vsize=299920 CPUtime=0 cores=0,2,4,6
/proc/18147/stat : 18147 (python) S 18126 18126 18093 0 -1 4202560 739 0 0 0 0 0 0 0 19 0 1 0 657929523 307118080 5792 33554432000 4194304 5683644 140737417463440 18446744073709551615 232335912518 0 0 16781312 514 3966293313060863999 0 0 17 6 0 0 0
/proc/18147/statm: 74980 5792 348 364 0 10892 0
[pid=18151] ppid=18147 vsize=268424 CPUtime=0.86 cores=0,2,4,6
/proc/18151/stat : 18151 (hybridGM3) R 18147 18151 18151 0 -1 4202496 4994 0 0 0 86 0 0 0 23 0 1 0 657929524 274866176 4729 33554432000 134512640 135204385 4288778912 18446744073709551615 134536863 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/18151/statm: 67106 4729 64 169 0 66936 0
[pid=18149] ppid=18126 vsize=310784 CPUtime=0 cores=0,2,4,6
/proc/18149/stat : 18149 (python) S 18126 18126 18093 0 -1 4202560 750 0 0 0 0 0 0 0 21 0 1 0 657929524 318242816 5916 33554432000 4194304 5683644 140737417463440 18446744073709551615 232335912518 0 0 16781312 514 3848528745778380799 0 0 17 4 0 0 0
/proc/18149/statm: 77696 5916 348 364 0 13605 0
[pid=18152] ppid=18149 vsize=268424 CPUtime=0.87 cores=0,2,4,6
/proc/18152/stat : 18152 (hybridGM3) R 18149 18152 18152 0 -1 4202496 4994 0 0 0 87 0 0 0 25 0 1 0 657929524 274866176 4729 33554432000 134512640 135204385 4293720208 18446744073709551615 134536993 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/18152/statm: 67106 4729 64 169 0 66936 0
[pid=18126/tid=18142] ppid=18124 vsize=321028 CPUtime=0 cores=0,2,4,6
/proc/18126/task/18142/stat : 18142 (python) S 18124 18126 18093 0 -1 4202560 42 935 0 0 0 0 0 0 18 0 5 0 657929521 328732672 7445 33554432000 4194304 5683644 140737417463440 18446744073709551615 232347716017 0 0 16781312 2 18446604442171689664 0 0 -1 2 0 0 0
[pid=18126/tid=18145] ppid=18124 vsize=321028 CPUtime=0 cores=0,2,4,6
/proc/18126/task/18145/stat : 18145 (python) S 18124 18126 18093 0 -1 4202560 24 935 0 0 0 0 0 0 18 0 5 0 657929522 328732672 7445 33554432000 4194304 5683644 140737417463440 18446744073709551615 232347716017 0 0 16781312 2 18446604442171689664 0 0 -1 4 0 0 0
[pid=18126/tid=18148] ppid=18124 vsize=321028 CPUtime=0 cores=0,2,4,6
/proc/18126/task/18148/stat : 18148 (python) S 18124 18126 18093 0 -1 4202560 40 935 0 0 0 0 0 0 20 0 5 0 657929523 328732672 7445 33554432000 4194304 5683644 140737417463440 18446744073709551615 232347716017 0 0 16781312 2 18446604442171689664 0 0 -1 4 0 0 0
[pid=18126/tid=18150] ppid=18124 vsize=321028 CPUtime=0 cores=0,2,4,6
/proc/18126/task/18150/stat : 18150 (python) S 18124 18126 18093 0 -1 4202560 19 935 0 0 0 0 0 0 22 0 5 0 657929524 328732672 7445 33554432000 4194304 5683644 140737417463440 18446744073709551615 232347716017 0 0 16781312 2 18446604442171689664 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.43
Current children cumulated vsize (KiB) 2758332
Child status: 0
Real time (s): 2.36008
CPU time (s): 4.63429
CPU user time (s): 4.41033
CPU system time (s): 0.223965
CPU usage (%): 196.362
Max. virtual memory (cumulated for all children) (KiB): 2758332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.41033
system time used= 0.223965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37717
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= 11843
involuntary context switches= 115
runsolver used 0.012998 second user time and 0.019996 second system time
The end
Begin job on node132 at 2011-05-15 14:41:52
IDJOB=3378165
IDBENCH=82574
IDSOLVER=1859
FILE ID=node132/3378165-1305463312
RUNJOBID= node132-1305463312-18111
PBS_JOBID= 13324991
Free space on /tmp= 73368 MiB
SOLVER NAME= borg-sat 11.03.02-par-random (fixed)
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v2500-c10500-S882087907-088-UNKNOWN.cnf
COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.random.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT -cores NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3378165-1305463312/watcher-3378165-1305463312 -o /tmp/evaluation-result-3378165-1305463312/solver-3378165-1305463312 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3378165-1305463312.cnf -seed 405595628 -budget 4800 -cores 4
TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 3cf1ca6aaef3b8ffa068d087f2b6934e
RANDOM SEED=405595628
node132.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.833
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.833
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.74
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.833
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.76
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.833
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.833
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.833
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.67
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.833
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.82
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.833
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: 32951124 kB
MemFree: 20637772 kB
Buffers: 301192 kB
Cached: 5967568 kB
SwapCached: 6904 kB
Active: 5562348 kB
Inactive: 6434596 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 20637772 kB
SwapTotal: 67111528 kB
SwapFree: 66457188 kB
Dirty: 64904 kB
Writeback: 12 kB
AnonPages: 5726712 kB
Mapped: 18824 kB
Slab: 225352 kB
PageTables: 25948 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 35228856 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73304 MiB
End job on node132 at 2011-05-15 14:41:55