Trace number 4080051

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_20null10mast_rapportOE2.0_TMAX180_K67_cod2.opb
MD5SUM27c4cd1b0a50f71c46e26d24b1ec8806
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-22694
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40937
Total number of constraints41436
Number of constraints which are clauses40882
Number of constraints which are cardinality constraints (but not clauses)67
Number of constraints which are nor clauses,nor cardinality constraints487
Minimum length of a constraint1
Maximum length of a constraint8416
Number of terms in the objective function 389
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 231641
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 1000
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 231641
Number of bits of the biggest sum of numbers18
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-07T10:46:29+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-4080051-1465289189.opb"]
0.00/0.01	c use --random-gen="237518020 3500618913 1086419242 1486882043 2013181925 3264888272 3693022326 3293463472 1712281157 2816356968 280303504 15034370 2071243668 3227966984 3212890655 2828516022 1114431737 3136998732 2637615543 2582711541 318967709 2733606840 4279182288 71942393 517446194 3854799248 3775963744 3665000652 2174340258 1438099120 1281391267 2449880395 2150319392 3591882512 1306405058 770209233 14965310 489097317 1473645215 825497853 132971429 1311995438 12623979 3544346163 3993126221 2823785027 154499032 1939615753 3960574132 1459703605 949934477 2502455971 3693143310 2822128664 3576914639 190156628 2664782711 2104822506 1412604587 4085799067 3053575319 3287238511 3441639480 2666766557 1735272148 2907780707 3918854821 1179328819 2835260882 3769187535 541607326 2292444476 1673500695 3031170561 26990495 3320771996 2148114511 4005607251 4138923523 2409441056 584120814 2362680162 1811454130 1899482384 510623547 444948640 1044069106 1706525624 1470217241 3067690026 2119521713 2572497178 3407553154 1782878603 1536607213 3803662436 2119494054 3258524867 2454724334 2349295782 1012331621 449514145 1381278176 575150222 1936930258 968977055 3891439656 654318356 3664605043 2633430001 2517177675 1152260423 2068736452 653395174 1440737684 3453693400 3299209078 2765748487 2186103459 2909918018 4263489699 722610827 2430677269 530928834 62564001 3131133762 574500980 583827193 1321044040 2996828782 3008399439 2405426930 2585688441 1360927785 999478513 475564732 4100000899 2955825744 1238159599 3496886261 182913802 2829783426 1131668535 3585216388 907597754 507432305 1440470582 1987305267 2951094772 2092431232 2814154075 3958552626 3681418214 3442501874 162834725 2851714198 4277285091 2105440376 357605101 869907645 704156960 3917557887 1396792480 250740444 3797612317 2138088197 4258975552 3287216532 3286194416 878720256 3207058680 1755141442 2347731319 2971539152 2998482212 26082301 1894644109 3453181170 2819999613 2764822490 2903820246 1148826276 3600192297 1528166382 4078222107 3316127455 394990281 4247423036 1977646568 3530370745 3679315334 2983478227 3886501902 3150991541 2936554615 1009666730 4093300816 3639336116 3107935330 2514935315 1333233460 967885924 300509815 1336265749 2332516228 1029594133 2621346649 2245769546 3872610692 3204963528 525089009 2928466987 3217190534 3753784899 2734137289 2701095939 4168677589 4103560908 447903469 2850783514 3253675292 4196331592 440097468 2169743213 142035576 560095321 3246066553 277441175 2977838301 1373803483 72964324 2340486397 3437180743 4139786467 1221416717 3780953534 3467757159 3194818616 3414373841 101323828 725259134 1738672219 247071717 2911981318 791655384 4143009572 2196369678 5408688 1210486746 3733487492 1844631119 506814726 3315626474 3105098511 1487303691 3432929720 255 362436" option to reproduce the execution
0.39/0.44	c #vars 40937
0.39/0.44	c #constraints 41436
1.48/1.50	c BCD2: Hardening is enabled.
1.48/1.50	c BCD2: BiasedSearch is enabled.
1.48/1.50	c Solving starts ...
1.48/1.50	c ============================[ Search Statistics ]============================
1.48/1.50	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.48/1.50	c       |         |          |          |    Limit     GC | Var      | Constra 
1.48/1.50	c =============================================================================
1.48/1.50	c  0.0s |       0 |        0 |        0 |    27456      0 |      125 |        0
2.78/2.84	c  1.3s |       1 |     9630 |      100 |    27456      0 |      148 |      146
5.39/5.40	c  3.9s |       2 |    10678 |      250 |    30202      0 |      148 |      146
8.09/8.17	c  6.7s |       2 |    14024 |      350 |    33223      0 |      148 |      146
9.59/9.67	c  8.2s |       3 |    16356 |      475 |    33223      0 |      148 |      146
12.49/12.50	c 11.0s |       3 |    21224 |      575 |    36546      0 |      148 |      146
15.58/15.69	c 14.2s |       3 |    25668 |      775 |    36546      0 |      148 |      146
16.18/16.20	c 14.7s |       4 |    26208 |      813 |    36546      0 |      148 |      146
19.28/19.31	c 17.8s |       4 |    30440 |      913 |    40201      0 |      148 |      146
22.18/22.28	c 20.8s |       4 |    31368 |     1013 |    40201      0 |      148 |      146
24.48/24.59	c 23.1s |       4 |    32895 |     1113 |    40201      0 |      148 |      146
26.98/27.08	c 25.6s |       4 |    34082 |     1313 |    40201      0 |      148 |      146
27.08/27.16	c 25.7s |       5 |    34091 |     1320 |    40201      0 |      148 |      146
30.89/30.94	c 29.4s |       5 |    35266 |     1520 |    44222      0 |      148 |      146
34.19/34.27	c 32.8s |       5 |    35807 |     1720 |    44222      0 |      148 |      146
37.78/37.83	c 36.3s |       5 |    36933 |     1920 |    44222      0 |      148 |      146
40.28/40.34	c 38.8s |       5 |    40494 |     2020 |    44222      0 |      148 |      146
41.18/41.27	c 39.8s |       6 |    41943 |     2081 |    48645      0 |      148 |      146
43.78/43.89	c 42.4s |       6 |    44331 |     2181 |    48645      0 |      148 |      146
46.38/46.49	c 45.0s |       6 |    49895 |     2281 |    48645      0 |      148 |      146
48.78/48.83	c 47.3s |       6 |    57992 |     2481 |    48645      0 |      148 |      146
51.79/51.88	c 50.4s |       6 |    62876 |     2681 |    48645      0 |      148 |      146
54.68/54.75	c 53.2s |       6 |    67794 |     2781 |    48645      0 |      148 |      146
58.08/58.13	c 56.6s |       6 |    74493 |     2981 |    48645      0 |      148 |      146
60.68/60.70	c 59.2s |       6 |    75652 |     3181 |    48645      0 |      148 |      146
61.38/61.44	c 59.9s |       7 |    75739 |     3223 |    53510      0 |      148 |      146
65.48/65.56	c 64.1s |       7 |    76459 |     3323 |    53510      0 |      148 |      146
70.18/70.24	c 68.7s |       7 |    80981 |     3523 |    53510      0 |      148 |      146
73.38/73.48	c 72.0s |       7 |    82492 |     3723 |    53510      0 |      148 |      146
77.28/77.35	c 75.8s |       7 |    83172 |     3923 |    53510      0 |      148 |      146
79.97/80.04	c 78.5s |       7 |    84116 |     4123 |    53510      0 |      148 |      146
82.87/82.95	c 81.4s |       7 |    85233 |     4323 |    53510      0 |      148 |      146
85.88/85.91	c 84.4s |       7 |    88242 |     4423 |    53510      0 |      148 |      146
89.18/89.21	c 87.7s |       7 |    90728 |     4523 |    53510      0 |      148 |      146
92.07/92.17	c 90.7s |       7 |    92497 |     4623 |    53510      0 |      148 |      146
94.17/94.24	c 92.7s |       7 |    95180 |     4823 |    53510      0 |      148 |      146
95.68/95.76	c 94.3s |       8 |    96228 |     4936 |    58862      0 |      148 |      146
99.37/99.43	c 97.9s |       8 |    98956 |     5136 |    58862      0 |      148 |      146
102.67/102.73	c  101s |       8 |   101917 |     5336 |    58862      0 |      148 |      146
105.77/105.82	c  104s |       8 |   102588 |     5536 |    58862      0 |      148 |      146
109.07/109.18	c  107s |       8 |   103289 |     5736 |    58862      0 |      148 |      146
112.28/112.35	c  110s |       8 |   107581 |     5836 |    58862      0 |      148 |      146
114.48/114.57	c  113s |       8 |   108515 |     5936 |    58862      0 |      148 |      146
116.97/117.08	c  115s |       8 |   108720 |     6036 |    58862      0 |      148 |      146
119.27/119.33	c  117s |       8 |   110208 |     6136 |    58862      0 |      148 |      146
121.57/121.66	c  120s |       8 |   114455 |     6236 |    58862      0 |      148 |      146
125.07/125.12	c  123s |       8 |   117828 |     6336 |    58862      0 |      148 |      146
127.07/127.19	c  125s |       8 |   119198 |     6436 |    58862      0 |      148 |      146
129.57/129.69	c  128s |       8 |   119875 |     6536 |    58862      0 |      148 |      146
133.07/133.14	c  131s |       8 |   122874 |     6736 |    58862      0 |      148 |      146
136.07/136.10	c  134s |       8 |   127500 |     6936 |    58862      0 |      148 |      146
139.16/139.27	c  137s |       8 |   129990 |     7036 |    58862      0 |      148 |      146
141.66/141.74	c  140s |       8 |   131026 |     7136 |    58862      0 |      148 |      146
144.66/144.77	c  143s |       8 |   133995 |     7336 |    58862      0 |      148 |      146
147.76/147.81	c  146s |       9 |   134411 |     7506 |    64749      0 |      148 |      146
149.86/149.97	c  148s |       9 |   135382 |     7606 |    64749      0 |      148 |      146
154.46/154.59	c  153s |       9 |   137290 |     7806 |    64749      0 |      148 |      146
157.37/157.47	c  155s |       9 |   138996 |     7906 |    64749      0 |      148 |      146
159.47/159.58	c  158s |       9 |   141484 |     8006 |    64749      0 |      148 |      146
162.26/162.38	c  160s |       9 |   142874 |     8206 |    64749      0 |      148 |      146
166.36/166.47	c  164s |       9 |   144707 |     8406 |    64749      0 |      148 |      146
169.37/169.42	c  167s |       9 |   145544 |     8506 |    64749      0 |      148 |      146
172.06/172.18	c  170s |       9 |   146379 |     8606 |    64749      0 |      148 |      146
176.26/176.30	c  174s |       9 |   147270 |     8806 |    64749      0 |      148 |      146
178.27/178.33	c  176s |       9 |   147602 |     8906 |    64749      0 |      148 |      146
180.96/181.09	c  179s |       9 |   148477 |     9006 |    64749      0 |      148 |      146
184.56/184.67	c  183s |       9 |   149877 |     9206 |    64749      0 |      148 |      146
187.56/187.60	c  186s |       9 |   150562 |     9306 |    64749      0 |      148 |      146
189.86/189.92	c  188s |       9 |   150935 |     9406 |    64749      0 |      148 |      146
192.26/192.39	c  190s |       9 |   151450 |     9506 |    64749      0 |      148 |      146
195.46/195.57	c  194s |       9 |   152574 |     9706 |    64749      0 |      148 |      146
197.76/197.81	c  196s |       9 |   152927 |     9806 |    64749      0 |      148 |      146
199.76/199.82	c  198s |       9 |   153126 |     9906 |    64749      0 |      148 |      146
202.36/202.50	c  200s |       9 |   153595 |    10006 |    64749      0 |      148 |      146
205.66/205.72	c  204s |       9 |   154189 |    10106 |    64749      0 |      148 |      146
208.65/208.79	c  207s |       9 |   155796 |    10306 |    64749      0 |      148 |      146
210.85/210.95	c  209s |       9 |   156183 |    10406 |    64749      0 |      148 |      146
214.75/214.86	c  213s |       9 |   157534 |    10606 |    64749      0 |      148 |      146
216.95/217.02	c  215s |       9 |   158609 |    10706 |    64749      0 |      148 |      146
220.65/220.79	c  219s |       9 |   160166 |    10906 |    64749      0 |      148 |      146
222.75/222.81	c  221s |       9 |   160445 |    11006 |    64749      0 |      148 |      146
226.75/226.87	c  225s |       9 |   161707 |    11206 |    64749      0 |      148 |      146
228.86/228.97	c  227s |      10 |   162258 |    11361 |    71224      0 |      148 |      146
231.75/231.88	c  230s |      10 |   162657 |    11561 |    71224      0 |      148 |      146
233.95/234.04	c  232s |      10 |   162997 |    11761 |    71224      0 |      148 |      146
237.25/237.37	c  235s |      10 |   163846 |    11961 |    71224      0 |      148 |      146
240.25/240.34	c  238s |      10 |   164074 |    12061 |    71224      0 |      148 |      146
243.75/243.86	c  242s |      10 |   164234 |    12161 |    71224      0 |      148 |      146
248.25/248.38	c  246s |      10 |   164365 |    12261 |    71224      0 |      148 |      146
252.25/252.30	c  250s |      10 |   164817 |    12361 |    71224      0 |      148 |      146
254.65/254.79	c  253s |      10 |   165181 |    12461 |    71224      0 |      148 |      146
258.15/258.25	c  256s |      10 |   165667 |    12661 |    71224      0 |      148 |      146
260.35/260.46	c  258s |      10 |   165884 |    12761 |    71224      0 |      148 |      146
262.95/263.04	c  261s |      10 |   166115 |    12861 |    71224      0 |      148 |      146
264.94/265.08	c  263s |      10 |   166371 |    12961 |    71224      0 |      148 |      146
267.54/267.69	c  266s |      10 |   166747 |    13161 |    71224      0 |      148 |      146
269.74/269.87	c  268s |      10 |   167004 |    13261 |    71224      0 |      148 |      146
273.54/273.60	c  272s |      10 |   167591 |    13461 |    71224      0 |      148 |      146
276.74/276.86	c  275s |      10 |   168027 |    13661 |    71224      0 |      148 |      146
279.04/279.14	c  277s |      10 |   168413 |    13861 |    71224      0 |      148 |      146
281.34/281.49	c  279s |      10 |   168720 |    14061 |    71224      0 |      148 |      146
284.14/284.20	c  282s |      10 |   169077 |    14261 |    71224      0 |      148 |      146
287.54/287.65	c  286s |      10 |   169384 |    14461 |    71224      0 |      148 |      146
291.34/291.49	c  289s |      10 |   169838 |    14661 |    71224      0 |      148 |      146
294.44/294.53	c  293s |      10 |   170247 |    14861 |    71224      0 |      148 |      146
298.44/298.53	c  297s |      10 |   170696 |    15061 |    71224      0 |      148 |      146
300.64/300.79	c  299s |      10 |   170845 |    15161 |    71224      0 |      148 |      146
305.14/305.20	c  303s |      10 |   171464 |    15361 |    71224      0 |      148 |      146
307.64/307.76	c  306s |      10 |   172105 |    15461 |    71224      0 |      148 |      146
310.44/310.50	c  308s |      10 |   172737 |    15561 |    71224      0 |      148 |      146
314.04/314.19	c  312s |      10 |   173901 |    15761 |    71224      0 |      148 |      146
316.44/316.59	c  315s |      10 |   174950 |    15961 |    71224      0 |      148 |      146
318.74/318.87	c  317s |      10 |   175660 |    16061 |    71224      0 |      148 |      146
320.94/321.07	c  319s |      10 |   175983 |    16161 |    71224      0 |      148 |      146
323.34/323.50	c  321s |      10 |   176362 |    16261 |    71224      0 |      148 |      146
325.43/325.56	c  324s |      10 |   177039 |    16361 |    71224      0 |      148 |      146
330.23/330.31	c  328s |      10 |   178102 |    16561 |    71224      0 |      148 |      146
334.44/334.50	c  333s |      10 |   179034 |    16761 |    71224      0 |      148 |      146
336.73/336.81	c  335s |      10 |   179642 |    16861 |    71224      0 |      148 |      146
340.63/340.75	c  339s |      10 |   180673 |    17061 |    78347      0 |      148 |      146
342.63/342.71	c  341s |      11 |   181019 |    17144 |    78347      0 |      148 |      146
344.93/345.04	c  343s |      11 |   185808 |    17344 |    78347      0 |      148 |      146
348.93/349.06	c  347s |      11 |   188128 |    17544 |    78347      0 |      148 |      146
351.94/352.08	c  350s |      11 |   190012 |    17744 |    78347      0 |      148 |      146
354.93/355.08	c  353s |      11 |   191620 |    17944 |    78347      0 |      148 |      146
357.23/357.31	c  355s |      11 |   192480 |    18044 |    78347      0 |      148 |      146
360.74/360.81	c  359s |      11 |   193153 |    18244 |    78347      0 |      148 |      146
364.33/364.47	c  362s |      11 |   196585 |    18444 |    78347      0 |      148 |      146
366.33/366.48	c  364s |      11 |   197334 |    18544 |    78347      0 |      148 |      146
370.33/370.41	c  368s |      11 |   198354 |    18744 |    78347      0 |      148 |      146
372.43/372.59	c  371s |      11 |   199084 |    18844 |    78347      0 |      148 |      146
376.23/376.37	c  374s |      11 |   200201 |    19044 |    78347      0 |      148 |      146
380.43/380.51	c  379s |      11 |   200870 |    19244 |    78347      0 |      148 |      146
384.72/384.86	c  383s |      11 |   201716 |    19444 |    78347      0 |      148 |      146
388.62/388.72	c  387s |      11 |   202360 |    19644 |    78347      0 |      148 |      146
391.32/391.47	c  389s |      11 |   204198 |    19844 |    78347      0 |      148 |      146
393.83/393.97	c  392s |      11 |   204855 |    20044 |    78347      0 |      148 |      146
397.42/397.58	c  396s |      11 |   206708 |    20244 |    78347      0 |      148 |      146
400.82/401.00	c  399s |      11 |   208258 |    20444 |    78347      0 |      148 |      146
403.02/403.11	c  401s |      11 |   209241 |    20644 |    78347      0 |      148 |      146
406.42/406.59	c  405s |      11 |   210374 |    20844 |    78347      0 |      148 |      146
408.82/408.90	c  407s |      11 |   210740 |    20944 |    78347      0 |      148 |      146
412.02/412.18	c  410s |      11 |   211990 |    21144 |    78347      0 |      148 |      146
414.42/414.55	c  413s |      11 |   213968 |    21344 |    78347      0 |      148 |      146
416.62/416.72	c  415s |      11 |   214762 |    21544 |    78347      0 |      148 |      146
418.82/418.95	c  417s |      11 |   215385 |    21644 |    78347      0 |      148 |      146
420.82/420.97	c  419s |      11 |   217508 |    21744 |    78347      0 |      148 |      146
424.12/424.22	c  422s |      11 |   219326 |    21944 |    78347      0 |      148 |      146
426.22/426.31	c  424s |      11 |   219964 |    22044 |    78347      0 |      148 |      146
428.62/428.77	c  427s |      11 |   220812 |    22144 |    78347      0 |      148 |      146
431.22/431.37	c  429s |      11 |   223120 |    22344 |    78347      0 |      148 |      146
434.32/434.40	c  432s |      11 |   224022 |    22644 |    78347      0 |      148 |      146
437.02/437.14	c  435s |      11 |   224880 |    22844 |    78347      0 |      148 |      146
439.92/440.07	c  438s |      11 |   225451 |    23144 |    78347      0 |      148 |      146
442.32/442.48	c  440s |      11 |   225794 |    23344 |    78347      0 |      148 |      146
445.12/445.29	c  443s |      11 |   227084 |    23544 |    78347      0 |      148 |      146
447.62/447.80	c  446s |      11 |   228276 |    23744 |    78347      0 |      148 |      146
450.61/450.71	c  449s |      11 |   229183 |    23944 |    78347      0 |      148 |      146
453.22/453.34	c  451s |      11 |   229972 |    24144 |    78347      0 |      148 |      146
455.71/455.84	c  454s |      11 |   230904 |    24344 |    78347      0 |      148 |      146
458.72/458.84	c  457s |      11 |   231603 |    24544 |    78347      0 |      148 |      146
461.51/461.65	c  460s |      11 |   232783 |    24744 |    78347      0 |      148 |      146
463.71/463.85	c  462s |      11 |   233468 |    24944 |    78347      0 |      148 |      146
466.81/466.97	c  465s |      11 |   234183 |    25144 |    78347      0 |      148 |      146
469.31/469.42	c  467s |      11 |   234931 |    25344 |    78347      0 |      148 |      146
472.71/472.84	c  471s |      11 |   236362 |    25544 |    78347      0 |      148 |      146
475.31/475.40	c  473s |      11 |   236997 |    25744 |    86182      0 |      148 |      146
476.41/476.59	c  475s |      12 |   237223 |    25819 |    86182      0 |      148 |      146
480.01/480.17	c  478s |      12 |   238114 |    26019 |    86182      0 |      148 |      146
483.31/483.40	c  481s |      12 |   239044 |    26219 |    86182      0 |      148 |      146
486.91/487.04	c  485s |      12 |   239845 |    26419 |    86182      0 |      148 |      146
490.11/490.29	c  488s |      12 |   240336 |    26619 |    86182      0 |      148 |      146
493.61/493.73	c  492s |      12 |   240937 |    26819 |    86182      0 |      148 |      146
496.61/496.74	c  495s |      12 |   241900 |    27019 |    86182      0 |      148 |      146
499.51/499.65	c  498s |      12 |   243398 |    27219 |    86182      0 |      148 |      146
502.81/502.96	c  501s |      12 |   244618 |    27419 |    86182      0 |      148 |      146
505.61/505.75	c  504s |      12 |   244951 |    27619 |    86182      0 |      148 |      146
508.51/508.68	c  507s |      12 |   245994 |    27819 |    86182      0 |      148 |      146
511.31/511.47	c  509s |      12 |   247207 |    28019 |    86182      0 |      148 |      146
514.01/514.19	c  512s |      12 |   247756 |    28219 |    86182      0 |      148 |      146
516.11/516.22	c  514s |      12 |   248196 |    28319 |    86182      0 |      148 |      146
518.71/518.81	c  517s |      12 |   248791 |    28519 |    86182      0 |      148 |      146
521.61/521.79	c  520s |      12 |   249402 |    28719 |    86182      0 |      148 |      146
524.72/524.87	c  523s |      12 |   250391 |    28919 |    86182      0 |      148 |      146
528.21/528.30	c  526s |      12 |   251856 |    29119 |    86182      0 |      148 |      146
530.91/531.09	c  529s |      12 |   252697 |    29319 |    86182      0 |      148 |      146
534.41/534.57	c  533s |      12 |   253223 |    29519 |    86182      0 |      148 |      146
537.41/537.52	c  536s |      12 |   254058 |    29719 |    86182      0 |      148 |      146
540.81/540.99	c  539s |      12 |   255522 |    29919 |    86182      0 |      148 |      146
543.81/543.99	c  542s |      12 |   256346 |    30119 |    86182      0 |      148 |      146
546.81/546.90	c  545s |      12 |   258208 |    30319 |    86182      0 |      148 |      146
549.61/549.75	c  548s |      12 |   259523 |    30519 |    86182      0 |      148 |      146
552.41/552.58	c  551s |      12 |   260356 |    30719 |    86182      0 |      148 |      146
555.41/555.52	c  554s |      12 |   261136 |    30919 |    86182      0 |      148 |      146
558.01/558.17	c  556s |      12 |   262197 |    31119 |    86182      0 |      148 |      146
561.21/561.38	c  559s |      12 |   263070 |    31319 |    86182      0 |      148 |      146
564.31/564.40	c  562s |      12 |   264647 |    31519 |    86182      0 |      148 |      146
567.11/567.20	c  565s |      12 |   265815 |    31719 |    86182      0 |      148 |      146
570.31/570.47	c  568s |      12 |   266794 |    31919 |    86182      0 |      148 |      146
573.01/573.14	c  571s |      12 |   268645 |    32119 |    86182      0 |      148 |      146
576.10/576.24	c  574s |      12 |   270287 |    32319 |    86182      0 |      148 |      146
579.00/579.14	c  577s |      12 |   271032 |    32519 |    86182      0 |      148 |      146
581.20/581.38	c  579s |      12 |   272767 |    32719 |    86182      0 |      148 |      146
583.70/583.80	c  582s |      12 |   273149 |    32919 |    86182      0 |      148 |      146
586.70/586.80	c  585s |      12 |   273514 |    33119 |    86182      0 |      148 |      146
590.00/590.12	c  588s |      12 |   274281 |    33319 |    86182      0 |      148 |      146
592.20/592.37	c  590s |      12 |   275013 |    33619 |    86182      0 |      148 |      146
594.40/594.58	c  593s |      12 |   275544 |    33819 |    86182      0 |      148 |      146
597.00/597.19	c  595s |      12 |   276797 |    34019 |    86182      0 |      148 |      146
599.30/599.40	c  597s |      12 |   277220 |    34219 |    86182      0 |      148 |      146
601.30/601.49	c  599s |      12 |   277641 |    34419 |    86182      0 |      148 |      146
603.60/603.70	c  602s |      12 |   277962 |    34619 |    86182      0 |      148 |      146
606.11/606.29	c  604s |      12 |   278510 |    34819 |    86182      0 |      148 |      146
609.00/609.15	c  607s |      12 |   279002 |    35019 |    86182      0 |      148 |      146
611.80/611.92	c  610s |      12 |   279812 |    35219 |    86182      0 |      148 |      146
614.81/614.91	c  613s |      12 |   280365 |    35419 |    86182      0 |      148 |      146
617.40/617.57	c  616s |      12 |   281159 |    35619 |    86182      0 |      148 |      146
620.00/620.16	c  618s |      12 |   281592 |    35819 |    86182      0 |      148 |      146
622.80/622.91	c  621s |      12 |   281947 |    36019 |    86182      0 |      148 |      146
626.50/626.64	c  625s |      12 |   282476 |    36219 |    86182      0 |      148 |      146
628.70/628.84	c  627s |      12 |   283255 |    36419 |    86182      0 |      148 |      146
630.70/630.86	c  629s |      12 |   283728 |    36619 |    86182      0 |      148 |      146
633.30/633.41	c  631s |      12 |   284289 |    36819 |    86182      0 |      148 |      146
635.70/635.85	c  634s |      12 |   284726 |    37019 |    86182      0 |      148 |      146
638.00/638.13	c  636s |      12 |   285201 |    37219 |    86182      0 |      148 |      146
640.29/640.41	c  638s |      12 |   285606 |    37419 |    86182      0 |      148 |      146
642.89/643.02	c  641s |      12 |   286251 |    37619 |    86182      0 |      148 |      146
645.60/645.72	c  644s |      12 |   286722 |    37819 |    86182      0 |      148 |      146
648.49/648.62	c  647s |      12 |   287233 |    38019 |    86182      0 |      148 |      146
650.79/650.92	c  649s |      12 |   287682 |    38219 |    86182      0 |      148 |      146
653.59/653.72	c  652s |      12 |   288098 |    38419 |    86182      0 |      148 |      146
656.19/656.30	c  654s |      12 |   288461 |    38619 |    94801      0 |      148 |      146
658.69/658.86	c  657s |      12 |   289403 |    38819 |    94801      0 |      148 |      146
658.99/659.11	c  657s |      13 |   289447 |    38832 |    94801      0 |      148 |      146
661.39/661.55	c  660s |      13 |   290241 |    39032 |    94801      0 |      148 |      146
664.19/664.32	c  662s |      13 |   291032 |    39332 |    94801      0 |      148 |      146
666.89/667.00	c  665s |      13 |   291886 |    39632 |    94801      0 |      148 |      146
669.29/669.43	c  667s |      13 |   292505 |    39832 |    94801      0 |      148 |      146
671.89/672.03	c  670s |      13 |   293352 |    40032 |    94801      0 |      148 |      146
673.99/674.14	c  672s |      13 |   293705 |    40232 |    94801      0 |      148 |      146
676.50/676.65	c  675s |      13 |   294636 |    40432 |    94801      0 |      148 |      146
678.70/678.88	c  677s |      13 |   295061 |    40632 |    94801      0 |      148 |      146
681.69/681.85	c  680s |      13 |   296002 |    40932 |    94801      0 |      148 |      146
684.10/684.29	c  682s |      13 |   297037 |    41132 |    94801      0 |      148 |      146
686.89/687.03	c  685s |      13 |   297824 |    41332 |    94801      0 |      148 |      146
689.39/689.56	c  688s |      13 |   298481 |    41632 |    94801      0 |      148 |      146
692.09/692.24	c  690s |      13 |   298863 |    41932 |    94801      0 |      148 |      146
694.59/694.73	c  693s |      13 |   299228 |    42232 |    94801      0 |      148 |      146
696.89/697.01	c  695s |      13 |   299467 |    42432 |    94801      0 |      148 |      146
699.69/699.88	c  698s |      13 |   299876 |    42732 |    94801      0 |      148 |      146
701.89/702.00	c  700s |      13 |   300111 |    42932 |    94801      0 |      148 |      146
704.19/704.34	c  702s |      13 |   300416 |    43132 |    94801      0 |      148 |      146
706.28/706.44	c  704s |      13 |   300690 |    43332 |    94801      0 |      148 |      146
708.98/709.13	c  707s |      13 |   301144 |    43632 |    94801      0 |      148 |      146
711.38/711.53	c  710s |      13 |   301412 |    43832 |    94801      0 |      148 |      146
713.48/713.62	c  712s |      13 |   301673 |    44032 |    94801      0 |      148 |      146
715.58/715.74	c  714s |      13 |   301903 |    44232 |    94801      0 |      148 |      146
717.78/717.95	c  716s |      13 |   302172 |    44432 |    94801      0 |      148 |      146
719.98/720.11	c  718s |      13 |   302535 |    44632 |    94801      0 |      148 |      146
722.69/722.83	c  721s |      13 |   302887 |    44832 |    94801      0 |      148 |      146
724.68/724.84	c  723s |      13 |   303201 |    45032 |    94801      0 |      148 |      146
726.88/727.08	c  725s |      13 |   303453 |    45232 |    94801      0 |      148 |      146
729.08/729.21	c  727s |      13 |   303716 |    45432 |    94801      0 |      148 |      146
731.08/731.23	c  729s |      13 |   304042 |    45632 |    94801      0 |      148 |      146
734.28/734.46	c  732s |      13 |   304479 |    45932 |    94801      0 |      148 |      146
736.58/736.77	c  735s |      13 |   304756 |    46132 |    94801      0 |      148 |      146
739.19/739.31	c  737s |      13 |   305261 |    46432 |    94801      0 |      148 |      146
741.18/741.38	c  739s |      13 |   305517 |    46632 |    94801      0 |      148 |      146
743.98/744.11	c  742s |      13 |   305889 |    46932 |    94801      0 |      148 |      146
746.79/746.98	c  745s |      13 |   306314 |    47232 |    94801      0 |      148 |      146
749.38/749.60	c  748s |      13 |   306605 |    47432 |    94801      0 |      148 |      146
751.48/751.60	c  750s |      13 |   306884 |    47632 |    94801      0 |      148 |      146
753.68/753.85	c  752s |      13 |   307153 |    47832 |    94801      0 |      148 |      146
756.08/756.26	c  754s |      13 |   307646 |    48132 |    94801      0 |      148 |      146
758.78/758.92	c  757s |      13 |   308074 |    48432 |    94801      0 |      148 |      146
761.08/761.27	c  759s |      13 |   308613 |    48732 |    94801      0 |      148 |      146
763.98/764.12	c  762s |      13 |   309102 |    49032 |    94801      0 |      148 |      146
766.18/766.37	c  764s |      13 |   309363 |    49232 |    94801      0 |      148 |      146
768.78/768.98	c  767s |      13 |   309758 |    49532 |    94801      0 |      148 |      146
771.77/771.93	c  770s |      13 |   310214 |    49832 |    94801      0 |      148 |      146
773.77/773.96	c  772s |      13 |   310527 |    50032 |    94801      0 |      148 |      146
775.97/776.19	c  774s |      13 |   310820 |    50232 |    94801      0 |      148 |      146
778.87/779.05	c  777s |      13 |   311198 |    50532 |    94801      0 |      148 |      146
780.98/781.12	c  779s |      13 |   311516 |    50732 |    94801      0 |      148 |      146
782.97/783.20	c  781s |      13 |   311844 |    50932 |    94801      0 |      148 |      146
785.07/785.26	c  783s |      13 |   312089 |    51132 |    94801      0 |      148 |      146
787.67/787.81	c  786s |      13 |   312486 |    51432 |    94801      0 |      148 |      146
789.97/790.14	c  788s |      13 |   312892 |    51732 |    94801      0 |      148 |      146
792.47/792.60	c  791s |      13 |   313250 |    52032 |    94801      0 |      148 |      146
795.28/795.42	c  793s |      13 |   313606 |    52332 |    94801      0 |      148 |      146
797.97/798.16	c  796s |      13 |   313947 |    52632 |    94801      0 |      148 |      146
800.57/800.76	c  799s |      13 |   314311 |    52932 |    94801      0 |      148 |      146
803.17/803.33	c  801s |      13 |   314685 |    53232 |    94801      0 |      148 |      146
805.77/805.93	c  804s |      13 |   315024 |    53532 |    94801      0 |      148 |      146
807.97/808.13	c  806s |      13 |   315382 |    53832 |    94801      0 |      148 |      146
810.47/810.60	c  809s |      13 |   315794 |    54132 |    94801      0 |      148 |      146
813.37/813.52	c  812s |      13 |   316124 |    54432 |    94801      0 |      148 |      146
815.97/816.18	c  814s |      13 |   316474 |    54732 |    94801      0 |      148 |      146
818.97/819.10	c  817s |      13 |   316821 |    55032 |    94801      0 |      148 |      146
820.97/821.17	c  819s |      13 |   317038 |    55232 |    94801      0 |      148 |      146
823.67/823.87	c  822s |      13 |   317268 |    55432 |    94801      0 |      148 |      146
825.77/825.99	c  824s |      13 |   317498 |    55632 |    94801      0 |      148 |      146
828.37/828.52	c  827s |      13 |   317874 |    55932 |    94801      0 |      148 |      146
831.27/831.40	c  829s |      13 |   318219 |    56232 |    94801      0 |      148 |      146
833.37/833.50	c  831s |      13 |   318445 |    56432 |    94801      0 |      148 |      146
835.67/835.83	c  834s |      13 |   318692 |    56632 |    94801      0 |      148 |      146
838.56/838.73	c  837s |      13 |   319064 |    56932 |    94801      0 |      148 |      146
841.26/841.40	c  839s |      13 |   319414 |    57232 |    94801      0 |      148 |      146
843.36/843.57	c  842s |      13 |   319641 |    57432 |    94801      0 |      148 |      146
845.96/846.12	c  844s |      13 |   320006 |    57732 |    94801      0 |      148 |      146
848.46/848.67	c  847s |      13 |   320375 |    58032 |   104282      0 |      148 |      146
850.96/851.13	c  849s |      13 |   320655 |    58232 |   104282      0 |      148 |      146
852.47/852.64	c  851s |      14 |   320810 |    58352 |   104282      0 |      148 |      146
854.67/854.86	c  853s |      14 |   320997 |    58452 |   104282      0 |      148 |      146
857.06/857.20	c  855s |      14 |   321132 |    58552 |   104282      0 |      148 |      146
860.66/860.81	c  859s |      14 |   321427 |    58752 |   104282      0 |      148 |      146
863.26/863.50	c  861s |      14 |   321550 |    58852 |   104282      0 |      148 |      146
865.36/865.55	c  864s |      14 |   321681 |    58952 |   104282      0 |      148 |      146
868.06/868.24	c  866s |      14 |   321805 |    59052 |   104282      0 |      148 |      146
871.16/871.37	c  869s |      14 |   321951 |    59152 |   104282      0 |      148 |      146
874.76/874.90	c  873s |      14 |   322087 |    59252 |   104282      0 |      148 |      146
877.96/878.12	c  876s |      14 |   322230 |    59352 |   104282      0 |      148 |      146
881.26/881.41	c  879s |      14 |   322555 |    59552 |   104282      0 |      148 |      146
884.05/884.25	c  882s |      14 |   322835 |    59752 |   104282      0 |      148 |      146
886.65/886.84	c  885s |      14 |   323093 |    59952 |   104282      0 |      148 |      146
888.76/888.97	c  887s |      14 |   323337 |    60152 |   104282      0 |      148 |      146
891.35/891.55	c  890s |      14 |   323574 |    60352 |   104282      0 |      148 |      146
894.55/894.78	c  893s |      14 |   323826 |    60552 |   104282      0 |      148 |      146
896.65/896.82	c  895s |      14 |   323950 |    60652 |   104282      0 |      148 |      146
899.85/900.05	c  898s |      14 |   324195 |    60852 |   104282      0 |      148 |      146
902.55/902.76	c  901s |      14 |   324448 |    61052 |   104282      0 |      148 |      146
905.16/905.37	c  903s |      14 |   324580 |    61152 |   104282      0 |      148 |      146
908.56/908.78	c  907s |      14 |   324854 |    61352 |   104282      0 |      148 |      146
910.95/911.11	c  909s |      14 |   325028 |    61452 |   104282      0 |      148 |      146
915.75/915.99	c  914s |      14 |   325326 |    61652 |   104282      0 |      148 |      146
919.75/919.91	c  918s |      14 |   325442 |    61752 |   104282      0 |      148 |      146
922.65/922.83	c  921s |      14 |   325553 |    61852 |   104282      0 |      148 |      146
925.25/925.47	c  923s |      14 |   325690 |    61952 |   104282      0 |      148 |      146
928.85/929.03	c  927s |      14 |   325983 |    62152 |   104282      0 |      148 |      146
931.55/931.74	c  930s |      14 |   326094 |    62252 |   104282      0 |      148 |      146
934.15/934.30	c  932s |      14 |   326214 |    62352 |   104282      0 |      148 |      146
936.45/936.67	c  935s |      14 |   326329 |    62452 |   104282      0 |      148 |      146
939.45/939.63	c  938s |      14 |   326446 |    62552 |   104282      0 |      148 |      146
942.65/942.86	c  941s |      14 |   326578 |    62652 |   104282      0 |      148 |      146
945.75/945.91	c  944s |      14 |   326691 |    62752 |   104282      0 |      148 |      146
948.05/948.23	c  946s |      14 |   326819 |    62852 |   104282      0 |      148 |      146
950.35/950.54	c  949s |      14 |   326949 |    62952 |   104282      0 |      148 |      146
952.94/953.10	c  951s |      14 |   327061 |    63052 |   104282      0 |      148 |      146
955.54/955.73	c  954s |      14 |   327178 |    63152 |   104282      0 |      148 |      146
959.05/959.27	c  957s |      14 |   327300 |    63252 |   104282      0 |      148 |      146
961.35/961.54	c  960s |      14 |   327421 |    63352 |   104282      0 |      148 |      146
965.14/965.32	c  963s |      14 |   327548 |    63452 |   104282      0 |      148 |      146
968.44/968.62	c  967s |      14 |   327855 |    63652 |   104282      0 |      148 |      146
970.64/970.85	c  969s |      14 |   327975 |    63752 |   104282      0 |      148 |      146
974.34/974.57	c  973s |      14 |   328228 |    63952 |   104282      0 |      148 |      146
977.54/977.76	c  976s |      14 |   328483 |    64152 |   104282      0 |      148 |      146
979.84/980.04	c  978s |      14 |   328775 |    64352 |   104282      0 |      148 |      146
982.74/982.97	c  981s |      14 |   329046 |    64552 |   104282      0 |      148 |      146
986.24/986.43	c  984s |      14 |   329280 |    64752 |   104282      0 |      148 |      146
990.34/990.50	c  989s |      14 |   329556 |    64952 |   104282      0 |      148 |      146
992.34/992.52	c  991s |      14 |   329695 |    65052 |   104282      0 |      148 |      146
995.44/995.61	c  994s |      14 |   329814 |    65152 |   104282      0 |      148 |      146
999.14/999.32	c  997s |      14 |   330079 |    65352 |   104282      0 |      148 |      146
1002.84/1003.07	c 1001s |      14 |   330315 |    65552 |   104282      0 |      148 |      146
1007.23/1007.41	c 1005s |      14 |   330429 |    65652 |   104282      0 |      148 |      146
1010.33/1010.51	c 1009s |      14 |   330548 |    65752 |   104282      0 |      148 |      146
1013.53/1013.74	c 1012s |      14 |   330662 |    65852 |   104282      0 |      148 |      146
1017.13/1017.34	c 1015s |      14 |   330774 |    65952 |   104282      0 |      148 |      146
1020.03/1020.28	c 1018s |      14 |   330891 |    66052 |   104282      0 |      148 |      146
1023.43/1023.69	c 1022s |      14 |   331006 |    66152 |   104282      0 |      148 |      146
1026.63/1026.84	c 1025s |      14 |   331150 |    66252 |   104282      0 |      148 |      146
1029.63/1029.89	c 1028s |      14 |   331266 |    66352 |   104282      0 |      148 |      146
1032.63/1032.82	c 1031s |      14 |   331414 |    66452 |   104282      0 |      148 |      146
1036.63/1036.88	c 1035s |      14 |   331539 |    66552 |   104282      0 |      148 |      146
1039.34/1039.56	c 1038s |      14 |   331660 |    66652 |   104282      0 |      148 |      146
1043.03/1043.27	c 1041s |      14 |   331806 |    66752 |   104282      0 |      148 |      146
1045.53/1045.77	c 1044s |      14 |   331926 |    66852 |   104282      0 |      148 |      146
1048.13/1048.39	c 1046s |      14 |   332049 |    66952 |   104282      0 |      148 |      146
1050.33/1050.52	c 1049s |      14 |   332184 |    67052 |   104282      0 |      148 |      146
1052.93/1053.12	c 1051s |      14 |   332308 |    67152 |   104282      0 |      148 |      146
1056.13/1056.36	c 1054s |      14 |   332429 |    67252 |   104282      0 |      148 |      146
1060.73/1060.90	c 1059s |      14 |   332548 |    67352 |   104282      0 |      148 |      146
1064.83/1065.06	c 1063s |      14 |   332667 |    67452 |   104282      0 |      148 |      146
1069.62/1069.80	c 1068s |      14 |   332792 |    67552 |   104282      0 |      148 |      146
1072.22/1072.49	c 1070s |      14 |   332941 |    67652 |   104282      0 |      148 |      146
1075.52/1075.75	c 1074s |      14 |   333100 |    67752 |   104282      0 |      148 |      146
1077.72/1077.90	c 1076s |      14 |   333238 |    67852 |   104282      0 |      148 |      146
1080.42/1080.60	c 1079s |      14 |   333373 |    67952 |   104282      0 |      148 |      146
1083.22/1083.48	c 1081s |      14 |   333560 |    68052 |   104282      0 |      148 |      146
1086.42/1086.60	c 1085s |      14 |   333716 |    68152 |   104282      0 |      148 |      146
1088.93/1089.12	c 1087s |      14 |   333852 |    68252 |   104282      0 |      148 |      146
1091.52/1091.76	c 1090s |      14 |   334047 |    68352 |   104282      0 |      148 |      146
1094.02/1094.25	c 1092s |      14 |   334212 |    68452 |   104282      0 |      148 |      146
1096.92/1097.16	c 1095s |      14 |   334365 |    68552 |   104282      0 |      148 |      146
1100.72/1100.92	c 1099s |      14 |   334489 |    68652 |   104282      0 |      148 |      146
1103.72/1103.96	c 1102s |      14 |   334623 |    68752 |   104282      0 |      148 |      146
1106.62/1106.80	c 1105s |      14 |   334738 |    68852 |   104282      0 |      148 |      146
1109.62/1109.83	c 1108s |      14 |   334849 |    68952 |   104282      0 |      148 |      146
1112.52/1112.71	c 1111s |      14 |   334963 |    69052 |   104282      0 |      148 |      146
1115.82/1116.08	c 1114s |      14 |   335094 |    69152 |   104282      0 |      148 |      146
1119.22/1119.47	c 1117s |      14 |   335216 |    69252 |   104282      0 |      148 |      146
1122.12/1122.32	c 1120s |      14 |   335349 |    69352 |   104282      0 |      148 |      146
1125.02/1125.26	c 1123s |      14 |   335475 |    69452 |   104282      0 |      148 |      146
1127.62/1127.81	c 1126s |      14 |   335596 |    69552 |   104282      0 |      148 |      146
1132.11/1132.32	c 1130s |      14 |   335725 |    69652 |   104282      0 |      148 |      146
1134.71/1134.95	c 1133s |      14 |   335870 |    69752 |   104282      0 |      148 |      146
1139.11/1139.33	c 1137s |      14 |   335987 |    69852 |   104282      0 |      148 |      146
1144.11/1144.36	c 1142s |      14 |   336103 |    69952 |   104282      0 |      148 |      146
1147.22/1147.48	c 1145s |      14 |   336225 |    70052 |   104282      0 |      148 |      146
1152.72/1152.98	c 1151s |      14 |   336354 |    70152 |   104282      0 |      148 |      146
1158.31/1158.53	c 1157s |      14 |   336499 |    70252 |   104282      0 |      148 |      146
1163.01/1163.24	c 1161s |      14 |   336621 |    70352 |   104282      0 |      148 |      146
1166.41/1166.66	c 1165s |      14 |   336748 |    70452 |   104282      0 |      148 |      146
1169.31/1169.56	c 1168s |      14 |   336858 |    70552 |   104282      0 |      148 |      146
1173.31/1173.56	c 1172s |      14 |   336989 |    70652 |   104282      0 |      148 |      146
1178.81/1179.08	c 1177s |      14 |   337102 |    70752 |   104282      0 |      148 |      146
1184.31/1184.57	c 1183s |      14 |   337223 |    70852 |   104282      0 |      148 |      146
1188.40/1188.66	c 1187s |      14 |   337345 |    70952 |   104282      0 |      148 |      146
1192.31/1192.58	c 1191s |      14 |   337464 |    71052 |   104282      0 |      148 |      146
1196.10/1196.30	c 1194s |      14 |   337585 |    71152 |   104282      0 |      148 |      146
1199.10/1199.37	c 1197s |      14 |   337724 |    71252 |   104282      0 |      148 |      146
1202.30/1202.59	c 1201s |      14 |   337856 |    71352 |   104282      0 |      148 |      146
1206.10/1206.38	c 1204s |      14 |   337966 |    71452 |   104282      0 |      148 |      146
1208.81/1209.05	c 1207s |      14 |   338091 |    71552 |   104282      0 |      148 |      146
1212.01/1212.29	c 1210s |      14 |   338212 |    71652 |   104282      0 |      148 |      146
1215.20/1215.48	c 1213s |      14 |   338338 |    71752 |   104282      0 |      148 |      146
1219.10/1219.34	c 1217s |      14 |   338464 |    71852 |   104282      0 |      148 |      146
1223.80/1224.09	c 1222s |      14 |   338575 |    71952 |   104282      0 |      148 |      146
1227.90/1228.10	c 1226s |      14 |   338712 |    72052 |   104282      0 |      148 |      146
1232.60/1232.82	c 1231s |      14 |   338829 |    72152 |   104282      0 |      148 |      146
1236.40/1236.64	c 1235s |      14 |   338948 |    72252 |   104282      0 |      148 |      146
1239.70/1239.90	c 1238s |      14 |   339075 |    72352 |   104282      0 |      148 |      146
1243.30/1243.58	c 1242s |      14 |   339192 |    72452 |   104282      0 |      148 |      146
1246.80/1247.08	c 1245s |      14 |   339326 |    72552 |   104282      0 |      148 |      146
1250.60/1250.84	c 1249s |      14 |   339478 |    72652 |   104282      0 |      148 |      146
1253.19/1253.49	c 1251s |      14 |   339631 |    72752 |   104282      0 |      148 |      146
1256.99/1257.30	c 1255s |      14 |   339750 |    72852 |   104282      0 |      148 |      146
1260.40/1260.63	c 1259s |      14 |   339898 |    72952 |   104282      0 |      148 |      146
1263.39/1263.60	c 1262s |      14 |   340038 |    73052 |   104282      0 |      148 |      146
1265.59/1265.82	c 1264s |      14 |   340161 |    73152 |   104282      0 |      148 |      146
1267.99/1268.30	c 1266s |      14 |   340309 |    73252 |   104282      0 |      148 |      146
1272.59/1272.85	c 1271s |      14 |   340432 |    73352 |   104282      0 |      148 |      146
1276.19/1276.42	c 1274s |      14 |   340550 |    73452 |   104282      0 |      148 |      146
1280.19/1280.46	c 1278s |      14 |   340667 |    73552 |   104282      0 |      148 |      146
1284.29/1284.50	c 1283s |      14 |   340797 |    73652 |   104282      0 |      148 |      146
1287.69/1287.93	c 1286s |      14 |   340913 |    73752 |   104282      0 |      148 |      146
1292.08/1292.35	c 1290s |      14 |   341042 |    73852 |   104282      0 |      148 |      146
1296.48/1296.78	c 1295s |      14 |   341166 |    73952 |   104282      0 |      148 |      146
1301.28/1301.50	c 1299s |      14 |   341309 |    74052 |   104282      0 |      148 |      146
1305.28/1305.59	c 1304s |      14 |   341439 |    74152 |   104282      0 |      148 |      146
1310.38/1310.65	c 1309s |      14 |   341560 |    74252 |   104282      0 |      148 |      146
1313.58/1313.83	c 1312s |      14 |   341677 |    74352 |   104282      0 |      148 |      146
1315.78/1316.09	c 1314s |      14 |   341806 |    74452 |   104282      0 |      148 |      146
1318.79/1319.08	c 1317s |      14 |   342080 |    74652 |   104282      0 |      148 |      146
1321.88/1322.12	c 1320s |      14 |   342372 |    74852 |   104282      0 |      148 |      146
1324.08/1324.30	c 1322s |      14 |   342506 |    74952 |   104282      0 |      148 |      146
1327.18/1327.45	c 1325s |      14 |   342665 |    75052 |   104282      0 |      148 |      146
1331.58/1331.84	c 1330s |      14 |   342788 |    75152 |   104282      0 |      148 |      146
1335.18/1335.41	c 1333s |      14 |   342928 |    75252 |   104282      0 |      148 |      146
1337.97/1338.29	c 1336s |      14 |   343049 |    75352 |   104282      0 |      148 |      146
1340.68/1340.94	c 1339s |      14 |   343178 |    75452 |   104282      0 |      148 |      146
1344.17/1344.44	c 1342s |      14 |   343296 |    75552 |   104282      0 |      148 |      146
1347.77/1348.09	c 1346s |      14 |   343416 |    75652 |   104282      0 |      148 |      146
1350.87/1351.16	c 1349s |      14 |   343539 |    75752 |   104282      0 |      148 |      146
1353.67/1353.99	c 1352s |      14 |   343671 |    75852 |   104282      0 |      148 |      146
1356.77/1357.03	c 1355s |      14 |   343810 |    75952 |   104282      0 |      148 |      146
1359.57/1359.86	c 1358s |      14 |   343940 |    76052 |   104282      0 |      148 |      146
1362.78/1363.07	c 1361s |      14 |   344056 |    76152 |   104282      0 |      148 |      146
1365.37/1365.65	c 1364s |      14 |   344176 |    76252 |   104282      0 |      148 |      146
1370.17/1370.43	c 1368s |      14 |   344455 |    76452 |   104282      0 |      148 |      146
1373.37/1373.69	c 1372s |      14 |   344602 |    76552 |   104282      0 |      148 |      146
1377.27/1377.56	c 1376s |      14 |   344722 |    76652 |   104282      0 |      148 |      146
1381.47/1381.79	c 1380s |      14 |   344863 |    76752 |   104282      0 |      148 |      146
1385.37/1385.66	c 1384s |      14 |   345000 |    76852 |   104282      0 |      148 |      146
1388.57/1388.87	c 1387s |      14 |   345115 |    76952 |   104282      0 |      148 |      146
1391.97/1392.23	c 1390s |      14 |   345357 |    77152 |   104282      0 |      148 |      146
1397.27/1397.50	c 1395s |      14 |   345628 |    77352 |   104282      0 |      148 |      146
1400.57/1400.81	c 1399s |      14 |   345760 |    77452 |   104282      0 |      148 |      146
1404.07/1404.32	c 1402s |      14 |   345877 |    77552 |   104282      0 |      148 |      146
1407.96/1408.27	c 1406s |      14 |   345981 |    77652 |   104282      0 |      148 |      146
1410.66/1410.99	c 1409s |      14 |   346101 |    77752 |   104282      0 |      148 |      146
1414.37/1414.63	c 1413s |      14 |   346225 |    77852 |   104282      0 |      148 |      146
1419.16/1419.41	c 1417s |      14 |   346478 |    78052 |   104282      0 |      148 |      146
1422.66/1422.93	c 1421s |      14 |   346596 |    78152 |   104282      0 |      148 |      146
1425.37/1425.64	c 1424s |      14 |   346710 |    78252 |   104282      0 |      148 |      146
1427.76/1428.02	c 1426s |      14 |   346837 |    78352 |   104282      0 |      148 |      146
1431.86/1432.19	c 1430s |      14 |   347053 |    78552 |   104282      0 |      148 |      146
1435.76/1436.01	c 1434s |      14 |   347160 |    78652 |   104282      0 |      148 |      146
1440.86/1441.18	c 1439s |      14 |   347384 |    78852 |   104282      0 |      148 |      146
1444.26/1444.56	c 1443s |      14 |   347500 |    78952 |   104282      0 |      148 |      146
1447.16/1447.43	c 1445s |      14 |   347615 |    79052 |   104282      0 |      148 |      146
1450.55/1450.83	c 1449s |      14 |   347730 |    79152 |   104282      0 |      148 |      146
1453.75/1454.10	c 1452s |      14 |   347840 |    79252 |   104282      0 |      148 |      146
1456.55/1456.87	c 1455s |      14 |   347951 |    79352 |   104282      0 |      148 |      146
1459.05/1459.32	c 1457s |      14 |   348063 |    79452 |   104282      0 |      148 |      146
1463.15/1463.42	c 1461s |      14 |   348305 |    79652 |   104282      0 |      148 |      146
1466.45/1466.75	c 1465s |      14 |   348411 |    79752 |   104282      0 |      148 |      146
1469.75/1470.07	c 1468s |      14 |   348517 |    79852 |   104282      0 |      148 |      146
1472.45/1472.75	c 1471s |      14 |   348631 |    79952 |   104282      0 |      148 |      146
1477.16/1477.42	c 1475s |      14 |   348783 |    80052 |   104282      0 |      148 |      146
1481.35/1481.65	c 1480s |      14 |   348900 |    80152 |   104282      0 |      148 |      146
1486.65/1486.96	c 1485s |      14 |   349012 |    80252 |   104282      0 |      148 |      146
1491.75/1492.01	c 1490s |      14 |   349132 |    80352 |   104282      0 |      148 |      146
1496.25/1496.51	c 1495s |      14 |   349243 |    80452 |   104282      0 |      148 |      146
1500.44/1500.72	c 1499s |      14 |   349367 |    80552 |   104282      0 |      148 |      146
1503.45/1503.77	c 1502s |      14 |   349494 |    80652 |   104282      0 |      148 |      146
1507.04/1507.32	c 1505s |      14 |   349632 |    80752 |   104282      0 |      148 |      146
1510.04/1510.34	c 1508s |      14 |   349763 |    80852 |   104282      0 |      148 |      146
1512.74/1513.04	c 1511s |      14 |   349893 |    80952 |   104282      0 |      148 |      146
1514.94/1515.26	c 1513s |      14 |   350012 |    81052 |   104282      0 |      148 |      146
1517.04/1517.30	c 1515s |      14 |   350123 |    81152 |   104282      0 |      148 |      146
1520.23/1520.59	c 1519s |      14 |   350360 |    81352 |   104282      0 |      148 |      146
1522.63/1522.91	c 1521s |      14 |   350471 |    81452 |   104282      0 |      148 |      146
1524.83/1525.12	c 1523s |      14 |   350581 |    81552 |   104282      0 |      148 |      146
1527.43/1527.74	c 1526s |      14 |   350707 |    81652 |   104282      0 |      148 |      146
1530.53/1530.87	c 1529s |      14 |   350822 |    81752 |   104282      0 |      148 |      146
1533.14/1533.43	c 1531s |      14 |   350939 |    81852 |   104282      0 |      148 |      146
1535.53/1535.85	c 1534s |      14 |   351061 |    81952 |   104282      0 |      148 |      146
1539.43/1539.79	c 1538s |      14 |   351319 |    82152 |   104282      0 |      148 |      146
1541.63/1541.90	c 1540s |      14 |   351440 |    82252 |   104282      0 |      148 |      146
1544.14/1544.42	c 1542s |      14 |   351555 |    82352 |   104282      0 |      148 |      146
1547.13/1547.43	c 1545s |      14 |   351674 |    82452 |   104282      0 |      148 |      146
1550.33/1550.61	c 1549s |      14 |   351807 |    82552 |   104282      0 |      148 |      146
1553.93/1554.21	c 1552s |      14 |   351917 |    82652 |   104282      0 |      148 |      146
1557.03/1557.30	c 1555s |      14 |   352042 |    82752 |   104282      0 |      148 |      146
1559.33/1559.65	c 1558s |      14 |   352176 |    82852 |   104282      0 |      148 |      146
1562.23/1562.59	c 1561s |      14 |   352332 |    82952 |   104282      0 |      148 |      146
1564.43/1564.78	c 1563s |      14 |   352452 |    83052 |   104282      0 |      148 |      146
1571.42/1571.79	c 1570s |      14 |   352744 |    83252 |   104282      0 |      148 |      146
1573.83/1574.17	c 1572s |      14 |   352885 |    83352 |   104282      0 |      148 |      146
1576.62/1576.90	c 1575s |      14 |   353028 |    83452 |   104282      0 |      148 |      146
1580.02/1580.32	c 1578s |      14 |   353276 |    83652 |   104282      0 |      148 |      146
1583.52/1583.87	c 1582s |      14 |   353403 |    83752 |   104282      0 |      148 |      146
1585.72/1586.02	c 1584s |      14 |   353544 |    83852 |   104282      0 |      148 |      146
1589.72/1590.08	c 1588s |      14 |   353676 |    83952 |   104282      0 |      148 |      146
1593.92/1594.25	c 1592s |      14 |   353820 |    84052 |   104282      0 |      148 |      146
1596.32/1596.67	c 1595s |      14 |   353962 |    84152 |   104282      0 |      148 |      146
1598.92/1599.21	c 1597s |      14 |   354240 |    84252 |   104282      0 |      148 |      146
1603.02/1603.38	c 1601s |      14 |   354396 |    84352 |   104282      0 |      148 |      146
1606.82/1607.17	c 1605s |      14 |   354564 |    84452 |   104282      0 |      148 |      146
1611.61/1611.91	c 1610s |      14 |   354706 |    84552 |   104282      0 |      148 |      146
1614.21/1614.52	c 1613s |      14 |   354833 |    84652 |   104282      0 |      148 |      146
1618.41/1618.77	c 1617s |      14 |   354982 |    84752 |   104282      0 |      148 |      146
1621.50/1621.81	c 1620s |      14 |   355104 |    84852 |   104282      0 |      148 |      146
1624.20/1624.51	c 1623s |      14 |   355241 |    84952 |   104282      0 |      148 |      146
1629.10/1629.46	c 1627s |      14 |   355371 |    85052 |   104282      0 |      148 |      146
1631.90/1632.20	c 1630s |      14 |   355511 |    85152 |   104282      0 |      148 |      146
1634.40/1634.72	c 1633s |      14 |   355629 |    85252 |   104282      0 |      148 |      146
1637.20/1637.55	c 1636s |      14 |   355743 |    85352 |   104282      0 |      148 |      146
1640.50/1640.84	c 1639s |      14 |   355849 |    85452 |   104282      0 |      148 |      146
1642.70/1643.03	c 1641s |      14 |   355966 |    85552 |   104282      0 |      148 |      146
1645.30/1645.62	c 1644s |      14 |   356094 |    85652 |   104282      0 |      148 |      146
1647.50/1647.81	c 1646s |      14 |   356216 |    85752 |   104282      0 |      148 |      146
1650.99/1651.31	c 1649s |      14 |   356464 |    85952 |   104282      0 |      148 |      146
1653.39/1653.70	c 1652s |      14 |   356581 |    86052 |   104282      0 |      148 |      146
1656.19/1656.50	c 1655s |      14 |   356689 |    86152 |   104282      0 |      148 |      146
1659.39/1659.72	c 1658s |      14 |   356820 |    86252 |   104282      0 |      148 |      146
1661.79/1662.11	c 1660s |      14 |   356956 |    86352 |   104282      0 |      148 |      146
1664.98/1665.37	c 1663s |      14 |   357074 |    86452 |   104282      0 |      148 |      146
1669.58/1669.91	c 1668s |      14 |   357187 |    86552 |   104282      0 |      148 |      146
1673.98/1674.37	c 1672s |      14 |   357298 |    86652 |   104282      0 |      148 |      146
1678.67/1679.00	c 1677s |      14 |   357425 |    86752 |   104282      0 |      148 |      146
1682.37/1682.70	c 1681s |      14 |   357556 |    86852 |   104282      0 |      148 |      146
1684.98/1685.37	c 1683s |      14 |   357690 |    86952 |   104282      0 |      148 |      146
1688.46/1688.86	c 1687s |      14 |   357841 |    87052 |   114711      0 |      148 |      146
1692.36/1692.71	c 1691s |      14 |   358046 |    87152 |   114711      0 |      148 |      146
1696.16/1696.50	c 1695s |      14 |   358205 |    87252 |   114711      0 |      148 |      146
1699.26/1699.62	c 1698s |      14 |   358334 |    87352 |   114711      0 |      148 |      146
1703.26/1703.70	c 1702s |      14 |   358448 |    87452 |   114711      0 |      148 |      146
1707.26/1707.62	c 1706s |      14 |   358561 |    87552 |   114711      0 |      148 |      146
1710.35/1710.77	c 1709s |      15 |   358652 |    87632 |   114711      0 |      148 |      146
1712.85/1713.23	c 1711s |      15 |   358820 |    87732 |   114711      0 |      148 |      146
1716.55/1716.91	c 1715s |      15 |   359037 |    87932 |   114711      0 |      148 |      146
1718.55/1718.93	c 1717s |      15 |   359152 |    88032 |   114711      0 |      148 |      146
1722.26/1722.65	c 1721s |      15 |   359369 |    88232 |   114711      0 |      148 |      146
1725.85/1726.28	c 1724s |      15 |   359614 |    88432 |   114711      0 |      148 |      146
1729.55/1729.97	c 1728s |      15 |   359742 |    88532 |   114711      0 |      148 |      146
1733.15/1733.51	c 1732s |      15 |   359870 |    88632 |   114711      0 |      148 |      146
1736.35/1736.70	c 1735s |      15 |   360051 |    88732 |   114711      0 |      151 |      148
1740.84/1741.20	c 1739s |      15 |   360610 |    88832 |   114711      0 |      177 |      174
1746.54/1746.99	c 1745s |      15 |   360738 |    88932 |   114711      0 |      177 |      174
1750.03/1750.49	c 1748s |      15 |   360875 |    89032 |   114711      0 |      177 |      174
1754.24/1754.68	c 1753s |      15 |   360980 |    89132 |   114711      0 |      177 |      174
1757.83/1758.26	c 1756s |      15 |   361104 |    89232 |   114711      0 |      177 |      174
1764.53/1764.97	c 1763s |      15 |   361211 |    89332 |   114711      0 |      177 |      174
1770.23/1770.64	c 1769s |      15 |   361346 |    89432 |   114711      0 |      177 |      174
1774.23/1774.67	c 1773s |      15 |   361466 |    89532 |   114711      0 |      177 |      174
1777.63/1778.07	c 1776s |      15 |   361574 |    89632 |   114711      0 |      177 |      174
1781.33/1781.75	c 1780s |      15 |   361688 |    89732 |   114711      0 |      177 |      174
1785.92/1786.31	c 1784s |      15 |   361802 |    89832 |   114711      0 |      177 |      174
1790.92/1791.31	c 1789s |      15 |   361922 |    89932 |   114711      0 |      177 |      174
1795.62/1796.02	c 1794s |      15 |   362041 |    90032 |   114711      0 |      177 |      174

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

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

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


