Trace number 4100641

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.11 1800.53

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-greenbea.opb
MD5SUM542c2b53b45e753224c38b905fee77fb
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables155427
Total number of constraints2674
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2674
Minimum length of a constraint11
Maximum length of a constraint7267
Number of terms in the objective function 15205
Biggest coefficient in the objective function 24902
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 537080
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 537080
Number of bits of the biggest sum of numbers20
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-18T04:08:59+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-4100641-1466215738.opb"]
0.00/0.01	c use --random-gen="148012868 1533786568 3231414895 4152826894 2767244049 2113436381 1356856109 785828550 2458736975 1721570313 1767595895 4007708500 2199809863 3658323814 883574885 2811398379 3993922708 3598461616 1766302258 3463917830 523754640 1499872424 1735475489 825924797 1279599468 3614078318 3237217626 1928648898 3235408489 3923446136 119610819 2605006916 1351219328 1767264295 2537282301 2321750815 3597794916 3593805434 3666748290 2631757382 1057775389 2221660793 3625163462 2913976457 2915178528 3418756297 3946182894 1052935975 32757590 2707835782 2136360366 1800482108 1953851371 4154159232 675142171 1991067150 3680955666 4093592261 3160885421 2491265848 1356455189 3772832306 2014257861 1191376634 2145495411 1561752324 1822571799 3020006277 2876720281 2707367144 3545313027 1265047125 1042084294 978575887 383491541 2294398311 1424790585 2179435639 2876619636 2280045794 674903895 1557235181 3686657869 926995702 4048286575 3290357368 4272826717 4183476730 2296015055 4208418737 1528237369 1562593218 1017334127 959634515 1179629812 468320378 1718208435 2160928760 944863990 13088923 334617765 91116703 2885661092 968728549 1217351254 1608299953 3393584718 39298833 232295232 1063601971 4109308173 1373684666 979394287 1540628111 1482121966 3936923961 2569671549 2047524119 882636249 1546726563 2303126634 115319827 3864414470 2407370508 3664767317 2559174713 1969601801 2227340444 2909896612 625773484 1184059765 2433044022 1202686642 1334134124 1036325135 3748232498 2665655908 1079992331 2844148090 389150265 374703920 838285577 2551626480 1701208033 2998328161 3460025536 86842902 2492880007 3188394137 3414441268 3425284755 2357386790 940134510 2284583141 906356534 3412992353 145399544 276978139 173688120 3120170965 1723478123 2879632696 2105262061 3660695936 2438714063 4174392658 814145455 1778203351 2961739290 3296402429 421209710 928539345 3199487617 3949029362 1473741193 3329039466 3862989894 1352780440 772880500 3729118568 1356786119 1943826170 2657709939 2420739477 2076257869 378612643 3272616848 3516853511 3160385037 2203142112 2942160899 1837419559 1948415774 2429631845 4228729063 2623324560 928661288 192354083 3341143327 304486649 2843464960 1974366591 1439843383 1869935791 331879000 928864121 1872642284 2331912829 4134847835 695835022 2604353362 800200672 748707409 2046067599 717872361 1711041153 4190864205 3329462599 2391397665 2793883681 3980344878 583841788 613646030 2897206846 1998947523 2588934283 1932322587 3322902081 1962509394 1473636265 3853765797 2353227294 1976505044 1154331774 131671489 4278064852 2812398022 3337017990 1846051911 2594454162 890870257 2560716525 1983526694 2641767364 223511817 486464516 2615068141 727527808 2768705037 1555813503 3852824053 960661539 3609713037 2266378362 794368958 2851241297 255 362436" option to reproduce the execution
1.38/1.46	c #vars 155427
1.38/1.46	c #constraints 2674
13.19/13.30	c BCD2: Hardening is enabled.
13.19/13.30	c BCD2: BiasedSearch is enabled.
13.19/13.30	c Solving starts ...
13.19/13.30	c ============================[ Search Statistics ]============================
13.19/13.30	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
13.19/13.30	c       |         |          |          |    Limit     GC | Var      | Constra 
13.19/13.30	c =============================================================================
13.29/13.31	c  0.0s |       0 |        0 |        0 |    53311      0 |    66429 |        0
15.49/15.51	c  2.2s |       0 |     2582 |      100 |    53311      0 |    66535 |      730
15.49/15.51	c  2.2s |       1 |     2582 |      100 |    53311      0 |    66535 |      730
15.69/15.79	c  2.5s |       2 |     2823 |      250 |    58643      0 |    66536 |      730
15.89/15.97	c  2.7s |       3 |     3064 |      475 |    64508      0 |    66536 |      730
16.09/16.16	c  2.9s |       4 |     3431 |      813 |    70959      0 |    66536 |      730
16.29/16.39	c  3.1s |       5 |     3961 |     1320 |    78055      0 |    66536 |      730
16.59/16.69	c  3.4s |       6 |     4738 |     2081 |    94448      0 |    66536 |      730
17.09/17.12	c  3.8s |       7 |     6870 |     3223 |   103893      0 |    66536 |      730
17.59/17.68	c  4.4s |       8 |     8662 |     4936 |   114283      0 |    66536 |      730
19.89/19.92	c  6.6s |       8 |    11307 |     5236 |   114283      0 |    66637 |      730
21.99/22.01	c  8.7s |       8 |    13099 |     6536 |   114283      0 |    66637 |      730
23.68/23.75	c 10.4s |       9 |    14473 |     7506 |   125712      0 |    66637 |      730
26.78/26.87	c 13.6s |       9 |    15426 |     8006 |   125712      0 |    66637 |      730
29.38/29.45	c 16.1s |       9 |    15828 |     8306 |   125712      0 |    66637 |      730
31.38/31.48	c 18.2s |       9 |    17660 |     9306 |   125712      0 |    66637 |      730
33.48/33.59	c 20.3s |       9 |    19472 |    10606 |   125712      0 |    66638 |      730
34.78/34.87	c 21.6s |      10 |    21063 |    11361 |   138284      0 |    66645 |      730
36.88/36.95	c 23.6s |      10 |    22170 |    11961 |   138284      0 |    66645 |      730
41.28/41.36	c 28.1s |      10 |    22170 |    12161 |   138284      0 |    66645 |      730
43.48/43.54	c 30.2s |      10 |    22599 |    12261 |   138284      0 |    66645 |      730
46.88/46.94	c 33.6s |      10 |    22599 |    12461 |   138284      0 |    66645 |      730
49.68/49.76	c 36.5s |      10 |    22599 |    12561 |   138284      0 |    66645 |      730
52.98/53.00	c 39.7s |      10 |    22968 |    12761 |   138284      0 |    66645 |      730
55.28/55.37	c 42.1s |      10 |    22968 |    12861 |   138284      0 |    66645 |      730
58.39/58.41	c 45.1s |      10 |    23334 |    12961 |   138284      0 |    66645 |      730
61.28/61.31	c 48.0s |      10 |    23334 |    13161 |   138284      0 |    66645 |      730
63.89/63.93	c 50.6s |      10 |    23334 |    13261 |   138284      0 |    66645 |      730
66.18/66.28	c 53.0s |      10 |    23698 |    13361 |   138284      0 |    66645 |      730
69.68/69.75	c 56.4s |      10 |    23698 |    13561 |   138284      0 |    66645 |      730
72.58/72.63	c 59.3s |      10 |    23698 |    13661 |   138284      0 |    66645 |      730
75.78/75.87	c 62.6s |      10 |    24061 |    13861 |   138284      0 |    66645 |      730
78.28/78.31	c 65.0s |      10 |    24061 |    13961 |   138284      0 |    66645 |      730
81.18/81.22	c 67.9s |      10 |    24426 |    14061 |   138284      0 |    66645 |      730
84.17/84.29	c 71.0s |      10 |    24426 |    14261 |   138284      0 |    66645 |      730
86.88/87.00	c 73.7s |      10 |    24426 |    14361 |   138284      0 |    66645 |      730
89.08/89.12	c 75.8s |      10 |    24787 |    14461 |   138284      0 |    66645 |      730
92.77/92.81	c 79.5s |      10 |    24787 |    14661 |   138284      0 |    66645 |      730
95.78/95.81	c 82.5s |      10 |    24787 |    14761 |   138284      0 |    66645 |      730
98.87/98.91	c 85.6s |      10 |    25148 |    14961 |   138284      0 |    66645 |      730
101.37/101.48	c 88.2s |      10 |    25148 |    15061 |   138284      0 |    66645 |      730
103.97/104.08	c 90.8s |      10 |    25508 |    15161 |   138284      0 |    66645 |      730
107.37/107.45	c 94.1s |      10 |    25508 |    15361 |   138284      0 |    66645 |      730
110.27/110.33	c 97.0s |      10 |    25508 |    15461 |   138284      0 |    66645 |      730
113.57/113.67	c  100s |      10 |    25867 |    15661 |   138284      0 |    66645 |      730
116.07/116.12	c  102s |      10 |    25867 |    15761 |   138284      0 |    66645 |      730
118.97/119.08	c  105s |      10 |    26226 |    15861 |   138284      0 |    66645 |      730
122.08/122.20	c  108s |      10 |    26226 |    16061 |   138284      0 |    66645 |      730
124.87/124.98	c  111s |      10 |    26226 |    16161 |   138284      0 |    66645 |      730
126.97/127.03	c  113s |      10 |    26582 |    16261 |   138284      0 |    66645 |      730
130.77/130.88	c  117s |      10 |    26582 |    16461 |   138284      0 |    66645 |      730
133.87/133.97	c  120s |      10 |    26582 |    16561 |   138284      0 |    66645 |      730
136.97/137.02	c  123s |      10 |    26938 |    16761 |   138284      0 |    66645 |      730
139.68/139.72	c  126s |      10 |    26938 |    16861 |   138284      0 |    66645 |      730
141.98/142.04	c  128s |      10 |    27293 |    16961 |   138284      0 |    66645 |      730
145.18/145.28	c  131s |      11 |    27293 |    17144 |   152113      0 |    66645 |      730
148.07/148.13	c  134s |      11 |    27571 |    17244 |   152113      0 |    66645 |      730
150.78/150.88	c  137s |      11 |    28344 |    17544 |   152113      0 |    66645 |      730
155.18/155.21	c  141s |      11 |    28344 |    17744 |   152113      0 |    66645 |      730
158.27/158.31	c  145s |      11 |    28698 |    17844 |   152113      0 |    66645 |      730
161.47/161.59	c  148s |      11 |    28698 |    18044 |   152113      0 |    66645 |      730
164.47/164.58	c  151s |      11 |    28698 |    18144 |   152113      0 |    66645 |      730
168.07/168.13	c  154s |      11 |    29054 |    18344 |   152113      0 |    66645 |      730
170.57/170.63	c  157s |      11 |    29054 |    18444 |   152113      0 |    66645 |      730
173.67/173.79	c  160s |      11 |    29408 |    18544 |   152113      0 |    66645 |      730
176.97/177.06	c  163s |      11 |    29408 |    18744 |   152113      0 |    66645 |      730
179.96/180.09	c  166s |      11 |    29408 |    18844 |   152113      0 |    66645 |      730
182.16/182.23	c  168s |      11 |    29760 |    18944 |   152113      0 |    66645 |      730
186.26/186.37	c  173s |      11 |    29760 |    19144 |   152113      0 |    66645 |      730
189.66/189.72	c  176s |      11 |    30110 |    19244 |   152113      0 |    66645 |      730
192.86/192.93	c  179s |      11 |    30110 |    19444 |   152113      0 |    66645 |      730
195.87/195.93	c  182s |      11 |    30110 |    19544 |   152113      0 |    66645 |      730
198.07/198.11	c  184s |      11 |    30461 |    19644 |   152113      0 |    66645 |      730
202.06/202.15	c  188s |      11 |    30461 |    19844 |   152113      0 |    66645 |      730
205.36/205.43	c  192s |      11 |    30809 |    19944 |   152113      0 |    66645 |      730
208.56/208.64	c  195s |      11 |    30809 |    20144 |   152113      0 |    66645 |      730
211.56/211.62	c  198s |      11 |    30809 |    20244 |   152113      0 |    66645 |      730
213.66/213.72	c  200s |      11 |    31157 |    20344 |   152113      0 |    66645 |      730
217.76/217.85	c  204s |      11 |    31157 |    20544 |   152113      0 |    66645 |      730
220.95/221.01	c  207s |      11 |    31504 |    20644 |   152113      0 |    66645 |      730
224.25/224.40	c  211s |      11 |    31504 |    20844 |   152113      0 |    66645 |      730
227.45/227.53	c  214s |      11 |    31504 |    20944 |   152113      0 |    66645 |      730
231.06/231.18	c  217s |      11 |    31850 |    21144 |   152113      0 |    66645 |      730
233.65/233.78	c  220s |      11 |    31850 |    21244 |   152113      0 |    66645 |      730
236.65/236.73	c  223s |      11 |    32195 |    21344 |   152113      0 |    66645 |      730
240.15/240.29	c  226s |      11 |    32195 |    21544 |   152113      0 |    66645 |      730
243.45/243.52	c  230s |      11 |    32195 |    21644 |   152113      0 |    66645 |      730
247.05/247.10	c  233s |      11 |    32540 |    21844 |   152113      0 |    66645 |      730
249.85/249.90	c  236s |      11 |    32540 |    21944 |   152113      0 |    66645 |      730
252.55/252.67	c  239s |      11 |    32882 |    22044 |   152113      0 |    66645 |      730
256.45/256.50	c  243s |      11 |    32882 |    22244 |   152113      0 |    66645 |      730
259.74/259.89	c  246s |      11 |    32882 |    22344 |   152113      0 |    66645 |      730
263.14/263.29	c  249s |      11 |    33223 |    22544 |   152113      0 |    66645 |      730
266.15/266.27	c  252s |      11 |    33223 |    22644 |   152113      0 |    66645 |      730
268.54/268.65	c  255s |      11 |    33563 |    22744 |   152113      0 |    66645 |      730
272.75/272.81	c  259s |      11 |    33563 |    22944 |   152113      0 |    66645 |      730
276.06/276.13	c  262s |      11 |    33902 |    23044 |   152113      0 |    66645 |      730
279.46/279.57	c  266s |      11 |    33902 |    23244 |   152113      0 |    66645 |      730
282.66/282.77	c  269s |      11 |    33902 |    23344 |   152113      0 |    66645 |      730
286.35/286.48	c  273s |      11 |    34241 |    23544 |   152113      0 |    66645 |      730
289.15/289.27	c  275s |      11 |    34241 |    23644 |   152113      0 |    66645 |      730
292.05/292.12	c  278s |      11 |    34578 |    23744 |   152113      0 |    66645 |      730
295.75/295.90	c  282s |      11 |    34578 |    23944 |   152113      0 |    66645 |      730
299.15/299.25	c  285s |      11 |    34578 |    24044 |   152113      0 |    66645 |      730
302.55/302.64	c  289s |      11 |    34916 |    24244 |   152113      0 |    66645 |      730
305.54/305.64	c  292s |      11 |    34916 |    24344 |   152113      0 |    66645 |      730
307.64/307.73	c  294s |      11 |    35253 |    24444 |   152113      0 |    66645 |      730
312.14/312.21	c  298s |      11 |    35253 |    24644 |   152113      0 |    66645 |      730
315.24/315.31	c  301s |      11 |    35588 |    24744 |   152113      0 |    66645 |      730
318.84/318.97	c  305s |      11 |    35588 |    24944 |   152113      0 |    66645 |      730
322.14/322.29	c  308s |      11 |    35588 |    25044 |   152113      0 |    66645 |      730
325.65/325.76	c  312s |      11 |    35923 |    25244 |   152113      0 |    66645 |      730
328.64/328.76	c  315s |      11 |    35923 |    25344 |   152113      0 |    66645 |      730
330.84/330.90	c  317s |      11 |    36257 |    25444 |   152113      0 |    66645 |      730
335.24/335.36	c  322s |      11 |    36257 |    25644 |   152113      0 |    66645 |      730
338.34/338.43	c  325s |      11 |    36589 |    25744 |   167325      0 |    66645 |      730
339.24/339.38	c  326s |      12 |    36589 |    25819 |   167325      0 |    66645 |      730
341.53/341.65	c  328s |      12 |    36951 |    25919 |   167325      0 |    66645 |      730
344.34/344.47	c  331s |      12 |    36951 |    26019 |   167325      0 |    66645 |      730
346.83/346.91	c  333s |      12 |    37933 |    26219 |   167325      0 |    66645 |      730
350.33/350.43	c  337s |      12 |    37933 |    26419 |   167325      0 |    66645 |      730
353.63/353.74	c  340s |      12 |    37933 |    26519 |   167325      0 |    66645 |      730
357.24/357.31	c  344s |      12 |    38261 |    26719 |   167325      0 |    66645 |      730
360.24/360.34	c  347s |      12 |    38261 |    26819 |   167325      0 |    66645 |      730
362.44/362.53	c  349s |      12 |    38588 |    26919 |   167325      0 |    66645 |      730
366.94/367.00	c  353s |      12 |    38588 |    27119 |   167325      0 |    66645 |      730
369.64/369.79	c  356s |      12 |    38913 |    27219 |   167325      0 |    66645 |      730
373.64/373.72	c  360s |      12 |    38913 |    27419 |   167325      0 |    66645 |      730
377.04/377.12	c  363s |      12 |    39237 |    27519 |   167325      0 |    66645 |      730
380.44/380.57	c  367s |      12 |    39237 |    27719 |   167325      0 |    66645 |      730
383.73/383.85	c  370s |      12 |    39237 |    27819 |   167325      0 |    66645 |      730
387.43/387.54	c  374s |      12 |    39560 |    28019 |   167325      0 |    66645 |      730
390.44/390.59	c  377s |      12 |    39560 |    28119 |   167325      0 |    66645 |      730
392.64/392.80	c  379s |      12 |    39882 |    28219 |   167325      0 |    66645 |      730
397.23/397.38	c  384s |      12 |    39882 |    28419 |   167325      0 |    66645 |      730
400.03/400.13	c  386s |      12 |    40204 |    28519 |   167325      0 |    66645 |      730
404.13/404.27	c  390s |      12 |    40204 |    28719 |   167325      0 |    66645 |      730
407.43/407.54	c  394s |      12 |    40524 |    28819 |   167325      0 |    66645 |      730
411.13/411.22	c  397s |      12 |    40524 |    29019 |   167325      0 |    66645 |      730
414.53/414.65	c  401s |      12 |    40524 |    29119 |   167325      0 |    66645 |      730
418.13/418.29	c  404s |      12 |    40844 |    29319 |   167325      0 |    66645 |      730
421.53/421.62	c  408s |      12 |    40844 |    29419 |   167325      0 |    66645 |      730
425.33/425.44	c  412s |      12 |    41164 |    29619 |   167325      0 |    66645 |      730
428.33/428.46	c  415s |      12 |    41164 |    29719 |   167325      0 |    66645 |      730
430.63/430.79	c  417s |      12 |    41481 |    29819 |   167325      0 |    66645 |      730
435.32/435.44	c  422s |      12 |    41481 |    30019 |   167325      0 |    66645 |      730
438.02/438.12	c  424s |      12 |    41799 |    30119 |   167325      0 |    66645 |      730
442.23/442.39	c  429s |      12 |    41799 |    30319 |   167325      0 |    66645 |      730
444.43/444.53	c  431s |      12 |    41853 |    30419 |   167325      0 |    66645 |      730
448.32/448.45	c  435s |      12 |    42169 |    30619 |   167325      0 |    66645 |      730
450.62/450.77	c  437s |      12 |    42241 |    30719 |   167325      0 |    66645 |      730
453.42/453.56	c  440s |      12 |    42558 |    30819 |   167325      0 |    66645 |      730
457.22/457.32	c  444s |      12 |    42558 |    31019 |   167325      0 |    66645 |      730
460.83/460.95	c  447s |      12 |    42871 |    31119 |   167325      0 |    66645 |      730
464.32/464.45	c  451s |      12 |    42871 |    31319 |   167325      0 |    66645 |      730
467.72/467.81	c  454s |      12 |    42871 |    31419 |   167325      0 |    66645 |      730
471.42/471.55	c  458s |      12 |    43183 |    31619 |   167325      0 |    66645 |      730
474.62/474.78	c  461s |      12 |    43183 |    31719 |   167325      0 |    66645 |      730
478.62/478.73	c  465s |      12 |    43494 |    31919 |   167325      0 |    66645 |      730
481.72/481.83	c  468s |      12 |    43494 |    32019 |   167325      0 |    66645 |      730
483.92/484.02	c  470s |      12 |    43805 |    32119 |   167325      0 |    66645 |      730
488.81/488.94	c  475s |      12 |    43805 |    32319 |   167325      0 |    66645 |      730
491.21/491.37	c  478s |      12 |    44114 |    32419 |   167325      0 |    66645 |      730
495.91/496.08	c  482s |      12 |    44114 |    32619 |   167325      0 |    66645 |      730
498.51/498.68	c  485s |      12 |    44422 |    32719 |   167325      0 |    66645 |      730
503.01/503.19	c  489s |      12 |    44422 |    32919 |   167325      0 |    66645 |      730
505.92/506.01	c  492s |      12 |    44729 |    33019 |   167325      0 |    66645 |      730
510.21/510.38	c  497s |      12 |    44729 |    33219 |   167325      0 |    66645 |      730
513.21/513.36	c  500s |      12 |    45035 |    33319 |   167325      0 |    66645 |      730
517.41/517.56	c  504s |      12 |    45035 |    33519 |   167325      0 |    66645 |      730
520.51/520.69	c  507s |      12 |    45340 |    33619 |   167325      0 |    66645 |      730
524.61/524.79	c  511s |      12 |    45340 |    33819 |   167325      0 |    66645 |      730
527.91/528.07	c  514s |      12 |    45645 |    33919 |   167325      0 |    66645 |      730
531.90/532.08	c  518s |      12 |    45645 |    34119 |   167325      0 |    66645 |      730
535.30/535.42	c  522s |      12 |    45950 |    34219 |   167325      0 |    66645 |      730
539.20/539.33	c  526s |      12 |    45950 |    34419 |   167325      0 |    66645 |      730
542.50/542.60	c  529s |      12 |    46254 |    34519 |   167325      0 |    66645 |      730
546.50/546.66	c  533s |      12 |    46254 |    34719 |   167325      0 |    66645 |      730
550.10/550.23	c  536s |      12 |    46556 |    34819 |   167325      0 |    66645 |      730
554.00/554.18	c  540s |      12 |    46556 |    35019 |   167325      0 |    66645 |      730
557.61/557.71	c  544s |      12 |    46857 |    35119 |   167325      0 |    66645 |      730
561.50/561.64	c  548s |      12 |    46857 |    35319 |   167325      0 |    66645 |      730
565.00/565.17	c  551s |      12 |    47156 |    35419 |   167325      0 |    66645 |      730
569.00/569.13	c  555s |      12 |    47156 |    35619 |   167325      0 |    66645 |      730
572.50/572.65	c  559s |      12 |    47455 |    35719 |   167325      0 |    66645 |      730
576.40/576.52	c  563s |      12 |    47455 |    35919 |   167325      0 |    66645 |      730
579.80/579.96	c  566s |      12 |    47752 |    36019 |   167325      0 |    66645 |      730
583.70/583.88	c  570s |      12 |    47752 |    36219 |   167325      0 |    66645 |      730
586.99/587.18	c  573s |      12 |    48049 |    36319 |   167325      0 |    66645 |      730
591.00/591.17	c  577s |      12 |    48049 |    36519 |   167325      0 |    66645 |      730
594.20/594.38	c  581s |      12 |    48346 |    36619 |   167325      0 |    66645 |      730
598.31/598.49	c  585s |      12 |    48346 |    36819 |   167325      0 |    66645 |      730
601.40/601.58	c  588s |      12 |    48640 |    36919 |   167325      0 |    66645 |      730
605.70/605.81	c  592s |      12 |    48640 |    37119 |   167325      0 |    66645 |      730
608.60/608.79	c  595s |      12 |    48933 |    37219 |   167325      0 |    66645 |      730
613.00/613.18	c  599s |      12 |    48933 |    37419 |   167325      0 |    66645 |      730
615.91/616.02	c  602s |      12 |    49227 |    37519 |   167325      0 |    66645 |      730
620.40/620.58	c  607s |      12 |    49227 |    37719 |   167325      0 |    66645 |      730
623.10/623.22	c  609s |      12 |    49520 |    37819 |   167325      0 |    66645 |      730
627.80/627.98	c  614s |      12 |    49520 |    38019 |   167325      0 |    66645 |      730
630.30/630.43	c  617s |      12 |    49810 |    38119 |   167325      0 |    66645 |      730
635.29/635.42	c  622s |      12 |    49810 |    38319 |   167325      0 |    66645 |      730
637.49/637.65	c  624s |      12 |    50100 |    38419 |   167325      0 |    66645 |      730
639.59/639.70	c  626s |      12 |    50100 |    38519 |   167325      0 |    66645 |      730
642.69/642.89	c  629s |      12 |    50100 |    38619 |   184058      0 |    66645 |      730
646.89/647.07	c  633s |      12 |    50388 |    38819 |   184058      0 |    66645 |      730
647.29/647.43	c  634s |      13 |    50388 |    38832 |   184058      0 |    66645 |      730
651.10/651.27	c  637s |      13 |    50632 |    38932 |   184058      0 |    66645 |      730
653.79/653.96	c  640s |      13 |    50998 |    39132 |   184058      0 |    66645 |      730
656.39/656.52	c  643s |      13 |    50998 |    39232 |   184058      0 |    66645 |      730
659.99/660.12	c  646s |      13 |    51286 |    39332 |   184058      0 |    66645 |      730
664.09/664.25	c  650s |      13 |    51286 |    39532 |   184058      0 |    66645 |      730
667.38/667.50	c  654s |      13 |    51574 |    39632 |   184058      0 |    66645 |      730
671.78/671.91	c  658s |      13 |    51574 |    39832 |   184058      0 |    66645 |      730
674.68/674.87	c  661s |      13 |    51862 |    39932 |   184058      0 |    66645 |      730
679.58/679.70	c  666s |      13 |    51862 |    40132 |   184058      0 |    66645 |      730
682.18/682.32	c  669s |      13 |    52148 |    40232 |   184058      0 |    66645 |      730
687.39/687.59	c  674s |      13 |    52148 |    40432 |   184058      0 |    66645 |      730
689.69/689.82	c  676s |      13 |    52432 |    40532 |   184058      0 |    66645 |      730
691.79/691.99	c  678s |      13 |    52432 |    40632 |   184058      0 |    66645 |      730
695.38/695.51	c  682s |      13 |    52432 |    40732 |   184058      0 |    66645 |      730
699.49/699.64	c  686s |      13 |    52715 |    40932 |   184058      0 |    66645 |      730
703.28/703.41	c  690s |      13 |    52997 |    41032 |   184058      0 |    66645 |      730
707.18/707.37	c  694s |      13 |    52997 |    41232 |   184058      0 |    66645 |      730
710.58/710.78	c  697s |      13 |    53278 |    41332 |   184058      0 |    66645 |      730
714.98/715.16	c  701s |      13 |    53278 |    41532 |   184058      0 |    66645 |      730
717.97/718.15	c  704s |      13 |    53558 |    41632 |   184058      0 |    66645 |      730
722.87/723.03	c  709s |      13 |    53558 |    41832 |   184058      0 |    66645 |      730
725.37/725.56	c  712s |      13 |    53840 |    41932 |   184058      0 |    66645 |      730
727.47/727.63	c  714s |      13 |    53840 |    42032 |   184058      0 |    66645 |      730
730.87/731.05	c  717s |      13 |    53840 |    42132 |   184058      0 |    66645 |      730
732.87/733.05	c  719s |      13 |    54118 |    42232 |   184058      0 |    66645 |      730
735.17/735.37	c  722s |      13 |    54118 |    42332 |   184058      0 |    66645 |      730
739.08/739.20	c  725s |      13 |    54395 |    42432 |   184058      0 |    66645 |      730
742.97/743.16	c  729s |      13 |    54395 |    42632 |   184058      0 |    66645 |      730
746.27/746.47	c  733s |      13 |    54672 |    42732 |   184058      0 |    66645 |      730
750.87/751.02	c  737s |      13 |    54672 |    42932 |   184058      0 |    66645 |      730
753.78/753.94	c  740s |      13 |    54948 |    43032 |   184058      0 |    66645 |      730
755.78/755.95	c  742s |      13 |    54948 |    43132 |   184058      0 |    66645 |      730
759.18/759.33	c  746s |      13 |    54948 |    43232 |   184058      0 |    66645 |      730
761.48/761.67	c  748s |      13 |    55222 |    43332 |   184058      0 |    66645 |      730
763.87/764.02	c  750s |      13 |    55222 |    43432 |   184058      0 |    66645 |      730
767.97/768.10	c  754s |      13 |    55496 |    43532 |   184058      0 |    66645 |      730
771.97/772.19	c  758s |      13 |    55496 |    43732 |   184058      0 |    66645 |      730
775.97/776.18	c  762s |      13 |    55769 |    43832 |   184058      0 |    66645 |      730
780.57/780.75	c  767s |      13 |    55769 |    44032 |   184058      0 |    66645 |      730
783.27/783.49	c  770s |      13 |    56041 |    44132 |   184058      0 |    66645 |      730
785.38/785.51	c  772s |      13 |    56041 |    44232 |   184058      0 |    66645 |      730
788.68/788.86	c  775s |      13 |    56041 |    44332 |   184058      0 |    66645 |      730
790.67/790.87	c  777s |      13 |    56311 |    44432 |   184058      0 |    66645 |      730
793.08/793.25	c  779s |      13 |    56311 |    44532 |   184058      0 |    66645 |      730
796.47/796.64	c  783s |      13 |    56580 |    44632 |   184058      0 |    66645 |      730
800.78/800.95	c  787s |      13 |    56580 |    44832 |   184058      0 |    66645 |      730
803.77/803.92	c  790s |      13 |    56848 |    44932 |   184058      0 |    66645 |      730
808.87/809.04	c  795s |      13 |    56848 |    45132 |   184058      0 |    66645 |      730
811.07/811.27	c  797s |      13 |    57115 |    45232 |   184058      0 |    66645 |      730
813.37/813.59	c  800s |      13 |    57115 |    45332 |   184058      0 |    66645 |      730
817.17/817.34	c  804s |      13 |    57383 |    45432 |   184058      0 |    66645 |      730
821.36/821.59	c  808s |      13 |    57383 |    45632 |   184058      0 |    66645 |      730
824.36/824.54	c  811s |      13 |    57649 |    45732 |   184058      0 |    66645 |      730
829.27/829.47	c  816s |      13 |    57649 |    45932 |   184058      0 |    66645 |      730
831.36/831.58	c  818s |      13 |    57914 |    46032 |   184058      0 |    66645 |      730
833.67/833.84	c  820s |      13 |    57914 |    46132 |   184058      0 |    66645 |      730
837.07/837.27	c  823s |      13 |    58177 |    46232 |   184058      0 |    66645 |      730
841.26/841.50	c  828s |      13 |    58177 |    46432 |   184058      0 |    66645 |      730
844.06/844.20	c  830s |      13 |    58440 |    46532 |   184058      0 |    66645 |      730
849.16/849.39	c  836s |      13 |    58440 |    46732 |   184058      0 |    66645 |      730
853.56/853.71	c  840s |      13 |    58701 |    46932 |   184058      0 |    66645 |      730
856.65/856.89	c  843s |      13 |    58962 |    47032 |   184058      0 |    66645 |      730
861.26/861.46	c  848s |      13 |    58962 |    47232 |   184058      0 |    66645 |      730
863.65/863.87	c  850s |      13 |    59223 |    47332 |   184058      0 |    66645 |      730
865.85/866.05	c  852s |      13 |    59223 |    47432 |   184058      0 |    66645 |      730
869.55/869.78	c  856s |      13 |    59481 |    47532 |   184058      0 |    66645 |      730
873.85/874.08	c  860s |      13 |    59481 |    47732 |   184058      0 |    66645 |      730
876.75/876.91	c  863s |      13 |    59738 |    47832 |   184058      0 |    66645 |      730
881.95/882.16	c  868s |      13 |    59738 |    48032 |   184058      0 |    66645 |      730
886.46/886.60	c  873s |      13 |    59995 |    48232 |   184058      0 |    66645 |      730
889.56/889.73	c  876s |      13 |    60251 |    48332 |   184058      0 |    66645 |      730
894.66/894.81	c  881s |      13 |    60251 |    48532 |   184058      0 |    66645 |      730
896.85/897.09	c  883s |      13 |    60506 |    48632 |   184058      0 |    66645 |      730
899.35/899.56	c  886s |      13 |    60506 |    48732 |   184058      0 |    66645 |      730
902.75/902.93	c  889s |      13 |    60759 |    48832 |   184058      0 |    66645 |      730
907.36/907.59	c  894s |      13 |    60759 |    49032 |   184058      0 |    66645 |      730
909.75/909.94	c  896s |      13 |    61012 |    49132 |   184058      0 |    66645 |      730
912.05/912.25	c  898s |      13 |    61012 |    49232 |   184058      0 |    66645 |      730
915.45/915.64	c  902s |      13 |    61265 |    49332 |   184058      0 |    66645 |      730
920.05/920.20	c  906s |      13 |    61265 |    49532 |   184058      0 |    66645 |      730
922.45/922.65	c  909s |      13 |    61517 |    49632 |   184058      0 |    66645 |      730
924.75/924.92	c  911s |      13 |    61517 |    49732 |   184058      0 |    66645 |      730
928.15/928.32	c  915s |      13 |    61767 |    49832 |   184058      0 |    66645 |      730
932.66/932.89	c  919s |      13 |    61767 |    50032 |   184058      0 |    66645 |      730
935.15/935.30	c  921s |      13 |    62015 |    50132 |   184058      0 |    66645 |      730
937.45/937.61	c  924s |      13 |    62015 |    50232 |   184058      0 |    66645 |      730
940.85/941.03	c  927s |      13 |    62262 |    50332 |   184058      0 |    66645 |      730
945.45/945.69	c  932s |      13 |    62262 |    50532 |   184058      0 |    66645 |      730
947.84/948.06	c  934s |      13 |    62511 |    50632 |   184058      0 |    66645 |      730
950.25/950.43	c  937s |      13 |    62511 |    50732 |   184058      0 |    66645 |      730
953.44/953.66	c  940s |      13 |    62757 |    50832 |   184058      0 |    66645 |      730
958.34/958.53	c  945s |      13 |    62757 |    51032 |   184058      0 |    66645 |      730
960.54/960.71	c  947s |      13 |    63002 |    51132 |   184058      0 |    66645 |      730
963.04/963.22	c  949s |      13 |    63002 |    51232 |   184058      0 |    66645 |      730
965.94/966.19	c  952s |      13 |    63245 |    51332 |   184058      0 |    66645 |      730
968.04/968.20	c  954s |      13 |    63245 |    51432 |   184058      0 |    66645 |      730
971.84/972.05	c  958s |      13 |    63488 |    51532 |   184058      0 |    66645 |      730
975.94/976.14	c  962s |      13 |    63488 |    51732 |   184058      0 |    66645 |      730
978.54/978.77	c  965s |      13 |    63742 |    51832 |   184058      0 |    66645 |      730
980.74/980.92	c  967s |      13 |    63742 |    51932 |   184058      0 |    66645 |      730
984.34/984.57	c  971s |      13 |    63982 |    52032 |   184058      0 |    66645 |      730
988.53/988.78	c  975s |      13 |    63982 |    52232 |   184058      0 |    66645 |      730
991.04/991.23	c  977s |      13 |    64223 |    52332 |   184058      0 |    66645 |      730
993.24/993.46	c  980s |      13 |    64223 |    52432 |   184058      0 |    66645 |      730
996.44/996.64	c  983s |      13 |    64461 |    52532 |   184058      0 |    66645 |      730
1001.43/1001.61	c  988s |      13 |    64461 |    52732 |   184058      0 |    66645 |      730
1003.83/1004.01	c  990s |      13 |    64737 |    52832 |   184058      0 |    66645 |      730
1006.53/1006.79	c  993s |      13 |    64737 |    52932 |   184058      0 |    66645 |      730
1010.23/1010.49	c  997s |      13 |    64974 |    53032 |   184058      0 |    66645 |      730
1014.83/1015.04	c 1001s |      13 |    64974 |    53232 |   184058      0 |    66645 |      730
1016.83/1017.07	c 1003s |      13 |    65208 |    53332 |   184058      0 |    66645 |      730
1019.33/1019.55	c 1006s |      13 |    65208 |    53432 |   184058      0 |    66645 |      730
1022.13/1022.32	c 1009s |      13 |    65457 |    53532 |   184058      0 |    66645 |      730
1027.24/1027.45	c 1014s |      13 |    65457 |    53732 |   184058      0 |    66645 |      730
1031.54/1031.79	c 1018s |      13 |    65690 |    53932 |   184058      0 |    66645 |      730
1033.73/1033.99	c 1020s |      13 |    65922 |    54032 |   184058      0 |    66645 |      730
1036.04/1036.24	c 1022s |      13 |    65922 |    54132 |   184058      0 |    66645 |      730
1038.73/1038.99	c 1025s |      13 |    66153 |    54232 |   184058      0 |    66645 |      730
1043.84/1044.09	c 1030s |      13 |    66383 |    54432 |   184058      0 |    66645 |      730
1048.14/1048.35	c 1035s |      13 |    66383 |    54632 |   184058      0 |    66645 |      730
1050.23/1050.43	c 1037s |      13 |    66612 |    54732 |   184058      0 |    66645 |      730
1052.64/1052.82	c 1039s |      13 |    66612 |    54832 |   184058      0 |    66645 |      730
1055.13/1055.34	c 1042s |      13 |    66839 |    54932 |   184058      0 |    66645 |      730
1057.13/1057.37	c 1044s |      13 |    66839 |    55032 |   184058      0 |    66645 |      730
1060.33/1060.58	c 1047s |      13 |    67065 |    55132 |   184058      0 |    66645 |      730
1065.23/1065.44	c 1052s |      13 |    67065 |    55332 |   184058      0 |    66645 |      730
1069.82/1070.06	c 1056s |      13 |    67290 |    55532 |   184058      0 |    66645 |      730
1071.92/1072.15	c 1058s |      13 |    67515 |    55632 |   184058      0 |    66645 |      730
1074.32/1074.50	c 1061s |      13 |    67515 |    55732 |   184058      0 |    66645 |      730
1076.73/1076.97	c 1063s |      13 |    67738 |    55832 |   184058      0 |    66645 |      730
1078.82/1079.00	c 1065s |      13 |    67738 |    55932 |   184058      0 |    66645 |      730
1081.62/1081.85	c 1068s |      13 |    67962 |    56032 |   184058      0 |    66645 |      730
1086.52/1086.73	c 1073s |      13 |    68184 |    56232 |   184058      0 |    66645 |      730
1090.72/1090.99	c 1077s |      13 |    68184 |    56432 |   184058      0 |    66645 |      730
1095.22/1095.40	c 1082s |      13 |    68405 |    56632 |   184058      0 |    66645 |      730
1097.42/1097.63	c 1084s |      13 |    68627 |    56732 |   184058      0 |    66645 |      730
1099.62/1099.88	c 1086s |      13 |    68627 |    56832 |   184058      0 |    66645 |      730
1102.22/1102.45	c 1089s |      13 |    68846 |    56932 |   184058      0 |    66645 |      730
1107.02/1107.27	c 1093s |      13 |    69063 |    57132 |   184058      0 |    66645 |      730
1111.92/1112.13	c 1098s |      13 |    69280 |    57332 |   184058      0 |    66645 |      730
1116.32/1116.53	c 1103s |      13 |    69280 |    57532 |   184058      0 |    66645 |      730
1120.91/1121.11	c 1107s |      13 |    69496 |    57732 |   184058      0 |    66645 |      730
1123.02/1123.30	c 1109s |      13 |    69710 |    57832 |   184058      0 |    66645 |      730
1125.51/1125.79	c 1112s |      13 |    69710 |    57932 |   184058      0 |    66645 |      730
1127.91/1128.15	c 1114s |      13 |    69924 |    58032 |   202464      0 |    66645 |      730
1130.21/1130.40	c 1117s |      13 |    69924 |    58132 |   202464      0 |    66645 |      730
1132.82/1133.01	c 1119s |      13 |    70136 |    58232 |   202464      0 |    66645 |      730
1134.91/1135.13	c 1121s |      13 |    70136 |    58332 |   202464      0 |    66645 |      730
1135.51/1135.72	c 1122s |      14 |    70136 |    58352 |   202464      0 |    66645 |      730
1138.71/1138.90	c 1125s |      14 |    70403 |    58452 |   202464      0 |    66645 |      730
1143.21/1143.40	c 1130s |      14 |    70615 |    58652 |   202464      0 |    66645 |      730
1145.81/1146.07	c 1132s |      14 |    70826 |    58752 |   202464      0 |    66645 |      730
1148.41/1148.63	c 1135s |      14 |    70826 |    58852 |   202464      0 |    66645 |      730
1151.52/1151.76	c 1138s |      14 |    71037 |    58952 |   202464      0 |    66645 |      730
1153.72/1153.99	c 1140s |      14 |    71037 |    59052 |   202464      0 |    66645 |      730
1157.22/1157.41	c 1144s |      14 |    71246 |    59152 |   202464      0 |    66645 |      730
1159.22/1159.43	c 1146s |      14 |    71246 |    59252 |   202464      0 |    66645 |      730
1162.71/1162.95	c 1149s |      14 |    71456 |    59352 |   202464      0 |    66645 |      730
1168.21/1168.44	c 1155s |      14 |    71664 |    59552 |   202464      0 |    66645 |      730
1173.71/1173.94	c 1160s |      14 |    71871 |    59752 |   202464      0 |    66645 |      730
1179.12/1179.34	c 1166s |      14 |    72076 |    59952 |   202464      0 |    66645 |      730
1184.41/1184.69	c 1171s |      14 |    72281 |    60152 |   202464      0 |    66645 |      730
1189.41/1189.61	c 1176s |      14 |    72281 |    60352 |   202464      0 |    66645 |      730
1194.61/1194.85	c 1181s |      14 |    72485 |    60552 |   202464      0 |    66645 |      730
1199.70/1199.91	c 1186s |      14 |    72688 |    60752 |   202464      0 |    66645 |      730
1201.80/1202.00	c 1188s |      14 |    72889 |    60852 |   202464      0 |    66645 |      730
1204.80/1205.09	c 1191s |      14 |    72889 |    60952 |   202464      0 |    66645 |      730
1207.00/1207.25	c 1193s |      14 |    73091 |    61052 |   202464      0 |    66645 |      730
1210.10/1210.30	c 1196s |      14 |    73091 |    61152 |   202464      0 |    66645 |      730
1212.20/1212.43	c 1199s |      14 |    73291 |    61252 |   202464      0 |    66645 |      730
1215.20/1215.46	c 1202s |      14 |    73291 |    61352 |   202464      0 |    66645 |      730
1217.20/1217.49	c 1204s |      14 |    73489 |    61452 |   202464      0 |    66645 |      730
1220.20/1220.46	c 1207s |      14 |    73489 |    61552 |   202464      0 |    66645 |      730
1222.40/1222.64	c 1209s |      14 |    73687 |    61652 |   202464      0 |    66645 |      730
1225.40/1225.68	c 1212s |      14 |    73687 |    61752 |   202464      0 |    66645 |      730
1227.50/1227.77	c 1214s |      14 |    73883 |    61852 |   202464      0 |    66645 |      730
1230.90/1231.15	c 1217s |      14 |    74078 |    61952 |   202464      0 |    66645 |      730
1235.90/1236.16	c 1222s |      14 |    74273 |    62152 |   202464      0 |    66645 |      730
1240.60/1240.84	c 1227s |      14 |    74466 |    62352 |   202464      0 |    66645 |      730
1245.40/1245.66	c 1232s |      14 |    74659 |    62552 |   202464      0 |    66645 |      730
1250.20/1250.48	c 1237s |      14 |    74849 |    62752 |   202464      0 |    66645 |      730
1255.00/1255.27	c 1241s |      14 |    75038 |    62952 |   202464      0 |    66645 |      730
1257.20/1257.42	c 1244s |      14 |    75038 |    63052 |   202464      0 |    66645 |      730
1259.69/1259.95	c 1246s |      14 |    75226 |    63152 |   202464      0 |    66645 |      730
1261.99/1262.25	c 1248s |      14 |    75226 |    63252 |   202464      0 |    66645 |      730
1264.49/1264.73	c 1251s |      14 |    75414 |    63352 |   202464      0 |    66645 |      730
1266.99/1267.27	c 1253s |      14 |    75414 |    63452 |   202464      0 |    66645 |      730
1269.39/1269.62	c 1256s |      14 |    75601 |    63552 |   202464      0 |    66645 |      730
1272.08/1272.34	c 1259s |      14 |    75601 |    63652 |   202464      0 |    66645 |      730
1274.28/1274.52	c 1261s |      14 |    75788 |    63752 |   202464      0 |    66645 |      730
1277.38/1277.65	c 1264s |      14 |    75973 |    63852 |   202464      0 |    66645 |      730
1281.79/1282.00	c 1268s |      14 |    76156 |    64052 |   202464      0 |    66645 |      730
1286.19/1286.42	c 1273s |      14 |    76338 |    64252 |   202464      0 |    66645 |      730
1288.29/1288.57	c 1275s |      14 |    76338 |    64352 |   202464      0 |    66645 |      730
1290.58/1290.88	c 1277s |      14 |    76519 |    64452 |   202464      0 |    66645 |      730
1293.08/1293.32	c 1280s |      14 |    76519 |    64552 |   202464      0 |    66645 |      730
1295.38/1295.66	c 1282s |      14 |    76700 |    64652 |   202464      0 |    66645 |      730
1298.18/1298.40	c 1285s |      14 |    76700 |    64752 |   202464      0 |    66645 |      730
1302.77/1303.01	c 1289s |      14 |    77057 |    64952 |   202464      0 |    66645 |      730
1307.07/1307.33	c 1294s |      14 |    77235 |    65152 |   202464      0 |    66645 |      730
1309.17/1309.48	c 1296s |      14 |    77235 |    65252 |   202464      0 |    66645 |      730
1311.47/1311.71	c 1298s |      14 |    77414 |    65352 |   202464      0 |    66645 |      730
1313.97/1314.25	c 1300s |      14 |    77414 |    65452 |   202464      0 |    66645 |      730
1316.16/1316.48	c 1303s |      14 |    77591 |    65552 |   202464      0 |    66645 |      730
1318.96/1319.29	c 1305s |      14 |    77766 |    65652 |   202464      0 |    66645 |      730
1323.26/1323.57	c 1310s |      14 |    77939 |    65852 |   202464      0 |    66645 |      730
1325.46/1325.71	c 1312s |      14 |    77939 |    65952 |   202464      0 |    66645 |      730
1327.66/1327.91	c 1314s |      14 |    78111 |    66052 |   202464      0 |    66645 |      730
1330.16/1330.49	c 1317s |      14 |    78111 |    66152 |   202464      0 |    66645 |      730
1334.75/1335.08	c 1321s |      14 |    78452 |    66352 |   202464      0 |    66645 |      730
1339.35/1339.61	c 1326s |      14 |    78621 |    66552 |   202464      0 |    66645 |      730
1341.75/1342.03	c 1328s |      14 |    78621 |    66652 |   202464      0 |    66645 |      730
1346.44/1346.72	c 1333s |      14 |    78957 |    66852 |   202464      0 |    66645 |      730
1350.65/1350.92	c 1337s |      14 |    79123 |    67052 |   202464      0 |    66645 |      730
1352.94/1353.28	c 1339s |      14 |    79123 |    67152 |   202464      0 |    66645 |      730
1354.95/1355.30	c 1341s |      14 |    79289 |    67252 |   202464      0 |    66645 |      730
1357.74/1358.00	c 1344s |      14 |    79454 |    67352 |   202464      0 |    66645 |      730
1361.94/1362.20	c 1348s |      14 |    79617 |    67552 |   202464      0 |    66645 |      730
1364.34/1364.66	c 1351s |      14 |    79617 |    67652 |   202464      0 |    66645 |      730
1368.84/1369.17	c 1355s |      14 |    79940 |    67852 |   202464      0 |    66645 |      730
1370.94/1371.23	c 1357s |      14 |    79940 |    67952 |   202464      0 |    66645 |      730
1373.14/1373.41	c 1360s |      14 |    80100 |    68052 |   202464      0 |    66645 |      730
1376.24/1376.50	c 1363s |      14 |    80260 |    68152 |   202464      0 |    66645 |      730
1380.24/1380.59	c 1367s |      14 |    80419 |    68352 |   202464      0 |    66645 |      730
1382.73/1383.01	c 1369s |      14 |    80419 |    68452 |   202464      0 |    66645 |      730
1384.74/1385.03	c 1371s |      14 |    80577 |    68552 |   202464      0 |    66645 |      730
1387.13/1387.48	c 1374s |      14 |    80733 |    68652 |   202464      0 |    66645 |      730
1389.33/1389.64	c 1376s |      14 |    80733 |    68752 |   202464      0 |    66645 |      730
1391.34/1391.67	c 1378s |      14 |    80888 |    68852 |   202464      0 |    66645 |      730
1393.83/1394.18	c 1380s |      14 |    81042 |    68952 |   202464      0 |    66645 |      730
1395.83/1396.19	c 1382s |      14 |    81042 |    69052 |   202464      0 |    66645 |      730
1398.03/1398.33	c 1385s |      14 |    81195 |    69152 |   202464      0 |    66645 |      730
1400.63/1400.93	c 1387s |      14 |    81347 |    69252 |   202464      0 |    66645 |      730
1404.73/1405.02	c 1391s |      14 |    81498 |    69452 |   202464      0 |    66645 |      730
1407.33/1407.65	c 1394s |      14 |    81649 |    69552 |   202464      0 |    66645 |      730
1411.43/1411.70	c 1398s |      14 |    81800 |    69752 |   202464      0 |    66645 |      730
1414.03/1414.34	c 1401s |      14 |    81949 |    69852 |   202464      0 |    66645 |      730
1418.13/1418.42	c 1405s |      14 |    82098 |    70052 |   202464      0 |    66645 |      730
1420.63/1420.99	c 1407s |      14 |    82244 |    70152 |   202464      0 |    66645 |      730
1424.82/1425.12	c 1411s |      14 |    82389 |    70352 |   202464      0 |    66645 |      730
1427.32/1427.61	c 1414s |      14 |    82533 |    70452 |   202464      0 |    66645 |      730
1429.42/1429.70	c 1416s |      14 |    82533 |    70552 |   202464      0 |    66645 |      730
1431.42/1431.76	c 1418s |      14 |    82676 |    70652 |   202464      0 |    66645 |      730
1433.92/1434.29	c 1420s |      14 |    82818 |    70752 |   202464      0 |    66645 |      730
1436.32/1436.61	c 1423s |      14 |    82818 |    70852 |   202464      0 |    66645 |      730
1438.42/1438.76	c 1425s |      14 |    82960 |    70952 |   202464      0 |    66645 |      730
1440.82/1441.14	c 1427s |      14 |    83100 |    71052 |   202464      0 |    66645 |      730
1443.41/1443.75	c 1430s |      14 |    83239 |    71152 |   202464      0 |    66645 |      730
1447.61/1447.90	c 1434s |      14 |    83378 |    71352 |   202464      0 |    66645 |      730
1450.01/1450.33	c 1437s |      14 |    83515 |    71452 |   202464      0 |    66645 |      730
1452.61/1452.99	c 1439s |      14 |    83652 |    71552 |   202464      0 |    66645 |      730
1456.61/1456.93	c 1443s |      14 |    83788 |    71752 |   202464      0 |    66645 |      730
1459.01/1459.39	c 1446s |      14 |    83922 |    71852 |   202464      0 |    66645 |      730
1461.31/1461.61	c 1448s |      14 |    83922 |    71952 |   202464      0 |    66645 |      730
1463.31/1463.64	c 1450s |      14 |    84057 |    72052 |   202464      0 |    66645 |      730
1465.51/1465.90	c 1452s |      14 |    84190 |    72152 |   202464      0 |    66645 |      730
1468.00/1468.34	c 1455s |      14 |    84321 |    72252 |   202464      0 |    66645 |      730
1470.30/1470.62	c 1457s |      14 |    84321 |    72352 |   202464      0 |    66645 |      730
1472.30/1472.63	c 1459s |      14 |    84451 |    72452 |   202464      0 |    66645 |      730
1474.50/1474.80	c 1461s |      14 |    84583 |    72552 |   202464      0 |    66645 |      730
1476.80/1477.10	c 1463s |      14 |    84711 |    72652 |   202464      0 |    66645 |      730
1479.10/1479.48	c 1466s |      14 |    84838 |    72752 |   202464      0 |    66645 |      730
1483.10/1483.40	c 1470s |      14 |    84964 |    72952 |   202464      0 |    66645 |      730
1485.10/1485.46	c 1472s |      14 |    85089 |    73052 |   202464      0 |    66645 |      730
1487.30/1487.62	c 1474s |      14 |    85214 |    73152 |   202464      0 |    66645 |      730
1489.50/1489.82	c 1476s |      14 |    85337 |    73252 |   202464      0 |    66645 |      730
1493.40/1493.71	c 1480s |      14 |    85460 |    73452 |   202464      0 |    66645 |      730
1497.39/1497.73	c 1484s |      14 |    85701 |    73652 |   202464      0 |    66645 |      730
1499.49/1499.84	c 1486s |      14 |    85820 |    73752 |   202464      0 |    66645 |      730
1501.69/1502.00	c 1488s |      14 |    85938 |    73852 |   202464      0 |    66645 |      730
1505.39/1505.76	c 1492s |      14 |    86056 |    74052 |   202464      0 |    66645 |      730
1509.39/1509.77	c 1496s |      14 |    86288 |    74252 |   202464      0 |    66645 |      730
1511.49/1511.85	c 1498s |      14 |    86403 |    74352 |   202464      0 |    66645 |      730
1513.58/1513.91	c 1500s |      14 |    86516 |    74452 |   202464      0 |    66645 |      730
1515.59/1515.99	c 1502s |      14 |    86629 |    74552 |   202464      0 |    66645 |      730
1517.69/1518.08	c 1504s |      14 |    86740 |    74652 |   202464      0 |    66645 |      730
1521.38/1521.77	c 1508s |      14 |    86850 |    74852 |   202464      0 |    66645 |      730
1525.27/1525.60	c 1512s |      14 |    87067 |    75052 |   202464      0 |    66645 |      730
1529.07/1529.46	c 1516s |      14 |    87280 |    75252 |   202464      0 |    66645 |      730
1532.97/1533.35	c 1520s |      14 |    87489 |    75452 |   202464      0 |    66645 |      730
1536.86/1537.21	c 1523s |      14 |    87696 |    75652 |   202464      0 |    66645 |      730
1540.66/1541.03	c 1527s |      14 |    87898 |    75852 |   202464      0 |    66645 |      730
1544.47/1544.82	c 1531s |      14 |    88095 |    76052 |   202464      0 |    66645 |      730
1548.17/1548.58	c 1535s |      14 |    88288 |    76252 |   202464      0 |    66645 |      730
1551.96/1552.31	c 1539s |      14 |    88477 |    76452 |   202464      0 |    66645 |      730
1555.66/1556.05	c 1542s |      14 |    88663 |    76652 |   202464      0 |    66645 |      730
1559.46/1559.83	c 1546s |      14 |    88844 |    76852 |   202464      0 |    66645 |      730
1563.15/1563.56	c 1550s |      14 |    89111 |    77052 |   202464      0 |    66645 |      730
1566.75/1567.12	c 1553s |      14 |    89282 |    77252 |   202464      0 |    66645 |      730
1570.46/1570.83	c 1557s |      14 |    89449 |    77452 |   202464      0 |    66645 |      730
1574.05/1574.47	c 1561s |      14 |    89693 |    77652 |   202464      0 |    66645 |      730
1577.75/1578.11	c 1564s |      14 |    89850 |    77852 |   202464      0 |    66645 |      730
1579.74/1580.18	c 1566s |      14 |    90003 |    77952 |   202464      0 |    66645 |      730
1583.35/1583.73	c 1570s |      14 |    90152 |    78152 |   202464      0 |    66645 |      730
1586.85/1587.23	c 1573s |      14 |    90368 |    78352 |   202464      0 |    66645 |      730
1590.35/1590.72	c 1577s |      14 |    90576 |    78552 |   202464      0 |    66645 |      730
1593.74/1594.18	c 1580s |      14 |    90775 |    78752 |   202464      0 |    66645 |      730
1597.24/1597.61	c 1584s |      14 |    90964 |    78952 |   202464      0 |    66645 |      730
1600.64/1601.02	c 1587s |      14 |    91144 |    79152 |   202464      0 |    66645 |      730
1603.84/1604.29	c 1590s |      14 |    91370 |    79352 |   202464      0 |    66645 |      730
1607.14/1607.56	c 1594s |      14 |    91580 |    79552 |   202464      0 |    66645 |      730
1610.23/1610.68	c 1597s |      14 |    91774 |    79752 |   202464      0 |    66645 |      730
1613.33/1613.74	c 1600s |      14 |    91952 |    79952 |   202464      0 |    66645 |      730
1616.32/1616.70	c 1603s |      14 |    92153 |    80152 |   202464      0 |    66645 |      730
1619.72/1620.17	c 1606s |      14 |    92361 |    80352 |   202464      0 |    66645 |      730
1622.52/1622.94	c 1609s |      14 |    92558 |    80552 |   202464      0 |    66645 |      730
1626.72/1627.17	c 1613s |      14 |    92861 |    80752 |   202464      0 |    66646 |      730
1629.32/1629.79	c 1616s |      14 |    93255 |    80952 |   202464      0 |    66646 |      730
1632.02/1632.49	c 1619s |      14 |    93255 |    81052 |   202464      0 |    66646 |      730
1636.32/1636.74	c 1623s |      14 |    93255 |    81152 |   202464      0 |    66646 |      730
1639.22/1639.69	c 1626s |      14 |    93923 |    81452 |   202464      0 |    66646 |      730
1641.52/1641.96	c 1628s |      14 |    94144 |    81652 |   202464      0 |    66646 |      730
1643.91/1644.31	c 1631s |      14 |    94314 |    81852 |   202464      0 |    66646 |      730
1646.32/1646.80	c 1633s |      14 |    94510 |    82052 |   202464      0 |    66646 |      730
1648.92/1649.36	c 1636s |      14 |    94732 |    82252 |   202464      0 |    66646 |      730
1651.62/1652.06	c 1638s |      14 |    94927 |    82452 |   202464      0 |    66646 |      730
1654.42/1654.85	c 1641s |      14 |    95138 |    82652 |   202464      0 |    66646 |      730
1657.22/1657.64	c 1644s |      14 |    95306 |    82852 |   202464      0 |    66646 |      730
1660.22/1660.67	c 1647s |      14 |    95484 |    83052 |   202464      0 |    66646 |      730
1663.22/1663.69	c 1650s |      14 |    95735 |    83252 |   202464      0 |    66646 |      730
1666.32/1666.80	c 1653s |      14 |    95935 |    83452 |   202464      0 |    66646 |      730
1669.52/1670.00	c 1656s |      14 |    96143 |    83652 |   202464      0 |    66646 |      730
1672.72/1673.16	c 1659s |      14 |    96289 |    83852 |   202464      0 |    66646 |      730
1677.42/1677.85	c 1664s |      14 |    96914 |    84052 |   202464      0 |    66647 |      730
1679.81/1680.23	c 1666s |      14 |    96914 |    84152 |   202464      0 |    66647 |      730
1683.72/1684.12	c 1670s |      14 |    96914 |    84252 |   202464      0 |    66647 |      730
1688.91/1689.33	c 1676s |      14 |    96914 |    84352 |   202464      0 |    66647 |      730
1692.31/1692.77	c 1679s |      14 |    97231 |    84452 |   202464      0 |    66647 |      730
1695.82/1696.29	c 1682s |      14 |    97231 |    84552 |   202464      0 |    66647 |      730
1700.61/1701.03	c 1687s |      14 |    97231 |    84652 |   202464      0 |    66647 |      730
1703.71/1704.10	c 1690s |      14 |    99427 |    84952 |   202464      0 |    66647 |      730
1708.51/1708.97	c 1695s |      14 |   100219 |    85152 |   202464      0 |    66647 |      730
1713.01/1713.42	c 1700s |      14 |   100219 |    85252 |   202464      0 |    66647 |      730
1716.81/1717.25	c 1703s |      14 |   100403 |    85352 |   202464      0 |    66647 |      730
1721.90/1722.37	c 1709s |      14 |   100768 |    85552 |   202464      0 |    66647 |      730
1726.50/1726.99	c 1713s |      14 |   100768 |    85652 |   202464      0 |    66647 |      730
1730.30/1730.75	c 1717s |      14 |   101198 |    85752 |   202464      0 |    66647 |      730
1732.50/1732.92	c 1719s |      14 |   101198 |    85852 |   202464      0 |    66647 |      730
1736.10/1736.54	c 1723s |      14 |   101198 |    85952 |   202464      0 |    66647 |      730
1740.91/1741.39	c 1728s |      14 |   101198 |    86052 |   202464      0 |    66647 |      730
1744.60/1745.06	c 1731s |      14 |   101499 |    86152 |   202464      0 |    66647 |      730
1748.29/1748.80	c 1735s |      14 |   101499 |    86252 |   202464      0 |    66647 |      730
1753.29/1753.77	c 1740s |      14 |   101499 |    86352 |   202464      0 |    66647 |      730
1756.09/1756.55	c 1743s |      14 |   101857 |    86452 |   202464      0 |    66647 |      730
1758.89/1759.35	c 1746s |      14 |   101857 |    86552 |   202464      0 |    66647 |      730
1763.19/1763.63	c 1750s |      14 |   101857 |    86652 |   202464      0 |    66647 |      730
1768.40/1768.80	c 1755s |      14 |   102216 |    86752 |   202464      0 |    66647 |      730
1773.58/1774.09	c 1760s |      14 |   102216 |    86952 |   202464      0 |    66647 |      730
1778.29/1778.75	c 1765s |      14 |   102216 |    87052 |   222711      0 |    66647 |      730
1781.78/1782.26	c 1768s |      14 |   102575 |    87152 |   222711      0 |    66647 |      730
1784.38/1784.86	c 1771s |      14 |   102575 |    87252 |   222711      0 |    66647 |      730
1788.38/1788.87	c 1775s |      14 |   102575 |    87352 |   222711      0 |    66647 |      730
1793.68/1794.11	c 1780s |      14 |   102575 |    87452 |   222711      0 |    66647 |      730
1795.68/1796.16	c 1782s |      14 |   102931 |    87552 |   222711      0 |    66647 |      730
1798.18/1798.69	c 1785s |      15 |   102931 |    87632 |   222711      0 |    66647 |      730

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

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

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


