Trace number 4109962

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 63.9653 63.9863

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900546417--soft-33-100-0.wbo
MD5SUM4d7369f2c7754df76e462e1a1e9c34c5
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark31.9501
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 constraints1857
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 93863
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 93862
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:55: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-4109962-1466344506.wbo"]
0.00/0.01	c use --random-gen="12865878 4042942575 3575882171 1609094536 2866077125 146064892 3919842007 3587889040 4181895510 851764708 478808446 4130952929 53103181 2045667889 1095652138 3135778235 285314775 3284915995 2462769800 2893632133 4206942200 2834332539 1710059108 2450540732 1636628321 979493765 247742972 718709324 1251067595 2761236574 137626987 348185415 3816861831 3517434839 2391811489 4129621199 11776912 1096421062 724420818 1090631594 2138203231 1644888052 3615262028 3571918148 986515106 4157181157 3136188889 3847393392 3457423857 3232913807 3177130021 4112139623 133595981 2277861512 2968647251 1436922480 1586817787 540344601 2680934961 4274222788 3502629533 3967401234 4275447578 2106700215 1443632740 4043398745 985556964 3098983792 1148394917 3132946065 3982523664 2981508680 1529110460 3526842038 468004542 1723479386 2336914168 4291655955 1328431499 103125310 2007271919 371845976 1193318258 2004213998 860873170 1524829893 2311075012 3859198620 338016370 2007282008 1396292626 3515260515 2322834492 2688463496 898371703 2921066113 43262116 3109914216 2258573576 2512081581 4043968648 4039440832 1144791471 2399551369 2788075869 3060273545 1217435980 3262513003 3299228265 908800740 2640608566 1204810227 816852265 2520293381 1794233899 404375908 1351903266 474124889 2317725228 1397435483 2172655253 2637801034 3418866373 2004819814 2555754244 647457305 368662271 1026017072 2911153322 3482413104 1217419558 314141851 1410687849 4060897360 139115804 39959049 868649860 2719153093 4164018540 3660759933 4256284457 4112082939 3351902795 1190315228 749038075 2535505164 1940384167 2981365120 1780518694 882508267 1600408135 2509391171 3178066378 668492284 2528265549 3620976346 2697681308 1732307328 2636733612 916778809 1204123899 2650141483 2898296900 814117342 2108407961 3170022233 3080964983 2593116693 2369337299 3477029548 130210322 2567442605 1128141883 1143498553 3022870162 2046555397 748173235 3713393471 422584949 2599070054 3426704811 837936154 2630126084 3251773079 1406180289 2933870613 1078023571 3103262134 775026850 898606296 3193351927 1304968205 1440455827 444040142 1789122319 3826682340 2588204986 3353667538 4033230263 286267172 719682961 958735900 3326669165 2016433895 3313903996 2930837515 483605249 937525892 1118210748 2859488920 309288485 3127111887 2581984883 3854891512 1219126682 3528407212 2193867461 3491837922 418445994 382528818 5530312 2143204663 1845640217 1122557317 2412600843 3402947496 2510542593 3924261153 3458337667 2202308928 3649554772 421858970 3313598895 3600780617 3377232761 1503932695 4113728553 1153348930 3899250113 320529230 3129522872 3618184263 3675360342 3138459088 2796769838 3386539399 432658876 95920576 42855739 591413892 1516703488 1108719653 2004692107 681756587 506696920 3736730919 255 362436" option to reproduce the execution
0.09/0.14	c #vars 231
0.09/0.14	c #constraints 2707
0.09/0.19	c BCD2: Hardening is enabled.
0.09/0.19	c BCD2: BiasedSearch is enabled.
0.09/0.19	c Solving starts ...
0.09/0.19	c ============================[ Search Statistics ]============================
0.09/0.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.19	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.19	c =============================================================================
0.09/0.19	c  0.0s |       0 |        0 |        0 |     1598      0 |        0 |        0
0.19/0.20	c  0.0s |       0 |     1946 |       44 |     1598      0 |        0 |        0
0.19/0.20	c #cpu_time = 0.011s
0.19/0.20	c #wall_clock_time = 0.011s
0.19/0.20	c #decision = 1946
0.19/0.20	c #random_decision = 6
0.19/0.20	c #conflict = 44
0.19/0.20	c #restart = 0
0.19/0.20	o 236
0.19/0.21	c BCD2: updating upper bound: 93862 -> 235
0.19/0.22	c BCD2: 0 <= obj <= 235
0.19/0.22	c BCD2: #cores=0, #unrelaxed=1857, #relaxed=0, #hardened=0
0.19/0.22	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.22	c Solving starts ...
0.19/0.22	c ============================[ Search Statistics ]============================
0.19/0.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.22	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.22	c =============================================================================
0.19/0.22	c  0.0s |       0 |        0 |        0 |     1598      0 |        0 |        0
0.19/0.25	c  0.0s |       1 |     2036 |      100 |     1758      0 |        0 |        0
0.19/0.29	c  0.1s |       2 |     4163 |      250 |     1934      0 |        0 |        0
0.28/0.35	c  0.1s |       3 |     6420 |      475 |     2128      0 |        0 |        0
0.39/0.45	c  0.2s |       4 |     8752 |      813 |     2341      0 |        0 |        0
0.59/0.65	c  0.4s |       5 |    11346 |     1320 |     2576      0 |        0 |        0
0.89/0.98	c  0.8s |       6 |    14273 |     2081 |     2834      0 |        0 |        0
1.38/1.47	c  1.3s |       7 |    17797 |     3223 |     3118      0 |        0 |        0
2.58/2.65	c  2.4s |       8 |    22156 |     4936 |     3430      1 |        0 |        0
4.49/4.58	c  4.4s |       9 |    27882 |     7506 |     3774      2 |        0 |        0
6.59/6.62	c  6.4s |       9 |    34599 |    10606 |     3774      3 |        0 |        0
7.08/7.17	c  6.9s |      10 |    35701 |    11361 |     4152      3 |        0 |        0
9.08/9.17	c  8.9s |      10 |    42468 |    14661 |     4152      4 |        0 |        0
10.78/10.81	c 10.6s |      11 |    46319 |    17144 |     4568      5 |        0 |        0
12.78/12.84	c 12.6s |      11 |    52644 |    20344 |     4568      6 |        0 |        0
14.78/14.88	c 14.7s |      11 |    57162 |    23344 |     4568      7 |        0 |        0
16.78/16.82	c 16.6s |      12 |    60837 |    25819 |     5025      8 |        0 |        0
18.88/18.91	c 18.7s |      12 |    65741 |    27819 |     5025      8 |        0 |        0
20.89/21.00	c 20.8s |      12 |    69946 |    30619 |     5025      9 |        0 |        0
22.98/23.07	c 22.8s |      12 |    73702 |    33119 |     5025     10 |        0 |        0
24.98/25.09	c 24.9s |      12 |    77047 |    35219 |     5025     11 |        0 |        0
27.07/27.11	c 26.9s |      12 |    81623 |    38119 |     5025     11 |        0 |        0
27.77/27.83	c 27.6s |      13 |    82871 |    38832 |     5528     12 |        0 |        0
29.88/29.90	c 29.7s |      13 |    88819 |    41332 |     5528     12 |        0 |        0
31.88/31.95	c 31.7s |      13 |    92918 |    43832 |     5528     13 |        0 |        0
33.97/34.06	c 33.8s |      13 |    97256 |    46332 |     5528     14 |        0 |        0
36.08/36.10	c 35.9s |      13 |   101627 |    48832 |     5528     14 |        0 |        0
38.08/38.12	c 37.9s |      13 |   104891 |    50732 |     5528     15 |        0 |        0
40.07/40.14	c 39.9s |      13 |   108638 |    53032 |     5528     15 |        0 |        0
42.07/42.18	c 42.0s |      13 |   112629 |    55332 |     5528     16 |        0 |        0
44.18/44.28	c 44.1s |      13 |   116721 |    57732 |     5528     17 |        0 |        0
44.88/44.98	c 44.8s |      14 |   117681 |    58352 |     6081     17 |        0 |        0
46.97/47.06	c 46.8s |      14 |   122924 |    60352 |     6081     17 |        0 |        0
49.07/49.10	c 48.9s |      14 |   126098 |    62352 |     6081     18 |        0 |        0
51.07/51.19	c 51.0s |      14 |   128710 |    64052 |     6081     18 |        0 |        0
53.17/53.26	c 53.0s |      14 |   132020 |    65952 |     6081     19 |        0 |        0
55.17/55.27	c 55.1s |      14 |   135265 |    67952 |     6081     19 |        0 |        0
57.18/57.28	c 57.1s |      14 |   138347 |    69652 |     6081     20 |        0 |        0
59.27/59.32	c 59.1s |      14 |   141105 |    71352 |     6081     20 |        0 |        0
61.37/61.43	c 61.2s |      14 |   143482 |    72852 |     6081     20 |        0 |        0
61.68/61.78	c 61.6s |      14 |   143759 |    73034 |     6081     20 |        0 |        0
61.68/61.78	c #cpu_time = 61.543s
61.68/61.78	c #wall_clock_time = 61.552s
61.68/61.78	c #decision = 143759
61.68/61.78	c #random_decision = 131
61.68/61.78	c #conflict = 73034
61.68/61.78	c #restart = 14
61.68/61.78	c BCD2: found a new core of size 1828: cost of the new core is >=1
61.68/61.78	c lower bound updated to 1
61.68/61.78	c BCD2: 1 <= obj <= 235
61.68/61.78	c BCD2: #cores=1, #unrelaxed=29, #relaxed=1828, #hardened=0
61.68/61.78	c BCD2: #sat=1 #unsat=2 bias=2/3
61.68/61.79	c Solving starts ...
61.68/61.79	c ============================[ Search Statistics ]============================
61.68/61.79	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
61.68/61.79	c       |         |          |          |    Limit     GC | Var      | Constra 
61.68/61.79	c =============================================================================
61.68/61.79	c  0.0s |       0 |        0 |        0 |     6081      0 |        0 |        0
61.87/61.97	c  0.2s |       0 |     1936 |        1 |     6081      1 |        0 |        0
61.87/61.97	c #cpu_time = 0.186s
61.87/61.97	c #wall_clock_time = 0.186s
61.87/61.97	c #decision = 1936
61.87/61.97	c #random_decision = 14
61.87/61.97	c #conflict = 1
61.87/61.97	c #restart = 0
61.87/61.98	o 35
61.87/61.98	c BCD2: hardening fixes 1221 literals
61.87/61.98	c BCD2: updating upper bound: 235 -> 34
61.87/61.98	c BCD2: 1 <= obj <= 34
61.87/61.98	c BCD2: #cores=1, #unrelaxed=9, #relaxed=627, #hardened=1221
61.87/61.98	c BCD2: #sat=2 #unsat=2 bias=2/4
61.87/61.98	c Solving starts ...
61.87/61.98	c ============================[ Search Statistics ]============================
61.87/61.98	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
61.87/61.98	c       |         |          |          |    Limit     GC | Var      | Constra 
61.87/61.98	c =============================================================================
61.87/61.98	c  0.0s |       0 |        0 |        0 |     6081      0 |     1221 |        1
62.07/62.14	c  0.2s |       1 |      222 |      100 |     6081      0 |     1221 |        1
62.17/62.21	c  0.2s |       1 |      365 |      148 |     6081      0 |     1221 |        1
62.17/62.21	c #cpu_time = 0.231s
62.17/62.21	c #wall_clock_time = 0.231s
62.17/62.21	c #decision = 365
62.17/62.21	c #random_decision = 0
62.17/62.21	c #conflict = 148
62.17/62.21	c #restart = 1
62.17/62.21	o 8
62.17/62.21	c BCD2: hardening fixes 498 literals
62.17/62.21	c BCD2: updating upper bound: 34 -> 7
62.17/62.21	c BCD2: 1 <= obj <= 7
62.17/62.21	c BCD2: #cores=1, #unrelaxed=2, #relaxed=136, #hardened=1719
62.17/62.21	c BCD2: #sat=3 #unsat=2 bias=2/5
62.17/62.22	c Solving starts ...
62.17/62.22	c ============================[ Search Statistics ]============================
62.17/62.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
62.17/62.22	c       |         |          |          |    Limit     GC | Var      | Constra 
62.17/62.22	c =============================================================================
62.17/62.22	c  0.0s |       0 |        0 |        0 |     6081      0 |     1719 |        2
62.17/62.29	c  0.1s |       0 |       16 |        0 |     6081      0 |     1719 |        2
62.17/62.29	c #cpu_time = 0.069s
62.17/62.29	c #wall_clock_time = 0.069s
62.17/62.29	c #decision = 16
62.17/62.29	c #random_decision = 0
62.17/62.29	c #conflict = 0
62.17/62.29	c #restart = 0
62.17/62.29	o 7
62.17/62.29	c BCD2: hardening fixes 14 literals
62.17/62.29	c BCD2: updating upper bound: 7 -> 6
62.17/62.29	c BCD2: 1 <= obj <= 6
62.17/62.29	c BCD2: #cores=1, #unrelaxed=2, #relaxed=122, #hardened=1733
62.17/62.29	c BCD2: #sat=4 #unsat=2 bias=2/6
62.17/62.29	c Solving starts ...
62.17/62.29	c ============================[ Search Statistics ]============================
62.17/62.29	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
62.17/62.29	c       |         |          |          |    Limit     GC | Var      | Constra 
62.17/62.29	c =============================================================================
62.17/62.29	c  0.0s |       0 |        0 |        0 |     6081      0 |     1733 |        3
62.27/62.38	c  0.1s |       1 |      138 |      100 |     6081      0 |     1733 |        4
62.37/62.49	c  0.2s |       1 |      310 |      211 |     6081      0 |     1733 |        4
62.37/62.49	c #cpu_time = 0.206s
62.37/62.49	c #wall_clock_time = 0.207s
62.37/62.49	c #decision = 310
62.37/62.49	c #random_decision = 0
62.37/62.49	c #conflict = 211
62.37/62.49	c #restart = 1
62.37/62.50	o 2
62.37/62.50	c BCD2: hardening fixes 112 literals
62.37/62.50	c BCD2: updating upper bound: 6 -> 1
62.47/62.50	c BCD2: 1 <= obj <= 1
62.47/62.50	c BCD2: #cores=1, #unrelaxed=0, #relaxed=12, #hardened=1845
62.47/62.50	c BCD2: #sat=5 #unsat=2 bias=2/7
62.47/62.50	c Solving starts ...
62.47/62.50	c ============================[ Search Statistics ]============================
62.47/62.50	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
62.47/62.50	c       |         |          |          |    Limit     GC | Var      | Constra 
62.47/62.50	c =============================================================================
62.47/62.50	c  0.0s |       0 |        0 |        0 |     6081      0 |     1845 |        8
62.57/62.62	c  0.1s |       1 |      159 |      100 |     6081      0 |     1845 |        8
62.68/62.72	c  0.2s |       2 |      388 |      250 |     6081      0 |     1845 |        8
62.78/62.84	c  0.3s |       3 |      713 |      475 |     6081      0 |     1845 |        8
62.97/63.03	c  0.5s |       4 |     1182 |      813 |     6081      0 |     1845 |        8
63.17/63.29	c  0.8s |       5 |     1997 |     1320 |     6081      0 |     1845 |        8
63.67/63.70	c  1.2s |       6 |     3236 |     2081 |     6081      0 |     1845 |        8
63.87/63.92	c  1.4s |       6 |     4006 |     2557 |     6081      0 |     1845 |        8
63.87/63.92	c #cpu_time = 1.419s
63.87/63.92	c #wall_clock_time = 1.419s
63.87/63.92	c #decision = 4006
63.87/63.92	c #random_decision = 6
63.87/63.92	c #conflict = 2557
63.87/63.92	c #restart = 6
63.87/63.92	o 1
63.87/63.92	s OPTIMUM FOUND
63.87/63.92	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10
63.87/63.92	v -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
63.87/63.92	v -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30
63.87/63.92	v -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40
63.87/63.92	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50
63.87/63.92	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
63.87/63.92	v -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70
63.87/63.92	v -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80
63.87/63.92	v x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
63.87/63.92	v -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100
63.87/63.92	v x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
63.87/63.92	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
63.87/63.92	v x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
63.87/63.92	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
63.87/63.92	v -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 -x150
63.87/63.92	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160
63.87/63.92	v -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170
63.87/63.92	v -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
63.87/63.92	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
63.87/63.92	v x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200
63.87/63.92	v -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210
63.87/63.92	v -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220
63.87/63.92	v -x221 -x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
63.87/63.92	v -x231
63.87/63.92	c total CPU time = 63.910s
63.87/63.92	c total wall clock time = 63.919s

