Trace number 4119653

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.1 1800.44

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-BIGINT-LIN/pbfvmc-formulae/
pbfvmc-formulae/hw128/normalized-hw128-vm98p-dec.opb.negationfix.opb
MD5SUM08fc24c5582bf8e1a503a1ce903ecef9
Bench CategoryDEC-BIGINT-LIN (no optimisation, big integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables175232
Total number of constraints2994
Number of constraints which are clauses1368
Number of constraints which are cardinality constraints (but not clauses)1368
Number of constraints which are nor clauses,nor cardinality constraints258
Minimum length of a constraint128
Maximum length of a constraint1369
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 482918
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 1101202
Number of bits of the biggest sum of numbers21
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-30T10:08:21+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-4119653-1467274101.opb"]
0.00/0.01	c use --random-gen="2005931224 3546400313 3404088857 3610070996 2724782440 136125265 1742692907 3331245632 3939582563 604262374 781227763 2858560176 3945775150 1321158324 4278394464 1349247850 92237699 1414007693 3633329478 1297476930 181431833 2683162648 765378433 2156838619 1850809289 2130499242 816017317 2909549542 1308509493 2714243549 664011522 3441327007 2884591526 3602124089 4116296538 1313853450 189352743 3264953885 2872478508 2829046709 2134344336 2029225112 2513781333 3385001852 2644876249 3514597013 3292376006 138576613 2180479083 4003616114 2298674155 428493131 1958821940 1368600988 730904782 19833314 3511006729 799671425 1985026204 1563226443 2155535814 2479858639 19808917 326222462 898401090 1994259040 2221880338 600051595 1434129994 3003404045 473414130 422267345 3022340647 2397337907 1606266287 714922174 1395464544 3120088329 2859788199 3522182599 1306297531 687345826 480883899 518437901 3867143048 2025770899 1595428595 3295069655 333985085 358689279 3841139492 3794424514 2564768225 383930089 3450332764 3377223568 4203968029 2216791556 3750550962 2466466606 1533075924 760250692 712860218 654927382 3720200901 3024498964 334468597 2313094186 3847513474 2943958933 2914297315 956851311 4119357652 1462496231 2377425522 866372027 743511205 3927420997 3174631452 1996782385 3898264043 3489034590 4253047082 2774706828 3454736994 2416274121 2155786078 2577830465 3476653045 3381832139 2796144463 4148146221 2602450823 120186885 666573093 1514515242 1744695050 2229572659 2006873573 507329366 2415048340 1040783614 1556430270 3633565493 1117537066 4281532326 2911574444 2177399234 1701146225 4104941980 1522038489 2057501300 3358501963 1154001321 4154462882 2676291034 702377936 3151122404 2959905663 1464056425 4084845995 1270983103 4024588313 1945208381 694039662 366854465 1622580417 883929592 674407736 474213208 840573982 2198063796 1907196239 2642269398 3876106175 1959941280 2845932876 2995554695 2698450702 1268363248 3569366380 853613851 377492399 686463876 732679314 1571543032 1088095783 1504449015 2272088422 659181913 3740677718 3668629721 441026218 4067447692 2891656871 1420367802 1676093863 2088544080 859292550 3340887109 3401111657 1938857413 519127592 2915824648 1045277800 61273560 454856677 90476298 1795960136 4248464951 887274317 3701043693 3793568503 168738687 1725146054 4181763476 147472950 1017199912 1117417583 3897919896 3702137855 2837992455 2244299411 3265574652 2942357027 2439024826 4033291430 1614101452 565863851 4065515248 772446456 3199190832 1801817172 4093079306 43038914 1922247647 887892191 1134522329 1670674785 3465030023 2510862265 2386813961 2657779060 2744556478 1132966141 444822498 2890386474 2450256502 403730084 1803476030 342761084 1208133490 2084975812 3120642346 3568029214 3350553626 255 362436" option to reproduce the execution
1.19/1.26	c #vars 175232
1.19/1.26	c #constraints 2994
4.18/4.25	c Solving starts ...
4.18/4.25	c ============================[ Search Statistics ]============================
4.18/4.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.18/4.25	c       |         |          |          |    Limit     GC | Var      | Constra 
4.18/4.25	c =============================================================================
4.28/4.32	c  0.0s |       0 |        0 |        0 |    59408      0 |      617 |        0
5.78/5.82	c  1.5s |       1 |     1371 |      100 |    59408      0 |      617 |        0
8.68/8.78	c  4.5s |       2 |     8013 |      250 |    65349      0 |      617 |        0
11.38/11.47	c  7.2s |       2 |    25064 |      350 |    71884      0 |      617 |        0
15.98/16.00	c 11.7s |       2 |    25173 |      450 |    71884      0 |      617 |        0
17.08/17.12	c 12.8s |       3 |    25199 |      475 |    71884      0 |      617 |        0
19.68/19.80	c 15.5s |       3 |    65887 |      575 |    79073      0 |      617 |        0
22.58/22.67	c 18.4s |       3 |    66014 |      675 |    79073      0 |      617 |        0
25.98/26.04	c 21.7s |       3 |    66125 |      775 |    79073      0 |      617 |        0
27.38/27.41	c 23.1s |       4 |    66173 |      813 |    79073      0 |      617 |        0
30.28/30.37	c 26.1s |       4 |   106720 |      913 |    86981      0 |      617 |        0
32.48/32.58	c 28.3s |       4 |   106845 |     1013 |    86981      0 |      617 |        0
35.38/35.46	c 31.1s |       4 |   106943 |     1113 |    86981      0 |      617 |        0
38.49/38.55	c 34.2s |       4 |   107043 |     1213 |    86981      0 |      617 |        0
42.89/42.91	c 38.6s |       4 |   107147 |     1313 |    86981      0 |      617 |        0
43.18/43.23	c 38.9s |       5 |   107154 |     1320 |    86981      0 |      617 |        0
47.08/47.11	c 42.8s |       5 |   156902 |     1420 |    95680      0 |      617 |        0
50.28/50.31	c 46.0s |       5 |   157035 |     1520 |    95680      0 |      617 |        0
53.69/53.79	c 49.5s |       5 |   157163 |     1620 |    95680      0 |      617 |        0
57.89/57.98	c 53.7s |       5 |   157303 |     1720 |    95680      0 |      617 |        0
61.59/61.63	c 57.3s |       5 |   157428 |     1820 |    95680      0 |      617 |        0
65.18/65.21	c 60.9s |       5 |   157572 |     1920 |    95680      0 |      617 |        0
68.88/68.90	c 64.6s |       5 |   157684 |     2020 |    95680      0 |      617 |        0
71.18/71.26	c 66.9s |       6 |   157751 |     2081 |   105249      0 |      617 |        0
73.69/73.78	c 69.5s |       6 |   203826 |     2181 |   105249      0 |      617 |        0
75.78/75.81	c 71.5s |       6 |   203936 |     2281 |   105249      0 |      617 |        0
77.78/77.82	c 73.5s |       6 |   204043 |     2381 |   105249      0 |      617 |        0
79.88/79.94	c 75.6s |       6 |   204154 |     2481 |   105249      0 |      617 |        0
82.48/82.59	c 78.3s |       6 |   204259 |     2581 |   105249      0 |      617 |        0
85.28/85.39	c 81.1s |       6 |   204363 |     2681 |   105249      0 |      617 |        0
90.18/90.22	c 85.9s |       6 |   204593 |     2881 |   105249      0 |      617 |        0
92.57/92.66	c 88.3s |       6 |   204703 |     2981 |   105249      0 |      617 |        0
95.28/95.33	c 91.0s |       6 |   204818 |     3081 |   105249      0 |      617 |        0
98.08/98.12	c 93.8s |       6 |   204933 |     3181 |   105249      0 |      617 |        0
99.48/99.58	c 95.3s |       7 |   204977 |     3223 |   115774      0 |      617 |        0
102.78/102.89	c 98.6s |       7 |   246931 |     3323 |   115774      0 |      617 |        0
106.78/106.89	c  102s |       7 |   247024 |     3423 |   115774      0 |      617 |        0
110.78/110.81	c  106s |       7 |   247138 |     3523 |   115774      0 |      617 |        0
114.78/114.82	c  110s |       7 |   247262 |     3623 |   115774      0 |      617 |        0
119.58/119.61	c  115s |       7 |   247411 |     3723 |   115774      0 |      617 |        0
124.58/124.69	c  120s |       7 |   247517 |     3823 |   115774      0 |      617 |        0
129.97/130.04	c  125s |       7 |   247626 |     3923 |   115774      0 |      617 |        0
135.47/135.59	c  131s |       7 |   247744 |     4023 |   115774      0 |      617 |        0
141.97/142.03	c  137s |       7 |   247904 |     4123 |   115774      0 |      617 |        0
148.06/148.13	c  143s |       7 |   248020 |     4223 |   115774      0 |      617 |        0
153.97/154.02	c  149s |       7 |   248139 |     4323 |   115774      0 |      617 |        0
158.66/158.74	c  154s |       7 |   248285 |     4423 |   115774      0 |      617 |        0
164.26/164.34	c  160s |       7 |   248406 |     4523 |   115774      0 |      617 |        0
170.56/170.68	c  166s |       7 |   248511 |     4623 |   115774      0 |      617 |        0
176.76/176.80	c  172s |       7 |   248629 |     4723 |   115774      0 |      617 |        0
183.56/183.65	c  179s |       7 |   248740 |     4823 |   115774      0 |      617 |        0
190.46/190.56	c  186s |       7 |   248859 |     4923 |   127352      0 |      617 |        0
192.26/192.33	c  188s |       8 |   248872 |     4936 |   127352      0 |      617 |        0
196.26/196.32	c  192s |       8 |   280141 |     5036 |   127352      0 |      617 |        0
199.26/199.31	c  194s |       8 |   280263 |     5136 |   127352      0 |      617 |        0
203.16/203.29	c  198s |       8 |   280373 |     5236 |   127352      0 |      617 |        0
206.76/206.84	c  202s |       8 |   280473 |     5336 |   127352      0 |      617 |        0
209.46/209.50	c  205s |       8 |   280581 |     5436 |   127352      0 |      617 |        0
212.26/212.35	c  208s |       8 |   280694 |     5536 |   127352      0 |      617 |        0
214.85/214.94	c  210s |       8 |   281869 |     5636 |   127352      0 |      617 |        0
219.35/219.42	c  215s |       8 |   282039 |     5736 |   127352      0 |      617 |        0
223.65/223.79	c  219s |       8 |   282152 |     5836 |   127352      0 |      617 |        0
229.35/229.44	c  225s |       8 |   282336 |     5936 |   127352      0 |      617 |        0
235.65/235.78	c  231s |       8 |   282825 |     6036 |   127352      0 |      617 |        0
239.64/239.72	c  235s |       8 |   282962 |     6136 |   127352      0 |      617 |        0
243.74/243.80	c  239s |       8 |   283070 |     6236 |   127352      0 |      617 |        0
247.56/247.68	c  243s |       8 |   283194 |     6336 |   127352      0 |      617 |        0
251.15/251.21	c  246s |       8 |   283308 |     6436 |   127352      0 |      617 |        0
255.65/255.72	c  251s |       8 |   283446 |     6536 |   127352      0 |      617 |        0
259.55/259.68	c  255s |       8 |   283556 |     6636 |   127352      0 |      617 |        0
263.95/264.00	c  259s |       8 |   283704 |     6736 |   127352      0 |      617 |        0
267.74/267.86	c  263s |       8 |   283843 |     6836 |   127352      0 |      617 |        0
272.34/272.47	c  268s |       8 |   283963 |     6936 |   127352      0 |      617 |        0
277.54/277.69	c  273s |       8 |   284245 |     7036 |   127352      0 |      617 |        0
283.64/283.77	c  279s |       8 |   284423 |     7136 |   127352      0 |      617 |        0
288.94/289.01	c  284s |       8 |   284540 |     7236 |   127352      0 |      617 |        0
294.93/295.09	c  290s |       8 |   284685 |     7336 |   127352      0 |      617 |        0
303.65/303.77	c  299s |       8 |   284796 |     7436 |   127352      0 |      617 |        0
308.34/308.41	c  304s |       9 |   284884 |     7506 |   140088      0 |      617 |        0
310.74/310.82	c  306s |       9 |   302241 |     7606 |   140088      0 |      617 |        0
313.54/313.67	c  309s |       9 |   302680 |     7806 |   140088      0 |      617 |        0
317.23/317.36	c  313s |       9 |   302986 |     8006 |   140088      0 |      617 |        0
319.33/319.46	c  315s |       9 |   303103 |     8106 |   140088      0 |      617 |        0
321.43/321.54	c  317s |       9 |   303226 |     8206 |   140088      0 |      617 |        0
324.33/324.46	c  320s |       9 |   303552 |     8406 |   140088      0 |      617 |        0
327.43/327.56	c  323s |       9 |   303940 |     8606 |   140088      0 |      617 |        0
329.53/329.65	c  325s |       9 |   304045 |     8706 |   140088      0 |      617 |        0
331.93/332.01	c  327s |       9 |   304176 |     8806 |   140088      0 |      617 |        0
335.22/335.37	c  331s |       9 |   304460 |     9006 |   140088      0 |      617 |        0
339.12/339.26	c  334s |       9 |   304735 |     9206 |   140088      0 |      617 |        0
341.32/341.49	c  337s |       9 |   304879 |     9306 |   140088      0 |      617 |        0
345.33/345.48	c  341s |       9 |   305153 |     9506 |   140088      0 |      617 |        0
347.63/347.74	c  343s |       9 |   305259 |     9606 |   140088      0 |      617 |        0
349.83/349.96	c  345s |       9 |   305399 |     9706 |   140088      0 |      617 |        0
352.03/352.15	c  347s |       9 |   305502 |     9806 |   140088      0 |      617 |        0
354.32/354.45	c  350s |       9 |   305615 |     9906 |   140088      0 |      617 |        0
356.62/356.72	c  352s |       9 |   305779 |    10006 |   140088      0 |      617 |        0
358.93/359.09	c  354s |       9 |   305883 |    10106 |   140088      0 |      617 |        0
361.53/361.67	c  357s |       9 |   305991 |    10206 |   140088      0 |      617 |        0
364.03/364.16	c  359s |       9 |   306093 |    10306 |   140088      0 |      617 |        0
366.52/366.62	c  362s |       9 |   306206 |    10406 |   140088      0 |      617 |        0
368.92/369.03	c  364s |       9 |   306312 |    10506 |   140088      0 |      617 |        0
371.32/371.44	c  367s |       9 |   306418 |    10606 |   140088      0 |      617 |        0
373.82/373.95	c  369s |       9 |   306530 |    10706 |   140088      0 |      617 |        0
376.23/376.38	c  372s |       9 |   306632 |    10806 |   140088      0 |      617 |        0
378.82/378.94	c  374s |       9 |   306738 |    10906 |   140088      0 |      617 |        0
381.42/381.58	c  377s |       9 |   306847 |    11006 |   140088      0 |      617 |        0
385.22/385.38	c  381s |       9 |   310359 |    11206 |   140088      0 |      617 |        0
388.72/388.81	c  384s |      10 |   316100 |    11361 |   154097      0 |      617 |        0
395.61/395.77	c  391s |      10 |   334758 |    11461 |   154097      0 |      617 |        0
402.91/403.06	c  398s |      10 |   334874 |    11561 |   154097      0 |      617 |        0
410.21/410.40	c  406s |      10 |   334994 |    11661 |   154097      0 |      617 |        0
418.71/418.88	c  414s |      10 |   335109 |    11761 |   154097      0 |      617 |        0
425.91/426.03	c  421s |      10 |   335218 |    11861 |   154097      0 |      617 |        0
433.81/433.91	c  429s |      10 |   335334 |    11961 |   154097      0 |      617 |        0
442.70/442.87	c  438s |      10 |   335450 |    12061 |   154097      0 |      617 |        0
450.19/450.39	c  446s |      10 |   335565 |    12161 |   154097      0 |      617 |        0
455.89/456.05	c  451s |      10 |   335676 |    12261 |   154097      0 |      617 |        0
461.39/461.55	c  457s |      10 |   335798 |    12361 |   154097      0 |      617 |        0
467.79/467.96	c  463s |      10 |   335909 |    12461 |   154097      0 |      617 |        0
475.29/475.45	c  471s |      10 |   336032 |    12561 |   154097      0 |      617 |        0
482.48/482.67	c  478s |      10 |   336147 |    12661 |   154097      0 |      617 |        0
489.49/489.68	c  485s |      10 |   336264 |    12761 |   154097      0 |      617 |        0
496.09/496.22	c  491s |      10 |   336374 |    12861 |   154097      0 |      617 |        0
502.47/502.61	c  498s |      10 |   336495 |    12961 |   154097      0 |      617 |        0
509.67/509.84	c  505s |      10 |   336605 |    13061 |   154097      0 |      617 |        0
518.78/518.92	c  514s |      10 |   336715 |    13161 |   154097      0 |      617 |        0
527.47/527.69	c  523s |      10 |   336842 |    13261 |   154097      0 |      617 |        0
532.97/533.15	c  528s |      10 |   336958 |    13361 |   154097      0 |      617 |        0
538.87/539.07	c  534s |      10 |   337065 |    13461 |   154097      0 |      617 |        0
544.56/544.72	c  540s |      10 |   337171 |    13561 |   154097      0 |      617 |        0
550.66/550.83	c  546s |      10 |   337292 |    13661 |   154097      0 |      617 |        0
558.96/559.17	c  554s |      10 |   337412 |    13761 |   154097      0 |      617 |        0
565.15/565.38	c  561s |      10 |   337523 |    13861 |   154097      0 |      617 |        0
571.75/571.93	c  567s |      10 |   337633 |    13961 |   154097      0 |      617 |        0
577.15/577.31	c  572s |      10 |   337753 |    14061 |   154097      0 |      617 |        0
583.05/583.29	c  578s |      10 |   337866 |    14161 |   154097      0 |      617 |        0
589.25/589.41	c  585s |      10 |   337971 |    14261 |   154097      0 |      617 |        0
596.35/596.55	c  592s |      10 |   338080 |    14361 |   154097      0 |      617 |        0
601.46/601.64	c  597s |      10 |   338207 |    14461 |   154097      0 |      617 |        0
607.45/607.63	c  603s |      10 |   338316 |    14561 |   154097      0 |      617 |        0
612.65/612.83	c  608s |      10 |   338420 |    14661 |   154097      0 |      617 |        0
618.35/618.52	c  614s |      10 |   338531 |    14761 |   154097      0 |      617 |        0
624.54/624.75	c  620s |      10 |   338637 |    14861 |   154097      0 |      617 |        0
630.84/631.00	c  626s |      10 |   338742 |    14961 |   154097      0 |      617 |        0
637.24/637.43	c  633s |      10 |   338849 |    15061 |   154097      0 |      617 |        0
644.34/644.58	c  640s |      10 |   338957 |    15161 |   154097      0 |      617 |        0
651.33/651.50	c  647s |      10 |   339068 |    15261 |   154097      0 |      617 |        0
658.03/658.22	c  653s |      10 |   339175 |    15361 |   154097      0 |      617 |        0
664.54/664.75	c  660s |      10 |   339281 |    15461 |   154097      0 |      617 |        0
670.94/671.16	c  666s |      10 |   339387 |    15561 |   154097      0 |      617 |        0
677.23/677.44	c  673s |      10 |   339506 |    15661 |   154097      0 |      617 |        0
683.83/684.05	c  679s |      10 |   339611 |    15761 |   154097      0 |      617 |        0
690.22/690.43	c  686s |      10 |   339714 |    15861 |   154097      0 |      617 |        0
697.33/697.54	c  693s |      10 |   339835 |    15961 |   154097      0 |      617 |        0
704.32/704.58	c  700s |      10 |   339939 |    16061 |   154097      0 |      617 |        0
711.23/711.41	c  707s |      10 |   340049 |    16161 |   154097      0 |      617 |        0
718.02/718.27	c  713s |      10 |   340157 |    16261 |   154097      0 |      617 |        0
724.12/724.32	c  719s |      10 |   340271 |    16361 |   154097      0 |      617 |        0
730.52/730.73	c  726s |      10 |   340383 |    16461 |   154097      0 |      617 |        0
736.02/736.30	c  731s |      10 |   340487 |    16561 |   154097      0 |      617 |        0
742.12/742.30	c  737s |      10 |   340590 |    16661 |   154097      0 |      617 |        0
748.42/748.65	c  744s |      10 |   340712 |    16761 |   154097      0 |      617 |        0
753.92/754.13	c  749s |      10 |   340824 |    16861 |   154097      0 |      617 |        0
759.61/759.84	c  755s |      10 |   340940 |    16961 |   154097      0 |      617 |        0
765.91/766.18	c  761s |      10 |   341048 |    17061 |   169507      0 |      617 |        0
771.32/771.50	c  767s |      11 |   341141 |    17144 |   169507      0 |      617 |        0
775.91/776.17	c  771s |      11 |   367041 |    17244 |   169507      0 |      617 |        0
778.81/779.02	c  774s |      11 |   367147 |    17344 |   169507      0 |      617 |        0
782.51/782.76	c  778s |      11 |   367246 |    17444 |   169507      0 |      617 |        0
785.81/786.09	c  781s |      11 |   367349 |    17544 |   169507      0 |      617 |        0
789.31/789.54	c  785s |      11 |   367462 |    17644 |   169507      0 |      617 |        0
792.41/792.65	c  788s |      11 |   367580 |    17744 |   169507      0 |      617 |        0
796.22/796.40	c  792s |      11 |   367682 |    17844 |   169507      0 |      617 |        0
800.31/800.54	c  796s |      11 |   367797 |    17944 |   169507      0 |      617 |        0
804.21/804.41	c  800s |      11 |   367914 |    18044 |   169507      0 |      617 |        0
808.01/808.24	c  803s |      11 |   368022 |    18144 |   169507      0 |      617 |        0
812.01/812.27	c  807s |      11 |   368146 |    18244 |   169507      0 |      617 |        0
815.50/815.75	c  811s |      11 |   368282 |    18344 |   169507      0 |      617 |        0
820.00/820.25	c  815s |      11 |   368385 |    18444 |   169507      0 |      617 |        0
823.60/823.81	c  819s |      11 |   368502 |    18544 |   169507      0 |      617 |        0
826.80/827.02	c  822s |      11 |   368635 |    18644 |   169507      0 |      617 |        0
830.21/830.41	c  826s |      11 |   368741 |    18744 |   169507      0 |      617 |        0
833.81/834.02	c  829s |      11 |   368851 |    18844 |   169507      0 |      617 |        0
837.41/837.65	c  833s |      11 |   368950 |    18944 |   169507      0 |      617 |        0
840.91/841.17	c  836s |      11 |   369053 |    19044 |   169507      0 |      617 |        0
844.10/844.38	c  840s |      11 |   369171 |    19144 |   169507      0 |      617 |        0
847.20/847.42	c  843s |      11 |   369286 |    19244 |   169507      0 |      617 |        0
850.80/851.10	c  846s |      11 |   369403 |    19344 |   169507      0 |      617 |        0
854.61/854.82	c  850s |      11 |   369514 |    19444 |   169507      0 |      617 |        0
858.70/858.94	c  854s |      11 |   369630 |    19544 |   169507      0 |      617 |        0
862.90/863.10	c  858s |      11 |   369729 |    19644 |   169507      0 |      617 |        0
866.71/866.98	c  862s |      11 |   369842 |    19744 |   169507      0 |      617 |        0
870.60/870.80	c  866s |      11 |   369951 |    19844 |   169507      0 |      617 |        0
874.60/874.88	c  870s |      11 |   370058 |    19944 |   169507      0 |      617 |        0
878.70/878.99	c  874s |      11 |   370164 |    20044 |   169507      0 |      617 |        0
882.49/882.79	c  878s |      11 |   370270 |    20144 |   169507      0 |      617 |        0
886.50/886.74	c  882s |      11 |   370376 |    20244 |   169507      0 |      617 |        0
890.39/890.68	c  886s |      11 |   370508 |    20344 |   169507      0 |      617 |        0
894.20/894.46	c  890s |      11 |   370623 |    20444 |   169507      0 |      617 |        0
898.79/899.07	c  894s |      11 |   370724 |    20544 |   169507      0 |      617 |        0
903.01/903.25	c  898s |      11 |   370837 |    20644 |   169507      0 |      617 |        0
907.60/907.87	c  903s |      11 |   370938 |    20744 |   169507      0 |      617 |        0
911.70/911.95	c  907s |      11 |   371045 |    20844 |   169507      0 |      617 |        0
915.79/916.00	c  911s |      11 |   371154 |    20944 |   169507      0 |      617 |        0
919.99/920.25	c  915s |      11 |   371268 |    21044 |   169507      0 |      617 |        0
924.09/924.37	c  920s |      11 |   371375 |    21144 |   169507      0 |      617 |        0
928.29/928.53	c  924s |      11 |   371492 |    21244 |   169507      0 |      617 |        0
932.69/932.92	c  928s |      11 |   371595 |    21344 |   169507      0 |      617 |        0
936.89/937.11	c  932s |      11 |   371705 |    21444 |   169507      0 |      617 |        0
940.99/941.27	c  936s |      11 |   371814 |    21544 |   169507      0 |      617 |        0
944.99/945.22	c  940s |      11 |   371935 |    21644 |   169507      0 |      617 |        0
948.89/949.19	c  944s |      11 |   372051 |    21744 |   169507      0 |      617 |        0
952.99/953.29	c  948s |      11 |   372174 |    21844 |   169507      0 |      617 |        0
956.99/957.24	c  952s |      11 |   372279 |    21944 |   169507      0 |      617 |        0
961.09/961.31	c  956s |      11 |   372378 |    22044 |   169507      0 |      617 |        0
966.08/966.37	c  962s |      11 |   372480 |    22144 |   169507      0 |      617 |        0
970.78/971.00	c  966s |      11 |   372591 |    22244 |   169507      0 |      617 |        0
975.28/975.55	c  971s |      11 |   372710 |    22344 |   169507      0 |      617 |        0
978.89/979.14	c  974s |      11 |   372833 |    22444 |   169507      0 |      617 |        0
982.89/983.11	c  978s |      11 |   372934 |    22544 |   169507      0 |      617 |        0
987.09/987.35	c  983s |      11 |   373050 |    22644 |   169507      0 |      617 |        0
991.09/991.36	c  987s |      11 |   373195 |    22744 |   169507      0 |      617 |        0
995.08/995.31	c  990s |      11 |   373293 |    22844 |   169507      0 |      617 |        0
999.98/1000.21	c  995s |      11 |   373411 |    22944 |   169507      0 |      617 |        0
1004.38/1004.65	c 1000s |      11 |   373517 |    23044 |   169507      0 |      617 |        0
1008.59/1008.86	c 1004s |      11 |   373667 |    23144 |   169507      0 |      617 |        0
1013.28/1013.59	c 1009s |      11 |   373770 |    23244 |   169507      0 |      617 |        0
1018.08/1018.38	c 1014s |      11 |   373881 |    23344 |   169507      0 |      617 |        0
1022.38/1022.62	c 1018s |      11 |   373996 |    23444 |   169507      0 |      617 |        0
1026.57/1026.84	c 1022s |      11 |   374103 |    23544 |   169507      0 |      617 |        0
1030.97/1031.26	c 1026s |      11 |   374227 |    23644 |   169507      0 |      617 |        0
1035.37/1035.64	c 1031s |      11 |   374332 |    23744 |   169507      0 |      617 |        0
1039.38/1039.62	c 1035s |      11 |   374441 |    23844 |   169507      0 |      617 |        0
1043.57/1043.81	c 1039s |      11 |   374568 |    23944 |   169507      0 |      617 |        0
1047.57/1047.89	c 1043s |      11 |   374671 |    24044 |   169507      0 |      617 |        0
1051.57/1051.84	c 1047s |      11 |   374802 |    24144 |   169507      0 |      617 |        0
1055.48/1055.76	c 1051s |      11 |   374920 |    24244 |   169507      0 |      617 |        0
1059.58/1059.89	c 1055s |      11 |   375029 |    24344 |   169507      0 |      617 |        0
1063.87/1064.10	c 1059s |      11 |   375140 |    24444 |   169507      0 |      617 |        0
1068.07/1068.30	c 1063s |      11 |   375261 |    24544 |   169507      0 |      617 |        0
1072.28/1072.58	c 1068s |      11 |   375365 |    24644 |   169507      0 |      617 |        0
1076.47/1076.76	c 1072s |      11 |   375473 |    24744 |   169507      0 |      617 |        0
1080.77/1081.00	c 1076s |      11 |   375595 |    24844 |   169507      0 |      617 |        0
1084.87/1085.14	c 1080s |      11 |   375696 |    24944 |   169507      0 |      617 |        0
1089.57/1089.84	c 1085s |      11 |   375802 |    25044 |   169507      0 |      617 |        0
1094.47/1094.72	c 1090s |      11 |   375905 |    25144 |   169507      0 |      617 |        0
1097.77/1098.07	c 1093s |      11 |   376071 |    25244 |   169507      0 |      617 |        0
1101.67/1101.91	c 1097s |      11 |   376176 |    25344 |   169507      0 |      617 |        0
1105.96/1106.27	c 1101s |      11 |   376280 |    25444 |   169507      0 |      617 |        0
1109.96/1110.29	c 1105s |      11 |   376401 |    25544 |   169507      0 |      617 |        0
1113.96/1114.20	c 1109s |      11 |   376500 |    25644 |   169507      0 |      617 |        0
1117.66/1117.93	c 1113s |      11 |   376606 |    25744 |   186458      0 |      617 |        0
1120.56/1120.86	c 1116s |      12 |   376682 |    25819 |   186458      0 |      617 |        0
1125.86/1126.17	c 1121s |      12 |   400658 |    25919 |   186458      0 |      617 |        0
1128.56/1128.82	c 1124s |      12 |   400789 |    26019 |   186458      0 |      617 |        0
1131.16/1131.44	c 1127s |      12 |   400927 |    26119 |   186458      0 |      617 |        0
1134.26/1134.51	c 1130s |      12 |   401034 |    26219 |   186458      0 |      617 |        0
1137.06/1137.33	c 1133s |      12 |   401139 |    26319 |   186458      0 |      617 |        0
1140.16/1140.45	c 1136s |      12 |   401241 |    26419 |   186458      0 |      617 |        0
1143.06/1143.33	c 1139s |      12 |   401355 |    26519 |   186458      0 |      617 |        0
1146.07/1146.36	c 1142s |      12 |   401491 |    26619 |   186458      0 |      617 |        0
1150.06/1150.31	c 1145s |      12 |   401586 |    26719 |   186458      0 |      617 |        0
1153.86/1154.12	c 1149s |      12 |   401693 |    26819 |   186458      0 |      617 |        0
1158.36/1158.61	c 1154s |      12 |   401801 |    26919 |   186458      0 |      617 |        0
1161.96/1162.27	c 1157s |      12 |   401925 |    27019 |   186458      0 |      617 |        0
1165.25/1165.56	c 1161s |      12 |   402045 |    27119 |   186458      0 |      617 |        0
1168.75/1169.05	c 1164s |      12 |   402162 |    27219 |   186458      0 |      617 |        0
1172.56/1172.87	c 1168s |      12 |   402263 |    27319 |   186458      0 |      617 |        0
1175.76/1176.01	c 1171s |      12 |   402385 |    27419 |   186458      0 |      617 |        0
1178.45/1178.72	c 1174s |      12 |   402513 |    27519 |   186458      0 |      617 |        0
1181.65/1181.96	c 1177s |      12 |   402625 |    27619 |   186458      0 |      617 |        0
1184.85/1185.10	c 1180s |      12 |   402742 |    27719 |   186458      0 |      617 |        0
1187.86/1188.17	c 1183s |      12 |   402847 |    27819 |   186458      0 |      617 |        0
1191.16/1191.44	c 1187s |      12 |   402962 |    27919 |   186458      0 |      617 |        0
1194.05/1194.39	c 1190s |      12 |   403088 |    28019 |   186458      0 |      617 |        0
1197.45/1197.73	c 1193s |      12 |   403190 |    28119 |   186458      0 |      617 |        0
1200.95/1201.24	c 1196s |      12 |   403305 |    28219 |   186458      0 |      617 |        0
1203.85/1204.18	c 1199s |      12 |   403430 |    28319 |   186458      0 |      617 |        0
1207.15/1207.48	c 1203s |      12 |   403542 |    28419 |   186458      0 |      617 |        0
1210.95/1211.26	c 1206s |      12 |   403648 |    28519 |   186458      0 |      617 |        0
1214.64/1214.97	c 1210s |      12 |   403745 |    28619 |   186458      0 |      617 |        0
1217.94/1218.20	c 1213s |      12 |   403859 |    28719 |   186458      0 |      617 |        0
1221.04/1221.34	c 1217s |      12 |   403971 |    28819 |   186458      0 |      617 |        0
1224.34/1224.62	c 1220s |      12 |   404084 |    28919 |   186458      0 |      617 |        0
1227.64/1227.97	c 1223s |      12 |   404204 |    29019 |   186458      0 |      617 |        0
1230.65/1230.98	c 1226s |      12 |   404322 |    29119 |   186458      0 |      617 |        0
1234.45/1234.76	c 1230s |      12 |   404422 |    29219 |   186458      0 |      617 |        0
1238.15/1238.44	c 1234s |      12 |   404532 |    29319 |   186458      0 |      617 |        0
1241.75/1242.06	c 1237s |      12 |   404648 |    29419 |   186458      0 |      617 |        0
1245.54/1245.85	c 1241s |      12 |   404744 |    29519 |   186458      0 |      617 |        0
1249.24/1249.55	c 1245s |      12 |   404849 |    29619 |   186458      0 |      617 |        0
1253.34/1253.64	c 1249s |      12 |   404962 |    29719 |   186458      0 |      617 |        0
1257.24/1257.50	c 1253s |      12 |   405060 |    29819 |   186458      0 |      617 |        0
1260.84/1261.16	c 1256s |      12 |   405163 |    29919 |   186458      0 |      617 |        0
1264.64/1264.90	c 1260s |      12 |   405271 |    30019 |   186458      0 |      617 |        0
1268.04/1268.40	c 1264s |      12 |   405397 |    30119 |   186458      0 |      617 |        0
1271.44/1271.73	c 1267s |      12 |   405508 |    30219 |   186458      0 |      617 |        0
1274.43/1274.76	c 1270s |      12 |   405617 |    30319 |   186458      0 |      617 |        0
1277.94/1278.22	c 1273s |      12 |   405728 |    30419 |   186458      0 |      617 |        0
1281.34/1281.61	c 1277s |      12 |   405836 |    30519 |   186458      0 |      617 |        0
1284.54/1284.82	c 1280s |      12 |   405935 |    30619 |   186458      0 |      617 |        0
1287.94/1288.24	c 1283s |      12 |   406050 |    30719 |   186458      0 |      617 |        0
1291.14/1291.49	c 1287s |      12 |   406167 |    30819 |   186458      0 |      617 |        0
1295.03/1295.35	c 1291s |      12 |   406277 |    30919 |   186458      0 |      617 |        0
1298.73/1299.10	c 1294s |      12 |   406396 |    31019 |   186458      0 |      617 |        0
1302.63/1302.98	c 1298s |      12 |   406509 |    31119 |   186458      0 |      617 |        0
1306.74/1307.02	c 1302s |      12 |   406613 |    31219 |   186458      0 |      617 |        0
1310.34/1310.68	c 1306s |      12 |   406727 |    31319 |   186458      0 |      617 |        0
1313.74/1314.08	c 1309s |      12 |   406838 |    31419 |   186458      0 |      617 |        0
1317.54/1317.81	c 1313s |      12 |   406941 |    31519 |   186458      0 |      617 |        0
1321.03/1321.33	c 1317s |      12 |   407052 |    31619 |   186458      0 |      617 |        0
1324.63/1324.98	c 1320s |      12 |   407163 |    31719 |   186458      0 |      617 |        0
1328.73/1329.07	c 1324s |      12 |   407274 |    31819 |   186458      0 |      617 |        0
1333.13/1333.40	c 1329s |      12 |   407377 |    31919 |   186458      0 |      617 |        0
1337.44/1337.74	c 1333s |      12 |   407483 |    32019 |   186458      0 |      617 |        0
1341.23/1341.54	c 1337s |      12 |   407593 |    32119 |   186458      0 |      617 |        0
1345.04/1345.39	c 1341s |      12 |   407702 |    32219 |   186458      0 |      617 |        0
1348.63/1348.92	c 1344s |      12 |   407808 |    32319 |   186458      0 |      617 |        0
1351.83/1352.16	c 1347s |      12 |   407928 |    32419 |   186458      0 |      617 |        0
1355.53/1355.80	c 1351s |      12 |   408035 |    32519 |   186458      0 |      617 |        0
1359.22/1359.60	c 1355s |      12 |   408143 |    32619 |   186458      0 |      617 |        0
1362.82/1363.17	c 1358s |      12 |   408253 |    32719 |   186458      0 |      617 |        0
1366.52/1366.85	c 1362s |      12 |   408368 |    32819 |   186458      0 |      617 |        0
1370.22/1370.59	c 1366s |      12 |   408485 |    32919 |   186458      0 |      617 |        0
1373.63/1373.91	c 1369s |      12 |   408598 |    33019 |   186458      0 |      617 |        0
1377.92/1378.24	c 1373s |      12 |   408702 |    33119 |   186458      0 |      617 |        0
1382.12/1382.47	c 1378s |      12 |   408806 |    33219 |   186458      0 |      617 |        0
1386.02/1386.36	c 1382s |      12 |   408911 |    33319 |   186458      0 |      617 |        0
1390.02/1390.36	c 1386s |      12 |   409010 |    33419 |   186458      0 |      617 |        0
1394.42/1394.72	c 1390s |      12 |   409119 |    33519 |   186458      0 |      617 |        0
1398.61/1398.98	c 1394s |      12 |   409234 |    33619 |   186458      0 |      617 |        0
1402.72/1403.09	c 1398s |      12 |   409335 |    33719 |   186458      0 |      617 |        0
1406.63/1406.93	c 1402s |      12 |   409439 |    33819 |   186458      0 |      617 |        0
1410.52/1410.87	c 1406s |      12 |   409544 |    33919 |   186458      0 |      617 |        0
1415.02/1415.34	c 1411s |      12 |   409654 |    34019 |   186458      0 |      617 |        0
1419.32/1419.61	c 1415s |      12 |   409758 |    34119 |   186458      0 |      617 |        0
1423.62/1423.91	c 1419s |      12 |   409880 |    34219 |   186458      0 |      617 |        0
1427.63/1427.91	c 1423s |      12 |   409996 |    34319 |   186458      0 |      617 |        0
1431.32/1431.67	c 1427s |      12 |   410120 |    34419 |   186458      0 |      617 |        0
1435.22/1435.58	c 1431s |      12 |   410230 |    34519 |   186458      0 |      617 |        0
1439.02/1439.39	c 1435s |      12 |   410343 |    34619 |   186458      0 |      617 |        0
1443.11/1443.48	c 1439s |      12 |   410453 |    34719 |   186458      0 |      617 |        0
1447.11/1447.42	c 1443s |      12 |   410561 |    34819 |   186458      0 |      617 |        0
1451.11/1451.40	c 1447s |      12 |   410667 |    34919 |   186458      0 |      617 |        0
1455.21/1455.55	c 1451s |      12 |   410774 |    35019 |   186458      0 |      617 |        0
1459.21/1459.55	c 1455s |      12 |   410882 |    35119 |   186458      0 |      617 |        0
1463.71/1464.09	c 1459s |      12 |   410994 |    35219 |   186458      0 |      617 |        0
1468.41/1468.74	c 1464s |      12 |   411106 |    35319 |   186458      0 |      617 |        0
1472.71/1473.08	c 1468s |      12 |   411217 |    35419 |   186458      0 |      617 |        0
1476.60/1476.94	c 1472s |      12 |   411328 |    35519 |   186458      0 |      617 |        0
1480.20/1480.56	c 1476s |      12 |   411432 |    35619 |   186458      0 |      617 |        0
1483.90/1484.27	c 1479s |      12 |   411554 |    35719 |   186458      0 |      617 |        0
1487.90/1488.21	c 1483s |      12 |   411686 |    35819 |   186458      0 |      617 |        0
1492.00/1492.39	c 1488s |      12 |   411804 |    35919 |   186458      0 |      617 |        0
1495.71/1496.05	c 1491s |      12 |   411937 |    36019 |   186458      0 |      617 |        0
1499.50/1499.82	c 1495s |      12 |   412052 |    36119 |   186458      0 |      617 |        0
1503.51/1503.83	c 1499s |      12 |   412183 |    36219 |   186458      0 |      617 |        0
1507.61/1507.96	c 1503s |      12 |   412288 |    36319 |   186458      0 |      617 |        0
1512.40/1512.71	c 1508s |      12 |   412402 |    36419 |   186458      0 |      617 |        0
1516.61/1516.97	c 1512s |      12 |   412510 |    36519 |   186458      0 |      617 |        0
1521.01/1521.34	c 1517s |      12 |   412616 |    36619 |   186458      0 |      617 |        0
1525.10/1525.47	c 1521s |      12 |   412721 |    36719 |   186458      0 |      617 |        0
1529.10/1529.43	c 1525s |      12 |   412840 |    36819 |   186458      0 |      617 |        0
1532.80/1533.12	c 1528s |      12 |   412957 |    36919 |   186458      0 |      617 |        0
1537.10/1537.40	c 1533s |      12 |   413065 |    37019 |   186458      0 |      617 |        0
1541.10/1541.50	c 1537s |      12 |   413165 |    37119 |   186458      0 |      617 |        0
1545.40/1545.70	c 1541s |      12 |   413285 |    37219 |   186458      0 |      617 |        0
1549.60/1549.99	c 1545s |      12 |   413395 |    37319 |   186458      0 |      617 |        0
1553.79/1554.18	c 1549s |      12 |   413499 |    37419 |   186458      0 |      617 |        0
1558.09/1558.43	c 1554s |      12 |   413614 |    37519 |   186458      0 |      617 |        0
1562.39/1562.70	c 1558s |      12 |   413721 |    37619 |   186458      0 |      617 |        0
1566.89/1567.23	c 1562s |      12 |   413833 |    37719 |   186458      0 |      617 |        0
1571.39/1571.71	c 1567s |      12 |   413938 |    37819 |   186458      0 |      617 |        0
1575.79/1576.16	c 1571s |      12 |   414040 |    37919 |   186458      0 |      617 |        0
1580.79/1581.18	c 1576s |      12 |   414171 |    38019 |   186458      0 |      617 |        0
1585.49/1585.84	c 1581s |      12 |   414265 |    38119 |   186458      0 |      617 |        0
1589.79/1590.18	c 1585s |      12 |   414365 |    38219 |   186458      0 |      617 |        0
1593.18/1593.58	c 1589s |      12 |   414495 |    38319 |   186458      0 |      617 |        0
1596.89/1597.28	c 1592s |      12 |   414619 |    38419 |   186458      0 |      617 |        0
1601.08/1601.42	c 1597s |      12 |   414740 |    38519 |   186458      0 |      617 |        0
1605.09/1605.46	c 1601s |      12 |   414847 |    38619 |   205104      0 |      617 |        0
1609.10/1609.47	c 1605s |      12 |   414946 |    38719 |   205104      0 |      617 |        0
1613.09/1613.40	c 1609s |      12 |   415068 |    38819 |   205104      0 |      617 |        0
1613.89/1614.25	c 1609s |      13 |   415083 |    38832 |   205104      0 |      617 |        0
1620.29/1620.60	c 1616s |      13 |   441689 |    38932 |   205104      0 |      617 |        0
1622.99/1623.34	c 1619s |      13 |   441809 |    39032 |   205104      0 |      617 |        0
1625.89/1626.26	c 1621s |      13 |   441914 |    39132 |   205104      0 |      617 |        0
1628.89/1629.22	c 1624s |      13 |   442025 |    39232 |   205104      0 |      617 |        0
1631.69/1632.08	c 1627s |      13 |   442148 |    39332 |   205104      0 |      617 |        0
1634.29/1634.63	c 1630s |      13 |   442260 |    39432 |   205104      0 |      617 |        0
1636.89/1637.29	c 1632s |      13 |   442370 |    39532 |   205104      0 |      617 |        0
1639.89/1640.23	c 1635s |      13 |   442479 |    39632 |   205104      0 |      617 |        0
1642.88/1643.23	c 1638s |      13 |   442587 |    39732 |   205104      0 |      617 |        0
1646.08/1646.47	c 1642s |      13 |   442694 |    39832 |   205104      0 |      617 |        0
1648.48/1648.81	c 1644s |      13 |   442840 |    39932 |   205104      0 |      617 |        0
1651.28/1651.65	c 1647s |      13 |   442955 |    40032 |   205104      0 |      617 |        0
1654.28/1654.66	c 1650s |      13 |   443063 |    40132 |   205104      0 |      617 |        0
1656.98/1657.35	c 1653s |      13 |   443173 |    40232 |   205104      0 |      617 |        0
1660.08/1660.47	c 1656s |      13 |   443287 |    40332 |   205104      0 |      617 |        0
1662.48/1662.89	c 1658s |      13 |   443420 |    40432 |   205104      0 |      617 |        0
1665.28/1665.65	c 1661s |      13 |   443531 |    40532 |   205104      0 |      617 |        0
1667.98/1668.31	c 1663s |      13 |   443661 |    40632 |   205104      0 |      617 |        0
1671.08/1671.49	c 1667s |      13 |   443767 |    40732 |   205104      0 |      617 |        0
1674.38/1674.76	c 1670s |      13 |   443883 |    40832 |   205104      0 |      617 |        0
1677.68/1678.04	c 1673s |      13 |   443990 |    40932 |   205104      0 |      617 |        0
1680.58/1680.92	c 1676s |      13 |   444107 |    41032 |   205104      0 |      617 |        0
1683.28/1683.68	c 1679s |      13 |   444230 |    41132 |   205104      0 |      617 |        0
1685.88/1686.20	c 1681s |      13 |   444335 |    41232 |   205104      0 |      617 |        0
1688.38/1688.70	c 1684s |      13 |   444466 |    41332 |   205104      0 |      617 |        0
1691.77/1692.12	c 1687s |      13 |   444573 |    41432 |   205104      0 |      617 |        0
1695.37/1695.70	c 1691s |      13 |   444688 |    41532 |   205104      0 |      617 |        0
1698.47/1698.86	c 1694s |      13 |   444799 |    41632 |   205104      0 |      617 |        0
1701.77/1702.10	c 1697s |      13 |   444901 |    41732 |   205104      0 |      617 |        0
1704.68/1705.08	c 1700s |      13 |   445009 |    41832 |   205104      0 |      617 |        0
1708.08/1708.43	c 1704s |      13 |   445114 |    41932 |   205104      0 |      617 |        0
1711.28/1711.69	c 1707s |      13 |   445230 |    42032 |   205104      0 |      617 |        0
1714.37/1714.76	c 1710s |      13 |   445350 |    42132 |   205104      0 |      617 |        0
1717.67/1718.04	c 1713s |      13 |   445473 |    42232 |   205104      0 |      617 |        0
1720.47/1720.88	c 1716s |      13 |   445578 |    42332 |   205104      0 |      617 |        0
1723.48/1723.83	c 1719s |      13 |   445685 |    42432 |   205104      0 |      617 |        0
1726.68/1727.09	c 1722s |      13 |   445788 |    42532 |   205104      0 |      617 |        0
1729.67/1730.06	c 1725s |      13 |   445896 |    42632 |   205104      0 |      617 |        0
1732.67/1733.07	c 1728s |      13 |   446002 |    42732 |   205104      0 |      617 |        0
1735.67/1736.03	c 1731s |      13 |   446106 |    42832 |   205104      0 |      617 |        0
1738.88/1739.28	c 1734s |      13 |   446214 |    42932 |   205104      0 |      617 |        0
1742.07/1742.48	c 1738s |      13 |   446313 |    43032 |   205104      0 |      617 |        0
1744.96/1745.31	c 1740s |      13 |   446439 |    43132 |   205104      0 |      617 |        0
1747.67/1748.05	c 1743s |      13 |   446550 |    43232 |   205104      0 |      617 |        0
1750.97/1751.37	c 1747s |      13 |   446658 |    43332 |   205104      0 |      617 |        0
1755.16/1755.55	c 1751s |      13 |   446765 |    43432 |   205104      0 |      617 |        0
1758.26/1758.60	c 1754s |      13 |   446874 |    43532 |   205104      0 |      617 |        0
1761.56/1761.90	c 1757s |      13 |   446983 |    43632 |   205104      0 |      617 |        0
1764.36/1764.77	c 1760s |      13 |   447096 |    43732 |   205104      0 |      617 |        0
1768.66/1769.00	c 1764s |      13 |   447208 |    43832 |   205104      0 |      617 |        0
1772.37/1772.70	c 1768s |      13 |   447318 |    43932 |   205104      0 |      617 |        0
1776.56/1776.95	c 1772s |      13 |   447427 |    44032 |   205104      0 |      617 |        0
1779.47/1779.87	c 1775s |      13 |   447531 |    44132 |   205104      0 |      617 |        0
1783.36/1783.73	c 1779s |      13 |   447637 |    44232 |   205104      0 |      617 |        0
1786.56/1786.91	c 1782s |      13 |   447734 |    44332 |   205104      0 |      617 |        0
1789.66/1790.06	c 1785s |      13 |   447860 |    44432 |   205104      0 |      617 |        0
1792.86/1793.20	c 1788s |      13 |   447960 |    44532 |   205104      0 |      617 |        0
1796.75/1797.11	c 1792s |      13 |   448091 |    44632 |   205104      0 |      617 |        0
1799.95/1800.30	c 1795s |      13 |   448191 |    44732 |   205104      0 |      617 |        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-4119653-1467274101/watcher-4119653-1467274101 -o /tmp/evaluation-result-4119653-1467274101/solver-4119653-1467274101 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467272299-13058 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119653-1467274101.opb 

pid=13238
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.33 2.26 2.20 3/172 13241
/proc/meminfo: memFree=29230628/32872528 swapFree=1254912/1391860
[pid=13241] ppid=13238 vsize=796092 CPUtime=0 cores=0,2,4,6
/proc/13241/stat : 13241 (toysat) R 13238 13241 12742 0 -1 4202496 2983 0 0 0 0 0 0 0 20 0 4 0 8370930 815198208 3344 33554432000 4194304 16246674 140736148405728 140736148405152 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13241/statm: 199535 3352 441 2943 0 196429 0
[pid=13241/tid=13242] ppid=13238 vsize=813500 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 12742 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8370931 833024000 3410 33554432000 4194304 16246674 140736148405728 140487603236080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13241/tid=13243] ppid=13238 vsize=817596 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8370931 837218304 3425 33554432000 4194304 16246674 140736148405728 140487592746224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13241/tid=13244] ppid=13238 vsize=821692 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8370931 841412608 3442 33554432000 4194304 16246674 140736148405728 140487507831984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.33 2.26 2.20 3/172 13241
/proc/meminfo: memFree=29230628/32872528 swapFree=1254912/1391860
[pid=13241] ppid=13238 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/13241/stat : 13241 (toysat) R 13238 13241 12742 0 -1 4202496 30459 0 0 0 5 4 0 0 20 0 4 0 8370930 1333334016 30758 33554432000 4194304 16246674 140736148405728 140736148405040 8056990 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13241/statm: 325521 30773 802 2943 0 322415 0
[pid=13241/tid=13242] ppid=13238 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 12742 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8370931 1333334016 30784 33554432000 4194304 16246674 140736148405728 140487603236080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13241/tid=13243] ppid=13238 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8370931 1333334016 30795 33554432000 4194304 16246674 140736148405728 140487592746224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13241/tid=13244] ppid=13238 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8370931 1333334016 30806 33554432000 4194304 16246674 140736148405728 140487507831984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200522 s]
/proc/loadavg: 2.33 2.26 2.20 3/172 13241
/proc/meminfo: memFree=29230628/32872528 swapFree=1254912/1391860
[pid=13241] ppid=13238 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/13241/stat : 13241 (toysat) R 13238 13241 12742 0 -1 4202496 43921 0 0 0 13 6 0 0 20 0 4 0 8370930 1343819776 44730 33554432000 4194304 16246674 140736148405728 140736148405040 7374479 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13241/statm: 328081 44730 802 2943 0 324975 0
[pid=13241/tid=13242] ppid=13238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 12742 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8370931 1343819776 44730 33554432000 4194304 16246674 140736148405728 140487603236080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13241/tid=13243] ppid=13238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8370931 1343819776 44730 33554432000 4194304 16246674 140736148405728 140487592746224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13241/tid=13244] ppid=13238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8370931 1343819776 44730 33554432000 4194304 16246674 140736148405728 140487507831984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300505 s]
/proc/loadavg: 2.33 2.26 2.20 3/172 13241
/proc/meminfo: memFree=29230628/32872528 swapFree=1254912/1391860
[pid=13241] ppid=13238 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/13241/stat : 13241 (toysat) R 13238 13241 12742 0 -1 4202496 49469 0 0 0 22 7 0 0 20 0 4 0 8370930 1343819776 50278 33554432000 4194304 16246674 140736148405728 140736148405040 7361743 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13241/statm: 328081 50278 802 2943 0 324975 0
[pid=13241/tid=13242] ppid=13238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 12742 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8370931 1343819776 50278 33554432000 4194304 16246674 140736148405728 140487603236080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13241/tid=13243] ppid=13238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8370931 1343819776 50278 33554432000 4194304 16246674 140736148405728 140487592746224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13241/tid=13244] ppid=13238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8370931 1343819776 50278 33554432000 4194304 16246674 140736148405728 140487507831984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700418 s]
/proc/loadavg: 2.33 2.26 2.20 3/172 13241
/proc/meminfo: memFree=29230628/32872528 swapFree=1254912/1391860
[pid=13241] ppid=13238 vsize=1312324 CPUtime=0.69 cores=0,2,4,6
/proc/13241/stat : 13241 (toysat) R 13238 13241 12742 0 -1 4202496 66606 0 0 0 60 9 0 0 20 0 4 0 8370930 1343819776 67416 33554432000 4194304 16246674 140736148405728 140736148388720 12752373 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13241/statm: 328081 67434 803 2943 0 324975 0
[pid=13241/tid=13242] ppid=13238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 12742 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8370931 1343819776 67446 33554432000 4194304 16246674 140736148405728 140487603236080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13241/tid=13243] ppid=13238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8370931 1343819776 67458 33554432000 4194304 16246674 140736148405728 140487592746224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13241/tid=13244] ppid=13238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8370931 1343819776 67469 33554432000 4194304 16246674 140736148405728 140487507831984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.50044 s]
/proc/loadavg: 2.33 2.26 2.20 3/183 13259
/proc/meminfo: memFree=28627992/32872528 swapFree=1254912/1391860
[pid=13241] ppid=13238 vsize=1390148 CPUtime=1.48 cores=0,2,4,6
/proc/13241/stat : 13241 (toysat) R 13238 13241 12742 0 -1 4202496 101009 0 0 0 135 13 0 0 20 0 4 0 8370930 1423511552 101819 33554432000 4194304 16246674 140736148405728 140736148404392 12449273 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13241/statm: 347537 101836 833 2943 0 344431 0
[pid=13241/tid=13242] ppid=13238 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 12742 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8370931 1423511552 101846 33554432000 4194304 16246674 140736148405728 140487603236080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13241/tid=13243] ppid=13238 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8370931 1423511552 101857 33554432000 4194304 16246674 140736148405728 140487592746224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13241/tid=13244] ppid=13238 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8370931 1423511552 101867 33554432000 4194304 16246674 140736148405728 140487507831984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1390148