[startup+0 s]
/proc/loadavg: 2.21 2.21 2.21 3/179 17254
/proc/meminfo: memFree=29256776/32872528 swapFree=1431120/1543540
[pid=17254] ppid=17251 vsize=508348 CPUtime=0 cores=1,3,5,7
/proc/17254/stat : 17254 (toysat) R 17251 17254 15180 0 -1 4202496 1861 0 0 0 0 0 0 0 20 0 4 0 23622592 520548352 2222 33554432000 4194304 16246674 140735341237824 140735341237248 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17254/statm: 127855 2230 441 2943 0 124749 0
[pid=17254/tid=17255] ppid=17251 vsize=526780 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17255/stat : 17255 (toysat) S 17251 17254 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23622592 539422720 2290 33554432000 4194304 16246674 140735341237824 140303183883504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17254/tid=17256] ppid=17251 vsize=530876 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17256/stat : 17256 (toysat) S 17251 17254 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23622592 543617024 2307 33554432000 4194304 16246674 140735341237824 140303173393648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17254/tid=17257] ppid=17251 vsize=534972 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17257/stat : 17257 (toysat) S 17251 17254 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23622592 547811328 2322 33554432000 4194304 16246674 140735341237824 140303092673712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.21 2.21 2.21 3/179 17254
/proc/meminfo: memFree=29256776/32872528 swapFree=1431120/1543540
[pid=17254] ppid=17251 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/17254/stat : 17254 (toysat) R 17251 17254 15180 0 -1 4202496 28933 0 0 0 6 3 0 0 20 0 4 0 23622592 1333334016 29232 33554432000 4194304 16246674 140735341237824 140735341237136 7377409 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17254/statm: 325521 29250 803 2943 0 322415 0
[pid=17254/tid=17255] ppid=17251 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17255/stat : 17255 (toysat) S 17251 17254 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23622592 1333334016 29262 33554432000 4194304 16246674 140735341237824 140303183883504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17254/tid=17256] ppid=17251 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17256/stat : 17256 (toysat) S 17251 17254 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23622592 1333334016 29273 33554432000 4194304 16246674 140735341237824 140303173393648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17254/tid=17257] ppid=17251 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17257/stat : 17257 (toysat) S 17251 17254 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23622592 1333334016 29283 33554432000 4194304 16246674 140735341237824 140303092673712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.20056 s]
/proc/loadavg: 2.21 2.21 2.21 3/179 17254
/proc/meminfo: memFree=29256776/32872528 swapFree=1431120/1543540
[pid=17254] ppid=17251 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/17254/stat : 17254 (toysat) R 17251 17254 15180 0 -1 4202496 46553 0 0 0 13 6 0 0 20 0 4 0 23622592 1343819776 47363 33554432000 4194304 16246674 140735341237824 140735341237136 7374352 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17254/statm: 328081 47363 804 2943 0 324975 0
[pid=17254/tid=17255] ppid=17251 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17255/stat : 17255 (toysat) S 17251 17254 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23622592 1343819776 47363 33554432000 4194304 16246674 140735341237824 140303183883504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17254/tid=17256] ppid=17251 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17256/stat : 17256 (toysat) S 17251 17254 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23622592 1343819776 47363 33554432000 4194304 16246674 140735341237824 140303173393648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17254/tid=17257] ppid=17251 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17257/stat : 17257 (toysat) S 17251 17254 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23622592 1343819776 47363 33554432000 4194304 16246674 140735341237824 140303092673712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.30051 s]
/proc/loadavg: 2.21 2.21 2.21 3/179 17254
/proc/meminfo: memFree=29256776/32872528 swapFree=1431120/1543540
[pid=17254] ppid=17251 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/17254/stat : 17254 (toysat) R 17251 17254 15180 0 -1 4202496 50393 0 0 0 22 7 0 0 20 0 4 0 23622592 1343819776 51203 33554432000 4194304 16246674 140735341237824 140735341237136 8057316 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17254/statm: 328081 51203 804 2943 0 324975 0
[pid=17254/tid=17255] ppid=17251 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17255/stat : 17255 (toysat) S 17251 17254 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23622592 1343819776 51203 33554432000 4194304 16246674 140735341237824 140303183883504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17254/tid=17256] ppid=17251 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17256/stat : 17256 (toysat) S 17251 17254 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23622592 1343819776 51203 33554432000 4194304 16246674 140735341237824 140303173393648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17254/tid=17257] ppid=17251 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17257/stat : 17257 (toysat) S 17251 17254 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23622592 1343819776 51203 33554432000 4194304 16246674 140735341237824 140303092673712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700393 s]
/proc/loadavg: 2.21 2.21 2.21 3/179 17254
/proc/meminfo: memFree=29256776/32872528 swapFree=1431120/1543540
[pid=17254] ppid=17251 vsize=1312324 CPUtime=0.68 cores=1,3,5,7
/proc/17254/stat : 17254 (toysat) R 17251 17254 15180 0 -1 4202496 62312 0 0 0 60 8 0 0 20 0 4 0 23622592 1343819776 63122 33554432000 4194304 16246674 140735341237824 140735341237136 8055570 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17254/statm: 328081 63122 805 2943 0 324975 0
[pid=17254/tid=17255] ppid=17251 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17255/stat : 17255 (toysat) S 17251 17254 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23622592 1343819776 63122 33554432000 4194304 16246674 140735341237824 140303183883504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17254/tid=17256] ppid=17251 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17256/stat : 17256 (toysat) S 17251 17254 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23622592 1343819776 63122 33554432000 4194304 16246674 140735341237824 140303173393648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17254/tid=17257] ppid=17251 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17257/stat : 17257 (toysat) S 17251 17254 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23622592 1343819776 63122 33554432000 4194304 16246674 140735341237824 140303092673712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1312324