Verifier Data 

OK	1

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

pid=3818
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.21 2.26 2.14 3/179 3821
/proc/meminfo: memFree=29081008/32872528 swapFree=1499884/1696108
[pid=3821] ppid=3818 vsize=680380 CPUtime=0 cores=1,3,5,7
/proc/3821/stat : 3821 (toysat) R 3818 3821 2004 0 -1 4202496 2530 0 0 0 0 0 0 0 20 0 4 0 36496325 696709120 2891 33554432000 4194304 16246674 140735734849808 140735734849232 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3821/statm: 170863 2900 441 2943 0 167757 0
[pid=3821/tid=3822] ppid=3818 vsize=697788 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3822/stat : 3822 (toysat) S 3818 3821 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36496325 714534912 2960 33554432000 4194304 16246674 140735734849808 139774620839152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3821/tid=3823] ppid=3818 vsize=701884 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3823/stat : 3823 (toysat) S 3818 3821 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36496325 718729216 2976 33554432000 4194304 16246674 140735734849808 139774610349296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3824] ppid=3818 vsize=707004 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3824/stat : 3824 (toysat) S 3818 3821 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36496325 723972096 2993 33554432000 4194304 16246674 140735734849808 139774599875760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100225 s]
/proc/loadavg: 2.21 2.26 2.14 3/179 3821
/proc/meminfo: memFree=29081008/32872528 swapFree=1499884/1696108
[pid=3821] ppid=3818 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/3821/stat : 3821 (toysat) R 3818 3821 2004 0 -1 4202496 24606 0 0 0 6 3 0 0 20 0 4 0 36496325 1247350784 24960 33554432000 4194304 16246674 140735734849808 140735734849232 12481124 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3821/statm: 304529 24968 609 2943 0 301423 0
[pid=3821/tid=3822] ppid=3818 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3822/stat : 3822 (toysat) S 3818 3821 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36496325 1247350784 24969 33554432000 4194304 16246674 140735734849808 139774620839152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3821/tid=3823] ppid=3818 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3823/stat : 3823 (toysat) S 3818 3821 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36496325 1247350784 24969 33554432000 4194304 16246674 140735734849808 139774610349296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3824] ppid=3818 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3824/stat : 3824 (toysat) S 3818 3821 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36496325 1247350784 24972 33554432000 4194304 16246674 140735734849808 139774599875760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200535 s]
/proc/loadavg: 2.21 2.26 2.14 3/179 3821
/proc/meminfo: memFree=29081008/32872528 swapFree=1499884/1696108
[pid=3821] ppid=3818 vsize=1221188 CPUtime=0.19 cores=1,3,5,7
/proc/3821/stat : 3821 (toysat) R 3818 3821 2004 0 -1 4202496 32874 0 0 0 15 4 0 0 20 0 4 0 36496325 1250496512 33182 33554432000 4194304 16246674 140735734849808 140735734849120 5832615 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3821/statm: 305297 33182 896 2943 0 302191 0
[pid=3821/tid=3822] ppid=3818 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3822/stat : 3822 (toysat) S 3818 3821 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36496325 1250496512 33182 33554432000 4194304 16246674 140735734849808 139774620839152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3821/tid=3823] ppid=3818 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3823/stat : 3823 (toysat) S 3818 3821 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36496325 1250496512 33182 33554432000 4194304 16246674 140735734849808 139774610349296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3824] ppid=3818 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3824/stat : 3824 (toysat) S 3818 3821 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36496325 1250496512 33182 33554432000 4194304 16246674 140735734849808 139774599875760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300481 s]
/proc/loadavg: 2.21 2.26 2.14 3/179 3821
/proc/meminfo: memFree=29081008/32872528 swapFree=1499884/1696108
[pid=3821] ppid=3818 vsize=1303108 CPUtime=0.28 cores=1,3,5,7
/proc/3821/stat : 3821 (toysat) R 3818 3821 2004 0 -1 4202496 49281 0 0 0 22 6 0 0 20 0 4 0 36496325 1334382592 49589 33554432000 4194304 16246674 140735734849808 140735734849120 5532733 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3821/statm: 325777 49602 923 2943 0 322671 0
[pid=3821/tid=3822] ppid=3818 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3822/stat : 3822 (toysat) S 3818 3821 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36496325 1334382592 49610 33554432000 4194304 16246674 140735734849808 139774620839152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3821/tid=3823] ppid=3818 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3823/stat : 3823 (toysat) S 3818 3821 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36496325 1334382592 49618 33554432000 4194304 16246674 140735734849808 139774610349296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3824] ppid=3818 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3824/stat : 3824 (toysat) S 3818 3821 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36496325 1334382592 49626 33554432000 4194304 16246674 140735734849808 139774599875760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1303108