[startup+0 s]
/proc/loadavg: 2.11 2.14 2.09 3/179 16786
/proc/meminfo: memFree=29490560/32872528 swapFree=12208/1156848
[pid=16786] ppid=16783 vsize=717244 CPUtime=0 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 15571 0 -1 4202496 2672 0 0 0 0 0 0 0 20 0 4 0 110853485 734457856 3033 33554432000 4194304 16246674 140736583380304 140736583379728 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16786/statm: 179823 3043 441 2943 0 176717 0
[pid=16786/tid=16787] ppid=16783 vsize=735676 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110853486 753332224 3104 33554432000 4194304 16246674 140736583380304 139964494884080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=739772 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110853486 757526528 3120 33554432000 4194304 16246674 140736583380304 139964484394224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=743868 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110853486 761720832 3137 33554432000 4194304 16246674 140736583380304 139964473920688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.11 2.14 2.09 3/179 16786
/proc/meminfo: memFree=29490560/32872528 swapFree=12208/1156848
[pid=16786] ppid=16783 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 15571 0 -1 4202496 28102 0 0 0 6 3 0 0 20 0 4 0 110853485 1333334016 28401 33554432000 4194304 16246674 140736583380304 140736583379616 7372101 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16786/statm: 325521 28416 799 2943 0 322415 0
[pid=16786/tid=16787] ppid=16783 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110853486 1333334016 28428 33554432000 4194304 16246674 140736583380304 139964494884080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110853486 1333334016 28439 33554432000 4194304 16246674 140736583380304 139964484394224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110853486 1333334016 28450 33554432000 4194304 16246674 140736583380304 139964473920688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200512 s]
/proc/loadavg: 2.11 2.14 2.09 3/179 16786
/proc/meminfo: memFree=29490560/32872528 swapFree=12208/1156848
[pid=16786] ppid=16783 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 15571 0 -1 4202496 43309 0 0 0 14 5 0 0 20 0 4 0 110853485 1344868352 44119 33554432000 4194304 16246674 140736583380304 140736583379616 7367819 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16786/statm: 328337 44119 800 2943 0 325231 0
[pid=16786/tid=16787] ppid=16783 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110853486 1344868352 44119 33554432000 4194304 16246674 140736583380304 139964494884080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110853486 1344868352 44119 33554432000 4194304 16246674 140736583380304 139964484394224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110853486 1344868352 44119 33554432000 4194304 16246674 140736583380304 139964473920688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300489 s]
/proc/loadavg: 2.11 2.14 2.09 3/179 16786
/proc/meminfo: memFree=29490560/32872528 swapFree=12208/1156848
[pid=16786] ppid=16783 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 15571 0 -1 4202496 58846 0 0 0 23 6 0 0 20 0 4 0 110853485 1344868352 59656 33554432000 4194304 16246674 140736583380304 140736583379616 4220480 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16786/statm: 328337 59656 800 2943 0 325231 0
[pid=16786/tid=16787] ppid=16783 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110853486 1344868352 59656 33554432000 4194304 16246674 140736583380304 139964494884080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110853486 1344868352 59656 33554432000 4194304 16246674 140736583380304 139964484394224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110853486 1344868352 59656 33554432000 4194304 16246674 140736583380304 139964473920688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700366 s]
/proc/loadavg: 2.11 2.14 2.09 3/179 16786
/proc/meminfo: memFree=29490560/32872528 swapFree=12208/1156848
[pid=16786] ppid=16783 vsize=1315396 CPUtime=0.69 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 15571 0 -1 4202496 86721 0 0 0 58 11 0 0 20 0 4 0 110853485 1346965504 87532 33554432000 4194304 16246674 140736583380304 140736583379616 6759797 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16786/statm: 328849 87540 834 2943 0 325743 0
[pid=16786/tid=16787] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 87545 33554432000 4194304 16246674 140736583380304 139964494884080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 87550 33554432000 4194304 16246674 140736583380304 139964484394224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 87556 33554432000 4194304 16246674 140736583380304 139964473920688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1315396

