Trace number 4120690

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 1022.49 1022.91

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n84-d3-i3-r1.cnf.gz-plain.pb.metafix.opb
MD5SUM671959976ef192710940d016c819b94f
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 benchmark10.7184
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables126
Total number of constraints336
Number of constraints which are clauses336
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-30T20:42:35+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-4120690-1467312155.opb"]
0.00/0.01	c use --random-gen="2942564996 2329963296 733802863 2529285711 1251294777 1206051116 1518443975 3046354449 271386981 733195270 698045748 2396648991 1794223945 320723780 4141153890 2865700337 1267604624 2552012772 452683203 1246195488 3885596566 1861968913 46124130 2720016910 2852879950 935417404 232853188 1397052645 1561047262 4088927194 4256589265 613569728 2701427416 4071525980 1948183315 1425445804 322148596 3261564715 1629123012 138327639 2726505127 1445753980 2171516961 1981360264 3260151304 1067270582 1443382037 3927781045 2134649587 2024677127 2544904818 4238374829 241881009 1863020350 102636441 2566454474 1957664862 3700117538 2009694953 1863170420 2298492486 1076975435 3730802369 4005044481 160434897 1961944606 2910555095 387971465 1330911090 4124297997 3768651484 1545310095 146437811 4185475397 1121864005 763586936 2091713455 3372062491 543970243 730999572 3852333075 3042811407 97375168 979859321 490801652 2733904537 21435721 4111308788 644719037 2677330692 4103171965 2115814683 3711905870 3055910008 3579544119 1678181956 4092166016 4065043889 3107241731 2992408839 1107817241 1706028109 4054054420 720096878 1160486078 1211136978 1853171355 4139271019 3444166521 2013387718 2357491128 3301811935 3003918139 4031293822 4036827268 2673918766 1322763971 1739260302 3926260227 3387098867 2250637682 4258417655 3857098229 3264253949 923979302 441146292 2812103933 3558406067 3814636960 1087303794 3142158063 1415057621 3475314715 2365734716 1458714441 1644297639 188212863 2833707321 2404338042 1320310028 850095238 3550644892 118233381 506971674 2188215845 2906994412 514803337 753533881 4084584211 903464745 600799364 1300861092 483388895 3015741645 3320240814 3592105417 3279634963 737380880 1895129225 178543153 765310346 3503969354 1151527091 2226664983 2593753103 1867956553 1480979260 994459613 3645954453 583161979 1467197808 3204914148 2479687576 6999696 84380107 2743529584 1609134401 3184584363 1116819279 1050811611 1795012842 452494592 522743448 1402814701 2360368281 2676091240 1861625756 314079158 3084667570 2258824328 979870381 810257028 2117075688 3624051794 2759220702 392216532 2516572294 2827698971 1599619307 2298410296 1362524322 1964532924 3130783288 3803075843 1337588095 1236429971 1234278615 960325309 639202379 1102884115 1534921401 1775509686 1990841459 1054734745 4137002135 3714718051 1017457026 100946086 2787342412 2519226906 1339381060 4160134950 2761947312 4141991527 2408669298 3460600280 4047209106 4033914971 452084139 551961670 848003065 4163225871 2202531730 419653896 2008724136 1579801674 1360933332 2847143191 2976114062 781686457 746278514 2288453936 4123083793 3916611755 2494591521 3964573084 4228826970 838041424 468268277 981219809 2776920159 159084398 2457175737 4126402435 3002717238 1371582020 255 362436" option to reproduce the execution
0.00/0.01	c #vars 126
0.00/0.01	c #constraints 336
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 |      154      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      181 |      100 |      154      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      408 |      250 |      170      1 |        0 |        0
0.00/0.06	c  0.0s |       3 |      709 |      475 |      188      2 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1190 |      813 |      207      5 |        0 |        0
0.08/0.14	c  0.1s |       5 |     1819 |     1320 |      228      9 |        0 |        0
0.19/0.22	c  0.2s |       6 |     2890 |     2081 |      277     14 |        0 |        0
0.28/0.33	c  0.3s |       7 |     4363 |     3223 |      305     21 |        0 |        0
0.49/0.51	c  0.5s |       8 |     6484 |     4936 |      336     32 |        0 |        0
0.69/0.76	c  0.7s |       9 |    10455 |     7506 |      370     46 |        0 |        0
0.99/1.09	c  1.1s |      10 |    15776 |    11361 |      408     66 |        0 |        0
1.38/1.45	c  1.4s |      11 |    23835 |    17144 |      449     93 |        0 |        0
1.99/2.05	c  2.0s |      12 |    34742 |    25819 |      494    130 |        0 |        0
2.79/2.86	c  2.8s |      13 |    53582 |    38832 |      544    181 |        0 |        0
4.19/4.22	c  4.2s |      14 |    81032 |    58352 |      599    250 |        0 |        0
6.19/6.22	c  6.2s |      14 |   118484 |    85952 |      599    337 |        0 |        0
6.29/6.34	c  6.3s |      15 |   120657 |    87632 |      659    342 |        0 |        0
8.29/8.35	c  8.3s |      15 |   156229 |   115632 |      659    426 |        0 |        0
9.49/9.54	c  9.5s |      16 |   175893 |   131552 |      725    473 |        0 |        0
11.49/11.54	c 11.5s |      16 |   217778 |   161552 |      725    554 |        0 |        0
13.49/13.55	c 13.5s |      16 |   257592 |   189552 |      725    630 |        0 |        0
13.99/14.09	c 14.1s |      17 |   268991 |   197432 |      798    651 |        0 |        0
15.98/16.09	c 16.1s |      17 |   309995 |   227732 |      798    726 |        0 |        0
17.98/18.09	c 18.1s |      17 |   349277 |   257432 |      798    799 |        0 |        0
20.08/20.10	c 20.1s |      17 |   393400 |   288132 |      798    876 |        0 |        0
20.58/20.63	c 20.6s |      18 |   405374 |   296252 |      878    895 |        0 |        0
22.58/22.63	c 22.6s |      18 |   444323 |   325052 |      878    960 |        0 |        0
24.59/24.63	c 24.6s |      18 |   484980 |   354652 |      878   1026 |        0 |        0
26.59/26.64	c 26.6s |      18 |   527223 |   384852 |      878   1094 |        0 |        0
28.59/28.64	c 28.6s |      18 |   568299 |   414752 |      878   1162 |        0 |        0
30.49/30.59	c 30.6s |      19 |   610061 |   444482 |      966   1228 |        0 |        0
32.48/32.59	c 32.6s |      19 |   649633 |   473482 |      966   1287 |        0 |        0
34.48/34.59	c 34.6s |      19 |   685063 |   500482 |      966   1343 |        0 |        0
36.58/36.60	c 36.6s |      19 |   722344 |   528182 |      966   1400 |        0 |        0
38.49/38.60	c 38.6s |      19 |   759073 |   555582 |      966   1456 |        0 |        0
40.58/40.60	c 40.6s |      19 |   796219 |   582582 |      966   1511 |        0 |        0
42.58/42.61	c 42.6s |      19 |   836547 |   611382 |      966   1570 |        0 |        0
44.58/44.61	c 44.6s |      19 |   870667 |   638382 |      966   1626 |        0 |        0
46.59/46.62	c 46.6s |      19 |   905153 |   664682 |     1063   1679 |        0 |        0
46.69/46.78	c 46.8s |      20 |   907918 |   666827 |     1063   1683 |        0 |        0
48.69/48.78	c 48.8s |      20 |   942583 |   693327 |     1063   1733 |        0 |        0
50.69/50.78	c 50.8s |      20 |   977071 |   719327 |     1063   1781 |        0 |        0
52.68/52.79	c 52.8s |      20 |  1012399 |   745027 |     1063   1829 |        0 |        0
54.68/54.79	c 54.8s |      20 |  1043132 |   769727 |     1063   1875 |        0 |        0
56.68/56.79	c 56.8s |      20 |  1071757 |   792327 |     1063   1917 |        0 |        0
58.78/58.80	c 58.8s |      20 |  1103807 |   816027 |     1063   1961 |        0 |        0
60.78/60.80	c 60.8s |      20 |  1137442 |   840927 |     1063   2008 |        0 |        0
62.79/62.81	c 62.8s |      20 |  1172495 |   867527 |     1063   2057 |        0 |        0
64.78/64.81	c 64.8s |      20 |  1206438 |   893827 |     1063   2107 |        0 |        0
66.78/66.82	c 66.8s |      20 |  1243552 |   921127 |     1063   2158 |        0 |        0
68.78/68.82	c 68.8s |      20 |  1280737 |   947627 |     1063   2207 |        0 |        0
70.78/70.82	c 70.8s |      20 |  1314401 |   973027 |     1063   2255 |        0 |        0
72.77/72.83	c 72.8s |      20 |  1349362 |   999027 |     1170   2302 |        0 |        0
72.87/72.92	c 72.9s |      21 |  1351190 |  1000345 |     1170   2305 |        0 |        0
74.88/74.92	c 74.9s |      21 |  1383472 |  1025245 |     1170   2347 |        0 |        0
76.87/76.93	c 76.9s |      21 |  1414118 |  1049345 |     1170   2388 |        0 |        0
78.88/78.93	c 78.9s |      21 |  1449526 |  1074645 |     1170   2431 |        0 |        0
80.88/80.94	c 80.9s |      21 |  1482353 |  1099245 |     1170   2472 |        0 |        0
82.88/82.94	c 82.9s |      21 |  1516921 |  1124445 |     1170   2515 |        0 |        0
84.88/84.95	c 84.9s |      21 |  1547891 |  1148645 |     1170   2556 |        0 |        0
86.89/86.95	c 86.9s |      21 |  1575055 |  1171145 |     1170   2594 |        0 |        0
88.88/88.95	c 88.9s |      21 |  1605431 |  1195045 |     1170   2635 |        0 |        0
90.88/90.96	c 90.9s |      21 |  1636423 |  1218845 |     1170   2675 |        0 |        0
92.88/92.97	c 93.0s |      21 |  1667093 |  1242745 |     1170   2716 |        0 |        0
94.87/94.97	c 95.0s |      21 |  1698789 |  1267145 |     1170   2757 |        0 |        0
96.88/96.98	c 97.0s |      21 |  1727780 |  1289345 |     1170   2795 |        0 |        0
98.87/98.98	c 99.0s |      21 |  1757908 |  1312545 |     1170   2834 |        0 |        0
100.87/100.98	c  100s |      21 |  1792199 |  1337845 |     1170   2877 |        0 |        0
102.87/102.98	c  102s |      21 |  1822836 |  1361145 |     1170   2917 |        0 |        0
104.87/104.99	c  104s |      21 |  1858418 |  1387445 |     1170   2961 |        0 |        0
106.87/106.99	c  106s |      21 |  1891661 |  1413245 |     1170   3005 |        0 |        0
108.88/108.99	c  108s |      21 |  1925071 |  1438745 |     1170   3048 |        0 |        0
110.97/111.00	c  110s |      21 |  1960649 |  1465345 |     1170   3094 |        0 |        0
112.97/113.00	c  112s |      21 |  1992507 |  1490545 |     1287   3136 |        0 |        0
113.67/113.79	c  113s |      22 |  2006083 |  1500622 |     1287   3152 |        0 |        0
115.67/115.79	c  115s |      22 |  2040496 |  1526622 |     1287   3192 |        0 |        0
117.67/117.79	c  117s |      22 |  2074822 |  1551822 |     1287   3231 |        0 |        0
119.67/119.79	c  119s |      22 |  2107266 |  1576622 |     1287   3269 |        0 |        0
121.77/121.80	c  121s |      22 |  2141919 |  1602222 |     1287   3309 |        0 |        0
123.77/123.81	c  123s |      22 |  2177928 |  1628422 |     1287   3349 |        0 |        0
125.77/125.81	c  125s |      22 |  2212402 |  1653422 |     1287   3388 |        0 |        0
127.77/127.81	c  127s |      22 |  2246646 |  1678722 |     1287   3427 |        0 |        0
129.78/129.82	c  129s |      22 |  2282028 |  1704722 |     1287   3467 |        0 |        0
131.77/131.82	c  131s |      22 |  2319135 |  1731522 |     1287   3509 |        0 |        0
133.77/133.83	c  133s |      22 |  2351735 |  1755322 |     1287   3545 |        0 |        0
135.77/135.83	c  135s |      22 |  2385704 |  1780122 |     1287   3584 |        0 |        0
137.77/137.83	c  137s |      22 |  2420099 |  1805022 |     1287   3622 |        0 |        0
139.78/139.84	c  139s |      22 |  2452329 |  1829522 |     1287   3660 |        0 |        0
141.77/141.84	c  141s |      22 |  2484587 |  1854522 |     1287   3699 |        0 |        0
143.77/143.84	c  143s |      22 |  2514092 |  1877122 |     1287   3734 |        0 |        0
145.77/145.85	c  145s |      22 |  2544093 |  1899422 |     1287   3768 |        0 |        0
147.77/147.85	c  147s |      22 |  2573725 |  1921722 |     1287   3803 |        0 |        0
149.77/149.86	c  149s |      22 |  2604241 |  1944422 |     1287   3838 |        0 |        0
151.77/151.86	c  151s |      22 |  2631728 |  1966422 |     1287   3872 |        0 |        0
153.76/153.87	c  153s |      22 |  2661568 |  1989522 |     1287   3908 |        0 |        0
155.76/155.87	c  155s |      22 |  2693398 |  2012722 |     1287   3943 |        0 |        0
157.76/157.88	c  157s |      22 |  2720153 |  2034722 |     1287   3978 |        0 |        0
159.76/159.89	c  159s |      22 |  2748808 |  2057722 |     1287   4013 |        0 |        0
161.77/161.89	c  161s |      22 |  2780272 |  2080422 |     1287   4048 |        0 |        0
163.76/163.89	c  163s |      22 |  2811764 |  2103322 |     1287   4084 |        0 |        0
165.76/165.89	c  165s |      22 |  2844056 |  2127722 |     1287   4121 |        0 |        0
167.86/167.90	c  167s |      22 |  2875721 |  2151222 |     1287   4158 |        0 |        0
169.86/169.91	c  169s |      22 |  2905718 |  2174422 |     1287   4194 |        0 |        0
171.86/171.91	c  171s |      22 |  2936314 |  2197722 |     1287   4230 |        0 |        0
173.86/173.92	c  173s |      22 |  2964697 |  2220422 |     1287   4265 |        0 |        0
175.87/175.92	c  175s |      22 |  2992928 |  2242622 |     1416   4298 |        0 |        0
176.77/176.83	c  176s |      23 |  3002160 |  2251038 |     1416   4310 |        0 |        0
178.76/178.83	c  178s |      23 |  3031019 |  2272138 |     1416   4339 |        0 |        0
180.76/180.83	c  180s |      23 |  3061386 |  2294338 |     1416   4371 |        0 |        0
182.76/182.84	c  182s |      23 |  3092420 |  2317938 |     1416   4404 |        0 |        0
184.77/184.84	c  184s |      23 |  3121585 |  2340138 |     1416   4435 |        0 |        0
186.76/186.85	c  186s |      23 |  3152263 |  2363338 |     1416   4468 |        0 |        0
188.76/188.85	c  188s |      23 |  3184132 |  2386738 |     1416   4500 |        0 |        0
190.76/190.85	c  190s |      23 |  3216027 |  2410038 |     1416   4533 |        0 |        0
192.76/192.86	c  192s |      23 |  3245761 |  2432838 |     1416   4565 |        0 |        0
194.76/194.86	c  194s |      23 |  3275843 |  2455938 |     1416   4598 |        0 |        0
196.76/196.87	c  196s |      23 |  3306736 |  2479238 |     1416   4630 |        0 |        0
198.76/198.87	c  198s |      23 |  3338286 |  2502638 |     1416   4663 |        0 |        0
200.76/200.87	c  200s |      23 |  3369005 |  2526038 |     1416   4696 |        0 |        0
202.76/202.87	c  202s |      23 |  3398464 |  2548638 |     1416   4728 |        0 |        0
204.76/204.87	c  204s |      23 |  3430604 |  2571338 |     1416   4760 |        0 |        0
206.76/206.88	c  206s |      23 |  3462200 |  2594838 |     1416   4793 |        0 |        0
208.76/208.89	c  208s |      23 |  3493574 |  2618438 |     1416   4826 |        0 |        0
210.76/210.89	c  210s |      23 |  3525925 |  2641938 |     1416   4859 |        0 |        0
212.86/212.90	c  212s |      23 |  3558270 |  2665538 |     1416   4892 |        0 |        0
214.86/214.90	c  214s |      23 |  3587417 |  2687138 |     1416   4923 |        0 |        0
216.86/216.90	c  216s |      23 |  3616521 |  2708738 |     1416   4953 |        0 |        0
218.86/218.91	c  218s |      23 |  3645486 |  2731238 |     1416   4985 |        0 |        0
220.85/220.91	c  220s |      23 |  3673737 |  2753438 |     1416   5016 |        0 |        0
222.85/222.91	c  222s |      23 |  3700290 |  2774438 |     1416   5046 |        0 |        0
224.85/224.92	c  224s |      23 |  3727705 |  2795238 |     1416   5075 |        0 |        0
226.85/226.92	c  226s |      23 |  3756575 |  2816838 |     1416   5105 |        0 |        0
228.86/228.92	c  228s |      23 |  3783703 |  2838338 |     1416   5135 |        0 |        0
230.85/230.92	c  230s |      23 |  3811159 |  2860038 |     1416   5166 |        0 |        0
232.85/232.93	c  232s |      23 |  3839213 |  2882138 |     1416   5197 |        0 |        0
234.85/234.93	c  234s |      23 |  3865569 |  2903538 |     1416   5227 |        0 |        0
236.86/236.94	c  236s |      23 |  3892896 |  2925738 |     1416   5258 |        0 |        0
238.85/238.94	c  238s |      23 |  3923379 |  2949138 |     1416   5291 |        0 |        0
240.86/240.94	c  240s |      23 |  3953781 |  2972738 |     1416   5325 |        0 |        0
242.85/242.95	c  242s |      23 |  3987617 |  2996638 |     1416   5358 |        0 |        0
244.85/244.95	c  244s |      23 |  4020348 |  3020638 |     1416   5392 |        0 |        0
246.85/246.95	c  246s |      23 |  4052911 |  3044438 |     1416   5426 |        0 |        0
248.85/248.96	c  248s |      23 |  4085712 |  3068538 |     1416   5460 |        0 |        0
250.86/250.96	c  250s |      23 |  4117963 |  3092638 |     1416   5494 |        0 |        0
252.85/252.97	c  252s |      23 |  4149808 |  3115438 |     1416   5526 |        0 |        0
254.85/254.98	c  254s |      23 |  4181560 |  3139538 |     1416   5559 |        0 |        0
256.85/256.98	c  256s |      23 |  4213742 |  3164338 |     1416   5594 |        0 |        0
258.84/258.99	c  258s |      23 |  4244109 |  3186638 |     1416   5626 |        0 |        0
260.94/261.00	c  260s |      23 |  4277561 |  3211438 |     1416   5661 |        0 |        0
262.95/263.01	c  262s |      23 |  4307623 |  3235138 |     1416   5694 |        0 |        0
264.94/265.01	c  264s |      23 |  4338501 |  3259138 |     1416   5728 |        0 |        0
266.94/267.02	c  266s |      23 |  4370501 |  3283438 |     1416   5762 |        0 |        0
268.94/269.02	c  269s |      23 |  4404227 |  3307338 |     1416   5795 |        0 |        0
270.95/271.02	c  271s |      23 |  4438457 |  3332538 |     1416   5831 |        0 |        0
272.95/273.03	c  273s |      23 |  4470434 |  3355538 |     1558   5863 |        0 |        0
274.85/274.91	c  274s |      24 |  4498999 |  3376662 |     1558   5890 |        0 |        0
276.85/276.91	c  276s |      24 |  4529188 |  3399762 |     1558   5919 |        0 |        0
278.85/278.91	c  278s |      24 |  4557440 |  3422162 |     1558   5948 |        0 |        0
280.85/280.92	c  280s |      24 |  4590169 |  3446362 |     1558   5979 |        0 |        0
282.85/282.92	c  282s |      24 |  4620561 |  3469362 |     1558   6008 |        0 |        0
284.86/284.93	c  284s |      24 |  4649728 |  3492362 |     1558   6038 |        0 |        0
286.85/286.93	c  286s |      24 |  4678201 |  3515062 |     1558   6066 |        0 |        0
288.85/288.93	c  288s |      24 |  4707250 |  3538262 |     1558   6096 |        0 |        0
290.85/290.94	c  290s |      24 |  4733090 |  3559662 |     1558   6123 |        0 |        0
292.85/292.94	c  292s |      24 |  4762015 |  3582262 |     1558   6152 |        0 |        0
294.85/294.94	c  294s |      24 |  4792627 |  3604962 |     1558   6181 |        0 |        0
296.84/296.95	c  296s |      24 |  4825734 |  3628462 |     1558   6212 |        0 |        0
298.84/298.95	c  298s |      24 |  4855956 |  3651562 |     1558   6241 |        0 |        0
300.84/300.96	c  300s |      24 |  4888682 |  3674862 |     1558   6271 |        0 |        0
302.84/302.96	c  302s |      24 |  4921974 |  3698862 |     1558   6302 |        0 |        0
304.84/304.97	c  304s |      24 |  4954122 |  3722862 |     1558   6332 |        0 |        0
306.85/306.97	c  306s |      24 |  4985440 |  3746062 |     1558   6362 |        0 |        0
308.84/308.97	c  308s |      24 |  5013883 |  3768662 |     1558   6391 |        0 |        0
310.84/310.98	c  310s |      24 |  5041977 |  3790562 |     1558   6419 |        0 |        0
312.84/312.98	c  312s |      24 |  5070258 |  3812562 |     1558   6447 |        0 |        0
314.84/314.98	c  314s |      24 |  5099825 |  3834962 |     1558   6476 |        0 |        0
316.85/316.99	c  316s |      24 |  5130386 |  3857862 |     1558   6505 |        0 |        0
318.84/318.99	c  318s |      24 |  5161666 |  3881162 |     1558   6535 |        0 |        0
320.84/320.99	c  320s |      24 |  5190736 |  3903262 |     1558   6563 |        0 |        0
322.94/323.00	c  322s |      24 |  5222223 |  3926462 |     1558   6593 |        0 |        0
324.93/325.01	c  324s |      24 |  5254609 |  3950762 |     1558   6624 |        0 |        0
326.93/327.01	c  326s |      24 |  5283975 |  3972762 |     1558   6652 |        0 |        0
328.94/329.02	c  329s |      24 |  5315326 |  3996362 |     1558   6682 |        0 |        0
330.93/331.02	c  331s |      24 |  5347141 |  4020162 |     1558   6713 |        0 |        0
332.94/333.02	c  333s |      24 |  5378961 |  4043162 |     1558   6742 |        0 |        0
334.94/335.02	c  335s |      24 |  5408870 |  4065562 |     1558   6771 |        0 |        0
336.94/337.03	c  337s |      24 |  5435503 |  4086662 |     1558   6798 |        0 |        0
338.94/339.04	c  339s |      24 |  5468627 |  4110662 |     1558   6828 |        0 |        0
340.94/341.04	c  341s |      24 |  5500844 |  4134362 |     1558   6859 |        0 |        0
342.94/343.04	c  343s |      24 |  5533244 |  4158462 |     1558   6890 |        0 |        0
344.94/345.05	c  345s |      24 |  5564070 |  4181162 |     1558   6919 |        0 |        0
346.94/347.05	c  347s |      24 |  5591767 |  4202762 |     1558   6946 |        0 |        0
348.94/349.06	c  349s |      24 |  5622198 |  4225962 |     1558   6976 |        0 |        0
350.94/351.06	c  351s |      24 |  5653805 |  4248462 |     1558   7005 |        0 |        0
352.93/353.07	c  353s |      24 |  5681553 |  4269562 |     1558   7031 |        0 |        0
354.93/355.07	c  355s |      24 |  5709349 |  4291562 |     1558   7060 |        0 |        0
356.93/357.07	c  357s |      24 |  5738577 |  4313462 |     1558   7087 |        0 |        0
358.93/359.07	c  359s |      24 |  5766236 |  4335362 |     1558   7115 |        0 |        0
360.93/361.08	c  361s |      24 |  5795377 |  4357462 |     1558   7144 |        0 |        0
362.94/363.08	c  363s |      24 |  5824545 |  4378462 |     1558   7170 |        0 |        0
364.93/365.09	c  365s |      24 |  5856819 |  4402462 |     1558   7201 |        0 |        0
366.93/367.09	c  367s |      24 |  5886494 |  4424562 |     1558   7229 |        0 |        0
368.93/369.09	c  369s |      24 |  5916324 |  4446962 |     1558   7258 |        0 |        0
370.93/371.10	c  371s |      24 |  5945460 |  4469362 |     1558   7286 |        0 |        0
373.03/373.10	c  373s |      24 |  5971716 |  4489762 |     1558   7312 |        0 |        0
374.93/375.10	c  375s |      24 |  6002146 |  4512462 |     1558   7341 |        0 |        0
377.03/377.11	c  377s |      24 |  6034502 |  4536362 |     1558   7372 |        0 |        0
379.03/379.12	c  379s |      24 |  6064845 |  4559662 |     1558   7402 |        0 |        0
381.03/381.13	c  381s |      24 |  6092532 |  4581362 |     1558   7429 |        0 |        0
383.03/383.13	c  383s |      24 |  6120459 |  4601762 |     1558   7455 |        0 |        0
385.04/385.13	c  385s |      24 |  6149191 |  4623762 |     1558   7483 |        0 |        0
387.03/387.14	c  387s |      24 |  6180714 |  4646462 |     1558   7513 |        0 |        0
389.02/389.15	c  389s |      24 |  6211433 |  4669562 |     1558   7542 |        0 |        0
391.03/391.16	c  391s |      24 |  6242589 |  4692962 |     1558   7572 |        0 |        0
393.03/393.16	c  393s |      24 |  6273590 |  4716362 |     1558   7602 |        0 |        0
395.03/395.16	c  395s |      24 |  6303146 |  4738962 |     1558   7631 |        0 |        0
397.04/397.17	c  397s |      24 |  6333609 |  4761462 |     1558   7659 |        0 |        0
399.03/399.17	c  399s |      24 |  6367862 |  4785862 |     1558   7691 |        0 |        0
401.03/401.18	c  401s |      24 |  6399227 |  4809162 |     1558   7720 |        0 |        0
403.03/403.19	c  403s |      24 |  6431345 |  4832762 |     1558   7751 |        0 |        0
405.03/405.19	c  405s |      24 |  6462085 |  4856162 |     1558   7781 |        0 |        0
407.03/407.20	c  407s |      24 |  6494187 |  4879662 |     1558   7811 |        0 |        0
409.03/409.20	c  409s |      24 |  6527572 |  4904162 |     1558   7842 |        0 |        0
411.13/411.20	c  411s |      24 |  6561346 |  4928162 |     1558   7873 |        0 |        0
413.13/413.20	c  413s |      24 |  6591681 |  4951362 |     1558   7902 |        0 |        0
415.12/415.21	c  415s |      24 |  6621621 |  4973962 |     1558   7931 |        0 |        0
417.12/417.21	c  417s |      24 |  6648591 |  4995662 |     1558   7959 |        0 |        0
419.13/419.22	c  419s |      24 |  6678833 |  5018362 |     1558   7988 |        0 |        0
421.12/421.23	c  421s |      24 |  6706662 |  5039262 |     1714   8014 |        0 |        0
423.12/423.23	c  423s |      24 |  6734269 |  5060262 |     1714   8038 |        0 |        0
423.53/423.66	c  423s |      25 |  6740797 |  5065098 |     1714   8043 |        0 |        0
425.52/425.67	c  425s |      25 |  6767504 |  5084998 |     1714   8067 |        0 |        0
427.52/427.67	c  427s |      25 |  6794453 |  5105298 |     1714   8090 |        0 |        0
429.52/429.68	c  429s |      25 |  6820502 |  5125798 |     1714   8114 |        0 |        0
431.52/431.68	c  431s |      25 |  6847180 |  5146198 |     1714   8138 |        0 |        0
433.52/433.69	c  433s |      25 |  6875197 |  5167498 |     1714   8162 |        0 |        0
435.52/435.70	c  435s |      25 |  6900867 |  5187798 |     1714   8186 |        0 |        0
437.62/437.70	c  437s |      25 |  6927847 |  5208698 |     1714   8210 |        0 |        0
439.62/439.71	c  439s |      25 |  6953719 |  5228798 |     1714   8233 |        0 |        0
441.62/441.71	c  441s |      25 |  6979575 |  5248798 |     1714   8257 |        0 |        0
443.62/443.71	c  443s |      25 |  7008109 |  5268798 |     1714   8280 |        0 |        0
445.62/445.71	c  445s |      25 |  7037000 |  5289398 |     1714   8304 |        0 |        0
447.63/447.72	c  447s |      25 |  7063339 |  5309598 |     1714   8327 |        0 |        0
449.62/449.72	c  449s |      25 |  7093045 |  5331698 |     1714   8353 |        0 |        0
451.62/451.72	c  451s |      25 |  7121816 |  5353498 |     1714   8378 |        0 |        0
453.61/453.72	c  453s |      25 |  7149737 |  5374498 |     1714   8403 |        0 |        0
455.61/455.73	c  455s |      25 |  7179490 |  5396798 |     1714   8429 |        0 |        0
457.62/457.74	c  457s |      25 |  7208586 |  5418998 |     1714   8454 |        0 |        0
459.61/459.75	c  459s |      25 |  7237990 |  5440298 |     1714   8479 |        0 |        0
461.61/461.75	c  461s |      25 |  7266243 |  5461898 |     1714   8504 |        0 |        0
463.60/463.76	c  463s |      25 |  7293759 |  5482898 |     1714   8529 |        0 |        0
465.60/465.76	c  465s |      25 |  7322287 |  5504798 |     1714   8554 |        0 |        0
467.60/467.77	c  467s |      25 |  7350051 |  5526398 |     1714   8579 |        0 |        0
469.61/469.78	c  469s |      25 |  7380178 |  5548698 |     1714   8605 |        0 |        0
471.60/471.78	c  471s |      25 |  7408378 |  5570498 |     1714   8630 |        0 |        0
473.60/473.78	c  473s |      25 |  7437250 |  5592198 |     1714   8656 |        0 |        0
475.59/475.79	c  475s |      25 |  7464237 |  5612898 |     1714   8680 |        0 |        0
477.69/477.80	c  477s |      25 |  7493748 |  5635198 |     1714   8706 |        0 |        0
479.69/479.81	c  479s |      25 |  7522183 |  5656898 |     1714   8731 |        0 |        0
481.70/481.81	c  481s |      25 |  7551226 |  5678898 |     1714   8756 |        0 |        0
483.69/483.81	c  483s |      25 |  7578367 |  5700198 |     1714   8781 |        0 |        0
485.69/485.82	c  485s |      25 |  7603940 |  5720998 |     1714   8806 |        0 |        0
487.69/487.83	c  487s |      25 |  7629442 |  5740598 |     1714   8828 |        0 |        0
489.69/489.84	c  489s |      25 |  7653713 |  5758998 |     1714   8850 |        0 |        0
491.70/491.84	c  491s |      25 |  7675836 |  5776998 |     1714   8870 |        0 |        0
493.70/493.85	c  493s |      25 |  7698564 |  5795398 |     1714   8892 |        0 |        0
495.70/495.85	c  495s |      25 |  7719071 |  5812698 |     1714   8912 |        0 |        0
497.70/497.86	c  497s |      25 |  7743600 |  5831398 |     1714   8934 |        0 |        0
499.70/499.86	c  499s |      25 |  7770046 |  5851398 |     1714   8957 |        0 |        0
501.70/501.87	c  501s |      25 |  7794699 |  5871098 |     1714   8980 |        0 |        0
503.70/503.87	c  503s |      25 |  7820591 |  5890598 |     1714   9002 |        0 |        0
505.69/505.87	c  505s |      25 |  7846459 |  5910698 |     1714   9026 |        0 |        0
507.69/507.87	c  507s |      25 |  7873593 |  5930498 |     1714   9049 |        0 |        0
509.69/509.88	c  509s |      25 |  7899441 |  5950498 |     1714   9072 |        0 |        0
511.69/511.88	c  511s |      25 |  7928082 |  5971698 |     1714   9097 |        0 |        0
513.69/513.88	c  513s |      25 |  7957354 |  5992598 |     1714   9121 |        0 |        0
515.69/515.89	c  515s |      25 |  7985625 |  6012998 |     1714   9145 |        0 |        0
517.78/517.90	c  517s |      25 |  8014122 |  6034098 |     1714   9169 |        0 |        0
519.78/519.90	c  519s |      25 |  8043414 |  6055898 |     1714   9194 |        0 |        0
521.78/521.91	c  521s |      25 |  8073975 |  6077698 |     1714   9220 |        0 |        0
523.78/523.91	c  523s |      25 |  8101545 |  6098498 |     1714   9244 |        0 |        0
525.79/525.92	c  525s |      25 |  8129520 |  6119998 |     1714   9269 |        0 |        0
527.78/527.92	c  527s |      25 |  8156083 |  6140698 |     1714   9293 |        0 |        0
529.78/529.92	c  529s |      25 |  8181287 |  6159998 |     1714   9316 |        0 |        0
531.78/531.93	c  531s |      25 |  8208655 |  6180598 |     1714   9340 |        0 |        0
533.78/533.94	c  533s |      25 |  8236523 |  6201798 |     1714   9364 |        0 |        0
535.77/535.94	c  535s |      25 |  8264665 |  6223398 |     1714   9389 |        0 |        0
537.78/537.94	c  537s |      25 |  8295636 |  6245898 |     1714   9416 |        0 |        0
539.77/539.95	c  539s |      25 |  8325517 |  6267998 |     1714   9441 |        0 |        0
541.77/541.95	c  541s |      25 |  8356303 |  6290498 |     1714   9467 |        0 |        0
543.77/543.96	c  543s |      25 |  8385044 |  6311698 |     1714   9492 |        0 |        0
545.77/545.97	c  545s |      25 |  8409329 |  6330698 |     1714   9514 |        0 |        0
547.77/547.97	c  547s |      25 |  8434468 |  6349598 |     1714   9536 |        0 |        0
549.77/549.97	c  549s |      25 |  8462671 |  6369598 |     1714   9559 |        0 |        0
551.77/551.97	c  551s |      25 |  8484449 |  6387298 |     1714   9580 |        0 |        0
553.77/553.98	c  553s |      25 |  8510658 |  6407498 |     1714   9604 |        0 |        0
555.77/555.99	c  555s |      25 |  8538436 |  6428398 |     1714   9628 |        0 |        0
557.77/557.99	c  557s |      25 |  8567041 |  6449898 |     1714   9653 |        0 |        0
559.77/559.99	c  559s |      25 |  8594164 |  6470498 |     1714   9677 |        0 |        0
561.77/561.99	c  561s |      25 |  8620411 |  6490598 |     1714   9700 |        0 |        0
563.86/564.00	c  563s |      25 |  8647523 |  6510798 |     1714   9724 |        0 |        0
565.86/566.01	c  565s |      25 |  8675710 |  6531798 |     1714   9748 |        0 |        0
567.86/568.01	c  567s |      25 |  8703398 |  6552598 |     1714   9772 |        0 |        0
569.86/570.01	c  569s |      25 |  8731344 |  6572798 |     1714   9796 |        0 |        0
571.87/572.01	c  571s |      25 |  8758409 |  6593198 |     1714   9820 |        0 |        0
573.85/574.02	c  574s |      25 |  8784676 |  6612598 |     1714   9842 |        0 |        0
575.85/576.03	c  576s |      25 |  8810021 |  6632298 |     1714   9865 |        0 |        0
577.85/578.04	c  578s |      25 |  8835636 |  6651498 |     1714   9887 |        0 |        0
579.85/580.05	c  580s |      25 |  8862102 |  6670698 |     1714   9910 |        0 |        0
581.86/582.06	c  582s |      25 |  8889763 |  6690898 |     1714   9933 |        0 |        0
583.84/584.06	c  584s |      25 |  8918724 |  6711998 |     1714   9958 |        0 |        0
585.84/586.06	c  586s |      25 |  8942745 |  6731698 |     1714   9981 |        0 |        0
587.84/588.07	c  588s |      25 |  8970896 |  6753298 |     1714  10006 |        0 |        0
589.84/590.07	c  590s |      25 |  8993747 |  6771998 |     1714  10028 |        0 |        0
591.84/592.08	c  592s |      25 |  9023888 |  6793598 |     1714  10053 |        0 |        0
593.84/594.09	c  594s |      25 |  9053316 |  6815598 |     1714  10078 |        0 |        0
595.84/596.10	c  596s |      25 |  9082156 |  6837398 |     1714  10104 |        0 |        0
597.94/598.11	c  598s |      25 |  9112435 |  6859398 |     1714  10130 |        0 |        0
599.94/600.12	c  600s |      25 |  9143994 |  6882398 |     1714  10156 |        0 |        0
601.93/602.12	c  602s |      25 |  9175158 |  6904698 |     1714  10182 |        0 |        0
603.94/604.12	c  604s |      25 |  9203374 |  6925798 |     1714  10207 |        0 |        0
605.94/606.12	c  606s |      25 |  9228175 |  6946198 |     1714  10231 |        0 |        0
607.93/608.13	c  608s |      25 |  9257470 |  6968498 |     1714  10257 |        0 |        0
609.93/610.13	c  610s |      25 |  9286659 |  6990698 |     1714  10283 |        0 |        0
611.93/612.14	c  612s |      25 |  9313065 |  7011898 |     1714  10307 |        0 |        0
613.93/614.15	c  614s |      25 |  9340812 |  7033698 |     1714  10332 |        0 |        0
615.94/616.16	c  616s |      25 |  9364675 |  7053398 |     1714  10355 |        0 |        0
617.93/618.17	c  618s |      25 |  9392260 |  7073998 |     1714  10379 |        0 |        0
619.93/620.17	c  620s |      25 |  9421193 |  7094998 |     1714  10404 |        0 |        0
621.93/622.18	c  622s |      25 |  9450824 |  7116698 |     1714  10429 |        0 |        0
623.92/624.18	c  624s |      25 |  9478521 |  7137598 |     1714  10453 |        0 |        0
625.92/626.19	c  626s |      25 |  9507257 |  7158698 |     1714  10478 |        0 |        0
627.93/628.20	c  628s |      25 |  9536863 |  7179798 |     1714  10502 |        0 |        0
630.02/630.21	c  630s |      25 |  9565989 |  7201698 |     1714  10528 |        0 |        0
632.02/632.21	c  632s |      25 |  9593117 |  7222898 |     1714  10552 |        0 |        0
634.02/634.23	c  634s |      25 |  9621165 |  7243898 |     1714  10577 |        0 |        0
636.02/636.23	c  636s |      25 |  9646548 |  7263898 |     1714  10600 |        0 |        0
638.01/638.24	c  638s |      25 |  9675486 |  7285298 |     1714  10625 |        0 |        0
640.02/640.24	c  640s |      25 |  9705232 |  7306898 |     1714  10650 |        0 |        0
642.01/642.25	c  642s |      25 |  9730826 |  7327098 |     1714  10673 |        0 |        0
644.02/644.25	c  644s |      25 |  9754469 |  7345798 |     1714  10695 |        0 |        0
646.02/646.25	c  646s |      25 |  9778663 |  7365398 |     1714  10718 |        0 |        0
648.02/648.26	c  648s |      25 |  9806094 |  7385998 |     1714  10742 |        0 |        0
650.02/650.26	c  650s |      25 |  9831807 |  7405998 |     1714  10765 |        0 |        0
652.01/652.27	c  652s |      25 |  9859108 |  7426598 |     1714  10789 |        0 |        0
654.01/654.27	c  654s |      25 |  9886194 |  7447498 |     1714  10813 |        0 |        0
656.01/656.28	c  656s |      25 |  9909871 |  7466598 |     1714  10835 |        0 |        0
658.01/658.28	c  658s |      25 |  9937097 |  7487598 |     1714  10860 |        0 |        0
660.01/660.28	c  660s |      25 |  9964689 |  7508698 |     1714  10884 |        0 |        0
662.02/662.29	c  662s |      25 |  9992736 |  7529698 |     1714  10909 |        0 |        0
664.00/664.29	c  664s |      25 | 10020352 |  7550998 |     1886  10932 |        0 |        0
666.10/666.30	c  666s |      25 | 10046158 |  7571198 |     1886  10954 |        0 |        0
668.10/668.31	c  668s |      25 | 10070026 |  7589098 |     1886  10973 |        0 |        0
668.90/669.17	c  669s |      26 | 10082137 |  7597752 |     1886  10982 |        0 |        0
670.91/671.17	c  671s |      26 | 10106639 |  7616652 |     1886  11002 |        0 |        0
672.90/673.18	c  673s |      26 | 10131113 |  7636252 |     1886  11022 |        0 |        0
674.89/675.19	c  675s |      26 | 10158759 |  7657352 |     1886  11045 |        0 |        0
676.89/677.19	c  677s |      26 | 10184107 |  7677052 |     1886  11066 |        0 |        0
678.99/679.20	c  679s |      26 | 10210163 |  7696252 |     1886  11086 |        0 |        0
680.99/681.21	c  681s |      26 | 10236059 |  7716152 |     1886  11107 |        0 |        0
683.00/683.21	c  683s |      26 | 10259306 |  7734952 |     1886  11127 |        0 |        0
684.98/685.21	c  685s |      26 | 10283877 |  7754352 |     1886  11147 |        0 |        0
686.98/687.22	c  687s |      26 | 10310661 |  7774552 |     1886  11168 |        0 |        0
688.99/689.22	c  689s |      26 | 10339155 |  7795552 |     1886  11191 |        0 |        0
690.99/691.23	c  691s |      26 | 10366031 |  7815652 |     1886  11212 |        0 |        0
692.99/693.23	c  693s |      26 | 10395267 |  7836752 |     1886  11234 |        0 |        0
694.99/695.23	c  695s |      26 | 10424223 |  7857952 |     1886  11257 |        0 |        0
696.98/697.24	c  697s |      26 | 10448938 |  7877452 |     1886  11277 |        0 |        0
698.98/699.24	c  699s |      26 | 10476190 |  7898252 |     1886  11299 |        0 |        0
700.98/701.25	c  701s |      26 | 10505566 |  7919652 |     1886  11322 |        0 |        0
702.98/703.25	c  703s |      26 | 10533124 |  7940352 |     1886  11344 |        0 |        0
704.99/705.26	c  705s |      26 | 10562503 |  7962252 |     1886  11367 |        0 |        0
706.98/707.26	c  707s |      26 | 10589393 |  7982652 |     1886  11388 |        0 |        0
708.98/709.26	c  709s |      26 | 10618449 |  8004252 |     1886  11411 |        0 |        0
710.98/711.26	c  711s |      26 | 10643977 |  8024952 |     1886  11433 |        0 |        0
712.98/713.27	c  713s |      26 | 10668105 |  8044252 |     1886  11454 |        0 |        0
714.97/715.27	c  715s |      26 | 10694059 |  8063552 |     1886  11474 |        0 |        0
716.98/717.28	c  717s |      26 | 10719696 |  8083052 |     1886  11495 |        0 |        0
718.97/719.28	c  719s |      26 | 10746055 |  8102552 |     1886  11515 |        0 |        0
720.97/721.29	c  721s |      26 | 10773633 |  8122652 |     1886  11536 |        0 |        0
722.97/723.29	c  723s |      26 | 10801850 |  8142852 |     1886  11558 |        0 |        0
724.96/725.29	c  725s |      26 | 10829560 |  8163452 |     1886  11579 |        0 |        0
727.07/727.30	c  727s |      26 | 10857981 |  8184652 |     1886  11602 |        0 |        0
728.97/729.30	c  729s |      26 | 10884581 |  8204652 |     1886  11623 |        0 |        0
731.07/731.30	c  731s |      26 | 10913097 |  8225252 |     1886  11645 |        0 |        0
733.07/733.32	c  733s |      26 | 10938445 |  8244852 |     1886  11666 |        0 |        0
735.06/735.32	c  735s |      26 | 10962534 |  8263952 |     1886  11686 |        0 |        0
737.06/737.32	c  737s |      26 | 10988509 |  8284052 |     1886  11707 |        0 |        0
739.06/739.33	c  739s |      26 | 11013461 |  8303652 |     1886  11728 |        0 |        0
741.06/741.34	c  741s |      26 | 11039769 |  8324252 |     1886  11749 |        0 |        0
743.06/743.34	c  743s |      26 | 11067085 |  8345152 |     1886  11772 |        0 |        0
745.05/745.34	c  745s |      26 | 11092685 |  8365352 |     1886  11793 |        0 |        0
747.05/747.35	c  747s |      26 | 11118774 |  8385452 |     1886  11814 |        0 |        0
749.05/749.36	c  749s |      26 | 11144160 |  8405452 |     1886  11835 |        0 |        0
751.06/751.36	c  751s |      26 | 11170711 |  8426152 |     1886  11857 |        0 |        0
753.05/753.37	c  753s |      26 | 11194530 |  8445552 |     1886  11878 |        0 |        0
755.05/755.38	c  755s |      26 | 11220714 |  8465052 |     1886  11898 |        0 |        0
757.05/757.39	c  757s |      26 | 11246182 |  8485352 |     1886  11920 |        0 |        0
759.05/759.39	c  759s |      26 | 11273743 |  8506252 |     1886  11942 |        0 |        0
761.15/761.40	c  761s |      26 | 11298803 |  8526652 |     1886  11964 |        0 |        0
763.05/763.40	c  763s |      26 | 11325006 |  8546452 |     1886  11984 |        0 |        0
765.14/765.41	c  765s |      26 | 11351525 |  8566552 |     1886  12006 |        0 |        0
767.14/767.42	c  767s |      26 | 11377800 |  8586552 |     1886  12027 |        0 |        0
769.14/769.42	c  769s |      26 | 11404312 |  8606652 |     1886  12048 |        0 |        0
771.14/771.43	c  771s |      26 | 11431947 |  8627352 |     1886  12070 |        0 |        0
773.14/773.43	c  773s |      26 | 11460448 |  8648752 |     1886  12092 |        0 |        0
775.13/775.43	c  775s |      26 | 11487560 |  8669852 |     1886  12115 |        0 |        0
777.13/777.44	c  777s |      26 | 11516446 |  8691652 |     1886  12138 |        0 |        0
779.13/779.44	c  779s |      26 | 11546481 |  8713252 |     1886  12161 |        0 |        0
781.13/781.45	c  781s |      26 | 11573648 |  8734052 |     1886  12182 |        0 |        0
783.13/783.45	c  783s |      26 | 11601672 |  8754752 |     1886  12204 |        0 |        0
785.13/785.46	c  785s |      26 | 11623699 |  8772452 |     1886  12223 |        0 |        0
787.12/787.47	c  787s |      26 | 11648076 |  8791852 |     1886  12244 |        0 |        0
789.12/789.47	c  789s |      26 | 11675639 |  8812552 |     1886  12265 |        0 |        0
791.12/791.47	c  791s |      26 | 11701433 |  8832752 |     1886  12287 |        0 |        0
793.12/793.47	c  793s |      26 | 11728513 |  8853452 |     1886  12309 |        0 |        0
795.12/795.48	c  795s |      26 | 11755410 |  8873952 |     1886  12330 |        0 |        0
797.12/797.49	c  797s |      26 | 11780578 |  8893352 |     1886  12351 |        0 |        0
799.12/799.49	c  799s |      26 | 11807965 |  8914452 |     1886  12373 |        0 |        0
801.22/801.50	c  801s |      26 | 11835750 |  8936352 |     1886  12396 |        0 |        0
803.21/803.50	c  803s |      26 | 11862952 |  8956852 |     1886  12418 |        0 |        0
805.21/805.51	c  805s |      26 | 11891019 |  8977952 |     1886  12440 |        0 |        0
807.22/807.51	c  807s |      26 | 11918998 |  8999452 |     1886  12463 |        0 |        0
809.21/809.52	c  809s |      26 | 11947238 |  9020752 |     1886  12485 |        0 |        0
811.21/811.52	c  811s |      26 | 11974269 |  9041452 |     1886  12507 |        0 |        0
813.21/813.53	c  813s |      26 | 12001645 |  9061952 |     1886  12529 |        0 |        0
815.21/815.53	c  815s |      26 | 12029638 |  9082852 |     1886  12551 |        0 |        0
817.21/817.53	c  817s |      26 | 12055652 |  9103452 |     1886  12573 |        0 |        0
819.21/819.53	c  819s |      26 | 12082392 |  9123852 |     1886  12594 |        0 |        0
821.21/821.54	c  821s |      26 | 12108031 |  9143552 |     1886  12615 |        0 |        0
823.20/823.55	c  823s |      26 | 12134632 |  9163552 |     1886  12636 |        0 |        0
825.20/825.55	c  825s |      26 | 12158763 |  9182952 |     1886  12657 |        0 |        0
827.20/827.55	c  827s |      26 | 12184639 |  9203452 |     1886  12678 |        0 |        0
829.21/829.56	c  829s |      26 | 12209245 |  9223052 |     1886  12699 |        0 |        0
831.20/831.56	c  831s |      26 | 12233155 |  9241952 |     1886  12719 |        0 |        0
833.19/833.57	c  833s |      26 | 12260162 |  9262152 |     1886  12740 |        0 |        0
835.19/835.57	c  835s |      26 | 12285396 |  9282152 |     1886  12761 |        0 |        0
837.19/837.58	c  837s |      26 | 12314059 |  9303252 |     1886  12784 |        0 |        0
839.19/839.58	c  839s |      26 | 12342441 |  9323752 |     1886  12805 |        0 |        0
841.20/841.59	c  841s |      26 | 12371793 |  9344652 |     1886  12827 |        0 |        0
843.19/843.59	c  843s |      26 | 12401789 |  9366252 |     1886  12850 |        0 |        0
845.19/845.59	c  845s |      26 | 12428432 |  9386252 |     1886  12870 |        1 |        4
847.29/847.60	c  847s |      26 | 12455109 |  9406552 |     1886  12891 |        1 |        4
849.29/849.61	c  849s |      26 | 12481831 |  9426752 |     1886  12913 |        1 |        4
851.29/851.61	c  851s |      26 | 12508164 |  9447552 |     1886  12935 |        1 |        4
853.29/853.61	c  853s |      26 | 12533421 |  9468152 |     1886  12956 |        1 |        4
855.28/855.62	c  855s |      26 | 12560638 |  9489252 |     1886  12979 |        1 |        4
857.28/857.63	c  857s |      26 | 12585781 |  9509252 |     1886  13000 |        1 |        4
859.28/859.64	c  859s |      26 | 12611327 |  9528852 |     1886  13021 |        1 |        4
861.28/861.64	c  861s |      26 | 12635962 |  9548152 |     1886  13041 |        1 |        4
863.29/863.65	c  863s |      26 | 12661179 |  9568252 |     1886  13062 |        1 |        4
865.29/865.65	c  865s |      26 | 12685988 |  9587152 |     1886  13082 |        1 |        4
867.29/867.66	c  867s |      26 | 12712013 |  9607052 |     1886  13103 |        1 |        4
869.28/869.66	c  869s |      26 | 12737871 |  9626652 |     1886  13124 |        1 |        4
871.28/871.67	c  871s |      26 | 12764821 |  9646852 |     1886  13145 |        1 |        4
873.28/873.67	c  873s |      26 | 12791138 |  9667452 |     1886  13167 |        1 |        4
875.28/875.68	c  875s |      26 | 12817612 |  9688152 |     1886  13189 |        1 |        4
877.28/877.69	c  877s |      26 | 12841165 |  9707152 |     1886  13209 |        1 |        4
879.28/879.69	c  879s |      26 | 12867493 |  9727652 |     1886  13231 |        1 |        4
881.28/881.70	c  881s |      26 | 12893439 |  9747452 |     1886  13252 |        1 |        4
883.37/883.70	c  883s |      26 | 12921701 |  9768352 |     1886  13274 |        1 |        4
885.37/885.71	c  885s |      26 | 12946572 |  9788752 |     1886  13295 |        1 |        4
887.38/887.72	c  887s |      26 | 12971356 |  9807052 |     1886  13315 |        1 |        4
889.37/889.73	c  889s |      26 | 12997537 |  9827852 |     1886  13337 |        1 |        4
891.37/891.73	c  891s |      26 | 13024479 |  9849052 |     1886  13359 |        1 |        4
893.36/893.74	c  893s |      26 | 13051576 |  9869652 |     1886  13381 |        1 |        4
895.36/895.74	c  895s |      26 | 13077744 |  9889552 |     1886  13402 |        1 |        4
897.37/897.74	c  897s |      26 | 13101046 |  9908952 |     1886  13422 |        1 |        4
899.36/899.75	c  899s |      26 | 13127693 |  9928952 |     1886  13443 |        1 |        4
901.36/901.76	c  901s |      26 | 13155832 |  9949852 |     1886  13465 |        1 |        4
903.35/903.77	c  903s |      26 | 13182468 |  9970252 |     1886  13487 |        1 |        4
905.35/905.77	c  905s |      26 | 13208034 |  9989852 |     1886  13508 |        1 |        4
907.36/907.78	c  907s |      26 | 13235782 | 10011052 |     1886  13530 |        1 |        4
909.36/909.78	c  909s |      26 | 13264090 | 10033052 |     1886  13553 |        1 |        4
911.36/911.80	c  911s |      26 | 13292631 | 10054652 |     1886  13576 |        1 |        4
913.45/913.80	c  913s |      26 | 13320057 | 10075552 |     1886  13598 |        1 |        4
915.45/915.80	c  915s |      26 | 13347451 | 10095852 |     1886  13618 |        2 |        8
917.45/917.81	c  917s |      26 | 13373673 | 10116152 |     1886  13639 |        2 |        8
919.45/919.81	c  919s |      26 | 13399872 | 10136052 |     1886  13660 |        2 |        8
921.45/921.82	c  921s |      26 | 13427486 | 10156652 |     1886  13682 |        2 |        8
923.44/923.83	c  923s |      26 | 13454088 | 10177152 |     1886  13704 |        2 |        8
925.44/925.83	c  925s |      26 | 13482031 | 10198152 |     1886  13726 |        2 |        8
927.44/927.83	c  927s |      26 | 13511264 | 10219452 |     1886  13749 |        2 |        8
929.43/929.85	c  929s |      26 | 13538939 | 10240252 |     1886  13771 |        2 |        8
931.44/931.85	c  931s |      26 | 13566322 | 10260352 |     1886  13792 |        2 |        8
933.43/933.86	c  933s |      26 | 13594886 | 10281852 |     1886  13815 |        2 |        8
935.43/935.86	c  935s |      26 | 13622065 | 10302252 |     1886  13836 |        2 |        8
937.43/937.87	c  937s |      26 | 13647687 | 10322252 |     1886  13857 |        2 |        8
939.43/939.88	c  939s |      26 | 13675650 | 10343252 |     1886  13879 |        2 |        8
941.43/941.89	c  941s |      26 | 13701457 | 10364152 |     1886  13901 |        2 |        8
943.43/943.90	c  943s |      26 | 13728862 | 10384952 |     1886  13923 |        2 |        8
945.52/945.90	c  945s |      26 | 13757715 | 10406352 |     1886  13946 |        2 |        8
947.52/947.90	c  947s |      26 | 13785189 | 10427652 |     1886  13968 |        2 |        8
949.52/949.90	c  949s |      26 | 13815868 | 10449852 |     1886  13992 |        2 |        8
951.52/951.91	c  951s |      26 | 13847076 | 10472752 |     1886  14016 |        2 |        8
953.52/953.91	c  953s |      26 | 13875797 | 10493452 |     1886  14038 |        2 |        8
955.52/955.92	c  955s |      26 | 13906450 | 10515652 |     1886  14061 |        2 |        8
957.52/957.92	c  957s |      26 | 13935327 | 10537452 |     1886  14084 |        2 |        8
959.51/959.92	c  959s |      26 | 13964075 | 10559452 |     1886  14106 |        3 |       12
961.51/961.92	c  961s |      26 | 13989890 | 10580152 |     1886  14128 |        3 |       12
963.51/963.93	c  963s |      26 | 14017117 | 10601552 |     1886  14151 |        3 |       12
965.53/965.93	c  965s |      26 | 14046349 | 10622952 |     1886  14173 |        3 |       12
967.52/967.93	c  967s |      26 | 14074913 | 10644052 |     1886  14196 |        3 |       12
969.52/969.94	c  969s |      26 | 14102669 | 10664752 |     1886  14218 |        3 |       12
971.52/971.94	c  971s |      26 | 14130647 | 10685552 |     1886  14240 |        3 |       12
973.51/973.95	c  973s |      26 | 14158957 | 10705552 |     1886  14261 |        3 |       12
975.51/975.95	c  975s |      26 | 14187834 | 10726852 |     1886  14283 |        3 |       12
977.51/977.96	c  977s |      26 | 14217567 | 10748652 |     1886  14306 |        3 |       12
979.51/979.96	c  979s |      26 | 14242064 | 10768852 |     1886  14327 |        3 |       12
981.50/981.97	c  981s |      26 | 14265722 | 10787952 |     1886  14348 |        3 |       12
983.50/983.97	c  983s |      26 | 14289412 | 10807052 |     1886  14368 |        3 |       12
985.50/985.98	c  985s |      26 | 14316167 | 10826952 |     1886  14389 |        3 |       12
987.50/987.98	c  987s |      26 | 14345441 | 10848652 |     1886  14412 |        3 |       12
989.49/989.99	c  989s |      26 | 14374992 | 10871152 |     1886  14434 |        4 |       16
991.49/991.99	c  991s |      26 | 14399969 | 10890852 |     1886  14455 |        4 |       16
993.49/993.99	c  993s |      26 | 14427526 | 10911252 |     1886  14476 |        4 |       16
995.59/996.00	c  995s |      26 | 14454648 | 10932252 |     1886  14498 |        4 |       16
997.59/998.00	c  997s |      26 | 14483553 | 10954052 |     1886  14521 |        4 |       16
999.60/1000.01	c  999s |      26 | 14513511 | 10976352 |     1886  14545 |        4 |       16
1001.59/1002.01	c 1001s |      26 | 14544086 | 10998852 |     1886  14569 |        4 |       16
1003.59/1004.01	c 1003s |      26 | 14569900 | 11019252 |     1886  14590 |        4 |       16
1005.59/1006.02	c 1006s |      26 | 14597462 | 11040552 |     1886  14613 |        4 |       16
1007.59/1008.02	c 1008s |      26 | 14627095 | 11062252 |     1886  14634 |        5 |       20
1009.59/1010.03	c 1010s |      26 | 14655294 | 11083352 |     1886  14656 |        5 |       20
1011.59/1012.03	c 1012s |      26 | 14682086 | 11104052 |     1886  14678 |        5 |       20
1013.58/1014.03	c 1014s |      26 | 14709498 | 11124652 |     1886  14700 |        5 |       20
1015.58/1016.04	c 1016s |      26 | 14738539 | 11146552 |     1886  14722 |        6 |       24
1017.58/1018.05	c 1018s |      26 | 14766442 | 11168252 |     1886  14745 |        6 |       24
1019.58/1020.05	c 1020s |      26 | 14795821 | 11189752 |     1886  14767 |        9 |       34
1021.58/1022.05	c 1022s |      26 | 14827282 | 11214152 |     1886  14791 |       10 |       38
1022.37/1022.90	c 1022s |      26 | 14841482 | 11225362 |     1886  14799 |       25 |       90
1022.37/1022.90	c #cpu_time = 1022.655s
1022.37/1022.90	c #wall_clock_time = 1022.879s
1022.37/1022.90	c #decision = 14841482
1022.37/1022.90	c #random_decision = 71778
1022.37/1022.90	c #conflict = 11225362
1022.37/1022.90	c #restart = 26
1022.37/1022.90	s UNSATISFIABLE
1022.37/1022.90	c total CPU time = 1022.674s
1022.37/1022.90	c total wall clock time = 1022.898s

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

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

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


