0.00/0.00 c 2016-06-16T18:38:21+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","--wbo","--search=bcd2","HOME/instance-4093529-1466095101.wbo"]
0.00/0.01 c use --random-gen="3919917771 671264062 1890362979 2486221483 2206419627 3957020794 719194746 3622521741 2614141428 1865553578 610720388 4259893107 3203797677 2055667873 3064784054 3078680429 3371253687 886765281 1079598242 3538182853 2707420785 1197500215 3197385518 2675822060 1051439194 2715413427 2643814607 173138599 2469861050 1773738263 3222066158 579705501 3081230153 3091015705 1709177893 3883254810 3613898824 3854125415 1289722798 795471241 2711344020 4234572277 2268840740 2426339766 3029790334 2875115664 2816275665 2667957626 2869116474 175800798 3616830787 4113266730 3399301286 2314871153 4228417276 4135579405 2286433723 1795268766 2025045209 4216799613 2350877653 1763956055 54773868 2131895194 1593737002 3605199871 4176213513 3499273118 439099863 3095665235 4076169627 3557212249 3038541182 2516793306 3504757998 3281558 3018749081 1764854815 1568562063 2359275503 3470772015 2149625083 2433412861 1794397428 319746930 3281359473 876351589 3893696861 2240147575 2888743789 1188688947 3134844359 1340439079 3834277141 3240514521 75290571 2215835112 1334355758 1792712273 3322028110 4169945466 66300621 3053811166 2351550177 3350756761 2497218709 3044053064 3091694511 2582537675 759693646 1852463088 230912862 717334420 3152425184 2070250190 2941313934 2888211775 3157988966 2083859730 3688222012 757001213 3348373615 5018606 2699337377 3338801886 2923360356 2868539414 998267207 473959336 3513549332 2021517684 1689916203 3741894525 3356080010 2680822579 1420356074 581612365 3949193311 3494272183 1952713115 127616999 1698467871 4130109804 4192770861 1704980398 792237663 4278259447 3883530182 2294710341 436266634 3938068114 819541467 3794422678 2523826308 1797321397 2573528404 2909180678 283785606 1335634014 3383787096 2943728236 658862146 2340411319 4074517689 3536314117 3412809656 2226131078 1992207555 4131383725 875303480 4200653141 286963092 481428795 2447529715 3706547709 2838631796 4052848997 3922413701 703450303 2358087034 3388254063 3715084393 1228726823 3654283949 1707274651 2640670611 2822466858 3369526291 193710648 1648837517 1292387355 1689112895 2021358165 2102638339 1608089535 2139947036 4115062864 3396685565 3579205231 1124467610 684672134 3387569881 11040099 27020257 2112906256 4045512428 3352075654 2974505405 941393121 561583561 276342653 3244601127 4228552312 290761227 706635047 3453461841 2924622498 4069053792 1058071853 2868822842 1591651970 3269982364 3556813933 415914052 1160851244 4098908073 511510711 4096269739 4016134431 183351803 1585752423 1318645644 695874119 4108028280 28821243 2327159433 580147540 1866457055 3982991943 2303740600 3966118737 3998953828 817527445 235532846 1192263350 3300763345 3946998379 275763129 891547151 2697722671 200919941 2015994624 1322320646 1260413912 248098996 689992088 255 362436" option to reproduce the execution
0.00/0.02 c #vars 180
0.00/0.02 c #constraints 330
0.00/0.02 c BCD2: Hardening is enabled.
0.00/0.02 c BCD2: BiasedSearch is enabled.
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 | 280 0 | 0 | 0
0.00/0.06 c 0.0s | 1 | 396 | 100 | 280 0 | 0 | 0
0.00/0.06 c 0.0s | 1 | 676 | 100 | 280 0 | 0 | 0
0.00/0.06 c #cpu_time = 0.038s
0.00/0.06 c #wall_clock_time = 0.038s
0.00/0.06 c #decision = 676
0.00/0.06 c #random_decision = 1
0.00/0.06 c #conflict = 100
0.00/0.06 c #restart = 1
0.00/0.06 o 1
0.00/0.06 c BCD2: hardening fixes 240 literals
0.00/0.06 c BCD2: updating upper bound: 240 -> 0
0.00/0.06 c BCD2: 0 <= obj <= 0
0.00/0.06 c BCD2: #cores=0, #unrelaxed=0, #relaxed=0, #hardened=240
0.00/0.06 c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 280 0 | 240 | 0
0.00/0.08 c 0.0s | 1 | 134 | 100 | 308 0 | 240 | 0
0.00/0.09 c 0.0s | 2 | 378 | 250 | 339 0 | 240 | 0
0.09/0.12 c 0.1s | 3 | 728 | 475 | 373 0 | 240 | 0
0.09/0.13 c 0.1s | 3 | 821 | 568 | 373 0 | 276 | 36
0.09/0.13 c #cpu_time = 0.066s
0.09/0.13 c #wall_clock_time = 0.066s
0.09/0.13 c #decision = 821
0.09/0.13 c #random_decision = 5
0.09/0.13 c #conflict = 568
0.09/0.13 c #restart = 3
0.09/0.13 c lower bound updated to 1
0.09/0.13 s OPTIMUM FOUND
0.09/0.13 v x1 -x2 x3 -x4 x5 -x6 x7 -x8 x9 -x10
0.09/0.13 v x11 -x12 x13 -x14 -x15 x16 -x17 x18 -x19 x20
0.09/0.13 v -x21 x22 -x23 x24 -x25 x26 -x27 x28 -x29 x30
0.09/0.13 v -x31 x32 -x33 x34 -x35 x36 -x37 x38 -x39 x40
0.09/0.13 v -x41 x42 -x43 x44 -x45 x46 -x47 x48 -x49 x50
0.09/0.13 v -x51 x52 -x53 x54 -x55 x56 -x57 x58 -x59 x60
0.09/0.13 v -x61 x62 -x63 x64 -x65 x66 -x67 x68 -x69 x70
0.09/0.13 v -x71 x72 -x73 x74 -x75 x76 -x77 x78 -x79 x80
0.09/0.13 v -x81 x82 -x83 x84 -x85 x86 -x87 x88 -x89 x90
0.09/0.13 v -x91 x92 -x93 x94 -x95 x96 -x97 x98 -x99 x100
0.09/0.13 v -x101 x102 x103 -x104 x105 -x106 x107 -x108 -x109 x110
0.09/0.13 v -x111 x112 -x113 x114 -x115 x116 -x117 x118 x119 -x120
0.09/0.13 v -x121 x122 -x123 x124 -x125 x126 -x127 x128 -x129 x130
0.09/0.13 v -x131 x132 x133 -x134 -x135 x136 -x137 x138 -x139 x140
0.09/0.13 v -x141 x142 -x143 x144 -x145 x146 -x147 x148 -x149 x150
0.09/0.13 v -x151 x152 -x153 x154 -x155 x156 -x157 x158 -x159 x160
0.09/0.13 v -x161 x162 -x163 x164 -x165 x166 -x167 x168 -x169 x170
0.09/0.13 v -x171 x172 -x173 x174 -x175 x176 -x177 x178 -x179 x180
0.09/0.13 c total CPU time = 0.134s
0.09/0.13 c total wall clock time = 0.134s
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-4093529-1466095101/watcher-4093529-1466095101 -o /tmp/evaluation-result-4093529-1466095101/solver-4093529-1466095101 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466074715-9714 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093529-1466095101.wbo
pid=13314
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.18 2.12 2.09 3/179 13317
/proc/meminfo: memFree=30626056/32872528 swapFree=240572/273276
[pid=13317] ppid=13314 vsize=742844 CPUtime=0 cores=1,3,5,7
/proc/13317/stat : 13317 (toysat) R 13314 13317 7549 0 -1 4202496 2773 0 0 0 0 0 0 0 20 0 4 0 11560095 760672256 3134 33554432000 4194304 16246674 140735343968544 140735343967968 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13317/statm: 186223 3144 441 2943 0 183117 0
[pid=13317/tid=13318] ppid=13314 vsize=761276 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13318/stat : 13318 (toysat) S 13314 13317 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11560095 779546624 3206 33554432000 4194304 16246674 140735343968544 140669535366384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13317/tid=13319] ppid=13314 vsize=765372 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13319/stat : 13319 (toysat) S 13314 13317 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11560095 783740928 3224 33554432000 4194304 16246674 140735343968544 140669524876528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13317/tid=13320] ppid=13314 vsize=769468 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13320/stat : 13320 (toysat) S 13314 13317 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11560095 787935232 3241 33554432000 4194304 16246674 140735343968544 140669439962288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[startup+0.100171 s]
/proc/loadavg: 2.18 2.12 2.09 3/179 13317
/proc/meminfo: memFree=30626056/32872528 swapFree=240572/273276
[pid=13317] ppid=13314 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/13317/stat : 13317 (toysat) R 13314 13317 7549 0 -1 4202496 26382 0 0 0 6 3 0 0 20 0 4 0 11560095 1247350784 26728 33554432000 4194304 16246674 140735343968544 140735343967968 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13317/statm: 304529 26737 784 2943 0 301423 0
[pid=13317/tid=13318] ppid=13314 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13318/stat : 13318 (toysat) S 13314 13317 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11560095 1247350784 26742 33554432000 4194304 16246674 140735343968544 140669535366384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13317/tid=13319] ppid=13314 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13319/stat : 13319 (toysat) S 13314 13317 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11560095 1247350784 26749 33554432000 4194304 16246674 140735343968544 140669524876528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13317/tid=13320] ppid=13314 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13320/stat : 13320 (toysat) S 13314 13317 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11560095 1247350784 26754 33554432000 4194304 16246674 140735343968544 140669439962288 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 13317 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.100171 s]
/proc/loadavg: 2.18 2.12 2.09 3/179 13317
/proc/meminfo: memFree=30626056/32872528 swapFree=240572/273276
[pid=13317] ppid=13314 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/13317/stat : 13317 (toysat) R 13314 13317 7549 0 -1 4202496 26382 0 0 0 6 3 0 0 20 0 4 0 11560095 1247350784 26728 33554432000 4194304 16246674 140735343968544 140735343967968 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13317/statm: 304529 26737 784 2943 0 301423 0
[pid=13317/tid=13318] ppid=13314 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13318/stat : 13318 (toysat) S 13314 13317 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11560095 1247350784 26742 33554432000 4194304 16246674 140735343968544 140669535366384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13317/tid=13319] ppid=13314 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13319/stat : 13319 (toysat) S 13314 13317 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11560095 1247350784 26749 33554432000 4194304 16246674 140735343968544 140669524876528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13317/tid=13320] ppid=13314 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13320/stat : 13320 (toysat) S 13314 13317 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11560095 1247350784 26754 33554432000 4194304 16246674 140735343968544 140669439962288 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.145794
CPU time (s): 0.143977
CPU user time (s): 0.082987
CPU system time (s): 0.06099
CPU usage (%): 98.7538
Max. virtual memory (cumulated for all children) (KiB): 1218116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.082987
system time used= 0.06099
maximum resident set size= 140560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34803
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= 19
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.005999 second user time and 0.003999 second system time
The end
Begin job on node107 at 2016-06-16 18:38:21
IDJOB=4093529
IDBENCH=79376
IDSOLVER=2553
FILE ID=node107/4093529-1466095101
RUNJOBID= node107-1466074715-9714
PBS_JOBID= 19904025
Free space on /tmp= 71696 MiB
SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/dimacs/normalized-dubois30_ext.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093529-1466095101/watcher-4093529-1466095101 -o /tmp/evaluation-result-4093529-1466095101/solver-4093529-1466095101 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466074715-9714 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093529-1466095101.wbo
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 21446dfb16098e5d1884d4f09afe5266
RANDOM SEED=1594672460
node107.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.953
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.90
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.953
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.953
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.56
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.953
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.953
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.953
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.56
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.953
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.953
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 : 5332.57
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32872528 kB
MemFree: 30626840 kB
Buffers: 50188 kB
Cached: 118580 kB
SwapCached: 2508 kB
Active: 1181328 kB
Inactive: 89496 kB
Active(anon): 1102168 kB
Inactive(anon): 2156 kB
Active(file): 79160 kB
Inactive(file): 87340 kB
Unevictable: 273276 kB
Mlocked: 240572 kB
SwapTotal: 67108856 kB
SwapFree: 67099244 kB
Dirty: 16584 kB
Writeback: 0 kB
AnonPages: 1371980 kB
Mapped: 10864 kB
Shmem: 0 kB
Slab: 568944 kB
SReclaimable: 12044 kB
SUnreclaim: 556900 kB
KernelStack: 1488 kB
PageTables: 6396 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83545120 kB
Committed_AS: 1517280 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 346412 kB
VmallocChunk: 34341988032 kB
HardwareCorrupted: 0 kB
AnonHugePages: 69632 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= 71680 MiB
End job on node107 at 2016-06-16 18:38:21