Trace number 4088672

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02UNSAT 862.077 862.36

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
EC_ODD_GRIDS/normalized-ECgrid3x90split.opb
MD5SUM32b9a1b42248cd2a957779249dbf0468
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.379942
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables541
Total number of constraints271
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)271
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
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-15T19:33:40+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-4088672-1466012020.opb"]
0.00/0.01	c use --random-gen="115173922 2766329667 484609669 95781325 2590042272 1960562900 2388345413 3386468763 1090978957 2310150648 3081685109 3390376009 3916690249 3155208850 2320474182 1140676381 387216855 1489502929 1583133221 3579560340 147293567 1841168966 1158358944 1277891292 3844192052 4291825381 910283037 3629248049 3436925689 1859868119 1667573453 1637449304 68239265 3176600417 160312447 146391518 2791675684 1750583306 2468919224 576989700 2370852730 582722523 382517216 3772570518 3858301741 282482211 2937576205 2162163866 3874848927 1283832795 1815486974 3897815470 3740634025 2760773561 2769041243 3273391854 1382664220 4120393446 1459979091 2769363118 3326347445 1571376466 2081177991 2806138229 1021173003 1161686687 2416592885 1876431252 2527433998 1029251380 2861742673 3307996519 635644691 1347063078 3526480861 4264881269 2094101170 1133796331 1270807237 2577483675 1672938102 1404215196 1526790591 301307644 1621217008 220606077 4176093191 4082924815 3860392626 1972075766 4144619149 3377257381 1678382200 92688296 4208763290 2453763693 3111897491 1531942675 4094538087 3517336719 111457425 2682487860 1434452016 428334266 66333081 2435178133 123732619 295415228 2531590950 88279088 3714679534 4272636364 2836238546 1373807573 1909635308 1835777767 2459337629 3659640478 1922540193 581802316 690309016 54413477 185982731 1686742039 1574833698 3033705337 4172325428 3551187675 3937471054 3439398775 3160419623 3234105265 4018229670 1327743320 2776005402 521522248 2801388804 124191596 733711855 1597085195 565397235 3646916219 2382025982 2226940477 20155094 2035792363 152698327 2720312520 4218379452 159021387 1567891978 1912357884 961968991 2087215038 1178535671 1889946667 1197096604 2283155038 2823778727 1202041585 115377599 2245727402 3065130653 2503731204 2646167015 1593848356 1165093674 4280734440 1484327367 2596236783 1507298682 2733718895 1851482685 1031839907 2294481809 3538346900 2444599130 3746800511 2401518872 1821954200 829936910 2510943633 2930546954 1734775237 2628405210 1752258668 642111941 3466720248 513006426 1764019743 2271014588 2036398546 2149630779 1022431619 1617345948 4039444239 507047925 2488875693 2995365095 4140183219 3811430678 402736233 2660765762 3034216716 3430866349 1084661741 2153615977 1766534765 4116706920 846669298 834553257 4292399968 4165825290 2993937128 2788132127 352159043 3499795299 2276248000 356402085 3690418362 279712745 2979921370 975316477 3091912919 3179129397 1454821074 1737932960 515116727 369915938 889729473 1477386443 88933715 988258504 3167496750 1859492743 2605051438 1812623529 3754328517 1704278989 1505874322 2448460125 1087396620 3637917055 2368185418 2449367826 4019367249 936794503 966349544 1815418902 3829414093 402688249 3543963328 1810267902 2474662459 1238206084 2741897052 255 362436" option to reproduce the execution
0.00/0.01	c #vars 541
0.00/0.01	c #constraints 271
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      361      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      372 |      100 |      361      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      827 |      250 |      398      0 |        0 |        0
0.00/0.05	c  0.0s |       3 |     1303 |      475 |      438      0 |        0 |        0
0.00/0.07	c  0.0s |       4 |     2039 |      813 |      482      1 |        0 |        0
0.09/0.10	c  0.1s |       5 |     2998 |     1320 |      531      2 |        0 |        0
0.09/0.16	c  0.1s |       6 |     4441 |     2081 |      644      4 |        0 |        0
0.19/0.24	c  0.2s |       7 |     6494 |     3223 |      709      6 |        0 |        0
0.29/0.35	c  0.3s |       8 |     9489 |     4936 |      780     10 |        0 |        0
0.49/0.52	c  0.5s |       9 |    14392 |     7506 |      859     14 |        0 |        0
0.69/0.75	c  0.7s |      10 |    21605 |    11361 |      945     21 |        0 |        0
0.99/1.04	c  1.0s |      11 |    31787 |    17144 |     1040     31 |        0 |        0
1.48/1.52	c  1.5s |      12 |    47831 |    25819 |     1144     44 |        0 |        0
2.20/2.21	c  2.2s |      13 |    72551 |    38832 |     1259     64 |        0 |        0
3.19/3.21	c  3.2s |      14 |   110306 |    58352 |     1385     91 |        0 |        0
4.78/4.83	c  4.8s |      15 |   169035 |    87632 |     1524    128 |        0 |        0
6.78/6.83	c  6.8s |      15 |   237134 |   123632 |     1524    171 |        0 |        0
7.28/7.30	c  7.3s |      16 |   253420 |   131552 |     1677    180 |        0 |        0
9.28/9.30	c  9.3s |      16 |   325112 |   168252 |     1677    220 |        0 |        0
10.88/10.94	c 10.9s |      17 |   381366 |   197432 |     1845    250 |        0 |        0
12.88/12.94	c 12.9s |      17 |   445038 |   232832 |     1845    284 |        0 |        0
14.88/14.94	c 14.9s |      17 |   514666 |   268732 |     1845    319 |        0 |        0
16.38/16.47	c 16.5s |      18 |   566478 |   296252 |     2030    346 |        0 |        0
18.38/18.48	c 18.5s |      18 |   635902 |   331652 |     2030    377 |        0 |        0
20.38/20.48	c 20.5s |      18 |   710219 |   367752 |     2030    410 |        0 |        0
22.37/22.48	c 22.5s |      18 |   781578 |   403952 |     2030    443 |        0 |        0
24.37/24.49	c 24.5s |      18 |   849538 |   438052 |     2030    473 |        0 |        0
24.77/24.86	c 24.8s |      19 |   861569 |   444482 |     2233    479 |        0 |        0
26.77/26.86	c 26.8s |      19 |   927202 |   478782 |     2233    507 |        0 |        0
28.78/28.87	c 28.8s |      19 |   995496 |   512882 |     2233    536 |        0 |        0
30.79/30.87	c 30.8s |      19 |  1064469 |   548682 |     2233    565 |        0 |        0
32.78/32.88	c 32.9s |      19 |  1130047 |   583282 |     2233    595 |        0 |        0
34.78/34.88	c 34.9s |      19 |  1197590 |   619082 |     2233    624 |        0 |        0
36.77/36.88	c 36.9s |      19 |  1265280 |   654382 |     2233    653 |        0 |        0
37.57/37.63	c 37.6s |      20 |  1289955 |   666827 |     2457    663 |        0 |        0
39.58/39.64	c 39.6s |      20 |  1356196 |   700527 |     2457    689 |        0 |        0
41.57/41.64	c 41.6s |      20 |  1420759 |   734527 |     2457    714 |        0 |        0
43.57/43.64	c 43.6s |      20 |  1486618 |   769027 |     2457    741 |        0 |        0
45.57/45.65	c 45.6s |      20 |  1551290 |   802927 |     2457    767 |        0 |        0
47.57/47.65	c 47.6s |      20 |  1614763 |   835527 |     2457    791 |        0 |        0
49.58/49.65	c 49.6s |      20 |  1685231 |   867327 |     2457    815 |        0 |        0
51.57/51.66	c 51.6s |      20 |  1753784 |   897527 |     2457    839 |        0 |        0
53.57/53.66	c 53.6s |      20 |  1822098 |   928927 |     2457    863 |        0 |        0
55.57/55.66	c 55.6s |      20 |  1889998 |   959727 |     2457    887 |        0 |        0
57.57/57.66	c 57.6s |      20 |  1954769 |   992727 |     2457    912 |        0 |        0
58.07/58.17	c 58.2s |      21 |  1971004 |  1000345 |     2703    918 |        0 |        0
60.07/60.18	c 60.2s |      21 |  2030428 |  1032045 |     2703    940 |        0 |        0
62.07/62.18	c 62.2s |      21 |  2096819 |  1066045 |     2703    963 |        0 |        0
64.07/64.19	c 64.2s |      21 |  2159924 |  1098145 |     2703    986 |        0 |        0
66.07/66.19	c 66.2s |      21 |  2223278 |  1129545 |     2703   1008 |        0 |        0
68.07/68.19	c 68.2s |      21 |  2290329 |  1161745 |     2703   1030 |        0 |        0
70.17/70.20	c 70.2s |      21 |  2363157 |  1195845 |     2703   1054 |        0 |        0
72.17/72.20	c 72.2s |      21 |  2432868 |  1227745 |     2703   1076 |        0 |        0
74.17/74.20	c 74.2s |      21 |  2498672 |  1257545 |     2703   1097 |        0 |        0
76.16/76.20	c 76.2s |      21 |  2564139 |  1288845 |     2703   1119 |        0 |        0
78.17/78.21	c 78.2s |      21 |  2623876 |  1319845 |     2703   1141 |        0 |        0
80.16/80.21	c 80.2s |      21 |  2685417 |  1351045 |     2703   1163 |        0 |        0
82.16/82.21	c 82.2s |      21 |  2754754 |  1383145 |     2703   1185 |        0 |        0
84.16/84.21	c 84.2s |      21 |  2818685 |  1413245 |     2703   1206 |        0 |        0
86.16/86.22	c 86.2s |      21 |  2888912 |  1444445 |     2703   1228 |        0 |        0
88.16/88.22	c 88.2s |      21 |  2952267 |  1473345 |     2703   1249 |        0 |        0
89.86/89.93	c 89.9s |      22 |  3011555 |  1500622 |     2974   1267 |        0 |        0
91.86/91.93	c 91.9s |      22 |  3073634 |  1532122 |     2974   1287 |        0 |        0
93.86/93.94	c 93.9s |      22 |  3138348 |  1564722 |     2974   1308 |        0 |        0
95.86/95.95	c 95.9s |      22 |  3201519 |  1596922 |     2974   1329 |        0 |        0
97.87/97.95	c 97.9s |      22 |  3267599 |  1628622 |     2974   1349 |        0 |        0
99.86/99.96	c 99.9s |      22 |  3332031 |  1659122 |     2974   1369 |        0 |        0
101.86/101.96	c  101s |      22 |  3399487 |  1690822 |     2974   1389 |        0 |        0
103.86/103.97	c  103s |      22 |  3466905 |  1723322 |     2974   1410 |        0 |        0
105.86/105.97	c  105s |      22 |  3529593 |  1753422 |     2974   1429 |        0 |        0
107.86/107.97	c  107s |      22 |  3596327 |  1785722 |     2974   1450 |        0 |        0
109.85/109.97	c  109s |      22 |  3659194 |  1816622 |     2974   1470 |        0 |        0
111.85/111.97	c  111s |      22 |  3722388 |  1847322 |     2974   1490 |        0 |        0
113.85/113.98	c  113s |      22 |  3787371 |  1879322 |     2974   1511 |        0 |        0
115.85/115.98	c  115s |      22 |  3857424 |  1912922 |     2974   1532 |        0 |        0
117.86/117.98	c  117s |      22 |  3928564 |  1945922 |     2974   1554 |        0 |        0
119.86/119.99	c  119s |      22 |  4001308 |  1977022 |     2974   1574 |        0 |        0
121.85/122.00	c  121s |      22 |  4073547 |  2009622 |     2974   1595 |        0 |        0
123.95/124.00	c  123s |      22 |  4143225 |  2043822 |     2974   1617 |        0 |        0
125.95/126.00	c  125s |      22 |  4214908 |  2076122 |     2974   1638 |        0 |        0
127.95/128.01	c  127s |      22 |  4283180 |  2108822 |     2974   1658 |        0 |        0
129.95/130.01	c  129s |      22 |  4349305 |  2138922 |     2974   1678 |        0 |        0
131.95/132.01	c  131s |      22 |  4417721 |  2170022 |     2974   1698 |        0 |        0
133.94/134.01	c  133s |      22 |  4485528 |  2202322 |     2974   1719 |        0 |        0
135.94/136.02	c  135s |      22 |  4555154 |  2234922 |     2974   1740 |        0 |        0
136.94/137.05	c  137s |      23 |  4589252 |  2251038 |     3272   1749 |        0 |        0
138.94/139.05	c  139s |      23 |  4653321 |  2283138 |     3272   1767 |        0 |        0
140.94/141.05	c  141s |      23 |  4717068 |  2315238 |     3272   1786 |        0 |        0
142.95/143.05	c  143s |      23 |  4780838 |  2346438 |     3272   1805 |        0 |        0
144.95/145.06	c  145s |      23 |  4843518 |  2378038 |     3272   1823 |        0 |        0
146.94/147.06	c  147s |      23 |  4907101 |  2409638 |     3272   1841 |        0 |        0
148.94/149.06	c  149s |      23 |  4967311 |  2439838 |     3272   1859 |        0 |        0
150.94/151.07	c  151s |      23 |  5032584 |  2469938 |     3272   1877 |        0 |        0
152.95/153.07	c  153s |      23 |  5098310 |  2500938 |     3272   1895 |        0 |        0
154.94/155.07	c  155s |      23 |  5155717 |  2530338 |     3272   1912 |        0 |        0
156.94/157.08	c  157s |      23 |  5215519 |  2559138 |     3272   1929 |        0 |        0
158.94/159.08	c  159s |      23 |  5275717 |  2587838 |     3272   1946 |        0 |        0
160.94/161.08	c  161s |      23 |  5328629 |  2614338 |     3272   1961 |        0 |        0
162.94/163.08	c  163s |      23 |  5387508 |  2644238 |     3272   1979 |        0 |        0
164.94/165.09	c  165s |      23 |  5451805 |  2673338 |     3272   1996 |        0 |        0
166.94/167.09	c  167s |      23 |  5514966 |  2703438 |     3272   2014 |        0 |        0
168.93/169.09	c  169s |      23 |  5573884 |  2730938 |     3272   2030 |        0 |        0
171.04/171.10	c  171s |      23 |  5636509 |  2760938 |     3272   2048 |        0 |        0
173.04/173.10	c  173s |      23 |  5693006 |  2789338 |     3272   2064 |        0 |        0
175.04/175.11	c  175s |      23 |  5757062 |  2820138 |     3272   2082 |        0 |        0
177.04/177.11	c  177s |      23 |  5821259 |  2850838 |     3272   2100 |        0 |        0
179.03/179.11	c  179s |      23 |  5886085 |  2882238 |     3272   2119 |        0 |        0
181.03/181.12	c  181s |      23 |  5949434 |  2911138 |     3272   2136 |        0 |        0
183.03/183.12	c  183s |      23 |  6012724 |  2943338 |     3272   2155 |        0 |        0
185.03/185.12	c  185s |      23 |  6077482 |  2974238 |     3272   2173 |        0 |        0
187.04/187.13	c  187s |      23 |  6136575 |  3001238 |     3272   2189 |        0 |        0
189.04/189.13	c  189s |      23 |  6195257 |  3029238 |     3272   2205 |        0 |        0
191.03/191.13	c  191s |      23 |  6256277 |  3059138 |     3272   2223 |        0 |        0
193.03/193.14	c  193s |      23 |  6316628 |  3089538 |     3272   2240 |        0 |        0
195.03/195.14	c  195s |      23 |  6386739 |  3122238 |     3272   2260 |        0 |        0
197.03/197.14	c  197s |      23 |  6451105 |  3153938 |     3272   2278 |        0 |        0
199.04/199.14	c  199s |      23 |  6516326 |  3185038 |     3272   2296 |        0 |        0
201.03/201.15	c  201s |      23 |  6580139 |  3215538 |     3272   2314 |        0 |        0
203.03/203.15	c  203s |      23 |  6647279 |  3247138 |     3272   2333 |        0 |        0
205.02/205.15	c  205s |      23 |  6714199 |  3279338 |     3272   2351 |        0 |        0
207.02/207.16	c  207s |      23 |  6775463 |  3310738 |     3272   2370 |        0 |        0
209.03/209.16	c  209s |      23 |  6837035 |  3341338 |     3272   2388 |        0 |        0
211.03/211.16	c  211s |      23 |  6899057 |  3368738 |     3600   2403 |        0 |        0
211.63/211.77	c  211s |      24 |  6915854 |  3376662 |     3600   2407 |        0 |        0
213.63/213.77	c  213s |      24 |  6979303 |  3408462 |     3600   2424 |        0 |        0
215.63/215.78	c  215s |      24 |  7040781 |  3440062 |     3600   2441 |        0 |        0
217.62/217.78	c  217s |      24 |  7104784 |  3471462 |     3600   2458 |        0 |        0
219.62/219.78	c  219s |      24 |  7165332 |  3500862 |     3600   2473 |        0 |        0
221.62/221.79	c  221s |      24 |  7221976 |  3531462 |     3600   2490 |        0 |        0
223.62/223.79	c  223s |      24 |  7287556 |  3563462 |     3600   2507 |        0 |        0
225.62/225.79	c  225s |      24 |  7355246 |  3597162 |     3600   2524 |        0 |        0
227.63/227.79	c  227s |      24 |  7414708 |  3626162 |     3600   2540 |        0 |        0
229.62/229.79	c  229s |      24 |  7472454 |  3656962 |     3600   2556 |        0 |        0
231.72/231.80	c  231s |      24 |  7532898 |  3687562 |     3600   2572 |        0 |        0
233.72/233.80	c  233s |      24 |  7589314 |  3718162 |     3600   2588 |        0 |        0
235.71/235.81	c  235s |      24 |  7651445 |  3749562 |     3600   2605 |        0 |        0
237.71/237.81	c  237s |      24 |  7714541 |  3780462 |     3600   2621 |        0 |        0
239.72/239.82	c  239s |      24 |  7776172 |  3810662 |     3600   2638 |        0 |        0
241.71/241.82	c  241s |      24 |  7837792 |  3840662 |     3600   2654 |        0 |        0
243.71/243.82	c  243s |      24 |  7898728 |  3870562 |     3600   2670 |        0 |        0
245.71/245.83	c  245s |      24 |  7960290 |  3902462 |     3600   2687 |        0 |        0
247.71/247.83	c  247s |      24 |  8020436 |  3933362 |     3600   2703 |        0 |        0
249.72/249.83	c  249s |      24 |  8087194 |  3966662 |     3600   2720 |        0 |        0
251.71/251.84	c  251s |      24 |  8148828 |  3997962 |     3600   2737 |        0 |        0
253.70/253.84	c  253s |      24 |  8213697 |  4029462 |     3600   2753 |        0 |        0
255.70/255.84	c  255s |      24 |  8279918 |  4060262 |     3600   2770 |        0 |        0
257.70/257.85	c  257s |      24 |  8343138 |  4091062 |     3600   2786 |        0 |        0
259.70/259.85	c  259s |      24 |  8404428 |  4120962 |     3600   2802 |        0 |        0
261.71/261.85	c  261s |      24 |  8468979 |  4151462 |     3600   2819 |        0 |        0
263.70/263.85	c  263s |      24 |  8536333 |  4182562 |     3600   2835 |        0 |        0
265.70/265.86	c  265s |      24 |  8601286 |  4214662 |     3600   2852 |        0 |        0
267.71/267.86	c  267s |      24 |  8662746 |  4244662 |     3600   2868 |        0 |        0
269.71/269.86	c  269s |      24 |  8725131 |  4275462 |     3600   2885 |        0 |        0
271.71/271.87	c  271s |      24 |  8785614 |  4305762 |     3600   2901 |        0 |        0
273.70/273.88	c  273s |      24 |  8846848 |  4335462 |     3600   2916 |        0 |        0
275.70/275.88	c  275s |      24 |  8906495 |  4365462 |     3600   2932 |        0 |        0
277.70/277.89	c  277s |      24 |  8967331 |  4395362 |     3600   2948 |        0 |        0
279.70/279.89	c  279s |      24 |  9030779 |  4426462 |     3600   2965 |        0 |        0
281.70/281.90	c  281s |      24 |  9100020 |  4459762 |     3600   2983 |        0 |        0
283.71/283.90	c  283s |      24 |  9165033 |  4489362 |     3600   2998 |        0 |        0
285.80/285.90	c  285s |      24 |  9231597 |  4519962 |     3600   3015 |        0 |        0
287.80/287.90	c  287s |      24 |  9303854 |  4552162 |     3600   3032 |        0 |        0
289.79/289.91	c  289s |      24 |  9367635 |  4581862 |     3600   3049 |        0 |        0
291.79/291.91	c  291s |      24 |  9430107 |  4615262 |     3600   3066 |        0 |        0
293.79/293.92	c  293s |      24 |  9495369 |  4647262 |     3600   3083 |        0 |        0
295.80/295.92	c  295s |      24 |  9561648 |  4678162 |     3600   3099 |        0 |        0
297.79/297.92	c  297s |      24 |  9626242 |  4709762 |     3600   3116 |        0 |        0
299.79/299.93	c  299s |      24 |  9693906 |  4740362 |     3600   3132 |        0 |        0
301.80/301.93	c  301s |      24 |  9757698 |  4770162 |     3600   3148 |        0 |        0
303.80/303.94	c  303s |      24 |  9819895 |  4798162 |     3600   3163 |        0 |        0
305.80/305.94	c  305s |      24 |  9886783 |  4830762 |     3600   3180 |        0 |        0
307.79/307.94	c  307s |      24 |  9950475 |  4862362 |     3600   3197 |        0 |        0
309.79/309.94	c  309s |      24 | 10015706 |  4894062 |     3600   3214 |        0 |        0
311.79/311.95	c  311s |      24 | 10074670 |  4924162 |     3600   3230 |        0 |        0
313.79/313.96	c  313s |      24 | 10135340 |  4954562 |     3600   3246 |        0 |        0
315.78/315.97	c  315s |      24 | 10193495 |  4983462 |     3600   3262 |        0 |        0
317.79/317.97	c  317s |      24 | 10256423 |  5013362 |     3600   3278 |        0 |        0
319.78/319.99	c  319s |      24 | 10311669 |  5041362 |     3961   3292 |        0 |        0
321.48/321.69	c  321s |      25 | 10361719 |  5065098 |     3961   3303 |        0 |        0
323.48/323.69	c  323s |      25 | 10422210 |  5096398 |     3961   3318 |        0 |        0
325.60/325.70	c  325s |      25 | 10486013 |  5127798 |     3961   3334 |        0 |        0
327.59/327.71	c  327s |      25 | 10545607 |  5156998 |     3961   3348 |        0 |        0
329.59/329.71	c  329s |      25 | 10606357 |  5186198 |     3961   3362 |        0 |        0
331.59/331.73	c  331s |      25 | 10663215 |  5214298 |     3961   3376 |        0 |        0
333.58/333.74	c  333s |      25 | 10723947 |  5244298 |     3961   3390 |        0 |        0
335.58/335.74	c  335s |      25 | 10782087 |  5273398 |     3961   3404 |        0 |        0
337.59/337.75	c  337s |      25 | 10834355 |  5299798 |     3961   3417 |        0 |        0
339.58/339.76	c  339s |      25 | 10892207 |  5327498 |     3961   3431 |        0 |        0
341.58/341.77	c  341s |      25 | 10949556 |  5356998 |     3961   3445 |        0 |        0
343.58/343.77	c  343s |      25 | 11008816 |  5385998 |     3961   3459 |        0 |        0
345.58/345.77	c  345s |      25 | 11063033 |  5414098 |     3961   3473 |        0 |        0
347.58/347.78	c  347s |      25 | 11124233 |  5443898 |     3961   3487 |        0 |        0
349.57/349.78	c  349s |      25 | 11183006 |  5474298 |     3961   3502 |        0 |        0
351.57/351.79	c  351s |      25 | 11242411 |  5505698 |     3961   3517 |        0 |        0
353.57/353.79	c  353s |      25 | 11302821 |  5535198 |     3961   3531 |        0 |        0
355.58/355.79	c  355s |      25 | 11360835 |  5564798 |     3961   3546 |        0 |        0
357.58/357.79	c  357s |      25 | 11415579 |  5591198 |     3961   3558 |        0 |        0
359.58/359.79	c  359s |      25 | 11471591 |  5619398 |     3961   3572 |        0 |        0
361.58/361.79	c  361s |      25 | 11535998 |  5651198 |     3961   3587 |        0 |        0
363.67/363.80	c  363s |      25 | 11596542 |  5681298 |     3961   3602 |        0 |        0
365.67/365.80	c  365s |      25 | 11659002 |  5711798 |     3961   3617 |        0 |        0
367.67/367.80	c  367s |      25 | 11722344 |  5742598 |     3961   3631 |        0 |        0
369.67/369.81	c  369s |      25 | 11780755 |  5770898 |     3961   3645 |        0 |        0
371.68/371.81	c  371s |      25 | 11843532 |  5801198 |     3961   3660 |        0 |        0
373.67/373.81	c  373s |      25 | 11908449 |  5831398 |     3961   3674 |        0 |        0
375.67/375.82	c  375s |      25 | 11966062 |  5860198 |     3961   3688 |        0 |        0
377.67/377.82	c  377s |      25 | 12022513 |  5888298 |     3961   3702 |        0 |        0
379.67/379.83	c  379s |      25 | 12081868 |  5916398 |     3961   3716 |        0 |        0
381.68/381.83	c  381s |      25 | 12140804 |  5946798 |     3961   3730 |        0 |        0
383.67/383.83	c  383s |      25 | 12196842 |  5975098 |     3961   3744 |        0 |        0
385.67/385.84	c  385s |      25 | 12258431 |  6004498 |     3961   3759 |        0 |        0
387.67/387.85	c  387s |      25 | 12321789 |  6035298 |     3961   3774 |        0 |        0
389.67/389.85	c  389s |      25 | 12384874 |  6064798 |     3961   3788 |        0 |        0
391.66/391.86	c  391s |      25 | 12449276 |  6095298 |     3961   3803 |        0 |        0
393.67/393.87	c  393s |      25 | 12510795 |  6124898 |     3961   3818 |        0 |        0
395.66/395.87	c  395s |      25 | 12570271 |  6152498 |     3961   3831 |        0 |        0
397.66/397.88	c  397s |      25 | 12630176 |  6181898 |     3961   3845 |        0 |        0
399.66/399.89	c  399s |      25 | 12691605 |  6210798 |     3961   3860 |        0 |        0
401.77/401.90	c  401s |      25 | 12756098 |  6241198 |     3961   3875 |        0 |        0
403.77/403.91	c  403s |      25 | 12816748 |  6270398 |     3961   3889 |        0 |        0
405.77/405.91	c  405s |      25 | 12879426 |  6300598 |     3961   3903 |        0 |        0
407.76/407.92	c  407s |      25 | 12940189 |  6330398 |     3961   3918 |        0 |        0
409.76/409.92	c  409s |      25 | 13003246 |  6362098 |     3961   3933 |        0 |        0
411.76/411.92	c  411s |      25 | 13063498 |  6391998 |     3961   3948 |        0 |        0
413.76/413.93	c  413s |      25 | 13126727 |  6422498 |     3961   3963 |        0 |        0
415.77/415.93	c  415s |      25 | 13186509 |  6451398 |     3961   3977 |        0 |        0
417.76/417.94	c  417s |      25 | 13248964 |  6480598 |     3961   3991 |        0 |        0
419.76/419.94	c  419s |      25 | 13308741 |  6510198 |     3961   4005 |        0 |        0
421.75/421.94	c  421s |      25 | 13372581 |  6540198 |     3961   4020 |        0 |        0
423.75/423.95	c  423s |      25 | 13434133 |  6569898 |     3961   4034 |        0 |        0
425.75/425.95	c  425s |      25 | 13495632 |  6599998 |     3961   4049 |        0 |        0
427.77/427.95	c  427s |      25 | 13558107 |  6629698 |     3961   4064 |        0 |        0
429.76/429.96	c  429s |      25 | 13618795 |  6659098 |     3961   4078 |        0 |        0
431.76/431.96	c  431s |      25 | 13678389 |  6689198 |     3961   4092 |        0 |        0
433.76/433.96	c  433s |      25 | 13739964 |  6718598 |     3961   4107 |        0 |        0
435.75/435.96	c  435s |      25 | 13804041 |  6747598 |     3961   4121 |        0 |        0
437.76/437.97	c  437s |      25 | 13865757 |  6776798 |     3961   4135 |        0 |        0
439.75/439.97	c  439s |      25 | 13925956 |  6805398 |     3961   4149 |        0 |        0
441.75/441.98	c  441s |      25 | 13988998 |  6834798 |     3961   4163 |        0 |        0
443.75/443.98	c  443s |      25 | 14050266 |  6863498 |     3961   4177 |        0 |        0
445.75/445.99	c  445s |      25 | 14112883 |  6892698 |     3961   4192 |        0 |        0
447.85/448.00	c  447s |      25 | 14178059 |  6923498 |     3961   4207 |        0 |        0
449.75/450.00	c  449s |      25 | 14242818 |  6953798 |     3961   4222 |        0 |        0
451.85/452.01	c  451s |      25 | 14303715 |  6984598 |     3961   4237 |        0 |        0
453.85/454.01	c  453s |      25 | 14363206 |  7012898 |     3961   4250 |        0 |        0
455.84/456.02	c  455s |      25 | 14422445 |  7043898 |     3961   4265 |        0 |        0
457.84/458.02	c  457s |      25 | 14486853 |  7075598 |     3961   4280 |        0 |        0
459.84/460.02	c  460s |      25 | 14547261 |  7104598 |     3961   4295 |        0 |        0
461.85/462.03	c  462s |      25 | 14607510 |  7132298 |     3961   4308 |        0 |        0
463.85/464.03	c  464s |      25 | 14670188 |  7161498 |     3961   4323 |        0 |        0
465.85/466.04	c  466s |      25 | 14730890 |  7190198 |     3961   4337 |        0 |        0
467.84/468.04	c  468s |      25 | 14793738 |  7220398 |     3961   4351 |        0 |        0
469.84/470.04	c  470s |      25 | 14855245 |  7251098 |     3961   4366 |        0 |        0
471.85/472.05	c  472s |      25 | 14913358 |  7280998 |     3961   4381 |        0 |        0
473.84/474.05	c  474s |      25 | 14971526 |  7310598 |     3961   4395 |        0 |        0
475.84/476.06	c  476s |      25 | 15026132 |  7338498 |     3961   4409 |        0 |        0
477.84/478.06	c  478s |      25 | 15090113 |  7369598 |     3961   4424 |        0 |        0
479.84/480.06	c  480s |      25 | 15144631 |  7397598 |     3961   4438 |        0 |        0
481.84/482.07	c  482s |      25 | 15199171 |  7424998 |     3961   4451 |        0 |        0
483.84/484.07	c  484s |      25 | 15257364 |  7453898 |     3961   4465 |        0 |        0
485.83/486.07	c  486s |      25 | 15317239 |  7483798 |     3961   4480 |        0 |        0
487.83/488.08	c  488s |      25 | 15382582 |  7514398 |     3961   4494 |        0 |        0
489.83/490.08	c  490s |      25 | 15442546 |  7543298 |     3961   4509 |        0 |        0
491.83/492.08	c  492s |      25 | 15496122 |  7570698 |     4358   4521 |        0 |        0
493.63/493.88	c  493s |      26 | 15548980 |  7597752 |     4358   4533 |        0 |        0
495.63/495.88	c  495s |      26 | 15604611 |  7626852 |     4358   4546 |        0 |        0
497.64/497.88	c  497s |      26 | 15659027 |  7655252 |     4358   4558 |        0 |        0
499.64/499.88	c  499s |      26 | 15713272 |  7683652 |     4358   4571 |        0 |        0
501.64/501.89	c  501s |      26 | 15769754 |  7712252 |     4358   4583 |        0 |        0
503.65/503.89	c  503s |      26 | 15826834 |  7739152 |     4358   4595 |        0 |        0
505.74/505.91	c  505s |      26 | 15885155 |  7767352 |     4358   4608 |        0 |        0
507.74/507.91	c  507s |      26 | 15946111 |  7795652 |     4358   4620 |        0 |        0
509.74/509.91	c  509s |      26 | 16002517 |  7823352 |     4358   4633 |        0 |        0
511.74/511.92	c  511s |      26 | 16064407 |  7852852 |     4358   4646 |        0 |        0
513.73/513.92	c  513s |      26 | 16128747 |  7882852 |     4358   4659 |        0 |        0
515.74/515.92	c  515s |      26 | 16190799 |  7912752 |     4358   4672 |        0 |        0
517.73/517.92	c  517s |      26 | 16247543 |  7941952 |     4358   4685 |        0 |        0
519.73/519.93	c  519s |      26 | 16303903 |  7971252 |     4358   4698 |        0 |        0
521.73/521.94	c  521s |      26 | 16365706 |  8000752 |     4358   4711 |        0 |        0
523.73/523.95	c  523s |      26 | 16426637 |  8031052 |     4358   4725 |        0 |        0
525.74/525.95	c  525s |      26 | 16484990 |  8059852 |     4358   4737 |        0 |        0
527.73/527.96	c  527s |      26 | 16541560 |  8087652 |     4358   4750 |        0 |        0
529.73/529.96	c  529s |      26 | 16602652 |  8117452 |     4358   4763 |        0 |        0
531.73/531.97	c  531s |      26 | 16660065 |  8146652 |     4358   4776 |        0 |        0
533.73/533.97	c  533s |      26 | 16722044 |  8176352 |     4358   4789 |        0 |        0
535.73/535.98	c  535s |      26 | 16781537 |  8206452 |     4358   4802 |        0 |        0
537.73/537.98	c  537s |      26 | 16840711 |  8235052 |     4358   4815 |        0 |        0
539.73/539.98	c  539s |      26 | 16900733 |  8264652 |     4358   4828 |        0 |        0
541.73/541.98	c  541s |      26 | 16960966 |  8294252 |     4358   4841 |        0 |        0
543.73/543.98	c  543s |      26 | 17014099 |  8323052 |     4358   4854 |        0 |        0
545.73/545.98	c  545s |      26 | 17072198 |  8352452 |     4358   4867 |        0 |        0
547.74/547.99	c  547s |      26 | 17130831 |  8381552 |     4358   4880 |        0 |        0
549.73/549.99	c  549s |      26 | 17191682 |  8410552 |     4358   4893 |        0 |        0
551.73/551.99	c  551s |      26 | 17251395 |  8440352 |     4358   4906 |        0 |        0
553.73/553.99	c  553s |      26 | 17313415 |  8469652 |     4358   4919 |        0 |        0
555.83/556.00	c  555s |      26 | 17373941 |  8497552 |     4358   4932 |        0 |        0
557.83/558.01	c  557s |      26 | 17427964 |  8525952 |     4358   4944 |        0 |        0
559.83/560.01	c  559s |      26 | 17482626 |  8553852 |     4358   4957 |        0 |        0
561.83/562.02	c  561s |      26 | 17540140 |  8584852 |     4358   4970 |        0 |        0
563.83/564.02	c  564s |      26 | 17601309 |  8615152 |     4358   4984 |        0 |        0
565.83/566.03	c  566s |      26 | 17663493 |  8645952 |     4358   4997 |        0 |        0
567.82/568.04	c  568s |      26 | 17721415 |  8676052 |     4358   5010 |        0 |        0
569.82/570.04	c  570s |      26 | 17784634 |  8707052 |     4358   5024 |        0 |        0
571.83/572.04	c  572s |      26 | 17843371 |  8736852 |     4358   5037 |        0 |        0
573.82/574.04	c  574s |      26 | 17898653 |  8763752 |     4358   5049 |        0 |        0
575.82/576.04	c  576s |      26 | 17955038 |  8792452 |     4358   5062 |        0 |        0
577.82/578.05	c  578s |      26 | 18013017 |  8820952 |     4358   5075 |        0 |        0
579.83/580.05	c  580s |      26 | 18065826 |  8847952 |     4358   5087 |        0 |        0
581.83/582.05	c  582s |      26 | 18123079 |  8875652 |     4358   5099 |        0 |        0
583.83/584.06	c  584s |      26 | 18180870 |  8902952 |     4358   5111 |        0 |        0
585.82/586.06	c  586s |      26 | 18235854 |  8931052 |     4358   5123 |        0 |        0
587.82/588.06	c  588s |      26 | 18295862 |  8962152 |     4358   5137 |        0 |        0
589.82/590.07	c  590s |      26 | 18354215 |  8992152 |     4358   5151 |        0 |        0
591.82/592.09	c  592s |      26 | 18412174 |  9021352 |     4358   5164 |        0 |        0
593.83/594.09	c  594s |      26 | 18473519 |  9050452 |     4358   5176 |        0 |        0
595.82/596.09	c  596s |      26 | 18535487 |  9080452 |     4358   5190 |        0 |        0
597.82/598.09	c  598s |      26 | 18597036 |  9110652 |     4358   5203 |        0 |        0
599.92/600.10	c  600s |      26 | 18658072 |  9139352 |     4358   5216 |        0 |        0
601.92/602.11	c  602s |      26 | 18717214 |  9168952 |     4358   5229 |        0 |        0
603.92/604.11	c  604s |      26 | 18779526 |  9198552 |     4358   5242 |        0 |        0
605.93/606.11	c  606s |      26 | 18837816 |  9227452 |     4358   5255 |        0 |        0
607.92/608.12	c  608s |      26 | 18895423 |  9256252 |     4358   5268 |        0 |        0
609.92/610.12	c  610s |      26 | 18951549 |  9284852 |     4358   5280 |        0 |        0
611.92/612.13	c  612s |      26 | 19004488 |  9312452 |     4358   5293 |        0 |        0
613.91/614.13	c  614s |      26 | 19057657 |  9339852 |     4358   5305 |        0 |        0
615.92/616.14	c  616s |      26 | 19114182 |  9368852 |     4358   5318 |        0 |        0
617.91/618.15	c  618s |      26 | 19172522 |  9398952 |     4358   5331 |        0 |        0
619.92/620.15	c  620s |      26 | 19231526 |  9426252 |     4358   5343 |        0 |        0
621.92/622.15	c  622s |      26 | 19286283 |  9452952 |     4358   5355 |        0 |        0
623.92/624.15	c  624s |      26 | 19343197 |  9481652 |     4358   5368 |        0 |        0
625.92/626.16	c  626s |      26 | 19400116 |  9510052 |     4358   5380 |        0 |        0
627.92/628.16	c  628s |      26 | 19456556 |  9537752 |     4358   5393 |        0 |        0
629.92/630.17	c  630s |      26 | 19510853 |  9563652 |     4358   5404 |        0 |        0
631.91/632.18	c  632s |      26 | 19568208 |  9593352 |     4358   5417 |        0 |        0
633.91/634.18	c  634s |      26 | 19626716 |  9622152 |     4358   5430 |        0 |        0
635.91/636.19	c  636s |      26 | 19684305 |  9650452 |     4358   5443 |        0 |        0
638.01/638.20	c  638s |      26 | 19740259 |  9678152 |     4358   5455 |        0 |        0
639.91/640.20	c  640s |      26 | 19796828 |  9705952 |     4358   5467 |        0 |        0
642.01/642.20	c  642s |      26 | 19853196 |  9734152 |     4358   5480 |        0 |        0
644.01/644.20	c  644s |      26 | 19910143 |  9762352 |     4358   5492 |        0 |        0
646.01/646.21	c  646s |      26 | 19965884 |  9789952 |     4358   5505 |        0 |        0
648.01/648.21	c  648s |      26 | 20028225 |  9819552 |     4358   5518 |        0 |        0
650.02/650.21	c  650s |      26 | 20085823 |  9848452 |     4358   5530 |        0 |        0
652.01/652.22	c  652s |      26 | 20144859 |  9876552 |     4358   5543 |        0 |        0
654.01/654.22	c  654s |      26 | 20203280 |  9904852 |     4358   5556 |        0 |        0
656.01/656.22	c  656s |      26 | 20265448 |  9933952 |     4358   5569 |        0 |        0
658.01/658.23	c  658s |      26 | 20328856 |  9963052 |     4358   5582 |        0 |        0
660.01/660.24	c  660s |      26 | 20387887 |  9992352 |     4358   5594 |        0 |        0
662.01/662.24	c  662s |      26 | 20448270 | 10021952 |     4358   5607 |        0 |        0
664.01/664.24	c  664s |      26 | 20507907 | 10050452 |     4358   5620 |        0 |        0
666.00/666.25	c  666s |      26 | 20566143 | 10079352 |     4358   5633 |        0 |        0
668.00/668.25	c  668s |      26 | 20625787 | 10109052 |     4358   5646 |        0 |        0
670.00/670.25	c  670s |      26 | 20686396 | 10138352 |     4358   5659 |        0 |        0
672.01/672.25	c  672s |      26 | 20742663 | 10165352 |     4358   5671 |        0 |        0
674.00/674.25	c  674s |      26 | 20803476 | 10194452 |     4358   5684 |        0 |        0
676.00/676.26	c  676s |      26 | 20858158 | 10221852 |     4358   5697 |        0 |        0
677.99/678.26	c  678s |      26 | 20921702 | 10253352 |     4358   5710 |        0 |        0
679.99/680.27	c  680s |      26 | 20985899 | 10283752 |     4358   5724 |        0 |        0
681.99/682.27	c  682s |      26 | 21049065 | 10312552 |     4358   5737 |        0 |        0
684.00/684.27	c  684s |      26 | 21114000 | 10341852 |     4358   5750 |        0 |        0
686.00/686.27	c  686s |      26 | 21177244 | 10372852 |     4358   5763 |        0 |        0
688.00/688.27	c  688s |      26 | 21239430 | 10402752 |     4358   5777 |        0 |        0
690.00/690.27	c  690s |      26 | 21301776 | 10432952 |     4358   5790 |        0 |        0
692.00/692.28	c  692s |      26 | 21361457 | 10461552 |     4358   5803 |        0 |        0
694.00/694.28	c  694s |      26 | 21423180 | 10493252 |     4358   5817 |        0 |        0
696.00/696.28	c  696s |      26 | 21483010 | 10521852 |     4358   5830 |        0 |        0
697.99/698.28	c  698s |      26 | 21547313 | 10552452 |     4358   5843 |        0 |        0
699.99/700.29	c  700s |      26 | 21610266 | 10584252 |     4358   5857 |        0 |        0
702.09/702.30	c  702s |      26 | 21668766 | 10611752 |     4358   5870 |        0 |        0
704.09/704.30	c  704s |      26 | 21725496 | 10640352 |     4358   5882 |        0 |        0
706.09/706.31	c  706s |      26 | 21783741 | 10668952 |     4358   5895 |        0 |        0
708.08/708.31	c  708s |      26 | 21842762 | 10696952 |     4358   5907 |        0 |        0
710.08/710.32	c  710s |      26 | 21899851 | 10724552 |     4358   5920 |        0 |        0
712.08/712.32	c  712s |      26 | 21957951 | 10753352 |     4358   5932 |        0 |        0
714.08/714.32	c  714s |      26 | 22018692 | 10782752 |     4358   5945 |        0 |        0
716.08/716.32	c  716s |      26 | 22080448 | 10812752 |     4358   5958 |        0 |        0
718.09/718.33	c  718s |      26 | 22139213 | 10840652 |     4358   5971 |        0 |        0
720.08/720.33	c  720s |      26 | 22196302 | 10867152 |     4358   5983 |        0 |        0
722.08/722.33	c  722s |      26 | 22255274 | 10894652 |     4358   5995 |        0 |        0
724.08/724.34	c  724s |      26 | 22313433 | 10924152 |     4358   6008 |        0 |        0
726.07/726.34	c  726s |      26 | 22372542 | 10952952 |     4358   6021 |        0 |        0
728.08/728.34	c  728s |      26 | 22432726 | 10982952 |     4358   6034 |        0 |        0
730.07/730.34	c  730s |      26 | 22493696 | 11013552 |     4358   6048 |        0 |        0
732.07/732.35	c  732s |      26 | 22559731 | 11044352 |     4358   6061 |        0 |        0
734.07/734.35	c  734s |      26 | 22625368 | 11074452 |     4358   6075 |        0 |        0
736.06/736.35	c  736s |      26 | 22689922 | 11106052 |     4358   6089 |        0 |        0
738.06/738.35	c  738s |      26 | 22751228 | 11136452 |     4358   6102 |        0 |        0
740.07/740.36	c  740s |      26 | 22815442 | 11165652 |     4358   6115 |        0 |        0
742.07/742.36	c  742s |      26 | 22875849 | 11195952 |     4358   6129 |        0 |        0
744.06/744.36	c  744s |      26 | 22942457 | 11225852 |     4358   6142 |        0 |        0
746.06/746.36	c  746s |      26 | 23003063 | 11254852 |     4358   6155 |        0 |        0
748.06/748.37	c  748s |      26 | 23065469 | 11283952 |     4358   6168 |        0 |        0
750.07/750.37	c  750s |      26 | 23127560 | 11312252 |     4358   6180 |        0 |        0
752.06/752.38	c  752s |      26 | 23192343 | 11342052 |     4794   6192 |        0 |        0
754.06/754.38	c  754s |      26 | 23253153 | 11370652 |     4794   6204 |        0 |        0
755.86/756.15	c  756s |      27 | 23306844 | 11396733 |     4794   6215 |        0 |        0
757.85/758.15	c  758s |      27 | 23361905 | 11425733 |     4794   6226 |        0 |        0
759.86/760.15	c  760s |      27 | 23421582 | 11455733 |     4794   6238 |        0 |        0
761.85/762.16	c  762s |      27 | 23479491 | 11485133 |     4794   6250 |        0 |        0
763.86/764.16	c  764s |      27 | 23526819 | 11509233 |     4794   6260 |        0 |        0
765.86/766.16	c  766s |      27 | 23587698 | 11539533 |     4794   6272 |        0 |        0
767.86/768.17	c  768s |      27 | 23646067 | 11568333 |     4794   6284 |        0 |        0
769.86/770.17	c  770s |      27 | 23706926 | 11598033 |     4794   6296 |        0 |        0
771.85/772.18	c  772s |      27 | 23764729 | 11627633 |     4794   6308 |        0 |        0
773.85/774.18	c  774s |      27 | 23823246 | 11657933 |     4794   6320 |        0 |        0
775.85/776.18	c  776s |      27 | 23882935 | 11687433 |     4794   6332 |        0 |        0
777.85/778.18	c  778s |      27 | 23940043 | 11713833 |     4794   6343 |        0 |        0
779.85/780.18	c  780s |      27 | 23998122 | 11743733 |     4794   6355 |        0 |        0
781.86/782.18	c  782s |      27 | 24058553 | 11773333 |     4794   6367 |        0 |        0
783.85/784.19	c  784s |      27 | 24117507 | 11800933 |     4794   6378 |        0 |        0
785.85/786.19	c  786s |      27 | 24173907 | 11829933 |     4794   6390 |        0 |        0
787.84/788.19	c  788s |      27 | 24229725 | 11859033 |     4794   6401 |        0 |        0
789.94/790.20	c  790s |      27 | 24285991 | 11888233 |     4794   6413 |        0 |        0
791.94/792.21	c  792s |      27 | 24340708 | 11916633 |     4794   6424 |        0 |        0
793.95/794.21	c  794s |      27 | 24399742 | 11945533 |     4794   6436 |        0 |        0
795.94/796.21	c  796s |      27 | 24459115 | 11973833 |     4794   6448 |        0 |        0
797.94/798.22	c  798s |      27 | 24523430 | 12003733 |     4794   6460 |        0 |        0
799.94/800.22	c  800s |      27 | 24580729 | 12032033 |     4794   6471 |        0 |        0
801.94/802.23	c  802s |      27 | 24641393 | 12061433 |     4794   6484 |        0 |        0
803.94/804.23	c  804s |      27 | 24701467 | 12092233 |     4794   6496 |        0 |        0
805.94/806.23	c  806s |      27 | 24760124 | 12121633 |     4794   6508 |        0 |        0
807.94/808.24	c  808s |      27 | 24823010 | 12151933 |     4794   6520 |        0 |        0
809.94/810.24	c  810s |      27 | 24881909 | 12181233 |     4794   6532 |        0 |        0
811.94/812.24	c  812s |      27 | 24936469 | 12209033 |     4794   6543 |        0 |        0
813.94/814.25	c  814s |      27 | 24998249 | 12238933 |     4794   6555 |        0 |        0
815.95/816.26	c  816s |      27 | 25059365 | 12269733 |     4794   6568 |        0 |        0
817.93/818.26	c  818s |      27 | 25116946 | 12298433 |     4794   6579 |        0 |        0
819.93/820.27	c  820s |      27 | 25174407 | 12327633 |     4794   6591 |        0 |        0
821.93/822.27	c  822s |      27 | 25228981 | 12355133 |     4794   6602 |        0 |        0
823.93/824.27	c  824s |      27 | 25284916 | 12384333 |     4794   6614 |        0 |        0
825.94/826.27	c  826s |      27 | 25340548 | 12410833 |     4794   6625 |        0 |        0
827.93/828.28	c  828s |      27 | 25400439 | 12441533 |     4794   6637 |        0 |        0
829.92/830.28	c  830s |      27 | 25460869 | 12470333 |     4794   6649 |        0 |        0
831.92/832.28	c  832s |      27 | 25518484 | 12498733 |     4794   6661 |        0 |        0
833.92/834.28	c  834s |      27 | 25572109 | 12526833 |     4794   6672 |        0 |        0
835.93/836.29	c  836s |      27 | 25634769 | 12557133 |     4794   6684 |        1 |        0
837.93/838.29	c  838s |      27 | 25694599 | 12587933 |     4794   6696 |        1 |        0
839.92/840.29	c  840s |      27 | 25755535 | 12617733 |     4794   6708 |        1 |        0
841.92/842.30	c  842s |      27 | 25816104 | 12647233 |     4794   6720 |        1 |        0
844.02/844.30	c  844s |      27 | 25870094 | 12675333 |     4794   6732 |        1 |        0
846.02/846.30	c  846s |      27 | 25927538 | 12705833 |     4794   6744 |        1 |        0
848.02/848.31	c  848s |      27 | 25990521 | 12736533 |     4794   6756 |        1 |        0
850.02/850.31	c  850s |      27 | 26049583 | 12764433 |     4794   6768 |        1 |        0
852.01/852.32	c  852s |      27 | 26106446 | 12793533 |     4794   6779 |        2 |        0
854.01/854.32	c  854s |      27 | 26168255 | 12822933 |     4794   6791 |        2 |        0
856.01/856.32	c  856s |      27 | 26229336 | 12852933 |     4794   6802 |        3 |        0
858.00/858.32	c  858s |      27 | 26286859 | 12882733 |     4794   6814 |        3 |        0
860.01/860.32	c  860s |      27 | 26349744 | 12912633 |     4794   6827 |        3 |        0
862.01/862.33	c  862s |      27 | 26412860 | 12943033 |     4794   6839 |        6 |        0
862.01/862.33	c  862s |      27 | 26412867 | 12943040 |     4794   6839 |       26 |        0
862.01/862.33	c #cpu_time = 859.914s
862.01/862.33	c #wall_clock_time = 862.307s
862.01/862.33	c #decision = 26412867
862.01/862.33	c #random_decision = 125141
862.01/862.33	c #conflict = 12943040
862.01/862.33	c #restart = 27
862.01/862.33	s UNSATISFIABLE
862.01/862.33	c total CPU time = 859.938s
862.01/862.33	c total wall clock time = 862.331s

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4088672-1466012020/watcher-4088672-1466012020 -o /tmp/evaluation-result-4088672-1466012020/solver-4088672-1466012020 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5773 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088672-1466012020.opb 

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

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


