Trace number 4078863

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-02SAT 768.333 768.451

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-185.opb
MD5SUM9ab96b9d426f8470cc94c9ae2cb00fb4
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark2.01169
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1840
Total number of constraints46243
Number of constraints which are clauses42504
Number of constraints which are cardinality constraints (but not clauses)73
Number of constraints which are nor clauses,nor cardinality constraints3666
Minimum length of a constraint2
Maximum length of a constraint42
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 43
Number of bits of the biggest sum of numbers6
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-07T07:20:53+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4078863-1465276853.opb"]
0.00/0.01	c use --random-gen="2179549165 909230384 3159930177 2052149930 4221998888 4088312262 2561567460 701656321 3223327784 427448975 1346571387 4113475461 3904068978 3936709193 2434814112 3181412965 354645396 2958883087 491859075 598250782 3848458246 3861876787 1030108914 3779582519 4109320003 302270621 89957050 3469366539 570921700 4046627699 3962011872 40865157 2002114288 3006898456 509587869 71695594 2230272958 86548128 335804332 3827741545 3844494124 279278282 1481348518 3472589250 3932034034 3568568486 99363859 3258672109 2896850853 2626652657 2163133683 740609067 325354299 3503917997 1160345316 472615041 1214377151 76404471 3832275703 2174490294 1914332305 3219416702 3269859000 2188149956 3082795231 681290360 2006502896 600222870 3282547785 1316226773 916920488 2728348455 3590669967 3325973151 1939433742 4231926516 4012675018 3017780275 3207307836 1212520206 900929798 1572899314 712149342 1751044652 3290424202 881491021 2739457609 2560862646 1423566035 166987509 1347393357 2851012325 2165928352 1874145862 926126790 2898422961 1026852240 2576883944 1431131622 2195486103 3671737412 2652691909 1384077664 3334304483 323161949 1136857149 360977045 775740392 3918294519 382547305 3643434587 3707319858 1149420305 3018151013 3725683029 2103559014 1906691900 2479928049 3793586023 3859384308 2115396480 1015976635 388238283 1297023310 762555433 796151546 149918406 3697527924 664747668 1122680435 2917051265 695285541 1665332168 2378508905 3209340325 3564310232 481620449 783432474 3786643383 1646288300 1849697134 3395683128 2370310962 3915934378 4051366405 3827599912 1583483422 3673619702 2211481064 1106618106 3146790052 1716952057 558042064 4083376345 2671041527 934795128 3718562043 2163258469 124846944 2231031038 1378752047 532487567 1434531079 3790315931 1366296371 355266254 382604176 2985145337 3778892946 746421885 1212015406 3062116561 737337980 1716046713 3305996780 2465547248 1552679531 3021976737 3704777759 543707158 3274323174 3881312387 4282624308 112097874 1931389884 613929975 2808510598 3867945686 327055244 2572387602 3319545587 1004395780 3676198443 1054911361 3153001060 2750903981 72291700 89000402 1537345893 4140383029 490534706 1504465220 383093437 4285497503 4058006114 964347263 709053286 1959070718 1094825860 84146780 2740863724 2095691935 3641468832 478518998 4051674691 557115776 1876088760 3926698568 2897773445 2525077479 1664502037 3579588064 278422986 2282688583 4000361832 2863000313 3427255627 3827685004 3582632809 310713105 355375457 1994267364 1101788722 4205155233 1110527077 3014480040 144108744 1302359266 3687104446 3492259289 213159468 807435514 2450524903 4181342314 2150885620 3531349946 2044093367 822970607 376843447 4292513480 3968829519 164988752 1903914180 1858710260 210688589 2943762452 255 362436" option to reproduce the execution
0.29/0.39	c #vars 1840
0.29/0.39	c #constraints 46243
1.10/1.14	c Solving starts ...
1.10/1.14	c ============================[ Search Statistics ]============================
1.10/1.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.10/1.14	c       |         |          |          |    Limit     GC | Var      | Constra 
1.10/1.14	c =============================================================================
1.10/1.14	c  0.0s |       0 |        0 |        0 |    16042      0 |        0 |        0
1.29/1.31	c  0.2s |       1 |      947 |      100 |    16042      0 |        0 |        0
1.39/1.44	c  0.3s |       2 |     1839 |      250 |    17647      0 |        0 |        0
1.59/1.66	c  0.5s |       3 |     3086 |      475 |    19412      0 |        0 |        0
1.89/1.97	c  0.8s |       4 |     4665 |      813 |    21354      0 |        0 |        0
2.20/2.23	c  1.1s |       5 |     7195 |     1320 |    23490      0 |        0 |        0
2.39/2.47	c  1.3s |       6 |     8899 |     2081 |    28425      0 |        0 |        0
3.19/3.22	c  2.1s |       7 |    16534 |     3223 |    31268      0 |        0 |        0
3.79/3.86	c  2.7s |       8 |    19521 |     4936 |    34395      0 |        0 |        0
5.69/5.73	c  4.6s |       9 |    28533 |     7506 |    37835      0 |        0 |        0
7.79/7.83	c  6.7s |       9 |    34975 |     9706 |    37835      0 |        0 |        0
9.79/9.83	c  8.7s |       9 |    37511 |    11106 |    37835      0 |        0 |        0
10.19/10.23	c  9.1s |      10 |    37906 |    11361 |    41619      0 |        0 |        0
12.19/12.26	c 11.1s |      10 |    43661 |    13861 |    41619      0 |        0 |        0
14.29/14.33	c 13.2s |      10 |    46781 |    15761 |    41619      0 |        0 |        0
15.99/16.04	c 14.9s |      11 |    49273 |    17144 |    45781      0 |        0 |        0
17.99/18.06	c 16.9s |      11 |    54374 |    18944 |    45781      0 |        0 |        0
20.09/20.15	c 19.0s |      11 |    57224 |    20344 |    45781      0 |        0 |        0
22.19/22.25	c 21.1s |      11 |    60887 |    21844 |    45781      0 |        0 |        0
24.19/24.25	c 23.1s |      11 |    63735 |    23344 |    45781      0 |        0 |        0
26.29/26.32	c 25.2s |      11 |    66025 |    24744 |    45781      0 |        0 |        0
27.89/27.96	c 26.8s |      12 |    67698 |    25819 |    50360      0 |        0 |        0
29.99/30.07	c 28.9s |      12 |    70341 |    27319 |    50360      0 |        0 |        0
32.09/32.11	c 31.0s |      12 |    72506 |    28719 |    50360      0 |        0 |        0
34.19/34.25	c 33.1s |      12 |    74757 |    30119 |    50360      0 |        0 |        0
36.29/36.39	c 35.2s |      12 |    76793 |    31319 |    50360      0 |        0 |        0
38.38/38.49	c 37.4s |      12 |    78693 |    32619 |    50360      0 |        0 |        0
40.48/40.54	c 39.4s |      12 |    79956 |    33519 |    50360      0 |        0 |        0
42.58/42.68	c 41.5s |      12 |    81101 |    34419 |    50360      0 |        0 |        0
44.68/44.77	c 43.6s |      12 |    83172 |    35519 |    50360      0 |        0 |        0
46.68/46.79	c 45.6s |      12 |    87155 |    37219 |    50360      0 |        0 |        0
48.78/48.84	c 47.7s |      12 |    90169 |    38819 |    55397      0 |        0 |        0
48.78/48.86	c 47.7s |      13 |    90187 |    38832 |    55397      0 |        0 |        0
50.78/50.89	c 49.8s |      13 |    95195 |    41032 |    55397      0 |        0 |        0
52.89/52.92	c 51.8s |      13 |    97329 |    42332 |    55397      0 |        0 |        0
54.99/55.06	c 53.9s |      13 |    98858 |    43532 |    55397      0 |        0 |        0
57.08/57.11	c 56.0s |      13 |   101051 |    44932 |    55397      0 |        0 |        0
59.08/59.18	c 58.0s |      13 |   102760 |    46132 |    55397      0 |        0 |        0
61.18/61.25	c 60.1s |      13 |   104545 |    47232 |    55397      0 |        0 |        0
63.18/63.27	c 62.1s |      13 |   105846 |    48332 |    55397      0 |        0 |        0
65.28/65.32	c 64.2s |      13 |   108087 |    49632 |    55397      0 |        0 |        0
67.38/67.42	c 66.3s |      13 |   110744 |    50932 |    55397      0 |        0 |        0
69.39/69.49	c 68.4s |      13 |   113328 |    52432 |    55397      0 |        0 |        0
71.49/71.57	c 70.4s |      13 |   115089 |    53632 |    55397      0 |        0 |        0
73.58/73.67	c 72.5s |      13 |   117652 |    55032 |    55397      0 |        0 |        0
75.68/75.72	c 74.6s |      13 |   120180 |    56532 |    55397      1 |        0 |        0
77.68/77.77	c 76.6s |      13 |   122530 |    58232 |    60937      1 |        0 |        0
77.88/77.97	c 76.8s |      14 |   122737 |    58352 |    60937      1 |        0 |        0
79.98/80.02	c 78.9s |      14 |   125509 |    60052 |    60937      1 |        0 |        0
81.98/82.08	c 80.9s |      14 |   128684 |    61652 |    60937      1 |        0 |        0
84.08/84.14	c 83.0s |      14 |   131891 |    63352 |    60937      1 |        0 |        0
86.18/86.22	c 85.1s |      14 |   134305 |    64952 |    60937      1 |        0 |        0
88.27/88.37	c 87.2s |      14 |   136548 |    66352 |    60937      1 |        0 |        0
90.37/90.42	c 89.3s |      14 |   138611 |    67652 |    60937      1 |        0 |        0
92.48/92.52	c 91.4s |      14 |   140786 |    68752 |    60937      1 |        0 |        0
94.47/94.52	c 93.4s |      14 |   142502 |    69752 |    60937      1 |        0 |        0
96.57/96.60	c 95.5s |      14 |   143957 |    70852 |    60937      1 |        0 |        0
98.57/98.60	c 97.5s |      14 |   145188 |    71852 |    60937      1 |        0 |        0
100.67/100.70	c 99.6s |      14 |   146811 |    72852 |    60937      1 |        0 |        0
102.67/102.71	c  101s |      14 |   149768 |    74552 |    60937      1 |        0 |        0
104.87/104.90	c  103s |      14 |   152144 |    75852 |    60937      1 |        0 |        0
106.87/106.91	c  105s |      14 |   154467 |    77452 |    60937      1 |        0 |        0
108.98/109.03	c  107s |      14 |   156521 |    78752 |    60937      1 |        0 |        0
111.08/111.15	c  110s |      14 |   158249 |    79852 |    60937      1 |        0 |        0
113.28/113.31	c  112s |      14 |   159713 |    80952 |    60937      1 |        0 |        0
115.27/115.38	c  114s |      14 |   161156 |    81952 |    60937      1 |        0 |        0
117.37/117.45	c  116s |      14 |   163017 |    83152 |    60937      1 |        0 |        0
119.57/119.61	c  118s |      14 |   164896 |    84252 |    60937      1 |        0 |        0
121.57/121.69	c  120s |      14 |   166536 |    85352 |    60937      1 |        0 |        0
123.77/123.81	c  122s |      14 |   168057 |    86452 |    60937      1 |        0 |        0
125.87/125.90	c  124s |      14 |   169322 |    87452 |    67031      1 |        0 |        0
126.17/126.29	c  125s |      15 |   169573 |    87632 |    67031      1 |        0 |        0
128.17/128.29	c  127s |      15 |   170991 |    88632 |    67031      1 |        0 |        0
130.27/130.30	c  129s |      15 |   172463 |    89732 |    67031      1 |        0 |        0
132.27/132.33	c  131s |      15 |   173766 |    90732 |    67031      1 |        0 |        0
134.27/134.35	c  133s |      15 |   176808 |    92432 |    67031      1 |        0 |        0
136.37/136.49	c  135s |      15 |   178825 |    93732 |    67031      1 |        0 |        0
138.36/138.50	c  137s |      15 |   180808 |    94932 |    67031      1 |        0 |        0
140.46/140.51	c  139s |      15 |   183524 |    96832 |    67031      2 |        0 |        0
142.46/142.56	c  141s |      15 |   185446 |    98132 |    67031      2 |        0 |        0
144.46/144.59	c  143s |      15 |   187030 |    99232 |    67031      2 |        0 |        0
146.66/146.74	c  145s |      15 |   188841 |   100632 |    67031      2 |        0 |        0
148.66/148.74	c  147s |      15 |   190542 |   101932 |    67031      2 |        0 |        0
150.77/150.83	c  149s |      15 |   192305 |   103232 |    67031      2 |        0 |        0
152.87/153.00	c  151s |      15 |   193443 |   104132 |    67031      2 |        0 |        0
155.07/155.12	c  153s |      15 |   194826 |   105132 |    67031      2 |        0 |        0
157.27/157.35	c  156s |      15 |   195974 |   106032 |    67031      2 |        0 |        0
159.36/159.45	c  158s |      15 |   197404 |   106932 |    67031      2 |        0 |        0
161.46/161.56	c  160s |      15 |   198560 |   107832 |    67031      2 |        0 |        0
163.66/163.79	c  162s |      15 |   200064 |   108932 |    67031      2 |        0 |        0
165.86/165.99	c  164s |      15 |   201010 |   109732 |    67031      2 |        0 |        0
168.06/168.15	c  167s |      15 |   202539 |   110832 |    67031      2 |        0 |        0
170.06/170.19	c  169s |      15 |   203576 |   111632 |    67031      2 |        0 |        0
172.26/172.37	c  171s |      15 |   204769 |   112532 |    67031      2 |        0 |        0
174.36/174.44	c  173s |      15 |   206159 |   113532 |    67031      2 |        0 |        0
176.46/176.55	c  175s |      15 |   207534 |   114532 |    67031      2 |        0 |        0
178.56/178.67	c  177s |      15 |   208536 |   115332 |    67031      2 |        0 |        0
180.76/180.81	c  179s |      15 |   209575 |   116132 |    67031      2 |        0 |        0
182.76/182.86	c  181s |      15 |   210726 |   116932 |    67031      2 |        0 |        0
184.76/184.90	c  183s |      15 |   211743 |   117732 |    67031      2 |        0 |        0
186.86/186.98	c  185s |      15 |   212799 |   118532 |    67031      2 |        0 |        0
188.96/189.03	c  187s |      15 |   213859 |   119332 |    67031      2 |        0 |        0
191.06/191.14	c  190s |      15 |   214969 |   120132 |    67031      2 |        0 |        0
193.16/193.25	c  192s |      15 |   215924 |   120932 |    67031      2 |        0 |        0
195.36/195.40	c  194s |      15 |   216877 |   121732 |    67031      2 |        0 |        0
197.36/197.44	c  196s |      15 |   217921 |   122632 |    67031      2 |        0 |        0
199.55/199.60	c  198s |      15 |   218755 |   123332 |    67031      2 |        0 |        0
201.75/201.83	c  200s |      15 |   219703 |   124132 |    67031      2 |        0 |        0
203.96/204.06	c  202s |      15 |   220617 |   124932 |    67031      2 |        0 |        0
206.05/206.12	c  204s |      15 |   222682 |   125832 |    67031      2 |        0 |        0
208.05/208.16	c  207s |      15 |   224270 |   126832 |    67031      2 |        0 |        0
210.25/210.31	c  209s |      15 |   225704 |   127832 |    67031      2 |        0 |        0
212.36/212.43	c  211s |      15 |   227096 |   128832 |    67031      2 |        0 |        0
214.35/214.49	c  213s |      15 |   228600 |   129732 |    67031      3 |        0 |        0
216.45/216.52	c  215s |      15 |   230435 |   131132 |    73735      3 |        0 |        0
216.95/217.02	c  215s |      16 |   231081 |   131552 |    73735      3 |        0 |        0
219.46/219.54	c  218s |      16 |   232206 |   131952 |    73735      3 |        0 |        0
221.56/221.63	c  220s |      16 |   234453 |   133452 |    73735      3 |        0 |        0
223.56/223.65	c  222s |      16 |   236767 |   134752 |    73735      3 |        0 |        0
225.86/225.92	c  224s |      16 |   239061 |   136152 |    73735      3 |        0 |        0
228.06/228.15	c  227s |      16 |   241468 |   137552 |    73735      3 |        0 |        0
230.16/230.20	c  229s |      16 |   243476 |   138752 |    73735      3 |        0 |        0
232.26/232.38	c  231s |      16 |   245446 |   140052 |    73735      3 |        0 |        0
234.46/234.53	c  233s |      16 |   246805 |   140952 |    73735      3 |        0 |        0
236.66/236.72	c  235s |      16 |   248310 |   141952 |    73735      3 |        0 |        0
238.66/238.79	c  237s |      16 |   249704 |   142852 |    73735      3 |        0 |        0
240.96/241.03	c  239s |      16 |   251134 |   143852 |    73735      3 |        0 |        0
243.06/243.11	c  241s |      16 |   252602 |   144852 |    73735      3 |        0 |        0
245.06/245.20	c  244s |      16 |   253861 |   145752 |    73735      3 |        0 |        0
247.26/247.31	c  246s |      16 |   255181 |   146652 |    73735      3 |        0 |        0
249.25/249.35	c  248s |      16 |   256986 |   147852 |    73735      3 |        0 |        0
251.45/251.60	c  250s |      16 |   258424 |   148952 |    73735      3 |        0 |        0
253.65/253.76	c  252s |      16 |   260367 |   150252 |    73735      3 |        0 |        0
255.95/256.02	c  254s |      16 |   261415 |   151052 |    73735      3 |        0 |        0
258.15/258.28	c  257s |      16 |   262548 |   151852 |    73735      3 |        0 |        0
260.45/260.55	c  259s |      16 |   263976 |   152752 |    73735      3 |        0 |        0
262.75/262.82	c  261s |      16 |   265139 |   153552 |    73735      3 |        0 |        0
264.75/264.86	c  263s |      16 |   266031 |   154252 |    73735      3 |        0 |        0
266.85/266.90	c  265s |      16 |   266813 |   154852 |    73735      3 |        0 |        0
268.85/268.91	c  267s |      16 |   267584 |   155452 |    73735      3 |        0 |        0
271.15/271.25	c  270s |      16 |   268467 |   156152 |    73735      3 |        0 |        0
273.25/273.35	c  272s |      16 |   269345 |   156852 |    73735      3 |        0 |        0
275.25/275.36	c  274s |      16 |   270166 |   157452 |    73735      3 |        0 |        0
277.35/277.45	c  276s |      16 |   271039 |   158052 |    73735      3 |        0 |        0
279.65/279.72	c  278s |      16 |   271964 |   158752 |    73735      3 |        0 |        0
281.85/281.98	c  280s |      16 |   272673 |   159352 |    73735      3 |        0 |        0
284.25/284.36	c  283s |      16 |   273375 |   159952 |    73735      3 |        0 |        0
286.45/286.56	c  285s |      16 |   274416 |   160652 |    73735      3 |        0 |        0
288.55/288.64	c  287s |      16 |   275493 |   161452 |    73735      3 |        0 |        0
290.75/290.80	c  289s |      16 |   276549 |   162252 |    73735      3 |        0 |        0
292.75/292.87	c  291s |      16 |   277442 |   162952 |    73735      3 |        0 |        0
295.05/295.16	c  294s |      16 |   278484 |   163652 |    73735      3 |        0 |        0
297.15/297.23	c  296s |      16 |   279222 |   164252 |    73735      3 |        0 |        0
299.35/299.44	c  298s |      16 |   280306 |   165052 |    73735      3 |        0 |        0
301.35/301.44	c  300s |      16 |   281196 |   165752 |    73735      3 |        0 |        0
303.44/303.58	c  302s |      16 |   281942 |   166352 |    73735      3 |        0 |        0
305.54/305.62	c  304s |      16 |   282836 |   166952 |    73735      3 |        0 |        0
307.64/307.79	c  306s |      16 |   283549 |   167552 |    73735      3 |        0 |        0
309.74/309.88	c  308s |      16 |   284280 |   168152 |    73735      3 |        0 |        0
312.04/312.19	c  311s |      16 |   285106 |   168852 |    73735      3 |        0 |        0
314.24/314.36	c  313s |      16 |   285707 |   169352 |    73735      4 |        0 |        0
316.44/316.56	c  315s |      16 |   286668 |   170052 |    73735      4 |        0 |        0
318.64/318.75	c  317s |      16 |   287699 |   170852 |    73735      4 |        0 |        0
320.64/320.79	c  319s |      16 |   288773 |   171652 |    73735      4 |        0 |        0
322.94/323.08	c  321s |      16 |   289981 |   172552 |    73735      4 |        0 |        0
325.14/325.27	c  324s |      16 |   290920 |   173252 |    73735      4 |        0 |        0
327.24/327.35	c  326s |      16 |   292476 |   174352 |    73735      4 |        0 |        0
329.44/329.57	c  328s |      16 |   293619 |   175152 |    73735      4 |        0 |        0
331.64/331.71	c  330s |      16 |   294570 |   175952 |    73735      4 |        0 |        0
333.64/333.74	c  332s |      16 |   295708 |   176752 |    73735      4 |        0 |        0
335.64/335.76	c  334s |      16 |   296584 |   177452 |    73735      4 |        0 |        0
337.74/337.83	c  336s |      16 |   297573 |   178252 |    73735      4 |        0 |        0
339.84/339.99	c  338s |      16 |   298801 |   179252 |    73735      4 |        0 |        0
342.04/342.15	c  341s |      16 |   299788 |   180052 |    73735      4 |        0 |        0
344.24/344.36	c  343s |      16 |   300733 |   180852 |    73735      4 |        0 |        0
346.33/346.49	c  345s |      16 |   301731 |   181652 |    73735      4 |        0 |        0
348.53/348.62	c  347s |      16 |   302780 |   182452 |    73735      4 |        0 |        0
350.84/350.91	c  349s |      16 |   303764 |   183252 |    73735      4 |        0 |        0
353.04/353.16	c  352s |      16 |   304853 |   184152 |    73735      4 |        0 |        0
355.24/355.36	c  354s |      16 |   305894 |   184952 |    73735      4 |        0 |        0
357.54/357.63	c  356s |      16 |   306857 |   185752 |    73735      4 |        0 |        0
359.83/359.93	c  358s |      16 |   307844 |   186552 |    73735      4 |        0 |        0
361.94/362.00	c  360s |      16 |   308609 |   187152 |    73735      4 |        0 |        0
364.14/364.26	c  363s |      16 |   309460 |   187852 |    73735      4 |        0 |        0
366.43/366.58	c  365s |      16 |   310355 |   188552 |    73735      4 |        0 |        0
368.44/368.60	c  367s |      16 |   311156 |   189152 |    73735      4 |        0 |        0
370.64/370.79	c  369s |      16 |   312191 |   189852 |    73735      4 |        0 |        0
372.94/373.06	c  371s |      16 |   313296 |   190652 |    73735      4 |        0 |        0
375.04/375.12	c  373s |      16 |   314353 |   191452 |    73735      4 |        0 |        0
377.13/377.20	c  376s |      16 |   315164 |   192052 |    73735      4 |        0 |        0
379.13/379.24	c  378s |      16 |   315910 |   192652 |    73735      4 |        0 |        0
381.43/381.57	c  380s |      16 |   316777 |   193352 |    73735      4 |        0 |        0
383.73/383.87	c  382s |      16 |   317527 |   193952 |    73735      4 |        0 |        0
385.93/386.06	c  384s |      16 |   318470 |   194652 |    73735      4 |        0 |        0
388.23/388.33	c  387s |      16 |   319224 |   195252 |    73735      4 |        0 |        0
390.33/390.48	c  389s |      16 |   320048 |   195852 |    73735      4 |        0 |        0
392.43/392.57	c  391s |      16 |   320792 |   196452 |    81109      4 |        0 |        0
394.43/394.58	c  393s |      16 |   321536 |   197052 |    81109      4 |        0 |        0
395.63/395.75	c  394s |      17 |   322214 |   197432 |    81109      4 |        0 |        0
397.83/397.91	c  396s |      17 |   323449 |   198032 |    81109      4 |        0 |        0
399.83/399.99	c  398s |      17 |   325106 |   198932 |    81109      4 |        0 |        0
402.03/402.15	c  401s |      17 |   326647 |   200032 |    81109      4 |        0 |        0
404.23/404.36	c  403s |      17 |   327811 |   200932 |    81109      4 |        0 |        0
406.33/406.47	c  405s |      17 |   328882 |   201732 |    81109      4 |        0 |        0
408.63/408.71	c  407s |      17 |   330648 |   202932 |    81109      4 |        0 |        0
410.63/410.74	c  409s |      17 |   331963 |   203832 |    81109      4 |        0 |        0
412.63/412.76	c  411s |      17 |   332964 |   204632 |    81109      4 |        0 |        0
414.83/414.91	c  413s |      17 |   333995 |   205432 |    81109      4 |        0 |        0
416.93/417.02	c  415s |      17 |   334860 |   206132 |    81109      4 |        0 |        0
418.93/419.02	c  417s |      17 |   335939 |   206932 |    81109      4 |        0 |        0
421.03/421.17	c  420s |      17 |   337001 |   207732 |    81109      4 |        0 |        0
423.13/423.22	c  422s |      17 |   337987 |   208532 |    81109      4 |        0 |        0
425.23/425.37	c  424s |      17 |   338842 |   209232 |    81109      4 |        0 |        0
427.33/427.45	c  426s |      17 |   339577 |   209832 |    81109      4 |        0 |        0
429.43/429.55	c  428s |      17 |   340529 |   210632 |    81109      4 |        0 |        0
431.63/431.76	c  430s |      17 |   341702 |   211432 |    81109      4 |        0 |        0
433.63/433.77	c  432s |      17 |   342762 |   212232 |    81109      4 |        0 |        0
435.82/435.91	c  434s |      17 |   343778 |   213032 |    81109      4 |        0 |        0
438.22/438.37	c  437s |      17 |   344517 |   213632 |    81109      4 |        0 |        0
440.72/440.85	c  439s |      17 |   344968 |   214032 |    81109      5 |        0 |        0
443.12/443.27	c  442s |      17 |   345327 |   214332 |    81109      5 |        0 |        0
445.12/445.28	c  444s |      17 |   346442 |   215232 |    81109      5 |        0 |        0
447.32/447.49	c  446s |      17 |   347743 |   216332 |    81109      5 |        0 |        0
449.42/449.53	c  448s |      17 |   348755 |   217132 |    81109      5 |        0 |        0
451.52/451.63	c  450s |      17 |   349843 |   218032 |    81109      5 |        0 |        0
453.72/453.88	c  452s |      17 |   350788 |   218832 |    81109      5 |        0 |        0
455.82/455.92	c  454s |      17 |   351945 |   219732 |    81109      5 |        0 |        0
458.02/458.17	c  457s |      17 |   353321 |   220832 |    81109      5 |        0 |        0
461.02/461.10	c  459s |      17 |   354181 |   221432 |    81109      5 |        0 |        0
463.22/463.34	c  462s |      17 |   355247 |   222232 |    81109      5 |        0 |        0
465.33/465.47	c  464s |      17 |   356659 |   223232 |    81109      5 |        0 |        0
467.43/467.56	c  466s |      17 |   358119 |   224232 |    81109      5 |        0 |        0
469.62/469.73	c  468s |      17 |   359654 |   225332 |    81109      5 |        0 |        0
471.72/471.84	c  470s |      17 |   360849 |   226232 |    81109      5 |        0 |        0
474.02/474.12	c  472s |      17 |   361894 |   227032 |    81109      5 |        0 |        0
476.02/476.19	c  475s |      17 |   362819 |   227732 |    81109      5 |        0 |        0
478.12/478.28	c  477s |      17 |   363683 |   228432 |    81109      5 |        0 |        0
480.32/480.43	c  479s |      17 |   364627 |   229132 |    81109      5 |        0 |        0
482.42/482.53	c  481s |      17 |   365706 |   229932 |    81109      5 |        0 |        0
484.42/484.56	c  483s |      17 |   366550 |   230632 |    81109      5 |        0 |        0
486.62/486.78	c  485s |      17 |   368097 |   231832 |    81109      5 |        0 |        0
488.82/488.95	c  487s |      17 |   369046 |   232632 |    81109      5 |        0 |        0
491.02/491.19	c  490s |      17 |   370108 |   233532 |    81109      5 |        0 |        0
493.12/493.28	c  492s |      17 |   370921 |   234232 |    81109      5 |        0 |        0
495.21/495.39	c  494s |      17 |   372063 |   235132 |    81109      5 |        0 |        0
497.31/497.43	c  496s |      17 |   372868 |   235832 |    81109      5 |        0 |        0
499.51/499.66	c  498s |      17 |   373819 |   236632 |    81109      5 |        0 |        0
501.52/501.70	c  500s |      17 |   374723 |   237432 |    81109      5 |        0 |        0
503.91/504.03	c  502s |      17 |   375766 |   238332 |    81109      5 |        0 |        0
506.02/506.17	c  505s |      17 |   376653 |   239032 |    81109      5 |        0 |        0
508.01/508.20	c  507s |      17 |   377385 |   239632 |    81109      5 |        0 |        0
510.42/510.52	c  509s |      17 |   378150 |   240232 |    81109      5 |        0 |        0
512.81/512.93	c  511s |      17 |   379059 |   240932 |    81109      5 |        0 |        0
514.91/515.02	c  513s |      17 |   379807 |   241532 |    81109      5 |        0 |        0
517.02/517.18	c  516s |      17 |   381067 |   242332 |    81109      5 |        0 |        0
519.31/519.44	c  518s |      17 |   382193 |   243132 |    81109      5 |        0 |        0
521.32/521.48	c  520s |      17 |   383245 |   243832 |    81109      5 |        0 |        0
523.41/523.52	c  522s |      17 |   384252 |   244532 |    81109      5 |        0 |        0
525.61/525.71	c  524s |      17 |   385419 |   245332 |    81109      5 |        0 |        0
527.81/527.99	c  526s |      17 |   386515 |   246132 |    81109      5 |        0 |        0
530.01/530.14	c  529s |      17 |   387409 |   246832 |    81109      5 |        0 |        0
532.11/532.20	c  531s |      17 |   388221 |   247432 |    81109      5 |        0 |        0
534.21/534.35	c  533s |      17 |   389006 |   248032 |    81109      5 |        0 |        0
536.31/536.43	c  535s |      17 |   389797 |   248632 |    81109      5 |        0 |        0
538.61/538.73	c  537s |      17 |   390707 |   249332 |    81109      5 |        0 |        0
540.91/541.03	c  539s |      17 |   391822 |   250132 |    81109      5 |        0 |        0
543.01/543.12	c  541s |      17 |   392609 |   250732 |    81109      5 |        0 |        0
545.01/545.19	c  544s |      17 |   393391 |   251232 |    81109      5 |        0 |        0
547.31/547.40	c  546s |      17 |   394180 |   251832 |    81109      5 |        0 |        0
549.51/549.60	c  548s |      17 |   394944 |   252432 |    81109      5 |        0 |        0
551.81/551.90	c  550s |      17 |   395807 |   253132 |    81109      5 |        0 |        0
553.80/553.95	c  552s |      17 |   396396 |   253632 |    81109      5 |        0 |        0
556.10/556.21	c  555s |      17 |   397198 |   254232 |    81109      5 |        0 |        0
558.10/558.27	c  557s |      17 |   397922 |   254732 |    81109      6 |        0 |        0
560.20/560.38	c  559s |      17 |   398691 |   255332 |    81109      6 |        0 |        0
562.40/562.56	c  561s |      17 |   399594 |   256132 |    81109      6 |        0 |        0
564.70/564.85	c  563s |      17 |   400516 |   256932 |    81109      6 |        0 |        0
567.61/567.75	c  566s |      17 |   401479 |   257732 |    81109      6 |        0 |        0
569.90/570.05	c  568s |      17 |   402547 |   258532 |    81109      6 |        0 |        0
572.10/572.23	c  571s |      17 |   403885 |   259432 |    81109      6 |        0 |        0
574.30/574.42	c  573s |      17 |   405092 |   260332 |    81109      6 |        0 |        0
576.30/576.42	c  575s |      17 |   405988 |   261032 |    81109      6 |        0 |        0
578.50/578.65	c  577s |      17 |   406923 |   261732 |    81109      6 |        0 |        0
580.60/580.73	c  579s |      17 |   407951 |   262532 |    81109      6 |        0 |        0
582.70/582.89	c  581s |      17 |   408840 |   263232 |    81109      6 |        0 |        0
585.60/585.75	c  584s |      17 |   409662 |   263932 |    81109      6 |        0 |        0
587.60/587.76	c  586s |      17 |   410356 |   264532 |    81109      6 |        0 |        0
589.80/589.92	c  588s |      17 |   411201 |   265232 |    81109      6 |        0 |        0
592.10/592.21	c  591s |      17 |   411990 |   265932 |    81109      6 |        0 |        0
594.30/594.48	c  593s |      17 |   412793 |   266632 |    81109      6 |        0 |        0
597.20/597.36	c  596s |      17 |   413943 |   267232 |    81109      6 |        0 |        0
599.29/599.45	c  598s |      17 |   416111 |   268432 |    81109      6 |        0 |        0
601.30/601.48	c  600s |      17 |   417886 |   269532 |    81109      6 |        0 |        0
603.30/603.49	c  602s |      17 |   419610 |   270632 |    81109      6 |        0 |        0
605.60/605.78	c  604s |      17 |   421020 |   271632 |    81109      6 |        0 |        0
607.60/607.79	c  606s |      17 |   422550 |   272532 |    81109      6 |        0 |        0
609.80/609.94	c  608s |      17 |   424242 |   273732 |    81109      6 |        0 |        0
612.10/612.28	c  611s |      17 |   425964 |   274832 |    81109      6 |        0 |        0
614.30/614.42	c  613s |      17 |   427115 |   275632 |    81109      6 |        0 |        0
616.40/616.54	c  615s |      17 |   428631 |   276532 |    81109      6 |        0 |        0
618.50/618.68	c  617s |      17 |   429729 |   277332 |    81109      6 |        0 |        0
620.60/620.79	c  619s |      17 |   430879 |   278132 |    81109      6 |        0 |        0
622.80/622.99	c  621s |      17 |   432518 |   279232 |    81109      6 |        0 |        0
624.90/625.06	c  623s |      17 |   433583 |   280032 |    81109      6 |        0 |        0
627.10/627.27	c  626s |      17 |   435243 |   281032 |    81109      6 |        0 |        0
629.20/629.38	c  628s |      17 |   436773 |   281932 |    81109      6 |        0 |        0
631.30/631.41	c  630s |      17 |   437923 |   282732 |    81109      6 |        0 |        0
633.30/633.43	c  632s |      17 |   439729 |   283832 |    81109      6 |        0 |        0
635.40/635.50	c  634s |      17 |   442195 |   285432 |    81109      6 |        0 |        0
637.40/637.57	c  636s |      17 |   443612 |   286432 |    81109      6 |        0 |        0
639.60/639.75	c  638s |      17 |   444931 |   287332 |    81109      6 |        0 |        0
641.80/641.99	c  640s |      17 |   446017 |   288132 |    81109      6 |        0 |        0
643.90/644.09	c  642s |      17 |   447098 |   288932 |    81109      6 |        0 |        0
646.10/646.22	c  645s |      17 |   448220 |   289732 |    81109      6 |        0 |        0
648.30/648.47	c  647s |      17 |   449300 |   290532 |    81109      6 |        0 |        0
650.50/650.64	c  649s |      17 |   450386 |   291332 |    81109      6 |        0 |        0
652.59/652.75	c  651s |      17 |   451608 |   292132 |    81109      6 |        0 |        0
654.79/654.95	c  653s |      17 |   452738 |   292932 |    81109      6 |        0 |        0
656.99/657.18	c  656s |      17 |   454163 |   293932 |    81109      6 |        0 |        0
659.09/659.29	c  658s |      17 |   455323 |   294732 |    89220      6 |        0 |        0
661.19/661.39	c  660s |      17 |   456534 |   295632 |    89220      6 |        0 |        0
663.09/663.23	c  662s |      18 |   457349 |   296252 |    89220      6 |        0 |        0
665.19/665.31	c  664s |      18 |   458319 |   296852 |    89220      6 |        0 |        0
667.39/667.58	c  666s |      18 |   459544 |   297652 |    89220      6 |        0 |        0
670.79/670.96	c  669s |      18 |   460502 |   298252 |    89220      6 |        0 |        0
672.89/673.07	c  671s |      18 |   462559 |   299452 |    89220      6 |        0 |        0
675.09/675.25	c  674s |      18 |   464126 |   300352 |    89220      6 |        0 |        0
677.09/677.29	c  676s |      18 |   465781 |   301352 |    89220      6 |        0 |        0
679.19/679.33	c  678s |      18 |   467212 |   302252 |    89220      6 |        0 |        0
681.39/681.57	c  680s |      18 |   468467 |   303152 |    89220      6 |        0 |        0
683.79/683.91	c  682s |      18 |   469176 |   303652 |    89220      7 |        0 |        0
685.99/686.11	c  684s |      18 |   470232 |   304352 |    89220      7 |        0 |        0
688.09/688.26	c  687s |      18 |   471534 |   305252 |    89220      7 |        0 |        0
690.19/690.34	c  689s |      18 |   473498 |   306552 |    89220      7 |        0 |        0
692.29/692.45	c  691s |      18 |   475177 |   307652 |    89220      7 |        0 |        0
694.29/694.47	c  693s |      18 |   476359 |   308552 |    89220      7 |        0 |        0
696.39/696.54	c  695s |      18 |   478061 |   309852 |    89220      7 |        0 |        0
698.39/698.58	c  697s |      18 |   480105 |   311252 |    89220      7 |        0 |        0
700.59/700.75	c  699s |      18 |   483010 |   312252 |    89220      7 |        0 |        0
702.79/702.93	c  701s |      18 |   485125 |   313352 |    89220      7 |        0 |        0
704.79/704.99	c  703s |      18 |   486608 |   314252 |    89220      7 |        0 |        0
706.88/707.08	c  705s |      18 |   487586 |   314952 |    89220      7 |        0 |        0
709.08/709.23	c  708s |      18 |   488960 |   315852 |    89220      7 |        0 |        0
711.28/711.42	c  710s |      18 |   490810 |   316852 |    89220      7 |        0 |        0
713.28/713.45	c  712s |      18 |   492509 |   317752 |    89220      7 |        0 |        0
715.38/715.56	c  714s |      18 |   493867 |   318652 |    89220      7 |        0 |        0
717.48/717.66	c  716s |      18 |   495330 |   319452 |    89220      7 |        0 |        0
719.78/719.93	c  718s |      18 |   496504 |   320252 |    89220      7 |        0 |        0
721.88/722.06	c  720s |      18 |   498338 |   321252 |    89220      7 |        0 |        0
723.98/724.19	c  723s |      18 |   499501 |   322052 |    89220      7 |        0 |        0
726.18/726.31	c  725s |      18 |   500618 |   322852 |    89220      7 |        0 |        0
728.38/728.53	c  727s |      18 |   501576 |   323552 |    89220      7 |        0 |        0
730.58/730.76	c  729s |      18 |   502950 |   324452 |    89220      7 |        0 |        0
732.59/732.80	c  731s |      18 |   504187 |   325152 |    89220      7 |        0 |        0
734.79/734.93	c  733s |      18 |   505885 |   326052 |    89220      7 |        0 |        0
736.89/737.06	c  735s |      18 |   507263 |   326952 |    89220      7 |        0 |        0
739.09/739.23	c  738s |      18 |   508895 |   327852 |    89220      7 |        0 |        0
741.18/741.31	c  740s |      18 |   510143 |   328652 |    89220      7 |        0 |        0
743.28/743.48	c  742s |      18 |   511584 |   329452 |    89220      7 |        0 |        0
745.48/745.69	c  744s |      18 |   512852 |   330252 |    89220      7 |        0 |        0
747.78/747.90	c  746s |      18 |   514143 |   331052 |    89220      7 |        0 |        0
749.78/749.90	c  748s |      18 |   515260 |   331852 |    89220      7 |        0 |        0
751.88/752.07	c  750s |      18 |   516513 |   332752 |    89220      7 |        0 |        0
754.28/754.42	c  753s |      18 |   517536 |   333452 |    89220      7 |        0 |        0
756.48/756.63	c  755s |      18 |   518580 |   334152 |    89220      7 |        0 |        0
758.98/759.15	c  758s |      18 |   519437 |   334752 |    89220      7 |        0 |        0
760.98/761.19	c  760s |      18 |   520632 |   335552 |    89220      7 |        0 |        0
763.18/763.38	c  762s |      18 |   521774 |   336352 |    89220      7 |        0 |        0
765.48/765.70	c  764s |      18 |   522796 |   337052 |    89220      7 |        0 |        0
767.78/767.96	c  766s |      18 |   524304 |   337952 |    89220      7 |        0 |        0
768.18/768.38	c  767s |      18 |   524774 |   338085 |    89220      7 |        0 |        0
768.18/768.38	c #cpu_time = 767.270s
768.18/768.38	c #wall_clock_time = 767.239s
768.18/768.38	c #decision = 524774
768.18/768.38	c #random_decision = 1987
768.18/768.38	c #conflict = 338085
768.18/768.38	c #restart = 18
768.18/768.38	s SATISFIABLE
768.18/768.38	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
768.18/768.38	v -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20
768.18/768.38	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
768.18/768.38	v -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40
768.18/768.38	v -x41 x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
768.18/768.38	v -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60
768.18/768.38	v -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70
768.18/768.38	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
768.18/768.38	v -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90
768.18/768.38	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
768.18/768.38	v -x101 x102 x103 x104 x105 x106 -x107 -x108 -x109 -x110
768.18/768.38	v x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
768.18/768.38	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
768.18/768.38	v -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
768.18/768.38	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150
768.18/768.38	v -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160
768.18/768.38	v -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170
768.18/768.38	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
768.18/768.38	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190
768.18/768.38	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
768.18/768.38	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
768.18/768.38	v -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
768.18/768.38	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
768.18/768.38	v -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240
768.18/768.38	v -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
768.18/768.38	v -x251 -x252 -x253 -x254 x255 -x256 -x257 x258 -x259 -x260
768.18/768.38	v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
768.18/768.38	v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 -x280
768.18/768.38	v -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290
768.18/768.38	v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300
768.18/768.38	v -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310
768.18/768.38	v -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320
768.18/768.38	v -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330
768.18/768.38	v -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340
768.18/768.38	v -x341 x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350
768.18/768.38	v -x351 -x352 -x353 -x354 x355 x356 -x357 -x358 -x359 -x360
768.18/768.38	v -x361 -x362 x363 x364 -x365 -x366 -x367 -x368 -x369 -x370
768.18/768.38	v -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 x380
768.18/768.38	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390
768.18/768.38	v -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400
768.18/768.38	v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410
768.18/768.38	v -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
768.18/768.38	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430
768.18/768.38	v -x431 -x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
768.18/768.38	v x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450
768.18/768.38	v -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460
768.18/768.38	v -x461 -x462 x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470
768.18/768.38	v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
768.18/768.38	v -x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 -x489 -x490
768.18/768.38	v -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
768.18/768.38	v x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510
768.18/768.38	v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520
768.18/768.38	v -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 x530
768.18/768.38	v -x531 -x532 -x533 -x534 -x535 -x536 -x537 x538 -x539 -x540
768.18/768.38	v x541 -x542 -x543 -x544 -x545 x546 -x547 -x548 -x549 -x550
768.18/768.38	v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560
768.18/768.38	v -x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 -x569 -x570
768.18/768.38	v -x571 -x572 -x573 -x574 x575 -x576 -x577 -x578 -x579 -x580
768.18/768.38	v -x581 -x582 x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590
768.18/768.38	v -x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600
768.18/768.38	v -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610
768.18/768.38	v -x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x620
768.18/768.38	v -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 x630
768.18/768.38	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640
768.18/768.38	v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
768.18/768.38	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 x658 -x659 -x660
768.18/768.38	v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670
768.18/768.38	v -x671 -x672 -x673 -x674 x675 -x676 -x677 -x678 x679 x680
768.18/768.38	v -x681 -x682 -x683 -x684 x685 -x686 x687 x688 -x689 -x690
768.18/768.38	v -x691 -x692 x693 x694 -x695 -x696 -x697 -x698 -x699 -x700
768.18/768.38	v -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 -x709 -x710
768.18/768.38	v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720
768.18/768.38	v x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 x729 x730
768.18/768.38	v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740
768.18/768.38	v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 -x750
768.18/768.38	v -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760
768.18/768.38	v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 x770
768.18/768.38	v -x771 -x772 -x773 -x774 -x775 -x776 -x777 x778 -x779 -x780
768.18/768.38	v -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790
768.18/768.38	v -x791 -x792 -x793 -x794 -x795 -x796 x797 -x798 -x799 -x800
768.18/768.38	v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810
768.18/768.38	v -x811 -x812 -x813 -x814 -x815 -x816 -x817 x818 -x819 -x820
768.18/768.38	v -x821 -x822 -x823 -x824 -x825 x826 -x827 -x828 -x829 x830
768.18/768.38	v -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
768.18/768.38	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850
768.18/768.38	v x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 x859 -x860
768.18/768.38	v -x861 -x862 -x863 -x864 -x865 -x866 x867 -x868 -x869 -x870
768.18/768.38	v -x871 -x872 -x873 -x874 -x875 x876 -x877 -x878 -x879 -x880
768.18/768.38	v -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890
768.18/768.38	v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 x899 x900
768.18/768.38	v -x901 -x902 -x903 -x904 -x905 -x906 x907 x908 -x909 -x910
768.18/768.38	v -x911 -x912 -x913 -x914 x915 -x916 -x917 -x918 x919 -x920
768.18/768.38	v -x921 x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930
768.18/768.38	v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940
768.18/768.38	v -x941 -x942 x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950
768.18/768.38	v x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 x959 -x960
768.18/768.38	v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 x969 -x970
768.18/768.38	v -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980
768.18/768.38	v -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 x990
768.18/768.38	v -x991 -x992 -x993 -x994 -x995 -x996 -x997 x998 -x999 -x1000
768.18/768.38	v -x1001 -x1002 -x1003 -x1004 -x1005 x1006 -x1007 -x1008 -x1009 x1010
768.18/768.38	v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020
768.18/768.38	v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030
768.18/768.38	v -x1031 -x1032 x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
768.18/768.38	v x1041 x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 x1049 -x1050
768.18/768.38	v -x1051 -x1052 -x1053 -x1054 x1055 -x1056 -x1057 -x1058 -x1059 -x1060
768.18/768.38	v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070
768.18/768.38	v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 x1078 x1079 -x1080
768.18/768.38	v -x1081 -x1082 -x1083 -x1084 -x1085 x1086 x1087 -x1088 -x1089 -x1090
768.18/768.38	v -x1091 -x1092 -x1093 x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100
768.18/768.38	v -x1101 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110
768.18/768.38	v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120
768.18/768.38	v -x1121 -x1122 -x1123 -x1124 x1125 x1126 -x1127 -x1128 -x1129 -x1130
768.18/768.38	v -x1131 -x1132 x1133 x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140
768.18/768.38	v x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150
768.18/768.38	v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160
768.18/768.38	v -x1161 -x1162 -x1163 -x1164 x1165 -x1166 -x1167 -x1168 -x1169 -x1170
768.18/768.38	v x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180
768.18/768.38	v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190
768.18/768.38	v -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200
768.18/768.38	v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210
768.18/768.38	v x1211 x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 x1219 x1220
768.18/768.38	v -x1221 -x1222 -x1223 -x1224 x1225 x1226 x1227 x1228 -x1229 x1230
768.18/768.38	v -x1231 x1232 x1233 -x1234 -x1235 x1236 -x1237 x1238 -x1239 x1240
768.18/768.38	v x1241 -x1242 -x1243 x1244 -x1245 x1246 x1247 x1248 x1249 -x1250
768.18/768.38	v -x1251 -x1252 -x1253 x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260
768.18/768.38	v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270
768.18/768.38	v -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280
768.18/768.38	v -x1281 -x1282 x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290
768.18/768.38	v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300
768.18/768.38	v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310
768.18/768.38	v -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320
768.18/768.38	v x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 x1329 -x1330
768.18/768.38	v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 -x1338 -x1339 -x1340
768.18/768.38	v -x1341 -x1342 x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350
768.18/768.38	v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360
768.18/768.38	v -x1361 -x1362 -x1363 -x1364 -x1365 x1366 x1367 -x1368 -x1369 -x1370
768.18/768.38	v -x1371 -x1372 -x1373 x1374 x1375 -x1376 -x1377 -x1378 -x1379 -x1380
768.18/768.38	v -x1381 x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 x1389 -x1390
768.18/768.38	v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400
768.18/768.38	v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410
768.18/768.38	v -x1411 -x1412 x1413 x1414 -x1415 -x1416 -x1417 -x1418 x1419 x1420
768.18/768.38	v -x1421 x1422 -x1423 -x1424 -x1425 -x1426 x1427 x1428 -x1429 -x1430
768.18/768.38	v -x1431 x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440
768.18/768.38	v -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450
768.18/768.38	v -x1451 -x1452 x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460
768.18/768.38	v x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 x1469 -x1470
768.18/768.38	v -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 x1477 -x1478 -x1479 -x1480
768.18/768.38	v -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490
768.18/768.38	v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 x1498 -x1499 -x1500
768.18/768.38	v -x1501 -x1502 -x1503 -x1504 -x1505 x1506 -x1507 -x1508 -x1509 -x1510
768.18/768.38	v -x1511 -x1512 -x1513 x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520
768.18/768.38	v -x1521 -x1522 -x1523 x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530
768.18/768.38	v -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540
768.18/768.38	v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 x1547 x1548 -x1549 -x1550
768.18/768.38	v -x1551 -x1552 -x1553 -x1554 x1555 x1556 -x1557 -x1558 -x1559 -x1560
768.18/768.38	v -x1561 -x1562 x1563 -x1564 -x1565 -x1566 -x1567 x1568 -x1569 -x1570
768.18/768.38	v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580
768.18/768.38	v -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590
768.18/768.38	v -x1591 x1592 x1593 -x1594 -x1595 -x1596 -x1597 x1598 x1599 -x1600
768.18/768.38	v x1601 -x1602 -x1603 -x1604 -x1605 x1606 x1607 -x1608 -x1609 -x1610
768.18/768.38	v x1611 -x1612 x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620
768.18/768.38	v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630
768.18/768.38	v -x1631 -x1632 -x1633 -x1634 -x1635 x1636 x1637 -x1638 -x1639 -x1640
768.18/768.38	v -x1641 -x1642 -x1643 x1644 x1645 -x1646 -x1647 -x1648 -x1649 -x1650
768.18/768.38	v -x1651 x1652 -x1653 -x1654 -x1655 -x1656 -x1657 x1658 -x1659 -x1660
768.18/768.38	v -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670
768.18/768.38	v -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680
768.18/768.38	v x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 x1689 x1690
768.18/768.38	v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 x1697 -x1698 -x1699 -x1700
768.18/768.38	v -x1701 x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710
768.18/768.38	v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720
768.18/768.38	v -x1721 -x1722 -x1723 -x1724 -x1725 x1726 x1727 -x1728 -x1729 -x1730
768.18/768.38	v -x1731 x1732 x1733 -x1734 x1735 -x1736 -x1737 -x1738 -x1739 x1740
768.18/768.38	v x1741 -x1742 -x1743 -x1744 -x1745 -x1746 x1747 -x1748 -x1749 -x1750
768.18/768.38	v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760
768.18/768.38	v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770
768.18/768.38	v x1771 x1772 -x1773 -x1774 -x1775 -x1776 x1777 x1778 -x1779 x1780
768.18/768.38	v -x1781 -x1782 -x1783 -x1784 x1785 x1786 -x1787 -x1788 -x1789 -x1790
768.18/768.38	v -x1791 x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800
768.18/768.38	v -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810
768.18/768.38	v -x1811 -x1812 -x1813 -x1814 -x1815 x1816 x1817 -x1818 -x1819 -x1820
768.18/768.38	v -x1821 x1822 x1823 -x1824 x1825 -x1826 -x1827 -x1828 -x1829 x1830
768.18/768.38	v x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 x1840
768.18/768.38	c total CPU time = 768.416s
768.18/768.38	c total wall clock time = 768.385s

