Trace number 4109726

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 268.249 268.312

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900569834--soft-33-100-0.wbo
MD5SUM9b675eaf583b613075d5327645ad3a71
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark89.0185
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 constraints1863
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 94064
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 94063
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 723
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c 2016-06-19T15:45:45+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-4109726-1466343944.wbo"]
0.00/0.01	c use --random-gen="2487541899 846782664 1304520560 480518489 182547280 78292718 3698993641 2909332953 2447334458 35593925 2348477503 2790877264 757936545 1408791902 521001741 3160410277 4247212436 3151460639 1631317815 130813249 78684 1656991846 76829778 783538764 183138750 3866864656 2833223447 1736950511 2182950213 1845318923 4215260331 660287148 3337914191 2243212587 1631810282 908931255 2646124907 3255168467 1229152200 3451232484 4278171458 1479331842 100531449 1019330011 593460609 4120712534 3071661759 1717504121 2352608510 3876930973 3760416061 1708335801 1479329500 3137442476 479120214 1502759686 2670339430 1930031342 4047687141 2138439070 4152507090 2199374903 1088165743 2364922692 3761941588 2667689416 460195647 4113126971 1734644179 734499609 2101280208 3710452878 3602661239 203955524 2015787343 3860697400 3407614944 1540153491 815245094 4187896553 2875878761 2104553634 1558353328 1848620652 1481581087 1834537430 3951282800 2146036892 2672706981 1205856762 3422633646 2557947316 2957947208 513466554 3743523019 1442475201 120998195 1537253274 4026338804 95424436 459070732 3876007601 2679621796 2477994582 2015136759 2989258337 1326438154 484513405 3689338606 328904239 1084936429 3352172456 3710343567 738218620 1771582392 3271347731 3699707713 1066663550 3107653610 3572619988 1311467100 3277130015 535345168 2649599122 1132830673 2911538698 3524189570 3978531870 163794084 2595364918 1279120079 3073475359 2707125786 1630353466 2971071788 4107001502 3052493450 2978029653 1007426709 3072981388 1859708545 3528515106 3370956355 712078517 2468337791 3375472708 2023166602 3633074857 2260385999 3233484514 3729914150 2827003010 1615407032 1946105247 3047683522 1706595200 2846830943 1535396562 141229701 2959650793 1933277154 3852438277 3459450977 599071660 33785991 3919929209 2271412941 107125986 863469544 3340962377 1569266663 2729423522 2570854552 4280751295 3584986011 2746425863 281331495 4127184509 4233805936 2935119727 4124122674 3425966352 2202016007 1626102775 3934949954 911601527 953215710 299623118 1466768301 1838466577 980151920 1455397883 3377394184 4186450807 497122603 3675799529 3281027308 291054739 1752401168 2634005019 838022534 3413866356 1142263171 3565584267 330121 1044958298 4043702140 354461667 4220586740 2836471124 652564893 3395146996 1020229404 3164716521 2928614921 4282739199 4070910059 3302989944 1595839667 1312316106 1323425910 617730505 1393704507 429659357 2903743417 3695467869 2532615712 4078816830 697728961 758255935 2121001109 2277541119 1703320890 152240670 247441077 3615480272 107159645 2003990431 1814804147 1830025884 737139921 142964644 148145239 2411450968 1173034992 1815156437 3828509828 603296392 1498178752 2623526100 3358642396 2494514104 478180929 997847822 2854774932 3286053347 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 |     1600      0 |        0 |        0
0.19/0.20	c  0.0s |       0 |     2396 |        2 |     1600      0 |        0 |        0
0.19/0.20	c #cpu_time = 0.006s
0.19/0.20	c #wall_clock_time = 0.006s
0.19/0.20	c #decision = 2396
0.19/0.20	c #random_decision = 10
0.19/0.20	c #conflict = 2
0.19/0.20	c #restart = 0
0.19/0.20	o 367
0.19/0.20	c BCD2: updating upper bound: 94063 -> 366
0.19/0.22	c BCD2: 0 <= obj <= 366
0.19/0.22	c BCD2: #cores=0, #unrelaxed=1863, #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 |     1600      0 |        0 |        0
0.19/0.24	c  0.0s |       1 |     2072 |      100 |     1761      0 |        0 |        0
0.19/0.28	c  0.1s |       2 |     4191 |      250 |     1938      0 |        0 |        0
0.29/0.34	c  0.1s |       3 |     6421 |      475 |     1938      0 |        0 |        0
0.39/0.43	c  0.2s |       4 |     8913 |      813 |     2132      0 |        0 |        0
0.59/0.60	c  0.4s |       5 |    11617 |     1320 |     2581      0 |        0 |        0
0.79/0.87	c  0.7s |       6 |    14813 |     2081 |     2840      0 |        0 |        0
1.39/1.44	c  1.2s |       7 |    18548 |     3223 |     3125      0 |        0 |        0
2.20/2.29	c  2.1s |       8 |    23061 |     4936 |     3438      1 |        0 |        0
3.69/3.75	c  3.5s |       9 |    29157 |     7506 |     3782      2 |        0 |        0
5.69/5.79	c  5.6s |       9 |    37482 |    11206 |     3782      3 |        0 |        0
5.89/5.90	c  5.7s |      10 |    37717 |    11361 |     4161      3 |        0 |        0
7.89/7.92	c  7.7s |      10 |    46342 |    14961 |     4161      4 |        0 |        0
9.19/9.20	c  9.0s |      11 |    50409 |    17144 |     4578      5 |        0 |        0
11.19/11.23	c 11.0s |      11 |    59100 |    20944 |     4578      6 |        0 |        0
13.20/13.25	c 13.0s |      11 |    64257 |    23844 |     4578      7 |        0 |        0
14.59/14.66	c 14.4s |      12 |    67777 |    25819 |     5036      8 |        0 |        0
16.59/16.68	c 16.5s |      12 |    74167 |    28319 |     5036      9 |        0 |        0
18.70/18.72	c 18.5s |      12 |    79404 |    31119 |     5036      9 |        0 |        0
20.69/20.74	c 20.5s |      12 |    83387 |    33219 |     5036     10 |        0 |        0
22.79/22.81	c 22.6s |      12 |    87399 |    35319 |     5036     11 |        0 |        0
24.79/24.88	c 24.7s |      12 |    91782 |    37619 |     5036     11 |        0 |        0
26.09/26.16	c 25.9s |      13 |    94176 |    38832 |     5540     12 |        0 |        0
28.09/28.18	c 28.0s |      13 |    99787 |    40932 |     5540     12 |        0 |        0
30.18/30.27	c 30.1s |      13 |   103291 |    42832 |     5540     13 |        0 |        0
32.29/32.38	c 32.2s |      13 |   105933 |    44332 |     5540     13 |        0 |        0
34.39/34.41	c 34.2s |      13 |   108647 |    45932 |     5540     13 |        0 |        0
35.09/35.20	c 35.0s |      13 |   109473 |    46436 |     5540     14 |        0 |        0
35.09/35.20	c #cpu_time = 34.887s
35.09/35.20	c #wall_clock_time = 34.979s
35.09/35.20	c #decision = 109473
35.09/35.20	c #random_decision = 85
35.09/35.20	c #conflict = 46436
35.09/35.20	c #restart = 13
35.09/35.20	c BCD2: found a new core of size 1675: cost of the new core is >=1
35.09/35.20	c lower bound updated to 1
35.19/35.20	c BCD2: 1 <= obj <= 366
35.19/35.20	c BCD2: #cores=1, #unrelaxed=188, #relaxed=1675, #hardened=0
35.19/35.20	c BCD2: #sat=1 #unsat=2 bias=2/3
35.19/35.21	c Solving starts ...
35.19/35.21	c ============================[ Search Statistics ]============================
35.19/35.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
35.19/35.21	c       |         |          |          |    Limit     GC | Var      | Constra 
35.19/35.21	c =============================================================================
35.19/35.21	c  0.0s |       0 |        0 |        0 |     5540      0 |        0 |        0
35.19/35.27	c  0.1s |       0 |     1915 |        0 |     5540      0 |        0 |        0
35.19/35.27	c #cpu_time = 0.062s
35.19/35.27	c #wall_clock_time = 0.062s
35.19/35.27	c #decision = 1915
35.19/35.27	c #random_decision = 5
35.19/35.27	c #conflict = 0
35.19/35.27	c #restart = 0
35.19/35.27	o 48
35.19/35.27	c BCD2: hardening fixes 986 literals
35.19/35.27	c BCD2: updating upper bound: 366 -> 47
35.19/35.28	c BCD2: 1 <= obj <= 47
35.19/35.28	c BCD2: #cores=1, #unrelaxed=99, #relaxed=778, #hardened=986
35.19/35.28	c BCD2: #sat=2 #unsat=2 bias=2/4
35.19/35.28	c Solving starts ...
35.19/35.28	c ============================[ Search Statistics ]============================
35.19/35.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
35.19/35.28	c       |         |          |          |    Limit     GC | Var      | Constra 
35.19/35.28	c =============================================================================
35.19/35.28	c  0.0s |       0 |        0 |        0 |     5540      0 |      986 |        1
35.39/35.42	c  0.1s |       1 |      329 |      100 |     5540      0 |      986 |        1
35.59/35.61	c  0.3s |       2 |      670 |      250 |     5540      0 |      986 |        1
35.69/35.76	c  0.5s |       3 |     1133 |      475 |     5540      0 |      986 |        1
35.89/35.97	c  0.7s |       4 |     1794 |      813 |     5540      0 |      986 |        1
36.09/36.12	c  0.8s |       4 |     2247 |     1016 |     5540      0 |      986 |        1
36.09/36.12	c #cpu_time = 0.840s
36.09/36.12	c #wall_clock_time = 0.843s
36.09/36.12	c #decision = 2247
36.09/36.12	c #random_decision = 5
36.09/36.12	c #conflict = 1016
36.09/36.12	c #restart = 4
36.09/36.12	o 21
36.09/36.12	c BCD2: hardening fixes 513 literals
36.09/36.12	c BCD2: updating upper bound: 47 -> 20
36.09/36.13	c BCD2: 1 <= obj <= 20
36.09/36.13	c BCD2: #cores=1, #unrelaxed=35, #relaxed=329, #hardened=1499
36.09/36.13	c BCD2: #sat=3 #unsat=2 bias=2/5
36.09/36.13	c Solving starts ...
36.09/36.13	c ============================[ Search Statistics ]============================
36.09/36.13	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
36.09/36.13	c       |         |          |          |    Limit     GC | Var      | Constra 
36.09/36.13	c =============================================================================
36.09/36.13	c  0.0s |       0 |        0 |        0 |     5540      0 |     1499 |        2
36.19/36.24	c  0.1s |       1 |      223 |      100 |     5540      0 |     1499 |        2
36.29/36.36	c  0.2s |       2 |      527 |      250 |     5540      0 |     1499 |        2
36.49/36.51	c  0.4s |       3 |      969 |      475 |     5540      0 |     1499 |        2
36.69/36.70	c  0.6s |       4 |     1574 |      813 |     5540      0 |     1499 |        2
36.88/36.99	c  0.9s |       5 |     2513 |     1320 |     5540      0 |     1499 |        2
37.28/37.40	c  1.3s |       6 |     3836 |     2081 |     5540      0 |     1499 |        2
37.98/38.03	c  1.9s |       7 |     5653 |     3223 |     5540      1 |     1499 |        2
38.78/38.81	c  2.7s |       8 |     8221 |     4936 |     5540      1 |     1499 |        2
39.88/39.97	c  3.8s |       9 |    12211 |     7506 |     5540      2 |     1499 |        2
41.79/41.88	c  5.8s |      10 |    18024 |    11361 |     6095      3 |     1499 |        2
43.88/43.92	c  7.8s |      10 |    25217 |    16061 |     6095      4 |     1499 |        2
44.38/44.47	c  8.3s |      11 |    26790 |    17144 |     6095      4 |     1499 |        2
46.48/46.50	c 10.4s |      11 |    33692 |    21444 |     6095      5 |     1499 |        2
48.49/48.54	c 12.4s |      11 |    39894 |    25444 |     6095      6 |     1499 |        2
48.68/48.78	c 12.7s |      12 |    40396 |    25819 |     6095      6 |     1499 |        2
50.78/50.81	c 14.7s |      12 |    46099 |    29519 |     6095      7 |     1499 |        2
52.79/52.82	c 16.7s |      12 |    52371 |    33619 |     6095      8 |     1499 |        2
54.78/54.84	c 18.7s |      12 |    58727 |    37819 |     6095     10 |     1499 |        2
55.18/55.29	c 19.2s |      13 |    60334 |    38832 |     6095     10 |     1499 |        2
57.19/57.29	c 21.2s |      13 |    65827 |    42632 |     6705     11 |     1499 |        2
59.28/59.32	c 23.2s |      13 |    71888 |    46532 |     6705     12 |     1499 |        2
61.28/61.37	c 25.2s |      13 |    77282 |    50232 |     6705     12 |     1499 |        2
63.28/63.38	c 27.3s |      13 |    83112 |    54232 |     6705     13 |     1499 |        2
65.28/65.38	c 29.3s |      13 |    88628 |    57832 |     6705     14 |     1499 |        2
65.68/65.72	c 29.6s |      14 |    89403 |    58352 |     6705     14 |     1499 |        2
67.68/67.76	c 31.6s |      14 |    95004 |    62052 |     6705     15 |     1499 |        2
69.78/69.81	c 33.7s |      14 |   100815 |    65852 |     6705     16 |     1499 |        2
71.78/71.82	c 35.7s |      14 |   106333 |    69652 |     6705     17 |     1499 |        2
73.78/73.85	c 37.7s |      14 |   111512 |    73252 |     6705     18 |     1499 |        2
75.78/75.86	c 39.7s |      14 |   115975 |    76352 |     6705     19 |     1499 |        2
77.88/77.91	c 41.8s |      14 |   121999 |    80352 |     6705     20 |     1499 |        2
79.87/79.92	c 43.8s |      14 |   129017 |    84852 |     7376     20 |     1499 |        2
81.27/81.30	c 45.2s |      15 |   133361 |    87632 |     7376     21 |     1499 |        2
83.27/83.31	c 47.2s |      15 |   138656 |    91032 |     7376     22 |     1499 |        2
85.27/85.32	c 49.2s |      15 |   143683 |    94532 |     7376     23 |     1499 |        2
87.27/87.35	c 51.2s |      15 |   148744 |    98032 |     7376     23 |     1499 |        2
89.27/89.36	c 53.2s |      15 |   153580 |   101432 |     7376     24 |     1499 |        2
91.28/91.39	c 55.3s |      15 |   158414 |   104732 |     7376     25 |     1499 |        2
93.37/93.46	c 57.3s |      15 |   163206 |   108132 |     7376     26 |     1499 |        2
95.27/95.37	c 59.2s |      15 |   167911 |   111380 |     7376     26 |     1499 |        2
95.27/95.37	c #cpu_time = 59.082s
95.27/95.37	c #wall_clock_time = 59.237s
95.27/95.37	c #decision = 167911
95.27/95.37	c #random_decision = 242
95.27/95.37	c #conflict = 111380
95.27/95.37	c #restart = 15
95.27/95.37	o 8
95.27/95.37	c BCD2: hardening fixes 246 literals
95.27/95.37	c BCD2: updating upper bound: 20 -> 7
95.27/95.37	c BCD2: 1 <= obj <= 7
95.27/95.37	c BCD2: #cores=1, #unrelaxed=12, #relaxed=106, #hardened=1745
95.27/95.37	c BCD2: #sat=4 #unsat=2 bias=2/6
95.27/95.37	c Solving starts ...
95.27/95.37	c ============================[ Search Statistics ]============================
95.27/95.37	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
95.27/95.37	c       |         |          |          |    Limit     GC | Var      | Constra 
95.27/95.37	c =============================================================================
95.27/95.37	c  0.0s |       0 |        0 |        0 |     7376      0 |     1745 |        3
95.37/95.45	c  0.1s |       1 |      217 |      100 |     7376      0 |     1745 |        4
95.47/95.56	c  0.2s |       2 |      456 |      250 |     7376      0 |     1745 |        4
95.68/95.72	c  0.3s |       3 |      821 |      475 |     7376      0 |     1745 |        4
95.87/95.99	c  0.6s |       4 |     1465 |      813 |     7376      0 |     1745 |        4
96.17/96.25	c  0.9s |       5 |     2335 |     1320 |     7376      0 |     1745 |        4
96.67/96.74	c  1.4s |       6 |     3627 |     2081 |     7376      1 |     1745 |        4
97.17/97.20	c  1.8s |       7 |     5385 |     3223 |     7376      1 |     1745 |        4
97.88/97.91	c  2.5s |       8 |     8353 |     4936 |     7376      1 |     1745 |        4
98.87/98.99	c  3.6s |       9 |    12840 |     7506 |     7376      2 |     1745 |        4
100.47/100.55	c  5.2s |      10 |    19155 |    11361 |     7376      3 |     1745 |        4
102.47/102.56	c  7.2s |      10 |    29086 |    16961 |     7376      4 |     1745 |        4
102.57/102.62	c  7.3s |      11 |    29335 |    17144 |     7376      4 |     1745 |        4
104.58/104.62	c  9.3s |      11 |    38393 |    22344 |     7376      5 |     1745 |        4
105.77/105.86	c 10.5s |      12 |    44509 |    25819 |     7376      6 |     1745 |        4
107.78/107.87	c 12.5s |      12 |    53693 |    31119 |     7376      7 |     1745 |        4
109.78/109.88	c 14.5s |      12 |    63312 |    36819 |     7376      8 |     1745 |        4
110.38/110.46	c 15.1s |      12 |    66076 |    38504 |     8114      8 |     1745 |        4
110.38/110.46	c #cpu_time = 15.053s
110.38/110.46	c #wall_clock_time = 15.092s
110.38/110.46	c #decision = 66076
110.38/110.46	c #random_decision = 116
110.38/110.46	c #conflict = 38504
110.38/110.46	c #restart = 12
110.38/110.46	c BCD2: relaxing 12 and merging with 1 cores into a new core of size 1687: cost of the new core is >=3
110.38/110.46	c lower bound updated to 3
110.38/110.46	c BCD2: 3 <= obj <= 7
110.38/110.46	c BCD2: #cores=1, #unrelaxed=0, #relaxed=118, #hardened=1745
110.38/110.46	c BCD2: #sat=4 #unsat=3 bias=3/7
110.38/110.46	c Solving starts ...
110.38/110.46	c ============================[ Search Statistics ]============================
110.38/110.46	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
110.38/110.46	c       |         |          |          |    Limit     GC | Var      | Constra 
110.38/110.46	c =============================================================================
110.38/110.46	c  0.0s |       0 |        0 |        0 |     8114      0 |     1749 |        4
110.68/110.72	c  0.3s |       1 |      241 |      100 |     8114      0 |     1749 |       10
110.68/110.79	c  0.3s |       2 |      489 |      250 |     8114      0 |     1749 |       10
110.78/110.88	c  0.4s |       3 |      875 |      475 |     8114      0 |     1749 |       10
110.98/111.09	c  0.6s |       4 |     1408 |      813 |     8114      0 |     1749 |       10
111.18/111.28	c  0.8s |       5 |     2166 |     1320 |     8114      0 |     1749 |       10
111.48/111.55	c  1.1s |       6 |     3458 |     2081 |     8114      0 |     1749 |       10
111.98/112.01	c  1.5s |       7 |     5274 |     3223 |     8114      0 |     1749 |       10
112.68/112.75	c  2.3s |       8 |     8348 |     4936 |     8114      1 |     1749 |       10
113.48/113.53	c  3.1s |       9 |    12821 |     7506 |     8114      1 |     1749 |       10
114.88/114.95	c  4.5s |      10 |    18984 |    11361 |     8114      2 |     1749 |       10
116.78/116.88	c  6.4s |      11 |    27981 |    17144 |     8114      3 |     1749 |       10
118.88/118.91	c  8.4s |      11 |    35653 |    22244 |     8114      4 |     1749 |       10
120.37/120.41	c 10.0s |      12 |    41387 |    25819 |     8114      5 |     1749 |       10
122.37/122.43	c 12.0s |      12 |    49121 |    30819 |     8114      6 |     1749 |       10
124.38/124.45	c 14.0s |      12 |    56759 |    35519 |     8114      7 |     1749 |       10
125.57/125.65	c 15.2s |      13 |    61976 |    38832 |     8114      7 |     1749 |       10
127.58/127.68	c 17.2s |      13 |    70015 |    44132 |     8114      8 |     1749 |       10
129.57/129.69	c 19.2s |      13 |    78164 |    49132 |     8114      9 |     1749 |       10
131.67/131.74	c 21.3s |      13 |    86073 |    54232 |     8114     11 |     1749 |       10
133.37/133.46	c 23.0s |      14 |    92369 |    58352 |     8114     11 |     1749 |       10
135.38/135.48	c 25.0s |      14 |    99217 |    62752 |     8114     12 |     1749 |       10
137.37/137.49	c 27.0s |      14 |   106415 |    67452 |     8114     13 |     1749 |       10
139.47/139.52	c 29.1s |      14 |   114251 |    72552 |     8114     14 |     1749 |       10
141.47/141.52	c 31.1s |      14 |   122424 |    77652 |     8114     15 |     1749 |       10
143.47/143.53	c 33.1s |      14 |   131394 |    83252 |     8114     16 |     1749 |       10
144.97/145.08	c 34.6s |      15 |   138562 |    87632 |     8114     17 |     1749 |       10
146.97/147.08	c 36.6s |      15 |   145535 |    92332 |     8114     18 |     1749 |       10
148.77/148.85	c 38.4s |      15 |   154001 |    97562 |     8926     19 |     1750 |       11
148.77/148.85	c #cpu_time = 38.286s
148.77/148.85	c #wall_clock_time = 38.386s
148.77/148.85	c #decision = 154001
148.77/148.85	c #random_decision = 301
148.77/148.85	c #conflict = 97562
148.77/148.85	c #restart = 15
148.77/148.85	c BCD2: updating lower bound of a core
148.77/148.85	c lower bound updated to 6
148.77/148.85	c BCD2: 6 <= obj <= 7
148.77/148.85	c BCD2: #cores=1, #unrelaxed=0, #relaxed=118, #hardened=1745
148.77/148.85	c BCD2: #sat=4 #unsat=4 bias=4/8
148.77/148.85	c Solving starts ...
148.77/148.85	c ============================[ Search Statistics ]============================
148.77/148.85	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
148.77/148.85	c       |         |          |          |    Limit     GC | Var      | Constra 
148.77/148.85	c =============================================================================
148.77/148.85	c  0.0s |       0 |        0 |        0 |     8926      0 |     1750 |       11
149.17/149.27	c  0.4s |       1 |      211 |      100 |     8926      0 |     1750 |       11
149.57/149.62	c  0.8s |       2 |      429 |      250 |     8926      0 |     1750 |       11
149.57/149.70	c  0.8s |       3 |      784 |      475 |     8926      0 |     1750 |       11
149.77/149.85	c  1.0s |       4 |     1327 |      813 |     8926      0 |     1750 |       11
149.97/150.04	c  1.2s |       5 |     2036 |     1320 |     8926      0 |     1750 |       11
150.27/150.35	c  1.5s |       6 |     3294 |     2081 |     8926      0 |     1750 |       11
150.77/150.83	c  2.0s |       7 |     4935 |     3223 |     8926      0 |     1750 |       11
151.57/151.62	c  2.8s |       8 |     7426 |     4936 |     8926      0 |     1750 |       11
152.87/152.96	c  4.1s |       9 |    11126 |     7506 |     8926      0 |     1750 |       11
154.86/154.92	c  6.1s |      10 |    16787 |    11361 |     8926      1 |     1750 |       11
156.86/156.95	c  8.1s |      10 |    22969 |    15561 |     8926      2 |     1750 |       11
157.56/157.68	c  8.8s |      11 |    25258 |    17144 |     8926      2 |     1750 |       11
159.57/159.68	c 10.8s |      11 |    32767 |    21844 |     8926      3 |     1750 |       11
161.67/161.72	c 12.9s |      11 |    38239 |    25444 |     8926      4 |     1750 |       11
161.78/161.90	c 13.0s |      12 |    38815 |    25819 |     8926      4 |     1750 |       11
163.88/163.93	c 15.1s |      12 |    44988 |    29719 |     8926      5 |     1750 |       11
165.87/165.94	c 17.1s |      12 |    50726 |    33719 |     8926      5 |     1750 |       11
167.87/167.97	c 19.1s |      12 |    56920 |    37819 |     8926      6 |     1750 |       11
168.38/168.47	c 19.6s |      13 |    58414 |    38832 |     8926      6 |     1750 |       11
170.37/170.49	c 21.6s |      13 |    64190 |    42832 |     8926      7 |     1750 |       11
172.47/172.50	c 23.7s |      13 |    70669 |    47032 |     8926      8 |     1750 |       11
174.47/174.53	c 25.7s |      13 |    76568 |    51032 |     8926      9 |     1750 |       11
176.47/176.56	c 27.7s |      13 |    83031 |    55232 |     8926      9 |     1750 |       11
177.87/177.95	c 29.1s |      14 |    87536 |    58352 |     8926     10 |     1750 |       11
179.86/179.97	c 31.1s |      14 |    93562 |    62052 |     8926     11 |     1750 |       11
181.96/182.01	c 33.2s |      14 |    99574 |    66052 |     8926     11 |     1750 |       11
183.96/184.06	c 35.2s |      14 |   106053 |    70552 |     8926     12 |     1750 |       11
185.97/186.06	c 37.2s |      14 |   112361 |    74752 |     8926     13 |     1750 |       11
187.96/188.07	c 39.2s |      14 |   119412 |    79452 |     8926     14 |     1750 |       11
190.06/190.13	c 41.3s |      14 |   124553 |    83152 |     8926     15 |     1750 |       11
192.06/192.15	c 43.3s |      14 |   130734 |    87452 |     8926     15 |     1750 |       11
192.16/192.23	c 43.4s |      15 |   130985 |    87632 |     8926     15 |     1750 |       11
194.26/194.30	c 45.4s |      15 |   137199 |    91732 |     8926     16 |     1750 |       11
196.26/196.32	c 47.5s |      15 |   143516 |    95932 |     8926     17 |     1750 |       11
198.26/198.34	c 49.5s |      15 |   149397 |    99932 |     8926     18 |     1750 |       11
200.26/200.36	c 51.5s |      15 |   155031 |   103932 |     8926     18 |     1750 |       11
202.26/202.39	c 53.5s |      15 |   161451 |   108332 |     8926     19 |     1750 |       11
204.36/204.40	c 55.5s |      15 |   167992 |   112832 |     8926     20 |     1750 |       11
206.35/206.42	c 57.6s |      15 |   172515 |   115932 |     8926     21 |     1750 |       11
208.35/208.48	c 59.6s |      15 |   179146 |   120432 |     8926     22 |     1750 |       11
210.45/210.50	c 61.6s |      15 |   186648 |   125432 |     8926     22 |     1750 |       11
212.45/212.51	c 63.7s |      15 |   193137 |   129732 |     8926     23 |     1750 |       11
213.36/213.42	c 64.6s |      16 |   195603 |   131552 |     8926     24 |     1750 |       11
215.35/215.44	c 66.6s |      16 |   201480 |   135652 |     8926     24 |     1750 |       11
217.35/217.48	c 68.6s |      16 |   207194 |   139652 |     8926     25 |     1750 |       11
219.45/219.53	c 70.7s |      16 |   212782 |   143452 |     8926     26 |     1750 |       11
221.45/221.56	c 72.7s |      16 |   218716 |   147452 |     9819     26 |     1750 |       11
223.45/223.56	c 74.7s |      16 |   224815 |   151552 |     9819     27 |     1750 |       11
225.45/225.59	c 76.7s |      16 |   230126 |   154952 |     9819     28 |     1750 |       11
227.55/227.63	c 78.8s |      16 |   236676 |   159252 |     9819     28 |     1750 |       11
229.55/229.66	c 80.8s |      16 |   242695 |   163152 |     9819     29 |     1750 |       11
231.54/231.67	c 82.8s |      16 |   248204 |   166852 |     9819     30 |     1750 |       11
233.54/233.68	c 84.8s |      16 |   254587 |   170952 |     9819     30 |     1750 |       11
235.64/235.72	c 86.9s |      16 |   260200 |   174652 |     9819     31 |     1750 |       11
237.65/237.77	c 88.9s |      16 |   266037 |   178452 |     9819     32 |     1750 |       11
239.64/239.80	c 90.9s |      16 |   271028 |   181952 |     9819     32 |     1750 |       11
241.74/241.80	c 92.9s |      16 |   276495 |   185752 |     9819     33 |     1750 |       11
243.74/243.81	c 95.0s |      16 |   282271 |   189652 |     9819     34 |     1750 |       11
245.74/245.87	c 97.0s |      16 |   287850 |   193652 |     9819     34 |     1750 |       11
247.54/247.68	c 98.8s |      17 |   293535 |   197432 |     9819     35 |     1750 |       11
249.64/249.70	c  100s |      17 |   298504 |   200932 |     9819     36 |     1750 |       11
251.64/251.72	c  102s |      17 |   304584 |   205132 |     9819     36 |     1750 |       11
253.64/253.73	c  104s |      17 |   311106 |   209632 |     9819     37 |     1750 |       11
255.64/255.74	c  106s |      17 |   317024 |   213732 |     9819     38 |     1750 |       11
257.64/257.77	c  108s |      17 |   323986 |   218332 |     9819     39 |     1750 |       11
259.74/259.81	c  110s |      17 |   330622 |   223032 |     9819     39 |     1750 |       11
261.74/261.83	c  112s |      17 |   336617 |   227232 |     9819     40 |     1750 |       11
263.73/263.84	c  114s |      17 |   343095 |   231632 |     9819     41 |     1750 |       11
265.73/265.85	c  116s |      17 |   349308 |   235932 |     9819     42 |     1750 |       11
267.73/267.89	c  119s |      17 |   354577 |   239632 |     9819     42 |     1750 |       11
268.13/268.25	c  119s |      17 |   355498 |   240320 |     9819     42 |     1751 |       12
268.13/268.25	c #cpu_time = 119.059s
268.13/268.25	c #wall_clock_time = 119.397s
268.13/268.25	c #decision = 355498
268.13/268.25	c #random_decision = 871
268.13/268.25	c #conflict = 240320
268.13/268.25	c #restart = 17
268.13/268.25	c BCD2: updating lower bound of a core
268.13/268.25	c lower bound updated to 8
268.13/268.25	s OPTIMUM FOUND
268.13/268.25	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10
268.13/268.25	v x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
268.13/268.25	v -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
268.13/268.25	v -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40
268.13/268.25	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
268.13/268.25	v -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60
268.13/268.25	v -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70
268.13/268.25	v -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80
268.13/268.25	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 x90
268.13/268.25	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
268.13/268.25	v -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
268.13/268.25	v -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120
268.13/268.25	v -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130
268.13/268.25	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
268.13/268.25	v -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
268.13/268.25	v -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
268.13/268.25	v -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170
268.13/268.25	v -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180
268.13/268.25	v -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190
268.13/268.25	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 -x200
268.13/268.25	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
268.13/268.25	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
268.13/268.25	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230
268.13/268.25	v -x231
268.13/268.25	c total CPU time = 267.527s
268.13/268.25	c total wall clock time = 268.256s