[startup+0.700431 s]
/proc/loadavg: 2.21 2.26 2.14 3/179 3821
/proc/meminfo: memFree=29081008/32872528 swapFree=1499884/1696108
[pid=3821] ppid=3818 vsize=1307204 CPUtime=0.69 cores=1,3,5,7
/proc/3821/stat : 3821 (toysat) R 3818 3821 2004 0 -1 4202496 79593 0 0 0 59 10 0 0 20 0 4 0 36496325 1338576896 79901 33554432000 4194304 16246674 140735734849808 140735734831680 5674264 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3821/statm: 326801 79901 929 2943 0 323695 0
[pid=3821/tid=3822] ppid=3818 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3822/stat : 3822 (toysat) S 3818 3821 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36496325 1338576896 79901 33554432000 4194304 16246674 140735734849808 139774620839152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3821/tid=3823] ppid=3818 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3823/stat : 3823 (toysat) S 3818 3821 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36496325 1338576896 79901 33554432000 4194304 16246674 140735734849808 139774610349296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3824] ppid=3818 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3824/stat : 3824 (toysat) S 3818 3821 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36496325 1338576896 79901 33554432000 4194304 16246674 140735734849808 139774599875760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1307204

[startup+1.50042 s]
/proc/loadavg: 2.21 2.26 2.14 3/183 3825
/proc/meminfo: memFree=28765008/32872528 swapFree=1499884/1696108
[pid=3821] ppid=3818 vsize=1307204 CPUtime=1.48 cores=1,3,5,7
/proc/3821/stat : 3821 (toysat) R 3818 3821 2004 0 -1 4202496 86893 0 0 0 137 11 0 0 20 0 4 0 36496325 1338576896 87201 33554432000 4194304 16246674 140735734849808 140735734831680 5763264 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3821/statm: 326801 87201 932 2943 0 323695 0
[pid=3821/tid=3822] ppid=3818 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3822/stat : 3822 (toysat) S 3818 3821 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36496325 1338576896 87201 33554432000 4194304 16246674 140735734849808 139774620839152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3821/tid=3823] ppid=3818 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3823/stat : 3823 (toysat) S 3818 3821 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36496325 1338576896 87201 33554432000 4194304 16246674 140735734849808 139774610349296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3824] ppid=3818 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3824/stat : 3824 (toysat) S 3818 3821 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36496325 1338576896 87201 33554432000 4194304 16246674 140735734849808 139774599875760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1307204

