Trace number 4093334

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-02OPTIMUM 61.1307 61.1411

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552288--soft-66-100-0.wbo
MD5SUMaabd2abc5a32dbb90eb5074319abd403
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark31.4942
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints930
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
Top cost 46532
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46531
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 727
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

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-16T16:29:11+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","--wbo","--search=bcd2","HOME/instance-4093334-1466087351.wbo"]
0.00/0.01	c use --random-gen="1924744854 502559663 1031146777 942579659 2159623151 3215022182 4116449748 3575092437 2345679159 740883435 1615504114 3483904029 1785354027 1575244995 1791682230 3496629577 559168047 2837109188 3910775628 231058074 4114101994 1629288147 1611970837 4085793068 1394415056 146211528 1053023686 238569317 59750523 2647865259 1622784524 2755149371 2258833717 1179876902 3196701935 2055002608 944401882 524965950 3360218731 1319773530 1401521652 3411713738 526906502 2542670252 370752296 289825456 2810657458 3325211893 2746470955 969111357 1327002559 3460080009 842885602 891415169 1330740928 289356297 1930704800 2211623254 2858075503 557247308 2385741954 1141839949 3423669449 4103769859 3595715977 1339989925 4186120658 2002787784 3289675533 1467259205 2605208489 2351662345 3939720028 323946699 2022453740 2911929400 1061235887 3137996727 2964589001 3912351164 871177180 333823401 540624531 2777466991 2525213956 2471994063 99140068 22101550 3552352059 663963810 2693615172 3031070871 585382324 3055566561 3880023399 406439204 3508138549 3702691250 2045157164 2330717445 215119404 2299228114 764604171 3282951240 515939015 4154222390 323236765 364176277 274991991 3650473767 2931652171 1419764329 3729438963 966013781 3682455630 4118050824 1043360369 133311035 1232944278 164204572 1275690312 3651871393 3534531090 354606271 80671033 393712449 2262594137 3431674979 419476816 4209841540 2282211432 3304918131 2357057409 364793503 1873921375 2677710320 1171891880 1225232954 1542486406 2777322157 2649849549 3607076999 3895024461 1297241370 3927216347 1931581113 3239848441 3408949670 3999955769 3296706279 2191939007 3019083017 463993188 3090920169 2687265190 2270485293 3092704203 3813400761 1374911777 496579062 727861247 473659177 3833985530 1665827100 1188763092 1296427522 779196016 3082334609 3771865250 1159571907 346828034 2842450242 27774388 2150015290 1312120562 210018125 3284364427 2230464100 4289890601 2762229178 357057166 228311001 2766093612 3197425964 4029963519 1992649482 3483646511 730156629 3930962761 2809523835 1101175680 3910119345 2327130149 2647647940 3564075740 2114524435 1192872770 547749002 1160591513 3681960225 3866740402 2511079056 3832199530 754413615 4086899468 45375021 4049410569 2299958390 454512720 317304123 1277511226 3912505827 1569517423 3563236370 1330228508 3095869639 1443078437 4234251203 182185197 1984413152 3939217564 3425413700 2308356020 4271816265 1416315719 657205856 3931582381 631148455 4285533958 170038344 3014865483 2652333329 436914272 1252040754 63824462 3403261354 1184311130 1767934448 2303819022 1628821336 2033281185 714759420 361805382 1495484405 3099044644 3107298660 709468620 3972063728 1330206121 3615360298 1188042471 1631919337 3587098750 4046379428 782837876 1014329482 255 362436" option to reproduce the execution
0.09/0.13	c #vars 231
0.09/0.13	c #constraints 2707
0.09/0.18	c BCD2: Hardening is enabled.
0.09/0.18	c BCD2: BiasedSearch is enabled.
0.09/0.18	c Solving starts ...
0.09/0.18	c ============================[ Search Statistics ]============================
0.09/0.18	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.18	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.18	c =============================================================================
0.09/0.19	c  0.0s |       0 |        0 |        0 |     1289      0 |        0 |        0
0.19/0.20	c  0.0s |       0 |     1092 |       52 |     1289      0 |        0 |        0
0.19/0.20	c #cpu_time = 0.020s
0.19/0.20	c #wall_clock_time = 0.020s
0.19/0.20	c #decision = 1092
0.19/0.20	c #random_decision = 2
0.19/0.20	c #conflict = 52
0.19/0.20	c #restart = 0
0.19/0.20	o 296
0.19/0.20	c BCD2: updating upper bound: 46531 -> 295
0.19/0.20	c BCD2: 0 <= obj <= 295
0.19/0.20	c BCD2: #cores=0, #unrelaxed=930, #relaxed=0, #hardened=0
0.19/0.20	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.20	c Solving starts ...
0.19/0.20	c ============================[ Search Statistics ]============================
0.19/0.20	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.20	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.20	c =============================================================================
0.19/0.20	c  0.0s |       0 |        0 |        0 |     1289      0 |        0 |        0
0.19/0.22	c  0.0s |       1 |     1119 |      100 |     1418      0 |        0 |        0
0.19/0.25	c  0.0s |       2 |     2322 |      250 |     1560      0 |        0 |        0
0.29/0.30	c  0.1s |       3 |     3599 |      475 |     1717      0 |        0 |        0
0.39/0.40	c  0.2s |       4 |     5164 |      813 |     1889      0 |        0 |        0
0.49/0.59	c  0.4s |       5 |     7056 |     1320 |     2078      0 |        0 |        0
0.89/0.90	c  0.7s |       6 |     9285 |     2081 |     2286      0 |        0 |        0
1.29/1.36	c  1.2s |       7 |    12105 |     3223 |     2515      0 |        0 |        0
1.89/1.91	c  1.7s |       8 |    16072 |     4936 |     2767      1 |        0 |        0
2.79/2.80	c  2.6s |       9 |    22026 |     7506 |     3044      3 |        0 |        0
4.29/4.39	c  4.2s |      10 |    30051 |    11361 |     3349      5 |        0 |        0
6.39/6.41	c  6.2s |      10 |    39646 |    15861 |     3349      7 |        0 |        0
6.99/7.09	c  6.9s |      11 |    41985 |    17144 |     3684      7 |        0 |        0
9.09/9.13	c  8.9s |      11 |    49179 |    20744 |     3684      9 |        0 |        0
11.09/11.14	c 10.9s |      11 |    55797 |    24244 |     3684     10 |        0 |        0
11.88/11.99	c 11.8s |      12 |    58464 |    25819 |     4053     11 |        0 |        0
13.98/14.02	c 13.8s |      12 |    64835 |    29019 |     4053     12 |        0 |        0
15.98/16.05	c 15.8s |      12 |    70327 |    32219 |     4053     13 |        0 |        0
17.98/18.08	c 17.9s |      12 |    77366 |    35919 |     4053     15 |        0 |        0
19.79/19.89	c 19.7s |      13 |    82545 |    38832 |     4459     16 |        0 |        0
21.88/21.94	c 21.7s |      13 |    88302 |    41532 |     4459     17 |        0 |        0
23.98/24.01	c 23.8s |      13 |    93333 |    44132 |     4459     18 |        0 |        0
25.99/26.02	c 25.8s |      13 |    98449 |    46932 |     4459     19 |        0 |        0
27.99/28.03	c 27.8s |      13 |   103600 |    49632 |     4459     20 |        0 |        0
29.99/30.04	c 29.8s |      13 |   108847 |    52332 |     4459     21 |        0 |        0
30.49/30.50	c 30.3s |      13 |   110354 |    53032 |     4459     21 |        0 |        0
30.49/30.50	c #cpu_time = 30.216s
30.49/30.50	c #wall_clock_time = 30.295s
30.49/30.50	c #decision = 110354
30.49/30.50	c #random_decision = 220
30.49/30.50	c #conflict = 53032
30.49/30.50	c #restart = 13
30.49/30.50	c BCD2: found a new core of size 895: cost of the new core is >=1
30.49/30.50	c lower bound updated to 1
30.49/30.50	c BCD2: 1 <= obj <= 295
30.49/30.50	c BCD2: #cores=1, #unrelaxed=35, #relaxed=895, #hardened=0
30.49/30.50	c BCD2: #sat=1 #unsat=2 bias=2/3
30.49/30.50	c Solving starts ...
30.49/30.50	c ============================[ Search Statistics ]============================
30.49/30.50	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
30.49/30.50	c       |         |          |          |    Limit     GC | Var      | Constra 
30.49/30.50	c =============================================================================
30.49/30.50	c  0.0s |       0 |        0 |        0 |     4459      0 |        0 |        0
30.59/30.66	c  0.2s |       1 |     1612 |      100 |     4459      1 |        0 |        0
30.59/30.69	c  0.2s |       1 |     1699 |      107 |     4459      1 |        0 |        0
30.59/30.69	c #cpu_time = 0.189s
30.59/30.69	c #wall_clock_time = 0.190s
30.59/30.69	c #decision = 1699
30.59/30.69	c #random_decision = 11
30.59/30.69	c #conflict = 107
30.59/30.69	c #restart = 1
30.59/30.69	o 142
30.59/30.70	c BCD2: updating upper bound: 295 -> 141
30.69/30.70	c BCD2: 1 <= obj <= 141
30.69/30.70	c BCD2: #cores=1, #unrelaxed=35, #relaxed=895, #hardened=0
30.69/30.70	c BCD2: #sat=2 #unsat=2 bias=2/4
30.69/30.70	c Solving starts ...
30.69/30.70	c ============================[ Search Statistics ]============================
30.69/30.70	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
30.69/30.70	c       |         |          |          |    Limit     GC | Var      | Constra 
30.69/30.70	c =============================================================================
30.69/30.70	c  0.0s |       0 |        0 |        0 |     4459      0 |        0 |        1
30.79/30.81	c  0.1s |       1 |      195 |      100 |     4459      0 |        0 |        1
30.79/30.86	c  0.2s |       1 |      526 |      151 |     4459      0 |        0 |        1
30.79/30.86	c #cpu_time = 0.155s
30.79/30.86	c #wall_clock_time = 0.156s
30.79/30.86	c #decision = 526
30.79/30.86	c #random_decision = 0
30.79/30.86	c #conflict = 151
30.79/30.86	c #restart = 1
30.79/30.86	o 112
30.79/30.86	c BCD2: updating upper bound: 141 -> 111
30.79/30.86	c BCD2: 1 <= obj <= 111
30.79/30.86	c BCD2: #cores=1, #unrelaxed=35, #relaxed=895, #hardened=0
30.79/30.86	c BCD2: #sat=3 #unsat=2 bias=2/5
30.79/30.87	c Solving starts ...
30.79/30.87	c ============================[ Search Statistics ]============================
30.79/30.87	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
30.79/30.87	c       |         |          |          |    Limit     GC | Var      | Constra 
30.79/30.87	c =============================================================================
30.79/30.87	c  0.0s |       0 |        0 |        0 |     4459      0 |        0 |        2
30.90/30.98	c  0.1s |       1 |      260 |      100 |     4459      0 |        0 |        2
30.99/31.06	c  0.2s |       2 |      599 |      250 |     4459      0 |        0 |        2
31.09/31.18	c  0.3s |       2 |     1015 |      406 |     4459      0 |        0 |        2
31.09/31.18	c #cpu_time = 0.309s
31.09/31.18	c #wall_clock_time = 0.310s
31.09/31.18	c #decision = 1015
31.09/31.18	c #random_decision = 2
31.09/31.18	c #conflict = 406
31.09/31.18	c #restart = 2
31.09/31.18	o 33
31.09/31.18	c BCD2: hardening fixes 631 literals
31.09/31.18	c BCD2: updating upper bound: 111 -> 32
31.09/31.18	c BCD2: 1 <= obj <= 32
31.09/31.18	c BCD2: #cores=1, #unrelaxed=14, #relaxed=285, #hardened=631
31.09/31.18	c BCD2: #sat=4 #unsat=2 bias=2/6
31.09/31.18	c Solving starts ...
31.09/31.18	c ============================[ Search Statistics ]============================
31.09/31.18	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
31.09/31.18	c       |         |          |          |    Limit     GC | Var      | Constra 
31.09/31.18	c =============================================================================
31.09/31.18	c  0.0s |       0 |        0 |        0 |     4459      0 |      631 |        3
31.19/31.25	c  0.1s |       1 |      182 |      100 |     4459      0 |      631 |        3
31.29/31.32	c  0.1s |       2 |      430 |      250 |     4459      0 |      631 |        3
31.39/31.43	c  0.3s |       3 |      830 |      475 |     4459      0 |      631 |        3
31.49/31.59	c  0.4s |       4 |     1460 |      813 |     4459      0 |      631 |        3
31.79/31.81	c  0.6s |       5 |     2367 |     1320 |     4459      0 |      631 |        3
32.09/32.13	c  0.9s |       6 |     3706 |     2081 |     4459      0 |      631 |        3
32.49/32.58	c  1.4s |       7 |     5672 |     3223 |     4459      1 |      631 |        3
33.19/33.21	c  2.0s |       8 |     8439 |     4936 |     4905      1 |      631 |        3
34.19/34.24	c  3.1s |       9 |    12452 |     7506 |     4905      2 |      631 |        3
35.99/36.02	c  4.8s |      10 |    18203 |    11361 |     4905      4 |      631 |        3
37.09/37.18	c  6.0s |      10 |    22245 |    14104 |     4905      4 |      631 |        3
37.09/37.18	c #cpu_time = 5.982s
37.09/37.18	c #wall_clock_time = 5.997s
37.09/37.18	c #decision = 22245
37.09/37.18	c #random_decision = 22
37.09/37.18	c #conflict = 14104
37.09/37.18	c #restart = 10
37.09/37.18	o 15
37.09/37.18	c BCD2: hardening fixes 161 literals
37.09/37.18	c BCD2: updating upper bound: 32 -> 14
37.09/37.18	c BCD2: 1 <= obj <= 14
37.09/37.18	c BCD2: #cores=1, #unrelaxed=8, #relaxed=130, #hardened=792
37.09/37.18	c BCD2: #sat=5 #unsat=2 bias=2/7
37.09/37.18	c Solving starts ...
37.09/37.18	c ============================[ Search Statistics ]============================
37.09/37.18	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
37.09/37.18	c       |         |          |          |    Limit     GC | Var      | Constra 
37.09/37.18	c =============================================================================
37.09/37.18	c  0.0s |       0 |        0 |        0 |     4905      0 |      792 |        4
37.19/37.26	c  0.1s |       1 |      193 |      100 |     4905      0 |      792 |        4
37.29/37.35	c  0.2s |       2 |      423 |      250 |     4905      1 |      792 |        4
37.39/37.44	c  0.3s |       3 |      806 |      475 |     4905      1 |      792 |        4
37.49/37.59	c  0.4s |       4 |     1376 |      813 |     4905      1 |      792 |        4
37.69/37.76	c  0.6s |       5 |     2313 |     1320 |     4905      1 |      792 |        4
37.79/37.89	c  0.7s |       5 |     2785 |     1627 |     4905      1 |      792 |        4
37.79/37.89	c #cpu_time = 0.706s
37.79/37.89	c #wall_clock_time = 0.708s
37.79/37.89	c #decision = 2785
37.79/37.89	c #random_decision = 6
37.79/37.89	c #conflict = 1627
37.79/37.89	c #restart = 5
37.79/37.89	o 4
37.79/37.89	c BCD2: hardening fixes 117 literals
37.79/37.89	c BCD2: updating upper bound: 14 -> 3
37.79/37.89	c BCD2: 1 <= obj <= 3
37.79/37.89	c BCD2: #cores=1, #unrelaxed=1, #relaxed=20, #hardened=909
37.79/37.89	c BCD2: #sat=6 #unsat=2 bias=2/8
37.79/37.89	c Solving starts ...
37.79/37.89	c ============================[ Search Statistics ]============================
37.79/37.89	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
37.79/37.89	c       |         |          |          |    Limit     GC | Var      | Constra 
37.79/37.89	c =============================================================================
37.79/37.89	c  0.0s |       0 |        0 |        0 |     4905      0 |      909 |        5
37.89/37.94	c  0.0s |       1 |      178 |      100 |     4905      0 |      909 |        8
37.89/37.99	c  0.1s |       2 |      445 |      250 |     4905      0 |      909 |        8
37.99/38.08	c  0.2s |       3 |      880 |      475 |     4905      0 |      909 |        8
38.09/38.19	c  0.3s |       4 |     1550 |      813 |     4905      0 |      909 |        8
38.29/38.37	c  0.5s |       5 |     2643 |     1320 |     4905      0 |      909 |        8
38.59/38.63	c  0.7s |       6 |     4026 |     2081 |     4905      1 |      909 |        8
38.88/38.93	c  1.0s |       7 |     6155 |     3223 |     4905      1 |      909 |        8
39.38/39.41	c  1.5s |       8 |     9315 |     4936 |     4905      2 |      909 |        8
40.08/40.10	c  2.2s |       9 |    14134 |     7506 |     4905      3 |      909 |        8
41.08/41.10	c  3.2s |      10 |    22126 |    11361 |     4905      4 |      909 |        8
42.58/42.60	c  4.7s |      11 |    32975 |    17144 |     4905      6 |      909 |        8
44.58/44.62	c  6.7s |      11 |    45920 |    24544 |     5396      8 |      909 |        8
44.88/44.99	c  7.1s |      12 |    48058 |    25819 |     5396      8 |      909 |        8
46.98/47.00	c  9.1s |      12 |    61337 |    33219 |     5396     11 |      909 |        8
48.49/48.56	c 10.7s |      13 |    71620 |    38832 |     5396     13 |      909 |        8
50.48/50.58	c 12.7s |      13 |    84390 |    46032 |     5396     15 |      909 |        8
51.58/51.66	c 13.8s |      13 |    91780 |    50127 |     5396     16 |      909 |        8
51.58/51.66	c #cpu_time = 13.737s
51.58/51.66	c #wall_clock_time = 13.773s
51.58/51.66	c #decision = 91780
51.58/51.66	c #random_decision = 243
51.58/51.66	c #conflict = 50127
51.58/51.66	c #restart = 13
51.58/51.66	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 896: cost of the new core is >=2
51.58/51.66	c lower bound updated to 2
51.58/51.67	c BCD2: 2 <= obj <= 3
51.58/51.67	c BCD2: #cores=1, #unrelaxed=0, #relaxed=21, #hardened=909
51.58/51.67	c BCD2: #sat=6 #unsat=3 bias=3/9
51.58/51.67	c Solving starts ...
51.58/51.67	c ============================[ Search Statistics ]============================
51.58/51.67	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
51.58/51.67	c       |         |          |          |    Limit     GC | Var      | Constra 
51.58/51.67	c =============================================================================
51.58/51.67	c  0.0s |       0 |        0 |        0 |     5396      0 |      915 |        8
51.69/51.75	c  0.1s |       1 |      208 |      100 |     5396      0 |      915 |       16
51.79/51.84	c  0.2s |       2 |      448 |      250 |     5396      0 |      915 |       16
51.88/51.93	c  0.3s |       3 |      848 |      475 |     5396      0 |      915 |       16
51.98/52.03	c  0.4s |       4 |     1462 |      813 |     5396      0 |      915 |       16
52.08/52.18	c  0.5s |       5 |     2427 |     1320 |     5396      0 |      915 |       16
52.38/52.41	c  0.7s |       6 |     3911 |     2081 |     5396      1 |      915 |       16
52.58/52.68	c  1.0s |       7 |     5954 |     3223 |     5396      1 |      915 |       16
53.08/53.12	c  1.5s |       8 |     9066 |     4936 |     5396      2 |      915 |       16
53.68/53.72	c  2.1s |       9 |    13757 |     7506 |     5396      2 |      915 |       16
54.58/54.68	c  3.0s |      10 |    21404 |    11361 |     5936      4 |      915 |       16
55.98/56.05	c  4.4s |      11 |    32433 |    17144 |     5936      5 |      915 |       16
57.98/58.05	c  6.4s |      11 |    46776 |    25044 |     5936      7 |      915 |       16
58.18/58.24	c  6.6s |      12 |    48192 |    25819 |     5936      8 |      915 |       16
60.18/60.25	c  8.6s |      12 |    61462 |    33319 |     5936     10 |      915 |       16
60.98/61.08	c  9.4s |      12 |    66218 |    36067 |     5936     11 |      915 |       16
60.98/61.08	c #cpu_time = 9.386s
60.98/61.08	c #wall_clock_time = 9.411s
60.98/61.08	c #decision = 66218
60.98/61.08	c #random_decision = 157
60.98/61.08	c #conflict = 36067
60.98/61.08	c #restart = 12
60.98/61.08	o 2
60.98/61.08	s OPTIMUM FOUND
60.98/61.08	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
60.98/61.08	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20
60.98/61.08	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
60.98/61.08	v -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
60.98/61.08	v x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50
60.98/61.08	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
60.98/61.08	v -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
60.98/61.08	v x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80
60.98/61.08	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
60.98/61.08	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100
60.98/61.08	v -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110
60.98/61.08	v -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
60.98/61.08	v -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
60.98/61.08	v -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140
60.98/61.08	v -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 -x150
60.98/61.08	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160
60.98/61.08	v -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170
60.98/61.08	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180
60.98/61.08	v -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190
60.98/61.08	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
60.98/61.08	v -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
60.98/61.08	v -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220
60.98/61.08	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230
60.98/61.08	v -x231
60.98/61.08	c total CPU time = 60.920s
60.98/61.08	c total wall clock time = 61.080s