Verifier Data 

OK	8

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

pid=2340
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.25 2.26 2.04 3/177 2343
/proc/meminfo: memFree=28881456/32872528 swapFree=1316768/1463936
[pid=2343] ppid=2340 vsize=718268 CPUtime=0 cores=0,2,4,6
/proc/2343/stat : 2343 (toysat) R 2340 2343 1219 0 -1 4202496 2677 0 0 0 0 0 0 0 20 0 4 0 36441383 735506432 3038 33554432000 4194304 16246674 140734012997712 140734012997136 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2343/statm: 180079 3047 441 2943 0 176973 0
[pid=2343/tid=2344] ppid=2340 vsize=735676 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2344/stat : 2344 (toysat) S 2340 2343 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36441383 753332224 3108 33554432000 4194304 16246674 140734012997712 140231669951728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2343/tid=2345] ppid=2340 vsize=740796 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2345/stat : 2345 (toysat) S 2340 2343 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441383 758575104 3127 33554432000 4194304 16246674 140734012997712 140231659461872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2343/tid=2346] ppid=2340 vsize=744892 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2346/stat : 2346 (toysat) S 2340 2343 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36441383 762769408 3142 33554432000 4194304 16246674 140734012997712 140231648988336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100124 s]
/proc/loadavg: 2.25 2.26 2.04 3/177 2343
/proc/meminfo: memFree=28881456/32872528 swapFree=1316768/1463936
[pid=2343] ppid=2340 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/2343/stat : 2343 (toysat) R 2340 2343 1219 0 -1 4202496 24920 0 0 0 5 4 0 0 20 0 4 0 36441383 1247350784 25275 33554432000 4194304 16246674 140734012997712 140734012997136 6192613 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2343/statm: 304529 25280 606 2943 0 301423 0
[pid=2343/tid=2344] ppid=2340 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2344/stat : 2344 (toysat) S 2340 2343 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36441383 1247350784 25281 33554432000 4194304 16246674 140734012997712 140231669951728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2343/tid=2345] ppid=2340 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2345/stat : 2345 (toysat) S 2340 2343 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441383 1247350784 25288 33554432000 4194304 16246674 140734012997712 140231659461872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2343/tid=2346] ppid=2340 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2346/stat : 2346 (toysat) S 2340 2343 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36441383 1247350784 25288 33554432000 4194304 16246674 140734012997712 140231648988336 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.200544 s]
/proc/loadavg: 2.25 2.26 2.04 3/177 2343
/proc/meminfo: memFree=28881456/32872528 swapFree=1316768/1463936
[pid=2343] ppid=2340 vsize=1221188 CPUtime=0.19 cores=0,2,4,6
/proc/2343/stat : 2343 (toysat) R 2340 2343 1219 0 -1 4202496 33342 0 0 0 14 5 0 0 20 0 4 0 36441383 1250496512 33650 33554432000 4194304 16246674 140734012997712 140734012997024 5754924 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2343/statm: 305297 33650 893 2943 0 302191 0
[pid=2343/tid=2344] ppid=2340 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2344/stat : 2344 (toysat) S 2340 2343 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36441383 1250496512 33650 33554432000 4194304 16246674 140734012997712 140231669951728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2343/tid=2345] ppid=2340 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2345/stat : 2345 (toysat) S 2340 2343 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441383 1250496512 33650 33554432000 4194304 16246674 140734012997712 140231659461872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2343/tid=2346] ppid=2340 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2346/stat : 2346 (toysat) S 2340 2343 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441383 1250496512 33650 33554432000 4194304 16246674 140734012997712 140231648988336 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) 1221188

