Trace number 4121330

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02UNSAT 1031.6 1031.86

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n86-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
MD5SUMdcdc2dbdb086f956272aa7893b286a77
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark8.68468
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables129
Total number of constraints344
Number of constraints which are clauses344
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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-30T21:16: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-4121330-1467314189.opb"]
0.00/0.01	c use --random-gen="4211125255 2172347990 3324930877 349608509 2381115192 44246127 424077192 3453669291 4130483036 1751032819 1513861695 1006195380 1469919765 4070600252 729131013 79797691 1012857453 649832857 2515446768 2443521783 1051398112 1568709328 3505920224 1037846962 1503435737 2278830699 3220018673 2672452399 64939562 3074603266 2299387377 3494175295 2648905443 2337002974 2247325497 151489109 1709465552 1557069092 2221947330 2589796285 3311114727 3567069089 3305380977 1464766592 3845970461 1875001705 112197695 472312774 1748053942 2477754761 499109784 1799071128 1311199891 2028718757 3401819409 412748197 1654048147 3350515131 448398564 492051690 2888399876 639348827 782202308 4271521183 810219034 4161325886 2267772666 3750583895 939271690 876828516 4037285503 3469458758 4043056007 948877909 3272692264 629611639 2320771238 3657403785 3896786172 2636377194 2022667395 3574979747 1141377583 3271548552 2359029473 1357654763 591365863 1218497547 42893129 2984541488 1805077465 3596727002 2112736131 236976424 4062969729 2407837369 3615847109 1027524334 4276725502 3135486060 729787836 3448790326 3811192519 2956267620 1988887031 3374403068 324545494 3493813994 2828567241 3221658823 283814653 3908605439 2912195210 1710138866 2617097571 2228477128 1832216207 2466341633 1323904101 380789277 2608725282 2347378212 2110300648 669565174 3838237978 1923961532 2822048474 3712882526 4272108677 1775098670 3129280534 1724002111 459565922 1557335292 938327788 2471735000 137863926 462301430 672378590 2724011603 2319280842 1189517749 3026642709 3814782843 3824464728 2661672762 267223782 612315820 2158819456 4231242744 1663832327 3525057025 619226919 3818907715 2932722436 617960384 2887715493 2565065572 541406488 3375382198 1198430046 3049109279 1438233444 4113758307 1328996520 730511955 4282645102 2066116103 2302276031 2405234130 117653340 2456915910 2296236949 1845259714 168274416 782673342 411603086 1642277090 1528173125 218769733 4001550617 1667336411 3788403500 886986142 2325056581 359462615 2709584032 493705163 1474990340 3468658871 2344556114 3041232859 1049425373 1739938301 1734271740 3116976259 763805970 2234776165 2271590476 175791039 4062843814 3172649380 934000283 1372043632 2598681707 3511925236 1298354014 1303255874 3666725154 3500728560 517962458 2011300654 2229444659 2147062829 1041284579 203373431 2629004574 2693479576 405353868 913617299 1274447145 556359437 2833865814 3255021463 2378283764 1312557003 929953561 3927916179 3736525735 2269430964 2497819341 3750072875 581880307 460865788 3339822417 1307481134 133212221 3802537790 429677570 1150908585 212594047 3620833386 2321226698 2723560408 2370074780 41199326 2604332398 3700425833 159187100 471670198 4171546432 3218064160 797070491 1060501187 2142969259 3900371739 255 362436" option to reproduce the execution
0.00/0.01	c #vars 129
0.00/0.01	c #constraints 344
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      157      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      176 |      100 |      157      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      372 |      250 |      173      0 |        0 |        0
0.00/0.06	c  0.0s |       3 |      707 |      475 |      191      2 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1179 |      813 |      211      5 |        0 |        0
0.09/0.15	c  0.1s |       5 |     1812 |     1320 |      233      9 |        0 |        0
0.19/0.22	c  0.2s |       6 |     2797 |     2081 |      283     13 |        0 |        0
0.28/0.33	c  0.3s |       7 |     4148 |     3223 |      312     20 |        0 |        0
0.49/0.53	c  0.5s |       8 |     6198 |     4936 |      344     30 |        0 |        0
0.79/0.80	c  0.8s |       9 |     9171 |     7506 |      379     44 |        0 |        0
1.09/1.13	c  1.1s |      10 |    13947 |    11361 |      417     63 |        0 |        0
1.48/1.51	c  1.5s |      11 |    21411 |    17144 |      459     89 |        0 |        0
1.99/2.09	c  2.1s |      12 |    33310 |    25819 |      505    125 |        0 |        0
2.89/2.96	c  2.9s |      13 |    51406 |    38832 |      556    175 |        0 |        0
4.19/4.23	c  4.2s |      14 |    78835 |    58352 |      612    243 |        0 |        0
6.09/6.15	c  6.1s |      15 |   121354 |    87632 |      674    336 |        0 |        0
8.09/8.16	c  8.1s |      15 |   163445 |   117632 |      674    423 |        0 |        0
9.09/9.13	c  9.1s |      16 |   182897 |   131552 |      742    463 |        0 |        0
11.08/11.13	c 11.1s |      16 |   219409 |   158652 |      742    535 |        0 |        0
13.08/13.13	c 13.1s |      16 |   259144 |   186652 |      742    608 |        0 |        0
13.88/13.93	c 13.9s |      17 |   274413 |   197432 |      817    636 |        0 |        0
15.88/15.93	c 15.9s |      17 |   315938 |   227032 |      817    708 |        0 |        0
17.89/17.93	c 17.9s |      17 |   352142 |   254732 |      817    775 |        0 |        0
19.88/19.93	c 19.9s |      17 |   387720 |   282132 |      817    841 |        0 |        0
20.88/20.92	c 20.9s |      18 |   406869 |   296252 |      899    875 |        0 |        0
22.89/22.92	c 22.9s |      18 |   446933 |   324752 |      899    937 |        0 |        0
24.89/24.93	c 24.9s |      18 |   484307 |   353152 |      899    999 |        0 |        0
26.89/26.93	c 26.9s |      18 |   519479 |   380052 |      899   1059 |        0 |        0
28.89/28.93	c 28.9s |      18 |   555639 |   406952 |      899   1118 |        0 |        0
30.89/30.93	c 30.9s |      18 |   591903 |   434652 |      899   1179 |        0 |        0
31.59/31.64	c 31.6s |      19 |   604969 |   444482 |      989   1200 |        0 |        0
33.58/33.65	c 33.6s |      19 |   627980 |   464782 |      989   1240 |        0 |        0
35.59/35.66	c 35.6s |      19 |   650713 |   484682 |      989   1279 |        0 |        0
37.58/37.66	c 37.6s |      19 |   675010 |   505282 |      989   1320 |        0 |        0
39.58/39.66	c 39.6s |      19 |   698013 |   525082 |      989   1360 |        0 |        0
41.58/41.67	c 41.6s |      19 |   726444 |   547382 |      989   1404 |        0 |        0
43.58/43.67	c 43.7s |      19 |   758765 |   571282 |      989   1452 |        0 |        0
45.58/45.68	c 45.7s |      19 |   791286 |   595082 |      989   1500 |        0 |        0
47.58/47.69	c 47.7s |      19 |   820949 |   618182 |      989   1546 |        0 |        0
49.57/49.69	c 49.7s |      19 |   854799 |   643082 |      989   1596 |        0 |        0
51.57/51.63	c 51.6s |      20 |   885032 |   666827 |     1088   1642 |        0 |        0
53.57/53.63	c 53.6s |      20 |   921542 |   693227 |     1088   1690 |        0 |        0
55.58/55.63	c 55.6s |      20 |   957040 |   719627 |     1088   1738 |        0 |        0
57.59/57.64	c 57.6s |      20 |   990774 |   744927 |     1088   1784 |        0 |        0
59.58/59.64	c 59.6s |      20 |  1025150 |   770527 |     1088   1831 |        0 |        0
61.58/61.65	c 61.6s |      20 |  1059119 |   796627 |     1088   1878 |        0 |        0
63.58/63.65	c 63.6s |      20 |  1094314 |   822427 |     1088   1925 |        0 |        0
65.58/65.65	c 65.6s |      20 |  1129730 |   848827 |     1088   1974 |        0 |        0
67.58/67.66	c 67.6s |      20 |  1167255 |   875527 |     1088   2022 |        0 |        0
69.59/69.67	c 69.6s |      20 |  1202305 |   902327 |     1088   2071 |        0 |        0
71.58/71.67	c 71.6s |      20 |  1237858 |   928527 |     1088   2119 |        0 |        0
73.58/73.67	c 73.7s |      20 |  1271221 |   954027 |     1088   2165 |        0 |        0
75.58/75.68	c 75.7s |      20 |  1307018 |   980427 |     1088   2214 |        0 |        0
77.18/77.24	c 77.2s |      21 |  1334077 |  1000345 |     1197   2249 |        0 |        0
79.18/79.24	c 79.2s |      21 |  1363143 |  1023145 |     1197   2286 |        0 |        0
81.17/81.24	c 81.2s |      21 |  1394852 |  1046245 |     1197   2324 |        0 |        0
83.17/83.24	c 83.2s |      21 |  1427158 |  1071345 |     1197   2366 |        0 |        0
85.17/85.24	c 85.2s |      21 |  1462320 |  1096945 |     1197   2408 |        0 |        0
87.18/87.25	c 87.2s |      21 |  1495807 |  1121645 |     1197   2449 |        0 |        0
89.17/89.25	c 89.2s |      21 |  1533496 |  1148645 |     1197   2494 |        0 |        0
91.17/91.25	c 91.2s |      21 |  1568079 |  1174545 |     1197   2537 |        0 |        0
93.17/93.26	c 93.2s |      21 |  1603390 |  1201145 |     1197   2581 |        0 |        0
95.17/95.26	c 95.2s |      21 |  1637021 |  1226545 |     1197   2623 |        0 |        0
97.18/97.27	c 97.2s |      21 |  1671559 |  1252145 |     1197   2666 |        0 |        0
99.17/99.27	c 99.2s |      21 |  1705970 |  1277745 |     1197   2708 |        0 |        0
101.17/101.27	c  101s |      21 |  1740771 |  1303445 |     1197   2751 |        0 |        0
103.17/103.28	c  103s |      21 |  1774612 |  1328745 |     1197   2793 |        0 |        0
105.18/105.28	c  105s |      21 |  1810215 |  1354945 |     1197   2836 |        0 |        0
107.17/107.28	c  107s |      21 |  1841933 |  1379545 |     1197   2877 |        0 |        0
109.18/109.29	c  109s |      21 |  1875168 |  1405045 |     1197   2920 |        0 |        0
111.17/111.29	c  111s |      21 |  1906754 |  1429145 |     1197   2960 |        0 |        0
113.27/113.30	c  113s |      21 |  1940907 |  1454345 |     1197   3001 |        0 |        0
115.27/115.30	c  115s |      21 |  1977712 |  1480845 |     1197   3045 |        0 |        0
116.77/116.82	c  116s |      22 |  2005304 |  1500622 |     1317   3077 |        0 |        0
118.77/118.82	c  118s |      22 |  2035087 |  1523822 |     1317   3111 |        0 |        0
120.77/120.83	c  120s |      22 |  2065687 |  1546922 |     1317   3146 |        0 |        0
122.77/122.83	c  122s |      22 |  2095283 |  1568822 |     1317   3179 |        0 |        0
124.77/124.83	c  124s |      22 |  2127084 |  1593522 |     1317   3217 |        0 |        0
126.77/126.84	c  126s |      22 |  2157884 |  1617722 |     1317   3253 |        0 |        0
128.77/128.84	c  128s |      22 |  2192787 |  1643722 |     1317   3292 |        0 |        0
130.77/130.85	c  130s |      22 |  2221558 |  1666322 |     1317   3326 |        0 |        0
132.77/132.86	c  132s |      22 |  2251248 |  1689622 |     1317   3361 |        0 |        0
134.77/134.86	c  134s |      22 |  2282593 |  1713522 |     1317   3397 |        0 |        0
136.77/136.86	c  136s |      22 |  2313877 |  1737022 |     1317   3433 |        0 |        0
138.76/138.87	c  138s |      22 |  2346886 |  1761822 |     1317   3470 |        0 |        0
140.76/140.87	c  140s |      22 |  2379668 |  1787022 |     1317   3508 |        0 |        0
142.76/142.88	c  142s |      22 |  2410047 |  1810222 |     1317   3543 |        0 |        0
144.76/144.88	c  144s |      22 |  2435309 |  1830822 |     1317   3574 |        0 |        0
146.76/146.88	c  146s |      22 |  2470899 |  1856422 |     1317   3613 |        0 |        0
148.77/148.88	c  148s |      22 |  2505120 |  1881922 |     1317   3652 |        0 |        0
150.76/150.89	c  150s |      22 |  2533612 |  1904222 |     1317   3685 |        0 |        0
152.76/152.89	c  152s |      22 |  2561167 |  1926522 |     1317   3719 |        0 |        0
154.86/154.90	c  154s |      22 |  2594196 |  1951322 |     1317   3756 |        0 |        0
156.87/156.91	c  156s |      22 |  2626955 |  1975822 |     1317   3794 |        0 |        0
158.87/158.91	c  158s |      22 |  2657677 |  1998822 |     1317   3828 |        0 |        0
160.87/160.91	c  160s |      22 |  2687041 |  2021722 |     1317   3863 |        0 |        0
162.87/162.92	c  162s |      22 |  2720147 |  2047222 |     1317   3901 |        0 |        0
164.86/164.93	c  164s |      22 |  2750621 |  2069222 |     1317   3935 |        0 |        0
166.86/166.93	c  166s |      22 |  2781026 |  2092422 |     1317   3970 |        0 |        0
168.86/168.93	c  168s |      22 |  2814241 |  2116322 |     1317   4006 |        0 |        0
170.87/170.94	c  170s |      22 |  2847243 |  2140422 |     1317   4042 |        0 |        0
172.86/172.94	c  172s |      22 |  2879946 |  2165322 |     1317   4080 |        0 |        0
174.86/174.95	c  174s |      22 |  2911917 |  2189022 |     1317   4115 |        0 |        0
176.86/176.96	c  176s |      22 |  2940539 |  2212022 |     1317   4150 |        0 |        0
178.86/178.96	c  178s |      22 |  2973370 |  2237122 |     1449   4188 |        0 |        0
180.16/180.23	c  180s |      23 |  2991272 |  2251038 |     1449   4207 |        0 |        0
182.16/182.23	c  182s |      23 |  3022089 |  2274638 |     1449   4239 |        0 |        0
184.16/184.23	c  184s |      23 |  3053319 |  2298138 |     1449   4271 |        0 |        0
186.17/186.24	c  186s |      23 |  3083308 |  2320638 |     1449   4302 |        0 |        0
188.16/188.25	c  188s |      23 |  3113659 |  2343938 |     1449   4334 |        0 |        0
190.16/190.25	c  190s |      23 |  3144324 |  2366238 |     1449   4364 |        0 |        0
192.16/192.26	c  192s |      23 |  3175572 |  2388538 |     1449   4395 |        0 |        0
194.16/194.26	c  194s |      23 |  3205670 |  2410938 |     1449   4426 |        0 |        0
196.16/196.26	c  196s |      23 |  3236199 |  2433738 |     1449   4457 |        0 |        0
198.15/198.27	c  198s |      23 |  3266704 |  2456538 |     1449   4488 |        0 |        0
200.15/200.28	c  200s |      23 |  3297597 |  2479638 |     1449   4520 |        0 |        0
202.15/202.29	c  202s |      23 |  3328374 |  2502238 |     1449   4551 |        0 |        0
204.15/204.29	c  204s |      23 |  3359558 |  2524538 |     1449   4582 |        0 |        0
206.25/206.30	c  206s |      23 |  3390138 |  2547038 |     1449   4613 |        0 |        0
208.16/208.30	c  208s |      23 |  3422040 |  2570638 |     1449   4645 |        0 |        0
210.26/210.30	c  210s |      23 |  3453360 |  2593438 |     1449   4676 |        0 |        0
212.26/212.31	c  212s |      23 |  3483719 |  2616338 |     1449   4708 |        0 |        0
214.26/214.32	c  214s |      23 |  3511583 |  2638138 |     1449   4738 |        0 |        0
216.26/216.32	c  216s |      23 |  3544266 |  2661938 |     1449   4770 |        0 |        0
218.26/218.32	c  218s |      23 |  3577184 |  2685638 |     1449   4803 |        0 |        0
220.26/220.33	c  220s |      23 |  3611958 |  2710038 |     1449   4836 |        0 |        0
222.25/222.33	c  222s |      23 |  3643683 |  2733538 |     1449   4869 |        0 |        0
224.25/224.33	c  224s |      23 |  3676745 |  2757438 |     1449   4901 |        0 |        0
226.25/226.33	c  226s |      23 |  3710069 |  2781238 |     1449   4934 |        0 |        0
228.25/228.34	c  228s |      23 |  3742068 |  2804738 |     1449   4966 |        0 |        0
230.26/230.35	c  230s |      23 |  3773128 |  2828338 |     1449   4999 |        0 |        0
232.25/232.36	c  232s |      23 |  3805377 |  2852338 |     1449   5032 |        0 |        0
234.25/234.37	c  234s |      23 |  3835595 |  2875338 |     1449   5063 |        0 |        0
236.25/236.37	c  236s |      23 |  3865944 |  2898838 |     1449   5096 |        0 |        0
238.25/238.38	c  238s |      23 |  3897786 |  2922538 |     1449   5128 |        0 |        0
240.25/240.38	c  240s |      23 |  3929417 |  2946238 |     1449   5161 |        0 |        0
242.26/242.39	c  242s |      23 |  3960804 |  2970138 |     1449   5193 |        0 |        0
244.35/244.40	c  244s |      23 |  3987047 |  2991338 |     1449   5223 |        0 |        0
246.35/246.40	c  246s |      23 |  4008016 |  3009338 |     1449   5247 |        0 |        0
248.35/248.41	c  248s |      23 |  4034465 |  3030238 |     1449   5276 |        0 |        0
250.35/250.41	c  250s |      23 |  4061907 |  3052138 |     1449   5306 |        0 |        0
252.35/252.41	c  252s |      23 |  4091917 |  3074838 |     1449   5337 |        0 |        0
254.35/254.42	c  254s |      23 |  4122987 |  3098438 |     1449   5370 |        0 |        0
256.34/256.42	c  256s |      23 |  4153420 |  3121538 |     1449   5401 |        0 |        0
258.34/258.43	c  258s |      23 |  4184381 |  3144738 |     1449   5433 |        0 |        0
260.34/260.43	c  260s |      23 |  4214968 |  3167838 |     1449   5465 |        0 |        0
262.34/262.43	c  262s |      23 |  4244172 |  3189938 |     1449   5495 |        0 |        0
264.36/264.43	c  264s |      23 |  4275703 |  3213738 |     1449   5528 |        0 |        0
266.35/266.44	c  266s |      23 |  4304572 |  3236538 |     1449   5559 |        0 |        0
268.35/268.44	c  268s |      23 |  4332063 |  3259138 |     1449   5590 |        0 |        0
270.35/270.45	c  270s |      23 |  4363243 |  3281238 |     1449   5621 |        0 |        0
272.35/272.45	c  272s |      23 |  4393722 |  3303038 |     1449   5651 |        0 |        0
274.35/274.46	c  274s |      23 |  4423915 |  3324938 |     1449   5681 |        0 |        0
276.35/276.46	c  276s |      23 |  4456408 |  3348338 |     1449   5713 |        0 |        0
278.35/278.47	c  278s |      23 |  4486186 |  3369538 |     1594   5740 |        0 |        0
279.05/279.16	c  279s |      24 |  4494941 |  3376662 |     1594   5749 |        0 |        0
281.04/281.16	c  281s |      24 |  4522046 |  3398062 |     1594   5775 |        0 |        0
283.05/283.17	c  283s |      24 |  4548009 |  3419062 |     1594   5802 |        0 |        0
285.04/285.17	c  285s |      24 |  4573353 |  3438962 |     1594   5826 |        0 |        0
287.04/287.18	c  287s |      24 |  4601003 |  3460562 |     1594   5853 |        0 |        0
289.04/289.18	c  289s |      24 |  4628709 |  3481962 |     1594   5880 |        0 |        0
291.04/291.19	c  291s |      24 |  4653520 |  3502762 |     1594   5906 |        0 |        0
293.14/293.20	c  293s |      24 |  4678715 |  3522962 |     1594   5931 |        0 |        0
295.05/295.20	c  295s |      24 |  4707347 |  3544662 |     1594   5958 |        0 |        0
297.14/297.21	c  297s |      24 |  4732662 |  3564862 |     1594   5983 |        0 |        0
299.14/299.21	c  299s |      24 |  4762820 |  3587862 |     1594   6012 |        0 |        0
301.14/301.22	c  301s |      24 |  4793857 |  3610862 |     1594   6041 |        0 |        0
303.14/303.22	c  303s |      24 |  4823471 |  3633162 |     1594   6068 |        0 |        0
305.14/305.22	c  305s |      24 |  4852733 |  3655462 |     1594   6096 |        0 |        0
307.14/307.23	c  307s |      24 |  4877757 |  3675362 |     1594   6121 |        0 |        0
309.14/309.23	c  309s |      24 |  4903323 |  3695562 |     1594   6146 |        0 |        0
311.14/311.24	c  311s |      24 |  4930096 |  3716362 |     1594   6172 |        0 |        0
313.13/313.24	c  313s |      24 |  4956490 |  3737462 |     1594   6198 |        0 |        0
315.13/315.24	c  315s |      24 |  4978649 |  3756262 |     1594   6222 |        0 |        0
317.14/317.25	c  317s |      24 |  5006286 |  3777562 |     1594   6248 |        0 |        0
319.13/319.25	c  319s |      24 |  5035238 |  3799162 |     1594   6275 |        0 |        0
321.14/321.26	c  321s |      24 |  5066765 |  3822462 |     1594   6305 |        0 |        0
323.14/323.26	c  323s |      24 |  5096217 |  3844962 |     1594   6333 |        0 |        0
325.14/325.27	c  325s |      24 |  5127671 |  3868262 |     1594   6362 |        0 |        0
327.14/327.27	c  327s |      24 |  5159728 |  3891462 |     1594   6391 |        0 |        0
329.15/329.28	c  329s |      24 |  5190250 |  3914362 |     1594   6419 |        0 |        0
331.14/331.28	c  331s |      24 |  5221008 |  3937362 |     1594   6448 |        0 |        0
333.14/333.29	c  333s |      24 |  5250901 |  3959862 |     1594   6476 |        0 |        0
335.14/335.29	c  335s |      24 |  5281056 |  3982962 |     1594   6505 |        0 |        0
337.14/337.30	c  337s |      24 |  5311777 |  4005962 |     1594   6534 |        0 |        0
339.23/339.30	c  339s |      24 |  5343618 |  4029762 |     1594   6563 |        0 |        0
341.13/341.30	c  341s |      24 |  5374599 |  4052662 |     1594   6592 |        0 |        0
343.23/343.31	c  343s |      24 |  5404375 |  4075462 |     1594   6620 |        0 |        0
345.23/345.32	c  345s |      24 |  5435402 |  4098162 |     1594   6649 |        0 |        0
347.23/347.32	c  347s |      24 |  5465394 |  4120862 |     1594   6677 |        0 |        0
349.23/349.33	c  349s |      24 |  5495565 |  4143562 |     1594   6705 |        0 |        0
351.24/351.33	c  351s |      24 |  5524030 |  4165262 |     1594   6733 |        0 |        0
353.23/353.33	c  353s |      24 |  5552777 |  4186762 |     1594   6759 |        0 |        0
355.24/355.34	c  355s |      24 |  5582499 |  4208462 |     1594   6787 |        0 |        0
357.23/357.34	c  357s |      24 |  5611861 |  4230762 |     1594   6815 |        0 |        0
359.23/359.35	c  359s |      24 |  5642844 |  4253162 |     1594   6843 |        0 |        0
361.23/361.36	c  361s |      24 |  5670628 |  4274862 |     1594   6870 |        0 |        0
363.24/363.37	c  363s |      24 |  5701143 |  4297962 |     1594   6899 |        0 |        0
365.23/365.37	c  365s |      24 |  5731773 |  4320662 |     1594   6927 |        0 |        0
367.23/367.37	c  367s |      24 |  5764618 |  4343562 |     1594   6956 |        0 |        0
369.23/369.37	c  369s |      24 |  5797570 |  4366762 |     1594   6985 |        0 |        0
371.23/371.38	c  371s |      24 |  5829900 |  4389862 |     1594   7013 |        0 |        0
373.23/373.39	c  373s |      24 |  5864463 |  4413962 |     1594   7044 |        0 |        0
375.23/375.40	c  375s |      24 |  5894510 |  4436362 |     1594   7072 |        0 |        0
377.33/377.40	c  377s |      24 |  5923695 |  4458562 |     1594   7099 |        0 |        0
379.32/379.41	c  379s |      24 |  5950495 |  4479062 |     1594   7125 |        0 |        0
381.32/381.41	c  381s |      24 |  5980737 |  4501762 |     1594   7154 |        0 |        0
383.32/383.42	c  383s |      24 |  6004379 |  4521562 |     1594   7178 |        0 |        0
385.33/385.44	c  385s |      24 |  6032091 |  4543362 |     1594   7205 |        0 |        0
387.32/387.44	c  387s |      24 |  6060422 |  4565162 |     1594   7233 |        0 |        0
389.32/389.45	c  389s |      24 |  6093091 |  4588962 |     1594   7262 |        0 |        0
391.32/391.45	c  391s |      24 |  6122070 |  4611062 |     1594   7290 |        0 |        0
393.32/393.46	c  393s |      24 |  6148819 |  4632262 |     1594   7316 |        0 |        0
395.33/395.46	c  395s |      24 |  6174615 |  4652962 |     1594   7342 |        0 |        0
397.34/397.48	c  397s |      24 |  6200608 |  4673162 |     1594   7368 |        0 |        0
399.33/399.49	c  399s |      24 |  6229117 |  4694862 |     1594   7395 |        0 |        0
401.43/401.50	c  401s |      24 |  6251000 |  4713762 |     1594   7418 |        0 |        0
403.43/403.50	c  403s |      24 |  6280611 |  4736362 |     1594   7447 |        0 |        0
405.43/405.50	c  405s |      24 |  6311347 |  4759062 |     1594   7475 |        0 |        0
407.43/407.51	c  407s |      24 |  6339773 |  4780662 |     1594   7502 |        0 |        0
409.44/409.51	c  409s |      24 |  6371313 |  4804062 |     1594   7531 |        0 |        0
411.43/411.51	c  411s |      24 |  6402944 |  4827362 |     1594   7561 |        0 |        0
413.43/413.52	c  413s |      24 |  6432375 |  4849862 |     1594   7589 |        0 |        0
415.43/415.52	c  415s |      24 |  6462417 |  4873062 |     1594   7618 |        0 |        0
417.43/417.53	c  417s |      24 |  6492073 |  4896362 |     1594   7647 |        0 |        0
419.43/419.54	c  419s |      24 |  6518979 |  4917062 |     1594   7673 |        0 |        0
421.43/421.54	c  421s |      24 |  6546016 |  4937862 |     1594   7699 |        0 |        0
423.42/423.54	c  423s |      24 |  6572081 |  4957262 |     1594   7723 |        0 |        0
425.42/425.55	c  425s |      24 |  6600386 |  4979062 |     1594   7750 |        0 |        0
427.42/427.55	c  427s |      24 |  6629637 |  5001262 |     1594   7778 |        0 |        0
429.42/429.55	c  429s |      24 |  6662286 |  5024462 |     1594   7807 |        0 |        0
431.43/431.56	c  431s |      24 |  6687907 |  5044762 |     1754   7830 |        0 |        0
433.32/433.47	c  433s |      25 |  6714374 |  5065098 |     1754   7853 |        0 |        0
435.32/435.48	c  435s |      25 |  6737785 |  5082698 |     1754   7873 |        0 |        0
437.32/437.48	c  437s |      25 |  6760924 |  5100198 |     1754   7893 |        0 |        0
439.42/439.50	c  439s |      25 |  6785312 |  5118598 |     1754   7914 |        0 |        0
441.33/441.50	c  441s |      25 |  6810624 |  5138098 |     1754   7936 |        0 |        0
443.42/443.50	c  443s |      25 |  6838779 |  5158498 |     1754   7959 |        0 |        0
445.42/445.51	c  445s |      25 |  6866255 |  5178298 |     1754   7981 |        0 |        0
447.42/447.51	c  447s |      25 |  6894737 |  5199198 |     1754   8005 |        0 |        0
449.42/449.52	c  449s |      25 |  6921654 |  5219198 |     1754   8028 |        0 |        0
451.42/451.53	c  451s |      25 |  6949657 |  5239898 |     1754   8051 |        0 |        0
453.42/453.53	c  453s |      25 |  6976542 |  5260998 |     1754   8075 |        0 |        0
455.41/455.53	c  455s |      25 |  7004219 |  5281998 |     1754   8099 |        0 |        0
457.41/457.54	c  457s |      25 |  7028733 |  5301098 |     1754   8120 |        0 |        0
459.41/459.54	c  459s |      25 |  7053871 |  5320298 |     1754   8142 |        0 |        0
461.41/461.55	c  461s |      25 |  7082220 |  5341498 |     1754   8166 |        0 |        0
463.42/463.56	c  463s |      25 |  7111077 |  5362698 |     1754   8190 |        0 |        0
465.41/465.56	c  465s |      25 |  7141000 |  5384298 |     1754   8215 |        0 |        0
467.41/467.56	c  467s |      25 |  7169238 |  5405798 |     1754   8239 |        0 |        0
469.41/469.57	c  469s |      25 |  7195023 |  5425198 |     1754   8261 |        0 |        0
471.41/471.58	c  471s |      25 |  7223719 |  5446298 |     1754   8285 |        0 |        0
473.41/473.58	c  473s |      25 |  7250030 |  5466398 |     1754   8308 |        0 |        0
475.42/475.59	c  475s |      25 |  7276772 |  5486798 |     1754   8331 |        0 |        0
477.41/477.59	c  477s |      25 |  7302809 |  5506398 |     1754   8353 |        0 |        0
479.52/479.60	c  479s |      25 |  7329277 |  5525998 |     1754   8376 |        0 |        0
481.52/481.60	c  481s |      25 |  7357144 |  5546298 |     1754   8399 |        0 |        0
483.52/483.60	c  483s |      25 |  7383442 |  5565798 |     1754   8421 |        0 |        0
485.51/485.60	c  485s |      25 |  7413316 |  5586898 |     1754   8445 |        0 |        0
487.52/487.61	c  487s |      25 |  7441318 |  5607498 |     1754   8468 |        0 |        0
489.51/489.61	c  489s |      25 |  7468900 |  5627298 |     1754   8491 |        0 |        0
491.51/491.62	c  491s |      25 |  7493551 |  5646798 |     1754   8513 |        0 |        0
493.51/493.63	c  493s |      25 |  7518322 |  5666598 |     1754   8535 |        0 |        0
495.51/495.64	c  495s |      25 |  7546150 |  5687198 |     1754   8559 |        0 |        0
497.52/497.65	c  497s |      25 |  7575244 |  5708898 |     1754   8583 |        0 |        0
499.51/499.66	c  499s |      25 |  7603275 |  5729898 |     1754   8607 |        0 |        0
501.51/501.66	c  501s |      25 |  7631115 |  5750398 |     1754   8630 |        0 |        0
503.51/503.67	c  503s |      25 |  7659475 |  5771598 |     1754   8654 |        0 |        0
505.51/505.68	c  505s |      25 |  7684202 |  5791398 |     1754   8677 |        0 |        0
507.51/507.68	c  507s |      25 |  7711997 |  5811698 |     1754   8700 |        0 |        0
509.51/509.69	c  509s |      25 |  7739852 |  5832598 |     1754   8724 |        0 |        0
511.51/511.69	c  511s |      25 |  7768396 |  5853198 |     1754   8747 |        0 |        0
513.60/513.70	c  513s |      25 |  7798918 |  5874598 |     1754   8771 |        0 |        0
515.60/515.70	c  515s |      25 |  7829407 |  5896298 |     1754   8796 |        0 |        0
517.60/517.71	c  517s |      25 |  7860002 |  5917598 |     1754   8820 |        0 |        0
519.60/519.72	c  519s |      25 |  7889464 |  5939098 |     1754   8845 |        0 |        0
521.62/521.72	c  521s |      25 |  7919407 |  5960998 |     1754   8869 |        0 |        0
523.61/523.73	c  523s |      25 |  7943167 |  5980498 |     1754   8892 |        0 |        0
525.61/525.73	c  525s |      25 |  7967421 |  6000598 |     1754   8914 |        0 |        0
527.61/527.74	c  527s |      25 |  7996350 |  6022298 |     1754   8939 |        0 |        0
529.61/529.74	c  529s |      25 |  8023505 |  6043598 |     1754   8963 |        0 |        0
531.62/531.75	c  531s |      25 |  8049350 |  6062898 |     1754   8985 |        0 |        0
533.61/533.75	c  533s |      25 |  8073802 |  6082898 |     1754   9008 |        0 |        0
535.61/535.75	c  535s |      25 |  8101340 |  6104698 |     1754   9033 |        0 |        0
537.61/537.76	c  537s |      25 |  8130165 |  6125298 |     1754   9056 |        0 |        0
539.60/539.76	c  539s |      25 |  8158287 |  6145898 |     1754   9080 |        0 |        0
541.60/541.76	c  541s |      25 |  8186869 |  6167198 |     1754   9104 |        0 |        0
543.61/543.76	c  543s |      25 |  8213633 |  6187498 |     1754   9127 |        0 |        0
545.60/545.77	c  545s |      25 |  8243659 |  6208098 |     1754   9150 |        0 |        0
547.60/547.77	c  547s |      25 |  8274067 |  6229098 |     1754   9174 |        0 |        0
549.60/549.77	c  549s |      25 |  8300836 |  6249998 |     1754   9198 |        0 |        0
551.60/551.78	c  551s |      25 |  8328904 |  6270698 |     1754   9221 |        0 |        0
553.61/553.78	c  553s |      25 |  8355074 |  6290898 |     1754   9244 |        0 |        0
555.60/555.79	c  555s |      25 |  8377696 |  6309698 |     1754   9266 |        0 |        0
557.70/557.80	c  557s |      25 |  8404230 |  6329498 |     1754   9288 |        0 |        0
559.70/559.80	c  559s |      25 |  8432956 |  6349898 |     1754   9311 |        0 |        0
561.70/561.80	c  561s |      25 |  8461179 |  6370398 |     1754   9335 |        0 |        0
563.70/563.81	c  563s |      25 |  8489399 |  6391298 |     1754   9358 |        0 |        0
565.71/565.82	c  565s |      25 |  8517175 |  6412298 |     1754   9382 |        0 |        0
567.70/567.82	c  567s |      25 |  8541975 |  6431498 |     1754   9404 |        0 |        0
569.70/569.82	c  569s |      25 |  8567286 |  6451498 |     1754   9427 |        0 |        0
571.70/571.83	c  571s |      25 |  8593415 |  6471198 |     1754   9449 |        0 |        0
573.70/573.84	c  573s |      25 |  8620966 |  6491598 |     1754   9472 |        0 |        0
575.70/575.85	c  575s |      25 |  8646018 |  6511398 |     1754   9495 |        0 |        0
577.70/577.86	c  577s |      25 |  8673353 |  6532098 |     1754   9519 |        0 |        0
579.70/579.86	c  579s |      25 |  8701646 |  6553198 |     1754   9543 |        0 |        0
581.69/581.87	c  581s |      25 |  8728827 |  6573698 |     1754   9566 |        0 |        0
583.70/583.87	c  583s |      25 |  8757793 |  6594898 |     1754   9590 |        0 |        0
585.70/585.87	c  585s |      25 |  8785812 |  6616298 |     1754   9614 |        0 |        0
587.71/587.89	c  587s |      25 |  8816854 |  6638598 |     1754   9640 |        0 |        0
589.70/589.89	c  589s |      25 |  8843424 |  6658898 |     1754   9663 |        0 |        0
591.80/591.90	c  591s |      25 |  8872805 |  6680798 |     1754   9687 |        0 |        0
593.79/593.90	c  593s |      25 |  8904743 |  6703598 |     1754   9713 |        0 |        0
595.79/595.90	c  595s |      25 |  8935372 |  6725998 |     1754   9739 |        0 |        0
597.79/597.91	c  597s |      25 |  8964960 |  6747798 |     1754   9764 |        0 |        0
599.80/599.91	c  599s |      25 |  8993059 |  6768698 |     1754   9787 |        0 |        0
601.79/601.92	c  601s |      25 |  9019953 |  6789098 |     1754   9810 |        0 |        0
603.79/603.92	c  603s |      25 |  9047703 |  6809998 |     1754   9834 |        0 |        0
605.79/605.93	c  605s |      25 |  9076512 |  6831398 |     1754   9859 |        0 |        0
607.79/607.94	c  607s |      25 |  9103827 |  6852098 |     1754   9882 |        0 |        0
609.80/609.94	c  609s |      25 |  9131998 |  6872798 |     1754   9906 |        0 |        0
611.80/611.95	c  611s |      25 |  9160839 |  6893898 |     1754   9930 |        0 |        0
613.80/613.96	c  613s |      25 |  9189001 |  6915198 |     1754   9954 |        0 |        0
615.80/615.96	c  615s |      25 |  9216760 |  6936498 |     1754   9978 |        0 |        0
617.80/617.97	c  617s |      25 |  9241190 |  6955998 |     1754  10000 |        0 |        0
619.79/619.97	c  619s |      25 |  9264962 |  6975198 |     1754  10022 |        0 |        0
621.80/621.98	c  621s |      25 |  9291509 |  6995598 |     1754  10045 |        0 |        0
623.79/623.98	c  623s |      25 |  9318765 |  7016098 |     1754  10069 |        0 |        0
625.79/625.99	c  625s |      25 |  9348486 |  7038198 |     1754  10094 |        0 |        0
627.79/627.99	c  627s |      25 |  9376685 |  7059498 |     1754  10118 |        0 |        0
629.89/630.00	c  629s |      25 |  9404647 |  7080798 |     1754  10142 |        0 |        0
631.89/632.00	c  631s |      25 |  9432901 |  7102298 |     1754  10167 |        0 |        0
633.90/634.01	c  633s |      25 |  9460789 |  7123498 |     1754  10191 |        0 |        0
635.89/636.01	c  635s |      25 |  9489294 |  7144998 |     1754  10215 |        0 |        0
637.89/638.01	c  637s |      25 |  9516801 |  7166098 |     1754  10239 |        0 |        0
639.89/640.02	c  639s |      25 |  9546828 |  7188098 |     1754  10264 |        0 |        0
641.89/642.02	c  642s |      25 |  9576914 |  7209498 |     1754  10289 |        0 |        0
643.89/644.03	c  644s |      25 |  9609508 |  7232598 |     1754  10315 |        0 |        0
645.89/646.03	c  646s |      25 |  9640837 |  7255798 |     1754  10341 |        0 |        0
647.89/648.04	c  648s |      25 |  9669446 |  7276798 |     1754  10365 |        0 |        0
649.88/650.05	c  650s |      25 |  9699255 |  7298898 |     1754  10390 |        0 |        0
651.88/652.05	c  652s |      25 |  9728778 |  7321298 |     1754  10416 |        0 |        0
653.88/654.05	c  654s |      25 |  9756605 |  7342298 |     1754  10440 |        0 |        0
655.89/656.06	c  656s |      25 |  9785761 |  7364098 |     1754  10464 |        0 |        0
657.88/658.07	c  658s |      25 |  9814127 |  7385598 |     1754  10489 |        0 |        0
659.89/660.08	c  660s |      25 |  9837585 |  7404798 |     1754  10511 |        0 |        0
661.89/662.08	c  662s |      25 |  9864764 |  7425498 |     1754  10534 |        0 |        0
663.89/664.09	c  664s |      25 |  9889620 |  7445198 |     1754  10556 |        0 |        0
665.89/666.09	c  666s |      25 |  9917892 |  7464798 |     1754  10579 |        0 |        0
667.89/668.10	c  668s |      25 |  9945729 |  7485298 |     1754  10602 |        0 |        0
669.99/670.10	c  670s |      25 |  9974569 |  7506998 |     1754  10627 |        0 |        0
671.98/672.10	c  672s |      25 | 10003090 |  7528398 |     1754  10651 |        0 |        0
673.98/674.11	c  674s |      25 | 10029517 |  7548198 |     1930  10673 |        0 |        0
675.98/676.11	c  676s |      25 | 10055904 |  7567998 |     1930  10693 |        0 |        0
677.98/678.11	c  678s |      25 | 10085213 |  7589498 |     1930  10715 |        0 |        0
678.78/678.92	c  678s |      26 | 10096377 |  7597752 |     1930  10724 |        0 |        0
680.78/680.92	c  680s |      26 | 10124198 |  7618052 |     1930  10745 |        0 |        0
682.78/682.92	c  682s |      26 | 10151119 |  7638252 |     1930  10766 |        0 |        0
684.78/684.93	c  684s |      26 | 10180745 |  7659952 |     1930  10788 |        0 |        0
686.78/686.93	c  686s |      26 | 10209475 |  7681152 |     1930  10810 |        0 |        0
688.79/688.94	c  688s |      26 | 10237623 |  7702652 |     1930  10832 |        0 |        0
690.78/690.94	c  690s |      26 | 10265700 |  7723052 |     1930  10853 |        0 |        0
692.78/692.95	c  692s |      26 | 10291680 |  7742752 |     1930  10873 |        0 |        0
694.78/694.96	c  694s |      26 | 10318648 |  7763652 |     1930  10895 |        0 |        0
696.78/696.96	c  696s |      26 | 10347483 |  7785052 |     1930  10917 |        0 |        0
698.78/698.96	c  698s |      26 | 10374679 |  7805952 |     1930  10939 |        0 |        0
700.78/700.97	c  700s |      26 | 10402810 |  7826852 |     1930  10960 |        0 |        0
702.78/702.98	c  702s |      26 | 10428939 |  7846452 |     1930  10981 |        0 |        0
704.78/704.99	c  704s |      26 | 10456464 |  7866752 |     1930  11002 |        0 |        0
706.88/707.01	c  706s |      26 | 10483134 |  7887152 |     1930  11023 |        0 |        0
708.88/709.01	c  708s |      26 | 10511433 |  7908452 |     1930  11045 |        0 |        0
710.89/711.02	c  711s |      26 | 10537998 |  7928752 |     1930  11066 |        0 |        0
712.88/713.02	c  713s |      26 | 10563622 |  7948852 |     1930  11086 |        0 |        0
714.88/715.03	c  715s |      26 | 10588677 |  7968652 |     1930  11107 |        0 |        0
716.88/717.03	c  717s |      26 | 10610530 |  7986652 |     1930  11125 |        0 |        0
718.88/719.03	c  719s |      26 | 10632028 |  8003952 |     1930  11143 |        0 |        0
720.88/721.03	c  721s |      26 | 10657074 |  8023252 |     1930  11163 |        0 |        0
722.88/723.03	c  723s |      26 | 10682834 |  8043052 |     1930  11183 |        0 |        0
724.87/725.03	c  725s |      26 | 10708151 |  8061352 |     1930  11202 |        0 |        0
726.87/727.04	c  727s |      26 | 10736213 |  8082152 |     1930  11224 |        0 |        0
728.87/729.04	c  729s |      26 | 10761290 |  8101752 |     1930  11244 |        0 |        0
730.87/731.05	c  731s |      26 | 10788417 |  8122552 |     1930  11266 |        0 |        0
732.88/733.05	c  733s |      26 | 10814729 |  8143252 |     1930  11287 |        0 |        0
734.87/735.06	c  735s |      26 | 10842211 |  8164152 |     1930  11309 |        0 |        0
736.87/737.07	c  737s |      26 | 10868308 |  8185152 |     1930  11330 |        0 |        0
738.87/739.08	c  739s |      26 | 10894804 |  8205852 |     1930  11352 |        0 |        0
740.87/741.08	c  741s |      26 | 10922604 |  8227352 |     1930  11374 |        0 |        0
742.88/743.08	c  743s |      26 | 10949531 |  8248052 |     1930  11395 |        0 |        0
744.88/745.09	c  745s |      26 | 10975890 |  8269152 |     1930  11417 |        0 |        0
746.98/747.10	c  747s |      26 | 11000697 |  8288452 |     1930  11437 |        0 |        0
748.98/749.11	c  749s |      26 | 11026817 |  8308452 |     1930  11457 |        0 |        0
750.97/751.12	c  751s |      26 | 11052801 |  8328052 |     1930  11478 |        0 |        0
752.97/753.12	c  753s |      26 | 11078231 |  8347652 |     1930  11498 |        0 |        0
754.97/755.13	c  755s |      26 | 11102885 |  8366952 |     1930  11518 |        0 |        0
756.98/757.13	c  757s |      26 | 11127800 |  8386952 |     1930  11538 |        0 |        0
758.97/759.14	c  759s |      26 | 11152874 |  8407052 |     1930  11559 |        0 |        0
760.97/761.15	c  761s |      26 | 11179486 |  8427252 |     1930  11580 |        0 |        0
762.97/763.15	c  763s |      26 | 11207718 |  8448752 |     1930  11602 |        0 |        0
764.97/765.15	c  765s |      26 | 11235265 |  8468952 |     1930  11623 |        0 |        0
766.98/767.16	c  767s |      26 | 11263471 |  8489452 |     1930  11644 |        0 |        0
768.97/769.16	c  769s |      26 | 11292664 |  8510752 |     1930  11666 |        0 |        0
770.97/771.16	c  771s |      26 | 11321259 |  8531252 |     1930  11687 |        0 |        0
772.97/773.17	c  773s |      26 | 11347720 |  8550552 |     1930  11707 |        0 |        0
774.97/775.17	c  775s |      26 | 11376698 |  8570852 |     1930  11728 |        0 |        0
776.97/777.18	c  777s |      26 | 11401874 |  8590552 |     1930  11748 |        0 |        0
778.97/779.18	c  779s |      26 | 11426233 |  8609752 |     1930  11768 |        0 |        0
780.97/781.19	c  781s |      26 | 11451659 |  8629452 |     1930  11789 |        0 |        0
783.07/783.20	c  783s |      26 | 11477332 |  8648752 |     1930  11809 |        0 |        0
785.07/785.21	c  785s |      26 | 11503017 |  8667952 |     1930  11829 |        0 |        0
787.07/787.22	c  787s |      26 | 11527816 |  8686852 |     1930  11848 |        0 |        0
789.06/789.22	c  789s |      26 | 11554990 |  8707752 |     1930  11870 |        0 |        0
791.07/791.22	c  791s |      26 | 11583102 |  8729052 |     1930  11892 |        0 |        0
793.06/793.22	c  793s |      26 | 11610969 |  8749252 |     1930  11912 |        0 |        0
795.06/795.22	c  795s |      26 | 11638467 |  8769952 |     1930  11934 |        0 |        0
797.06/797.23	c  797s |      26 | 11664859 |  8790252 |     1930  11955 |        0 |        0
799.06/799.24	c  799s |      26 | 11693429 |  8811052 |     1930  11976 |        0 |        0
801.07/801.24	c  801s |      26 | 11721511 |  8832452 |     1930  11998 |        0 |        0
803.06/803.25	c  803s |      26 | 11749692 |  8854252 |     1930  12021 |        0 |        0
805.06/805.25	c  805s |      26 | 11775254 |  8874252 |     1930  12042 |        0 |        0
807.06/807.25	c  807s |      26 | 11802800 |  8895352 |     1930  12063 |        0 |        0
809.06/809.26	c  809s |      26 | 11828669 |  8915752 |     1930  12084 |        0 |        0
811.06/811.26	c  811s |      26 | 11853069 |  8935052 |     1930  12104 |        0 |        0
813.07/813.26	c  813s |      26 | 11880948 |  8955952 |     1930  12126 |        0 |        0
815.06/815.27	c  815s |      26 | 11910239 |  8977852 |     1930  12148 |        0 |        0
817.06/817.27	c  817s |      26 | 11936889 |  8997852 |     1930  12169 |        0 |        0
819.06/819.27	c  819s |      26 | 11964971 |  9018752 |     1930  12191 |        0 |        0
821.06/821.28	c  821s |      26 | 11995619 |  9040852 |     1930  12213 |        0 |        0
823.06/823.28	c  823s |      26 | 12023391 |  9062152 |     1930  12235 |        0 |        0
825.06/825.29	c  825s |      26 | 12054087 |  9084552 |     1930  12258 |        0 |        0
827.06/827.29	c  827s |      26 | 12085236 |  9107452 |     1930  12282 |        0 |        0
829.15/829.30	c  829s |      26 | 12115056 |  9128952 |     1930  12303 |        1 |        4
831.16/831.30	c  831s |      26 | 12142586 |  9149852 |     1930  12324 |        1 |        4
833.16/833.30	c  833s |      26 | 12171443 |  9170952 |     1930  12346 |        1 |        4
835.17/835.32	c  835s |      26 | 12200610 |  9192452 |     1930  12368 |        1 |        4
837.16/837.33	c  837s |      26 | 12230532 |  9214152 |     1930  12391 |        1 |        4
839.15/839.34	c  839s |      26 | 12258204 |  9235152 |     1930  12412 |        1 |        4
841.15/841.34	c  841s |      26 | 12286827 |  9256352 |     1930  12434 |        1 |        4
843.15/843.34	c  843s |      26 | 12315983 |  9277652 |     1930  12456 |        1 |        4
845.15/845.35	c  845s |      26 | 12345864 |  9299852 |     1930  12479 |        1 |        4
847.16/847.35	c  847s |      26 | 12371144 |  9320052 |     1930  12500 |        1 |        4
849.14/849.36	c  849s |      26 | 12400766 |  9342352 |     1930  12523 |        1 |        4
851.14/851.36	c  851s |      26 | 12429213 |  9363652 |     1930  12545 |        1 |        4
853.14/853.36	c  853s |      26 | 12458593 |  9385852 |     1930  12568 |        1 |        4
855.14/855.37	c  855s |      26 | 12488218 |  9407452 |     1930  12590 |        1 |        4
857.15/857.37	c  857s |      26 | 12516594 |  9429152 |     1930  12613 |        1 |        4
859.13/859.38	c  859s |      26 | 12545805 |  9451152 |     1930  12635 |        1 |        4
861.13/861.39	c  861s |      26 | 12572324 |  9471752 |     1930  12656 |        1 |        4
863.13/863.39	c  863s |      26 | 12599296 |  9492452 |     1930  12678 |        1 |        4
865.13/865.40	c  865s |      26 | 12629173 |  9514152 |     1930  12700 |        1 |        4
867.24/867.40	c  867s |      26 | 12660704 |  9536752 |     1930  12723 |        1 |        4
869.14/869.40	c  869s |      26 | 12692033 |  9559952 |     1930  12747 |        1 |        4
871.23/871.41	c  871s |      26 | 12720762 |  9581352 |     1930  12769 |        2 |        8
873.23/873.41	c  873s |      26 | 12750584 |  9602952 |     1930  12791 |        2 |        8
875.23/875.41	c  875s |      26 | 12780420 |  9624152 |     1930  12813 |        2 |        8
877.23/877.42	c  877s |      26 | 12807008 |  9645052 |     1930  12834 |        2 |        8
879.22/879.42	c  879s |      26 | 12835519 |  9666352 |     1930  12856 |        2 |        8
881.23/881.43	c  881s |      26 | 12863457 |  9687552 |     1930  12878 |        2 |        8
883.22/883.43	c  883s |      26 | 12891885 |  9708852 |     1930  12900 |        2 |        8
885.22/885.43	c  885s |      26 | 12919205 |  9729552 |     1930  12922 |        2 |        8
887.22/887.44	c  887s |      26 | 12946831 |  9750252 |     1930  12943 |        2 |        8
889.21/889.44	c  889s |      26 | 12975498 |  9771252 |     1930  12965 |        2 |        8
891.22/891.44	c  891s |      26 | 13001784 |  9791352 |     1930  12985 |        2 |        8
893.21/893.45	c  893s |      26 | 13025970 |  9810952 |     1930  13006 |        2 |        8
895.21/895.45	c  895s |      26 | 13054301 |  9832152 |     1930  13027 |        2 |        8
897.21/897.46	c  897s |      26 | 13082025 |  9852752 |     1930  13049 |        2 |        8
899.21/899.46	c  899s |      26 | 13109243 |  9873752 |     1930  13070 |        2 |        8
901.21/901.47	c  901s |      26 | 13137332 |  9894852 |     1930  13092 |        2 |        8
903.22/903.47	c  903s |      26 | 13158737 |  9913252 |     1930  13111 |        2 |        8
905.21/905.48	c  905s |      26 | 13182103 |  9932152 |     1930  13131 |        2 |        8
907.21/907.49	c  907s |      26 | 13209016 |  9952452 |     1930  13152 |        2 |        8
909.31/909.50	c  909s |      26 | 13234907 |  9972352 |     1930  13172 |        2 |        8
911.31/911.50	c  911s |      26 | 13259985 |  9991652 |     1930  13192 |        2 |        8
913.31/913.50	c  913s |      26 | 13286526 | 10010852 |     1930  13212 |        2 |        8
915.21/915.50	c  915s |      26 | 13311002 | 10029152 |     1930  13231 |        2 |        8
917.31/917.50	c  917s |      26 | 13336733 | 10048552 |     1930  13251 |        2 |        8
919.30/919.51	c  919s |      26 | 13363166 | 10068652 |     1930  13271 |        2 |        8
921.30/921.51	c  921s |      26 | 13389357 | 10087952 |     1930  13291 |        2 |        8
923.30/923.52	c  923s |      26 | 13416481 | 10107952 |     1930  13312 |        2 |        8
925.30/925.52	c  925s |      26 | 13438942 | 10126352 |     1930  13331 |        2 |        8
927.31/927.52	c  927s |      26 | 13462896 | 10145552 |     1930  13351 |        2 |        8
929.30/929.53	c  929s |      26 | 13489662 | 10166352 |     1930  13372 |        2 |        8
931.30/931.53	c  931s |      26 | 13516135 | 10187152 |     1930  13394 |        2 |        8
933.30/933.53	c  933s |      26 | 13541949 | 10207652 |     1930  13415 |        2 |        8
935.30/935.54	c  935s |      26 | 13567091 | 10227752 |     1930  13436 |        2 |        8
937.30/937.54	c  937s |      26 | 13593393 | 10248252 |     1930  13457 |        2 |        8
939.29/939.54	c  939s |      26 | 13619240 | 10268352 |     1930  13477 |        2 |        8
941.29/941.54	c  941s |      26 | 13648203 | 10290352 |     1930  13500 |        2 |        8
943.29/943.54	c  943s |      26 | 13678417 | 10312652 |     1930  13523 |        2 |        8
945.29/945.54	c  945s |      26 | 13707117 | 10334352 |     1930  13545 |        2 |        8
947.30/947.55	c  947s |      26 | 13736723 | 10356152 |     1930  13568 |        2 |        8
949.29/949.56	c  949s |      26 | 13766307 | 10378152 |     1930  13591 |        2 |        8
951.29/951.56	c  951s |      26 | 13797527 | 10400952 |     1930  13614 |        2 |        8
953.29/953.56	c  953s |      26 | 13827815 | 10424052 |     1930  13637 |        3 |       12
955.29/955.56	c  955s |      26 | 13853100 | 10443552 |     1930  13657 |        3 |       12
957.28/957.56	c  957s |      26 | 13882797 | 10465252 |     1930  13679 |        3 |       12
959.29/959.57	c  959s |      26 | 13911059 | 10486852 |     1930  13701 |        3 |       12
961.28/961.57	c  961s |      26 | 13938307 | 10507952 |     1930  13723 |        3 |       12
963.29/963.57	c  963s |      26 | 13967446 | 10529652 |     1930  13745 |        3 |       12
965.29/965.57	c  965s |      26 | 13993002 | 10549352 |     1930  13766 |        3 |       12
967.29/967.58	c  967s |      26 | 14017819 | 10568852 |     1930  13786 |        3 |       12
969.29/969.58	c  969s |      26 | 14044090 | 10588952 |     1930  13807 |        3 |       12
971.28/971.59	c  971s |      26 | 14068023 | 10608452 |     1930  13827 |        3 |       12
973.38/973.60	c  973s |      26 | 14093436 | 10628552 |     1930  13847 |        3 |       12
975.38/975.61	c  975s |      26 | 14117383 | 10647652 |     1930  13867 |        3 |       12
977.38/977.61	c  977s |      26 | 14142541 | 10667352 |     1930  13887 |        3 |       12
979.37/979.61	c  979s |      26 | 14170647 | 10687952 |     1930  13909 |        3 |       12
981.38/981.61	c  981s |      26 | 14198996 | 10709152 |     1930  13931 |        3 |       12
983.37/983.62	c  983s |      26 | 14226778 | 10730252 |     1930  13952 |        3 |       12
985.37/985.62	c  985s |      26 | 14253125 | 10750852 |     1930  13974 |        3 |       12
987.37/987.63	c  987s |      26 | 14282611 | 10772752 |     1930  13996 |        3 |       12
989.37/989.63	c  989s |      26 | 14310879 | 10793852 |     1930  14018 |        3 |       12
991.37/991.63	c  991s |      26 | 14338992 | 10814752 |     1930  14039 |        3 |       12
993.37/993.64	c  993s |      26 | 14366907 | 10835652 |     1930  14061 |        3 |       12
995.36/995.65	c  995s |      26 | 14392777 | 10855752 |     1930  14082 |        3 |       12
997.36/997.65	c  997s |      26 | 14424124 | 10878752 |     1930  14105 |        4 |       16
999.36/999.65	c  999s |      26 | 14453293 | 10900852 |     1930  14127 |        4 |       16
1001.36/1001.66	c 1001s |      26 | 14483313 | 10922852 |     1930  14150 |        4 |       16
1003.36/1003.67	c 1003s |      26 | 14510531 | 10943652 |     1930  14171 |        4 |       16
1005.35/1005.67	c 1005s |      26 | 14539153 | 10965052 |     1930  14193 |        4 |       16
1007.35/1007.68	c 1007s |      26 | 14564167 | 10984552 |     1930  14214 |        4 |       16
1009.35/1009.69	c 1009s |      26 | 14588376 | 11004352 |     1930  14234 |        4 |       16
1011.35/1011.69	c 1011s |      26 | 14617788 | 11026452 |     1930  14257 |        4 |       16
1013.35/1013.69	c 1013s |      26 | 14646615 | 11048452 |     1930  14279 |        4 |       16
1015.35/1015.70	c 1015s |      26 | 14675742 | 11070152 |     1930  14302 |        4 |       16
1017.44/1017.71	c 1017s |      26 | 14708006 | 11093152 |     1930  14325 |        5 |       20
1019.44/1019.71	c 1019s |      26 | 14736686 | 11115052 |     1930  14347 |        5 |       20
1021.44/1021.72	c 1021s |      26 | 14764963 | 11136752 |     1930  14369 |        5 |       20
1023.44/1023.72	c 1023s |      26 | 14794405 | 11159052 |     1930  14392 |        5 |       20
1025.44/1025.72	c 1025s |      26 | 14823822 | 11181452 |     1930  14416 |        5 |       20
1027.44/1027.72	c 1027s |      26 | 14851090 | 11202952 |     1930  14437 |        6 |       24
1029.43/1029.72	c 1029s |      26 | 14879747 | 11225152 |     1930  14459 |        6 |       24
1031.43/1031.73	c 1031s |      26 | 14912041 | 11249252 |     1930  14481 |        9 |       36
1031.53/1031.81	c 1031s |      26 | 14913568 | 11250379 |     1930  14481 |       24 |       72
1031.53/1031.81	c #cpu_time = 1031.672s
1031.53/1031.81	c #wall_clock_time = 1031.795s
1031.53/1031.81	c #decision = 14913568
1031.53/1031.81	c #random_decision = 72384
1031.53/1031.81	c #conflict = 11250379
1031.53/1031.81	c #restart = 26
1031.53/1031.81	s UNSATISFIABLE
1031.53/1031.81	c total CPU time = 1031.691s
1031.53/1031.81	c total wall clock time = 1031.814s

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

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

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


