Trace number 4121034

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 1030.84 1031.24

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-regular-n29-d4-i2.cnf.gz-plain.pb.metafix.opb
MD5SUM9ab48804874b4fcb452ce7a25453965c
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 benchmark151.136
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables117
Total number of constraints244
Number of constraints which are clauses244
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-30T21:00:38+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-4121034-1467313238.opb"]
0.00/0.01	c use --random-gen="2467144748 2515847030 2475544232 1487847612 991927076 2822956760 1730294148 2547016084 3388563851 1599078784 387113202 1283619144 3898192175 323138983 2224625628 2910111293 1240415345 2540580788 1921624628 2283924912 2326010951 107299737 4004226489 4231969838 2752205549 3517015499 1359535701 1868478668 3587444124 1845172655 1707867256 805265961 697853858 1881741477 3098999944 3083970517 2272802820 1636279522 1324141727 63736156 364493965 436559826 1669037059 3580447820 1574553518 490952258 1513011832 2688661289 3805312719 927933534 801222879 560513983 2677180894 600074391 2453865509 710790249 3072174746 1010976336 963943974 2893492733 4211069590 2297678498 4010446401 2116423911 2374294938 4042355964 1011732868 3678558788 2250864690 3780795919 2928733565 494429472 3225648747 1619259826 1961289212 2472798879 3567087056 1903415007 2737377871 684457058 735000179 2617229582 2037349333 3047346195 1989510473 1471687458 2287182660 2885130071 995288063 1621742169 3298624276 145010437 3194354055 1107642630 2360118896 3120238917 949839666 815705953 1676477636 187964095 3315384051 1190102083 2080389676 4166027006 2408922560 786745283 3410687714 3571276245 455624267 1394190782 2568884591 938651884 4237660758 936462066 1481572231 4042212462 3146684458 998565593 1546756613 1441846786 4105602578 4007023872 375814189 3021113412 2919278330 3145525066 1799882886 2145306351 1368545456 1552732961 2725978742 1637864275 3907884476 440388838 322859872 2091553712 275047146 4197592301 698134952 571474389 1251971778 1076076477 3692254384 1140199499 2570697030 3375951420 1602390992 2111502920 1260826966 4064309923 2250121809 2723814729 196393032 1544561966 3158048298 3447413073 3764930088 1676229831 11075837 1993748834 1964567493 3040447689 2349185066 2826940444 1764637284 2155590147 440722635 1587428374 4083313818 1141386704 2219617613 2944654921 1943599897 390721962 3125022709 3745575442 1592040447 2779707658 3040612601 589317028 1149409868 2753239404 1986208433 2241606460 3773085888 2852108597 1830326668 1885988955 3054078920 1191602437 2638367546 3460974494 2299226529 146601573 2821039826 336348539 484279082 815533436 863314262 2746173253 2637126451 3057632146 1959132999 2975689040 3377487024 1567672510 1912044552 178896255 226915425 2693076502 1145930995 873381111 4217526316 1898105667 1434374737 3331288005 2141198574 108628917 1464096124 3495050640 928390495 3966350593 1651454386 3649076652 2664359525 820594287 2420348431 800566303 3816610127 302691279 3679015555 3880249231 834984962 3791397370 1555395499 1248882656 249380462 2106082335 1725969053 2415402581 2549664474 4063731640 2338702914 2887686656 1017096463 4257028433 378556235 3427897651 3942682101 2946607154 694487104 2170068518 3663035383 4214738465 731574561 3268892361 255 362436" option to reproduce the execution
0.00/0.01	c #vars 117
0.00/0.01	c #constraints 244
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      120      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      154 |      100 |      120      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      409 |      250 |      132      1 |        0 |        0
0.00/0.06	c  0.0s |       3 |      705 |      475 |      146      3 |        0 |        0
0.08/0.10	c  0.1s |       4 |     1272 |      813 |      161      6 |        0 |        0
0.08/0.15	c  0.1s |       5 |     2199 |     1320 |      178     11 |        0 |        0
0.19/0.23	c  0.2s |       6 |     3353 |     2081 |      216     18 |        0 |        0
0.28/0.35	c  0.3s |       7 |     5190 |     3223 |      238     27 |        0 |        0
0.49/0.57	c  0.6s |       8 |     7653 |     4936 |      262     40 |        0 |        0
0.79/0.82	c  0.8s |       9 |    11862 |     7506 |      289     58 |        0 |        0
1.10/1.19	c  1.2s |      10 |    16894 |    11361 |      318     82 |        0 |        0
1.59/1.61	c  1.6s |      11 |    25514 |    17144 |      350    116 |        0 |        0
2.30/2.32	c  2.3s |      12 |    37356 |    25819 |      386    163 |        0 |        0
3.19/3.27	c  3.3s |      13 |    56733 |    38832 |      425    227 |        0 |        0
4.79/4.82	c  4.8s |      14 |    82761 |    58352 |      468    314 |        0 |        0
6.78/6.82	c  6.8s |      14 |   118048 |    84552 |      468    423 |        0 |        0
6.98/7.05	c  7.0s |      15 |   122214 |    87632 |      515    435 |        0 |        0
8.98/9.05	c  9.0s |      15 |   156543 |   113432 |      515    532 |        0 |        0
10.48/10.56	c 10.5s |      16 |   179729 |   131552 |      567    600 |        0 |        0
12.48/12.57	c 12.6s |      16 |   213542 |   156352 |      567    685 |        0 |        0
14.49/14.57	c 14.6s |      16 |   251592 |   182952 |      567    777 |        0 |        0
15.69/15.70	c 15.7s |      17 |   271637 |   197432 |      624    826 |        0 |        0
17.69/17.71	c 17.7s |      17 |   303981 |   221832 |      624    903 |        0 |        0
19.68/19.71	c 19.7s |      17 |   337119 |   246532 |      624    980 |        0 |        0
21.68/21.71	c 21.7s |      17 |   369391 |   270732 |      624   1056 |        0 |        0
23.68/23.71	c 23.7s |      17 |   402870 |   295632 |      687   1133 |        0 |        0
23.68/23.76	c 23.7s |      18 |   403829 |   296252 |      687   1135 |        0 |        0
25.68/25.77	c 25.8s |      18 |   435622 |   320352 |      687   1204 |        0 |        0
27.68/27.77	c 27.8s |      18 |   464067 |   343052 |      687   1268 |        0 |        0
29.69/29.78	c 29.8s |      18 |   494453 |   366852 |      687   1337 |        0 |        0
31.69/31.79	c 31.8s |      18 |   528420 |   391552 |      687   1407 |        0 |        0
33.69/33.79	c 33.8s |      18 |   558189 |   414552 |      687   1473 |        0 |        0
35.68/35.79	c 35.8s |      18 |   590190 |   438452 |      687   1542 |        0 |        0
36.18/36.30	c 36.3s |      19 |   598299 |   444482 |      756   1558 |        0 |        0
38.28/38.31	c 38.3s |      19 |   629081 |   467282 |      756   1617 |        0 |        0
40.28/40.31	c 40.3s |      19 |   659167 |   490082 |      756   1677 |        0 |        0
42.28/42.32	c 42.3s |      19 |   688237 |   512882 |      756   1736 |        0 |        0
44.28/44.32	c 44.3s |      19 |   718287 |   535682 |      756   1795 |        0 |        0
46.29/46.33	c 46.3s |      19 |   744004 |   556882 |      756   1850 |        0 |        0
48.28/48.34	c 48.3s |      19 |   772522 |   579582 |      756   1909 |        0 |        0
50.28/50.34	c 50.3s |      19 |   801111 |   601682 |      756   1967 |        0 |        0
52.28/52.34	c 52.3s |      19 |   827016 |   622482 |      756   2021 |        0 |        0
54.28/54.34	c 54.3s |      19 |   852455 |   643482 |      756   2075 |        0 |        0
56.27/56.35	c 56.3s |      19 |   877530 |   664382 |      832   2129 |        0 |        0
56.47/56.59	c 56.6s |      20 |   880430 |   666827 |      832   2135 |        0 |        0
58.47/58.59	c 58.6s |      20 |   908466 |   688027 |      832   2185 |        0 |        0
60.58/60.60	c 60.6s |      20 |   934680 |   708427 |      832   2233 |        0 |        0
62.57/62.61	c 62.6s |      20 |   961662 |   729527 |      832   2282 |        0 |        0
64.57/64.61	c 64.6s |      20 |   989708 |   750927 |      832   2333 |        0 |        0
66.57/66.62	c 66.6s |      20 |  1012506 |   769927 |      832   2378 |        0 |        0
68.57/68.62	c 68.6s |      20 |  1036128 |   789627 |      832   2424 |        0 |        0
70.57/70.63	c 70.6s |      20 |  1058518 |   808727 |      832   2469 |        0 |        0
72.58/72.63	c 72.6s |      20 |  1083058 |   828827 |      832   2516 |        0 |        0
74.57/74.64	c 74.6s |      20 |  1105608 |   848027 |      832   2562 |        0 |        0
76.57/76.64	c 76.6s |      20 |  1129026 |   867427 |      832   2607 |        0 |        0
78.57/78.64	c 78.6s |      20 |  1154404 |   888027 |      832   2656 |        0 |        0
80.57/80.65	c 80.6s |      20 |  1184838 |   910527 |      832   2709 |        0 |        0
82.57/82.65	c 82.6s |      20 |  1214186 |   932627 |      832   2761 |        0 |        0
84.57/84.66	c 84.6s |      20 |  1242530 |   954327 |      832   2812 |        0 |        0
86.57/86.67	c 86.7s |      20 |  1270529 |   975927 |      832   2864 |        0 |        0
88.57/88.67	c 88.7s |      20 |  1295941 |   996327 |      916   2911 |        0 |        0
88.97/89.05	c 89.0s |      21 |  1301219 |  1000345 |      916   2920 |        0 |        0
90.96/91.05	c 91.0s |      21 |  1323774 |  1019045 |      916   2960 |        0 |        0
92.96/93.06	c 93.0s |      21 |  1346552 |  1038045 |      916   3000 |        0 |        0
94.96/95.06	c 95.0s |      21 |  1370099 |  1057045 |      916   3041 |        0 |        0
96.96/97.06	c 97.0s |      21 |  1394240 |  1077045 |      916   3084 |        0 |        0
98.97/99.07	c 99.1s |      21 |  1417202 |  1096245 |      916   3125 |        0 |        0
100.95/101.08	c  101s |      21 |  1440195 |  1115145 |      916   3165 |        0 |        0
102.95/103.08	c  103s |      21 |  1466117 |  1135345 |      916   3209 |        0 |        0
104.95/105.08	c  105s |      21 |  1492651 |  1155945 |      916   3253 |        0 |        0
106.96/107.08	c  107s |      21 |  1517839 |  1175945 |      916   3296 |        0 |        0
108.97/109.09	c  109s |      21 |  1543636 |  1196345 |      916   3339 |        0 |        0
110.95/111.10	c  111s |      21 |  1569569 |  1216845 |      916   3383 |        0 |        0
113.05/113.10	c  113s |      21 |  1595707 |  1237545 |      916   3428 |        0 |        0
115.05/115.11	c  115s |      21 |  1624053 |  1258545 |      916   3473 |        0 |        0
117.05/117.12	c  117s |      21 |  1649322 |  1278545 |      916   3516 |        0 |        0
119.05/119.12	c  119s |      21 |  1675407 |  1299045 |      916   3560 |        0 |        0
121.05/121.13	c  121s |      21 |  1701010 |  1319645 |      916   3605 |        0 |        0
123.05/123.14	c  123s |      21 |  1724814 |  1339245 |      916   3647 |        0 |        0
125.05/125.14	c  125s |      21 |  1747769 |  1358245 |      916   3688 |        0 |        0
127.04/127.15	c  127s |      21 |  1772307 |  1378145 |      916   3731 |        0 |        0
129.04/129.16	c  129s |      21 |  1799596 |  1399045 |      916   3776 |        0 |        0
131.04/131.16	c  131s |      21 |  1827558 |  1420245 |      916   3822 |        0 |        0
133.05/133.17	c  133s |      21 |  1856206 |  1442045 |      916   3869 |        0 |        0
135.04/135.17	c  135s |      21 |  1884870 |  1463945 |      916   3916 |        0 |        0
137.04/137.17	c  137s |      21 |  1912529 |  1485445 |      916   3962 |        0 |        0
138.55/138.67	c  138s |      22 |  1931060 |  1500622 |     1008   3993 |        0 |        0
140.54/140.67	c  140s |      22 |  1958109 |  1521422 |     1008   4033 |        0 |        0
142.55/142.68	c  142s |      22 |  1984919 |  1542022 |     1008   4074 |        0 |        0
144.55/144.68	c  144s |      22 |  2012390 |  1563022 |     1008   4115 |        0 |        0
146.54/146.69	c  146s |      22 |  2038413 |  1583122 |     1008   4154 |        0 |        0
148.55/148.69	c  148s |      22 |  2063335 |  1603122 |     1008   4193 |        0 |        0
150.54/150.69	c  150s |      22 |  2088524 |  1623422 |     1008   4233 |        0 |        0
152.54/152.70	c  152s |      22 |  2113622 |  1643422 |     1008   4272 |        0 |        0
154.64/154.71	c  154s |      22 |  2141650 |  1664522 |     1008   4314 |        0 |        0
156.64/156.71	c  156s |      22 |  2167767 |  1684722 |     1008   4353 |        0 |        0
158.64/158.71	c  158s |      22 |  2196163 |  1705922 |     1008   4395 |        0 |        0
160.64/160.72	c  160s |      22 |  2223181 |  1727222 |     1008   4436 |        0 |        0
162.63/162.72	c  162s |      22 |  2248195 |  1747122 |     1008   4475 |        0 |        0
164.63/164.73	c  164s |      22 |  2275337 |  1768122 |     1008   4517 |        0 |        0
166.63/166.74	c  166s |      22 |  2298371 |  1786522 |     1008   4553 |        0 |        0
168.63/168.75	c  168s |      22 |  2324849 |  1806822 |     1008   4592 |        0 |        0
170.63/170.75	c  170s |      22 |  2349881 |  1826022 |     1008   4630 |        0 |        0
172.63/172.76	c  172s |      22 |  2374764 |  1845322 |     1008   4668 |        0 |        0
174.62/174.77	c  174s |      22 |  2401630 |  1865922 |     1008   4708 |        0 |        0
176.62/176.77	c  176s |      22 |  2426954 |  1885822 |     1008   4747 |        0 |        0
178.62/178.78	c  178s |      22 |  2454737 |  1906822 |     1008   4788 |        0 |        0
180.62/180.79	c  180s |      22 |  2482291 |  1927222 |     1008   4828 |        0 |        0
182.72/182.80	c  182s |      22 |  2509281 |  1948022 |     1008   4868 |        0 |        0
184.62/184.80	c  184s |      22 |  2533272 |  1967322 |     1008   4906 |        0 |        0
186.72/186.80	c  186s |      22 |  2558578 |  1987422 |     1008   4945 |        0 |        0
188.72/188.81	c  188s |      22 |  2582803 |  2006922 |     1008   4984 |        0 |        0
190.71/190.81	c  190s |      22 |  2608375 |  2027522 |     1008   5024 |        0 |        0
192.71/192.81	c  192s |      22 |  2635167 |  2047522 |     1008   5063 |        0 |        0
194.72/194.81	c  194s |      22 |  2661830 |  2067622 |     1008   5103 |        0 |        0
196.71/196.81	c  196s |      22 |  2686044 |  2086822 |     1008   5140 |        0 |        0
198.71/198.82	c  198s |      22 |  2712541 |  2106922 |     1008   5180 |        0 |        0
200.71/200.82	c  200s |      22 |  2738408 |  2126922 |     1008   5219 |        0 |        0
202.71/202.82	c  202s |      22 |  2762497 |  2146222 |     1008   5257 |        0 |        0
204.71/204.83	c  204s |      22 |  2788971 |  2166122 |     1008   5295 |        0 |        0
206.72/206.83	c  206s |      22 |  2816624 |  2186622 |     1008   5336 |        0 |        0
208.71/208.83	c  208s |      22 |  2843616 |  2206822 |     1008   5375 |        0 |        0
210.71/210.84	c  210s |      22 |  2870802 |  2227222 |     1008   5415 |        0 |        0
212.71/212.84	c  212s |      22 |  2895714 |  2247022 |     1109   5452 |        0 |        0
213.11/213.27	c  213s |      23 |  2900821 |  2251038 |     1109   5459 |        0 |        0
215.11/215.27	c  215s |      23 |  2925250 |  2269838 |     1109   5492 |        0 |        0
217.11/217.28	c  217s |      23 |  2950751 |  2289538 |     1109   5527 |        0 |        0
219.11/219.28	c  219s |      23 |  2973751 |  2307938 |     1109   5560 |        0 |        0
221.11/221.28	c  221s |      23 |  2998541 |  2327138 |     1109   5594 |        0 |        0
223.10/223.30	c  223s |      23 |  3022409 |  2345838 |     1109   5628 |        0 |        0
225.20/225.30	c  225s |      23 |  3044006 |  2363738 |     1109   5659 |        0 |        0
227.20/227.31	c  227s |      23 |  3065874 |  2381438 |     1109   5691 |        0 |        0
229.20/229.31	c  229s |      23 |  3089056 |  2400138 |     1109   5724 |        0 |        0
231.19/231.32	c  231s |      23 |  3111412 |  2418538 |     1109   5757 |        0 |        0
233.20/233.33	c  233s |      23 |  3135878 |  2437738 |     1109   5791 |        0 |        0
235.19/235.33	c  235s |      23 |  3159581 |  2456638 |     1109   5825 |        0 |        0
237.19/237.34	c  237s |      23 |  3183783 |  2475638 |     1109   5858 |        0 |        0
239.20/239.34	c  239s |      23 |  3209644 |  2495638 |     1109   5894 |        0 |        0
241.19/241.34	c  241s |      23 |  3234772 |  2515238 |     1109   5929 |        0 |        0
243.19/243.35	c  243s |      23 |  3259261 |  2534238 |     1109   5963 |        0 |        0
245.20/245.36	c  245s |      23 |  3281606 |  2552738 |     1109   5995 |        0 |        0
247.19/247.37	c  247s |      23 |  3305113 |  2571338 |     1109   6029 |        0 |        0
249.19/249.37	c  249s |      23 |  3330481 |  2590838 |     1109   6063 |        0 |        0
251.19/251.37	c  251s |      23 |  3354135 |  2609538 |     1109   6097 |        0 |        0
253.18/253.37	c  253s |      23 |  3376954 |  2627538 |     1109   6129 |        0 |        0
255.19/255.38	c  255s |      23 |  3398169 |  2644838 |     1109   6159 |        0 |        0
257.18/257.39	c  257s |      23 |  3421669 |  2663038 |     1109   6192 |        0 |        0
259.18/259.39	c  259s |      23 |  3443863 |  2681038 |     1109   6224 |        0 |        0
261.28/261.40	c  261s |      23 |  3468095 |  2699838 |     1109   6257 |        0 |        0
263.28/263.40	c  263s |      23 |  3490764 |  2717938 |     1109   6290 |        0 |        0
265.27/265.40	c  265s |      23 |  3514828 |  2736738 |     1109   6323 |        0 |        0
267.28/267.41	c  267s |      23 |  3540789 |  2756638 |     1109   6358 |        0 |        0
269.27/269.42	c  269s |      23 |  3564923 |  2775338 |     1109   6392 |        0 |        0
271.27/271.42	c  271s |      23 |  3591112 |  2794938 |     1109   6426 |        0 |        0
273.27/273.43	c  273s |      23 |  3617034 |  2815038 |     1109   6462 |        0 |        0
275.27/275.43	c  275s |      23 |  3642131 |  2834438 |     1109   6497 |        0 |        0
277.27/277.44	c  277s |      23 |  3667403 |  2853238 |     1109   6530 |        0 |        0
279.27/279.45	c  279s |      23 |  3690870 |  2871938 |     1109   6564 |        0 |        0
281.26/281.45	c  281s |      23 |  3713940 |  2890838 |     1109   6597 |        0 |        0
283.26/283.46	c  283s |      23 |  3736461 |  2909638 |     1109   6631 |        0 |        0
285.27/285.46	c  285s |      23 |  3759044 |  2928238 |     1109   6664 |        0 |        0
287.27/287.47	c  287s |      23 |  3782517 |  2947038 |     1109   6698 |        0 |        0
289.27/289.47	c  289s |      23 |  3807555 |  2966638 |     1109   6733 |        0 |        0
291.26/291.48	c  291s |      23 |  3833346 |  2986238 |     1109   6768 |        0 |        0
293.26/293.48	c  293s |      23 |  3856529 |  3004738 |     1109   6801 |        0 |        0
295.26/295.48	c  295s |      23 |  3879507 |  3023538 |     1109   6834 |        0 |        0
297.26/297.49	c  297s |      23 |  3904022 |  3042538 |     1109   6868 |        0 |        0
299.26/299.49	c  299s |      23 |  3927771 |  3061438 |     1109   6902 |        0 |        0
301.26/301.50	c  301s |      23 |  3950695 |  3080038 |     1109   6935 |        0 |        0
303.35/303.50	c  303s |      23 |  3972833 |  3098238 |     1109   6968 |        0 |        0
305.35/305.51	c  305s |      23 |  3997142 |  3117338 |     1109   7002 |        0 |        0
307.35/307.52	c  307s |      23 |  4023612 |  3137338 |     1109   7037 |        0 |        0
309.35/309.53	c  309s |      23 |  4047654 |  3156638 |     1109   7072 |        0 |        0
311.35/311.53	c  311s |      23 |  4070730 |  3175238 |     1109   7105 |        0 |        0
313.36/313.53	c  313s |      23 |  4095848 |  3194438 |     1109   7139 |        0 |        0
315.35/315.54	c  315s |      23 |  4119151 |  3213338 |     1109   7173 |        0 |        0
317.35/317.54	c  317s |      23 |  4143327 |  3232438 |     1109   7207 |        0 |        0
319.35/319.55	c  319s |      23 |  4167639 |  3251438 |     1109   7241 |        0 |        0
321.34/321.56	c  321s |      23 |  4192169 |  3270738 |     1109   7275 |        0 |        0
323.35/323.56	c  323s |      23 |  4214132 |  3288638 |     1109   7307 |        0 |        0
325.34/325.57	c  325s |      23 |  4235221 |  3306238 |     1109   7338 |        0 |        0
327.34/327.57	c  327s |      23 |  4255957 |  3323438 |     1109   7369 |        0 |        0
329.34/329.58	c  329s |      23 |  4276680 |  3340538 |     1109   7399 |        0 |        0
331.33/331.59	c  331s |      23 |  4296380 |  3356738 |     1220   7427 |        0 |        0
333.34/333.59	c  333s |      23 |  4313625 |  3371838 |     1220   7452 |        0 |        0
334.04/334.22	c  334s |      24 |  4319168 |  3376662 |     1220   7460 |        0 |        0
336.04/336.23	c  336s |      24 |  4341502 |  3393962 |     1220   7487 |        0 |        0
338.04/338.23	c  338s |      24 |  4362625 |  3411062 |     1220   7515 |        0 |        0
340.04/340.24	c  340s |      24 |  4384203 |  3428462 |     1220   7543 |        0 |        0
342.04/342.24	c  342s |      24 |  4406837 |  3446262 |     1220   7572 |        0 |        0
344.04/344.25	c  344s |      24 |  4426948 |  3462762 |     1220   7599 |        0 |        0
346.04/346.25	c  346s |      24 |  4450057 |  3480862 |     1220   7628 |        0 |        0
348.03/348.25	c  348s |      24 |  4473115 |  3498862 |     1220   7657 |        0 |        0
350.03/350.26	c  350s |      24 |  4496389 |  3516662 |     1220   7686 |        0 |        0
352.03/352.26	c  352s |      24 |  4519067 |  3534262 |     1220   7714 |        0 |        0
354.03/354.26	c  354s |      24 |  4540405 |  3551262 |     1220   7742 |        0 |        0
356.03/356.27	c  356s |      24 |  4563121 |  3569062 |     1220   7771 |        0 |        0
358.03/358.27	c  358s |      24 |  4585226 |  3586362 |     1220   7799 |        0 |        0
360.02/360.27	c  360s |      24 |  4605749 |  3603062 |     1220   7826 |        0 |        0
362.02/362.27	c  362s |      24 |  4625663 |  3619262 |     1220   7852 |        0 |        0
364.03/364.28	c  364s |      24 |  4647737 |  3637062 |     1220   7881 |        0 |        0
366.02/366.28	c  366s |      24 |  4666572 |  3653262 |     1220   7907 |        0 |        0
368.02/368.29	c  368s |      24 |  4687798 |  3670662 |     1220   7935 |        0 |        0
370.01/370.29	c  370s |      24 |  4707859 |  3687662 |     1220   7963 |        0 |        0
372.11/372.30	c  372s |      24 |  4728687 |  3704862 |     1220   7990 |        0 |        0
374.11/374.30	c  374s |      24 |  4747703 |  3721362 |     1220   8017 |        0 |        0
376.13/376.30	c  376s |      24 |  4767320 |  3737862 |     1220   8044 |        0 |        0
378.12/378.31	c  378s |      24 |  4789706 |  3755662 |     1220   8073 |        0 |        0
380.12/380.32	c  380s |      24 |  4813558 |  3774162 |     1220   8103 |        0 |        0
382.12/382.32	c  382s |      24 |  4836056 |  3792262 |     1220   8132 |        0 |        0
384.12/384.32	c  384s |      24 |  4859730 |  3810962 |     1220   8162 |        0 |        0
386.12/386.33	c  386s |      24 |  4882838 |  3829362 |     1220   8192 |        0 |        0
388.12/388.33	c  388s |      24 |  4906382 |  3847762 |     1220   8222 |        0 |        0
390.11/390.34	c  390s |      24 |  4928676 |  3865962 |     1220   8252 |        0 |        0
392.11/392.35	c  392s |      24 |  4952236 |  3884062 |     1220   8281 |        0 |        0
394.11/394.36	c  394s |      24 |  4974179 |  3901662 |     1220   8309 |        0 |        0
396.11/396.36	c  396s |      24 |  4998639 |  3920162 |     1220   8339 |        0 |        0
398.12/398.36	c  398s |      24 |  5024321 |  3939362 |     1220   8371 |        0 |        0
400.11/400.37	c  400s |      24 |  5048992 |  3958262 |     1220   8401 |        0 |        0
402.10/402.38	c  402s |      24 |  5072041 |  3976362 |     1220   8431 |        0 |        0
404.10/404.39	c  404s |      24 |  5093807 |  3994562 |     1220   8460 |        0 |        0
406.10/406.39	c  406s |      24 |  5115293 |  4012462 |     1220   8489 |        0 |        0
408.20/408.40	c  408s |      24 |  5135359 |  4029762 |     1220   8517 |        0 |        0
410.21/410.40	c  410s |      24 |  5157301 |  4047862 |     1220   8547 |        0 |        0
412.20/412.41	c  412s |      24 |  5178286 |  4065462 |     1220   8575 |        0 |        0
414.20/414.42	c  414s |      24 |  5200123 |  4083162 |     1220   8604 |        0 |        0
416.20/416.42	c  416s |      24 |  5223887 |  4101362 |     1220   8634 |        0 |        0
418.20/418.43	c  418s |      24 |  5246838 |  4119362 |     1220   8663 |        0 |        0
420.20/420.43	c  420s |      24 |  5272122 |  4138262 |     1220   8694 |        0 |        0
422.20/422.44	c  422s |      24 |  5294453 |  4155862 |     1220   8722 |        0 |        0
424.20/424.44	c  424s |      24 |  5317890 |  4174462 |     1220   8752 |        0 |        0
426.20/426.44	c  426s |      24 |  5342026 |  4193162 |     1220   8783 |        0 |        0
428.19/428.45	c  428s |      24 |  5365360 |  4211662 |     1220   8813 |        0 |        0
430.19/430.46	c  430s |      24 |  5387734 |  4229962 |     1220   8843 |        0 |        0
432.20/432.46	c  432s |      24 |  5409707 |  4248062 |     1220   8872 |        0 |        0
434.19/434.46	c  434s |      24 |  5432044 |  4265862 |     1220   8901 |        0 |        0
436.19/436.47	c  436s |      24 |  5453451 |  4283362 |     1220   8930 |        0 |        0
438.19/438.47	c  438s |      24 |  5477411 |  4302162 |     1220   8960 |        0 |        0
440.18/440.47	c  440s |      24 |  5497898 |  4319462 |     1220   8988 |        0 |        0
442.18/442.47	c  442s |      24 |  5518632 |  4337162 |     1220   9017 |        0 |        0
444.19/444.48	c  444s |      24 |  5539628 |  4355062 |     1220   9046 |        0 |        0
446.19/446.49	c  446s |      24 |  5560601 |  4372562 |     1220   9075 |        0 |        0
448.19/448.49	c  448s |      24 |  5582974 |  4390862 |     1220   9105 |        0 |        0
450.28/450.50	c  450s |      24 |  5605019 |  4408862 |     1220   9134 |        0 |        0
452.28/452.50	c  452s |      24 |  5625343 |  4426262 |     1220   9162 |        0 |        0
454.28/454.50	c  454s |      24 |  5645840 |  4443662 |     1220   9190 |        0 |        0
456.29/456.51	c  456s |      24 |  5666952 |  4461062 |     1220   9219 |        0 |        0
458.28/458.52	c  458s |      24 |  5694249 |  4480962 |     1220   9251 |        0 |        0
460.27/460.53	c  460s |      24 |  5719596 |  4500162 |     1220   9282 |        0 |        0
462.27/462.53	c  462s |      24 |  5743858 |  4519262 |     1220   9313 |        0 |        0
464.27/464.54	c  464s |      24 |  5766012 |  4537062 |     1220   9342 |        0 |        0
466.28/466.55	c  466s |      24 |  5790488 |  4555862 |     1220   9373 |        0 |        0
468.27/468.56	c  468s |      24 |  5814178 |  4574262 |     1220   9403 |        0 |        0
470.28/470.56	c  470s |      24 |  5837138 |  4592462 |     1220   9432 |        0 |        0
472.28/472.56	c  472s |      24 |  5859310 |  4610562 |     1220   9461 |        0 |        0
474.27/474.57	c  474s |      24 |  5883772 |  4629362 |     1220   9492 |        0 |        0
476.27/476.58	c  476s |      24 |  5907753 |  4647962 |     1220   9522 |        0 |        0
478.28/478.59	c  478s |      24 |  5930071 |  4665762 |     1220   9551 |        0 |        0
480.37/480.60	c  480s |      24 |  5952501 |  4683762 |     1220   9581 |        0 |        0
482.37/482.61	c  482s |      24 |  5974971 |  4701962 |     1220   9610 |        0 |        0
484.37/484.61	c  484s |      24 |  5997069 |  4719762 |     1220   9639 |        0 |        0
486.37/486.62	c  486s |      24 |  6019017 |  4737462 |     1220   9668 |        0 |        0
488.37/488.62	c  488s |      24 |  6041844 |  4755562 |     1220   9698 |        0 |        0
490.37/490.62	c  490s |      24 |  6065099 |  4773962 |     1220   9728 |        0 |        0
492.36/492.63	c  492s |      24 |  6087116 |  4791462 |     1220   9756 |        0 |        0
494.36/494.63	c  494s |      24 |  6108918 |  4808962 |     1220   9784 |        0 |        0
496.36/496.63	c  496s |      24 |  6129088 |  4825762 |     1220   9812 |        0 |        0
498.36/498.63	c  498s |      24 |  6150394 |  4843262 |     1220   9840 |        0 |        0
500.36/500.64	c  500s |      24 |  6170271 |  4859762 |     1220   9867 |        0 |        0
502.36/502.64	c  502s |      24 |  6192080 |  4877062 |     1220   9895 |        0 |        0
504.36/504.65	c  504s |      24 |  6215276 |  4894862 |     1220   9924 |        0 |        0
506.36/506.66	c  506s |      24 |  6238152 |  4912662 |     1220   9953 |        0 |        0
508.35/508.67	c  508s |      24 |  6260294 |  4930162 |     1220   9981 |        0 |        0
510.36/510.68	c  510s |      24 |  6279929 |  4946762 |     1220  10008 |        0 |        0
512.37/512.69	c  512s |      24 |  6299259 |  4963062 |     1220  10034 |        0 |        0
514.36/514.69	c  514s |      24 |  6319117 |  4979462 |     1220  10061 |        0 |        0
516.46/516.70	c  516s |      24 |  6336264 |  4994562 |     1220  10085 |        0 |        0
518.46/518.70	c  518s |      24 |  6353492 |  5009662 |     1220  10110 |        0 |        0
520.45/520.70	c  520s |      24 |  6371101 |  5025062 |     1220  10135 |        0 |        0
522.45/522.71	c  522s |      24 |  6391213 |  5041562 |     1342  10160 |        0 |        0
524.45/524.71	c  524s |      24 |  6411001 |  5057862 |     1342  10184 |        0 |        0
525.35/525.60	c  525s |      25 |  6419464 |  5065098 |     1342  10195 |        0 |        0
527.35/527.60	c  527s |      25 |  6441251 |  5082198 |     1342  10220 |        0 |        0
529.34/529.61	c  529s |      25 |  6462600 |  5099098 |     1342  10245 |        0 |        0
531.34/531.62	c  531s |      25 |  6482280 |  5115298 |     1342  10268 |        0 |        0
533.35/533.62	c  533s |      25 |  6503779 |  5132298 |     1342  10293 |        0 |        0
535.35/535.63	c  535s |      25 |  6522479 |  5147898 |     1342  10316 |        0 |        0
537.35/537.63	c  537s |      25 |  6541470 |  5163698 |     1342  10340 |        0 |        0
539.35/539.64	c  539s |      25 |  6563074 |  5180798 |     1342  10365 |        0 |        0
541.34/541.64	c  541s |      25 |  6584605 |  5197498 |     1342  10389 |        0 |        0
543.34/543.65	c  543s |      25 |  6608189 |  5215498 |     1342  10416 |        0 |        0
545.35/545.66	c  545s |      25 |  6630520 |  5233598 |     1342  10443 |        0 |        0
547.34/547.66	c  547s |      25 |  6654961 |  5252498 |     1342  10471 |        0 |        0
549.34/549.67	c  549s |      25 |  6677802 |  5270498 |     1342  10497 |        0 |        0
551.33/551.68	c  551s |      25 |  6697758 |  5286598 |     1342  10521 |        0 |        0
553.33/553.68	c  553s |      25 |  6715709 |  5301698 |     1342  10543 |        0 |        0
555.34/555.69	c  555s |      25 |  6735291 |  5317798 |     1342  10567 |        0 |        0
557.33/557.69	c  557s |      25 |  6758784 |  5335798 |     1342  10593 |        0 |        0
559.33/559.70	c  559s |      25 |  6782716 |  5353798 |     1342  10620 |        0 |        0
561.42/561.70	c  561s |      25 |  6806012 |  5371898 |     1342  10647 |        0 |        0
563.43/563.70	c  563s |      25 |  6827739 |  5389298 |     1342  10672 |        0 |        0
565.43/565.71	c  565s |      25 |  6849678 |  5406498 |     1342  10697 |        0 |        0
567.44/567.72	c  567s |      25 |  6871351 |  5423998 |     1342  10723 |        0 |        0
569.43/569.72	c  569s |      25 |  6893612 |  5441898 |     1342  10750 |        0 |        0
571.42/571.74	c  571s |      25 |  6918198 |  5460698 |     1342  10778 |        0 |        0
573.42/573.75	c  573s |      25 |  6941313 |  5478898 |     1342  10805 |        0 |        0
575.42/575.75	c  575s |      25 |  6963137 |  5496598 |     1342  10831 |        0 |        0
577.42/577.76	c  577s |      25 |  6982220 |  5512998 |     1342  10855 |        0 |        0
579.43/579.77	c  579s |      25 |  7003471 |  5530498 |     1342  10881 |        0 |        0
581.41/581.77	c  581s |      25 |  7024267 |  5547098 |     1342  10905 |        0 |        0
583.41/583.78	c  583s |      25 |  7043315 |  5563498 |     1342  10929 |        0 |        0
585.41/585.79	c  585s |      25 |  7064973 |  5581098 |     1342  10955 |        0 |        0
587.51/587.80	c  587s |      25 |  7089999 |  5600498 |     1342  10984 |        0 |        0
589.51/589.81	c  589s |      25 |  7113559 |  5619098 |     1342  11012 |        0 |        0
591.51/591.81	c  591s |      25 |  7134565 |  5635798 |     1342  11036 |        0 |        0
593.50/593.82	c  593s |      25 |  7155918 |  5652898 |     1342  11061 |        0 |        0
595.50/595.82	c  595s |      25 |  7176429 |  5669298 |     1342  11086 |        0 |        0
597.50/597.83	c  597s |      25 |  7196423 |  5685498 |     1342  11110 |        0 |        0
599.50/599.84	c  599s |      25 |  7216854 |  5701898 |     1342  11134 |        0 |        0
601.50/601.85	c  601s |      25 |  7235614 |  5717498 |     1342  11157 |        0 |        0
603.50/603.85	c  603s |      25 |  7255778 |  5733898 |     1342  11181 |        0 |        0
605.50/605.86	c  605s |      25 |  7275882 |  5749898 |     1342  11205 |        0 |        0
607.50/607.86	c  607s |      25 |  7295130 |  5765798 |     1342  11228 |        0 |        0
609.50/609.87	c  609s |      25 |  7315664 |  5782298 |     1342  11252 |        0 |        0
611.49/611.87	c  611s |      25 |  7335798 |  5797998 |     1342  11276 |        0 |        0
613.50/613.88	c  613s |      25 |  7353866 |  5812798 |     1342  11297 |        0 |        0
615.50/615.89	c  615s |      25 |  7373655 |  5828698 |     1342  11321 |        0 |        0
617.50/617.89	c  617s |      25 |  7395429 |  5845798 |     1342  11346 |        0 |        0
619.60/619.90	c  619s |      25 |  7415209 |  5861998 |     1342  11370 |        0 |        0
621.59/621.90	c  621s |      25 |  7435700 |  5878598 |     1342  11395 |        0 |        0
623.59/623.90	c  623s |      25 |  7456104 |  5895498 |     1342  11419 |        0 |        0
625.60/625.91	c  625s |      25 |  7478680 |  5913198 |     1342  11446 |        0 |        0
627.59/627.92	c  627s |      25 |  7500180 |  5930698 |     1342  11471 |        0 |        0
629.59/629.93	c  629s |      25 |  7522004 |  5947798 |     1342  11497 |        0 |        0
631.58/631.94	c  631s |      25 |  7543638 |  5964498 |     1342  11521 |        0 |        0
633.58/633.95	c  633s |      25 |  7564727 |  5981098 |     1342  11546 |        0 |        0
635.59/635.96	c  635s |      25 |  7584646 |  5997098 |     1342  11569 |        0 |        0
637.58/637.96	c  637s |      25 |  7604358 |  6013298 |     1342  11593 |        0 |        0
639.58/639.97	c  639s |      25 |  7626308 |  6030198 |     1342  11618 |        0 |        0
641.57/641.97	c  641s |      25 |  7647721 |  6046698 |     1342  11643 |        0 |        0
643.57/643.98	c  643s |      25 |  7667570 |  6062398 |     1342  11666 |        0 |        0
645.58/645.99	c  645s |      25 |  7686972 |  6078098 |     1342  11689 |        0 |        0
647.59/647.99	c  647s |      25 |  7707604 |  6094298 |     1342  11713 |        0 |        0
649.68/650.00	c  649s |      25 |  7729590 |  6111098 |     1342  11738 |        0 |        0
651.67/652.00	c  651s |      25 |  7750720 |  6127498 |     1342  11762 |        0 |        0
653.67/654.00	c  653s |      25 |  7770030 |  6142898 |     1342  11785 |        0 |        0
655.67/656.02	c  656s |      25 |  7789142 |  6158498 |     1342  11808 |        0 |        0
657.67/658.02	c  658s |      25 |  7807505 |  6173698 |     1342  11830 |        0 |        0
659.67/660.02	c  660s |      25 |  7828230 |  6190098 |     1342  11855 |        0 |        0
661.66/662.03	c  662s |      25 |  7847592 |  6205998 |     1342  11878 |        0 |        0
663.66/664.04	c  664s |      25 |  7870369 |  6223598 |     1342  11904 |        0 |        0
665.66/666.05	c  666s |      25 |  7892956 |  6241298 |     1342  11930 |        0 |        0
667.66/668.05	c  668s |      25 |  7914904 |  6258298 |     1342  11955 |        0 |        0
669.67/670.05	c  670s |      25 |  7934388 |  6274398 |     1342  11979 |        0 |        0
671.66/672.06	c  672s |      25 |  7955938 |  6291698 |     1342  12005 |        0 |        0
673.66/674.07	c  674s |      25 |  7979000 |  6309598 |     1342  12031 |        0 |        0
675.65/676.07	c  676s |      25 |  8001660 |  6327098 |     1342  12057 |        0 |        0
677.65/678.08	c  678s |      25 |  8025841 |  6345298 |     1342  12084 |        0 |        0
679.65/680.08	c  680s |      25 |  8051342 |  6363998 |     1342  12111 |        0 |        0
681.67/682.09	c  682s |      25 |  8073132 |  6381098 |     1342  12137 |        0 |        0
683.66/684.09	c  684s |      25 |  8096261 |  6398698 |     1342  12163 |        0 |        0
685.76/686.10	c  686s |      25 |  8118491 |  6416098 |     1342  12188 |        0 |        0
687.76/688.10	c  688s |      25 |  8141881 |  6433598 |     1342  12214 |        0 |        0
689.76/690.11	c  690s |      25 |  8161903 |  6449698 |     1342  12238 |        0 |        0
691.76/692.11	c  692s |      25 |  8182782 |  6465598 |     1342  12261 |        0 |        0
693.76/694.11	c  694s |      25 |  8205044 |  6482698 |     1342  12286 |        0 |        0
695.76/696.12	c  696s |      25 |  8227050 |  6499598 |     1342  12311 |        0 |        0
697.76/698.12	c  698s |      25 |  8248674 |  6516598 |     1342  12336 |        0 |        0
699.76/700.13	c  700s |      25 |  8271498 |  6533898 |     1342  12362 |        0 |        0
701.75/702.13	c  702s |      25 |  8295243 |  6551598 |     1342  12388 |        0 |        0
703.76/704.15	c  704s |      25 |  8316278 |  6568098 |     1342  12412 |        0 |        0
705.75/706.15	c  706s |      25 |  8335128 |  6583698 |     1342  12435 |        0 |        0
707.75/708.16	c  708s |      25 |  8356200 |  6600398 |     1342  12460 |        0 |        0
709.75/710.17	c  710s |      25 |  8377769 |  6617098 |     1342  12484 |        0 |        0
711.75/712.17	c  712s |      25 |  8396879 |  6633298 |     1342  12508 |        0 |        0
713.75/714.17	c  714s |      25 |  8415120 |  6648398 |     1342  12530 |        0 |        0
715.76/716.18	c  716s |      25 |  8434086 |  6664198 |     1342  12554 |        0 |        0
717.75/718.18	c  718s |      25 |  8453908 |  6680198 |     1342  12577 |        0 |        0
719.75/720.18	c  720s |      25 |  8473987 |  6696498 |     1342  12601 |        0 |        0
721.75/722.19	c  722s |      25 |  8493536 |  6712498 |     1342  12625 |        0 |        0
723.75/724.19	c  724s |      25 |  8513430 |  6728898 |     1342  12649 |        0 |        0
725.84/726.20	c  726s |      25 |  8533873 |  6745498 |     1342  12674 |        0 |        0
727.74/728.20	c  728s |      25 |  8552185 |  6761098 |     1342  12697 |        0 |        0
729.84/730.20	c  730s |      25 |  8570263 |  6776398 |     1342  12719 |        0 |        0
731.84/732.22	c  732s |      25 |  8587972 |  6791598 |     1342  12742 |        0 |        0
733.84/734.23	c  734s |      25 |  8606732 |  6807198 |     1342  12764 |        0 |        0
735.84/736.24	c  736s |      25 |  8625096 |  6822598 |     1342  12787 |        0 |        0
737.85/738.25	c  738s |      25 |  8643310 |  6837598 |     1342  12809 |        0 |        0
739.84/740.25	c  740s |      25 |  8663418 |  6853498 |     1342  12833 |        0 |        0
741.84/742.25	c  742s |      25 |  8681772 |  6868998 |     1342  12856 |        0 |        0
743.84/744.26	c  744s |      25 |  8701721 |  6885398 |     1342  12880 |        0 |        0
745.84/746.26	c  746s |      25 |  8722187 |  6901898 |     1342  12904 |        0 |        0
747.84/748.27	c  748s |      25 |  8743659 |  6919098 |     1342  12929 |        0 |        0
749.85/750.27	c  750s |      25 |  8765848 |  6936298 |     1342  12955 |        0 |        0
751.84/752.27	c  752s |      25 |  8788601 |  6953798 |     1342  12981 |        0 |        0
753.84/754.27	c  754s |      25 |  8810854 |  6971398 |     1342  13007 |        0 |        0
755.84/756.28	c  756s |      25 |  8834208 |  6988798 |     1342  13032 |        0 |        0
757.83/758.29	c  758s |      25 |  8858714 |  7007098 |     1342  13059 |        0 |        0
759.84/760.29	c  760s |      25 |  8882681 |  7024898 |     1342  13086 |        0 |        0
761.84/762.30	c  762s |      25 |  8905501 |  7042398 |     1342  13112 |        0 |        0
763.94/764.31	c  764s |      25 |  8927964 |  7059998 |     1342  13138 |        0 |        0
765.94/766.32	c  766s |      25 |  8950214 |  7077398 |     1342  13163 |        0 |        0
767.94/768.32	c  768s |      25 |  8972298 |  7094298 |     1342  13188 |        0 |        0
769.94/770.32	c  770s |      25 |  8993237 |  7111298 |     1342  13213 |        0 |        0
771.95/772.32	c  772s |      25 |  9013270 |  7127298 |     1342  13237 |        0 |        0
773.94/774.33	c  774s |      25 |  9032814 |  7143098 |     1342  13260 |        0 |        0
775.94/776.33	c  776s |      25 |  9053938 |  7159898 |     1342  13285 |        0 |        0
777.94/778.35	c  778s |      25 |  9074578 |  7176398 |     1342  13309 |        0 |        0
779.94/780.36	c  780s |      25 |  9096475 |  7193398 |     1342  13334 |        0 |        0
781.94/782.36	c  782s |      25 |  9117736 |  7209998 |     1342  13359 |        0 |        0
783.94/784.37	c  784s |      25 |  9138102 |  7226498 |     1342  13383 |        0 |        0
785.94/786.38	c  786s |      25 |  9158007 |  7242798 |     1342  13407 |        0 |        0
787.94/788.38	c  788s |      25 |  9178277 |  7259098 |     1342  13432 |        0 |        0
789.93/790.39	c  790s |      25 |  9199138 |  7275898 |     1342  13456 |        0 |        0
792.03/792.40	c  792s |      25 |  9220547 |  7292698 |     1342  13481 |        0 |        0
794.03/794.40	c  794s |      25 |  9242808 |  7309798 |     1342  13507 |        0 |        0
796.04/796.41	c  796s |      25 |  9264809 |  7327098 |     1342  13532 |        0 |        0
798.03/798.41	c  798s |      25 |  9288950 |  7345298 |     1342  13559 |        0 |        0
800.03/800.42	c  800s |      25 |  9310403 |  7362298 |     1342  13584 |        0 |        0
802.03/802.42	c  802s |      25 |  9332084 |  7379298 |     1342  13609 |        0 |        0
804.03/804.43	c  804s |      25 |  9354289 |  7396598 |     1342  13635 |        0 |        0
806.04/806.43	c  806s |      25 |  9377192 |  7414198 |     1342  13661 |        0 |        0
808.04/808.44	c  808s |      25 |  9399099 |  7431498 |     1342  13686 |        0 |        0
810.03/810.45	c  810s |      25 |  9420762 |  7448698 |     1342  13712 |        0 |        0
812.03/812.46	c  812s |      25 |  9442827 |  7466298 |     1342  13738 |        0 |        0
814.03/814.46	c  814s |      25 |  9466720 |  7483798 |     1342  13763 |        0 |        0
816.03/816.47	c  816s |      25 |  9488122 |  7501098 |     1342  13789 |        0 |        0
818.04/818.48	c  818s |      25 |  9508697 |  7517798 |     1342  13814 |        0 |        0
820.03/820.48	c  820s |      25 |  9528326 |  7534498 |     1342  13838 |        0 |        0
822.03/822.48	c  822s |      25 |  9548345 |  7551198 |     1477  13862 |        0 |        0
824.03/824.49	c  824s |      25 |  9568784 |  7568298 |     1477  13885 |        0 |        0
826.13/826.50	c  826s |      25 |  9589368 |  7585098 |     1477  13907 |        0 |        0
827.63/828.05	c  828s |      26 |  9604966 |  7597752 |     1477  13924 |        0 |        0
829.63/830.05	c  830s |      26 |  9624735 |  7613652 |     1477  13946 |        0 |        0
831.63/832.05	c  832s |      26 |  9645540 |  7630252 |     1477  13968 |        0 |        0
833.63/834.06	c  834s |      26 |  9665184 |  7646652 |     1477  13990 |        0 |        0
835.63/836.06	c  836s |      26 |  9685581 |  7663452 |     1477  14013 |        0 |        0
837.63/838.07	c  838s |      26 |  9706285 |  7680252 |     1477  14035 |        0 |        0
839.63/840.08	c  840s |      26 |  9725904 |  7696152 |     1477  14057 |        0 |        0
841.62/842.09	c  842s |      26 |  9745259 |  7711952 |     1477  14078 |        0 |        0
843.72/844.10	c  844s |      26 |  9763302 |  7727252 |     1477  14098 |        0 |        0
845.72/846.11	c  846s |      26 |  9780079 |  7741852 |     1477  14118 |        0 |        0
847.73/848.12	c  848s |      26 |  9800987 |  7758652 |     1477  14141 |        0 |        0
849.72/850.12	c  850s |      26 |  9822359 |  7775952 |     1477  14164 |        0 |        0
851.72/852.13	c  852s |      26 |  9844064 |  7793352 |     1477  14187 |        0 |        0
853.72/854.14	c  854s |      26 |  9866041 |  7810752 |     1477  14211 |        0 |        0
855.73/856.15	c  856s |      26 |  9885630 |  7826952 |     1477  14232 |        0 |        0
857.74/858.15	c  858s |      26 |  9905318 |  7843352 |     1477  14254 |        0 |        0
859.73/860.15	c  860s |      26 |  9925725 |  7859752 |     1477  14277 |        0 |        0
861.73/862.15	c  862s |      26 |  9946639 |  7876452 |     1477  14299 |        0 |        0
863.73/864.16	c  864s |      26 |  9969013 |  7893752 |     1477  14322 |        0 |        0
865.73/866.16	c  866s |      26 |  9991060 |  7911052 |     1477  14345 |        0 |        0
867.72/868.17	c  868s |      26 | 10014368 |  7928952 |     1477  14370 |        0 |        0
869.73/870.17	c  870s |      26 | 10036398 |  7946152 |     1477  14393 |        0 |        0
871.72/872.18	c  872s |      26 | 10059450 |  7964352 |     1477  14417 |        0 |        0
873.72/874.18	c  874s |      26 | 10080208 |  7980952 |     1477  14439 |        0 |        0
875.72/876.18	c  876s |      26 | 10100818 |  7997752 |     1477  14462 |        0 |        0
877.72/878.18	c  878s |      26 | 10122466 |  8014952 |     1477  14485 |        0 |        0
879.73/880.18	c  880s |      26 | 10146479 |  8033352 |     1477  14510 |        0 |        0
881.72/882.19	c  882s |      26 | 10167814 |  8050252 |     1477  14533 |        0 |        0
883.82/884.20	c  884s |      26 | 10187268 |  8066452 |     1477  14554 |        0 |        0
885.82/886.20	c  886s |      26 | 10205436 |  8081752 |     1477  14575 |        0 |        0
887.82/888.21	c  888s |      26 | 10225428 |  8098352 |     1477  14597 |        0 |        0
889.82/890.22	c  890s |      26 | 10245022 |  8114352 |     1477  14619 |        0 |        0
891.82/892.22	c  892s |      26 | 10265162 |  8130652 |     1477  14641 |        0 |        0
893.81/894.22	c  894s |      26 | 10286897 |  8147652 |     1477  14663 |        0 |        0
895.81/896.24	c  896s |      26 | 10309461 |  8164752 |     1477  14686 |        0 |        0
897.81/898.24	c  898s |      26 | 10329946 |  8181452 |     1477  14709 |        0 |        0
899.81/900.24	c  900s |      26 | 10351667 |  8198552 |     1477  14732 |        0 |        0
901.81/902.25	c  902s |      26 | 10373382 |  8215652 |     1477  14755 |        0 |        0
903.83/904.25	c  904s |      26 | 10393652 |  8231952 |     1477  14777 |        0 |        0
905.82/906.25	c  906s |      26 | 10415008 |  8248652 |     1477  14799 |        0 |        0
907.82/908.26	c  908s |      26 | 10437361 |  8265752 |     1477  14822 |        0 |        0
909.82/910.27	c  910s |      26 | 10458753 |  8282452 |     1477  14845 |        0 |        0
911.82/912.27	c  912s |      26 | 10480030 |  8299152 |     1477  14867 |        0 |        0
913.83/914.27	c  914s |      26 | 10501342 |  8315552 |     1477  14889 |        0 |        0
915.82/916.28	c  916s |      26 | 10523771 |  8332152 |     1477  14911 |        0 |        0
917.82/918.29	c  918s |      26 | 10543828 |  8348652 |     1477  14933 |        0 |        0
919.92/920.30	c  920s |      26 | 10563896 |  8364952 |     1477  14955 |        0 |        0
921.92/922.30	c  922s |      26 | 10584818 |  8381752 |     1477  14978 |        0 |        0
923.92/924.31	c  924s |      26 | 10605227 |  8398052 |     1477  15000 |        0 |        0
925.92/926.32	c  926s |      26 | 10624193 |  8413752 |     1477  15021 |        0 |        0
927.92/928.32	c  928s |      26 | 10643895 |  8429552 |     1477  15042 |        0 |        0
929.91/930.33	c  930s |      26 | 10665529 |  8446552 |     1477  15065 |        0 |        0
931.91/932.34	c  932s |      26 | 10687391 |  8463752 |     1477  15088 |        0 |        0
933.91/934.34	c  934s |      26 | 10708204 |  8480252 |     1477  15110 |        0 |        0
935.91/936.35	c  936s |      26 | 10729270 |  8497352 |     1477  15133 |        0 |        0
937.92/938.35	c  938s |      26 | 10751806 |  8514952 |     1477  15156 |        0 |        0
939.91/940.36	c  940s |      26 | 10774239 |  8532252 |     1477  15178 |        1 |        3
941.91/942.37	c  942s |      26 | 10794396 |  8548652 |     1477  15200 |        1 |        3
943.91/944.37	c  944s |      26 | 10815822 |  8565752 |     1477  15223 |        1 |        3
945.91/946.38	c  946s |      26 | 10835799 |  8582352 |     1477  15246 |        1 |        3
947.91/948.38	c  948s |      26 | 10857701 |  8599952 |     1477  15269 |        1 |        3
949.91/950.39	c  950s |      26 | 10879426 |  8617152 |     1477  15292 |        1 |        3
952.01/952.40	c  952s |      26 | 10903391 |  8634952 |     1477  15316 |        1 |        3
954.01/954.41	c  954s |      26 | 10924661 |  8651852 |     1477  15339 |        1 |        3
956.01/956.41	c  956s |      26 | 10946336 |  8669252 |     1477  15362 |        1 |        3
958.01/958.42	c  958s |      26 | 10967408 |  8686352 |     1477  15385 |        1 |        3
960.02/960.44	c  960s |      26 | 10989295 |  8703652 |     1477  15409 |        1 |        3
962.01/962.44	c  962s |      26 | 11009765 |  8720452 |     1477  15431 |        1 |        3
964.01/964.45	c  964s |      26 | 11031585 |  8738052 |     1477  15455 |        1 |        3
966.01/966.45	c  966s |      26 | 11052419 |  8754952 |     1477  15478 |        1 |        3
968.01/968.45	c  968s |      26 | 11074467 |  8772352 |     1477  15501 |        1 |        3
970.01/970.46	c  970s |      26 | 11097435 |  8790452 |     1477  15525 |        1 |        3
972.02/972.46	c  972s |      26 | 11118704 |  8807352 |     1477  15548 |        1 |        3
974.01/974.46	c  974s |      26 | 11139628 |  8824252 |     1477  15571 |        1 |        3
976.01/976.46	c  976s |      26 | 11161789 |  8841752 |     1477  15594 |        1 |        3
978.01/978.46	c  978s |      26 | 11182060 |  8858252 |     1477  15616 |        1 |        3
980.01/980.47	c  980s |      26 | 11201800 |  8874852 |     1477  15639 |        1 |        3
982.01/982.47	c  982s |      26 | 11221246 |  8891052 |     1477  15660 |        1 |        3
984.00/984.48	c  984s |      26 | 11245251 |  8909152 |     1477  15685 |        1 |        3
986.00/986.49	c  986s |      26 | 11266801 |  8926352 |     1477  15708 |        1 |        3
988.00/988.49	c  988s |      26 | 11290628 |  8944552 |     1477  15732 |        1 |        3
990.10/990.50	c  990s |      26 | 11313209 |  8962052 |     1477  15756 |        1 |        3
992.10/992.51	c  992s |      26 | 11335380 |  8979952 |     1477  15780 |        1 |        3
994.11/994.52	c  994s |      26 | 11358362 |  8998152 |     1477  15803 |        3 |        9
996.11/996.53	c  996s |      26 | 11378863 |  9015052 |     1477  15826 |        3 |        9
998.11/998.53	c  998s |      26 | 11399906 |  9032152 |     1477  15849 |        3 |        9
1000.11/1000.54	c 1000s |      26 | 11419103 |  9048552 |     1477  15871 |        3 |        9
1002.11/1002.56	c 1002s |      26 | 11438098 |  9064852 |     1477  15893 |        3 |        9
1004.11/1004.56	c 1004s |      26 | 11457948 |  9081052 |     1477  15914 |        3 |        9
1006.11/1006.57	c 1006s |      26 | 11478296 |  9097552 |     1477  15936 |        3 |        9
1008.10/1008.58	c 1008s |      26 | 11497789 |  9113752 |     1477  15958 |        3 |        9
1010.20/1010.60	c 1010s |      26 | 11516517 |  9129752 |     1477  15980 |        3 |        9
1012.20/1012.60	c 1012s |      26 | 11536758 |  9146252 |     1477  16002 |        3 |        9
1014.20/1014.60	c 1014s |      26 | 11558467 |  9162752 |     1477  16023 |        4 |       12
1016.20/1016.61	c 1016s |      26 | 11578510 |  9178852 |     1477  16044 |        4 |       12
1018.21/1018.63	c 1018s |      26 | 11597343 |  9194752 |     1477  16066 |        4 |       12
1020.20/1020.63	c 1020s |      26 | 11616501 |  9210752 |     1477  16087 |        4 |       12
1022.20/1022.64	c 1022s |      26 | 11636751 |  9227652 |     1477  16109 |        5 |       15
1024.20/1024.65	c 1024s |      26 | 11657568 |  9244052 |     1477  16131 |        5 |       15
1026.20/1026.65	c 1026s |      26 | 11679218 |  9260752 |     1477  16154 |        5 |       15
1028.21/1028.65	c 1028s |      26 | 11699301 |  9276852 |     1477  16175 |        6 |       18
1030.20/1030.66	c 1030s |      26 | 11720665 |  9293952 |     1477  16196 |        8 |       24
1030.80/1031.23	c 1031s |      26 | 11726694 |  9298790 |     1477  16200 |       46 |       94
1030.80/1031.23	c #cpu_time = 1028.264s
1030.80/1031.23	c #wall_clock_time = 1031.212s
1030.80/1031.23	c #decision = 11726694
1030.80/1031.23	c #random_decision = 51962
1030.80/1031.23	c #conflict = 9298790
1030.80/1031.23	c #restart = 26
1030.80/1031.23	s UNSATISFIABLE
1030.80/1031.23	c total CPU time = 1028.281s
1030.80/1031.23	c total wall clock time = 1031.229s

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