[startup+3.10042 s]
/proc/loadavg: 2.33 2.26 2.20 4/183 13259
/proc/meminfo: memFree=27410312/32872528 swapFree=1254912/1391860
[pid=13241] ppid=13238 vsize=1390148 CPUtime=3.09 cores=0,2,4,6
/proc/13241/stat : 13241 (toysat) R 13238 13241 12742 0 -1 4202496 218826 0 0 0 279 30 0 0 20 0 4 0 8370930 1423511552 219635 33554432000 4194304 16246674 140736148405728 140736148404904 4220536 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13241/statm: 347537 219635 836 2943 0 344431 0
[pid=13241/tid=13242] ppid=13238 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 12742 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8370931 1423511552 219635 33554432000 4194304 16246674 140736148405728 140487603236080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13241/tid=13243] ppid=13238 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8370931 1423511552 219635 33554432000 4194304 16246674 140736148405728 140487592746224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13241/tid=13244] ppid=13238 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8370931 1423511552 219635 33554432000 4194304 16246674 140736148405728 140487507831984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1390148

[startup+6.30045 s]
/proc/loadavg: 2.30 2.26 2.20 4/183 13259
/proc/meminfo: memFree=26982584/32872528 swapFree=1254912/1391860
[pid=13241] ppid=13238 vsize=1390148 CPUtime=6.28 cores=0,2,4,6
/proc/13241/stat : 13241 (toysat) R 13238 13241 12742 0 -1 4202496 277202 0 0 0 591 37 0 0 20 0 4 0 8370930 1423511552 278011 33554432000 4194304 16246674 140736148405728 140736148387648 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13241/statm: 347537 278011 885 2943 0 344431 0
[pid=13241/tid=13242] ppid=13238 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 12742 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8370931 1423511552 278011 33554432000 4194304 16246674 140736148405728 140487603236080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13241/tid=13243] ppid=13238 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8370931 1423511552 278011 33554432000 4194304 16246674 140736148405728 140487592746224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13241/tid=13244] ppid=13238 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8370931 1423511552 278011 33554432000 4194304 16246674 140736148405728 140487507831984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1390148

