Trace number 4110362

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 48.2667 48.2822

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900553812--soft-0-100-0.wbo
MD5SUM10c8366d87b8e61a0f23df601b3f0e14
Bench CategorySOFT-SMALLINT-LIN (only soft 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 benchmark18.9221
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 constraints2707
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 136614
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 136613
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 723
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-19T16:02:06+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-4110362-1466344925.wbo"]
0.00/0.01	c use --random-gen="52894911 1933188167 1459337748 3839134384 1928586024 3123514499 2535242967 1242295888 693388391 895411157 3690626219 986633339 4105630535 4012552335 1274331394 691904292 2194828425 1806711981 1263794297 1462128254 1707540319 412477868 611317590 661452841 1239146643 2647907610 180860222 1500518471 670106443 1010117797 3529184648 2130905308 959778137 3424657477 3494507364 207931491 3997668 2672226163 2183111837 341358969 4124092515 317664765 2433812874 741960300 380585511 2581351299 3384940594 80398205 3102907258 1297689252 463993689 27386960 2626033007 3352278242 4192691250 1090906069 3841558659 4217637244 2422640737 710169298 1963673274 3817961568 1165143333 944631438 2756155799 66374275 1872400986 2460214172 915052933 2974212084 1915597095 164669208 1015069615 993725154 3244111543 896430932 1616459622 2132943043 1656197661 456474777 980310767 1598806231 891925184 2168195949 1220252084 1063946438 3994574641 2156129777 2945701633 600724528 651278736 1123214483 1768429388 889708867 1720716063 1385024666 4285010029 315162475 4076963023 4246872257 362271030 2308251923 4252681260 4061036253 1706777304 2127230029 1427095894 664634493 1398294836 239518880 2740730681 2610612026 137482434 1674564854 4185445511 3043668316 556329782 3296131399 2611562182 2871034575 114037050 529587952 2474463772 1293428224 76138770 632871807 4176751180 2325214670 3025419343 3098182657 1638357198 2051102428 757387675 1214201177 3573384272 105569381 3962482421 2252065045 2189748791 3076112647 4173652229 256586642 3909227086 898068749 990449107 3715479433 3410701034 88702976 2256464432 3394229290 2882527997 1582432294 203140253 1425348602 926127757 3810056920 2460589661 2001009817 3412206635 1470526699 2227130626 2223884737 1816237156 1815043072 1599949849 366452150 2268636466 35144547 1476981385 2243207175 2273722357 2798510443 1462211574 1251319462 444985624 2991602293 3784310175 3448620772 1678743857 1960321481 3164961970 3421161624 497119629 2231299498 3212745357 2610098608 2704579898 1809919176 360592917 667057054 4249093070 438997849 4162002770 1821573002 1583491420 3445949277 3622226980 504619537 3837139711 880533341 2722895197 3742548075 942353757 3052952013 4040903832 969062904 298722732 919434670 3986881428 3507468684 2551054842 1091052231 1112404615 3108025922 2009840240 227973779 1967509009 150060108 1832707157 2326094407 3114136190 647568520 1149542900 2573591075 483523390 3563924383 4107024963 1565907703 2660628363 733626144 2850486883 4115505828 1958867301 969940926 2758435004 4032454782 556987240 1513349926 1425257254 2322913824 312976472 3630275647 133077485 2243422175 3536431055 1340069435 1805002003 2696773491 787249801 1574960533 524885481 3087410498 4228944936 1015154724 964328198 4196736828 255 362436" option to reproduce the execution
0.09/0.17	c #vars 231
0.09/0.17	c #constraints 2707
0.19/0.21	c BCD2: Hardening is enabled.
0.19/0.21	c BCD2: BiasedSearch is enabled.
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 |     1881      0 |        0 |        0
0.19/0.23	c  0.0s |       0 |     2718 |        0 |     1881      0 |        0 |        0
0.19/0.23	c #cpu_time = 0.017s
0.19/0.23	c #wall_clock_time = 0.017s
0.19/0.23	c #decision = 2718
0.19/0.23	c #random_decision = 20
0.19/0.23	c #conflict = 0
0.19/0.23	c #restart = 0
0.19/0.23	o 525
0.19/0.24	c BCD2: updating upper bound: 136613 -> 524
0.19/0.25	c BCD2: 0 <= obj <= 524
0.19/0.25	c BCD2: #cores=0, #unrelaxed=2707, #relaxed=0, #hardened=0
0.19/0.25	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.25	c Solving starts ...
0.19/0.25	c ============================[ Search Statistics ]============================
0.19/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.25	c =============================================================================
0.19/0.25	c  0.0s |       0 |        0 |        0 |     1881      0 |        0 |        0
0.19/0.28	c  0.0s |       1 |     2934 |      100 |     1881      0 |        0 |        0
0.29/0.33	c  0.1s |       2 |     5927 |      250 |     2070      0 |        0 |        0
0.29/0.38	c  0.1s |       3 |     9076 |      475 |     2277      0 |        0 |        0
0.39/0.48	c  0.2s |       4 |    12309 |      813 |     2505      0 |        0 |        0
0.59/0.61	c  0.4s |       5 |    15874 |     1320 |     2756      0 |        0 |        0
0.89/0.94	c  0.7s |       6 |    19914 |     2081 |     3336      0 |        0 |        0
1.29/1.37	c  1.1s |       7 |    24580 |     3223 |     3670      0 |        0 |        0
2.09/2.18	c  1.9s |       8 |    30223 |     4936 |     4038      0 |        0 |        0
3.99/4.07	c  3.8s |       9 |    37298 |     7506 |     4442      1 |        0 |        0
6.09/6.13	c  5.9s |       9 |    44659 |    10006 |     4442      2 |        0 |        0
7.19/7.25	c  7.0s |      10 |    47038 |    11361 |     4887      2 |        0 |        0
9.29/9.32	c  9.1s |      10 |    54819 |    13761 |     4887      3 |        0 |        0
11.29/11.38	c 11.1s |      10 |    58325 |    15561 |     4887      3 |        0 |        0
12.99/13.02	c 12.8s |      11 |    61266 |    17144 |     5376      4 |        0 |        0
15.09/15.16	c 14.9s |      11 |    66827 |    18644 |     5376      4 |        0 |        0
17.09/17.16	c 16.9s |      11 |    69194 |    19889 |     5376      4 |        0 |        0
17.09/17.16	c #cpu_time = 16.864s
17.09/17.16	c #wall_clock_time = 16.907s
17.09/17.16	c #decision = 69194
17.09/17.16	c #random_decision = 17
17.09/17.16	c #conflict = 19889
17.09/17.16	c #restart = 11
17.09/17.16	c BCD2: found a new core of size 2359: cost of the new core is >=1
17.09/17.16	c lower bound updated to 1
17.09/17.17	c BCD2: 1 <= obj <= 524
17.09/17.17	c BCD2: #cores=1, #unrelaxed=348, #relaxed=2359, #hardened=0
17.09/17.17	c BCD2: #sat=1 #unsat=2 bias=2/3
17.09/17.18	c Solving starts ...
17.09/17.18	c ============================[ Search Statistics ]============================
17.09/17.18	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
17.09/17.18	c       |         |          |          |    Limit     GC | Var      | Constra 
17.09/17.18	c =============================================================================
17.09/17.18	c  0.0s |       0 |        0 |        0 |     5376      0 |        0 |        0
17.49/17.53	c  0.4s |       0 |     2761 |        0 |     5376      1 |        0 |        0
17.49/17.53	c #cpu_time = 0.353s
17.49/17.53	c #wall_clock_time = 0.354s
17.49/17.53	c #decision = 2761
17.49/17.53	c #random_decision = 6
17.49/17.53	c #conflict = 0
17.49/17.53	c #restart = 0
17.49/17.53	o 67
17.49/17.54	c BCD2: hardening fixes 916 literals
17.49/17.54	c BCD2: updating upper bound: 524 -> 66
17.49/17.54	c BCD2: 1 <= obj <= 66
17.49/17.54	c BCD2: #cores=1, #unrelaxed=216, #relaxed=1575, #hardened=916
17.49/17.54	c BCD2: #sat=2 #unsat=2 bias=2/4
17.49/17.55	c Solving starts ...
17.49/17.55	c ============================[ Search Statistics ]============================
17.49/17.55	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
17.49/17.55	c       |         |          |          |    Limit     GC | Var      | Constra 
17.49/17.55	c =============================================================================
17.49/17.55	c  0.0s |       0 |        0 |        0 |     5376      0 |      916 |        1
17.69/17.71	c  0.2s |       1 |      690 |      100 |     5376      0 |      916 |        1
17.89/17.94	c  0.4s |       2 |     1236 |      250 |     5376      0 |      916 |        1
17.99/18.06	c  0.5s |       2 |     1602 |      308 |     5376      0 |      916 |        1
17.99/18.06	c #cpu_time = 0.507s
17.99/18.06	c #wall_clock_time = 0.509s
17.99/18.06	c #decision = 1602
17.99/18.06	c #random_decision = 0
17.99/18.06	c #conflict = 308
17.99/18.06	c #restart = 2
17.99/18.06	o 23
17.99/18.07	c BCD2: hardening fixes 1245 literals
17.99/18.07	c BCD2: updating upper bound: 66 -> 22
17.99/18.07	c BCD2: 1 <= obj <= 22
17.99/18.07	c BCD2: #cores=1, #unrelaxed=70, #relaxed=476, #hardened=2161
17.99/18.07	c BCD2: #sat=3 #unsat=2 bias=2/5
17.99/18.07	c Solving starts ...
17.99/18.07	c ============================[ Search Statistics ]============================
17.99/18.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
17.99/18.07	c       |         |          |          |    Limit     GC | Var      | Constra 
17.99/18.07	c =============================================================================
17.99/18.07	c  0.0s |       0 |        0 |        0 |     5376      0 |     2161 |        2
18.09/18.20	c  0.1s |       1 |      366 |      100 |     5376      0 |     2161 |        2
18.29/18.36	c  0.3s |       2 |      750 |      250 |     5376      0 |     2161 |        2
18.48/18.55	c  0.5s |       3 |     1262 |      475 |     5376      0 |     2161 |        2
18.69/18.80	c  0.7s |       4 |     1973 |      813 |     5376      0 |     2161 |        2
19.08/19.11	c  1.0s |       5 |     2917 |     1320 |     5376      0 |     2161 |        2
19.48/19.56	c  1.5s |       6 |     4473 |     2081 |     5376      0 |     2161 |        2
20.28/20.37	c  2.3s |       7 |     6383 |     3223 |     5376      0 |     2161 |        2
21.49/21.58	c  3.5s |       8 |     9515 |     4936 |     5376      1 |     2161 |        2
23.19/23.27	c  5.2s |       9 |    13976 |     7506 |     5914      1 |     2161 |        2
25.18/25.29	c  7.2s |       9 |    19593 |    11106 |     5914      2 |     2161 |        2
25.39/25.42	c  7.3s |      10 |    19953 |    11361 |     5914      2 |     2161 |        2
25.68/25.76	c  7.7s |      10 |    20879 |    11891 |     5914      2 |     2161 |        2
25.68/25.76	c #cpu_time = 7.666s
25.68/25.76	c #wall_clock_time = 7.686s
25.68/25.76	c #decision = 20879
25.68/25.76	c #random_decision = 11
25.68/25.76	c #conflict = 11891
25.68/25.76	c #restart = 10
25.68/25.76	o 13
25.68/25.76	c BCD2: hardening fixes 239 literals
25.68/25.76	c BCD2: updating upper bound: 22 -> 12
25.68/25.76	c BCD2: 1 <= obj <= 12
25.68/25.76	c BCD2: #cores=1, #unrelaxed=30, #relaxed=277, #hardened=2400
25.68/25.76	c BCD2: #sat=4 #unsat=2 bias=2/6
25.68/25.76	c Solving starts ...
25.68/25.76	c ============================[ Search Statistics ]============================
25.68/25.76	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
25.68/25.76	c       |         |          |          |    Limit     GC | Var      | Constra 
25.68/25.76	c =============================================================================
25.68/25.76	c  0.0s |       0 |        0 |        0 |     5914      0 |     2400 |        3
25.78/25.84	c  0.1s |       1 |      188 |      100 |     5914      0 |     2400 |        3
25.88/25.95	c  0.2s |       2 |      432 |      250 |     5914      0 |     2400 |        3
26.08/26.12	c  0.4s |       3 |      824 |      475 |     5914      0 |     2400 |        3
26.28/26.35	c  0.6s |       4 |     1448 |      813 |     5914      1 |     2400 |        3
26.39/26.50	c  0.7s |       4 |     2045 |     1142 |     5914      1 |     2400 |        3
26.39/26.50	c #cpu_time = 0.735s
26.39/26.50	c #wall_clock_time = 0.737s
26.39/26.50	c #decision = 2045
26.39/26.50	c #random_decision = 7
26.39/26.50	c #conflict = 1142
26.39/26.50	c #restart = 4
26.39/26.50	o 5
26.39/26.50	c BCD2: hardening fixes 218 literals
26.39/26.50	c BCD2: updating upper bound: 12 -> 4
26.39/26.50	c BCD2: 1 <= obj <= 4
26.39/26.50	c BCD2: #cores=1, #unrelaxed=7, #relaxed=82, #hardened=2618
26.39/26.50	c BCD2: #sat=5 #unsat=2 bias=2/7
26.49/26.50	c Solving starts ...
26.49/26.50	c ============================[ Search Statistics ]============================
26.49/26.50	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
26.49/26.50	c       |         |          |          |    Limit     GC | Var      | Constra 
26.49/26.50	c =============================================================================
26.49/26.50	c  0.0s |       0 |        0 |        0 |     5914      0 |     2618 |        4
26.49/26.57	c  0.1s |       1 |      155 |      100 |     5914      0 |     2618 |        5
26.58/26.65	c  0.1s |       2 |      408 |      250 |     5914      0 |     2618 |        5
26.68/26.74	c  0.2s |       3 |      901 |      475 |     5914      0 |     2618 |        5
26.78/26.88	c  0.4s |       4 |     1557 |      813 |     5914      0 |     2618 |        5
27.08/27.11	c  0.6s |       5 |     2267 |     1320 |     5914      0 |     2618 |        5
27.38/27.40	c  0.9s |       6 |     3750 |     2081 |     5914      0 |     2618 |        5
27.88/27.99	c  1.5s |       7 |     5927 |     3223 |     5914      0 |     2618 |        5
28.69/28.76	c  2.3s |       8 |     8773 |     4936 |     5914      1 |     2618 |        5
29.69/29.79	c  3.3s |       9 |    13061 |     7506 |     6506      1 |     2618 |        5
31.28/31.39	c  4.9s |      10 |    19478 |    11361 |     6506      2 |     2618 |        5
33.38/33.42	c  6.9s |      10 |    27612 |    15961 |     6506      3 |     2618 |        5
33.78/33.85	c  7.3s |      11 |    29737 |    17144 |     6506      3 |     2618 |        5
35.78/35.88	c  9.4s |      11 |    36841 |    21544 |     6506      4 |     2618 |        5
37.78/37.85	c 11.4s |      12 |    43832 |    25819 |     7157      5 |     2618 |        5
39.78/39.86	c 13.4s |      12 |    51423 |    30319 |     7157      6 |     2618 |        5
41.79/41.87	c 15.4s |      12 |    59968 |    35219 |     7157      7 |     2618 |        5
42.28/42.37	c 15.9s |      12 |    61777 |    36315 |     7157      7 |     2618 |        5
42.28/42.37	c #cpu_time = 15.829s
42.28/42.37	c #wall_clock_time = 15.870s
42.28/42.37	c #decision = 61777
42.28/42.37	c #random_decision = 129
42.28/42.37	c #conflict = 36315
42.28/42.37	c #restart = 12
42.28/42.37	c BCD2: relaxing 5 and merging with 1 cores into a new core of size 2364: cost of the new core is >=3
42.28/42.37	c lower bound updated to 3
42.28/42.38	c BCD2: 3 <= obj <= 4
42.28/42.38	c BCD2: #cores=1, #unrelaxed=2, #relaxed=87, #hardened=2618
42.28/42.38	c BCD2: #sat=5 #unsat=3 bias=3/8
42.28/42.38	c Solving starts ...
42.28/42.38	c ============================[ Search Statistics ]============================
42.28/42.38	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
42.28/42.38	c       |         |          |          |    Limit     GC | Var      | Constra 
42.28/42.38	c =============================================================================
42.28/42.38	c  0.0s |       0 |        0 |        0 |     7157      0 |     2623 |        5
42.58/42.63	c  0.2s |       1 |      236 |      100 |     7157      0 |     2623 |       13
42.58/42.69	c  0.3s |       2 |      559 |      250 |     7157      0 |     2623 |       13
42.69/42.77	c  0.4s |       3 |      967 |      475 |     7157      0 |     2623 |       13
42.79/42.90	c  0.5s |       4 |     1513 |      813 |     7157      0 |     2623 |       13
43.00/43.09	c  0.7s |       5 |     2342 |     1320 |     7157      0 |     2623 |       13
43.39/43.48	c  1.1s |       6 |     3629 |     2081 |     7157      0 |     2623 |       13
43.89/43.95	c  1.6s |       7 |     5365 |     3223 |     7157      0 |     2623 |       13
44.69/44.73	c  2.3s |       8 |     8189 |     4936 |     7157      0 |     2623 |       13
45.79/45.89	c  3.5s |       9 |    11953 |     7506 |     7157      1 |     2623 |       13
47.59/47.69	c  5.3s |      10 |    18021 |    11361 |     7157      2 |     2623 |       13
48.19/48.20	c  5.8s |      10 |    19691 |    12500 |     7157      2 |     2623 |       13
48.19/48.20	c #cpu_time = 5.798s
48.19/48.20	c #wall_clock_time = 5.813s
48.19/48.20	c #decision = 19691
48.19/48.20	c #random_decision = 45
48.19/48.20	c #conflict = 12500
48.19/48.20	c #restart = 10
48.19/48.20	o 3
48.19/48.20	s OPTIMUM FOUND
48.19/48.20	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10
48.19/48.20	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20
48.19/48.20	v -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30
48.19/48.20	v -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40
48.19/48.20	v -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50
48.19/48.20	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
48.19/48.20	v -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70
48.19/48.20	v -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80
48.19/48.20	v -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 x89 -x90
48.19/48.20	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
48.19/48.20	v -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110
48.19/48.20	v -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120
48.19/48.20	v -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130
48.19/48.20	v -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
48.19/48.20	v -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150
48.19/48.20	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160
48.19/48.20	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
48.19/48.20	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180
48.19/48.20	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
48.19/48.20	v x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
48.19/48.20	v -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
48.19/48.20	v -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220
48.19/48.20	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
48.19/48.20	v -x231
48.19/48.20	c total CPU time = 48.076s
48.19/48.20	c total wall clock time = 48.201s

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

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

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


[startup+0 s]
/proc/loadavg: 2.26 2.16 2.03 3/179 31694
/proc/meminfo: memFree=29560792/32872528 swapFree=877056/942464
[pid=31694] ppid=31691 vsize=654780 CPUtime=0 cores=0,2,4,6
/proc/31694/stat : 31694 (toysat) R 31691 31694 29107 0 -1 4202496 2429 0 0 0 0 0 0 0 20 0 4 0 36541474 670494720 3300 33554432000 4194304 16246674 140736181183120 140736181182544 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31694/statm: 164463 3309 441 2943 0 161357 0
[pid=31694/tid=31695] ppid=31691 vsize=672188 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31695/stat : 31695 (toysat) S 31691 31694 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36541474 688320512 3368 33554432000 4194304 16246674 140736181183120 139736312163568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31694/tid=31696] ppid=31691 vsize=676284 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31696/stat : 31696 (toysat) S 31691 31694 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36541474 692514816 3385 33554432000 4194304 16246674 140736181183120 139736224083184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31694/tid=31697] ppid=31691 vsize=679492 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31697/stat : 31697 (toysat) S 31691 31694 29107 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36541474 695799808 3399 33554432000 4194304 16246674 140736181183120 139736213609648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.26 2.16 2.03 3/179 31694
/proc/meminfo: memFree=29560792/32872528 swapFree=877056/942464
[pid=31694] ppid=31691 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/31694/stat : 31694 (toysat) R 31691 31694 29107 0 -1 4202496 24914 0 0 0 5 4 0 0 20 0 4 0 36541474 1247350784 25778 33554432000 4194304 16246674 140736181183120 140736181182544 13954914 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31694/statm: 304529 25783 604 2943 0 301423 0
[pid=31694/tid=31695] ppid=31691 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31695/stat : 31695 (toysat) S 31691 31694 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36541474 1247350784 25787 33554432000 4194304 16246674 140736181183120 139736312163568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31694/tid=31696] ppid=31691 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31696/stat : 31696 (toysat) S 31691 31694 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36541474 1247350784 25791 33554432000 4194304 16246674 140736181183120 139736224083184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31694/tid=31697] ppid=31691 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31697/stat : 31697 (toysat) S 31691 31694 29107 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36541474 1247350784 25793 33554432000 4194304 16246674 140736181183120 139736213609648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200501 s]
/proc/loadavg: 2.26 2.16 2.03 3/179 31694
/proc/meminfo: memFree=29560792/32872528 swapFree=877056/942464
[pid=31694] ppid=31691 vsize=1223236 CPUtime=0.19 cores=0,2,4,6
/proc/31694/stat : 31694 (toysat) R 31691 31694 29107 0 -1 4202496 35507 0 0 0 14 5 0 0 20 0 4 0 36541474 1252593664 36325 33554432000 4194304 16246674 140736181183120 140736181182432 12071144 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31694/statm: 305809 36325 856 2943 0 302703 0
[pid=31694/tid=31695] ppid=31691 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31695/stat : 31695 (toysat) S 31691 31694 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36541474 1252593664 36325 33554432000 4194304 16246674 140736181183120 139736312163568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31694/tid=31696] ppid=31691 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31696/stat : 31696 (toysat) S 31691 31694 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36541474 1252593664 36325 33554432000 4194304 16246674 140736181183120 139736224083184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31694/tid=31697] ppid=31691 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31697/stat : 31697 (toysat) S 31691 31694 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36541474 1252593664 36325 33554432000 4194304 16246674 140736181183120 139736213609648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1223236