[startup+0 s]
/proc/loadavg: 0.95 1.10 1.64 3/172 5798
/proc/meminfo: memFree=31530208/32872528 swapFree=524788/557492
[pid=5798] ppid=5793 vsize=650684 CPUtime=0 cores=1,3,5,7
/proc/5798/stat : 5798 (toysat) R 5793 5798 5756 0 -1 4202496 2410 0 0 0 0 0 0 0 20 0 4 0 3252151 666300416 3283 33554432000 4194304 16246674 140735512449168 140735512448592 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5798/statm: 163183 3293 441 2943 0 160077 0
[pid=5798/tid=5803] ppid=5793 vsize=668092 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5803/stat : 5803 (toysat) S 5793 5798 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 684126208 3353 33554432000 4194304 16246674 140735512449168 140095000653040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5798/tid=5805] ppid=5793 vsize=673212 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5805/stat : 5805 (toysat) S 5793 5798 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3252151 689369088 3369 33554432000 4194304 16246674 140735512449168 140094920961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5798/tid=5807] ppid=5793 vsize=677308 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5807/stat : 5807 (toysat) S 5793 5798 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3252151 693563392 3385 33554432000 4194304 16246674 140735512449168 140094910487728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 0.95 1.10 1.64 3/172 5798
/proc/meminfo: memFree=31530208/32872528 swapFree=524788/557492
[pid=5798] ppid=5793 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/5798/stat : 5798 (toysat) R 5793 5798 5756 0 -1 4202496 23609 0 0 0 6 3 0 0 20 0 4 0 3252151 1247350784 24470 33554432000 4194304 16246674 140735512449168 140735512448592 12460649 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5798/statm: 304529 24481 715 2943 0 301423 0
[pid=5798/tid=5803] ppid=5793 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5803/stat : 5803 (toysat) S 5793 5798 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1247350784 24487 33554432000 4194304 16246674 140735512449168 140095000653040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5798/tid=5805] ppid=5793 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5805/stat : 5805 (toysat) S 5793 5798 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3252151 1247350784 24494 33554432000 4194304 16246674 140735512449168 140094920961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5798/tid=5807] ppid=5793 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5807/stat : 5807 (toysat) S 5793 5798 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3252151 1247350784 24501 33554432000 4194304 16246674 140735512449168 140094910487728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200521 s]
/proc/loadavg: 0.95 1.10 1.64 3/172 5798
/proc/meminfo: memFree=31530208/32872528 swapFree=524788/557492
[pid=5798] ppid=5793 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/5798/stat : 5798 (toysat) R 5793 5798 5756 0 -1 4202496 44536 0 0 0 13 6 0 0 20 0 4 0 3252151 1247350784 45397 33554432000 4194304 16246674 140735512449168 140735512431040 5669490 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5798/statm: 304529 45406 715 2943 0 301423 0
[pid=5798/tid=5803] ppid=5793 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5803/stat : 5803 (toysat) S 5793 5798 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1247350784 45410 33554432000 4194304 16246674 140735512449168 140095000653040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5798/tid=5805] ppid=5793 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5805/stat : 5805 (toysat) S 5793 5798 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3252151 1247350784 45416 33554432000 4194304 16246674 140735512449168 140094920961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5798/tid=5807] ppid=5793 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5807/stat : 5807 (toysat) S 5793 5798 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3252151 1247350784 45422 33554432000 4194304 16246674 140735512449168 140094910487728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300474 s]
/proc/loadavg: 0.95 1.10 1.64 3/172 5798
/proc/meminfo: memFree=31530208/32872528 swapFree=524788/557492
[pid=5798] ppid=5793 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/5798/stat : 5798 (toysat) R 5793 5798 5756 0 -1 4202496 65361 0 0 0 20 9 0 0 20 0 4 0 3252151 1247350784 66222 33554432000 4194304 16246674 140735512449168 140735512431040 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5798/statm: 304529 66233 715 2943 0 301423 0
[pid=5798/tid=5803] ppid=5793 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5803/stat : 5803 (toysat) S 5793 5798 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1247350784 66239 33554432000 4194304 16246674 140735512449168 140095000653040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5798/tid=5805] ppid=5793 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5805/stat : 5805 (toysat) S 5793 5798 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3252151 1247350784 66245 33554432000 4194304 16246674 140735512449168 140094920961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5798/tid=5807] ppid=5793 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5807/stat : 5807 (toysat) S 5793 5798 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3252151 1247350784 66252 33554432000 4194304 16246674 140735512449168 140094910487728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700408 s]
/proc/loadavg: 0.95 1.10 1.64 3/172 5798
/proc/meminfo: memFree=31530208/32872528 swapFree=524788/557492
[pid=5798] ppid=5793 vsize=1220164 CPUtime=0.69 cores=1,3,5,7
/proc/5798/stat : 5798 (toysat) R 5793 5798 5756 0 -1 4202496 141404 0 0 0 50 19 0 0 20 0 4 0 3252151 1249447936 142245 33554432000 4194304 16246674 140735512449168 140735512448480 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5798/statm: 305041 142245 790 2943 0 301935 0
[pid=5798/tid=5803] ppid=5793 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5803/stat : 5803 (toysat) S 5793 5798 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1249447936 142245 33554432000 4194304 16246674 140735512449168 140095000653040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5798/tid=5805] ppid=5793 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5805/stat : 5805 (toysat) S 5793 5798 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3252151 1249447936 142245 33554432000 4194304 16246674 140735512449168 140094920961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5798/tid=5807] ppid=5793 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5807/stat : 5807 (toysat) S 5793 5798 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3252151 1249447936 142245 33554432000 4194304 16246674 140735512449168 140094910487728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1220164