pid=18890
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.15 1.87 3/180 18893
/proc/meminfo: memFree=27271212/32872528 swapFree=1590004/1720820
[pid=18893] ppid=18890 vsize=713148 CPUtime=0 cores=1,3,5,7
/proc/18893/stat : 18893 (toysat) R 18890 18893 13693 0 -1 4202496 2655 0 0 0 0 0 0 0 20 0 4 0 12282303 730263552 3015 33554432000 4194304 16246674 140735215389568 140735215388992 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18893/statm: 178799 3026 441 2943 0 175693 0
[pid=18893/tid=18894] ppid=18890 vsize=730556 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18894/stat : 18894 (toysat) S 18890 18893 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12282303 748089344 3087 33554432000 4194304 16246674 140735215389568 140104905501936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18893/tid=18895] ppid=18890 vsize=734652 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18895/stat : 18895 (toysat) S 18890 18893 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12282303 752283648 3102 33554432000 4194304 16246674 140735215389568 140104895012080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18893/tid=18896] ppid=18890 vsize=738748 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18896/stat : 18896 (toysat) S 18890 18893 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12282303 756477952 3119 33554432000 4194304 16246674 140735215389568 140104884538544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.18 2.15 1.87 3/180 18893
/proc/meminfo: memFree=27271212/32872528 swapFree=1590004/1720820
[pid=18893] ppid=18890 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/18893/stat : 18893 (toysat) R 18890 18893 13693 0 -1 4202496 26089 0 0 0 5 3 0 0 20 0 4 0 12282303 1247350784 26438 33554432000 4194304 16246674 140735215389568 140735215388992 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18893/statm: 304529 26454 708 2943 0 301423 0
[pid=18893/tid=18894] ppid=18890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18894/stat : 18894 (toysat) S 18890 18893 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12282303 1247350784 26461 33554432000 4194304 16246674 140735215389568 140104905501936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18893/tid=18895] ppid=18890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18895/stat : 18895 (toysat) S 18890 18893 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12282303 1247350784 26467 33554432000 4194304 16246674 140735215389568 140104895012080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18893/tid=18896] ppid=18890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18896/stat : 18896 (toysat) S 18890 18893 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12282303 1247350784 26476 33554432000 4194304 16246674 140735215389568 140104884538544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200542 s]
/proc/loadavg: 2.18 2.15 1.87 3/180 18893
/proc/meminfo: memFree=27271212/32872528 swapFree=1590004/1720820
[pid=18893] ppid=18890 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/18893/stat : 18893 (toysat) R 18890 18893 13693 0 -1 4202496 49907 0 0 0 12 7 0 0 20 0 4 0 12282303 1247350784 50256 33554432000 4194304 16246674 140735215389568 140735215388992 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18893/statm: 304529 50266 708 2943 0 301423 0
[pid=18893/tid=18894] ppid=18890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18894/stat : 18894 (toysat) S 18890 18893 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12282303 1247350784 50273 33554432000 4194304 16246674 140735215389568 140104905501936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18893/tid=18895] ppid=18890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18895/stat : 18895 (toysat) S 18890 18893 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12282303 1247350784 50280 33554432000 4194304 16246674 140735215389568 140104895012080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18893/tid=18896] ppid=18890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18896/stat : 18896 (toysat) S 18890 18893 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12282303 1247350784 50287 33554432000 4194304 16246674 140735215389568 140104884538544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.30049 s]
/proc/loadavg: 2.18 2.15 1.87 3/180 18893
/proc/meminfo: memFree=27271212/32872528 swapFree=1590004/1720820
[pid=18893] ppid=18890 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/18893/stat : 18893 (toysat) R 18890 18893 13693 0 -1 4202496 73236 0 0 0 18 10 0 0 20 0 4 0 12282303 1247350784 73585 33554432000 4194304 16246674 140735215389568 140735215388992 12479207 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18893/statm: 304529 73601 708 2943 0 301423 0
[pid=18893/tid=18894] ppid=18890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18894/stat : 18894 (toysat) S 18890 18893 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12282303 1247350784 73608 33554432000 4194304 16246674 140735215389568 140104905501936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18893/tid=18895] ppid=18890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18895/stat : 18895 (toysat) S 18890 18893 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12282303 1247350784 73615 33554432000 4194304 16246674 140735215389568 140104895012080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18893/tid=18896] ppid=18890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18896/stat : 18896 (toysat) S 18890 18893 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12282303 1247350784 73624 33554432000 4194304 16246674 140735215389568 140104884538544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700409 s]
/proc/loadavg: 2.18 2.15 1.87 3/180 18893
/proc/meminfo: memFree=27271212/32872528 swapFree=1590004/1720820
[pid=18893] ppid=18890 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/18893/stat : 18893 (toysat) R 18890 18893 13693 0 -1 4202496 167162 0 0 0 45 24 0 0 20 0 4 0 12282303 1247350784 167511 33554432000 4194304 16246674 140735215389568 140735215371456 6076251 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18893/statm: 304529 167527 708 2943 0 301423 0
[pid=18893/tid=18894] ppid=18890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18894/stat : 18894 (toysat) S 18890 18893 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12282303 1247350784 167536 33554432000 4194304 16246674 140735215389568 140104905501936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18893/tid=18895] ppid=18890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18895/stat : 18895 (toysat) S 18890 18893 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12282303 1247350784 167542 33554432000 4194304 16246674 140735215389568 140104895012080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18893/tid=18896] ppid=18890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18896/stat : 18896 (toysat) S 18890 18893 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12282303 1247350784 167552 33554432000 4194304 16246674 140735215389568 140104884538544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.18 2.15 1.87 3/184 18897
/proc/meminfo: memFree=26288648/32872528 swapFree=1590004/1720820
[pid=18893] ppid=18890 vsize=1218116 CPUtime=1.49 cores=1,3,5,7
/proc/18893/stat : 18893 (toysat) R 18890 18893 13693 0 -1 4202496 245515 0 0 0 113 36 0 0 20 0 4 0 12282303 1247350784 245844 33554432000 4194304 16246674 140735215389568 140735215388880 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18893/statm: 304529 245844 787 2943 0 301423 0
[pid=18893/tid=18894] ppid=18890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18894/stat : 18894 (toysat) S 18890 18893 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12282303 1247350784 245844 33554432000 4194304 16246674 140735215389568 140104905501936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18893/tid=18895] ppid=18890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18895/stat : 18895 (toysat) S 18890 18893 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12282303 1247350784 245844 33554432000 4194304 16246674 140735215389568 140104895012080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18893/tid=18896] ppid=18890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18896/stat : 18896 (toysat) S 18890 18893 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12282303 1247350784 245844 33554432000 4194304 16246674 140735215389568 140104884538544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10043 s]
/proc/loadavg: 2.32 2.18 1.88 3/184 18897
/proc/meminfo: memFree=26200856/32872528 swapFree=1590004/1720820
[pid=18893] ppid=18890 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/18893/stat : 18893 (toysat) R 18890 18893 13693 0 -1 4202496 267408 0 0 0 270 39 0 0 20 0 4 0 12282303 1337528320 267737 33554432000 4194304 16246674 140735215389568 140735215372568 5677678 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18893/statm: 326545 267737 787 2943 0 323439 0
[pid=18893/tid=18894] ppid=18890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18894/stat : 18894 (toysat) S 18890 18893 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12282303 1337528320 267737 33554432000 4194304 16246674 140735215389568 140104905501936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18893/tid=18895] ppid=18890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18895/stat : 18895 (toysat) S 18890 18893 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12282303 1337528320 267737 33554432000 4194304 16246674 140735215389568 140104895012080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18893/tid=18896] ppid=18890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18896/stat : 18896 (toysat) S 18890 18893 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12282303 1337528320 267737 33554432000 4194304 16246674 140735215389568 140104884538544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 2.32 2.18 1.88 3/184 18897
/proc/meminfo: memFree=26200120/32872528 swapFree=1590004/1720820
[pid=18893] ppid=18890 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/18893/stat : 18893 (toysat) R 18890 18893 13693 0 -1 4202496 267414 0 0 0 590 39 0 0 20 0 4 0 12282303 1337528320 267743 33554432000 4194304 16246674 140735215389568 140735215372568 5673450 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18893/statm: 326545 267743 787 2943 0 323439 0
[pid=18893/tid=18894] ppid=18890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18894/stat : 18894 (toysat) S 18890 18893 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12282303 1337528320 267743 33554432000 4194304 16246674 140735215389568 140104905501936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18893/tid=18895] ppid=18890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18895/stat : 18895 (toysat) S 18890 18893 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12282303 1337528320 267743 33554432000 4194304 16246674 140735215389568 140104895012080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18893/tid=18896] ppid=18890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18896/stat : 18896 (toysat) S 18890 18893 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12282303 1337528320 267743 33554432000 4194304 16246674 140735215389568 140104884538544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.27 2.17 1.88 4/184 18897
/proc/meminfo: memFree=26199924/32872528 swapFree=1590004/1720820
[pid=18893] ppid=18890 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/18893/stat : 18893 (toysat) R 18890 18893 13693 0 -1 4202496 267431 0 0 0 1229 39 0 0 20 0 4 0 12282303 1337528320 267760 33554432000 4194304 16246674 140735215389568 140735215372568 5995082 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18893/statm: 326545 267760 787 2943 0 323439 0
[pid=18893/tid=18894] ppid=18890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18894/stat : 18894 (toysat) S 18890 18893 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12282303 1337528320 267760 33554432000 4194304 16246674 140735215389568 140104905501936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18893/tid=18895] ppid=18890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18895/stat : 18895 (toysat) S 18890 18893 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12282303 1337528320 267760 33554432000 4194304 16246674 140735215389568 140104895012080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18893/tid=18896] ppid=18890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18896/stat : 18896 (toysat) S 18890 18893 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12282303 1337528320 267760 33554432000 4194304 16246674 140735215389568 140104884538544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.30 2.18 1.88 3/184 18969
/proc/meminfo: memFree=27208516/32872528 swapFree=1590004/1720820
[pid=18893] ppid=18890 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/18893/stat : 18893 (toysat) R 18890 18893 13693 0 -1 4202496 267441 0 0 0 2508 40 0 0 20 0 4 0 12282303 1337528320 267770 33554432000 4194304 16246674 140735215389568 140735215371456 5675425 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18893/statm: 326545 267770 789 2943 0 323439 0
[pid=18893/tid=18894] ppid=18890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18894/stat : 18894 (toysat) S 18890 18893 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12282303 1337528320 267770 33554432000 4194304 16246674 140735215389568 140104905501936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18893/tid=18895] ppid=18890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18895/stat : 18895 (toysat) S 18890 18893 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12282303 1337528320 267770 33554432000 4194304 16246674 140735215389568 140104895012080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18893/tid=18896] ppid=18890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18896/stat : 18896 (toysat) S 18890 18893 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12282303 1337528320 267770 33554432000 4194304 16246674 140735215389568 140104884538544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.28 2.18 1.89 3/184 19018
/proc/meminfo: memFree=26205024/32872528 swapFree=1590004/1720820
[pid=18893] ppid=18890 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/18893/stat : 18893 (toysat) R 18890 18893 13693 0 -1 4202496 267443 0 0 0 5067 41 0 0 20 0 4 0 12282303 1337528320 267774 33554432000 4194304 16246674 140735215389568 140735215371456 5672188 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18893/statm: 326545 267774 790 2943 0 323439 0
[pid=18893/tid=18894] ppid=18890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18894/stat : 18894 (toysat) S 18890 18893 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12282303 1337528320 267774 33554432000 4194304 16246674 140735215389568 140104905501936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18893/tid=18895] ppid=18890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18895/stat : 18895 (toysat) S 18890 18893 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12282303 1337528320 267774 33554432000 4194304 16246674 140735215389568 140104895012080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18893/tid=18896] ppid=18890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18896/stat : 18896 (toysat) S 18890 18893 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12282303 1337528320 267774 33554432000 4194304 16246674 140735215389568 140104884538544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.21 2.18 1.91 4/183 19019
/proc/meminfo: memFree=26204780/32872528 swapFree=1590004/1720820
[pid=18893] ppid=18890 vsize=1307204 CPUtime=102.26 cores=1,3,5,7
/proc/18893/stat : 18893 (toysat) R 18890 18893 13693 0 -1 4202496 267639 0 0 0 10184 42 0 0 20 0 4 0 12282303 1338576896 267952 33554432000 4194304 16246674 140735215389568 140735215372568 5829095 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18893/statm: 326801 267952 790 2943 0 323695 0
[pid=18893/tid=18894] ppid=18890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18894/stat : 18894 (toysat) S 18890 18893 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12282303 1338576896 267952 33554432000 4194304 16246674 140735215389568 140104905501936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18893/tid=18895] ppid=18890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18895/stat : 18895 (toysat) S 18890 18893 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12282303 1338576896 267952 33554432000 4194304 16246674 140735215389568 140104895012080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18893/tid=18896] ppid=18890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18896/stat : 18896 (toysat) S 18890 18893 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12282303 1338576896 267952 33554432000 4194304 16246674 140735215389568 140104884538544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1307204


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