[startup+0.300471 s]
/proc/loadavg: 2.26 2.16 2.03 3/179 31694
/proc/meminfo: memFree=29560792/32872528 swapFree=877056/942464
[pid=31694] ppid=31691 vsize=1307204 CPUtime=0.29 cores=0,2,4,6
/proc/31694/stat : 31694 (toysat) R 31691 31694 29107 0 -1 4202496 47558 0 0 0 21 8 0 0 20 0 4 0 36541474 1338576896 48376 33554432000 4194304 16246674 140736181183120 140736181182432 5724508 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31694/statm: 326801 48388 919 2943 0 323695 0
[pid=31694/tid=31695] ppid=31691 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31695/stat : 31695 (toysat) S 31691 31694 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36541474 1338576896 48391 33554432000 4194304 16246674 140736181183120 139736312163568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31694/tid=31696] ppid=31691 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31696/stat : 31696 (toysat) S 31691 31694 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36541474 1338576896 48398 33554432000 4194304 16246674 140736181183120 139736224083184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31694/tid=31697] ppid=31691 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31697/stat : 31697 (toysat) S 31691 31694 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36541474 1338576896 48407 33554432000 4194304 16246674 140736181183120 139736213609648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1307204

[startup+0.7004 s]
/proc/loadavg: 2.26 2.16 2.03 3/179 31694
/proc/meminfo: memFree=29560792/32872528 swapFree=877056/942464
[pid=31694] ppid=31691 vsize=1307204 CPUtime=0.69 cores=0,2,4,6
/proc/31694/stat : 31694 (toysat) R 31691 31694 29107 0 -1 4202496 56768 0 0 0 60 9 0 0 20 0 4 0 36541474 1338576896 57586 33554432000 4194304 16246674 140736181183120 140736181182432 13874649 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31694/statm: 326801 57586 921 2943 0 323695 0
[pid=31694/tid=31695] ppid=31691 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31695/stat : 31695 (toysat) S 31691 31694 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36541474 1338576896 57586 33554432000 4194304 16246674 140736181183120 139736312163568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31694/tid=31696] ppid=31691 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31696/stat : 31696 (toysat) S 31691 31694 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36541474 1338576896 57586 33554432000 4194304 16246674 140736181183120 139736224083184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31694/tid=31697] ppid=31691 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31697/stat : 31697 (toysat) S 31691 31694 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36541474 1338576896 57586 33554432000 4194304 16246674 140736181183120 139736213609648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1307204