[startup+1.50041 s]
/proc/loadavg: 0.88 1.08 1.63 3/183 5809
/proc/meminfo: memFree=30317524/32872528 swapFree=524788/557492
[pid=5798] ppid=5793 vsize=1305156 CPUtime=1.48 cores=1,3,5,7
/proc/5798/stat : 5798 (toysat) R 5793 5798 5756 0 -1 4202496 168757 0 0 0 126 22 0 0 20 0 4 0 3252151 1336479744 169598 33554432000 4194304 16246674 140735512449168 140735512431040 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5798/statm: 326289 169598 790 2943 0 323183 0
[pid=5798/tid=5803] ppid=5793 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5803/stat : 5803 (toysat) S 5793 5798 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1336479744 169598 33554432000 4194304 16246674 140735512449168 140095000653040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5798/tid=5805] ppid=5793 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5805/stat : 5805 (toysat) S 5793 5798 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3252151 1336479744 169598 33554432000 4194304 16246674 140735512449168 140094920961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5798/tid=5807] ppid=5793 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5807/stat : 5807 (toysat) S 5793 5798 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3252151 1336479744 169598 33554432000 4194304 16246674 140735512449168 140094910487728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1305156

[startup+3.10033 s]
/proc/loadavg: 0.88 1.08 1.63 3/183 5809
/proc/meminfo: memFree=30112900/32872528 swapFree=524788/557492
[pid=5798] ppid=5793 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/5798/stat : 5798 (toysat) R 5793 5798 5756 0 -1 4202496 170749 0 0 0 286 23 0 0 20 0 4 0 3252151 1338576896 171590 33554432000 4194304 16246674 140735512449168 140735512431040 13950192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5798/statm: 326801 171590 790 2943 0 323695 0
[pid=5798/tid=5803] ppid=5793 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5803/stat : 5803 (toysat) S 5793 5798 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1338576896 171590 33554432000 4194304 16246674 140735512449168 140095000653040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5798/tid=5805] ppid=5793 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5805/stat : 5805 (toysat) S 5793 5798 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3252151 1338576896 171590 33554432000 4194304 16246674 140735512449168 140094920961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5798/tid=5807] ppid=5793 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5807/stat : 5807 (toysat) S 5793 5798 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3252151 1338576896 171590 33554432000 4194304 16246674 140735512449168 140094910487728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.3004 s]
/proc/loadavg: 1.05 1.12 1.64 3/183 5809
/proc/meminfo: memFree=29892552/32872528 swapFree=524788/557492
[pid=5798] ppid=5793 vsize=1307204 CPUtime=6.28 cores=1,3,5,7
/proc/5798/stat : 5798 (toysat) R 5793 5798 5756 0 -1 4202496 219017 0 0 0 600 28 0 0 20 0 4 0 3252151 1338576896 219858 33554432000 4194304 16246674 140735512449168 140735512432168 13954518 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5798/statm: 326801 219869 790 2943 0 323695 0
[pid=5798/tid=5803] ppid=5793 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5803/stat : 5803 (toysat) S 5793 5798 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1338576896 219875 33554432000 4194304 16246674 140735512449168 140095000653040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5798/tid=5805] ppid=5793 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5805/stat : 5805 (toysat) S 5793 5798 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3252151 1338576896 219881 33554432000 4194304 16246674 140735512449168 140094920961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5798/tid=5807] ppid=5793 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5807/stat : 5807 (toysat) S 5793 5798 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3252151 1338576896 219887 33554432000 4194304 16246674 140735512449168 140094910487728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 1.12 1.13 1.64 3/183 5809
/proc/meminfo: memFree=29677448/32872528 swapFree=524788/557492
[pid=5798] ppid=5793 vsize=1308228 CPUtime=12.68 cores=1,3,5,7
/proc/5798/stat : 5798 (toysat) R 5793 5798 5756 0 -1 4202496 236157 0 0 0 1238 30 0 0 20 0 4 0 3252151 1339625472 236998 33554432000 4194304 16246674 140735512449168 140735512432168 15015658 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5798/statm: 327057 236998 792 2943 0 323951 0
[pid=5798/tid=5803] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5803/stat : 5803 (toysat) S 5793 5798 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 236998 33554432000 4194304 16246674 140735512449168 140095000653040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5798/tid=5805] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5805/stat : 5805 (toysat) S 5793 5798 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 236998 33554432000 4194304 16246674 140735512449168 140094920961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5798/tid=5807] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5807/stat : 5807 (toysat) S 5793 5798 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 236998 33554432000 4194304 16246674 140735512449168 140094910487728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 1.32 1.17 1.65 3/183 5809
/proc/meminfo: memFree=29604748/32872528 swapFree=524788/557492
[pid=5798] ppid=5793 vsize=1308228 CPUtime=25.47 cores=1,3,5,7
/proc/5798/stat : 5798 (toysat) R 5793 5798 5756 0 -1 4202496 236157 0 0 0 2517 30 0 0 20 0 4 0 3252151 1339625472 236998 33554432000 4194304 16246674 140735512449168 140735512432168 5717450 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5798/statm: 327057 236998 792 2943 0 323951 0
[pid=5798/tid=5803] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5803/stat : 5803 (toysat) S 5793 5798 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 236998 33554432000 4194304 16246674 140735512449168 140095000653040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5798/tid=5805] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5805/stat : 5805 (toysat) S 5793 5798 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 236998 33554432000 4194304 16246674 140735512449168 140094920961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5798/tid=5807] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5807/stat : 5807 (toysat) S 5793 5798 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 236998 33554432000 4194304 16246674 140735512449168 140094910487728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 1.55 1.24 1.66 4/182 5809
/proc/meminfo: memFree=29605016/32872528 swapFree=524788/557492
[pid=5798] ppid=5793 vsize=1308228 CPUtime=51.07 cores=1,3,5,7
/proc/5798/stat : 5798 (toysat) R 5793 5798 5756 0 -1 4202496 236157 0 0 0 5075 32 0 0 20 0 4 0 3252151 1339625472 236998 33554432000 4194304 16246674 140735512449168 140735512432168 5832608 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5798/statm: 327057 236998 792 2943 0 323951 0
[pid=5798/tid=5803] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5803/stat : 5803 (toysat) S 5793 5798 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 236998 33554432000 4194304 16246674 140735512449168 140095000653040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5798/tid=5805] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5805/stat : 5805 (toysat) S 5793 5798 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 236998 33554432000 4194304 16246674 140735512449168 140094920961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5798/tid=5807] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5807/stat : 5807 (toysat) S 5793 5798 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 236998 33554432000 4194304 16246674 140735512449168 140094910487728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1308228

