Trace number 4080194

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 85.233 85.247

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=7-P0=89-P1=37-P2=43-P3=47-P4=41-P5=107-P6=127-B.opb
MD5SUM59a5e5c0509fa3a2bc4b2a05a02d5b79
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.074988
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 variables126
Total number of constraints13
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 constraints13
Minimum length of a constraint7
Maximum length of a constraint63
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 32512
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)294
Sum of products size (including duplicates)588
Number of different products294
Sum of products size588

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-07T01:01:02+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-4080194-1465254062.opb"]
0.00/0.01	c use --random-gen="3180984832 811762785 3823051113 2434876644 2185665619 230538698 2821662918 622608327 1471100435 1992888499 319147364 4279318985 850352298 388624256 876463492 3074435542 3776490693 308734237 1573628469 3888428761 1335773860 3678626964 3730496744 2352497618 323300616 870364843 3763454873 1385832245 2827487372 457718939 3438095480 972333269 397538988 3390269289 1951707751 2504041981 1852363047 1710535314 1004444218 1223090596 4257547354 1044778347 4080747450 3856302376 555535348 1217590061 1892641910 4035556706 1851271381 88086944 3717868157 3696619959 2954411281 3041687186 3667899702 2867910432 3154146617 595661127 1809653371 1197490904 2534626979 2874435046 1562776960 2427173501 3523877228 567917320 53174957 1621621461 3195929440 2493501996 3383126123 2133050512 4216092114 763362841 669815452 1161853677 1899733608 1572880977 2413297250 4048841432 4093707977 3150876822 1175181395 873446562 313062741 358720912 1620167312 3843502663 3026400533 1318964922 4275299732 2313509373 3030084622 2083249610 2912640670 184550849 368654435 1553999431 2271509596 937193516 630170650 3213067433 4172440191 1606360741 1007455819 3884197986 2243931663 4047396766 2116428042 687339676 2205901919 955962764 3679023810 383699930 1058185001 3513013662 2963598681 1804255845 3079935593 1061645762 2182311491 2863411542 819188271 3132590510 2635747040 1412364680 4117879993 336005238 1733134413 2581072511 2158633112 2712819145 2090943210 1280096678 1619400576 2380206406 2705797073 2347137610 290993363 1229085560 820139504 834830335 1806769340 1571553270 2511392231 1923748389 572876251 1790199519 1697928087 101633446 3523219341 3565292322 3352349542 1068482921 2971541981 866265161 2978722256 2933153121 106821494 2210385925 2503872083 3636846460 3268953863 1371535237 1847832177 3399758089 1498476577 150838684 1521079122 3749013444 68200383 4284766522 2359406761 4042969640 4186383525 3757095598 1152467389 3478604765 1434114191 3359852034 210748661 2103248934 136714271 803388940 2237076871 4095737904 3805816363 2836869617 912398991 1986436232 2539390851 3313352628 3207104871 1960851796 2279011663 2374175685 2075475061 2845869744 1057888192 1347230927 2147172834 748121635 1074224436 119722204 2806698704 3220605635 3988131226 695691567 3209189895 64299074 895339122 1487406960 276550305 1559488346 1639275312 3132274259 3831088403 436363662 2223736538 1402127999 3144776083 154977943 3473673085 4067747632 1254655596 4198801034 97589156 3874407243 2774568604 4245633425 100142255 2597085105 476261139 565999246 1660046418 683315798 2414653682 2966677540 2152808619 3690911895 3628506761 3136453139 3471588304 608082268 978333120 498855592 645780131 396788971 2815860833 470217638 3892031699 2002117821 1906881119 185811302 1834323563 2055208525 255 362436" option to reproduce the execution
0.00/0.01	c #vars 126
0.00/0.01	c #constraints 13
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 |      440      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      106 |      100 |      440      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      263 |      250 |      485      0 |        0 |        0
0.09/0.10	c  0.1s |       3 |      514 |      475 |      534      0 |        0 |        0
0.09/0.17	c  0.1s |       4 |      920 |      813 |      588      0 |        0 |        0
0.29/0.39	c  0.4s |       5 |     1505 |     1320 |      647      1 |        0 |        0
0.59/0.63	c  0.6s |       6 |     2355 |     2081 |      784      3 |        0 |        0
0.59/0.69	c  0.7s |       6 |     2665 |     2336 |      784      3 |        0 |        0
0.59/0.69	c #cpu_time = 0.671s
0.59/0.69	c #wall_clock_time = 0.671s
0.59/0.69	c #decision = 2665
0.59/0.69	c #random_decision = 7
0.59/0.69	c #conflict = 2336
0.59/0.69	c #restart = 6
0.59/0.69	o 79
0.59/0.69	c BCD2: updating upper bound: 127 -> 78
0.59/0.69	c BCD2: 0 <= obj <= 78
0.59/0.69	c BCD2: #cores=0, #unrelaxed=7, #relaxed=0, #hardened=0
0.59/0.69	c BCD2: #sat=1 #unsat=1 bias=1/2
0.59/0.69	c Solving starts ...
0.59/0.69	c ============================[ Search Statistics ]============================
0.59/0.69	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.59/0.69	c       |         |          |          |    Limit     GC | Var      | Constra 
0.59/0.69	c =============================================================================
0.59/0.69	c  0.0s |       0 |        0 |        0 |      784      0 |        0 |        0
0.69/0.70	c  0.0s |       0 |        5 |        0 |      784      1 |        0 |        0
0.69/0.70	c #cpu_time = 0.008s
0.69/0.70	c #wall_clock_time = 0.008s
0.69/0.70	c #decision = 5
0.69/0.70	c #random_decision = 0
0.69/0.70	c #conflict = 0
0.69/0.70	c #restart = 0
0.69/0.70	c BCD2: found a new core of size 6: cost of the new core is >=2
0.69/0.70	c lower bound updated to 2
0.69/0.70	c BCD2: 2 <= obj <= 78
0.69/0.70	c BCD2: #cores=1, #unrelaxed=1, #relaxed=6, #hardened=0
0.69/0.70	c BCD2: #sat=1 #unsat=2 bias=2/3
0.69/0.70	c Solving starts ...
0.69/0.70	c ============================[ Search Statistics ]============================
0.69/0.70	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.69/0.70	c       |         |          |          |    Limit     GC | Var      | Constra 
0.69/0.70	c =============================================================================
0.69/0.70	c  0.0s |       0 |        0 |        0 |      784      0 |        0 |        0
0.69/0.72	c  0.0s |       1 |      162 |      100 |      784      0 |        0 |        0
0.79/0.81	c  0.1s |       2 |      488 |      250 |      784      0 |        0 |        0
0.89/0.92	c  0.2s |       3 |      993 |      475 |      784      0 |        0 |        0
0.99/1.06	c  0.4s |       4 |     1431 |      813 |      784      1 |        0 |        0
1.20/1.26	c  0.6s |       5 |     2036 |     1320 |      863      2 |        0 |        0
1.39/1.42	c  0.7s |       6 |     2945 |     2081 |      863      3 |        0 |        0
1.59/1.61	c  0.9s |       7 |     4310 |     3223 |      950      5 |        0 |        0
1.89/1.92	c  1.2s |       8 |     6278 |     4936 |      950      8 |        0 |        0
2.49/2.52	c  1.8s |       9 |     9048 |     7506 |     1045     12 |        0 |        0
3.19/3.20	c  2.5s |      10 |    13167 |    11361 |     1150     18 |        0 |        0
4.40/4.46	c  3.8s |      11 |    19401 |    17144 |     1265     26 |        0 |        0
6.09/6.14	c  5.4s |      12 |    28617 |    25819 |     1392     36 |        0 |        0
8.09/8.14	c  7.4s |      12 |    38039 |    34119 |     1392     46 |        0 |        0
9.29/9.31	c  8.6s |      13 |    43425 |    38832 |     1532     51 |        0 |        0
11.29/11.31	c 10.6s |      13 |    53502 |    48132 |     1532     62 |        0 |        0
13.29/13.33	c 12.6s |      13 |    63245 |    57132 |     1686     71 |        0 |        0
13.59/13.61	c 12.9s |      14 |    64536 |    58352 |     1686     72 |        0 |        0
15.59/15.62	c 14.9s |      14 |    73877 |    65952 |     1686     80 |        0 |        0
17.59/17.64	c 16.9s |      14 |    82315 |    73452 |     1686     88 |        0 |        0
19.58/19.65	c 19.0s |      14 |    91563 |    81452 |     1686     96 |        0 |        0
21.18/21.23	c 20.5s |      15 |    98500 |    87632 |     1855    101 |        0 |        0
23.19/23.23	c 22.5s |      15 |   109483 |    98232 |     1855    111 |        0 |        0
25.18/25.24	c 24.5s |      15 |   117996 |   106032 |     1855    119 |        0 |        0
27.18/27.24	c 26.5s |      15 |   127305 |   114432 |     1855    126 |        0 |        0
29.18/29.26	c 28.6s |      15 |   136222 |   122632 |     1855    134 |        0 |        0
31.08/31.15	c 30.5s |      16 |   145860 |   131552 |     2041    142 |        0 |        0
33.09/33.16	c 32.5s |      16 |   156518 |   141952 |     2041    150 |        0 |        0
35.08/35.18	c 34.5s |      16 |   166688 |   151952 |     2041    159 |        0 |        0
37.18/37.20	c 36.5s |      16 |   175258 |   159552 |     2041    166 |        0 |        0
39.18/39.20	c 38.5s |      16 |   184150 |   168152 |     2041    173 |        1 |        7
41.18/41.22	c 40.5s |      16 |   192604 |   176352 |     2041    181 |        1 |        7
43.18/43.23	c 42.5s |      16 |   202069 |   185452 |     2041    189 |        1 |        7
45.19/45.23	c 44.5s |      16 |   210705 |   193852 |     2246    196 |        1 |        7
46.08/46.10	c 45.4s |      17 |   214353 |   197432 |     2246    199 |        1 |        7
48.08/48.13	c 47.4s |      17 |   220691 |   203332 |     2246    204 |        1 |        7
50.08/50.16	c 49.5s |      17 |   226686 |   209132 |     2246    208 |        1 |        7
52.08/52.18	c 51.5s |      17 |   233185 |   215532 |     2246    214 |        1 |        7
54.18/54.20	c 53.5s |      17 |   241532 |   223632 |     2246    220 |        2 |       14
56.09/56.20	c 55.5s |      17 |   250881 |   232832 |     2246    228 |        2 |       14
58.19/58.22	c 57.5s |      17 |   260613 |   242232 |     2246    235 |        2 |       14
60.18/60.23	c 59.5s |      17 |   268399 |   249832 |     2246    241 |        2 |       14
62.18/62.25	c 61.6s |      17 |   276066 |   257332 |     2246    248 |        2 |       14
64.18/64.25	c 63.6s |      17 |   284525 |   265432 |     2246    254 |        2 |       14
66.18/66.26	c 65.6s |      17 |   293011 |   273732 |     2246    261 |        2 |       14
68.19/68.27	c 67.6s |      17 |   301111 |   281632 |     2246    267 |        2 |       14
70.28/70.30	c 69.6s |      17 |   309175 |   289432 |     2246    274 |        2 |       14
71.88/71.91	c 71.2s |      18 |   316227 |   296252 |     2471    279 |        2 |       14
73.88/73.92	c 73.2s |      18 |   324680 |   303952 |     2471    285 |        2 |       14
75.89/75.93	c 75.2s |      18 |   333339 |   312252 |     2471    291 |        2 |       14
77.88/77.95	c 77.3s |      18 |   342635 |   321352 |     2471    298 |        2 |       14
79.88/79.97	c 79.3s |      18 |   352183 |   330652 |     2471    305 |        3 |       21
81.88/81.98	c 81.3s |      18 |   361785 |   340052 |     2471    313 |        3 |       21
83.88/83.99	c 83.3s |      18 |   371143 |   349252 |     2471    320 |        3 |       21
84.98/85.07	c 84.4s |      18 |   376472 |   354486 |     2471    324 |        5 |       35
84.98/85.07	c #cpu_time = 84.371s
84.98/85.07	c #wall_clock_time = 84.373s
84.98/85.07	c #decision = 376472
84.98/85.07	c #random_decision = 1320
84.98/85.07	c #conflict = 354486
84.98/85.07	c #restart = 18
84.98/85.07	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 7: cost of the new core is >=3
84.98/85.07	c lower bound updated to 3
84.98/85.07	c BCD2: 3 <= obj <= 78
84.98/85.07	c BCD2: #cores=1, #unrelaxed=0, #relaxed=7, #hardened=0
84.98/85.07	c BCD2: #sat=1 #unsat=3 bias=3/4
84.98/85.07	c Solving starts ...
84.98/85.07	c ============================[ Search Statistics ]============================
84.98/85.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
84.98/85.07	c       |         |          |          |    Limit     GC | Var      | Constra 
84.98/85.07	c =============================================================================
84.98/85.07	c  0.0s |       0 |        0 |        0 |     2471      0 |        6 |       35
84.98/85.09	c  0.0s |       1 |      151 |      100 |     2471      0 |        6 |       36
85.08/85.14	c  0.1s |       2 |      337 |      250 |     2471      0 |        6 |       36
85.08/85.15	c  0.1s |       2 |      466 |      269 |     2471      0 |        6 |       36
85.08/85.15	c #cpu_time = 0.078s
85.08/85.15	c #wall_clock_time = 0.078s
85.08/85.15	c #decision = 466
85.08/85.15	c #random_decision = 0
85.08/85.15	c #conflict = 269
85.08/85.15	c #restart = 2
85.08/85.15	o 59
85.08/85.15	c BCD2: hardening fixes 1 literals
85.08/85.15	c BCD2: updating upper bound: 78 -> 58
85.08/85.15	c BCD2: 3 <= obj <= 58
85.08/85.15	c BCD2: #cores=1, #unrelaxed=0, #relaxed=6, #hardened=1
85.08/85.15	c BCD2: #sat=2 #unsat=3 bias=3/5
85.08/85.15	c Solving starts ...
85.08/85.15	c ============================[ Search Statistics ]============================
85.08/85.15	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
85.08/85.15	c       |         |          |          |    Limit     GC | Var      | Constra 
85.08/85.15	c =============================================================================
85.08/85.15	c  0.0s |       0 |        0 |        0 |     2471      0 |       15 |       38
85.08/85.16	c  0.0s |       0 |      138 |       55 |     2471      0 |       15 |       59
85.08/85.16	c #cpu_time = 0.012s
85.08/85.16	c #wall_clock_time = 0.012s
85.08/85.16	c #decision = 138
85.08/85.16	c #random_decision = 1
85.08/85.16	c #conflict = 55
85.08/85.16	c #restart = 0
85.08/85.16	o 35
85.08/85.16	c BCD2: updating upper bound: 58 -> 34
85.08/85.16	c BCD2: 3 <= obj <= 34
85.08/85.16	c BCD2: #cores=1, #unrelaxed=0, #relaxed=6, #hardened=1
85.08/85.16	c BCD2: #sat=3 #unsat=3 bias=3/6
85.08/85.16	c Solving starts ...
85.08/85.16	c ============================[ Search Statistics ]============================
85.08/85.16	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
85.08/85.16	c       |         |          |          |    Limit     GC | Var      | Constra 
85.08/85.16	c =============================================================================
85.08/85.16	c  0.0s |       0 |        0 |        0 |     2471      0 |       15 |       59
85.08/85.18	c  0.0s |       0 |      104 |       22 |     2471      0 |       15 |       59
85.08/85.18	c #cpu_time = 0.019s
85.08/85.18	c #wall_clock_time = 0.019s
85.08/85.18	c #decision = 104
85.08/85.18	c #random_decision = 0
85.08/85.18	c #conflict = 22
85.08/85.18	c #restart = 0
85.08/85.18	o 3
85.08/85.18	s OPTIMUM FOUND
85.08/85.18	v x1 x2 -x3 -x4 -x5 -x6 -x7 x8 x9 -x10
85.08/85.18	v -x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20
85.08/85.18	v x21 x22 -x23 -x24 x25 -x26 x27 -x28 x29 x30
85.08/85.18	v -x31 -x32 -x33 -x34 -x35 x36 -x37 x38 x39 x40
85.08/85.18	v -x41 x42 x43 x44 x45 x46 x47 -x48 -x49 x50
85.08/85.18	v -x51 -x52 x53 -x54 x55 x56 x57 -x58 x59 x60
85.08/85.18	v x61 -x62 x63 x64 -x65 x66 -x67 -x68 x69 x70
85.08/85.18	v x71 x72 x73 x74 -x75 x76 -x77 x78 x79 -x80
85.08/85.18	v -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
85.08/85.18	v -x91 x92 -x93 x94 -x95 -x96 -x97 x98 x99 -x100
85.08/85.18	v x101 x102 x103 -x104 -x105 -x106 x107 -x108 -x109 -x110
85.08/85.18	v -x111 -x112 -x113 x114 -x115 -x116 -x117 x118 -x119 -x120
85.08/85.18	v -x121 x122 -x123 -x124 -x125 -x126
85.08/85.18	c total CPU time = 85.184s
85.08/85.18	c total wall clock time = 85.186s

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