[startup+1.50043 s]
/proc/loadavg: 2.26 2.16 2.03 3/183 31698
/proc/meminfo: memFree=29332076/32872528 swapFree=877056/942464
[pid=31694] ppid=31691 vsize=1307204 CPUtime=1.49 cores=0,2,4,6
/proc/31694/stat : 31694 (toysat) R 31691 31694 29107 0 -1 4202496 56772 0 0 0 140 9 0 0 20 0 4 0 36541474 1338576896 57590 33554432000 4194304 16246674 140736181183120 140736181166112 5822923 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31694/statm: 326801 57590 925 2943 0 323695 0
[pid=31694/tid=31695] ppid=31691 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31695/stat : 31695 (toysat) S 31691 31694 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36541474 1338576896 57590 33554432000 4194304 16246674 140736181183120 139736312163568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31694/tid=31696] ppid=31691 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31696/stat : 31696 (toysat) S 31691 31694 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36541474 1338576896 57590 33554432000 4194304 16246674 140736181183120 139736224083184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31694/tid=31697] ppid=31691 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31697/stat : 31697 (toysat) S 31691 31694 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36541474 1338576896 57590 33554432000 4194304 16246674 140736181183120 139736213609648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10037 s]
/proc/loadavg: 2.26 2.16 2.03 3/183 31698
/proc/meminfo: memFree=29331704/32872528 swapFree=877056/942464
[pid=31694] ppid=31691 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/31694/stat : 31694 (toysat) R 31691 31694 29107 0 -1 4202496 56778 0 0 0 300 9 0 0 20 0 4 0 36541474 1338576896 57596 33554432000 4194304 16246674 140736181183120 140736181182296 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31694/statm: 326801 57596 931 2943 0 323695 0
[pid=31694/tid=31695] ppid=31691 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31695/stat : 31695 (toysat) S 31691 31694 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36541474 1338576896 57596 33554432000 4194304 16246674 140736181183120 139736312163568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31694/tid=31696] ppid=31691 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31696/stat : 31696 (toysat) S 31691 31694 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36541474 1338576896 57596 33554432000 4194304 16246674 140736181183120 139736224083184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31694/tid=31697] ppid=31691 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31697/stat : 31697 (toysat) S 31691 31694 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36541474 1338576896 57596 33554432000 4194304 16246674 140736181183120 139736213609648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30037 s]
/proc/loadavg: 2.24 2.15 2.03 3/183 31698
/proc/meminfo: memFree=29300536/32872528 swapFree=877056/942464
[pid=31694] ppid=31691 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/31694/stat : 31694 (toysat) R 31691 31694 29107 0 -1 4202496 64523 0 0 0 619 10 0 0 20 0 4 0 36541474 1339625472 65341 33554432000 4194304 16246674 140736181183120 140736181182216 4220495 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31694/statm: 327057 65341 932 2943 0 323951 0
[pid=31694/tid=31695] ppid=31691 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31695/stat : 31695 (toysat) S 31691 31694 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36541474 1339625472 65341 33554432000 4194304 16246674 140736181183120 139736312163568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31694/tid=31696] ppid=31691 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31696/stat : 31696 (toysat) S 31691 31694 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36541474 1339625472 65341 33554432000 4194304 16246674 140736181183120 139736224083184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31694/tid=31697] ppid=31691 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31697/stat : 31697 (toysat) S 31691 31694 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36541474 1339625472 65341 33554432000 4194304 16246674 140736181183120 139736213609648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7003 s]
/proc/loadavg: 2.22 2.15 2.03 3/183 31747
/proc/meminfo: memFree=30083316/32872528 swapFree=877056/942464
[pid=31694] ppid=31691 vsize=1308228 CPUtime=12.69 cores=0,2,4,6
/proc/31694/stat : 31694 (toysat) R 31691 31694 29107 0 -1 4202496 94893 0 0 0 1255 14 0 0 20 0 4 0 36541474 1339625472 95711 33554432000 4194304 16246674 140736181183120 140736181182296 5545844 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31694/statm: 327057 95711 932 2943 0 323951 0
[pid=31694/tid=31695] ppid=31691 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31695/stat : 31695 (toysat) S 31691 31694 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36541474 1339625472 95711 33554432000 4194304 16246674 140736181183120 139736312163568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31694/tid=31696] ppid=31691 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31696/stat : 31696 (toysat) S 31691 31694 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36541474 1339625472 95711 33554432000 4194304 16246674 140736181183120 139736224083184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31694/tid=31697] ppid=31691 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31697/stat : 31697 (toysat) S 31691 31694 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36541474 1339625472 95711 33554432000 4194304 16246674 140736181183120 139736213609648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.17 2.14 2.03 3/183 31747
/proc/meminfo: memFree=29245676/32872528 swapFree=877056/942464
[pid=31694] ppid=31691 vsize=1314372 CPUtime=25.48 cores=0,2,4,6
/proc/31694/stat : 31694 (toysat) R 31691 31694 29107 0 -1 4202496 269686 0 0 0 2509 39 0 0 20 0 4 0 36541474 1345916928 270504 33554432000 4194304 16246674 140736181183120 140736181164992 5600808 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31694/statm: 328593 270504 941 2943 0 325487 0
[pid=31694/tid=31695] ppid=31691 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31695/stat : 31695 (toysat) S 31691 31694 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36541474 1345916928 270504 33554432000 4194304 16246674 140736181183120 139736312163568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31694/tid=31696] ppid=31691 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31696/stat : 31696 (toysat) S 31691 31694 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36541474 1345916928 270504 33554432000 4194304 16246674 140736181183120 139736224083184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31694/tid=31697] ppid=31691 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31697/stat : 31697 (toysat) S 31691 31694 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36541474 1345916928 270504 33554432000 4194304 16246674 140736181183120 139736213609648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1314372

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