[startup+0 s]
/proc/loadavg: 1.08 1.05 1.29 3/179 8807
/proc/meminfo: memFree=30098520/32872528 swapFree=295864/318348
[pid=8807] ppid=8804 vsize=308668 CPUtime=0 cores=1,3,5,7
/proc/8807/stat : 8807 (toysat) R 8804 8807 4291 0 -1 4202496 1076 0 0 0 0 0 0 0 20 0 4 0 2096500 316076032 1947 33554432000 4194304 16246674 140736138604704 140736138604128 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8807/statm: 77679 1957 441 2943 0 74573 0
[pid=8807/tid=8808] ppid=8804 vsize=326076 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8808/stat : 8808 (toysat) S 8804 8807 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096501 333901824 2016 33554432000 4194304 16246674 140736138604704 140132499827952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8809] ppid=8804 vsize=331196 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8809/stat : 8809 (toysat) S 8804 8807 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096501 339144704 2034 33554432000 4194304 16246674 140736138604704 140132489338096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8810] ppid=8804 vsize=335292 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8810/stat : 8810 (toysat) S 8804 8807 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2096501 343339008 2051 33554432000 4194304 16246674 140736138604704 140132367723696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 1.08 1.05 1.29 3/179 8807
/proc/meminfo: memFree=30098520/32872528 swapFree=295864/318348
[pid=8807] ppid=8804 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/8807/stat : 8807 (toysat) R 8804 8807 4291 0 -1 4202496 25444 0 0 0 5 4 0 0 20 0 4 0 2096500 1247350784 26304 33554432000 4194304 16246674 140736138604704 140736138604128 5831697 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8807/statm: 304529 26313 708 2943 0 301423 0
[pid=8807/tid=8808] ppid=8804 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8808/stat : 8808 (toysat) S 8804 8807 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096501 1247350784 26320 33554432000 4194304 16246674 140736138604704 140132499827952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8809] ppid=8804 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8809/stat : 8809 (toysat) S 8804 8807 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096501 1247350784 26327 33554432000 4194304 16246674 140736138604704 140132489338096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8810] ppid=8804 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8810/stat : 8810 (toysat) S 8804 8807 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2096501 1247350784 26336 33554432000 4194304 16246674 140736138604704 140132367723696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200518 s]
/proc/loadavg: 1.08 1.05 1.29 3/179 8807
/proc/meminfo: memFree=30098520/32872528 swapFree=295864/318348
[pid=8807] ppid=8804 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/8807/stat : 8807 (toysat) R 8804 8807 4291 0 -1 4202496 50160 0 0 0 11 8 0 0 20 0 4 0 2096500 1247350784 51020 33554432000 4194304 16246674 140736138604704 140736138604128 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8807/statm: 304529 51034 709 2943 0 301423 0
[pid=8807/tid=8808] ppid=8804 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8808/stat : 8808 (toysat) S 8804 8807 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096501 1247350784 51039 33554432000 4194304 16246674 140736138604704 140132499827952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8809] ppid=8804 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8809/stat : 8809 (toysat) S 8804 8807 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096501 1247350784 51048 33554432000 4194304 16246674 140736138604704 140132489338096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8810] ppid=8804 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8810/stat : 8810 (toysat) S 8804 8807 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2096501 1247350784 51054 33554432000 4194304 16246674 140736138604704 140132367723696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300499 s]
/proc/loadavg: 1.08 1.05 1.29 3/179 8807
/proc/meminfo: memFree=30098520/32872528 swapFree=295864/318348
[pid=8807] ppid=8804 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/8807/stat : 8807 (toysat) R 8804 8807 4291 0 -1 4202496 74078 0 0 0 18 10 0 0 20 0 4 0 2096500 1247350784 74938 33554432000 4194304 16246674 140736138604704 140736138604128 13954410 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8807/statm: 304529 74951 709 2943 0 301423 0
[pid=8807/tid=8808] ppid=8804 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8808/stat : 8808 (toysat) S 8804 8807 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096501 1247350784 74957 33554432000 4194304 16246674 140736138604704 140132499827952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8809] ppid=8804 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8809/stat : 8809 (toysat) S 8804 8807 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096501 1247350784 74966 33554432000 4194304 16246674 140736138604704 140132489338096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8810] ppid=8804 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8810/stat : 8810 (toysat) S 8804 8807 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2096501 1247350784 74974 33554432000 4194304 16246674 140736138604704 140132367723696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700362 s]
/proc/loadavg: 1.08 1.05 1.29 3/179 8807
/proc/meminfo: memFree=30098520/32872528 swapFree=295864/318348
[pid=8807] ppid=8804 vsize=1218116 CPUtime=0.68 cores=1,3,5,7
/proc/8807/stat : 8807 (toysat) R 8804 8807 4291 0 -1 4202496 168219 0 0 0 44 24 0 0 20 0 4 0 2096500 1247350784 169079 33554432000 4194304 16246674 140736138604704 140736138587704 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8807/statm: 304529 169090 709 2943 0 301423 0
[pid=8807/tid=8808] ppid=8804 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8808/stat : 8808 (toysat) S 8804 8807 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096501 1247350784 169095 33554432000 4194304 16246674 140736138604704 140132499827952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8809] ppid=8804 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8809/stat : 8809 (toysat) S 8804 8807 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096501 1247350784 169103 33554432000 4194304 16246674 140736138604704 140132489338096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8810] ppid=8804 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8810/stat : 8810 (toysat) S 8804 8807 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2096501 1247350784 169112 33554432000 4194304 16246674 140736138604704 140132367723696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50043 s]
/proc/loadavg: 1.08 1.05 1.29 3/183 8811
/proc/meminfo: memFree=29113884/32872528 swapFree=295864/318348
[pid=8807] ppid=8804 vsize=1219140 CPUtime=1.48 cores=1,3,5,7
/proc/8807/stat : 8807 (toysat) R 8804 8807 4291 0 -1 4202496 245596 0 0 0 115 33 0 0 20 0 4 0 2096500 1248399360 246436 33554432000 4194304 16246674 140736138604704 140736138604016 13196226 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8807/statm: 304785 246436 786 2943 0 301679 0
[pid=8807/tid=8808] ppid=8804 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8808/stat : 8808 (toysat) S 8804 8807 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096501 1248399360 246436 33554432000 4194304 16246674 140736138604704 140132499827952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8809] ppid=8804 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8809/stat : 8809 (toysat) S 8804 8807 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096501 1248399360 246436 33554432000 4194304 16246674 140736138604704 140132489338096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8810] ppid=8804 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8810/stat : 8810 (toysat) S 8804 8807 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2096501 1248399360 246436 33554432000 4194304 16246674 140736138604704 140132367723696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1219140