[startup+0.300514 s]
/proc/loadavg: 2.25 2.26 2.04 3/177 2343
/proc/meminfo: memFree=28881456/32872528 swapFree=1316768/1463936
[pid=2343] ppid=2340 vsize=1303108 CPUtime=0.29 cores=0,2,4,6
/proc/2343/stat : 2343 (toysat) R 2340 2343 1219 0 -1 4202496 51037 0 0 0 22 7 0 0 20 0 4 0 36441383 1334382592 51345 33554432000 4194304 16246674 140734012997712 140734012997024 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2343/statm: 325777 51353 920 2943 0 322671 0
[pid=2343/tid=2344] ppid=2340 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2344/stat : 2344 (toysat) S 2340 2343 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36441383 1334382592 51357 33554432000 4194304 16246674 140734012997712 140231669951728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2343/tid=2345] ppid=2340 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2345/stat : 2345 (toysat) S 2340 2343 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441383 1334382592 51359 33554432000 4194304 16246674 140734012997712 140231659461872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2343/tid=2346] ppid=2340 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2346/stat : 2346 (toysat) S 2340 2343 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441383 1334382592 51363 33554432000 4194304 16246674 140734012997712 140231648988336 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) 1303108

[startup+0.700399 s]
/proc/loadavg: 2.25 2.26 2.04 3/177 2343
/proc/meminfo: memFree=28881456/32872528 swapFree=1316768/1463936
[pid=2343] ppid=2340 vsize=1303108 CPUtime=0.69 cores=0,2,4,6
/proc/2343/stat : 2343 (toysat) R 2340 2343 1219 0 -1 4202496 120721 0 0 0 52 17 0 0 20 0 4 0 36441383 1334382592 121029 33554432000 4194304 16246674 140734012997712 140734012997024 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2343/statm: 325777 121035 920 2943 0 322671 0
[pid=2343/tid=2344] ppid=2340 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2344/stat : 2344 (toysat) S 2340 2343 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36441383 1334382592 121040 33554432000 4194304 16246674 140734012997712 140231669951728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2343/tid=2345] ppid=2340 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2345/stat : 2345 (toysat) S 2340 2343 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441383 1334382592 121045 33554432000 4194304 16246674 140734012997712 140231659461872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2343/tid=2346] ppid=2340 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2346/stat : 2346 (toysat) S 2340 2343 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441383 1334382592 121049 33554432000 4194304 16246674 140734012997712 140231648988336 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) 1303108

