Trace number 4079763

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02OPT197 1.09983 1.10261

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=197-Q=479.opb
MD5SUMe08ecfd57c94ad308d25fa5893f23db0
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark197
Best CPU time to get the best result obtained on this benchmark0.018997
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 197
Optimality of the best value was proved YES
Number of variables99
Total number of constraints244
Number of constraints which are clauses243
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint81
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 94363
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 355484
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c 2016-06-06T21:44:27+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-4079763-1465242267.opb"]
0.00/0.01	c use --random-gen="4085003293 3625628335 4283759841 1572295861 1590817878 402008650 2406824124 3272042654 504286906 2011035641 481136190 969890111 1247489773 2710527281 1532996420 1392573046 4226283679 827037511 2894634784 3519749106 3663366276 1512333849 4188881483 167882640 1610649715 3065067391 3045868737 1678126157 3311403515 265106824 1152228414 1700546354 2177813231 1731323233 2003281664 2942974067 1532805862 2903649199 4039530052 2900003770 2092822301 1747933783 1343889334 359920784 2951688452 124285317 46047107 2688514199 2034796445 511083495 4134633369 755447173 3441190159 1887914516 2308786150 4236925536 2012230111 1825999203 1454023680 3093421326 3085318090 4245229088 3653887200 3445096086 1156151295 1894476010 3406579545 2934597195 2308968928 1488311287 239446928 2903227533 2100922990 1086154543 1764376958 4232675414 907027031 2699471343 3505814723 236401914 2935454784 1865748339 3584782360 203753809 678255091 2671210912 310255829 258588464 247415001 461348829 119439980 1878467962 4212617474 4011552990 1207187256 1123184848 257687945 2638774667 1540196350 206355059 2633322235 660682392 1966946099 3929683670 2831181047 283351260 1206003797 953412559 455528444 1279926624 3208521695 1406621701 3637156062 2174762314 1074202259 2365147537 1302458276 1250366807 2202809149 3308184092 813271075 2029615237 1373811757 382908294 66718275 3671997668 1107511721 3288650787 3454610078 3762781523 2176881609 3627041087 125634990 473007428 2999732044 1895054269 1199784221 3065854768 1050521536 2325543737 1512803489 4214945722 4047421896 2743737197 3602804531 2042487041 1584180472 2315319812 1571053525 236544110 2750918716 2554745828 3208014950 885357986 1065685650 1839323410 4543434 865157812 2661291428 561187004 4227678709 642140149 650153772 115168917 3760478692 609086799 906061191 792992392 1754383561 988794995 2232131622 680730227 1238820943 2326523388 1737244201 473706252 537362159 2675100432 2515802577 2022944959 1063304876 4288443553 3109050705 2067642073 3087838631 956323271 3478157696 1389098280 3684221622 3572053126 3756670850 1721469037 583073452 2618732683 2619370139 514628225 1251597713 1950726928 3366327432 394176122 3107320494 4225390585 2555812651 3868551115 1264958604 3361501103 3640475073 990092230 3149953728 3069721992 3215096161 3693528904 406988285 3752229534 2865622252 2589500791 1550009688 299274219 3651542516 3651336666 1405646318 2862565134 2144198457 1778487175 1711128302 575005201 1163399784 2409896271 2266227056 900587030 4241593191 241156561 1586865949 3374009388 198650807 1973071789 547176440 2864495813 1553663402 1131594405 952580762 1725784452 2498319953 4268085273 175593664 4028705816 1336770773 282532935 3709653063 3920183867 3317342656 3228948788 888177049 1662773657 102890194 1031669692 255 362436" option to reproduce the execution
0.00/0.01	c #vars 99
0.00/0.01	c #constraints 244
0.91/0.99	c BCD2: Hardening is enabled.
0.91/0.99	c BCD2: BiasedSearch is enabled.
0.91/0.99	c Solving starts ...
0.91/0.99	c ============================[ Search Statistics ]============================
0.91/0.99	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.91/0.99	c       |         |          |          |    Limit     GC | Var      | Constra 
0.91/0.99	c =============================================================================
0.91/0.99	c  0.0s |       0 |        0 |        0 |      114      0 |        0 |        0
0.99/1.00	c  0.0s |       1 |      110 |      100 |      114      0 |        0 |        0
0.99/1.02	c  0.0s |       1 |      245 |      218 |      126      1 |        0 |        0
0.99/1.02	c #cpu_time = 0.026s
0.99/1.02	c #wall_clock_time = 0.026s
0.99/1.02	c #decision = 245
0.99/1.02	c #random_decision = 0
0.99/1.02	c #conflict = 218
0.99/1.02	c #restart = 1
0.99/1.02	o 479
0.99/1.02	c BCD2: updating upper bound: 511 -> 478
0.99/1.02	c BCD2: 0 <= obj <= 478
0.99/1.02	c BCD2: #cores=0, #unrelaxed=9, #relaxed=0, #hardened=0
0.99/1.02	c BCD2: #sat=1 #unsat=1 bias=1/2
0.99/1.02	c Solving starts ...
0.99/1.02	c ============================[ Search Statistics ]============================
0.99/1.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.99/1.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.99/1.02	c =============================================================================
0.99/1.02	c  0.0s |       0 |        0 |        0 |      126      0 |        0 |        0
0.99/1.02	c  0.0s |       0 |        2 |        1 |      126      1 |        0 |        0
0.99/1.02	c #cpu_time = 0.001s
0.99/1.02	c #wall_clock_time = 0.001s
0.99/1.02	c #decision = 2
0.99/1.02	c #random_decision = 0
0.99/1.02	c #conflict = 1
0.99/1.02	c #restart = 0
0.99/1.02	c BCD2: found a new core of size 2: cost of the new core is >=128
0.99/1.02	c lower bound updated to 128
0.99/1.02	c BCD2: 128 <= obj <= 478
0.99/1.02	c BCD2: #cores=1, #unrelaxed=7, #relaxed=2, #hardened=0
0.99/1.02	c BCD2: #sat=1 #unsat=2 bias=2/3
0.99/1.02	c Solving starts ...
0.99/1.02	c ============================[ Search Statistics ]============================
0.99/1.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.99/1.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.99/1.02	c =============================================================================
0.99/1.02	c  0.0s |       0 |        0 |        0 |      126      0 |        0 |        0
0.99/1.02	c  0.0s |       0 |       10 |        3 |      126      0 |        0 |        0
0.99/1.02	c #cpu_time = 0.001s
0.99/1.02	c #wall_clock_time = 0.001s
0.99/1.02	c #decision = 10
0.99/1.02	c #random_decision = 0
0.99/1.02	c #conflict = 3
0.99/1.02	c #restart = 0
0.99/1.02	c BCD2: relaxing 5 and merging with 1 cores into a new core of size 7: cost of the new core is >=132
0.99/1.02	c lower bound updated to 132
0.99/1.02	c BCD2: 132 <= obj <= 478
0.99/1.02	c BCD2: #cores=1, #unrelaxed=2, #relaxed=7, #hardened=0
0.99/1.02	c BCD2: #sat=1 #unsat=3 bias=3/4
0.99/1.02	c Solving starts ...
0.99/1.02	c ============================[ Search Statistics ]============================
0.99/1.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.99/1.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.99/1.02	c =============================================================================
0.99/1.02	c  0.0s |       0 |        0 |        0 |      126      0 |        1 |        0
0.99/1.03	c  0.0s |       1 |      111 |      100 |      139      0 |        1 |        1
0.99/1.03	c  0.0s |       1 |      124 |      110 |      139      1 |        1 |        1
0.99/1.03	c #cpu_time = 0.014s
0.99/1.03	c #wall_clock_time = 0.014s
0.99/1.03	c #decision = 124
0.99/1.03	c #random_decision = 0
0.99/1.03	c #conflict = 110
0.99/1.03	c #restart = 1
0.99/1.03	c BCD2: relaxing 2 and merging with 1 cores into a new core of size 9: cost of the new core is >=133
0.99/1.03	c lower bound updated to 133
0.99/1.03	c BCD2: 133 <= obj <= 478
0.99/1.03	c BCD2: #cores=1, #unrelaxed=0, #relaxed=9, #hardened=0
0.99/1.03	c BCD2: #sat=1 #unsat=4 bias=4/5
0.99/1.03	c Solving starts ...
0.99/1.03	c ============================[ Search Statistics ]============================
0.99/1.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.99/1.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.99/1.03	c =============================================================================
0.99/1.03	c  0.0s |       0 |        0 |        0 |      139      0 |        2 |        1
0.99/1.04	c  0.0s |       0 |       35 |       23 |      139      0 |        2 |        2
0.99/1.04	c #cpu_time = 0.003s
0.99/1.04	c #wall_clock_time = 0.003s
0.99/1.04	c #decision = 35
0.99/1.04	c #random_decision = 0
0.99/1.04	c #conflict = 23
0.99/1.04	c #restart = 0
0.99/1.04	o 197
0.99/1.04	c BCD2: hardening fixes 1 literals
0.99/1.04	c BCD2: updating upper bound: 478 -> 196
0.99/1.04	c BCD2: 133 <= obj <= 196
0.99/1.04	c BCD2: #cores=1, #unrelaxed=0, #relaxed=8, #hardened=1
0.99/1.04	c BCD2: #sat=2 #unsat=4 bias=4/6
0.99/1.04	c Solving starts ...
0.99/1.04	c ============================[ Search Statistics ]============================
0.99/1.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.99/1.04	c       |         |          |          |    Limit     GC | Var      | Constra 
0.99/1.04	c =============================================================================
0.99/1.04	c  0.0s |       0 |        0 |        0 |      139      0 |       13 |        3
0.99/1.04	c  0.0s |       0 |        1 |        1 |      139      0 |       14 |       43
0.99/1.04	c #cpu_time = 0.001s
0.99/1.04	c #wall_clock_time = 0.001s
0.99/1.04	c #decision = 1
0.99/1.04	c #random_decision = 0
0.99/1.04	c #conflict = 1
0.99/1.04	c #restart = 0
0.99/1.04	c BCD2: updating lower bound of a core
0.99/1.04	c lower bound updated to 176
0.99/1.04	c BCD2: 176 <= obj <= 196
0.99/1.04	c BCD2: #cores=1, #unrelaxed=0, #relaxed=8, #hardened=1
0.99/1.04	c BCD2: #sat=2 #unsat=5 bias=5/7
0.99/1.04	c Solving starts ...
0.99/1.04	c ============================[ Search Statistics ]============================
0.99/1.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.99/1.04	c       |         |          |          |    Limit     GC | Var      | Constra 
0.99/1.04	c =============================================================================
0.99/1.04	c  0.0s |       0 |        0 |        0 |      139      0 |       14 |       44
0.99/1.04	c  0.0s |       0 |       19 |       16 |      139      0 |       15 |       46
0.99/1.04	c #cpu_time = 0.003s
0.99/1.04	c #wall_clock_time = 0.003s
0.99/1.04	c #decision = 19
0.99/1.04	c #random_decision = 0
0.99/1.04	c #conflict = 16
0.99/1.04	c #restart = 0
0.99/1.04	c BCD2: updating lower bound of a core
0.99/1.04	c lower bound updated to 192
0.99/1.04	c BCD2: 192 <= obj <= 196
0.99/1.04	c BCD2: #cores=1, #unrelaxed=0, #relaxed=8, #hardened=1
0.99/1.04	c BCD2: #sat=2 #unsat=6 bias=6/8
0.99/1.04	c Solving starts ...
0.99/1.04	c ============================[ Search Statistics ]============================
0.99/1.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.99/1.04	c       |         |          |          |    Limit     GC | Var      | Constra 
0.99/1.04	c =============================================================================
0.99/1.04	c  0.0s |       0 |        0 |        0 |      139      0 |       55 |       46
0.99/1.04	c  0.0s |       0 |        5 |        6 |      139      0 |       80 |      160
0.99/1.04	c #cpu_time = 0.001s
0.99/1.04	c #wall_clock_time = 0.001s
0.99/1.04	c #decision = 5
0.99/1.04	c #random_decision = 0
0.99/1.04	c #conflict = 6
0.99/1.04	c #restart = 0
0.99/1.04	c lower bound updated to 197
0.99/1.04	s OPTIMUM FOUND
0.99/1.04	v x1 -x2 x3 -x4 -x5 -x6 x7 x8 -x9 x10
0.99/1.04	v x11 x12 x13 x14 -x15 x16 x17 x18 x19 x20
0.99/1.04	v x21 x22 x23 -x24 x25 x26 x27 -x28 -x29 -x30
0.99/1.04	v -x31 -x32 -x33 -x34 -x35 -x36 x37 x38 x39 x40
0.99/1.04	v x41 -x42 x43 x44 x45 -x46 -x47 -x48 -x49 -x50
0.99/1.04	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
0.99/1.04	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
0.99/1.04	v -x71 -x72 x73 x74 x75 x76 x77 -x78 x79 x80
0.99/1.04	v x81 x82 x83 x84 x85 x86 -x87 x88 x89 x90
0.99/1.04	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99
0.99/1.04	c total CPU time = 1.043s
0.99/1.04	c total wall clock time = 1.046s

