Trace number 4110350

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02OPTIMUM 68.3796 68.3906

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900567135--soft-0-100-0.wbo
MD5SUM51cd1cd61e067c06067b10b7beeffad7
Bench CategorySOFT-SMALLINT-LIN (only soft 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 benchmark27.7658
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 135865
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135864
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 761
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:01:53+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-4110350-1466344913.wbo"]
0.00/0.01	c use --random-gen="3239065641 1347927059 3764779250 388753756 2203093993 2710212798 1377366947 3914167731 983263141 2441686819 4290603454 3654081541 4182011583 929439307 4035274824 3871007288 587939842 1281052012 2651739308 454977949 2855702158 2314306502 2669735284 3393277256 1983556677 1653897204 3951239519 2600641017 1928553526 3284098512 2305673925 2397458313 3463930001 1410475607 2732555988 2998681088 3550856942 3218727107 1846380298 501590039 3758129417 108236865 639386448 1501953028 4076947494 3657103792 2129866953 610880028 155203467 2395386736 1658034076 954654745 623080847 1863229599 2082055928 2055036306 1316802613 858647821 1405147150 1759537774 2540141803 220151368 5632521 3273606034 1986980173 3463798038 80165333 930815508 2525469938 4075739882 4287495739 877986132 267254550 69027598 2488968604 382180256 3820926248 441430968 2285782533 905784481 105098141 2414378097 1721363475 2659341870 771384221 3222948070 427275803 4084884828 3647099120 3740474310 3292952874 3897431307 2883399993 2197072405 2656150734 1737181270 2519004406 2458065904 3761128926 3736019101 1320012951 4144514611 992544354 3055428016 2065075758 1436975905 2953801283 660878177 3173473124 3197061987 1220178120 1278770648 508317759 2511008954 240609093 3211270802 1141144746 1236068555 3282361718 3169904199 203937819 3628403961 4080405512 84777518 3758604572 2043535403 3436494505 918582493 3597405102 3956526511 493139598 354622316 1208527080 3827026258 3138669015 894538901 1840268763 2458086053 602515826 4099232598 3164445919 1862761008 462543730 3423124881 1621103352 3534118373 711231109 727262950 1633844913 3123741318 1605713317 1392788419 1225576890 1572218366 3128058446 2694364022 596677838 1195502812 807928011 3886009852 412561537 2299403572 1555930065 4251983159 1136365176 713791776 406762785 4226152078 2868229277 1768297877 618691817 3047648235 4112191460 1457980359 455780337 2039774941 3439530289 55033131 1739441156 3016623347 1142686052 3388944110 576774263 1457464611 2451362856 274831461 942697835 925193576 2995466992 964688768 1287599681 2268973852 3917324300 1941751675 3522576795 3295023135 2835142201 4263999053 3543692135 3863481220 172810455 1674509333 200917965 1935505023 95518555 4044882991 1595054784 2011909016 202909071 2666740529 35140135 736927641 3534120972 3784649420 3469539288 2715606879 2079844454 2513463486 3139266663 3977980342 3582161034 278478223 356585947 1672330936 3709526553 3973961119 3751371210 1967176809 1114020864 2022574935 3117184480 2746796992 4251972151 2685602192 3781523410 4006334824 1030266045 4163310683 358520053 4190082492 638651705 2387951984 1427401155 4226135162 1079622306 2457331548 288403025 4231368151 3048742423 1416051461 109355622 1924631143 654542180 3359718537 2824808059 526205489 255 362436" option to reproduce the execution
0.09/0.16	c #vars 231
0.09/0.16	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 = 19
0.19/0.23	c #conflict = 0
0.19/0.23	c #restart = 0
0.19/0.23	o 385
0.19/0.23	c BCD2: updating upper bound: 135864 -> 384
0.19/0.25	c BCD2: 0 <= obj <= 384
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.27	c  0.0s |       1 |     2929 |      100 |     1881      0 |        0 |        0
0.29/0.31	c  0.1s |       2 |     5869 |      250 |     2070      0 |        0 |        0
0.29/0.37	c  0.1s |       3 |     8953 |      475 |     2277      0 |        0 |        0
0.39/0.46	c  0.2s |       4 |    12168 |      813 |     2505      0 |        0 |        0
0.59/0.62	c  0.4s |       5 |    15789 |     1320 |     2756      0 |        0 |        0
0.79/0.81	c  0.6s |       6 |    19836 |     2081 |     3336      0 |        0 |        0
1.29/1.30	c  1.1s |       7 |    24503 |     3223 |     3670      0 |        0 |        0
2.49/2.52	c  2.3s |       8 |    30092 |     4936 |     4038      0 |        0 |        0
4.38/4.47	c  4.2s |       9 |    36934 |     7506 |     4442      1 |        0 |        0
6.38/6.48	c  6.2s |       9 |    43612 |    10306 |     4442      2 |        0 |        0
7.18/7.22	c  7.0s |      10 |    45143 |    11361 |     4887      2 |        0 |        0
9.19/9.28	c  9.0s |      10 |    50529 |    13161 |     4887      3 |        0 |        0
11.29/11.39	c 11.1s |      10 |    53152 |    14861 |     4887      3 |        0 |        0
13.39/13.43	c 13.2s |      10 |    55657 |    16561 |     4887      4 |        0 |        0
14.29/14.36	c 14.1s |      11 |    56622 |    17144 |     5376      4 |        0 |        0
16.49/16.52	c 16.3s |      11 |    60672 |    18144 |     5376      4 |        0 |        0
18.48/18.58	c 18.3s |      11 |    64099 |    20644 |     5376      5 |        0 |        0
20.49/20.59	c 20.3s |      11 |    66670 |    22544 |     5376      5 |        0 |        0
22.59/22.62	c 22.4s |      11 |    69791 |    24344 |     5376      6 |        0 |        0
23.79/23.80	c 23.6s |      12 |    72510 |    25819 |     5914      6 |        0 |        0
25.79/25.85	c 25.6s |      12 |    78667 |    27819 |     5914      6 |        0 |        0
27.79/27.89	c 27.6s |      12 |    81883 |    29719 |     5914      7 |        0 |        0
29.89/29.94	c 29.7s |      12 |    85818 |    31819 |     5914      7 |        0 |        0
31.89/31.99	c 31.7s |      12 |    90015 |    34119 |     5914      8 |        0 |        0
34.08/34.10	c 33.8s |      12 |    93177 |    35919 |     5914      8 |        0 |        0
36.08/36.12	c 35.9s |      12 |    95864 |    37419 |     5914      8 |        0 |        0
38.19/38.23	c 38.0s |      12 |    98175 |    38819 |     6506      9 |        0 |        0
38.19/38.25	c 38.0s |      13 |    98204 |    38832 |     6506      9 |        0 |        0
40.28/40.35	c 40.1s |      13 |   103458 |    40132 |     6506      9 |        0 |        0
40.98/41.04	c 40.8s |      13 |   103962 |    40459 |     6506      9 |        0 |        0
40.98/41.04	c #cpu_time = 40.687s
40.98/41.04	c #wall_clock_time = 40.791s
40.98/41.04	c #decision = 103962
40.98/41.04	c #random_decision = 42
40.98/41.04	c #conflict = 40459
40.98/41.04	c #restart = 13
40.98/41.04	c BCD2: found a new core of size 2620: cost of the new core is >=1
40.98/41.04	c lower bound updated to 1
40.98/41.05	c BCD2: 1 <= obj <= 384
40.98/41.05	c BCD2: #cores=1, #unrelaxed=87, #relaxed=2620, #hardened=0
40.98/41.05	c BCD2: #sat=1 #unsat=2 bias=2/3
40.98/41.06	c Solving starts ...
40.98/41.06	c ============================[ Search Statistics ]============================
40.98/41.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
40.98/41.06	c       |         |          |          |    Limit     GC | Var      | Constra 
40.98/41.06	c =============================================================================
40.98/41.06	c  0.0s |       0 |        0 |        0 |     6506      0 |        0 |        0
41.28/41.36	c  0.3s |       0 |     2990 |        4 |     6506      1 |        0 |        0
41.28/41.36	c #cpu_time = 0.298s
41.28/41.36	c #wall_clock_time = 0.299s
41.28/41.36	c #decision = 2990
41.28/41.36	c #random_decision = 8
41.28/41.36	c #conflict = 4
41.28/41.36	c #restart = 0
41.28/41.36	o 133
41.28/41.38	c BCD2: updating upper bound: 384 -> 132
41.28/41.38	c BCD2: 1 <= obj <= 132
41.28/41.38	c BCD2: #cores=1, #unrelaxed=87, #relaxed=2620, #hardened=0
41.28/41.38	c BCD2: #sat=2 #unsat=2 bias=2/4
41.28/41.39	c Solving starts ...
41.28/41.39	c ============================[ Search Statistics ]============================
41.28/41.39	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
41.28/41.39	c       |         |          |          |    Limit     GC | Var      | Constra 
41.28/41.39	c =============================================================================
41.28/41.39	c  0.0s |       0 |        0 |        0 |     6506      0 |        0 |        1
41.38/41.47	c  0.1s |       0 |      193 |        0 |     6506      0 |        0 |        1
41.38/41.47	c #cpu_time = 0.078s
41.38/41.47	c #wall_clock_time = 0.078s
41.38/41.47	c #decision = 193
41.38/41.47	c #random_decision = 0
41.38/41.47	c #conflict = 0
41.38/41.47	c #restart = 0
41.38/41.47	o 67
41.38/41.47	c BCD2: hardening fixes 915 literals
41.38/41.47	c BCD2: updating upper bound: 132 -> 66
41.38/41.48	c BCD2: 1 <= obj <= 66
41.38/41.48	c BCD2: #cores=1, #unrelaxed=59, #relaxed=1733, #hardened=915
41.38/41.48	c BCD2: #sat=3 #unsat=2 bias=2/5
41.38/41.49	c Solving starts ...
41.38/41.49	c ============================[ Search Statistics ]============================
41.38/41.49	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
41.38/41.49	c       |         |          |          |    Limit     GC | Var      | Constra 
41.38/41.49	c =============================================================================
41.38/41.49	c  0.0s |       0 |        0 |        0 |     6506      0 |      915 |        2
41.58/41.65	c  0.2s |       1 |      453 |      100 |     6506      0 |      915 |        2
41.89/41.92	c  0.4s |       2 |      758 |      250 |     6506      0 |      915 |        2
41.99/42.05	c  0.6s |       2 |     1004 |      299 |     6506      0 |      915 |        2
41.99/42.05	c #cpu_time = 0.553s
41.99/42.05	c #wall_clock_time = 0.555s
41.99/42.05	c #decision = 1004
41.99/42.05	c #random_decision = 0
41.99/42.05	c #conflict = 299
41.99/42.05	c #restart = 2
41.99/42.05	o 22
41.99/42.05	c BCD2: hardening fixes 1218 literals
41.99/42.05	c BCD2: updating upper bound: 66 -> 21
41.99/42.05	c BCD2: 1 <= obj <= 21
41.99/42.05	c BCD2: #cores=1, #unrelaxed=17, #relaxed=557, #hardened=2133
41.99/42.05	c BCD2: #sat=4 #unsat=2 bias=2/6
41.99/42.06	c Solving starts ...
41.99/42.06	c ============================[ Search Statistics ]============================
41.99/42.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
41.99/42.06	c       |         |          |          |    Limit     GC | Var      | Constra 
41.99/42.06	c =============================================================================
41.99/42.06	c  0.0s |       0 |        0 |        0 |     6506      0 |     2133 |        3
42.08/42.16	c  0.1s |       1 |      174 |      100 |     6506      0 |     2133 |        3
42.28/42.30	c  0.2s |       2 |      421 |      250 |     6506      0 |     2133 |        3
42.38/42.47	c  0.4s |       3 |      784 |      475 |     6506      0 |     2133 |        3
42.58/42.69	c  0.6s |       4 |     1333 |      813 |     6506      0 |     2133 |        3
42.88/43.00	c  0.9s |       5 |     2165 |     1320 |     6506      0 |     2133 |        3
43.38/43.46	c  1.4s |       6 |     3420 |     2081 |     6506      0 |     2133 |        3
43.98/44.07	c  2.0s |       7 |     5160 |     3223 |     6506      0 |     2133 |        3
44.98/45.04	c  3.0s |       8 |     8045 |     4936 |     6506      0 |     2133 |        3
46.48/46.50	c  4.4s |       9 |    12036 |     7506 |     6506      1 |     2133 |        3
46.79/46.80	c  4.7s |       9 |    12977 |     8029 |     6506      1 |     2133 |        3
46.79/46.80	c #cpu_time = 4.734s
46.79/46.80	c #wall_clock_time = 4.746s
46.79/46.80	c #decision = 12977
46.79/46.80	c #random_decision = 11
46.79/46.80	c #conflict = 8029
46.79/46.80	c #restart = 9
46.79/46.80	o 8
46.79/46.80	c BCD2: hardening fixes 391 literals
46.79/46.81	c BCD2: updating upper bound: 21 -> 7
46.79/46.81	c BCD2: 1 <= obj <= 7
46.79/46.81	c BCD2: #cores=1, #unrelaxed=5, #relaxed=178, #hardened=2524
46.79/46.81	c BCD2: #sat=5 #unsat=2 bias=2/7
46.79/46.81	c Solving starts ...
46.79/46.81	c ============================[ Search Statistics ]============================
46.79/46.81	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
46.79/46.81	c       |         |          |          |    Limit     GC | Var      | Constra 
46.79/46.81	c =============================================================================
46.79/46.81	c  0.0s |       0 |        0 |        0 |     6506      0 |     2524 |        4
46.79/46.88	c  0.1s |       1 |      169 |      100 |     6506      0 |     2524 |        5
46.88/46.97	c  0.2s |       2 |      420 |      250 |     6506      0 |     2524 |        5
46.98/47.07	c  0.3s |       3 |      794 |      475 |     6506      0 |     2524 |        5
47.18/47.25	c  0.4s |       4 |     1455 |      813 |     6506      0 |     2524 |        5
47.49/47.53	c  0.7s |       5 |     2269 |     1320 |     6506      0 |     2524 |        5
47.88/47.90	c  1.1s |       6 |     3471 |     2081 |     6506      1 |     2524 |        5
48.28/48.38	c  1.6s |       7 |     5170 |     3223 |     6506      1 |     2524 |        5
49.08/49.14	c  2.3s |       8 |     7901 |     4936 |     6506      1 |     2524 |        5
50.18/50.24	c  3.4s |       9 |    11981 |     7506 |     6506      2 |     2524 |        5
51.98/52.06	c  5.3s |      10 |    17797 |    11361 |     7157      2 |     2524 |        5
53.98/54.10	c  7.3s |      10 |    24667 |    15961 |     7157      3 |     2524 |        5
54.58/54.67	c  7.9s |      11 |    26461 |    17144 |     7157      4 |     2524 |        5
56.58/56.67	c  9.9s |      11 |    32896 |    21344 |     7157      5 |     2524 |        5
57.28/57.35	c 10.5s |      11 |    35156 |    22866 |     7157      5 |     2524 |        5
57.28/57.35	c #cpu_time = 10.512s
57.28/57.35	c #wall_clock_time = 10.539s
57.28/57.35	c #decision = 35156
57.28/57.35	c #random_decision = 64
57.28/57.35	c #conflict = 22866
57.28/57.35	c #restart = 11
57.28/57.35	o 3
57.28/57.35	c BCD2: hardening fixes 123 literals
57.28/57.35	c BCD2: updating upper bound: 7 -> 2
57.28/57.35	c BCD2: 1 <= obj <= 2
57.28/57.35	c BCD2: #cores=1, #unrelaxed=1, #relaxed=59, #hardened=2647
57.28/57.35	c BCD2: #sat=6 #unsat=2 bias=2/8
57.28/57.35	c Solving starts ...
57.28/57.35	c ============================[ Search Statistics ]============================
57.28/57.35	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
57.28/57.35	c       |         |          |          |    Limit     GC | Var      | Constra 
57.28/57.35	c =============================================================================
57.28/57.35	c  0.0s |       0 |        0 |        0 |     7157      0 |     2647 |        6
57.38/57.41	c  0.1s |       1 |      204 |      100 |     7157      0 |     2647 |        6
57.48/57.54	c  0.2s |       2 |      409 |      250 |     7157      0 |     2647 |        6
57.58/57.68	c  0.3s |       3 |      704 |      475 |     7157      0 |     2647 |        6
57.78/57.88	c  0.5s |       4 |     1164 |      813 |     7157      0 |     2647 |        6
58.08/58.12	c  0.8s |       5 |     2025 |     1320 |     7157      0 |     2647 |        6
58.39/58.47	c  1.1s |       6 |     3179 |     2081 |     7157      0 |     2647 |        6
58.98/59.04	c  1.7s |       7 |     4865 |     3223 |     7157      0 |     2647 |        6
59.78/59.81	c  2.5s |       8 |     7571 |     4936 |     7157      1 |     2647 |        6
60.78/60.89	c  3.5s |       9 |    11641 |     7506 |     7157      1 |     2647 |        6
62.28/62.34	c  5.0s |      10 |    17944 |    11361 |     7157      2 |     2647 |        6
64.38/64.40	c  7.0s |      10 |    26042 |    16361 |     7873      3 |     2647 |        6
64.68/64.72	c  7.4s |      11 |    27446 |    17144 |     7873      3 |     2647 |        6
66.68/66.72	c  9.4s |      11 |    34236 |    21444 |     7873      4 |     2647 |        6
68.29/68.32	c 11.0s |      11 |    40127 |    24990 |     7873      5 |     2647 |        6
68.29/68.32	c #cpu_time = 10.944s
68.29/68.32	c #wall_clock_time = 10.972s
68.29/68.32	c #decision = 40127
68.29/68.32	c #random_decision = 83
68.29/68.32	c #conflict = 24990
68.29/68.32	c #restart = 11
68.29/68.32	o 1
68.29/68.32	s OPTIMUM FOUND
68.29/68.32	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
68.29/68.32	v -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20
68.29/68.32	v x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30
68.29/68.32	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40
68.29/68.32	v -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50
68.29/68.32	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60
68.29/68.32	v -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70
68.29/68.32	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
68.29/68.32	v -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
68.29/68.32	v -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100
68.29/68.32	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 -x110
68.29/68.32	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120
68.29/68.32	v -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130
68.29/68.32	v -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140
68.29/68.32	v -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150
68.29/68.32	v -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
68.29/68.32	v -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170
68.29/68.32	v -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
68.29/68.32	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
68.29/68.32	v x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200
68.29/68.32	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
68.29/68.32	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220
68.29/68.32	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230
68.29/68.32	v -x231
68.29/68.32	c total CPU time = 68.152s
68.29/68.32	c total wall clock time = 68.327s

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

pid=9037
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.27 2.23 2.12 3/180 9040
/proc/meminfo: memFree=29278220/32872528 swapFree=1431120/1543540
[pid=9040] ppid=9037 vsize=662972 CPUtime=0 cores=0,2,4,6
/proc/9040/stat : 9040 (toysat) R 9037 9040 7726 0 -1 4202496 2460 0 0 0 0 0 0 0 20 0 4 0 36539995 678883328 3331 33554432000 4194304 16246674 140737258029440 140737258028864 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9040/statm: 166511 3341 441 2943 0 163405 0
[pid=9040/tid=9041] ppid=9037 vsize=680380 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (toysat) S 9037 9040 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36539995 696709120 3399 33554432000 4194304 16246674 140737258029440 140615314550000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9040/tid=9042] ppid=9037 vsize=684476 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9042/stat : 9042 (toysat) S 9037 9040 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36539995 700903424 3417 33554432000 4194304 16246674 140737258029440 140615304060144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9040/tid=9043] ppid=9037 vsize=688572 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (toysat) S 9037 9040 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36539995 705097728 3432 33554432000 4194304 16246674 140737258029440 140615216000176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100124 s]
/proc/loadavg: 2.27 2.23 2.12 3/180 9040
/proc/meminfo: memFree=29278220/32872528 swapFree=1431120/1543540
[pid=9040] ppid=9037 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/9040/stat : 9040 (toysat) R 9037 9040 7726 0 -1 4202496 24947 0 0 0 6 3 0 0 20 0 4 0 36539995 1247350784 25812 33554432000 4194304 16246674 140737258029440 140737258028864 12459048 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9040/statm: 304529 25815 615 2943 0 301423 0
[pid=9040/tid=9041] ppid=9037 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (toysat) S 9037 9040 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36539995 1247350784 25818 33554432000 4194304 16246674 140737258029440 140615314550000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9040/tid=9042] ppid=9037 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9042/stat : 9042 (toysat) S 9037 9040 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36539995 1247350784 25823 33554432000 4194304 16246674 140737258029440 140615304060144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9040/tid=9043] ppid=9037 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (toysat) S 9037 9040 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36539995 1247350784 25824 33554432000 4194304 16246674 140737258029440 140615216000176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200493 s]
/proc/loadavg: 2.27 2.23 2.12 3/180 9040
/proc/meminfo: memFree=29278220/32872528 swapFree=1431120/1543540
[pid=9040] ppid=9037 vsize=1223236 CPUtime=0.19 cores=0,2,4,6
/proc/9040/stat : 9040 (toysat) R 9037 9040 7726 0 -1 4202496 35245 0 0 0 15 4 0 0 20 0 4 0 36539995 1252593664 36063 33554432000 4194304 16246674 140737258029440 140737258028752 12878868 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9040/statm: 305809 36063 862 2943 0 302703 0
[pid=9040/tid=9041] ppid=9037 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (toysat) S 9037 9040 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36539995 1252593664 36063 33554432000 4194304 16246674 140737258029440 140615314550000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9040/tid=9042] ppid=9037 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9042/stat : 9042 (toysat) S 9037 9040 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36539995 1252593664 36063 33554432000 4194304 16246674 140737258029440 140615304060144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9040/tid=9043] ppid=9037 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (toysat) S 9037 9040 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36539995 1252593664 36063 33554432000 4194304 16246674 140737258029440 140615216000176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1223236

