Trace number 4109750

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 68.2976 68.3118

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670167--soft-66-100-0.wbo
MD5SUM3458f76d1c0eafd16754e96da618f7a2
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 benchmark43.5884
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 constraints925
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 46664
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46663
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 707
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-19T15:46:05+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-4109750-1466343964.wbo"]
0.00/0.01	c use --random-gen="3901261334 1967498452 3140651916 3072557604 3897568741 3952721974 464899454 955817096 769962101 2949827627 415010929 3546680136 3526087346 2009327937 121048661 473831153 1097396138 4110375865 1200711150 1314903273 3339811989 1298224998 1021035247 1247618422 3233957938 3362597385 3470850437 2767984332 2103764676 3621381636 3049516167 2560026700 1716564457 1471317393 1721091143 1329311914 2340808365 946127088 2765638653 850836 1778234674 3748897890 17513597 3501394615 3676534222 2595364616 2144042608 2968983857 3140832308 2264363012 2229795307 1162234624 499506262 238131037 950721746 889318489 2845494280 2550875527 3656048237 2890806583 567204472 1015070173 3214766877 2956873442 612228591 2211575698 1169757109 3777707965 704539491 1334093163 3223326100 952882311 1019819642 2416047781 4005548997 3822621250 2849114125 460153862 3988085407 1563435193 2312857944 3966455138 3379923964 199391330 3498786584 741032467 2648429338 3523550801 3559440502 1084785556 836026159 2220048001 2353128320 3116725059 1997681294 2141406028 233060450 1259768290 3835594888 795761864 2033496040 1031103309 1781940553 3312849016 1915233267 3636697063 190890692 865486326 2822999033 2607158064 3993765300 3578774920 1174965476 1956437138 2192573961 3484278249 1460650508 3609355316 822306177 1598096188 3422093753 2626756986 3273543305 4099201400 3512396573 2232407186 1634937205 2697474780 678094879 461721508 3413476482 1669027929 3177070515 84418004 2755643200 1107133394 667415569 2998020130 2682620396 3589373113 102442460 643519634 214775978 488634974 2821449748 2644081845 3472977580 248296466 2572780585 1020371778 1420063976 2011700335 357980456 2393895548 1148322512 3604968218 1993325773 3785500379 105876642 2373573312 2346717844 3948677293 3018858913 1207764415 1944927397 2349254065 1735999581 666501410 3388633437 980430700 420637670 3631409444 1905960992 1954282092 1200318979 3785783379 3657844265 1977593403 2720520927 440379500 1450621440 3056454310 839550231 2296406035 3955893649 1951172909 111682730 1670679962 2111565246 2550669982 218341236 2557729742 265778975 1245310145 1679210270 812194641 1868334931 960523945 2749664871 1441523128 2660139703 1794761315 4189873831 2150413934 2514121989 2461773825 1952122881 183633099 924646811 2172017189 3925969956 492361327 2979379482 2939696721 3520675535 2670536663 2163396759 3135308491 1196397674 2187913928 3534059612 488533408 4095733922 768561811 4021169431 3466152462 131793967 3465546369 162804623 1081898022 3870104172 3958410815 203378332 3116664368 1209783750 1055571950 3770712393 2757156436 3166614411 2275543498 1852173929 2711927409 2944686772 1316342611 1812827059 497255238 469447203 2069135818 855983182 3043426436 1067153063 3086672263 3587673492 570572642 4289925867 3831810586 255 362436" option to reproduce the execution
0.08/0.13	c #vars 231
0.08/0.13	c #constraints 2707
0.08/0.19	c BCD2: Hardening is enabled.
0.08/0.19	c BCD2: BiasedSearch is enabled.
0.08/0.19	c Solving starts ...
0.08/0.19	c ============================[ Search Statistics ]============================
0.08/0.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.19	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.19	c =============================================================================
0.19/0.20	c  0.0s |       0 |        0 |        0 |     1287      0 |        0 |        0
0.19/0.20	c  0.0s |       0 |     1377 |       30 |     1287      0 |        0 |        0
0.19/0.20	c #cpu_time = 0.017s
0.19/0.20	c #wall_clock_time = 0.017s
0.19/0.20	c #decision = 1377
0.19/0.20	c #random_decision = 14
0.19/0.20	c #conflict = 30
0.19/0.20	c #restart = 0
0.19/0.20	o 77
0.19/0.20	c BCD2: hardening fixes 225 literals
0.19/0.20	c BCD2: updating upper bound: 46663 -> 76
0.19/0.21	c BCD2: 0 <= obj <= 76
0.19/0.21	c BCD2: #cores=0, #unrelaxed=700, #relaxed=0, #hardened=225
0.19/0.21	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.21	c Solving starts ...
0.19/0.21	c ============================[ Search Statistics ]============================
0.19/0.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.21	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.21	c =============================================================================
0.19/0.21	c  0.0s |       0 |        0 |        0 |     1287      0 |      225 |        0
0.19/0.22	c  0.0s |       1 |      890 |      100 |     1416      0 |      225 |        0
0.19/0.25	c  0.0s |       2 |     1901 |      250 |     1558      0 |      225 |        0
0.19/0.29	c  0.1s |       3 |     2941 |      475 |     1714      0 |      225 |        0
0.29/0.37	c  0.2s |       4 |     4314 |      813 |     1886      0 |      225 |        0
0.49/0.52	c  0.3s |       5 |     5878 |     1320 |     2075      0 |      225 |        0
0.69/0.78	c  0.6s |       6 |     7806 |     2081 |     2283      0 |      225 |        0
1.20/1.26	c  1.1s |       7 |    10468 |     3223 |     2512      0 |      225 |        0
1.79/1.80	c  1.6s |       8 |    14085 |     4936 |     2764      1 |      225 |        0
2.69/2.71	c  2.5s |       9 |    18992 |     7506 |     3041      3 |      225 |        0
3.89/3.95	c  3.7s |      10 |    26238 |    11361 |     3346      5 |      225 |        0
5.78/5.86	c  5.7s |      11 |    37050 |    17144 |     3681      7 |      225 |        0
7.79/7.89	c  7.7s |      11 |    49784 |    23544 |     3681     10 |      225 |        0
8.58/8.63	c  8.4s |      12 |    54118 |    25819 |     4050     11 |      225 |        0
9.28/9.34	c  9.1s |      12 |    58093 |    27569 |     4050     11 |      225 |        0
9.28/9.34	c #cpu_time = 9.103s
9.28/9.34	c #wall_clock_time = 9.130s
9.28/9.34	c #decision = 58093
9.28/9.34	c #random_decision = 50
9.28/9.34	c #conflict = 27569
9.28/9.34	c #restart = 12
9.28/9.34	c BCD2: found a new core of size 626: cost of the new core is >=1
9.28/9.34	c lower bound updated to 1
9.28/9.34	c BCD2: hardening fixes 1 literals
9.28/9.34	c BCD2: 1 <= obj <= 76
9.28/9.34	c BCD2: #cores=1, #unrelaxed=73, #relaxed=626, #hardened=226
9.28/9.34	c BCD2: #sat=1 #unsat=2 bias=2/3
9.28/9.34	c Solving starts ...
9.28/9.34	c ============================[ Search Statistics ]============================
9.28/9.34	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
9.28/9.34	c       |         |          |          |    Limit     GC | Var      | Constra 
9.28/9.34	c =============================================================================
9.28/9.34	c  0.0s |       0 |        0 |        0 |     4050      0 |      226 |        0
9.38/9.43	c  0.1s |       1 |      556 |      100 |     4050      1 |      226 |        0
9.48/9.50	c  0.2s |       2 |      836 |      250 |     4050      1 |      226 |        0
9.48/9.57	c  0.2s |       2 |     1108 |      383 |     4050      1 |      226 |        0
9.48/9.57	c #cpu_time = 0.225s
9.48/9.57	c #wall_clock_time = 0.225s
9.48/9.57	c #decision = 1108
9.48/9.57	c #random_decision = 2
9.48/9.57	c #conflict = 383
9.48/9.57	c #restart = 2
9.48/9.57	o 75
9.48/9.57	c BCD2: hardening fixes 21 literals
9.48/9.57	c BCD2: updating upper bound: 76 -> 74
9.48/9.57	c BCD2: 1 <= obj <= 74
9.48/9.57	c BCD2: #cores=1, #unrelaxed=69, #relaxed=609, #hardened=247
9.48/9.57	c BCD2: #sat=2 #unsat=2 bias=2/4
9.48/9.57	c Solving starts ...
9.48/9.57	c ============================[ Search Statistics ]============================
9.48/9.57	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
9.48/9.57	c       |         |          |          |    Limit     GC | Var      | Constra 
9.48/9.57	c =============================================================================
9.48/9.57	c  0.0s |       0 |        0 |        0 |     4050      0 |      247 |        1
9.58/9.64	c  0.1s |       1 |      228 |      100 |     4050      0 |      247 |        1
9.68/9.70	c  0.1s |       2 |      594 |      250 |     4050      0 |      247 |        1
9.78/9.80	c  0.2s |       3 |     1040 |      475 |     4050      0 |      247 |        1
9.89/9.93	c  0.4s |       4 |     1641 |      813 |     4050      0 |      247 |        1
9.99/10.05	c  0.5s |       4 |     2254 |     1143 |     4050      0 |      247 |        1
9.99/10.05	c #cpu_time = 0.481s
9.99/10.05	c #wall_clock_time = 0.482s
9.99/10.05	c #decision = 2254
9.99/10.05	c #random_decision = 2
9.99/10.05	c #conflict = 1143
9.99/10.05	c #restart = 4
9.99/10.05	o 38
9.99/10.05	c BCD2: hardening fixes 344 literals
9.99/10.05	c BCD2: updating upper bound: 74 -> 37
9.99/10.06	c BCD2: 1 <= obj <= 37
9.99/10.06	c BCD2: #cores=1, #unrelaxed=35, #relaxed=299, #hardened=591
9.99/10.06	c BCD2: #sat=3 #unsat=2 bias=2/5
9.99/10.06	c Solving starts ...
9.99/10.06	c ============================[ Search Statistics ]============================
9.99/10.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
9.99/10.06	c       |         |          |          |    Limit     GC | Var      | Constra 
9.99/10.06	c =============================================================================
9.99/10.06	c  0.0s |       0 |        0 |        0 |     4050      0 |      591 |        2
10.08/10.11	c  0.1s |       1 |      174 |      100 |     4050      0 |      591 |        2
10.08/10.18	c  0.1s |       2 |      477 |      250 |     4050      0 |      591 |        2
10.18/10.27	c  0.2s |       3 |      914 |      475 |     4050      0 |      591 |        2
10.28/10.39	c  0.3s |       4 |     1512 |      813 |     4050      0 |      591 |        2
10.48/10.59	c  0.5s |       5 |     2326 |     1320 |     4050      1 |      591 |        2
10.78/10.85	c  0.8s |       6 |     3600 |     2081 |     4050      1 |      591 |        2
11.19/11.27	c  1.2s |       7 |     5411 |     3223 |     4050      1 |      591 |        2
11.49/11.57	c  1.5s |       7 |     6712 |     4026 |     4050      2 |      591 |        2
11.49/11.57	c #cpu_time = 1.511s
11.49/11.57	c #wall_clock_time = 1.515s
11.49/11.57	c #decision = 6712
11.49/11.57	c #random_decision = 13
11.49/11.57	c #conflict = 4026
11.49/11.57	c #restart = 7
11.49/11.57	o 15
11.49/11.57	c BCD2: hardening fixes 205 literals
11.49/11.57	c BCD2: updating upper bound: 37 -> 14
11.49/11.57	c BCD2: 1 <= obj <= 14
11.49/11.57	c BCD2: #cores=1, #unrelaxed=9, #relaxed=120, #hardened=796
11.49/11.57	c BCD2: #sat=4 #unsat=2 bias=2/6
11.49/11.57	c Solving starts ...
11.49/11.57	c ============================[ Search Statistics ]============================
11.49/11.57	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
11.49/11.57	c       |         |          |          |    Limit     GC | Var      | Constra 
11.49/11.57	c =============================================================================
11.49/11.57	c  0.0s |       0 |        0 |        0 |     4050      0 |      796 |        3
11.59/11.62	c  0.0s |       1 |      160 |      100 |     4050      0 |      796 |        3
11.59/11.67	c  0.1s |       2 |      423 |      250 |     4050      0 |      796 |        3
11.69/11.77	c  0.2s |       3 |      805 |      475 |     4050      0 |      796 |        3
11.79/11.88	c  0.3s |       4 |     1365 |      813 |     4050      0 |      796 |        3
11.99/12.07	c  0.5s |       5 |     2212 |     1320 |     4050      0 |      796 |        3
12.29/12.34	c  0.8s |       6 |     3346 |     2081 |     4050      1 |      796 |        3
12.69/12.73	c  1.2s |       7 |     5167 |     3223 |     4050      1 |      796 |        3
13.39/13.41	c  1.8s |       8 |     7574 |     4936 |     4050      2 |      796 |        3
14.19/14.28	c  2.7s |       9 |    11751 |     7506 |     4455      3 |      796 |        3
15.69/15.73	c  4.2s |      10 |    17352 |    11361 |     4455      4 |      796 |        3
17.69/17.74	c  6.2s |      10 |    25190 |    16661 |     4455      6 |      796 |        3
17.89/17.93	c  6.4s |      11 |    25863 |    17144 |     4455      6 |      796 |        3
19.29/19.38	c  7.8s |      11 |    30749 |    20706 |     4455      7 |      796 |        3
19.29/19.38	c #cpu_time = 7.782s
19.29/19.38	c #wall_clock_time = 7.802s
19.29/19.38	c #decision = 30749
19.29/19.38	c #random_decision = 43
19.29/19.38	c #conflict = 20706
19.29/19.38	c #restart = 11
19.29/19.38	o 4
19.29/19.38	c BCD2: hardening fixes 100 literals
19.29/19.38	c BCD2: updating upper bound: 14 -> 3
19.29/19.38	c BCD2: 1 <= obj <= 3
19.29/19.38	c BCD2: #cores=1, #unrelaxed=1, #relaxed=28, #hardened=896
19.29/19.38	c BCD2: #sat=5 #unsat=2 bias=2/7
19.29/19.38	c Solving starts ...
19.29/19.38	c ============================[ Search Statistics ]============================
19.29/19.38	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
19.29/19.38	c       |         |          |          |    Limit     GC | Var      | Constra 
19.29/19.38	c =============================================================================
19.29/19.38	c  0.0s |       0 |        0 |        0 |     4455      0 |      896 |        4
19.49/19.52	c  0.1s |       1 |      171 |      100 |     4455      1 |      896 |        5
19.49/19.57	c  0.2s |       2 |      392 |      250 |     4455      1 |      896 |        5
19.59/19.66	c  0.3s |       3 |      737 |      475 |     4455      1 |      896 |        5
19.69/19.78	c  0.4s |       4 |     1245 |      813 |     4455      1 |      896 |        5
19.89/19.96	c  0.6s |       5 |     2033 |     1320 |     4455      1 |      896 |        5
20.19/20.21	c  0.8s |       6 |     3300 |     2081 |     4455      1 |      896 |        5
20.59/20.60	c  1.2s |       7 |     5061 |     3223 |     4455      2 |      896 |        5
21.09/21.18	c  1.8s |       8 |     7747 |     4936 |     4901      2 |      896 |        5
21.99/22.06	c  2.7s |       9 |    11706 |     7506 |     4901      3 |      896 |        5
23.29/23.37	c  4.0s |      10 |    17597 |    11361 |     4901      4 |      896 |        5
25.19/25.23	c  5.9s |      11 |    26465 |    17144 |     4901      6 |      896 |        5
25.98/26.05	c  6.7s |      11 |    30316 |    19519 |     4901      7 |      896 |        5
25.98/26.05	c #cpu_time = 6.652s
25.98/26.05	c #wall_clock_time = 6.669s
25.98/26.05	c #decision = 30316
25.98/26.05	c #random_decision = 55
25.98/26.05	c #conflict = 19519
25.98/26.05	c #restart = 11
25.98/26.05	o 2
25.98/26.05	c BCD2: hardening fixes 17 literals
25.98/26.05	c BCD2: updating upper bound: 3 -> 1
25.98/26.05	c BCD2: 1 <= obj <= 1
25.98/26.05	c BCD2: #cores=1, #unrelaxed=0, #relaxed=12, #hardened=913
25.98/26.05	c BCD2: #sat=6 #unsat=2 bias=2/8
25.98/26.05	c Solving starts ...
25.98/26.05	c ============================[ Search Statistics ]============================
25.98/26.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
25.98/26.05	c       |         |          |          |    Limit     GC | Var      | Constra 
25.98/26.05	c =============================================================================
25.98/26.05	c  0.0s |       0 |        0 |        0 |     4901      0 |      913 |       10
25.98/26.09	c  0.0s |       1 |      131 |      100 |     4901      0 |      913 |       10
26.08/26.15	c  0.1s |       2 |      357 |      250 |     4901      0 |      913 |       10
26.18/26.23	c  0.2s |       3 |      741 |      475 |     4901      0 |      913 |       10
26.28/26.34	c  0.3s |       4 |     1452 |      813 |     4901      0 |      913 |       10
26.49/26.55	c  0.5s |       5 |     2255 |     1320 |     4901      1 |      913 |       10
26.68/26.79	c  0.7s |       6 |     3372 |     2081 |     4901      1 |      913 |       10
27.08/27.14	c  1.1s |       7 |     5208 |     3223 |     4901      1 |      913 |       10
27.68/27.74	c  1.7s |       8 |     7872 |     4936 |     4901      2 |      913 |       10
28.48/28.54	c  2.5s |       9 |    11993 |     7506 |     4901      3 |      913 |       10
29.69/29.79	c  3.7s |      10 |    17798 |    11361 |     4901      4 |      913 |       10
31.58/31.64	c  5.6s |      11 |    26765 |    17144 |     5392      6 |      913 |       10
33.58/33.67	c  7.6s |      11 |    36066 |    23444 |     5392      8 |      913 |       10
34.48/34.52	c  8.5s |      12 |    39506 |    25819 |     5392      9 |      913 |       10
36.48/36.52	c 10.5s |      12 |    49119 |    31919 |     5392     10 |      913 |       10
38.49/38.56	c 12.5s |      12 |    58992 |    38319 |     5392     12 |      913 |       10
38.68/38.74	c 12.7s |      13 |    59738 |    38832 |     5392     13 |      913 |       10
40.68/40.76	c 14.7s |      13 |    68928 |    45032 |     5392     15 |      913 |       10
42.68/42.77	c 16.7s |      13 |    77800 |    51132 |     5392     16 |      913 |       10
44.78/44.81	c 18.8s |      13 |    85006 |    56432 |     5392     18 |      913 |       10
45.38/45.47	c 19.4s |      14 |    88234 |    58352 |     5932     19 |      913 |       10
47.38/47.48	c 21.4s |      14 |    98506 |    64752 |     5932     20 |      913 |       10
49.38/49.49	c 23.4s |      14 |   108066 |    70952 |     5932     22 |      913 |       10
51.48/51.52	c 25.5s |      14 |   117568 |    77152 |     5932     24 |      913 |       10
53.48/53.56	c 27.5s |      14 |   125056 |    82352 |     5932     26 |      913 |       10
55.38/55.49	c 29.4s |      15 |   132958 |    87632 |     5932     27 |      913 |       10
57.48/57.54	c 31.5s |      15 |   141531 |    93232 |     5932     29 |      913 |       10
59.49/59.58	c 33.5s |      15 |   149506 |    98632 |     5932     30 |      913 |       10
61.48/61.60	c 35.5s |      15 |   156907 |   103632 |     5932     32 |      913 |       10
63.58/63.61	c 37.6s |      15 |   164152 |   108732 |     5932     33 |      913 |       10
65.58/65.62	c 39.6s |      15 |   170990 |   113532 |     5932     35 |      913 |       10
67.58/67.66	c 41.6s |      15 |   178268 |   118632 |     5932     36 |      913 |       10
68.18/68.24	c 42.2s |      15 |   180155 |   120033 |     5932     36 |      914 |       12
68.18/68.24	c #cpu_time = 42.085s
68.18/68.24	c #wall_clock_time = 42.193s
68.18/68.24	c #decision = 180155
68.18/68.24	c #random_decision = 517
68.18/68.24	c #conflict = 120033
68.18/68.24	c #restart = 15
68.18/68.24	c BCD2: updating lower bound of a core
68.18/68.24	c lower bound updated to 2
68.18/68.24	s OPTIMUM FOUND
68.18/68.24	v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
68.18/68.24	v -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20
68.18/68.24	v -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30
68.18/68.24	v -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40
68.18/68.24	v -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50
68.18/68.24	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
68.18/68.24	v x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
68.18/68.24	v -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80
68.18/68.24	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90
68.18/68.24	v -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
68.18/68.24	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 -x109 -x110
68.18/68.24	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120
68.18/68.24	v -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130
68.18/68.24	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140
68.18/68.24	v -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
68.18/68.24	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
68.18/68.24	v x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170
68.18/68.24	v -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180
68.18/68.24	v -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
68.18/68.24	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 -x200
68.18/68.24	v -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210
68.18/68.24	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
68.18/68.24	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
68.18/68.24	v -x231
68.18/68.24	c total CPU time = 68.068s
68.18/68.24	c total wall clock time = 68.247s

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