[startup+1.50039 s]
/proc/loadavg: 2.21 2.21 2.21 3/183 17258
/proc/meminfo: memFree=28988528/32872528 swapFree=1431120/1543540
[pid=17254] ppid=17251 vsize=1312324 CPUtime=1.49 cores=1,3,5,7
/proc/17254/stat : 17254 (toysat) R 17251 17254 15180 0 -1 4202496 80235 0 0 0 137 12 0 0 20 0 4 0 23622592 1343819776 81045 33554432000 4194304 16246674 140735341237824 140735341220816 13934353 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17254/statm: 328081 81045 812 2943 0 324975 0
[pid=17254/tid=17255] ppid=17251 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17255/stat : 17255 (toysat) S 17251 17254 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23622592 1343819776 81045 33554432000 4194304 16246674 140735341237824 140303183883504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17254/tid=17256] ppid=17251 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17256/stat : 17256 (toysat) S 17251 17254 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23622592 1343819776 81045 33554432000 4194304 16246674 140735341237824 140303173393648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17254/tid=17257] ppid=17251 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17257/stat : 17257 (toysat) S 17251 17254 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23622592 1343819776 81045 33554432000 4194304 16246674 140735341237824 140303092673712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1312324

[startup+3.10039 s]
/proc/loadavg: 2.20 2.20 2.20 3/183 17258
/proc/meminfo: memFree=28343976/32872528 swapFree=1431120/1543540
[pid=17254] ppid=17251 vsize=1380932 CPUtime=3.09 cores=1,3,5,7
/proc/17254/stat : 17254 (toysat) R 17251 17254 15180 0 -1 4202496 280708 0 0 0 269 40 0 0 20 0 4 0 23622592 1414074368 281518 33554432000 4194304 16246674 140735341237824 140735341219712 4206864 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17254/statm: 345233 281518 837 2943 0 342127 0
[pid=17254/tid=17255] ppid=17251 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17255/stat : 17255 (toysat) S 17251 17254 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23622592 1414074368 281518 33554432000 4194304 16246674 140735341237824 140303183883504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17254/tid=17256] ppid=17251 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17256/stat : 17256 (toysat) S 17251 17254 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23622592 1414074368 281518 33554432000 4194304 16246674 140735341237824 140303173393648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17254/tid=17257] ppid=17251 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17257/stat : 17257 (toysat) S 17251 17254 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23622592 1414074368 281518 33554432000 4194304 16246674 140735341237824 140303092673712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1380932