[startup+0.300467 s]
/proc/loadavg: 2.27 2.23 2.12 3/180 9040
/proc/meminfo: memFree=29278220/32872528 swapFree=1431120/1543540
[pid=9040] ppid=9037 vsize=1307204 CPUtime=0.29 cores=0,2,4,6
/proc/9040/stat : 9040 (toysat) R 9037 9040 7726 0 -1 4202496 48374 0 0 0 23 6 0 0 20 0 4 0 36539995 1338576896 49192 33554432000 4194304 16246674 140737258029440 140737258028752 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9040/statm: 326801 49208 918 2943 0 323695 0
[pid=9040/tid=9041] ppid=9037 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (toysat) S 9037 9040 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36539995 1338576896 49218 33554432000 4194304 16246674 140737258029440 140615314550000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9040/tid=9042] ppid=9037 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9042/stat : 9042 (toysat) S 9037 9040 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36539995 1338576896 49228 33554432000 4194304 16246674 140737258029440 140615304060144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9040/tid=9043] ppid=9037 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (toysat) S 9037 9040 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36539995 1338576896 49234 33554432000 4194304 16246674 140737258029440 140615216000176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1307204

[startup+0.700414 s]
/proc/loadavg: 2.27 2.23 2.12 3/180 9040
/proc/meminfo: memFree=29278220/32872528 swapFree=1431120/1543540
[pid=9040] ppid=9037 vsize=1308228 CPUtime=0.69 cores=0,2,4,6
/proc/9040/stat : 9040 (toysat) R 9037 9040 7726 0 -1 4202496 76157 0 0 0 60 9 0 0 20 0 4 0 36539995 1339625472 76975 33554432000 4194304 16246674 140737258029440 140737258028752 13943600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9040/statm: 327057 76975 920 2943 0 323951 0
[pid=9040/tid=9041] ppid=9037 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (toysat) S 9037 9040 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36539995 1339625472 76975 33554432000 4194304 16246674 140737258029440 140615314550000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9040/tid=9042] ppid=9037 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9042/stat : 9042 (toysat) S 9037 9040 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36539995 1339625472 76975 33554432000 4194304 16246674 140737258029440 140615304060144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9040/tid=9043] ppid=9037 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (toysat) S 9037 9040 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36539995 1339625472 76975 33554432000 4194304 16246674 140737258029440 140615216000176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1308228