[startup+25.6005 s]
/proc/loadavg: 2.17 2.14 2.03 3/183 31747
/proc/meminfo: memFree=29245676/32872528 swapFree=877056/942464
[pid=31694] ppid=31691 vsize=1314372 CPUtime=25.58 cores=0,2,4,6
/proc/31694/stat : 31694 (toysat) R 31691 31694 29107 0 -1 4202496 269686 0 0 0 2519 39 0 0 20 0 4 0 36541474 1345916928 270504 33554432000 4194304 16246674 140736181183120 140736181164992 5600808 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31694/statm: 328593 270504 941 2943 0 325487 0
[pid=31694/tid=31695] ppid=31691 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31695/stat : 31695 (toysat) S 31691 31694 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36541474 1345916928 270504 33554432000 4194304 16246674 140736181183120 139736312163568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31694/tid=31696] ppid=31691 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31696/stat : 31696 (toysat) S 31691 31694 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36541474 1345916928 270504 33554432000 4194304 16246674 140736181183120 139736224083184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31694/tid=31697] ppid=31691 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31697/stat : 31697 (toysat) S 31691 31694 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36541474 1345916928 270504 33554432000 4194304 16246674 140736181183120 139736213609648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 1314372

[startup+38.4004 s]
/proc/loadavg: 2.14 2.14 2.03 4/183 31747
/proc/meminfo: memFree=29242092/32872528 swapFree=877056/942464
[pid=31694] ppid=31691 vsize=1317444 CPUtime=38.38 cores=0,2,4,6
/proc/31694/stat : 31694 (toysat) R 31691 31694 29107 0 -1 4202496 270580 0 0 0 3799 39 0 0 20 0 4 0 36541474 1349062656 271398 33554432000 4194304 16246674 140736181183120 140736181164992 5675549 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31694/statm: 329361 271398 941 2943 0 326255 0
[pid=31694/tid=31695] ppid=31691 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31695/stat : 31695 (toysat) S 31691 31694 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36541474 1349062656 271398 33554432000 4194304 16246674 140736181183120 139736312163568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31694/tid=31696] ppid=31691 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31696/stat : 31696 (toysat) S 31691 31694 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36541474 1349062656 271398 33554432000 4194304 16246674 140736181183120 139736224083184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31694/tid=31697] ppid=31691 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31697/stat : 31697 (toysat) S 31691 31694 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36541474 1349062656 271398 33554432000 4194304 16246674 140736181183120 139736213609648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 38.38
Current children cumulated vsize (KiB) 1317444