Verifier Data 

OK	197

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-4079763-1465242267/watcher-4079763-1465242267 -o /tmp/evaluation-result-4079763-1465242267/solver-4079763-1465242267 -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-4079763-1465242267.opb 

pid=629
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.25 2.09 2.02 3/261 632
/proc/meminfo: memFree=29814844/32872528 swapFree=9196/9196
[pid=632] ppid=629 vsize=761276 CPUtime=0 cores=4-7,12-15
/proc/632/stat : 632 (toysat) R 629 632 25889 0 -1 4202496 2848 0 0 0 0 0 0 0 20 0 4 0 106068719 779546624 2698 33554432000 4194304 16246674 140733225824000 140733225823424 13880264 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/632/statm: 191087 2706 441 2943 0 187981 0
[pid=632/tid=633] ppid=629 vsize=1173948 CPUtime=0 cores=4-7,12-15
/proc/632/task/633/stat : 633 (toysat) S 629 632 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106068719 1202122752 4307 33554432000 4194304 16246674 140733225824000 139780953189616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=632/tid=634] ppid=629 vsize=1178044 CPUtime=0 cores=4-7,12-15
/proc/632/task/634/stat : 634 (toysat) S 629 632 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106068719 1206317056 4326 33554432000 4194304 16246674 140733225824000 139780942699760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=632/tid=635] ppid=629 vsize=1183164 CPUtime=0 cores=4-7,12-15
/proc/632/task/635/stat : 635 (toysat) S 629 632 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106068719 1211559936 4343 33554432000 4194304 16246674 140733225824000 139780932226224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0

