Trace number 4078673

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 14.4218 14.4247

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900669309.opb
MD5SUMe3a1beab9d06c0cee32a93d550c9a1ac
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.999847
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 645
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:20: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","--pb","--search=bcd2","HOME/instance-4078673-1465219221.opb"]
0.00/0.01	c use --random-gen="3456845913 3261761554 1741464587 829219159 51293353 2051620890 1548264661 2214796382 1799807245 3023633378 2168399752 197054671 592984205 3696103772 1482484328 3541294348 2697891651 3157058404 3310533724 1265119021 677018166 1245093505 2120623900 2130657483 3620753446 3505945548 858263433 2232364131 2154348793 1525634425 872617597 2935135547 1474166474 820764445 2517761028 1982283234 2101027871 1599874115 3371537365 2413189792 318784734 2315823366 3022247720 3174507315 265331782 827733805 2160627918 4036721169 2516661258 4147734936 825962360 1575043979 598680299 1358796787 3735062927 1123900277 911658716 2625036066 540690014 2152737038 148040837 1281952367 4200263774 16937073 3915556227 332692207 2469959267 2969172797 4292823284 3331086262 2604079863 1590591238 3090818520 555262280 632659794 2043091399 3783851020 1515752704 374150089 3800570315 8502113 1900936187 1920510679 455288743 1260722079 3458272201 2451020858 3586508452 4057126492 4158120639 1936606680 928421550 3310103148 4019550172 446432920 509446902 2467385048 2826422469 3164848489 1868582284 1276269284 259187732 1778028947 249747472 2316616164 3300477256 492128155 2337364784 4176566346 2776296951 3476342295 3009346650 3784506338 3610726964 1748244289 4261174602 3618141842 2350312492 1358806381 2618290345 2677000901 3197974639 3570277365 2405345208 1144796612 359986719 466941232 1770972156 844512503 803727827 715774715 2377438751 1442598983 180601578 1778950979 1470875429 2296823302 1011057564 622988099 1650119897 2730765541 921969718 1064164405 1326609660 804924448 93267775 1812462231 2474027184 77763648 4038328856 485481483 2577223470 1307790434 648233314 738598667 1640350458 815141608 2925280742 3216571357 762373420 791604315 914923773 2737775452 4065305145 3129967817 3280018455 3817720223 3173473756 2539572848 3275695115 1583376357 797793905 1960209387 1127853868 1469772882 2380113901 2998913441 2552459314 3949517629 2331489710 507630776 1063412837 1686058780 2686220919 183145232 3153829392 3255530604 3590645164 2256842663 3770494108 1626988779 1548781402 3810576033 475593427 1234341306 2645863734 458511995 1614079669 3014310845 757618069 925013821 1521695045 2307841124 3115426457 953417423 86791098 3701463943 3195753213 2487624552 1057539075 747201289 125995330 3488209839 1534125630 1126205035 2620227711 601614378 272603798 2158342842 1515895943 867343767 1536761905 2591112253 1839636720 484010494 717156878 3903735259 4273553203 265859770 197840729 661675756 222244656 1504855658 4257891540 3126575756 249481151 2771505469 56199895 1704909089 2429132042 687948380 4061396065 676705711 1668496267 777612228 3796634932 501459693 2100898416 3730747288 1765083977 808826640 3205302747 2141907216 4170516433 2464058074 1013503100 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 |      241 |      100 |      979      0 |        0 |        0
0.09/0.12	c  0.0s |       2 |      531 |      250 |     1077      0 |        0 |        0
0.09/0.18	c  0.1s |       3 |      874 |      475 |     1185      0 |        0 |        0
0.19/0.27	c  0.2s |       4 |     1364 |      813 |     1304      0 |        0 |        0
0.29/0.38	c  0.3s |       5 |     2153 |     1320 |     1435      0 |        0 |        0
0.49/0.57	c  0.5s |       6 |     3445 |     2081 |     1737      1 |        0 |        0
0.78/0.88	c  0.8s |       7 |     5214 |     3223 |     1911      2 |        0 |        0
1.29/1.37	c  1.3s |       8 |     7831 |     4936 |     2103      4 |        0 |        0
1.89/1.96	c  1.9s |       9 |    11935 |     7506 |     2314      6 |        0 |        0
2.78/2.89	c  2.8s |      10 |    18003 |    11361 |     2546      8 |        1 |       11
4.19/4.26	c  4.2s |      11 |    27261 |    17144 |     2801     12 |        1 |       11
6.19/6.28	c  6.2s |      11 |    41397 |    25744 |     3082     18 |        1 |       11
6.29/6.30	c  6.2s |      12 |    41477 |    25819 |     3082     18 |        1 |       11
8.29/8.30	c  8.2s |      12 |    56201 |    34719 |     3082     24 |        1 |       11
9.29/9.30	c  9.2s |      13 |    62790 |    38832 |     3391     26 |        1 |       11
11.29/11.33	c 11.2s |      13 |    78813 |    48032 |     3391     32 |        2 |       22
13.30/13.33	c 13.3s |      13 |    93617 |    56832 |     3391     36 |        2 |       22
13.58/13.65	c 13.6s |      14 |    96406 |    58352 |     3731     37 |        2 |       22
14.30/14.36	c 14.3s |      14 |   102514 |    61864 |     3731     38 |        3 |       33
14.30/14.36	c #cpu_time = 14.244s
14.30/14.36	c #wall_clock_time = 14.282s
14.30/14.36	c #decision = 102514
14.30/14.36	c #random_decision = 343
14.30/14.36	c #conflict = 61864
14.30/14.36	c #restart = 14
14.30/14.36	s SATISFIABLE
14.30/14.36	v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
14.30/14.36	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
14.30/14.36	v x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30
14.30/14.36	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
14.30/14.36	v x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50
14.30/14.36	v -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60
14.30/14.36	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70
14.30/14.36	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
14.30/14.36	v -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90
14.30/14.36	v x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
14.30/14.36	v -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110
14.30/14.36	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
14.30/14.36	v x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130
14.30/14.36	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140
14.30/14.36	v -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150
14.30/14.36	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160
14.30/14.36	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170
14.30/14.36	v -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
14.30/14.36	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
14.30/14.36	v x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200
14.30/14.36	v -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210
14.30/14.36	v -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220
14.30/14.36	v -x221 -x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
14.30/14.36	v -x231
14.30/14.36	c total CPU time = 14.324s
14.30/14.36	c total wall clock time = 14.362s

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