[startup+0 s]
/proc/loadavg: 2.18 2.20 2.15 3/179 17124
/proc/meminfo: memFree=28011100/32872528 swapFree=1254912/1391860
[pid=17124] ppid=17121 vsize=764348 CPUtime=0 cores=1,3,5,7
/proc/17124/stat : 17124 (toysat) R 17121 17124 16091 0 -1 4202496 2859 0 0 0 0 0 0 0 20 0 4 0 12176345 782692352 3219 33554432000 4194304 16246674 140737381530320 140737381529744 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17124/statm: 191855 3228 441 2943 0 188749 0
[pid=17124/tid=17125] ppid=17121 vsize=782780 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17125/stat : 17125 (toysat) S 17121 17124 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12176345 801566720 3291 33554432000 4194304 16246674 140737381530320 140602733735152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17124/tid=17126] ppid=17121 vsize=786876 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17126/stat : 17126 (toysat) S 17121 17124 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12176345 805761024 3307 33554432000 4194304 16246674 140737381530320 140602723245296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17124/tid=17127] ppid=17121 vsize=791996 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17127/stat : 17127 (toysat) S 17121 17124 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12176346 811003904 3323 33554432000 4194304 16246674 140737381530320 140602712771760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.18 2.20 2.15 3/179 17124
/proc/meminfo: memFree=28011100/32872528 swapFree=1254912/1391860
[pid=17124] ppid=17121 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/17124/stat : 17124 (toysat) R 17121 17124 16091 0 -1 4202496 25794 0 0 0 5 3 0 0 20 0 4 0 12176345 1247350784 26143 33554432000 4194304 16246674 140737381530320 140737381529744 5674637 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17124/statm: 304529 26151 709 2943 0 301423 0
[pid=17124/tid=17125] ppid=17121 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17125/stat : 17125 (toysat) S 17121 17124 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12176345 1247350784 26160 33554432000 4194304 16246674 140737381530320 140602733735152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17124/tid=17126] ppid=17121 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17126/stat : 17126 (toysat) S 17121 17124 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12176345 1247350784 26166 33554432000 4194304 16246674 140737381530320 140602723245296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17124/tid=17127] ppid=17121 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17127/stat : 17127 (toysat) S 17121 17124 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12176346 1247350784 26174 33554432000 4194304 16246674 140737381530320 140602712771760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200575 s]
/proc/loadavg: 2.18 2.20 2.15 3/179 17124
/proc/meminfo: memFree=28011100/32872528 swapFree=1254912/1391860
[pid=17124] ppid=17121 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/17124/stat : 17124 (toysat) R 17121 17124 16091 0 -1 4202496 49299 0 0 0 12 7 0 0 20 0 4 0 12176345 1247350784 49648 33554432000 4194304 16246674 140737381530320 140737381529744 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17124/statm: 304529 49659 709 2943 0 301423 0
[pid=17124/tid=17125] ppid=17121 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17125/stat : 17125 (toysat) S 17121 17124 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12176345 1247350784 49668 33554432000 4194304 16246674 140737381530320 140602733735152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17124/tid=17126] ppid=17121 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17126/stat : 17126 (toysat) S 17121 17124 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12176345 1247350784 49674 33554432000 4194304 16246674 140737381530320 140602723245296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17124/tid=17127] ppid=17121 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17127/stat : 17127 (toysat) S 17121 17124 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12176346 1247350784 49681 33554432000 4194304 16246674 140737381530320 140602712771760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300503 s]
/proc/loadavg: 2.18 2.20 2.15 3/179 17124
/proc/meminfo: memFree=28011100/32872528 swapFree=1254912/1391860
[pid=17124] ppid=17121 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/17124/stat : 17124 (toysat) R 17121 17124 16091 0 -1 4202496 73409 0 0 0 18 10 0 0 20 0 4 0 12176345 1247350784 73759 33554432000 4194304 16246674 140737381530320 140737381513312 5721660 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17124/statm: 304529 73769 709 2943 0 301423 0
[pid=17124/tid=17125] ppid=17121 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17125/stat : 17125 (toysat) S 17121 17124 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12176345 1247350784 73779 33554432000 4194304 16246674 140737381530320 140602733735152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17124/tid=17126] ppid=17121 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17126/stat : 17126 (toysat) S 17121 17124 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12176345 1247350784 73786 33554432000 4194304 16246674 140737381530320 140602723245296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17124/tid=17127] ppid=17121 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17127/stat : 17127 (toysat) S 17121 17124 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12176346 1247350784 73795 33554432000 4194304 16246674 140737381530320 140602712771760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700418 s]
/proc/loadavg: 2.18 2.20 2.15 3/179 17124
/proc/meminfo: memFree=28011100/32872528 swapFree=1254912/1391860
[pid=17124] ppid=17121 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/17124/stat : 17124 (toysat) R 17121 17124 16091 0 -1 4202496 167615 0 0 0 46 23 0 0 20 0 4 0 12176345 1247350784 167964 33554432000 4194304 16246674 140737381530320 140737381513312 13191638 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17124/statm: 304529 167972 709 2943 0 301423 0
[pid=17124/tid=17125] ppid=17121 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17125/stat : 17125 (toysat) S 17121 17124 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12176345 1247350784 167979 33554432000 4194304 16246674 140737381530320 140602733735152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17124/tid=17126] ppid=17121 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17126/stat : 17126 (toysat) S 17121 17124 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12176345 1247350784 167987 33554432000 4194304 16246674 140737381530320 140602723245296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17124/tid=17127] ppid=17121 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17127/stat : 17127 (toysat) S 17121 17124 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12176346 1247350784 167992 33554432000 4194304 16246674 140737381530320 140602712771760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50044 s]
/proc/loadavg: 2.16 2.19 2.15 3/183 17128
/proc/meminfo: memFree=27028660/32872528 swapFree=1254912/1391860
[pid=17124] ppid=17121 vsize=1219140 CPUtime=1.48 cores=1,3,5,7
/proc/17124/stat : 17124 (toysat) R 17121 17124 16091 0 -1 4202496 245608 0 0 0 115 33 0 0 20 0 4 0 12176345 1248399360 245937 33554432000 4194304 16246674 140737381530320 140737381513320 5808212 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17124/statm: 304785 245937 786 2943 0 301679 0
[pid=17124/tid=17125] ppid=17121 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17125/stat : 17125 (toysat) S 17121 17124 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12176345 1248399360 245937 33554432000 4194304 16246674 140737381530320 140602733735152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17124/tid=17126] ppid=17121 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17126/stat : 17126 (toysat) S 17121 17124 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12176345 1248399360 245937 33554432000 4194304 16246674 140737381530320 140602723245296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17124/tid=17127] ppid=17121 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17127/stat : 17127 (toysat) S 17121 17124 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12176346 1248399360 245937 33554432000 4194304 16246674 140737381530320 140602712771760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1219140