pid=6971
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.14 2.22 2.02 3/179 6974
/proc/meminfo: memFree=29113964/32872528 swapFree=1542984/1696284
[pid=6974] ppid=6971 vsize=695740 CPUtime=0 cores=1,3,5,7
/proc/6974/stat : 6974 (toysat) R 6971 6974 6047 0 -1 4202496 2589 0 0 0 0 0 0 0 20 0 4 0 36443082 712437760 2950 33554432000 4194304 16246674 140734462446352 140734462445776 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6974/statm: 174447 2959 441 2943 0 171341 0
[pid=6974/tid=6975] ppid=6971 vsize=714172 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6975/stat : 6975 (toysat) S 6971 6974 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36443082 731312128 3022 33554432000 4194304 16246674 140734462446352 140361337908464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6974/tid=6976] ppid=6971 vsize=718268 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6976/stat : 6976 (toysat) S 6971 6974 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36443082 735506432 3039 33554432000 4194304 16246674 140734462446352 140361327418608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6974/tid=6977] ppid=6971 vsize=722364 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6977/stat : 6977 (toysat) S 6971 6974 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36443082 739700736 3056 33554432000 4194304 16246674 140734462446352 140361208949936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.14 2.22 2.02 3/179 6974
/proc/meminfo: memFree=29113964/32872528 swapFree=1542984/1696284
[pid=6974] ppid=6971 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/6974/stat : 6974 (toysat) R 6971 6974 6047 0 -1 4202496 24532 0 0 0 5 3 0 0 20 0 4 0 36443082 1247350784 24885 33554432000 4194304 16246674 140734462446352 140734462445776 12459048 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6974/statm: 304529 24891 616 2943 0 301423 0
[pid=6974/tid=6975] ppid=6971 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6975/stat : 6975 (toysat) S 6971 6974 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36443082 1247350784 24896 33554432000 4194304 16246674 140734462446352 140361337908464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6974/tid=6976] ppid=6971 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6976/stat : 6976 (toysat) S 6971 6974 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36443082 1247350784 24897 33554432000 4194304 16246674 140734462446352 140361327418608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6974/tid=6977] ppid=6971 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6977/stat : 6977 (toysat) S 6971 6974 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36443082 1247350784 24899 33554432000 4194304 16246674 140734462446352 140361208949936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200541 s]
/proc/loadavg: 2.14 2.22 2.02 3/179 6974
/proc/meminfo: memFree=29113964/32872528 swapFree=1542984/1696284
[pid=6974] ppid=6971 vsize=1221188 CPUtime=0.19 cores=1,3,5,7
/proc/6974/stat : 6974 (toysat) R 6971 6974 6047 0 -1 4202496 40425 0 0 0 13 6 0 0 20 0 4 0 36443082 1250496512 40751 33554432000 4194304 16246674 140734462446352 140734462445776 15002730 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6974/statm: 305553 40759 801 2943 0 302447 0
[pid=6974/tid=6975] ppid=6971 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6975/stat : 6975 (toysat) S 6971 6974 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36443082 1251545088 40762 33554432000 4194304 16246674 140734462446352 140361337908464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6974/tid=6976] ppid=6971 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6976/stat : 6976 (toysat) S 6971 6974 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36443082 1251545088 40765 33554432000 4194304 16246674 140734462446352 140361327418608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6974/tid=6977] ppid=6971 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6977/stat : 6977 (toysat) S 6971 6974 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36443082 1251545088 40768 33554432000 4194304 16246674 140734462446352 140361208949936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300518 s]
/proc/loadavg: 2.14 2.22 2.02 3/179 6974
/proc/meminfo: memFree=29113964/32872528 swapFree=1542984/1696284
[pid=6974] ppid=6971 vsize=1222212 CPUtime=0.29 cores=1,3,5,7
/proc/6974/stat : 6974 (toysat) R 6971 6974 6047 0 -1 4202496 40534 0 0 0 23 6 0 0 20 0 4 0 36443082 1251545088 40858 33554432000 4194304 16246674 140734462446352 140734462445664 6837232 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6974/statm: 305553 40858 871 2943 0 302447 0
[pid=6974/tid=6975] ppid=6971 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6975/stat : 6975 (toysat) S 6971 6974 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36443082 1251545088 40858 33554432000 4194304 16246674 140734462446352 140361337908464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6974/tid=6976] ppid=6971 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6976/stat : 6976 (toysat) S 6971 6974 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36443082 1251545088 40858 33554432000 4194304 16246674 140734462446352 140361327418608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6974/tid=6977] ppid=6971 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6977/stat : 6977 (toysat) S 6971 6974 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36443082 1251545088 40858 33554432000 4194304 16246674 140734462446352 140361208949936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1222212