Verifier Data 

OK	0

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

pid=7346
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.20 2.26 2.21 4/179 7349
/proc/meminfo: memFree=27589988/32872528 swapFree=15644/1722384
[pid=7349] ppid=7346 vsize=726460 CPUtime=0 cores=0,2,4,6
/proc/7349/stat : 7349 (toysat) R 7346 7349 4315 0 -1 4202496 2708 0 0 0 0 0 0 0 20 0 4 0 109618914 743895040 3070 33554432000 4194304 16246674 140735906853376 140735906852800 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7349/statm: 182127 3078 441 2943 0 179021 0
[pid=7349/tid=7350] ppid=7346 vsize=744892 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7350/stat : 7350 (toysat) S 7346 7349 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109618914 762769408 3143 33554432000 4194304 16246674 140735906853376 140187736714480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7349/tid=7351] ppid=7346 vsize=748988 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7351/stat : 7351 (toysat) S 7346 7349 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109618914 766963712 3160 33554432000 4194304 16246674 140735906853376 140187726224624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7349/tid=7352] ppid=7346 vsize=754108 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7352/stat : 7352 (toysat) S 7346 7349 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109618914 772206592 3177 33554432000 4194304 16246674 140735906853376 140187715751088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100128 s]
/proc/loadavg: 2.20 2.26 2.21 4/179 7349
/proc/meminfo: memFree=27589988/32872528 swapFree=15644/1722384
[pid=7349] ppid=7346 vsize=1222212 CPUtime=0.08 cores=0,2,4,6
/proc/7349/stat : 7349 (toysat) R 7346 7349 4315 0 -1 4202496 27041 0 0 0 5 3 0 0 20 0 4 0 109618914 1251545088 27341 33554432000 4194304 16246674 140735906853376 140735906852688 4221105 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7349/statm: 305553 27346 801 2943 0 302447 0
[pid=7349/tid=7350] ppid=7346 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7350/stat : 7350 (toysat) S 7346 7349 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109618914 1251545088 27349 33554432000 4194304 16246674 140735906853376 140187736714480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7349/tid=7351] ppid=7346 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7351/stat : 7351 (toysat) S 7346 7349 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109618914 1251545088 27349 33554432000 4194304 16246674 140735906853376 140187726224624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7349/tid=7352] ppid=7346 vsize=1225284 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7352/stat : 7352 (toysat) S 7346 7349 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109618914 1254690816 27360 33554432000 4194304 16246674 140735906853376 140187715751088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1222212