Verifier Data 

OK	2

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-4093334-1466087351/watcher-4093334-1466087351 -o /tmp/evaluation-result-4093334-1466087351/solver-4093334-1466087351 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466075558-12321 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093334-1466087351.wbo 

pid=14807
running on 4 cores: 0,2,4,6

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.06 2.01 2.00 3/181 14810
/proc/meminfo: memFree=31083620/32872528 swapFree=7268/7268
[pid=14810] ppid=14807 vsize=727484 CPUtime=0 cores=0,2,4,6
/proc/14810/stat : 14810 (toysat) R 14807 14810 9721 0 -1 4202496 2717 0 0 0 0 0 0 0 20 0 4 0 10781044 744943616 3077 33554432000 4194304 16246674 140736441308176 140736441307600 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14810/statm: 182639 3087 441 2943 0 179533 0
[pid=14810/tid=14811] ppid=14807 vsize=745916 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14811/stat : 14811 (toysat) S 14807 14810 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10781044 763817984 3146 33554432000 4194304 16246674 140736441308176 140165364296944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14810/tid=14812] ppid=14807 vsize=750012 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14812/stat : 14812 (toysat) S 14807 14810 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10781044 768012288 3164 33554432000 4194304 16246674 140736441308176 140165353807088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14810/tid=14813] ppid=14807 vsize=754108 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14813/stat : 14813 (toysat) S 14807 14810 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10781044 772206592 3181 33554432000 4194304 16246674 140736441308176 140165343333552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 14810
/proc/meminfo: memFree=31083620/32872528 swapFree=7268/7268
[pid=14810] ppid=14807 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/14810/stat : 14810 (toysat) R 14807 14810 9721 0 -1 4202496 24639 0 0 0 6 3 0 0 20 0 4 0 10781044 1247350784 24992 33554432000 4194304 16246674 140736441308176 140736441307600 12481124 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14810/statm: 304529 24997 618 2943 0 301423 0
[pid=14810/tid=14811] ppid=14807 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14811/stat : 14811 (toysat) S 14807 14810 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10781044 1247350784 25001 33554432000 4194304 16246674 140736441308176 140165364296944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14810/tid=14812] ppid=14807 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14812/stat : 14812 (toysat) S 14807 14810 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10781044 1247350784 25003 33554432000 4194304 16246674 140736441308176 140165353807088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14810/tid=14813] ppid=14807 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14813/stat : 14813 (toysat) S 14807 14810 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10781044 1247350784 25007 33554432000 4194304 16246674 140736441308176 140165343333552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200507 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 14810
/proc/meminfo: memFree=31083620/32872528 swapFree=7268/7268
[pid=14810] ppid=14807 vsize=1222212 CPUtime=0.19 cores=0,2,4,6
/proc/14810/stat : 14810 (toysat) R 14807 14810 9721 0 -1 4202496 40225 0 0 0 14 5 0 0 20 0 4 0 10781044 1251545088 40549 33554432000 4194304 16246674 140736441308176 140736441307488 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14810/statm: 305553 40549 859 2943 0 302447 0
[pid=14810/tid=14811] ppid=14807 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14811/stat : 14811 (toysat) S 14807 14810 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10781044 1251545088 40549 33554432000 4194304 16246674 140736441308176 140165364296944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14810/tid=14812] ppid=14807 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14812/stat : 14812 (toysat) S 14807 14810 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10781044 1251545088 40549 33554432000 4194304 16246674 140736441308176 140165353807088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14810/tid=14813] ppid=14807 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14813/stat : 14813 (toysat) S 14807 14810 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10781044 1251545088 40549 33554432000 4194304 16246674 140736441308176 140165343333552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1222212