pid=27782
running on 8 cores: 0-3,8-11

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.08 2.09 2.09 3/262 27785
/proc/meminfo: memFree=30990180/32872528 swapFree=9196/9196
[pid=27785] ppid=27782 vsize=1056188 CPUtime=0 cores=0-3,8-11
/proc/27785/stat : 27785 (toysat) R 27782 27785 25889 0 -1 4202496 3995 0 0 0 0 0 0 0 20 0 4 0 103764147 1081536512 4356 33554432000 4194304 16246674 140733503396272 140733503395696 13880264 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27785/statm: 264559 4365 441 2943 0 261453 0
[pid=27785/tid=27786] ppid=27782 vsize=1077692 CPUtime=0 cores=0-3,8-11
/proc/27785/task/27786/stat : 27786 (toysat) S 27782 27785 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103764147 1103556608 4440 33554432000 4194304 16246674 140733503396272 140502848482544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27785/tid=27787] ppid=27782 vsize=1081788 CPUtime=0 cores=0-3,8-11
/proc/27785/task/27787/stat : 27787 (toysat) S 27782 27785 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103764147 1107750912 4458 33554432000 4194304 16246674 140733503396272 140502837992688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27785/tid=27788] ppid=27782 vsize=1085884 CPUtime=0 cores=0-3,8-11
/proc/27785/task/27788/stat : 27788 (toysat) S 27782 27785 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103764147 1111945216 4475 33554432000 4194304 16246674 140733503396272 140502827519152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0

