Trace number 4109710

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 31.7822 31.7898

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900584219--soft-66-100-0.wbo
MD5SUM318d96c5cecc5e1278f112ac94857622
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark31.7822
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 constraints904
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 44120
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 44119
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 689
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:45:32+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-4109710-1466343932.wbo"]
0.00/0.01	c use --random-gen="2881291245 1363422325 2134182721 3283161640 1874319734 1472030161 3040953377 1011563849 2189059806 2702604961 1623408336 3628808178 1051727767 1578637968 3095701376 2749817282 1173308157 4152514467 1698561372 3255812832 1121151672 2864650985 3288909689 3799394784 4233595612 525946445 75016230 614012373 1001405358 709525738 684370745 422064758 1150318311 1790603913 3809508363 3140114175 4053037580 2159135125 445628980 98866790 2643355522 1395547551 3986008933 3534525261 2726200679 4077301107 650949657 3953184034 1374346216 3801611463 2066280748 3736303280 3578766768 267484206 2491048659 126209231 1833042868 225689582 630106299 3616104334 1194380912 559045097 1195510287 549158767 2789324551 2310479957 1408595671 287929676 444228531 2755268495 3661471740 1208169837 2784580920 1154099599 3641961852 1529667378 394710906 1013758479 3290015168 3768731566 2804601865 2276705357 231572153 1834992316 2487090672 1789540901 1686525068 3319507944 3342458905 1992791090 670606304 1777682314 3274427050 3708209838 4166562911 9032774 3957037401 2754096139 3319565770 3934821211 2291405494 2481260154 4039394703 1182902505 4009923605 47727013 3396975832 509327491 132801328 2077501823 3209497950 1631803846 3394505437 3574078724 1245218536 3134793579 2743958761 1065645376 3909938366 3703016582 3692580568 309473100 182701937 953788955 926223916 1216819829 793649082 1383746802 4164803973 3349897872 702879146 3265366121 2944918550 2496870233 1452678796 1761165204 393404078 588600598 3563217804 3656184206 1352484246 1482903561 2943357337 1949386947 3724921272 1027341480 1127091312 1425314249 459183458 1622369212 799354212 3581046770 2026393552 2205763217 2900305269 667514211 515362750 1321111497 422585036 3723316843 2835160581 1737201059 2897573257 316249310 771501559 2543941307 2435296756 454926644 2253945534 4125107523 43119823 3836791710 47131760 3883838976 3393209739 3958690026 471985704 2073900453 294648684 811362499 2865413081 835638075 3602359368 1664220258 2967952918 1779737785 327903822 1877955606 3084812276 1069915330 3217182305 3931550400 731309766 1230745163 851864294 3274259952 2413524631 3901616020 1190396832 380081184 1253516686 1997718648 2973895122 197051966 2097085738 1629327256 856685074 3661269945 1130660360 3698651679 4238274875 1823397476 1262156034 1774275941 3525603634 1337006094 1689905969 4104791048 1515561004 3334490741 651244657 4084917075 2928788406 2320315448 3295507498 32332481 1983631517 1289772618 234197126 2011186784 72884196 2743912740 179903667 2367962463 707956672 2226915344 3427284968 2473681947 976120642 4053260142 2464192406 1914831342 2442768176 1128087810 2821344988 2917473639 4159214041 4015862387 506120716 1828934682 627578853 2345831612 1300531535 2454085828 1346691140 3977530400 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 |     1280      0 |        0 |        0
0.19/0.21	c  0.0s |       0 |      999 |       52 |     1280      0 |        0 |        0
0.19/0.21	c #cpu_time = 0.020s
0.19/0.21	c #wall_clock_time = 0.020s
0.19/0.21	c #decision = 999
0.19/0.21	c #random_decision = 2
0.19/0.21	c #conflict = 52
0.19/0.21	c #restart = 0
0.19/0.21	o 292
0.19/0.21	c BCD2: updating upper bound: 44119 -> 291
0.19/0.21	c BCD2: 0 <= obj <= 291
0.19/0.21	c BCD2: #cores=0, #unrelaxed=904, #relaxed=0, #hardened=0
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 |     1280      0 |        0 |        0
0.19/0.23	c  0.0s |       1 |     1122 |      100 |     1408      0 |        0 |        0
0.19/0.26	c  0.0s |       2 |     2355 |      250 |     1549      0 |        0 |        0
0.19/0.29	c  0.1s |       3 |     3725 |      475 |     1704      0 |        0 |        0
0.29/0.37	c  0.2s |       4 |     5283 |      813 |     1875      0 |        0 |        0
0.49/0.50	c  0.3s |       5 |     7146 |     1320 |     2063      0 |        0 |        0
0.68/0.78	c  0.6s |       6 |     9302 |     2081 |     2270      0 |        0 |        0
1.20/1.24	c  1.0s |       7 |    12213 |     3223 |     2497      0 |        0 |        0
1.88/1.93	c  1.7s |       8 |    16143 |     4936 |     2747      1 |        0 |        0
2.98/3.03	c  2.8s |       9 |    21573 |     7506 |     3022      3 |        0 |        0
4.49/4.52	c  4.3s |      10 |    28707 |    11361 |     3325      5 |        0 |        0
6.48/6.52	c  6.3s |      11 |    40446 |    17144 |     3658      7 |        0 |        0
8.48/8.54	c  8.3s |      11 |    51568 |    22644 |     3658     10 |        0 |        0
9.58/9.69	c  9.5s |      12 |    57042 |    25819 |     4024     11 |        0 |        0
11.68/11.72	c 11.5s |      12 |    68200 |    31219 |     4024     13 |        0 |        0
12.38/12.43	c 12.2s |      12 |    71422 |    32863 |     4024     14 |        0 |        0
12.38/12.43	c #cpu_time = 12.191s
12.38/12.43	c #wall_clock_time = 12.223s
12.38/12.43	c #decision = 71422
12.38/12.43	c #random_decision = 81
12.38/12.43	c #conflict = 32863
12.38/12.43	c #restart = 12
12.38/12.44	c BCD2: found a new core of size 818: cost of the new core is >=1
12.38/12.44	c lower bound updated to 1
12.38/12.44	c BCD2: 1 <= obj <= 291
12.38/12.44	c BCD2: #cores=1, #unrelaxed=86, #relaxed=818, #hardened=0
12.38/12.44	c BCD2: #sat=1 #unsat=2 bias=2/3
12.38/12.44	c Solving starts ...
12.38/12.44	c ============================[ Search Statistics ]============================
12.38/12.44	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
12.38/12.44	c       |         |          |          |    Limit     GC | Var      | Constra 
12.38/12.44	c =============================================================================
12.38/12.44	c  0.0s |       0 |        0 |        0 |     4024      0 |        0 |        0
12.48/12.51	c  0.1s |       1 |      675 |      100 |     4024      0 |        0 |        0
12.58/12.60	c  0.2s |       2 |     1011 |      250 |     4024      0 |        0 |        0
12.68/12.75	c  0.3s |       3 |     1486 |      475 |     4024      0 |        0 |        0
12.88/12.99	c  0.5s |       4 |     2187 |      813 |     4024      0 |        0 |        0
13.30/13.34	c  0.9s |       5 |     3159 |     1320 |     4024      1 |        0 |        0
13.69/13.74	c  1.3s |       6 |     4366 |     2081 |     4024      1 |        0 |        0
14.30/14.31	c  1.9s |       6 |     6055 |     3039 |     4024      1 |        0 |        0
14.30/14.31	c #cpu_time = 1.859s
14.30/14.31	c #wall_clock_time = 1.864s
14.30/14.31	c #decision = 6055
14.30/14.31	c #random_decision = 20
14.30/14.31	c #conflict = 3039
14.30/14.31	c #restart = 6
14.30/14.31	o 244
14.30/14.31	c BCD2: updating upper bound: 291 -> 243
14.30/14.31	c BCD2: 1 <= obj <= 243
14.30/14.31	c BCD2: #cores=1, #unrelaxed=86, #relaxed=818, #hardened=0
14.30/14.31	c BCD2: #sat=2 #unsat=2 bias=2/4
14.30/14.31	c Solving starts ...
14.30/14.31	c ============================[ Search Statistics ]============================
14.30/14.31	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
14.30/14.31	c       |         |          |          |    Limit     GC | Var      | Constra 
14.30/14.31	c =============================================================================
14.30/14.31	c  0.0s |       0 |        0 |        0 |     4024      0 |        0 |        1
14.40/14.41	c  0.1s |       1 |      268 |      100 |     4024      1 |        0 |        1
14.40/14.47	c  0.2s |       2 |      649 |      250 |     4024      1 |        0 |        1
14.49/14.51	c  0.2s |       2 |     1181 |      305 |     4024      1 |        0 |        1
14.49/14.51	c #cpu_time = 0.197s
14.49/14.51	c #wall_clock_time = 0.197s
14.49/14.51	c #decision = 1181
14.49/14.51	c #random_decision = 3
14.49/14.51	c #conflict = 305
14.49/14.51	c #restart = 2
14.49/14.51	o 82
14.49/14.51	c BCD2: hardening fixes 156 literals
14.49/14.51	c BCD2: updating upper bound: 243 -> 81
14.49/14.51	c BCD2: 1 <= obj <= 81
14.49/14.51	c BCD2: #cores=1, #unrelaxed=68, #relaxed=680, #hardened=156
14.49/14.51	c BCD2: #sat=3 #unsat=2 bias=2/5
14.49/14.53	c Solving starts ...
14.49/14.53	c ============================[ Search Statistics ]============================
14.49/14.53	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
14.49/14.53	c       |         |          |          |    Limit     GC | Var      | Constra 
14.49/14.53	c =============================================================================
14.49/14.53	c  0.0s |       0 |        0 |        0 |     4024      0 |      156 |        2
14.49/14.57	c  0.0s |       1 |      229 |      100 |     4024      0 |      156 |        2
14.59/14.63	c  0.1s |       2 |      549 |      250 |     4024      0 |      156 |        2
14.69/14.71	c  0.2s |       3 |      964 |      475 |     4024      0 |      156 |        2
14.79/14.82	c  0.3s |       4 |     1559 |      813 |     4024      0 |      156 |        2
14.99/15.00	c  0.5s |       5 |     2364 |     1320 |     4024      0 |      156 |        2
15.09/15.14	c  0.6s |       5 |     2898 |     1638 |     4024      0 |      156 |        2
15.09/15.14	c #cpu_time = 0.606s
15.09/15.14	c #wall_clock_time = 0.607s
15.09/15.14	c #decision = 2898
15.09/15.14	c #random_decision = 4
15.09/15.14	c #conflict = 1638
15.09/15.14	c #restart = 5
15.09/15.14	o 34
15.09/15.14	c BCD2: hardening fixes 445 literals
15.09/15.14	c BCD2: updating upper bound: 81 -> 33
15.09/15.14	c BCD2: 1 <= obj <= 33
15.09/15.14	c BCD2: #cores=1, #unrelaxed=30, #relaxed=273, #hardened=601
15.09/15.14	c BCD2: #sat=4 #unsat=2 bias=2/6
15.09/15.14	c Solving starts ...
15.09/15.14	c ============================[ Search Statistics ]============================
15.09/15.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
15.09/15.14	c       |         |          |          |    Limit     GC | Var      | Constra 
15.09/15.14	c =============================================================================
15.09/15.14	c  0.0s |       0 |        0 |        0 |     4024      0 |      601 |        3
15.09/15.19	c  0.0s |       1 |      174 |      100 |     4024      0 |      601 |        3
15.19/15.25	c  0.1s |       2 |      475 |      250 |     4024      0 |      601 |        3
15.29/15.35	c  0.2s |       3 |      901 |      475 |     4024      0 |      601 |        3
15.40/15.48	c  0.3s |       4 |     1492 |      813 |     4427      0 |      601 |        3
15.69/15.70	c  0.6s |       5 |     2223 |     1320 |     4427      0 |      601 |        3
15.99/16.00	c  0.9s |       6 |     3377 |     2081 |     4427      0 |      601 |        3
16.39/16.46	c  1.3s |       7 |     5192 |     3223 |     4427      1 |      601 |        3
17.09/17.15	c  2.0s |       8 |     7675 |     4936 |     4427      1 |      601 |        3
18.09/18.16	c  3.0s |       9 |    11613 |     7506 |     4427      2 |      601 |        3
19.69/19.73	c  4.6s |      10 |    17479 |    11361 |     4427      4 |      601 |        3
21.69/21.78	c  6.6s |      10 |    24656 |    16161 |     4427      6 |      601 |        3
22.10/22.17	c  7.0s |      11 |    26123 |    17144 |     4427      6 |      601 |        3
24.09/24.20	c  9.1s |      11 |    32753 |    21744 |     4870      8 |      601 |        3
25.89/25.90	c 10.8s |      12 |    38768 |    25819 |     4870      9 |      601 |        3
26.09/26.15	c 11.0s |      12 |    39659 |    26381 |     4870      9 |      601 |        3
26.09/26.15	c #cpu_time = 10.984s
26.09/26.15	c #wall_clock_time = 11.013s
26.09/26.15	c #decision = 39659
26.09/26.15	c #random_decision = 47
26.09/26.15	c #conflict = 26381
26.09/26.15	c #restart = 12
26.09/26.15	o 11
26.09/26.15	c BCD2: hardening fixes 210 literals
26.09/26.15	c BCD2: updating upper bound: 33 -> 10
26.09/26.16	c BCD2: 1 <= obj <= 10
26.09/26.16	c BCD2: #cores=1, #unrelaxed=7, #relaxed=86, #hardened=811
26.09/26.16	c BCD2: #sat=5 #unsat=2 bias=2/7
26.09/26.16	c Solving starts ...
26.09/26.16	c ============================[ Search Statistics ]============================
26.09/26.16	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
26.09/26.16	c       |         |          |          |    Limit     GC | Var      | Constra 
26.09/26.16	c =============================================================================
26.09/26.16	c  0.0s |       0 |        0 |        0 |     4870      0 |      811 |        4
26.19/26.22	c  0.1s |       1 |      202 |      100 |     4870      0 |      811 |        4
26.19/26.29	c  0.1s |       2 |      454 |      250 |     4870      0 |      811 |        4
26.29/26.37	c  0.2s |       3 |      941 |      475 |     4870      0 |      811 |        4
26.49/26.51	c  0.4s |       4 |     1505 |      813 |     4870      0 |      811 |        4
26.59/26.69	c  0.5s |       5 |     2382 |     1320 |     4870      1 |      811 |        4
26.89/26.90	c  0.7s |       6 |     3727 |     2081 |     4870      1 |      811 |        4
27.19/27.25	c  1.1s |       7 |     5639 |     3223 |     4870      1 |      811 |        4
27.69/27.73	c  1.6s |       8 |     8841 |     4936 |     4870      2 |      811 |        4
28.19/28.26	c  2.1s |       9 |    13680 |     7506 |     4870      3 |      811 |        4
29.19/29.22	c  3.1s |      10 |    20354 |    11361 |     4870      4 |      811 |        4
30.59/30.62	c  4.5s |      11 |    30830 |    17144 |     4870      6 |      811 |        4
31.49/31.51	c  5.4s |      11 |    36405 |    20554 |     4870      7 |      811 |        4
31.49/31.51	c #cpu_time = 5.339s
31.49/31.51	c #wall_clock_time = 5.352s
31.49/31.51	c #decision = 36405
31.49/31.51	c #random_decision = 74
31.49/31.51	c #conflict = 20554
31.49/31.51	c #restart = 11
31.49/31.51	o 3
31.49/31.51	c BCD2: hardening fixes 78 literals
31.49/31.51	c BCD2: updating upper bound: 10 -> 2
31.49/31.51	c BCD2: 1 <= obj <= 2
31.49/31.51	c BCD2: #cores=1, #unrelaxed=0, #relaxed=15, #hardened=889
31.49/31.51	c BCD2: #sat=6 #unsat=2 bias=2/8
31.49/31.51	c Solving starts ...
31.49/31.51	c ============================[ Search Statistics ]============================
31.49/31.51	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
31.49/31.51	c       |         |          |          |    Limit     GC | Var      | Constra 
31.49/31.51	c =============================================================================
31.49/31.51	c  0.0s |       0 |        0 |        0 |     4870      0 |      889 |       10
31.49/31.55	c  0.0s |       1 |      186 |      100 |     4870      0 |      889 |       10
31.49/31.59	c  0.1s |       2 |      424 |      250 |     4870      0 |      889 |       10
31.59/31.65	c  0.1s |       3 |      928 |      475 |     4870      0 |      889 |       10
31.59/31.69	c  0.2s |       3 |     1079 |      540 |     4870      0 |      890 |       12
31.59/31.69	c #cpu_time = 0.180s
31.59/31.69	c #wall_clock_time = 0.180s
31.59/31.69	c #decision = 1079
31.59/31.69	c #random_decision = 4
31.59/31.69	c #conflict = 540
31.59/31.69	c #restart = 3
31.59/31.69	c BCD2: updating lower bound of a core
31.59/31.69	c lower bound updated to 2
31.59/31.69	c BCD2: 2 <= obj <= 2
31.59/31.69	c BCD2: #cores=1, #unrelaxed=0, #relaxed=15, #hardened=889
31.59/31.69	c BCD2: #sat=6 #unsat=3 bias=3/9
31.59/31.69	c Solving starts ...
31.59/31.69	c ============================[ Search Statistics ]============================
31.59/31.69	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
31.59/31.69	c       |         |          |          |    Limit     GC | Var      | Constra 
31.59/31.69	c =============================================================================
31.59/31.69	c  0.0s |       0 |        0 |        0 |     4870      0 |      890 |       12
31.69/31.72	c  0.0s |       0 |       56 |       14 |     4870      0 |      891 |       14
31.69/31.72	c #cpu_time = 0.030s
31.69/31.72	c #wall_clock_time = 0.030s
31.69/31.72	c #decision = 56
31.69/31.72	c #random_decision = 0
31.69/31.72	c #conflict = 14
31.69/31.72	c #restart = 0
31.69/31.72	c BCD2: updating lower bound of a core
31.69/31.72	c lower bound updated to 3
31.69/31.72	s OPTIMUM FOUND
31.69/31.72	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 x9 -x10
31.69/31.72	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
31.69/31.72	v -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30
31.69/31.72	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
31.69/31.72	v -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50
31.69/31.72	v -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
31.69/31.72	v -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
31.69/31.72	v -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
31.69/31.72	v -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90
31.69/31.72	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 x100
31.69/31.72	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
31.69/31.72	v -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
31.69/31.72	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130
31.69/31.72	v -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140
31.69/31.72	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
31.69/31.72	v -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160
31.69/31.72	v -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170
31.69/31.72	v -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180
31.69/31.72	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190
31.69/31.72	v -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200
31.69/31.72	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
31.69/31.72	v x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220
31.69/31.72	v -x221 -x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
31.69/31.72	v -x231
31.69/31.72	c total CPU time = 31.645s
31.69/31.72	c total wall clock time = 31.727s

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-4109710-1466343932/watcher-4109710-1466343932 -o /tmp/evaluation-result-4109710-1466343932/solver-4109710-1466343932 -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-4109710-1466343932.wbo 