[startup+1.50037 s]
/proc/loadavg: 2.11 2.14 2.09 3/183 16790
/proc/meminfo: memFree=28833076/32872528 swapFree=12208/1156848
[pid=16786] ppid=16783 vsize=1315396 CPUtime=1.48 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 15571 0 -1 4202496 216666 0 0 0 119 29 0 0 20 0 4 0 110853485 1346965504 217476 33554432000 4194304 16246674 140736583380304 140736583379616 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16786/statm: 328849 217476 840 2943 0 325743 0
[pid=16786/tid=16787] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 217476 33554432000 4194304 16246674 140736583380304 139964494884080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 217476 33554432000 4194304 16246674 140736583380304 139964484394224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 217476 33554432000 4194304 16246674 140736583380304 139964473920688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1315396

[startup+3.10036 s]
/proc/loadavg: 2.10 2.13 2.09 3/183 16790
/proc/meminfo: memFree=28621268/32872528 swapFree=12208/1156848
[pid=16786] ppid=16783 vsize=1315396 CPUtime=3.08 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 15571 0 -1 4202496 216721 0 0 0 279 29 0 0 20 0 4 0 110853485 1346965504 217531 33554432000 4194304 16246674 140736583380304 140736583362176 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16786/statm: 328849 217531 895 2943 0 325743 0
[pid=16786/tid=16787] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 217531 33554432000 4194304 16246674 140736583380304 139964494884080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 217531 33554432000 4194304 16246674 140736583380304 139964484394224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 217531 33554432000 4194304 16246674 140736583380304 139964473920688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1315396