[startup+1.50039 s]
/proc/loadavg: 2.25 2.26 2.04 3/181 2347
/proc/meminfo: memFree=28086348/32872528 swapFree=1316768/1463936
[pid=2343] ppid=2340 vsize=1308228 CPUtime=1.49 cores=0,2,4,6
/proc/2343/stat : 2343 (toysat) R 2340 2343 1219 0 -1 4202496 198361 0 0 0 120 29 0 0 20 0 4 0 36441383 1339625472 198669 33554432000 4194304 16246674 140734012997712 140734012979584 6012041 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2343/statm: 327057 198669 929 2943 0 323951 0
[pid=2343/tid=2344] ppid=2340 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2344/stat : 2344 (toysat) S 2340 2343 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36441383 1339625472 198669 33554432000 4194304 16246674 140734012997712 140231669951728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2343/tid=2345] ppid=2340 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2345/stat : 2345 (toysat) S 2340 2343 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441383 1339625472 198669 33554432000 4194304 16246674 140734012997712 140231659461872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2343/tid=2346] ppid=2340 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2346/stat : 2346 (toysat) S 2340 2343 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441383 1339625472 198669 33554432000 4194304 16246674 140734012997712 140231648988336 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.10045 s]
/proc/loadavg: 2.25 2.26 2.04 3/181 2347
/proc/meminfo: memFree=28085108/32872528 swapFree=1316768/1463936
[pid=2343] ppid=2340 vsize=1308228 CPUtime=3.09 cores=0,2,4,6
/proc/2343/stat : 2343 (toysat) R 2340 2343 1219 0 -1 4202496 198362 0 0 0 280 29 0 0 20 0 4 0 36441383 1339625472 198670 33554432000 4194304 16246674 140734012997712 140734012979584 5545832 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2343/statm: 327057 198670 930 2943 0 323951 0
[pid=2343/tid=2344] ppid=2340 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2344/stat : 2344 (toysat) S 2340 2343 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36441383 1339625472 198670 33554432000 4194304 16246674 140734012997712 140231669951728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2343/tid=2345] ppid=2340 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2345/stat : 2345 (toysat) S 2340 2343 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441383 1339625472 198670 33554432000 4194304 16246674 140734012997712 140231659461872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2343/tid=2346] ppid=2340 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2346/stat : 2346 (toysat) S 2340 2343 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441383 1339625472 198670 33554432000 4194304 16246674 140734012997712 140231648988336 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.30044 s]
/proc/loadavg: 2.39 2.29 2.05 3/181 2347
/proc/meminfo: memFree=28083176/32872528 swapFree=1316768/1463936
[pid=2343] ppid=2340 vsize=1309252 CPUtime=6.29 cores=0,2,4,6
/proc/2343/stat : 2343 (toysat) R 2340 2343 1219 0 -1 4202496 198414 0 0 0 600 29 0 0 20 0 4 0 36441383 1340674048 198722 33554432000 4194304 16246674 140734012997712 140734012980712 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2343/statm: 327313 198722 932 2943 0 324207 0
[pid=2343/tid=2344] ppid=2340 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2344/stat : 2344 (toysat) S 2340 2343 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36441383 1340674048 198722 33554432000 4194304 16246674 140734012997712 140231669951728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2343/tid=2345] ppid=2340 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2345/stat : 2345 (toysat) S 2340 2343 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441383 1340674048 198722 33554432000 4194304 16246674 140734012997712 140231659461872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2343/tid=2346] ppid=2340 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2346/stat : 2346 (toysat) S 2340 2343 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441383 1340674048 198722 33554432000 4194304 16246674 140734012997712 140231648988336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1309252