[startup+12.7004 s]
/proc/loadavg: 2.28 2.25 2.20 3/183 13259
/proc/meminfo: memFree=26982996/32872528 swapFree=1254912/1391860
[pid=13241] ppid=13238 vsize=1390148 CPUtime=12.68 cores=0,2,4,6
/proc/13241/stat : 13241 (toysat) R 13238 13241 12742 0 -1 4202496 277202 0 0 0 1231 37 0 0 20 0 4 0 8370930 1423511552 278011 33554432000 4194304 16246674 140736148405728 140736148387648 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13241/statm: 347537 278011 885 2943 0 344431 0
[pid=13241/tid=13242] ppid=13238 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 12742 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8370931 1423511552 278011 33554432000 4194304 16246674 140736148405728 140487603236080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13241/tid=13243] ppid=13238 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8370931 1423511552 278011 33554432000 4194304 16246674 140736148405728 140487592746224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13241/tid=13244] ppid=13238 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8370931 1423511552 278011 33554432000 4194304 16246674 140736148405728 140487507831984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1390148

[startup+25.5004 s]
/proc/loadavg: 2.36 2.27 2.20 4/183 13260
/proc/meminfo: memFree=26984940/32872528 swapFree=1254912/1391860
[pid=13241] ppid=13238 vsize=1390148 CPUtime=25.48 cores=0,2,4,6
/proc/13241/stat : 13241 (toysat) R 13238 13241 12742 0 -1 4202496 277202 0 0 0 2511 37 0 0 20 0 4 0 8370930 1423511552 278011 33554432000 4194304 16246674 140736148405728 140736148387648 12477688 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13241/statm: 347537 278011 885 2943 0 344431 0
[pid=13241/tid=13242] ppid=13238 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 12742 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8370931 1423511552 278011 33554432000 4194304 16246674 140736148405728 140487603236080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13241/tid=13243] ppid=13238 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8370931 1423511552 278011 33554432000 4194304 16246674 140736148405728 140487592746224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13241/tid=13244] ppid=13238 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8370931 1423511552 278011 33554432000 4194304 16246674 140736148405728 140487507831984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1390148