[startup+1.5004 s]
/proc/loadavg: 2.27 2.23 2.12 3/184 9044
/proc/meminfo: memFree=28971516/32872528 swapFree=1431120/1543540
[pid=9040] ppid=9037 vsize=1308228 CPUtime=1.49 cores=0,2,4,6
/proc/9040/stat : 9040 (toysat) R 9037 9040 7726 0 -1 4202496 76399 0 0 0 140 9 0 0 20 0 4 0 36539995 1339625472 77217 33554432000 4194304 16246674 140737258029440 140737258011328 5675825 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9040/statm: 327057 77217 924 2943 0 323951 0
[pid=9040/tid=9041] ppid=9037 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (toysat) S 9037 9040 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36539995 1339625472 77217 33554432000 4194304 16246674 140737258029440 140615314550000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9040/tid=9042] ppid=9037 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9042/stat : 9042 (toysat) S 9037 9040 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36539995 1339625472 77217 33554432000 4194304 16246674 140737258029440 140615304060144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9040/tid=9043] ppid=9037 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (toysat) S 9037 9040 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36539995 1339625472 77217 33554432000 4194304 16246674 140737258029440 140615216000176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1308228

[startup+3.1004 s]
/proc/loadavg: 2.27 2.23 2.12 4/184 9044
/proc/meminfo: memFree=28969656/32872528 swapFree=1431120/1543540
[pid=9040] ppid=9037 vsize=1308228 CPUtime=3.09 cores=0,2,4,6
/proc/9040/stat : 9040 (toysat) R 9037 9040 7726 0 -1 4202496 76406 0 0 0 300 9 0 0 20 0 4 0 36539995 1339625472 77224 33554432000 4194304 16246674 140737258029440 140737258028536 5823863 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9040/statm: 327057 77224 931 2943 0 323951 0
[pid=9040/tid=9041] ppid=9037 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (toysat) S 9037 9040 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36539995 1339625472 77224 33554432000 4194304 16246674 140737258029440 140615314550000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9040/tid=9042] ppid=9037 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9042/stat : 9042 (toysat) S 9037 9040 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36539995 1339625472 77224 33554432000 4194304 16246674 140737258029440 140615304060144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9040/tid=9043] ppid=9037 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (toysat) S 9037 9040 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36539995 1339625472 77224 33554432000 4194304 16246674 140737258029440 140615216000176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228