[startup+0.300492 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 14810
/proc/meminfo: memFree=31083620/32872528 swapFree=7268/7268
[pid=14810] ppid=14807 vsize=1222212 CPUtime=0.29 cores=0,2,4,6
/proc/14810/stat : 14810 (toysat) R 14807 14810 9721 0 -1 4202496 40239 0 0 0 24 5 0 0 20 0 4 0 10781044 1251545088 40563 33554432000 4194304 16246674 140736441308176 140736441291168 12478971 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14810/statm: 305553 40563 868 2943 0 302447 0
[pid=14810/tid=14811] ppid=14807 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14811/stat : 14811 (toysat) S 14807 14810 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10781044 1251545088 40563 33554432000 4194304 16246674 140736441308176 140165364296944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14810/tid=14812] ppid=14807 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14812/stat : 14812 (toysat) S 14807 14810 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10781044 1251545088 40563 33554432000 4194304 16246674 140736441308176 140165353807088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14810/tid=14813] ppid=14807 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14813/stat : 14813 (toysat) S 14807 14810 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10781044 1251545088 40563 33554432000 4194304 16246674 140736441308176 140165343333552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1222212

[startup+0.70042 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 14810
/proc/meminfo: memFree=31083620/32872528 swapFree=7268/7268
[pid=14810] ppid=14807 vsize=1222212 CPUtime=0.69 cores=0,2,4,6
/proc/14810/stat : 14810 (toysat) R 14807 14810 9721 0 -1 4202496 133384 0 0 0 52 17 0 0 20 0 4 0 10781044 1251545088 133709 33554432000 4194304 16246674 140736441308176 140736441291168 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14810/statm: 305553 133721 868 2943 0 302447 0
[pid=14810/tid=14811] ppid=14807 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14811/stat : 14811 (toysat) S 14807 14810 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10781044 1251545088 133725 33554432000 4194304 16246674 140736441308176 140165364296944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14810/tid=14812] ppid=14807 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14812/stat : 14812 (toysat) S 14807 14810 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10781044 1251545088 133730 33554432000 4194304 16246674 140736441308176 140165353807088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14810/tid=14813] ppid=14807 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14813/stat : 14813 (toysat) S 14807 14810 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10781044 1251545088 133735 33554432000 4194304 16246674 140736441308176 140165343333552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1222212