[startup+6.3004 s]
/proc/loadavg: 2.20 2.20 2.20 4/183 17258
/proc/meminfo: memFree=28106864/32872528 swapFree=1431120/1543540
[pid=17254] ppid=17251 vsize=1380932 CPUtime=6.29 cores=1,3,5,7
/proc/17254/stat : 17254 (toysat) R 17251 17254 15180 0 -1 4202496 280717 0 0 0 589 40 0 0 20 0 4 0 23622592 1414074368 281527 33554432000 4194304 16246674 140735341237824 140735341219712 13007925 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17254/statm: 345233 281527 838 2943 0 342127 0
[pid=17254/tid=17255] ppid=17251 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17255/stat : 17255 (toysat) S 17251 17254 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23622592 1414074368 281527 33554432000 4194304 16246674 140735341237824 140303183883504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17254/tid=17256] ppid=17251 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17256/stat : 17256 (toysat) S 17251 17254 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23622592 1414074368 281527 33554432000 4194304 16246674 140735341237824 140303173393648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17254/tid=17257] ppid=17251 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17257/stat : 17257 (toysat) S 17251 17254 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23622592 1414074368 281527 33554432000 4194304 16246674 140735341237824 140303092673712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1380932

[startup+12.7004 s]
/proc/loadavg: 2.17 2.20 2.20 3/183 17258
/proc/meminfo: memFree=28071720/32872528 swapFree=1431120/1543540
[pid=17254] ppid=17251 vsize=1380932 CPUtime=12.69 cores=1,3,5,7
/proc/17254/stat : 17254 (toysat) R 17251 17254 15180 0 -1 4202496 285862 0 0 0 1228 41 0 0 20 0 4 0 23622592 1414074368 286672 33554432000 4194304 16246674 140735341237824 140735341219712 12653093 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17254/statm: 345233 286672 840 2943 0 342127 0
[pid=17254/tid=17255] ppid=17251 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17255/stat : 17255 (toysat) S 17251 17254 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23622592 1414074368 286672 33554432000 4194304 16246674 140735341237824 140303183883504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17254/tid=17256] ppid=17251 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17256/stat : 17256 (toysat) S 17251 17254 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23622592 1414074368 286672 33554432000 4194304 16246674 140735341237824 140303173393648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17254/tid=17257] ppid=17251 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17257/stat : 17257 (toysat) S 17251 17254 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23622592 1414074368 286672 33554432000 4194304 16246674 140735341237824 140303092673712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1380932

