Trace number 4079293

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? (TO) 1800.05 1800.51

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat100_4_32_9.opb
MD5SUMe6b7e246739aa40cd77e9f80dee24dab
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5405739
Best CPU time to get the best result obtained on this benchmark1800.69
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables20200
Total number of constraints30206
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints30000
Minimum length of a constraint2
Maximum length of a constraint4950
Number of terms in the objective function 19900
Biggest coefficient in the objective function 137388096
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 148129891148
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 137388096
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 148129891148
Number of bits of the biggest sum of numbers38
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-30T00:40:02+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-4079293-1467240002.opb"]
0.00/0.01	c use --random-gen="4076321498 1149677677 3485146923 1216371481 2543536891 2939684247 2408366959 1262584215 2704034432 2938274335 1070900006 3819727423 896130388 1965061917 200415334 3067262014 284058662 3556083661 121552381 2513305326 4107717124 3603696423 2623565782 3556462680 1533930432 2698925982 1321149574 1030824409 2138230742 673779160 2806051549 4030843740 3545944546 2257820821 2262444711 2408094433 1570888692 646015590 3943541340 3819751829 2213897954 1772399965 1403303861 3758205175 1676125935 3888610305 1988583451 3119183511 1656609389 4050703555 2203510471 3543496558 4244070296 3650912523 149556963 2271231013 2917538661 2288159988 3413888474 2820915147 1402922375 1242560249 3601514966 1604559867 346906018 1892673365 555844228 246810256 684593024 589054252 875087260 2776523293 1996242340 4003025998 2874795688 471377812 1121308470 2141848825 4272906591 1163425263 3402127871 205852304 2656271836 3949268079 3126364915 2087867179 2851903150 3414012810 3609354319 2819666791 4028939698 3078272461 1948535568 184131429 3026613019 2858400267 2321920671 755048941 3191476939 2696299116 1765877377 1910741570 2975127607 1921358136 1420608506 1507011386 1234513700 3619359520 2357012864 1722092238 1802023225 1948089057 3891254885 2632893031 341153618 4001853018 2797567276 549696593 2473337489 2297737382 4072348161 2087198548 2182867708 170680737 3184859836 1421072068 3123259877 1150271750 3217493056 1961627472 3888453296 792129990 2892716534 2072227075 1358930105 486439574 468330256 314571973 2935754123 3702586610 2040872587 1194623673 158288451 1824542632 1658391490 3734294213 3037969115 2755987319 1387409563 2346210470 353488512 419191736 3086493900 1996741103 449465459 411672473 1125383790 4125253453 1423954554 391425366 218058281 1360678142 3417868154 3476453075 2319599434 4026972813 99131781 1744503268 1190602051 3029493357 3684666866 696245584 1473130608 2733264529 2301095252 3995257645 1725729595 3274981952 3693875603 554957103 3644495244 956043396 3504333282 1451536885 2574070795 1115197733 2317984581 105783608 2533121358 1881667771 28975280 3483348138 1998280912 215063494 2643806064 1330769556 1937554534 2246892380 2042923024 1166621837 1921002883 4254586981 3890320109 1108834773 4152860571 131242442 2083923299 3402840298 3796956119 4016749098 21118537 1394978309 526864173 1026562085 3313885619 734391053 3466870875 92123134 1640716454 3784286092 1978215129 1154072194 2021510909 3174694143 2500528833 3481427313 4156480609 1189926334 8572684 1839128839 2987204747 3119159547 3503039242 3440568296 3084081105 2089796668 1350437636 563037781 2579983321 32588008 690031710 2985927258 1964615245 1614331058 2571436243 4252883927 1614255093 681644207 4287095641 2080919992 1606756336 1708470142 1608423000 3104382581 1919618429 3800941886 255 362436" option to reproduce the execution
0.28/0.37	c #vars 20200
0.28/0.37	c #constraints 30206
1.48/1.51	c BCD2: Hardening is enabled.
1.48/1.51	c BCD2: BiasedSearch is enabled.
1.48/1.51	c Solving starts ...
1.48/1.51	c ============================[ Search Statistics ]============================
1.48/1.51	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.48/1.51	c       |         |          |          |    Limit     GC | Var      | Constra 
1.48/1.51	c =============================================================================
1.48/1.52	c  0.0s |       0 |        0 |        0 |    23402      0 |      200 |        0
2.19/2.21	c  0.7s |       1 |      180 |      100 |    23402      0 |      200 |        0
5.78/5.84	c  4.3s |       1 |     1899 |      200 |    25743      0 |      200 |        0
7.18/7.20	c  5.7s |       2 |     1933 |      250 |    25743      0 |      200 |        0
10.88/10.98	c  9.5s |       2 |     2163 |      350 |    28318      0 |      200 |        0
14.68/14.74	c 13.2s |       2 |     2312 |      450 |    28318      0 |      200 |        0
15.38/15.45	c 13.9s |       3 |     2335 |      475 |    28318      0 |      200 |        0
18.38/18.47	c 16.9s |       3 |     2544 |      575 |    31150      0 |      200 |        0
22.17/22.26	c 20.7s |       3 |     2771 |      775 |    31150      0 |      200 |        0
23.77/23.83	c 22.3s |       4 |     2804 |      813 |    31150      0 |      200 |        0
27.77/27.82	c 26.3s |       4 |     3023 |      913 |    34265      0 |      200 |        0
30.98/31.04	c 29.5s |       4 |     3136 |     1013 |    34265      0 |      200 |        0
34.78/34.87	c 33.3s |       4 |     3262 |     1113 |    34265      0 |      200 |        0
38.88/38.94	c 37.4s |       4 |     3369 |     1213 |    34265      0 |      200 |        0
41.47/41.52	c 40.0s |       4 |     3452 |     1313 |    34265      0 |      200 |        0
41.67/41.77	c 40.2s |       5 |     3452 |     1320 |    34265      0 |      200 |        0
45.77/45.83	c 44.3s |       5 |     3876 |     1520 |    37692      0 |      200 |        0
48.17/48.22	c 46.7s |       5 |     3984 |     1620 |    37692      0 |      200 |        0
50.27/50.36	c 48.8s |       5 |     4182 |     1720 |    37692      0 |      200 |        0
52.67/52.79	c 51.3s |       5 |     4297 |     1820 |    37692      0 |      200 |        0
55.37/55.40	c 53.9s |       5 |     4440 |     1920 |    37692      0 |      200 |        0
58.17/58.20	c 56.7s |       5 |     4531 |     2020 |    37692      0 |      200 |        0
59.97/60.09	c 58.6s |       6 |     4628 |     2081 |    41462      0 |      200 |        0
62.78/62.89	c 61.4s |       6 |     4822 |     2181 |    41462      0 |      200 |        0
65.17/65.23	c 63.7s |       6 |     4939 |     2281 |    41462      0 |      200 |        0
67.67/67.72	c 66.2s |       6 |     5063 |     2381 |    41462      0 |      200 |        0
70.87/70.95	c 69.4s |       6 |     5281 |     2581 |    41462      0 |      200 |        0
74.16/74.22	c 72.7s |       6 |     5509 |     2781 |    41462      0 |      200 |        0
78.76/78.85	c 77.3s |       6 |     5715 |     2981 |    41462      0 |      200 |        0
82.57/82.62	c 81.1s |       6 |     5812 |     3081 |    41462      0 |      200 |        0
85.16/85.27	c 83.8s |       6 |     5904 |     3181 |    41462      0 |      200 |        0
86.36/86.48	c 85.0s |       7 |     5955 |     3223 |    45609      0 |      200 |        0
89.46/89.54	c 88.0s |       7 |     6171 |     3323 |    45609      0 |      200 |        0
91.86/91.94	c 90.4s |       7 |     6294 |     3423 |    45609      0 |      200 |        0
94.86/94.92	c 93.4s |       7 |     6427 |     3523 |    45609      0 |      200 |        0
97.96/98.07	c 96.5s |       7 |     6551 |     3623 |    45609      0 |      200 |        0
102.55/102.68	c  101s |       7 |     6633 |     3723 |    45609      0 |      200 |        0
106.45/106.57	c  105s |       7 |     6769 |     3823 |    45609      0 |      200 |        0
110.06/110.15	c  108s |       7 |     6891 |     3923 |    45609      0 |      200 |        0
112.95/113.00	c  111s |       7 |     6989 |     4023 |    45609      0 |      200 |        0
117.25/117.30	c  115s |       7 |     7099 |     4123 |    45609      0 |      200 |        0
119.45/119.54	c  118s |       7 |     7221 |     4223 |    45609      0 |      200 |        0
123.35/123.47	c  121s |       7 |     7331 |     4323 |    45609      0 |      200 |        0
127.05/127.11	c  125s |       7 |     7452 |     4423 |    45609      0 |      200 |        0
130.15/130.27	c  128s |       7 |     7552 |     4523 |    45609      0 |      200 |        0
132.44/132.58	c  131s |       7 |     7660 |     4623 |    45609      0 |      200 |        0
135.04/135.19	c  133s |       7 |     7755 |     4723 |    45609      0 |      200 |        0
137.45/137.58	c  136s |       7 |     7864 |     4823 |    45609      0 |      200 |        0
139.84/139.90	c  138s |       7 |     7975 |     4923 |    50170      0 |      200 |        0
140.14/140.29	c  138s |       8 |     8001 |     4936 |    50170      0 |      200 |        0
144.15/144.25	c  142s |       8 |     8448 |     5136 |    50170      0 |      200 |        0
146.14/146.27	c  144s |       8 |     8648 |     5236 |    50170      0 |      200 |        0
148.94/149.04	c  147s |       8 |     8763 |     5336 |    50170      0 |      200 |        0
152.74/152.89	c  151s |       8 |     8959 |     5536 |    50170      0 |      200 |        0
155.84/155.96	c  154s |       8 |     9172 |     5736 |    50170      0 |      200 |        0
158.53/158.61	c  157s |       8 |     9400 |     5936 |    50170      0 |      200 |        0
161.94/162.00	c  160s |       8 |     9595 |     6136 |    50170      0 |      200 |        0
164.44/164.55	c  163s |       8 |     9716 |     6236 |    50170      0 |      200 |        0
166.74/166.86	c  165s |       8 |    10082 |     6336 |    50170      0 |      200 |        0
169.04/169.13	c  167s |       8 |    10187 |     6436 |    50170      0 |      200 |        0
172.54/172.68	c  171s |       8 |    10402 |     6636 |    50170      0 |      200 |        0
174.54/174.69	c  173s |       8 |    10505 |     6736 |    50170      0 |      200 |        0
177.15/177.22	c  175s |       8 |    10653 |     6836 |    50170      0 |      200 |        0
179.34/179.46	c  177s |       8 |    10767 |     6936 |    50170      0 |      200 |        0
181.44/181.52	c  179s |       8 |    10853 |     7036 |    50170      0 |      200 |        0
183.64/183.78	c  182s |       8 |    11004 |     7136 |    50170      0 |      200 |        0
186.23/186.34	c  184s |       8 |    11113 |     7236 |    50170      0 |      200 |        0
189.43/189.53	c  188s |       8 |    11312 |     7436 |    50170      0 |      200 |        0
191.13/191.25	c  189s |       9 |    11383 |     7506 |    55188      0 |      200 |        0
194.53/194.62	c  193s |       9 |    11593 |     7606 |    55188      0 |      200 |        0
196.73/196.89	c  195s |       9 |    11737 |     7706 |    55188      0 |      200 |        0
199.14/199.28	c  197s |       9 |    11854 |     7806 |    55188      0 |      200 |        0
202.13/202.21	c  200s |       9 |    11997 |     7906 |    55188      0 |      200 |        0
205.64/205.74	c  204s |       9 |    12083 |     8006 |    55188      0 |      200 |        0
208.53/208.67	c  207s |       9 |    12179 |     8106 |    55188      0 |      200 |        0
211.63/211.75	c  210s |       9 |    12320 |     8206 |    55188      0 |      200 |        0
213.93/214.05	c  212s |       9 |    12416 |     8306 |    55188      0 |      200 |        0
217.73/217.86	c  216s |       9 |    12614 |     8506 |    55188      0 |      200 |        0
219.93/220.08	c  218s |       9 |    12704 |     8606 |    55188      0 |      200 |        0
222.62/222.74	c  221s |       9 |    12845 |     8706 |    55188      0 |      200 |        0
225.12/225.24	c  223s |       9 |    12951 |     8806 |    55188      0 |      200 |        0
227.42/227.56	c  226s |       9 |    13061 |     8906 |    55188      0 |      200 |        0
229.93/230.09	c  228s |       9 |    13160 |     9006 |    55188      0 |      200 |        0
232.72/232.88	c  231s |       9 |    13251 |     9106 |    55188      0 |      200 |        0
235.52/235.60	c  234s |       9 |    13366 |     9206 |    55188      0 |      200 |        0
238.52/238.60	c  237s |       9 |    13506 |     9306 |    55188      0 |      200 |        0
241.22/241.37	c  239s |       9 |    13823 |     9406 |    55188      0 |      200 |        0
243.42/243.53	c  242s |       9 |    13979 |     9506 |    55188      0 |      200 |        0
246.62/246.75	c  245s |       9 |    14096 |     9606 |    55188      0 |      200 |        0
249.22/249.31	c  247s |       9 |    14200 |     9706 |    55188      0 |      200 |        0
251.72/251.85	c  250s |       9 |    14298 |     9806 |    55188      0 |      200 |        0
254.42/254.50	c  252s |       9 |    14381 |     9906 |    55188      0 |      200 |        0
256.72/256.80	c  255s |       9 |    14504 |    10006 |    55188      0 |      200 |        0
259.21/259.38	c  257s |       9 |    14583 |    10106 |    55188      0 |      200 |        0
261.82/261.93	c  260s |       9 |    14693 |    10206 |    55188      0 |      200 |        0
264.31/264.48	c  262s |       9 |    14802 |    10306 |    55188      0 |      200 |        0
266.61/266.79	c  265s |       9 |    14906 |    10406 |    55188      0 |      200 |        0
268.81/268.98	c  267s |       9 |    14988 |    10506 |    55188      0 |      200 |        0
272.51/272.68	c  271s |       9 |    15193 |    10706 |    55188      0 |      200 |        0
276.02/276.16	c  274s |       9 |    15409 |    10906 |    55188      0 |      200 |        0
278.61/278.70	c  277s |       9 |    15512 |    11006 |    55188      0 |      200 |        0
281.31/281.48	c  279s |       9 |    15626 |    11106 |    55188      0 |      200 |        0
283.61/283.74	c  282s |       9 |    15763 |    11206 |    55188      0 |      200 |        0
286.01/286.10	c  284s |       9 |    15887 |    11306 |    60707      0 |      200 |        0
287.41/287.57	c  286s |      10 |    15930 |    11361 |    60707      0 |      200 |        0
292.00/292.19	c  290s |      10 |    16350 |    11561 |    60707      0 |      200 |        0
294.81/294.99	c  293s |      10 |    16446 |    11661 |    60707      0 |      200 |        0
298.01/298.19	c  296s |      10 |    16566 |    11761 |    60707      0 |      200 |        0
301.31/301.42	c  299s |      10 |    16688 |    11861 |    60707      0 |      200 |        0
303.80/303.92	c  302s |      10 |    16796 |    11961 |    60707      0 |      200 |        0
306.40/306.50	c  304s |      10 |    16929 |    12061 |    60707      0 |      200 |        0
308.80/308.94	c  307s |      10 |    17040 |    12161 |    60707      0 |      200 |        0
311.31/311.49	c  309s |      10 |    17136 |    12261 |    60707      0 |      200 |        0
314.30/314.40	c  312s |      10 |    17247 |    12361 |    60707      0 |      200 |        0
316.70/316.82	c  315s |      10 |    17357 |    12461 |    60707      0 |      200 |        0
319.10/319.26	c  317s |      10 |    17513 |    12561 |    60707      0 |      200 |        0
322.30/322.44	c  320s |      10 |    17606 |    12661 |    60707      0 |      200 |        0
325.50/325.65	c  324s |      10 |    17705 |    12761 |    60707      0 |      200 |        0
328.90/329.03	c  327s |      10 |    17816 |    12861 |    60707      0 |      200 |        0
332.49/332.68	c  331s |      10 |    17924 |    12961 |    60707      0 |      200 |        0
335.50/335.69	c  334s |      10 |    18029 |    13061 |    60707      0 |      200 |        0
337.70/337.81	c  336s |      10 |    18126 |    13161 |    60707      0 |      200 |        0
339.99/340.14	c  338s |      10 |    18230 |    13261 |    60707      0 |      200 |        0
342.99/343.12	c  341s |      10 |    18332 |    13361 |    60707      0 |      200 |        0
345.59/345.76	c  344s |      10 |    18449 |    13461 |    60707      0 |      200 |        0
350.49/350.67	c  349s |      10 |    18710 |    13661 |    60707      0 |      200 |        0
353.69/353.85	c  352s |      10 |    18842 |    13761 |    60707      0 |      200 |        0
355.89/356.08	c  354s |      10 |    18938 |    13861 |    60707      0 |      200 |        0
357.99/358.16	c  356s |      10 |    19041 |    13961 |    60707      0 |      200 |        0
361.08/361.25	c  359s |      10 |    19244 |    14161 |    60707      0 |      200 |        0
363.78/363.91	c  362s |      10 |    19377 |    14261 |    60707      0 |      200 |        0
366.88/367.08	c  365s |      10 |    19483 |    14361 |    60707      0 |      200 |        0
369.97/370.10	c  368s |      10 |    19598 |    14461 |    60707      0 |      200 |        0
373.47/373.65	c  372s |      10 |    19696 |    14561 |    60707      0 |      200 |        0
376.08/376.21	c  374s |      10 |    19782 |    14661 |    60707      0 |      200 |        0
378.28/378.43	c  376s |      10 |    19912 |    14761 |    60707      0 |      200 |        0
380.27/380.45	c  378s |      10 |    20012 |    14861 |    60707      0 |      200 |        0
382.57/382.74	c  381s |      10 |    20099 |    14961 |    60707      0 |      200 |        0
386.08/386.24	c  384s |      10 |    20196 |    15061 |    60707      0 |      200 |        0
388.67/388.89	c  387s |      10 |    20295 |    15161 |    60707      0 |      200 |        0
390.97/391.16	c  389s |      10 |    20414 |    15261 |    60707      0 |      200 |        0
393.47/393.60	c  392s |      10 |    20500 |    15361 |    60707      0 |      200 |        0
395.67/395.87	c  394s |      10 |    20603 |    15461 |    60707      0 |      200 |        0
397.77/397.90	c  396s |      10 |    20716 |    15561 |    60707      0 |      200 |        0
400.67/400.81	c  399s |      10 |    20818 |    15661 |    60707      0 |      200 |        0
402.97/403.16	c  401s |      10 |    20921 |    15761 |    60707      0 |      200 |        0
405.46/405.63	c  404s |      10 |    21032 |    15861 |    60707      0 |      200 |        0
408.96/409.12	c  407s |      10 |    21230 |    16061 |    60707      0 |      200 |        0
411.76/411.92	c  410s |      10 |    21446 |    16261 |    60707      0 |      200 |        0
415.26/415.43	c  413s |      10 |    21653 |    16461 |    60707      0 |      200 |        0
418.47/418.67	c  417s |      10 |    21854 |    16661 |    60707      0 |      200 |        0
421.97/422.12	c  420s |      10 |    22063 |    16861 |    60707      0 |      200 |        0
424.07/424.27	c  422s |      10 |    22160 |    16961 |    60707      0 |      200 |        0
426.07/426.27	c  424s |      10 |    22259 |    17061 |    66778      0 |      200 |        0
427.57/427.79	c  426s |      11 |    22345 |    17144 |    66778      0 |      200 |        0
429.87/430.02	c  428s |      11 |    22546 |    17244 |    66778      0 |      200 |        0
432.37/432.51	c  430s |      11 |    22653 |    17344 |    66778      0 |      200 |        0
434.97/435.11	c  433s |      11 |    22761 |    17444 |    66778      0 |      200 |        0
437.46/437.60	c  436s |      11 |    22863 |    17544 |    66778      0 |      200 |        0
440.97/441.13	c  439s |      11 |    23080 |    17744 |    66778      0 |      200 |        0
444.27/444.44	c  442s |      11 |    23280 |    17944 |    66778      0 |      200 |        0
447.46/447.69	c  446s |      11 |    23485 |    18144 |    66778      0 |      200 |        0
450.56/450.72	c  449s |      11 |    23691 |    18344 |    66778      0 |      200 |        0
453.56/453.70	c  452s |      11 |    23905 |    18544 |    66778      0 |      200 |        0
455.96/456.10	c  454s |      11 |    24014 |    18644 |    66778      0 |      200 |        0
460.16/460.40	c  458s |      11 |    24298 |    18844 |    66778      0 |      200 |        0
462.36/462.51	c  460s |      11 |    24401 |    18944 |    66778      0 |      200 |        0
465.86/466.06	c  464s |      11 |    24618 |    19144 |    66778      0 |      200 |        0
468.85/469.09	c  467s |      11 |    24752 |    19244 |    66778      0 |      200 |        0
471.76/471.91	c  470s |      11 |    24893 |    19344 |    66778      0 |      200 |        0
475.25/475.42	c  473s |      11 |    25009 |    19444 |    66778      0 |      200 |        0
478.15/478.34	c  476s |      11 |    25105 |    19544 |    66778      0 |      200 |        0
480.66/480.81	c  479s |      11 |    25227 |    19644 |    66778      0 |      200 |        0
482.86/483.04	c  481s |      11 |    25332 |    19744 |    66778      0 |      200 |        0
485.15/485.33	c  483s |      11 |    25461 |    19844 |    66778      0 |      200 |        0
487.95/488.16	c  486s |      11 |    25576 |    19944 |    66778      0 |      200 |        0
490.45/490.66	c  489s |      11 |    25708 |    20044 |    66778      0 |      200 |        0
493.65/493.88	c  492s |      11 |    25795 |    20144 |    66778      0 |      200 |        0
496.85/497.07	c  495s |      11 |    25899 |    20244 |    66778      0 |      200 |        0
499.94/500.14	c  498s |      11 |    26038 |    20344 |    66778      0 |      200 |        0
502.04/502.27	c  500s |      11 |    26159 |    20444 |    66778      0 |      200 |        0
504.85/505.00	c  503s |      11 |    26284 |    20544 |    66778      0 |      200 |        0
507.64/507.80	c  506s |      11 |    26414 |    20644 |    66778      0 |      200 |        0
509.74/509.94	c  508s |      11 |    26514 |    20744 |    66778      0 |      200 |        0
511.94/512.12	c  510s |      11 |    26613 |    20844 |    66778      0 |      200 |        0
516.44/516.62	c  515s |      11 |    26826 |    21044 |    66778      0 |      200 |        0
518.74/518.90	c  517s |      11 |    26936 |    21144 |    66778      0 |      200 |        0
521.64/521.81	c  520s |      11 |    27042 |    21244 |    66778      0 |      200 |        0
525.04/525.20	c  523s |      11 |    27251 |    21444 |    66778      0 |      200 |        0
527.33/527.52	c  525s |      11 |    27375 |    21544 |    66778      0 |      200 |        0
529.53/529.78	c  528s |      11 |    27468 |    21644 |    66778      0 |      200 |        0
533.73/533.95	c  532s |      11 |    27789 |    21844 |    66778      0 |      200 |        0
536.13/536.34	c  534s |      11 |    27892 |    21944 |    66778      0 |      200 |        0
540.23/540.40	c  538s |      11 |    28178 |    22144 |    66778      0 |      200 |        0
542.63/542.82	c  541s |      11 |    28295 |    22244 |    66778      0 |      200 |        0
545.03/545.26	c  543s |      11 |    28391 |    22344 |    66778      0 |      200 |        0
548.73/548.97	c  547s |      11 |    28666 |    22544 |    66778      0 |      200 |        0
551.32/551.52	c  550s |      11 |    28758 |    22644 |    66778      0 |      200 |        0
553.52/553.72	c  552s |      11 |    28864 |    22744 |    66778      0 |      200 |        0
557.32/557.58	c  556s |      11 |    29084 |    22944 |    66778      0 |      200 |        0
561.22/561.48	c  559s |      11 |    29410 |    23144 |    66778      0 |      200 |        0
564.72/564.91	c  563s |      11 |    29605 |    23344 |    66778      0 |      200 |        0
567.72/567.97	c  566s |      11 |    29826 |    23544 |    66778      0 |      200 |        0
569.92/570.19	c  568s |      11 |    29931 |    23644 |    66778      0 |      200 |        0
572.42/572.66	c  571s |      11 |    30026 |    23744 |    66778      0 |      200 |        0
575.22/575.44	c  573s |      11 |    30149 |    23844 |    66778      0 |      200 |        0
579.11/579.33	c  577s |      11 |    30357 |    24044 |    66778      0 |      200 |        0
582.61/582.89	c  581s |      11 |    30554 |    24244 |    66778      0 |      200 |        0
585.02/585.29	c  583s |      11 |    30657 |    24344 |    66778      0 |      200 |        0
588.71/588.98	c  587s |      11 |    30935 |    24544 |    66778      0 |      200 |        0
590.90/591.17	c  589s |      11 |    31020 |    24644 |    66778      0 |      200 |        0
594.30/594.52	c  592s |      11 |    31239 |    24844 |    66778      0 |      200 |        0
596.70/596.95	c  595s |      11 |    31339 |    24944 |    66778      0 |      200 |        0
600.30/600.52	c  599s |      11 |    31547 |    25144 |    66778      0 |      200 |        0
602.39/602.60	c  601s |      11 |    31655 |    25244 |    66778      0 |      200 |        0
604.39/604.65	c  603s |      11 |    31761 |    25344 |    66778      0 |      200 |        0
606.89/607.15	c  605s |      11 |    31867 |    25444 |    66778      0 |      200 |        0
609.79/610.04	c  608s |      11 |    31989 |    25544 |    66778      0 |      200 |        0
611.99/612.24	c  610s |      11 |    32091 |    25644 |    66778      0 |      200 |        0
613.98/614.25	c  612s |      11 |    32193 |    25744 |    73456      0 |      200 |        0
615.48/615.73	c  614s |      12 |    32267 |    25819 |    73456      0 |      200 |        0
618.88/619.10	c  617s |      12 |    32462 |    25919 |    73456      0 |      200 |        0
621.78/622.02	c  620s |      12 |    32573 |    26019 |    73456      0 |      200 |        0
625.08/625.39	c  623s |      12 |    32691 |    26119 |    73456      0 |      200 |        0
627.49/627.73	c  626s |      12 |    32791 |    26219 |    73456      0 |      200 |        0
629.58/629.82	c  628s |      12 |    32895 |    26319 |    73456      0 |      200 |        0
634.08/634.31	c  632s |      12 |    33097 |    26519 |    73456      0 |      200 |        0
636.38/636.66	c  635s |      12 |    33221 |    26619 |    73456      0 |      200 |        0
639.98/640.30	c  638s |      12 |    33312 |    26719 |    73456      0 |      200 |        0
642.97/643.26	c  641s |      12 |    33434 |    26819 |    73456      0 |      200 |        0
645.37/645.60	c  644s |      12 |    33528 |    26919 |    73456      0 |      200 |        0
647.68/647.98	c  646s |      12 |    33638 |    27019 |    73456      0 |      200 |        0
650.37/650.61	c  649s |      12 |    33763 |    27119 |    73456      0 |      200 |        0
653.07/653.35	c  651s |      12 |    33881 |    27219 |    73456      0 |      200 |        0
655.48/655.73	c  654s |      12 |    33976 |    27319 |    73456      0 |      200 |        0
659.17/659.43	c  657s |      12 |    34279 |    27519 |    73456      0 |      200 |        0
661.16/661.44	c  659s |      12 |    34376 |    27619 |    73456      0 |      200 |        0
663.66/663.94	c  662s |      12 |    34498 |    27719 |    73456      0 |      200 |        0
665.86/666.10	c  664s |      12 |    34657 |    27819 |    73456      0 |      200 |        0
670.96/671.25	c  669s |      12 |    34910 |    28019 |    73456      0 |      200 |        0
673.46/673.70	c  672s |      12 |    35026 |    28119 |    73456      0 |      200 |        0
676.46/676.78	c  675s |      12 |    35235 |    28319 |    73456      0 |      200 |        0
680.66/680.91	c  679s |      12 |    35481 |    28519 |    73456      0 |      200 |        0
683.85/684.18	c  682s |      12 |    35585 |    28619 |    73456      0 |      200 |        0
686.16/686.41	c  684s |      12 |    35697 |    28719 |    73456      0 |      200 |        0
689.65/689.97	c  688s |      12 |    35903 |    28919 |    73456      0 |      200 |        0
693.65/693.96	c  692s |      12 |    36169 |    29119 |    73456      0 |      200 |        0
696.06/696.38	c  694s |      12 |    36286 |    29219 |    73456      0 |      200 |        0
699.25/699.60	c  698s |      12 |    36408 |    29319 |    73456      0 |      200 |        0
701.55/701.84	c  700s |      12 |    36509 |    29419 |    73456      0 |      200 |        0
703.94/704.21	c  702s |      12 |    36599 |    29519 |    73456      0 |      200 |        0
706.34/706.68	c  705s |      12 |    36717 |    29619 |    73456      0 |      200 |        0
708.74/709.03	c  707s |      12 |    36840 |    29719 |    73456      0 |      200 |        0
711.84/712.12	c  710s |      12 |    36958 |    29819 |    73456      0 |      200 |        0
714.74/715.09	c  713s |      12 |    37063 |    29919 |    73456      0 |      200 |        0
717.54/717.85	c  716s |      12 |    37184 |    30019 |    73456      0 |      200 |        0
720.03/720.36	c  718s |      12 |    37355 |    30119 |    73456      0 |      200 |        0
724.53/724.80	c  723s |      12 |    37798 |    30319 |    73456      0 |      200 |        0
728.23/728.55	c  727s |      12 |    37906 |    30419 |    73456      0 |      200 |        0
731.82/732.19	c  730s |      12 |    38000 |    30519 |    73456      0 |      200 |        0
734.42/734.72	c  733s |      12 |    38101 |    30619 |    73456      0 |      200 |        0
736.83/737.17	c  735s |      12 |    38209 |    30719 |    73456      0 |      200 |        0
738.93/739.20	c  737s |      12 |    38300 |    30819 |    73456      0 |      200 |        0
742.01/742.38	c  740s |      12 |    38499 |    31019 |    73456      0 |      200 |        0
744.61/744.97	c  743s |      12 |    38626 |    31119 |    73456      0 |      200 |        0
747.72/748.09	c  746s |      12 |    38722 |    31219 |    73456      0 |      200 |        0
750.81/751.16	c  749s |      12 |    38826 |    31319 |    73456      0 |      200 |        0
753.81/754.16	c  752s |      12 |    38937 |    31419 |    73456      0 |      200 |        0
757.11/757.45	c  755s |      12 |    39029 |    31519 |    73456      0 |      200 |        0
760.31/760.64	c  759s |      12 |    39141 |    31619 |    73456      0 |      200 |        0
762.81/763.18	c  761s |      12 |    39272 |    31719 |    73456      0 |      200 |        0
765.81/766.11	c  764s |      12 |    39381 |    31819 |    73456      0 |      200 |        0
769.71/770.05	c  768s |      12 |    39517 |    31919 |    73456      0 |      200 |        0
773.11/773.48	c  771s |      12 |    39627 |    32019 |    73456      0 |      200 |        0
776.20/776.57	c  775s |      12 |    39759 |    32119 |    73456      0 |      200 |        0
779.10/779.41	c  777s |      12 |    39872 |    32219 |    73456      0 |      200 |        0
783.80/784.10	c  782s |      12 |    40113 |    32419 |    73456      0 |      200 |        0
786.50/786.81	c  785s |      12 |    40218 |    32519 |    73456      0 |      200 |        0
790.50/790.80	c  789s |      12 |    40331 |    32619 |    73456      0 |      200 |        0
794.60/794.97	c  793s |      12 |    40448 |    32719 |    73456      0 |      200 |        0
797.40/797.70	c  796s |      12 |    40739 |    32819 |    73456      0 |      200 |        0
801.19/801.51	c  799s |      12 |    40853 |    32919 |    73456      0 |      200 |        0
803.99/804.34	c  802s |      12 |    40987 |    33019 |    73456      0 |      200 |        0
807.39/807.75	c  806s |      12 |    41166 |    33119 |    73456      0 |      200 |        0
809.99/810.39	c  808s |      12 |    41269 |    33219 |    73456      0 |      200 |        0
812.89/813.20	c  811s |      12 |    41363 |    33319 |    73456      0 |      200 |        0
816.69/817.03	c  815s |      12 |    41468 |    33419 |    73456      0 |      200 |        0
819.69/820.02	c  818s |      12 |    41600 |    33519 |    73456      0 |      200 |        0
822.79/823.14	c  821s |      12 |    41828 |    33719 |    73456      0 |      200 |        0
825.59/825.97	c  824s |      12 |    42086 |    33919 |    73456      0 |      200 |        0
829.89/830.28	c  828s |      12 |    42290 |    34119 |    73456      0 |      200 |        0
831.89/832.29	c  830s |      12 |    42380 |    34219 |    73456      0 |      200 |        0
835.89/836.27	c  834s |      12 |    42585 |    34419 |    73456      0 |      200 |        0
838.59/838.90	c  837s |      12 |    42705 |    34519 |    73456      0 |      200 |        0
841.49/841.82	c  840s |      12 |    42802 |    34619 |    73456      0 |      200 |        0
845.79/846.15	c  844s |      12 |    42910 |    34719 |    73456      0 |      200 |        0
848.79/849.18	c  847s |      12 |    43032 |    34819 |    73456      0 |      200 |        0
851.29/851.62	c  850s |      12 |    43139 |    34919 |    73456      0 |      200 |        0
853.99/854.34	c  852s |      12 |    43227 |    35019 |    73456      0 |      200 |        0
856.78/857.13	c  855s |      12 |    43328 |    35119 |    73456      0 |      200 |        0
859.99/860.36	c  858s |      12 |    43431 |    35219 |    73456      0 |      200 |        0
863.78/864.16	c  862s |      12 |    43526 |    35319 |    73456      0 |      200 |        0
867.48/867.83	c  866s |      12 |    43631 |    35419 |    73456      0 |      200 |        0
870.08/870.40	c  868s |      12 |    44014 |    35519 |    73456      0 |      200 |        0
873.68/874.02	c  872s |      12 |    44131 |    35619 |    73456      0 |      200 |        0
876.98/877.38	c  875s |      12 |    44267 |    35719 |    73456      0 |      200 |        0
880.38/880.72	c  879s |      12 |    44383 |    35819 |    73456      0 |      200 |        0
882.68/883.09	c  881s |      12 |    44487 |    35919 |    73456      0 |      200 |        0
885.18/885.56	c  884s |      12 |    44579 |    36019 |    73456      0 |      200 |        0
887.68/888.06	c  886s |      12 |    44676 |    36119 |    73456      0 |      200 |        0
890.28/890.69	c  889s |      12 |    44787 |    36219 |    73456      0 |      200 |        0
893.68/894.01	c  892s |      12 |    44885 |    36319 |    73456      0 |      200 |        0
896.58/896.94	c  895s |      12 |    44973 |    36419 |    73456      0 |      200 |        0
899.18/899.50	c  897s |      12 |    45110 |    36519 |    73456      0 |      200 |        0
903.67/904.00	c  902s |      12 |    45215 |    36619 |    73456      0 |      200 |        0
906.37/906.79	c  905s |      12 |    45302 |    36719 |    73456      0 |      200 |        0
908.97/909.32	c  907s |      12 |    45404 |    36819 |    73456      0 |      200 |        0
911.37/911.78	c  910s |      12 |    45517 |    36919 |    73456      0 |      200 |        0
913.78/914.17	c  912s |      12 |    45603 |    37019 |    73456      0 |      200 |        0
915.98/916.34	c  914s |      12 |    45714 |    37119 |    73456      0 |      200 |        0
919.57/919.94	c  918s |      12 |    45903 |    37319 |    73456      0 |      200 |        0
923.37/923.76	c  922s |      12 |    46104 |    37519 |    73456      0 |      200 |        0
925.88/926.28	c  924s |      12 |    46253 |    37619 |    73456      0 |      200 |        0
928.37/928.79	c  927s |      12 |    46339 |    37719 |    73456      0 |      200 |        0
930.77/931.13	c  929s |      12 |    46449 |    37819 |    73456      0 |      200 |        0
933.07/933.45	c  931s |      12 |    46549 |    37919 |    73456      0 |      200 |        0
935.37/935.73	c  934s |      12 |    46641 |    38019 |    73456      0 |      200 |        0
937.47/937.82	c  936s |      12 |    46741 |    38119 |    73456      0 |      200 |        0
939.47/939.85	c  938s |      12 |    46848 |    38219 |    73456      0 |      200 |        0
942.97/943.30	c  941s |      12 |    47045 |    38419 |    73456      0 |      200 |        0
946.77/947.11	c  945s |      12 |    47240 |    38619 |    80802      0 |      200 |        0
948.97/949.40	c  947s |      12 |    47338 |    38719 |    80802      0 |      200 |        0
951.07/951.44	c  949s |      12 |    47438 |    38819 |    80802      0 |      200 |        0
951.37/951.70	c  950s |      13 |    47455 |    38832 |    80802      0 |      200 |        0
955.97/956.30	c  954s |      13 |    47652 |    38932 |    80802      0 |      200 |        0
959.87/960.30	c  958s |      13 |    47752 |    39032 |    80802      0 |      200 |        0
964.66/965.08	c  963s |      13 |    47848 |    39132 |    80802      0 |      200 |        0
968.56/968.97	c  967s |      13 |    47975 |    39232 |    80802      0 |      200 |        0
972.96/973.31	c  971s |      13 |    48092 |    39332 |    80802      0 |      200 |        0
977.06/977.50	c  975s |      13 |    48180 |    39432 |    80802      0 |      200 |        0
981.56/981.92	c  980s |      13 |    48277 |    39532 |    80802      0 |      200 |        0
985.86/986.24	c  984s |      13 |    48404 |    39632 |    80802      0 |      200 |        0
988.57/989.00	c  987s |      13 |    48503 |    39732 |    80802      0 |      200 |        0
991.36/991.79	c  990s |      13 |    48621 |    39832 |    80802      0 |      200 |        0
993.86/994.25	c  992s |      13 |    48717 |    39932 |    80802      0 |      200 |        0
996.16/996.55	c  995s |      13 |    48820 |    40032 |    80802      0 |      200 |        0
998.36/998.80	c  997s |      13 |    48918 |    40132 |    80802      0 |      200 |        0
1000.46/1000.85	c  999s |      13 |    49007 |    40232 |    80802      0 |      200 |        0
1003.86/1004.23	c 1002s |      13 |    49204 |    40432 |    80802      0 |      200 |        0
1009.06/1009.48	c 1007s |      13 |    49471 |    40632 |    80802      0 |      200 |        0
1011.36/1011.79	c 1010s |      13 |    49579 |    40732 |    80802      0 |      200 |        0
1013.75/1014.12	c 1012s |      13 |    49717 |    40832 |    80802      0 |      200 |        0
1016.16/1016.55	c 1015s |      13 |    49806 |    40932 |    80802      0 |      200 |        0
1018.65/1019.00	c 1017s |      13 |    49922 |    41032 |    80802      0 |      200 |        0
1021.45/1021.86	c 1020s |      13 |    50033 |    41132 |    80802      0 |      200 |        0
1025.15/1025.58	c 1024s |      13 |    50151 |    41232 |    80802      0 |      200 |        0
1027.45/1027.81	c 1026s |      13 |    50277 |    41332 |    80802      0 |      200 |        0
1030.46/1030.84	c 1029s |      13 |    50400 |    41432 |    80802      0 |      200 |        0
1033.35/1033.72	c 1032s |      13 |    50490 |    41532 |    80802      0 |      200 |        0
1036.65/1037.02	c 1035s |      13 |    50613 |    41632 |    80802      0 |      200 |        0
1038.85/1039.27	c 1037s |      13 |    50707 |    41732 |    80802      0 |      200 |        0
1041.36/1041.73	c 1040s |      13 |    50802 |    41832 |    80802      0 |      200 |        0
1043.75/1044.15	c 1042s |      13 |    50917 |    41932 |    80802      0 |      200 |        0
1045.95/1046.36	c 1044s |      13 |    51011 |    42032 |    80802      0 |      200 |        0
1048.06/1048.45	c 1046s |      13 |    51112 |    42132 |    80802      0 |      200 |        0
1051.45/1051.89	c 1050s |      13 |    51309 |    42332 |    80802      0 |      200 |        0
1056.05/1056.42	c 1054s |      13 |    51511 |    42532 |    80802      0 |      200 |        0
1059.15/1059.53	c 1058s |      13 |    51607 |    42632 |    80802      0 |      200 |        0
1061.85/1062.27	c 1060s |      13 |    51708 |    42732 |    80802      0 |      200 |        0
1064.35/1064.75	c 1063s |      13 |    51834 |    42832 |    80802      0 |      200 |        0
1067.95/1068.35	c 1066s |      13 |    52030 |    43032 |    80802      0 |      200 |        0
1071.84/1072.23	c 1070s |      13 |    52231 |    43232 |    80802      0 |      200 |        0
1074.35/1074.72	c 1073s |      13 |    52340 |    43332 |    80802      0 |      200 |        0
1076.94/1077.36	c 1075s |      13 |    52430 |    43432 |    80802      0 |      200 |        0
1079.95/1080.33	c 1078s |      13 |    52525 |    43532 |    80802      0 |      200 |        0
1082.54/1082.99	c 1081s |      13 |    52624 |    43632 |    80802      0 |      200 |        0
1084.84/1085.29	c 1083s |      13 |    52743 |    43732 |    80802      0 |      200 |        0
1087.34/1087.76	c 1086s |      13 |    52831 |    43832 |    80802      0 |      200 |        0
1089.85/1090.22	c 1088s |      13 |    52943 |    43932 |    80802      0 |      200 |        0
1092.24/1092.68	c 1091s |      13 |    53048 |    44032 |    80802      0 |      200 |        0
1094.54/1094.96	c 1093s |      13 |    53149 |    44132 |    80802      0 |      200 |        0
1096.64/1097.08	c 1095s |      13 |    53237 |    44232 |    80802      0 |      200 |        0
1098.94/1099.35	c 1097s |      13 |    53342 |    44332 |    80802      0 |      200 |        0
1100.94/1101.37	c 1099s |      13 |    53444 |    44432 |    80802      0 |      200 |        0
1104.15/1104.55	c 1103s |      13 |    53634 |    44632 |    80802      0 |      200 |        0
1106.84/1107.28	c 1105s |      13 |    53859 |    44832 |    80802      0 |      200 |        0
1110.84/1111.26	c 1109s |      13 |    54066 |    45032 |    80802      0 |      200 |        0
1115.24/1115.60	c 1114s |      13 |    54269 |    45232 |    80802      0 |      200 |        0
1117.34/1117.77	c 1116s |      13 |    54368 |    45332 |    80802      0 |      200 |        0
1119.34/1119.78	c 1118s |      13 |    54467 |    45432 |    80802      0 |      200 |        0
1122.64/1123.01	c 1121s |      13 |    54656 |    45632 |    80802      0 |      200 |        0
1126.64/1127.02	c 1125s |      13 |    54869 |    45832 |    80802      0 |      200 |        0
1128.84/1129.26	c 1127s |      13 |    54969 |    45932 |    80802      0 |      200 |        0
1132.53/1132.95	c 1131s |      13 |    55160 |    46132 |    80802      0 |      200 |        0
1135.33/1135.74	c 1134s |      13 |    55375 |    46332 |    80802      0 |      200 |        0
1138.93/1139.31	c 1137s |      13 |    55588 |    46532 |    80802      0 |      200 |        0
1141.13/1141.55	c 1140s |      13 |    55690 |    46632 |    80802      0 |      200 |        0
1143.13/1143.59	c 1142s |      13 |    55780 |    46732 |    80802      0 |      200 |        0
1145.63/1146.06	c 1144s |      13 |    55880 |    46832 |    80802      0 |      200 |        0
1147.93/1148.37	c 1146s |      13 |    55979 |    46932 |    80802      0 |      200 |        0
1150.13/1150.56	c 1149s |      13 |    56075 |    47032 |    80802      0 |      200 |        0
1153.83/1154.20	c 1152s |      13 |    56271 |    47232 |    80802      0 |      200 |        0
1157.63/1158.07	c 1156s |      13 |    56475 |    47432 |    80802      0 |      200 |        0
1159.93/1160.38	c 1158s |      13 |    56569 |    47532 |    80802      0 |      200 |        0
1163.83/1164.21	c 1162s |      13 |    56774 |    47732 |    80802      0 |      200 |        0
1167.73/1168.20	c 1166s |      13 |    56990 |    47932 |    80802      0 |      200 |        0
1169.93/1170.39	c 1168s |      13 |    57081 |    48032 |    80802      0 |      200 |        0
1172.13/1172.57	c 1171s |      13 |    57184 |    48132 |    80802      0 |      200 |        0
1175.63/1176.02	c 1174s |      13 |    57376 |    48332 |    80802      0 |      200 |        0
1179.82/1180.22	c 1178s |      13 |    57580 |    48532 |    80802      0 |      200 |        0
1182.13/1182.56	c 1181s |      13 |    57675 |    48632 |    80802      0 |      200 |        0
1184.44/1184.84	c 1183s |      13 |    57785 |    48732 |    80802      0 |      200 |        0
1187.93/1188.39	c 1186s |      13 |    57977 |    48932 |    80802      0 |      200 |        0
1190.94/1191.32	c 1189s |      13 |    58187 |    49132 |    80802      0 |      200 |        0
1194.63/1195.00	c 1193s |      13 |    58396 |    49332 |    80802      0 |      200 |        0
1196.83/1197.22	c 1195s |      13 |    58481 |    49432 |    80802      0 |      200 |        0
1199.13/1199.52	c 1197s |      13 |    58591 |    49532 |    80802      0 |      200 |        0
1201.63/1202.09	c 1200s |      13 |    58697 |    49632 |    80802      0 |      200 |        0
1204.53/1204.93	c 1203s |      13 |    58849 |    49732 |    80802      0 |      200 |        0
1207.03/1207.47	c 1205s |      13 |    58930 |    49832 |    80802      0 |      200 |        0
1209.23/1209.66	c 1208s |      13 |    59031 |    49932 |    80802      0 |      200 |        0
1212.83/1213.23	c 1211s |      13 |    59233 |    50132 |    80802      0 |      200 |        0
1217.33/1217.78	c 1216s |      13 |    59449 |    50332 |    80802      0 |      200 |        0
1219.83/1220.24	c 1218s |      13 |    59549 |    50432 |    80802      0 |      200 |        0
1222.93/1223.38	c 1221s |      13 |    59649 |    50532 |    80802      0 |      200 |        0
1225.53/1225.92	c 1224s |      13 |    59768 |    50632 |    80802      0 |      200 |        0
1227.92/1228.34	c 1226s |      13 |    59873 |    50732 |    80802      0 |      200 |        0
1231.52/1231.94	c 1230s |      13 |    60073 |    50932 |    80802      0 |      200 |        0
1234.62/1235.00	c 1233s |      13 |    60279 |    51132 |    80802      0 |      200 |        0
1237.23/1237.66	c 1236s |      13 |    60372 |    51232 |    80802      0 |      200 |        0
1239.62/1240.04	c 1238s |      13 |    60475 |    51332 |    80802      0 |      200 |        0
1241.82/1242.21	c 1240s |      13 |    60577 |    51432 |    80802      0 |      200 |        0
1243.92/1244.30	c 1242s |      13 |    60672 |    51532 |    80802      0 |      200 |        0
1246.92/1247.35	c 1245s |      13 |    60881 |    51732 |    80802      0 |      200 |        0
1249.62/1250.09	c 1248s |      13 |    60973 |    51832 |    80802      0 |      200 |        0
1252.12/1252.51	c 1250s |      13 |    61089 |    51932 |    80802      0 |      200 |        0
1254.32/1254.79	c 1253s |      13 |    61181 |    52032 |    80802      0 |      200 |        0
1258.03/1258.49	c 1256s |      13 |    61376 |    52232 |    80802      0 |      200 |        0
1262.43/1262.88	c 1261s |      13 |    61594 |    52432 |    80802      0 |      200 |        0
1264.82/1265.27	c 1263s |      13 |    61677 |    52532 |    80802      0 |      200 |        0
1267.02/1267.45	c 1265s |      13 |    61778 |    52632 |    80802      0 |      200 |        0
1269.03/1269.46	c 1267s |      13 |    61883 |    52732 |    80802      0 |      200 |        0
1272.62/1273.00	c 1271s |      13 |    62086 |    52932 |    80802      0 |      200 |        0
1274.72/1275.10	c 1273s |      13 |    62202 |    53032 |    80802      0 |      200 |        0
1278.32/1278.71	c 1277s |      13 |    62434 |    53232 |    80802      0 |      200 |        0
1281.32/1281.74	c 1280s |      13 |    62639 |    53432 |    80802      0 |      200 |        0
1283.42/1283.83	c 1282s |      13 |    62743 |    53532 |    80802      0 |      200 |        0
1286.01/1286.49	c 1284s |      13 |    62836 |    53632 |    80802      0 |      200 |        0
1288.41/1288.87	c 1287s |      13 |    62943 |    53732 |    80802      0 |      200 |        0
1290.71/1291.14	c 1289s |      13 |    63051 |    53832 |    80802      0 |      200 |        0
1294.32/1294.80	c 1293s |      13 |    63242 |    54032 |    80802      0 |      200 |        0
1298.41/1298.85	c 1297s |      13 |    63437 |    54232 |    80802      0 |      200 |        0
1300.81/1301.28	c 1299s |      13 |    63547 |    54332 |    80802      0 |      200 |        0
1303.01/1303.49	c 1301s |      13 |    63637 |    54432 |    80802      0 |      200 |        0
1305.11/1305.57	c 1304s |      13 |    63735 |    54532 |    80802      0 |      200 |        0
1308.41/1308.83	c 1307s |      13 |    63934 |    54732 |    80802      0 |      200 |        0
1312.31/1312.77	c 1311s |      13 |    64194 |    54932 |    80802      0 |      200 |        0
1314.61/1315.09	c 1313s |      13 |    64299 |    55032 |    80802      0 |      200 |        0
1317.11/1317.58	c 1316s |      13 |    64421 |    55132 |    80802      0 |      200 |        0
1319.81/1320.21	c 1318s |      13 |    64525 |    55232 |    80802      0 |      200 |        0
1322.61/1323.08	c 1321s |      13 |    64630 |    55332 |    80802      0 |      200 |        0
1325.01/1325.43	c 1323s |      13 |    64756 |    55432 |    80802      0 |      200 |        0
1328.51/1328.91	c 1327s |      13 |    64854 |    55532 |    80802      0 |      200 |        0
1331.60/1332.00	c 1330s |      13 |    64958 |    55632 |    80802      0 |      200 |        0
1334.70/1335.12	c 1333s |      13 |    65043 |    55732 |    80802      0 |      200 |        0
1338.60/1339.01	c 1337s |      13 |    65134 |    55832 |    80802      0 |      200 |        0
1341.90/1342.37	c 1340s |      13 |    65283 |    55932 |    80802      0 |      200 |        0
1344.60/1345.09	c 1343s |      13 |    65385 |    56032 |    80802      0 |      200 |        0
1347.60/1348.02	c 1346s |      13 |    65511 |    56132 |    80802      0 |      200 |        0
1349.80/1350.21	c 1348s |      13 |    65611 |    56232 |    80802      0 |      200 |        0
1352.50/1352.98	c 1351s |      13 |    65706 |    56332 |    80802      0 |      200 |        0
1355.20/1355.65	c 1354s |      13 |    65802 |    56432 |    80802      0 |      200 |        0
1357.90/1358.36	c 1356s |      13 |    65900 |    56532 |    80802      0 |      200 |        0
1361.30/1361.79	c 1360s |      13 |    66020 |    56632 |    80802      0 |      200 |        0
1363.80/1364.27	c 1362s |      13 |    66115 |    56732 |    80802      0 |      200 |        0
1366.10/1366.58	c 1365s |      13 |    66199 |    56832 |    80802      0 |      200 |        0
1368.30/1368.74	c 1367s |      13 |    66310 |    56932 |    80802      0 |      200 |        0
1372.00/1372.48	c 1370s |      13 |    66502 |    57132 |    80802      0 |      200 |        0
1375.70/1376.19	c 1374s |      13 |    66699 |    57332 |    80802      0 |      200 |        0
1378.20/1378.66	c 1377s |      13 |    66816 |    57432 |    80802      0 |      200 |        0
1380.50/1380.97	c 1379s |      13 |    66913 |    57532 |    80802      0 |      200 |        0
1382.70/1383.17	c 1381s |      13 |    67011 |    57632 |    80802      0 |      200 |        0
1386.40/1386.80	c 1385s |      13 |    67205 |    57832 |    80802      0 |      200 |        0
1390.60/1391.02	c 1389s |      13 |    67402 |    58032 |    88883      0 |      200 |        0
1393.20/1393.69	c 1392s |      13 |    67517 |    58132 |    88883      0 |      200 |        0
1395.70/1396.10	c 1394s |      13 |    67603 |    58232 |    88883      0 |      200 |        0
1397.99/1398.46	c 1396s |      13 |    67705 |    58332 |    88883      0 |      200 |        0
1398.49/1398.93	c 1397s |      14 |    67720 |    58352 |    88883      0 |      200 |        0
1401.00/1401.46	c 1399s |      14 |    68078 |    58452 |    88883      0 |      200 |        0
1403.30/1403.74	c 1402s |      14 |    68249 |    58552 |    88883      0 |      200 |        0
1405.40/1405.88	c 1404s |      14 |    68611 |    58652 |    88883      0 |      200 |        0
1408.59/1409.03	c 1407s |      14 |    68739 |    58752 |    88883      0 |      200 |        0
1412.39/1412.86	c 1411s |      14 |    68855 |    58852 |    88883      0 |      200 |        0
1416.89/1417.30	c 1415s |      14 |    69045 |    58952 |    88883      0 |      200 |        0
1421.09/1421.59	c 1420s |      14 |    69157 |    59052 |    88883      0 |      200 |        0
1425.30/1425.74	c 1424s |      14 |    69243 |    59152 |    88883      0 |      200 |        0
1430.19/1430.64	c 1429s |      14 |    69356 |    59252 |    88883      0 |      200 |        0
1434.39/1434.88	c 1433s |      14 |    69474 |    59352 |    88883      0 |      200 |        0
1437.49/1437.94	c 1436s |      14 |    69570 |    59452 |    88883      0 |      200 |        0
1444.09/1444.58	c 1443s |      14 |    69770 |    59652 |    88883      0 |      200 |        0
1447.69/1448.14	c 1446s |      14 |    69873 |    59752 |    88883      0 |      200 |        0
1451.09/1451.55	c 1450s |      14 |    69970 |    59852 |    88883      0 |      200 |        0
1454.18/1454.60	c 1453s |      14 |    70080 |    59952 |    88883      0 |      200 |        0
1458.08/1458.59	c 1457s |      14 |    70170 |    60052 |    88883      0 |      200 |        0
1461.78/1462.25	c 1460s |      14 |    70316 |    60152 |    88883      0 |      200 |        0
1465.28/1465.71	c 1464s |      14 |    70430 |    60252 |    88883      0 |      200 |        0
1467.98/1468.45	c 1466s |      14 |    70526 |    60352 |    88883      0 |      200 |        0
1470.39/1470.88	c 1469s |      14 |    70624 |    60452 |    88883      0 |      200 |        0
1473.18/1473.64	c 1472s |      14 |    70741 |    60552 |    88883      0 |      200 |        0
1475.89/1476.35	c 1474s |      14 |    70821 |    60652 |    88883      0 |      200 |        0
1478.58/1479.06	c 1477s |      14 |    70928 |    60752 |    88883      0 |      200 |        0
1481.58/1482.00	c 1480s |      14 |    71037 |    60852 |    88883      0 |      200 |        0
1484.59/1485.02	c 1483s |      14 |    71125 |    60952 |    88883      0 |      200 |        0
1486.58/1487.08	c 1485s |      14 |    71266 |    61052 |    88883      0 |      200 |        0
1490.28/1490.78	c 1489s |      14 |    71485 |    61252 |    88883      0 |      200 |        0
1492.58/1493.02	c 1491s |      14 |    71578 |    61352 |    88883      0 |      200 |        0
1494.88/1495.32	c 1493s |      14 |    71685 |    61452 |    88883      0 |      200 |        0
1497.28/1497.78	c 1496s |      14 |    71787 |    61552 |    88883      0 |      200 |        0
1499.98/1500.41	c 1498s |      14 |    71885 |    61652 |    88883      0 |      200 |        0
1502.78/1503.20	c 1501s |      14 |    71972 |    61752 |    88883      0 |      200 |        0
1505.59/1506.03	c 1504s |      14 |    72084 |    61852 |    88883      0 |      200 |        0
1509.58/1510.03	c 1508s |      14 |    72192 |    61952 |    88883      0 |      200 |        0
1512.78/1513.21	c 1511s |      14 |    72302 |    62052 |    88883      0 |      200 |        0
1515.18/1515.67	c 1514s |      14 |    72398 |    62152 |    88883      0 |      200 |        0
1517.78/1518.23	c 1516s |      14 |    72527 |    62252 |    88883      0 |      200 |        0
1521.48/1521.91	c 1520s |      14 |    72641 |    62352 |    88883      0 |      200 |        0
1525.29/1525.71	c 1524s |      14 |    72777 |    62452 |    88883      0 |      200 |        0
1528.38/1528.85	c 1527s |      14 |    72881 |    62552 |    88883      0 |      200 |        0
1531.38/1531.89	c 1530s |      14 |    72998 |    62652 |    88883      0 |      200 |        0
1534.58/1535.01	c 1533s |      14 |    73093 |    62752 |    88883      0 |      200 |        0
1537.28/1537.74	c 1536s |      14 |    73239 |    62852 |    88883      0 |      200 |        0
1540.58/1541.04	c 1539s |      14 |    73343 |    62952 |    88883      0 |      200 |        0
1543.38/1543.88	c 1542s |      14 |    73465 |    63052 |    88883      0 |      200 |        0
1546.88/1547.37	c 1545s |      14 |    73551 |    63152 |    88883      0 |      200 |        0
1549.78/1550.22	c 1548s |      14 |    73687 |    63252 |    88883      0 |      200 |        0
1553.38/1553.87	c 1552s |      14 |    73802 |    63352 |    88883      0 |      200 |        0
1555.58/1556.07	c 1554s |      14 |    73956 |    63452 |    88883      0 |      200 |        0
1558.08/1558.51	c 1556s |      14 |    74062 |    63552 |    88883      0 |      200 |        0
1560.48/1560.97	c 1559s |      14 |    74158 |    63652 |    88883      0 |      200 |        0
1562.78/1563.24	c 1561s |      14 |    74262 |    63752 |    88883      0 |      200 |        0
1566.08/1566.53	c 1565s |      14 |    74465 |    63952 |    88883      0 |      200 |        0
1568.37/1568.82	c 1567s |      14 |    74568 |    64052 |    88883      0 |      200 |        0
1570.77/1571.26	c 1569s |      14 |    74707 |    64152 |    88883      0 |      200 |        0
1573.47/1573.94	c 1572s |      14 |    74801 |    64252 |    88883      0 |      200 |        0
1575.77/1576.23	c 1574s |      14 |    74910 |    64352 |    88883      0 |      200 |        0
1578.27/1578.71	c 1577s |      14 |    75020 |    64452 |    88883      0 |      200 |        0
1580.77/1581.23	c 1579s |      14 |    75128 |    64552 |    88883      0 |      200 |        0
1582.97/1583.49	c 1581s |      14 |    75217 |    64652 |    88883      0 |      200 |        0
1586.57/1587.07	c 1585s |      14 |    75450 |    64852 |    88883      0 |      200 |        0
1589.37/1589.86	c 1588s |      14 |    75781 |    65052 |    88883      0 |      200 |        0
1591.97/1592.45	c 1590s |      14 |    75904 |    65152 |    88883      0 |      200 |        0
1594.27/1594.72	c 1593s |      14 |    76013 |    65252 |    88883      0 |      200 |        0
1597.88/1598.38	c 1596s |      14 |    76213 |    65452 |    88883      0 |      200 |        0
1600.18/1600.64	c 1599s |      14 |    76313 |    65552 |    88883      0 |      200 |        0
1603.07/1603.50	c 1601s |      14 |    76423 |    65652 |    88883      0 |      200 |        0
1605.17/1605.67	c 1604s |      14 |    76529 |    65752 |    88883      0 |      200 |        0
1608.47/1608.97	c 1607s |      14 |    76734 |    65952 |    88883      0 |      200 |        0
1610.57/1611.07	c 1609s |      14 |    76829 |    66052 |    88883      0 |      200 |        0
1612.86/1613.33	c 1611s |      14 |    77016 |    66152 |    88883      0 |      200 |        0
1615.06/1615.59	c 1614s |      14 |    77153 |    66252 |    88883      0 |      200 |        0
1617.96/1618.44	c 1616s |      14 |    77250 |    66352 |    88883      0 |      200 |        0
1620.66/1621.11	c 1619s |      14 |    77365 |    66452 |    88883      0 |      200 |        0
1623.46/1623.94	c 1622s |      14 |    77463 |    66552 |    88883      0 |      200 |        0
1626.36/1626.87	c 1625s |      14 |    77581 |    66652 |    88883      0 |      200 |        0
1629.26/1629.76	c 1628s |      14 |    77690 |    66752 |    88883      0 |      200 |        0
1632.07/1632.55	c 1631s |      14 |    77822 |    66852 |    88883      0 |      200 |        0
1635.06/1635.52	c 1633s |      14 |    77907 |    66952 |    88883      0 |      200 |        0
1637.76/1638.27	c 1636s |      14 |    78044 |    67052 |    88883      0 |      200 |        0
1640.06/1640.51	c 1638s |      14 |    78139 |    67152 |    88883      0 |      200 |        0
1642.06/1642.59	c 1641s |      14 |    78233 |    67252 |    88883      0 |      200 |        0
1645.26/1645.79	c 1644s |      14 |    78441 |    67452 |    88883      0 |      200 |        0
1647.66/1648.14	c 1646s |      14 |    78563 |    67552 |    88883      0 |      200 |        0
1650.06/1650.56	c 1649s |      14 |    78665 |    67652 |    88883      0 |      200 |        0
1652.66/1653.14	c 1651s |      14 |    78751 |    67752 |    88883      0 |      200 |        0
1654.86/1655.35	c 1653s |      14 |    78850 |    67852 |    88883      0 |      200 |        0
1658.15/1658.67	c 1657s |      14 |    79057 |    68052 |    88883      0 |      200 |        0
1660.45/1660.93	c 1659s |      14 |    79168 |    68152 |    88883      0 |      200 |        0
1662.95/1663.43	c 1661s |      14 |    79256 |    68252 |    88883      0 |      200 |        0
1666.06/1666.54	c 1665s |      14 |    79359 |    68352 |    88883      0 |      200 |        0
1668.55/1669.07	c 1667s |      14 |    79469 |    68452 |    88883      0 |      200 |        0
1672.05/1672.53	c 1671s |      14 |    79658 |    68652 |    88883      0 |      200 |        0
1674.86/1675.37	c 1673s |      14 |    79778 |    68752 |    88883      0 |      200 |        0
1678.65/1679.13	c 1677s |      14 |    79883 |    68852 |    88883      0 |      200 |        0
1681.25/1681.76	c 1680s |      14 |    79997 |    68952 |    88883      0 |      200 |        0
1684.15/1684.61	c 1683s |      14 |    80141 |    69052 |    88883      0 |      200 |        0
1687.55/1688.02	c 1686s |      14 |    80242 |    69152 |    88883      0 |      200 |        0
1691.65/1692.17	c 1690s |      14 |    80407 |    69252 |    88883      0 |      200 |        0
1695.55/1696.01	c 1694s |      14 |    80494 |    69352 |    88883      0 |      200 |        0
1698.45/1698.97	c 1697s |      14 |    80603 |    69452 |    88883      0 |      200 |        0
1701.15/1701.68	c 1700s |      14 |    80696 |    69552 |    88883      0 |      200 |        0
1703.85/1704.37	c 1702s |      14 |    80805 |    69652 |    88883      0 |      200 |        0
1708.15/1708.66	c 1707s |      14 |    80922 |    69752 |    88883      0 |      200 |        0
1711.34/1711.80	c 1710s |      14 |    81031 |    69852 |    88883      0 |      200 |        0
1715.84/1716.37	c 1714s |      14 |    81168 |    69952 |    88883      0 |      200 |        0
1720.94/1721.49	c 1719s |      14 |    81293 |    70052 |    88883      0 |      200 |        0
1723.44/1723.98	c 1722s |      14 |    81419 |    70152 |    88883      0 |      200 |        0
1726.44/1726.98	c 1725s |      14 |    81531 |    70252 |    88883      0 |      200 |        0
1729.85/1730.35	c 1728s |      14 |    81656 |    70352 |    88883      0 |      200 |        0
1733.34/1733.84	c 1732s |      14 |    81755 |    70452 |    88883      0 |      200 |        0
1738.54/1739.08	c 1737s |      14 |    81855 |    70552 |    88883      0 |      200 |        0
1742.94/1743.43	c 1741s |      14 |    81949 |    70652 |    88883      0 |      200 |        0
1747.64/1748.12	c 1746s |      14 |    82067 |    70752 |    88883      0 |      200 |        0
1751.04/1751.59	c 1750s |      14 |    82182 |    70852 |    88883      0 |      200 |        0
1754.25/1754.73	c 1753s |      14 |    82274 |    70952 |    88883      0 |      200 |        0
1757.05/1757.56	c 1756s |      14 |    82378 |    71052 |    88883      0 |      200 |        0
1759.85/1760.34	c 1758s |      14 |    82477 |    71152 |    88883      0 |      200 |        0
1763.84/1764.30	c 1762s |      14 |    82581 |    71252 |    88883      0 |      200 |        0
1767.94/1768.41	c 1766s |      14 |    82708 |    71352 |    88883      0 |      200 |        0
1770.55/1771.08	c 1769s |      14 |    82810 |    71452 |    88883      0 |      200 |        0
1773.24/1773.74	c 1772s |      14 |    82908 |    71552 |    88883      0 |      200 |        0
1775.54/1776.06	c 1774s |      14 |    83010 |    71652 |    88883      0 |      200 |        0
1777.84/1778.34	c 1776s |      14 |    83110 |    71752 |    88883      0 |      200 |        0
1781.44/1781.92	c 1780s |      14 |    83315 |    71952 |    88883      0 |      200 |        0
1786.44/1786.91	c 1785s |      14 |    83532 |    72152 |    88883      0 |      200 |        0
1791.45/1791.95	c 1790s |      14 |    83620 |    72252 |    88883      0 |      200 |        0
1796.04/1796.56	c 1795s |      14 |    83732 |    72352 |    88883      0 |      200 |        0

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