[startup+44.8004 s]
/proc/loadavg: 2.12 2.13 2.03 3/183 31747
/proc/meminfo: memFree=29233792/32872528 swapFree=877056/942464
[pid=31694] ppid=31691 vsize=1325636 CPUtime=44.79 cores=0,2,4,6
/proc/31694/stat : 31694 (toysat) R 31691 31694 29107 0 -1 4202496 272629 0 0 0 4439 40 0 0 20 0 4 0 36541474 1357451264 273447 33554432000 4194304 16246674 140736181183120 140736181164992 5523536 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31694/statm: 331409 273447 942 2943 0 328303 0
[pid=31694/tid=31695] ppid=31691 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31695/stat : 31695 (toysat) S 31691 31694 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36541474 1357451264 273447 33554432000 4194304 16246674 140736181183120 139736312163568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31694/tid=31696] ppid=31691 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31696/stat : 31696 (toysat) S 31691 31694 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36541474 1357451264 273447 33554432000 4194304 16246674 140736181183120 139736224083184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31694/tid=31697] ppid=31691 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31697/stat : 31697 (toysat) S 31691 31694 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36541474 1357451264 273447 33554432000 4194304 16246674 140736181183120 139736213609648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 44.79
Current children cumulated vsize (KiB) 1325636

[startup+46.4004 s]
/proc/loadavg: 2.12 2.13 2.03 3/183 31747
/proc/meminfo: memFree=29233920/32872528 swapFree=877056/942464
[pid=31694] ppid=31691 vsize=1325636 CPUtime=46.39 cores=0,2,4,6
/proc/31694/stat : 31694 (toysat) R 31691 31694 29107 0 -1 4202496 272629 0 0 0 4599 40 0 0 20 0 4 0 36541474 1357451264 273447 33554432000 4194304 16246674 140736181183120 140736181164992 5523464 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31694/statm: 331409 273447 942 2943 0 328303 0
[pid=31694/tid=31695] ppid=31691 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31695/stat : 31695 (toysat) S 31691 31694 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36541474 1357451264 273447 33554432000 4194304 16246674 140736181183120 139736312163568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31694/tid=31696] ppid=31691 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31696/stat : 31696 (toysat) S 31691 31694 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36541474 1357451264 273447 33554432000 4194304 16246674 140736181183120 139736224083184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31694/tid=31697] ppid=31691 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31697/stat : 31697 (toysat) S 31691 31694 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36541474 1357451264 273447 33554432000 4194304 16246674 140736181183120 139736213609648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 46.39
Current children cumulated vsize (KiB) 1325636