[startup+25.5005 s]
/proc/loadavg: 2.14 2.19 2.20 3/183 17258
/proc/meminfo: memFree=28062580/32872528 swapFree=1431120/1543540
[pid=17254] ppid=17251 vsize=1380932 CPUtime=25.48 cores=1,3,5,7
/proc/17254/stat : 17254 (toysat) R 17251 17254 15180 0 -1 4202496 285919 0 0 0 2507 41 0 0 20 0 4 0 23622592 1414074368 286729 33554432000 4194304 16246674 140735341237824 140735341219712 12483464 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17254/statm: 345233 286729 897 2943 0 342127 0
[pid=17254/tid=17255] ppid=17251 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17255/stat : 17255 (toysat) S 17251 17254 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23622592 1414074368 286729 33554432000 4194304 16246674 140735341237824 140303183883504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17254/tid=17256] ppid=17251 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17256/stat : 17256 (toysat) S 17251 17254 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23622592 1414074368 286729 33554432000 4194304 16246674 140735341237824 140303173393648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17254/tid=17257] ppid=17251 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17257/stat : 17257 (toysat) S 17251 17254 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23622592 1414074368 286729 33554432000 4194304 16246674 140735341237824 140303092673712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1380932

[startup+51.1005 s]
/proc/loadavg: 2.15 2.19 2.20 3/183 17258
/proc/meminfo: memFree=27996496/32872528 swapFree=1431120/1543540
[pid=17254] ppid=17251 vsize=1380932 CPUtime=51.08 cores=1,3,5,7
/proc/17254/stat : 17254 (toysat) R 17251 17254 15180 0 -1 4202496 285919 0 0 0 5067 41 0 0 20 0 4 0 23622592 1414074368 286729 33554432000 4194304 16246674 140735341237824 140735341219712 5712188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17254/statm: 345233 286729 897 2943 0 342127 0
[pid=17254/tid=17255] ppid=17251 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17255/stat : 17255 (toysat) S 17251 17254 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23622592 1414074368 286729 33554432000 4194304 16246674 140735341237824 140303183883504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17254/tid=17256] ppid=17251 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17256/stat : 17256 (toysat) S 17251 17254 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23622592 1414074368 286729 33554432000 4194304 16246674 140735341237824 140303173393648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17254/tid=17257] ppid=17251 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17257/stat : 17257 (toysat) S 17251 17254 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23622592 1414074368 286729 33554432000 4194304 16246674 140735341237824 140303092673712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1380932