pid=6435
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.31 2.28 2.10 3/180 6438
/proc/meminfo: memFree=29497732/32872528 swapFree=16252/1391864
[pid=6438] ppid=6435 vsize=738748 CPUtime=0 cores=1,3,5,7
/proc/6438/stat : 6438 (toysat) R 6435 6438 5783 0 -1 4202496 2757 0 0 0 0 0 0 0 20 0 4 0 107339327 756477952 2606 33554432000 4194304 16246674 140735690309584 140735690309008 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6438/statm: 185199 2617 441 2943 0 182093 0
[pid=6438/tid=6439] ppid=6435 vsize=757180 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6439/stat : 6439 (toysat) S 6435 6438 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107339327 775352320 2680 33554432000 4194304 16246674 140735690309584 140258508254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6438/tid=6440] ppid=6435 vsize=761276 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6440/stat : 6440 (toysat) S 6435 6438 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107339327 779546624 2697 33554432000 4194304 16246674 140735690309584 140258497764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6438/tid=6441] ppid=6435 vsize=765372 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6441/stat : 6441 (toysat) S 6435 6438 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107339327 783740928 2714 33554432000 4194304 16246674 140735690309584 140258487291056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100127 s]
/proc/loadavg: 2.31 2.28 2.10 3/180 6438
/proc/meminfo: memFree=29497732/32872528 swapFree=16252/1391864
[pid=6438] ppid=6435 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/6438/stat : 6438 (toysat) R 6435 6438 5783 0 -1 4202496 21477 0 0 0 6 3 0 0 20 0 4 0 107339327 1247350784 21315 33554432000 4194304 16246674 140735690309584 140735690309008 12461845 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6438/statm: 304529 21327 758 2943 0 301423 0
[pid=6438/tid=6439] ppid=6435 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6439/stat : 6439 (toysat) S 6435 6438 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107339327 1247350784 21332 33554432000 4194304 16246674 140735690309584 140258508254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6438/tid=6440] ppid=6435 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6440/stat : 6440 (toysat) S 6435 6438 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107339327 1247350784 21335 33554432000 4194304 16246674 140735690309584 140258497764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6438/tid=6441] ppid=6435 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6441/stat : 6441 (toysat) S 6435 6438 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107339327 1247350784 21339 33554432000 4194304 16246674 140735690309584 140258487291056 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.200539 s]
/proc/loadavg: 2.31 2.28 2.10 3/180 6438
/proc/meminfo: memFree=29497732/32872528 swapFree=16252/1391864
[pid=6438] ppid=6435 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/6438/stat : 6438 (toysat) R 6435 6438 5783 0 -1 4202496 38535 0 0 0 13 6 0 0 20 0 4 0 107339327 1247350784 38372 33554432000 4194304 16246674 140735690309584 140735690309008 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6438/statm: 304529 38382 765 2943 0 301423 0
[pid=6438/tid=6439] ppid=6435 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6439/stat : 6439 (toysat) S 6435 6438 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107339327 1247350784 38388 33554432000 4194304 16246674 140735690309584 140258508254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6438/tid=6440] ppid=6435 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6440/stat : 6440 (toysat) S 6435 6438 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107339327 1247350784 38391 33554432000 4194304 16246674 140735690309584 140258497764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6438/tid=6441] ppid=6435 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6441/stat : 6441 (toysat) S 6435 6438 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107339327 1247350784 38395 33554432000 4194304 16246674 140735690309584 140258487291056 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.300505 s]
/proc/loadavg: 2.31 2.28 2.10 3/180 6438
/proc/meminfo: memFree=29497732/32872528 swapFree=16252/1391864
[pid=6438] ppid=6435 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/6438/stat : 6438 (toysat) R 6435 6438 5783 0 -1 4202496 53071 0 0 0 21 8 0 0 20 0 4 0 107339327 1247350784 52908 33554432000 4194304 16246674 140735690309584 140735690309008 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6438/statm: 304529 52913 765 2943 0 301423 0
[pid=6438/tid=6439] ppid=6435 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6439/stat : 6439 (toysat) S 6435 6438 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107339327 1247350784 52919 33554432000 4194304 16246674 140735690309584 140258508254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6438/tid=6440] ppid=6435 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6440/stat : 6440 (toysat) S 6435 6438 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107339327 1247350784 52926 33554432000 4194304 16246674 140735690309584 140258497764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6438/tid=6441] ppid=6435 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6441/stat : 6441 (toysat) S 6435 6438 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107339327 1247350784 52929 33554432000 4194304 16246674 140735690309584 140258487291056 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.700322 s]
/proc/loadavg: 2.31 2.28 2.10 3/180 6438
/proc/meminfo: memFree=29497732/32872528 swapFree=16252/1391864
[pid=6438] ppid=6435 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/6438/stat : 6438 (toysat) R 6435 6438 5783 0 -1 4202496 126368 0 0 0 51 18 0 0 20 0 4 0 107339327 1247350784 126204 33554432000 4194304 16246674 140735690309584 140735690291456 5589685 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6438/statm: 304529 126221 785 2943 0 301423 0
[pid=6438/tid=6439] ppid=6435 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6439/stat : 6439 (toysat) S 6435 6438 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107339327 1247350784 126231 33554432000 4194304 16246674 140735690309584 140258508254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6438/tid=6440] ppid=6435 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6440/stat : 6440 (toysat) S 6435 6438 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107339327 1247350784 126240 33554432000 4194304 16246674 140735690309584 140258497764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6438/tid=6441] ppid=6435 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6441/stat : 6441 (toysat) S 6435 6438 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107339327 1247350784 126250 33554432000 4194304 16246674 140735690309584 140258487291056 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.50044 s]
/proc/loadavg: 2.31 2.28 2.10 3/184 6442
/proc/meminfo: memFree=28713788/32872528 swapFree=16252/1391864
[pid=6438] ppid=6435 vsize=1220164 CPUtime=1.49 cores=1,3,5,7
/proc/6438/stat : 6438 (toysat) R 6435 6438 5783 0 -1 4202496 245993 0 0 0 115 34 0 0 20 0 4 0 107339327 1249447936 245807 33554432000 4194304 16246674 140735690309584 140735690291456 5677648 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6438/statm: 305041 245807 849 2943 0 301935 0
[pid=6438/tid=6439] ppid=6435 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6439/stat : 6439 (toysat) S 6435 6438 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107339327 1249447936 245807 33554432000 4194304 16246674 140735690309584 140258508254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6438/tid=6440] ppid=6435 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6440/stat : 6440 (toysat) S 6435 6438 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107339327 1249447936 245807 33554432000 4194304 16246674 140735690309584 140258497764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6438/tid=6441] ppid=6435 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6441/stat : 6441 (toysat) S 6435 6438 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107339327 1249447936 245807 33554432000 4194304 16246674 140735690309584 140258487291056 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.21 2.26 2.09 3/184 6442
/proc/meminfo: memFree=28496044/32872528 swapFree=16252/1391864
[pid=6438] ppid=6435 vsize=1304132 CPUtime=3.09 cores=1,3,5,7
/proc/6438/stat : 6438 (toysat) R 6435 6438 5783 0 -1 4202496 266859 0 0 0 271 38 0 0 20 0 4 0 107339327 1335431168 266673 33554432000 4194304 16246674 140735690309584 140735690291456 13954494 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6438/statm: 326033 266673 849 2943 0 322927 0
[pid=6438/tid=6439] ppid=6435 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6439/stat : 6439 (toysat) S 6435 6438 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107339327 1335431168 266673 33554432000 4194304 16246674 140735690309584 140258508254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6438/tid=6440] ppid=6435 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6440/stat : 6440 (toysat) S 6435 6438 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107339327 1335431168 266673 33554432000 4194304 16246674 140735690309584 140258497764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6438/tid=6441] ppid=6435 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6441/stat : 6441 (toysat) S 6435 6438 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107339327 1335431168 266673 33554432000 4194304 16246674 140735690309584 140258487291056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1304132