[startup+0.700408 s]
/proc/loadavg: 2.14 2.22 2.02 3/179 6974
/proc/meminfo: memFree=29113964/32872528 swapFree=1542984/1696284
[pid=6974] ppid=6971 vsize=1222212 CPUtime=0.69 cores=1,3,5,7
/proc/6974/stat : 6974 (toysat) R 6971 6974 6047 0 -1 4202496 115800 0 0 0 55 14 0 0 20 0 4 0 36443082 1251545088 116124 33554432000 4194304 16246674 140734462446352 140734462445664 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6974/statm: 305553 116138 871 2943 0 302447 0
[pid=6974/tid=6975] ppid=6971 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6975/stat : 6975 (toysat) S 6971 6974 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36443082 1251545088 116145 33554432000 4194304 16246674 140734462446352 140361337908464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6974/tid=6976] ppid=6971 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6976/stat : 6976 (toysat) S 6971 6974 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36443082 1251545088 116152 33554432000 4194304 16246674 140734462446352 140361327418608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6974/tid=6977] ppid=6971 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6977/stat : 6977 (toysat) S 6971 6974 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36443082 1251545088 116155 33554432000 4194304 16246674 140734462446352 140361208949936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1222212

[startup+1.50032 s]
/proc/loadavg: 2.14 2.22 2.02 3/183 6978
/proc/meminfo: memFree=28297456/32872528 swapFree=1542984/1696284
[pid=6974] ppid=6971 vsize=1301060 CPUtime=1.48 cores=1,3,5,7
/proc/6974/stat : 6974 (toysat) R 6971 6974 6047 0 -1 4202496 266306 0 0 0 112 36 0 0 20 0 4 0 36443082 1332285440 266630 33554432000 4194304 16246674 140734462446352 140734462428224 5676361 0 0 0 34082818 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/6974/statm: 325265 266630 874 2943 0 322159 0
[pid=6974/tid=6975] ppid=6971 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6975/stat : 6975 (toysat) S 6971 6974 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36443082 1332285440 266630 33554432000 4194304 16246674 140734462446352 140361337908464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6974/tid=6976] ppid=6971 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6976/stat : 6976 (toysat) S 6971 6974 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36443082 1332285440 266630 33554432000 4194304 16246674 140734462446352 140361327418608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6974/tid=6977] ppid=6971 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6977/stat : 6977 (toysat) S 6971 6974 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36443082 1332285440 266630 33554432000 4194304 16246674 140734462446352 140361208949936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1301060