[startup+3.10043 s]
/proc/loadavg: 2.21 2.26 2.14 3/183 3825
/proc/meminfo: memFree=28735496/32872528 swapFree=1499884/1696108
[pid=3821] ppid=3818 vsize=1308228 CPUtime=3.08 cores=1,3,5,7
/proc/3821/stat : 3821 (toysat) R 3818 3821 2004 0 -1 4202496 87150 0 0 0 297 11 0 0 20 0 4 0 36496325 1339625472 87458 33554432000 4194304 16246674 140735734849808 140735734832800 12483403 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3821/statm: 327057 87458 933 2943 0 323951 0
[pid=3821/tid=3822] ppid=3818 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3822/stat : 3822 (toysat) S 3818 3821 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36496325 1339625472 87458 33554432000 4194304 16246674 140735734849808 139774620839152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3821/tid=3823] ppid=3818 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3823/stat : 3823 (toysat) S 3818 3821 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36496325 1339625472 87458 33554432000 4194304 16246674 140735734849808 139774610349296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3824] ppid=3818 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3824/stat : 3824 (toysat) S 3818 3821 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36496325 1339625472 87458 33554432000 4194304 16246674 140735734849808 139774599875760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1308228

[startup+6.30044 s]
/proc/loadavg: 2.27 2.27 2.14 4/183 3825
/proc/meminfo: memFree=28546908/32872528 swapFree=1499884/1696108
[pid=3821] ppid=3818 vsize=1308228 CPUtime=6.28 cores=1,3,5,7
/proc/3821/stat : 3821 (toysat) R 3818 3821 2004 0 -1 4202496 133917 0 0 0 610 18 0 0 20 0 4 0 36496325 1339625472 134225 33554432000 4194304 16246674 140735734849808 140735734831680 5545916 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3821/statm: 327057 134225 933 2943 0 323951 0
[pid=3821/tid=3822] ppid=3818 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3822/stat : 3822 (toysat) S 3818 3821 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36496325 1339625472 134225 33554432000 4194304 16246674 140735734849808 139774620839152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3821/tid=3823] ppid=3818 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3823/stat : 3823 (toysat) S 3818 3821 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36496325 1339625472 134225 33554432000 4194304 16246674 140735734849808 139774610349296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3824] ppid=3818 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3824/stat : 3824 (toysat) S 3818 3821 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36496325 1339625472 134225 33554432000 4194304 16246674 140735734849808 139774599875760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.33 2.29 2.14 4/183 3825
/proc/meminfo: memFree=28543620/32872528 swapFree=1499884/1696108
[pid=3821] ppid=3818 vsize=1311300 CPUtime=12.68 cores=1,3,5,7
/proc/3821/stat : 3821 (toysat) R 3818 3821 2004 0 -1 4202496 134616 0 0 0 1250 18 0 0 20 0 4 0 36496325 1342771200 134924 33554432000 4194304 16246674 140735734849808 140735734831680 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3821/statm: 327825 134924 933 2943 0 324719 0
[pid=3821/tid=3822] ppid=3818 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3822/stat : 3822 (toysat) S 3818 3821 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36496325 1342771200 134924 33554432000 4194304 16246674 140735734849808 139774620839152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3821/tid=3823] ppid=3818 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3823/stat : 3823 (toysat) S 3818 3821 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36496325 1342771200 134924 33554432000 4194304 16246674 140735734849808 139774610349296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3824] ppid=3818 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3824/stat : 3824 (toysat) S 3818 3821 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36496325 1342771200 134924 33554432000 4194304 16246674 140735734849808 139774599875760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 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.26 2.27 2.14 3/183 3825
/proc/meminfo: memFree=28542748/32872528 swapFree=1499884/1696108
[pid=3821] ppid=3818 vsize=1313348 CPUtime=25.47 cores=1,3,5,7
/proc/3821/stat : 3821 (toysat) R 3818 3821 2004 0 -1 4202496 135050 0 0 0 2528 19 0 0 20 0 4 0 36496325 1344868352 135358 33554432000 4194304 16246674 140735734849808 140735734831680 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3821/statm: 328337 135358 933 2943 0 325231 0
[pid=3821/tid=3822] ppid=3818 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3822/stat : 3822 (toysat) S 3818 3821 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36496325 1344868352 135358 33554432000 4194304 16246674 140735734849808 139774620839152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3821/tid=3823] ppid=3818 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3823/stat : 3823 (toysat) S 3818 3821 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36496325 1344868352 135358 33554432000 4194304 16246674 140735734849808 139774610349296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3824] ppid=3818 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3824/stat : 3824 (toysat) S 3818 3821 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36496325 1344868352 135358 33554432000 4194304 16246674 140735734849808 139774599875760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.37 2.30 2.15 4/183 3825
/proc/meminfo: memFree=28542216/32872528 swapFree=1499884/1696108
[pid=3821] ppid=3818 vsize=1313348 CPUtime=51.07 cores=1,3,5,7
/proc/3821/stat : 3821 (toysat) R 3818 3821 2004 0 -1 4202496 135197 0 0 0 5084 23 0 0 20 0 4 0 36496325 1344868352 135505 33554432000 4194304 16246674 140735734849808 140735734848904 5546005 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3821/statm: 328337 135505 933 2943 0 325231 0
[pid=3821/tid=3822] ppid=3818 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3822/stat : 3822 (toysat) S 3818 3821 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36496325 1344868352 135505 33554432000 4194304 16246674 140735734849808 139774620839152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3821/tid=3823] ppid=3818 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3823/stat : 3823 (toysat) S 3818 3821 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36496325 1344868352 135505 33554432000 4194304 16246674 140735734849808 139774610349296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3824] ppid=3818 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3824/stat : 3824 (toysat) S 3818 3821 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36496325 1344868352 135505 33554432000 4194304 16246674 140735734849808 139774599875760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1313348

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