[startup+6.30041 s]
/proc/loadavg: 2.21 2.26 2.09 3/184 6442
/proc/meminfo: memFree=28426600/32872528 swapFree=16252/1391864
[pid=6438] ppid=6435 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/6438/stat : 6438 (toysat) R 6435 6438 5783 0 -1 4202496 267726 0 0 0 591 38 0 0 20 0 4 0 107339327 1338576896 267540 33554432000 4194304 16246674 140735690309584 140735690291456 5522921 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6438/statm: 326801 267540 850 2943 0 323695 0
[pid=6438/tid=6439] ppid=6435 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6439/stat : 6439 (toysat) S 6435 6438 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107339327 1338576896 267540 33554432000 4194304 16246674 140735690309584 140258508254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6438/tid=6440] ppid=6435 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6440/stat : 6440 (toysat) S 6435 6438 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107339327 1338576896 267540 33554432000 4194304 16246674 140735690309584 140258497764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6438/tid=6441] ppid=6435 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6441/stat : 6441 (toysat) S 6435 6438 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107339327 1338576896 267540 33554432000 4194304 16246674 140735690309584 140258487291056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.25 2.27 2.10 4/184 6442
/proc/meminfo: memFree=28424872/32872528 swapFree=16252/1391864
[pid=6438] ppid=6435 vsize=1308228 CPUtime=12.69 cores=1,3,5,7
/proc/6438/stat : 6438 (toysat) R 6435 6438 5783 0 -1 4202496 268154 0 0 0 1231 38 0 0 20 0 4 0 107339327 1339625472 267968 33554432000 4194304 16246674 140735690309584 140735690291456 5827958 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6438/statm: 327057 267968 851 2943 0 323951 0
[pid=6438/tid=6439] ppid=6435 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6439/stat : 6439 (toysat) S 6435 6438 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107339327 1339625472 267968 33554432000 4194304 16246674 140735690309584 140258508254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6438/tid=6440] ppid=6435 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6440/stat : 6440 (toysat) S 6435 6438 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107339327 1339625472 267968 33554432000 4194304 16246674 140735690309584 140258497764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6438/tid=6441] ppid=6435 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6441/stat : 6441 (toysat) S 6435 6438 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107339327 1339625472 267968 33554432000 4194304 16246674 140735690309584 140258487291056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.21 2.26 2.09 3/184 6442
/proc/meminfo: memFree=28423036/32872528 swapFree=16252/1391864
[pid=6438] ppid=6435 vsize=1311300 CPUtime=25.48 cores=1,3,5,7
/proc/6438/stat : 6438 (toysat) R 6435 6438 5783 0 -1 4202496 268706 0 0 0 2510 38 0 0 20 0 4 0 107339327 1342771200 268520 33554432000 4194304 16246674 140735690309584 140735690291456 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6438/statm: 327825 268520 853 2943 0 324719 0
[pid=6438/tid=6439] ppid=6435 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6439/stat : 6439 (toysat) S 6435 6438 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107339327 1342771200 268520 33554432000 4194304 16246674 140735690309584 140258508254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6438/tid=6440] ppid=6435 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6440/stat : 6440 (toysat) S 6435 6438 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107339327 1342771200 268520 33554432000 4194304 16246674 140735690309584 140258497764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6438/tid=6441] ppid=6435 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6441/stat : 6441 (toysat) S 6435 6438 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107339327 1342771200 268520 33554432000 4194304 16246674 140735690309584 140258487291056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1311300

