Trace number 4080041

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.04 1800.41

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_20null0mast_rapportOE1.0_TMAX60_K67_cod2.opb
MD5SUMdc1f1c1369db62ce46fa63aa9c3db18d
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-397
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40937
Total number of constraints41436
Number of constraints which are clauses40882
Number of constraints which are cardinality constraints (but not clauses)67
Number of constraints which are nor clauses,nor cardinality constraints487
Minimum length of a constraint1
Maximum length of a constraint8416
Number of terms in the objective function 389
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 1526
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 128
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 12538
Number of bits of the biggest sum of numbers14
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-07T11:24:03+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-4080041-1465291443.opb"]
0.00/0.01	c use --random-gen="1454238199 2571414315 2485425011 2113721074 1285230275 1799380383 351888754 3935825827 2277983493 4012192268 3049151155 3550918080 2032666255 944102543 1394376619 2127163833 601410112 4171104991 2530304454 4124781403 46879124 2938032730 3786234333 685125157 1763447102 991542453 4285462311 2911342257 2594229325 2960849012 1084229389 4257990400 1650593885 3093744841 50210248 1668711709 2652264630 762195182 1778770637 2493372426 3282709375 3583012410 3788486670 137321987 3400549795 3904353400 810260231 1497201887 3646939377 1067195740 1833387971 947391707 507161515 2097697460 1825565942 1693073961 1910884681 1858641368 2389534674 4125016915 69318268 3198194757 1845304794 1860243001 3321563567 3310663587 779412190 3834674266 470477329 11401840 1623120729 2466152795 3544486071 2134008280 2009103395 347245065 567273101 2097176627 1578248105 2811305420 4106887544 3931342604 2719479248 898497020 2076130300 1142233796 1549743134 2148730844 586139635 2698379870 365855967 3194231372 1754783810 2354097559 2352444323 2530318149 2890921656 3803124833 4123608606 584614671 726860322 1390457678 480358147 75674572 182943051 3630657640 2653430658 470556093 1331431669 2850328896 3442383942 3685356547 2501809721 1118309819 1269809326 2310404406 4282494818 3324085178 1821794012 2182565460 2250744448 227616374 226451160 3433584951 2408153378 1808557452 3277119051 974374663 3818835467 736478260 1434110472 4209310352 1091533765 1914553927 1691737403 3111930618 4228669610 755900911 2121454066 1192312542 394700045 3274739273 606165722 2638001492 1378036865 2242442259 1755371557 1615747493 443469522 458253960 2561579152 4259357813 2909056545 2486564501 1316833635 2472108107 1713272745 2674307503 458163508 2872827733 2999727129 2730015484 4252159128 723194178 2031491873 3914763345 112747498 3304186723 2987312784 1480712172 301908601 523098714 682962488 1378446142 1285011579 2320521457 4043154836 2641865727 2448990499 2440918031 785215092 2374666589 1686034480 202994246 2674646944 1359959136 3151630605 1366954603 250525001 3025254012 2626379358 2912447685 2242301826 2027638808 4089165399 3664345831 1363146819 3488020403 2524161959 2992959129 957469792 3298050845 3288943256 186521322 3572724280 2097206569 922821035 3127934946 2013266763 2059297574 483226129 39196045 2099473600 304152415 3580359047 2156925331 4073592339 500608350 3166158329 4270926914 2387927047 1659764087 3202540045 104112183 2431768075 689708862 3558041599 1460170398 388429829 2281286470 2028362703 1754597099 3289054253 656166616 2644199796 4031631721 4254973096 1478699628 842347112 494743989 2637987741 3341801738 3404160749 3140901037 39252370 2094632229 4195656525 652696289 3518004572 1558116408 2234894810 734793786 973914844 3617493596 1213034548 434673589 255 362436" option to reproduce the execution
0.39/0.44	c #vars 40937
0.39/0.44	c #constraints 41436
1.49/1.51	c BCD2: Hardening is enabled.
1.49/1.51	c BCD2: BiasedSearch is enabled.
1.49/1.51	c Solving starts ...
1.49/1.51	c ============================[ Search Statistics ]============================
1.49/1.51	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.49/1.51	c       |         |          |          |    Limit     GC | Var      | Constra 
1.49/1.51	c =============================================================================
1.49/1.51	c  0.0s |       0 |        0 |        0 |    27456      0 |      125 |        0
2.20/2.29	c  0.8s |       1 |     4024 |      100 |    27456      0 |      148 |      146
4.40/4.45	c  2.9s |       2 |     8836 |      250 |    30202      0 |      148 |      146
7.99/8.02	c  6.5s |       2 |    18389 |      450 |    33223      0 |      148 |      146
8.39/8.48	c  7.0s |       3 |    18912 |      475 |    33223      0 |      148 |      146
12.29/12.34	c 10.8s |       3 |    26697 |      675 |    36546      0 |      148 |      146
14.79/14.80	c 13.3s |       4 |    29233 |      813 |    36546      0 |      148 |      146
17.79/17.89	c 16.4s |       4 |    39482 |     1013 |    40201      0 |      148 |      146
19.99/20.05	c 18.5s |       4 |    42066 |     1113 |    40201      0 |      148 |      146
23.79/23.85	c 22.3s |       4 |    45809 |     1313 |    40201      0 |      148 |      146
23.89/23.98	c 22.5s |       5 |    45821 |     1320 |    40201      0 |      148 |      146
27.19/27.30	c 25.8s |       5 |    49688 |     1520 |    44222      0 |      148 |      146
30.79/30.84	c 29.3s |       5 |    53567 |     1720 |    44222      0 |      148 |      146
34.29/34.32	c 32.8s |       5 |    59582 |     1920 |    44222      0 |      148 |      146
39.09/39.17	c 37.7s |       5 |    61042 |     2020 |    44222      0 |      148 |      146
41.89/41.99	c 40.5s |       6 |    61696 |     2081 |    48645      0 |      148 |      146
44.39/44.48	c 43.0s |       6 |    63147 |     2181 |    48645      0 |      148 |      146
50.08/50.17	c 48.7s |       6 |    69035 |     2381 |    48645      0 |      148 |      146
55.58/55.66	c 54.1s |       6 |    75344 |     2581 |    48645      0 |      148 |      146
58.18/58.29	c 56.8s |       6 |    76454 |     2681 |    48645      0 |      148 |      146
60.98/61.05	c 59.5s |       6 |    76945 |     2781 |    48645      0 |      148 |      146
63.08/63.19	c 61.7s |       6 |    78040 |     2881 |    48645      0 |      148 |      146
65.18/65.25	c 63.7s |       6 |    79452 |     2981 |    48645      0 |      148 |      146
68.08/68.14	c 66.6s |       6 |    80275 |     3081 |    48645      0 |      148 |      146
71.49/71.58	c 70.1s |       6 |    80737 |     3181 |    48645      0 |      148 |      146
72.88/72.96	c 71.4s |       7 |    80942 |     3223 |    53510      0 |      148 |      146
77.09/77.19	c 75.7s |       7 |    84008 |     3423 |    53510      0 |      148 |      146
80.88/80.91	c 79.4s |       7 |    86010 |     3623 |    53510      0 |      148 |      146
82.98/83.03	c 81.5s |       7 |    86763 |     3723 |    53510      0 |      148 |      146
86.78/86.81	c 85.3s |       7 |    87737 |     3823 |    53510      0 |      148 |      146
91.98/92.02	c 90.5s |       7 |    88963 |     4023 |    53510      0 |      148 |      146
96.38/96.41	c 94.9s |       7 |    90157 |     4123 |    53510      0 |      148 |      146
98.98/99.04	c 97.5s |       7 |    90878 |     4223 |    53510      0 |      148 |      146
102.68/102.78	c  101s |       7 |    94073 |     4323 |    53510      0 |      148 |      146
106.17/106.26	c  104s |       7 |    95187 |     4523 |    53510      0 |      148 |      146
108.57/108.63	c  107s |       7 |    95790 |     4623 |    53510      0 |      148 |      146
111.47/111.53	c  110s |       7 |    96362 |     4723 |    53510      0 |      148 |      146
120.57/120.69	c  119s |       7 |    97749 |     4823 |    53510      0 |      148 |      146
123.67/123.73	c  122s |       7 |    99519 |     4923 |    58862      0 |      148 |      146
123.97/124.09	c  122s |       8 |    99919 |     4936 |    58862      0 |      148 |      146
127.17/127.24	c  125s |       8 |   101338 |     5136 |    58862      0 |      148 |      146
129.17/129.29	c  127s |       8 |   102757 |     5236 |    58862      0 |      148 |      146
131.47/131.52	c  130s |       8 |   103351 |     5336 |    58862      0 |      148 |      146
134.57/134.62	c  133s |       8 |   103508 |     5436 |    58862      0 |      148 |      146
138.27/138.30	c  136s |       8 |   106156 |     5636 |    58862      0 |      148 |      146
140.47/140.52	c  139s |       8 |   106727 |     5736 |    58862      0 |      148 |      146
142.98/143.01	c  141s |       8 |   107407 |     5836 |    58862      0 |      148 |      146
151.67/151.78	c  150s |       8 |   110010 |     5936 |    58862      0 |      148 |      146
155.47/155.52	c  154s |       8 |   112351 |     6136 |    58862      0 |      148 |      146
158.27/158.34	c  156s |       8 |   113926 |     6236 |    58862      0 |      148 |      146
162.17/162.26	c  160s |       8 |   114467 |     6436 |    58862      0 |      148 |      146
165.87/165.95	c  164s |       8 |   115367 |     6636 |    58862      0 |      148 |      146
168.07/168.16	c  166s |       8 |   115981 |     6736 |    58862      0 |      148 |      146
170.17/170.29	c  168s |       8 |   118481 |     6836 |    58862      0 |      148 |      146
173.26/173.37	c  171s |       8 |   119043 |     6936 |    58862      0 |      148 |      146
176.36/176.44	c  174s |       8 |   119663 |     7036 |    58862      0 |      148 |      146
179.86/179.91	c  178s |       8 |   121988 |     7236 |    58862      0 |      148 |      146
181.86/181.95	c  180s |       8 |   123471 |     7336 |    58862      0 |      148 |      146
185.76/185.80	c  184s |       8 |   127288 |     7436 |    58862      0 |      148 |      146
187.66/187.76	c  186s |       9 |   131681 |     7506 |    64749      0 |      148 |      146
193.26/193.34	c  191s |       9 |   136668 |     7706 |    64749      0 |      148 |      146
196.46/196.53	c  195s |       9 |   140025 |     7806 |    64749      0 |      148 |      146
199.36/199.43	c  197s |       9 |   143410 |     8006 |    64749      0 |      148 |      146
205.16/205.29	c  203s |       9 |   150076 |     8206 |    64749      0 |      148 |      146
210.56/210.67	c  209s |       9 |   154542 |     8306 |    64749      0 |      148 |      146
215.36/215.44	c  213s |       9 |   159578 |     8506 |    64749      0 |      148 |      146
220.76/220.88	c  219s |       9 |   164258 |     8706 |    64749      0 |      148 |      146
223.76/223.82	c  222s |       9 |   165251 |     8806 |    64749      0 |      148 |      146
227.06/227.11	c  225s |       9 |   171341 |     9006 |    64749      0 |      148 |      146
230.06/230.14	c  228s |       9 |   178496 |     9206 |    64749      0 |      148 |      146
233.36/233.41	c  231s |       9 |   187904 |     9406 |    64749      0 |      148 |      146
236.36/236.42	c  234s |       9 |   192892 |     9606 |    64749      0 |      148 |      146
240.86/240.92	c  239s |       9 |   193933 |     9806 |    64749      0 |      148 |      146
243.25/243.31	c  241s |       9 |   195913 |     9906 |    64749      0 |      148 |      146
246.36/246.47	c  244s |       9 |   200004 |    10006 |    64749      0 |      148 |      146
249.15/249.25	c  247s |       9 |   201445 |    10206 |    64749      0 |      148 |      146
252.45/252.56	c  251s |       9 |   205442 |    10406 |    64749      0 |      148 |      146
255.85/255.90	c  254s |       9 |   207077 |    10606 |    64749      0 |      148 |      146
259.15/259.23	c  257s |       9 |   210804 |    10806 |    64749      0 |      148 |      146
264.25/264.37	c  262s |       9 |   215142 |    11006 |    64749      0 |      148 |      146
269.56/269.65	c  268s |       9 |   220963 |    11206 |    64749      0 |      148 |      146
272.55/272.61	c  271s |       9 |   222413 |    11306 |    71224      0 |      148 |      146
273.15/273.23	c  271s |      10 |   223071 |    11361 |    71224      0 |      148 |      146
278.65/278.70	c  277s |      10 |   227822 |    11561 |    71224      0 |      148 |      146
281.15/281.25	c  279s |      10 |   231766 |    11661 |    71224      0 |      148 |      146
283.35/283.44	c  281s |      10 |   232145 |    11761 |    71224      0 |      148 |      146
285.35/285.46	c  283s |      10 |   232631 |    11861 |    71224      0 |      148 |      146
289.25/289.31	c  287s |      10 |   236746 |    12061 |    71224      0 |      148 |      146
292.85/292.95	c  291s |      10 |   238787 |    12161 |    71224      0 |      148 |      146
296.64/296.72	c  295s |      10 |   240493 |    12361 |    71224      0 |      148 |      146
301.54/301.62	c  300s |      10 |   242004 |    12561 |    71224      0 |      148 |      146
303.55/303.67	c  302s |      10 |   243415 |    12661 |    71224      0 |      148 |      146
306.04/306.13	c  304s |      10 |   250552 |    12761 |    71224      0 |      148 |      146
310.04/310.17	c  308s |      10 |   252647 |    12961 |    71224      0 |      148 |      146
313.45/313.60	c  312s |      10 |   255873 |    13161 |    71224      0 |      148 |      146
316.64/316.76	c  315s |      10 |   258344 |    13261 |    71224      0 |      148 |      146
318.84/318.98	c  317s |      10 |   261040 |    13361 |    71224      0 |      148 |      146
325.14/325.25	c  323s |      10 |   265287 |    13561 |    71224      0 |      148 |      146
330.34/330.43	c  328s |      10 |   269360 |    13761 |    71224      0 |      148 |      146
332.84/332.94	c  331s |      10 |   271797 |    13861 |    71224      0 |      148 |      146
336.34/336.45	c  334s |      10 |   274249 |    13961 |    71224      0 |      148 |      146
339.94/340.02	c  338s |      10 |   275635 |    14161 |    71224      0 |      148 |      146
343.64/343.70	c  342s |      10 |   276358 |    14261 |    71224      0 |      148 |      146
345.74/345.86	c  344s |      10 |   277602 |    14361 |    71224      0 |      148 |      146
347.94/348.09	c  346s |      10 |   278406 |    14461 |    71224      0 |      148 |      146
352.14/352.24	c  350s |      10 |   280090 |    14661 |    71224      0 |      148 |      146
355.83/355.95	c  354s |      10 |   281357 |    14861 |    71224      0 |      148 |      146
358.54/358.62	c  357s |      10 |   283120 |    14961 |    71224      0 |      148 |      146
361.94/362.06	c  360s |      10 |   283758 |    15161 |    71224      0 |      148 |      146
366.73/366.88	c  365s |      10 |   284824 |    15361 |    71224      0 |      148 |      146
369.03/369.14	c  367s |      10 |   287224 |    15461 |    71224      0 |      148 |      146
373.03/373.14	c  371s |      10 |   289005 |    15661 |    71224      0 |      148 |      146
375.73/375.85	c  374s |      10 |   289391 |    15761 |    71224      0 |      148 |      146
378.93/379.09	c  377s |      10 |   290297 |    15861 |    71224      0 |      148 |      146
384.53/384.69	c  383s |      10 |   291129 |    15961 |    71224      0 |      148 |      146
387.83/387.98	c  386s |      10 |   291844 |    16061 |    71224      0 |      148 |      146
392.43/392.53	c  391s |      10 |   293109 |    16161 |    71224      0 |      148 |      146
401.53/401.64	c  400s |      10 |   293688 |    16261 |    71224      0 |      148 |      146
408.62/408.78	c  407s |      10 |   294283 |    16361 |    71224      0 |      148 |      146
413.12/413.27	c  411s |      10 |   294919 |    16461 |    71224      0 |      148 |      146
415.92/416.03	c  414s |      10 |   295300 |    16561 |    71224      0 |      148 |      146
419.52/419.66	c  418s |      10 |   296040 |    16661 |    71224      0 |      148 |      146
423.22/423.38	c  421s |      10 |   299781 |    16861 |    71224      0 |      148 |      146
426.22/426.30	c  424s |      10 |   303616 |    17061 |    78347      0 |      148 |      146
428.42/428.59	c  427s |      11 |   305858 |    17144 |    78347      0 |      148 |      146
432.12/432.30	c  430s |      11 |   307032 |    17244 |    78347      0 |      148 |      146
436.12/436.26	c  434s |      11 |   313895 |    17444 |    78347      0 |      148 |      146
438.71/438.83	c  437s |      11 |   314612 |    17644 |    78347      0 |      148 |      146
440.91/441.02	c  439s |      11 |   315483 |    17844 |    78347      0 |      148 |      146
444.71/444.82	c  443s |      11 |   316957 |    18044 |    78347      0 |      148 |      146
449.31/449.45	c  447s |      11 |   318034 |    18244 |    78347      0 |      148 |      146
453.81/453.98	c  452s |      11 |   318627 |    18444 |    78347      0 |      148 |      146
461.41/461.58	c  460s |      11 |   319907 |    18544 |    78347      0 |      148 |      146
464.41/464.56	c  463s |      11 |   322772 |    18744 |    78347      0 |      148 |      146
467.01/467.19	c  465s |      11 |   325002 |    18844 |    78347      0 |      148 |      146
469.51/469.63	c  468s |      11 |   326328 |    18944 |    78347      0 |      148 |      146
472.81/472.96	c  471s |      11 |   326880 |    19044 |    78347      0 |      148 |      146
475.40/475.56	c  474s |      11 |   328827 |    19144 |    78347      0 |      148 |      146
478.90/479.07	c  477s |      11 |   334061 |    19344 |    78347      0 |      148 |      146
481.00/481.17	c  479s |      11 |   335309 |    19444 |    78347      0 |      148 |      146
483.70/483.83	c  482s |      11 |   337598 |    19544 |    78347      0 |      148 |      146
485.70/485.84	c  484s |      11 |   338325 |    19644 |    78347      0 |      148 |      146
489.60/489.72	c  488s |      11 |   342008 |    19844 |    78347      0 |      148 |      146
492.40/492.59	c  491s |      11 |   343530 |    19944 |    78347      0 |      148 |      146
496.00/496.15	c  494s |      11 |   346717 |    20144 |    78347      0 |      148 |      146
498.10/498.20	c  496s |      11 |   348197 |    20244 |    78347      0 |      148 |      146
500.10/500.23	c  498s |      11 |   350514 |    20344 |    78347      0 |      148 |      146
502.70/502.88	c  501s |      11 |   354006 |    20544 |    78347      0 |      148 |      146
505.90/506.04	c  504s |      11 |   355328 |    20644 |    78347      0 |      148 |      146
509.20/509.31	c  507s |      11 |   356713 |    20844 |    78347      0 |      148 |      146
512.09/512.28	c  510s |      11 |   357601 |    20944 |    78347      0 |      148 |      146
515.39/515.50	c  513s |      11 |   358433 |    21044 |    78347      0 |      148 |      146
517.49/517.63	c  516s |      11 |   358786 |    21144 |    78347      0 |      148 |      146
520.09/520.30	c  518s |      11 |   359346 |    21244 |    78347      0 |      148 |      146
522.89/523.05	c  521s |      11 |   360387 |    21344 |    78347      0 |      148 |      146
524.89/525.08	c  523s |      11 |   360724 |    21444 |    78347      0 |      148 |      146
527.09/527.25	c  525s |      11 |   361383 |    21544 |    78347      0 |      148 |      146
529.19/529.38	c  527s |      11 |   361883 |    21644 |    78347      0 |      148 |      146
533.09/533.20	c  531s |      11 |   364317 |    21844 |    78347      0 |      148 |      146
536.79/536.95	c  535s |      11 |   366862 |    22044 |    78347      0 |      148 |      146
540.09/540.29	c  538s |      11 |   368452 |    22244 |    78347      0 |      148 |      146
542.68/542.88	c  541s |      11 |   369189 |    22344 |    78347      0 |      148 |      146
545.28/545.45	c  543s |      11 |   369694 |    22444 |    78347      0 |      148 |      146
548.88/549.02	c  547s |      11 |   371931 |    22644 |    78347      0 |      148 |      146
550.87/551.03	c  549s |      11 |   372563 |    22744 |    78347      0 |      148 |      146
554.07/554.26	c  552s |      11 |   378862 |    22944 |    78347      0 |      148 |      146
557.87/558.08	c  556s |      11 |   382563 |    23144 |    78347      0 |      148 |      146
560.77/560.97	c  559s |      11 |   383717 |    23244 |    78347      0 |      148 |      146
563.18/563.37	c  561s |      11 |   384567 |    23344 |    78347      0 |      148 |      146
565.28/565.46	c  563s |      11 |   385679 |    23444 |    78347      0 |      148 |      146
567.57/567.77	c  566s |      11 |   386156 |    23544 |    78347      0 |      148 |      146
570.06/570.25	c  568s |      11 |   386493 |    23644 |    78347      0 |      148 |      146
574.66/574.87	c  573s |      11 |   388268 |    23844 |    78347      0 |      148 |      146
576.86/577.02	c  575s |      11 |   388991 |    23944 |    78347      0 |      148 |      146
581.16/581.31	c  579s |      11 |   390436 |    24144 |    78347      0 |      148 |      146
585.26/585.40	c  583s |      11 |   391250 |    24344 |    78347      0 |      148 |      146
587.26/587.47	c  585s |      11 |   391459 |    24444 |    78347      0 |      148 |      146
589.65/589.80	c  588s |      11 |   392001 |    24544 |    78347      0 |      148 |      146
592.55/592.79	c  591s |      11 |   392682 |    24644 |    78347      0 |      148 |      146
595.15/595.33	c  593s |      11 |   393182 |    24744 |    78347      0 |      148 |      146
597.45/597.67	c  596s |      11 |   393355 |    24844 |    78347      0 |      148 |      146
600.35/600.54	c  599s |      11 |   393602 |    24944 |    78347      0 |      148 |      146
603.76/603.98	c  602s |      11 |   393864 |    25044 |    78347      0 |      148 |      146
607.25/607.46	c  605s |      11 |   394197 |    25144 |    78347      0 |      148 |      146
610.75/610.93	c  609s |      11 |   394507 |    25244 |    78347      0 |      148 |      146
614.25/614.44	c  612s |      11 |   395107 |    25344 |    78347      0 |      148 |      146
617.15/617.37	c  615s |      11 |   395861 |    25444 |    78347      0 |      148 |      146
619.55/619.79	c  618s |      11 |   396453 |    25544 |    78347      0 |      148 |      146
623.35/623.54	c  622s |      11 |   398174 |    25644 |    78347      0 |      148 |      146
625.94/626.16	c  624s |      12 |   401275 |    25819 |    86182      0 |      148 |      146
629.24/629.41	c  627s |      12 |   404772 |    26019 |    86182      0 |      148 |      146
632.64/632.83	c  631s |      12 |   405541 |    26219 |    86182      0 |      148 |      146
637.24/637.43	c  635s |      12 |   405776 |    26419 |    86182      0 |      148 |      146
639.24/639.46	c  637s |      12 |   405901 |    26519 |    86182      0 |      148 |      146
641.44/641.68	c  640s |      12 |   406208 |    26619 |    86182      0 |      148 |      146
645.04/645.29	c  643s |      12 |   407267 |    26819 |    86182      0 |      148 |      146
647.14/647.35	c  645s |      12 |   407417 |    26919 |    86182      0 |      148 |      146
650.24/650.43	c  648s |      12 |   407963 |    27119 |    86182      0 |      148 |      146
654.14/654.32	c  652s |      12 |   409270 |    27319 |    86182      0 |      148 |      146
656.34/656.51	c  654s |      12 |   410202 |    27419 |    86182      0 |      148 |      146
660.24/660.42	c  658s |      12 |   411010 |    27619 |    86182      0 |      148 |      146
663.74/663.99	c  662s |      12 |   412080 |    27819 |    86182      0 |      148 |      146
666.54/666.72	c  665s |      12 |   414642 |    28019 |    86182      0 |      148 |      146
670.84/671.07	c  669s |      12 |   415840 |    28219 |    86182      0 |      148 |      146
673.64/673.87	c  672s |      12 |   416170 |    28319 |    86182      0 |      148 |      146
676.73/676.90	c  675s |      12 |   416461 |    28419 |    86182      0 |      148 |      146
679.23/679.43	c  677s |      12 |   416678 |    28519 |    86182      0 |      148 |      146
682.43/682.62	c  681s |      12 |   417755 |    28719 |    86182      0 |      148 |      146
685.53/685.73	c  684s |      12 |   418301 |    28919 |    86182      0 |      148 |      146
689.13/689.33	c  687s |      12 |   419416 |    29119 |    86182      0 |      148 |      146
692.43/692.63	c  691s |      12 |   419680 |    29319 |    86182      0 |      148 |      146
695.63/695.86	c  694s |      12 |   420020 |    29519 |    86182      0 |      148 |      146
698.03/698.20	c  696s |      12 |   420483 |    29719 |    86182      0 |      148 |      146
700.64/700.81	c  699s |      12 |   420850 |    29919 |    86182      0 |      148 |      146
702.74/702.91	c  701s |      12 |   421431 |    30119 |    86182      0 |      148 |      146
704.93/705.19	c  703s |      12 |   421798 |    30319 |    86182      0 |      148 |      146
707.23/707.46	c  705s |      12 |   422165 |    30519 |    86182      0 |      148 |      146
709.63/709.87	c  708s |      12 |   422659 |    30819 |    86182      0 |      148 |      146
711.73/711.90	c  710s |      12 |   422934 |    31019 |    86182      0 |      148 |      146
713.93/714.19	c  712s |      12 |   423339 |    31219 |    86182      0 |      148 |      146
717.72/717.98	c  716s |      12 |   424815 |    31419 |    86182      0 |      148 |      146
721.02/721.28	c  719s |      12 |   426435 |    31619 |    86182      0 |      148 |      146
723.82/724.05	c  722s |      12 |   427239 |    31819 |    86182      0 |      148 |      146
726.72/726.97	c  725s |      12 |   428731 |    32019 |    86182      0 |      148 |      146
729.82/730.02	c  728s |      12 |   429081 |    32219 |    86182      0 |      148 |      146
734.02/734.28	c  732s |      12 |   430018 |    32419 |    86182      0 |      148 |      146
738.03/738.22	c  736s |      12 |   430550 |    32619 |    86182      0 |      148 |      146
741.42/741.67	c  740s |      12 |   431365 |    32819 |    86182      0 |      148 |      146
744.72/744.98	c  743s |      12 |   433131 |    33019 |    86182      0 |      148 |      146
747.32/747.58	c  746s |      12 |   434750 |    33119 |    86182      0 |      148 |      146
751.52/751.71	c  750s |      12 |   437074 |    33319 |    86182      0 |      148 |      146
753.52/753.78	c  752s |      12 |   438292 |    33419 |    86182      0 |      148 |      146
756.82/757.00	c  755s |      12 |   438900 |    33619 |    86182      0 |      148 |      146
761.22/761.45	c  759s |      12 |   439600 |    33819 |    86182      0 |      148 |      146
764.02/764.20	c  762s |      12 |   439762 |    33919 |    86182      0 |      148 |      146
766.81/767.05	c  765s |      12 |   440210 |    34019 |    86182      0 |      148 |      146
770.81/771.09	c  769s |      12 |   440547 |    34119 |    86182      0 |      148 |      146
774.11/774.40	c  772s |      12 |   440762 |    34219 |    86182      0 |      148 |      146
776.31/776.54	c  775s |      12 |   441527 |    34319 |    86182      0 |      148 |      146
780.01/780.29	c  778s |      12 |   442226 |    34519 |    86182      0 |      148 |      146
782.81/783.00	c  781s |      12 |   443504 |    34619 |    86182      0 |      148 |      146
787.81/788.01	c  786s |      12 |   444328 |    34819 |    86182      0 |      148 |      146
790.10/790.36	c  788s |      12 |   446338 |    34919 |    86182      0 |      148 |      146
792.10/792.39	c  790s |      12 |   446955 |    35019 |    86182      0 |      148 |      146
795.40/795.64	c  794s |      12 |   448641 |    35219 |    86182      0 |      148 |      146
798.30/798.50	c  796s |      12 |   449215 |    35419 |    86182      0 |      148 |      146
801.10/801.37	c  799s |      12 |   450811 |    35619 |    86182      0 |      148 |      146
803.80/804.10	c  802s |      12 |   451528 |    35819 |    86182      0 |      148 |      146
806.60/806.81	c  805s |      12 |   451827 |    36019 |    86182      0 |      148 |      146
809.80/810.02	c  808s |      12 |   454349 |    36219 |    86182      0 |      148 |      146
812.60/812.90	c  811s |      12 |   455734 |    36419 |    86182      0 |      148 |      146
816.99/817.24	c  815s |      12 |   456400 |    36619 |    86182      0 |      148 |      146
820.09/820.33	c  818s |      12 |   457044 |    36819 |    86182      0 |      148 |      146
823.49/823.78	c  822s |      12 |   458616 |    37019 |    86182      0 |      148 |      146
827.79/828.05	c  826s |      12 |   460089 |    37219 |    86182      0 |      148 |      146
829.89/830.12	c  828s |      12 |   460419 |    37319 |    86182      0 |      148 |      146
832.29/832.50	c  830s |      12 |   460592 |    37419 |    86182      0 |      148 |      146
835.09/835.37	c  833s |      12 |   460860 |    37519 |    86182      0 |      148 |      146
837.89/838.12	c  836s |      12 |   461016 |    37619 |    86182      0 |      148 |      146
840.69/840.91	c  839s |      12 |   461700 |    37719 |    86182      0 |      148 |      146
842.78/843.06	c  841s |      12 |   462429 |    37819 |    86182      0 |      148 |      146
844.88/845.17	c  843s |      12 |   462717 |    37919 |    86182      0 |      148 |      146
847.48/847.71	c  846s |      12 |   463333 |    38119 |    86182      0 |      148 |      146
850.09/850.40	c  848s |      12 |   463860 |    38319 |    86182      0 |      148 |      146
853.28/853.60	c  852s |      12 |   464881 |    38519 |    86182      0 |      148 |      146
857.27/857.58	c  856s |      12 |   467157 |    38719 |    94801      0 |      148 |      146
858.77/859.01	c  857s |      13 |   467663 |    38832 |    94801      0 |      148 |      146
861.37/861.68	c  860s |      13 |   467944 |    39032 |    94801      0 |      148 |      146
864.17/864.43	c  862s |      13 |   468231 |    39232 |    94801      0 |      148 |      146
868.47/868.70	c  867s |      13 |   468746 |    39432 |    94801      0 |      148 |      146
870.77/871.02	c  869s |      13 |   469237 |    39532 |    94801      0 |      148 |      146
873.07/873.40	c  871s |      13 |   470853 |    39632 |    94801      0 |      148 |      146
875.27/875.57	c  874s |      13 |   471972 |    39732 |    94801      0 |      148 |      146
877.96/878.22	c  876s |      13 |   472352 |    39832 |    94801      0 |      148 |      146
880.66/880.90	c  879s |      13 |   472756 |    39932 |    94801      0 |      148 |      146
884.46/884.70	c  883s |      13 |   473286 |    40032 |    94801      0 |      148 |      146
887.86/888.11	c  886s |      13 |   473589 |    40132 |    94801      0 |      148 |      146
890.26/890.51	c  888s |      13 |   474783 |    40232 |    94801      0 |      148 |      146
893.96/894.24	c  892s |      13 |   475033 |    40332 |    94801      0 |      148 |      146
896.86/897.13	c  895s |      13 |   476089 |    40432 |    94801      0 |      148 |      146
899.26/899.53	c  898s |      13 |   477075 |    40532 |    94801      0 |      148 |      146
902.06/902.39	c  900s |      13 |   477976 |    40632 |    94801      0 |      148 |      146
905.16/905.48	c  903s |      13 |   478807 |    40732 |    94801      0 |      148 |      146
908.36/908.60	c  907s |      13 |   479638 |    40832 |    94801      0 |      148 |      146
911.15/911.43	c  909s |      13 |   479858 |    40932 |    94801      0 |      148 |      146
913.96/914.26	c  912s |      13 |   480320 |    41032 |    94801      0 |      148 |      146
917.35/917.62	c  916s |      13 |   482288 |    41232 |    94801      0 |      148 |      146
920.85/921.15	c  919s |      13 |   483186 |    41432 |    94801      0 |      148 |      146
924.05/924.32	c  922s |      13 |   484524 |    41632 |    94801      0 |      148 |      146
928.75/929.04	c  927s |      13 |   485445 |    41832 |    94801      0 |      148 |      146
932.05/932.31	c  930s |      13 |   486367 |    42032 |    94801      0 |      148 |      146
935.65/935.98	c  934s |      13 |   487675 |    42232 |    94801      0 |      148 |      146
937.75/938.05	c  936s |      13 |   488469 |    42432 |    94801      0 |      148 |      146
941.46/941.72	c  940s |      13 |   490004 |    42632 |    94801      0 |      148 |      146
943.66/943.93	c  942s |      13 |   491710 |    42732 |    94801      0 |      148 |      146
946.96/947.26	c  945s |      13 |   493086 |    42932 |    94801      0 |      148 |      146
949.95/950.28	c  948s |      13 |   495223 |    43132 |    94801      0 |      148 |      146
952.55/952.80	c  951s |      13 |   496665 |    43332 |    94801      0 |      148 |      146
955.05/955.39	c  953s |      13 |   498136 |    43532 |    94801      0 |      148 |      146
958.95/959.30	c  957s |      13 |   500117 |    43732 |    94801      0 |      151 |      148
961.35/961.62	c  960s |      13 |   500587 |    43832 |    94801      0 |      151 |      148
963.95/964.28	c  962s |      13 |   500730 |    43932 |    94801      0 |      151 |      148
966.85/967.14	c  965s |      13 |   500907 |    44032 |    94801      0 |      151 |      148
969.74/970.07	c  968s |      13 |   501204 |    44132 |    94801      0 |      151 |      148
972.74/973.07	c  971s |      13 |   501322 |    44232 |    94801      0 |      151 |      148
975.74/976.03	c  974s |      13 |   501611 |    44332 |    94801      0 |      151 |      148
978.34/978.69	c  977s |      13 |   502543 |    44432 |    94801      0 |      151 |      148
981.54/981.87	c  980s |      13 |   502712 |    44532 |    94801      0 |      151 |      148
985.84/986.15	c  984s |      13 |   503313 |    44632 |    94801      0 |      151 |      148
989.75/990.04	c  988s |      13 |   503891 |    44732 |    94801      0 |      151 |      148
992.64/992.99	c  991s |      13 |   504388 |    44832 |    94801      0 |      151 |      148
996.64/996.95	c  995s |      13 |   504770 |    45032 |    94801      0 |      151 |      148
1000.14/1000.47	c  998s |      13 |   506471 |    45132 |    94801      0 |      151 |      148
1005.44/1005.71	c 1004s |      13 |   509284 |    45332 |    94801      0 |      151 |      148
1007.45/1007.77	c 1006s |      13 |   509814 |    45432 |    94801      0 |      151 |      148
1010.65/1010.92	c 1009s |      13 |   510258 |    45532 |    94801      0 |      151 |      148
1013.35/1013.61	c 1012s |      13 |   510900 |    45632 |    94801      0 |      151 |      148
1016.15/1016.48	c 1014s |      13 |   511533 |    45832 |    94801      0 |      151 |      148
1018.85/1019.14	c 1017s |      13 |   511978 |    46032 |    94801      0 |      151 |      148
1021.75/1022.08	c 1020s |      13 |   512444 |    46132 |    94801      0 |      151 |      148
1027.04/1027.30	c 1025s |      13 |   513705 |    46332 |    94801      0 |      151 |      148
1029.74/1030.01	c 1028s |      13 |   517219 |    46432 |    94801      0 |      151 |      148
1032.75/1033.04	c 1031s |      13 |   518451 |    46532 |    94801      0 |      151 |      148
1035.64/1035.94	c 1034s |      13 |   518853 |    46632 |    94801      0 |      151 |      148
1037.74/1038.05	c 1036s |      13 |   519175 |    46732 |    94801      0 |      151 |      148
1040.74/1041.05	c 1039s |      13 |   519620 |    46832 |    94801      0 |      151 |      148
1042.94/1043.27	c 1041s |      13 |   519825 |    46932 |    94801      0 |      151 |      148
1046.14/1046.42	c 1044s |      13 |   520054 |    47032 |    94801      0 |      151 |      148
1050.54/1050.85	c 1049s |      13 |   520730 |    47232 |    94801      0 |      151 |      148
1054.24/1054.50	c 1052s |      13 |   521312 |    47332 |    94801      0 |      151 |      148
1059.44/1059.77	c 1058s |      13 |   521907 |    47432 |    94801      0 |      151 |      148
1062.84/1063.15	c 1061s |      13 |   522904 |    47632 |    94801      0 |      151 |      148
1065.84/1066.12	c 1064s |      13 |   523446 |    47832 |    94801      0 |      151 |      148
1069.24/1069.57	c 1068s |      13 |   523660 |    47932 |    94801      0 |      151 |      148
1071.84/1072.11	c 1070s |      13 |   524095 |    48032 |    94801      0 |      151 |      148
1075.04/1075.37	c 1073s |      13 |   524438 |    48132 |    94801      0 |      151 |      148
1078.84/1079.12	c 1077s |      13 |   524990 |    48232 |    94801      0 |      151 |      148
1081.34/1081.61	c 1080s |      13 |   525577 |    48332 |    94801      0 |      151 |      148
1085.14/1085.48	c 1083s |      13 |   526011 |    48432 |    94801      0 |      151 |      148
1088.74/1089.08	c 1087s |      13 |   526959 |    48632 |    94801      0 |      151 |      148
1091.53/1091.87	c 1090s |      13 |   527185 |    48732 |    94801      0 |      151 |      148
1094.63/1094.96	c 1093s |      13 |   527681 |    48832 |    94801      0 |      151 |      148
1097.13/1097.49	c 1095s |      13 |   527986 |    48932 |    94801      0 |      151 |      148
1100.13/1100.43	c 1098s |      13 |   528314 |    49032 |    94801      0 |      151 |      148
1103.43/1103.74	c 1102s |      13 |   528519 |    49132 |    94801      0 |      151 |      148
1106.53/1106.84	c 1105s |      13 |   528807 |    49232 |    94801      0 |      151 |      148
1109.43/1109.75	c 1108s |      13 |   529796 |    49332 |    94801      0 |      151 |      148
1111.73/1112.04	c 1110s |      13 |   530630 |    49432 |    94801      0 |      151 |      148
1115.24/1115.52	c 1114s |      13 |   532003 |    49532 |    94801      0 |      151 |      148
1118.93/1119.26	c 1117s |      13 |   532283 |    49632 |    94801      0 |      151 |      148
1121.53/1121.89	c 1120s |      13 |   532715 |    49732 |    94801      0 |      151 |      148
1123.83/1124.13	c 1122s |      13 |   532955 |    49832 |    94801      0 |      151 |      148
1127.83/1128.14	c 1126s |      13 |   533985 |    50032 |    94801      0 |      151 |      148
1130.64/1130.93	c 1129s |      13 |   534960 |    50232 |    94801      0 |      151 |      148
1132.63/1132.99	c 1131s |      13 |   536061 |    50332 |    94801      0 |      151 |      148
1135.33/1135.63	c 1134s |      13 |   536749 |    50532 |    94801      0 |      151 |      148
1138.73/1139.02	c 1137s |      13 |   537831 |    50732 |    94801      0 |      151 |      148
1144.03/1144.37	c 1142s |      13 |   538592 |    50932 |    94801      0 |      151 |      148
1147.23/1147.55	c 1146s |      13 |   539249 |    51032 |    94801      0 |      151 |      148
1149.23/1149.58	c 1148s |      13 |   539838 |    51232 |    94801      0 |      151 |      148
1151.53/1151.80	c 1150s |      13 |   540645 |    51432 |    94801      0 |      151 |      148
1154.73/1155.01	c 1153s |      13 |   541191 |    51632 |    94801      0 |      151 |      148
1157.03/1157.37	c 1155s |      13 |   541943 |    51732 |    94801      0 |      151 |      148
1160.23/1160.58	c 1159s |      13 |   542511 |    51832 |    94801      0 |      151 |      148
1163.92/1164.29	c 1162s |      13 |   543571 |    52132 |    94801      0 |      151 |      148
1167.42/1167.74	c 1166s |      13 |   544270 |    52232 |    94801      0 |      151 |      148
1169.92/1170.24	c 1168s |      13 |   544868 |    52432 |    94801      0 |      151 |      148
1172.12/1172.42	c 1170s |      13 |   545194 |    52632 |    94801      0 |      151 |      148
1176.92/1177.20	c 1175s |      13 |   545786 |    52832 |    94801      0 |      151 |      148
1179.72/1180.07	c 1178s |      13 |   546136 |    52932 |    94801      0 |      151 |      148
1183.52/1183.84	c 1182s |      13 |   546663 |    53032 |    94801      0 |      151 |      148
1187.42/1187.78	c 1186s |      13 |   547308 |    53132 |    94801      0 |      151 |      148
1190.22/1190.51	c 1188s |      13 |   547854 |    53232 |    94801      0 |      151 |      148
1194.92/1195.25	c 1193s |      13 |   548797 |    53332 |    94801      0 |      151 |      148
1198.72/1199.03	c 1197s |      13 |   549196 |    53432 |    94801      0 |      151 |      148
1203.42/1203.75	c 1202s |      13 |   549486 |    53532 |    94801      0 |      151 |      148
1207.02/1207.31	c 1205s |      13 |   549659 |    53632 |    94801      0 |      151 |      148
1212.52/1212.88	c 1211s |      13 |   549944 |    53732 |    94801      0 |      151 |      148
1217.12/1217.49	c 1215s |      13 |   550273 |    53832 |    94801      0 |      151 |      148
1219.41/1219.78	c 1218s |      13 |   550606 |    53932 |    94801      0 |      151 |      148
1223.71/1224.09	c 1222s |      13 |   551019 |    54032 |    94801      0 |      151 |      148
1227.71/1228.05	c 1226s |      13 |   551488 |    54132 |    94801      0 |      151 |      148
1230.81/1231.17	c 1229s |      13 |   552134 |    54232 |    94801      0 |      151 |      148
1234.02/1234.36	c 1232s |      13 |   552388 |    54332 |    94801      0 |      151 |      148
1237.61/1237.93	c 1236s |      13 |   552734 |    54432 |    94801      0 |      151 |      148
1241.62/1241.94	c 1240s |      13 |   553436 |    54532 |    94801      0 |      151 |      148
1247.01/1247.37	c 1245s |      13 |   553686 |    54632 |    94801      0 |      151 |      148
1252.11/1252.42	c 1250s |      13 |   553876 |    54732 |    94801      0 |      151 |      148
1257.01/1257.33	c 1255s |      13 |   554128 |    54832 |    94801      0 |      151 |      148
1261.31/1261.62	c 1260s |      13 |   554345 |    54932 |    94801      0 |      151 |      148
1264.61/1264.90	c 1263s |      13 |   554663 |    55032 |    94801      0 |      151 |      148
1268.51/1268.81	c 1267s |      13 |   554903 |    55132 |    94801      0 |      151 |      148
1273.00/1273.32	c 1271s |      13 |   555048 |    55232 |    94801      0 |      151 |      148
1278.80/1279.17	c 1277s |      13 |   555260 |    55332 |    94801      0 |      151 |      148
1284.70/1285.08	c 1283s |      13 |   555389 |    55432 |    94801      0 |      151 |      148
1290.30/1290.65	c 1289s |      13 |   555527 |    55532 |    94801      0 |      151 |      148
1294.80/1295.11	c 1293s |      13 |   555860 |    55632 |    94801      0 |      151 |      148
1300.01/1300.38	c 1298s |      13 |   556081 |    55732 |    94801      0 |      151 |      148
1304.60/1304.90	c 1303s |      13 |   556256 |    55832 |    94801      0 |      151 |      148
1308.30/1308.67	c 1307s |      13 |   558034 |    55932 |    94801      0 |      151 |      148
1311.30/1311.64	c 1310s |      13 |   558358 |    56032 |    94801      0 |      151 |      148
1314.21/1314.52	c 1313s |      13 |   558534 |    56132 |    94801      0 |      151 |      148
1316.50/1316.89	c 1315s |      13 |   558735 |    56232 |    94801      0 |      151 |      148
1319.00/1319.36	c 1317s |      13 |   558980 |    56332 |    94801      0 |      151 |      148
1322.20/1322.57	c 1321s |      13 |   559156 |    56432 |    94801      0 |      151 |      148
1324.90/1325.26	c 1323s |      13 |   559343 |    56532 |    94801      0 |      151 |      148
1327.40/1327.72	c 1326s |      13 |   559605 |    56632 |    94801      0 |      151 |      148
1329.80/1330.16	c 1328s |      13 |   559864 |    56732 |    94801      0 |      151 |      148
1332.60/1332.98	c 1331s |      13 |   560262 |    56832 |    94801      0 |      151 |      148
1334.80/1335.14	c 1333s |      13 |   560844 |    56932 |    94801      0 |      151 |      148
1337.19/1337.56	c 1336s |      13 |   561173 |    57032 |    94801      0 |      151 |      148
1339.89/1340.29	c 1338s |      13 |   561556 |    57132 |    94801      0 |      151 |      148
1342.39/1342.71	c 1341s |      13 |   562130 |    57232 |    94801      0 |      151 |      148
1345.19/1345.58	c 1344s |      13 |   562712 |    57332 |    94801      0 |      151 |      148
1348.30/1348.66	c 1347s |      13 |   563112 |    57432 |    94801      0 |      151 |      148
1350.50/1350.81	c 1349s |      13 |   563359 |    57532 |    94801      0 |      151 |      148
1353.09/1353.44	c 1351s |      13 |   564187 |    57832 |    94801      0 |      151 |      148
1356.99/1357.30	c 1355s |      13 |   564962 |    58032 |   104282      0 |      151 |      148
1359.99/1360.32	c 1358s |      13 |   565225 |    58132 |   104282      0 |      151 |      148
1363.59/1363.94	c 1362s |      13 |   565356 |    58232 |   104282      0 |      151 |      148
1366.49/1366.81	c 1365s |      13 |   565536 |    58332 |   104282      0 |      151 |      148
1366.89/1367.26	c 1365s |      14 |   565607 |    58352 |   104282      0 |      151 |      148
1369.89/1370.20	c 1368s |      14 |   566138 |    58552 |   104282      0 |      151 |      148
1372.69/1373.07	c 1371s |      14 |   566568 |    58752 |   104282      0 |      151 |      148
1375.89/1376.27	c 1374s |      14 |   567079 |    58952 |   104282      0 |      151 |      148
1379.39/1379.70	c 1378s |      14 |   567764 |    59152 |   104282      0 |      151 |      148
1383.39/1383.71	c 1382s |      14 |   568485 |    59352 |   104282      0 |      151 |      148
1385.88/1386.22	c 1384s |      14 |   568864 |    59452 |   104282      0 |      151 |      148
1388.99/1389.32	c 1387s |      14 |   569317 |    59552 |   104282      0 |      151 |      148
1391.78/1392.18	c 1390s |      14 |   569542 |    59652 |   104282      0 |      151 |      148
1394.08/1394.40	c 1392s |      14 |   569715 |    59752 |   104282      0 |      151 |      148
1396.98/1397.32	c 1395s |      14 |   569881 |    59852 |   104282      0 |      151 |      148
1399.48/1399.89	c 1398s |      14 |   570087 |    59952 |   104282      0 |      151 |      148
1403.29/1403.66	c 1402s |      14 |   570248 |    60052 |   104282      0 |      151 |      148
1406.38/1406.71	c 1405s |      14 |   570460 |    60152 |   104282      0 |      151 |      148
1409.28/1409.67	c 1408s |      14 |   570615 |    60252 |   104282      0 |      151 |      148
1412.68/1413.01	c 1411s |      14 |   570780 |    60352 |   104282      0 |      151 |      148
1415.58/1415.97	c 1414s |      14 |   570971 |    60452 |   104282      0 |      151 |      148
1418.38/1418.79	c 1417s |      14 |   571183 |    60552 |   104282      0 |      151 |      148
1420.58/1420.90	c 1419s |      14 |   571366 |    60652 |   104282      0 |      151 |      148
1423.98/1424.38	c 1422s |      14 |   571733 |    60852 |   104282      0 |      151 |      148
1427.08/1427.42	c 1425s |      14 |   572170 |    61052 |   104282      0 |      151 |      148
1429.38/1429.74	c 1428s |      14 |   572455 |    61252 |   104282      0 |      151 |      148
1431.38/1431.77	c 1430s |      14 |   573157 |    61452 |   104282      0 |      151 |      148
1433.68/1434.01	c 1432s |      14 |   573576 |    61652 |   104282      0 |      151 |      148
1436.68/1437.04	c 1435s |      14 |   574238 |    61952 |   104282      0 |      151 |      148
1438.78/1439.11	c 1437s |      14 |   574599 |    62152 |   104282      0 |      151 |      148
1441.78/1442.15	c 1440s |      14 |   575038 |    62452 |   104282      0 |      151 |      148
1444.18/1444.56	c 1443s |      14 |   575374 |    62652 |   104282      0 |      151 |      148
1446.88/1447.26	c 1445s |      14 |   575949 |    62952 |   104282      0 |      151 |      148
1449.87/1450.20	c 1448s |      14 |   576491 |    63252 |   104282      0 |      151 |      148
1452.07/1452.47	c 1450s |      14 |   576792 |    63452 |   104282      0 |      151 |      148
1455.17/1455.53	c 1454s |      14 |   577465 |    63752 |   104282      0 |      151 |      148
1457.87/1458.28	c 1456s |      14 |   577964 |    64052 |   104282      0 |      151 |      148
1459.97/1460.30	c 1458s |      14 |   578338 |    64252 |   104282      0 |      151 |      148
1462.17/1462.50	c 1460s |      14 |   578692 |    64452 |   104282      0 |      151 |      148
1464.77/1465.11	c 1463s |      14 |   579019 |    64652 |   104282      0 |      151 |      148
1466.97/1467.31	c 1465s |      14 |   579385 |    64852 |   104282      0 |      151 |      148
1469.97/1470.37	c 1468s |      14 |   580000 |    65152 |   104282      0 |      151 |      148
1472.17/1472.50	c 1470s |      14 |   580562 |    65352 |   104282      0 |      151 |      148
1475.07/1475.46	c 1473s |      14 |   581217 |    65652 |   104282      0 |      151 |      148
1477.37/1477.74	c 1476s |      14 |   581635 |    65852 |   104282      0 |      151 |      148
1479.57/1479.96	c 1478s |      14 |   582054 |    66052 |   104282      0 |      151 |      148
1482.67/1483.09	c 1481s |      14 |   582666 |    66352 |   104282      0 |      151 |      148
1484.87/1485.22	c 1483s |      14 |   583192 |    66552 |   104282      0 |      151 |      148
1487.07/1487.49	c 1485s |      14 |   583945 |    66752 |   104282      0 |      151 |      148
1489.57/1489.92	c 1488s |      14 |   584586 |    66952 |   104282      0 |      151 |      148
1492.67/1493.04	c 1491s |      14 |   585084 |    67252 |   104282      0 |      151 |      148
1495.07/1495.44	c 1493s |      14 |   585519 |    67452 |   104282      0 |      151 |      148
1497.57/1497.90	c 1496s |      14 |   586474 |    67652 |   104282      0 |      151 |      148
1500.47/1500.87	c 1499s |      14 |   587219 |    67852 |   104282      0 |      151 |      148
1503.77/1504.12	c 1502s |      14 |   591298 |    68052 |   104282      0 |      151 |      148
1506.87/1507.23	c 1505s |      14 |   592795 |    68252 |   104282      0 |      151 |      148
1509.87/1510.20	c 1508s |      14 |   593312 |    68452 |   104282      0 |      151 |      148
1512.47/1512.88	c 1511s |      14 |   593731 |    68652 |   104282      0 |      151 |      148
1515.06/1515.43	c 1513s |      14 |   594048 |    68852 |   104282      0 |      151 |      148
1518.16/1518.55	c 1517s |      14 |   594848 |    69052 |   104282      0 |      151 |      148
1521.56/1521.98	c 1520s |      14 |   595250 |    69252 |   104282      0 |      151 |      148
1524.27/1524.68	c 1523s |      14 |   595889 |    69452 |   104282      0 |      151 |      148
1527.06/1527.48	c 1525s |      14 |   596474 |    69652 |   104282      0 |      151 |      148
1530.16/1530.59	c 1529s |      14 |   597602 |    69852 |   104282      0 |      151 |      148
1532.86/1533.29	c 1531s |      14 |   598282 |    70052 |   104282      0 |      151 |      148
1536.26/1536.70	c 1535s |      14 |   599015 |    70252 |   104282      0 |      151 |      148
1538.36/1538.71	c 1537s |      14 |   599429 |    70352 |   104282      0 |      151 |      148
1542.06/1542.49	c 1540s |      14 |   600177 |    70552 |   104282      0 |      151 |      148
1544.76/1545.10	c 1543s |      14 |   600321 |    70652 |   104282      0 |      151 |      148
1547.96/1548.38	c 1546s |      14 |   601296 |    70852 |   104282      0 |      151 |      148
1551.87/1552.27	c 1550s |      14 |   601774 |    71052 |   104282      0 |      151 |      148
1555.36/1555.75	c 1554s |      14 |   602140 |    71252 |   104282      0 |      151 |      148
1558.26/1558.65	c 1557s |      14 |   602752 |    71452 |   104282      0 |      151 |      148
1561.56/1561.93	c 1560s |      14 |   603148 |    71652 |   104282      0 |      151 |      148
1565.26/1565.65	c 1564s |      14 |   603775 |    71852 |   104282      0 |      151 |      148
1567.46/1567.89	c 1566s |      14 |   605644 |    71952 |   104282      0 |      151 |      148
1570.16/1570.51	c 1568s |      14 |   607555 |    72052 |   104282      0 |      151 |      148
1573.25/1573.68	c 1572s |      14 |   607922 |    72152 |   104282      0 |      151 |      148
1576.15/1576.50	c 1574s |      14 |   608786 |    72352 |   104282      0 |      151 |      148
1578.95/1579.35	c 1577s |      14 |   610218 |    72552 |   104282      0 |      151 |      148
1582.05/1582.46	c 1580s |      14 |   611233 |    72752 |   104282      0 |      151 |      148
1584.65/1585.01	c 1583s |      14 |   612138 |    72952 |   104282      0 |      151 |      148
1587.65/1588.01	c 1586s |      14 |   612979 |    73152 |   104282      0 |      151 |      148
1591.15/1591.53	c 1590s |      14 |   613371 |    73352 |   104282      0 |      151 |      148
1594.85/1595.28	c 1593s |      14 |   613827 |    73552 |   104282      0 |      151 |      148
1597.05/1597.47	c 1595s |      14 |   613969 |    73652 |   104282      0 |      151 |      148
1600.45/1600.81	c 1599s |      14 |   614307 |    73852 |   104282      0 |      151 |      148
1603.25/1603.63	c 1602s |      14 |   614667 |    74052 |   104282      0 |      151 |      148
1606.35/1606.74	c 1605s |      14 |   615046 |    74252 |   104282      0 |      151 |      148
1609.35/1609.77	c 1608s |      14 |   615534 |    74452 |   104282      0 |      151 |      148
1612.95/1613.34	c 1611s |      14 |   616107 |    74652 |   104282      0 |      151 |      148
1616.05/1616.41	c 1614s |      14 |   616266 |    74752 |   104282      0 |      151 |      148
1618.95/1619.38	c 1617s |      14 |   616465 |    74852 |   104282      0 |      151 |      148
1621.15/1621.57	c 1620s |      14 |   616777 |    74952 |   104282      0 |      151 |      148
1623.45/1623.84	c 1622s |      14 |   617023 |    75052 |   104282      0 |      151 |      148
1626.55/1626.94	c 1625s |      14 |   617186 |    75152 |   104282      0 |      151 |      148
1628.85/1629.23	c 1627s |      14 |   617428 |    75252 |   104282      0 |      151 |      148
1631.15/1631.51	c 1629s |      14 |   617625 |    75352 |   104282      0 |      151 |      148
1633.65/1634.07	c 1632s |      14 |   617840 |    75452 |   104282      0 |      151 |      148
1635.75/1636.11	c 1634s |      14 |   618049 |    75552 |   104282      0 |      151 |      148
1638.54/1638.93	c 1637s |      14 |   618167 |    75652 |   104282      0 |      151 |      148
1642.14/1642.56	c 1641s |      14 |   618299 |    75752 |   104282      0 |      151 |      148
1645.54/1645.95	c 1644s |      14 |   618645 |    75952 |   104282      0 |      151 |      148
1649.54/1649.99	c 1648s |      14 |   618991 |    76152 |   104282      0 |      151 |      148
1651.95/1652.33	c 1650s |      14 |   619193 |    76252 |   104282      0 |      151 |      148
1654.44/1654.88	c 1653s |      14 |   619507 |    76352 |   104282      0 |      151 |      148
1657.24/1657.67	c 1656s |      14 |   619702 |    76452 |   104282      0 |      151 |      148
1660.04/1660.43	c 1658s |      14 |   620009 |    76552 |   104282      0 |      151 |      148
1663.44/1663.84	c 1662s |      14 |   620188 |    76652 |   104282      0 |      151 |      148
1666.54/1666.95	c 1665s |      14 |   620349 |    76752 |   104282      0 |      151 |      148
1668.94/1669.33	c 1667s |      14 |   620617 |    76852 |   104282      0 |      151 |      148
1671.04/1671.48	c 1669s |      14 |   620793 |    76952 |   104282      0 |      151 |      148
1673.74/1674.11	c 1672s |      14 |   620974 |    77052 |   104282      0 |      151 |      148
1676.54/1676.94	c 1675s |      14 |   621168 |    77152 |   104282      0 |      151 |      148
1678.74/1679.19	c 1677s |      14 |   621526 |    77252 |   104282      0 |      151 |      148
1681.04/1681.48	c 1679s |      14 |   621823 |    77352 |   104282      0 |      151 |      148
1684.24/1684.67	c 1683s |      14 |   622306 |    77552 |   104282      0 |      151 |      148
1687.54/1687.92	c 1686s |      14 |   622704 |    77752 |   104282      0 |      151 |      148
1690.14/1690.54	c 1689s |      14 |   623316 |    77952 |   104282      0 |      151 |      148
1692.24/1692.66	c 1691s |      14 |   623658 |    78152 |   104282      0 |      151 |      148
1694.74/1695.18	c 1693s |      14 |   623966 |    78352 |   104282      0 |      151 |      148
1697.63/1698.03	c 1696s |      14 |   624651 |    78552 |   104282      0 |      151 |      148
1701.13/1701.59	c 1700s |      14 |   625066 |    78752 |   104282      0 |      151 |      148
1705.13/1705.52	c 1704s |      14 |   625377 |    78952 |   104282      0 |      151 |      148
1707.43/1707.84	c 1706s |      14 |   625524 |    79052 |   104282      0 |      151 |      148
1710.33/1710.70	c 1709s |      14 |   625830 |    79252 |   104282      0 |      151 |      148
1713.33/1713.76	c 1712s |      14 |   626121 |    79452 |   104282      0 |      151 |      148
1716.33/1716.70	c 1715s |      14 |   626409 |    79652 |   104282      0 |      151 |      148
1719.33/1719.71	c 1718s |      14 |   626719 |    79852 |   104282      0 |      151 |      148
1721.93/1722.31	c 1720s |      14 |   627158 |    80052 |   104282      0 |      151 |      148
1724.83/1725.27	c 1723s |      14 |   627617 |    80252 |   104282      0 |      151 |      148
1727.74/1728.19	c 1726s |      14 |   627990 |    80452 |   104282      0 |      151 |      148
1730.63/1731.08	c 1729s |      14 |   628415 |    80652 |   104282      0 |      151 |      148
1733.83/1734.22	c 1732s |      14 |   629335 |    80852 |   104282      0 |      151 |      148
1736.73/1737.13	c 1735s |      14 |   629983 |    81052 |   104282      0 |      151 |      148
1739.13/1739.50	c 1737s |      14 |   630141 |    81152 |   104282      0 |      151 |      148
1742.53/1742.99	c 1741s |      14 |   630793 |    81352 |   104282      0 |      151 |      148
1745.93/1746.32	c 1744s |      14 |   631118 |    81552 |   104282      0 |      151 |      148
1748.73/1749.10	c 1747s |      14 |   631391 |    81752 |   104282      0 |      151 |      148
1751.03/1751.49	c 1749s |      14 |   632166 |    81952 |   104282      0 |      151 |      148
1753.63/1754.01	c 1752s |      14 |   632980 |    82152 |   104282      0 |      151 |      148
1756.43/1756.88	c 1755s |      14 |   633535 |    82352 |   104282      0 |      151 |      148
1759.73/1760.11	c 1758s |      14 |   633851 |    82552 |   104282      0 |      151 |      148
1761.93/1762.33	c 1760s |      14 |   634098 |    82652 |   104282      0 |      151 |      148
1765.42/1765.89	c 1764s |      14 |   635020 |    82852 |   104282      0 |      151 |      148
1769.22/1769.66	c 1768s |      14 |   635798 |    83052 |   104282      0 |      151 |      148
1771.42/1771.82	c 1770s |      14 |   636219 |    83152 |   104282      0 |      151 |      148
1774.03/1774.45	c 1772s |      14 |   636617 |    83352 |   104282      0 |      151 |      148
1776.62/1777.02	c 1775s |      14 |   637103 |    83552 |   104282      0 |      151 |      148
1779.32/1779.72	c 1778s |      14 |   637503 |    83752 |   104282      0 |      151 |      148
1782.02/1782.47	c 1780s |      14 |   637914 |    83952 |   104282      0 |      151 |      148
1784.02/1784.48	c 1782s |      14 |   639071 |    84152 |   104282      0 |      151 |      148
1786.72/1787.14	c 1785s |      14 |   639389 |    84352 |   104282      0 |      151 |      148
1789.52/1789.92	c 1788s |      14 |   639808 |    84552 |   104282      0 |      151 |      148
1792.52/1792.99	c 1791s |      14 |   640316 |    84752 |   104282      0 |      151 |      148
1796.52/1796.93	c 1795s |      14 |   640981 |    84952 |   104282      0 |      151 |      148

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