[startup+3.10039 s]
/proc/loadavg: 2.21 2.24 2.02 3/183 6978
/proc/meminfo: memFree=28042636/32872528 swapFree=1542984/1696284
[pid=6974] ppid=6971 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/6974/stat : 6974 (toysat) R 6971 6974 6047 0 -1 4202496 267764 0 0 0 272 37 0 0 20 0 4 0 36443082 1338576896 268088 33554432000 4194304 16246674 140734462446352 140734462428224 5674425 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6974/statm: 326801 268088 877 2943 0 323695 0
[pid=6974/tid=6975] ppid=6971 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6975/stat : 6975 (toysat) S 6971 6974 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36443082 1338576896 268088 33554432000 4194304 16246674 140734462446352 140361337908464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6974/tid=6976] ppid=6971 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6976/stat : 6976 (toysat) S 6971 6974 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36443082 1338576896 268088 33554432000 4194304 16246674 140734462446352 140361327418608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6974/tid=6977] ppid=6971 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6977/stat : 6977 (toysat) S 6971 6974 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36443082 1338576896 268088 33554432000 4194304 16246674 140734462446352 140361208949936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30039 s]
/proc/loadavg: 2.21 2.24 2.02 4/183 6978
/proc/meminfo: memFree=28039856/32872528 swapFree=1542984/1696284
[pid=6974] ppid=6971 vsize=1309252 CPUtime=6.28 cores=1,3,5,7
/proc/6974/stat : 6974 (toysat) R 6971 6974 6047 0 -1 4202496 268436 0 0 0 591 37 0 0 20 0 4 0 36443082 1340674048 268760 33554432000 4194304 16246674 140734462446352 140734462428224 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6974/statm: 327313 268760 877 2943 0 324207 0
[pid=6974/tid=6975] ppid=6971 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6975/stat : 6975 (toysat) S 6971 6974 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36443082 1340674048 268760 33554432000 4194304 16246674 140734462446352 140361337908464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6974/tid=6976] ppid=6971 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6976/stat : 6976 (toysat) S 6971 6974 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36443082 1340674048 268760 33554432000 4194304 16246674 140734462446352 140361327418608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6974/tid=6977] ppid=6971 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6977/stat : 6977 (toysat) S 6971 6974 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36443082 1340674048 268760 33554432000 4194304 16246674 140734462446352 140361208949936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1309252