[startup+6.30041 s]
/proc/loadavg: 2.25 2.22 2.12 3/184 9044
/proc/meminfo: memFree=28912180/32872528 swapFree=1431120/1543540
[pid=9040] ppid=9037 vsize=1308228 CPUtime=6.28 cores=0,2,4,6
/proc/9040/stat : 9040 (toysat) R 9037 9040 7726 0 -1 4202496 86754 0 0 0 617 11 0 0 20 0 4 0 36539995 1339625472 87572 33554432000 4194304 16246674 140737258029440 140737258011328 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9040/statm: 327057 87572 931 2943 0 323951 0
[pid=9040/tid=9041] ppid=9037 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (toysat) S 9037 9040 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36539995 1339625472 87572 33554432000 4194304 16246674 140737258029440 140615314550000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9040/tid=9042] ppid=9037 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9042/stat : 9042 (toysat) S 9037 9040 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36539995 1339625472 87572 33554432000 4194304 16246674 140737258029440 140615304060144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9040/tid=9043] ppid=9037 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (toysat) S 9037 9040 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36539995 1339625472 87572 33554432000 4194304 16246674 140737258029440 140615216000176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.23 2.22 2.12 3/183 9044
/proc/meminfo: memFree=28896944/32872528 swapFree=1431120/1543540
[pid=9040] ppid=9037 vsize=1312324 CPUtime=12.69 cores=0,2,4,6
/proc/9040/stat : 9040 (toysat) R 9037 9040 7726 0 -1 4202496 87642 0 0 0 1257 12 0 0 20 0 4 0 36539995 1343819776 88460 33554432000 4194304 16246674 140737258029440 140737258028616 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9040/statm: 328081 88460 931 2943 0 324975 0
[pid=9040/tid=9041] ppid=9037 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (toysat) S 9037 9040 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36539995 1343819776 88460 33554432000 4194304 16246674 140737258029440 140615314550000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9040/tid=9042] ppid=9037 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9042/stat : 9042 (toysat) S 9037 9040 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36539995 1343819776 88460 33554432000 4194304 16246674 140737258029440 140615304060144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9040/tid=9043] ppid=9037 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (toysat) S 9037 9040 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36539995 1343819776 88460 33554432000 4194304 16246674 140737258029440 140615216000176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5073 s]
/proc/loadavg: 2.18 2.21 2.11 3/183 9044
/proc/meminfo: memFree=28840024/32872528 swapFree=1431120/1543540
[pid=9040] ppid=9037 vsize=1312324 CPUtime=25.49 cores=0,2,4,6
/proc/9040/stat : 9040 (toysat) R 9037 9040 7726 0 -1 4202496 87778 0 0 0 2535 14 0 0 20 0 4 0 36539995 1343819776 88596 33554432000 4194304 16246674 140737258029440 140737258028616 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9040/statm: 328081 88596 931 2943 0 324975 0
[pid=9040/tid=9041] ppid=9037 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (toysat) S 9037 9040 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36539995 1343819776 88596 33554432000 4194304 16246674 140737258029440 140615314550000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9040/tid=9042] ppid=9037 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9042/stat : 9042 (toysat) S 9037 9040 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36539995 1343819776 88596 33554432000 4194304 16246674 140737258029440 140615304060144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9040/tid=9043] ppid=9037 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (toysat) S 9037 9040 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36539995 1343819776 88596 33554432000 4194304 16246674 140737258029440 140615216000176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1004 s]
/proc/loadavg: 2.18 2.21 2.11 3/183 9044
/proc/meminfo: memFree=28066236/32872528 swapFree=1431120/1543540
[pid=9040] ppid=9037 vsize=1314372 CPUtime=51.08 cores=0,2,4,6
/proc/9040/stat : 9040 (toysat) R 9037 9040 7726 0 -1 4202496 269811 0 0 0 5066 42 0 0 20 0 4 0 36539995 1345916928 270629 33554432000 4194304 16246674 140737258029440 140737258011328 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9040/statm: 328593 270629 941 2943 0 325487 0
[pid=9040/tid=9041] ppid=9037 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (toysat) S 9037 9040 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36539995 1345916928 270629 33554432000 4194304 16246674 140737258029440 140615314550000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9040/tid=9042] ppid=9037 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9042/stat : 9042 (toysat) S 9037 9040 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36539995 1345916928 270629 33554432000 4194304 16246674 140737258029440 140615304060144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9040/tid=9043] ppid=9037 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (toysat) S 9037 9040 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36539995 1345916928 270629 33554432000 4194304 16246674 140737258029440 140615216000176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1314372

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