[startup+12.7005 s]
/proc/loadavg: 2.44 2.30 2.05 4/181 2347
/proc/meminfo: memFree=28081644/32872528 swapFree=1316768/1463936
[pid=2343] ppid=2340 vsize=1310276 CPUtime=12.69 cores=0,2,4,6
/proc/2343/stat : 2343 (toysat) R 2340 2343 1219 0 -1 4202496 198676 0 0 0 1240 29 0 0 20 0 4 0 36441383 1341722624 198984 33554432000 4194304 16246674 140734012997712 140734012996888 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2343/statm: 327569 198984 932 2943 0 324463 0
[pid=2343/tid=2344] ppid=2340 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2344/stat : 2344 (toysat) S 2340 2343 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36441383 1341722624 198984 33554432000 4194304 16246674 140734012997712 140231669951728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2343/tid=2345] ppid=2340 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2345/stat : 2345 (toysat) S 2340 2343 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441383 1341722624 198984 33554432000 4194304 16246674 140734012997712 140231659461872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2343/tid=2346] ppid=2340 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2346/stat : 2346 (toysat) S 2340 2343 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441383 1341722624 198984 33554432000 4194304 16246674 140734012997712 140231648988336 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) 1310276

[startup+25.5005 s]
/proc/loadavg: 2.49 2.32 2.06 3/181 2347
/proc/meminfo: memFree=28068916/32872528 swapFree=1316768/1463936
[pid=2343] ppid=2340 vsize=1313348 CPUtime=25.49 cores=0,2,4,6
/proc/2343/stat : 2343 (toysat) R 2340 2343 1219 0 -1 4202496 199644 0 0 0 2519 30 0 0 20 0 4 0 36441383 1344868352 199952 33554432000 4194304 16246674 140734012997712 140734012996888 8224713 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2343/statm: 328337 199952 932 2943 0 325231 0
[pid=2343/tid=2344] ppid=2340 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2344/stat : 2344 (toysat) S 2340 2343 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36441383 1344868352 199952 33554432000 4194304 16246674 140734012997712 140231669951728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2343/tid=2345] ppid=2340 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2345/stat : 2345 (toysat) S 2340 2343 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441383 1344868352 199952 33554432000 4194304 16246674 140734012997712 140231659461872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2343/tid=2346] ppid=2340 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2346/stat : 2346 (toysat) S 2340 2343 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441383 1344868352 199952 33554432000 4194304 16246674 140734012997712 140231648988336 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) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.39 2.31 2.06 4/181 2347
/proc/meminfo: memFree=27784932/32872528 swapFree=1316768/1463936
[pid=2343] ppid=2340 vsize=1317444 CPUtime=51.08 cores=0,2,4,6
/proc/2343/stat : 2343 (toysat) R 2340 2343 1219 0 -1 4202496 270582 0 0 0 5068 40 0 0 20 0 4 0 36441383 1349062656 270890 33554432000 4194304 16246674 140734012997712 140734012979584 5822556 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2343/statm: 329361 270890 941 2943 0 326255 0
[pid=2343/tid=2344] ppid=2340 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2344/stat : 2344 (toysat) S 2340 2343 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36441383 1349062656 270890 33554432000 4194304 16246674 140734012997712 140231669951728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2343/tid=2345] ppid=2340 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2345/stat : 2345 (toysat) S 2340 2343 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441383 1349062656 270890 33554432000 4194304 16246674 140734012997712 140231659461872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2343/tid=2346] ppid=2340 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2346/stat : 2346 (toysat) S 2340 2343 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441383 1349062656 270890 33554432000 4194304 16246674 140734012997712 140231648988336 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) 1317444