[startup+51.1005 s]
/proc/loadavg: 2.14 2.24 2.09 4/184 6442
/proc/meminfo: memFree=28422372/32872528 swapFree=16252/1391864
[pid=6438] ppid=6435 vsize=1311300 CPUtime=51.08 cores=1,3,5,7
/proc/6438/stat : 6438 (toysat) R 6435 6438 5783 0 -1 4202496 268857 0 0 0 5070 38 0 0 20 0 4 0 107339327 1342771200 268671 33554432000 4194304 16246674 140735690309584 140735690291456 13775084 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6438/statm: 327825 268671 853 2943 0 324719 0
[pid=6438/tid=6439] ppid=6435 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6439/stat : 6439 (toysat) S 6435 6438 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107339327 1342771200 268671 33554432000 4194304 16246674 140735690309584 140258508254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6438/tid=6440] ppid=6435 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6440/stat : 6440 (toysat) S 6435 6438 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107339327 1342771200 268671 33554432000 4194304 16246674 140735690309584 140258497764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6438/tid=6441] ppid=6435 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6441/stat : 6441 (toysat) S 6435 6438 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107339327 1342771200 268671 33554432000 4194304 16246674 140735690309584 140258487291056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1311300

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

[startup+51.2005 s]
/proc/loadavg: 2.14 2.24 2.09 4/184 6442
/proc/meminfo: memFree=28422372/32872528 swapFree=16252/1391864
[pid=6438] ppid=6435 vsize=1311300 CPUtime=51.18 cores=1,3,5,7
/proc/6438/stat : 6438 (toysat) R 6435 6438 5783 0 -1 4202496 268857 0 0 0 5080 38 0 0 20 0 4 0 107339327 1342771200 268671 33554432000 4194304 16246674 140735690309584 140735690291456 5711372 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6438/statm: 327825 268671 853 2943 0 324719 0
[pid=6438/tid=6439] ppid=6435 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6439/stat : 6439 (toysat) S 6435 6438 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107339327 1342771200 268671 33554432000 4194304 16246674 140735690309584 140258508254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6438/tid=6440] ppid=6435 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6440/stat : 6440 (toysat) S 6435 6438 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107339327 1342771200 268671 33554432000 4194304 16246674 140735690309584 140258497764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6438/tid=6441] ppid=6435 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6441/stat : 6441 (toysat) S 6435 6438 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107339327 1342771200 268671 33554432000 4194304 16246674 140735690309584 140258487291056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 1311300