[startup+51.3004 s]
/proc/loadavg: 2.18 2.21 2.11 3/183 9044
/proc/meminfo: memFree=28066236/32872528 swapFree=1431120/1543540
[pid=9040] ppid=9037 vsize=1320516 CPUtime=51.28 cores=0,2,4,6
/proc/9040/stat : 9040 (toysat) R 9037 9040 7726 0 -1 4202496 271171 0 0 0 5086 42 0 0 20 0 4 0 36539995 1352208384 271989 33554432000 4194304 16246674 140737258029440 140737258011328 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9040/statm: 330129 271989 941 2943 0 327023 0
[pid=9040/tid=9041] ppid=9037 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (toysat) S 9037 9040 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36539995 1352208384 271989 33554432000 4194304 16246674 140737258029440 140615314550000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9040/tid=9042] ppid=9037 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9042/stat : 9042 (toysat) S 9037 9040 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36539995 1352208384 271989 33554432000 4194304 16246674 140737258029440 140615304060144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9040/tid=9043] ppid=9037 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (toysat) S 9037 9040 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36539995 1352208384 271989 33554432000 4194304 16246674 140737258029440 140615216000176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.28
Current children cumulated vsize (KiB) 1320516

[startup+57.7004 s]
/proc/loadavg: 2.17 2.20 2.11 4/183 9044
/proc/meminfo: memFree=28044768/32872528 swapFree=1431120/1543540
[pid=9040] ppid=9037 vsize=1325636 CPUtime=57.68 cores=0,2,4,6
/proc/9040/stat : 9040 (toysat) R 9037 9040 7726 0 -1 4202496 272626 0 0 0 5725 43 0 0 20 0 4 0 36539995 1357451264 273444 33554432000 4194304 16246674 140737258029440 140737258011328 4220543 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9040/statm: 331409 273444 941 2943 0 328303 0
[pid=9040/tid=9041] ppid=9037 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (toysat) S 9037 9040 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36539995 1357451264 273444 33554432000 4194304 16246674 140737258029440 140615314550000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9040/tid=9042] ppid=9037 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9042/stat : 9042 (toysat) S 9037 9040 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36539995 1357451264 273444 33554432000 4194304 16246674 140737258029440 140615304060144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9040/tid=9043] ppid=9037 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (toysat) S 9037 9040 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36539995 1357451264 273444 33554432000 4194304 16246674 140737258029440 140615216000176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 57.68
Current children cumulated vsize (KiB) 1325636