[startup+102.3 s]
/proc/loadavg: 2.33 2.30 2.07 4/181 2348
/proc/meminfo: memFree=27782612/32872528 swapFree=1316768/1463936
[pid=2343] ppid=2340 vsize=1319492 CPUtime=102.28 cores=0,2,4,6
/proc/2343/stat : 2343 (toysat) R 2340 2343 1219 0 -1 4202496 270925 0 0 0 10188 40 0 0 20 0 4 0 36441383 1351159808 271233 33554432000 4194304 16246674 140734012997712 140734012979584 13965488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2343/statm: 329873 271233 941 2943 0 326767 0
[pid=2343/tid=2344] ppid=2340 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2344/stat : 2344 (toysat) S 2340 2343 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36441383 1351159808 271233 33554432000 4194304 16246674 140734012997712 140231669951728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2343/tid=2345] ppid=2340 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2345/stat : 2345 (toysat) S 2340 2343 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441383 1351159808 271233 33554432000 4194304 16246674 140734012997712 140231659461872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2343/tid=2346] ppid=2340 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2346/stat : 2346 (toysat) S 2340 2343 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441383 1351159808 271233 33554432000 4194304 16246674 140734012997712 140231648988336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1319492

[startup+162.3 s]
/proc/loadavg: 2.28 2.29 2.08 3/181 2398
/proc/meminfo: memFree=27787920/32872528 swapFree=1316768/1463936
[pid=2343] ppid=2340 vsize=1330756 CPUtime=162.27 cores=0,2,4,6
/proc/2343/stat : 2343 (toysat) R 2340 2343 1219 0 -1 4202496 273910 0 0 0 16185 42 0 0 20 0 4 0 36441383 1362694144 274218 33554432000 4194304 16246674 140734012997712 140734012980712 6842417 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2343/statm: 332689 274218 941 2943 0 329583 0
[pid=2343/tid=2344] ppid=2340 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2344/stat : 2344 (toysat) S 2340 2343 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36441383 1362694144 274218 33554432000 4194304 16246674 140734012997712 140231669951728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2343/tid=2345] ppid=2340 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2345/stat : 2345 (toysat) S 2340 2343 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441383 1362694144 274218 33554432000 4194304 16246674 140734012997712 140231659461872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2343/tid=2346] ppid=2340 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2346/stat : 2346 (toysat) S 2340 2343 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441383 1362694144 274218 33554432000 4194304 16246674 140734012997712 140231648988336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1330756