pid=6956
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.06 2.04 2.00 2/238 6959
/proc/meminfo: memFree=29524176/32872528 swapFree=189444/189444
[pid=6959] ppid=6956 vsize=318908 CPUtime=0 cores=0,2,4,6
/proc/6959/stat : 6959 (toysat) R 6956 6959 3947 0 -1 4202496 1114 0 0 0 0 0 0 0 20 0 4 0 5106750 326561792 1986 33554432000 4194304 16246674 140733678976224 140733678975648 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6959/statm: 80239 1995 441 2943 0 77133 0
[pid=6959/tid=6960] ppid=6956 vsize=335292 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6960/stat : 6960 (toysat) S 6956 6959 3947 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5106750 343339008 2052 33554432000 4194304 16246674 140733678976224 140065992846576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6959/tid=6961] ppid=6956 vsize=339388 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6961/stat : 6961 (toysat) S 6956 6959 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5106750 347533312 2069 33554432000 4194304 16246674 140733678976224 140065982356720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6959/tid=6962] ppid=6956 vsize=343484 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6962/stat : 6962 (toysat) S 6956 6959 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5106751 351727616 2085 33554432000 4194304 16246674 140733678976224 140065862839472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100073 s]
/proc/loadavg: 2.06 2.04 2.00 2/238 6959
/proc/meminfo: memFree=29524176/32872528 swapFree=189444/189444
[pid=6959] ppid=6956 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/6959/stat : 6959 (toysat) R 6956 6959 3947 0 -1 4202496 24686 0 0 0 5 4 0 0 20 0 4 0 5106750 1334382592 25496 33554432000 4194304 16246674 140733678976224 140733678975536 7374276 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6959/statm: 325777 25509 799 2943 0 322671 0
[pid=6959/tid=6960] ppid=6956 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6960/stat : 6960 (toysat) S 6956 6959 3947 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5106750 1334382592 25519 33554432000 4194304 16246674 140733678976224 140065992846576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6959/tid=6961] ppid=6956 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6961/stat : 6961 (toysat) S 6956 6959 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5106750 1334382592 25531 33554432000 4194304 16246674 140733678976224 140065982356720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6959/tid=6962] ppid=6956 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6962/stat : 6962 (toysat) S 6956 6959 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5106751 1334382592 25541 33554432000 4194304 16246674 140733678976224 140065862839472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200447 s]
/proc/loadavg: 2.06 2.04 2.00 2/238 6959
/proc/meminfo: memFree=29524176/32872528 swapFree=189444/189444
[pid=6959] ppid=6956 vsize=1313348 CPUtime=0.18 cores=0,2,4,6
/proc/6959/stat : 6959 (toysat) R 6956 6959 3947 0 -1 4202496 43731 0 0 0 12 6 0 0 20 0 4 0 5106750 1344868352 45051 33554432000 4194304 16246674 140733678976224 140733678959216 7364320 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6959/statm: 328337 45051 800 2943 0 325231 0
[pid=6959/tid=6960] ppid=6956 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6960/stat : 6960 (toysat) S 6956 6959 3947 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5106750 1344868352 45051 33554432000 4194304 16246674 140733678976224 140065992846576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6959/tid=6961] ppid=6956 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6961/stat : 6961 (toysat) S 6956 6959 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5106750 1344868352 45051 33554432000 4194304 16246674 140733678976224 140065982356720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6959/tid=6962] ppid=6956 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6962/stat : 6962 (toysat) S 6956 6959 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5106751 1344868352 45051 33554432000 4194304 16246674 140733678976224 140065862839472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1313348