[startup+64.0004 s]
/proc/loadavg: 2.18 2.24 2.09 3/183 6443
/proc/meminfo: memFree=28419008/32872528 swapFree=16252/1391864
[pid=6438] ppid=6435 vsize=1314372 CPUtime=63.98 cores=1,3,5,7
/proc/6438/stat : 6438 (toysat) R 6435 6438 5783 0 -1 4202496 269692 0 0 0 6359 39 0 0 20 0 4 0 107339327 1345916928 269506 33554432000 4194304 16246674 140735690309584 140735690291456 13774516 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6438/statm: 328593 269506 853 2943 0 325487 0
[pid=6438/tid=6439] ppid=6435 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6439/stat : 6439 (toysat) S 6435 6438 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107339327 1345916928 269506 33554432000 4194304 16246674 140735690309584 140258508254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6438/tid=6440] ppid=6435 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6440/stat : 6440 (toysat) S 6435 6438 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107339327 1345916928 269506 33554432000 4194304 16246674 140735690309584 140258497764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6438/tid=6441] ppid=6435 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6441/stat : 6441 (toysat) S 6435 6438 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107339327 1345916928 269506 33554432000 4194304 16246674 140735690309584 140258487291056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 63.98
Current children cumulated vsize (KiB) 1314372

[startup+76.8004 s]
/proc/loadavg: 2.15 2.23 2.09 4/183 6443
/proc/meminfo: memFree=28418164/32872528 swapFree=16252/1391864
[pid=6438] ppid=6435 vsize=1314372 CPUtime=76.78 cores=1,3,5,7
/proc/6438/stat : 6438 (toysat) R 6435 6438 5783 0 -1 4202496 269692 0 0 0 7639 39 0 0 20 0 4 0 107339327 1345916928 269506 33554432000 4194304 16246674 140735690309584 140735690291456 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6438/statm: 328593 269506 853 2943 0 325487 0
[pid=6438/tid=6439] ppid=6435 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6439/stat : 6439 (toysat) S 6435 6438 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107339327 1345916928 269506 33554432000 4194304 16246674 140735690309584 140258508254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6438/tid=6440] ppid=6435 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6440/stat : 6440 (toysat) S 6435 6438 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107339327 1345916928 269506 33554432000 4194304 16246674 140735690309584 140258497764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6438/tid=6441] ppid=6435 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6441/stat : 6441 (toysat) S 6435 6438 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107339327 1345916928 269506 33554432000 4194304 16246674 140735690309584 140258487291056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 76.78
Current children cumulated vsize (KiB) 1314372

