Trace number 4079377

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (MO) 1655.44 1655.9

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/MH+IC/
normalized-minisat25_4_7_3_mh_ic.opb
MD5SUM1a50d88b33a856d21607d03bda43d116
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3843968
Best CPU time to get the best result obtained on this benchmark1800.2
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables45775
Total number of constraints102733
Number of constraints which are clauses71450
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints31250
Minimum length of a constraint2
Maximum length of a constraint925
Number of terms in the objective function 17425
Biggest coefficient in the objective function 111980168
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 11576482241
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 111980168
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 11576482241
Number of bits of the biggest sum of numbers34
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-07T19:51:04+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-4079377-1465321864.opb"]
0.00/0.01	c use --random-gen="4221241101 3571624747 3699677523 4271699571 465937266 2007169343 2641198361 2285820352 3516115774 860580916 4067285742 1984641260 2265367894 460059331 2237578105 4186241823 3034274313 356578038 4168898488 779885799 3503995450 3012497190 2140260473 1722954546 2737575019 2388920947 1195198718 3192855565 1291459808 1804344193 4139033888 3958968174 994288254 3001076779 3950408840 3696306909 2936369116 2492615925 1594157253 330061334 2611578226 113206416 4132264851 2815249495 233300510 3710852591 1156727669 1394568625 2137836942 3174689069 4050583752 1274260919 3809061878 89499383 2361308610 844906897 2459770419 3308551744 202041794 1607173605 798622900 1093953612 1794736508 488554080 4191130547 1297141993 2184626118 937624437 870246551 3169603243 3298463353 860121999 3565450801 4158762002 977441604 2546067649 3835582592 2420378485 2620132311 2477334398 3959430318 3494735766 2865008740 2972921227 3507807586 1912285994 1341577083 3195758795 4087080423 3599391338 2418939378 2509007867 1093830180 931068900 1092728323 771935717 2421169758 896183902 2347788390 3984441744 3299853987 2918814371 2269306527 818548751 3103017256 3341106205 915398574 1694594781 644714753 171721206 4239663996 3771226499 621865016 4018789515 188661954 3128460852 3412685846 3114143889 3739249996 658331453 1382553939 4003489186 118396244 4079150401 1698676056 777192137 38194995 1356230444 682275746 1767250939 2824364236 3516653749 3235753921 1718998276 4213450576 2932766052 2232127915 2425306790 1938545560 580556010 2845668391 161893079 2748852694 1985436522 1040109978 2351454613 3028939471 1265770136 2759443151 4206829383 406476219 4188930299 111038496 2693996477 2624905853 632469377 1802730310 236011294 4030595110 379245794 1038629815 402349832 3622852776 1926777634 2373435818 194019803 3904428559 1797697800 2568926992 3720255385 988591825 412313069 808782769 508791739 2061110189 1716825717 2405514590 3188891507 3538584950 371406914 1445706172 4227946622 4202708380 1971641954 3109137584 2723264846 223631601 825818634 3850099950 4190885989 3055056012 1928670124 3354378049 4110224479 605880694 1493207689 3445081728 1651387327 664993302 510272507 3414687415 2118086647 4096572902 2498567560 3117722380 950828791 2255013720 3677536580 1722502662 69640032 1433887764 4114762445 3107959478 79998680 3865536518 832976641 5923440 2213723163 2621481385 1764516978 163570342 1465288809 2879325178 13588093 424413057 2376001866 367007923 2312361254 954563438 374481734 779547806 99400438 1895896299 2918273932 2075477044 4162449231 3091253306 3141448887 2956424151 3441325404 3216851799 3071250327 71024425 3245331590 3984848697 1612147641 162485161 3176939988 120557220 2176491040 1665460875 3491107031 4265398898 2426380004 3403930435 3198665521 255 362436" option to reproduce the execution
0.69/0.76	c #vars 45775
0.69/0.76	c #constraints 102733
2.58/2.63	c BCD2: Hardening is enabled.
2.58/2.63	c BCD2: BiasedSearch is enabled.
2.58/2.63	c Solving starts ...
2.58/2.63	c ============================[ Search Statistics ]============================
2.58/2.63	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.58/2.63	c       |         |          |          |    Limit     GC | Var      | Constra 
2.58/2.63	c =============================================================================
2.58/2.63	c  0.0s |       0 |        0 |        0 |    50102      0 |      100 |        0
3.58/3.62	c  1.0s |       1 |      558 |      100 |    50102      0 |      100 |        0
4.38/4.40	c  1.8s |       2 |     1788 |      250 |    55113      0 |      100 |        0
6.58/6.61	c  4.0s |       2 |     2550 |      350 |    60625      0 |      100 |        0
8.58/8.64	c  6.0s |       3 |     3625 |      475 |    60625      0 |      100 |        0
10.59/10.68	c  8.1s |       3 |     4231 |      575 |    66688      0 |      100 |        0
14.78/14.83	c 12.2s |       3 |     5352 |      775 |    66688      0 |      100 |        0
15.48/15.53	c 12.9s |       4 |     5567 |      813 |    66688      0 |      100 |        0
17.78/17.82	c 15.2s |       4 |     6338 |      913 |    73357      0 |      100 |        0
19.88/19.96	c 17.3s |       4 |     7019 |     1013 |    73357      0 |      100 |        0
21.97/22.06	c 19.4s |       4 |     7319 |     1113 |    73357      0 |      100 |        0
25.37/25.40	c 22.8s |       4 |     7740 |     1213 |    73357      0 |      100 |        0
28.27/28.36	c 25.7s |       4 |     8538 |     1313 |    73357      0 |      100 |        0
28.37/28.42	c 25.8s |       5 |     8542 |     1320 |    73357      0 |      100 |        0
31.67/31.74	c 29.1s |       5 |     9373 |     1420 |    80693      0 |      100 |        0
34.57/34.69	c 32.1s |       5 |    10357 |     1520 |    80693      0 |      100 |        0
36.67/36.71	c 34.1s |       5 |    11015 |     1620 |    80693      0 |      100 |        0
40.17/40.30	c 37.7s |       5 |    12411 |     1820 |    80693      0 |      100 |        0
42.97/43.01	c 40.4s |       5 |    12881 |     1920 |    80693      0 |      100 |        0
45.07/45.15	c 42.5s |       5 |    13645 |     2020 |    80693      0 |      100 |        0
46.27/46.37	c 43.7s |       6 |    13996 |     2081 |    88763      0 |      100 |        0
48.37/48.49	c 45.9s |       6 |    14709 |     2181 |    88763      0 |      100 |        0
50.67/50.79	c 48.2s |       6 |    15214 |     2281 |    88763      0 |      100 |        0
55.16/55.23	c 52.6s |       6 |    17023 |     2481 |    88763      0 |      100 |        0
57.26/57.31	c 54.7s |       6 |    17918 |     2581 |    88763      0 |      100 |        0
59.26/59.33	c 56.7s |       6 |    18537 |     2681 |    88763      0 |      100 |        0
63.16/63.26	c 60.6s |       6 |    20009 |     2881 |    88763      0 |      100 |        0
67.16/67.20	c 64.6s |       6 |    21283 |     3081 |    88763      0 |      100 |        0
69.26/69.34	c 66.7s |       6 |    22100 |     3181 |    88763      0 |      100 |        0
70.36/70.44	c 67.8s |       7 |    22211 |     3223 |    97640      0 |      100 |        0
73.56/73.62	c 71.0s |       7 |    22732 |     3323 |    97640      0 |      100 |        0
76.26/76.32	c 73.7s |       7 |    23512 |     3423 |    97640      0 |      100 |        0
78.46/78.57	c 75.9s |       7 |    24173 |     3523 |    97640      0 |      100 |        0
82.36/82.49	c 79.9s |       7 |    25443 |     3723 |    97640      0 |      100 |        0
84.86/84.90	c 82.3s |       7 |    26175 |     3823 |    97640      0 |      100 |        0
87.76/87.80	c 85.2s |       7 |    26906 |     3923 |    97640      0 |      100 |        0
89.86/89.92	c 87.3s |       7 |    27642 |     4023 |    97640      0 |      100 |        0
91.97/92.03	c 89.4s |       7 |    28430 |     4123 |    97640      0 |      100 |        0
95.56/95.67	c 93.0s |       7 |    29885 |     4323 |    97640      0 |      100 |        0
97.86/97.95	c 95.3s |       7 |    30512 |     4423 |    97640      0 |      100 |        0
99.86/99.98	c 97.4s |       7 |    31178 |     4523 |    97640      0 |      100 |        0
103.36/103.47	c  100s |       7 |    32799 |     4723 |    97640      0 |      100 |        0
105.76/105.81	c  103s |       7 |    33344 |     4823 |    97640      0 |      100 |        0
107.85/107.97	c  105s |       8 |    33998 |     4936 |   107405      0 |      100 |        0
112.15/112.23	c  109s |       8 |    34715 |     5136 |   107405      0 |      100 |        0
114.25/114.36	c  111s |       8 |    35140 |     5236 |   107405      0 |      100 |        0
118.26/118.36	c  115s |       8 |    35963 |     5436 |   107405      0 |      100 |        0
120.46/120.53	c  117s |       8 |    36653 |     5536 |   107405      0 |      100 |        0
123.15/123.20	c  120s |       8 |    37205 |     5636 |   107405      0 |      100 |        0
126.25/126.34	c  123s |       8 |    38133 |     5836 |   107405      0 |      100 |        0
129.05/129.11	c  126s |       8 |    38730 |     5936 |   107405      0 |      100 |        0
131.56/131.62	c  128s |       8 |    39394 |     6036 |   107405      0 |      100 |        0
134.25/134.30	c  131s |       8 |    40058 |     6136 |   107405      0 |      100 |        0
136.25/136.33	c  133s |       8 |    40255 |     6236 |   107405      0 |      100 |        0
138.25/138.33	c  135s |       8 |    40737 |     6336 |   107405      0 |      100 |        0
140.45/140.54	c  137s |       8 |    41283 |     6436 |   107405      0 |      100 |        0
142.56/142.61	c  139s |       8 |    41812 |     6536 |   107405      0 |      100 |        0
144.85/144.93	c  142s |       8 |    42629 |     6636 |   107405      0 |      100 |        0
149.05/149.19	c  146s |       8 |    43992 |     6836 |   107405      0 |      100 |        0
151.95/152.06	c  149s |       8 |    44921 |     7036 |   107405      0 |      100 |        0
155.25/155.34	c  152s |       8 |    46479 |     7236 |   107405      0 |      100 |        0
158.54/158.65	c  156s |       8 |    47582 |     7436 |   107405      0 |      100 |        0
159.74/159.86	c  157s |       9 |    48117 |     7506 |   118146      0 |      100 |        0
161.94/162.07	c  159s |       9 |    48938 |     7606 |   118146      0 |      100 |        0
164.84/164.97	c  162s |       9 |    49603 |     7806 |   118146      0 |      100 |        0
168.74/168.90	c  166s |       9 |    50434 |     8006 |   118146      0 |      100 |        0
172.04/172.19	c  169s |       9 |    51164 |     8206 |   118146      0 |      100 |        0
176.44/176.55	c  173s |       9 |    52002 |     8406 |   118146      0 |      100 |        0
181.14/181.30	c  178s |       9 |    53497 |     8606 |   118146      0 |      100 |        0
183.64/183.72	c  181s |       9 |    54326 |     8806 |   118146      0 |      100 |        0
185.94/186.05	c  183s |       9 |    54665 |     8906 |   118146      0 |      100 |        0
189.85/189.93	c  187s |       9 |    55997 |     9106 |   118146      0 |      100 |        0
191.84/191.96	c  189s |       9 |    56492 |     9206 |   118146      0 |      100 |        0
195.35/195.42	c  192s |       9 |    57434 |     9406 |   118146      0 |      100 |        0
197.55/197.60	c  194s |       9 |    58223 |     9506 |   118146      0 |      100 |        0
200.64/200.73	c  198s |       9 |    58867 |     9706 |   118146      0 |      100 |        0
204.04/204.19	c  201s |       9 |    59752 |     9906 |   118146      0 |      100 |        0
208.04/208.18	c  205s |       9 |    61002 |    10106 |   118146      0 |      100 |        0
211.54/211.61	c  208s |       9 |    61974 |    10306 |   118146      0 |      100 |        0
214.24/214.32	c  211s |       9 |    62620 |    10506 |   118146      0 |      100 |        0
218.13/218.20	c  215s |       9 |    63634 |    10706 |   118146      0 |      100 |        0
220.33/220.42	c  217s |       9 |    64171 |    10806 |   118146      0 |      100 |        0
223.03/223.16	c  220s |       9 |    64999 |    10906 |   118146      0 |      100 |        0
225.83/225.91	c  223s |       9 |    65649 |    11106 |   118146      0 |      100 |        0
229.44/229.58	c  226s |       9 |    66405 |    11306 |   129961      0 |      100 |        0
230.23/230.39	c  227s |      10 |    66585 |    11361 |   129961      0 |      100 |        0
232.53/232.70	c  230s |      10 |    66910 |    11461 |   129961      0 |      100 |        0
236.04/236.16	c  233s |      10 |    67987 |    11661 |   129961      0 |      100 |        0
239.24/239.38	c  236s |      10 |    68738 |    11861 |   129961      0 |      100 |        0
243.13/243.20	c  240s |      10 |    69480 |    12061 |   129961      0 |      100 |        0
246.13/246.27	c  243s |      10 |    70171 |    12261 |   129961      0 |      100 |        0
249.34/249.47	c  246s |      10 |    70940 |    12461 |   129961      0 |      100 |        0
252.94/253.07	c  250s |      10 |    71390 |    12661 |   129961      0 |      100 |        0
256.84/256.95	c  254s |      10 |    72142 |    12861 |   129961      0 |      100 |        0
259.24/259.32	c  256s |      10 |    72685 |    12961 |   129961      0 |      100 |        0
264.13/264.22	c  261s |      10 |    73801 |    13161 |   129961      0 |      100 |        0
267.73/267.84	c  265s |      10 |    74252 |    13261 |   129961      0 |      100 |        0
270.33/270.49	c  267s |      10 |    74558 |    13361 |   129961      0 |      100 |        0
273.03/273.18	c  270s |      10 |    74865 |    13461 |   129961      0 |      100 |        0
275.54/275.62	c  272s |      10 |    75196 |    13561 |   129961      0 |      100 |        0
278.63/278.73	c  276s |      10 |    76116 |    13761 |   129961      0 |      100 |        0
282.03/282.16	c  279s |      10 |    76692 |    13961 |   129961      0 |      100 |        0
285.13/285.22	c  282s |      10 |    77522 |    14161 |   129961      0 |      100 |        0
287.64/287.75	c  285s |      10 |    78270 |    14361 |   129961      0 |      100 |        0
291.04/291.12	c  288s |      10 |    78790 |    14561 |   129961      0 |      100 |        0
294.03/294.11	c  291s |      10 |    79554 |    14761 |   129961      0 |      100 |        0
297.13/297.28	c  294s |      10 |    80205 |    14961 |   129961      0 |      100 |        0
300.13/300.22	c  297s |      10 |    81230 |    15161 |   129961      0 |      100 |        0
303.33/303.46	c  300s |      10 |    82182 |    15361 |   129961      0 |      100 |        0
306.03/306.13	c  303s |      10 |    83050 |    15561 |   129961      0 |      100 |        0
308.93/309.01	c  306s |      10 |    83638 |    15761 |   129961      0 |      100 |        0
311.83/311.98	c  309s |      10 |    84197 |    15961 |   129961      0 |      100 |        0
314.93/315.06	c  312s |      10 |    84684 |    16161 |   129961      0 |      100 |        0
317.13/317.23	c  314s |      10 |    85008 |    16261 |   129961      0 |      100 |        0
319.63/319.73	c  317s |      10 |    85439 |    16361 |   129961      0 |      100 |        0
323.72/323.82	c  321s |      10 |    86905 |    16561 |   129961      0 |      100 |        0
326.72/326.88	c  324s |      10 |    88049 |    16861 |   129961      0 |      100 |        0
327.72/327.86	c  325s |      11 |    89658 |    17144 |   142958      0 |      100 |        0
331.22/331.35	c  328s |      11 |    90926 |    17344 |   142958      0 |      100 |        0
334.32/334.49	c  331s |      11 |    91416 |    17544 |   142958      0 |      100 |        0
336.82/336.95	c  334s |      11 |    92028 |    17644 |   142958      0 |      100 |        0
338.92/339.03	c  336s |      11 |    93368 |    17944 |   142958      0 |      100 |        0
341.63/341.75	c  339s |      11 |    95296 |    18344 |   142958      0 |      100 |        0
344.12/344.24	c  341s |      11 |    98395 |    19044 |   142958      0 |      100 |        0
346.52/346.61	c  343s |      11 |   101930 |    19544 |   142958      0 |      100 |        0
348.62/348.70	c  346s |      11 |   103198 |    19944 |   142958      0 |      100 |        0
350.62/350.78	c  348s |      11 |   104399 |    20344 |   142958      0 |      100 |        0
352.72/352.84	c  350s |      11 |   106474 |    20744 |   142958      0 |      100 |        0
355.12/355.25	c  352s |      11 |   109074 |    21344 |   142958      0 |      100 |        0
357.32/357.49	c  354s |      11 |   110698 |    21944 |   142958      0 |      100 |        0
359.42/359.52	c  356s |      11 |   111672 |    22344 |   142958      0 |      100 |        0
361.52/361.60	c  358s |      11 |   113599 |    22844 |   142958      0 |      100 |        0
363.72/363.87	c  361s |      11 |   115263 |    23344 |   142958      0 |      100 |        0
366.22/366.36	c  363s |      11 |   116791 |    23844 |   142958      0 |      100 |        0
368.72/368.84	c  366s |      11 |   119428 |    24444 |   142958      0 |      100 |        0
371.02/371.10	c  368s |      11 |   120582 |    24844 |   142958      0 |      100 |        0
373.42/373.60	c  370s |      11 |   123207 |    25444 |   142958      0 |      100 |        0
378.02/378.17	c  375s |      11 |   124478 |    25744 |   157254      0 |      100 |        0
381.12/381.24	c  378s |      12 |   124917 |    25819 |   157254      0 |      100 |        0
385.71/385.89	c  383s |      12 |   125606 |    25919 |   157254      0 |      100 |        0
388.82/388.92	c  386s |      12 |   126634 |    26119 |   157254      0 |      100 |        0
390.81/390.95	c  388s |      12 |   128704 |    26419 |   157254      0 |      100 |        0
393.22/393.38	c  390s |      12 |   130622 |    26919 |   157254      0 |      100 |        0
395.52/395.63	c  393s |      12 |   133250 |    27419 |   157254      0 |      100 |        0
397.62/397.79	c  395s |      12 |   136022 |    27919 |   157254      0 |      100 |        0
399.82/399.97	c  397s |      12 |   137725 |    28419 |   157254      0 |      100 |        0
402.02/402.19	c  399s |      12 |   139835 |    28919 |   157254      0 |      100 |        0
404.32/404.43	c  401s |      12 |   141404 |    29419 |   157254      0 |      100 |        0
406.31/406.45	c  403s |      12 |   142694 |    29819 |   157254      0 |      100 |        0
408.51/408.67	c  406s |      12 |   144695 |    30319 |   157254      0 |      100 |        0
410.51/410.69	c  408s |      12 |   146347 |    30719 |   157254      0 |      100 |        0
412.81/412.90	c  410s |      12 |   147828 |    31119 |   157254      0 |      100 |        0
415.11/415.21	c  412s |      12 |   149410 |    31519 |   157254      0 |      100 |        0
417.21/417.33	c  414s |      12 |   150919 |    31819 |   157254      0 |      100 |        0
419.51/419.64	c  417s |      12 |   152770 |    32319 |   157254      0 |      100 |        0
421.81/421.96	c  419s |      12 |   153789 |    32719 |   157254      0 |      100 |        0
423.81/423.99	c  421s |      12 |   155192 |    33219 |   157254      0 |      100 |        0
426.21/426.37	c  423s |      12 |   156494 |    33719 |   157254      0 |      100 |        0
428.51/428.66	c  426s |      12 |   157463 |    34119 |   157254      0 |      100 |        0
430.91/431.06	c  428s |      12 |   158658 |    34519 |   157254      0 |      100 |        0
433.31/433.41	c  430s |      12 |   160135 |    35119 |   157254      0 |      100 |        0
435.31/435.48	c  432s |      12 |   161873 |    35619 |   157254      0 |      100 |        0
437.31/437.49	c  434s |      12 |   163273 |    36019 |   157254      0 |      100 |        0
439.71/439.81	c  437s |      12 |   164758 |    36519 |   157254      0 |      100 |        0
441.80/441.95	c  439s |      12 |   165980 |    36919 |   157254      0 |      100 |        0
444.00/444.10	c  441s |      12 |   167351 |    37319 |   157254      0 |      100 |        0
446.30/446.40	c  443s |      12 |   168299 |    37719 |   157254      0 |      100 |        0
448.40/448.53	c  445s |      12 |   169497 |    38119 |   157254      0 |      100 |        0
450.41/450.53	c  447s |      12 |   170545 |    38419 |   157254      0 |      100 |        0
452.71/452.89	c  450s |      12 |   171425 |    38819 |   172980      0 |      100 |        0
452.90/453.01	c  450s |      13 |   171459 |    38832 |   172980      0 |      100 |        0
455.10/455.23	c  452s |      13 |   172119 |    39132 |   172980      0 |      100 |        0
457.30/457.42	c  454s |      13 |   172964 |    39432 |   172980      0 |      100 |        0
459.70/459.81	c  457s |      13 |   173938 |    39832 |   172980      0 |      100 |        0
462.00/462.20	c  459s |      13 |   175742 |    40332 |   172980      0 |      100 |        0
464.40/464.55	c  461s |      13 |   176929 |    40832 |   172980      0 |      100 |        0
466.40/466.59	c  463s |      13 |   177982 |    41232 |   172980      0 |      100 |        0
469.11/469.24	c  466s |      13 |   179049 |    41632 |   172980      0 |      100 |        0
471.41/471.57	c  468s |      13 |   180000 |    42032 |   172980      0 |      100 |        0
473.70/473.84	c  471s |      13 |   181442 |    42432 |   172980      0 |      100 |        0
475.71/475.90	c  473s |      13 |   182176 |    42732 |   172980      0 |      100 |        0
478.01/478.13	c  475s |      13 |   182621 |    43032 |   172980      0 |      100 |        0
480.21/480.38	c  477s |      13 |   183598 |    43432 |   172980      0 |      100 |        0
482.70/482.85	c  480s |      13 |   184576 |    43832 |   172980      0 |      100 |        0
485.10/485.25	c  482s |      13 |   185536 |    44232 |   172980      0 |      100 |        0
487.20/487.34	c  484s |      13 |   186142 |    44532 |   172980      0 |      100 |        0
489.70/489.85	c  487s |      13 |   187109 |    44932 |   172980      0 |      100 |        0
492.40/492.56	c  489s |      13 |   188214 |    45332 |   172980      0 |      100 |        0
494.80/494.93	c  492s |      13 |   189249 |    45732 |   172980      0 |      100 |        0
496.90/497.04	c  494s |      13 |   190053 |    46032 |   172980      0 |      100 |        0
499.10/499.29	c  496s |      13 |   191232 |    46332 |   172980      0 |      100 |        0
501.69/501.85	c  499s |      13 |   192321 |    46732 |   172980      0 |      100 |        0
504.09/504.24	c  501s |      13 |   193145 |    47132 |   172980      0 |      100 |        0
506.79/506.92	c  504s |      13 |   194211 |    47532 |   172980      0 |      100 |        0
509.39/509.52	c  506s |      13 |   195496 |    47932 |   172980      0 |      100 |        0
511.79/511.92	c  509s |      13 |   196515 |    48332 |   172980      0 |      100 |        0
513.79/513.98	c  511s |      13 |   197708 |    48632 |   172980      0 |      100 |        0
516.09/516.26	c  513s |      13 |   198872 |    49132 |   172980      0 |      100 |        0
518.39/518.56	c  515s |      13 |   199991 |    49532 |   172980      0 |      100 |        0
521.09/521.22	c  518s |      13 |   201160 |    49932 |   172980      0 |      100 |        0
523.29/523.49	c  520s |      13 |   202481 |    50432 |   172980      0 |      100 |        0
525.69/525.82	c  523s |      13 |   203575 |    50832 |   172980      0 |      100 |        0
527.99/528.19	c  525s |      13 |   204585 |    51232 |   172980      0 |      100 |        0
530.49/530.67	c  528s |      13 |   205453 |    51632 |   172980      0 |      100 |        0
532.79/532.97	c  530s |      13 |   206882 |    52132 |   172980      0 |      100 |        0
535.10/535.30	c  532s |      13 |   208090 |    52632 |   172980      0 |      100 |        0
537.30/537.42	c  534s |      13 |   208773 |    52932 |   172980      0 |      100 |        0
539.29/539.47	c  536s |      13 |   209398 |    53232 |   172980      0 |      100 |        0
542.09/542.22	c  539s |      13 |   210273 |    53632 |   172980      0 |      100 |        0
544.19/544.38	c  541s |      13 |   210923 |    53932 |   172980      0 |      100 |        0
546.39/546.59	c  543s |      13 |   211782 |    54232 |   172980      0 |      100 |        0
548.69/548.88	c  546s |      13 |   212721 |    54532 |   172980      0 |      100 |        0
551.19/551.30	c  548s |      13 |   213369 |    54832 |   172980      0 |      100 |        0
553.29/553.45	c  550s |      13 |   213940 |    55132 |   172980      0 |      100 |        0
555.29/555.47	c  552s |      13 |   214518 |    55432 |   172980      0 |      100 |        0
558.09/558.21	c  555s |      13 |   216080 |    55932 |   172980      0 |      100 |        0
560.08/560.27	c  557s |      13 |   217087 |    56232 |   172980      0 |      100 |        0
562.18/562.31	c  559s |      13 |   217901 |    56632 |   172980      0 |      100 |        0
564.68/564.84	c  562s |      13 |   218704 |    57032 |   172980      0 |      100 |        0
566.99/567.19	c  564s |      13 |   219647 |    57432 |   172980      0 |      100 |        0
569.58/569.78	c  567s |      13 |   220333 |    57832 |   172980      0 |      100 |        0
572.08/572.22	c  569s |      13 |   220870 |    58132 |   190279      0 |      100 |        0
573.38/573.59	c  570s |      14 |   221292 |    58352 |   190279      0 |      100 |        0
575.89/576.07	c  573s |      14 |   221957 |    58652 |   190279      0 |      100 |        0
577.99/578.14	c  575s |      14 |   222972 |    58952 |   190279      0 |      100 |        0
580.38/580.59	c  577s |      14 |   223684 |    59252 |   190279      0 |      100 |        0
582.39/582.59	c  579s |      14 |   224408 |    59552 |   190279      0 |      100 |        0
584.59/584.79	c  582s |      14 |   225203 |    59952 |   190279      0 |      100 |        0
587.48/587.66	c  585s |      14 |   226345 |    60352 |   190279      0 |      100 |        0
589.48/589.69	c  587s |      14 |   227584 |    60752 |   190279      0 |      100 |        0
591.98/592.19	c  589s |      14 |   228567 |    61152 |   190279      0 |      100 |        0
594.38/594.60	c  591s |      14 |   230008 |    61552 |   190279      0 |      100 |        0
596.79/596.92	c  594s |      14 |   231112 |    61952 |   190279      0 |      100 |        0
599.48/599.64	c  597s |      14 |   232139 |    62152 |   190279      0 |      100 |        0
601.58/601.72	c  599s |      14 |   232739 |    62452 |   190279      0 |      100 |        0
603.58/603.78	c  601s |      14 |   233662 |    62752 |   190279      0 |      100 |        0
605.88/606.03	c  603s |      14 |   234659 |    63152 |   190279      0 |      100 |        0
609.48/609.61	c  606s |      14 |   235865 |    63552 |   190279      0 |      100 |        0
612.08/612.29	c  609s |      14 |   236334 |    63652 |   190279      0 |      100 |        0
614.28/614.41	c  611s |      14 |   236683 |    63752 |   190279      0 |      100 |        0
616.58/616.74	c  614s |      14 |   237038 |    63852 |   190279      0 |      100 |        0
620.68/620.80	c  618s |      14 |   237736 |    63952 |   190279      0 |      100 |        0
622.68/622.81	c  620s |      14 |   238467 |    64252 |   190279      0 |      100 |        0
624.78/624.91	c  622s |      14 |   239253 |    64652 |   190279      0 |      100 |        0
626.97/627.14	c  624s |      14 |   239947 |    64952 |   190279      0 |      100 |        0
629.57/629.71	c  627s |      14 |   240698 |    65352 |   190279      0 |      100 |        0
631.88/632.03	c  629s |      14 |   241165 |    65652 |   190279      0 |      100 |        0
634.57/634.71	c  632s |      14 |   241816 |    66052 |   190279      0 |      100 |        0
636.97/637.13	c  634s |      14 |   242319 |    66352 |   190279      0 |      100 |        0
639.27/639.48	c  636s |      14 |   242717 |    66652 |   190279      0 |      100 |        0
641.57/641.73	c  639s |      14 |   243194 |    66952 |   190279      0 |      100 |        0
644.27/644.43	c  641s |      14 |   244227 |    67452 |   190279      0 |      100 |        0
646.77/646.92	c  644s |      14 |   245164 |    67852 |   190279      0 |      100 |        0
649.27/649.45	c  646s |      14 |   246287 |    68252 |   190279      0 |      100 |        0
651.57/651.80	c  649s |      14 |   247457 |    68652 |   190279      0 |      100 |        0
654.17/654.38	c  651s |      14 |   248275 |    69052 |   190279      0 |      100 |        0
656.27/656.46	c  653s |      14 |   248888 |    69352 |   190279      0 |      100 |        0
658.57/658.78	c  656s |      14 |   249599 |    69752 |   190279      0 |      100 |        0
661.27/661.44	c  658s |      14 |   250471 |    70152 |   190279      0 |      100 |        0
663.47/663.67	c  661s |      14 |   250946 |    70452 |   190279      0 |      100 |        0
665.87/666.06	c  663s |      14 |   251544 |    70752 |   190279      0 |      100 |        0
668.36/668.55	c  665s |      14 |   252122 |    71052 |   190279      0 |      100 |        0
670.37/670.59	c  667s |      14 |   252544 |    71352 |   190279      0 |      100 |        0
673.16/673.31	c  670s |      14 |   253160 |    71752 |   190279      0 |      100 |        0
675.46/675.64	c  673s |      14 |   253791 |    72152 |   190279      0 |      100 |        0
677.86/678.08	c  675s |      14 |   254360 |    72452 |   190279      0 |      100 |        0
680.16/680.33	c  677s |      14 |   254916 |    72752 |   190279      0 |      100 |        0
682.96/683.10	c  680s |      14 |   255611 |    73152 |   190279      0 |      100 |        0
685.26/685.43	c  682s |      14 |   256252 |    73552 |   190279      0 |      100 |        0
687.56/687.76	c  685s |      14 |   256794 |    73852 |   190279      0 |      100 |        0
689.76/689.95	c  687s |      14 |   257270 |    74152 |   190279      0 |      100 |        0
691.86/692.00	c  689s |      14 |   257732 |    74452 |   190279      0 |      100 |        0
694.36/694.55	c  691s |      14 |   258373 |    74852 |   190279      0 |      100 |        0
696.56/696.79	c  694s |      14 |   258786 |    75152 |   190279      0 |      100 |        0
699.16/699.34	c  696s |      14 |   259290 |    75452 |   190279      0 |      100 |        0
701.26/701.48	c  698s |      14 |   259723 |    75752 |   190279      0 |      100 |        0
703.76/703.90	c  701s |      14 |   260294 |    76052 |   190279      0 |      100 |        0
706.06/706.24	c  703s |      14 |   261099 |    76352 |   190279      0 |      100 |        0
708.26/708.46	c  705s |      14 |   262061 |    76752 |   190279      0 |      100 |        0
710.36/710.54	c  707s |      14 |   262957 |    77152 |   190279      0 |      100 |        0
712.35/712.58	c  709s |      14 |   263777 |    77552 |   190279      0 |      100 |        0
714.55/714.77	c  712s |      14 |   264690 |    78052 |   190279      0 |      100 |        0
717.05/717.21	c  714s |      14 |   265548 |    78452 |   190279      0 |      100 |        0
719.05/719.29	c  716s |      14 |   266465 |    78852 |   190279      0 |      100 |        0
721.25/721.49	c  718s |      14 |   267319 |    79252 |   190279      0 |      100 |        0
723.55/723.78	c  721s |      14 |   268104 |    79652 |   190279      0 |      100 |        0
725.95/726.16	c  723s |      14 |   269035 |    80052 |   190279      0 |      100 |        0
728.66/728.81	c  726s |      14 |   270200 |    80452 |   190279      0 |      100 |        0
731.05/731.25	c  728s |      14 |   270816 |    80752 |   190279      0 |      100 |        0
733.85/734.00	c  731s |      14 |   271812 |    81152 |   190279      0 |      100 |        0
735.85/736.05	c  733s |      14 |   272332 |    81452 |   190279      0 |      100 |        0
738.56/738.73	c  736s |      14 |   273078 |    81852 |   190279      0 |      100 |        0
740.86/741.08	c  738s |      14 |   273720 |    82152 |   190279      0 |      100 |        0
743.06/743.25	c  740s |      14 |   274235 |    82452 |   190279      0 |      100 |        0
745.35/745.54	c  742s |      14 |   274936 |    82752 |   190279      0 |      100 |        0
747.95/748.15	c  745s |      14 |   275738 |    83152 |   190279      0 |      100 |        0
750.25/750.47	c  747s |      14 |   276309 |    83452 |   190279      0 |      100 |        0
752.45/752.66	c  750s |      14 |   276863 |    83752 |   190279      0 |      100 |        0
754.55/754.71	c  752s |      14 |   277336 |    84052 |   190279      0 |      100 |        0
756.95/757.11	c  754s |      14 |   277790 |    84352 |   190279      0 |      100 |        0
759.25/759.41	c  756s |      14 |   278571 |    84752 |   190279      0 |      100 |        0
761.25/761.42	c  758s |      14 |   279186 |    85052 |   190279      0 |      100 |        0
763.85/764.07	c  761s |      14 |   279792 |    85452 |   190279      0 |      100 |        0
766.05/766.27	c  763s |      14 |   280798 |    85852 |   190279      0 |      100 |        0
768.05/768.29	c  765s |      14 |   281303 |    86152 |   190279      0 |      100 |        0
770.35/770.58	c  767s |      14 |   281978 |    86452 |   190279      0 |      100 |        0
772.55/772.80	c  770s |      14 |   282546 |    86752 |   190279      0 |      100 |        0
774.65/774.81	c  772s |      14 |   283034 |    87052 |   209307      0 |      100 |        0
776.64/776.89	c  774s |      14 |   283632 |    87352 |   209307      0 |      100 |        0
778.25/778.44	c  775s |      15 |   284073 |    87632 |   209307      0 |      100 |        0
780.64/780.88	c  778s |      15 |   284703 |    87932 |   209307      0 |      100 |        0
782.94/783.11	c  780s |      15 |   285533 |    88332 |   209307      0 |      100 |        0
785.24/785.43	c  782s |      15 |   286366 |    88732 |   209307      0 |      100 |        0
787.34/787.52	c  784s |      15 |   287260 |    89132 |   209307      0 |      100 |        0
789.64/789.84	c  787s |      15 |   287944 |    89532 |   209307      0 |      100 |        0
791.94/792.10	c  789s |      15 |   289450 |    90032 |   209307      0 |      100 |        0
794.04/794.29	c  791s |      15 |   290672 |    90632 |   209307      0 |      100 |        0
796.14/796.39	c  793s |      15 |   291834 |    91132 |   209307      0 |      100 |        0
798.64/798.88	c  796s |      15 |   293028 |    91632 |   209307      0 |      100 |        0
800.94/801.12	c  798s |      15 |   294012 |    92132 |   209307      0 |      100 |        0
803.45/803.61	c  800s |      15 |   294766 |    92632 |   209307      0 |      100 |        0
805.94/806.12	c  803s |      15 |   295523 |    93132 |   209307      0 |      100 |        0
808.04/808.22	c  805s |      15 |   296075 |    93532 |   209307      0 |      100 |        0
810.15/810.37	c  807s |      15 |   296791 |    94032 |   209307      0 |      100 |        0
812.14/812.37	c  809s |      15 |   297669 |    94532 |   209307      0 |      100 |        0
814.45/814.64	c  812s |      15 |   298536 |    95032 |   209307      0 |      100 |        0
816.65/816.82	c  814s |      15 |   299441 |    95532 |   209307      0 |      100 |        0
818.85/819.01	c  816s |      15 |   300294 |    96132 |   209307      0 |      100 |        0
820.94/821.13	c  818s |      15 |   301095 |    96632 |   209307      0 |      100 |        0
823.14/823.37	c  820s |      15 |   301744 |    97132 |   209307      0 |      100 |        0
825.64/825.85	c  823s |      15 |   302640 |    97632 |   209307      0 |      100 |        0
827.84/828.06	c  825s |      15 |   303080 |    97932 |   209307      0 |      100 |        0
830.24/830.40	c  827s |      15 |   303728 |    98332 |   209307      0 |      100 |        0
832.24/832.40	c  829s |      15 |   304195 |    98632 |   209307      0 |      100 |        0
834.44/834.68	c  832s |      15 |   304971 |    99132 |   209307      0 |      100 |        0
836.74/836.93	c  834s |      15 |   305699 |    99632 |   209307      0 |      100 |        0
838.94/839.19	c  836s |      15 |   306204 |   100032 |   209307      0 |      100 |        0
841.64/841.81	c  839s |      15 |   306870 |   100432 |   209307      0 |      100 |        0
843.93/844.16	c  841s |      15 |   307494 |   100832 |   209307      0 |      100 |        0
846.23/846.47	c  843s |      15 |   308136 |   101232 |   209307      0 |      100 |        0
848.43/848.67	c  846s |      15 |   309045 |   101832 |   209307      0 |      100 |        0
850.74/850.93	c  848s |      15 |   310057 |   102332 |   209307      0 |      100 |        0
852.83/853.02	c  850s |      15 |   310634 |   102732 |   209307      0 |      100 |        0
855.03/855.26	c  852s |      15 |   311297 |   103232 |   209307      0 |      100 |        0
857.13/857.30	c  854s |      15 |   312055 |   103732 |   209307      0 |      100 |        0
859.13/859.32	c  856s |      15 |   312579 |   104132 |   209307      0 |      100 |        0
861.23/861.48	c  858s |      15 |   313332 |   104632 |   209307      0 |      100 |        0
863.53/863.77	c  861s |      15 |   313965 |   105132 |   209307      0 |      100 |        0
865.74/865.90	c  863s |      15 |   314458 |   105532 |   209307      0 |      100 |        0
868.14/868.37	c  865s |      15 |   315169 |   106032 |   209307      0 |      100 |        0
870.34/870.53	c  867s |      15 |   315707 |   106432 |   209307      0 |      100 |        0
872.75/872.93	c  870s |      15 |   316329 |   106932 |   209307      0 |      100 |        0
874.74/875.00	c  872s |      15 |   316852 |   107332 |   209307      0 |      100 |        0
876.94/877.19	c  874s |      15 |   317450 |   107732 |   209307      0 |      100 |        0
879.34/879.58	c  876s |      15 |   318378 |   108332 |   209307      0 |      100 |        0
881.74/881.90	c  879s |      15 |   319156 |   108932 |   209307      0 |      100 |        0
883.74/883.94	c  881s |      15 |   320093 |   109632 |   209307      0 |      100 |        0
885.94/886.13	c  883s |      15 |   321217 |   110332 |   209307      0 |      100 |        0
888.04/888.20	c  885s |      15 |   322195 |   111032 |   209307      0 |      100 |        0
890.34/890.57	c  887s |      15 |   323067 |   111632 |   209307      0 |      100 |        0
892.44/892.64	c  890s |      15 |   323801 |   112232 |   209307      0 |      100 |        0
894.64/894.81	c  892s |      15 |   324662 |   112832 |   209307      0 |      100 |        0
896.63/896.89	c  894s |      15 |   325761 |   113432 |   209307      0 |      100 |        0
898.73/898.97	c  896s |      15 |   327315 |   114032 |   209307      0 |      100 |        0
900.83/901.03	c  898s |      15 |   328363 |   114732 |   209307      0 |      100 |        0
902.83/903.09	c  900s |      15 |   329281 |   115432 |   209307      0 |      100 |        0
905.13/905.31	c  902s |      15 |   330406 |   116132 |   209307      0 |      100 |        0
907.13/907.32	c  904s |      15 |   331412 |   116632 |   209307      0 |      100 |        0
909.33/909.53	c  906s |      15 |   332362 |   117232 |   209307      0 |      100 |        0
911.43/911.64	c  909s |      15 |   333207 |   117732 |   209307      0 |      100 |        0
913.73/913.90	c  911s |      15 |   333872 |   118232 |   209307      0 |      100 |        0
915.83/916.05	c  913s |      15 |   334594 |   118732 |   209307      0 |      100 |        0
918.43/918.64	c  916s |      15 |   335558 |   119332 |   209307      0 |      100 |        0
920.43/920.69	c  918s |      15 |   336206 |   119632 |   209307      0 |      100 |        0
922.83/923.02	c  920s |      15 |   337660 |   119932 |   209307      0 |      100 |        0
925.13/925.36	c  922s |      15 |   338841 |   120232 |   209307      0 |      100 |        0
927.53/927.76	c  925s |      15 |   339488 |   120532 |   209307      0 |      100 |        0
929.63/929.87	c  927s |      15 |   340262 |   120832 |   209307      0 |      100 |        0
931.83/932.01	c  929s |      15 |   340775 |   121132 |   209307      0 |      100 |        0
934.23/934.40	c  931s |      15 |   341418 |   121532 |   209307      0 |      100 |        0
936.53/936.77	c  934s |      15 |   342065 |   121932 |   209307      0 |      100 |        0
938.62/938.89	c  936s |      15 |   342501 |   122232 |   209307      0 |      100 |        0
940.82/941.03	c  938s |      15 |   343182 |   122632 |   209307      0 |      100 |        0
943.42/943.66	c  941s |      15 |   343851 |   123132 |   209307      0 |      100 |        0
945.72/945.90	c  943s |      15 |   344378 |   123432 |   209307      0 |      100 |        0
947.82/948.04	c  945s |      15 |   344992 |   123732 |   209307      0 |      100 |        0
950.12/950.31	c  947s |      15 |   345494 |   124032 |   209307      0 |      100 |        0
952.52/952.72	c  950s |      15 |   346173 |   124432 |   209307      0 |      100 |        0
954.82/955.05	c  952s |      15 |   346759 |   124832 |   209307      0 |      100 |        0
957.42/957.62	c  954s |      15 |   347577 |   125432 |   209307      0 |      100 |        0
959.73/959.92	c  957s |      15 |   348177 |   125732 |   209307      0 |      100 |        0
961.72/961.93	c  959s |      15 |   348716 |   126032 |   209307      0 |      100 |        0
964.02/964.28	c  961s |      15 |   349337 |   126432 |   209307      0 |      100 |        0
966.12/966.30	c  963s |      15 |   349794 |   126732 |   209307      0 |      100 |        0
968.21/968.42	c  965s |      15 |   350517 |   127232 |   209307      0 |      100 |        0
970.21/970.49	c  967s |      15 |   350998 |   127532 |   209307      0 |      100 |        0
972.41/972.63	c  970s |      15 |   351531 |   127932 |   209307      0 |      100 |        0
974.41/974.64	c  972s |      15 |   352065 |   128332 |   209307      0 |      100 |        0
976.71/976.98	c  974s |      15 |   352594 |   128732 |   209307      0 |      100 |        0
979.01/979.23	c  976s |      15 |   353435 |   129332 |   209307      0 |      100 |        0
981.01/981.25	c  978s |      15 |   354259 |   129932 |   209307      0 |      100 |        0
983.21/983.46	c  980s |      15 |   355046 |   130532 |   209307      0 |      100 |        0
985.71/985.97	c  983s |      15 |   355605 |   130932 |   230238      0 |      100 |        0
987.81/988.00	c  985s |      15 |   356078 |   131332 |   230238      0 |      100 |        0
989.11/989.37	c  986s |      16 |   356324 |   131552 |   230238      0 |      100 |        0
991.41/991.68	c  989s |      16 |   357368 |   131752 |   230238      0 |      100 |        0
994.01/994.20	c  991s |      16 |   358682 |   132252 |   230238      0 |      100 |        0
996.01/996.21	c  993s |      16 |   359291 |   132552 |   230238      0 |      100 |        0
998.21/998.46	c  995s |      16 |   359971 |   132852 |   230238      0 |      100 |        0
1000.80/1001.03	c  998s |      16 |   360502 |   133152 |   230238      0 |      100 |        0
1003.10/1003.31	c 1000s |      16 |   361028 |   133452 |   230238      0 |      100 |        0
1005.30/1005.52	c 1002s |      16 |   361575 |   133752 |   230238      0 |      100 |        0
1007.50/1007.71	c 1005s |      16 |   362069 |   134052 |   230238      0 |      100 |        0
1009.90/1010.14	c 1007s |      16 |   362675 |   134352 |   230238      0 |      100 |        0
1012.51/1012.77	c 1010s |      16 |   363314 |   134652 |   230238      0 |      100 |        0
1014.71/1014.95	c 1012s |      16 |   363834 |   134952 |   230238      0 |      100 |        0
1017.00/1017.25	c 1014s |      16 |   364773 |   135352 |   230238      0 |      100 |        0
1019.70/1019.95	c 1017s |      16 |   365600 |   135752 |   230238      0 |      100 |        0
1022.40/1022.67	c 1020s |      16 |   366468 |   136152 |   230238      0 |      100 |        0
1024.60/1024.84	c 1022s |      16 |   367121 |   136452 |   230238      0 |      100 |        0
1026.59/1026.89	c 1024s |      16 |   367628 |   136752 |   230238      0 |      100 |        0
1028.69/1028.98	c 1026s |      16 |   368081 |   137052 |   230238      0 |      100 |        0
1030.79/1031.00	c 1028s |      16 |   368456 |   137252 |   230238      0 |      100 |        0
1032.99/1033.28	c 1030s |      16 |   369067 |   137652 |   230238      0 |      100 |        0
1034.98/1035.28	c 1032s |      16 |   369770 |   138052 |   230238      0 |      100 |        0
1036.98/1037.29	c 1034s |      16 |   370307 |   138252 |   230238      0 |      100 |        0
1041.38/1041.64	c 1039s |      16 |   370837 |   138452 |   230238      0 |      100 |        0
1043.98/1044.26	c 1041s |      16 |   371230 |   138552 |   230238      0 |      100 |        0
1047.28/1047.56	c 1044s |      16 |   371463 |   138652 |   230238      0 |      100 |        0
1050.89/1051.17	c 1048s |      16 |   371970 |   138752 |   230238      0 |      100 |        0
1053.68/1053.97	c 1051s |      16 |   372370 |   138852 |   230238      0 |      100 |        0
1056.68/1056.97	c 1054s |      16 |   372833 |   138952 |   230238      0 |      100 |        0
1059.88/1060.12	c 1057s |      16 |   373228 |   139052 |   230238      0 |      100 |        0
1063.77/1064.09	c 1061s |      16 |   374161 |   139152 |   230238      0 |      100 |        0
1067.67/1067.96	c 1065s |      16 |   374926 |   139252 |   230238      0 |      100 |        0
1069.87/1070.18	c 1067s |      16 |   375914 |   139552 |   230238      0 |      100 |        0
1072.98/1073.24	c 1070s |      16 |   377085 |   139952 |   230238      0 |      100 |        0
1075.47/1075.74	c 1073s |      16 |   378079 |   140352 |   230238      0 |      100 |        0
1077.97/1078.23	c 1075s |      16 |   378802 |   140652 |   230238      0 |      100 |        0
1079.97/1080.24	c 1077s |      16 |   379589 |   140952 |   230238      0 |      100 |        0
1082.57/1082.88	c 1080s |      16 |   380202 |   141252 |   230238      0 |      100 |        0
1084.87/1085.11	c 1082s |      16 |   380941 |   141552 |   230238      0 |      100 |        0
1087.17/1087.50	c 1084s |      16 |   381908 |   142052 |   230238      0 |      100 |        0
1089.47/1089.76	c 1087s |      16 |   382470 |   142352 |   230238      0 |      100 |        0
1091.46/1091.77	c 1089s |      16 |   383215 |   142752 |   230238      0 |      100 |        0
1093.77/1094.02	c 1091s |      16 |   384218 |   143152 |   230238      0 |      100 |        0
1096.46/1096.78	c 1094s |      16 |   385651 |   143652 |   230238      0 |      100 |        0
1098.86/1099.13	c 1096s |      16 |   386935 |   144152 |   230238      0 |      100 |        0
1101.06/1101.31	c 1098s |      16 |   387783 |   144652 |   230238      0 |      100 |        0
1103.36/1103.67	c 1101s |      16 |   388931 |   145152 |   230238      0 |      100 |        0
1105.56/1105.81	c 1103s |      16 |   390078 |   145652 |   230238      0 |      100 |        0
1107.56/1107.88	c 1105s |      16 |   391112 |   146152 |   230238      0 |      100 |        0
1109.76/1110.06	c 1107s |      16 |   391895 |   146652 |   230238      0 |      100 |        0
1111.96/1112.24	c 1109s |      16 |   392755 |   147052 |   230238      0 |      100 |        0
1114.66/1114.93	c 1112s |      16 |   393462 |   147452 |   230238      0 |      100 |        0
1116.86/1117.13	c 1114s |      16 |   394041 |   147752 |   230238      0 |      100 |        0
1118.85/1119.13	c 1116s |      16 |   394611 |   148052 |   230238      0 |      100 |        0
1121.15/1121.45	c 1118s |      16 |   395389 |   148452 |   230238      0 |      100 |        0
1123.65/1123.99	c 1121s |      16 |   396143 |   148852 |   230238      0 |      100 |        0
1126.05/1126.31	c 1123s |      16 |   396659 |   149152 |   230238      0 |      100 |        0
1128.45/1128.71	c 1126s |      16 |   397377 |   149452 |   230238      0 |      100 |        0
1130.65/1130.91	c 1128s |      16 |   398256 |   149852 |   230238      0 |      100 |        0
1132.94/1133.29	c 1130s |      16 |   398758 |   150152 |   230238      0 |      100 |        0
1135.34/1135.66	c 1133s |      16 |   399201 |   150452 |   230238      0 |      100 |        0
1137.54/1137.82	c 1135s |      16 |   399734 |   150752 |   230238      0 |      100 |        0
1139.74/1140.03	c 1137s |      16 |   400330 |   151052 |   230238      0 |      100 |        0
1141.74/1142.04	c 1139s |      16 |   401307 |   151652 |   230238      0 |      100 |        0
1143.84/1144.11	c 1141s |      16 |   401899 |   151952 |   230238      0 |      100 |        0
1145.84/1146.12	c 1143s |      16 |   402491 |   152252 |   230238      0 |      100 |        0
1148.54/1148.89	c 1146s |      16 |   403331 |   152752 |   230238      0 |      100 |        0
1150.64/1150.94	c 1148s |      16 |   403998 |   153152 |   230238      0 |      100 |        0
1152.63/1152.98	c 1150s |      16 |   404909 |   153652 |   230238      0 |      100 |        0
1154.63/1155.00	c 1152s |      16 |   405802 |   154152 |   230238      0 |      100 |        0
1156.83/1157.15	c 1154s |      16 |   406545 |   154552 |   230238      0 |      100 |        0
1159.03/1159.35	c 1156s |      16 |   407350 |   155052 |   230238      0 |      100 |        0
1161.73/1162.02	c 1159s |      16 |   408509 |   155652 |   230238      0 |      100 |        0
1163.93/1164.21	c 1161s |      16 |   409058 |   155952 |   230238      0 |      100 |        0
1165.93/1166.28	c 1163s |      16 |   409647 |   156252 |   230238      0 |      100 |        0
1168.33/1168.66	c 1166s |      16 |   410599 |   156852 |   230238      0 |      100 |        0
1170.73/1171.01	c 1168s |      16 |   411375 |   157252 |   230238      0 |      100 |        0
1172.93/1173.21	c 1170s |      16 |   412089 |   157652 |   230238      0 |      100 |        0
1175.23/1175.51	c 1172s |      16 |   412735 |   158052 |   230238      0 |      100 |        0
1177.52/1177.88	c 1175s |      16 |   413486 |   158552 |   230238      0 |      100 |        0
1180.12/1180.47	c 1177s |      16 |   414157 |   158952 |   230238      0 |      100 |        0
1182.12/1182.50	c 1179s |      16 |   414793 |   159252 |   230238      0 |      100 |        0
1184.52/1184.82	c 1182s |      16 |   415878 |   159652 |   230238      0 |      100 |        0
1186.72/1187.05	c 1184s |      16 |   416569 |   159952 |   230238      0 |      100 |        0
1188.92/1189.29	c 1186s |      16 |   418204 |   160352 |   230238      0 |      100 |        0
1191.42/1191.74	c 1189s |      16 |   419891 |   160752 |   230238      0 |      100 |        0
1193.71/1194.04	c 1191s |      16 |   420740 |   161152 |   230238      0 |      100 |        0
1196.41/1196.71	c 1194s |      16 |   421696 |   161552 |   230238      0 |      100 |        0
1199.01/1199.30	c 1196s |      16 |   423024 |   161852 |   230238      0 |      100 |        0
1201.71/1202.02	c 1199s |      16 |   423905 |   162152 |   230238      0 |      100 |        0
1204.51/1204.88	c 1202s |      16 |   424579 |   162452 |   230238      0 |      100 |        0
1206.91/1207.27	c 1204s |      16 |   425864 |   162852 |   230238      0 |      100 |        0
1209.51/1209.84	c 1207s |      16 |   426749 |   163252 |   230238      0 |      100 |        0
1211.71/1212.00	c 1209s |      16 |   427571 |   163552 |   230238      0 |      100 |        0
1213.80/1214.14	c 1211s |      16 |   428263 |   163852 |   230238      0 |      100 |        0
1216.20/1216.57	c 1213s |      16 |   429169 |   164252 |   230238      0 |      100 |        0
1218.80/1219.13	c 1216s |      16 |   430010 |   164652 |   230238      0 |      100 |        0
1221.31/1221.67	c 1219s |      16 |   430806 |   165052 |   230238      0 |      100 |        0
1223.90/1224.29	c 1221s |      16 |   431493 |   165452 |   230238      0 |      100 |        0
1226.10/1226.46	c 1223s |      16 |   431971 |   165752 |   230238      0 |      100 |        0
1228.80/1229.15	c 1226s |      16 |   432580 |   166152 |   230238      0 |      100 |        0
1231.10/1231.42	c 1228s |      16 |   432977 |   166452 |   230238      0 |      100 |        0
1233.69/1234.01	c 1231s |      16 |   434322 |   166852 |   230238      0 |      100 |        0
1236.19/1236.51	c 1233s |      16 |   435442 |   167252 |   230238      0 |      100 |        0
1238.79/1239.15	c 1236s |      16 |   436380 |   167652 |   230238      0 |      100 |        0
1240.99/1241.36	c 1238s |      16 |   437350 |   168052 |   230238      0 |      100 |        0
1243.40/1243.78	c 1241s |      16 |   438016 |   168452 |   230238      0 |      100 |        0
1245.89/1246.20	c 1243s |      16 |   438915 |   168752 |   230238      0 |      100 |        0
1247.89/1248.22	c 1245s |      16 |   439573 |   169052 |   230238      0 |      100 |        0
1250.29/1250.69	c 1248s |      16 |   440339 |   169352 |   230238      0 |      100 |        0
1252.88/1253.27	c 1250s |      16 |   441121 |   169652 |   230238      0 |      100 |        0
1255.18/1255.54	c 1252s |      16 |   441745 |   169952 |   230238      0 |      100 |        0
1257.48/1257.90	c 1255s |      16 |   442796 |   170352 |   230238      0 |      100 |        0
1259.58/1259.97	c 1257s |      16 |   443494 |   170652 |   230238      0 |      100 |        0
1261.88/1262.29	c 1259s |      16 |   444279 |   171052 |   230238      0 |      100 |        0
1264.28/1264.68	c 1262s |      16 |   444960 |   171452 |   230238      0 |      100 |        0
1266.38/1266.75	c 1264s |      16 |   445476 |   171752 |   230238      0 |      100 |        0
1268.78/1269.19	c 1266s |      16 |   446438 |   172152 |   230238      0 |      100 |        0
1271.18/1271.56	c 1268s |      16 |   447212 |   172452 |   230238      0 |      100 |        0
1273.17/1273.57	c 1270s |      16 |   447710 |   172752 |   230238      0 |      100 |        0
1275.67/1276.04	c 1273s |      16 |   448461 |   173152 |   230238      0 |      100 |        0
1277.87/1278.24	c 1275s |      16 |   449092 |   173452 |   230238      0 |      100 |        0
1280.37/1280.71	c 1278s |      16 |   449872 |   173852 |   230238      0 |      100 |        0
1282.37/1282.77	c 1280s |      16 |   450629 |   174252 |   230238      0 |      100 |        0
1284.67/1285.07	c 1282s |      16 |   451234 |   174652 |   230238      0 |      100 |        0
1286.87/1287.25	c 1284s |      16 |   451978 |   175052 |   230238      0 |      100 |        0
1289.27/1289.61	c 1286s |      16 |   452646 |   175452 |   230238      0 |      100 |        0
1291.87/1292.21	c 1289s |      16 |   453332 |   175852 |   230238      0 |      100 |        0
1293.97/1294.33	c 1291s |      16 |   453767 |   176152 |   230238      0 |      100 |        0
1296.26/1296.65	c 1294s |      16 |   454513 |   176552 |   230238      0 |      100 |        0
1298.66/1299.08	c 1296s |      16 |   455164 |   176952 |   230238      0 |      100 |        0
1300.86/1301.26	c 1298s |      16 |   456007 |   177352 |   230238      0 |      100 |        0
1303.06/1303.45	c 1300s |      16 |   456597 |   177652 |   230238      0 |      100 |        0
1305.56/1305.99	c 1303s |      16 |   457190 |   178052 |   230238      0 |      100 |        0
1307.86/1308.29	c 1305s |      16 |   457834 |   178452 |   230238      0 |      100 |        0
1310.25/1310.68	c 1308s |      16 |   458493 |   178852 |   230238      0 |      100 |        0
1312.25/1312.69	c 1310s |      16 |   458937 |   179152 |   230238      0 |      100 |        0
1314.35/1314.78	c 1312s |      16 |   459537 |   179452 |   230238      0 |      100 |        0
1317.06/1317.44	c 1314s |      16 |   460270 |   179852 |   230238      0 |      100 |        0
1319.65/1320.03	c 1317s |      16 |   460862 |   180252 |   230238      0 |      100 |        0
1321.75/1322.12	c 1319s |      16 |   461474 |   180552 |   230238      0 |      100 |        0
1324.15/1324.60	c 1321s |      16 |   462583 |   180952 |   230238      0 |      100 |        0
1326.35/1326.73	c 1324s |      16 |   463464 |   181352 |   230238      0 |      100 |        0
1329.05/1329.47	c 1326s |      16 |   464224 |   181652 |   230238      0 |      100 |        0
1331.25/1331.67	c 1329s |      16 |   465247 |   181852 |   230238      0 |      100 |        0
1333.55/1333.93	c 1331s |      16 |   466062 |   182252 |   230238      0 |      100 |        0
1335.65/1336.08	c 1333s |      16 |   466850 |   182552 |   230238      0 |      100 |        0
1337.85/1338.24	c 1335s |      16 |   467533 |   182852 |   230238      0 |      100 |        0
1340.24/1340.69	c 1338s |      16 |   468173 |   183252 |   230238      0 |      100 |        0
1342.34/1342.77	c 1340s |      16 |   468700 |   183552 |   230238      0 |      100 |        0
1345.03/1345.42	c 1342s |      16 |   469210 |   183852 |   230238      0 |      100 |        0
1347.63/1348.01	c 1345s |      16 |   469831 |   184252 |   230238      0 |      100 |        0
1349.83/1350.22	c 1347s |      16 |   470266 |   184552 |   230238      0 |      100 |        0
1352.43/1352.85	c 1350s |      16 |   470838 |   184852 |   230238      0 |      100 |        0
1354.93/1355.33	c 1352s |      16 |   472172 |   185352 |   230238      0 |      100 |        0
1357.23/1357.65	c 1355s |      16 |   473390 |   185752 |   230238      0 |      100 |        0
1359.33/1359.78	c 1357s |      16 |   474360 |   186152 |   230238      0 |      100 |        0
1361.43/1361.80	c 1359s |      16 |   475322 |   186452 |   230238      0 |      100 |        0
1363.92/1364.33	c 1361s |      16 |   476463 |   186752 |   230238      0 |      100 |        0
1366.12/1366.51	c 1363s |      16 |   477514 |   187152 |   230238      0 |      100 |        0
1368.82/1369.20	c 1366s |      16 |   478642 |   187552 |   230238      0 |      100 |        0
1370.83/1371.25	c 1368s |      16 |   479381 |   187852 |   230238      0 |      100 |        0
1373.42/1373.80	c 1371s |      16 |   479961 |   188152 |   230238      0 |      100 |        0
1375.62/1376.08	c 1373s |      16 |   480508 |   188452 |   230238      0 |      100 |        0
1377.92/1378.37	c 1375s |      16 |   481435 |   188752 |   230238      0 |      100 |        0
1379.92/1380.38	c 1377s |      16 |   482270 |   189052 |   230238      0 |      100 |        0
1382.12/1382.56	c 1379s |      16 |   482832 |   189352 |   230238      0 |      100 |        0
1384.92/1385.39	c 1382s |      16 |   483572 |   189752 |   230238      0 |      100 |        0
1387.02/1387.45	c 1384s |      16 |   484066 |   190052 |   230238      0 |      100 |        0
1389.31/1389.71	c 1387s |      16 |   484659 |   190352 |   230238      0 |      100 |        0
1391.31/1391.74	c 1389s |      16 |   485147 |   190652 |   230238      0 |      100 |        0
1393.61/1394.02	c 1391s |      16 |   485863 |   191052 |   230238      0 |      100 |        0
1395.81/1396.27	c 1393s |      16 |   486775 |   191452 |   230238      0 |      100 |        0
1398.32/1398.77	c 1396s |      16 |   487415 |   191852 |   230238      0 |      100 |        0
1400.52/1400.91	c 1398s |      16 |   488178 |   192252 |   230238      0 |      100 |        0
1402.71/1403.20	c 1400s |      16 |   489201 |   192552 |   230238      0 |      100 |        0
1404.91/1405.40	c 1402s |      16 |   489915 |   192852 |   230238      0 |      100 |        0
1407.80/1408.22	c 1405s |      16 |   490908 |   193152 |   230238      0 |      100 |        0
1410.00/1410.42	c 1407s |      16 |   491870 |   193452 |   230238      0 |      100 |        0
1412.00/1412.47	c 1409s |      16 |   492505 |   193752 |   230238      0 |      100 |        0
1414.70/1415.13	c 1412s |      16 |   493864 |   194152 |   230238      0 |      100 |        0
1417.11/1417.57	c 1414s |      16 |   494825 |   194552 |   230238      0 |      100 |        0
1419.60/1420.06	c 1417s |      16 |   496273 |   194952 |   230238      0 |      100 |        0
1421.90/1422.31	c 1419s |      16 |   497091 |   195252 |   230238      0 |      100 |        0
1423.89/1424.38	c 1421s |      16 |   497901 |   195552 |   230238      0 |      100 |        0
1426.29/1426.70	c 1424s |      16 |   498579 |   195952 |   230238      0 |      100 |        0
1428.79/1429.29	c 1426s |      16 |   499199 |   196352 |   253262      0 |      100 |        0
1430.89/1431.33	c 1428s |      16 |   499831 |   196652 |   253262      0 |      100 |        0
1432.99/1433.44	c 1430s |      16 |   500364 |   196952 |   253262      0 |      100 |        0
1435.29/1435.74	c 1433s |      16 |   500879 |   197252 |   253262      0 |      100 |        0
1436.49/1436.94	c 1434s |      17 |   501197 |   197432 |   253262      0 |      100 |        0
1438.59/1439.03	c 1436s |      17 |   502786 |   197500 |   253262      0 |      100 |        0
1438.59/1439.03	c #cpu_time = 1432.492s
1438.59/1439.03	c #wall_clock_time = 1436.356s
1438.59/1439.03	c #decision = 502786
1438.59/1439.03	c #random_decision = 399
1438.59/1439.03	c #conflict = 197500
1438.59/1439.03	c #restart = 17
1438.59/1439.03	o 78944646
1439.10/1439.59	c BCD2: hardening fixes 14 literals
1439.10/1439.59	c BCD2: updating upper bound: 11576482241 -> 78944670
1439.99/1440.45	c BCD2: 0 <= obj <= 78944670
1439.99/1440.45	c BCD2: #cores=0, #unrelaxed=17411, #relaxed=0, #hardened=14
1439.99/1440.45	c BCD2: #sat=1 #unsat=1 bias=1/2
1439.99/1440.47	c Solving starts ...
1439.99/1440.47	c ============================[ Search Statistics ]============================
1439.99/1440.47	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1439.99/1440.47	c       |         |          |          |    Limit     GC | Var      | Constra 
1439.99/1440.47	c =============================================================================
1439.99/1440.47	c  0.0s |       0 |        0 |        0 |   253262      0 |      114 |        0
1441.39/1441.87	c  1.4s |       0 |      267 |        1 |   253262      0 |      114 |       35
1441.39/1441.87	c #cpu_time = 1.383s
1441.39/1441.87	c #wall_clock_time = 1.386s
1441.39/1441.87	c #decision = 267
1441.39/1441.87	c #random_decision = 0
1441.39/1441.87	c #conflict = 1
1441.39/1441.87	c #restart = 0
1441.39/1441.87	c BCD2: found a new core of size 267: cost of the new core is >=64
1441.39/1441.87	c lower bound updated to 39
1442.18/1442.67	c BCD2: 64 <= obj <= 78944670
1442.18/1442.67	c BCD2: #cores=1, #unrelaxed=17144, #relaxed=267, #hardened=14
1442.18/1442.67	c BCD2: #sat=1 #unsat=2 bias=2/3

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

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

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


