Trace number 4097856

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-02UNSAT 580.463 580.736

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_6.opb
MD5SUMd8f4c21ffa314d3a94f1c4876ce0902a
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.958854
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4970
Total number of constraints24225
Number of constraints which are clauses24220
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint70
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 6
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 76
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-17T01:11:01+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","--pb","--search=bcd2","HOME/instance-4097856-1466118661.opb"]
0.00/0.01	c use --random-gen="1323110450 3646061227 1320262393 4097392372 4150050475 478988634 2141619964 1086876087 2245917731 1482791075 785641484 1277464557 2259091582 2569076668 1487183739 3433847675 3710592340 3699820043 2394858644 1597250655 1301125458 3810814810 988865953 1131635347 4150388029 4020393634 2100690565 2698699509 847752386 3096976793 3427623971 1670481986 1588715716 2879175714 2652233885 3080521970 3090018354 1183684516 1173526522 3370158909 3759018579 3261877367 1595729260 3143039860 834326851 4189230004 852811487 4235510338 1786900583 4157974606 2654574464 1586447094 117453158 2863774806 3848061351 1533859199 1960735488 2033222400 888711631 3831387557 1396109645 2432562565 2691226114 2519665326 1851439296 3281089056 2007274199 2340964302 777358334 406016246 1879632856 3755900664 3404809478 3747355107 1660839906 1048891546 635811221 3568339746 515454529 844930852 2377466635 2069640934 39702845 447705032 603133255 2927378211 1311644446 4131074029 2252852531 2872446638 1969426174 3215611221 918053654 3823208196 3645335559 840214116 2973538499 250970952 3008628915 3670745101 979367763 1809011188 1474978705 3033557133 2418550882 1698383990 1851659420 1530171551 2844353623 3404057960 2054794002 2846715443 4001136130 2825917359 3354099405 3225029489 1227104186 4237257544 1273024242 3789279771 1256089650 1123939803 2072562012 2168426749 3714126447 1918068041 3954925545 149690855 2579566872 804550460 2838482421 2255856205 2703196727 1590830990 3381014014 3860400517 4148034190 3290043291 2912062798 1160062357 365305602 3732746831 1005496399 3992030061 2047917948 2855899599 3516067248 717680284 931049738 2030151717 444632404 2520382285 4084205551 3852492526 3117144985 4035911683 990160844 4226479199 3746055459 3857768766 3946653698 780107333 998554837 530434252 4007583965 56689065 3973979825 3608398706 4053056393 3314754905 4197230696 2025549292 3993181596 905238600 1489144827 1752310423 584195429 4289173664 3779651145 3726415586 3189453431 2911147907 1760878615 1696603815 668258661 3285248884 1435625030 3926697347 2884815841 2110986552 1254009664 2667914460 153264279 1902717313 1715597201 2769782901 852731148 3277953437 4062260021 1109931125 75525016 2805068600 3936135064 2537234428 388639740 1327676336 976247363 814477553 3554824494 4187547417 2117091084 829923861 595843493 2604933087 2814201724 1710302205 1209889340 4109900196 617669393 3137328298 587834068 4267031113 1863552693 125289769 876325241 1706730933 1582715579 2299715596 1170402781 287748804 3138175290 3774141964 2106655046 3453318020 1015744550 2152585629 559026293 3328587440 2800944144 3421022117 2876923765 3937841037 732521162 4213893448 497777882 2350886885 3107977682 1932747501 3485929368 251088060 144341742 1582701442 842304159 1487611061 2882372541 563586829 255 362436" option to reproduce the execution
0.59/0.65	c #vars 4970
0.59/0.65	c #constraints 24225
1.49/1.76	c Solving starts ...
1.49/1.76	c ============================[ Search Statistics ]============================
1.49/1.76	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.49/1.76	c       |         |          |          |    Limit     GC | Var      | Constra 
1.49/1.76	c =============================================================================
1.49/1.78	c  0.0s |       0 |        0 |        0 |     9730      0 |        5 |        0
2.09/2.10	c  0.3s |       1 |      216 |      100 |     9730      0 |        5 |      616
2.59/2.67	c  0.9s |       2 |     2338 |      250 |    10703      0 |        5 |      616
3.39/3.41	c  1.6s |       3 |     5271 |      475 |    11774      0 |        5 |      616
4.29/4.38	c  2.6s |       4 |    10759 |      813 |    12952      0 |        5 |      616
5.70/5.80	c  4.0s |       5 |    14785 |     1320 |    14248      0 |        5 |      616
7.39/7.46	c  5.7s |       6 |    20788 |     2081 |    17241      0 |        5 |      616
9.59/9.69	c  7.9s |       6 |    27329 |     2781 |    17241      0 |        5 |      616
11.20/11.23	c  9.5s |       7 |    34630 |     3223 |    18966      0 |        5 |      616
13.40/13.42	c 11.7s |       7 |    41949 |     3823 |    18966      0 |        5 |      616
15.49/15.54	c 13.8s |       7 |    48561 |     4823 |    18966      0 |        5 |      616
15.79/15.82	c 14.1s |       8 |    49912 |     4936 |    20863      0 |        5 |      616
17.99/18.00	c 16.2s |       8 |    56625 |     5536 |    20863      0 |        5 |      616
20.00/20.02	c 18.3s |       8 |    63721 |     6236 |    20863      0 |        5 |      616
22.20/22.29	c 20.5s |       8 |    71423 |     7136 |    20863      0 |        5 |      616
23.59/23.66	c 21.9s |       9 |    75826 |     7506 |    22950      0 |        5 |      616
25.79/25.86	c 24.1s |       9 |    82443 |     8106 |    22950      0 |        5 |      616
27.99/28.05	c 26.3s |       9 |    89665 |     9006 |    22950      0 |        5 |      616
30.09/30.16	c 28.4s |       9 |    98702 |     9606 |    22950      0 |        5 |      616
32.09/32.20	c 30.4s |       9 |   105837 |    10306 |    22950      0 |        5 |      616
34.29/34.37	c 32.6s |       9 |   113255 |    11106 |    22950      0 |        5 |      616
35.09/35.13	c 33.4s |      10 |   117508 |    11361 |    25246      0 |        5 |      616
37.09/37.19	c 35.4s |      10 |   123128 |    12061 |    25246      0 |        5 |      616
39.49/39.52	c 37.8s |      10 |   133296 |    12861 |    25246      0 |        5 |      616
41.68/41.77	c 40.0s |      10 |   137798 |    13661 |    25246      0 |        5 |      616
43.78/43.86	c 42.1s |      10 |   144200 |    14261 |    25246      0 |        5 |      616
45.98/46.06	c 44.3s |      10 |   150365 |    15161 |    25246      0 |        5 |      616
48.08/48.18	c 46.4s |      10 |   157389 |    15861 |    25246      0 |        5 |      616
50.28/50.31	c 48.5s |      10 |   162746 |    16561 |    25246      0 |        5 |      616
52.18/52.26	c 50.5s |      11 |   168446 |    17144 |    27771      0 |        5 |      616
54.38/54.43	c 52.7s |      11 |   175509 |    17644 |    27771      0 |        5 |      616
56.58/56.64	c 54.9s |      11 |   180801 |    18244 |    27771      0 |        5 |      616
58.88/58.97	c 57.2s |      11 |   190316 |    19244 |    27771      0 |        5 |      616
61.18/61.24	c 59.5s |      11 |   197112 |    19844 |    27771      0 |        5 |      616
63.38/63.44	c 61.7s |      11 |   204378 |    20744 |    27771      0 |        5 |      616
65.38/65.45	c 63.7s |      11 |   213347 |    21344 |    27771      0 |        5 |      616
67.68/67.73	c 66.0s |      11 |   221608 |    22344 |    27771      0 |        5 |      616
70.08/70.19	c 68.4s |      11 |   233896 |    23144 |    27771      0 |        5 |      616
72.18/72.29	c 70.5s |      11 |   245816 |    24244 |    27771      0 |        5 |      616
74.48/74.58	c 72.8s |      11 |   256509 |    24944 |    27771      0 |        5 |      616
76.38/76.40	c 74.6s |      12 |   264314 |    25819 |    30549      0 |        5 |      616
78.48/78.54	c 76.8s |      12 |   273044 |    26519 |    30549      0 |        5 |      616
80.58/80.64	c 78.9s |      12 |   280426 |    27419 |    30549      0 |        5 |      616
82.78/82.83	c 81.1s |      12 |   288776 |    28219 |    30549      0 |        5 |      616
84.88/84.95	c 83.2s |      12 |   298972 |    29019 |    30549      0 |        5 |      616
87.18/87.23	c 85.5s |      12 |   307595 |    29619 |    30549      0 |        5 |      616
89.38/89.41	c 87.6s |      12 |   315269 |    30219 |    30549      0 |        5 |      616
92.68/92.70	c 90.9s |      12 |   325371 |    31219 |    30549      1 |        5 |      616
94.78/94.82	c 93.1s |      12 |   331081 |    32119 |    30549      1 |        5 |      616
96.98/97.02	c 95.3s |      12 |   340941 |    32819 |    30549      1 |        5 |      616
98.98/99.04	c 97.3s |      12 |   350191 |    33719 |    30549      1 |        5 |      616
101.18/101.22	c 99.5s |      12 |   358630 |    34419 |    30549      1 |        5 |      616
103.18/103.30	c  101s |      12 |   369637 |    35519 |    30549      1 |        5 |      616
105.38/105.40	c  103s |      12 |   376787 |    36419 |    30549      1 |        5 |      616
107.37/107.45	c  105s |      12 |   386337 |    37219 |    30549      1 |        5 |      616
109.47/109.59	c  107s |      12 |   393452 |    38119 |    30549      1 |        5 |      616
111.17/111.29	c  109s |      13 |   398520 |    38832 |    33604      1 |        5 |      616
113.27/113.33	c  111s |      13 |   407124 |    39432 |    33604      1 |        5 |      616
115.27/115.35	c  113s |      13 |   410394 |    40032 |    33604      1 |        5 |      616
117.27/117.39	c  115s |      13 |   414543 |    40632 |    33604      1 |        5 |      616
119.47/119.58	c  117s |      13 |   420801 |    41132 |    33604      1 |        6 |      620
121.87/121.96	c  120s |      13 |   428123 |    41732 |    33604      1 |        6 |      620
124.17/124.27	c  122s |      13 |   438228 |    42832 |    33604      1 |        6 |      620
126.17/126.27	c  124s |      13 |   447297 |    43432 |    33604      1 |        6 |      620
128.37/128.45	c  126s |      13 |   456760 |    44432 |    33604      1 |        6 |      620
130.47/130.54	c  128s |      13 |   465080 |    45032 |    33604      1 |        6 |      620
132.77/132.88	c  131s |      13 |   472923 |    45932 |    33604      1 |        6 |      620
135.07/135.17	c  133s |      13 |   485690 |    47032 |    33604      1 |        6 |      620
137.17/137.25	c  135s |      13 |   497010 |    47932 |    33604      1 |        6 |      620
139.26/139.34	c  137s |      13 |   505674 |    48732 |    33604      1 |        6 |      620
141.26/141.39	c  139s |      13 |   515084 |    49632 |    33604      1 |        6 |      620
143.36/143.47	c  141s |      13 |   524554 |    50532 |    33604      1 |        6 |      620
145.56/145.69	c  143s |      13 |   530236 |    51032 |    33604      2 |        6 |      620
147.67/147.77	c  146s |      13 |   536201 |    51832 |    33604      2 |        6 |      620
149.87/149.94	c  148s |      13 |   547077 |    52932 |    33604      2 |        6 |      620
151.96/152.05	c  150s |      13 |   557963 |    54032 |    33604      2 |        6 |      620
154.06/154.20	c  152s |      13 |   568861 |    55332 |    33604      2 |        6 |      620
156.16/156.27	c  154s |      13 |   575909 |    56232 |    33604      2 |        6 |      620
158.36/158.45	c  156s |      13 |   581713 |    57132 |    33604      2 |        6 |      620
160.26/160.35	c  158s |      14 |   591394 |    58352 |    36965      2 |        6 |      620
162.36/162.46	c  160s |      14 |   601475 |    59652 |    36965      2 |        6 |      620
164.46/164.57	c  162s |      14 |   608835 |    60952 |    36965      2 |        6 |      620
166.55/166.66	c  164s |      14 |   614164 |    62252 |    36965      2 |        6 |      620
168.56/168.69	c  166s |      14 |   617747 |    63452 |    36965      2 |        6 |      620
170.85/170.95	c  169s |      14 |   621604 |    64252 |    36965      2 |      146 |     1165
173.64/173.79	c  172s |      14 |   623983 |    64352 |    36965      2 |      146 |     1165
175.84/175.93	c  174s |      14 |   634864 |    65052 |    36965      2 |      147 |     1169
177.94/178.04	c  176s |      14 |   647050 |    66252 |    36965      2 |      147 |     1169
179.94/180.09	c  178s |      14 |   653346 |    67152 |    36965      2 |      147 |     1169
181.94/182.09	c  180s |      14 |   660714 |    67752 |    36965      2 |      147 |     1169
184.24/184.36	c  182s |      14 |   673916 |    68952 |    36965      2 |      147 |     1169
186.44/186.54	c  184s |      14 |   680423 |    69852 |    36965      2 |      147 |     1169
188.54/188.62	c  186s |      14 |   687632 |    70652 |    36965      2 |      147 |     1169
190.74/190.83	c  189s |      14 |   697556 |    71452 |    36965      2 |      147 |     1169
192.84/192.90	c  191s |      14 |   705495 |    72552 |    36965      2 |      148 |     1173
194.85/194.96	c  193s |      14 |   715288 |    73452 |    36965      2 |      148 |     1173
196.94/197.02	c  195s |      14 |   722908 |    74352 |    36965      2 |      148 |     1173
199.14/199.21	c  197s |      14 |   734576 |    75452 |    36965      2 |      148 |     1173
201.24/201.35	c  199s |      14 |   747396 |    76652 |    36965      2 |      148 |     1173
203.24/203.37	c  201s |      14 |   754886 |    77752 |    36965      2 |      148 |     1173
205.34/205.48	c  203s |      14 |   762683 |    78652 |    36965      2 |      148 |     1173
207.34/207.49	c  205s |      14 |   772443 |    79852 |    36965      2 |      148 |     1173
209.53/209.62	c  207s |      14 |   781656 |    81152 |    36965      2 |      148 |     1173
211.53/211.67	c  209s |      14 |   790906 |    82552 |    36965      2 |      148 |     1173
213.64/213.75	c  211s |      14 |   796789 |    83852 |    36965      2 |      148 |     1173
216.33/216.42	c  214s |      14 |   801532 |    85052 |    36965      2 |      286 |     1710
218.43/218.56	c  216s |      14 |   809875 |    85652 |    36965      2 |      287 |     1714
220.83/220.94	c  219s |      14 |   818226 |    86352 |    36965      2 |      288 |     1718
222.93/223.02	c  221s |      14 |   824318 |    87152 |    40662      2 |      288 |     1718
224.04/224.14	c  222s |      15 |   829719 |    87632 |    40662      2 |      288 |     1718
226.13/226.28	c  224s |      15 |   836861 |    88432 |    40662      2 |      288 |     1718
228.23/228.32	c  226s |      15 |   847918 |    89232 |    40662      2 |      288 |     1718
230.23/230.39	c  228s |      15 |   860171 |    90532 |    40662      2 |      288 |     1718
232.24/232.40	c  230s |      15 |   869857 |    91332 |    40662      2 |      288 |     1718
234.44/234.53	c  232s |      15 |   880301 |    92332 |    40662      2 |      288 |     1718
236.53/236.65	c  234s |      15 |   888386 |    93232 |    40662      2 |      288 |     1718
238.63/238.74	c  236s |      15 |   897273 |    93932 |    40662      2 |      288 |     1718
240.63/240.75	c  238s |      15 |   904126 |    94832 |    40662      2 |      288 |     1718
242.63/242.77	c  241s |      15 |   911487 |    95732 |    40662      2 |      288 |     1718
244.83/244.92	c  243s |      15 |   918654 |    96632 |    40662      2 |      288 |     1718
246.83/246.94	c  245s |      15 |   928702 |    97732 |    40662      2 |      288 |     1718
248.93/249.06	c  247s |      15 |   936097 |    98532 |    40662      2 |      288 |     1718
251.03/251.18	c  249s |      15 |   943629 |    99632 |    40662      2 |      288 |     1718
253.13/253.30	c  251s |      15 |   949191 |   100632 |    40662      2 |      288 |     1718
255.22/255.33	c  253s |      15 |   955502 |   101532 |    40662      2 |      288 |     1718
257.42/257.51	c  255s |      15 |   960910 |   102532 |    40662      2 |      288 |     1718
259.51/259.60	c  257s |      15 |   965983 |   103532 |    40662      2 |      288 |     1718
261.61/261.77	c  260s |      15 |   971419 |   104732 |    40662      2 |      288 |     1718
263.81/263.95	c  262s |      15 |   975224 |   105932 |    40662      2 |      288 |     1718
266.21/266.30	c  264s |      15 |   979424 |   106932 |    40662      2 |      425 |     2251
268.41/268.54	c  266s |      15 |   989319 |   107532 |    40662      2 |      426 |     2255
270.51/270.64	c  268s |      15 |   999276 |   108532 |    40662      2 |      426 |     2255
272.71/272.81	c  271s |      15 |  1007673 |   109532 |    40662      2 |      426 |     2255
274.71/274.83	c  273s |      15 |  1015026 |   110232 |    40662      2 |      426 |     2255
276.80/276.96	c  275s |      15 |  1022277 |   111132 |    40662      2 |      426 |     2255
279.10/279.27	c  277s |      15 |  1033208 |   112232 |    40662      2 |      426 |     2255
281.20/281.37	c  279s |      15 |  1040498 |   113132 |    40662      2 |      427 |     2259
283.40/283.56	c  281s |      15 |  1051236 |   114032 |    40662      2 |      427 |     2259
285.70/285.84	c  284s |      15 |  1061850 |   115332 |    40662      2 |      427 |     2259
288.00/288.10	c  286s |      15 |  1068334 |   116232 |    40662      2 |      427 |     2259
290.00/290.13	c  288s |      15 |  1075830 |   117132 |    40662      2 |      427 |     2259
292.20/292.33	c  290s |      15 |  1086344 |   118432 |    40662      2 |      427 |     2259
294.30/294.44	c  292s |      15 |  1095712 |   119732 |    40662      2 |      427 |     2259
296.30/296.47	c  294s |      15 |  1103791 |   120932 |    40662      2 |      427 |     2259
298.40/298.50	c  296s |      15 |  1111936 |   122332 |    40662      2 |      427 |     2259
300.50/300.62	c  298s |      15 |  1118411 |   123832 |    40662      2 |      427 |     2259
302.79/302.91	c  301s |      15 |  1122127 |   125032 |    40662      2 |      561 |     2780
304.79/304.97	c  303s |      15 |  1130880 |   125732 |    40662      2 |      561 |     2780
306.89/307.00	c  305s |      15 |  1142682 |   126732 |    40662      2 |      562 |     2784
309.08/309.23	c  307s |      15 |  1151299 |   127832 |    40662      2 |      562 |     2784
311.08/311.28	c  309s |      15 |  1158357 |   128532 |    40662      2 |      562 |     2784
313.28/313.48	c  311s |      15 |  1168655 |   129632 |    40662      2 |      562 |     2784
315.38/315.54	c  313s |      15 |  1179095 |   130532 |    40662      2 |      563 |     2788
317.38/317.57	c  315s |      15 |  1185883 |   131432 |    44729      2 |      563 |     2788
317.68/317.80	c  316s |      16 |  1186769 |   131552 |    44729      2 |      563 |     2788
319.87/320.03	c  318s |      16 |  1196151 |   132352 |    44729      2 |      563 |     2788
321.87/322.04	c  320s |      16 |  1206261 |   133252 |    44729      2 |      563 |     2788
323.87/324.09	c  322s |      16 |  1214084 |   134152 |    44729      2 |      563 |     2788
325.97/326.14	c  324s |      16 |  1222234 |   135152 |    44729      2 |      563 |     2788
327.98/328.15	c  326s |      16 |  1230064 |   135952 |    44729      2 |      563 |     2788
330.17/330.38	c  328s |      16 |  1236099 |   136752 |    44729      2 |      563 |     2788
332.37/332.51	c  330s |      16 |  1243328 |   137652 |    44729      2 |      564 |     2792
334.47/334.65	c  332s |      16 |  1252796 |   138652 |    44729      2 |      564 |     2792
336.47/336.66	c  334s |      16 |  1261691 |   139652 |    44729      2 |      564 |     2792
338.67/338.88	c  337s |      16 |  1271502 |   140752 |    44729      2 |      564 |     2792
340.86/341.06	c  339s |      16 |  1280561 |   141952 |    44729      2 |      564 |     2792
342.96/343.10	c  341s |      16 |  1288373 |   143052 |    44729      2 |      564 |     2792
345.06/345.24	c  343s |      16 |  1294614 |   144052 |    44729      2 |      564 |     2792
347.16/347.37	c  345s |      16 |  1300920 |   145252 |    44729      2 |      565 |     2796
349.25/349.47	c  347s |      16 |  1306819 |   146552 |    44729      2 |      565 |     2796
351.25/351.49	c  349s |      16 |  1310816 |   147952 |    44729      2 |      565 |     2796
353.35/353.50	c  351s |      16 |  1313535 |   148352 |    44729      2 |      697 |     3309
355.46/355.68	c  353s |      16 |  1324243 |   149452 |    44729      2 |      697 |     3309
357.66/357.85	c  356s |      16 |  1331618 |   150352 |    44729      2 |      698 |     3313
359.76/359.91	c  358s |      16 |  1338501 |   151152 |    44729      2 |      698 |     3313
361.85/362.00	c  360s |      16 |  1343998 |   152052 |    44729      2 |      698 |     3313
363.85/364.03	c  362s |      16 |  1352456 |   152752 |    44729      2 |      698 |     3313
365.95/366.19	c  364s |      16 |  1359366 |   153652 |    44729      2 |      698 |     3313
368.15/368.36	c  366s |      16 |  1365931 |   154552 |    44729      2 |      698 |     3313
370.34/370.50	c  368s |      16 |  1373482 |   155352 |    44729      2 |      698 |     3313
372.44/372.60	c  370s |      16 |  1380100 |   156452 |    44729      2 |      698 |     3313
374.44/374.66	c  372s |      16 |  1387866 |   157352 |    44729      2 |      698 |     3313
376.54/376.72	c  374s |      16 |  1394733 |   158352 |    44729      2 |      698 |     3313
378.64/378.80	c  377s |      16 |  1402668 |   159352 |    44729      2 |      698 |     3313
380.84/381.02	c  379s |      16 |  1410395 |   160552 |    44729      2 |      698 |     3313
382.95/383.16	c  381s |      16 |  1416559 |   161652 |    44729      2 |      698 |     3313
384.94/385.17	c  383s |      16 |  1422645 |   162652 |    44729      2 |      698 |     3313
387.04/387.21	c  385s |      16 |  1428986 |   163852 |    44729      2 |      698 |     3313
389.13/389.34	c  387s |      16 |  1434255 |   165152 |    44729      2 |      698 |     3313
391.43/391.65	c  389s |      16 |  1437149 |   165952 |    44729      2 |      828 |     3818
393.43/393.66	c  391s |      16 |  1445303 |   166852 |    44729      2 |      828 |     3818
395.53/395.75	c  393s |      16 |  1455446 |   167952 |    44729      2 |      828 |     3818
397.73/397.92	c  396s |      16 |  1464400 |   169052 |    44729      2 |      829 |     3822
399.73/399.97	c  398s |      16 |  1475191 |   170252 |    44729      2 |      829 |     3822
401.83/402.09	c  400s |      16 |  1483446 |   171252 |    44729      2 |      829 |     3822
403.93/404.13	c  402s |      16 |  1492612 |   172152 |    44729      2 |      829 |     3822
406.03/406.21	c  404s |      16 |  1498535 |   173252 |    44729      2 |      829 |     3822
408.13/408.36	c  406s |      16 |  1504719 |   174452 |    44729      2 |      829 |     3822
410.22/410.50	c  408s |      16 |  1507825 |   175652 |    44729      2 |      829 |     3822
412.53/412.77	c  411s |      16 |  1514811 |   176852 |    44729      2 |      830 |     3826
414.73/414.95	c  413s |      16 |  1523258 |   177952 |    44729      2 |      830 |     3826
416.93/417.12	c  415s |      16 |  1528141 |   178852 |    44729      2 |      958 |     4323
419.02/419.21	c  417s |      16 |  1533611 |   179752 |    44729      2 |      958 |     4323
421.12/421.35	c  419s |      16 |  1540945 |   180652 |    44729      2 |      958 |     4323
423.22/423.46	c  421s |      16 |  1547883 |   181452 |    44729      2 |      959 |     4327
425.32/425.55	c  423s |      16 |  1556258 |   182452 |    44729      2 |      959 |     4327
427.32/427.56	c  425s |      16 |  1563396 |   183552 |    44729      2 |      959 |     4327
429.42/429.60	c  427s |      16 |  1569916 |   184652 |    44729      2 |      959 |     4327
431.42/431.61	c  429s |      16 |  1576094 |   185852 |    44729      2 |      959 |     4327
433.52/433.72	c  431s |      16 |  1582896 |   187052 |    44729      2 |      960 |     4331
435.62/435.83	c  434s |      16 |  1589530 |   188552 |    44729      2 |      960 |     4331
437.62/437.83	c  436s |      16 |  1594173 |   189552 |    44729      2 |     1086 |     4820
439.61/439.89	c  438s |      16 |  1604428 |   190752 |    44729      2 |     1086 |     4820
441.71/441.95	c  440s |      16 |  1612267 |   191652 |    44729      2 |     1086 |     4820
443.81/444.07	c  442s |      16 |  1619104 |   192752 |    44729      2 |     1086 |     4820
445.81/446.07	c  444s |      16 |  1626561 |   193752 |    44729      2 |     1086 |     4820
448.01/448.21	c  446s |      16 |  1633836 |   195052 |    44729      2 |     1086 |     4820
450.10/450.36	c  448s |      16 |  1641016 |   196352 |    49202      2 |     1086 |     4820
452.00/452.20	c  450s |      17 |  1646527 |   197432 |    49202      2 |     1086 |     4820
454.10/454.32	c  452s |      17 |  1650406 |   198732 |    49202      2 |     1086 |     4820
456.10/456.37	c  454s |      17 |  1658880 |   199732 |    49202      2 |     1210 |     5301
458.20/458.44	c  456s |      17 |  1669562 |   200932 |    49202      2 |     1210 |     5301
460.40/460.67	c  458s |      17 |  1678450 |   202132 |    49202      2 |     1210 |     5301
462.60/462.85	c  461s |      17 |  1687320 |   203432 |    49202      2 |     1210 |     5301
464.70/464.99	c  463s |      17 |  1694060 |   204732 |    49202      2 |     1210 |     5301
466.80/467.09	c  465s |      17 |  1700377 |   206032 |    49202      2 |     1210 |     5301
468.90/469.18	c  467s |      17 |  1707077 |   207632 |    49202      2 |     1210 |     5301
471.10/471.31	c  469s |      17 |  1711925 |   208732 |    49202      2 |     1332 |     5774
473.20/473.48	c  471s |      17 |  1719625 |   209932 |    49202      2 |     1332 |     5774
475.39/475.69	c  473s |      17 |  1726319 |   211132 |    49202      2 |     1332 |     5774
477.50/477.73	c  475s |      17 |  1732300 |   212332 |    49202      2 |     1332 |     5774
479.49/479.74	c  477s |      17 |  1735869 |   213432 |    49202      2 |     1332 |     5774
481.69/481.96	c  480s |      17 |  1739645 |   214332 |    49202      2 |     1332 |     5774
483.69/483.98	c  482s |      17 |  1747002 |   215432 |    49202      2 |     1332 |     5774
485.79/486.01	c  484s |      17 |  1754685 |   216532 |    49202      2 |     1452 |     6239
487.89/488.13	c  486s |      17 |  1760995 |   217732 |    49202      2 |     1452 |     6239
489.88/490.16	c  488s |      17 |  1769436 |   218932 |    49202      2 |     1453 |     6243
491.98/492.29	c  490s |      17 |  1774383 |   220232 |    49202      2 |     1453 |     6243
494.08/494.31	c  492s |      17 |  1779725 |   221432 |    49202      2 |     1453 |     6243
496.09/496.36	c  494s |      17 |  1786689 |   222632 |    49202      2 |     1571 |     6700
498.18/498.46	c  496s |      17 |  1799077 |   224032 |    49202      2 |     1571 |     6700
500.27/500.54	c  498s |      17 |  1808921 |   225432 |    49202      2 |     1571 |     6700
502.37/502.61	c  500s |      17 |  1815341 |   226532 |    49202      2 |     1572 |     6704
504.57/504.81	c  503s |      17 |  1821906 |   227832 |    49202      2 |     1572 |     6704
506.67/506.95	c  505s |      17 |  1828546 |   229332 |    49202      2 |     1572 |     6704
508.77/509.07	c  507s |      17 |  1833213 |   230532 |    49202      2 |     1572 |     6704
510.86/511.15	c  509s |      17 |  1839845 |   231432 |    49202      2 |     1572 |     6704
512.86/513.15	c  511s |      17 |  1845155 |   232432 |    49202      2 |     1572 |     6704
514.96/515.23	c  513s |      17 |  1848761 |   233332 |    49202      2 |     1689 |     7157
517.07/517.34	c  515s |      17 |  1854729 |   234732 |    49202      2 |     1689 |     7157
519.16/519.47	c  517s |      17 |  1858400 |   235832 |    49202      2 |     1805 |     7606
521.36/521.61	c  519s |      17 |  1865481 |   236932 |    49202      2 |     1805 |     7606
523.36/523.68	c  521s |      17 |  1871247 |   238032 |    49202      2 |     1805 |     7606
525.56/525.82	c  524s |      17 |  1876767 |   239332 |    49202      2 |     1805 |     7606
527.65/527.97	c  526s |      17 |  1879679 |   240632 |    49202      2 |     1805 |     7606
529.75/530.08	c  528s |      17 |  1886950 |   241732 |    49202      2 |     1918 |     8043
531.85/532.15	c  530s |      17 |  1891901 |   243032 |    49202      2 |     1918 |     8043
533.95/534.29	c  532s |      17 |  1895257 |   244232 |    49202      2 |     1918 |     8043
536.35/536.60	c  534s |      17 |  1900554 |   245332 |    49202      2 |     2028 |     8468
538.45/538.72	c  536s |      17 |  1908705 |   246732 |    49202      2 |     2028 |     8468
540.44/540.78	c  539s |      17 |  1913465 |   248132 |    49202      2 |     2028 |     8468
542.64/542.91	c  541s |      17 |  1917231 |   249332 |    49202      2 |     2028 |     8468
544.64/544.96	c  543s |      17 |  1919499 |   250332 |    49202      2 |     2028 |     8468
546.84/547.14	c  545s |      17 |  1924398 |   251532 |    49202      2 |     2028 |     8468
548.95/549.22	c  547s |      17 |  1929737 |   252732 |    49202      2 |     2028 |     8468
551.04/551.38	c  549s |      17 |  1934108 |   253932 |    49202      2 |     2028 |     8468
553.24/553.51	c  551s |      17 |  1937731 |   255132 |    49202      2 |     2028 |     8468
555.23/555.53	c  553s |      17 |  1941561 |   256432 |    49202      2 |     2028 |     8468
557.33/557.65	c  555s |      17 |  1946317 |   257732 |    49202      2 |     2028 |     8468
559.53/559.84	c  558s |      17 |  1951262 |   258732 |    49202      2 |     2029 |     8472
561.63/561.97	c  560s |      17 |  1955490 |   259732 |    49202      2 |     2137 |     8889
563.73/564.00	c  562s |      17 |  1960093 |   261032 |    49202      2 |     2137 |     8889
565.73/566.03	c  564s |      17 |  1965123 |   262232 |    49202      2 |     2243 |     9298
567.73/568.09	c  566s |      17 |  1968359 |   263532 |    49202      2 |     2243 |     9298
569.93/570.23	c  568s |      17 |  1973581 |   265032 |    49202      2 |     2743 |    11223
571.93/572.23	c  570s |      17 |  1977030 |   266332 |    49202      2 |     2834 |    11572
574.03/574.31	c  572s |      17 |  1981399 |   267732 |    49202      2 |     2926 |    11925
576.03/576.32	c  574s |      17 |  1983851 |   269032 |    49202      2 |     3104 |    12607
578.03/578.35	c  576s |      17 |  1986463 |   270432 |    49202      2 |     3271 |    13245
580.22/580.52	c  578s |      17 |  1988516 |   271732 |    49202      2 |     3859 |    15538
580.42/580.70	c  578s |      17 |  1988544 |   271757 |    49202      2 |     4909 |    15911
580.42/580.70	c #cpu_time = 577.253s
580.42/580.70	c #wall_clock_time = 578.939s
580.42/580.70	c #decision = 1988544
580.42/580.70	c #random_decision = 5031
580.42/580.70	c #conflict = 271757
580.42/580.70	c #restart = 17
580.42/580.70	s UNSATISFIABLE
580.42/580.70	c total CPU time = 579.015s
580.42/580.70	c total wall clock time = 580.706s