[startup+1.50045 s]
/proc/loadavg: 2.06 2.01 2.00 3/185 14814
/proc/meminfo: memFree=30112108/32872528 swapFree=7268/7268
[pid=14810] ppid=14807 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/14810/stat : 14810 (toysat) R 14807 14810 9721 0 -1 4202496 266348 0 0 0 113 36 0 0 20 0 4 0 10781044 1332285440 266672 33554432000 4194304 16246674 140736441308176 140736441291176 5600380 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14810/statm: 325265 266672 871 2943 0 322159 0
[pid=14810/tid=14811] ppid=14807 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14811/stat : 14811 (toysat) S 14807 14810 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10781044 1332285440 266672 33554432000 4194304 16246674 140736441308176 140165364296944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14810/tid=14812] ppid=14807 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14812/stat : 14812 (toysat) S 14807 14810 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10781044 1332285440 266672 33554432000 4194304 16246674 140736441308176 140165353807088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14810/tid=14813] ppid=14807 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14813/stat : 14813 (toysat) S 14807 14810 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10781044 1332285440 266672 33554432000 4194304 16246674 140736441308176 140165343333552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10044 s]
/proc/loadavg: 2.06 2.01 2.00 3/185 14814
/proc/meminfo: memFree=30011288/32872528 swapFree=7268/7268
[pid=14810] ppid=14807 vsize=1309252 CPUtime=3.09 cores=0,2,4,6
/proc/14810/stat : 14810 (toysat) R 14807 14810 9721 0 -1 4202496 268228 0 0 0 273 36 0 0 20 0 4 0 10781044 1340674048 268552 33554432000 4194304 16246674 140736441308176 140736441290048 5545784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14810/statm: 327313 268552 877 2943 0 324207 0
[pid=14810/tid=14811] ppid=14807 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14811/stat : 14811 (toysat) S 14807 14810 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10781044 1340674048 268552 33554432000 4194304 16246674 140736441308176 140165364296944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14810/tid=14812] ppid=14807 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14812/stat : 14812 (toysat) S 14807 14810 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10781044 1340674048 268552 33554432000 4194304 16246674 140736441308176 140165353807088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14810/tid=14813] ppid=14807 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14813/stat : 14813 (toysat) S 14807 14810 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10781044 1340674048 268552 33554432000 4194304 16246674 140736441308176 140165343333552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1309252