[startup+12.7004 s]
/proc/loadavg: 2.25 2.25 2.03 3/183 6978
/proc/meminfo: memFree=28032836/32872528 swapFree=1542984/1696284
[pid=6974] ppid=6971 vsize=1315396 CPUtime=12.69 cores=1,3,5,7
/proc/6974/stat : 6974 (toysat) R 6971 6974 6047 0 -1 4202496 269980 0 0 0 1231 38 0 0 20 0 4 0 36443082 1346965504 270304 33554432000 4194304 16246674 140734462446352 140734462428224 5677320 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6974/statm: 328849 270304 885 2943 0 325743 0
[pid=6974/tid=6975] ppid=6971 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6975/stat : 6975 (toysat) S 6971 6974 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36443082 1346965504 270304 33554432000 4194304 16246674 140734462446352 140361337908464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6974/tid=6976] ppid=6971 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6976/stat : 6976 (toysat) S 6971 6974 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36443082 1346965504 270304 33554432000 4194304 16246674 140734462446352 140361327418608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6974/tid=6977] ppid=6971 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6977/stat : 6977 (toysat) S 6971 6974 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36443082 1346965504 270304 33554432000 4194304 16246674 140734462446352 140361208949936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1315396

[startup+25.5005 s]
/proc/loadavg: 2.36 2.27 2.04 3/183 6978
/proc/meminfo: memFree=28031604/32872528 swapFree=1542984/1696284
[pid=6974] ppid=6971 vsize=1318468 CPUtime=25.48 cores=1,3,5,7
/proc/6974/stat : 6974 (toysat) R 6971 6974 6047 0 -1 4202496 270538 0 0 0 2510 38 0 0 20 0 4 0 36443082 1350111232 270862 33554432000 4194304 16246674 140734462446352 140734462428224 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6974/statm: 329617 270862 885 2943 0 326511 0
[pid=6974/tid=6975] ppid=6971 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6975/stat : 6975 (toysat) S 6971 6974 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36443082 1350111232 270862 33554432000 4194304 16246674 140734462446352 140361337908464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6974/tid=6976] ppid=6971 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6976/stat : 6976 (toysat) S 6971 6974 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36443082 1350111232 270862 33554432000 4194304 16246674 140734462446352 140361327418608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6974/tid=6977] ppid=6971 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6977/stat : 6977 (toysat) S 6971 6974 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36443082 1350111232 270862 33554432000 4194304 16246674 140734462446352 140361208949936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1318468