/proc/18893/stat : 18893 (toysat) R 18890 18893 13693 0 -1 4202496 268183 0 0 0 82131 62 0 0 20 0 4 0 12282303 1338576896 268159 33554432000 4194304 16246674 140735215389568 140735215371456 13950704 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18893/statm: 326801 268159 790 2943 0 323695 0
[pid=18893/tid=18894] ppid=18890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18894/stat : 18894 (toysat) S 18890 18893 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12282303 1338576896 268159 33554432000 4194304 16246674 140735215389568 140104905501936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18893/tid=18895] ppid=18890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18895/stat : 18895 (toysat) S 18890 18893 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12282303 1338576896 268159 33554432000 4194304 16246674 140735215389568 140104895012080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18893/tid=18896] ppid=18890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18896/stat : 18896 (toysat) S 18890 18893 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12282303 1338576896 268159 33554432000 4194304 16246674 140735215389568 140104884538544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 1307204

[startup+882.307 s]
/proc/loadavg: 2.51 2.39 2.14 3/183 19038
/proc/meminfo: memFree=26201240/32872528 swapFree=1590004/1720820
[pid=18893] ppid=18890 vsize=1307204 CPUtime=881.93 cores=1,3,5,7
/proc/18893/stat : 18893 (toysat) R 18890 18893 13693 0 -1 4202496 268183 0 0 0 88130 63 0 0 20 0 4 0 12282303 1338576896 268159 33554432000 4194304 16246674 140735215389568 140735215371456 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18893/statm: 326801 268159 790 2943 0 323695 0
[pid=18893/tid=18894] ppid=18890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18894/stat : 18894 (toysat) S 18890 18893 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12282303 1338576896 268159 33554432000 4194304 16246674 140735215389568 140104905501936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18893/tid=18895] ppid=18890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18895/stat : 18895 (toysat) S 18890 18893 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12282303 1338576896 268159 33554432000 4194304 16246674 140735215389568 140104895012080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18893/tid=18896] ppid=18890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18896/stat : 18896 (toysat) S 18890 18893 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12282303 1338576896 268159 33554432000 4194304 16246674 140735215389568 140104884538544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 1307204