[startup+0 s]
/proc/loadavg: 2.15 2.18 2.18 2/179 20361
/proc/meminfo: memFree=29746524/32872528 swapFree=16204/1518544
[pid=20361] ppid=20358 vsize=798140 CPUtime=0 cores=1,3,5,7
/proc/20361/stat : 20361 (toysat) R 20358 20361 19387 0 -1 4202496 2989 0 0 0 0 0 0 0 20 0 4 0 114119254 817295360 3351 33554432000 4194304 16246674 140735622958768 140735622958192 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20361/statm: 200303 3360 441 2943 0 197197 0
[pid=20361/tid=20362] ppid=20358 vsize=815548 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20362/stat : 20362 (toysat) S 20358 20361 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114119254 835121152 3420 33554432000 4194304 16246674 140735622958768 140061459852528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20361/tid=20363] ppid=20358 vsize=819644 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20363/stat : 20363 (toysat) S 20358 20361 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119254 839315456 3436 33554432000 4194304 16246674 140735622958768 140061449362672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20361/tid=20364] ppid=20358 vsize=823740 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20364/stat : 20364 (toysat) S 20358 20361 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114119254 843509760 3453 33554432000 4194304 16246674 140735622958768 140061366545584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 2.15 2.18 2.18 2/179 20361
/proc/meminfo: memFree=29746524/32872528 swapFree=16204/1518544
[pid=20361] ppid=20358 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/20361/stat : 20361 (toysat) R 20358 20361 19387 0 -1 4202496 30139 0 0 0 5 4 0 0 20 0 4 0 114119254 1333334016 30439 33554432000 4194304 16246674 140735622958768 140735622958080 7374276 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20361/statm: 325521 30455 798 2943 0 322415 0
[pid=20361/tid=20362] ppid=20358 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20362/stat : 20362 (toysat) S 20358 20361 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114119254 1333334016 30465 33554432000 4194304 16246674 140735622958768 140061459852528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20361/tid=20363] ppid=20358 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20363/stat : 20363 (toysat) S 20358 20361 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119254 1333334016 30477 33554432000 4194304 16246674 140735622958768 140061449362672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20361/tid=20364] ppid=20358 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20364/stat : 20364 (toysat) S 20358 20361 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114119254 1333334016 30489 33554432000 4194304 16246674 140735622958768 140061366545584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200534 s]
/proc/loadavg: 2.15 2.18 2.18 2/179 20361
/proc/meminfo: memFree=29746524/32872528 swapFree=16204/1518544
[pid=20361] ppid=20358 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/20361/stat : 20361 (toysat) R 20358 20361 19387 0 -1 4202496 45279 0 0 0 13 6 0 0 20 0 4 0 114119254 1344868352 46089 33554432000 4194304 16246674 140735622958768 140735622957432 7367712 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20361/statm: 328337 46089 799 2943 0 325231 0
[pid=20361/tid=20362] ppid=20358 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20362/stat : 20362 (toysat) S 20358 20361 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114119254 1344868352 46089 33554432000 4194304 16246674 140735622958768 140061459852528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20361/tid=20363] ppid=20358 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20363/stat : 20363 (toysat) S 20358 20361 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119254 1344868352 46089 33554432000 4194304 16246674 140735622958768 140061449362672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20361/tid=20364] ppid=20358 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20364/stat : 20364 (toysat) S 20358 20361 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114119254 1344868352 46089 33554432000 4194304 16246674 140735622958768 140061366545584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300535 s]
/proc/loadavg: 2.15 2.18 2.18 2/179 20361
/proc/meminfo: memFree=29746524/32872528 swapFree=16204/1518544
[pid=20361] ppid=20358 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/20361/stat : 20361 (toysat) R 20358 20361 19387 0 -1 4202496 55916 0 0 0 21 8 0 0 20 0 4 0 114119254 1344868352 56726 33554432000 4194304 16246674 140735622958768 140735622957432 4223702 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20361/statm: 328337 56726 801 2943 0 325231 0
[pid=20361/tid=20362] ppid=20358 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20362/stat : 20362 (toysat) S 20358 20361 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114119254 1344868352 56726 33554432000 4194304 16246674 140735622958768 140061459852528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20361/tid=20363] ppid=20358 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20363/stat : 20363 (toysat) S 20358 20361 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119254 1344868352 56726 33554432000 4194304 16246674 140735622958768 140061449362672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20361/tid=20364] ppid=20358 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20364/stat : 20364 (toysat) S 20358 20361 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114119254 1344868352 56726 33554432000 4194304 16246674 140735622958768 140061366545584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700327 s]
/proc/loadavg: 2.15 2.18 2.18 2/179 20361
/proc/meminfo: memFree=29746524/32872528 swapFree=16204/1518544
[pid=20361] ppid=20358 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/20361/stat : 20361 (toysat) R 20358 20361 19387 0 -1 4202496 64160 0 0 0 60 9 0 0 20 0 4 0 114119254 1344868352 64970 33554432000 4194304 16246674 140735622958768 140735622941760 12750936 0 0 0 34082818 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20361/statm: 328337 64970 802 2943 0 325231 0
[pid=20361/tid=20362] ppid=20358 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20362/stat : 20362 (toysat) S 20358 20361 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114119254 1344868352 64970 33554432000 4194304 16246674 140735622958768 140061459852528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20361/tid=20363] ppid=20358 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20363/stat : 20363 (toysat) S 20358 20361 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119254 1344868352 64970 33554432000 4194304 16246674 140735622958768 140061449362672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20361/tid=20364] ppid=20358 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20364/stat : 20364 (toysat) S 20358 20361 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114119254 1344868352 64970 33554432000 4194304 16246674 140735622958768 140061366545584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.5003 s]
/proc/loadavg: 2.15 2.18 2.18 2/179 20361
/proc/meminfo: memFree=29746524/32872528 swapFree=16204/1518544
[pid=20361] ppid=20358 vsize=1318468 CPUtime=1.49 cores=1,3,5,7
/proc/20361/stat : 20361 (toysat) R 20358 20361 19387 0 -1 4202496 168138 0 0 0 121 28 0 0 20 0 4 0 114119254 1350111232 168948 33554432000 4194304 16246674 140735622958768 140735622940672 6757956 0 0 0 34082818 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20361/statm: 329617 168948 842 2943 0 326511 0
[pid=20361/tid=20362] ppid=20358 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20362/stat : 20362 (toysat) S 20358 20361 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114119254 1350111232 168948 33554432000 4194304 16246674 140735622958768 140061459852528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20361/tid=20363] ppid=20358 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20363/stat : 20363 (toysat) S 20358 20361 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119254 1350111232 168948 33554432000 4194304 16246674 140735622958768 140061449362672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20361/tid=20364] ppid=20358 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20364/stat : 20364 (toysat) S 20358 20361 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114119254 1350111232 168948 33554432000 4194304 16246674 140735622958768 140061366545584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1318468