[startup+0.300447 s]
/proc/loadavg: 2.06 2.04 2.00 2/238 6959
/proc/meminfo: memFree=29524176/32872528 swapFree=189444/189444
[pid=6959] ppid=6956 vsize=1313348 CPUtime=0.28 cores=0,2,4,6
/proc/6959/stat : 6959 (toysat) R 6956 6959 3947 0 -1 4202496 59793 0 0 0 19 9 0 0 20 0 4 0 5106750 1344868352 61113 33554432000 4194304 16246674 140733678976224 140733678959216 7378163 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6959/statm: 328337 61113 800 2943 0 325231 0
[pid=6959/tid=6960] ppid=6956 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6960/stat : 6960 (toysat) S 6956 6959 3947 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5106750 1344868352 61113 33554432000 4194304 16246674 140733678976224 140065992846576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6959/tid=6961] ppid=6956 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6961/stat : 6961 (toysat) S 6956 6959 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5106750 1344868352 61113 33554432000 4194304 16246674 140733678976224 140065982356720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6959/tid=6962] ppid=6956 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6962/stat : 6962 (toysat) S 6956 6959 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5106751 1344868352 61113 33554432000 4194304 16246674 140733678976224 140065862839472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.700343 s]
/proc/loadavg: 2.06 2.04 2.00 2/238 6959
/proc/meminfo: memFree=29524176/32872528 swapFree=189444/189444
[pid=6959] ppid=6956 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/6959/stat : 6959 (toysat) R 6956 6959 3947 0 -1 4202496 86976 0 0 0 55 14 0 0 20 0 4 0 5106750 1344868352 88296 33554432000 4194304 16246674 140733678976224 140733678959216 6975774 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6959/statm: 328337 88303 839 2943 0 325231 0
[pid=6959/tid=6960] ppid=6956 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6960/stat : 6960 (toysat) S 6956 6959 3947 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5106750 1344868352 88308 33554432000 4194304 16246674 140733678976224 140065992846576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6959/tid=6961] ppid=6956 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6961/stat : 6961 (toysat) S 6956 6959 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5106750 1344868352 88313 33554432000 4194304 16246674 140733678976224 140065982356720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6959/tid=6962] ppid=6956 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6962/stat : 6962 (toysat) S 6956 6959 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5106751 1344868352 88315 33554432000 4194304 16246674 140733678976224 140065862839472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50036 s]
/proc/loadavg: 2.06 2.04 2.00 4/248 6998
/proc/meminfo: memFree=28654284/32872528 swapFree=189444/189444
[pid=6959] ppid=6956 vsize=1349188 CPUtime=1.48 cores=0,2,4,6
/proc/6959/stat : 6959 (toysat) R 6956 6959 3947 0 -1 4202496 166955 0 0 0 121 27 0 0 20 0 4 0 5106750 1381568512 168275 33554432000 4194304 16246674 140733678976224 140733678975536 13932491 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6959/statm: 337297 168275 845 2943 0 334191 0
[pid=6959/tid=6960] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6960/stat : 6960 (toysat) S 6956 6959 3947 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5106750 1381568512 168275 33554432000 4194304 16246674 140733678976224 140065992846576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6959/tid=6961] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6961/stat : 6961 (toysat) S 6956 6959 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5106750 1381568512 168275 33554432000 4194304 16246674 140733678976224 140065982356720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6959/tid=6962] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6962/stat : 6962 (toysat) S 6956 6959 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5106751 1381568512 168275 33554432000 4194304 16246674 140733678976224 140065862839472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1349188