[startup+102.3 s]
/proc/loadavg: 1.80 1.35 1.67 3/183 5811
/proc/meminfo: memFree=29603984/32872528 swapFree=524788/557492
[pid=5798] ppid=5793 vsize=1308228 CPUtime=102.27 cores=1,3,5,7
/proc/5798/stat : 5798 (toysat) R 5793 5798 5756 0 -1 4202496 236157 0 0 0 10193 34 0 0 20 0 4 0 3252151 1339625472 236998 33554432000 4194304 16246674 140735512449168 140735512432168 5516736 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5798/statm: 327057 236998 792 2943 0 323951 0
[pid=5798/tid=5803] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5803/stat : 5803 (toysat) S 5793 5798 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 236998 33554432000 4194304 16246674 140735512449168 140095000653040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5798/tid=5805] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5805/stat : 5805 (toysat) S 5793 5798 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 236998 33554432000 4194304 16246674 140735512449168 140094920961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5798/tid=5807] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5807/stat : 5807 (toysat) S 5793 5798 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 236998 33554432000 4194304 16246674 140735512449168 140094910487728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1308228


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

/proc/5798/stat : 5798 (toysat) R 5793 5798 5756 0 -1 4202496 254743 0 0 0 70152 57 0 0 20 0 4 0 3252151 1339625472 268900 33554432000 4194304 16246674 140735512449168 140735512432168 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5798/statm: 327057 268900 792 2943 0 323951 0
[pid=5798/tid=5803] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5803/stat : 5803 (toysat) S 5793 5798 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268900 33554432000 4194304 16246674 140735512449168 140095000653040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5798/tid=5805] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5805/stat : 5805 (toysat) S 5793 5798 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268900 33554432000 4194304 16246674 140735512449168 140094920961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5798/tid=5807] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5807/stat : 5807 (toysat) S 5793 5798 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268900 33554432000 4194304 16246674 140735512449168 140094910487728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 1308228