[startup+3.10042 s]
/proc/loadavg: 2.22 2.19 2.18 3/183 20365
/proc/meminfo: memFree=28084848/32872528 swapFree=16204/1518544
[pid=20361] ppid=20358 vsize=1327684 CPUtime=3.08 cores=1,3,5,7
/proc/20361/stat : 20361 (toysat) R 20358 20361 19387 0 -1 4202496 272595 0 0 0 265 43 0 0 20 0 4 0 114119254 1359548416 273405 33554432000 4194304 16246674 140735622958768 140735622956608 6021620 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20361/statm: 331921 273405 891 2943 0 328815 0
[pid=20361/tid=20362] ppid=20358 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20362/stat : 20362 (toysat) S 20358 20361 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114119254 1359548416 273405 33554432000 4194304 16246674 140735622958768 140061459852528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20361/tid=20363] ppid=20358 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20363/stat : 20363 (toysat) S 20358 20361 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119254 1359548416 273405 33554432000 4194304 16246674 140735622958768 140061449362672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20361/tid=20364] ppid=20358 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20364/stat : 20364 (toysat) S 20358 20361 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114119254 1359548416 273405 33554432000 4194304 16246674 140735622958768 140061366545584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1327684

[startup+6.30052 s]
/proc/loadavg: 2.20 2.19 2.18 3/182 20365
/proc/meminfo: memFree=28083304/32872528 swapFree=16204/1518544
[pid=20361] ppid=20358 vsize=1327684 CPUtime=6.28 cores=1,3,5,7
/proc/20361/stat : 20361 (toysat) R 20358 20361 19387 0 -1 4202496 272600 0 0 0 585 43 0 0 20 0 4 0 114119254 1359548416 273410 33554432000 4194304 16246674 140735622958768 140735622940672 5675184 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20361/statm: 331921 273410 895 2943 0 328815 0
[pid=20361/tid=20362] ppid=20358 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20362/stat : 20362 (toysat) S 20358 20361 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114119254 1359548416 273410 33554432000 4194304 16246674 140735622958768 140061459852528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20361/tid=20363] ppid=20358 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20363/stat : 20363 (toysat) S 20358 20361 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119254 1359548416 273410 33554432000 4194304 16246674 140735622958768 140061449362672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20361/tid=20364] ppid=20358 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20364/stat : 20364 (toysat) S 20358 20361 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114119254 1359548416 273410 33554432000 4194304 16246674 140735622958768 140061366545584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1327684