pid=6922
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.23 2.25 2.02 3/179 6925
/proc/meminfo: memFree=29116392/32872528 swapFree=1542984/1696284
[pid=6925] ppid=6922 vsize=725436 CPUtime=0 cores=1,3,5,7
/proc/6925/stat : 6925 (toysat) R 6922 6925 6047 0 -1 4202496 2708 0 0 0 0 0 0 0 20 0 4 0 36439869 742846464 2558 33554432000 4194304 16246674 140737260094672 140737260094096 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6925/statm: 181871 2566 441 2943 0 178765 0
[pid=6925/tid=6926] ppid=6922 vsize=742844 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6926/stat : 6926 (toysat) S 6922 6925 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439869 760672256 2628 33554432000 4194304 16246674 140737260094672 139648631287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6925/tid=6927] ppid=6922 vsize=748988 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6927/stat : 6927 (toysat) S 6922 6925 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439869 766963712 2650 33554432000 4194304 16246674 140737260094672 139648620797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6925/tid=6928] ppid=6922 vsize=753084 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6928/stat : 6928 (toysat) S 6922 6925 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36439869 771158016 2667 33554432000 4194304 16246674 140737260094672 139648610323632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 2.23 2.25 2.02 3/179 6925
/proc/meminfo: memFree=29116392/32872528 swapFree=1542984/1696284
[pid=6925] ppid=6922 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/6925/stat : 6925 (toysat) R 6922 6925 6047 0 -1 4202496 24578 0 0 0 5 3 0 0 20 0 4 0 36439869 1247350784 24421 33554432000 4194304 16246674 140737260094672 140737260094096 12478070 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6925/statm: 304529 24424 616 2943 0 301423 0
[pid=6925/tid=6926] ppid=6922 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6926/stat : 6926 (toysat) S 6922 6925 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439869 1247350784 24431 33554432000 4194304 16246674 140737260094672 139648631287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6925/tid=6927] ppid=6922 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6927/stat : 6927 (toysat) S 6922 6925 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439869 1247350784 24436 33554432000 4194304 16246674 140737260094672 139648620797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6925/tid=6928] ppid=6922 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6928/stat : 6928 (toysat) S 6922 6925 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36439869 1247350784 24437 33554432000 4194304 16246674 140737260094672 139648610323632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200588 s]
/proc/loadavg: 2.23 2.25 2.02 3/179 6925
/proc/meminfo: memFree=29116392/32872528 swapFree=1542984/1696284
[pid=6925] ppid=6922 vsize=1221188 CPUtime=0.19 cores=1,3,5,7
/proc/6925/stat : 6925 (toysat) R 6922 6925 6047 0 -1 4202496 40436 0 0 0 13 6 0 0 20 0 4 0 36439869 1250496512 40250 33554432000 4194304 16246674 140737260094672 140737260094096 4224759 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6925/statm: 305297 40254 801 2943 0 302191 0
[pid=6925/tid=6926] ppid=6922 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6926/stat : 6926 (toysat) S 6922 6925 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439869 1250496512 40257 33554432000 4194304 16246674 140737260094672 139648631287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6925/tid=6927] ppid=6922 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6927/stat : 6927 (toysat) S 6922 6925 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439869 1250496512 40259 33554432000 4194304 16246674 140737260094672 139648620797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6925/tid=6928] ppid=6922 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6928/stat : 6928 (toysat) S 6922 6925 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36439869 1250496512 40261 33554432000 4194304 16246674 140737260094672 139648610323632 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) 1221188