[startup+762.3 s]
/proc/loadavg: 2.12 2.00 1.85 3/183 5876
/proc/meminfo: memFree=29351676/32872528 swapFree=524788/557492
[pid=5798] ppid=5793 vsize=1308228 CPUtime=762.06 cores=1,3,5,7
/proc/5798/stat : 5798 (toysat) R 5793 5798 5756 0 -1 4202496 254786 0 0 0 76147 59 0 0 20 0 4 0 3252151 1339625472 268904 33554432000 4194304 16246674 140735512449168 140735512431040 13943600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5798/statm: 327057 268904 792 2943 0 323951 0
[pid=5798/tid=5803] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5803/stat : 5803 (toysat) S 5793 5798 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268904 33554432000 4194304 16246674 140735512449168 140095000653040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5798/tid=5805] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5805/stat : 5805 (toysat) S 5793 5798 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268904 33554432000 4194304 16246674 140735512449168 140094920961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5798/tid=5807] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5807/stat : 5807 (toysat) S 5793 5798 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268904 33554432000 4194304 16246674 140735512449168 140094910487728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 762.06
Current children cumulated vsize (KiB) 1308228

[startup+822.3 s]
/proc/loadavg: 2.04 2.00 1.86 3/183 5877
/proc/meminfo: memFree=29351208/32872528 swapFree=524788/557492
[pid=5798] ppid=5793 vsize=1308228 CPUtime=822.03 cores=1,3,5,7
/proc/5798/stat : 5798 (toysat) R 5793 5798 5756 0 -1 4202496 254821 0 0 0 82142 61 0 0 20 0 4 0 3252151 1339625472 268904 33554432000 4194304 16246674 140735512449168 140735512431040 5823246 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5798/statm: 327057 268904 792 2943 0 323951 0
[pid=5798/tid=5803] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5803/stat : 5803 (toysat) S 5793 5798 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268904 33554432000 4194304 16246674 140735512449168 140095000653040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5798/tid=5805] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5805/stat : 5805 (toysat) S 5793 5798 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268904 33554432000 4194304 16246674 140735512449168 140094920961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5798/tid=5807] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5807/stat : 5807 (toysat) S 5793 5798 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268904 33554432000 4194304 16246674 140735512449168 140094910487728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 1308228

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