[startup+3.10043 s]
/proc/loadavg: 2.16 2.19 2.15 3/183 17128
/proc/meminfo: memFree=26941364/32872528 swapFree=1254912/1391860
[pid=17124] ppid=17121 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/17124/stat : 17124 (toysat) R 17121 17124 16091 0 -1 4202496 267433 0 0 0 273 36 0 0 20 0 4 0 12176345 1337528320 267762 33554432000 4194304 16246674 140737381530320 140737381513320 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17124/statm: 326545 267762 786 2943 0 323439 0
[pid=17124/tid=17125] ppid=17121 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17125/stat : 17125 (toysat) S 17121 17124 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12176345 1337528320 267762 33554432000 4194304 16246674 140737381530320 140602733735152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17124/tid=17126] ppid=17121 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17126/stat : 17126 (toysat) S 17121 17124 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12176345 1337528320 267762 33554432000 4194304 16246674 140737381530320 140602723245296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17124/tid=17127] ppid=17121 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17127/stat : 17127 (toysat) S 17121 17124 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12176346 1337528320 267762 33554432000 4194304 16246674 140737381530320 140602712771760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30044 s]
/proc/loadavg: 2.16 2.19 2.15 3/183 17128
/proc/meminfo: memFree=26939992/32872528 swapFree=1254912/1391860
[pid=17124] ppid=17121 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/17124/stat : 17124 (toysat) R 17121 17124 16091 0 -1 4202496 267489 0 0 0 593 36 0 0 20 0 4 0 12176345 1337528320 267818 33554432000 4194304 16246674 140737381530320 140737381513312 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17124/statm: 326545 267818 786 2943 0 323439 0
[pid=17124/tid=17125] ppid=17121 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17125/stat : 17125 (toysat) S 17121 17124 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12176345 1337528320 267818 33554432000 4194304 16246674 140737381530320 140602733735152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17124/tid=17126] ppid=17121 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17126/stat : 17126 (toysat) S 17121 17124 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12176345 1337528320 267818 33554432000 4194304 16246674 140737381530320 140602723245296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17124/tid=17127] ppid=17121 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17127/stat : 17127 (toysat) S 17121 17124 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12176346 1337528320 267818 33554432000 4194304 16246674 140737381530320 140602712771760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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: 2.22 2.20 2.15 3/183 17128
/proc/meminfo: memFree=26939840/32872528 swapFree=1254912/1391860
[pid=17124] ppid=17121 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/17124/stat : 17124 (toysat) R 17121 17124 16091 0 -1 4202496 267537 0 0 0 1233 36 0 0 20 0 4 0 12176345 1337528320 267866 33554432000 4194304 16246674 140737381530320 140737381513320 5822548 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17124/statm: 326545 267866 789 2943 0 323439 0
[pid=17124/tid=17125] ppid=17121 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17125/stat : 17125 (toysat) S 17121 17124 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12176345 1337528320 267866 33554432000 4194304 16246674 140737381530320 140602733735152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17124/tid=17126] ppid=17121 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17126/stat : 17126 (toysat) S 17121 17124 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12176345 1337528320 267866 33554432000 4194304 16246674 140737381530320 140602723245296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17124/tid=17127] ppid=17121 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17127/stat : 17127 (toysat) S 17121 17124 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12176346 1337528320 267866 33554432000 4194304 16246674 140737381530320 140602712771760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.26 2.21 2.16 3/183 17128
/proc/meminfo: memFree=26940448/32872528 swapFree=1254912/1391860
[pid=17124] ppid=17121 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/17124/stat : 17124 (toysat) R 17121 17124 16091 0 -1 4202496 267537 0 0 0 2512 37 0 0 20 0 4 0 12176345 1337528320 267866 33554432000 4194304 16246674 140737381530320 140737381513320 5823682 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17124/statm: 326545 267866 789 2943 0 323439 0
[pid=17124/tid=17125] ppid=17121 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17125/stat : 17125 (toysat) S 17121 17124 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12176345 1337528320 267866 33554432000 4194304 16246674 140737381530320 140602733735152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17124/tid=17126] ppid=17121 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17126/stat : 17126 (toysat) S 17121 17124 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12176345 1337528320 267866 33554432000 4194304 16246674 140737381530320 140602723245296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17124/tid=17127] ppid=17121 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17127/stat : 17127 (toysat) S 17121 17124 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12176346 1337528320 267866 33554432000 4194304 16246674 140737381530320 140602712771760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.24 2.21 2.16 3/183 17128
/proc/meminfo: memFree=26939424/32872528 swapFree=1254912/1391860
[pid=17124] ppid=17121 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/17124/stat : 17124 (toysat) R 17121 17124 16091 0 -1 4202496 267794 0 0 0 5070 38 0 0 20 0 4 0 12176345 1338576896 268123 33554432000 4194304 16246674 140737381530320 140737381513320 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17124/statm: 326801 268123 789 2943 0 323695 0
[pid=17124/tid=17125] ppid=17121 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17125/stat : 17125 (toysat) S 17121 17124 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12176345 1338576896 268123 33554432000 4194304 16246674 140737381530320 140602733735152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17124/tid=17126] ppid=17121 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17126/stat : 17126 (toysat) S 17121 17124 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12176345 1338576896 268123 33554432000 4194304 16246674 140737381530320 140602723245296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17124/tid=17127] ppid=17121 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17127/stat : 17127 (toysat) S 17121 17124 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12176346 1338576896 268123 33554432000 4194304 16246674 140737381530320 140602712771760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.301 s]
/proc/loadavg: 2.19 2.20 2.16 4/183 17129
/proc/meminfo: memFree=26939212/32872528 swapFree=1254912/1391860
[pid=17124] ppid=17121 vsize=1307204 CPUtime=102.28 cores=1,3,5,7
/proc/17124/stat : 17124 (toysat) R 17121 17124 16091 0 -1 4202496 267827 0 0 0 10189 39 0 0 20 0 4 0 12176345 1338576896 268156 33554432000 4194304 16246674 140737381530320 140737381513320 5823947 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17124/statm: 326801 268156 790 2943 0 323695 0
[pid=17124/tid=17125] ppid=17121 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17125/stat : 17125 (toysat) S 17121 17124 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12176345 1338576896 268156 33554432000 4194304 16246674 140737381530320 140602733735152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17124/tid=17126] ppid=17121 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17126/stat : 17126 (toysat) S 17121 17124 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12176345 1338576896 268156 33554432000 4194304 16246674 140737381530320 140602723245296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17124/tid=17127] ppid=17121 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17127/stat : 17127 (toysat) S 17121 17124 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12176346 1338576896 268156 33554432000 4194304 16246674 140737381530320 140602712771760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/17124/stat : 17124 (toysat) R 17121 17124 16091 0 -1 4202496 268577 0 0 0 82145 56 0 0 20 0 4 0 12176345 1340674048 268673 33554432000 4194304 16246674 140737381530320 140737381513320 5823037 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17124/statm: 327313 268673 792 2943 0 324207 0
[pid=17124/tid=17125] ppid=17121 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17125/stat : 17125 (toysat) S 17121 17124 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12176345 1340674048 268673 33554432000 4194304 16246674 140737381530320 140602733735152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17124/tid=17126] ppid=17121 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17126/stat : 17126 (toysat) S 17121 17124 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12176345 1340674048 268673 33554432000 4194304 16246674 140737381530320 140602723245296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17124/tid=17127] ppid=17121 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17127/stat : 17127 (toysat) S 17121 17124 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12176346 1340674048 268673 33554432000 4194304 16246674 140737381530320 140602712771760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 1309252