[startup+6.30037 s]
/proc/loadavg: 2.10 2.13 2.09 3/183 16790
/proc/meminfo: memFree=28409752/32872528 swapFree=12208/1156848
[pid=16786] ppid=16783 vsize=1315396 CPUtime=6.29 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 15571 0 -1 4202496 269529 0 0 0 593 36 0 0 20 0 4 0 110853485 1346965504 270339 33554432000 4194304 16246674 140736583380304 140736583362176 13820888 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16786/statm: 328849 270339 895 2943 0 325743 0
[pid=16786/tid=16787] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270339 33554432000 4194304 16246674 140736583380304 139964494884080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270339 33554432000 4194304 16246674 140736583380304 139964484394224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270339 33554432000 4194304 16246674 140736583380304 139964473920688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1315396

[startup+12.7004 s]
/proc/loadavg: 2.17 2.15 2.10 3/183 16790
/proc/meminfo: memFree=28410016/32872528 swapFree=12208/1156848
[pid=16786] ppid=16783 vsize=1315396 CPUtime=12.69 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 15571 0 -1 4202496 269529 0 0 0 1233 36 0 0 20 0 4 0 110853485 1346965504 270339 33554432000 4194304 16246674 140736583380304 140736583362176 5553796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16786/statm: 328849 270339 895 2943 0 325743 0
[pid=16786/tid=16787] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270339 33554432000 4194304 16246674 140736583380304 139964494884080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270339 33554432000 4194304 16246674 140736583380304 139964484394224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270339 33554432000 4194304 16246674 140736583380304 139964473920688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1315396