[startup+12.7003 s]
/proc/loadavg: 2.18 2.19 2.18 3/183 20366
/proc/meminfo: memFree=28083276/32872528 swapFree=16204/1518544
[pid=20361] ppid=20358 vsize=1327684 CPUtime=12.68 cores=1,3,5,7
/proc/20361/stat : 20361 (toysat) R 20358 20361 19387 0 -1 4202496 272600 0 0 0 1225 43 0 0 20 0 4 0 114119254 1359548416 273410 33554432000 4194304 16246674 140735622958768 140735622940672 13820964 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20361/statm: 331921 273410 895 2943 0 328815 0
[pid=20361/tid=20362] ppid=20358 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20362/stat : 20362 (toysat) S 20358 20361 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114119254 1359548416 273410 33554432000 4194304 16246674 140735622958768 140061459852528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20361/tid=20363] ppid=20358 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20363/stat : 20363 (toysat) S 20358 20361 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119254 1359548416 273410 33554432000 4194304 16246674 140735622958768 140061449362672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20361/tid=20364] ppid=20358 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20364/stat : 20364 (toysat) S 20358 20361 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114119254 1359548416 273410 33554432000 4194304 16246674 140735622958768 140061366545584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1327684

[startup+25.5003 s]
/proc/loadavg: 2.23 2.20 2.18 3/183 20366
/proc/meminfo: memFree=28083736/32872528 swapFree=16204/1518544
[pid=20361] ppid=20358 vsize=1327684 CPUtime=25.47 cores=1,3,5,7
/proc/20361/stat : 20361 (toysat) R 20358 20361 19387 0 -1 4202496 272600 0 0 0 2504 43 0 0 20 0 4 0 114119254 1359548416 273410 33554432000 4194304 16246674 140735622958768 140735622940672 5661735 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20361/statm: 331921 273410 895 2943 0 328815 0
[pid=20361/tid=20362] ppid=20358 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20362/stat : 20362 (toysat) S 20358 20361 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114119254 1359548416 273410 33554432000 4194304 16246674 140735622958768 140061459852528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20361/tid=20363] ppid=20358 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20363/stat : 20363 (toysat) S 20358 20361 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119254 1359548416 273410 33554432000 4194304 16246674 140735622958768 140061449362672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20361/tid=20364] ppid=20358 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20364/stat : 20364 (toysat) S 20358 20361 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114119254 1359548416 273410 33554432000 4194304 16246674 140735622958768 140061366545584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1327684