[startup+0.300493 s]
/proc/loadavg: 2.23 2.25 2.02 3/179 6925
/proc/meminfo: memFree=29116392/32872528 swapFree=1542984/1696284
[pid=6925] ppid=6922 vsize=1222212 CPUtime=0.29 cores=1,3,5,7
/proc/6925/stat : 6925 (toysat) R 6922 6925 6047 0 -1 4202496 40729 0 0 0 23 6 0 0 20 0 4 0 36439869 1251545088 40542 33554432000 4194304 16246674 140737260094672 140737260093984 5990962 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6925/statm: 305553 40542 869 2943 0 302447 0
[pid=6925/tid=6926] ppid=6922 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6926/stat : 6926 (toysat) S 6922 6925 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439869 1251545088 40542 33554432000 4194304 16246674 140737260094672 139648631287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6925/tid=6927] ppid=6922 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6927/stat : 6927 (toysat) S 6922 6925 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439869 1251545088 40542 33554432000 4194304 16246674 140737260094672 139648620797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6925/tid=6928] ppid=6922 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6928/stat : 6928 (toysat) S 6922 6925 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36439869 1251545088 40542 33554432000 4194304 16246674 140737260094672 139648610323632 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) 1222212

[startup+0.700375 s]
/proc/loadavg: 2.23 2.25 2.02 3/179 6925
/proc/meminfo: memFree=29116392/32872528 swapFree=1542984/1696284
[pid=6925] ppid=6922 vsize=1222212 CPUtime=0.68 cores=1,3,5,7
/proc/6925/stat : 6925 (toysat) R 6922 6925 6047 0 -1 4202496 121643 0 0 0 51 17 0 0 20 0 4 0 36439869 1251545088 121456 33554432000 4194304 16246674 140737260094672 140737260093984 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6925/statm: 305553 121462 869 2943 0 302447 0
[pid=6925/tid=6926] ppid=6922 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6926/stat : 6926 (toysat) S 6922 6925 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439869 1251545088 121468 33554432000 4194304 16246674 140737260094672 139648631287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6925/tid=6927] ppid=6922 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6927/stat : 6927 (toysat) S 6922 6925 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439869 1251545088 121474 33554432000 4194304 16246674 140737260094672 139648620797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6925/tid=6928] ppid=6922 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6928/stat : 6928 (toysat) S 6922 6925 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36439869 1251545088 121480 33554432000 4194304 16246674 140737260094672 139648610323632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1222212