[startup+25.5005 s]
/proc/loadavg: 2.14 2.14 2.09 3/183 16790
/proc/meminfo: memFree=28410628/32872528 swapFree=12208/1156848
[pid=16786] ppid=16783 vsize=1315396 CPUtime=25.48 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 15571 0 -1 4202496 269529 0 0 0 2512 36 0 0 20 0 4 0 110853485 1346965504 270339 33554432000 4194304 16246674 140736583380304 140736583362176 5662304 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16786/statm: 328849 270339 895 2943 0 325743 0
[pid=16786/tid=16787] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270339 33554432000 4194304 16246674 140736583380304 139964494884080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270339 33554432000 4194304 16246674 140736583380304 139964484394224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270339 33554432000 4194304 16246674 140736583380304 139964473920688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1315396

[startup+51.1005 s]
/proc/loadavg: 2.09 2.13 2.09 3/183 16790
/proc/meminfo: memFree=28410516/32872528 swapFree=12208/1156848
[pid=16786] ppid=16783 vsize=1315396 CPUtime=51.08 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 15571 0 -1 4202496 269529 0 0 0 5072 36 0 0 20 0 4 0 110853485 1346965504 270339 33554432000 4194304 16246674 140736583380304 140736583362176 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16786/statm: 328849 270339 895 2943 0 325743 0
[pid=16786/tid=16787] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270339 33554432000 4194304 16246674 140736583380304 139964494884080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270339 33554432000 4194304 16246674 140736583380304 139964484394224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270339 33554432000 4194304 16246674 140736583380304 139964473920688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1315396