[startup+51.2005 s]
/proc/loadavg: 2.37 2.30 2.15 4/183 3825
/proc/meminfo: memFree=28542216/32872528 swapFree=1499884/1696108
[pid=3821] ppid=3818 vsize=1313348 CPUtime=51.17 cores=1,3,5,7
/proc/3821/stat : 3821 (toysat) R 3818 3821 2004 0 -1 4202496 135197 0 0 0 5094 23 0 0 20 0 4 0 36496325 1344868352 135505 33554432000 4194304 16246674 140735734849808 140735734832800 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3821/statm: 328337 135505 933 2943 0 325231 0
[pid=3821/tid=3822] ppid=3818 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3822/stat : 3822 (toysat) S 3818 3821 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36496325 1344868352 135505 33554432000 4194304 16246674 140735734849808 139774620839152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3821/tid=3823] ppid=3818 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3823/stat : 3823 (toysat) S 3818 3821 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36496325 1344868352 135505 33554432000 4194304 16246674 140735734849808 139774610349296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3824] ppid=3818 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3824/stat : 3824 (toysat) S 3818 3821 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36496325 1344868352 135505 33554432000 4194304 16246674 140735734849808 139774599875760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 1313348

[startup+57.6004 s]
/proc/loadavg: 2.42 2.31 2.16 4/183 3825
/proc/meminfo: memFree=28542464/32872528 swapFree=1499884/1696108
[pid=3821] ppid=3818 vsize=1313348 CPUtime=57.57 cores=1,3,5,7
/proc/3821/stat : 3821 (toysat) R 3818 3821 2004 0 -1 4202496 135197 0 0 0 5733 24 0 0 20 0 4 0 36496325 1344868352 135505 33554432000 4194304 16246674 140735734849808 140735734831680 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3821/statm: 328337 135505 933 2943 0 325231 0
[pid=3821/tid=3822] ppid=3818 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3822/stat : 3822 (toysat) S 3818 3821 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36496325 1344868352 135505 33554432000 4194304 16246674 140735734849808 139774620839152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3821/tid=3823] ppid=3818 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3823/stat : 3823 (toysat) S 3818 3821 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36496325 1344868352 135505 33554432000 4194304 16246674 140735734849808 139774610349296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3824] ppid=3818 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3824/stat : 3824 (toysat) S 3818 3821 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36496325 1344868352 135505 33554432000 4194304 16246674 140735734849808 139774599875760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 57.57
Current children cumulated vsize (KiB) 1313348