[startup+3.10044 s]
/proc/loadavg: 1.08 1.05 1.29 3/183 8811
/proc/meminfo: memFree=29025996/32872528 swapFree=295864/318348
[pid=8807] ppid=8804 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/8807/stat : 8807 (toysat) R 8804 8807 4291 0 -1 4202496 267408 0 0 0 273 36 0 0 20 0 4 0 2096500 1337528320 268248 33554432000 4194304 16246674 140736138604704 140736138587704 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8807/statm: 326545 268248 786 2943 0 323439 0
[pid=8807/tid=8808] ppid=8804 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8808/stat : 8808 (toysat) S 8804 8807 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096501 1337528320 268248 33554432000 4194304 16246674 140736138604704 140132499827952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8809] ppid=8804 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8809/stat : 8809 (toysat) S 8804 8807 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096501 1337528320 268248 33554432000 4194304 16246674 140736138604704 140132489338096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8810] ppid=8804 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8810/stat : 8810 (toysat) S 8804 8807 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2096501 1337528320 268248 33554432000 4194304 16246674 140736138604704 140132367723696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 1.16 1.06 1.29 3/183 8811
/proc/meminfo: memFree=29025276/32872528 swapFree=295864/318348
[pid=8807] ppid=8804 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/8807/stat : 8807 (toysat) R 8804 8807 4291 0 -1 4202496 267486 0 0 0 593 36 0 0 20 0 4 0 2096500 1337528320 268326 33554432000 4194304 16246674 140736138604704 140736138587704 5677443 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8807/statm: 326545 268326 786 2943 0 323439 0
[pid=8807/tid=8808] ppid=8804 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8808/stat : 8808 (toysat) S 8804 8807 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096501 1337528320 268326 33554432000 4194304 16246674 140736138604704 140132499827952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8809] ppid=8804 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8809/stat : 8809 (toysat) S 8804 8807 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096501 1337528320 268326 33554432000 4194304 16246674 140736138604704 140132489338096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8810] ppid=8804 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8810/stat : 8810 (toysat) S 8804 8807 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2096501 1337528320 268326 33554432000 4194304 16246674 140736138604704 140132367723696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 1.22 1.08 1.30 3/183 8811
/proc/meminfo: memFree=29025076/32872528 swapFree=295864/318348
[pid=8807] ppid=8804 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/8807/stat : 8807 (toysat) R 8804 8807 4291 0 -1 4202496 267486 0 0 0 1232 36 0 0 20 0 4 0 2096500 1337528320 268326 33554432000 4194304 16246674 140736138604704 140736138586624 5677422 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8807/statm: 326545 268326 786 2943 0 323439 0
[pid=8807/tid=8808] ppid=8804 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8808/stat : 8808 (toysat) S 8804 8807 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096501 1337528320 268326 33554432000 4194304 16246674 140736138604704 140132499827952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8809] ppid=8804 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8809/stat : 8809 (toysat) S 8804 8807 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096501 1337528320 268326 33554432000 4194304 16246674 140736138604704 140132489338096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8810] ppid=8804 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8810/stat : 8810 (toysat) S 8804 8807 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2096501 1337528320 268326 33554432000 4194304 16246674 140736138604704 140132367723696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5004 s]
/proc/loadavg: 1.39 1.12 1.31 3/183 8811
/proc/meminfo: memFree=29024752/32872528 swapFree=295864/318348
[pid=8807] ppid=8804 vsize=1307204 CPUtime=25.49 cores=1,3,5,7
/proc/8807/stat : 8807 (toysat) R 8804 8807 4291 0 -1 4202496 267696 0 0 0 2512 37 0 0 20 0 4 0 2096500 1338576896 268536 33554432000 4194304 16246674 140736138604704 140736138587704 5822240 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8807/statm: 326801 268536 786 2943 0 323695 0
[pid=8807/tid=8808] ppid=8804 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8808/stat : 8808 (toysat) S 8804 8807 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096501 1338576896 268536 33554432000 4194304 16246674 140736138604704 140132499827952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8809] ppid=8804 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8809/stat : 8809 (toysat) S 8804 8807 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096501 1338576896 268536 33554432000 4194304 16246674 140736138604704 140132489338096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8810] ppid=8804 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8810/stat : 8810 (toysat) S 8804 8807 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2096501 1338576896 268536 33554432000 4194304 16246674 140736138604704 140132367723696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1004 s]
/proc/loadavg: 1.60 1.19 1.32 3/182 8811
/proc/meminfo: memFree=29022412/32872528 swapFree=295864/318348
[pid=8807] ppid=8804 vsize=1307204 CPUtime=51.07 cores=1,3,5,7
/proc/8807/stat : 8807 (toysat) R 8804 8807 4291 0 -1 4202496 267826 0 0 0 5070 37 0 0 20 0 4 0 2096500 1338576896 268666 33554432000 4194304 16246674 140736138604704 140736138587704 5523504 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8807/statm: 326801 268666 790 2943 0 323695 0
[pid=8807/tid=8808] ppid=8804 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8808/stat : 8808 (toysat) S 8804 8807 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096501 1338576896 268666 33554432000 4194304 16246674 140736138604704 140132499827952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8809] ppid=8804 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8809/stat : 8809 (toysat) S 8804 8807 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096501 1338576896 268666 33554432000 4194304 16246674 140736138604704 140132489338096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8810] ppid=8804 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8810/stat : 8810 (toysat) S 8804 8807 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2096501 1338576896 268666 33554432000 4194304 16246674 140736138604704 140132367723696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 1.86 1.33 1.36 3/183 8813
/proc/meminfo: memFree=29021744/32872528 swapFree=295864/318348
[pid=8807] ppid=8804 vsize=1307204 CPUtime=102.27 cores=1,3,5,7
/proc/8807/stat : 8807 (toysat) R 8804 8807 4291 0 -1 4202496 267826 0 0 0 10189 38 0 0 20 0 4 0 2096500 1338576896 268666 33554432000 4194304 16246674 140736138604704 140736138586624 5823158 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8807/statm: 326801 268666 790 2943 0 323695 0
[pid=8807/tid=8808] ppid=8804 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8808/stat : 8808 (toysat) S 8804 8807 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096501 1338576896 268666 33554432000 4194304 16246674 140736138604704 140132499827952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8809] ppid=8804 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8809/stat : 8809 (toysat) S 8804 8807 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096501 1338576896 268666 33554432000 4194304 16246674 140736138604704 140132489338096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8810] ppid=8804 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8810/stat : 8810 (toysat) S 8804 8807 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2096501 1338576896 268666 33554432000 4194304 16246674 140736138604704 140132367723696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1307204


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