[startup+0.100142 s]
/proc/loadavg: 2.25 2.09 2.02 3/261 632
/proc/meminfo: memFree=29814844/32872528 swapFree=9196/9196
[pid=632] ppid=629 vsize=1218116 CPUtime=0.09 cores=4-7,12-15
/proc/632/stat : 632 (toysat) R 629 632 25889 0 -1 4202496 31503 0 0 0 5 4 0 0 20 0 4 0 106068719 1247350784 31344 33554432000 4194304 16246674 140733225824000 140733225823424 12449130 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/632/statm: 304529 31355 639 2943 0 301423 0
[pid=632/tid=633] ppid=629 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/632/task/633/stat : 633 (toysat) S 629 632 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106068719 1247350784 31364 33554432000 4194304 16246674 140733225824000 139780953189616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=632/tid=634] ppid=629 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/632/task/634/stat : 634 (toysat) S 629 632 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106068719 1247350784 31375 33554432000 4194304 16246674 140733225824000 139780942699760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=632/tid=635] ppid=629 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/632/task/635/stat : 635 (toysat) S 629 632 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106068719 1247350784 31384 33554432000 4194304 16246674 140733225824000 139780932226224 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

[startup+0.20047 s]
/proc/loadavg: 2.25 2.09 2.02 3/261 632
/proc/meminfo: memFree=29814844/32872528 swapFree=9196/9196
[pid=632] ppid=629 vsize=1218116 CPUtime=0.19 cores=4-7,12-15
/proc/632/stat : 632 (toysat) R 629 632 25889 0 -1 4202496 56181 0 0 0 12 7 0 0 20 0 4 0 106068719 1247350784 56021 33554432000 4194304 16246674 140733225824000 140733225823424 6958465 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/632/statm: 304529 56030 639 2943 0 301423 0
[pid=632/tid=633] ppid=629 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/632/task/633/stat : 633 (toysat) S 629 632 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106068719 1247350784 56037 33554432000 4194304 16246674 140733225824000 139780953189616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=632/tid=634] ppid=629 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/632/task/634/stat : 634 (toysat) S 629 632 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106068719 1247350784 56045 33554432000 4194304 16246674 140733225824000 139780942699760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=632/tid=635] ppid=629 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/632/task/635/stat : 635 (toysat) S 629 632 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106068719 1247350784 56052 33554432000 4194304 16246674 140733225824000 139780932226224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300433 s]
/proc/loadavg: 2.25 2.09 2.02 3/261 632
/proc/meminfo: memFree=29814844/32872528 swapFree=9196/9196
[pid=632] ppid=629 vsize=1218116 CPUtime=0.29 cores=4-7,12-15
/proc/632/stat : 632 (toysat) R 629 632 25889 0 -1 4202496 79505 0 0 0 20 9 0 0 20 0 4 0 106068719 1247350784 79345 33554432000 4194304 16246674 140733225824000 140733225823424 12449399 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/632/statm: 304529 79361 639 2943 0 301423 0
[pid=632/tid=633] ppid=629 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/632/task/633/stat : 633 (toysat) S 629 632 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106068719 1247350784 79370 33554432000 4194304 16246674 140733225824000 139780953189616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=632/tid=634] ppid=629 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/632/task/634/stat : 634 (toysat) S 629 632 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106068719 1247350784 79380 33554432000 4194304 16246674 140733225824000 139780942699760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=632/tid=635] ppid=629 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/632/task/635/stat : 635 (toysat) S 629 632 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106068719 1247350784 79389 33554432000 4194304 16246674 140733225824000 139780932226224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700349 s]
/proc/loadavg: 2.25 2.09 2.02 3/261 632
/proc/meminfo: memFree=29814844/32872528 swapFree=9196/9196
[pid=632] ppid=629 vsize=1218116 CPUtime=0.69 cores=4-7,12-15
/proc/632/stat : 632 (toysat) R 629 632 25889 0 -1 4202496 184824 0 0 0 47 22 0 0 20 0 4 0 106068719 1247350784 184665 33554432000 4194304 16246674 140733225824000 140733225805888 12449273 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/632/statm: 304529 184679 652 2943 0 301423 0
[pid=632/tid=633] ppid=629 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/632/task/633/stat : 633 (toysat) S 629 632 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106068719 1247350784 184688 33554432000 4194304 16246674 140733225824000 139780953189616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=632/tid=634] ppid=629 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/632/task/634/stat : 634 (toysat) S 629 632 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106068719 1247350784 184697 33554432000 4194304 16246674 140733225824000 139780942699760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=632/tid=635] ppid=629 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/632/task/635/stat : 635 (toysat) S 629 632 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106068719 1247350784 184707 33554432000 4194304 16246674 140733225824000 139780932226224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

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