[startup+47.2004 s]
/proc/loadavg: 2.12 2.13 2.03 3/183 31747
/proc/meminfo: memFree=29233920/32872528 swapFree=877056/942464
[pid=31694] ppid=31691 vsize=1325636 CPUtime=47.19 cores=0,2,4,6
/proc/31694/stat : 31694 (toysat) R 31691 31694 29107 0 -1 4202496 272629 0 0 0 4679 40 0 0 20 0 4 0 36541474 1357451264 273447 33554432000 4194304 16246674 140736181183120 140736181164992 5822492 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31694/statm: 331409 273447 942 2943 0 328303 0
[pid=31694/tid=31695] ppid=31691 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31695/stat : 31695 (toysat) S 31691 31694 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36541474 1357451264 273447 33554432000 4194304 16246674 140736181183120 139736312163568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31694/tid=31696] ppid=31691 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31696/stat : 31696 (toysat) S 31691 31694 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36541474 1357451264 273447 33554432000 4194304 16246674 140736181183120 139736224083184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31694/tid=31697] ppid=31691 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31697/stat : 31697 (toysat) S 31691 31694 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36541474 1357451264 273447 33554432000 4194304 16246674 140736181183120 139736213609648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 47.19
Current children cumulated vsize (KiB) 1325636

[startup+48.0004 s]
/proc/loadavg: 2.12 2.13 2.03 3/183 31747
/proc/meminfo: memFree=29233920/32872528 swapFree=877056/942464
[pid=31694] ppid=31691 vsize=1325636 CPUtime=47.99 cores=0,2,4,6
/proc/31694/stat : 31694 (toysat) R 31691 31694 29107 0 -1 4202496 272629 0 0 0 4759 40 0 0 20 0 4 0 36541474 1357451264 273447 33554432000 4194304 16246674 140736181183120 140736181164992 5822248 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31694/statm: 331409 273447 942 2943 0 328303 0
[pid=31694/tid=31695] ppid=31691 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31695/stat : 31695 (toysat) S 31691 31694 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36541474 1357451264 273447 33554432000 4194304 16246674 140736181183120 139736312163568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31694/tid=31696] ppid=31691 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31696/stat : 31696 (toysat) S 31691 31694 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36541474 1357451264 273447 33554432000 4194304 16246674 140736181183120 139736224083184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31694/tid=31697] ppid=31691 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31697/stat : 31697 (toysat) S 31691 31694 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36541474 1357451264 273447 33554432000 4194304 16246674 140736181183120 139736213609648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 47.99
Current children cumulated vsize (KiB) 1325636

