Trace number 4106178

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-02OPT3 5.62214 5.62631

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=5-P0=13-P1=29-P2=29-P3=31-P4=37-P5=17-P6=29-P7=3-P8=29-P9=17-B.opb
MD5SUMf969522c25fcd822319ca2a51d36dbf7
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.048992
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables135
Total number of constraints19
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints19
Minimum length of a constraint5
Maximum length of a constraint35
Number of terms in the objective function 5
Biggest coefficient in the objective function 16
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 31
Number of bits of the sum of numbers in the objective function 5
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 1984
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)225
Sum of products size (including duplicates)450
Number of different products225
Sum of products size450

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-18T18:25:10+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-4106178-1466267109.opb"]
0.00/0.01	c use --random-gen="2227334158 3652412021 1537633351 2002249553 3223443330 264632497 4280607455 1208244580 3629323288 2471369224 1134461633 1509362352 1923996431 307986118 3103264144 240264499 511172738 2065007321 2328586680 1289751439 985296366 711142153 4232763300 1942245236 823666110 1975187249 3161749231 112629608 3587095617 2217292736 1016614682 2747391247 1734893674 4231227971 2313783424 3604768664 2203957067 3233868756 1271930337 1087779615 1634041817 3519457007 1047144503 3445402556 2090574551 289807755 344797682 3130957741 1208347789 3390313972 617843274 3481549901 3301191127 4125865063 2300868149 2178792375 3213347180 33439497 3105638418 721535741 2926646019 2151831187 487650465 1228375202 4103871766 3469100464 2574366660 2433469456 134120640 991788875 3728918731 3841737227 361753480 2422769126 1664009615 786732502 3284577432 3531634762 3544916925 664529641 2600988938 1750136188 1422041748 1170638154 3191260993 4096350020 3217194199 489986819 1554764123 2113653161 1752752468 1127046379 943387761 3888570525 3158562771 3578076193 3553241942 386691548 1246115417 3643265093 1493048479 1700659936 2099356059 804540682 111956742 1103201693 4045259693 1277252719 1578818443 46801012 50580776 663560429 2296185027 3722322291 3017070262 4253179870 4219622500 2883651819 3368924844 3740966420 3525441159 2627027391 2363983307 3172950440 2759012589 2300408852 2030614332 1547561497 2005459953 2414334466 3830649314 2336973661 4286250002 4228020130 2342472719 1374998370 3235386089 1681485508 3423329578 379608856 4284045942 2260215176 1723070125 685350499 528893395 2266544465 3199255616 984996950 3153204249 269943652 2984456361 2431794388 4284090588 3140511290 1041882544 645975702 3642657106 299244181 1671333256 655663226 1207771930 3009581690 3096013040 3530620944 4144408753 233102569 2250790868 1136259602 1007000793 3155639100 2875636146 223368188 1517023281 3680701320 1360866514 4229052098 3139731194 1624961790 1787789800 94643259 2945483329 1896311679 3510758036 1616812315 3634897835 1232025131 3386478290 3278511646 3006650315 3853499099 2019448999 1363286414 3810201261 3288484633 2074569072 2527365326 7642990 2779778974 3392919199 3389632343 2239993875 230920368 905560797 1977822079 2010702915 91092607 2989593473 3520383626 3891890552 2131665742 35567935 215401188 143988602 161542314 1352786337 3202374125 1451600945 3595480825 3904788384 3561790040 3638606371 751873563 1064333208 3331842164 3865136014 2947129032 3034066855 42444643 1081583120 1648239942 3566432797 3057888929 3181913651 2774347732 3560318013 1245600780 3203232600 498121383 367279939 3463180850 2815214295 980426643 3394084740 799092563 882261787 423661515 1544786355 2432752429 578970361 1828409721 4028373908 1263866068 1846169607 2388438715 3060264928 530405653 255 362436" option to reproduce the execution
0.00/0.01	c #vars 135
0.00/0.01	c #constraints 19
0.00/0.02	c BCD2: Hardening is enabled.
0.00/0.02	c BCD2: BiasedSearch is enabled.
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      354      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      129 |      100 |      354      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      473 |      250 |      390      0 |        0 |        0
0.09/0.10	c  0.1s |       3 |      811 |      475 |      430      0 |        0 |        0
0.09/0.15	c  0.1s |       4 |     1252 |      813 |      474      1 |        0 |        0
0.09/0.16	c  0.1s |       4 |     1378 |      870 |      522      2 |        0 |        0
0.09/0.16	c #cpu_time = 0.147s
0.09/0.16	c #wall_clock_time = 0.147s
0.09/0.16	c #decision = 1378
0.09/0.16	c #random_decision = 5
0.09/0.16	c #conflict = 870
0.09/0.16	c #restart = 4
0.09/0.16	o 31
0.09/0.16	c BCD2: updating upper bound: 31 -> 30
0.09/0.16	c BCD2: 0 <= obj <= 30
0.09/0.16	c BCD2: #cores=0, #unrelaxed=5, #relaxed=0, #hardened=0
0.09/0.16	c BCD2: #sat=1 #unsat=1 bias=1/2
0.09/0.16	c Solving starts ...
0.09/0.16	c ============================[ Search Statistics ]============================
0.09/0.16	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.16	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.16	c =============================================================================
0.09/0.16	c  0.0s |       0 |        0 |        0 |      522      0 |        0 |        0
0.09/0.17	c  0.0s |       0 |        3 |        0 |      522      0 |        0 |        0
0.09/0.17	c #cpu_time = 0.001s
0.09/0.17	c #wall_clock_time = 0.001s
0.09/0.17	c #decision = 3
0.09/0.17	c #random_decision = 0
0.09/0.17	c #conflict = 0
0.09/0.17	c #restart = 0
0.09/0.17	c BCD2: found a new core of size 4: cost of the new core is >=2
0.09/0.17	c lower bound updated to 2
0.09/0.17	c BCD2: 2 <= obj <= 30
0.09/0.17	c BCD2: #cores=1, #unrelaxed=1, #relaxed=4, #hardened=0
0.09/0.17	c BCD2: #sat=1 #unsat=2 bias=2/3
0.09/0.17	c Solving starts ...
0.09/0.17	c ============================[ Search Statistics ]============================
0.09/0.17	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.17	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.17	c =============================================================================
0.09/0.17	c  0.0s |       0 |        0 |        0 |      522      0 |        0 |        0
0.09/0.18	c  0.0s |       1 |      175 |      100 |      522      0 |        0 |        0
0.19/0.21	c  0.0s |       2 |      407 |      250 |      522      0 |        0 |        0
0.19/0.24	c  0.1s |       3 |      669 |      475 |      575      1 |        0 |        0
0.29/0.31	c  0.1s |       4 |     1181 |      813 |      575      1 |        0 |        0
0.29/0.39	c  0.2s |       5 |     1893 |     1320 |      633      2 |        0 |        0
0.48/0.56	c  0.4s |       6 |     2991 |     2081 |      633      4 |        0 |        0
0.69/0.79	c  0.6s |       7 |     4391 |     3223 |      697      7 |        0 |        0
1.10/1.18	c  1.0s |       8 |     6507 |     4936 |      767     11 |        0 |        0
1.49/1.54	c  1.4s |       9 |     9437 |     7506 |      844     15 |        0 |        0
2.09/2.10	c  1.9s |      10 |    14472 |    11361 |      929     23 |        0 |        0
2.88/2.97	c  2.8s |      11 |    21137 |    17144 |     1022     32 |        0 |        0
4.09/4.19	c  4.0s |      12 |    32042 |    25819 |     1125     46 |        2 |       10
5.39/5.48	c  5.3s |      12 |    44296 |    35367 |     1125     62 |        2 |       10
5.39/5.48	c #cpu_time = 5.313s
5.39/5.48	c #wall_clock_time = 5.315s
5.39/5.48	c #decision = 44296
5.39/5.48	c #random_decision = 171
5.39/5.48	c #conflict = 35367
5.39/5.48	c #restart = 12
5.39/5.48	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 5: cost of the new core is >=3
5.39/5.48	c lower bound updated to 3
5.39/5.48	c BCD2: 3 <= obj <= 30
5.39/5.48	c BCD2: #cores=1, #unrelaxed=0, #relaxed=5, #hardened=0
5.39/5.48	c BCD2: #sat=1 #unsat=3 bias=3/4
5.39/5.48	c Solving starts ...
5.39/5.48	c ============================[ Search Statistics ]============================
5.39/5.48	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
5.39/5.48	c       |         |          |          |    Limit     GC | Var      | Constra 
5.39/5.48	c =============================================================================
5.39/5.48	c  0.0s |       0 |        0 |        0 |     1125      0 |        3 |       10
5.39/5.50	c  0.0s |       1 |      136 |      100 |     1125      0 |        3 |       11
5.50/5.51	c  0.0s |       2 |      364 |      250 |     1125      0 |        3 |       11
5.50/5.53	c  0.0s |       2 |      617 |      374 |     1125      1 |        3 |       11
5.50/5.53	c #cpu_time = 0.048s
5.50/5.53	c #wall_clock_time = 0.048s
5.50/5.53	c #decision = 617
5.50/5.53	c #random_decision = 3
5.50/5.53	c #conflict = 374
5.50/5.53	c #restart = 2
5.50/5.53	o 13
5.50/5.53	c BCD2: hardening fixes 1 literals
5.50/5.53	c BCD2: updating upper bound: 30 -> 12
5.50/5.53	c BCD2: 3 <= obj <= 12
5.50/5.53	c BCD2: #cores=1, #unrelaxed=0, #relaxed=4, #hardened=1
5.50/5.53	c BCD2: #sat=2 #unsat=3 bias=3/5
5.50/5.53	c Solving starts ...
5.50/5.53	c ============================[ Search Statistics ]============================
5.50/5.53	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
5.50/5.53	c       |         |          |          |    Limit     GC | Var      | Constra 
5.50/5.53	c =============================================================================
5.50/5.53	c  0.0s |       0 |        0 |        0 |     1125      0 |       10 |       12
5.50/5.54	c  0.0s |       0 |      123 |       36 |     1125      0 |       10 |       28
5.50/5.54	c #cpu_time = 0.005s
5.50/5.54	c #wall_clock_time = 0.005s
5.50/5.54	c #decision = 123
5.50/5.54	c #random_decision = 0
5.50/5.54	c #conflict = 36
5.50/5.54	c #restart = 0
5.50/5.54	o 5
5.50/5.54	c BCD2: hardening fixes 1 literals
5.50/5.54	c BCD2: updating upper bound: 12 -> 4
5.50/5.54	c BCD2: 3 <= obj <= 4
5.50/5.54	c BCD2: #cores=1, #unrelaxed=0, #relaxed=3, #hardened=2
5.50/5.54	c BCD2: #sat=3 #unsat=3 bias=3/6
5.50/5.54	c Solving starts ...
5.50/5.54	c ============================[ Search Statistics ]============================
5.50/5.54	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
5.50/5.54	c       |         |          |          |    Limit     GC | Var      | Constra 
5.50/5.54	c =============================================================================
5.50/5.54	c  0.0s |       0 |        0 |        0 |     1125      0 |       17 |       30
5.50/5.55	c  0.0s |       1 |      162 |      100 |     1125      0 |       17 |       45
5.50/5.56	c  0.0s |       1 |      272 |      135 |     1125      0 |       17 |       45
5.50/5.56	c #cpu_time = 0.022s
5.50/5.56	c #wall_clock_time = 0.022s
5.50/5.56	c #decision = 272
5.50/5.56	c #random_decision = 2
5.50/5.56	c #conflict = 135
5.50/5.56	c #restart = 1
5.50/5.56	o 3
5.50/5.56	s OPTIMUM FOUND
5.50/5.56	v x1 x2 -x3 -x4 -x5 x6 x7 x8 -x9 x10
5.50/5.56	v x11 x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 x20
5.50/5.56	v x21 x22 x23 -x24 -x25 x26 -x27 -x28 x29 x30
5.50/5.56	v x31 -x32 x33 -x34 -x35 x36 x37 -x38 -x39 -x40
5.50/5.56	v x41 x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 x50
5.50/5.56	v x51 -x52 x53 -x54 -x55 x56 x57 x58 x59 -x60
5.50/5.56	v x61 x62 x63 x64 x65 x66 -x67 -x68 x69 x70
5.50/5.56	v x71 -x72 -x73 -x74 x75 x76 -x77 x78 -x79 x80
5.50/5.56	v x81 x82 x83 x84 x85 x86 -x87 x88 x89 x90
5.50/5.56	v -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
5.50/5.56	v x101 x102 x103 -x104 -x105 -x106 x107 x108 -x109 -x110
5.50/5.56	v x111 x112 -x113 -x114 x115 -x116 x117 -x118 -x119 -x120
5.50/5.56	v x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130
5.50/5.56	v x131 x132 x133 x134 -x135
5.50/5.56	c total CPU time = 5.559s
5.50/5.56	c total wall clock time = 5.561s