[startup+942.3 s]
/proc/loadavg: 2.40 2.38 2.15 3/183 19038
/proc/meminfo: memFree=26201336/32872528 swapFree=1590004/1720820
[pid=18893] ppid=18890 vsize=1307204 CPUtime=941.91 cores=1,3,5,7
/proc/18893/stat : 18893 (toysat) R 18890 18893 13693 0 -1 4202496 268183 0 0 0 94127 64 0 0 20 0 4 0 12282303 1338576896 268159 33554432000 4194304 16246674 140735215389568 140735215372568 13818354 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18893/statm: 326801 268159 790 2943 0 323695 0
[pid=18893/tid=18894] ppid=18890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18894/stat : 18894 (toysat) S 18890 18893 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12282303 1338576896 268159 33554432000 4194304 16246674 140735215389568 140104905501936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18893/tid=18895] ppid=18890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18895/stat : 18895 (toysat) S 18890 18893 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12282303 1338576896 268159 33554432000 4194304 16246674 140735215389568 140104895012080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18893/tid=18896] ppid=18890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18896/stat : 18896 (toysat) S 18890 18893 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12282303 1338576896 268159 33554432000 4194304 16246674 140735215389568 140104884538544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 1307204

[startup+1002.3 s]
/proc/loadavg: 2.41 2.39 2.17 4/183 19040
/proc/meminfo: memFree=26201500/32872528 swapFree=1590004/1720820
[pid=18893] ppid=18890 vsize=1307204 CPUtime=1001.91 cores=1,3,5,7
/proc/18893/stat : 18893 (toysat) R 18890 18893 13693 0 -1 4202496 268183 0 0 0 100125 66 0 0 20 0 4 0 12282303 1338576896 268159 33554432000 4194304 16246674 140735215389568 140735215371456 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18893/statm: 326801 268159 790 2943 0 323695 0
[pid=18893/tid=18894] ppid=18890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18894/stat : 18894 (toysat) S 18890 18893 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12282303 1338576896 268159 33554432000 4194304 16246674 140735215389568 140104905501936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18893/tid=18895] ppid=18890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18895/stat : 18895 (toysat) S 18890 18893 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12282303 1338576896 268159 33554432000 4194304 16246674 140735215389568 140104895012080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18893/tid=18896] ppid=18890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18896/stat : 18896 (toysat) S 18890 18893 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12282303 1338576896 268159 33554432000 4194304 16246674 140735215389568 140104884538544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 1307204

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