[startup+3.10036 s]
/proc/loadavg: 2.06 2.04 2.00 3/248 6998
/proc/meminfo: memFree=28374184/32872528 swapFree=189444/189444
[pid=6959] ppid=6956 vsize=1349188 CPUtime=3.08 cores=0,2,4,6
/proc/6959/stat : 6959 (toysat) R 6956 6959 3947 0 -1 4202496 167003 0 0 0 281 27 0 0 20 0 4 0 5106750 1381568512 168323 33554432000 4194304 16246674 140733678976224 140733678958144 5712604 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6959/statm: 337297 168323 891 2943 0 334191 0
[pid=6959/tid=6960] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6960/stat : 6960 (toysat) S 6956 6959 3947 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5106750 1381568512 168323 33554432000 4194304 16246674 140733678976224 140065992846576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6959/tid=6961] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6961/stat : 6961 (toysat) S 6956 6959 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5106750 1381568512 168323 33554432000 4194304 16246674 140733678976224 140065982356720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6959/tid=6962] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6962/stat : 6962 (toysat) S 6956 6959 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5106751 1381568512 168323 33554432000 4194304 16246674 140733678976224 140065862839472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1349188

[startup+6.30035 s]
/proc/loadavg: 2.05 2.04 2.00 3/248 6998
/proc/meminfo: memFree=28373792/32872528 swapFree=189444/189444
[pid=6959] ppid=6956 vsize=1349188 CPUtime=6.28 cores=0,2,4,6
/proc/6959/stat : 6959 (toysat) R 6956 6959 3947 0 -1 4202496 167003 0 0 0 601 27 0 0 20 0 4 0 5106750 1381568512 168323 33554432000 4194304 16246674 140733678976224 140733678958144 5822428 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6959/statm: 337297 168323 891 2943 0 334191 0
[pid=6959/tid=6960] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6960/stat : 6960 (toysat) S 6956 6959 3947 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5106750 1381568512 168323 33554432000 4194304 16246674 140733678976224 140065992846576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6959/tid=6961] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6961/stat : 6961 (toysat) S 6956 6959 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5106750 1381568512 168323 33554432000 4194304 16246674 140733678976224 140065982356720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6959/tid=6962] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6962/stat : 6962 (toysat) S 6956 6959 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5106751 1381568512 168323 33554432000 4194304 16246674 140733678976224 140065862839472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1349188