[startup+51.1005 s]
/proc/loadavg: 2.24 2.25 2.20 4/183 13260
/proc/meminfo: memFree=26940912/32872528 swapFree=1254912/1391860
[pid=13241] ppid=13238 vsize=1390148 CPUtime=51.08 cores=0,2,4,6
/proc/13241/stat : 13241 (toysat) R 13238 13241 12742 0 -1 4202496 288213 0 0 0 5070 38 0 0 20 0 4 0 8370930 1423511552 289022 33554432000 4194304 16246674 140736148405728 140736148387648 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13241/statm: 347537 289022 889 2943 0 344431 0
[pid=13241/tid=13242] ppid=13238 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 12742 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8370931 1423511552 289022 33554432000 4194304 16246674 140736148405728 140487603236080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13241/tid=13243] ppid=13238 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8370931 1423511552 289022 33554432000 4194304 16246674 140736148405728 140487592746224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13241/tid=13244] ppid=13238 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8370931 1423511552 289022 33554432000 4194304 16246674 140736148405728 140487507831984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1390148

[startup+102.3 s]
/proc/loadavg: 2.20 2.24 2.19 3/178 13278
/proc/meminfo: memFree=28056612/32872528 swapFree=1254912/1391860
[pid=13241] ppid=13238 vsize=1390148 CPUtime=102.28 cores=0,2,4,6
/proc/13241/stat : 13241 (toysat) R 13238 13241 12742 0 -1 4202496 288213 0 0 0 10188 40 0 0 20 0 4 0 8370930 1423511552 289022 33554432000 4194304 16246674 140736148405728 140736148387648 5711697 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13241/statm: 347537 289022 889 2943 0 344431 0
[pid=13241/tid=13242] ppid=13238 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 12742 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8370931 1423511552 289022 33554432000 4194304 16246674 140736148405728 140487603236080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13241/tid=13243] ppid=13238 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8370931 1423511552 289022 33554432000 4194304 16246674 140736148405728 140487592746224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13241/tid=13244] ppid=13238 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8370931 1423511552 289022 33554432000 4194304 16246674 140736148405728 140487507831984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1390148


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

/proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8370931 1490620416 305343 33554432000 4194304 16246674 140736148405728 140487507831984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 1455684

[startup+1302.3 s]
/proc/loadavg: 2.19 2.21 2.18 3/184 13343
/proc/meminfo: memFree=26826680/32872528 swapFree=1254912/1391860
[pid=13241] ppid=13238 vsize=1455684 CPUtime=1302.03 cores=0,2,4,6
/proc/13241/stat : 13241 (toysat) R 13238 13241 12742 0 -1 4202496 304623 0 0 0 130142 61 0 0 20 0 4 0 8370930 1490620416 305343 33554432000 4194304 16246674 140736148405728 140736148387648 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13241/statm: 363921 305343 890 2943 0 360815 0
[pid=13241/tid=13242] ppid=13238 vsize=1455684 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 12742 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8370931 1490620416 305343 33554432000 4194304 16246674 140736148405728 140487603236080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13241/tid=13243] ppid=13238 vsize=1455684 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8370931 1490620416 305343 33554432000 4194304 16246674 140736148405728 140487592746224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13241/tid=13244] ppid=13238 vsize=1455684 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8370931 1490620416 305343 33554432000 4194304 16246674 140736148405728 140487507831984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 1455684

[startup+1362.3 s]
/proc/loadavg: 2.25 2.21 2.18 3/183 13344
/proc/meminfo: memFree=26827292/32872528 swapFree=1254912/1391860
[pid=13241] ppid=13238 vsize=1455684 CPUtime=1362.02 cores=0,2,4,6
/proc/13241/stat : 13241 (toysat) R 13238 13241 12742 0 -1 4202496 304623 0 0 0 136140 62 0 0 20 0 4 0 8370930 1490620416 305343 33554432000 4194304 16246674 140736148405728 140736148387648 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13241/statm: 363921 305343 890 2943 0 360815 0
[pid=13241/tid=13242] ppid=13238 vsize=1455684 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 12742 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8370931 1490620416 305343 33554432000 4194304 16246674 140736148405728 140487603236080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13241/tid=13243] ppid=13238 vsize=1455684 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8370931 1490620416 305343 33554432000 4194304 16246674 140736148405728 140487592746224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13241/tid=13244] ppid=13238 vsize=1455684 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8370931 1490620416 305343 33554432000 4194304 16246674 140736148405728 140487507831984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 1455684