[startup+1011.2 s]
/proc/loadavg: 2.46 2.40 2.18 3/183 19040
/proc/meminfo: memFree=26200984/32872528 swapFree=1590004/1720820
[pid=18893] ppid=18890 vsize=1307204 CPUtime=1010.8 cores=1,3,5,7
/proc/18893/stat : 18893 (toysat) R 18890 18893 13693 0 -1 4202496 268183 0 0 0 101014 66 0 0 20 0 4 0 12282303 1338576896 268159 33554432000 4194304 16246674 140735215389568 140735215371456 13927243 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18893/statm: 326801 268159 790 2943 0 323695 0
[pid=18893/tid=18894] ppid=18890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18894/stat : 18894 (toysat) S 18890 18893 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12282303 1338576896 268159 33554432000 4194304 16246674 140735215389568 140104905501936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18893/tid=18895] ppid=18890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18895/stat : 18895 (toysat) S 18890 18893 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12282303 1338576896 268159 33554432000 4194304 16246674 140735215389568 140104895012080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18893/tid=18896] ppid=18890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18896/stat : 18896 (toysat) S 18890 18893 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12282303 1338576896 268159 33554432000 4194304 16246674 140735215389568 140104884538544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1010.8
Current children cumulated vsize (KiB) 1307204

[startup+1024 s]
/proc/loadavg: 2.42 2.40 2.18 3/183 19040
/proc/meminfo: memFree=26201348/32872528 swapFree=1590004/1720820
[pid=18893] ppid=18890 vsize=1307204 CPUtime=1023.6 cores=1,3,5,7
/proc/18893/stat : 18893 (toysat) R 18890 18893 13693 0 -1 4202496 268184 0 0 0 102294 66 0 0 20 0 4 0 12282303 1338576896 268160 33554432000 4194304 16246674 140735215389568 140735215372568 5545907 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18893/statm: 326801 268160 791 2943 0 323695 0
[pid=18893/tid=18894] ppid=18890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18894/stat : 18894 (toysat) S 18890 18893 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12282303 1338576896 268160 33554432000 4194304 16246674 140735215389568 140104905501936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18893/tid=18895] ppid=18890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18895/stat : 18895 (toysat) S 18890 18893 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12282303 1338576896 268160 33554432000 4194304 16246674 140735215389568 140104895012080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18893/tid=18896] ppid=18890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18896/stat : 18896 (toysat) S 18890 18893 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12282303 1338576896 268160 33554432000 4194304 16246674 140735215389568 140104884538544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1023.6
Current children cumulated vsize (KiB) 1307204