[startup+12.7004 s]
/proc/loadavg: 2.05 2.03 2.00 3/248 6998
/proc/meminfo: memFree=28373740/32872528 swapFree=189444/189444
[pid=6959] ppid=6956 vsize=1349188 CPUtime=12.68 cores=0,2,4,6
/proc/6959/stat : 6959 (toysat) R 6956 6959 3947 0 -1 4202496 167003 0 0 0 1241 27 0 0 20 0 4 0 5106750 1381568512 168323 33554432000 4194304 16246674 140733678976224 140733678958144 5712628 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6959/statm: 337297 168323 891 2943 0 334191 0
[pid=6959/tid=6960] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6960/stat : 6960 (toysat) S 6956 6959 3947 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5106750 1381568512 168323 33554432000 4194304 16246674 140733678976224 140065992846576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6959/tid=6961] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6961/stat : 6961 (toysat) S 6956 6959 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5106750 1381568512 168323 33554432000 4194304 16246674 140733678976224 140065982356720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6959/tid=6962] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6962/stat : 6962 (toysat) S 6956 6959 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5106751 1381568512 168323 33554432000 4194304 16246674 140733678976224 140065862839472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1349188

[startup+25.5004 s]
/proc/loadavg: 2.04 2.03 2.00 3/248 6998
/proc/meminfo: memFree=28374968/32872528 swapFree=189444/189444
[pid=6959] ppid=6956 vsize=1349188 CPUtime=25.47 cores=0,2,4,6
/proc/6959/stat : 6959 (toysat) R 6956 6959 3947 0 -1 4202496 167003 0 0 0 2520 27 0 0 20 0 4 0 5106750 1381568512 168323 33554432000 4194304 16246674 140733678976224 140733678958144 12415740 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6959/statm: 337297 168323 891 2943 0 334191 0
[pid=6959/tid=6960] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6960/stat : 6960 (toysat) S 6956 6959 3947 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5106750 1381568512 168323 33554432000 4194304 16246674 140733678976224 140065992846576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6959/tid=6961] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6961/stat : 6961 (toysat) S 6956 6959 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5106750 1381568512 168323 33554432000 4194304 16246674 140733678976224 140065982356720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6959/tid=6962] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6962/stat : 6962 (toysat) S 6956 6959 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5106751 1381568512 168323 33554432000 4194304 16246674 140733678976224 140065862839472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1349188