[startup+80.0004 s]
/proc/loadavg: 2.22 2.24 2.10 3/183 6443
/proc/meminfo: memFree=28418204/32872528 swapFree=16252/1391864
[pid=6438] ppid=6435 vsize=1314372 CPUtime=79.98 cores=1,3,5,7
/proc/6438/stat : 6438 (toysat) R 6435 6438 5783 0 -1 4202496 269692 0 0 0 7959 39 0 0 20 0 4 0 107339327 1345916928 269506 33554432000 4194304 16246674 140735690309584 140735690291456 12875464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6438/statm: 328593 269506 853 2943 0 325487 0
[pid=6438/tid=6439] ppid=6435 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6439/stat : 6439 (toysat) S 6435 6438 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107339327 1345916928 269506 33554432000 4194304 16246674 140735690309584 140258508254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6438/tid=6440] ppid=6435 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6440/stat : 6440 (toysat) S 6435 6438 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107339327 1345916928 269506 33554432000 4194304 16246674 140735690309584 140258497764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6438/tid=6441] ppid=6435 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6441/stat : 6441 (toysat) S 6435 6438 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107339327 1345916928 269506 33554432000 4194304 16246674 140735690309584 140258487291056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (KiB) 1314372

[startup+83.2004 s]
/proc/loadavg: 2.20 2.24 2.09 3/183 6443
/proc/meminfo: memFree=28417336/32872528 swapFree=16252/1391864
[pid=6438] ppid=6435 vsize=1314372 CPUtime=83.18 cores=1,3,5,7
/proc/6438/stat : 6438 (toysat) R 6435 6438 5783 0 -1 4202496 269692 0 0 0 8279 39 0 0 20 0 4 0 107339327 1345916928 269506 33554432000 4194304 16246674 140735690309584 140735690291456 5661866 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6438/statm: 328593 269506 853 2943 0 325487 0
[pid=6438/tid=6439] ppid=6435 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6439/stat : 6439 (toysat) S 6435 6438 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107339327 1345916928 269506 33554432000 4194304 16246674 140735690309584 140258508254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6438/tid=6440] ppid=6435 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6440/stat : 6440 (toysat) S 6435 6438 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107339327 1345916928 269506 33554432000 4194304 16246674 140735690309584 140258497764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6438/tid=6441] ppid=6435 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6441/stat : 6441 (toysat) S 6435 6438 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107339327 1345916928 269506 33554432000 4194304 16246674 140735690309584 140258487291056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 83.18
Current children cumulated vsize (KiB) 1314372