[startup+0.921032 s]
/proc/loadavg: 2.25 2.09 2.02 3/261 632
/proc/meminfo: memFree=29814844/32872528 swapFree=9196/9196
[pid=632] ppid=629 vsize=1218116 CPUtime=0.91 cores=4-7,12-15
/proc/632/stat : 632 (toysat) R 629 632 25889 0 -1 4202496 236060 0 0 0 63 28 0 0 20 0 4 0 106068719 1247350784 235900 33554432000 4194304 16246674 140733225824000 140733225805888 12429797 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/632/statm: 304529 235905 652 2943 0 301423 0
[pid=632/tid=633] ppid=629 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/632/task/633/stat : 633 (toysat) S 629 632 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106068719 1247350784 235909 33554432000 4194304 16246674 140733225824000 139780953189616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=632/tid=634] ppid=629 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/632/task/634/stat : 634 (toysat) S 629 632 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106068719 1247350784 235912 33554432000 4194304 16246674 140733225824000 139780942699760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=632/tid=635] ppid=629 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/632/task/635/stat : 635 (toysat) S 629 632 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106068719 1247350784 235915 33554432000 4194304 16246674 140733225824000 139780932226224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 1218116

[startup+1.10037 s]
/proc/loadavg: 2.25 2.09 2.02 3/261 632
/proc/meminfo: memFree=29814844/32872528 swapFree=9196/9196
[pid=632] ppid=629 vsize=0 CPUtime=1.08 cores=4-7,12-15
/proc/632/stat : 632 (toysat) R 629 632 25889 0 -1 4202500 247710 0 0 0 73 35 0 0 20 0 1 0 106068719 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/632/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1.10261
CPU time (s): 1.09983
CPU user time (s): 0.738887
CPU system time (s): 0.360945
CPU usage (%): 99.7484
Max. virtual memory (cumulated for all children) (KiB): 1226308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.738887
system time used= 0.360945
maximum resident set size= 990024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 247710
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= 18
involuntary context switches= 2

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.014997 second user time and 0.017997 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-06 21:44:27
IDJOB=4079763
IDBENCH=2817
IDSOLVER=2542
FILE ID=node132/4079763-1465242267
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/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=197-Q=479.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079763-1465242267/watcher-4079763-1465242267 -o /tmp/evaluation-result-4079763-1465242267/solver-4079763-1465242267 -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-4079763-1465242267.opb

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

MD5SUM BENCH= e08ecfd57c94ad308d25fa5893f23db0
RANDOM SEED=917553363

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:        29815232 kB
Buffers:           46804 kB
Cached:            99456 kB
SwapCached:         3224 kB
Active:          2248748 kB
Inactive:          81388 kB
Active(anon):    2182720 kB
Inactive(anon):     3236 kB
Active(file):      66028 kB
Inactive(file):    78152 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67094528 kB
Dirty:             17092 kB
Writeback:             0 kB
AnonPages:       2192236 kB
Mapped:            10824 kB
Shmem:                 0 kB
Slab:             575888 kB
SReclaimable:      14024 kB
SUnreclaim:       561864 kB
KernelStack:        2208 kB
PageTables:         8108 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2337984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    526336 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 21:44:28