[startup+0.200415 s]
/proc/loadavg: 2.20 2.26 2.21 4/179 7349
/proc/meminfo: memFree=27589988/32872528 swapFree=15644/1722384
[pid=7349] ppid=7346 vsize=1309252 CPUtime=0.19 cores=0,2,4,6
/proc/7349/stat : 7349 (toysat) R 7346 7349 4315 0 -1 4202496 51276 0 0 0 12 7 0 0 20 0 4 0 109618914 1340674048 52086 33554432000 4194304 16246674 140735906853376 140735906852688 4221105 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7349/statm: 327313 52090 801 2943 0 324207 0
[pid=7349/tid=7350] ppid=7346 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7350/stat : 7350 (toysat) S 7346 7349 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109618914 1340674048 52092 33554432000 4194304 16246674 140735906853376 140187736714480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7349/tid=7351] ppid=7346 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7351/stat : 7351 (toysat) S 7346 7349 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109618914 1340674048 52094 33554432000 4194304 16246674 140735906853376 140187726224624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7349/tid=7352] ppid=7346 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7352/stat : 7352 (toysat) S 7346 7349 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109618914 1340674048 52096 33554432000 4194304 16246674 140735906853376 140187715751088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1309252

[startup+0.300455 s]
/proc/loadavg: 2.20 2.26 2.21 4/179 7349
/proc/meminfo: memFree=27589988/32872528 swapFree=15644/1722384
[pid=7349] ppid=7346 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/7349/stat : 7349 (toysat) R 7346 7349 4315 0 -1 4202496 61652 0 0 0 20 9 0 0 20 0 4 0 109618914 1345916928 62462 33554432000 4194304 16246674 140735906853376 140735906852688 4206886 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7349/statm: 328593 62462 801 2943 0 325487 0
[pid=7349/tid=7350] ppid=7346 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7350/stat : 7350 (toysat) S 7346 7349 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109618914 1345916928 62462 33554432000 4194304 16246674 140735906853376 140187736714480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7349/tid=7351] ppid=7346 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7351/stat : 7351 (toysat) S 7346 7349 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109618914 1345916928 62462 33554432000 4194304 16246674 140735906853376 140187726224624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7349/tid=7352] ppid=7346 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7352/stat : 7352 (toysat) S 7346 7349 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109618914 1345916928 62462 33554432000 4194304 16246674 140735906853376 140187715751088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700361 s]
/proc/loadavg: 2.20 2.26 2.21 4/179 7349
/proc/meminfo: memFree=27589988/32872528 swapFree=15644/1722384
[pid=7349] ppid=7346 vsize=1314372 CPUtime=0.68 cores=0,2,4,6
/proc/7349/stat : 7349 (toysat) R 7346 7349 4315 0 -1 4202496 105788 0 0 0 53 15 0 0 20 0 4 0 109618914 1345916928 106599 33554432000 4194304 16246674 140735906853376 140735906835264 12874965 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7349/statm: 328593 106607 845 2943 0 325487 0
[pid=7349/tid=7350] ppid=7346 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7350/stat : 7350 (toysat) S 7346 7349 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109618914 1345916928 106612 33554432000 4194304 16246674 140735906853376 140187736714480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7349/tid=7351] ppid=7346 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7351/stat : 7351 (toysat) S 7346 7349 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109618914 1345916928 106617 33554432000 4194304 16246674 140735906853376 140187726224624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7349/tid=7352] ppid=7346 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7352/stat : 7352 (toysat) S 7346 7349 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109618914 1345916928 106623 33554432000 4194304 16246674 140735906853376 140187715751088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1314372