Verifier Data 

ERROR: no interpretation found !

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-4097856-1466118661/watcher-4097856-1466118661 -o /tmp/evaluation-result-4097856-1466118661/solver-4097856-1466118661 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466112960-31002 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4097856-1466118661.opb 

pid=32597
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.19 2.21 2.18 3/180 32600
/proc/meminfo: memFree=29437864/32872528 swapFree=1190796/1305260
[pid=32600] ppid=32597 vsize=614844 CPUtime=0 cores=1,3,5,7
/proc/32600/stat : 32600 (toysat) R 32597 32600 29204 0 -1 4202496 2278 0 0 0 0 0 0 0 20 0 4 0 13912723 629600256 2128 33554432000 4194304 16246674 140733336478864 140733336478288 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32600/statm: 154479 2138 441 2943 0 151373 0
[pid=32600/tid=32601] ppid=32597 vsize=632252 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32601/stat : 32601 (toysat) S 32597 32600 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13912723 647426048 2196 33554432000 4194304 16246674 140733336478864 140424193748208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32600/tid=32602] ppid=32597 vsize=636348 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32602/stat : 32602 (toysat) S 32597 32600 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13912723 651620352 2212 33554432000 4194304 16246674 140733336478864 140424183258352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32600/tid=32603] ppid=32597 vsize=641468 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32603/stat : 32603 (toysat) S 32597 32600 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13912723 656863232 2229 33554432000 4194304 16246674 140733336478864 140424172784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100214 s]
/proc/loadavg: 2.19 2.21 2.18 3/180 32600
/proc/meminfo: memFree=29437864/32872528 swapFree=1190796/1305260
[pid=32600] ppid=32597 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/32600/stat : 32600 (toysat) R 32597 32600 29204 0 -1 4202496 26617 0 0 0 5 4 0 0 20 0 4 0 13912723 1333334016 26406 33554432000 4194304 16246674 140733336478864 140733336478176 7371468 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32600/statm: 325521 26423 800 2943 0 322415 0
[pid=32600/tid=32601] ppid=32597 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32601/stat : 32601 (toysat) S 32597 32600 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13912723 1333334016 26434 33554432000 4194304 16246674 140733336478864 140424193748208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32600/tid=32602] ppid=32597 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32602/stat : 32602 (toysat) S 32597 32600 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13912723 1333334016 26445 33554432000 4194304 16246674 140733336478864 140424183258352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32600/tid=32603] ppid=32597 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32603/stat : 32603 (toysat) S 32597 32600 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13912723 1333334016 26457 33554432000 4194304 16246674 140733336478864 140424172784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200541 s]
/proc/loadavg: 2.19 2.21 2.18 3/180 32600
/proc/meminfo: memFree=29437864/32872528 swapFree=1190796/1305260
[pid=32600] ppid=32597 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/32600/stat : 32600 (toysat) R 32597 32600 29204 0 -1 4202496 47654 0 0 0 12 7 0 0 20 0 4 0 13912723 1343819776 47953 33554432000 4194304 16246674 140733336478864 140733336478176 7439496 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32600/statm: 328081 47953 801 2943 0 324975 0
[pid=32600/tid=32601] ppid=32597 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32601/stat : 32601 (toysat) S 32597 32600 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13912723 1343819776 47953 33554432000 4194304 16246674 140733336478864 140424193748208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32600/tid=32602] ppid=32597 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32602/stat : 32602 (toysat) S 32597 32600 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13912723 1343819776 47953 33554432000 4194304 16246674 140733336478864 140424183258352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32600/tid=32603] ppid=32597 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32603/stat : 32603 (toysat) S 32597 32600 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13912723 1343819776 47953 33554432000 4194304 16246674 140733336478864 140424172784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300495 s]
/proc/loadavg: 2.19 2.21 2.18 3/180 32600
/proc/meminfo: memFree=29437864/32872528 swapFree=1190796/1305260
[pid=32600] ppid=32597 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/32600/stat : 32600 (toysat) R 32597 32600 29204 0 -1 4202496 63203 0 0 0 20 9 0 0 20 0 4 0 13912723 1344868352 63502 33554432000 4194304 16246674 140733336478864 140733336478176 7371581 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32600/statm: 328337 63502 801 2943 0 325231 0
[pid=32600/tid=32601] ppid=32597 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32601/stat : 32601 (toysat) S 32597 32600 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13912723 1344868352 63502 33554432000 4194304 16246674 140733336478864 140424193748208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32600/tid=32602] ppid=32597 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32602/stat : 32602 (toysat) S 32597 32600 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13912723 1344868352 63502 33554432000 4194304 16246674 140733336478864 140424183258352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32600/tid=32603] ppid=32597 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32603/stat : 32603 (toysat) S 32597 32600 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13912723 1344868352 63502 33554432000 4194304 16246674 140733336478864 140424172784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700432 s]
/proc/loadavg: 2.19 2.21 2.18 3/180 32600
/proc/meminfo: memFree=29437864/32872528 swapFree=1190796/1305260
[pid=32600] ppid=32597 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/32600/stat : 32600 (toysat) R 32597 32600 29204 0 -1 4202496 68468 0 0 0 59 10 0 0 20 0 4 0 13912723 1344868352 68767 33554432000 4194304 16246674 140733336478864 140733336461856 13780640 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32600/statm: 328337 68767 835 2943 0 325231 0
[pid=32600/tid=32601] ppid=32597 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32601/stat : 32601 (toysat) S 32597 32600 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13912723 1344868352 68767 33554432000 4194304 16246674 140733336478864 140424193748208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32600/tid=32602] ppid=32597 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32602/stat : 32602 (toysat) S 32597 32600 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13912723 1344868352 68767 33554432000 4194304 16246674 140733336478864 140424183258352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32600/tid=32603] ppid=32597 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32603/stat : 32603 (toysat) S 32597 32600 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13912723 1344868352 68767 33554432000 4194304 16246674 140733336478864 140424172784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.17 2.21 2.18 3/183 32604
/proc/meminfo: memFree=28757048/32872528 swapFree=1190796/1305260
[pid=32600] ppid=32597 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/32600/stat : 32600 (toysat) R 32597 32600 29204 0 -1 4202496 268955 0 0 0 112 37 0 0 20 0 4 0 13912723 1344868352 269254 33554432000 4194304 16246674 140733336478864 140733336460736 4221027 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32600/statm: 328337 269254 836 2943 0 325231 0
[pid=32600/tid=32601] ppid=32597 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32601/stat : 32601 (toysat) S 32597 32600 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13912723 1344868352 269254 33554432000 4194304 16246674 140733336478864 140424193748208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32600/tid=32602] ppid=32597 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32602/stat : 32602 (toysat) S 32597 32600 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13912723 1344868352 269254 33554432000 4194304 16246674 140733336478864 140424183258352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32600/tid=32603] ppid=32597 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32603/stat : 32603 (toysat) S 32597 32600 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13912723 1344868352 269254 33554432000 4194304 16246674 140733336478864 140424172784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10042 s]
/proc/loadavg: 2.17 2.21 2.18 3/183 32604
/proc/meminfo: memFree=28350332/32872528 swapFree=1190796/1305260
[pid=32600] ppid=32597 vsize=1324612 CPUtime=3.09 cores=1,3,5,7
/proc/32600/stat : 32600 (toysat) R 32597 32600 29204 0 -1 4202496 271729 0 0 0 271 38 0 0 20 0 4 0 13912723 1356402688 272028 33554432000 4194304 16246674 140733336478864 140733336460736 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32600/statm: 331153 272028 881 2943 0 328047 0
[pid=32600/tid=32601] ppid=32597 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32601/stat : 32601 (toysat) S 32597 32600 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13912723 1356402688 272028 33554432000 4194304 16246674 140733336478864 140424193748208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32600/tid=32602] ppid=32597 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32602/stat : 32602 (toysat) S 32597 32600 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13912723 1356402688 272028 33554432000 4194304 16246674 140733336478864 140424183258352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32600/tid=32603] ppid=32597 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32603/stat : 32603 (toysat) S 32597 32600 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13912723 1356402688 272028 33554432000 4194304 16246674 140733336478864 140424172784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1324612