[startup+60.8004 s]
/proc/loadavg: 2.39 2.30 2.16 3/183 3826
/proc/meminfo: memFree=28541812/32872528 swapFree=1499884/1696108
[pid=3821] ppid=3818 vsize=1313348 CPUtime=60.77 cores=1,3,5,7
/proc/3821/stat : 3821 (toysat) R 3818 3821 2004 0 -1 4202496 135197 0 0 0 6052 25 0 0 20 0 4 0 36496325 1344868352 135505 33554432000 4194304 16246674 140735734849808 140735734831680 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3821/statm: 328337 135505 933 2943 0 325231 0
[pid=3821/tid=3822] ppid=3818 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3822/stat : 3822 (toysat) S 3818 3821 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36496325 1344868352 135505 33554432000 4194304 16246674 140735734849808 139774620839152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3821/tid=3823] ppid=3818 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3823/stat : 3823 (toysat) S 3818 3821 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36496325 1344868352 135505 33554432000 4194304 16246674 140735734849808 139774610349296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3824] ppid=3818 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3824/stat : 3824 (toysat) S 3818 3821 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36496325 1344868352 135505 33554432000 4194304 16246674 140735734849808 139774599875760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 60.77
Current children cumulated vsize (KiB) 1313348

[startup+62.4004 s]
/proc/loadavg: 2.39 2.30 2.16 3/183 3826
/proc/meminfo: memFree=28541812/32872528 swapFree=1499884/1696108
[pid=3821] ppid=3818 vsize=1313348 CPUtime=62.37 cores=1,3,5,7
/proc/3821/stat : 3821 (toysat) R 3818 3821 2004 0 -1 4202496 135207 0 0 0 6212 25 0 0 20 0 4 0 36496325 1344868352 135515 33554432000 4194304 16246674 140735734849808 140735734832800 5530676 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3821/statm: 328337 135515 943 2943 0 325231 0
[pid=3821/tid=3822] ppid=3818 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3822/stat : 3822 (toysat) S 3818 3821 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36496325 1344868352 135515 33554432000 4194304 16246674 140735734849808 139774620839152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3821/tid=3823] ppid=3818 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3823/stat : 3823 (toysat) S 3818 3821 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36496325 1344868352 135515 33554432000 4194304 16246674 140735734849808 139774610349296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3824] ppid=3818 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3824/stat : 3824 (toysat) S 3818 3821 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36496325 1344868352 135515 33554432000 4194304 16246674 140735734849808 139774599875760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 62.37
Current children cumulated vsize (KiB) 1313348