[startup+1.50035 s]
/proc/loadavg: 2.19 2.26 2.20 4/184 7354
/proc/meminfo: memFree=26852160/32872528 swapFree=15644/1722384
[pid=7349] ppid=7346 vsize=1314372 CPUtime=1.48 cores=0,2,4,6
/proc/7349/stat : 7349 (toysat) R 7346 7349 4315 0 -1 4202496 236577 0 0 0 112 36 0 0 20 0 4 0 109618914 1345916928 237387 33554432000 4194304 16246674 140735906853376 140735906835264 5677277 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7349/statm: 328593 237391 882 2943 0 325487 0
[pid=7349/tid=7350] ppid=7346 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7350/stat : 7350 (toysat) S 7346 7349 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109618914 1345916928 237393 33554432000 4194304 16246674 140735906853376 140187736714480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7349/tid=7351] ppid=7346 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7351/stat : 7351 (toysat) S 7346 7349 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109618914 1345916928 237397 33554432000 4194304 16246674 140735906853376 140187726224624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7349/tid=7352] ppid=7346 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7352/stat : 7352 (toysat) S 7346 7349 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109618914 1345916928 237399 33554432000 4194304 16246674 140735906853376 140187715751088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1314372

[startup+3.10036 s]
/proc/loadavg: 2.19 2.26 2.20 4/184 7354
/proc/meminfo: memFree=26495048/32872528 swapFree=15644/1722384
[pid=7349] ppid=7346 vsize=1329732 CPUtime=3.09 cores=0,2,4,6
/proc/7349/stat : 7349 (toysat) R 7346 7349 4315 0 -1 4202496 272876 0 0 0 268 41 0 0 20 0 4 0 109618914 1361645568 273686 33554432000 4194304 16246674 140735906853376 140735906835264 4206912 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7349/statm: 332433 273686 885 2943 0 329327 0
[pid=7349/tid=7350] ppid=7346 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7350/stat : 7350 (toysat) S 7346 7349 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109618914 1361645568 273686 33554432000 4194304 16246674 140735906853376 140187736714480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7349/tid=7351] ppid=7346 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7351/stat : 7351 (toysat) S 7346 7349 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109618914 1361645568 273686 33554432000 4194304 16246674 140735906853376 140187726224624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7349/tid=7352] ppid=7346 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7352/stat : 7352 (toysat) S 7346 7349 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109618914 1361645568 273686 33554432000 4194304 16246674 140735906853376 140187715751088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1329732