/proc/8807/stat : 8807 (toysat) R 8804 8807 4291 0 -1 4202496 269401 0 0 0 88158 54 0 0 20 0 4 0 2096500 1344868352 270205 33554432000 4194304 16246674 140736138604704 140736138587704 13192904 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8807/statm: 328337 270205 790 2943 0 325231 0
[pid=8807/tid=8808] ppid=8804 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8808/stat : 8808 (toysat) S 8804 8807 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096501 1344868352 270205 33554432000 4194304 16246674 140736138604704 140132499827952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8809] ppid=8804 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8809/stat : 8809 (toysat) S 8804 8807 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096501 1344868352 270205 33554432000 4194304 16246674 140736138604704 140132489338096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8810] ppid=8804 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8810/stat : 8810 (toysat) S 8804 8807 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2096501 1344868352 270205 33554432000 4194304 16246674 140736138604704 140132367723696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 1313348

[startup+942.3 s]
/proc/loadavg: 2.06 1.99 1.73 3/183 8836
/proc/meminfo: memFree=29010848/32872528 swapFree=295864/318348
[pid=8807] ppid=8804 vsize=1313348 CPUtime=942.09 cores=1,3,5,7
/proc/8807/stat : 8807 (toysat) R 8804 8807 4291 0 -1 4202496 269443 0 0 0 94154 55 0 0 20 0 4 0 2096500 1344868352 270205 33554432000 4194304 16246674 140736138604704 140736138587704 5808492 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8807/statm: 328337 270205 790 2943 0 325231 0
[pid=8807/tid=8808] ppid=8804 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8808/stat : 8808 (toysat) S 8804 8807 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096501 1344868352 270205 33554432000 4194304 16246674 140736138604704 140132499827952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8809] ppid=8804 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8809/stat : 8809 (toysat) S 8804 8807 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096501 1344868352 270205 33554432000 4194304 16246674 140736138604704 140132489338096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8810] ppid=8804 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8810/stat : 8810 (toysat) S 8804 8807 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2096501 1344868352 270205 33554432000 4194304 16246674 140736138604704 140132367723696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 1313348