Verifier Data 

OK	3

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

pid=25378
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.29 2.28 2.18 3/179 25381
/proc/meminfo: memFree=28944980/32872528 swapFree=1499884/1696108
[pid=25381] ppid=25378 vsize=609724 CPUtime=0 cores=1,3,5,7
/proc/25381/stat : 25381 (toysat) R 25378 25381 24910 0 -1 4202496 2255 0 0 0 0 0 0 0 20 0 4 0 28756697 624357376 3127 33554432000 4194304 16246674 140733406856752 140733406856176 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25381/statm: 153199 3138 441 2943 0 150093 0
[pid=25381/tid=25382] ppid=25378 vsize=629180 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25382/stat : 25382 (toysat) S 25378 25381 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28756697 644280320 3201 33554432000 4194304 16246674 140733406856752 140551854730480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25381/tid=25383] ppid=25378 vsize=633276 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25383/stat : 25383 (toysat) S 25378 25381 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28756697 648474624 3217 33554432000 4194304 16246674 140733406856752 140551844240624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25381/tid=25384] ppid=25378 vsize=637372 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25384/stat : 25384 (toysat) S 25378 25381 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28756697 652668928 3235 33554432000 4194304 16246674 140733406856752 140551731014832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100213 s]
/proc/loadavg: 2.29 2.28 2.18 3/179 25381
/proc/meminfo: memFree=28944980/32872528 swapFree=1499884/1696108
[pid=25381] ppid=25378 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/25381/stat : 25381 (toysat) R 25378 25381 24910 0 -1 4202496 21102 0 0 0 6 3 0 0 20 0 4 0 28756697 1247350784 21962 33554432000 4194304 16246674 140733406856752 140733406856176 13759916 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25381/statm: 304529 21969 759 2943 0 301423 0
[pid=25381/tid=25382] ppid=25378 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25382/stat : 25382 (toysat) S 25378 25381 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28756697 1247350784 21975 33554432000 4194304 16246674 140733406856752 140551854730480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25381/tid=25383] ppid=25378 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25383/stat : 25383 (toysat) S 25378 25381 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28756697 1247350784 21979 33554432000 4194304 16246674 140733406856752 140551844240624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25381/tid=25384] ppid=25378 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25384/stat : 25384 (toysat) S 25378 25381 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28756697 1247350784 21983 33554432000 4194304 16246674 140733406856752 140551731014832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200504 s]
/proc/loadavg: 2.29 2.28 2.18 3/179 25381
/proc/meminfo: memFree=28944980/32872528 swapFree=1499884/1696108
[pid=25381] ppid=25378 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/25381/stat : 25381 (toysat) R 25378 25381 24910 0 -1 4202496 40260 0 0 0 13 6 0 0 20 0 4 0 28756697 1247350784 41120 33554432000 4194304 16246674 140733406856752 140733406856176 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25381/statm: 304529 41129 796 2943 0 301423 0
[pid=25381/tid=25382] ppid=25378 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25382/stat : 25382 (toysat) S 25378 25381 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28756697 1247350784 41133 33554432000 4194304 16246674 140733406856752 140551854730480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25381/tid=25383] ppid=25378 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25383/stat : 25383 (toysat) S 25378 25381 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28756697 1247350784 41138 33554432000 4194304 16246674 140733406856752 140551844240624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25381/tid=25384] ppid=25378 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25384/stat : 25384 (toysat) S 25378 25381 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28756697 1247350784 41147 33554432000 4194304 16246674 140733406856752 140551731014832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300465 s]
/proc/loadavg: 2.29 2.28 2.18 3/179 25381
/proc/meminfo: memFree=28944980/32872528 swapFree=1499884/1696108
[pid=25381] ppid=25378 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/25381/stat : 25381 (toysat) R 25378 25381 24910 0 -1 4202496 58946 0 0 0 20 9 0 0 20 0 4 0 28756697 1247350784 59805 33554432000 4194304 16246674 140733406856752 140733406856176 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25381/statm: 304529 59812 796 2943 0 301423 0
[pid=25381/tid=25382] ppid=25378 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25382/stat : 25382 (toysat) S 25378 25381 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28756697 1247350784 59821 33554432000 4194304 16246674 140733406856752 140551854730480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25381/tid=25383] ppid=25378 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25383/stat : 25383 (toysat) S 25378 25381 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28756697 1247350784 59825 33554432000 4194304 16246674 140733406856752 140551844240624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25381/tid=25384] ppid=25378 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25384/stat : 25384 (toysat) S 25378 25381 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28756697 1247350784 59831 33554432000 4194304 16246674 140733406856752 140551731014832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700385 s]
/proc/loadavg: 2.29 2.28 2.18 3/179 25381
/proc/meminfo: memFree=28944980/32872528 swapFree=1499884/1696108
[pid=25381] ppid=25378 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/25381/stat : 25381 (toysat) R 25378 25381 24910 0 -1 4202496 140643 0 0 0 49 20 0 0 20 0 4 0 28756697 1247350784 141502 33554432000 4194304 16246674 140733406856752 140733406856176 5723965 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25381/statm: 304529 141510 796 2943 0 301423 0
[pid=25381/tid=25382] ppid=25378 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25382/stat : 25382 (toysat) S 25378 25381 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28756697 1247350784 141515 33554432000 4194304 16246674 140733406856752 140551854730480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25381/tid=25383] ppid=25378 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25383/stat : 25383 (toysat) S 25378 25381 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28756697 1247350784 141522 33554432000 4194304 16246674 140733406856752 140551844240624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25381/tid=25384] ppid=25378 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25384/stat : 25384 (toysat) S 25378 25381 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28756697 1247350784 141527 33554432000 4194304 16246674 140733406856752 140551731014832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.26 2.28 2.18 3/183 25385
/proc/meminfo: memFree=28082856/32872528 swapFree=1499884/1696108
[pid=25381] ppid=25378 vsize=1220164 CPUtime=1.49 cores=1,3,5,7
/proc/25381/stat : 25381 (toysat) R 25378 25381 24910 0 -1 4202496 245873 0 0 0 115 34 0 0 20 0 4 0 28756697 1249447936 246710 33554432000 4194304 16246674 140733406856752 140733406856064 5824031 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25381/statm: 305041 246710 856 2943 0 301935 0
[pid=25381/tid=25382] ppid=25378 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25382/stat : 25382 (toysat) S 25378 25381 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28756697 1249447936 246710 33554432000 4194304 16246674 140733406856752 140551854730480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25381/tid=25383] ppid=25378 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25383/stat : 25383 (toysat) S 25378 25381 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28756697 1249447936 246710 33554432000 4194304 16246674 140733406856752 140551844240624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25381/tid=25384] ppid=25378 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25384/stat : 25384 (toysat) S 25378 25381 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28756697 1249447936 246710 33554432000 4194304 16246674 140733406856752 140551731014832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1220164