[startup+64.1004 s]
/proc/loadavg: 2.14 2.20 2.11 3/183 9045
/proc/meminfo: memFree=28022676/32872528 swapFree=1431120/1543540
[pid=9040] ppid=9037 vsize=1325636 CPUtime=64.08 cores=0,2,4,6
/proc/9040/stat : 9040 (toysat) R 9037 9040 7726 0 -1 4202496 272627 0 0 0 6365 43 0 0 20 0 4 0 36539995 1357451264 273445 33554432000 4194304 16246674 140737258029440 140737258011328 5823363 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9040/statm: 331409 273445 941 2943 0 328303 0
[pid=9040/tid=9041] ppid=9037 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (toysat) S 9037 9040 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36539995 1357451264 273445 33554432000 4194304 16246674 140737258029440 140615314550000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9040/tid=9042] ppid=9037 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9042/stat : 9042 (toysat) S 9037 9040 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36539995 1357451264 273445 33554432000 4194304 16246674 140737258029440 140615304060144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9040/tid=9043] ppid=9037 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (toysat) S 9037 9040 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36539995 1357451264 273445 33554432000 4194304 16246674 140737258029440 140615216000176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 64.08
Current children cumulated vsize (KiB) 1325636

[startup+65.7004 s]
/proc/loadavg: 2.14 2.20 2.11 3/183 9045
/proc/meminfo: memFree=28022932/32872528 swapFree=1431120/1543540
[pid=9040] ppid=9037 vsize=1325636 CPUtime=65.68 cores=0,2,4,6
/proc/9040/stat : 9040 (toysat) R 9037 9040 7726 0 -1 4202496 272627 0 0 0 6525 43 0 0 20 0 4 0 36539995 1357451264 273445 33554432000 4194304 16246674 140737258029440 140737258011328 5808560 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9040/statm: 331409 273445 941 2943 0 328303 0
[pid=9040/tid=9041] ppid=9037 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (toysat) S 9037 9040 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36539995 1357451264 273445 33554432000 4194304 16246674 140737258029440 140615314550000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9040/tid=9042] ppid=9037 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9042/stat : 9042 (toysat) S 9037 9040 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36539995 1357451264 273445 33554432000 4194304 16246674 140737258029440 140615304060144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9040/tid=9043] ppid=9037 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (toysat) S 9037 9040 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36539995 1357451264 273445 33554432000 4194304 16246674 140737258029440 140615216000176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 65.68
Current children cumulated vsize (KiB) 1325636

