Trace number 4078672

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02SAT 0.115982 0.117051

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900669299.opb
MD5SUMa725f6ee372d31d579e8cd9c5db864a1
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.034993
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables231
Total number of constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 691
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-06T15:22:14+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-4078672-1465219334.opb"]
0.00/0.01	c use --random-gen="2344905566 364003514 2068449497 3769050847 3622714906 353225185 2837848686 1285223432 296729885 144666269 1775880913 3114625894 1344738772 307164703 3001649550 135772925 1726047197 1404183582 1716361255 2093600425 1403928284 1632340747 2811293113 3366999694 1500187401 1940871674 3064689613 39402885 2330929388 2058997794 3886679731 1691438210 1500839320 332321708 78948856 2909333852 203242326 3715927868 946758654 2769641239 1003438844 1929351091 1082702371 3785720508 1547979020 2112093454 1873727621 698794462 1538804828 1183746091 3563306670 2566773488 2909687547 3113274181 203128334 2619958498 4091587200 2889608603 3242409782 130033390 3837758920 615003827 1161089576 3944076880 2171518190 2473345894 1398933160 655839875 28347186 2199986462 2534296577 1191288968 1238411676 109218209 3642140251 3052807248 1826918273 4218671799 907315238 2008584017 2051611236 1338385225 613809552 4036545173 2668570017 2919094174 3571891477 2380150432 11273222 1908857675 246256944 687500267 3324879030 1163038028 2221442228 1027253362 4219543920 3812709324 576606614 3724725531 2459472187 2310373163 2532913076 1464844615 1191039890 1768298267 2954251261 3674467375 1852474229 1312433621 454885332 2199920097 3046487527 3890152403 3828589913 1855329881 2357895603 1172968415 2531503452 3706404533 2984224348 828327421 4066628234 1118457231 212962832 314314798 1148928692 3151129164 467110965 4129692225 3518963707 889145858 1826802021 1607792017 2317860162 492141377 928383382 594949108 3439729303 1178940101 1094790314 2744757224 3234727919 779204602 3711650314 4049025978 3625663103 205882602 2381421140 3407265617 1402764798 680725640 3445079934 2133043307 800204877 3786960951 2641099598 3553073159 4199563885 1087472677 1577194692 2737128759 660233036 1458033895 23886892 3797722334 2362513728 2531136113 4124360593 2128760085 2149807717 3711405609 2407000773 3601979635 2479615555 129399411 2577778301 776193146 337595732 748771571 2634577729 3680059529 3276165474 3001211008 2081456265 3876217472 3957197298 1935982965 3437837605 1584230870 2579992713 320704200 692978899 2207035247 1603846274 1341841430 210033781 987892521 1818302225 621568932 3159479334 3009797486 971180077 3249254149 1388826756 740311331 2621410333 3601442659 3613451388 2164769223 161255495 4265604502 149272110 1077542784 1195771887 3519389136 4108786682 1777125985 3065589039 275508217 2403413383 861048231 3299381448 214151759 4182939124 22112108 4290623436 1745301248 3710515658 2539773321 1086848141 2196991038 2864576350 769017471 584591928 2802581275 2634104016 2406130283 2331812925 3777471666 136768295 3168959971 2158745885 439866437 3397955469 4177756885 875095044 3166138567 3748609811 3506604485 1929619304 1592460332 2637478605 2755166609 4075213632 1463318780 255 362436" option to reproduce the execution
0.00/0.03	c #vars 231
0.00/0.03	c #constraints 2707
0.00/0.08	c Solving starts ...
0.00/0.08	c ============================[ Search Statistics ]============================
0.00/0.08	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.08	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.08	c =============================================================================
0.00/0.08	c  0.0s |       0 |        0 |        0 |      979      0 |        0 |        0
0.00/0.09	c  0.0s |       1 |      267 |      100 |      979      0 |        0 |        0
0.09/0.10	c  0.0s |       1 |      345 |      146 |     1077      0 |        0 |        0
0.09/0.10	c #cpu_time = 0.028s
0.09/0.10	c #wall_clock_time = 0.028s
0.09/0.10	c #decision = 345
0.09/0.10	c #random_decision = 1
0.09/0.10	c #conflict = 146
0.09/0.10	c #restart = 1
0.09/0.10	s SATISFIABLE
0.09/0.10	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
0.09/0.10	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20
0.09/0.10	v -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30
0.09/0.10	v -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40
0.09/0.10	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50
0.09/0.10	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
0.09/0.10	v -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70
0.09/0.10	v -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80
0.09/0.10	v -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 x90
0.09/0.10	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
0.09/0.10	v -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110
0.09/0.10	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120
0.09/0.10	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130
0.09/0.10	v -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140
0.09/0.10	v -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150
0.09/0.10	v -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160
0.09/0.10	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170
0.09/0.10	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
0.09/0.10	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
0.09/0.11	c total CPU time = 0.107s
0.09/0.11	c total wall clock time = 0.107s

Verifier Data 

OK	0

Watcher Data 

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-4078672-1465219334/watcher-4078672-1465219334 -o /tmp/evaluation-result-4078672-1465219334/solver-4078672-1465219334 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25906 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078672-1465219334.opb 