[startup+51.1005 s]
/proc/loadavg: 2.24 2.25 2.04 4/183 6978
/proc/meminfo: memFree=28025408/32872528 swapFree=1542984/1696284
[pid=6974] ppid=6971 vsize=1322564 CPUtime=51.08 cores=1,3,5,7
/proc/6974/stat : 6974 (toysat) R 6971 6974 6047 0 -1 4202496 271772 0 0 0 5069 39 0 0 20 0 4 0 36443082 1354305536 272096 33554432000 4194304 16246674 140734462446352 140734462428224 5711964 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6974/statm: 330641 272096 885 2943 0 327535 0
[pid=6974/tid=6975] ppid=6971 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6975/stat : 6975 (toysat) S 6971 6974 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36443082 1354305536 272096 33554432000 4194304 16246674 140734462446352 140361337908464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6974/tid=6976] ppid=6971 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6976/stat : 6976 (toysat) S 6971 6974 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36443082 1354305536 272096 33554432000 4194304 16246674 140734462446352 140361327418608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6974/tid=6977] ppid=6971 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6977/stat : 6977 (toysat) S 6971 6974 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36443082 1354305536 272096 33554432000 4194304 16246674 140734462446352 140361208949936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1322564

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

[startup+51.2005 s]
/proc/loadavg: 2.24 2.25 2.04 4/183 6978
/proc/meminfo: memFree=28025408/32872528 swapFree=1542984/1696284
[pid=6974] ppid=6971 vsize=1322564 CPUtime=51.18 cores=1,3,5,7
/proc/6974/stat : 6974 (toysat) R 6971 6974 6047 0 -1 4202496 271772 0 0 0 5079 39 0 0 20 0 4 0 36443082 1354305536 272096 33554432000 4194304 16246674 140734462446352 140734462428224 5822648 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6974/statm: 330641 272096 885 2943 0 327535 0
[pid=6974/tid=6975] ppid=6971 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6975/stat : 6975 (toysat) S 6971 6974 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36443082 1354305536 272096 33554432000 4194304 16246674 140734462446352 140361337908464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6974/tid=6976] ppid=6971 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6976/stat : 6976 (toysat) S 6971 6974 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36443082 1354305536 272096 33554432000 4194304 16246674 140734462446352 140361327418608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6974/tid=6977] ppid=6971 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6977/stat : 6977 (toysat) S 6971 6974 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36443082 1354305536 272096 33554432000 4194304 16246674 140734462446352 140361208949936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 1322564