[startup+1422.3 s]
/proc/loadavg: 2.21 2.21 2.18 4/183 13345
/proc/meminfo: memFree=26669108/32872528 swapFree=1254912/1391860
[pid=13241] ppid=13238 vsize=1614404 CPUtime=1422.03 cores=0,2,4,6
/proc/13241/stat : 13241 (toysat) R 13238 13241 12742 0 -1 4202496 344123 0 0 0 142135 68 0 0 20 0 4 0 8370930 1653149696 344843 33554432000 4194304 16246674 140736148405728 140736148387648 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13241/statm: 403601 344843 890 2943 0 400495 0
[pid=13241/tid=13242] ppid=13238 vsize=1614404 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 12742 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8370931 1653149696 344843 33554432000 4194304 16246674 140736148405728 140487603236080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13241/tid=13243] ppid=13238 vsize=1614404 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8370931 1653149696 344843 33554432000 4194304 16246674 140736148405728 140487592746224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13241/tid=13244] ppid=13238 vsize=1614404 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8370931 1653149696 344843 33554432000 4194304 16246674 140736148405728 140487507831984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 1614404

[startup+1482.3 s]
/proc/loadavg: 2.39 2.25 2.19 3/183 13346
/proc/meminfo: memFree=26538668/32872528 swapFree=1254912/1391860
[pid=13241] ppid=13238 vsize=1614404 CPUtime=1482 cores=0,2,4,6
/proc/13241/stat : 13241 (toysat) R 13238 13241 12742 0 -1 4202496 344123 0 0 0 148132 68 0 0 20 0 4 0 8370930 1653149696 344843 33554432000 4194304 16246674 140736148405728 140736148387648 5711697 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13241/statm: 403601 344843 890 2943 0 400495 0
[pid=13241/tid=13242] ppid=13238 vsize=1614404 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 12742 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8370931 1653149696 344843 33554432000 4194304 16246674 140736148405728 140487603236080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13241/tid=13243] ppid=13238 vsize=1614404 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8370931 1653149696 344843 33554432000 4194304 16246674 140736148405728 140487592746224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13241/tid=13244] ppid=13238 vsize=1614404 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8370931 1653149696 344843 33554432000 4194304 16246674 140736148405728 140487507831984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 1614404