[startup+1027.2 s]
/proc/loadavg: 2.42 2.40 2.18 3/183 19040
/proc/meminfo: memFree=26201348/32872528 swapFree=1590004/1720820
[pid=18893] ppid=18890 vsize=1307204 CPUtime=1026.8 cores=1,3,5,7
/proc/18893/stat : 18893 (toysat) R 18890 18893 13693 0 -1 4202496 268184 0 0 0 102614 66 0 0 20 0 4 0 12282303 1338576896 268160 33554432000 4194304 16246674 140735215389568 140735215372560 6861764 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18893/statm: 326801 268160 791 2943 0 323695 0
[pid=18893/tid=18894] ppid=18890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18894/stat : 18894 (toysat) S 18890 18893 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12282303 1338576896 268160 33554432000 4194304 16246674 140735215389568 140104905501936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18893/tid=18895] ppid=18890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18895/stat : 18895 (toysat) S 18890 18893 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12282303 1338576896 268160 33554432000 4194304 16246674 140735215389568 140104895012080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18893/tid=18896] ppid=18890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18896/stat : 18896 (toysat) S 18890 18893 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12282303 1338576896 268160 33554432000 4194304 16246674 140735215389568 140104884538544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1026.8
Current children cumulated vsize (KiB) 1307204

[startup+1028.8 s]
/proc/loadavg: 2.39 2.39 2.18 3/183 19040
/proc/meminfo: memFree=26201348/32872528 swapFree=1590004/1720820
[pid=18893] ppid=18890 vsize=1307204 CPUtime=1028.4 cores=1,3,5,7
/proc/18893/stat : 18893 (toysat) R 18890 18893 13693 0 -1 4202496 268184 0 0 0 102774 66 0 0 20 0 4 0 12282303 1338576896 268160 33554432000 4194304 16246674 140735215389568 140735215371456 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18893/statm: 326801 268160 791 2943 0 323695 0
[pid=18893/tid=18894] ppid=18890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18894/stat : 18894 (toysat) S 18890 18893 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12282303 1338576896 268160 33554432000 4194304 16246674 140735215389568 140104905501936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18893/tid=18895] ppid=18890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18895/stat : 18895 (toysat) S 18890 18893 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12282303 1338576896 268160 33554432000 4194304 16246674 140735215389568 140104895012080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18893/tid=18896] ppid=18890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18896/stat : 18896 (toysat) S 18890 18893 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12282303 1338576896 268160 33554432000 4194304 16246674 140735215389568 140104884538544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1028.4
Current children cumulated vsize (KiB) 1307204