pid=14014
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.27 2.24 2.20 3/179 14017
/proc/meminfo: memFree=29143376/32872528 swapFree=15272/1656604
[pid=14017] ppid=14014 vsize=739772 CPUtime=0 cores=0,2,4,6
/proc/14017/stat : 14017 (toysat) R 14014 14017 9894 0 -1 4202496 2762 0 0 0 0 0 0 0 20 0 4 0 111077663 757526528 3633 33554432000 4194304 16246674 140733690873408 140733690872832 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14017/statm: 185455 3640 441 2943 0 182349 0
[pid=14017/tid=14018] ppid=14014 vsize=756156 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14018/stat : 14018 (toysat) S 14014 14017 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111077663 774303744 3699 33554432000 4194304 16246674 140733690873408 140029219286256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14017/tid=14019] ppid=14014 vsize=760252 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14019/stat : 14019 (toysat) S 14014 14017 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111077663 778498048 3715 33554432000 4194304 16246674 140733690873408 140029208796400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14017/tid=14020] ppid=14014 vsize=764348 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14020/stat : 14020 (toysat) S 14014 14017 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111077663 782692352 3731 33554432000 4194304 16246674 140733690873408 140029087182000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.27 2.24 2.20 3/179 14017
/proc/meminfo: memFree=29143376/32872528 swapFree=15272/1656604
[pid=14017] ppid=14014 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/14017/stat : 14017 (toysat) R 14014 14017 9894 0 -1 4202496 28718 0 0 0 5 4 0 0 20 0 4 0 111077663 1332285440 29527 33554432000 4194304 16246674 140733690873408 140733690856400 7853005 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14017/statm: 325265 29542 800 2943 0 322159 0
[pid=14017/tid=14018] ppid=14014 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14018/stat : 14018 (toysat) S 14014 14017 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111077663 1332285440 29554 33554432000 4194304 16246674 140733690873408 140029219286256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14017/tid=14019] ppid=14014 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14019/stat : 14019 (toysat) S 14014 14017 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111077663 1332285440 29565 33554432000 4194304 16246674 140733690873408 140029208796400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14017/tid=14020] ppid=14014 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14020/stat : 14020 (toysat) S 14014 14017 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111077663 1332285440 29576 33554432000 4194304 16246674 140733690873408 140029087182000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200498 s]
/proc/loadavg: 2.27 2.24 2.20 3/179 14017
/proc/meminfo: memFree=29143376/32872528 swapFree=15272/1656604
[pid=14017] ppid=14014 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/14017/stat : 14017 (toysat) R 14014 14017 9894 0 -1 4202496 48649 0 0 0 12 7 0 0 20 0 4 0 111077663 1344868352 49969 33554432000 4194304 16246674 140733690873408 140733690856400 14795827 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14017/statm: 328337 49969 800 2943 0 325231 0
[pid=14017/tid=14018] ppid=14014 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14018/stat : 14018 (toysat) S 14014 14017 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111077663 1344868352 49969 33554432000 4194304 16246674 140733690873408 140029219286256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14017/tid=14019] ppid=14014 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14019/stat : 14019 (toysat) S 14014 14017 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111077663 1344868352 49969 33554432000 4194304 16246674 140733690873408 140029208796400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14017/tid=14020] ppid=14014 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14020/stat : 14020 (toysat) S 14014 14017 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111077663 1344868352 49969 33554432000 4194304 16246674 140733690873408 140029087182000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300501 s]
/proc/loadavg: 2.27 2.24 2.20 3/179 14017
/proc/meminfo: memFree=29143376/32872528 swapFree=15272/1656604
[pid=14017] ppid=14014 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/14017/stat : 14017 (toysat) R 14014 14017 9894 0 -1 4202496 53141 0 0 0 21 8 0 0 20 0 4 0 111077663 1344868352 54461 33554432000 4194304 16246674 140733690873408 140733690856400 4206877 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14017/statm: 328337 54461 800 2943 0 325231 0
[pid=14017/tid=14018] ppid=14014 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14018/stat : 14018 (toysat) S 14014 14017 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111077663 1344868352 54461 33554432000 4194304 16246674 140733690873408 140029219286256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14017/tid=14019] ppid=14014 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14019/stat : 14019 (toysat) S 14014 14017 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111077663 1344868352 54461 33554432000 4194304 16246674 140733690873408 140029208796400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14017/tid=14020] ppid=14014 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14020/stat : 14020 (toysat) S 14014 14017 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111077663 1344868352 54461 33554432000 4194304 16246674 140733690873408 140029087182000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700393 s]
/proc/loadavg: 2.27 2.24 2.20 3/179 14017
/proc/meminfo: memFree=29143376/32872528 swapFree=15272/1656604
[pid=14017] ppid=14014 vsize=1315396 CPUtime=0.69 cores=0,2,4,6
/proc/14017/stat : 14017 (toysat) R 14014 14017 9894 0 -1 4202496 85974 0 0 0 58 11 0 0 20 0 4 0 111077663 1346965504 87294 33554432000 4194304 16246674 140733690873408 140733690856400 6757465 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14017/statm: 328849 87303 834 2943 0 325743 0
[pid=14017/tid=14018] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14018/stat : 14018 (toysat) S 14014 14017 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 87309 33554432000 4194304 16246674 140733690873408 140029219286256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14017/tid=14019] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14019/stat : 14019 (toysat) S 14014 14017 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 87315 33554432000 4194304 16246674 140733690873408 140029208796400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14017/tid=14020] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14020/stat : 14020 (toysat) S 14014 14017 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 87321 33554432000 4194304 16246674 140733690873408 140029087182000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1315396