[startup+3.1004 s]
/proc/loadavg: 2.26 2.28 2.18 3/183 25385
/proc/meminfo: memFree=27901072/32872528 swapFree=1499884/1696108
[pid=25381] ppid=25378 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/25381/stat : 25381 (toysat) R 25378 25381 24910 0 -1 4202496 267554 0 0 0 271 37 0 0 20 0 4 0 28756697 1337528320 268391 33554432000 4194304 16246674 140733406856752 140733406838656 5717604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25381/statm: 326545 268391 856 2943 0 323439 0
[pid=25381/tid=25382] ppid=25378 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25382/stat : 25382 (toysat) S 25378 25381 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28756697 1337528320 268391 33554432000 4194304 16246674 140733406856752 140551854730480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25381/tid=25383] ppid=25378 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25383/stat : 25383 (toysat) S 25378 25381 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28756697 1337528320 268391 33554432000 4194304 16246674 140733406856752 140551844240624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25381/tid=25384] ppid=25378 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25384/stat : 25384 (toysat) S 25378 25381 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28756697 1337528320 268391 33554432000 4194304 16246674 140733406856752 140551731014832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

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

[startup+3.20047 s]
/proc/loadavg: 2.26 2.28 2.18 3/183 25385
/proc/meminfo: memFree=27901072/32872528 swapFree=1499884/1696108
[pid=25381] ppid=25378 vsize=1306180 CPUtime=3.18 cores=1,3,5,7
/proc/25381/stat : 25381 (toysat) R 25378 25381 24910 0 -1 4202496 267554 0 0 0 281 37 0 0 20 0 4 0 28756697 1337528320 268391 33554432000 4194304 16246674 140733406856752 140733406838656 12482796 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25381/statm: 326545 268391 856 2943 0 323439 0
[pid=25381/tid=25382] ppid=25378 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25382/stat : 25382 (toysat) S 25378 25381 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28756697 1337528320 268391 33554432000 4194304 16246674 140733406856752 140551854730480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25381/tid=25383] ppid=25378 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25383/stat : 25383 (toysat) S 25378 25381 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28756697 1337528320 268391 33554432000 4194304 16246674 140733406856752 140551844240624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25381/tid=25384] ppid=25378 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25384/stat : 25384 (toysat) S 25378 25381 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28756697 1337528320 268391 33554432000 4194304 16246674 140733406856752 140551731014832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.18
Current children cumulated vsize (KiB) 1306180