[startup+844.8 s]
/proc/loadavg: 2.10 2.02 1.87 3/183 5877
/proc/meminfo: memFree=29351180/32872528 swapFree=524788/557492
[pid=5798] ppid=5793 vsize=1308228 CPUtime=844.53 cores=1,3,5,7
/proc/5798/stat : 5798 (toysat) R 5793 5798 5756 0 -1 4202496 254843 0 0 0 84391 62 0 0 20 0 4 0 3252151 1339625472 268911 33554432000 4194304 16246674 140735512449168 140735512431040 5661013 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5798/statm: 327057 268911 792 2943 0 323951 0
[pid=5798/tid=5803] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5803/stat : 5803 (toysat) S 5793 5798 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268911 33554432000 4194304 16246674 140735512449168 140095000653040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5798/tid=5805] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5805/stat : 5805 (toysat) S 5793 5798 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268911 33554432000 4194304 16246674 140735512449168 140094920961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5798/tid=5807] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5807/stat : 5807 (toysat) S 5793 5798 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268911 33554432000 4194304 16246674 140735512449168 140094910487728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 844.53
Current children cumulated vsize (KiB) 1308228

[startup+851.2 s]
/proc/loadavg: 2.09 2.02 1.87 3/183 5877
/proc/meminfo: memFree=29351040/32872528 swapFree=524788/557492
[pid=5798] ppid=5793 vsize=1308228 CPUtime=850.91 cores=1,3,5,7
/proc/5798/stat : 5798 (toysat) R 5793 5798 5756 0 -1 4202496 254849 0 0 0 85029 62 0 0 20 0 4 0 3252151 1339625472 268911 33554432000 4194304 16246674 140735512449168 140735512432168 6021162 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5798/statm: 327057 268911 792 2943 0 323951 0
[pid=5798/tid=5803] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5803/stat : 5803 (toysat) S 5793 5798 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268911 33554432000 4194304 16246674 140735512449168 140095000653040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5798/tid=5805] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5805/stat : 5805 (toysat) S 5793 5798 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268911 33554432000 4194304 16246674 140735512449168 140094920961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5798/tid=5807] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5807/stat : 5807 (toysat) S 5793 5798 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268911 33554432000 4194304 16246674 140735512449168 140094910487728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 850.91
Current children cumulated vsize (KiB) 1308228