[startup+1.50036 s]
/proc/loadavg: 2.25 2.24 2.20 4/183 14021
/proc/meminfo: memFree=28488920/32872528 swapFree=15272/1656604
[pid=14017] ppid=14014 vsize=1315396 CPUtime=1.49 cores=0,2,4,6
/proc/14017/stat : 14017 (toysat) R 14014 14017 9894 0 -1 4202496 216657 0 0 0 118 31 0 0 20 0 4 0 111077663 1346965504 217977 33554432000 4194304 16246674 140733690873408 140733690872720 4206600 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14017/statm: 328849 217977 840 2943 0 325743 0
[pid=14017/tid=14018] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14018/stat : 14018 (toysat) S 14014 14017 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 217977 33554432000 4194304 16246674 140733690873408 140029219286256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14017/tid=14019] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14019/stat : 14019 (toysat) S 14014 14017 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 217977 33554432000 4194304 16246674 140733690873408 140029208796400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14017/tid=14020] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14020/stat : 14020 (toysat) S 14014 14017 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 217977 33554432000 4194304 16246674 140733690873408 140029087182000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1315396

[startup+3.10039 s]
/proc/loadavg: 2.25 2.24 2.20 4/183 14021
/proc/meminfo: memFree=28272788/32872528 swapFree=15272/1656604
[pid=14017] ppid=14014 vsize=1315396 CPUtime=3.09 cores=0,2,4,6
/proc/14017/stat : 14017 (toysat) R 14014 14017 9894 0 -1 4202496 216712 0 0 0 278 31 0 0 20 0 4 0 111077663 1346965504 218032 33554432000 4194304 16246674 140733690873408 140733690855296 5672056 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14017/statm: 328849 218032 895 2943 0 325743 0
[pid=14017/tid=14018] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14018/stat : 14018 (toysat) S 14014 14017 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 218032 33554432000 4194304 16246674 140733690873408 140029219286256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14017/tid=14019] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14019/stat : 14019 (toysat) S 14014 14017 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 218032 33554432000 4194304 16246674 140733690873408 140029208796400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14017/tid=14020] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14020/stat : 14020 (toysat) S 14014 14017 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 218032 33554432000 4194304 16246674 140733690873408 140029087182000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1315396