[startup+4.8004 s]
/proc/loadavg: 2.26 2.28 2.18 4/183 25385
/proc/meminfo: memFree=27871700/32872528 swapFree=1499884/1696108
[pid=25381] ppid=25378 vsize=1306180 CPUtime=4.79 cores=1,3,5,7
/proc/25381/stat : 25381 (toysat) R 25378 25381 24910 0 -1 4202496 267607 0 0 0 441 38 0 0 20 0 4 0 28756697 1337528320 268444 33554432000 4194304 16246674 140733406856752 140733406838656 13954625 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25381/statm: 326545 268444 856 2943 0 323439 0
[pid=25381/tid=25382] ppid=25378 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25382/stat : 25382 (toysat) S 25378 25381 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28756697 1337528320 268444 33554432000 4194304 16246674 140733406856752 140551854730480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25381/tid=25383] ppid=25378 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25383/stat : 25383 (toysat) S 25378 25381 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28756697 1337528320 268444 33554432000 4194304 16246674 140733406856752 140551844240624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25381/tid=25384] ppid=25378 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25384/stat : 25384 (toysat) S 25378 25381 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28756697 1337528320 268444 33554432000 4194304 16246674 140733406856752 140551731014832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 1306180

[startup+5.2004 s]
/proc/loadavg: 2.26 2.28 2.18 4/183 25385
/proc/meminfo: memFree=27871700/32872528 swapFree=1499884/1696108
[pid=25381] ppid=25378 vsize=1306180 CPUtime=5.19 cores=1,3,5,7
/proc/25381/stat : 25381 (toysat) R 25378 25381 24910 0 -1 4202496 267608 0 0 0 481 38 0 0 20 0 4 0 28756697 1337528320 268445 33554432000 4194304 16246674 140733406856752 140733406838656 6842948 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25381/statm: 326545 268445 856 2943 0 323439 0
[pid=25381/tid=25382] ppid=25378 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25382/stat : 25382 (toysat) S 25378 25381 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28756697 1337528320 268445 33554432000 4194304 16246674 140733406856752 140551854730480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25381/tid=25383] ppid=25378 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25383/stat : 25383 (toysat) S 25378 25381 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28756697 1337528320 268445 33554432000 4194304 16246674 140733406856752 140551844240624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25381/tid=25384] ppid=25378 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25384/stat : 25384 (toysat) S 25378 25381 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28756697 1337528320 268445 33554432000 4194304 16246674 140733406856752 140551731014832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 5.19
Current children cumulated vsize (KiB) 1306180