[startup+6.3004 s]
/proc/loadavg: 2.17 2.26 2.20 3/184 7354
/proc/meminfo: memFree=26494240/32872528 swapFree=15644/1722384
[pid=7349] ppid=7346 vsize=1329732 CPUtime=6.29 cores=0,2,4,6
/proc/7349/stat : 7349 (toysat) R 7346 7349 4315 0 -1 4202496 273105 0 0 0 588 41 0 0 20 0 4 0 109618914 1361645568 273915 33554432000 4194304 16246674 140735906853376 140735906852472 5659404 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7349/statm: 332433 273915 889 2943 0 329327 0
[pid=7349/tid=7350] ppid=7346 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7350/stat : 7350 (toysat) S 7346 7349 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109618914 1361645568 273915 33554432000 4194304 16246674 140735906853376 140187736714480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7349/tid=7351] ppid=7346 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7351/stat : 7351 (toysat) S 7346 7349 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109618914 1361645568 273915 33554432000 4194304 16246674 140735906853376 140187726224624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7349/tid=7352] ppid=7346 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7352/stat : 7352 (toysat) S 7346 7349 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109618914 1361645568 273915 33554432000 4194304 16246674 140735906853376 140187715751088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1329732

[startup+12.7004 s]
/proc/loadavg: 2.16 2.25 2.20 3/183 7354
/proc/meminfo: memFree=26494792/32872528 swapFree=15644/1722384
[pid=7349] ppid=7346 vsize=1329732 CPUtime=12.69 cores=0,2,4,6
/proc/7349/stat : 7349 (toysat) R 7346 7349 4315 0 -1 4202496 273106 0 0 0 1228 41 0 0 20 0 4 0 109618914 1361645568 273916 33554432000 4194304 16246674 140735906853376 140735906835264 5827824 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7349/statm: 332433 273916 889 2943 0 329327 0
[pid=7349/tid=7350] ppid=7346 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7350/stat : 7350 (toysat) S 7346 7349 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109618914 1361645568 273916 33554432000 4194304 16246674 140735906853376 140187736714480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7349/tid=7351] ppid=7346 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7351/stat : 7351 (toysat) S 7346 7349 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109618914 1361645568 273916 33554432000 4194304 16246674 140735906853376 140187726224624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7349/tid=7352] ppid=7346 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7352/stat : 7352 (toysat) S 7346 7349 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109618914 1361645568 273916 33554432000 4194304 16246674 140735906853376 140187715751088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1329732