[startup+6.3004 s]
/proc/loadavg: 2.31 2.25 2.20 4/183 14021
/proc/meminfo: memFree=28060624/32872528 swapFree=15272/1656604
[pid=14017] ppid=14014 vsize=1315396 CPUtime=6.29 cores=0,2,4,6
/proc/14017/stat : 14017 (toysat) R 14014 14017 9894 0 -1 4202496 269530 0 0 0 591 38 0 0 20 0 4 0 111077663 1346965504 270850 33554432000 4194304 16246674 140733690873408 140733690855296 5829044 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14017/statm: 328849 270850 895 2943 0 325743 0
[pid=14017/tid=14018] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14018/stat : 14018 (toysat) S 14014 14017 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270850 33554432000 4194304 16246674 140733690873408 140029219286256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14017/tid=14019] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14019/stat : 14019 (toysat) S 14014 14017 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270850 33554432000 4194304 16246674 140733690873408 140029208796400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14017/tid=14020] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14020/stat : 14020 (toysat) S 14014 14017 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270850 33554432000 4194304 16246674 140733690873408 140029087182000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1315396

[startup+12.7004 s]
/proc/loadavg: 2.29 2.24 2.20 4/183 14021
/proc/meminfo: memFree=28060276/32872528 swapFree=15272/1656604
[pid=14017] ppid=14014 vsize=1315396 CPUtime=12.69 cores=0,2,4,6
/proc/14017/stat : 14017 (toysat) R 14014 14017 9894 0 -1 4202496 269530 0 0 0 1231 38 0 0 20 0 4 0 111077663 1346965504 270850 33554432000 4194304 16246674 140733690873408 140733690855296 5711688 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14017/statm: 328849 270850 895 2943 0 325743 0
[pid=14017/tid=14018] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14018/stat : 14018 (toysat) S 14014 14017 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270850 33554432000 4194304 16246674 140733690873408 140029219286256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14017/tid=14019] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14019/stat : 14019 (toysat) S 14014 14017 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270850 33554432000 4194304 16246674 140733690873408 140029208796400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14017/tid=14020] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14020/stat : 14020 (toysat) S 14014 14017 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270850 33554432000 4194304 16246674 140733690873408 140029087182000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1315396