[startup+102.301 s]
/proc/loadavg: 2.18 2.19 2.19 4/184 17262
/proc/meminfo: memFree=27923248/32872528 swapFree=1431120/1543540
[pid=17254] ppid=17251 vsize=1380932 CPUtime=102.28 cores=1,3,5,7
/proc/17254/stat : 17254 (toysat) R 17251 17254 15180 0 -1 4202496 285919 0 0 0 10187 41 0 0 20 0 4 0 23622592 1414074368 286729 33554432000 4194304 16246674 140735341237824 140735341219712 5721639 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17254/statm: 345233 286729 897 2943 0 342127 0
[pid=17254/tid=17255] ppid=17251 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17255/stat : 17255 (toysat) S 17251 17254 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23622592 1414074368 286729 33554432000 4194304 16246674 140735341237824 140303183883504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17254/tid=17256] ppid=17251 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17256/stat : 17256 (toysat) S 17251 17254 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23622592 1414074368 286729 33554432000 4194304 16246674 140735341237824 140303173393648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17254/tid=17257] ppid=17251 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17257/stat : 17257 (toysat) S 17251 17254 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23622592 1414074368 286729 33554432000 4194304 16246674 140735341237824 140303092673712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1380932


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

/proc/17254/task/17257/stat : 17257 (toysat) S 17251 17254 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23622592 1414074368 286989 33554432000 4194304 16246674 140735341237824 140303092673712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1380932