[startup+57.6004 s]
/proc/loadavg: 2.27 2.25 2.04 3/183 6978
/proc/meminfo: memFree=28025160/32872528 swapFree=1542984/1696284
[pid=6974] ppid=6971 vsize=1322564 CPUtime=57.58 cores=1,3,5,7
/proc/6974/stat : 6974 (toysat) R 6971 6974 6047 0 -1 4202496 271772 0 0 0 5719 39 0 0 20 0 4 0 36443082 1354305536 272096 33554432000 4194304 16246674 140734462446352 140734462428224 6021920 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6974/statm: 330641 272096 885 2943 0 327535 0
[pid=6974/tid=6975] ppid=6971 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6975/stat : 6975 (toysat) S 6971 6974 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36443082 1354305536 272096 33554432000 4194304 16246674 140734462446352 140361337908464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6974/tid=6976] ppid=6971 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6976/stat : 6976 (toysat) S 6971 6974 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36443082 1354305536 272096 33554432000 4194304 16246674 140734462446352 140361327418608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6974/tid=6977] ppid=6971 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6977/stat : 6977 (toysat) S 6971 6974 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36443082 1354305536 272096 33554432000 4194304 16246674 140734462446352 140361208949936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 57.58
Current children cumulated vsize (KiB) 1322564

[startup+64.0004 s]
/proc/loadavg: 2.25 2.25 2.04 3/183 6980
/proc/meminfo: memFree=28025412/32872528 swapFree=1542984/1696284
[pid=6974] ppid=6971 vsize=1322564 CPUtime=63.98 cores=1,3,5,7
/proc/6974/stat : 6974 (toysat) R 6971 6974 6047 0 -1 4202496 271772 0 0 0 6359 39 0 0 20 0 4 0 36443082 1354305536 272096 33554432000 4194304 16246674 140734462446352 140734462445528 13752924 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6974/statm: 330641 272096 885 2943 0 327535 0
[pid=6974/tid=6975] ppid=6971 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6975/stat : 6975 (toysat) S 6971 6974 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36443082 1354305536 272096 33554432000 4194304 16246674 140734462446352 140361337908464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6974/tid=6976] ppid=6971 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6976/stat : 6976 (toysat) S 6971 6974 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36443082 1354305536 272096 33554432000 4194304 16246674 140734462446352 140361327418608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6974/tid=6977] ppid=6971 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6977/stat : 6977 (toysat) S 6971 6974 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36443082 1354305536 272096 33554432000 4194304 16246674 140734462446352 140361208949936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 63.98
Current children cumulated vsize (KiB) 1322564

[startup+65.6004 s]
/proc/loadavg: 2.25 2.25 2.04 3/183 6980
/proc/meminfo: memFree=28025532/32872528 swapFree=1542984/1696284
[pid=6974] ppid=6971 vsize=1322564 CPUtime=65.58 cores=1,3,5,7
/proc/6974/stat : 6974 (toysat) R 6971 6974 6047 0 -1 4202496 271772 0 0 0 6519 39 0 0 20 0 4 0 36443082 1354305536 272096 33554432000 4194304 16246674 140734462446352 140734462428224 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6974/statm: 330641 272096 885 2943 0 327535 0
[pid=6974/tid=6975] ppid=6971 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6975/stat : 6975 (toysat) S 6971 6974 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36443082 1354305536 272096 33554432000 4194304 16246674 140734462446352 140361337908464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6974/tid=6976] ppid=6971 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6976/stat : 6976 (toysat) S 6971 6974 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36443082 1354305536 272096 33554432000 4194304 16246674 140734462446352 140361327418608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6974/tid=6977] ppid=6971 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6977/stat : 6977 (toysat) S 6971 6974 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36443082 1354305536 272096 33554432000 4194304 16246674 140734462446352 140361208949936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 65.58
Current children cumulated vsize (KiB) 1322564