[startup+25.5005 s]
/proc/loadavg: 2.31 2.25 2.20 3/183 14021
/proc/meminfo: memFree=28060728/32872528 swapFree=15272/1656604
[pid=14017] ppid=14014 vsize=1315396 CPUtime=25.49 cores=0,2,4,6
/proc/14017/stat : 14017 (toysat) R 14014 14017 9894 0 -1 4202496 269530 0 0 0 2511 38 0 0 20 0 4 0 111077663 1346965504 270850 33554432000 4194304 16246674 140733690873408 140733690855296 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14017/statm: 328849 270850 895 2943 0 325743 0
[pid=14017/tid=14018] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14018/stat : 14018 (toysat) S 14014 14017 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270850 33554432000 4194304 16246674 140733690873408 140029219286256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14017/tid=14019] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14019/stat : 14019 (toysat) S 14014 14017 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270850 33554432000 4194304 16246674 140733690873408 140029208796400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14017/tid=14020] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14020/stat : 14020 (toysat) S 14014 14017 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270850 33554432000 4194304 16246674 140733690873408 140029087182000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1315396

[startup+51.1004 s]
/proc/loadavg: 2.27 2.24 2.20 4/183 14021
/proc/meminfo: memFree=28060436/32872528 swapFree=15272/1656604
[pid=14017] ppid=14014 vsize=1315396 CPUtime=51.08 cores=0,2,4,6
/proc/14017/stat : 14017 (toysat) R 14014 14017 9894 0 -1 4202496 269530 0 0 0 5070 38 0 0 20 0 4 0 111077663 1346965504 270850 33554432000 4194304 16246674 140733690873408 140733690855296 5673488 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14017/statm: 328849 270850 895 2943 0 325743 0
[pid=14017/tid=14018] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14018/stat : 14018 (toysat) S 14014 14017 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270850 33554432000 4194304 16246674 140733690873408 140029219286256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14017/tid=14019] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14019/stat : 14019 (toysat) S 14014 14017 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270850 33554432000 4194304 16246674 140733690873408 140029208796400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14017/tid=14020] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14020/stat : 14020 (toysat) S 14014 14017 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270850 33554432000 4194304 16246674 140733690873408 140029087182000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1315396