[startup+6.30042 s]
/proc/loadavg: 2.06 2.01 2.00 3/185 14814
/proc/meminfo: memFree=30008236/32872528 swapFree=7272/7272
[pid=14810] ppid=14807 vsize=1310276 CPUtime=6.29 cores=0,2,4,6
/proc/14810/stat : 14810 (toysat) R 14807 14810 9721 0 -1 4202496 268695 0 0 0 593 36 0 0 20 0 4 0 10781044 1341722624 269019 33554432000 4194304 16246674 140736441308176 140736441291176 5808492 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14810/statm: 327569 269019 877 2943 0 324463 0
[pid=14810/tid=14811] ppid=14807 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14811/stat : 14811 (toysat) S 14807 14810 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10781044 1341722624 269019 33554432000 4194304 16246674 140736441308176 140165364296944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14810/tid=14812] ppid=14807 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14812/stat : 14812 (toysat) S 14807 14810 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10781044 1341722624 269019 33554432000 4194304 16246674 140736441308176 140165353807088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14810/tid=14813] ppid=14807 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14813/stat : 14813 (toysat) S 14807 14810 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10781044 1341722624 269019 33554432000 4194304 16246674 140736441308176 140165343333552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1310276

[startup+12.7005 s]
/proc/loadavg: 2.05 2.01 2.00 3/185 14814
/proc/meminfo: memFree=29991116/32872528 swapFree=7268/7268
[pid=14810] ppid=14807 vsize=1311300 CPUtime=12.68 cores=0,2,4,6
/proc/14810/stat : 14810 (toysat) R 14807 14810 9721 0 -1 4202496 268757 0 0 0 1232 36 0 0 20 0 4 0 10781044 1342771200 269081 33554432000 4194304 16246674 140736441308176 140736441290048 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14810/statm: 327825 269081 877 2943 0 324719 0
[pid=14810/tid=14811] ppid=14807 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14811/stat : 14811 (toysat) S 14807 14810 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10781044 1342771200 269081 33554432000 4194304 16246674 140736441308176 140165364296944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14810/tid=14812] ppid=14807 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14812/stat : 14812 (toysat) S 14807 14810 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10781044 1342771200 269081 33554432000 4194304 16246674 140736441308176 140165353807088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14810/tid=14813] ppid=14807 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14813/stat : 14813 (toysat) S 14807 14810 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10781044 1342771200 269081 33554432000 4194304 16246674 140736441308176 140165343333552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1311300