[startup+0.100189 s]
/proc/loadavg: 2.08 2.09 2.09 3/262 27785
/proc/meminfo: memFree=30990180/32872528 swapFree=9196/9196
[pid=27785] ppid=27782 vsize=1218116 CPUtime=0.09 cores=0-3,8-11
/proc/27785/stat : 27785 (toysat) R 27782 27785 25889 0 -1 4202496 25013 0 0 0 5 4 0 0 20 0 4 0 103764147 1247350784 25362 33554432000 4194304 16246674 140733503396272 140733503395696 5532589 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27785/statm: 304529 25369 726 2943 0 301423 0
[pid=27785/tid=27786] ppid=27782 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27785/task/27786/stat : 27786 (toysat) S 27782 27785 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103764147 1247350784 25374 33554432000 4194304 16246674 140733503396272 140502848482544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27785/tid=27787] ppid=27782 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27785/task/27787/stat : 27787 (toysat) S 27782 27785 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103764147 1247350784 25378 33554432000 4194304 16246674 140733503396272 140502837992688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27785/tid=27788] ppid=27782 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27785/task/27788/stat : 27788 (toysat) S 27782 27785 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103764147 1247350784 25384 33554432000 4194304 16246674 140733503396272 140502827519152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200505 s]
/proc/loadavg: 2.08 2.09 2.09 3/262 27785
/proc/meminfo: memFree=30990180/32872528 swapFree=9196/9196
[pid=27785] ppid=27782 vsize=1218116 CPUtime=0.19 cores=0-3,8-11
/proc/27785/stat : 27785 (toysat) R 27782 27785 25889 0 -1 4202496 41102 0 0 0 13 6 0 0 20 0 4 0 103764147 1247350784 41451 33554432000 4194304 16246674 140733503396272 140733503395696 5669490 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27785/statm: 304529 41458 726 2943 0 301423 0
[pid=27785/tid=27786] ppid=27782 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27785/task/27786/stat : 27786 (toysat) S 27782 27785 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103764147 1247350784 41462 33554432000 4194304 16246674 140733503396272 140502848482544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27785/tid=27787] ppid=27782 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27785/task/27787/stat : 27787 (toysat) S 27782 27785 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103764147 1247350784 41464 33554432000 4194304 16246674 140733503396272 140502837992688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27785/tid=27788] ppid=27782 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27785/task/27788/stat : 27788 (toysat) S 27782 27785 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103764147 1247350784 41468 33554432000 4194304 16246674 140733503396272 140502827519152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300477 s]
/proc/loadavg: 2.08 2.09 2.09 3/262 27785
/proc/meminfo: memFree=30990180/32872528 swapFree=9196/9196
[pid=27785] ppid=27782 vsize=1218116 CPUtime=0.29 cores=0-3,8-11
/proc/27785/stat : 27785 (toysat) R 27782 27785 25889 0 -1 4202496 56728 0 0 0 21 8 0 0 20 0 4 0 103764147 1247350784 57077 33554432000 4194304 16246674 140733503396272 140733503378176 5669490 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27785/statm: 304529 57082 726 2943 0 301423 0
[pid=27785/tid=27786] ppid=27782 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27785/task/27786/stat : 27786 (toysat) S 27782 27785 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103764147 1247350784 57086 33554432000 4194304 16246674 140733503396272 140502848482544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27785/tid=27787] ppid=27782 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27785/task/27787/stat : 27787 (toysat) S 27782 27785 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103764147 1247350784 57090 33554432000 4194304 16246674 140733503396272 140502837992688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27785/tid=27788] ppid=27782 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27785/task/27788/stat : 27788 (toysat) S 27782 27785 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103764147 1247350784 57095 33554432000 4194304 16246674 140733503396272 140502827519152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700368 s]
/proc/loadavg: 2.08 2.09 2.09 3/262 27785
/proc/meminfo: memFree=30990180/32872528 swapFree=9196/9196
[pid=27785] ppid=27782 vsize=1218116 CPUtime=0.69 cores=0-3,8-11
/proc/27785/stat : 27785 (toysat) R 27782 27785 25889 0 -1 4202496 118998 0 0 0 50 19 0 0 20 0 4 0 103764147 1247350784 119347 33554432000 4194304 16246674 140733503396272 140733503378176 5677541 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27785/statm: 304529 119354 732 2943 0 301423 0
[pid=27785/tid=27786] ppid=27782 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27785/task/27786/stat : 27786 (toysat) S 27782 27785 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103764147 1247350784 119359 33554432000 4194304 16246674 140733503396272 140502848482544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27785/tid=27787] ppid=27782 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27785/task/27787/stat : 27787 (toysat) S 27782 27785 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103764147 1247350784 119362 33554432000 4194304 16246674 140733503396272 140502837992688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27785/tid=27788] ppid=27782 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27785/task/27788/stat : 27788 (toysat) S 27782 27785 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103764147 1247350784 119365 33554432000 4194304 16246674 140733503396272 140502827519152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50036 s]
/proc/loadavg: 2.08 2.08 2.09 3/266 27789
/proc/meminfo: memFree=30261276/32872528 swapFree=9196/9196
[pid=27785] ppid=27782 vsize=1219140 CPUtime=1.49 cores=0-3,8-11
/proc/27785/stat : 27785 (toysat) R 27782 27785 25889 0 -1 4202496 245540 0 0 0 107 42 0 0 20 0 4 0 103764147 1248399360 245872 33554432000 4194304 16246674 140733503396272 140733503378176 4225154 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27785/statm: 304785 245875 765 2943 0 301679 0
[pid=27785/tid=27786] ppid=27782 vsize=1219140 CPUtime=0 cores=0-3,8-11
/proc/27785/task/27786/stat : 27786 (toysat) S 27782 27785 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103764147 1248399360 245877 33554432000 4194304 16246674 140733503396272 140502848482544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27785/tid=27787] ppid=27782 vsize=1219140 CPUtime=0 cores=0-3,8-11
/proc/27785/task/27787/stat : 27787 (toysat) S 27782 27785 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103764147 1248399360 245880 33554432000 4194304 16246674 140733503396272 140502837992688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27785/tid=27788] ppid=27782 vsize=1219140 CPUtime=0 cores=0-3,8-11
/proc/27785/task/27788/stat : 27788 (toysat) S 27782 27785 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103764147 1248399360 245882 33554432000 4194304 16246674 140733503396272 140502827519152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10038 s]
/proc/loadavg: 2.08 2.08 2.09 3/266 27789
/proc/meminfo: memFree=30004100/32872528 swapFree=9196/9196
[pid=27785] ppid=27782 vsize=1303108 CPUtime=3.09 cores=0-3,8-11
/proc/27785/stat : 27785 (toysat) R 27782 27785 25889 0 -1 4202496 266683 0 0 0 249 60 0 0 20 0 4 0 103764147 1334382592 267012 33554432000 4194304 16246674 140733503396272 140733503378176 7249781 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27785/statm: 325777 267012 801 2943 0 322671 0
[pid=27785/tid=27786] ppid=27782 vsize=1303108 CPUtime=0 cores=0-3,8-11
/proc/27785/task/27786/stat : 27786 (toysat) S 27782 27785 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103764147 1334382592 267012 33554432000 4194304 16246674 140733503396272 140502848482544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27785/tid=27787] ppid=27782 vsize=1303108 CPUtime=0 cores=0-3,8-11
/proc/27785/task/27787/stat : 27787 (toysat) S 27782 27785 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103764147 1334382592 267012 33554432000 4194304 16246674 140733503396272 140502837992688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27785/tid=27788] ppid=27782 vsize=1303108 CPUtime=0 cores=0-3,8-11
/proc/27785/task/27788/stat : 27788 (toysat) S 27782 27785 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103764147 1334382592 267012 33554432000 4194304 16246674 140733503396272 140502827519152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1303108

