0.00/0.00 c 2016-06-18T22:02:04+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-4106937-1466280123.opb"]
0.00/0.01 c use --random-gen="2349371252 1967752906 83009138 873103343 3342964265 1386967423 1219302611 712215887 3645470331 1348863669 2406246611 1205159723 3346832350 1709535175 3281152337 771085173 1139227668 396940741 119812118 2863733216 2506284246 2264730299 2132249305 3310994372 195127308 1816618514 492785656 52210161 297197914 236339983 1654283347 3550362155 2803241240 3783800383 3948919114 4070559827 3181710707 1856052235 3863348910 1659139033 1810188630 4235002667 3637925997 92981386 1865985768 4163822417 1507223533 4228605646 3259529939 687543538 2938499175 2083147975 2621396063 89042107 2567431533 351531738 1443818573 2480534464 2005006458 2245196843 1399733582 838754837 2349386464 2138206895 1902487424 1271873466 3329814249 235410007 503358212 779747336 182759262 1250379576 1584183136 2647298380 3356697524 1707380316 377812870 2677565428 3943035406 2829220449 2080208904 241259704 3582837010 2839001868 3419231829 1518713400 3747106014 43138805 3770085420 3372013472 2101789453 2627654604 198868767 1332429639 1877774718 637694747 3125983294 145077306 3726601944 4055866026 2737950006 2834669135 1245411622 3216047388 2208085723 2442164690 2788158469 4233313995 44269403 2065538560 3349966000 3820631897 2115033048 2464693964 297819314 1072669822 754162212 880414901 1801763636 192001922 1290049190 1829160796 3204952272 326802251 2365264193 4091254298 3782039737 3088314900 4161078065 3321927637 2789276575 3830055812 3368706706 2828617449 592855964 2788197775 2205118035 1009617151 76471188 1379380428 1775228098 593576794 3593925571 1673261983 3384403154 2582821316 2811597279 696841784 1417056815 42909168 2336556622 407892606 252385160 1889431702 156669278 3947762495 2491606623 1237175474 3227385030 1473558149 3235049476 759958291 4153375396 3862096064 669946729 3860843324 2688992955 1260464328 4166090180 1006270145 370952893 2737334926 2217433535 2602399536 2047155807 4016311158 2030024218 344043745 1866928749 1751091475 3851865295 1246184879 1972347702 4003770211 4173691744 1547546181 3472846645 1094993979 3322596091 3248115572 1788799732 724898914 795293215 2164452237 797368922 2810588285 3257794217 904485812 4255213565 355164105 4285157969 1080730390 2973636554 4087521378 1625756726 2050646598 3215953421 411372904 955440173 3659583803 2523511679 2451981226 73771658 2963188528 4276954968 3909088140 666463553 2900426453 2023252447 1553509895 3717319721 1602606386 2225786003 1777568943 1771508207 1177288507 1336332133 3532428552 4195729381 1211189264 2608167282 2652952916 4294528951 1620851629 2146997513 953069723 4292246683 4141574043 58395895 1860328365 3228600103 659832339 831256625 3435931972 2658320798 3402689787 1451202377 3733932356 1632204788 1249739769 4197892470 209188102 78803045 917426058 3816665449 1372808277 255 362436" option to reproduce the execution
0.00/0.03 c #vars 400
0.00/0.03 c #constraints 602
0.00/0.09 c Solving starts ...
0.00/0.09 c ============================[ Search Statistics ]============================
0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.09 c | | | | Limit GC | Var | Constra
0.00/0.09 c =============================================================================
0.09/0.10 c 0.0s | 0 | 0 | 0 | 1993 0 | 0 | 0
0.09/0.11 c 0.0s | 0 | 228 | 0 | 1993 0 | 0 | 0
0.09/0.11 c #cpu_time = 0.004s
0.09/0.11 c #wall_clock_time = 0.004s
0.09/0.11 c #decision = 228
0.09/0.11 c #random_decision = 0
0.09/0.11 c #conflict = 0
0.09/0.11 c #restart = 0
0.09/0.11 s SATISFIABLE
0.09/0.11 v x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
0.09/0.11 v -x11 -x12 -x13 x14 x15 -x16 -x17 -x18 -x19 x20
0.09/0.11 v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
0.09/0.11 v -x31 -x32 -x33 x34 -x35 -x36 -x37 x38 x39 x40
0.09/0.11 v -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50
0.09/0.11 v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60
0.09/0.11 v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70
0.09/0.11 v x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
0.09/0.11 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90
0.09/0.11 v x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100
0.09/0.11 v -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110
0.09/0.11 v -x111 -x112 x113 x114 x115 x116 -x117 -x118 -x119 -x120
0.09/0.11 v -x121 x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
0.09/0.11 v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140
0.09/0.11 v -x141 x142 -x143 -x144 -x145 x146 -x147 x148 -x149 -x150
0.09/0.11 v x151 -x152 x153 -x154 x155 -x156 -x157 -x158 -x159 -x160
0.09/0.11 v -x161 x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
0.09/0.11 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
0.09/0.11 v -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190
0.09/0.11 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
0.09/0.11 v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
0.09/0.11 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
0.09/0.11 v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
0.09/0.11 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240
0.09/0.11 v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
0.09/0.11 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260
0.09/0.11 v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
0.09/0.11 v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280
0.09/0.11 v -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290
0.09/0.11 v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300
0.09/0.11 v -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310
0.09/0.11 v -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320
0.09/0.11 v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330
0.09/0.11 v -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340
0.09/0.11 v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350
0.09/0.11 v -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
0.09/0.11 v -x361 -x362 -x363 -x364 x365 x366 x367 x368 -x369 x370
0.09/0.11 v x371 x372 x373 x374 x375 x376 -x377 x378 x379 x380
0.09/0.11 v x381 x382 x383 x384 x385 -x386 x387 x388 x389 x390
0.09/0.11 v x391 x392 x393 x394 x395 x396 x397 x398 x399 x400
0.09/0.11 c total CPU time = 0.108s
0.09/0.11 c total wall clock time = 0.108s
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-4106937-1466280123/watcher-4106937-1466280123 -o /tmp/evaluation-result-4106937-1466280123/solver-4106937-1466280123 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466266561-21406 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106937-1466280123.opb
pid=23967
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.29 2.33 2.28 3/181 23970
/proc/meminfo: memFree=28893056/32872528 swapFree=1505436/1685308
[pid=23970] ppid=23967 vsize=688572 CPUtime=0 cores=1,3,5,7
/proc/23970/stat : 23970 (toysat) R 23967 23970 21389 0 -1 4202496 2563 0 0 0 0 0 0 0 20 0 4 0 30058276 705097728 3435 33554432000 4194304 16246674 140733535958352 140733535957776 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23970/statm: 172911 3443 441 2943 0 169805 0
[pid=23970/tid=23971] ppid=23967 vsize=707004 CPUtime=0 cores=1,3,5,7
/proc/23970/task/23971/stat : 23971 (toysat) S 23967 23970 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30058276 723972096 3507 33554432000 4194304 16246674 140733535958352 139887313399024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23970/tid=23972] ppid=23967 vsize=711100 CPUtime=0 cores=1,3,5,7
/proc/23970/task/23972/stat : 23972 (toysat) S 23967 23970 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30058276 728166400 3523 33554432000 4194304 16246674 140733535958352 139887302909168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23970/tid=23973] ppid=23967 vsize=716220 CPUtime=0 cores=1,3,5,7
/proc/23970/task/23973/stat : 23973 (toysat) S 23967 23970 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30058276 733409280 3541 33554432000 4194304 16246674 140733535958352 139887219043504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[startup+0.10017 s]
/proc/loadavg: 2.29 2.33 2.28 3/181 23970
/proc/meminfo: memFree=28893056/32872528 swapFree=1505436/1685308
[pid=23970] ppid=23967 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/23970/stat : 23970 (toysat) R 23967 23970 21389 0 -1 4202496 26109 0 0 0 6 3 0 0 20 0 4 0 30058276 1249447936 26952 33554432000 4194304 16246674 140733535958352 140733535957776 4222282 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23970/statm: 305041 26956 696 2943 0 301935 0
[pid=23970/tid=23971] ppid=23967 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23970/task/23971/stat : 23971 (toysat) S 23967 23970 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30058276 1249447936 26959 33554432000 4194304 16246674 140733535958352 139887313399024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23970/tid=23972] ppid=23967 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23970/task/23972/stat : 23972 (toysat) S 23967 23970 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30058276 1249447936 26962 33554432000 4194304 16246674 140733535958352 139887302909168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23970/tid=23973] ppid=23967 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23970/task/23973/stat : 23973 (toysat) S 23967 23970 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30058276 1249447936 26965 33554432000 4194304 16246674 140733535958352 139887219043504 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) 1220164
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 23970 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.10017 s]
/proc/loadavg: 2.29 2.33 2.28 3/181 23970
/proc/meminfo: memFree=28893056/32872528 swapFree=1505436/1685308
[pid=23970] ppid=23967 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/23970/stat : 23970 (toysat) R 23967 23970 21389 0 -1 4202496 26109 0 0 0 6 3 0 0 20 0 4 0 30058276 1249447936 26952 33554432000 4194304 16246674 140733535958352 140733535957776 4222282 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23970/statm: 305041 26956 696 2943 0 301935 0
[pid=23970/tid=23971] ppid=23967 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23970/task/23971/stat : 23971 (toysat) S 23967 23970 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30058276 1249447936 26959 33554432000 4194304 16246674 140733535958352 139887313399024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23970/tid=23972] ppid=23967 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23970/task/23972/stat : 23972 (toysat) S 23967 23970 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30058276 1249447936 26962 33554432000 4194304 16246674 140733535958352 139887302909168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23970/tid=23973] ppid=23967 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23970/task/23973/stat : 23973 (toysat) S 23967 23970 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30058276 1249447936 26965 33554432000 4194304 16246674 140733535958352 139887219043504 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) 1220164
Child status: 0
Real time (s): 0.118278
CPU time (s): 0.109983
CPU user time (s): 0.070989
CPU system time (s): 0.038994
CPU usage (%): 92.9868
Max. virtual memory (cumulated for all children) (KiB): 1220164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.070989
system time used= 0.038994
maximum resident set size= 109640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26572
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= 24
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.009998 second user time and 0.000999 second system time
The end
Begin job on node135 at 2016-06-18 22:02:03
IDJOB=4106937
IDBENCH=48333
IDSOLVER=2542
FILE ID=node135/4106937-1466280123
RUNJOBID= node135-1466266561-21406
PBS_JOBID= 19918237
Free space on /tmp= 71688 MiB
SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_10_3_15.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106937-1466280123/watcher-4106937-1466280123 -o /tmp/evaluation-result-4106937-1466280123/solver-4106937-1466280123 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466266561-21406 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106937-1466280123.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= bbe3a085a15e9497809c2511fab038f0
RANDOM SEED=575610564
node135.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 : 2667.004
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 : 5334.00
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 : 2667.004
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 : 2667.004
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.57
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 : 2667.004
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.55
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 : 2667.004
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 : 2667.004
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 : 2667.004
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 : 2667.004
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.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32872528 kB
MemFree: 28893336 kB
Buffers: 165196 kB
Cached: 286040 kB
SwapCached: 716 kB
Active: 1243536 kB
Inactive: 307848 kB
Active(anon): 1101456 kB
Inactive(anon): 1308 kB
Active(file): 142080 kB
Inactive(file): 306540 kB
Unevictable: 1685308 kB
Mlocked: 1505436 kB
SwapTotal: 67108856 kB
SwapFree: 67100444 kB
Dirty: 16872 kB
Writeback: 0 kB
AnonPages: 2789436 kB
Mapped: 10464 kB
Shmem: 0 kB
Slab: 606856 kB
SReclaimable: 49916 kB
SUnreclaim: 556940 kB
KernelStack: 1496 kB
PageTables: 9576 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83545120 kB
Committed_AS: 2927960 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 346412 kB
VmallocChunk: 34341987908 kB
HardwareCorrupted: 0 kB
AnonHugePages: 186368 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= 71672 MiB
End job on node135 at 2016-06-18 22:02:04