[startup+6.3004 s]
/proc/loadavg: 2.16 2.21 2.18 3/183 32604
/proc/meminfo: memFree=28350392/32872528 swapFree=1190796/1305260
[pid=32600] ppid=32597 vsize=1324612 CPUtime=6.29 cores=1,3,5,7
/proc/32600/stat : 32600 (toysat) R 32597 32600 29204 0 -1 4202496 271729 0 0 0 591 38 0 0 20 0 4 0 13912723 1356402688 272028 33554432000 4194304 16246674 140733336478864 140733336460736 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32600/statm: 331153 272028 881 2943 0 328047 0
[pid=32600/tid=32601] ppid=32597 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32601/stat : 32601 (toysat) S 32597 32600 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13912723 1356402688 272028 33554432000 4194304 16246674 140733336478864 140424193748208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32600/tid=32602] ppid=32597 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32602/stat : 32602 (toysat) S 32597 32600 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13912723 1356402688 272028 33554432000 4194304 16246674 140733336478864 140424183258352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32600/tid=32603] ppid=32597 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32603/stat : 32603 (toysat) S 32597 32600 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13912723 1356402688 272028 33554432000 4194304 16246674 140733336478864 140424172784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1324612

[startup+12.7004 s]
/proc/loadavg: 2.15 2.20 2.18 3/183 32604
/proc/meminfo: memFree=28349564/32872528 swapFree=1190796/1305260
[pid=32600] ppid=32597 vsize=1324612 CPUtime=12.69 cores=1,3,5,7
/proc/32600/stat : 32600 (toysat) R 32597 32600 29204 0 -1 4202496 271827 0 0 0 1231 38 0 0 20 0 4 0 13912723 1356402688 272126 33554432000 4194304 16246674 140733336478864 140733336460736 5823666 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32600/statm: 331153 272126 885 2943 0 328047 0
[pid=32600/tid=32601] ppid=32597 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32601/stat : 32601 (toysat) S 32597 32600 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13912723 1356402688 272126 33554432000 4194304 16246674 140733336478864 140424193748208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32600/tid=32602] ppid=32597 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32602/stat : 32602 (toysat) S 32597 32600 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13912723 1356402688 272126 33554432000 4194304 16246674 140733336478864 140424183258352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32600/tid=32603] ppid=32597 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32603/stat : 32603 (toysat) S 32597 32600 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13912723 1356402688 272126 33554432000 4194304 16246674 140733336478864 140424172784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1324612