[startup+51.1003 s]
/proc/loadavg: 2.15 2.18 2.18 3/183 20366
/proc/meminfo: memFree=28083832/32872528 swapFree=16204/1518544
[pid=20361] ppid=20358 vsize=1327684 CPUtime=51.07 cores=1,3,5,7
/proc/20361/stat : 20361 (toysat) R 20358 20361 19387 0 -1 4202496 272600 0 0 0 5064 43 0 0 20 0 4 0 114119254 1359548416 273410 33554432000 4194304 16246674 140735622958768 140735622941760 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20361/statm: 331921 273410 895 2943 0 328815 0
[pid=20361/tid=20362] ppid=20358 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20362/stat : 20362 (toysat) S 20358 20361 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114119254 1359548416 273410 33554432000 4194304 16246674 140735622958768 140061459852528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20361/tid=20363] ppid=20358 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20363/stat : 20363 (toysat) S 20358 20361 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119254 1359548416 273410 33554432000 4194304 16246674 140735622958768 140061449362672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20361/tid=20364] ppid=20358 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20364/stat : 20364 (toysat) S 20358 20361 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114119254 1359548416 273410 33554432000 4194304 16246674 140735622958768 140061366545584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1327684

[startup+102.3 s]
/proc/loadavg: 2.16 2.18 2.18 3/183 20367
/proc/meminfo: memFree=28082876/32872528 swapFree=16204/1518544
[pid=20361] ppid=20358 vsize=1327684 CPUtime=102.26 cores=1,3,5,7
/proc/20361/stat : 20361 (toysat) R 20358 20361 19387 0 -1 4202496 272600 0 0 0 10183 43 0 0 20 0 4 0 114119254 1359548416 273410 33554432000 4194304 16246674 140735622958768 140735622940672 5661532 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20361/statm: 331921 273410 895 2943 0 328815 0
[pid=20361/tid=20362] ppid=20358 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20362/stat : 20362 (toysat) S 20358 20361 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114119254 1359548416 273410 33554432000 4194304 16246674 140735622958768 140061459852528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20361/tid=20363] ppid=20358 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20363/stat : 20363 (toysat) S 20358 20361 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119254 1359548416 273410 33554432000 4194304 16246674 140735622958768 140061449362672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20361/tid=20364] ppid=20358 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20364/stat : 20364 (toysat) S 20358 20361 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114119254 1359548416 273410 33554432000 4194304 16246674 140735622958768 140061366545584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1327684


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