[startup+67.2074 s]
/proc/loadavg: 2.23 2.25 2.04 3/183 6980
/proc/meminfo: memFree=28025764/32872528 swapFree=1542984/1696284
[pid=6974] ppid=6971 vsize=1322564 CPUtime=67.19 cores=1,3,5,7
/proc/6974/stat : 6974 (toysat) R 6971 6974 6047 0 -1 4202496 271772 0 0 0 6680 39 0 0 20 0 4 0 36443082 1354305536 272096 33554432000 4194304 16246674 140734462446352 140734462428224 5546308 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6974/statm: 330641 272096 885 2943 0 327535 0
[pid=6974/tid=6975] ppid=6971 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6975/stat : 6975 (toysat) S 6971 6974 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36443082 1354305536 272096 33554432000 4194304 16246674 140734462446352 140361337908464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6974/tid=6976] ppid=6971 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6976/stat : 6976 (toysat) S 6971 6974 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36443082 1354305536 272096 33554432000 4194304 16246674 140734462446352 140361327418608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6974/tid=6977] ppid=6971 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6977/stat : 6977 (toysat) S 6971 6974 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36443082 1354305536 272096 33554432000 4194304 16246674 140734462446352 140361208949936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 67.19
Current children cumulated vsize (KiB) 1322564

[startup+68.0004 s]
/proc/loadavg: 2.23 2.25 2.04 3/183 6980
/proc/meminfo: memFree=28025764/32872528 swapFree=1542984/1696284
[pid=6974] ppid=6971 vsize=1322564 CPUtime=67.98 cores=1,3,5,7
/proc/6974/stat : 6974 (toysat) R 6971 6974 6047 0 -1 4202496 271772 0 0 0 6759 39 0 0 20 0 4 0 36443082 1354305536 272096 33554432000 4194304 16246674 140734462446352 140734462428224 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6974/statm: 330641 272096 885 2943 0 327535 0
[pid=6974/tid=6975] ppid=6971 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6975/stat : 6975 (toysat) S 6971 6974 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36443082 1354305536 272096 33554432000 4194304 16246674 140734462446352 140361337908464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6974/tid=6976] ppid=6971 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6976/stat : 6976 (toysat) S 6971 6974 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36443082 1354305536 272096 33554432000 4194304 16246674 140734462446352 140361327418608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6974/tid=6977] ppid=6971 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6977/stat : 6977 (toysat) S 6971 6974 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36443082 1354305536 272096 33554432000 4194304 16246674 140734462446352 140361208949936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 67.98
Current children cumulated vsize (KiB) 1322564

[startup+68.2004 s]
/proc/loadavg: 2.23 2.25 2.04 3/183 6980
/proc/meminfo: memFree=28025888/32872528 swapFree=1542984/1696284
[pid=6974] ppid=6971 vsize=1322564 CPUtime=68.18 cores=1,3,5,7
/proc/6974/stat : 6974 (toysat) R 6971 6974 6047 0 -1 4202496 271772 0 0 0 6779 39 0 0 20 0 4 0 36443082 1354305536 272096 33554432000 4194304 16246674 140734462446352 140734462428224 5545752 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6974/statm: 330641 272096 885 2943 0 327535 0
[pid=6974/tid=6975] ppid=6971 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6975/stat : 6975 (toysat) S 6971 6974 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36443082 1354305536 272096 33554432000 4194304 16246674 140734462446352 140361337908464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6974/tid=6976] ppid=6971 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6976/stat : 6976 (toysat) S 6971 6974 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36443082 1354305536 272096 33554432000 4194304 16246674 140734462446352 140361327418608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6974/tid=6977] ppid=6971 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6974/task/6977/stat : 6977 (toysat) S 6971 6974 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36443082 1354305536 272096 33554432000 4194304 16246674 140734462446352 140361208949936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 68.18
Current children cumulated vsize (KiB) 1322564

[startup+68.3074 s]
/proc/loadavg: 2.23 2.25 2.04 3/183 6980
/proc/meminfo: memFree=28025888/32872528 swapFree=1542984/1696284
[pid=6974] ppid=6971 vsize=0 CPUtime=68.29 cores=1,3,5,7
/proc/6974/stat : 6974 (toysat) R 6971 6974 6047 0 -1 4202500 271776 0 0 0 6784 45 0 0 20 0 1 0 36443082 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6974/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 68.29
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 68.3118
CPU time (s): 68.2976
CPU user time (s): 67.8427
CPU system time (s): 0.45493
CPU usage (%): 99.9792
Max. virtual memory (cumulated for all children) (KiB): 1322564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 67.8427
system time used= 0.45493
maximum resident set size= 1088392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271776
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= 92

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.211967 second user time and 0.255961 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-19 15:46:05
IDJOB=4109750
IDBENCH=78912
IDSOLVER=2553
FILE ID=node125/4109750-1466343964
RUNJOBID= node125-1466341817-6064
PBS_JOBID= 19922028
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900670167--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-4109750-1466343964/watcher-4109750-1466343964 -o /tmp/evaluation-result-4109750-1466343964/solver-4109750-1466343964 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466341817-6064 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109750-1466343964.wbo

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

MD5SUM BENCH= 3458f76d1c0eafd16754e96da618f7a2
RANDOM SEED=1577305834

node125.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.683
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	: 5333.36
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.683
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.683
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.683
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.54
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.683
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.683
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.683
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		: 2666.683
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:        29114616 kB
Buffers:          180288 kB
Cached:           350832 kB
SwapCached:          764 kB
Active:           945976 kB
Inactive:         370348 kB
Active(anon):     786272 kB
Inactive(anon):     1188 kB
Active(file):     159704 kB
Inactive(file):   369160 kB
Unevictable:     1696284 kB
Mlocked:         1542984 kB
SwapTotal:      67108856 kB
SwapFree:       67098312 kB
Dirty:             16312 kB
Writeback:             0 kB
AnonPages:       2480744 kB
Mapped:            10968 kB
Shmem:                 0 kB
Slab:             611396 kB
SReclaimable:      54832 kB
SUnreclaim:       556564 kB
KernelStack:        1512 kB
PageTables:         9420 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2918088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    155648 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= 71712 MiB
End job on node125 at 2016-06-19 15:47:13