[startup+25.5005 s]
/proc/loadavg: 2.04 2.01 2.00 3/185 14863
/proc/meminfo: memFree=29877372/32872528 swapFree=7268/7268
[pid=14810] ppid=14807 vsize=1311300 CPUtime=25.49 cores=0,2,4,6
/proc/14810/stat : 14810 (toysat) R 14807 14810 9721 0 -1 4202496 268951 0 0 0 2512 37 0 0 20 0 4 0 10781044 1342771200 269275 33554432000 4194304 16246674 140736441308176 140736441290048 6012036 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14810/statm: 327825 269275 877 2943 0 324719 0
[pid=14810/tid=14811] ppid=14807 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14811/stat : 14811 (toysat) S 14807 14810 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10781044 1342771200 269275 33554432000 4194304 16246674 140736441308176 140165364296944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14810/tid=14812] ppid=14807 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14812/stat : 14812 (toysat) S 14807 14810 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10781044 1342771200 269275 33554432000 4194304 16246674 140736441308176 140165353807088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14810/tid=14813] ppid=14807 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14813/stat : 14813 (toysat) S 14807 14810 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10781044 1342771200 269275 33554432000 4194304 16246674 140736441308176 140165343333552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1311300

[startup+51.1005 s]
/proc/loadavg: 2.02 2.01 2.00 3/186 14866
/proc/meminfo: memFree=29866072/32872528 swapFree=7268/7268
[pid=14810] ppid=14807 vsize=1315396 CPUtime=51.08 cores=0,2,4,6
/proc/14810/stat : 14810 (toysat) R 14807 14810 9721 0 -1 4202496 269985 0 0 0 5071 37 0 0 20 0 4 0 10781044 1346965504 270309 33554432000 4194304 16246674 140736441308176 140736441290048 5822472 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14810/statm: 328849 270309 887 2943 0 325743 0
[pid=14810/tid=14811] ppid=14807 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14811/stat : 14811 (toysat) S 14807 14810 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10781044 1346965504 270309 33554432000 4194304 16246674 140736441308176 140165364296944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14810/tid=14812] ppid=14807 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14812/stat : 14812 (toysat) S 14807 14810 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10781044 1346965504 270309 33554432000 4194304 16246674 140736441308176 140165353807088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14810/tid=14813] ppid=14807 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14813/stat : 14813 (toysat) S 14807 14810 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10781044 1346965504 270309 33554432000 4194304 16246674 140736441308176 140165343333552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1315396

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