[startup+67.3072 s]
/proc/loadavg: 2.14 2.20 2.11 3/183 9045
/proc/meminfo: memFree=27983376/32872528 swapFree=1431120/1543540
[pid=9040] ppid=9037 vsize=1325636 CPUtime=67.29 cores=0,2,4,6
/proc/9040/stat : 9040 (toysat) R 9037 9040 7726 0 -1 4202496 272627 0 0 0 6686 43 0 0 20 0 4 0 36539995 1357451264 273445 33554432000 4194304 16246674 140737258029440 140737258011328 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9040/statm: 331409 273445 941 2943 0 328303 0
[pid=9040/tid=9041] ppid=9037 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (toysat) S 9037 9040 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36539995 1357451264 273445 33554432000 4194304 16246674 140737258029440 140615314550000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9040/tid=9042] ppid=9037 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9042/stat : 9042 (toysat) S 9037 9040 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36539995 1357451264 273445 33554432000 4194304 16246674 140737258029440 140615304060144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9040/tid=9043] ppid=9037 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (toysat) S 9037 9040 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36539995 1357451264 273445 33554432000 4194304 16246674 140737258029440 140615216000176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 67.29
Current children cumulated vsize (KiB) 1325636

[startup+68.1004 s]
/proc/loadavg: 2.14 2.20 2.11 3/183 9045
/proc/meminfo: memFree=27983376/32872528 swapFree=1431120/1543540
[pid=9040] ppid=9037 vsize=1325636 CPUtime=68.08 cores=0,2,4,6
/proc/9040/stat : 9040 (toysat) R 9037 9040 7726 0 -1 4202496 272627 0 0 0 6765 43 0 0 20 0 4 0 36539995 1357451264 273445 33554432000 4194304 16246674 140737258029440 140737258011328 13198578 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9040/statm: 331409 273445 941 2943 0 328303 0
[pid=9040/tid=9041] ppid=9037 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (toysat) S 9037 9040 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36539995 1357451264 273445 33554432000 4194304 16246674 140737258029440 140615314550000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9040/tid=9042] ppid=9037 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9042/stat : 9042 (toysat) S 9037 9040 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36539995 1357451264 273445 33554432000 4194304 16246674 140737258029440 140615304060144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9040/tid=9043] ppid=9037 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (toysat) S 9037 9040 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36539995 1357451264 273445 33554432000 4194304 16246674 140737258029440 140615216000176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 68.08
Current children cumulated vsize (KiB) 1325636