[startup+51.1004 s]
/proc/loadavg: 2.09 2.04 2.00 3/248 6998
/proc/meminfo: memFree=28374860/32872528 swapFree=189444/189444
[pid=6959] ppid=6956 vsize=1349188 CPUtime=51.07 cores=0,2,4,6
/proc/6959/stat : 6959 (toysat) R 6956 6959 3947 0 -1 4202496 167007 0 0 0 5079 28 0 0 20 0 4 0 5106750 1381568512 168327 33554432000 4194304 16246674 140733678976224 140733678958144 13760224 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6959/statm: 337297 168327 895 2943 0 334191 0
[pid=6959/tid=6960] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6960/stat : 6960 (toysat) S 6956 6959 3947 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5106750 1381568512 168327 33554432000 4194304 16246674 140733678976224 140065992846576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6959/tid=6961] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6961/stat : 6961 (toysat) S 6956 6959 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5106750 1381568512 168327 33554432000 4194304 16246674 140733678976224 140065982356720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6959/tid=6962] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6962/stat : 6962 (toysat) S 6956 6959 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5106751 1381568512 168327 33554432000 4194304 16246674 140733678976224 140065862839472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1349188

[startup+102.3 s]
/proc/loadavg: 2.10 2.05 2.00 4/247 6999
/proc/meminfo: memFree=28326468/32872528 swapFree=189444/189444
[pid=6959] ppid=6956 vsize=1349188 CPUtime=102.26 cores=0,2,4,6
/proc/6959/stat : 6959 (toysat) R 6956 6959 3947 0 -1 4202496 167008 0 0 0 10198 28 0 0 20 0 4 0 5106750 1381568512 180267 33554432000 4194304 16246674 140733678976224 140733678958144 13780660 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6959/statm: 337297 180267 895 2943 0 334191 0
[pid=6959/tid=6960] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6960/stat : 6960 (toysat) S 6956 6959 3947 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5106750 1381568512 180267 33554432000 4194304 16246674 140733678976224 140065992846576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6959/tid=6961] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6961/stat : 6961 (toysat) S 6956 6959 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5106750 1381568512 180267 33554432000 4194304 16246674 140733678976224 140065982356720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6959/tid=6962] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6962/stat : 6962 (toysat) S 6956 6959 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5106751 1381568512 180267 33554432000 4194304 16246674 140733678976224 140065862839472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1349188


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