[startup+1362.3 s]
/proc/loadavg: 2.20 2.19 2.18 3/183 17343
/proc/meminfo: memFree=28114416/32872528 swapFree=1431120/1543540
[pid=17254] ppid=17251 vsize=1380932 CPUtime=1362.04 cores=1,3,5,7
/proc/17254/stat : 17254 (toysat) R 17251 17254 15180 0 -1 4202496 285976 0 0 0 136153 51 0 0 20 0 4 0 23622592 1414074368 286989 33554432000 4194304 16246674 140735341237824 140735341237000 5827824 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17254/statm: 345233 286989 901 2943 0 342127 0
[pid=17254/tid=17255] ppid=17251 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17255/stat : 17255 (toysat) S 17251 17254 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23622592 1414074368 286989 33554432000 4194304 16246674 140735341237824 140303183883504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17254/tid=17256] ppid=17251 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17256/stat : 17256 (toysat) S 17251 17254 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23622592 1414074368 286989 33554432000 4194304 16246674 140735341237824 140303173393648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17254/tid=17257] ppid=17251 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17257/stat : 17257 (toysat) S 17251 17254 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23622592 1414074368 286989 33554432000 4194304 16246674 140735341237824 140303092673712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 1380932

[startup+1422.3 s]
/proc/loadavg: 2.16 2.18 2.18 3/183 17344
/proc/meminfo: memFree=28114192/32872528 swapFree=1431120/1543540
[pid=17254] ppid=17251 vsize=1380932 CPUtime=1422.03 cores=1,3,5,7
/proc/17254/stat : 17254 (toysat) R 17251 17254 15180 0 -1 4202496 285991 0 0 0 142151 52 0 0 20 0 4 0 23622592 1414074368 286989 33554432000 4194304 16246674 140735341237824 140735341219712 13760224 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17254/statm: 345233 286989 901 2943 0 342127 0
[pid=17254/tid=17255] ppid=17251 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17255/stat : 17255 (toysat) S 17251 17254 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23622592 1414074368 286989 33554432000 4194304 16246674 140735341237824 140303183883504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17254/tid=17256] ppid=17251 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17256/stat : 17256 (toysat) S 17251 17254 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23622592 1414074368 286989 33554432000 4194304 16246674 140735341237824 140303173393648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17254/tid=17257] ppid=17251 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17257/stat : 17257 (toysat) S 17251 17254 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23622592 1414074368 286989 33554432000 4194304 16246674 140735341237824 140303092673712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 1380932