[startup+68.3004 s]
/proc/loadavg: 2.13 2.19 2.11 3/183 9045
/proc/meminfo: memFree=27974200/32872528 swapFree=1431120/1543540
[pid=9040] ppid=9037 vsize=1325636 CPUtime=68.29 cores=0,2,4,6
/proc/9040/stat : 9040 (toysat) R 9037 9040 7726 0 -1 4202496 272627 0 0 0 6786 43 0 0 20 0 4 0 36539995 1357451264 273445 33554432000 4194304 16246674 140737258029440 140737258011328 5522872 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9040/statm: 331409 273445 941 2943 0 328303 0
[pid=9040/tid=9041] ppid=9037 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (toysat) S 9037 9040 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36539995 1357451264 273445 33554432000 4194304 16246674 140737258029440 140615314550000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9040/tid=9042] ppid=9037 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9042/stat : 9042 (toysat) S 9037 9040 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36539995 1357451264 273445 33554432000 4194304 16246674 140737258029440 140615304060144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9040/tid=9043] ppid=9037 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (toysat) S 9037 9040 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36539995 1357451264 273445 33554432000 4194304 16246674 140737258029440 140615216000176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 68.29
Current children cumulated vsize (KiB) 1325636

Child status: 0
Real time (s): 68.3906
CPU time (s): 68.3796
CPU user time (s): 67.8847
CPU system time (s): 0.494924
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 1325636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 67.8847
system time used= 0.494924
maximum resident set size= 1093784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272629
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= 22
involuntary context switches= 71

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.448931 second user time and 0.620905 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-19 16:01:53
IDJOB=4110350
IDBENCH=79273
IDSOLVER=2553
FILE ID=node116/4110350-1466344913
RUNJOBID= node116-1466341822-7742
PBS_JOBID= 19922036
Free space on /tmp= 71676 MiB

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

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

MD5SUM BENCH= 51cd1cd61e067c06067b10b7beeffad7
RANDOM SEED=1683298432

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.781
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:        29278492 kB
Buffers:          144524 kB
Cached:           284476 kB
SwapCached:         2316 kB
Active:          1034192 kB
Inactive:         264112 kB
Active(anon):     867332 kB
Inactive(anon):     3928 kB
Active(file):     166860 kB
Inactive(file):   260184 kB
Unevictable:     1543540 kB
Mlocked:         1431120 kB
SwapTotal:      67108856 kB
SwapFree:       67099856 kB
Dirty:             16272 kB
Writeback:             0 kB
AnonPages:       2411332 kB
Mapped:            12720 kB
Shmem:                 0 kB
Slab:             616768 kB
SReclaimable:      60596 kB
SUnreclaim:       556172 kB
KernelStack:        1496 kB
PageTables:         9100 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2799876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    188416 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= 71660 MiB
End job on node116 at 2016-06-19 16:03:01