pid=28811
running on 8 cores: 4-7,12-15

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.16 2.12 2.09 3/261 28814
/proc/meminfo: memFree=30997644/32872528 swapFree=9196/9196
[pid=28814] ppid=28811 vsize=1085884 CPUtime=0 cores=4-7,12-15
/proc/28814/stat : 28814 (toysat) R 28811 28814 25889 0 -1 4202496 4114 0 0 0 0 0 0 0 20 0 4 0 103775443 1111945216 4986 33554432000 4194304 16246674 140734652464688 140734652464112 13880264 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/28814/statm: 272239 4995 441 2943 0 269133 0
[pid=28814/tid=28815] ppid=28811 vsize=1108412 CPUtime=0 cores=4-7,12-15
/proc/28814/task/28815/stat : 28815 (toysat) S 28811 28814 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103775443 1135013888 5074 33554432000 4194304 16246674 140734652464688 139978547899632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=28814/tid=28816] ppid=28811 vsize=1113532 CPUtime=0 cores=4-7,12-15
/proc/28814/task/28816/stat : 28816 (toysat) S 28811 28814 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103775443 1140256768 5093 33554432000 4194304 16246674 140734652464688 139978537409776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=28814/tid=28817] ppid=28811 vsize=1118652 CPUtime=0 cores=4-7,12-15
/proc/28814/task/28817/stat : 28817 (toysat) S 28811 28814 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103775443 1145499648 5112 33554432000 4194304 16246674 140734652464688 139978419989680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 2.16 2.12 2.09 3/261 28814
/proc/meminfo: memFree=30997644/32872528 swapFree=9196/9196
[pid=28814] ppid=28811 vsize=1218116 CPUtime=0.09 cores=4-7,12-15
/proc/28814/stat : 28814 (toysat) R 28811 28814 25889 0 -1 4202496 25400 0 0 0 6 3 0 0 20 0 4 0 103775443 1247350784 26262 33554432000 4194304 16246674 140734652464688 140734652464112 5532301 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/28814/statm: 304529 26269 727 2943 0 301423 0
[pid=28814/tid=28815] ppid=28811 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/28814/task/28815/stat : 28815 (toysat) S 28811 28814 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103775443 1247350784 26274 33554432000 4194304 16246674 140734652464688 139978547899632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=28814/tid=28816] ppid=28811 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/28814/task/28816/stat : 28816 (toysat) S 28811 28814 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103775443 1247350784 26281 33554432000 4194304 16246674 140734652464688 139978537409776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=28814/tid=28817] ppid=28811 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/28814/task/28817/stat : 28817 (toysat) S 28811 28814 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103775443 1247350784 26287 33554432000 4194304 16246674 140734652464688 139978419989680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 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 28814 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+0.100176 s]
/proc/loadavg: 2.16 2.12 2.09 3/261 28814
/proc/meminfo: memFree=30997644/32872528 swapFree=9196/9196
[pid=28814] ppid=28811 vsize=1218116 CPUtime=0.09 cores=4-7,12-15
/proc/28814/stat : 28814 (toysat) R 28811 28814 25889 0 -1 4202496 25400 0 0 0 6 3 0 0 20 0 4 0 103775443 1247350784 26262 33554432000 4194304 16246674 140734652464688 140734652464112 5532301 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/28814/statm: 304529 26269 727 2943 0 301423 0
[pid=28814/tid=28815] ppid=28811 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/28814/task/28815/stat : 28815 (toysat) S 28811 28814 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103775443 1247350784 26274 33554432000 4194304 16246674 140734652464688 139978547899632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=28814/tid=28816] ppid=28811 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/28814/task/28816/stat : 28816 (toysat) S 28811 28814 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103775443 1247350784 26281 33554432000 4194304 16246674 140734652464688 139978537409776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=28814/tid=28817] ppid=28811 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/28814/task/28817/stat : 28817 (toysat) S 28811 28814 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103775443 1247350784 26287 33554432000 4194304 16246674 140734652464688 139978419989680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 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.117051
CPU time (s): 0.115982
CPU user time (s): 0.070989
CPU system time (s): 0.044993
CPU usage (%): 99.0867
Max. virtual memory (cumulated for all children) (KiB): 1218116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.070989
system time used= 0.044993
maximum resident set size= 111656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27063
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= 16
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.004999 second user time and 0.008998 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-06 15:22:14
IDJOB=4078672
IDBENCH=1341
IDSOLVER=2542
FILE ID=node132/4078672-1465219334
RUNJOBID= node132-1465216787-25906
PBS_JOBID= 19843203
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900669299.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078672-1465219334/watcher-4078672-1465219334 -o /tmp/evaluation-result-4078672-1465219334/solver-4078672-1465219334 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25906 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078672-1465219334.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= a725f6ee372d31d579e8cd9c5db864a1
RANDOM SEED=1589573286

node132.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.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.41
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.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        30998088 kB
Buffers:            8436 kB
Cached:            71892 kB
SwapCached:         3236 kB
Active:          1129480 kB
Inactive:          22016 kB
Active(anon):    1070692 kB
Inactive(anon):     3236 kB
Active(file):      58788 kB
Inactive(file):    18780 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67094516 kB
Dirty:             33244 kB
Writeback:             0 kB
AnonPages:       1078196 kB
Mapped:            10508 kB
Shmem:                 0 kB
Slab:             574340 kB
SReclaimable:      13340 kB
SUnreclaim:       561000 kB
KernelStack:        2280 kB
PageTables:         5260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1223700 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 71716 MiB
End job on node132 at 2016-06-06 15:22:15