[pid=20361] ppid=20358 vsize=1327684 CPUtime=1182.02 cores=1,3,5,7
/proc/20361/stat : 20361 (toysat) R 20358 20361 19387 0 -1 4202496 272735 0 0 0 118157 45 0 0 20 0 4 0 114119254 1359548416 273666 33554432000 4194304 16246674 140735622958768 140735622940672 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20361/statm: 331921 273666 895 2943 0 328815 0
[pid=20361/tid=20362] ppid=20358 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20362/stat : 20362 (toysat) S 20358 20361 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114119254 1359548416 273666 33554432000 4194304 16246674 140735622958768 140061459852528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20361/tid=20363] ppid=20358 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20363/stat : 20363 (toysat) S 20358 20361 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119254 1359548416 273666 33554432000 4194304 16246674 140735622958768 140061449362672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20361/tid=20364] ppid=20358 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20364/stat : 20364 (toysat) S 20358 20361 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114119254 1359548416 273666 33554432000 4194304 16246674 140735622958768 140061366545584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 1327684

[startup+1242.3 s]
/proc/loadavg: 2.25 2.20 2.18 4/183 20468
/proc/meminfo: memFree=28158272/32872528 swapFree=16204/1518544
[pid=20361] ppid=20358 vsize=1327684 CPUtime=1241.99 cores=1,3,5,7
/proc/20361/stat : 20361 (toysat) R 20358 20361 19387 0 -1 4202496 272765 0 0 0 124154 45 0 0 20 0 4 0 114119254 1359548416 273666 33554432000 4194304 16246674 140735622958768 140735622940672 12415676 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20361/statm: 331921 273666 895 2943 0 328815 0
[pid=20361/tid=20362] ppid=20358 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20362/stat : 20362 (toysat) S 20358 20361 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114119254 1359548416 273666 33554432000 4194304 16246674 140735622958768 140061459852528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20361/tid=20363] ppid=20358 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20363/stat : 20363 (toysat) S 20358 20361 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119254 1359548416 273666 33554432000 4194304 16246674 140735622958768 140061449362672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20361/tid=20364] ppid=20358 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20364/stat : 20364 (toysat) S 20358 20361 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114119254 1359548416 273666 33554432000 4194304 16246674 140735622958768 140061366545584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 1327684