[startup+25.5004 s]
/proc/loadavg: 2.12 2.20 2.18 3/183 32605
/proc/meminfo: memFree=28350200/32872528 swapFree=1190796/1305260
[pid=32600] ppid=32597 vsize=1324612 CPUtime=25.5 cores=1,3,5,7
/proc/32600/stat : 32600 (toysat) R 32597 32600 29204 0 -1 4202496 271829 0 0 0 2512 38 0 0 20 0 4 0 13912723 1356402688 272128 33554432000 4194304 16246674 140733336478864 140733336460736 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32600/statm: 331153 272128 887 2943 0 328047 0
[pid=32600/tid=32601] ppid=32597 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32601/stat : 32601 (toysat) S 32597 32600 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13912723 1356402688 272128 33554432000 4194304 16246674 140733336478864 140424193748208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32600/tid=32602] ppid=32597 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32602/stat : 32602 (toysat) S 32597 32600 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13912723 1356402688 272128 33554432000 4194304 16246674 140733336478864 140424183258352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32600/tid=32603] ppid=32597 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32603/stat : 32603 (toysat) S 32597 32600 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13912723 1356402688 272128 33554432000 4194304 16246674 140733336478864 140424172784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1324612

[startup+51.1004 s]
/proc/loadavg: 2.13 2.19 2.18 3/183 32605
/proc/meminfo: memFree=28350276/32872528 swapFree=1190796/1305260
[pid=32600] ppid=32597 vsize=1324612 CPUtime=51.08 cores=1,3,5,7
/proc/32600/stat : 32600 (toysat) R 32597 32600 29204 0 -1 4202496 271829 0 0 0 5070 38 0 0 20 0 4 0 13912723 1356402688 272128 33554432000 4194304 16246674 140733336478864 140733336460736 5829752 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32600/statm: 331153 272128 887 2943 0 328047 0
[pid=32600/tid=32601] ppid=32597 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32601/stat : 32601 (toysat) S 32597 32600 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13912723 1356402688 272128 33554432000 4194304 16246674 140733336478864 140424193748208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32600/tid=32602] ppid=32597 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32602/stat : 32602 (toysat) S 32597 32600 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13912723 1356402688 272128 33554432000 4194304 16246674 140733336478864 140424183258352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32600/tid=32603] ppid=32597 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32603/stat : 32603 (toysat) S 32597 32600 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13912723 1356402688 272128 33554432000 4194304 16246674 140733336478864 140424172784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1324612