[startup+882.308 s]
/proc/loadavg: 2.25 2.18 2.16 4/183 17148
/proc/meminfo: memFree=26929668/32872528 swapFree=1254912/1391860
[pid=17124] ppid=17121 vsize=1309252 CPUtime=881.98 cores=1,3,5,7
/proc/17124/stat : 17124 (toysat) R 17121 17124 16091 0 -1 4202496 268611 0 0 0 88140 58 0 0 20 0 4 0 12176345 1340674048 268673 33554432000 4194304 16246674 140737381530320 140737381513320 5523696 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17124/statm: 327313 268673 792 2943 0 324207 0
[pid=17124/tid=17125] ppid=17121 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17125/stat : 17125 (toysat) S 17121 17124 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12176345 1340674048 268673 33554432000 4194304 16246674 140737381530320 140602733735152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17124/tid=17126] ppid=17121 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17126/stat : 17126 (toysat) S 17121 17124 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12176345 1340674048 268673 33554432000 4194304 16246674 140737381530320 140602723245296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17124/tid=17127] ppid=17121 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17127/stat : 17127 (toysat) S 17121 17124 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12176346 1340674048 268673 33554432000 4194304 16246674 140737381530320 140602712771760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 1309252

[startup+942.3 s]
/proc/loadavg: 2.20 2.17 2.16 4/183 17149
/proc/meminfo: memFree=26929656/32872528 swapFree=1254912/1391860
[pid=17124] ppid=17121 vsize=1309252 CPUtime=941.93 cores=1,3,5,7
/proc/17124/stat : 17124 (toysat) R 17121 17124 16091 0 -1 4202496 268658 0 0 0 94133 60 0 0 20 0 4 0 12176345 1340674048 268673 33554432000 4194304 16246674 140737381530320 140737381513320 12478212 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17124/statm: 327313 268673 792 2943 0 324207 0
[pid=17124/tid=17125] ppid=17121 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17125/stat : 17125 (toysat) S 17121 17124 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12176345 1340674048 268673 33554432000 4194304 16246674 140737381530320 140602733735152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17124/tid=17126] ppid=17121 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17126/stat : 17126 (toysat) S 17121 17124 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12176345 1340674048 268673 33554432000 4194304 16246674 140737381530320 140602723245296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17124/tid=17127] ppid=17121 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17127/stat : 17127 (toysat) S 17121 17124 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12176346 1340674048 268673 33554432000 4194304 16246674 140737381530320 140602712771760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 1309252