[startup+102.3 s]
/proc/loadavg: 2.04 2.11 2.08 3/182 16791
/proc/meminfo: memFree=28410824/32872528 swapFree=12208/1156848
[pid=16786] ppid=16783 vsize=1315396 CPUtime=102.28 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 15571 0 -1 4202496 269536 0 0 0 10192 36 0 0 20 0 4 0 110853485 1346965504 270346 33554432000 4194304 16246674 140736583380304 140736583362176 13898698 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16786/statm: 328849 270346 901 2943 0 325743 0
[pid=16786/tid=16787] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270346 33554432000 4194304 16246674 140736583380304 139964494884080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270346 33554432000 4194304 16246674 140736583380304 139964484394224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270346 33554432000 4194304 16246674 140736583380304 139964473920688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1315396


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

/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270346 33554432000 4194304 16246674 140736583380304 139964473920688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1315396

[startup+1302.3 s]
/proc/loadavg: 2.28 2.20 2.16 3/183 16844
/proc/meminfo: memFree=28407824/32872528 swapFree=12208/1156848
[pid=16786] ppid=16783 vsize=1315396 CPUtime=1302.08 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 15571 0 -1 4202496 269549 0 0 0 130171 37 0 0 20 0 4 0 110853485 1346965504 270346 33554432000 4194304 16246674 140736583380304 140736583362176 12483222 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16786/statm: 328849 270346 901 2943 0 325743 0
[pid=16786/tid=16787] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270346 33554432000 4194304 16246674 140736583380304 139964494884080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270346 33554432000 4194304 16246674 140736583380304 139964484394224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270346 33554432000 4194304 16246674 140736583380304 139964473920688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.33 2.22 2.17 3/183 16846
/proc/meminfo: memFree=28407256/32872528 swapFree=12208/1156848
[pid=16786] ppid=16783 vsize=1315396 CPUtime=1362.07 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 15571 0 -1 4202496 269554 0 0 0 136170 37 0 0 20 0 4 0 110853485 1346965504 270346 33554432000 4194304 16246674 140736583380304 140736583362176 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16786/statm: 328849 270346 901 2943 0 325743 0
[pid=16786/tid=16787] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270346 33554432000 4194304 16246674 140736583380304 139964494884080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270346 33554432000 4194304 16246674 140736583380304 139964484394224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270346 33554432000 4194304 16246674 140736583380304 139964473920688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.22 2.21 2.17 3/184 16850
/proc/meminfo: memFree=28407552/32872528 swapFree=12208/1156848
[pid=16786] ppid=16783 vsize=1315396 CPUtime=1422.07 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 15571 0 -1 4202496 269565 0 0 0 142169 38 0 0 20 0 4 0 110853485 1346965504 270346 33554432000 4194304 16246674 140736583380304 140736583362176 12483300 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16786/statm: 328849 270346 901 2943 0 325743 0
[pid=16786/tid=16787] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270346 33554432000 4194304 16246674 140736583380304 139964494884080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270346 33554432000 4194304 16246674 140736583380304 139964484394224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270346 33554432000 4194304 16246674 140736583380304 139964473920688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1315396