[startup+1002.3 s]
/proc/loadavg: 2.02 1.99 1.75 3/183 8838
/proc/meminfo: memFree=29010836/32872528 swapFree=295864/318348
[pid=8807] ppid=8804 vsize=1313348 CPUtime=1002.05 cores=1,3,5,7
/proc/8807/stat : 8807 (toysat) R 8804 8807 4291 0 -1 4202496 269485 0 0 0 100149 56 0 0 20 0 4 0 2096500 1344868352 270205 33554432000 4194304 16246674 140736138604704 140736138587704 5545758 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8807/statm: 328337 270205 790 2943 0 325231 0
[pid=8807/tid=8808] ppid=8804 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8808/stat : 8808 (toysat) S 8804 8807 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096501 1344868352 270205 33554432000 4194304 16246674 140736138604704 140132499827952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8809] ppid=8804 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8809/stat : 8809 (toysat) S 8804 8807 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096501 1344868352 270205 33554432000 4194304 16246674 140736138604704 140132489338096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8810] ppid=8804 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8810/stat : 8810 (toysat) S 8804 8807 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2096501 1344868352 270205 33554432000 4194304 16246674 140736138604704 140132367723696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 1313348

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8807 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1011.5 s]
/proc/loadavg: 2.02 1.99 1.75 3/183 8838
/proc/meminfo: memFree=29010824/32872528 swapFree=295864/318348
[pid=8807] ppid=8804 vsize=1313348 CPUtime=1011.25 cores=1,3,5,7
/proc/8807/stat : 8807 (toysat) R 8804 8807 4291 0 -1 4202496 269493 0 0 0 101069 56 0 0 20 0 4 0 2096500 1344868352 270205 33554432000 4194304 16246674 140736138604704 140736138586624 5823682 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8807/statm: 328337 270205 790 2943 0 325231 0
[pid=8807/tid=8808] ppid=8804 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8808/stat : 8808 (toysat) S 8804 8807 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096501 1344868352 270205 33554432000 4194304 16246674 140736138604704 140132499827952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8809] ppid=8804 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8809/stat : 8809 (toysat) S 8804 8807 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096501 1344868352 270205 33554432000 4194304 16246674 140736138604704 140132489338096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8810] ppid=8804 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8810/stat : 8810 (toysat) S 8804 8807 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2096501 1344868352 270205 33554432000 4194304 16246674 140736138604704 140132367723696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1011.25
Current children cumulated vsize (KiB) 1313348

