0.00/0.00 c 2016-06-06T15:38:18+0200
0.00/0.00 c version = 0.5.0
0.00/0.00 c githash = 1a49202
0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00 c arch = x86_64
0.00/0.00 c os = linux
0.00/0.00 c compiler = ghc 7.10
0.00/0.00 c packages:
0.00/0.00 c OptDir-0.0.3
0.00/0.00 c array-0.5.1.0
0.00/0.00 c base-4.8.2.0
0.00/0.00 c bytestring-0.10.6.0
0.00/0.00 c bytestring-builder-0.10.6.0.0
0.00/0.00 c clock-0.7.2
0.00/0.00 c containers-0.5.6.2
0.00/0.00 c data-default-0.5.3
0.00/0.00 c data-default-class-0.0.1
0.00/0.00 c data-interval-1.2.0
0.00/0.00 c deepseq-1.4.1.1
0.00/0.00 c directory-1.2.2.0
0.00/0.00 c exceptions-0.8.2.1
0.00/0.00 c extended-reals-0.2.1.0
0.00/0.00 c filepath-1.4.0.0
0.00/0.00 c finite-field-0.8.0
0.00/0.00 c hashable-1.2.4.0
0.00/0.00 c heaps-0.3.3
0.00/0.00 c intern-0.9.1.4
0.00/0.00 c loop-0.3.0
0.00/0.00 c mtl-2.2.1
0.00/0.00 c multiset-0.3.2
0.00/0.00 c mwc-random-0.13.3.2
0.00/0.00 c parse_dimacs-1.3
0.00/0.00 c parsec-3.1.9
0.00/0.00 c prettyclass-1.0.0.0
0.00/0.00 c primes-0.2.1.0
0.00/0.00 c primitive-0.6.1.0
0.00/0.00 c process-1.2.3.0
0.00/0.00 c pseudo-boolean-0.1.3.0
0.00/0.01 c queue-0.1.2
0.00/0.01 c semigroups-0.18.1
0.00/0.01 c sign-0.4.3
0.00/0.01 c stm-2.4.4.1
0.00/0.01 c template-haskell-2.10.0.0
0.00/0.01 c temporary-1.2.0.4
0.00/0.01 c time-1.5.0.1
0.00/0.01 c transformers-0.4.2.0
0.00/0.01 c transformers-compat-0.5.1.4
0.00/0.01 c type-level-numbers-0.1.1.1
0.00/0.01 c unbounded-delays-0.1.0.9
0.00/0.01 c unordered-containers-0.2.6.0
0.00/0.01 c vector-0.11.0.0
0.00/0.01 c vector-space-0.10.3
0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4078611-1465220297.opb"]
0.00/0.01 c use --random-gen="732180460 2039191428 1115473091 744606817 2612264057 3479117093 1208435092 256926640 2350476042 2100091164 1910256219 1010607324 1109213564 2629842699 159376121 1089449326 4091275122 764451516 1676309983 584024612 3969308379 4180598952 1471219821 1081788775 1126459830 1649387098 2129875426 1095665143 4068712191 1852400553 805154005 1447645527 1318196476 494500179 2405812724 2513272059 866070354 246738803 3064020322 2892870136 2510408515 2722737737 712110670 1004429830 523689638 4137759908 248382472 3591596972 1185218696 2893923848 3519422817 1858252542 1239688939 3973926229 1465423800 968844418 1540171526 3799923343 366130548 2693905186 1967933761 2724352579 1200244909 3847320448 714968969 3515372860 2628965514 1286704682 3469066130 4278656592 3848377325 188665663 623959162 287343404 2102893347 2987033776 3894071051 2746138169 4085001469 485243732 2084335208 2623666695 1077963352 3960581707 98935480 3374707690 3986749523 4235570505 1518684071 649431271 853009719 2304679075 4046921554 3047298830 3442235926 1058127532 614971894 1910283592 3952821851 1167137246 1987463 1440081022 2138675792 3353784707 1994176490 768999662 2718942618 2514419325 3877096442 906475317 1448695763 4209156235 451565014 4276677108 1897035403 3951709980 1554815226 791665862 3679183885 65918167 1871454622 2002829560 2417319206 2295712052 37467916 1767252225 2367872284 956403686 2026600090 348985 1080814601 1106210307 179821847 2665427784 3559386290 3289634703 3981299605 3565381291 3765245078 633850971 3057937384 1329726259 4105276084 3580535390 2108519254 1386047932 2304909872 3815218283 280933093 2588596620 3667045630 613203436 1121762556 722262974 4096557904 987295833 66600697 508061030 192672610 851406948 2239273762 500234696 2370344128 3735024499 1355356243 3980773642 3376538355 2554552599 411215971 3153210931 459386982 3929840703 1079711234 2215764453 267630388 2949968426 222198798 1448988278 2890041013 3318897346 89658908 2845583563 336012861 4157223132 1940050372 711773817 1862910664 1438876222 1348748423 37779300 1183688558 652659020 2985705365 988294584 1099725341 2782901527 1807614018 2747380538 80377569 1123929081 3513412655 2583628063 2059466252 348762405 1914916488 4235696966 1777005832 2876130315 3358723420 2174015871 1549589520 3199401591 3392871348 277952844 1441110073 3919841571 3850543129 2211046225 803248629 3643920505 1027137753 4005138230 297142285 3612976015 2425150173 3873336604 3766820586 3138018584 2826404568 3430386119 3341772812 295681795 4196885496 3873088177 1687368994 1880586264 2403325108 1073119082 3286764019 1908495421 2288521125 675667906 256056623 2604729007 4096628749 4279868879 1367824029 492670653 1753721177 674190910 2566283896 156076212 3001741592 2925972037 2443377660 1423461397 255 362436" option to reproduce the execution
0.00/0.01 c #vars 234
0.00/0.01 c #constraints 193
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 142 0 | 0 | 0
0.00/0.03 c 0.0s | 1 | 148 | 100 | 142 0 | 0 | 0
0.00/0.06 c 0.0s | 2 | 413 | 250 | 157 0 | 0 | 0
0.09/0.11 c 0.1s | 3 | 795 | 475 | 173 1 | 0 | 0
0.09/0.12 c 0.1s | 3 | 946 | 484 | 191 2 | 0 | 0
0.09/0.12 c #cpu_time = 0.102s
0.09/0.12 c #wall_clock_time = 0.102s
0.09/0.12 c #decision = 946
0.09/0.12 c #random_decision = 3
0.09/0.12 c #conflict = 484
0.09/0.12 c #restart = 3
0.09/0.12 s SATISFIABLE
0.09/0.12 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
0.09/0.12 v -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
0.09/0.12 v -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 x30
0.09/0.12 v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
0.09/0.12 v -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50
0.09/0.12 v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
0.09/0.12 v x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70
0.09/0.12 v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
0.09/0.12 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90
0.09/0.12 v -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100
0.09/0.12 v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
0.09/0.12 v x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
0.09/0.12 v -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
0.09/0.12 v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
0.09/0.12 v -x141 -x142 x143 x144 -x145 -x146 -x147 -x148 -x149 -x150
0.09/0.12 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160
0.09/0.12 v -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170
0.09/0.12 v -x171 -x172 -x173 x174 -x175 -x176 -x177 x178 -x179 -x180
0.09/0.12 v x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
0.09/0.12 v x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200
0.09/0.12 v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210
0.09/0.12 v -x211 -x212 -x213 -x214 x215 -x216 x217 -x218 -x219 -x220
0.09/0.12 v -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 x230
0.09/0.12 v -x231 -x232 -x233 -x234
0.09/0.12 c total CPU time = 0.122s
0.09/0.12 c total wall clock time = 0.122s
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4078611-1465220297/watcher-4078611-1465220297 -o /tmp/evaluation-result-4078611-1465220297/solver-4078611-1465220297 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13092 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078611-1465220297.opb
pid=13721
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.22 2.25 2.25 3/179 13724
/proc/meminfo: memFree=29334884/32872528 swapFree=16636/1570076
[pid=13724] ppid=13721 vsize=665020 CPUtime=0 cores=1,3,5,7
/proc/13724/stat : 13724 (toysat) R 13721 13724 13075 0 -1 4202496 2467 0 0 0 0 0 0 0 20 0 4 0 103962100 680980480 3338 33554432000 4194304 16246674 140733830166800 140733830166224 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13724/statm: 166767 3347 441 2943 0 163661 0
[pid=13724/tid=13725] ppid=13721 vsize=687548 CPUtime=0 cores=1,3,5,7
/proc/13724/task/13725/stat : 13725 (toysat) S 13721 13724 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103962100 704049152 3427 33554432000 4194304 16246674 140733830166800 140496357797104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13724/tid=13726] ppid=13721 vsize=691644 CPUtime=0 cores=1,3,5,7
/proc/13724/task/13726/stat : 13726 (toysat) S 13721 13724 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103962100 708243456 3446 33554432000 4194304 16246674 140733830166800 140496347307248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13724/tid=13727] ppid=13721 vsize=696764 CPUtime=0 cores=1,3,5,7
/proc/13724/task/13727/stat : 13727 (toysat) S 13721 13724 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103962100 713486336 3463 33554432000 4194304 16246674 140733830166800 140496231984304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[startup+0.10018 s]
/proc/loadavg: 2.22 2.25 2.25 3/179 13724
/proc/meminfo: memFree=29334884/32872528 swapFree=16636/1570076
[pid=13724] ppid=13721 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/13724/stat : 13724 (toysat) R 13721 13724 13075 0 -1 4202496 31395 0 0 0 5 4 0 0 20 0 4 0 103962100 1247350784 32255 33554432000 4194304 16246674 140733830166800 140733830166224 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13724/statm: 304529 32263 711 2943 0 301423 0
[pid=13724/tid=13725] ppid=13721 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13724/task/13725/stat : 13725 (toysat) S 13721 13724 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103962100 1247350784 32272 33554432000 4194304 16246674 140733830166800 140496357797104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13724/tid=13726] ppid=13721 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13724/task/13726/stat : 13726 (toysat) S 13721 13724 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103962100 1247350784 32285 33554432000 4194304 16246674 140733830166800 140496347307248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13724/tid=13727] ppid=13721 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13724/task/13727/stat : 13727 (toysat) S 13721 13724 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103962100 1247350784 32298 33554432000 4194304 16246674 140733830166800 140496231984304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 13724 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.10018 s]
/proc/loadavg: 2.22 2.25 2.25 3/179 13724
/proc/meminfo: memFree=29334884/32872528 swapFree=16636/1570076
[pid=13724] ppid=13721 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/13724/stat : 13724 (toysat) R 13721 13724 13075 0 -1 4202496 31395 0 0 0 5 4 0 0 20 0 4 0 103962100 1247350784 32255 33554432000 4194304 16246674 140733830166800 140733830166224 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13724/statm: 304529 32263 711 2943 0 301423 0
[pid=13724/tid=13725] ppid=13721 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13724/task/13725/stat : 13725 (toysat) S 13721 13724 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103962100 1247350784 32272 33554432000 4194304 16246674 140733830166800 140496357797104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13724/tid=13726] ppid=13721 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13724/task/13726/stat : 13726 (toysat) S 13721 13724 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103962100 1247350784 32285 33554432000 4194304 16246674 140733830166800 140496347307248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13724/tid=13727] ppid=13721 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13724/task/13727/stat : 13727 (toysat) S 13721 13724 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103962100 1247350784 32298 33554432000 4194304 16246674 140733830166800 140496231984304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116
Child status: 0
Real time (s): 0.135035
CPU time (s): 0.12398
CPU user time (s): 0.068989
CPU system time (s): 0.054991
CPU usage (%): 91.8132
Max. virtual memory (cumulated for all children) (KiB): 1218116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.068989
system time used= 0.054991
maximum resident set size= 162592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39798
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= 20
involuntary context switches= 4
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.002999 second user time and 0.007998 second system time
The end
Begin job on node140 at 2016-06-06 15:38:17
IDJOB=4078611
IDBENCH=1399
IDSOLVER=2542
FILE ID=node140/4078611-1465220297
RUNJOBID= node140-1465216678-13092
PBS_JOBID= 19843199
Free space on /tmp= 71724 MiB
SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga13_12_sat_pb.cnf.cr.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078611-1465220297/watcher-4078611-1465220297 -o /tmp/evaluation-result-4078611-1465220297/solver-4078611-1465220297 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13092 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078611-1465220297.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 774e61576b805c95b87ab57992a33004
RANDOM SEED=940409586
node140.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011
/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.768
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.53
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
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.768
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
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.768
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
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.768
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.56
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
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.768
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
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.768
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
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.768
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
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.768
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5334.18
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32872528 kB
MemFree: 29335428 kB
Buffers: 7420 kB
Cached: 72908 kB
SwapCached: 1748 kB
Active: 1240716 kB
Inactive: 23364 kB
Active(anon): 1183728 kB
Inactive(anon): 2644 kB
Active(file): 56988 kB
Inactive(file): 20720 kB
Unevictable: 1570076 kB
Mlocked: 16636 kB
SwapTotal: 67108856 kB
SwapFree: 67097912 kB
Dirty: 16568 kB
Writeback: 0 kB
AnonPages: 2751800 kB
Mapped: 10588 kB
Shmem: 0 kB
Slab: 566968 kB
SReclaimable: 11048 kB
SUnreclaim: 555920 kB
KernelStack: 1496 kB
PageTables: 9300 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83545120 kB
Committed_AS: 2897976 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 346412 kB
VmallocChunk: 34341988032 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2729984 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 7552 kB
DirectMap2M: 33538048 kB
Free space on /tmp at the end= 71708 MiB
End job on node140 at 2016-06-06 15:38:18