[startup+6.30037 s]
/proc/loadavg: 2.08 2.08 2.09 3/266 27789
/proc/meminfo: memFree=29918196/32872528 swapFree=9196/9196
[pid=27785] ppid=27782 vsize=1306180 CPUtime=6.29 cores=0-3,8-11
/proc/27785/stat : 27785 (toysat) R 27782 27785 25889 0 -1 4202496 267563 0 0 0 538 91 0 0 20 0 4 0 103764147 1337528320 267892 33554432000 4194304 16246674 140733503396272 140733503378176 5523150 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27785/statm: 326545 267892 801 2943 0 323439 0
[pid=27785/tid=27786] ppid=27782 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/27785/task/27786/stat : 27786 (toysat) S 27782 27785 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103764147 1337528320 267892 33554432000 4194304 16246674 140733503396272 140502848482544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27785/tid=27787] ppid=27782 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/27785/task/27787/stat : 27787 (toysat) S 27782 27785 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103764147 1337528320 267892 33554432000 4194304 16246674 140733503396272 140502837992688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27785/tid=27788] ppid=27782 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/27785/task/27788/stat : 27788 (toysat) S 27782 27785 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103764147 1337528320 267892 33554432000 4194304 16246674 140733503396272 140502827519152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.21 2.11 2.09 3/266 27789
/proc/meminfo: memFree=29916980/32872528 swapFree=9196/9196
[pid=27785] ppid=27782 vsize=1316420 CPUtime=12.69 cores=0-3,8-11
/proc/27785/stat : 27785 (toysat) R 27782 27785 25889 0 -1 4202496 269905 0 0 0 1116 153 0 0 20 0 4 0 103764147 1348014080 270234 33554432000 4194304 16246674 140733503396272 140733503378176 6023286 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27785/statm: 329105 270234 801 2943 0 325999 0
[pid=27785/tid=27786] ppid=27782 vsize=1316420 CPUtime=0 cores=0-3,8-11
/proc/27785/task/27786/stat : 27786 (toysat) S 27782 27785 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103764147 1348014080 270234 33554432000 4194304 16246674 140733503396272 140502848482544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27785/tid=27787] ppid=27782 vsize=1316420 CPUtime=0 cores=0-3,8-11
/proc/27785/task/27787/stat : 27787 (toysat) S 27782 27785 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103764147 1348014080 270234 33554432000 4194304 16246674 140733503396272 140502837992688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27785/tid=27788] ppid=27782 vsize=1316420 CPUtime=0 cores=0-3,8-11
/proc/27785/task/27788/stat : 27788 (toysat) S 27782 27785 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103764147 1348014080 270234 33554432000 4194304 16246674 140733503396272 140502827519152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1316420

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 27785 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+12.8005 s]
/proc/loadavg: 2.21 2.11 2.09 3/266 27789
/proc/meminfo: memFree=29916980/32872528 swapFree=9196/9196
[pid=27785] ppid=27782 vsize=1316420 CPUtime=12.79 cores=0-3,8-11
/proc/27785/stat : 27785 (toysat) R 27782 27785 25889 0 -1 4202496 269905 0 0 0 1125 154 0 0 20 0 4 0 103764147 1348014080 270234 33554432000 4194304 16246674 140733503396272 140733503378176 13780596 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27785/statm: 329105 270234 801 2943 0 325999 0
[pid=27785/tid=27786] ppid=27782 vsize=1316420 CPUtime=0 cores=0-3,8-11
/proc/27785/task/27786/stat : 27786 (toysat) S 27782 27785 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103764147 1348014080 270234 33554432000 4194304 16246674 140733503396272 140502848482544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27785/tid=27787] ppid=27782 vsize=1316420 CPUtime=0 cores=0-3,8-11
/proc/27785/task/27787/stat : 27787 (toysat) S 27782 27785 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103764147 1348014080 270234 33554432000 4194304 16246674 140733503396272 140502837992688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27785/tid=27788] ppid=27782 vsize=1316420 CPUtime=0 cores=0-3,8-11
/proc/27785/task/27788/stat : 27788 (toysat) S 27782 27785 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103764147 1348014080 270234 33554432000 4194304 16246674 140733503396272 140502827519152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 1316420