[startup+1024.3 s]
/proc/loadavg: 2.01 1.99 1.75 3/183 8839
/proc/meminfo: memFree=29010436/32872528 swapFree=295864/318348
[pid=8807] ppid=8804 vsize=1313348 CPUtime=1024.04 cores=1,3,5,7
/proc/8807/stat : 8807 (toysat) R 8804 8807 4291 0 -1 4202496 269500 0 0 0 102348 56 0 0 20 0 4 0 2096500 1344868352 270205 33554432000 4194304 16246674 140736138604704 140736138586624 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8807/statm: 328337 270205 790 2943 0 325231 0
[pid=8807/tid=8808] ppid=8804 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8808/stat : 8808 (toysat) S 8804 8807 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096501 1344868352 270205 33554432000 4194304 16246674 140736138604704 140132499827952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8809] ppid=8804 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8809/stat : 8809 (toysat) S 8804 8807 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096501 1344868352 270205 33554432000 4194304 16246674 140736138604704 140132489338096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8810] ppid=8804 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8810/stat : 8810 (toysat) S 8804 8807 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2096501 1344868352 270205 33554432000 4194304 16246674 140736138604704 140132367723696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1024.04
Current children cumulated vsize (KiB) 1313348

[startup+1027.5 s]
/proc/loadavg: 2.01 1.99 1.75 3/183 8839
/proc/meminfo: memFree=29010436/32872528 swapFree=295864/318348
[pid=8807] ppid=8804 vsize=1313348 CPUtime=1027.24 cores=1,3,5,7
/proc/8807/stat : 8807 (toysat) R 8804 8807 4291 0 -1 4202496 269500 0 0 0 102668 56 0 0 20 0 4 0 2096500 1344868352 270205 33554432000 4194304 16246674 140736138604704 140736138587704 5672213 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8807/statm: 328337 270205 790 2943 0 325231 0
[pid=8807/tid=8808] ppid=8804 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8808/stat : 8808 (toysat) S 8804 8807 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096501 1344868352 270205 33554432000 4194304 16246674 140736138604704 140132499827952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8809] ppid=8804 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8809/stat : 8809 (toysat) S 8804 8807 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096501 1344868352 270205 33554432000 4194304 16246674 140736138604704 140132489338096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8810] ppid=8804 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8810/stat : 8810 (toysat) S 8804 8807 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2096501 1344868352 270205 33554432000 4194304 16246674 140736138604704 140132367723696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1027.24
Current children cumulated vsize (KiB) 1313348