[startup+25.5005 s]
/proc/loadavg: 2.12 2.24 2.20 3/183 7354
/proc/meminfo: memFree=26495420/32872528 swapFree=15644/1722384
[pid=7349] ppid=7346 vsize=1329732 CPUtime=25.49 cores=0,2,4,6
/proc/7349/stat : 7349 (toysat) R 7346 7349 4315 0 -1 4202496 273107 0 0 0 2508 41 0 0 20 0 4 0 109618914 1361645568 273917 33554432000 4194304 16246674 140735906853376 140735906835264 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7349/statm: 332433 273917 889 2943 0 329327 0
[pid=7349/tid=7350] ppid=7346 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7350/stat : 7350 (toysat) S 7346 7349 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109618914 1361645568 273917 33554432000 4194304 16246674 140735906853376 140187736714480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7349/tid=7351] ppid=7346 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7351/stat : 7351 (toysat) S 7346 7349 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109618914 1361645568 273917 33554432000 4194304 16246674 140735906853376 140187726224624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7349/tid=7352] ppid=7346 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7352/stat : 7352 (toysat) S 7346 7349 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109618914 1361645568 273917 33554432000 4194304 16246674 140735906853376 140187715751088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1329732

[startup+51.1005 s]
/proc/loadavg: 2.15 2.23 2.20 3/183 7354
/proc/meminfo: memFree=26493340/32872528 swapFree=15644/1722384
[pid=7349] ppid=7346 vsize=1329732 CPUtime=51.08 cores=0,2,4,6
/proc/7349/stat : 7349 (toysat) R 7346 7349 4315 0 -1 4202496 273108 0 0 0 5067 41 0 0 20 0 4 0 109618914 1361645568 273918 33554432000 4194304 16246674 140735906853376 140735906835264 5672818 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7349/statm: 332433 273918 889 2943 0 329327 0
[pid=7349/tid=7350] ppid=7346 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7350/stat : 7350 (toysat) S 7346 7349 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109618914 1361645568 273918 33554432000 4194304 16246674 140735906853376 140187736714480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7349/tid=7351] ppid=7346 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7351/stat : 7351 (toysat) S 7346 7349 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109618914 1361645568 273918 33554432000 4194304 16246674 140735906853376 140187726224624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7349/tid=7352] ppid=7346 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7352/stat : 7352 (toysat) S 7346 7349 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109618914 1361645568 273918 33554432000 4194304 16246674 140735906853376 140187715751088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1329732