[startup+48.2004 s]
/proc/loadavg: 2.12 2.13 2.03 3/183 31747
/proc/meminfo: memFree=29233920/32872528 swapFree=877056/942464
[pid=31694] ppid=31691 vsize=1325636 CPUtime=48.19 cores=0,2,4,6
/proc/31694/stat : 31694 (toysat) R 31691 31694 29107 0 -1 4202496 272629 0 0 0 4779 40 0 0 20 0 4 0 36541474 1357451264 273447 33554432000 4194304 16246674 140736181183120 140736181164992 5723568 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31694/statm: 331409 273447 942 2943 0 328303 0
[pid=31694/tid=31695] ppid=31691 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31695/stat : 31695 (toysat) S 31691 31694 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36541474 1357451264 273447 33554432000 4194304 16246674 140736181183120 139736312163568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31694/tid=31696] ppid=31691 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31696/stat : 31696 (toysat) S 31691 31694 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36541474 1357451264 273447 33554432000 4194304 16246674 140736181183120 139736224083184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31694/tid=31697] ppid=31691 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/31694/task/31697/stat : 31697 (toysat) S 31691 31694 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36541474 1357451264 273447 33554432000 4194304 16246674 140736181183120 139736213609648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 48.19
Current children cumulated vsize (KiB) 1325636