[startup+1029.1 s]
/proc/loadavg: 2.01 1.99 1.75 3/183 8839
/proc/meminfo: memFree=29010692/32872528 swapFree=295864/318348
[pid=8807] ppid=8804 vsize=1313348 CPUtime=1028.84 cores=1,3,5,7
/proc/8807/stat : 8807 (toysat) R 8804 8807 4291 0 -1 4202496 269500 0 0 0 102828 56 0 0 20 0 4 0 2096500 1344868352 270205 33554432000 4194304 16246674 140736138604704 140736138586624 13951140 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8807/statm: 328337 270205 790 2943 0 325231 0
[pid=8807/tid=8808] ppid=8804 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8808/stat : 8808 (toysat) S 8804 8807 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096501 1344868352 270205 33554432000 4194304 16246674 140736138604704 140132499827952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8809] ppid=8804 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8809/stat : 8809 (toysat) S 8804 8807 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096501 1344868352 270205 33554432000 4194304 16246674 140736138604704 140132489338096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8810] ppid=8804 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8810/stat : 8810 (toysat) S 8804 8807 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2096501 1344868352 270205 33554432000 4194304 16246674 140736138604704 140132367723696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1028.84
Current children cumulated vsize (KiB) 1313348

[startup+1030.7 s]
/proc/loadavg: 2.01 1.99 1.75 3/183 8839
/proc/meminfo: memFree=29010304/32872528 swapFree=295864/318348
[pid=8807] ppid=8804 vsize=1313348 CPUtime=1030.43 cores=1,3,5,7
/proc/8807/stat : 8807 (toysat) R 8804 8807 4291 0 -1 4202496 269508 0 0 0 102987 56 0 0 20 0 4 0 2096500 1344868352 270205 33554432000 4194304 16246674 140736138604704 140736138586624 5516342 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8807/statm: 328337 270205 790 2943 0 325231 0
[pid=8807/tid=8808] ppid=8804 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8808/stat : 8808 (toysat) S 8804 8807 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096501 1344868352 270205 33554432000 4194304 16246674 140736138604704 140132499827952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8809] ppid=8804 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8809/stat : 8809 (toysat) S 8804 8807 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096501 1344868352 270205 33554432000 4194304 16246674 140736138604704 140132489338096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8810] ppid=8804 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8810/stat : 8810 (toysat) S 8804 8807 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2096501 1344868352 270205 33554432000 4194304 16246674 140736138604704 140132367723696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1030.43
Current children cumulated vsize (KiB) 1313348