[startup+102.301 s]
/proc/loadavg: 2.31 2.26 2.20 3/183 7355
/proc/meminfo: memFree=26490976/32872528 swapFree=15644/1722384
[pid=7349] ppid=7346 vsize=1331780 CPUtime=102.28 cores=0,2,4,6
/proc/7349/stat : 7349 (toysat) R 7346 7349 4315 0 -1 4202496 273625 0 0 0 10187 41 0 0 20 0 4 0 109618914 1363742720 274435 33554432000 4194304 16246674 140735906853376 140735906835264 5721840 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7349/statm: 332945 274435 893 2943 0 329839 0
[pid=7349/tid=7350] ppid=7346 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7350/stat : 7350 (toysat) S 7346 7349 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109618914 1363742720 274435 33554432000 4194304 16246674 140735906853376 140187736714480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7349/tid=7351] ppid=7346 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7351/stat : 7351 (toysat) S 7346 7349 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109618914 1363742720 274435 33554432000 4194304 16246674 140735906853376 140187726224624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7349/tid=7352] ppid=7346 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7352/stat : 7352 (toysat) S 7346 7349 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109618914 1363742720 274435 33554432000 4194304 16246674 140735906853376 140187715751088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1331780


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

Current children cumulated vsize (KiB) 1370692

[startup+462.3 s]
/proc/loadavg: 2.27 2.22 2.19 3/183 7362
/proc/meminfo: memFree=26211580/32872528 swapFree=15644/1722384
[pid=7349] ppid=7346 vsize=1370692 CPUtime=462.22 cores=0,2,4,6
/proc/7349/stat : 7349 (toysat) R 7346 7349 4315 0 -1 4202496 283353 0 0 0 46178 44 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140735906835264 13760224 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7349/statm: 342673 284163 893 2943 0 339567 0
[pid=7349/tid=7350] ppid=7346 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7350/stat : 7350 (toysat) S 7346 7349 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140187736714480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7349/tid=7351] ppid=7346 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7351/stat : 7351 (toysat) S 7346 7349 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140187726224624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7349/tid=7352] ppid=7346 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7352/stat : 7352 (toysat) S 7346 7349 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140187715751088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1370692

[startup+522.3 s]
/proc/loadavg: 2.25 2.22 2.18 4/183 7363
/proc/meminfo: memFree=26171492/32872528 swapFree=15644/1722384
[pid=7349] ppid=7346 vsize=1370692 CPUtime=522.21 cores=0,2,4,6
/proc/7349/stat : 7349 (toysat) R 7346 7349 4315 0 -1 4202496 283353 0 0 0 52177 44 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140735906835264 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7349/statm: 342673 284163 893 2943 0 339567 0
[pid=7349/tid=7350] ppid=7346 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7350/stat : 7350 (toysat) S 7346 7349 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140187736714480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7349/tid=7351] ppid=7346 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7351/stat : 7351 (toysat) S 7346 7349 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140187726224624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7349/tid=7352] ppid=7346 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7352/stat : 7352 (toysat) S 7346 7349 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140187715751088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1370692