[startup+13.6004 s]
/proc/loadavg: 2.21 2.11 2.09 3/266 27789
/proc/meminfo: memFree=29908580/32872528 swapFree=9196/9196
[pid=27785] ppid=27782 vsize=1316420 CPUtime=13.58 cores=0-3,8-11
/proc/27785/stat : 27785 (toysat) R 27782 27785 25889 0 -1 4202496 269905 0 0 0 1197 161 0 0 20 0 4 0 103764147 1348014080 270234 33554432000 4194304 16246674 140733503396272 140733503379272 5824066 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27785/statm: 329105 270234 801 2943 0 325999 0
[pid=27785/tid=27786] ppid=27782 vsize=1316420 CPUtime=0 cores=0-3,8-11
/proc/27785/task/27786/stat : 27786 (toysat) S 27782 27785 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103764147 1348014080 270234 33554432000 4194304 16246674 140733503396272 140502848482544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27785/tid=27787] ppid=27782 vsize=1316420 CPUtime=0 cores=0-3,8-11
/proc/27785/task/27787/stat : 27787 (toysat) S 27782 27785 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103764147 1348014080 270234 33554432000 4194304 16246674 140733503396272 140502837992688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27785/tid=27788] ppid=27782 vsize=1316420 CPUtime=0 cores=0-3,8-11
/proc/27785/task/27788/stat : 27788 (toysat) S 27782 27785 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103764147 1348014080 270234 33554432000 4194304 16246674 140733503396272 140502827519152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 13.58
Current children cumulated vsize (KiB) 1316420