[startup+51.2005 s]
/proc/loadavg: 2.02 2.01 2.00 3/186 14866
/proc/meminfo: memFree=29866072/32872528 swapFree=7268/7268
[pid=14810] ppid=14807 vsize=1315396 CPUtime=51.18 cores=0,2,4,6
/proc/14810/stat : 14810 (toysat) R 14807 14810 9721 0 -1 4202496 269985 0 0 0 5081 37 0 0 20 0 4 0 10781044 1346965504 270309 33554432000 4194304 16246674 140736441308176 140736441290048 5675019 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14810/statm: 328849 270309 887 2943 0 325743 0
[pid=14810/tid=14811] ppid=14807 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14811/stat : 14811 (toysat) S 14807 14810 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10781044 1346965504 270309 33554432000 4194304 16246674 140736441308176 140165364296944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14810/tid=14812] ppid=14807 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14812/stat : 14812 (toysat) S 14807 14810 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10781044 1346965504 270309 33554432000 4194304 16246674 140736441308176 140165353807088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14810/tid=14813] ppid=14807 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14813/stat : 14813 (toysat) S 14807 14810 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10781044 1346965504 270309 33554432000 4194304 16246674 140736441308176 140165343333552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 1315396

[startup+57.6004 s]
/proc/loadavg: 2.02 2.01 2.00 3/186 14866
/proc/meminfo: memFree=29862976/32872528 swapFree=7268/7268
[pid=14810] ppid=14807 vsize=1315396 CPUtime=57.58 cores=0,2,4,6
/proc/14810/stat : 14810 (toysat) R 14807 14810 9721 0 -1 4202496 269985 0 0 0 5721 37 0 0 20 0 4 0 10781044 1346965504 270309 33554432000 4194304 16246674 140736441308176 140736441290048 5523456 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14810/statm: 328849 270309 887 2943 0 325743 0
[pid=14810/tid=14811] ppid=14807 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14811/stat : 14811 (toysat) S 14807 14810 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10781044 1346965504 270309 33554432000 4194304 16246674 140736441308176 140165364296944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14810/tid=14812] ppid=14807 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14812/stat : 14812 (toysat) S 14807 14810 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10781044 1346965504 270309 33554432000 4194304 16246674 140736441308176 140165353807088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14810/tid=14813] ppid=14807 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14813/stat : 14813 (toysat) S 14807 14810 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10781044 1346965504 270309 33554432000 4194304 16246674 140736441308176 140165343333552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 57.58
Current children cumulated vsize (KiB) 1315396

[startup+59.2004 s]
/proc/loadavg: 2.02 2.01 2.00 3/186 14915
/proc/meminfo: memFree=30801848/32872528 swapFree=7268/7268
[pid=14810] ppid=14807 vsize=1315396 CPUtime=59.18 cores=0,2,4,6
/proc/14810/stat : 14810 (toysat) R 14807 14810 9721 0 -1 4202496 269985 0 0 0 5881 37 0 0 20 0 4 0 10781044 1346965504 270309 33554432000 4194304 16246674 140736441308176 140736441290048 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14810/statm: 328849 270309 887 2943 0 325743 0
[pid=14810/tid=14811] ppid=14807 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14811/stat : 14811 (toysat) S 14807 14810 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10781044 1346965504 270309 33554432000 4194304 16246674 140736441308176 140165364296944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14810/tid=14812] ppid=14807 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14812/stat : 14812 (toysat) S 14807 14810 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10781044 1346965504 270309 33554432000 4194304 16246674 140736441308176 140165353807088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14810/tid=14813] ppid=14807 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14813/stat : 14813 (toysat) S 14807 14810 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10781044 1346965504 270309 33554432000 4194304 16246674 140736441308176 140165343333552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 59.18
Current children cumulated vsize (KiB) 1315396