/proc/6959/task/6962/stat : 6962 (toysat) S 6956 6959 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5106751 1381568512 279301 33554432000 4194304 16246674 140733678976224 140065862839472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1349188

[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/247 7053
/proc/meminfo: memFree=27319036/32872528 swapFree=189444/189444
[pid=6959] ppid=6956 vsize=1349188 CPUtime=1361.9 cores=0,2,4,6
/proc/6959/stat : 6959 (toysat) R 6956 6959 3947 0 -1 4202496 167118 0 0 0 136157 33 0 0 20 0 4 0 5106750 1381568512 279301 33554432000 4194304 16246674 140733678976224 140733678958144 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6959/statm: 337297 279301 896 2943 0 334191 0
[pid=6959/tid=6960] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6960/stat : 6960 (toysat) S 6956 6959 3947 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5106750 1381568512 279301 33554432000 4194304 16246674 140733678976224 140065992846576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6959/tid=6961] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6961/stat : 6961 (toysat) S 6956 6959 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5106750 1381568512 279301 33554432000 4194304 16246674 140733678976224 140065982356720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6959/tid=6962] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6962/stat : 6962 (toysat) S 6956 6959 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5106751 1381568512 279301 33554432000 4194304 16246674 140733678976224 140065862839472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1349188

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/247 7054
/proc/meminfo: memFree=27319184/32872528 swapFree=189444/189444
[pid=6959] ppid=6956 vsize=1349188 CPUtime=1421.9 cores=0,2,4,6
/proc/6959/stat : 6959 (toysat) R 6956 6959 3947 0 -1 4202496 167118 0 0 0 142157 33 0 0 20 0 4 0 5106750 1381568512 279301 33554432000 4194304 16246674 140733678976224 140733678958144 5711992 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6959/statm: 337297 279301 896 2943 0 334191 0
[pid=6959/tid=6960] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6960/stat : 6960 (toysat) S 6956 6959 3947 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5106750 1381568512 279301 33554432000 4194304 16246674 140733678976224 140065992846576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6959/tid=6961] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6961/stat : 6961 (toysat) S 6956 6959 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5106750 1381568512 279301 33554432000 4194304 16246674 140733678976224 140065982356720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6959/tid=6962] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6962/stat : 6962 (toysat) S 6956 6959 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5106751 1381568512 279301 33554432000 4194304 16246674 140733678976224 140065862839472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1349188

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/247 7055
/proc/meminfo: memFree=27319092/32872528 swapFree=189444/189444
[pid=6959] ppid=6956 vsize=1349188 CPUtime=1481.88 cores=0,2,4,6
/proc/6959/stat : 6959 (toysat) R 6956 6959 3947 0 -1 4202496 167118 0 0 0 148155 33 0 0 20 0 4 0 5106750 1381568512 279301 33554432000 4194304 16246674 140733678976224 140733678958144 5712628 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6959/statm: 337297 279301 896 2943 0 334191 0
[pid=6959/tid=6960] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6960/stat : 6960 (toysat) S 6956 6959 3947 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5106750 1381568512 279301 33554432000 4194304 16246674 140733678976224 140065992846576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6959/tid=6961] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6961/stat : 6961 (toysat) S 6956 6959 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5106750 1381568512 279301 33554432000 4194304 16246674 140733678976224 140065982356720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6959/tid=6962] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6962/stat : 6962 (toysat) S 6956 6959 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5106751 1381568512 279301 33554432000 4194304 16246674 140733678976224 140065862839472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1349188

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/247 7057
/proc/meminfo: memFree=27319104/32872528 swapFree=189444/189444
[pid=6959] ppid=6956 vsize=1349188 CPUtime=1541.89 cores=0,2,4,6
/proc/6959/stat : 6959 (toysat) R 6956 6959 3947 0 -1 4202496 167118 0 0 0 154155 34 0 0 20 0 4 0 5106750 1381568512 279301 33554432000 4194304 16246674 140733678976224 140733678958144 5722908 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6959/statm: 337297 279301 896 2943 0 334191 0
[pid=6959/tid=6960] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6960/stat : 6960 (toysat) S 6956 6959 3947 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5106750 1381568512 279301 33554432000 4194304 16246674 140733678976224 140065992846576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6959/tid=6961] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6961/stat : 6961 (toysat) S 6956 6959 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5106750 1381568512 279301 33554432000 4194304 16246674 140733678976224 140065982356720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6959/tid=6962] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6962/stat : 6962 (toysat) S 6956 6959 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5106751 1381568512 279301 33554432000 4194304 16246674 140733678976224 140065862839472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1349188

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/247 7058
/proc/meminfo: memFree=27319100/32872528 swapFree=189444/189444
[pid=6959] ppid=6956 vsize=1349188 CPUtime=1601.87 cores=0,2,4,6
/proc/6959/stat : 6959 (toysat) R 6956 6959 3947 0 -1 4202496 167118 0 0 0 160153 34 0 0 20 0 4 0 5106750 1381568512 279301 33554432000 4194304 16246674 140733678976224 140733678958144 12479225 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6959/statm: 337297 279301 896 2943 0 334191 0
[pid=6959/tid=6960] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6960/stat : 6960 (toysat) S 6956 6959 3947 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5106750 1381568512 279301 33554432000 4194304 16246674 140733678976224 140065992846576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6959/tid=6961] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6961/stat : 6961 (toysat) S 6956 6959 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5106750 1381568512 279301 33554432000 4194304 16246674 140733678976224 140065982356720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6959/tid=6962] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6962/stat : 6962 (toysat) S 6956 6959 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5106751 1381568512 279301 33554432000 4194304 16246674 140733678976224 140065862839472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1349188

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/247 7059
/proc/meminfo: memFree=27289100/32872528 swapFree=189444/189444
[pid=6959] ppid=6956 vsize=1349188 CPUtime=1661.85 cores=0,2,4,6
/proc/6959/stat : 6959 (toysat) R 6956 6959 3947 0 -1 4202496 167118 0 0 0 166151 34 0 0 20 0 4 0 5106750 1381568512 279301 33554432000 4194304 16246674 140733678976224 140733678958144 12483341 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6959/statm: 337297 279301 896 2943 0 334191 0
[pid=6959/tid=6960] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6960/stat : 6960 (toysat) S 6956 6959 3947 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5106750 1381568512 279301 33554432000 4194304 16246674 140733678976224 140065992846576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6959/tid=6961] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6961/stat : 6961 (toysat) S 6956 6959 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5106750 1381568512 279301 33554432000 4194304 16246674 140733678976224 140065982356720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6959/tid=6962] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6962/stat : 6962 (toysat) S 6956 6959 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5106751 1381568512 279301 33554432000 4194304 16246674 140733678976224 140065862839472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1349188

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/247 7060
/proc/meminfo: memFree=27288616/32872528 swapFree=189444/189444
[pid=6959] ppid=6956 vsize=1349188 CPUtime=1721.84 cores=0,2,4,6
/proc/6959/stat : 6959 (toysat) R 6956 6959 3947 0 -1 4202496 167118 0 0 0 172150 34 0 0 20 0 4 0 5106750 1381568512 279301 33554432000 4194304 16246674 140733678976224 140733678958144 5722712 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6959/statm: 337297 279301 896 2943 0 334191 0
[pid=6959/tid=6960] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6960/stat : 6960 (toysat) S 6956 6959 3947 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5106750 1381568512 279301 33554432000 4194304 16246674 140733678976224 140065992846576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6959/tid=6961] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6961/stat : 6961 (toysat) S 6956 6959 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5106750 1381568512 279301 33554432000 4194304 16246674 140733678976224 140065982356720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6959/tid=6962] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6962/stat : 6962 (toysat) S 6956 6959 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5106751 1381568512 279301 33554432000 4194304 16246674 140733678976224 140065862839472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1349188

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/247 7061
/proc/meminfo: memFree=27288360/32872528 swapFree=189444/189444
[pid=6959] ppid=6956 vsize=1349188 CPUtime=1781.84 cores=0,2,4,6
/proc/6959/stat : 6959 (toysat) R 6956 6959 3947 0 -1 4202496 167118 0 0 0 178149 35 0 0 20 0 4 0 5106750 1381568512 279301 33554432000 4194304 16246674 140733678976224 140733678975400 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6959/statm: 337297 279301 896 2943 0 334191 0
[pid=6959/tid=6960] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6960/stat : 6960 (toysat) S 6956 6959 3947 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5106750 1381568512 279301 33554432000 4194304 16246674 140733678976224 140065992846576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6959/tid=6961] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6961/stat : 6961 (toysat) S 6956 6959 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5106750 1381568512 279301 33554432000 4194304 16246674 140733678976224 140065982356720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6959/tid=6962] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6962/stat : 6962 (toysat) S 6956 6959 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5106751 1381568512 279301 33554432000 4194304 16246674 140733678976224 140065862839472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1349188



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/248 7064
/proc/meminfo: memFree=27287836/32872528 swapFree=189444/189444
[pid=6959] ppid=6956 vsize=1349188 CPUtime=1800.04 cores=0,2,4,6
/proc/6959/stat : 6959 (toysat) R 6956 6959 3947 0 -1 4202496 167118 0 0 0 179969 35 0 0 20 0 4 0 5106750 1381568512 279301 33554432000 4194304 16246674 140733678976224 140733678958144 5600765 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6959/statm: 337297 279301 896 2943 0 334191 0
[pid=6959/tid=6960] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6960/stat : 6960 (toysat) S 6956 6959 3947 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5106750 1381568512 279301 33554432000 4194304 16246674 140733678976224 140065992846576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6959/tid=6961] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6961/stat : 6961 (toysat) S 6956 6959 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5106750 1381568512 279301 33554432000 4194304 16246674 140733678976224 140065982356720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6959/tid=6962] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6962/stat : 6962 (toysat) S 6956 6959 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5106751 1381568512 279301 33554432000 4194304 16246674 140733678976224 140065862839472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1349188

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 6959 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/248 7064
/proc/meminfo: memFree=27287836/32872528 swapFree=189444/189444
[pid=6959] ppid=6956 vsize=1349188 CPUtime=1800.04 cores=0,2,4,6
/proc/6959/stat : 6959 (toysat) R 6956 6959 3947 0 -1 4202496 167118 0 0 0 179969 35 0 0 20 0 4 0 5106750 1381568512 279301 33554432000 4194304 16246674 140733678976224 140733678958144 5600765 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6959/statm: 337297 279301 896 2943 0 334191 0
[pid=6959/tid=6960] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6960/stat : 6960 (toysat) S 6956 6959 3947 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5106750 1381568512 279301 33554432000 4194304 16246674 140733678976224 140065992846576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6959/tid=6961] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6961/stat : 6961 (toysat) S 6956 6959 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5106750 1381568512 279301 33554432000 4194304 16246674 140733678976224 140065982356720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6959/tid=6962] ppid=6956 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6959/task/6962/stat : 6962 (toysat) S 6956 6959 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5106751 1381568512 279301 33554432000 4194304 16246674 140733678976224 140065862839472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1349188

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.7
CPU system time (s): 0.350946
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 1349188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.7
system time used= 0.350946
maximum resident set size= 1117204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167118
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= 123
involuntary context switches= 2420

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.7672 second user time and 17.1784 second system time