[startup+857.6 s]
/proc/loadavg: 2.08 2.01 1.87 3/183 5877
/proc/meminfo: memFree=29350900/32872528 swapFree=524788/557492
[pid=5798] ppid=5793 vsize=1308228 CPUtime=857.31 cores=1,3,5,7
/proc/5798/stat : 5798 (toysat) R 5793 5798 5756 0 -1 4202496 254857 0 0 0 85669 62 0 0 20 0 4 0 3252151 1339625472 268911 33554432000 4194304 16246674 140735512449168 140735512431040 6012276 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5798/statm: 327057 268911 792 2943 0 323951 0
[pid=5798/tid=5803] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5803/stat : 5803 (toysat) S 5793 5798 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268911 33554432000 4194304 16246674 140735512449168 140095000653040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5798/tid=5805] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5805/stat : 5805 (toysat) S 5793 5798 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268911 33554432000 4194304 16246674 140735512449168 140094920961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5798/tid=5807] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5807/stat : 5807 (toysat) S 5793 5798 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268911 33554432000 4194304 16246674 140735512449168 140094910487728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 857.31
Current children cumulated vsize (KiB) 1308228

[startup+860.8 s]
/proc/loadavg: 2.07 2.01 1.87 3/183 5877
/proc/meminfo: memFree=29351024/32872528 swapFree=524788/557492
[pid=5798] ppid=5793 vsize=1308228 CPUtime=860.51 cores=1,3,5,7
/proc/5798/stat : 5798 (toysat) R 5793 5798 5756 0 -1 4202496 254857 0 0 0 85988 63 0 0 20 0 4 0 3252151 1339625472 268911 33554432000 4194304 16246674 140735512449168 140735512431040 5754796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5798/statm: 327057 268911 792 2943 0 323951 0
[pid=5798/tid=5803] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5803/stat : 5803 (toysat) S 5793 5798 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268911 33554432000 4194304 16246674 140735512449168 140095000653040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5798/tid=5805] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5805/stat : 5805 (toysat) S 5793 5798 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268911 33554432000 4194304 16246674 140735512449168 140094920961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5798/tid=5807] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5807/stat : 5807 (toysat) S 5793 5798 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268911 33554432000 4194304 16246674 140735512449168 140094910487728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 860.51
Current children cumulated vsize (KiB) 1308228