[startup+1.50041 s]
/proc/loadavg: 2.23 2.25 2.02 3/183 6929
/proc/meminfo: memFree=28227556/32872528 swapFree=1542984/1696284
[pid=6925] ppid=6922 vsize=1306180 CPUtime=1.48 cores=1,3,5,7
/proc/6925/stat : 6925 (toysat) R 6922 6925 6047 0 -1 4202496 267660 0 0 0 112 36 0 0 20 0 4 0 36439869 1337528320 267473 33554432000 4194304 16246674 140737260094672 140737260077672 6011952 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6925/statm: 326545 267473 875 2943 0 323439 0
[pid=6925/tid=6926] ppid=6922 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6926/stat : 6926 (toysat) S 6922 6925 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439869 1337528320 267473 33554432000 4194304 16246674 140737260094672 139648631287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6925/tid=6927] ppid=6922 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6927/stat : 6927 (toysat) S 6922 6925 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439869 1337528320 267473 33554432000 4194304 16246674 140737260094672 139648620797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6925/tid=6928] ppid=6922 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6928/stat : 6928 (toysat) S 6922 6925 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36439869 1337528320 267473 33554432000 4194304 16246674 140737260094672 139648610323632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1306180

[startup+3.10044 s]
/proc/loadavg: 2.23 2.25 2.02 3/183 6929
/proc/meminfo: memFree=28045636/32872528 swapFree=1542984/1696284
[pid=6925] ppid=6922 vsize=1308228 CPUtime=3.08 cores=1,3,5,7
/proc/6925/stat : 6925 (toysat) R 6922 6925 6047 0 -1 4202496 268182 0 0 0 272 36 0 0 20 0 4 0 36439869 1339625472 267995 33554432000 4194304 16246674 140737260094672 140737260077672 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6925/statm: 327057 267995 875 2943 0 323951 0
[pid=6925/tid=6926] ppid=6922 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6926/stat : 6926 (toysat) S 6922 6925 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439869 1339625472 267995 33554432000 4194304 16246674 140737260094672 139648631287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6925/tid=6927] ppid=6922 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6927/stat : 6927 (toysat) S 6922 6925 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439869 1339625472 267995 33554432000 4194304 16246674 140737260094672 139648620797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6925/tid=6928] ppid=6922 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6928/stat : 6928 (toysat) S 6922 6925 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36439869 1339625472 267995 33554432000 4194304 16246674 140737260094672 139648610323632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1308228