[startup+14.0004 s]
/proc/loadavg: 2.21 2.11 2.09 3/266 27789
/proc/meminfo: memFree=29908580/32872528 swapFree=9196/9196
[pid=27785] ppid=27782 vsize=1316420 CPUtime=13.99 cores=0-3,8-11
/proc/27785/stat : 27785 (toysat) R 27782 27785 25889 0 -1 4202496 270142 0 0 0 1234 165 0 0 20 0 4 0 103764147 1348014080 270471 33554432000 4194304 16246674 140733503396272 140733503379272 12483183 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27785/statm: 329105 270471 801 2943 0 325999 0
[pid=27785/tid=27786] ppid=27782 vsize=1316420 CPUtime=0 cores=0-3,8-11
/proc/27785/task/27786/stat : 27786 (toysat) S 27782 27785 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103764147 1348014080 270471 33554432000 4194304 16246674 140733503396272 140502848482544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27785/tid=27787] ppid=27782 vsize=1316420 CPUtime=0 cores=0-3,8-11
/proc/27785/task/27787/stat : 27787 (toysat) S 27782 27785 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103764147 1348014080 270471 33554432000 4194304 16246674 140733503396272 140502837992688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27785/tid=27788] ppid=27782 vsize=1316420 CPUtime=0 cores=0-3,8-11
/proc/27785/task/27788/stat : 27788 (toysat) S 27782 27785 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103764147 1348014080 270471 33554432000 4194304 16246674 140733503396272 140502827519152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 13.99
Current children cumulated vsize (KiB) 1316420

[startup+14.4107 s]
/proc/loadavg: 2.21 2.11 2.09 3/266 27789
/proc/meminfo: memFree=29907340/32872528 swapFree=9196/9196
[pid=27785] ppid=27782 vsize=0 CPUtime=14.4 cores=0-3,8-11
/proc/27785/stat : 27785 (toysat) R 27782 27785 25889 0 -1 4202500 270149 0 0 0 1267 173 0 0 20 0 1 0 103764147 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27785/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 14.4
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 14.4247
CPU time (s): 14.4218
CPU user time (s): 12.6701
CPU system time (s): 1.75173
CPU usage (%): 99.9798
Max. virtual memory (cumulated for all children) (KiB): 1316420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.6701
system time used= 1.75173
maximum resident set size= 1081904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270149
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= 16

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.146977 second user time and 0.104984 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-06 15:20:21
IDJOB=4078673
IDBENCH=1278
IDSOLVER=2542
FILE ID=node132/4078673-1465219221
RUNJOBID= node132-1465216787-25905
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.1900669309.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078673-1465219221/watcher-4078673-1465219221 -o /tmp/evaluation-result-4078673-1465219221/solver-4078673-1465219221 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25905 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078673-1465219221.opb

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

MD5SUM BENCH= e3a1beab9d06c0cee32a93d550c9a1ac
RANDOM SEED=235089650

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:        30990940 kB
Buffers:            7100 kB
Cached:            71364 kB
SwapCached:         3236 kB
Active:          1143648 kB
Inactive:          21124 kB
Active(anon):    1085492 kB
Inactive(anon):     3236 kB
Active(file):      58156 kB
Inactive(file):    17888 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67094516 kB
Dirty:             16544 kB
Writeback:             0 kB
AnonPages:       1092072 kB
Mapped:            10664 kB
Shmem:                 0 kB
Slab:             572048 kB
SReclaimable:      12400 kB
SUnreclaim:       559648 kB
KernelStack:        2256 kB
PageTables:         6256 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1237020 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1077248 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:20:36