[startup+582.3 s]
/proc/loadavg: 2.09 2.18 2.17 3/184 7367
/proc/meminfo: memFree=26124336/32872528 swapFree=15644/1722384
[pid=7349] ppid=7346 vsize=1370692 CPUtime=582.2 cores=0,2,4,6
/proc/7349/stat : 7349 (toysat) R 7346 7349 4315 0 -1 4202496 283353 0 0 0 58176 44 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140735906835264 5827686 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7349/statm: 342673 284163 893 2943 0 339567 0
[pid=7349/tid=7350] ppid=7346 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7350/stat : 7350 (toysat) S 7346 7349 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140187736714480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7349/tid=7351] ppid=7346 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7351/stat : 7351 (toysat) S 7346 7349 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140187726224624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7349/tid=7352] ppid=7346 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7352/stat : 7352 (toysat) S 7346 7349 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140187715751088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1370692

[startup+642.3 s]
/proc/loadavg: 2.07 2.16 2.17 3/183 7369
/proc/meminfo: memFree=26111912/32872528 swapFree=15644/1722384
[pid=7349] ppid=7346 vsize=1370692 CPUtime=642.2 cores=0,2,4,6
/proc/7349/stat : 7349 (toysat) R 7346 7349 4315 0 -1 4202496 283353 0 0 0 64175 45 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140735906835264 5822556 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7349/statm: 342673 284163 893 2943 0 339567 0
[pid=7349/tid=7350] ppid=7346 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7350/stat : 7350 (toysat) S 7346 7349 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140187736714480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7349/tid=7351] ppid=7346 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7351/stat : 7351 (toysat) S 7346 7349 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140187726224624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7349/tid=7352] ppid=7346 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7352/stat : 7352 (toysat) S 7346 7349 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140187715751088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 642.2
Current children cumulated vsize (KiB) 1370692

[startup+702.301 s]
/proc/loadavg: 2.12 2.16 2.16 3/183 7370
/proc/meminfo: memFree=26090256/32872528 swapFree=15644/1722384
[pid=7349] ppid=7346 vsize=1370692 CPUtime=702.19 cores=0,2,4,6
/proc/7349/stat : 7349 (toysat) R 7346 7349 4315 0 -1 4202496 283353 0 0 0 70174 45 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140735906835264 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7349/statm: 342673 284163 893 2943 0 339567 0
[pid=7349/tid=7350] ppid=7346 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7350/stat : 7350 (toysat) S 7346 7349 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140187736714480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7349/tid=7351] ppid=7346 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7351/stat : 7351 (toysat) S 7346 7349 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140187726224624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7349/tid=7352] ppid=7346 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7352/stat : 7352 (toysat) S 7346 7349 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140187715751088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 702.19
Current children cumulated vsize (KiB) 1370692

[startup+762.301 s]
/proc/loadavg: 2.10 2.14 2.16 3/183 7371
/proc/meminfo: memFree=26055556/32872528 swapFree=15644/1722384
[pid=7349] ppid=7346 vsize=1370692 CPUtime=762.18 cores=0,2,4,6
/proc/7349/stat : 7349 (toysat) R 7346 7349 4315 0 -1 4202496 283353 0 0 0 76173 45 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140735906835264 5822144 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7349/statm: 342673 284163 893 2943 0 339567 0
[pid=7349/tid=7350] ppid=7346 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7350/stat : 7350 (toysat) S 7346 7349 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140187736714480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7349/tid=7351] ppid=7346 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7351/stat : 7351 (toysat) S 7346 7349 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140187726224624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7349/tid=7352] ppid=7346 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7352/stat : 7352 (toysat) S 7346 7349 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140187715751088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 762.18
Current children cumulated vsize (KiB) 1370692

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

[startup+764.8 s]
/proc/loadavg: 2.10 2.14 2.16 3/183 7371
/proc/meminfo: memFree=26055432/32872528 swapFree=15644/1722384
[pid=7349] ppid=7346 vsize=1370692 CPUtime=764.68 cores=0,2,4,6
/proc/7349/stat : 7349 (toysat) R 7346 7349 4315 0 -1 4202496 283353 0 0 0 76423 45 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140735906835264 12483362 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7349/statm: 342673 284163 893 2943 0 339567 0
[pid=7349/tid=7350] ppid=7346 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7350/stat : 7350 (toysat) S 7346 7349 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140187736714480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7349/tid=7351] ppid=7346 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7351/stat : 7351 (toysat) S 7346 7349 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140187726224624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7349/tid=7352] ppid=7346 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7352/stat : 7352 (toysat) S 7346 7349 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140187715751088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 764.68
Current children cumulated vsize (KiB) 1370692

[startup+766.4 s]
/proc/loadavg: 2.09 2.14 2.16 3/183 7371
/proc/meminfo: memFree=26055432/32872528 swapFree=15644/1722384
[pid=7349] ppid=7346 vsize=1370692 CPUtime=766.28 cores=0,2,4,6
/proc/7349/stat : 7349 (toysat) R 7346 7349 4315 0 -1 4202496 283353 0 0 0 76583 45 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140735906835264 5823101 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7349/statm: 342673 284163 893 2943 0 339567 0
[pid=7349/tid=7350] ppid=7346 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7350/stat : 7350 (toysat) S 7346 7349 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140187736714480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7349/tid=7351] ppid=7346 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7351/stat : 7351 (toysat) S 7346 7349 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140187726224624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7349/tid=7352] ppid=7346 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7352/stat : 7352 (toysat) S 7346 7349 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140187715751088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 766.28
Current children cumulated vsize (KiB) 1370692

[startup+767.2 s]
/proc/loadavg: 2.09 2.14 2.16 4/183 7371
/proc/meminfo: memFree=26055556/32872528 swapFree=15644/1722384
[pid=7349] ppid=7346 vsize=1370692 CPUtime=767.08 cores=0,2,4,6
/proc/7349/stat : 7349 (toysat) R 7346 7349 4315 0 -1 4202496 283353 0 0 0 76663 45 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140735906835264 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7349/statm: 342673 284163 893 2943 0 339567 0
[pid=7349/tid=7350] ppid=7346 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7350/stat : 7350 (toysat) S 7346 7349 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140187736714480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7349/tid=7351] ppid=7346 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7351/stat : 7351 (toysat) S 7346 7349 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140187726224624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7349/tid=7352] ppid=7346 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7352/stat : 7352 (toysat) S 7346 7349 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140187715751088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 767.08
Current children cumulated vsize (KiB) 1370692

[startup+768 s]
/proc/loadavg: 2.09 2.14 2.16 4/183 7371
/proc/meminfo: memFree=26055556/32872528 swapFree=15644/1722384
[pid=7349] ppid=7346 vsize=1370692 CPUtime=767.88 cores=0,2,4,6
/proc/7349/stat : 7349 (toysat) R 7346 7349 4315 0 -1 4202496 283353 0 0 0 76743 45 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140735906835264 5717462 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7349/statm: 342673 284163 893 2943 0 339567 0
[pid=7349/tid=7350] ppid=7346 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7350/stat : 7350 (toysat) S 7346 7349 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140187736714480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7349/tid=7351] ppid=7346 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7351/stat : 7351 (toysat) S 7346 7349 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140187726224624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7349/tid=7352] ppid=7346 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7352/stat : 7352 (toysat) S 7346 7349 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109618914 1403588608 284163 33554432000 4194304 16246674 140735906853376 140187715751088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 767.88
Current children cumulated vsize (KiB) 1370692

[startup+768.4 s]
/proc/loadavg: 2.09 2.14 2.16 4/183 7371
/proc/meminfo: memFree=26055556/32872528 swapFree=15644/1722384
[pid=7349] ppid=7346 vsize=0 CPUtime=768.27 cores=0,2,4,6
/proc/7349/stat : 7349 (toysat) R 7346 7349 4315 0 -1 4202500 283360 0 0 0 76781 46 0 0 20 0 1 0 109618914 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7349/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 768.27
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 768.451
CPU time (s): 768.333
CPU user time (s): 767.818
CPU system time (s): 0.514921
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 1370692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 767.818
system time used= 0.514921
maximum resident set size= 1136676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283360
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= 23
involuntary context switches= 797

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.9184 second user time and 8.16076 second system time

The end

Launcher Data 

Begin job on node120 at 2016-06-07 07:20:53
IDJOB=4078863
IDBENCH=89787
IDSOLVER=2542
FILE ID=node120/4078863-1465276853
RUNJOBID= node120-1465256721-4331
PBS_JOBID= 19843284
Free space on /tmp= 71672 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-185.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078863-1465276853/watcher-4078863-1465276853 -o /tmp/evaluation-result-4078863-1465276853/solver-4078863-1465276853 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1465256721-4331 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078863-1465276853.opb

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

MD5SUM BENCH= 9ab96b9d426f8470cc94c9ae2cb00fb4
RANDOM SEED=285599118

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.425
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:        27589904 kB
Buffers:          109384 kB
Cached:           191524 kB
SwapCached:         1476 kB
Active:          2673196 kB
Inactive:         133096 kB
Active(anon):    2504492 kB
Inactive(anon):     3248 kB
Active(file):     168704 kB
Inactive(file):   129848 kB
Unevictable:     1722384 kB
Mlocked:           15644 kB
SwapTotal:      67108856 kB
SwapFree:       67099668 kB
Dirty:             17912 kB
Writeback:             0 kB
AnonPages:       4226108 kB
Mapped:            11868 kB
Shmem:                 0 kB
Slab:             615712 kB
SReclaimable:      59676 kB
SUnreclaim:       556036 kB
KernelStack:        1472 kB
PageTables:        12432 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4370404 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1763328 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= 71656 MiB
End job on node120 at 2016-06-07 07:33:42