[startup+84.0004 s]
/proc/loadavg: 2.20 2.24 2.09 3/183 6443
/proc/meminfo: memFree=28417336/32872528 swapFree=16252/1391864
[pid=6438] ppid=6435 vsize=1314372 CPUtime=83.98 cores=1,3,5,7
/proc/6438/stat : 6438 (toysat) R 6435 6438 5783 0 -1 4202496 269692 0 0 0 8359 39 0 0 20 0 4 0 107339327 1345916928 269506 33554432000 4194304 16246674 140735690309584 140735690291456 5712265 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6438/statm: 328593 269506 853 2943 0 325487 0
[pid=6438/tid=6439] ppid=6435 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6439/stat : 6439 (toysat) S 6435 6438 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107339327 1345916928 269506 33554432000 4194304 16246674 140735690309584 140258508254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6438/tid=6440] ppid=6435 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6440/stat : 6440 (toysat) S 6435 6438 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107339327 1345916928 269506 33554432000 4194304 16246674 140735690309584 140258497764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6438/tid=6441] ppid=6435 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6441/stat : 6441 (toysat) S 6435 6438 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107339327 1345916928 269506 33554432000 4194304 16246674 140735690309584 140258487291056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 83.98
Current children cumulated vsize (KiB) 1314372

[startup+84.8074 s]
/proc/loadavg: 2.20 2.24 2.09 3/183 6443
/proc/meminfo: memFree=28417336/32872528 swapFree=16252/1391864
[pid=6438] ppid=6435 vsize=1314372 CPUtime=84.78 cores=1,3,5,7
/proc/6438/stat : 6438 (toysat) R 6435 6438 5783 0 -1 4202496 269692 0 0 0 8439 39 0 0 20 0 4 0 107339327 1345916928 269506 33554432000 4194304 16246674 140735690309584 140735690291456 13780660 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6438/statm: 328593 269506 853 2943 0 325487 0
[pid=6438/tid=6439] ppid=6435 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6439/stat : 6439 (toysat) S 6435 6438 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107339327 1345916928 269506 33554432000 4194304 16246674 140735690309584 140258508254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6438/tid=6440] ppid=6435 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6440/stat : 6440 (toysat) S 6435 6438 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107339327 1345916928 269506 33554432000 4194304 16246674 140735690309584 140258497764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6438/tid=6441] ppid=6435 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6438/task/6441/stat : 6441 (toysat) S 6435 6438 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107339327 1345916928 269506 33554432000 4194304 16246674 140735690309584 140258487291056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 84.78
Current children cumulated vsize (KiB) 1314372