[startup+1302.3 s]
/proc/loadavg: 2.15 2.18 2.17 3/183 20469
/proc/meminfo: memFree=28158296/32872528 swapFree=16204/1518544
[pid=20361] ppid=20358 vsize=1327684 CPUtime=1301.96 cores=1,3,5,7
/proc/20361/stat : 20361 (toysat) R 20358 20361 19387 0 -1 4202496 272802 0 0 0 130151 45 0 0 20 0 4 0 114119254 1359548416 273666 33554432000 4194304 16246674 140735622958768 140735622940672 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20361/statm: 331921 273666 895 2943 0 328815 0
[pid=20361/tid=20362] ppid=20358 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20362/stat : 20362 (toysat) S 20358 20361 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114119254 1359548416 273666 33554432000 4194304 16246674 140735622958768 140061459852528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20361/tid=20363] ppid=20358 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20363/stat : 20363 (toysat) S 20358 20361 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119254 1359548416 273666 33554432000 4194304 16246674 140735622958768 140061449362672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20361/tid=20364] ppid=20358 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20364/stat : 20364 (toysat) S 20358 20361 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114119254 1359548416 273666 33554432000 4194304 16246674 140735622958768 140061366545584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1327684

[startup+1362.3 s]
/proc/loadavg: 2.29 2.20 2.18 3/183 20470
/proc/meminfo: memFree=28158196/32872528 swapFree=16204/1518544
[pid=20361] ppid=20358 vsize=1327684 CPUtime=1361.93 cores=1,3,5,7
/proc/20361/stat : 20361 (toysat) R 20358 20361 19387 0 -1 4202496 272840 0 0 0 136148 45 0 0 20 0 4 0 114119254 1359548416 273666 33554432000 4194304 16246674 140735622958768 140735622940672 12415827 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20361/statm: 331921 273666 895 2943 0 328815 0
[pid=20361/tid=20362] ppid=20358 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20362/stat : 20362 (toysat) S 20358 20361 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114119254 1359548416 273666 33554432000 4194304 16246674 140735622958768 140061459852528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20361/tid=20363] ppid=20358 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20363/stat : 20363 (toysat) S 20358 20361 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119254 1359548416 273666 33554432000 4194304 16246674 140735622958768 140061449362672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20361/tid=20364] ppid=20358 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20364/stat : 20364 (toysat) S 20358 20361 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114119254 1359548416 273666 33554432000 4194304 16246674 140735622958768 140061366545584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1327684