[startup+102.3 s]
/proc/loadavg: 2.30 2.25 2.20 3/183 14022
/proc/meminfo: memFree=28059308/32872528 swapFree=15272/1656604
[pid=14017] ppid=14014 vsize=1315396 CPUtime=102.28 cores=0,2,4,6
/proc/14017/stat : 14017 (toysat) R 14014 14017 9894 0 -1 4202496 269532 0 0 0 10190 38 0 0 20 0 4 0 111077663 1346965504 270852 33554432000 4194304 16246674 140733690873408 140733690855296 5829313 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14017/statm: 328849 270852 897 2943 0 325743 0
[pid=14017/tid=14018] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14018/stat : 14018 (toysat) S 14014 14017 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270852 33554432000 4194304 16246674 140733690873408 140029219286256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14017/tid=14019] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14019/stat : 14019 (toysat) S 14014 14017 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270852 33554432000 4194304 16246674 140733690873408 140029208796400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14017/tid=14020] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14020/stat : 14020 (toysat) S 14014 14017 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270852 33554432000 4194304 16246674 140733690873408 140029087182000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1315396


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

/proc/14017/task/14020/stat : 14020 (toysat) S 14014 14017 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140029087182000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 1315396

[startup+1302.3 s]
/proc/loadavg: 2.32 2.22 2.19 4/183 14100
/proc/meminfo: memFree=28099060/32872528 swapFree=15272/1656604
[pid=14017] ppid=14014 vsize=1315396 CPUtime=1302 cores=0,2,4,6
/proc/14017/stat : 14017 (toysat) R 14014 14017 9894 0 -1 4202496 269718 0 0 0 130161 39 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140733690855296 12478189 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14017/statm: 328849 270857 901 2943 0 325743 0
[pid=14017/tid=14018] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14018/stat : 14018 (toysat) S 14014 14017 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140029219286256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14017/tid=14019] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14019/stat : 14019 (toysat) S 14014 14017 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140029208796400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14017/tid=14020] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14020/stat : 14020 (toysat) S 14014 14017 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140029087182000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.27 2.22 2.18 3/183 14101
/proc/meminfo: memFree=28098956/32872528 swapFree=15272/1656604
[pid=14017] ppid=14014 vsize=1315396 CPUtime=1361.99 cores=0,2,4,6
/proc/14017/stat : 14017 (toysat) R 14014 14017 9894 0 -1 4202496 269718 0 0 0 136160 39 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140733690855296 5721677 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14017/statm: 328849 270857 901 2943 0 325743 0
[pid=14017/tid=14018] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14018/stat : 14018 (toysat) S 14014 14017 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140029219286256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14017/tid=14019] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14019/stat : 14019 (toysat) S 14014 14017 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140029208796400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14017/tid=14020] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14020/stat : 14020 (toysat) S 14014 14017 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140029087182000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.15 2.19 2.18 3/183 14102
/proc/meminfo: memFree=28099588/32872528 swapFree=15272/1656604
[pid=14017] ppid=14014 vsize=1315396 CPUtime=1421.99 cores=0,2,4,6
/proc/14017/stat : 14017 (toysat) R 14014 14017 9894 0 -1 4202496 269718 0 0 0 142160 39 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140733690855296 13927305 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14017/statm: 328849 270857 901 2943 0 325743 0
[pid=14017/tid=14018] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14018/stat : 14018 (toysat) S 14014 14017 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140029219286256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14017/tid=14019] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14019/stat : 14019 (toysat) S 14014 14017 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140029208796400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14017/tid=14020] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14020/stat : 14020 (toysat) S 14014 14017 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140029087182000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 1315396