[startup+1031.5 s]
/proc/loadavg: 2.01 1.99 1.75 3/183 8839
/proc/meminfo: memFree=29010552/32872528 swapFree=295864/318348
[pid=8807] ppid=8804 vsize=1313348 CPUtime=1031.23 cores=1,3,5,7
/proc/8807/stat : 8807 (toysat) R 8804 8807 4291 0 -1 4202496 269508 0 0 0 103067 56 0 0 20 0 4 0 2096500 1344868352 270205 33554432000 4194304 16246674 140736138604704 140736138586624 13965544 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8807/statm: 328337 270205 790 2943 0 325231 0
[pid=8807/tid=8808] ppid=8804 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8808/stat : 8808 (toysat) S 8804 8807 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096501 1344868352 270205 33554432000 4194304 16246674 140736138604704 140132499827952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8809] ppid=8804 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8809/stat : 8809 (toysat) S 8804 8807 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096501 1344868352 270205 33554432000 4194304 16246674 140736138604704 140132489338096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8810] ppid=8804 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8810/stat : 8810 (toysat) S 8804 8807 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2096501 1344868352 270205 33554432000 4194304 16246674 140736138604704 140132367723696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1031.23
Current children cumulated vsize (KiB) 1313348

[startup+1031.7 s]
/proc/loadavg: 2.01 1.99 1.75 3/183 8839
/proc/meminfo: memFree=29010552/32872528 swapFree=295864/318348
[pid=8807] ppid=8804 vsize=1313348 CPUtime=1031.43 cores=1,3,5,7
/proc/8807/stat : 8807 (toysat) R 8804 8807 4291 0 -1 4202496 269508 0 0 0 103087 56 0 0 20 0 4 0 2096500 1344868352 270205 33554432000 4194304 16246674 140736138604704 140736138587704 13954608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8807/statm: 328337 270205 790 2943 0 325231 0
[pid=8807/tid=8808] ppid=8804 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8808/stat : 8808 (toysat) S 8804 8807 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096501 1344868352 270205 33554432000 4194304 16246674 140736138604704 140132499827952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8809] ppid=8804 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8809/stat : 8809 (toysat) S 8804 8807 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096501 1344868352 270205 33554432000 4194304 16246674 140736138604704 140132489338096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8810] ppid=8804 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8810/stat : 8810 (toysat) S 8804 8807 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2096501 1344868352 270205 33554432000 4194304 16246674 140736138604704 140132367723696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1031.43
Current children cumulated vsize (KiB) 1313348

[startup+1031.8 s]
/proc/loadavg: 2.01 1.99 1.75 3/183 8839
/proc/meminfo: memFree=29010552/32872528 swapFree=295864/318348
[pid=8807] ppid=8804 vsize=1313348 CPUtime=1031.53 cores=1,3,5,7
/proc/8807/stat : 8807 (toysat) R 8804 8807 4291 0 -1 4202496 269508 0 0 0 103097 56 0 0 20 0 4 0 2096500 1344868352 270205 33554432000 4194304 16246674 140736138604704 140736138587704 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8807/statm: 328337 270205 790 2943 0 325231 0
[pid=8807/tid=8808] ppid=8804 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8808/stat : 8808 (toysat) S 8804 8807 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096501 1344868352 270205 33554432000 4194304 16246674 140736138604704 140132499827952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8807/tid=8809] ppid=8804 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8809/stat : 8809 (toysat) S 8804 8807 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096501 1344868352 270205 33554432000 4194304 16246674 140736138604704 140132489338096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8807/tid=8810] ppid=8804 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8807/task/8810/stat : 8810 (toysat) S 8804 8807 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2096501 1344868352 270205 33554432000 4194304 16246674 140736138604704 140132367723696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1031.53
Current children cumulated vsize (KiB) 1313348

Child status: 0
Real time (s): 1031.86
CPU time (s): 1031.6
CPU user time (s): 1030.99
CPU system time (s): 0.609907
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 1313348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1030.99
system time used= 0.609907
maximum resident set size= 1080832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269513
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= 169
involuntary context switches= 1127

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.80657 second user time and 4.15137 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-30 21:16:29
IDJOB=4121330
IDBENCH=110409
IDSOLVER=2542
FILE ID=node128/4121330-1467314189
RUNJOBID= node128-1467314186-8726
PBS_JOBID= 20005249
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n86-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4121330-1467314189/watcher-4121330-1467314189 -o /tmp/evaluation-result-4121330-1467314189/solver-4121330-1467314189 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1467314186-8726 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121330-1467314189.opb

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

MD5SUM BENCH= dcdc2dbdb086f956272aa7893b286a77
RANDOM SEED=261193850

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.501
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:        30098520 kB
Buffers:           71388 kB
Cached:           559884 kB
SwapCached:            0 kB
Active:          1299776 kB
Inactive:         416344 kB
Active(anon):    1087664 kB
Inactive(anon):        4 kB
Active(file):     212112 kB
Inactive(file):   416340 kB
Unevictable:      318348 kB
Mlocked:          295864 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             32624 kB
Writeback:             0 kB
AnonPages:       1403648 kB
Mapped:            17008 kB
Shmem:               204 kB
Slab:             607136 kB
SReclaimable:      50484 kB
SUnreclaim:       556652 kB
KernelStack:        1472 kB
PageTables:         6208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1538160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 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= 71712 MiB
End job on node128 at 2016-06-30 21:33:41