[startup+63.2004 s]
/proc/loadavg: 2.39 2.30 2.16 3/183 3826
/proc/meminfo: memFree=28541820/32872528 swapFree=1499884/1696108
[pid=3821] ppid=3818 vsize=1313348 CPUtime=63.17 cores=1,3,5,7
/proc/3821/stat : 3821 (toysat) R 3818 3821 2004 0 -1 4202496 184852 0 0 0 6284 33 0 0 20 0 4 0 36496325 1344868352 185160 33554432000 4194304 16246674 140735734849808 140735734847680 13191638 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3821/statm: 328337 185167 943 2943 0 325231 0
[pid=3821/tid=3822] ppid=3818 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3822/stat : 3822 (toysat) S 3818 3821 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36496325 1344868352 185171 33554432000 4194304 16246674 140735734849808 139774620839152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3821/tid=3823] ppid=3818 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3823/stat : 3823 (toysat) S 3818 3821 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36496325 1344868352 185174 33554432000 4194304 16246674 140735734849808 139774610349296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3824] ppid=3818 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3824/stat : 3824 (toysat) S 3818 3821 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36496325 1344868352 185179 33554432000 4194304 16246674 140735734849808 139774599875760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 63.17
Current children cumulated vsize (KiB) 1313348

[startup+63.6004 s]
/proc/loadavg: 2.39 2.30 2.16 3/183 3826
/proc/meminfo: memFree=28541820/32872528 swapFree=1499884/1696108
[pid=3821] ppid=3818 vsize=1313348 CPUtime=63.57 cores=1,3,5,7
/proc/3821/stat : 3821 (toysat) R 3818 3821 2004 0 -1 4202496 259531 0 0 0 6315 42 0 0 20 0 4 0 36496325 1344868352 259839 33554432000 4194304 16246674 140735734849808 140735734831680 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3821/statm: 328337 259844 943 2943 0 325231 0
[pid=3821/tid=3822] ppid=3818 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3822/stat : 3822 (toysat) S 3818 3821 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36496325 1344868352 259848 33554432000 4194304 16246674 140735734849808 139774620839152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3821/tid=3823] ppid=3818 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3823/stat : 3823 (toysat) S 3818 3821 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36496325 1344868352 259853 33554432000 4194304 16246674 140735734849808 139774610349296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3824] ppid=3818 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3824/stat : 3824 (toysat) S 3818 3821 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36496325 1344868352 259858 33554432000 4194304 16246674 140735734849808 139774599875760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 63.57
Current children cumulated vsize (KiB) 1313348