[startup+1482.3 s]
/proc/loadavg: 2.10 2.17 2.17 4/183 14103
/proc/meminfo: memFree=28099352/32872528 swapFree=15272/1656604
[pid=14017] ppid=14014 vsize=1315396 CPUtime=1481.97 cores=0,2,4,6
/proc/14017/stat : 14017 (toysat) R 14014 14017 9894 0 -1 4202496 269718 0 0 0 148158 39 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140733690855296 12478382 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14017/statm: 328849 270857 901 2943 0 325743 0
[pid=14017/tid=14018] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14018/stat : 14018 (toysat) S 14014 14017 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140029219286256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14017/tid=14019] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14019/stat : 14019 (toysat) S 14014 14017 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140029208796400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14017/tid=14020] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14020/stat : 14020 (toysat) S 14014 14017 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140029087182000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 1315396

[startup+1542.31 s]
/proc/loadavg: 2.29 2.21 2.18 3/183 14105
/proc/meminfo: memFree=28099472/32872528 swapFree=15272/1656604
[pid=14017] ppid=14014 vsize=1315396 CPUtime=1541.97 cores=0,2,4,6
/proc/14017/stat : 14017 (toysat) R 14014 14017 9894 0 -1 4202496 269718 0 0 0 154158 39 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140733690855296 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14017/statm: 328849 270857 901 2943 0 325743 0
[pid=14017/tid=14018] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14018/stat : 14018 (toysat) S 14014 14017 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140029219286256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14017/tid=14019] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14019/stat : 14019 (toysat) S 14014 14017 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140029208796400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14017/tid=14020] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14020/stat : 14020 (toysat) S 14014 14017 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140029087182000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 2.24 2.20 2.18 3/184 14109
/proc/meminfo: memFree=28099116/32872528 swapFree=15272/1656604
[pid=14017] ppid=14014 vsize=1315396 CPUtime=1601.95 cores=0,2,4,6
/proc/14017/stat : 14017 (toysat) R 14014 14017 9894 0 -1 4202496 269718 0 0 0 160156 39 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140733690855296 5711338 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14017/statm: 328849 270857 901 2943 0 325743 0
[pid=14017/tid=14018] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14018/stat : 14018 (toysat) S 14014 14017 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140029219286256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14017/tid=14019] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14019/stat : 14019 (toysat) S 14014 14017 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140029208796400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14017/tid=14020] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14020/stat : 14020 (toysat) S 14014 14017 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140029087182000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 1315396