[startup+1002.3 s]
/proc/loadavg: 2.21 2.18 2.17 3/183 17150
/proc/meminfo: memFree=26926068/32872528 swapFree=1254912/1391860
[pid=17124] ppid=17121 vsize=1313348 CPUtime=1001.89 cores=1,3,5,7
/proc/17124/stat : 17124 (toysat) R 17121 17124 16091 0 -1 4202496 269516 0 0 0 100127 62 0 0 20 0 4 0 12176345 1344868352 269486 33554432000 4194304 16246674 140737381530320 140737381513320 6836165 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17124/statm: 328337 269486 792 2943 0 325231 0
[pid=17124/tid=17125] ppid=17121 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17125/stat : 17125 (toysat) S 17121 17124 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12176345 1344868352 269486 33554432000 4194304 16246674 140737381530320 140602733735152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17124/tid=17126] ppid=17121 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17126/stat : 17126 (toysat) S 17121 17124 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12176345 1344868352 269486 33554432000 4194304 16246674 140737381530320 140602723245296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17124/tid=17127] ppid=17121 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17127/stat : 17127 (toysat) S 17121 17124 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12176346 1344868352 269486 33554432000 4194304 16246674 140737381530320 140602712771760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 1313348

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

[startup+1011.2 s]
/proc/loadavg: 2.27 2.20 2.17 3/183 17150
/proc/meminfo: memFree=26925804/32872528 swapFree=1254912/1391860
[pid=17124] ppid=17121 vsize=1313348 CPUtime=1010.79 cores=1,3,5,7
/proc/17124/stat : 17124 (toysat) R 17121 17124 16091 0 -1 4202496 269524 0 0 0 101017 62 0 0 20 0 4 0 12176345 1344868352 269486 33554432000 4194304 16246674 140737381530320 140737381529496 13193142 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17124/statm: 328337 269486 792 2943 0 325231 0
[pid=17124/tid=17125] ppid=17121 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17125/stat : 17125 (toysat) S 17121 17124 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12176345 1344868352 269486 33554432000 4194304 16246674 140737381530320 140602733735152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17124/tid=17126] ppid=17121 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17126/stat : 17126 (toysat) S 17121 17124 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12176345 1344868352 269486 33554432000 4194304 16246674 140737381530320 140602723245296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17124/tid=17127] ppid=17121 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17127/stat : 17127 (toysat) S 17121 17124 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12176346 1344868352 269486 33554432000 4194304 16246674 140737381530320 140602712771760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1010.79
Current children cumulated vsize (KiB) 1313348