[startup+63.8004 s]
/proc/loadavg: 2.39 2.30 2.16 3/183 3826
/proc/meminfo: memFree=28000188/32872528 swapFree=1499884/1696108
[pid=3821] ppid=3818 vsize=1318468 CPUtime=63.77 cores=1,3,5,7
/proc/3821/stat : 3821 (toysat) R 3818 3821 2004 0 -1 4202496 270659 0 0 0 6333 44 0 0 20 0 4 0 36496325 1350111232 270967 33554432000 4194304 16246674 140735734849808 140735734831680 5672971 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3821/statm: 329617 270967 943 2943 0 326511 0
[pid=3821/tid=3822] ppid=3818 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3822/stat : 3822 (toysat) S 3818 3821 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36496325 1350111232 270967 33554432000 4194304 16246674 140735734849808 139774620839152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3821/tid=3823] ppid=3818 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3823/stat : 3823 (toysat) S 3818 3821 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36496325 1350111232 270967 33554432000 4194304 16246674 140735734849808 139774610349296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3824] ppid=3818 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3824/stat : 3824 (toysat) S 3818 3821 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36496325 1350111232 270967 33554432000 4194304 16246674 140735734849808 139774599875760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 63.77
Current children cumulated vsize (KiB) 1318468

[startup+63.9076 s]
/proc/loadavg: 2.39 2.30 2.16 3/183 3826
/proc/meminfo: memFree=28000188/32872528 swapFree=1499884/1696108
[pid=3821] ppid=3818 vsize=1318468 CPUtime=63.87 cores=1,3,5,7
/proc/3821/stat : 3821 (toysat) R 3818 3821 2004 0 -1 4202496 270659 0 0 0 6343 44 0 0 20 0 4 0 36496325 1350111232 270967 33554432000 4194304 16246674 140735734849808 140735734831680 5823230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3821/statm: 329617 270967 943 2943 0 326511 0
[pid=3821/tid=3822] ppid=3818 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3822/stat : 3822 (toysat) S 3818 3821 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36496325 1350111232 270967 33554432000 4194304 16246674 140735734849808 139774620839152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3821/tid=3823] ppid=3818 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3823/stat : 3823 (toysat) S 3818 3821 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36496325 1350111232 270967 33554432000 4194304 16246674 140735734849808 139774610349296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3824] ppid=3818 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3824/stat : 3824 (toysat) S 3818 3821 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36496325 1350111232 270967 33554432000 4194304 16246674 140735734849808 139774599875760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 63.87
Current children cumulated vsize (KiB) 1318468

Child status: 0
Real time (s): 63.9863
CPU time (s): 63.9653
CPU user time (s): 63.4534
CPU system time (s): 0.511922
CPU usage (%): 99.9672
Max. virtual memory (cumulated for all children) (KiB): 1318468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 63.4534
system time used= 0.511922
maximum resident set size= 1083872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270662
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= 16
involuntary context switches= 116

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.168974 second user time and 0.246962 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-19 15:55:06
IDJOB=4109962
IDBENCH=78984
IDSOLVER=2553
FILE ID=node137/4109962-1466344506
RUNJOBID= node137-1466341805-2021
PBS_JOBID= 19922016
Free space on /tmp= 71688 MiB

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

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

MD5SUM BENCH= 4d7369f2c7754df76e462e1a1e9c34c5
RANDOM SEED=1509428075

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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:        29085516 kB
Buffers:           71516 kB
Cached:           191248 kB
SwapCached:         1260 kB
Active:          1209700 kB
Inactive:         139748 kB
Active(anon):    1086972 kB
Inactive(anon):     2080 kB
Active(file):     122728 kB
Inactive(file):   137668 kB
Unevictable:     1696108 kB
Mlocked:         1499884 kB
SwapTotal:      67108856 kB
SwapFree:       67100128 kB
Dirty:             16724 kB
Writeback:             0 kB
AnonPages:       2782276 kB
Mapped:            10836 kB
Shmem:                 0 kB
Slab:             606932 kB
SReclaimable:      50568 kB
SUnreclaim:       556364 kB
KernelStack:        1520 kB
PageTables:         9492 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2924648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    251904 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 node137 at 2016-06-19 15:56:10