[startup+1542.31 s]
/proc/loadavg: 2.23 2.23 2.19 3/183 13347
/proc/meminfo: memFree=26539124/32872528 swapFree=1254912/1391860
[pid=13241] ppid=13238 vsize=1614404 CPUtime=1542.01 cores=0,2,4,6
/proc/13241/stat : 13241 (toysat) R 13238 13241 12742 0 -1 4202496 344123 0 0 0 154132 69 0 0 20 0 4 0 8370930 1653149696 344843 33554432000 4194304 16246674 140736148405728 140736148404904 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13241/statm: 403601 344843 890 2943 0 400495 0
[pid=13241/tid=13242] ppid=13238 vsize=1614404 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 12742 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8370931 1653149696 344843 33554432000 4194304 16246674 140736148405728 140487603236080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13241/tid=13243] ppid=13238 vsize=1614404 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8370931 1653149696 344843 33554432000 4194304 16246674 140736148405728 140487592746224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13241/tid=13244] ppid=13238 vsize=1614404 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8370931 1653149696 344843 33554432000 4194304 16246674 140736148405728 140487507831984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 1614404

[startup+1602.3 s]
/proc/loadavg: 2.12 2.20 2.18 4/183 13349
/proc/meminfo: memFree=26356328/32872528 swapFree=1254912/1391860
[pid=13241] ppid=13238 vsize=1796676 CPUtime=1601.99 cores=0,2,4,6
/proc/13241/stat : 13241 (toysat) R 13238 13241 12742 0 -1 4202496 389816 0 0 0 160122 77 0 0 20 0 4 0 8370930 1839796224 390536 33554432000 4194304 16246674 140736148405728 140736148387648 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13241/statm: 449169 390536 890 2943 0 446063 0
[pid=13241/tid=13242] ppid=13238 vsize=1796676 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 12742 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8370931 1839796224 390536 33554432000 4194304 16246674 140736148405728 140487603236080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13241/tid=13243] ppid=13238 vsize=1796676 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8370931 1839796224 390536 33554432000 4194304 16246674 140736148405728 140487592746224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13241/tid=13244] ppid=13238 vsize=1796676 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8370931 1839796224 390536 33554432000 4194304 16246674 140736148405728 140487507831984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 1796676