[startup+102.3 s]
/proc/loadavg: 2.15 2.19 2.18 3/183 32606
/proc/meminfo: memFree=28340620/32872528 swapFree=1190796/1305260
[pid=32600] ppid=32597 vsize=1333828 CPUtime=102.28 cores=1,3,5,7
/proc/32600/stat : 32600 (toysat) R 32597 32600 29204 0 -1 4202496 274134 0 0 0 10189 39 0 0 20 0 4 0 13912723 1365839872 274433 33554432000 4194304 16246674 140733336478864 140733336461864 5754924 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32600/statm: 333457 274433 887 2943 0 330351 0
[pid=32600/tid=32601] ppid=32597 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32601/stat : 32601 (toysat) S 32597 32600 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13912723 1365839872 274433 33554432000 4194304 16246674 140733336478864 140424193748208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32600/tid=32602] ppid=32597 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32602/stat : 32602 (toysat) S 32597 32600 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13912723 1365839872 274433 33554432000 4194304 16246674 140733336478864 140424183258352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32600/tid=32603] ppid=32597 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32603/stat : 32603 (toysat) S 32597 32600 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13912723 1365839872 274433 33554432000 4194304 16246674 140733336478864 140424172784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1333828


################
# More data... #
################

/proc/32600/stat : 32600 (toysat) R 32597 32600 29204 0 -1 4202496 278922 0 0 0 46169 41 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140733336460736 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32600/statm: 338065 279297 887 2943 0 334959 0
[pid=32600/tid=32601] ppid=32597 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32601/stat : 32601 (toysat) S 32597 32600 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140424193748208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32600/tid=32602] ppid=32597 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32602/stat : 32602 (toysat) S 32597 32600 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140424183258352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32600/tid=32603] ppid=32597 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32603/stat : 32603 (toysat) S 32597 32600 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140424172784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 1352260