[startup+1482.3 s]
/proc/loadavg: 2.31 2.23 2.18 3/183 16851
/proc/meminfo: memFree=28407268/32872528 swapFree=12208/1156848
[pid=16786] ppid=16783 vsize=1315396 CPUtime=1482.05 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 15571 0 -1 4202496 269568 0 0 0 148167 38 0 0 20 0 4 0 110853485 1346965504 270346 33554432000 4194304 16246674 140736583380304 140736583362176 12483416 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16786/statm: 328849 270346 901 2943 0 325743 0
[pid=16786/tid=16787] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270346 33554432000 4194304 16246674 140736583380304 139964494884080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270346 33554432000 4194304 16246674 140736583380304 139964484394224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270346 33554432000 4194304 16246674 140736583380304 139964473920688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1315396

[startup+1542.31 s]
/proc/loadavg: 2.24 2.21 2.18 3/182 16852
/proc/meminfo: memFree=28407892/32872528 swapFree=12208/1156848
[pid=16786] ppid=16783 vsize=1315396 CPUtime=1542.04 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 15571 0 -1 4202496 269577 0 0 0 154166 38 0 0 20 0 4 0 110853485 1346965504 270346 33554432000 4194304 16246674 140736583380304 140736583362176 5546252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16786/statm: 328849 270346 901 2943 0 325743 0
[pid=16786/tid=16787] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270346 33554432000 4194304 16246674 140736583380304 139964494884080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270346 33554432000 4194304 16246674 140736583380304 139964484394224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270346 33554432000 4194304 16246674 140736583380304 139964473920688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 2.14 2.19 2.17 4/183 16854
/proc/meminfo: memFree=28407636/32872528 swapFree=12208/1156848
[pid=16786] ppid=16783 vsize=1315396 CPUtime=1602.02 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 15571 0 -1 4202496 269582 0 0 0 160164 38 0 0 20 0 4 0 110853485 1346965504 270346 33554432000 4194304 16246674 140736583380304 140736583362176 12477836 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16786/statm: 328849 270346 901 2943 0 325743 0
[pid=16786/tid=16787] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270346 33554432000 4194304 16246674 140736583380304 139964494884080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270346 33554432000 4194304 16246674 140736583380304 139964484394224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270346 33554432000 4194304 16246674 140736583380304 139964473920688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1315396