[startup+6.30039 s]
/proc/loadavg: 2.21 2.25 2.02 3/183 6929
/proc/meminfo: memFree=28042352/32872528 swapFree=1542984/1696284
[pid=6925] ppid=6922 vsize=1310276 CPUtime=6.28 cores=1,3,5,7
/proc/6925/stat : 6925 (toysat) R 6922 6925 6047 0 -1 4202496 268485 0 0 0 592 36 0 0 20 0 4 0 36439869 1341722624 268298 33554432000 4194304 16246674 140737260094672 140737260093848 13193848 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6925/statm: 327569 268298 875 2943 0 324463 0
[pid=6925/tid=6926] ppid=6922 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6926/stat : 6926 (toysat) S 6922 6925 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439869 1341722624 268298 33554432000 4194304 16246674 140737260094672 139648631287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6925/tid=6927] ppid=6922 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6927/stat : 6927 (toysat) S 6922 6925 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439869 1341722624 268298 33554432000 4194304 16246674 140737260094672 139648620797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6925/tid=6928] ppid=6922 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6928/stat : 6928 (toysat) S 6922 6925 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36439869 1341722624 268298 33554432000 4194304 16246674 140737260094672 139648610323632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1310276

[startup+12.7004 s]
/proc/loadavg: 2.19 2.24 2.02 4/183 6929
/proc/meminfo: memFree=28039516/32872528 swapFree=1542984/1696284
[pid=6925] ppid=6922 vsize=1311300 CPUtime=12.68 cores=1,3,5,7
/proc/6925/stat : 6925 (toysat) R 6922 6925 6047 0 -1 4202496 268939 0 0 0 1232 36 0 0 20 0 4 0 36439869 1342771200 268752 33554432000 4194304 16246674 140737260094672 140737260076544 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6925/statm: 327825 268752 884 2943 0 324719 0
[pid=6925/tid=6926] ppid=6922 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6926/stat : 6926 (toysat) S 6922 6925 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439869 1342771200 268752 33554432000 4194304 16246674 140737260094672 139648631287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6925/tid=6927] ppid=6922 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6927/stat : 6927 (toysat) S 6922 6925 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439869 1342771200 268752 33554432000 4194304 16246674 140737260094672 139648620797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6925/tid=6928] ppid=6922 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6928/stat : 6928 (toysat) S 6922 6925 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36439869 1342771200 268752 33554432000 4194304 16246674 140737260094672 139648610323632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1311300