[startup+1017.61 s]
/proc/loadavg: 2.23 2.19 2.17 3/183 17150
/proc/meminfo: memFree=26925664/32872528 swapFree=1254912/1391860
[pid=17124] ppid=17121 vsize=1313348 CPUtime=1017.18 cores=1,3,5,7
/proc/17124/stat : 17124 (toysat) R 17121 17124 16091 0 -1 4202496 269532 0 0 0 101656 62 0 0 20 0 4 0 12176345 1344868352 269486 33554432000 4194304 16246674 140737381530320 140737381513320 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17124/statm: 328337 269486 792 2943 0 325231 0
[pid=17124/tid=17125] ppid=17121 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17125/stat : 17125 (toysat) S 17121 17124 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12176345 1344868352 269486 33554432000 4194304 16246674 140737381530320 140602733735152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17124/tid=17126] ppid=17121 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17126/stat : 17126 (toysat) S 17121 17124 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12176345 1344868352 269486 33554432000 4194304 16246674 140737381530320 140602723245296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17124/tid=17127] ppid=17121 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17127/stat : 17127 (toysat) S 17121 17124 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12176346 1344868352 269486 33554432000 4194304 16246674 140737381530320 140602712771760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1017.18
Current children cumulated vsize (KiB) 1313348

[startup+1020.8 s]
/proc/loadavg: 2.23 2.19 2.17 3/183 17150
/proc/meminfo: memFree=26925912/32872528 swapFree=1254912/1391860
[pid=17124] ppid=17121 vsize=1313348 CPUtime=1020.38 cores=1,3,5,7
/proc/17124/stat : 17124 (toysat) R 17121 17124 16091 0 -1 4202496 269532 0 0 0 101976 62 0 0 20 0 4 0 12176345 1344868352 269486 33554432000 4194304 16246674 140737381530320 140737381513320 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17124/statm: 328337 269486 792 2943 0 325231 0
[pid=17124/tid=17125] ppid=17121 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17125/stat : 17125 (toysat) S 17121 17124 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12176345 1344868352 269486 33554432000 4194304 16246674 140737381530320 140602733735152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17124/tid=17126] ppid=17121 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17126/stat : 17126 (toysat) S 17121 17124 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12176345 1344868352 269486 33554432000 4194304 16246674 140737381530320 140602723245296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17124/tid=17127] ppid=17121 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17127/stat : 17127 (toysat) S 17121 17124 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12176346 1344868352 269486 33554432000 4194304 16246674 140737381530320 140602712771760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1020.38
Current children cumulated vsize (KiB) 1313348