[startup+522.3 s]
/proc/loadavg: 2.13 2.16 2.17 3/183 32614
/proc/meminfo: memFree=28317192/32872528 swapFree=1190796/1305260
[pid=32600] ppid=32597 vsize=1352260 CPUtime=522.06 cores=1,3,5,7
/proc/32600/stat : 32600 (toysat) R 32597 32600 29204 0 -1 4202496 278963 0 0 0 52165 41 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140733336460736 5676464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32600/statm: 338065 279297 887 2943 0 334959 0
[pid=32600/tid=32601] ppid=32597 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32601/stat : 32601 (toysat) S 32597 32600 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140424193748208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32600/tid=32602] ppid=32597 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32602/stat : 32602 (toysat) S 32597 32600 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140424183258352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32600/tid=32603] ppid=32597 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32603/stat : 32603 (toysat) S 32597 32600 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140424172784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 1352260

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

[startup+537.8 s]
/proc/loadavg: 2.17 2.17 2.17 3/183 32614
/proc/meminfo: memFree=28317180/32872528 swapFree=1190796/1305260
[pid=32600] ppid=32597 vsize=1352260 CPUtime=537.55 cores=1,3,5,7
/proc/32600/stat : 32600 (toysat) R 32597 32600 29204 0 -1 4202496 278971 0 0 0 53714 41 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140733336460736 5523460 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32600/statm: 338065 279297 887 2943 0 334959 0
[pid=32600/tid=32601] ppid=32597 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32601/stat : 32601 (toysat) S 32597 32600 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140424193748208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32600/tid=32602] ppid=32597 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32602/stat : 32602 (toysat) S 32597 32600 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140424183258352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32600/tid=32603] ppid=32597 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32603/stat : 32603 (toysat) S 32597 32600 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140424172784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 537.55
Current children cumulated vsize (KiB) 1352260