[startup+1030.4 s]
/proc/loadavg: 2.39 2.39 2.18 3/183 19040
/proc/meminfo: memFree=26201348/32872528 swapFree=1590004/1720820
[pid=18893] ppid=18890 vsize=1307204 CPUtime=1030 cores=1,3,5,7
/proc/18893/stat : 18893 (toysat) R 18890 18893 13693 0 -1 4202496 268184 0 0 0 102934 66 0 0 20 0 4 0 12282303 1338576896 268160 33554432000 4194304 16246674 140735215389568 140735215372568 13906976 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18893/statm: 326801 268160 791 2943 0 323695 0
[pid=18893/tid=18894] ppid=18890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18894/stat : 18894 (toysat) S 18890 18893 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12282303 1338576896 268160 33554432000 4194304 16246674 140735215389568 140104905501936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18893/tid=18895] ppid=18890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18895/stat : 18895 (toysat) S 18890 18893 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12282303 1338576896 268160 33554432000 4194304 16246674 140735215389568 140104895012080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18893/tid=18896] ppid=18890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18896/stat : 18896 (toysat) S 18890 18893 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12282303 1338576896 268160 33554432000 4194304 16246674 140735215389568 140104884538544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1030
Current children cumulated vsize (KiB) 1307204

[startup+1030.81 s]
/proc/loadavg: 2.39 2.39 2.18 3/183 19040
/proc/meminfo: memFree=26201332/32872528 swapFree=1590004/1720820
[pid=18893] ppid=18890 vsize=1307204 CPUtime=1030.41 cores=1,3,5,7
/proc/18893/stat : 18893 (toysat) R 18890 18893 13693 0 -1 4202496 268184 0 0 0 102975 66 0 0 20 0 4 0 12282303 1338576896 268160 33554432000 4194304 16246674 140735215389568 140735215372568 5652780 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18893/statm: 326801 268160 791 2943 0 323695 0
[pid=18893/tid=18894] ppid=18890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18894/stat : 18894 (toysat) S 18890 18893 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12282303 1338576896 268160 33554432000 4194304 16246674 140735215389568 140104905501936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18893/tid=18895] ppid=18890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18895/stat : 18895 (toysat) S 18890 18893 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12282303 1338576896 268160 33554432000 4194304 16246674 140735215389568 140104895012080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18893/tid=18896] ppid=18890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18896/stat : 18896 (toysat) S 18890 18893 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12282303 1338576896 268160 33554432000 4194304 16246674 140735215389568 140104884538544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1030.41
Current children cumulated vsize (KiB) 1307204