[startup+1662.3 s]
/proc/loadavg: 2.14 2.18 2.17 3/183 16905
/proc/meminfo: memFree=28407380/32872528 swapFree=12208/1156848
[pid=16786] ppid=16783 vsize=1315396 CPUtime=1661.99 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 15571 0 -1 4202496 269620 0 0 0 166161 38 0 0 20 0 4 0 110853485 1346965504 270346 33554432000 4194304 16246674 140736583380304 140736583362176 5667556 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16786/statm: 328849 270346 901 2943 0 325743 0
[pid=16786/tid=16787] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270346 33554432000 4194304 16246674 140736583380304 139964494884080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270346 33554432000 4194304 16246674 140736583380304 139964484394224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270346 33554432000 4194304 16246674 140736583380304 139964473920688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 2.11 2.16 2.16 3/183 16906
/proc/meminfo: memFree=28406740/32872528 swapFree=12208/1156848
[pid=16786] ppid=16783 vsize=1315396 CPUtime=1721.95 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 15571 0 -1 4202496 269650 0 0 0 172157 38 0 0 20 0 4 0 110853485 1346965504 270346 33554432000 4194304 16246674 140736583380304 140736583362176 13943729 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16786/statm: 328849 270346 901 2943 0 325743 0
[pid=16786/tid=16787] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270346 33554432000 4194304 16246674 140736583380304 139964494884080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270346 33554432000 4194304 16246674 140736583380304 139964484394224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110853486 1346965504 270346 33554432000 4194304 16246674 140736583380304 139964473920688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 1315396

[startup+1782.3 s]
/proc/loadavg: 2.13 2.16 2.16 3/183 16907
/proc/meminfo: memFree=28403724/32872528 swapFree=12208/1156848
[pid=16786] ppid=16783 vsize=1318468 CPUtime=1781.93 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 15571 0 -1 4202496 270438 0 0 0 178155 38 0 0 20 0 4 0 110853485 1350111232 271115 33554432000 4194304 16246674 140736583380304 140736583362176 5722904 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16786/statm: 329617 271115 902 2943 0 326511 0
[pid=16786/tid=16787] ppid=16783 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110853486 1350111232 271115 33554432000 4194304 16246674 140736583380304 139964494884080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110853486 1350111232 271115 33554432000 4194304 16246674 140736583380304 139964484394224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110853486 1350111232 271115 33554432000 4194304 16246674 140736583380304 139964473920688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 1318468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.16 2.16 2.17 3/183 16907
/proc/meminfo: memFree=28404096/32872528 swapFree=12208/1156848
[pid=16786] ppid=16783 vsize=1318468 CPUtime=1800.02 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 15571 0 -1 4202496 270438 0 0 0 179964 38 0 0 20 0 4 0 110853485 1350111232 271115 33554432000 4194304 16246674 140736583380304 140736583362176 12483326 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16786/statm: 329617 271115 902 2943 0 326511 0
[pid=16786/tid=16787] ppid=16783 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110853486 1350111232 271115 33554432000 4194304 16246674 140736583380304 139964494884080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110853486 1350111232 271115 33554432000 4194304 16246674 140736583380304 139964484394224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110853486 1350111232 271115 33554432000 4194304 16246674 140736583380304 139964473920688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1318468

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.04
CPU user time (s): 1799.65
CPU system time (s): 0.38894
CPU usage (%): 99.9795
Max. virtual memory (cumulated for all children) (KiB): 1318468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.65
system time used= 0.38894
maximum resident set size= 1084460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270438
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= 148
involuntary context switches= 1848

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.72228 second user time and 6.76797 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-07 10:46:29
IDJOB=4080051
IDBENCH=90460
IDSOLVER=2542
FILE ID=node114/4080051-1465289189
RUNJOBID= node114-1465276339-15587
PBS_JOBID= 19843307
Free space on /tmp= 71716 MiB

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

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

MD5SUM BENCH= 27c4cd1b0a50f71c46e26d24b1ec8806
RANDOM SEED=222389022

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29491088 kB
Buffers:          148440 kB
Cached:           254464 kB
SwapCached:         1696 kB
Active:          1238388 kB
Inactive:         249404 kB
Active(anon):    1085652 kB
Inactive(anon):     1252 kB
Active(file):     152736 kB
Inactive(file):   248152 kB
Unevictable:     1156848 kB
Mlocked:           12208 kB
SwapTotal:      67108856 kB
SwapFree:       67096680 kB
Dirty:             18708 kB
Writeback:             0 kB
AnonPages:       2240944 kB
Mapped:            10904 kB
Shmem:                 0 kB
Slab:             603148 kB
SReclaimable:      46968 kB
SUnreclaim:       556180 kB
KernelStack:        1456 kB
PageTables:         8508 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2383252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1153024 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node114 at 2016-06-07 11:16:30