[startup+1021.6 s]
/proc/loadavg: 2.23 2.19 2.17 3/183 17150
/proc/meminfo: memFree=26925912/32872528 swapFree=1254912/1391860
[pid=17124] ppid=17121 vsize=1313348 CPUtime=1021.18 cores=1,3,5,7
/proc/17124/stat : 17124 (toysat) R 17121 17124 16091 0 -1 4202496 269532 0 0 0 102056 62 0 0 20 0 4 0 12176345 1344868352 269486 33554432000 4194304 16246674 140737381530320 140737381513320 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17124/statm: 328337 269486 792 2943 0 325231 0
[pid=17124/tid=17125] ppid=17121 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17125/stat : 17125 (toysat) S 17121 17124 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12176345 1344868352 269486 33554432000 4194304 16246674 140737381530320 140602733735152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17124/tid=17126] ppid=17121 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17126/stat : 17126 (toysat) S 17121 17124 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12176345 1344868352 269486 33554432000 4194304 16246674 140737381530320 140602723245296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17124/tid=17127] ppid=17121 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17127/stat : 17127 (toysat) S 17121 17124 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12176346 1344868352 269486 33554432000 4194304 16246674 140737381530320 140602712771760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1021.18
Current children cumulated vsize (KiB) 1313348

[startup+1022.4 s]
/proc/loadavg: 2.21 2.19 2.17 3/183 17151
/proc/meminfo: memFree=26925392/32872528 swapFree=1254912/1391860
[pid=17124] ppid=17121 vsize=1313348 CPUtime=1021.98 cores=1,3,5,7
/proc/17124/stat : 17124 (toysat) R 17121 17124 16091 0 -1 4202496 269532 0 0 0 102136 62 0 0 20 0 4 0 12176345 1344868352 269486 33554432000 4194304 16246674 140737381530320 140737381513320 13950188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17124/statm: 328337 269486 792 2943 0 325231 0
[pid=17124/tid=17125] ppid=17121 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17125/stat : 17125 (toysat) S 17121 17124 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12176345 1344868352 269486 33554432000 4194304 16246674 140737381530320 140602733735152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17124/tid=17126] ppid=17121 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17126/stat : 17126 (toysat) S 17121 17124 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12176345 1344868352 269486 33554432000 4194304 16246674 140737381530320 140602723245296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17124/tid=17127] ppid=17121 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17127/stat : 17127 (toysat) S 17121 17124 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12176346 1344868352 269486 33554432000 4194304 16246674 140737381530320 140602712771760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1021.98
Current children cumulated vsize (KiB) 1313348