[startup+222.307 s]
/proc/loadavg: 2.19 2.26 2.09 3/181 2447
/proc/meminfo: memFree=28293532/32872528 swapFree=1316768/1463936
[pid=2343] ppid=2340 vsize=1330756 CPUtime=222.25 cores=0,2,4,6
/proc/2343/stat : 2343 (toysat) R 2340 2343 1219 0 -1 4202496 273934 0 0 0 22183 42 0 0 20 0 4 0 36441383 1362694144 274222 33554432000 4194304 16246674 140734012997712 140734012979584 5667809 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2343/statm: 332689 274222 942 2943 0 329583 0
[pid=2343/tid=2344] ppid=2340 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2344/stat : 2344 (toysat) S 2340 2343 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36441383 1362694144 274222 33554432000 4194304 16246674 140734012997712 140231669951728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2343/tid=2345] ppid=2340 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2345/stat : 2345 (toysat) S 2340 2343 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441383 1362694144 274222 33554432000 4194304 16246674 140734012997712 140231659461872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2343/tid=2346] ppid=2340 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2346/stat : 2346 (toysat) S 2340 2343 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441383 1362694144 274222 33554432000 4194304 16246674 140734012997712 140231648988336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1330756

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

[startup+230.4 s]
/proc/loadavg: 2.32 2.29 2.10 3/181 2447
/proc/meminfo: memFree=28293640/32872528 swapFree=1316768/1463936
[pid=2343] ppid=2340 vsize=1330756 CPUtime=230.35 cores=0,2,4,6
/proc/2343/stat : 2343 (toysat) R 2340 2343 1219 0 -1 4202496 273934 0 0 0 22993 42 0 0 20 0 4 0 36441383 1362694144 274222 33554432000 4194304 16246674 140734012997712 140734012995520 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2343/statm: 332689 274222 942 2943 0 329583 0
[pid=2343/tid=2344] ppid=2340 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2344/stat : 2344 (toysat) S 2340 2343 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36441383 1362694144 274222 33554432000 4194304 16246674 140734012997712 140231669951728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2343/tid=2345] ppid=2340 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2345/stat : 2345 (toysat) S 2340 2343 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441383 1362694144 274222 33554432000 4194304 16246674 140734012997712 140231659461872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2343/tid=2346] ppid=2340 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2346/stat : 2346 (toysat) S 2340 2343 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441383 1362694144 274222 33554432000 4194304 16246674 140734012997712 140231648988336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 230.35
Current children cumulated vsize (KiB) 1330756

[startup+243.207 s]
/proc/loadavg: 2.35 2.30 2.10 3/181 2448
/proc/meminfo: memFree=28293624/32872528 swapFree=1316768/1463936
[pid=2343] ppid=2340 vsize=1330756 CPUtime=243.15 cores=0,2,4,6
/proc/2343/stat : 2343 (toysat) R 2340 2343 1219 0 -1 4202496 273937 0 0 0 24273 42 0 0 20 0 4 0 36441383 1362694144 274222 33554432000 4194304 16246674 140734012997712 140734012995520 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2343/statm: 332689 274222 942 2943 0 329583 0
[pid=2343/tid=2344] ppid=2340 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2344/stat : 2344 (toysat) S 2340 2343 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36441383 1362694144 274222 33554432000 4194304 16246674 140734012997712 140231669951728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2343/tid=2345] ppid=2340 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2345/stat : 2345 (toysat) S 2340 2343 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441383 1362694144 274222 33554432000 4194304 16246674 140734012997712 140231659461872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2343/tid=2346] ppid=2340 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2346/stat : 2346 (toysat) S 2340 2343 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441383 1362694144 274222 33554432000 4194304 16246674 140734012997712 140231648988336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 243.15
Current children cumulated vsize (KiB) 1330756

[startup+256 s]
/proc/loadavg: 2.19 2.26 2.09 3/181 2497
/proc/meminfo: memFree=28263612/32872528 swapFree=1316768/1463936
[pid=2343] ppid=2340 vsize=1330756 CPUtime=255.94 cores=0,2,4,6
/proc/2343/stat : 2343 (toysat) R 2340 2343 1219 0 -1 4202496 273947 0 0 0 25552 42 0 0 20 0 4 0 36441383 1362694144 274222 33554432000 4194304 16246674 140734012997712 140734012979584 5823428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2343/statm: 332689 274222 942 2943 0 329583 0
[pid=2343/tid=2344] ppid=2340 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2344/stat : 2344 (toysat) S 2340 2343 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36441383 1362694144 274222 33554432000 4194304 16246674 140734012997712 140231669951728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2343/tid=2345] ppid=2340 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2345/stat : 2345 (toysat) S 2340 2343 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441383 1362694144 274222 33554432000 4194304 16246674 140734012997712 140231659461872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2343/tid=2346] ppid=2340 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2346/stat : 2346 (toysat) S 2340 2343 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441383 1362694144 274222 33554432000 4194304 16246674 140734012997712 140231648988336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 255.94
Current children cumulated vsize (KiB) 1330756

[startup+262.4 s]
/proc/loadavg: 2.17 2.26 2.09 3/181 2500
/proc/meminfo: memFree=28048464/32872528 swapFree=1316768/1463936
[pid=2343] ppid=2340 vsize=1330756 CPUtime=262.33 cores=0,2,4,6
/proc/2343/stat : 2343 (toysat) R 2340 2343 1219 0 -1 4202496 273947 0 0 0 26191 42 0 0 20 0 4 0 36441383 1362694144 274222 33554432000 4194304 16246674 140734012997712 140734012979584 13943600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2343/statm: 332689 274222 942 2943 0 329583 0
[pid=2343/tid=2344] ppid=2340 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2344/stat : 2344 (toysat) S 2340 2343 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36441383 1362694144 274222 33554432000 4194304 16246674 140734012997712 140231669951728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2343/tid=2345] ppid=2340 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2345/stat : 2345 (toysat) S 2340 2343 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441383 1362694144 274222 33554432000 4194304 16246674 140734012997712 140231659461872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2343/tid=2346] ppid=2340 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2346/stat : 2346 (toysat) S 2340 2343 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441383 1362694144 274222 33554432000 4194304 16246674 140734012997712 140231648988336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 262.33
Current children cumulated vsize (KiB) 1330756