[startup+563.4 s]
/proc/loadavg: 2.26 2.19 2.18 3/184 32618
/proc/meminfo: memFree=28316836/32872528 swapFree=1190796/1305260
[pid=32600] ppid=32597 vsize=1352260 CPUtime=563.14 cores=1,3,5,7
/proc/32600/stat : 32600 (toysat) R 32597 32600 29204 0 -1 4202496 278988 0 0 0 56273 41 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140733336460736 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32600/statm: 338065 279297 887 2943 0 334959 0
[pid=32600/tid=32601] ppid=32597 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32601/stat : 32601 (toysat) S 32597 32600 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140424193748208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32600/tid=32602] ppid=32597 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32602/stat : 32602 (toysat) S 32597 32600 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140424183258352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32600/tid=32603] ppid=32597 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32603/stat : 32603 (toysat) S 32597 32600 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140424172784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 563.14
Current children cumulated vsize (KiB) 1352260

[startup+569.8 s]
/proc/loadavg: 2.24 2.18 2.18 3/184 32618
/proc/meminfo: memFree=28317084/32872528 swapFree=1190796/1305260
[pid=32600] ppid=32597 vsize=1352260 CPUtime=569.53 cores=1,3,5,7
/proc/32600/stat : 32600 (toysat) R 32597 32600 29204 0 -1 4202496 278991 0 0 0 56912 41 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140733336460736 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32600/statm: 338065 279297 887 2943 0 334959 0
[pid=32600/tid=32601] ppid=32597 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32601/stat : 32601 (toysat) S 32597 32600 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140424193748208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32600/tid=32602] ppid=32597 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32602/stat : 32602 (toysat) S 32597 32600 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140424183258352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32600/tid=32603] ppid=32597 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32603/stat : 32603 (toysat) S 32597 32600 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140424172784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 569.53
Current children cumulated vsize (KiB) 1352260