The end

Launcher Data 

Begin job on node102 at 2016-06-30 00:40:02
IDJOB=4079293
IDBENCH=92739
IDSOLVER=2542
FILE ID=node102/4079293-1467240002
RUNJOBID= node102-1467234598-6495
PBS_JOBID= 19997591
Free space on /tmp= 71668 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat100_4_32_9.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079293-1467240002/watcher-4079293-1467240002 -o /tmp/evaluation-result-4079293-1467240002/solver-4079293-1467240002 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1467234598-6495 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079293-1467240002.opb

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

MD5SUM BENCH= e6b7e246739aa40cd77e9f80dee24dab
RANDOM SEED=1913146961

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
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.744
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.744
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:        29525092 kB
Buffers:          119544 kB
Cached:          2279392 kB
SwapCached:            0 kB
Active:           404648 kB
Inactive:        2011968 kB
Active(anon):      20120 kB
Inactive(anon):        0 kB
Active(file):     384528 kB
Inactive(file):  2011968 kB
Unevictable:      189444 kB
Mlocked:          189444 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             17924 kB
Writeback:             0 kB
AnonPages:        203536 kB
Mapped:            14588 kB
Shmem:               204 kB
Slab:             610768 kB
SReclaimable:      54472 kB
SUnreclaim:       556296 kB
KernelStack:        2040 kB
PageTables:         4444 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     315440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71672 MiB
End job on node102 at 2016-06-30 01:10:03