Child status: 0
Real time (s): 48.2822
CPU time (s): 48.2667
CPU user time (s): 47.7937
CPU system time (s): 0.472928
CPU usage (%): 99.9678
Max. virtual memory (cumulated for all children) (KiB): 1325636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 47.7937
system time used= 0.472928
maximum resident set size= 1093792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272631
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= 59

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.117982 second user time and 0.19297 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-19 16:02:05
IDJOB=4110362
IDBENCH=79278
IDSOLVER=2553
FILE ID=node113/4110362-1466344925
RUNJOBID= node113-1466341823-29123
PBS_JOBID= 19922039
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900553812--soft-0-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-4110362-1466344925/watcher-4110362-1466344925 -o /tmp/evaluation-result-4110362-1466344925/solver-4110362-1466344925 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466341823-29123 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4110362-1466344925.wbo

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

MD5SUM BENCH= 10c8366d87b8e61a0f23df601b3f0e14
RANDOM SEED=275035363

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.799
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.799
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.54
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.799
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.54
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.799
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29561172 kB
Buffers:          153584 kB
Cached:           371416 kB
SwapCached:         1964 kB
Active:          1258840 kB
Inactive:         366600 kB
Active(anon):    1100572 kB
Inactive(anon):     2224 kB
Active(file):     158268 kB
Inactive(file):   364376 kB
Unevictable:      942464 kB
Mlocked:          877056 kB
SwapTotal:      67108856 kB
SwapFree:       67099096 kB
Dirty:             16468 kB
Writeback:             0 kB
AnonPages:       2041832 kB
Mapped:            10724 kB
Shmem:                 0 kB
Slab:             609116 kB
SReclaimable:      52936 kB
SUnreclaim:       556180 kB
KernelStack:        1488 kB
PageTables:         7868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2185772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1157120 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71672 MiB
End job on node113 at 2016-06-19 16:02:54