[startup+5.60752 s]
/proc/loadavg: 2.26 2.28 2.18 3/183 25385
/proc/meminfo: memFree=27871844/32872528 swapFree=1499884/1696108
[pid=25381] ppid=25378 vsize=0 CPUtime=5.59 cores=1,3,5,7
/proc/25381/stat : 25381 (toysat) R 25378 25381 24910 0 -1 4202500 267614 0 0 0 517 42 0 0 20 0 1 0 28756697 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25381/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.59
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 5.62631
CPU time (s): 5.62214
CPU user time (s): 5.17921
CPU system time (s): 0.442932
CPU usage (%): 99.9259
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.17921
system time used= 0.442932
maximum resident set size= 1073792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267614
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= 15
involuntary context switches= 7

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.024996 second user time and 0.019996 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-18 18:25:10
IDJOB=4106178
IDBENCH=47962
IDSOLVER=2542
FILE ID=node137/4106178-1466267109
RUNJOBID= node137-1466264772-24927
PBS_JOBID= 19918225
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=5-P0=13-P1=29-P2=29-P3=31-P4=37-P5=17-P6=29-P7=3-P8=29-P9=17-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106178-1466267109/watcher-4106178-1466267109 -o /tmp/evaluation-result-4106178-1466267109/solver-4106178-1466267109 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24927 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106178-1466267109.opb

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

MD5SUM BENCH= f969522c25fcd822319ca2a51d36dbf7
RANDOM SEED=1568374063

node137.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.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		: 2666.486
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28945880 kB
Buffers:          145668 kB
Cached:           255092 kB
SwapCached:         1268 kB
Active:          1232128 kB
Inactive:         252404 kB
Active(anon):    1084988 kB
Inactive(anon):     1028 kB
Active(file):     147140 kB
Inactive(file):   251376 kB
Unevictable:     1696108 kB
Mlocked:         1499884 kB
SwapTotal:      67108856 kB
SwapFree:       67100008 kB
Dirty:             16316 kB
Writeback:             0 kB
AnonPages:       2767012 kB
Mapped:            10544 kB
Shmem:                 0 kB
Slab:             607080 kB
SReclaimable:      50988 kB
SUnreclaim:       556092 kB
KernelStack:        1456 kB
PageTables:         9928 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2925564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    958464 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71672 MiB
End job on node137 at 2016-06-18 18:25:15