[startup+861.6 s]
/proc/loadavg: 2.07 2.01 1.87 4/183 5877
/proc/meminfo: memFree=29351024/32872528 swapFree=524788/557492
[pid=5798] ppid=5793 vsize=1308228 CPUtime=861.31 cores=1,3,5,7
/proc/5798/stat : 5798 (toysat) R 5793 5798 5756 0 -1 4202496 254857 0 0 0 86068 63 0 0 20 0 4 0 3252151 1339625472 268911 33554432000 4194304 16246674 140735512449168 140735512431040 5515736 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5798/statm: 327057 268911 792 2943 0 323951 0
[pid=5798/tid=5803] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5803/stat : 5803 (toysat) S 5793 5798 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268911 33554432000 4194304 16246674 140735512449168 140095000653040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5798/tid=5805] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5805/stat : 5805 (toysat) S 5793 5798 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268911 33554432000 4194304 16246674 140735512449168 140094920961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5798/tid=5807] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5807/stat : 5807 (toysat) S 5793 5798 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268911 33554432000 4194304 16246674 140735512449168 140094910487728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 861.31
Current children cumulated vsize (KiB) 1308228

[startup+862 s]
/proc/loadavg: 2.07 2.01 1.87 4/183 5877
/proc/meminfo: memFree=29351024/32872528 swapFree=524788/557492
[pid=5798] ppid=5793 vsize=1308228 CPUtime=861.71 cores=1,3,5,7
/proc/5798/stat : 5798 (toysat) R 5793 5798 5756 0 -1 4202496 254857 0 0 0 86108 63 0 0 20 0 4 0 3252151 1339625472 268911 33554432000 4194304 16246674 140735512449168 140735512431040 13950222 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5798/statm: 327057 268911 792 2943 0 323951 0
[pid=5798/tid=5803] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5803/stat : 5803 (toysat) S 5793 5798 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268911 33554432000 4194304 16246674 140735512449168 140095000653040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5798/tid=5805] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5805/stat : 5805 (toysat) S 5793 5798 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268911 33554432000 4194304 16246674 140735512449168 140094920961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5798/tid=5807] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5807/stat : 5807 (toysat) S 5793 5798 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268911 33554432000 4194304 16246674 140735512449168 140094910487728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 861.71
Current children cumulated vsize (KiB) 1308228

[startup+862.2 s]
/proc/loadavg: 2.07 2.01 1.87 4/183 5877
/proc/meminfo: memFree=29351024/32872528 swapFree=524788/557492
[pid=5798] ppid=5793 vsize=1308228 CPUtime=861.91 cores=1,3,5,7
/proc/5798/stat : 5798 (toysat) R 5793 5798 5756 0 -1 4202496 254857 0 0 0 86128 63 0 0 20 0 4 0 3252151 1339625472 268911 33554432000 4194304 16246674 140735512449168 140735512431040 6836060 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5798/statm: 327057 268911 792 2943 0 323951 0
[pid=5798/tid=5803] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5803/stat : 5803 (toysat) S 5793 5798 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268911 33554432000 4194304 16246674 140735512449168 140095000653040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5798/tid=5805] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5805/stat : 5805 (toysat) S 5793 5798 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268911 33554432000 4194304 16246674 140735512449168 140094920961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5798/tid=5807] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5807/stat : 5807 (toysat) S 5793 5798 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268911 33554432000 4194304 16246674 140735512449168 140094910487728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 861.91
Current children cumulated vsize (KiB) 1308228

[startup+862.3 s]
/proc/loadavg: 2.07 2.01 1.87 4/183 5877
/proc/meminfo: memFree=29351024/32872528 swapFree=524788/557492
[pid=5798] ppid=5793 vsize=1308228 CPUtime=862.01 cores=1,3,5,7
/proc/5798/stat : 5798 (toysat) R 5793 5798 5756 0 -1 4202496 254857 0 0 0 86138 63 0 0 20 0 4 0 3252151 1339625472 268911 33554432000 4194304 16246674 140735512449168 140735512431040 5522890 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5798/statm: 327057 268911 792 2943 0 323951 0
[pid=5798/tid=5803] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5803/stat : 5803 (toysat) S 5793 5798 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268911 33554432000 4194304 16246674 140735512449168 140095000653040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5798/tid=5805] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5805/stat : 5805 (toysat) S 5793 5798 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268911 33554432000 4194304 16246674 140735512449168 140094920961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5798/tid=5807] ppid=5793 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5798/task/5807/stat : 5807 (toysat) S 5793 5798 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268911 33554432000 4194304 16246674 140735512449168 140094910487728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 862.01
Current children cumulated vsize (KiB) 1308228

Child status: 0
Real time (s): 862.36
CPU time (s): 862.077
CPU user time (s): 861.422
CPU system time (s): 0.6549
CPU usage (%): 99.9672
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 861.422
system time used= 0.6549
maximum resident set size= 1075656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 254862
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= 155
involuntary context switches= 1594

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.54761 second user time and 3.9284 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-15 19:33:40
IDJOB=4088672
IDBENCH=107297
IDSOLVER=2542
FILE ID=node106/4088672-1466012020
RUNJOBID= node106-1466012020-5773
PBS_JOBID= 19902815
Free space on /tmp= 71740 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/EC_ODD_GRIDS/normalized-ECgrid3x90split.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088672-1466012020/watcher-4088672-1466012020 -o /tmp/evaluation-result-4088672-1466012020/solver-4088672-1466012020 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5773 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088672-1466012020.opb

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

MD5SUM BENCH= 32b9a1b42248cd2a957779249dbf0468
RANDOM SEED=1830382910

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
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		: 2667.073
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.56
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		: 2667.073
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.38
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		: 2667.073
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:        31533240 kB
Buffers:            7748 kB
Cached:            61824 kB
SwapCached:         1416 kB
Active:            62904 kB
Inactive:           8792 kB
Active(anon):       3744 kB
Inactive(anon):     1180 kB
Active(file):      59160 kB
Inactive(file):     7612 kB
Unevictable:      557492 kB
Mlocked:          524788 kB
SwapTotal:      67108856 kB
SwapFree:       67099192 kB
Dirty:             32700 kB
Writeback:             0 kB
AnonPages:        558884 kB
Mapped:             6072 kB
Shmem:                 0 kB
Slab:             576428 kB
SReclaimable:      20528 kB
SUnreclaim:       555900 kB
KernelStack:        1360 kB
PageTables:         5004 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     653592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 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= 71708 MiB
End job on node106 at 2016-06-15 19:48:03