[startup+1422.3 s]
/proc/loadavg: 2.31 2.23 2.19 4/183 20471
/proc/meminfo: memFree=28158224/32872528 swapFree=16204/1518544
[pid=20361] ppid=20358 vsize=1327684 CPUtime=1421.9 cores=1,3,5,7
/proc/20361/stat : 20361 (toysat) R 20358 20361 19387 0 -1 4202496 272878 0 0 0 142145 45 0 0 20 0 4 0 114119254 1359548416 273666 33554432000 4194304 16246674 140735622958768 140735622940672 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20361/statm: 331921 273666 895 2943 0 328815 0
[pid=20361/tid=20362] ppid=20358 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20362/stat : 20362 (toysat) S 20358 20361 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114119254 1359548416 273666 33554432000 4194304 16246674 140735622958768 140061459852528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20361/tid=20363] ppid=20358 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20363/stat : 20363 (toysat) S 20358 20361 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119254 1359548416 273666 33554432000 4194304 16246674 140735622958768 140061449362672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20361/tid=20364] ppid=20358 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20364/stat : 20364 (toysat) S 20358 20361 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114119254 1359548416 273666 33554432000 4194304 16246674 140735622958768 140061366545584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1327684

[startup+1482.3 s]
/proc/loadavg: 2.33 2.24 2.19 4/183 20472
/proc/meminfo: memFree=23509740/32872528 swapFree=16204/1518544
[pid=20361] ppid=20358 vsize=5967428 CPUtime=1481.89 cores=1,3,5,7
/proc/20361/stat : 20361 (toysat) R 20358 20361 19387 0 -1 4202496 1432867 0 0 0 147987 202 0 0 20 0 4 0 114119254 6110646272 1433635 33554432000 4194304 16246674 140735622958768 140735622957864 4206664 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20361/statm: 1491857 1433635 925 2943 0 1488751 0
[pid=20361/tid=20362] ppid=20358 vsize=5967428 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20362/stat : 20362 (toysat) S 20358 20361 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114119254 6110646272 1433635 33554432000 4194304 16246674 140735622958768 140061459852528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20361/tid=20363] ppid=20358 vsize=5967428 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20363/stat : 20363 (toysat) S 20358 20361 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119254 6110646272 1433635 33554432000 4194304 16246674 140735622958768 140061449362672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20361/tid=20364] ppid=20358 vsize=5967428 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20364/stat : 20364 (toysat) S 20358 20361 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114119254 6110646272 1433635 33554432000 4194304 16246674 140735622958768 140061366545584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 5967428

[startup+1542.3 s]
/proc/loadavg: 2.25 2.23 2.19 3/183 20474
/proc/meminfo: memFree=15261408/32872528 swapFree=16204/1518544
[pid=20361] ppid=20358 vsize=14199364 CPUtime=1541.86 cores=1,3,5,7
/proc/20361/stat : 20361 (toysat) R 20358 20361 19387 0 -1 4202496 3490854 0 0 0 153708 478 0 0 20 0 4 0 114119254 14540148736 3491622 33554432000 4194304 16246674 140735622958768 140735622957944 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20361/statm: 3549841 3491622 925 2943 0 3546735 0
[pid=20361/tid=20362] ppid=20358 vsize=14199364 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20362/stat : 20362 (toysat) S 20358 20361 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114119254 14540148736 3491622 33554432000 4194304 16246674 140735622958768 140061459852528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20361/tid=20363] ppid=20358 vsize=14199364 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20363/stat : 20363 (toysat) S 20358 20361 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119254 14540148736 3491622 33554432000 4194304 16246674 140735622958768 140061449362672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20361/tid=20364] ppid=20358 vsize=14199364 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20364/stat : 20364 (toysat) S 20358 20361 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114119254 14540148736 3491622 33554432000 4194304 16246674 140735622958768 140061366545584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 14199364

[startup+1602.31 s]
/proc/loadavg: 2.25 2.23 2.18 4/183 20475
/proc/meminfo: memFree=15261264/32872528 swapFree=16204/1518544
[pid=20361] ppid=20358 vsize=14199364 CPUtime=1601.86 cores=1,3,5,7
/proc/20361/stat : 20361 (toysat) R 20358 20361 19387 0 -1 4202496 3490861 0 0 0 159704 482 0 0 20 0 4 0 114119254 14540148736 3491626 33554432000 4194304 16246674 140735622958768 140735622956736 4226245 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20361/statm: 3549841 3491626 929 2943 0 3546735 0
[pid=20361/tid=20362] ppid=20358 vsize=14199364 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20362/stat : 20362 (toysat) S 20358 20361 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114119254 14540148736 3491626 33554432000 4194304 16246674 140735622958768 140061459852528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20361/tid=20363] ppid=20358 vsize=14199364 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20363/stat : 20363 (toysat) S 20358 20361 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119254 14540148736 3491626 33554432000 4194304 16246674 140735622958768 140061449362448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20361/tid=20364] ppid=20358 vsize=14199364 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20364/stat : 20364 (toysat) S 20358 20361 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114119254 14540148736 3491626 33554432000 4194304 16246674 140735622958768 140061366545584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 14199364



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1655.11 s]
/proc/loadavg: 2.18 2.21 2.18 3/183 20476
/proc/meminfo: memFree=13618664/32872528 swapFree=16204/1518544
[pid=20361] ppid=20358 vsize=15881796 CPUtime=1654.65 cores=1,3,5,7
/proc/20361/stat : 20361 (toysat) R 20358 20361 19387 0 -1 4202496 3911319 0 0 0 164921 544 0 0 20 0 4 0 114119254 16262959104 3912084 33554432000 4194304 16246674 140735622958768 140735622957864 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20361/statm: 3970449 3912084 929 2943 0 3967343 0
[pid=20361/tid=20362] ppid=20358 vsize=15881796 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20362/stat : 20362 (toysat) S 20358 20361 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114119254 16262959104 3912084 33554432000 4194304 16246674 140735622958768 140061459852528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20361/tid=20363] ppid=20358 vsize=15881796 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20363/stat : 20363 (toysat) S 20358 20361 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119254 16262959104 3912084 33554432000 4194304 16246674 140735622958768 140061449362672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20361/tid=20364] ppid=20358 vsize=15881796 CPUtime=0 cores=1,3,5,7
/proc/20361/task/20364/stat : 20364 (toysat) S 20358 20361 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114119254 16262959104 3912085 33554432000 4194304 16246674 140735622958768 140061366545584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1654.65
Current children cumulated vsize (KiB) 15881796

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1655.4 s]
/proc/loadavg: 2.18 2.21 2.18 3/183 20476
/proc/meminfo: memFree=13618664/32872528 swapFree=16204/1518544
[pid=20361] ppid=20358 vsize=0 CPUtime=1654.94 cores=1,3,5,7
/proc/20361/stat : 20361 (toysat) Z 20358 20361 19387 0 -1 4203532 3911785 0 0 0 164921 573 0 0 20 0 2 0 114119254 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20361/statm: 0 0 0 0 0 0 0
[pid=20361/tid=20363] ppid=20358 vsize=0 CPUtime=0.27 cores=1,3,5,7
/proc/20361/task/20363/stat : 20363 (toysat) R 20358 20361 19387 0 -1 4203588 8 0 0 0 0 27 0 0 20 0 2 0 114119254 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1654.94
Current children cumulated vsize (KiB) 0

[startup+1655.8 s]
/proc/loadavg: 2.18 2.21 2.18 3/183 20476
/proc/meminfo: memFree=13618664/32872528 swapFree=16204/1518544
[pid=20361] ppid=20358 vsize=0 CPUtime=1655.34 cores=1,3,5,7
/proc/20361/stat : 20361 (toysat) Z 20358 20361 19387 0 -1 4203532 3911785 0 0 0 164921 613 0 0 20 0 2 0 114119254 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20361/statm: 0 0 0 0 0 0 0
[pid=20361/tid=20363] ppid=20358 vsize=0 CPUtime=0.67 cores=1,3,5,7
/proc/20361/task/20363/stat : 20363 (toysat) R 20358 20361 19387 0 -1 4203588 8 0 0 0 0 67 0 0 20 0 2 0 114119254 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1655.34
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1655.9
CPU time (s): 1655.44
CPU user time (s): 1649.22
CPU system time (s): 6.22605
CPU usage (%): 99.9724
Max. virtual memory (cumulated for all children) (KiB): 15881796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1649.22
system time used= 6.22605
maximum resident set size= 15650200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3911785
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= 394
involuntary context switches= 2203

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.39888 second user time and 9.39057 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-07 19:51:04
IDJOB=4079377
IDBENCH=92658
IDSOLVER=2542
FILE ID=node129/4079377-1465321864
RUNJOBID= node129-1465311042-19404
PBS_JOBID= 19850114
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat25_4_7_3_mh_ic.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079377-1465321864/watcher-4079377-1465321864 -o /tmp/evaluation-result-4079377-1465321864/solver-4079377-1465321864 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1465311042-19404 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079377-1465321864.opb

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

MD5SUM BENCH= 1a50d88b33a856d21607d03bda43d116
RANDOM SEED=582010248

node129.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.715
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:        29751524 kB
Buffers:           46532 kB
Cached:           295740 kB
SwapCached:         2220 kB
Active:           630836 kB
Inactive:         230648 kB
Active(anon):     518004 kB
Inactive(anon):     3276 kB
Active(file):     112832 kB
Inactive(file):   227372 kB
Unevictable:     1518544 kB
Mlocked:           16204 kB
SwapTotal:      67108856 kB
SwapFree:       67098820 kB
Dirty:             37872 kB
Writeback:             0 kB
AnonPages:       2014356 kB
Mapped:            11608 kB
Shmem:                 0 kB
Slab:             605608 kB
SReclaimable:      49524 kB
SUnreclaim:       556084 kB
KernelStack:        1520 kB
PageTables:         8908 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2743832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1486848 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71688 MiB
End job on node129 at 2016-06-07 20:18:40