[startup+1482.3 s]
/proc/loadavg: 2.20 2.19 2.18 3/183 17345
/proc/meminfo: memFree=28108156/32872528 swapFree=1431120/1543540
[pid=17254] ppid=17251 vsize=1380932 CPUtime=1482 cores=1,3,5,7
/proc/17254/stat : 17254 (toysat) R 17251 17254 15180 0 -1 4202496 286009 0 0 0 148147 53 0 0 20 0 4 0 23622592 1414074368 286989 33554432000 4194304 16246674 140735341237824 140735341219712 13780660 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17254/statm: 345233 286989 901 2943 0 342127 0
[pid=17254/tid=17255] ppid=17251 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17255/stat : 17255 (toysat) S 17251 17254 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23622592 1414074368 286989 33554432000 4194304 16246674 140735341237824 140303183883504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17254/tid=17256] ppid=17251 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17256/stat : 17256 (toysat) S 17251 17254 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23622592 1414074368 286989 33554432000 4194304 16246674 140735341237824 140303173393648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17254/tid=17257] ppid=17251 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17257/stat : 17257 (toysat) S 17251 17254 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23622592 1414074368 286989 33554432000 4194304 16246674 140735341237824 140303092673712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 1380932

[startup+1542.31 s]
/proc/loadavg: 2.16 2.18 2.18 3/183 17346
/proc/meminfo: memFree=28107196/32872528 swapFree=1431120/1543540
[pid=17254] ppid=17251 vsize=1380932 CPUtime=1541.97 cores=1,3,5,7
/proc/17254/stat : 17254 (toysat) R 17251 17254 15180 0 -1 4202496 286041 0 0 0 154144 53 0 0 20 0 4 0 23622592 1414074368 286989 33554432000 4194304 16246674 140735341237824 140735341219712 5722960 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17254/statm: 345233 286989 901 2943 0 342127 0
[pid=17254/tid=17255] ppid=17251 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17255/stat : 17255 (toysat) S 17251 17254 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23622592 1414074368 286989 33554432000 4194304 16246674 140735341237824 140303183883504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17254/tid=17256] ppid=17251 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17256/stat : 17256 (toysat) S 17251 17254 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23622592 1414074368 286989 33554432000 4194304 16246674 140735341237824 140303173393648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17254/tid=17257] ppid=17251 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17257/stat : 17257 (toysat) S 17251 17254 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23622592 1414074368 286989 33554432000 4194304 16246674 140735341237824 140303092673712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 1380932

[startup+1602.3 s]
/proc/loadavg: 2.17 2.18 2.18 3/183 17347
/proc/meminfo: memFree=28107172/32872528 swapFree=1431120/1543540
[pid=17254] ppid=17251 vsize=1380932 CPUtime=1601.94 cores=1,3,5,7
/proc/17254/stat : 17254 (toysat) R 17251 17254 15180 0 -1 4202496 286074 0 0 0 160139 55 0 0 20 0 4 0 23622592 1414074368 286989 33554432000 4194304 16246674 140735341237824 140735341219712 5712067 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17254/statm: 345233 286989 901 2943 0 342127 0
[pid=17254/tid=17255] ppid=17251 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17255/stat : 17255 (toysat) S 17251 17254 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23622592 1414074368 286989 33554432000 4194304 16246674 140735341237824 140303183883504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17254/tid=17256] ppid=17251 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17256/stat : 17256 (toysat) S 17251 17254 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23622592 1414074368 286989 33554432000 4194304 16246674 140735341237824 140303173393648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17254/tid=17257] ppid=17251 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17257/stat : 17257 (toysat) S 17251 17254 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23622592 1414074368 286989 33554432000 4194304 16246674 140735341237824 140303092673712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 1380932

[startup+1662.3 s]
/proc/loadavg: 2.27 2.20 2.18 3/182 17348
/proc/meminfo: memFree=27940556/32872528 swapFree=1431120/1543540
[pid=17254] ppid=17251 vsize=1546820 CPUtime=1661.92 cores=1,3,5,7
/proc/17254/stat : 17254 (toysat) R 17251 17254 15180 0 -1 4202496 327558 0 0 0 166131 61 0 0 20 0 4 0 23622592 1583943680 328461 33554432000 4194304 16246674 140735341237824 140735341219712 6012036 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17254/statm: 386705 328461 901 2943 0 383599 0
[pid=17254/tid=17255] ppid=17251 vsize=1546820 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17255/stat : 17255 (toysat) S 17251 17254 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23622592 1583943680 328461 33554432000 4194304 16246674 140735341237824 140303183883504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17254/tid=17256] ppid=17251 vsize=1546820 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17256/stat : 17256 (toysat) S 17251 17254 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23622592 1583943680 328461 33554432000 4194304 16246674 140735341237824 140303173393648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17254/tid=17257] ppid=17251 vsize=1546820 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17257/stat : 17257 (toysat) S 17251 17254 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23622592 1583943680 328461 33554432000 4194304 16246674 140735341237824 140303092673712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 1546820

[startup+1722.3 s]
/proc/loadavg: 2.34 2.23 2.19 3/183 17350
/proc/meminfo: memFree=27941212/32872528 swapFree=1431120/1543540
[pid=17254] ppid=17251 vsize=1546820 CPUtime=1721.9 cores=1,3,5,7
/proc/17254/stat : 17254 (toysat) R 17251 17254 15180 0 -1 4202496 327563 0 0 0 172129 61 0 0 20 0 4 0 23622592 1583943680 328461 33554432000 4194304 16246674 140735341237824 140735341219712 5711624 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17254/statm: 386705 328461 901 2943 0 383599 0
[pid=17254/tid=17255] ppid=17251 vsize=1546820 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17255/stat : 17255 (toysat) S 17251 17254 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23622592 1583943680 328461 33554432000 4194304 16246674 140735341237824 140303183883504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17254/tid=17256] ppid=17251 vsize=1546820 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17256/stat : 17256 (toysat) S 17251 17254 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23622592 1583943680 328461 33554432000 4194304 16246674 140735341237824 140303173393648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17254/tid=17257] ppid=17251 vsize=1546820 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17257/stat : 17257 (toysat) S 17251 17254 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23622592 1583943680 328461 33554432000 4194304 16246674 140735341237824 140303092673712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1546820

[startup+1782.3 s]
/proc/loadavg: 2.25 2.22 2.19 3/183 17351
/proc/meminfo: memFree=27924780/32872528 swapFree=1431120/1543540
[pid=17254] ppid=17251 vsize=1546820 CPUtime=1781.88 cores=1,3,5,7
/proc/17254/stat : 17254 (toysat) R 17251 17254 15180 0 -1 4202496 327580 0 0 0 178127 61 0 0 20 0 4 0 23622592 1583943680 328461 33554432000 4194304 16246674 140735341237824 140735341219712 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17254/statm: 386705 328461 901 2943 0 383599 0
[pid=17254/tid=17255] ppid=17251 vsize=1546820 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17255/stat : 17255 (toysat) S 17251 17254 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23622592 1583943680 328461 33554432000 4194304 16246674 140735341237824 140303183883504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17254/tid=17256] ppid=17251 vsize=1546820 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17256/stat : 17256 (toysat) S 17251 17254 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23622592 1583943680 328461 33554432000 4194304 16246674 140735341237824 140303173393648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17254/tid=17257] ppid=17251 vsize=1546820 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17257/stat : 17257 (toysat) S 17251 17254 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23622592 1583943680 328461 33554432000 4194304 16246674 140735341237824 140303092673712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 1546820



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.27 2.23 2.19 4/183 17351
/proc/meminfo: memFree=27925152/32872528 swapFree=1431120/1543540
[pid=17254] ppid=17251 vsize=1546820 CPUtime=1800.08 cores=1,3,5,7
/proc/17254/stat : 17254 (toysat) R 17251 17254 15180 0 -1 4202496 327584 0 0 0 179947 61 0 0 20 0 4 0 23622592 1583943680 328461 33554432000 4194304 16246674 140735341237824 140735341219712 12995176 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17254/statm: 386705 328461 901 2943 0 383599 0
[pid=17254/tid=17255] ppid=17251 vsize=1546820 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17255/stat : 17255 (toysat) S 17251 17254 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23622592 1583943680 328461 33554432000 4194304 16246674 140735341237824 140303183883504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17254/tid=17256] ppid=17251 vsize=1546820 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17256/stat : 17256 (toysat) S 17251 17254 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23622592 1583943680 328461 33554432000 4194304 16246674 140735341237824 140303173393648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17254/tid=17257] ppid=17251 vsize=1546820 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17257/stat : 17257 (toysat) S 17251 17254 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23622592 1583943680 328461 33554432000 4194304 16246674 140735341237824 140303092673712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1546820

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

[startup+1800.5 s]
/proc/loadavg: 2.27 2.23 2.19 4/183 17351
/proc/meminfo: memFree=27925152/32872528 swapFree=1431120/1543540
[pid=17254] ppid=17251 vsize=1546820 CPUtime=1800.08 cores=1,3,5,7
/proc/17254/stat : 17254 (toysat) R 17251 17254 15180 0 -1 4202496 327584 0 0 0 179947 61 0 0 20 0 4 0 23622592 1583943680 328461 33554432000 4194304 16246674 140735341237824 140735341219712 12995176 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17254/statm: 386705 328461 901 2943 0 383599 0
[pid=17254/tid=17255] ppid=17251 vsize=1546820 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17255/stat : 17255 (toysat) S 17251 17254 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23622592 1583943680 328461 33554432000 4194304 16246674 140735341237824 140303183883504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17254/tid=17256] ppid=17251 vsize=1546820 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17256/stat : 17256 (toysat) S 17251 17254 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23622592 1583943680 328461 33554432000 4194304 16246674 140735341237824 140303173393648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17254/tid=17257] ppid=17251 vsize=1546820 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17257/stat : 17257 (toysat) S 17251 17254 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23622592 1583943680 328461 33554432000 4194304 16246674 140735341237824 140303092673712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1546820

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.11
CPU user time (s): 1799.47
CPU system time (s): 0.638902
CPU usage (%): 99.9767
Max. virtual memory (cumulated for all children) (KiB): 1546820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.47
system time used= 0.638902
maximum resident set size= 1313844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 327584
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= 212
involuntary context switches= 2360

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.72928 second user time and 6.78897 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-18 04:08:59
IDJOB=4100641
IDBENCH=1643
IDSOLVER=2542
FILE ID=node116/4100641-1466215738
RUNJOBID= node116-1466206094-15197
PBS_JOBID= 19918160
Free space on /tmp= 71700 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-greenbea.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100641-1466215738/watcher-4100641-1466215738 -o /tmp/evaluation-result-4100641-1466215738/solver-4100641-1466215738 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466206094-15197 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100641-1466215738.opb

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

MD5SUM BENCH= 542c2b53b45e753224c38b905fee77fb
RANDOM SEED=1136816983

node116.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.781
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.56
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.781
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.781
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.781
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.781
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.781
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.54
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.781
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.781
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29257684 kB
Buffers:          104816 kB
Cached:           129728 kB
SwapCached:         2160 kB
Active:          1202864 kB
Inactive:         130472 kB
Active(anon):    1099524 kB
Inactive(anon):     1544 kB
Active(file):     103340 kB
Inactive(file):   128928 kB
Unevictable:     1543540 kB
Mlocked:         1431120 kB
SwapTotal:      67108856 kB
SwapFree:       67099604 kB
Dirty:             25544 kB
Writeback:             0 kB
AnonPages:       2643268 kB
Mapped:            10832 kB
Shmem:                 0 kB
Slab:             603556 kB
SReclaimable:      47500 kB
SUnreclaim:       556056 kB
KernelStack:        1472 kB
PageTables:         9340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2786504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    116736 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= 71684 MiB
End job on node116 at 2016-06-18 04:38:59