[startup+25.5005 s]
/proc/loadavg: 2.15 2.23 2.02 3/183 6929
/proc/meminfo: memFree=28033092/32872528 swapFree=1542984/1696284
[pid=6925] ppid=6922 vsize=1318468 CPUtime=25.49 cores=1,3,5,7
/proc/6925/stat : 6925 (toysat) R 6922 6925 6047 0 -1 4202496 270621 0 0 0 2512 37 0 0 20 0 4 0 36439869 1350111232 270434 33554432000 4194304 16246674 140737260094672 140737260076544 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6925/statm: 329617 270434 885 2943 0 326511 0
[pid=6925/tid=6926] ppid=6922 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6926/stat : 6926 (toysat) S 6922 6925 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439869 1350111232 270434 33554432000 4194304 16246674 140737260094672 139648631287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6925/tid=6927] ppid=6922 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6927/stat : 6927 (toysat) S 6922 6925 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439869 1350111232 270434 33554432000 4194304 16246674 140737260094672 139648620797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6925/tid=6928] ppid=6922 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6928/stat : 6928 (toysat) S 6922 6925 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36439869 1350111232 270434 33554432000 4194304 16246674 140737260094672 139648610323632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1318468

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

[startup+25.6005 s]
/proc/loadavg: 2.15 2.23 2.02 3/183 6929
/proc/meminfo: memFree=28033092/32872528 swapFree=1542984/1696284
[pid=6925] ppid=6922 vsize=1318468 CPUtime=25.59 cores=1,3,5,7
/proc/6925/stat : 6925 (toysat) R 6922 6925 6047 0 -1 4202496 270621 0 0 0 2522 37 0 0 20 0 4 0 36439869 1350111232 270434 33554432000 4194304 16246674 140737260094672 140737260076544 5676075 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6925/statm: 329617 270434 885 2943 0 326511 0
[pid=6925/tid=6926] ppid=6922 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6926/stat : 6926 (toysat) S 6922 6925 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439869 1350111232 270434 33554432000 4194304 16246674 140737260094672 139648631287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6925/tid=6927] ppid=6922 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6927/stat : 6927 (toysat) S 6922 6925 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439869 1350111232 270434 33554432000 4194304 16246674 140737260094672 139648620797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6925/tid=6928] ppid=6922 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6928/stat : 6928 (toysat) S 6922 6925 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36439869 1350111232 270434 33554432000 4194304 16246674 140737260094672 139648610323632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 1318468