[startup+576.2 s]
/proc/loadavg: 2.30 2.20 2.18 3/184 32618
/proc/meminfo: memFree=28316820/32872528 swapFree=1190796/1305260
[pid=32600] ppid=32597 vsize=1352260 CPUtime=575.93 cores=1,3,5,7
/proc/32600/stat : 32600 (toysat) R 32597 32600 29204 0 -1 4202496 278991 0 0 0 57552 41 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140733336461864 12483481 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32600/statm: 338065 279297 887 2943 0 334959 0
[pid=32600/tid=32601] ppid=32597 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32601/stat : 32601 (toysat) S 32597 32600 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140424193748208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32600/tid=32602] ppid=32597 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32602/stat : 32602 (toysat) S 32597 32600 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140424183258352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32600/tid=32603] ppid=32597 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32603/stat : 32603 (toysat) S 32597 32600 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140424172784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 575.93
Current children cumulated vsize (KiB) 1352260

[startup+577.807 s]
/proc/loadavg: 2.35 2.21 2.19 3/184 32618
/proc/meminfo: memFree=28317068/32872528 swapFree=1190796/1305260
[pid=32600] ppid=32597 vsize=1352260 CPUtime=577.53 cores=1,3,5,7
/proc/32600/stat : 32600 (toysat) R 32597 32600 29204 0 -1 4202496 278991 0 0 0 57712 41 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140733336460736 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32600/statm: 338065 279297 887 2943 0 334959 0
[pid=32600/tid=32601] ppid=32597 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32601/stat : 32601 (toysat) S 32597 32600 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140424193748208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32600/tid=32602] ppid=32597 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32602/stat : 32602 (toysat) S 32597 32600 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140424183258352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32600/tid=32603] ppid=32597 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32603/stat : 32603 (toysat) S 32597 32600 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140424172784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 577.53
Current children cumulated vsize (KiB) 1352260

[startup+579.4 s]
/proc/loadavg: 2.35 2.21 2.19 3/184 32618
/proc/meminfo: memFree=28316944/32872528 swapFree=1190796/1305260
[pid=32600] ppid=32597 vsize=1352260 CPUtime=579.12 cores=1,3,5,7
/proc/32600/stat : 32600 (toysat) R 32597 32600 29204 0 -1 4202496 278999 0 0 0 57871 41 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140733336460736 6022640 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32600/statm: 338065 279297 887 2943 0 334959 0
[pid=32600/tid=32601] ppid=32597 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32601/stat : 32601 (toysat) S 32597 32600 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140424193748208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32600/tid=32602] ppid=32597 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32602/stat : 32602 (toysat) S 32597 32600 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140424183258352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32600/tid=32603] ppid=32597 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32603/stat : 32603 (toysat) S 32597 32600 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140424172784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 579.12
Current children cumulated vsize (KiB) 1352260

[startup+580.2 s]
/proc/loadavg: 2.35 2.21 2.19 3/184 32618
/proc/meminfo: memFree=28316308/32872528 swapFree=1190796/1305260
[pid=32600] ppid=32597 vsize=1352260 CPUtime=579.92 cores=1,3,5,7
/proc/32600/stat : 32600 (toysat) R 32597 32600 29204 0 -1 4202496 278999 0 0 0 57951 41 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140733336460736 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32600/statm: 338065 279297 887 2943 0 334959 0
[pid=32600/tid=32601] ppid=32597 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32601/stat : 32601 (toysat) S 32597 32600 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140424193748208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32600/tid=32602] ppid=32597 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32602/stat : 32602 (toysat) S 32597 32600 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140424183258352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32600/tid=32603] ppid=32597 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32603/stat : 32603 (toysat) S 32597 32600 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140424172784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 579.92
Current children cumulated vsize (KiB) 1352260

[startup+580.6 s]
/proc/loadavg: 2.35 2.21 2.19 3/184 32618
/proc/meminfo: memFree=28316308/32872528 swapFree=1190796/1305260
[pid=32600] ppid=32597 vsize=1352260 CPUtime=580.32 cores=1,3,5,7
/proc/32600/stat : 32600 (toysat) R 32597 32600 29204 0 -1 4202496 278999 0 0 0 57991 41 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140733336460736 5532339 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32600/statm: 338065 279297 887 2943 0 334959 0
[pid=32600/tid=32601] ppid=32597 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32601/stat : 32601 (toysat) S 32597 32600 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140424193748208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32600/tid=32602] ppid=32597 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32602/stat : 32602 (toysat) S 32597 32600 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140424183258352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32600/tid=32603] ppid=32597 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32603/stat : 32603 (toysat) S 32597 32600 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140424172784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 580.32
Current children cumulated vsize (KiB) 1352260

[startup+580.7 s]
/proc/loadavg: 2.35 2.21 2.19 3/184 32618
/proc/meminfo: memFree=28316308/32872528 swapFree=1190796/1305260
[pid=32600] ppid=32597 vsize=1352260 CPUtime=580.42 cores=1,3,5,7
/proc/32600/stat : 32600 (toysat) R 32597 32600 29204 0 -1 4202496 278999 0 0 0 58001 41 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140733336460736 5589718 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32600/statm: 338065 279297 887 2943 0 334959 0
[pid=32600/tid=32601] ppid=32597 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32601/stat : 32601 (toysat) S 32597 32600 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140424193748208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32600/tid=32602] ppid=32597 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32602/stat : 32602 (toysat) S 32597 32600 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140424183258352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32600/tid=32603] ppid=32597 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32603/stat : 32603 (toysat) S 32597 32600 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13912723 1384714240 279297 33554432000 4194304 16246674 140733336478864 140424172784816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 580.42
Current children cumulated vsize (KiB) 1352260

Child status: 0
Real time (s): 580.736
CPU time (s): 580.463
CPU user time (s): 580.025
CPU system time (s): 0.437933
CPU usage (%): 99.9529
Max. virtual memory (cumulated for all children) (KiB): 1352260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 580.025
system time used= 0.437933
maximum resident set size= 1117200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279003
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= 279
involuntary context switches= 716

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.39179 second user time and 2.32065 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-17 01:11:01
IDJOB=4097856
IDBENCH=107817
IDSOLVER=2542
FILE ID=node127/4097856-1466118661
RUNJOBID= node127-1466112960-31002
PBS_JOBID= 19904036
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_6.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4097856-1466118661/watcher-4097856-1466118661 -o /tmp/evaluation-result-4097856-1466118661/solver-4097856-1466118661 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466112960-31002 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4097856-1466118661.opb

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

MD5SUM BENCH= d8f4c21ffa314d3a94f1c4876ce0902a
RANDOM SEED=1890476642

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
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.56
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.769
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.769
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.769
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.769
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:        29439004 kB
Buffers:           66368 kB
Cached:           174324 kB
SwapCached:        34656 kB
Active:          1265924 kB
Inactive:         154600 kB
Active(anon):    1146880 kB
Inactive(anon):    35592 kB
Active(file):     119044 kB
Inactive(file):   119008 kB
Unevictable:     1305260 kB
Mlocked:         1190796 kB
SwapTotal:      67108856 kB
SwapFree:       67066092 kB
Dirty:             19440 kB
Writeback:             0 kB
AnonPages:       2453940 kB
Mapped:            10628 kB
Shmem:                 0 kB
Slab:             571460 kB
SReclaimable:      15548 kB
SUnreclaim:       555912 kB
KernelStack:        1512 kB
PageTables:         8572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2595780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1093632 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= 71704 MiB
End job on node127 at 2016-06-17 01:20:42