[startup+1022.8 s]
/proc/loadavg: 2.21 2.19 2.17 3/183 17151
/proc/meminfo: memFree=26925392/32872528 swapFree=1254912/1391860
[pid=17124] ppid=17121 vsize=1313348 CPUtime=1022.37 cores=1,3,5,7
/proc/17124/stat : 17124 (toysat) R 17121 17124 16091 0 -1 4202496 269532 0 0 0 102175 62 0 0 20 0 4 0 12176345 1344868352 269486 33554432000 4194304 16246674 140737381530320 140737381513320 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17124/statm: 328337 269486 792 2943 0 325231 0
[pid=17124/tid=17125] ppid=17121 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17125/stat : 17125 (toysat) S 17121 17124 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12176345 1344868352 269486 33554432000 4194304 16246674 140737381530320 140602733735152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17124/tid=17126] ppid=17121 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17126/stat : 17126 (toysat) S 17121 17124 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12176345 1344868352 269486 33554432000 4194304 16246674 140737381530320 140602723245296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17124/tid=17127] ppid=17121 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17127/stat : 17127 (toysat) S 17121 17124 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12176346 1344868352 269486 33554432000 4194304 16246674 140737381530320 140602712771760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1022.37
Current children cumulated vsize (KiB) 1313348

[startup+1022.9 s]
/proc/loadavg: 2.21 2.19 2.17 3/183 17151
/proc/meminfo: memFree=26925392/32872528 swapFree=1254912/1391860
[pid=17124] ppid=17121 vsize=1313348 CPUtime=1022.47 cores=1,3,5,7
/proc/17124/stat : 17124 (toysat) R 17121 17124 16091 0 -1 4202496 269535 0 0 0 102185 62 0 0 20 0 4 0 12176345 1344868352 269488 33554432000 4194304 16246674 140737381530320 140737381513320 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17124/statm: 328337 269488 793 2943 0 325231 0
[pid=17124/tid=17125] ppid=17121 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17125/stat : 17125 (toysat) S 17121 17124 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12176345 1344868352 269488 33554432000 4194304 16246674 140737381530320 140602733734928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17124/tid=17126] ppid=17121 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17126/stat : 17126 (toysat) S 17121 17124 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12176345 1344868352 269488 33554432000 4194304 16246674 140737381530320 140602723245072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17124/tid=17127] ppid=17121 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17124/task/17127/stat : 17127 (toysat) S 17121 17124 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12176346 1344868352 269488 33554432000 4194304 16246674 140737381530320 140602712771760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1022.47
Current children cumulated vsize (KiB) 1313348

Child status: 0
Real time (s): 1022.91
CPU time (s): 1022.49
CPU user time (s): 1021.86
CPU system time (s): 0.626904
CPU usage (%): 99.9587
Max. virtual memory (cumulated for all children) (KiB): 1313348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1021.86
system time used= 0.626904
maximum resident set size= 1077956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269537
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= 398
involuntary context switches= 1037

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.80481 second user time and 8.67768 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-30 20:42:35
IDJOB=4120690
IDBENCH=110080
IDSOLVER=2542
FILE ID=node119/4120690-1467312155
RUNJOBID= node119-1467308805-16108
PBS_JOBID= 20005280
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n84-d3-i3-r1.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-4120690-1467312155/watcher-4120690-1467312155 -o /tmp/evaluation-result-4120690-1467312155/solver-4120690-1467312155 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467308805-16108 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120690-1467312155.opb

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

MD5SUM BENCH= 671959976ef192710940d016c819b94f
RANDOM SEED=791427186

node119.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28011032 kB
Buffers:          200152 kB
Cached:          1431176 kB
SwapCached:            0 kB
Active:          1345068 kB
Inactive:        1374916 kB
Active(anon):    1084888 kB
Inactive(anon):     5936 kB
Active(file):     260180 kB
Inactive(file):  1368980 kB
Unevictable:     1391860 kB
Mlocked:         1254912 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16328 kB
Writeback:             0 kB
AnonPages:       2555364 kB
Mapped:            17120 kB
Shmem:               204 kB
Slab:             612052 kB
SReclaimable:      56152 kB
SUnreclaim:       555900 kB
KernelStack:        1520 kB
PageTables:         9296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2615528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    616448 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node119 at 2016-06-30 20:59:38