[startup+28.8004 s]
/proc/loadavg: 2.15 2.23 2.02 3/183 6929
/proc/meminfo: memFree=28032720/32872528 swapFree=1542984/1696284
[pid=6925] ppid=6922 vsize=1318468 CPUtime=28.79 cores=1,3,5,7
/proc/6925/stat : 6925 (toysat) R 6922 6925 6047 0 -1 4202496 270713 0 0 0 2842 37 0 0 20 0 4 0 36439869 1350111232 270526 33554432000 4194304 16246674 140737260094672 140737260076544 13191661 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6925/statm: 329617 270526 885 2943 0 326511 0
[pid=6925/tid=6926] ppid=6922 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6926/stat : 6926 (toysat) S 6922 6925 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439869 1350111232 270526 33554432000 4194304 16246674 140737260094672 139648631287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6925/tid=6927] ppid=6922 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6927/stat : 6927 (toysat) S 6922 6925 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439869 1350111232 270526 33554432000 4194304 16246674 140737260094672 139648620797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6925/tid=6928] ppid=6922 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6928/stat : 6928 (toysat) S 6922 6925 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36439869 1350111232 270526 33554432000 4194304 16246674 140737260094672 139648610323632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 28.79
Current children cumulated vsize (KiB) 1318468

[startup+30.4004 s]
/proc/loadavg: 2.14 2.22 2.02 3/183 6929
/proc/meminfo: memFree=28032720/32872528 swapFree=1542984/1696284
[pid=6925] ppid=6922 vsize=1318468 CPUtime=30.39 cores=1,3,5,7
/proc/6925/stat : 6925 (toysat) R 6922 6925 6047 0 -1 4202496 270713 0 0 0 3002 37 0 0 20 0 4 0 36439869 1350111232 270526 33554432000 4194304 16246674 140737260094672 140737260076544 5711518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6925/statm: 329617 270526 885 2943 0 326511 0
[pid=6925/tid=6926] ppid=6922 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6926/stat : 6926 (toysat) S 6922 6925 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439869 1350111232 270526 33554432000 4194304 16246674 140737260094672 139648631287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6925/tid=6927] ppid=6922 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6927/stat : 6927 (toysat) S 6922 6925 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439869 1350111232 270526 33554432000 4194304 16246674 140737260094672 139648620797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6925/tid=6928] ppid=6922 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6928/stat : 6928 (toysat) S 6922 6925 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36439869 1350111232 270526 33554432000 4194304 16246674 140737260094672 139648610323632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 30.39
Current children cumulated vsize (KiB) 1318468