[startup+1662.3 s]
/proc/loadavg: 2.28 2.22 2.19 3/183 13350
/proc/meminfo: memFree=26355952/32872528 swapFree=1254912/1391860
[pid=13241] ppid=13238 vsize=1796676 CPUtime=1661.98 cores=0,2,4,6
/proc/13241/stat : 13241 (toysat) R 13238 13241 12742 0 -1 4202496 389816 0 0 0 166120 78 0 0 20 0 4 0 8370930 1839796224 390536 33554432000 4194304 16246674 140736148405728 140736148387648 5711980 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13241/statm: 449169 390536 890 2943 0 446063 0
[pid=13241/tid=13242] ppid=13238 vsize=1796676 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 12742 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8370931 1839796224 390536 33554432000 4194304 16246674 140736148405728 140487603236080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13241/tid=13243] ppid=13238 vsize=1796676 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8370931 1839796224 390536 33554432000 4194304 16246674 140736148405728 140487592746224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13241/tid=13244] ppid=13238 vsize=1796676 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8370931 1839796224 390536 33554432000 4194304 16246674 140736148405728 140487507831984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 1796676

[startup+1722.3 s]
/proc/loadavg: 2.26 2.23 2.18 4/183 13351
/proc/meminfo: memFree=26119476/32872528 swapFree=1254912/1391860
[pid=13241] ppid=13238 vsize=1796676 CPUtime=1721.97 cores=0,2,4,6
/proc/13241/stat : 13241 (toysat) R 13238 13241 12742 0 -1 4202496 389816 0 0 0 172118 79 0 0 20 0 4 0 8370930 1839796224 390536 33554432000 4194304 16246674 140736148405728 140736148404904 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13241/statm: 449169 390536 890 2943 0 446063 0
[pid=13241/tid=13242] ppid=13238 vsize=1796676 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 12742 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8370931 1839796224 390536 33554432000 4194304 16246674 140736148405728 140487603236080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13241/tid=13243] ppid=13238 vsize=1796676 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8370931 1839796224 390536 33554432000 4194304 16246674 140736148405728 140487592746224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13241/tid=13244] ppid=13238 vsize=1796676 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8370931 1839796224 390536 33554432000 4194304 16246674 140736148405728 140487507831984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 1796676

[startup+1782.3 s]
/proc/loadavg: 2.34 2.25 2.19 4/183 13352
/proc/meminfo: memFree=25999568/32872528 swapFree=1254912/1391860
[pid=13241] ppid=13238 vsize=1916484 CPUtime=1781.96 cores=0,2,4,6
/proc/13241/stat : 13241 (toysat) R 13238 13241 12742 0 -1 4202496 419703 0 0 0 178111 85 0 0 20 0 4 0 8370930 1962479616 420423 33554432000 4194304 16246674 140736148405728 140736148387648 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13241/statm: 479121 420423 890 2943 0 476015 0
[pid=13241/tid=13242] ppid=13238 vsize=1916484 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 12742 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8370931 1962479616 420423 33554432000 4194304 16246674 140736148405728 140487603236080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13241/tid=13243] ppid=13238 vsize=1916484 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8370931 1962479616 420423 33554432000 4194304 16246674 140736148405728 140487592746224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13241/tid=13244] ppid=13238 vsize=1916484 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8370931 1962479616 420423 33554432000 4194304 16246674 140736148405728 140487507831984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 1916484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.30 2.24 2.19 4/183 13353
/proc/meminfo: memFree=25999316/32872528 swapFree=1254912/1391860
[pid=13241] ppid=13238 vsize=1916484 CPUtime=1800.05 cores=0,2,4,6
/proc/13241/stat : 13241 (toysat) R 13238 13241 12742 0 -1 4202496 419703 0 0 0 179920 85 0 0 20 0 4 0 8370930 1962479616 420423 33554432000 4194304 16246674 140736148405728 140736148387648 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13241/statm: 479121 420423 890 2943 0 476015 0
[pid=13241/tid=13242] ppid=13238 vsize=1916484 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 12742 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8370931 1962479616 420423 33554432000 4194304 16246674 140736148405728 140487603236080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13241/tid=13243] ppid=13238 vsize=1916484 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8370931 1962479616 420423 33554432000 4194304 16246674 140736148405728 140487592746224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13241/tid=13244] ppid=13238 vsize=1916484 CPUtime=0 cores=0,2,4,6
/proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8370931 1962479616 420423 33554432000 4194304 16246674 140736148405728 140487507831984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1916484

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.44
CPU time (s): 1800.1
CPU user time (s): 1799.21
CPU system time (s): 0.888864
CPU usage (%): 99.9812
Max. virtual memory (cumulated for all children) (KiB): 1916484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.21
system time used= 0.888864
maximum resident set size= 1681692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 419703
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= 115
involuntary context switches= 1960

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.38557 second user time and 12.4901 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-30 10:08:21
IDJOB=4119653
IDBENCH=111782
IDSOLVER=2542
FILE ID=node119/4119653-1467274101
RUNJOBID= node119-1467272299-13058
PBS_JOBID= 20004499
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-BIGINT-LIN/pbfvmc-formulae/pbfvmc-formulae/hw128/normalized-hw128-vm98p-dec.opb.negationfix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119653-1467274101/watcher-4119653-1467274101 -o /tmp/evaluation-result-4119653-1467274101/solver-4119653-1467274101 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467272299-13058 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119653-1467274101.opb

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

MD5SUM BENCH= 08fc24c5582bf8e1a503a1ce903ecef9
RANDOM SEED=1330760267

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.444
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.444
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.444
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:        29232652 kB
Buffers:          179924 kB
Cached:          1302624 kB
SwapCached:            0 kB
Active:           167016 kB
Inactive:        1336192 kB
Active(anon):      17216 kB
Inactive(anon):     5992 kB
Active(file):     149800 kB
Inactive(file):  1330200 kB
Unevictable:     1391860 kB
Mlocked:         1254912 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             25664 kB
Writeback:             0 kB
AnonPages:       1416844 kB
Mapped:            13916 kB
Shmem:               204 kB
Slab:             610936 kB
SReclaimable:      54884 kB
SUnreclaim:       556052 kB
KernelStack:        1488 kB
PageTables:         6120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1496756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71688 MiB
End job on node119 at 2016-06-30 10:38:22