[startup+85.2004 s]
/proc/loadavg: 2.20 2.24 2.09 3/183 6443
/proc/meminfo: memFree=28417336/32872528 swapFree=16252/1391864
[pid=6438] ppid=6435 vsize=0 CPUtime=85.17 cores=1,3,5,7
/proc/6438/stat : 6438 (toysat) R 6435 6438 5783 0 -1 4202500 269698 0 0 0 8477 40 0 0 20 0 1 0 107339327 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6438/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 85.17
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 85.247
CPU time (s): 85.233
CPU user time (s): 84.7791
CPU system time (s): 0.45393
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 1314372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 84.7791
system time used= 0.45393
maximum resident set size= 1078044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269698
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19
involuntary context switches= 94

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.558915 second user time and 0.536918 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-07 01:01:02
IDJOB=4080194
IDBENCH=47916
IDSOLVER=2542
FILE ID=node119/4080194-1465254062
RUNJOBID= node119-1465252213-5800
PBS_JOBID= 19843259
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=89-P1=37-P2=43-P3=47-P4=41-P5=107-P6=127-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080194-1465254062/watcher-4080194-1465254062 -o /tmp/evaluation-result-4080194-1465254062/solver-4080194-1465254062 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465252213-5800 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080194-1465254062.opb

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

MD5SUM BENCH= 59a5e5c0509fa3a2bc4b2a05a02d5b79
RANDOM SEED=1530722856

node119.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.410
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.82
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.410
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.410
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.55
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.410
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.410
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.410
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		: 2666.410
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.410
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:        29498260 kB
Buffers:           49392 kB
Cached:           150256 kB
SwapCached:          856 kB
Active:          1189884 kB
Inactive:          89448 kB
Active(anon):    1080316 kB
Inactive(anon):     1640 kB
Active(file):     109568 kB
Inactive(file):    87808 kB
Unevictable:     1391864 kB
Mlocked:           16252 kB
SwapTotal:      67108856 kB
SwapFree:       67100136 kB
Dirty:             16360 kB
Writeback:             0 kB
AnonPages:       2470368 kB
Mapped:            10760 kB
Shmem:                 0 kB
Slab:             568668 kB
SReclaimable:      12400 kB
SUnreclaim:       556268 kB
KernelStack:        1472 kB
PageTables:         8956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2611660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1400832 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= 71708 MiB
End job on node119 at 2016-06-07 01:02:27