[startup+265.6 s]
/proc/loadavg: 2.16 2.25 2.09 3/182 2501
/proc/meminfo: memFree=28047904/32872528 swapFree=1316768/1463936
[pid=2343] ppid=2340 vsize=1330756 CPUtime=265.53 cores=0,2,4,6
/proc/2343/stat : 2343 (toysat) R 2340 2343 1219 0 -1 4202496 273955 0 0 0 26511 42 0 0 20 0 4 0 36441383 1362694144 274222 33554432000 4194304 16246674 140734012997712 140734012979584 5545872 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2343/statm: 332689 274222 942 2943 0 329583 0
[pid=2343/tid=2344] ppid=2340 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2344/stat : 2344 (toysat) S 2340 2343 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36441383 1362694144 274222 33554432000 4194304 16246674 140734012997712 140231669951728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2343/tid=2345] ppid=2340 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2345/stat : 2345 (toysat) S 2340 2343 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441383 1362694144 274222 33554432000 4194304 16246674 140734012997712 140231659461872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2343/tid=2346] ppid=2340 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2346/stat : 2346 (toysat) S 2340 2343 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441383 1362694144 274222 33554432000 4194304 16246674 140734012997712 140231648988336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 265.53
Current children cumulated vsize (KiB) 1330756

[startup+267.2 s]
/proc/loadavg: 2.16 2.25 2.09 3/182 2501
/proc/meminfo: memFree=28047904/32872528 swapFree=1316768/1463936
[pid=2343] ppid=2340 vsize=1330756 CPUtime=267.13 cores=0,2,4,6
/proc/2343/stat : 2343 (toysat) R 2340 2343 1219 0 -1 4202496 273955 0 0 0 26671 42 0 0 20 0 4 0 36441383 1362694144 274222 33554432000 4194304 16246674 140734012997712 140734012979584 13954605 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2343/statm: 332689 274222 942 2943 0 329583 0
[pid=2343/tid=2344] ppid=2340 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2344/stat : 2344 (toysat) S 2340 2343 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36441383 1362694144 274222 33554432000 4194304 16246674 140734012997712 140231669951728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2343/tid=2345] ppid=2340 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2345/stat : 2345 (toysat) S 2340 2343 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441383 1362694144 274222 33554432000 4194304 16246674 140734012997712 140231659461872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2343/tid=2346] ppid=2340 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2346/stat : 2346 (toysat) S 2340 2343 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441383 1362694144 274222 33554432000 4194304 16246674 140734012997712 140231648988336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 267.13
Current children cumulated vsize (KiB) 1330756

[startup+268 s]
/proc/loadavg: 2.16 2.25 2.09 4/182 2501
/proc/meminfo: memFree=28048300/32872528 swapFree=1316768/1463936
[pid=2343] ppid=2340 vsize=1330756 CPUtime=267.93 cores=0,2,4,6
/proc/2343/stat : 2343 (toysat) R 2340 2343 1219 0 -1 4202496 273955 0 0 0 26751 42 0 0 20 0 4 0 36441383 1362694144 274222 33554432000 4194304 16246674 140734012997712 140734012979584 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2343/statm: 332689 274222 942 2943 0 329583 0
[pid=2343/tid=2344] ppid=2340 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2344/stat : 2344 (toysat) S 2340 2343 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36441383 1362694144 274222 33554432000 4194304 16246674 140734012997712 140231669951728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2343/tid=2345] ppid=2340 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2345/stat : 2345 (toysat) S 2340 2343 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441383 1362694144 274222 33554432000 4194304 16246674 140734012997712 140231659461872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2343/tid=2346] ppid=2340 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2346/stat : 2346 (toysat) S 2340 2343 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441383 1362694144 274222 33554432000 4194304 16246674 140734012997712 140231648988336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 267.93
Current children cumulated vsize (KiB) 1330756

[startup+268.2 s]
/proc/loadavg: 2.16 2.25 2.09 4/182 2501
/proc/meminfo: memFree=28048300/32872528 swapFree=1316768/1463936
[pid=2343] ppid=2340 vsize=1330756 CPUtime=268.13 cores=0,2,4,6
/proc/2343/stat : 2343 (toysat) R 2340 2343 1219 0 -1 4202496 273955 0 0 0 26771 42 0 0 20 0 4 0 36441383 1362694144 274222 33554432000 4194304 16246674 140734012997712 140734012979584 6843327 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2343/statm: 332689 274222 942 2943 0 329583 0
[pid=2343/tid=2344] ppid=2340 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2344/stat : 2344 (toysat) S 2340 2343 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36441383 1362694144 274222 33554432000 4194304 16246674 140734012997712 140231669951728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2343/tid=2345] ppid=2340 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2345/stat : 2345 (toysat) S 2340 2343 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441383 1362694144 274222 33554432000 4194304 16246674 140734012997712 140231659461872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2343/tid=2346] ppid=2340 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/2343/task/2346/stat : 2346 (toysat) S 2340 2343 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441383 1362694144 274222 33554432000 4194304 16246674 140734012997712 140231648988336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 268.13
Current children cumulated vsize (KiB) 1330756

[startup+268.3 s]
/proc/loadavg: 2.16 2.25 2.09 4/182 2501
/proc/meminfo: memFree=28048300/32872528 swapFree=1316768/1463936
[pid=2343] ppid=2340 vsize=0 CPUtime=268.23 cores=0,2,4,6
/proc/2343/stat : 2343 (toysat) R 2340 2343 1219 0 -1 4202500 273957 0 0 0 26777 46 0 0 20 0 1 0 36441383 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2343/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 268.23
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 268.312
CPU time (s): 268.249
CPU user time (s): 267.771
CPU system time (s): 0.477927
CPU usage (%): 99.9766
Max. virtual memory (cumulated for all children) (KiB): 1330756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 267.771
system time used= 0.477927
maximum resident set size= 1096892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273957
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= 65
involuntary context switches= 275

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.972852 second user time and 2.69459 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-19 15:45:45
IDJOB=4109726
IDBENCH=78905
IDSOLVER=2553
FILE ID=node121/4109726-1466343944
RUNJOBID= node121-1466341819-1235
PBS_JOBID= 19922032
Free space on /tmp= 71704 MiB

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

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

MD5SUM BENCH= 9b675eaf583b613075d5327645ad3a71
RANDOM SEED=541153013

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.691
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.691
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:        28882076 kB
Buffers:          202744 kB
Cached:           482988 kB
SwapCached:         1944 kB
Active:          1277892 kB
Inactive:         484540 kB
Active(anon):    1075748 kB
Inactive(anon):     2900 kB
Active(file):     202144 kB
Inactive(file):   481640 kB
Unevictable:     1463936 kB
Mlocked:         1316768 kB
SwapTotal:      67108856 kB
SwapFree:       67101196 kB
Dirty:             33044 kB
Writeback:            12 kB
AnonPages:       2538436 kB
Mapped:            12292 kB
Shmem:                 0 kB
Slab:             629672 kB
SReclaimable:      73232 kB
SUnreclaim:       556440 kB
KernelStack:        1480 kB
PageTables:         8792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2670696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    149504 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= 71688 MiB
End job on node121 at 2016-06-19 15:50:13