[startup+60.0004 s]
/proc/loadavg: 2.02 2.01 2.00 3/186 14915
/proc/meminfo: memFree=30520864/32872528 swapFree=7268/7268
[pid=14810] ppid=14807 vsize=1315396 CPUtime=59.98 cores=0,2,4,6
/proc/14810/stat : 14810 (toysat) R 14807 14810 9721 0 -1 4202496 269985 0 0 0 5961 37 0 0 20 0 4 0 10781044 1346965504 270309 33554432000 4194304 16246674 140736441308176 140736441290048 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14810/statm: 328849 270309 887 2943 0 325743 0
[pid=14810/tid=14811] ppid=14807 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14811/stat : 14811 (toysat) S 14807 14810 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10781044 1346965504 270309 33554432000 4194304 16246674 140736441308176 140165364296944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14810/tid=14812] ppid=14807 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14812/stat : 14812 (toysat) S 14807 14810 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10781044 1346965504 270309 33554432000 4194304 16246674 140736441308176 140165353807088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14810/tid=14813] ppid=14807 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14813/stat : 14813 (toysat) S 14807 14810 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10781044 1346965504 270309 33554432000 4194304 16246674 140736441308176 140165343333552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (KiB) 1315396

[startup+60.8004 s]
/proc/loadavg: 2.02 2.01 2.00 3/186 14915
/proc/meminfo: memFree=30520864/32872528 swapFree=7268/7268
[pid=14810] ppid=14807 vsize=1315396 CPUtime=60.78 cores=0,2,4,6
/proc/14810/stat : 14810 (toysat) R 14807 14810 9721 0 -1 4202496 269985 0 0 0 6041 37 0 0 20 0 4 0 10781044 1346965504 270309 33554432000 4194304 16246674 140736441308176 140736441290048 6022333 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14810/statm: 328849 270309 887 2943 0 325743 0
[pid=14810/tid=14811] ppid=14807 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14811/stat : 14811 (toysat) S 14807 14810 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10781044 1346965504 270309 33554432000 4194304 16246674 140736441308176 140165364296944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14810/tid=14812] ppid=14807 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14812/stat : 14812 (toysat) S 14807 14810 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10781044 1346965504 270309 33554432000 4194304 16246674 140736441308176 140165353807088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14810/tid=14813] ppid=14807 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14813/stat : 14813 (toysat) S 14807 14810 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10781044 1346965504 270309 33554432000 4194304 16246674 140736441308176 140165343333552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 60.78
Current children cumulated vsize (KiB) 1315396

[startup+61.0004 s]
/proc/loadavg: 2.02 2.01 2.00 3/186 14915
/proc/meminfo: memFree=30520864/32872528 swapFree=7268/7268
[pid=14810] ppid=14807 vsize=1315396 CPUtime=60.98 cores=0,2,4,6
/proc/14810/stat : 14810 (toysat) R 14807 14810 9721 0 -1 4202496 269985 0 0 0 6061 37 0 0 20 0 4 0 10781044 1346965504 270309 33554432000 4194304 16246674 140736441308176 140736441290048 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14810/statm: 328849 270309 887 2943 0 325743 0
[pid=14810/tid=14811] ppid=14807 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14811/stat : 14811 (toysat) S 14807 14810 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10781044 1346965504 270309 33554432000 4194304 16246674 140736441308176 140165364296944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14810/tid=14812] ppid=14807 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14812/stat : 14812 (toysat) S 14807 14810 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10781044 1346965504 270309 33554432000 4194304 16246674 140736441308176 140165353807088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14810/tid=14813] ppid=14807 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14810/task/14813/stat : 14813 (toysat) S 14807 14810 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10781044 1346965504 270309 33554432000 4194304 16246674 140736441308176 140165343333552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 60.98
Current children cumulated vsize (KiB) 1315396

[startup+61.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/186 14915
/proc/meminfo: memFree=30520864/32872528 swapFree=7268/7268
[pid=14810] ppid=14807 vsize=0 CPUtime=61.08 cores=0,2,4,6
/proc/14810/stat : 14810 (toysat) R 14807 14810 9721 0 -1 4202500 269989 0 0 0 6069 39 0 0 20 0 1 0 10781044 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14810/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 61.08
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 61.1411
CPU time (s): 61.1307
CPU user time (s): 60.6948
CPU system time (s): 0.435933
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 1315396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 60.6948
system time used= 0.435933
maximum resident set size= 1081244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269989
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= 17
involuntary context switches= 64

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.265959 second user time and 0.6549 second system time

The end

Launcher Data 

Begin job on node133 at 2016-06-16 16:29:11
IDJOB=4093334
IDBENCH=78978
IDSOLVER=2553
FILE ID=node133/4093334-1466087351
RUNJOBID= node133-1466075558-12321
PBS_JOBID= 19904006
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900552288--soft-66-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093334-1466087351/watcher-4093334-1466087351 -o /tmp/evaluation-result-4093334-1466087351/solver-4093334-1466087351 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466075558-12321 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093334-1466087351.wbo

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

MD5SUM BENCH= aabd2abc5a32dbb90eb5074319abd403
RANDOM SEED=1396924981

node133.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.256
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.51
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.256
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.256
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:        31084148 kB
Buffers:           36632 kB
Cached:           100016 kB
SwapCached:         1876 kB
Active:          1024396 kB
Inactive:          58116 kB
Active(anon):     946644 kB
Inactive(anon):     1228 kB
Active(file):      77752 kB
Inactive(file):    56888 kB
Unevictable:        7268 kB
Mlocked:            7268 kB
SwapTotal:      67108856 kB
SwapFree:       67098888 kB
Dirty:             16204 kB
Writeback:             0 kB
AnonPages:        956108 kB
Mapped:            10880 kB
Shmem:                 0 kB
Slab:             567548 kB
SReclaimable:      11140 kB
SUnreclaim:       556408 kB
KernelStack:        1536 kB
PageTables:         6200 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1234840 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:     77824 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 node133 at 2016-06-16 16:30:13