[startup+31.2004 s]
/proc/loadavg: 2.14 2.22 2.02 3/183 6929
/proc/meminfo: memFree=28032720/32872528 swapFree=1542984/1696284
[pid=6925] ppid=6922 vsize=1318468 CPUtime=31.19 cores=1,3,5,7
/proc/6925/stat : 6925 (toysat) R 6922 6925 6047 0 -1 4202496 270713 0 0 0 3082 37 0 0 20 0 4 0 36439869 1350111232 270526 33554432000 4194304 16246674 140737260094672 140737260077672 5677712 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6925/statm: 329617 270526 885 2943 0 326511 0
[pid=6925/tid=6926] ppid=6922 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6926/stat : 6926 (toysat) S 6922 6925 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439869 1350111232 270526 33554432000 4194304 16246674 140737260094672 139648631287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6925/tid=6927] ppid=6922 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6927/stat : 6927 (toysat) S 6922 6925 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439869 1350111232 270526 33554432000 4194304 16246674 140737260094672 139648620797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6925/tid=6928] ppid=6922 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6928/stat : 6928 (toysat) S 6922 6925 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36439869 1350111232 270526 33554432000 4194304 16246674 140737260094672 139648610323632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 31.19
Current children cumulated vsize (KiB) 1318468

[startup+31.6004 s]
/proc/loadavg: 2.14 2.22 2.02 3/183 6929
/proc/meminfo: memFree=28032720/32872528 swapFree=1542984/1696284
[pid=6925] ppid=6922 vsize=1318468 CPUtime=31.59 cores=1,3,5,7
/proc/6925/stat : 6925 (toysat) R 6922 6925 6047 0 -1 4202496 270713 0 0 0 3122 37 0 0 20 0 4 0 36439869 1350111232 270526 33554432000 4194304 16246674 140737260094672 140737260077672 5991508 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6925/statm: 329617 270526 885 2943 0 326511 0
[pid=6925/tid=6926] ppid=6922 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6926/stat : 6926 (toysat) S 6922 6925 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439869 1350111232 270526 33554432000 4194304 16246674 140737260094672 139648631287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6925/tid=6927] ppid=6922 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6927/stat : 6927 (toysat) S 6922 6925 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439869 1350111232 270526 33554432000 4194304 16246674 140737260094672 139648620797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6925/tid=6928] ppid=6922 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6928/stat : 6928 (toysat) S 6922 6925 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36439869 1350111232 270526 33554432000 4194304 16246674 140737260094672 139648610323632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 31.59
Current children cumulated vsize (KiB) 1318468

[startup+31.7004 s]
/proc/loadavg: 2.14 2.22 2.02 3/183 6929
/proc/meminfo: memFree=28032720/32872528 swapFree=1542984/1696284
[pid=6925] ppid=6922 vsize=1318468 CPUtime=31.69 cores=1,3,5,7
/proc/6925/stat : 6925 (toysat) R 6922 6925 6047 0 -1 4202496 270713 0 0 0 3132 37 0 0 20 0 4 0 36439869 1350111232 270526 33554432000 4194304 16246674 140737260094672 140737260077672 5991539 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6925/statm: 329617 270526 885 2943 0 326511 0
[pid=6925/tid=6926] ppid=6922 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6926/stat : 6926 (toysat) S 6922 6925 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439869 1350111232 270526 33554432000 4194304 16246674 140737260094672 139648631287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6925/tid=6927] ppid=6922 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6927/stat : 6927 (toysat) S 6922 6925 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439869 1350111232 270526 33554432000 4194304 16246674 140737260094672 139648620797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6925/tid=6928] ppid=6922 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/6925/task/6928/stat : 6928 (toysat) S 6922 6925 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36439869 1350111232 270526 33554432000 4194304 16246674 140737260094672 139648610323632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 31.69
Current children cumulated vsize (KiB) 1318468

Child status: 0
Real time (s): 31.7898
CPU time (s): 31.7822
CPU user time (s): 31.3512
CPU system time (s): 0.430934
CPU usage (%): 99.976
Max. virtual memory (cumulated for all children) (KiB): 1318468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.3512
system time used= 0.430934
maximum resident set size= 1082116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270717
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18
involuntary context switches= 32

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.201969 second user time and 0.298954 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-19 15:45:32
IDJOB=4109710
IDBENCH=78901
IDSOLVER=2553
FILE ID=node125/4109710-1466343932
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.1900584219--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-4109710-1466343932/watcher-4109710-1466343932 -o /tmp/evaluation-result-4109710-1466343932/solver-4109710-1466343932 -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-4109710-1466343932.wbo

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

MD5SUM BENCH= 318d96c5cecc5e1278f112ac94857622
RANDOM SEED=1058813704

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:        29116912 kB
Buffers:          180192 kB
Cached:           350996 kB
SwapCached:          764 kB
Active:           942984 kB
Inactive:         370264 kB
Active(anon):     783208 kB
Inactive(anon):     1188 kB
Active(file):     159776 kB
Inactive(file):   369076 kB
Unevictable:     1696284 kB
Mlocked:         1542984 kB
SwapTotal:      67108856 kB
SwapFree:       67098312 kB
Dirty:             32908 kB
Writeback:             0 kB
AnonPages:       2477580 kB
Mapped:            11004 kB
Shmem:                 0 kB
Slab:             611892 kB
SReclaimable:      54976 kB
SUnreclaim:       556916 kB
KernelStack:        1520 kB
PageTables:         9468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2915016 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:46:04