[startup+1031.2 s]
/proc/loadavg: 2.39 2.39 2.18 3/183 19040
/proc/meminfo: memFree=26201332/32872528 swapFree=1590004/1720820
[pid=18893] ppid=18890 vsize=1307204 CPUtime=1030.8 cores=1,3,5,7
/proc/18893/stat : 18893 (toysat) R 18890 18893 13693 0 -1 4202496 268184 0 0 0 103014 66 0 0 20 0 4 0 12282303 1338576896 268160 33554432000 4194304 16246674 140735215389568 140735215372568 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18893/statm: 326801 268160 791 2943 0 323695 0
[pid=18893/tid=18894] ppid=18890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18894/stat : 18894 (toysat) S 18890 18893 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12282303 1338576896 268160 33554432000 4194304 16246674 140735215389568 140104905501936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18893/tid=18895] ppid=18890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18895/stat : 18895 (toysat) S 18890 18893 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12282303 1338576896 268160 33554432000 4194304 16246674 140735215389568 140104895012080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18893/tid=18896] ppid=18890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18893/task/18896/stat : 18896 (toysat) S 18890 18893 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12282303 1338576896 268160 33554432000 4194304 16246674 140735215389568 140104884538544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1030.8
Current children cumulated vsize (KiB) 1307204

Child status: 0
Real time (s): 1031.24
CPU time (s): 1030.84
CPU user time (s): 1030.18
CPU system time (s): 0.666898
CPU usage (%): 99.9619
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1030.18
system time used= 0.666898
maximum resident set size= 1072652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268189
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= 396
involuntary context switches= 1644

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.58561 second user time and 4.02739 second system time

The end

Launcher Data 

Begin job on node120 at 2016-06-30 21:00:38
IDJOB=4121034
IDBENCH=110247
IDSOLVER=2542
FILE ID=node120/4121034-1467313238
RUNJOBID= node120-1467312316-18593
PBS_JOBID= 20005266
Free space on /tmp= 71656 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n29-d4-i2.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-4121034-1467313238/watcher-4121034-1467313238 -o /tmp/evaluation-result-4121034-1467313238/solver-4121034-1467313238 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467312316-18593 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121034-1467313238.opb

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

MD5SUM BENCH= 9ab48804874b4fcb452ce7a25453965c
RANDOM SEED=2125382053

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.669
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.669
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:        27271592 kB
Buffers:          166864 kB
Cached:          1879980 kB
SwapCached:            0 kB
Active:          1369324 kB
Inactive:        1763048 kB
Active(anon):    1087856 kB
Inactive(anon):        0 kB
Active(file):     281468 kB
Inactive(file):  1763048 kB
Unevictable:     1720820 kB
Mlocked:         1590004 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16308 kB
Writeback:             0 kB
AnonPages:       2802132 kB
Mapped:            17124 kB
Shmem:               204 kB
Slab:             611708 kB
SReclaimable:      55952 kB
SUnreclaim:       555756 kB
KernelStack:        1528 kB
PageTables:         9500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2942448 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    135168 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= 71640 MiB
End job on node120 at 2016-06-30 21:17:49