[startup+1662.3 s]
/proc/loadavg: 2.28 2.22 2.19 3/183 14110
/proc/meminfo: memFree=28099248/32872528 swapFree=15272/1656604
[pid=14017] ppid=14014 vsize=1315396 CPUtime=1661.94 cores=0,2,4,6
/proc/14017/stat : 14017 (toysat) R 14014 14017 9894 0 -1 4202496 269718 0 0 0 166155 39 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140733690855296 12483272 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14017/statm: 328849 270857 901 2943 0 325743 0
[pid=14017/tid=14018] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14018/stat : 14018 (toysat) S 14014 14017 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140029219286256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14017/tid=14019] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14019/stat : 14019 (toysat) S 14014 14017 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140029208796400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14017/tid=14020] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14020/stat : 14020 (toysat) S 14014 14017 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140029087182000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 2.31 2.24 2.19 3/183 14111
/proc/meminfo: memFree=28099368/32872528 swapFree=15272/1656604
[pid=14017] ppid=14014 vsize=1315396 CPUtime=1721.93 cores=0,2,4,6
/proc/14017/stat : 14017 (toysat) R 14014 14017 9894 0 -1 4202496 269718 0 0 0 172154 39 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140733690855296 12478547 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14017/statm: 328849 270857 901 2943 0 325743 0
[pid=14017/tid=14018] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14018/stat : 14018 (toysat) S 14014 14017 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140029219286256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14017/tid=14019] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14019/stat : 14019 (toysat) S 14014 14017 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140029208796400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14017/tid=14020] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14020/stat : 14020 (toysat) S 14014 14017 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140029087182000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 1315396

[startup+1782.3 s]
/proc/loadavg: 2.20 2.22 2.18 3/183 14112
/proc/meminfo: memFree=28098876/32872528 swapFree=15272/1656604
[pid=14017] ppid=14014 vsize=1315396 CPUtime=1781.92 cores=0,2,4,6
/proc/14017/stat : 14017 (toysat) R 14014 14017 9894 0 -1 4202496 269718 0 0 0 178153 39 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140733690855296 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14017/statm: 328849 270857 901 2943 0 325743 0
[pid=14017/tid=14018] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14018/stat : 14018 (toysat) S 14014 14017 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140029219286256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14017/tid=14019] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14019/stat : 14019 (toysat) S 14014 14017 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140029208796400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14017/tid=14020] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14020/stat : 14020 (toysat) S 14014 14017 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140029087182000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 1315396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.16 2.21 2.18 3/183 14113
/proc/meminfo: memFree=28098868/32872528 swapFree=15272/1656604
[pid=14017] ppid=14014 vsize=1315396 CPUtime=1800.02 cores=0,2,4,6
/proc/14017/stat : 14017 (toysat) R 14014 14017 9894 0 -1 4202496 269718 0 0 0 179963 39 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140733690855296 5669473 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14017/statm: 328849 270857 901 2943 0 325743 0
[pid=14017/tid=14018] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14018/stat : 14018 (toysat) S 14014 14017 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140029219286256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14017/tid=14019] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14019/stat : 14019 (toysat) S 14014 14017 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140029208796400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14017/tid=14020] ppid=14014 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14020/stat : 14020 (toysat) S 14014 14017 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111077663 1346965504 270857 33554432000 4194304 16246674 140733690873408 140029087182000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1315396

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 14017 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.41
CPU time (s): 1800.04
CPU user time (s): 1799.64
CPU system time (s): 0.398939
CPU usage (%): 99.9795
Max. virtual memory (cumulated for all children) (KiB): 1315396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.398939
maximum resident set size= 1083428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269718
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= 195
involuntary context switches= 1958

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6283 second user time and 7.04693 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-07 11:24:03
IDJOB=4080041
IDBENCH=90698
IDSOLVER=2542
FILE ID=node136/4080041-1465291443
RUNJOBID= node136-1465261284-9910
PBS_JOBID= 19843291
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_20null0mast_rapportOE1.0_TMAX60_K67_cod2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080041-1465291443/watcher-4080041-1465291443 -o /tmp/evaluation-result-4080041-1465291443/solver-4080041-1465291443 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465261284-9910 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080041-1465291443.opb

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

MD5SUM BENCH= dc1f1c1369db62ce46fa63aa9c3db18d
RANDOM SEED=1085544701

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.959
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.959
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.959
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.59
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.959
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.959
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:        29144368 kB
Buffers:           60608 kB
Cached:           161280 kB
SwapCached:          768 kB
Active:          1197652 kB
Inactive:         138852 kB
Active(anon):    1113444 kB
Inactive(anon):     3536 kB
Active(file):      84208 kB
Inactive(file):   135316 kB
Unevictable:     1656604 kB
Mlocked:           15272 kB
SwapTotal:      67108856 kB
SwapFree:       67099384 kB
Dirty:             19060 kB
Writeback:             0 kB
AnonPages:       2851016 kB
Mapped:            10876 kB
Shmem:                 0 kB
Slab:             598604 kB
SReclaimable:      42688 kB
SUnreclaim:       555916 kB
KernelStack:        1520 kB
PageTables:         9524 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2916372 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2504704 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= 71700 MiB
End job on node136 at 2016-06-07 11:54:04