Trace number 4079301

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.1 1800.51

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat70_4_22_0.opb
MD5SUMca79c3a72fcbc528e4a81e658af79fe0
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4276771
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9940
Total number of constraints14846
Number of constraints which are clauses140
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints14700
Minimum length of a constraint2
Maximum length of a constraint2415
Number of terms in the objective function 9730
Biggest coefficient in the objective function 134217728
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 100330219838
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 134217728
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 100330219838
Number of bits of the biggest sum of numbers37
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-08T00:05:20+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-4079301-1465337120.opb"]
0.00/0.01	c use --random-gen="1812716975 509486983 3039938133 1339250397 798711653 355659350 1558432848 1970724632 1023905486 3935022714 1132278153 2826936746 3678907212 2729308617 3463817026 3837438902 668027806 3951400490 775817589 1820197958 2986854368 3186949705 176355447 3029841592 3662308180 2282005620 2882177982 2186440900 2190209528 21877343 3816247058 3151736014 2998439988 2185214709 1851353753 473504073 3208796628 3678337795 683357681 44660622 1333338161 2588662482 782321066 2840795788 1684186407 212832838 921846952 2951085531 1413335873 1320698999 2947017113 632395765 2202898892 2487151864 1968812406 2212357859 4119873566 3350311005 2598957011 1260371760 2126893568 2778850551 3289426324 502502 2535807880 2114966730 187974934 1404197198 1766224663 711284458 435722582 305447841 1804382140 1254916261 2215782386 4293966049 1422384893 3888173217 1983593388 3854515773 805801831 610295897 3044734497 787557692 227503199 1058184103 2198280225 3875065444 2646085396 3827889334 3694988999 3538165592 2842236879 1726894610 3167022428 1899576011 681685178 3951313310 1074336576 399690740 1068332218 1132622706 1183056966 704666695 1650742763 3988758568 708464700 3197874877 289991448 2657772875 1129906148 752994439 15098084 3482880292 2280374327 3594891889 3667880290 3888057622 4284367832 776948547 2899520509 228326599 1334370330 1315074441 500217309 427955517 1408821671 2703979740 2977970988 41434956 2269451718 1872542368 3402923484 678553400 3430451643 2398796361 692182224 1087646194 2264182097 465786913 555522012 661103932 2387511652 1588539237 1079866660 1217495639 2254390228 895175089 253694037 1933889431 501008841 1283765483 1694704923 944994986 1764049336 3755235714 787070553 3667424911 3949065014 913361260 3536233916 3012337790 3656669439 2363921317 2702662124 4140896628 1386992393 1361709099 1358706541 3905783304 3153263370 1228324536 4114607553 2503341703 2190038923 645209603 3078320427 1088002211 3610986889 2709645614 2022876681 3529359369 466126675 3647407432 588787812 2971937608 604520779 3610862316 1640873090 3249591585 3573410413 2484461265 3402244767 1715984247 159694209 2388084835 3581446855 2070775817 4069462991 653527651 1358445834 523373810 84391914 3288109092 1273578347 2143991631 3449719225 4170823627 1465682417 338005208 4086081517 1947735611 1478374045 1085729498 3823691265 2755292799 3285569687 2371871129 2107103604 3463183960 155708838 2270520341 2685639622 1975359846 2777303192 3900224403 1326678133 3733269435 2638874961 3669419747 2293615467 41958354 3829427752 2197185881 3032770541 2112056239 2102004367 2985088870 1607050818 4081450024 2999354987 1069966680 3237303794 1187834678 3299513360 519800114 2237879198 2319313550 2981512003 410182565 105451453 4277573949 2384118088 934415432 2275965063 2413000854 255 362436" option to reproduce the execution
0.19/0.20	c #vars 9940
0.19/0.20	c #constraints 14846
0.69/0.73	c BCD2: Hardening is enabled.
0.69/0.73	c BCD2: BiasedSearch is enabled.
0.69/0.73	c Solving starts ...
0.69/0.73	c ============================[ Search Statistics ]============================
0.69/0.73	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.69/0.73	c       |         |          |          |    Limit     GC | Var      | Constra 
0.69/0.73	c =============================================================================
0.69/0.73	c  0.0s |       0 |        0 |        0 |    11482      0 |      140 |        0
0.99/1.03	c  0.3s |       1 |      151 |      100 |    11482      0 |      140 |        0
2.89/2.97	c  2.2s |       2 |     1308 |      250 |    12631      0 |      140 |        0
4.89/4.90	c  4.2s |       3 |     1666 |      475 |    13895      0 |      140 |        0
6.70/6.71	c  6.0s |       4 |     2062 |      813 |    15285      0 |      140 |        0
9.79/9.82	c  9.1s |       4 |     2357 |     1013 |    16814      0 |      140 |        0
12.99/13.01	c 12.3s |       4 |     2584 |     1213 |    16814      0 |      140 |        0
14.19/14.26	c 13.5s |       5 |     2830 |     1320 |    16814      0 |      140 |        0
16.29/16.33	c 15.6s |       5 |     3532 |     1920 |    18496      0 |      140 |        0
16.79/16.82	c 16.1s |       6 |     3700 |     2081 |    20346      0 |      140 |        0
19.19/19.28	c 18.5s |       6 |     4234 |     2381 |    20346      0 |      140 |        0
22.09/22.18	c 21.4s |       6 |     4550 |     2681 |    20346      0 |      140 |        0
24.79/24.88	c 24.1s |       6 |     4871 |     2981 |    20346      0 |      140 |        0
26.98/27.05	c 26.3s |       7 |     5132 |     3223 |    22381      0 |      140 |        0
29.48/29.57	c 28.8s |       7 |     5475 |     3423 |    22381      0 |      140 |        0
31.99/32.04	c 31.3s |       7 |     5727 |     3623 |    22381      0 |      140 |        0
34.38/34.42	c 33.7s |       7 |     5942 |     3823 |    22381      0 |      140 |        0
37.28/37.36	c 36.6s |       7 |     6248 |     4123 |    22381      0 |      140 |        0
39.88/39.90	c 39.2s |       7 |     6583 |     4323 |    22381      0 |      140 |        0
42.58/42.64	c 41.9s |       7 |     6959 |     4623 |    22381      0 |      140 |        0
44.98/45.05	c 44.3s |       7 |     7285 |     4923 |    24620      0 |      140 |        0
45.09/45.19	c 44.5s |       8 |     7304 |     4936 |    24620      0 |      140 |        0
47.58/47.60	c 46.9s |       8 |     7603 |     5136 |    24620      0 |      140 |        0
49.78/49.88	c 49.1s |       8 |     7851 |     5336 |    24620      0 |      140 |        0
52.28/52.32	c 51.6s |       8 |     8063 |     5536 |    24620      0 |      140 |        0
54.68/54.78	c 54.0s |       8 |     8291 |     5736 |    24620      0 |      140 |        0
57.48/57.59	c 56.9s |       8 |     8634 |     6036 |    24620      0 |      140 |        0
59.98/60.07	c 59.3s |       8 |     8869 |     6236 |    24620      0 |      140 |        0
62.48/62.56	c 61.8s |       8 |     9182 |     6436 |    24620      0 |      140 |        0
65.88/65.92	c 65.2s |       8 |     9531 |     6736 |    24620      0 |      140 |        0
68.18/68.23	c 67.5s |       8 |     9756 |     6936 |    24620      0 |      140 |        0
70.48/70.50	c 69.8s |       8 |    10080 |     7236 |    24620      0 |      140 |        0
73.18/73.20	c 72.5s |       8 |    10303 |     7436 |    24620      0 |      140 |        0
74.08/74.17	c 73.4s |       9 |    10377 |     7506 |    27083      0 |      140 |        0
76.18/76.30	c 75.6s |       9 |    10682 |     7706 |    27083      0 |      140 |        0
78.68/78.79	c 78.1s |       9 |    10888 |     7906 |    27083      0 |      140 |        0
81.48/81.57	c 80.8s |       9 |    11160 |     8106 |    27083      0 |      140 |        0
83.77/83.89	c 83.2s |       9 |    11473 |     8406 |    27083      0 |      140 |        0
85.88/85.94	c 85.2s |       9 |    11686 |     8606 |    27083      0 |      140 |        0
88.47/88.55	c 87.8s |       9 |    11944 |     8806 |    27083      0 |      140 |        0
90.57/90.60	c 89.9s |       9 |    12252 |     9006 |    27083      0 |      140 |        0
93.48/93.51	c 92.8s |       9 |    12468 |     9206 |    27083      0 |      140 |        0
95.78/95.89	c 95.2s |       9 |    12706 |     9406 |    27083      0 |      140 |        0
99.37/99.44	c 98.7s |       9 |    13200 |     9706 |    27083      0 |      140 |        0
102.17/102.29	c  101s |       9 |    13405 |     9906 |    27083      0 |      140 |        0
104.47/104.60	c  103s |       9 |    13731 |    10206 |    27083      0 |      140 |        0
107.47/107.50	c  106s |       9 |    13963 |    10406 |    27083      0 |      140 |        0
109.97/110.05	c  109s |       9 |    14197 |    10606 |    27083      0 |      140 |        0
112.56/112.65	c  111s |       9 |    14400 |    10806 |    27083      0 |      140 |        0
115.36/115.42	c  114s |       9 |    14763 |    11106 |    27083      0 |      140 |        0
117.46/117.54	c  116s |       9 |    15025 |    11306 |    29792      0 |      140 |        0
117.77/117.84	c  117s |      10 |    15082 |    11361 |    29792      0 |      140 |        0
120.16/120.25	c  119s |      10 |    15387 |    11561 |    29792      0 |      140 |        0
122.97/123.05	c  122s |      10 |    15748 |    11861 |    29792      0 |      140 |        0
125.77/125.86	c  125s |      10 |    16096 |    12161 |    29792      0 |      140 |        0
128.37/128.47	c  127s |      10 |    16427 |    12461 |    29792      0 |      140 |        0
131.77/131.89	c  131s |      10 |    16761 |    12761 |    29792      0 |      140 |        0
134.37/134.46	c  133s |      10 |    17022 |    12961 |    29792      0 |      140 |        0
136.67/136.70	c  135s |      10 |    17267 |    13161 |    29792      0 |      140 |        0
139.68/139.71	c  138s |      10 |    17653 |    13461 |    29792      0 |      140 |        0
142.77/142.88	c  142s |      10 |    17860 |    13661 |    29792      0 |      140 |        0
144.77/144.88	c  144s |      10 |    18080 |    13861 |    29792      0 |      140 |        0
147.47/147.53	c  146s |      10 |    18338 |    14061 |    29792      0 |      140 |        0
150.47/150.54	c  149s |      10 |    18684 |    14361 |    29792      0 |      140 |        0
153.07/153.17	c  152s |      10 |    18941 |    14561 |    29792      0 |      140 |        0
155.57/155.60	c  154s |      10 |    19175 |    14761 |    29792      0 |      140 |        0
158.57/158.63	c  157s |      10 |    19541 |    15061 |    29792      0 |      140 |        0
161.57/161.63	c  160s |      10 |    19784 |    15261 |    29792      0 |      140 |        0
164.27/164.37	c  163s |      10 |    20007 |    15461 |    29792      0 |      140 |        0
166.86/166.95	c  166s |      10 |    20372 |    15761 |    29792      0 |      140 |        0
169.56/169.65	c  168s |      10 |    20655 |    15961 |    29792      0 |      140 |        0
171.76/171.82	c  171s |      10 |    20903 |    16161 |    29792      0 |      140 |        0
173.87/173.98	c  173s |      10 |    21282 |    16461 |    29792      0 |      140 |        0
176.56/176.66	c  175s |      10 |    21490 |    16661 |    29792      0 |      140 |        0
179.76/179.90	c  179s |      10 |    21697 |    16861 |    29792      0 |      140 |        0
183.06/183.12	c  182s |      10 |    21919 |    17061 |    32772      0 |      140 |        0
184.36/184.45	c  183s |      11 |    21999 |    17144 |    32772      0 |      140 |        0
187.07/187.18	c  186s |      11 |    22379 |    17444 |    32772      0 |      140 |        0
189.76/189.88	c  189s |      11 |    22911 |    17944 |    32772      0 |      140 |        0
191.95/192.01	c  191s |      11 |    23153 |    18144 |    32772      0 |      140 |        0
194.25/194.39	c  193s |      11 |    23580 |    18444 |    32772      0 |      140 |        0
197.35/197.40	c  196s |      11 |    24000 |    18744 |    32772      0 |      140 |        0
199.55/199.62	c  198s |      11 |    24244 |    18944 |    32772      0 |      140 |        0
202.05/202.13	c  201s |      11 |    24473 |    19144 |    32772      0 |      140 |        0
204.25/204.34	c  203s |      11 |    24824 |    19444 |    32772      0 |      140 |        0
206.45/206.51	c  205s |      11 |    25050 |    19644 |    32772      0 |      140 |        0
208.65/208.78	c  208s |      11 |    25273 |    19844 |    32772      0 |      140 |        0
211.45/211.51	c  210s |      11 |    25590 |    20144 |    32772      0 |      140 |        0
214.05/214.12	c  213s |      11 |    25827 |    20344 |    32772      0 |      140 |        0
216.45/216.55	c  215s |      11 |    26036 |    20544 |    32772      0 |      140 |        0
218.65/218.73	c  217s |      11 |    26272 |    20744 |    32772      0 |      140 |        0
220.65/220.77	c  220s |      11 |    26486 |    20944 |    32772      0 |      140 |        0
223.55/223.64	c  222s |      11 |    26701 |    21144 |    32772      0 |      140 |        0
226.15/226.25	c  225s |      11 |    27013 |    21444 |    32772      0 |      140 |        0
228.55/228.61	c  227s |      11 |    27233 |    21644 |    32772      0 |      140 |        0
231.55/231.67	c  230s |      11 |    27546 |    21944 |    32772      0 |      140 |        0
234.25/234.31	c  233s |      11 |    27790 |    22144 |    32772      0 |      140 |        0
236.65/236.73	c  235s |      11 |    27996 |    22344 |    32772      0 |      140 |        0
238.95/239.04	c  238s |      11 |    28388 |    22644 |    32772      0 |      140 |        0
241.45/241.56	c  240s |      11 |    28723 |    22944 |    32772      0 |      140 |        0
243.85/243.92	c  243s |      11 |    29164 |    23344 |    32772      0 |      140 |        0
246.05/246.19	c  245s |      11 |    29611 |    23744 |    32772      0 |      140 |        0
248.56/248.65	c  247s |      11 |    30024 |    24144 |    32772      0 |      140 |        0
251.35/251.45	c  250s |      11 |    30242 |    24344 |    32772      0 |      140 |        0
254.06/254.19	c  253s |      11 |    30451 |    24544 |    32772      0 |      140 |        0
257.14/257.27	c  256s |      11 |    30804 |    24844 |    32772      0 |      140 |        0
259.65/259.74	c  259s |      11 |    31032 |    25044 |    32772      0 |      140 |        0
262.44/262.56	c  261s |      11 |    31274 |    25244 |    32772      0 |      140 |        0
264.44/264.59	c  263s |      11 |    31487 |    25444 |    32772      0 |      140 |        0
267.14/267.30	c  266s |      11 |    31711 |    25644 |    32772      0 |      140 |        0
268.24/268.32	c  267s |      12 |    31893 |    25819 |    36050      0 |      140 |        0
270.24/270.37	c  269s |      12 |    32060 |    25919 |    36050      0 |      140 |        0
273.24/273.30	c  272s |      12 |    32291 |    26119 |    36050      0 |      140 |        0
276.15/276.24	c  275s |      12 |    32501 |    26319 |    36050      0 |      140 |        0
278.14/278.27	c  277s |      12 |    32848 |    26619 |    36050      0 |      140 |        0
280.84/280.91	c  280s |      12 |    33154 |    26819 |    36050      0 |      140 |        0
283.85/283.99	c  283s |      12 |    33374 |    27019 |    36050      0 |      140 |        0
286.05/286.14	c  285s |      12 |    33629 |    27219 |    36050      0 |      140 |        0
288.44/288.52	c  287s |      12 |    33895 |    27419 |    36050      0 |      140 |        0
291.34/291.47	c  290s |      12 |    34195 |    27619 |    36050      0 |      140 |        0
293.84/293.98	c  293s |      12 |    34399 |    27819 |    36050      0 |      140 |        0
296.14/296.29	c  295s |      12 |    34618 |    28019 |    36050      0 |      140 |        0
298.54/298.69	c  297s |      12 |    34856 |    28219 |    36050      0 |      140 |        0
301.24/301.33	c  300s |      12 |    35074 |    28419 |    36050      0 |      140 |        0
304.23/304.34	c  303s |      12 |    35433 |    28719 |    36050      0 |      140 |        0
307.43/307.56	c  306s |      12 |    35858 |    29119 |    36050      0 |      140 |        0
310.53/310.69	c  309s |      12 |    36066 |    29319 |    36050      0 |      140 |        0
312.63/312.75	c  312s |      12 |    36289 |    29519 |    36050      0 |      140 |        0
315.33/315.49	c  314s |      12 |    36533 |    29719 |    36050      0 |      140 |        0
318.23/318.36	c  317s |      12 |    36763 |    29919 |    36050      0 |      140 |        0
321.43/321.51	c  320s |      12 |    36980 |    30119 |    36050      0 |      140 |        0
324.34/324.49	c  323s |      12 |    37206 |    30319 |    36050      0 |      140 |        0
326.54/326.66	c  325s |      12 |    37429 |    30519 |    36050      0 |      140 |        0
328.94/329.03	c  328s |      12 |    37648 |    30719 |    36050      0 |      140 |        0
331.54/331.64	c  330s |      12 |    37885 |    30919 |    36050      0 |      140 |        0
334.44/334.54	c  333s |      12 |    38137 |    31119 |    36050      0 |      140 |        0
336.54/336.66	c  335s |      12 |    38359 |    31319 |    36050      0 |      140 |        0
339.53/339.63	c  338s |      12 |    38593 |    31519 |    36050      0 |      140 |        0
342.93/343.02	c  342s |      12 |    38828 |    31719 |    36050      0 |      140 |        0
346.13/346.23	c  345s |      12 |    39150 |    32019 |    36050      0 |      140 |        0
348.83/348.95	c  348s |      12 |    39370 |    32219 |    36050      0 |      140 |        0
352.13/352.28	c  351s |      12 |    39598 |    32419 |    36050      0 |      140 |        0
354.93/355.05	c  354s |      12 |    39799 |    32619 |    36050      0 |      140 |        0
357.23/357.35	c  356s |      12 |    40119 |    32919 |    36050      0 |      140 |        0
360.43/360.59	c  359s |      12 |    40462 |    33219 |    36050      0 |      140 |        0
363.13/363.20	c  362s |      12 |    40665 |    33419 |    36050      0 |      140 |        0
366.63/366.71	c  365s |      12 |    40881 |    33619 |    36050      0 |      140 |        0
369.43/369.59	c  368s |      12 |    41093 |    33819 |    36050      0 |      140 |        0
372.03/372.11	c  371s |      12 |    41320 |    34019 |    36050      0 |      140 |        0
374.32/374.46	c  373s |      12 |    41773 |    34419 |    36050      0 |      140 |        0
376.42/376.50	c  375s |      12 |    41906 |    34519 |    36050      0 |      140 |        0
378.52/378.60	c  377s |      12 |    42032 |    34619 |    36050      0 |      140 |        0
381.92/382.09	c  381s |      12 |    42238 |    34819 |    36050      0 |      140 |        0
385.12/385.27	c  384s |      12 |    42473 |    35019 |    36050      0 |      140 |        0
387.62/387.71	c  386s |      12 |    42571 |    35119 |    36050      0 |      140 |        0
390.92/391.06	c  390s |      12 |    42784 |    35319 |    36050      0 |      140 |        0
393.02/393.12	c  392s |      12 |    42895 |    35419 |    36050      0 |      140 |        0
395.12/395.28	c  394s |      12 |    43109 |    35619 |    36050      0 |      140 |        0
397.42/397.52	c  396s |      12 |    43328 |    35819 |    36050      0 |      140 |        0
399.52/399.68	c  398s |      12 |    43438 |    35919 |    36050      0 |      140 |        0
403.42/403.58	c  402s |      12 |    43647 |    36119 |    36050      0 |      140 |        0
406.92/407.01	c  406s |      12 |    43864 |    36319 |    36050      0 |      140 |        0
409.32/409.44	c  408s |      12 |    43979 |    36419 |    36050      0 |      140 |        0
412.62/412.76	c  412s |      12 |    44231 |    36619 |    36050      0 |      140 |        0
415.01/415.16	c  414s |      12 |    44696 |    37019 |    36050      0 |      140 |        0
418.11/418.29	c  417s |      12 |    44921 |    37219 |    36050      0 |      140 |        0
420.91/421.09	c  420s |      12 |    45145 |    37419 |    36050      0 |      140 |        0
424.52/424.62	c  423s |      12 |    45387 |    37619 |    36050      0 |      140 |        0
426.61/426.77	c  426s |      12 |    45500 |    37719 |    36050      0 |      140 |        0
428.92/429.07	c  428s |      12 |    45815 |    38019 |    36050      0 |      140 |        0
432.32/432.50	c  431s |      12 |    46229 |    38319 |    36050      0 |      140 |        0
434.42/434.51	c  433s |      12 |    46332 |    38419 |    36050      0 |      140 |        0
437.11/437.26	c  436s |      12 |    46551 |    38619 |    39655      0 |      140 |        0
441.02/441.18	c  440s |      12 |    46767 |    38819 |    39655      0 |      140 |        0
441.21/441.32	c  440s |      13 |    46784 |    38832 |    39655      0 |      140 |        0
443.42/443.55	c  442s |      13 |    46959 |    38932 |    39655      0 |      140 |        0
446.92/447.09	c  446s |      13 |    47185 |    39132 |    39655      0 |      140 |        0
450.42/450.59	c  449s |      13 |    47423 |    39332 |    39655      0 |      140 |        0
452.62/452.74	c  452s |      13 |    47634 |    39532 |    39655      0 |      140 |        0
456.02/456.11	c  455s |      13 |    47850 |    39732 |    39655      0 |      140 |        0
458.11/458.26	c  457s |      13 |    47961 |    39832 |    39655      0 |      140 |        0
460.41/460.58	c  459s |      13 |    48059 |    39932 |    39655      0 |      140 |        0
462.52/462.61	c  461s |      13 |    48162 |    40032 |    39655      0 |      140 |        0
464.72/464.84	c  464s |      13 |    48269 |    40132 |    39655      0 |      140 |        0
467.91/468.01	c  467s |      13 |    48487 |    40332 |    39655      0 |      140 |        0
470.61/470.72	c  469s |      13 |    48705 |    40532 |    39655      0 |      140 |        0
473.31/473.42	c  472s |      13 |    48915 |    40732 |    39655      0 |      140 |        0
475.41/475.53	c  474s |      13 |    49157 |    40932 |    39655      0 |      140 |        0
478.11/478.24	c  477s |      13 |    49468 |    41232 |    39655      0 |      140 |        0
481.21/481.39	c  480s |      13 |    49781 |    41532 |    39655      0 |      140 |        0
483.41/483.55	c  482s |      13 |    50078 |    41832 |    39655      0 |      140 |        0
486.31/486.44	c  485s |      13 |    50378 |    42132 |    39655      0 |      140 |        0
489.11/489.29	c  488s |      13 |    50608 |    42332 |    39655      0 |      140 |        0
492.21/492.37	c  491s |      13 |    50846 |    42532 |    39655      0 |      140 |        0
494.71/494.88	c  494s |      13 |    51066 |    42732 |    39655      0 |      140 |        0
497.81/497.98	c  497s |      13 |    51385 |    43032 |    39655      0 |      140 |        0
500.71/500.83	c  500s |      13 |    51600 |    43232 |    39655      0 |      140 |        0
503.91/504.09	c  503s |      13 |    51821 |    43432 |    39655      0 |      140 |        0
506.51/506.63	c  505s |      13 |    52009 |    43632 |    39655      0 |      140 |        0
509.70/509.84	c  509s |      13 |    52238 |    43832 |    39655      0 |      140 |        0
511.90/512.08	c  511s |      13 |    52432 |    44032 |    39655      0 |      140 |        0
515.40/515.51	c  514s |      13 |    52668 |    44232 |    39655      0 |      140 |        0
518.50/518.68	c  517s |      13 |    52881 |    44432 |    39655      0 |      140 |        0
521.20/521.32	c  520s |      13 |    53223 |    44632 |    39655      0 |      140 |        0
526.70/526.82	c  526s |      13 |    53424 |    44832 |    39655      1 |      140 |        0
529.30/529.42	c  528s |      13 |    53741 |    45132 |    39655      1 |      140 |        0
531.90/532.05	c  531s |      13 |    53949 |    45332 |    39655      1 |      140 |        0
534.90/535.08	c  534s |      13 |    54298 |    45632 |    39655      1 |      140 |        0
537.50/537.60	c  536s |      13 |    54514 |    45832 |    39655      1 |      140 |        0
540.50/540.64	c  539s |      13 |    54748 |    46032 |    39655      1 |      140 |        0
542.90/543.02	c  542s |      13 |    54965 |    46232 |    39655      1 |      140 |        0
545.30/545.42	c  544s |      13 |    55199 |    46432 |    39655      1 |      140 |        0
548.10/548.28	c  547s |      13 |    55407 |    46632 |    39655      1 |      140 |        0
550.30/550.43	c  549s |      13 |    55613 |    46832 |    39655      1 |      140 |        0
552.60/552.70	c  551s |      13 |    55826 |    47032 |    39655      1 |      140 |        0
555.50/555.62	c  554s |      13 |    56107 |    47232 |    39655      1 |      140 |        0
557.60/557.71	c  556s |      13 |    56333 |    47432 |    39655      1 |      140 |        0
560.00/560.14	c  559s |      13 |    56552 |    47632 |    39655      1 |      140 |        0
562.50/562.65	c  561s |      13 |    56817 |    47832 |    39655      1 |      140 |        0
564.89/565.02	c  564s |      13 |    57158 |    48132 |    39655      1 |      140 |        0
567.29/567.47	c  566s |      13 |    57382 |    48332 |    39655      1 |      140 |        0
569.80/569.96	c  569s |      13 |    57635 |    48532 |    39655      1 |      140 |        0
571.90/572.04	c  571s |      13 |    57853 |    48732 |    39655      1 |      140 |        0
574.99/575.12	c  574s |      13 |    58202 |    49032 |    39655      1 |      140 |        0
577.79/577.96	c  577s |      13 |    58415 |    49232 |    39655      1 |      140 |        0
580.29/580.50	c  579s |      13 |    58725 |    49532 |    39655      1 |      140 |        0
582.79/582.98	c  582s |      13 |    59171 |    49932 |    39655      1 |      140 |        0
585.39/585.51	c  584s |      13 |    59615 |    50332 |    39655      1 |      140 |        0
587.49/587.66	c  586s |      13 |    59947 |    50632 |    39655      1 |      140 |        0
590.79/590.99	c  590s |      13 |    60157 |    50832 |    39655      1 |      140 |        0
594.29/594.41	c  593s |      13 |    60386 |    51032 |    39655      1 |      140 |        0
596.99/597.18	c  596s |      13 |    60602 |    51232 |    39655      1 |      140 |        0
599.09/599.22	c  598s |      13 |    60823 |    51432 |    39655      1 |      140 |        0
601.89/602.01	c  601s |      13 |    61166 |    51732 |    39655      1 |      140 |        0
605.29/605.42	c  604s |      13 |    61399 |    51932 |    39655      1 |      140 |        0
608.09/608.26	c  607s |      13 |    61674 |    52132 |    39655      1 |      140 |        0
610.59/610.78	c  610s |      13 |    62136 |    52532 |    39655      1 |      140 |        0
613.99/614.17	c  613s |      13 |    62352 |    52732 |    39655      1 |      140 |        0
616.59/616.79	c  616s |      13 |    62624 |    52932 |    39655      1 |      140 |        0
618.89/619.08	c  618s |      13 |    62965 |    53232 |    39655      1 |      140 |        0
622.29/622.43	c  621s |      13 |    63326 |    53532 |    39655      1 |      140 |        0
624.79/624.93	c  624s |      13 |    63670 |    53832 |    39655      1 |      140 |        0
628.09/628.22	c  627s |      13 |    64000 |    54132 |    39655      1 |      140 |        0
631.19/631.31	c  630s |      13 |    64239 |    54332 |    39655      1 |      140 |        0
634.59/634.77	c  634s |      13 |    64466 |    54532 |    39655      1 |      140 |        0
638.18/638.32	c  637s |      13 |    64683 |    54732 |    39655      1 |      140 |        0
641.48/641.67	c  640s |      13 |    64897 |    54932 |    39655      1 |      140 |        0
643.68/643.83	c  643s |      13 |    65009 |    55032 |    39655      1 |      140 |        0
647.28/647.46	c  646s |      13 |    65216 |    55232 |    39655      1 |      140 |        0
650.48/650.60	c  649s |      13 |    65431 |    55432 |    39655      1 |      140 |        0
653.78/653.95	c  653s |      13 |    65637 |    55632 |    39655      1 |      140 |        0
657.08/657.25	c  656s |      13 |    66062 |    56032 |    39655      1 |      140 |        0
659.18/659.33	c  658s |      13 |    66161 |    56132 |    39655      1 |      140 |        0
662.88/663.00	c  662s |      13 |    66365 |    56332 |    39655      1 |      140 |        0
666.78/666.90	c  666s |      13 |    66601 |    56532 |    39655      1 |      140 |        0
669.68/669.90	c  669s |      13 |    66833 |    56732 |    39655      1 |      140 |        0
672.77/672.95	c  672s |      13 |    67052 |    56932 |    39655      1 |      140 |        0
676.27/676.48	c  675s |      13 |    67272 |    57132 |    39655      1 |      140 |        0
680.17/680.37	c  679s |      13 |    67483 |    57332 |    39655      1 |      140 |        0
683.77/683.92	c  683s |      13 |    67701 |    57532 |    39655      1 |      140 |        0
686.38/686.59	c  685s |      13 |    68001 |    57832 |    39655      1 |      140 |        0
688.67/688.81	c  688s |      13 |    68368 |    58132 |    43621      1 |      140 |        0
692.47/692.62	c  691s |      13 |    68569 |    58332 |    43621      1 |      140 |        0
692.77/692.96	c  692s |      14 |    68586 |    58352 |    43621      1 |      140 |        0
694.87/695.05	c  694s |      14 |    68764 |    58452 |    43621      1 |      140 |        0
697.87/698.07	c  697s |      14 |    69037 |    58652 |    43621      1 |      140 |        0
701.87/702.02	c  701s |      14 |    69244 |    58852 |    43621      1 |      140 |        0
705.87/706.05	c  705s |      14 |    69558 |    59052 |    43621      1 |      140 |        0
708.38/708.57	c  707s |      14 |    69771 |    59252 |    43621      1 |      140 |        0
711.77/711.90	c  711s |      14 |    70046 |    59452 |    43621      1 |      140 |        0
715.27/715.48	c  714s |      14 |    70285 |    59652 |    43621      1 |      140 |        0
717.67/717.88	c  717s |      14 |    70553 |    59852 |    43621      1 |      140 |        0
720.17/720.38	c  719s |      14 |    70813 |    60052 |    43621      1 |      140 |        0
722.77/722.96	c  722s |      14 |    71074 |    60252 |    43621      1 |      140 |        0
725.76/725.96	c  725s |      14 |    71410 |    60552 |    43621      1 |      140 |        0
728.66/728.88	c  728s |      14 |    71667 |    60752 |    43621      1 |      140 |        0
732.06/732.28	c  731s |      14 |    71890 |    60952 |    43621      1 |      140 |        0
735.16/735.34	c  734s |      14 |    72107 |    61152 |    43621      1 |      140 |        0
738.66/738.83	c  738s |      14 |    72319 |    61352 |    43621      1 |      140 |        0
742.06/742.26	c  741s |      14 |    72528 |    61552 |    43621      1 |      140 |        0
745.06/745.28	c  744s |      14 |    72740 |    61752 |    43621      1 |      140 |        0
747.46/747.68	c  746s |      14 |    72961 |    61952 |    43621      1 |      140 |        0
750.56/750.71	c  749s |      14 |    73291 |    62252 |    43621      1 |      140 |        0
753.96/754.19	c  753s |      14 |    73499 |    62452 |    43621      1 |      140 |        0
757.16/757.39	c  756s |      14 |    73767 |    62652 |    43621      1 |      140 |        0
759.86/760.06	c  759s |      14 |    73980 |    62852 |    43621      1 |      140 |        0
762.56/762.71	c  761s |      14 |    74319 |    63152 |    43621      1 |      140 |        0
765.16/765.38	c  764s |      14 |    74553 |    63352 |    43621      1 |      140 |        0
768.16/768.33	c  767s |      14 |    74797 |    63552 |    43621      1 |      140 |        0
772.06/772.22	c  771s |      14 |    75004 |    63752 |    43621      1 |      140 |        0
774.26/774.45	c  773s |      14 |    75098 |    63852 |    43621      1 |      140 |        0
777.75/777.92	c  777s |      14 |    75313 |    64052 |    43621      1 |      140 |        0
780.35/780.52	c  779s |      14 |    75523 |    64252 |    43621      1 |      140 |        0
783.85/784.03	c  783s |      14 |    75795 |    64452 |    43621      1 |      140 |        0
786.15/786.39	c  785s |      14 |    76084 |    64652 |    43621      1 |      140 |        0
789.25/789.47	c  788s |      14 |    76313 |    64852 |    43621      1 |      140 |        0
792.66/792.87	c  792s |      14 |    76538 |    65052 |    43621      1 |      140 |        0
795.76/795.97	c  795s |      14 |    76772 |    65252 |    43621      1 |      140 |        0
798.85/799.06	c  798s |      14 |    77012 |    65452 |    43621      1 |      140 |        0
802.75/802.91	c  802s |      14 |    77217 |    65652 |    43621      1 |      140 |        0
805.35/805.54	c  804s |      14 |    77428 |    65852 |    43621      1 |      140 |        0
807.95/808.17	c  807s |      14 |    77634 |    66052 |    43621      1 |      140 |        0
810.25/810.40	c  809s |      14 |    77834 |    66252 |    43621      1 |      140 |        0
812.25/812.41	c  811s |      14 |    78137 |    66552 |    43621      1 |      140 |        0
814.35/814.54	c  813s |      14 |    78372 |    66752 |    43621      1 |      140 |        0
817.95/818.19	c  817s |      14 |    78584 |    66952 |    43621      1 |      140 |        0
821.55/821.72	c  820s |      14 |    78782 |    67152 |    43621      1 |      140 |        0
824.25/824.42	c  823s |      14 |    79041 |    67352 |    43621      1 |      140 |        0
826.25/826.49	c  825s |      14 |    79258 |    67552 |    43621      1 |      140 |        0
829.14/829.37	c  828s |      14 |    79710 |    67952 |    43621      1 |      140 |        0
831.65/831.88	c  831s |      14 |    80018 |    68252 |    43621      1 |      140 |        0
833.85/834.06	c  833s |      14 |    80131 |    68352 |    43621      1 |      140 |        0
837.65/837.88	c  837s |      14 |    80347 |    68552 |    43621      1 |      140 |        0
841.95/842.14	c  841s |      14 |    80563 |    68752 |    43621      1 |      140 |        0
844.34/844.58	c  843s |      14 |    80666 |    68852 |    43621      1 |      140 |        0
847.75/847.95	c  847s |      14 |    80907 |    69052 |    43621      1 |      140 |        0
850.54/850.71	c  849s |      14 |    81226 |    69252 |    43621      1 |      140 |        0
852.64/852.89	c  852s |      14 |    81315 |    69352 |    43621      1 |      140 |        0
854.74/854.92	c  854s |      14 |    81434 |    69452 |    43621      1 |      140 |        0
856.75/856.97	c  856s |      14 |    81528 |    69552 |    43621      1 |      140 |        0
860.44/860.63	c  859s |      14 |    81754 |    69752 |    43621      1 |      140 |        0
864.04/864.24	c  863s |      14 |    81959 |    69952 |    43621      1 |      140 |        0
867.44/867.64	c  866s |      14 |    82166 |    70152 |    43621      1 |      140 |        0
870.34/870.55	c  869s |      14 |    82466 |    70352 |    43621      1 |      140 |        0
872.44/872.61	c  871s |      14 |    82587 |    70452 |    43621      1 |      140 |        0
875.94/876.11	c  875s |      14 |    82805 |    70652 |    43621      1 |      140 |        0
879.64/879.80	c  879s |      14 |    83013 |    70852 |    43621      1 |      140 |        0
882.83/883.05	c  882s |      14 |    83250 |    71052 |    43621      1 |      140 |        0
886.34/886.56	c  885s |      14 |    83511 |    71252 |    43621      1 |      140 |        0
889.04/889.25	c  888s |      14 |    83761 |    71452 |    43621      1 |      140 |        0
892.04/892.28	c  891s |      14 |    83862 |    71552 |    43621      2 |      140 |        0
894.73/894.99	c  894s |      14 |    84170 |    71852 |    43621      2 |      140 |        0
898.83/899.03	c  898s |      14 |    84367 |    72052 |    43621      2 |      140 |        0
902.34/902.52	c  901s |      14 |    84585 |    72252 |    43621      2 |      140 |        0
905.63/905.84	c  905s |      14 |    84796 |    72452 |    43621      2 |      140 |        0
909.32/909.58	c  908s |      14 |    85044 |    72652 |    43621      2 |      140 |        0
913.13/913.30	c  912s |      14 |    85278 |    72852 |    43621      2 |      140 |        0
915.03/915.30	c  914s |      14 |    85389 |    72952 |    43621      2 |      140 |        0
917.13/917.34	c  916s |      14 |    85486 |    73052 |    43621      2 |      140 |        0
920.53/920.71	c  919s |      14 |    85711 |    73252 |    43621      2 |      140 |        0
922.93/923.16	c  922s |      14 |    86019 |    73552 |    43621      2 |      140 |        0
925.32/925.54	c  924s |      14 |    86255 |    73752 |    43621      2 |      140 |        0
928.62/928.81	c  928s |      14 |    86530 |    73952 |    43621      2 |      140 |        0
931.02/931.25	c  930s |      14 |    86733 |    74152 |    43621      2 |      140 |        0
933.82/934.03	c  933s |      14 |    87119 |    74452 |    43621      2 |      140 |        0
936.41/936.62	c  935s |      14 |    87355 |    74652 |    43621      2 |      140 |        0
939.52/939.70	c  938s |      14 |    87570 |    74852 |    43621      2 |      140 |        0
942.32/942.50	c  941s |      14 |    87809 |    75052 |    43621      2 |      140 |        0
945.22/945.46	c  944s |      14 |    88025 |    75252 |    43621      2 |      140 |        0
949.31/949.54	c  948s |      14 |    88240 |    75452 |    43621      2 |      140 |        0
951.81/952.08	c  951s |      14 |    88495 |    75652 |    43621      2 |      140 |        0
955.10/955.34	c  954s |      14 |    88715 |    75852 |    43621      2 |      140 |        0
958.20/958.40	c  957s |      14 |    88930 |    76052 |    43621      2 |      140 |        0
961.21/961.48	c  960s |      14 |    89150 |    76252 |    43621      2 |      140 |        0
963.30/963.59	c  962s |      14 |    89254 |    76352 |    43621      2 |      140 |        0
966.50/966.78	c  966s |      14 |    89481 |    76552 |    43621      2 |      140 |        0
968.60/968.82	c  968s |      14 |    89584 |    76652 |    43621      2 |      140 |        0
971.70/971.98	c  971s |      14 |    89942 |    76852 |    43621      2 |      140 |        0
975.30/975.55	c  974s |      14 |    90200 |    77052 |    43621      2 |      140 |        0
978.19/978.48	c  977s |      14 |    90406 |    77252 |    43621      2 |      140 |        0
980.89/981.17	c  980s |      14 |    90619 |    77452 |    43621      2 |      140 |        0
983.30/983.51	c  982s |      14 |    90813 |    77652 |    43621      2 |      140 |        0
986.19/986.45	c  985s |      14 |    91036 |    77852 |    43621      2 |      140 |        0
989.39/989.66	c  988s |      14 |    91246 |    78052 |    43621      2 |      140 |        0
991.49/991.78	c  991s |      14 |    91360 |    78152 |    43621      2 |      140 |        0
993.69/993.93	c  993s |      14 |    91470 |    78252 |    43621      2 |      140 |        0
997.49/997.77	c  997s |      14 |    91682 |    78452 |    43621      2 |      140 |        0
1000.58/1000.83	c 1000s |      14 |    91903 |    78652 |    43621      2 |      140 |        0
1003.79/1004.05	c 1003s |      14 |    92115 |    78852 |    43621      2 |      140 |        0
1006.29/1006.51	c 1005s |      14 |    92207 |    78952 |    43621      2 |      140 |        0
1009.28/1009.55	c 1008s |      14 |    92414 |    79152 |    43621      2 |      140 |        0
1012.28/1012.54	c 1011s |      14 |    92627 |    79352 |    43621      2 |      140 |        0
1016.19/1016.42	c 1015s |      14 |    92865 |    79552 |    43621      2 |      140 |        0
1019.68/1019.96	c 1019s |      14 |    93072 |    79752 |    43621      2 |      140 |        0
1022.48/1022.74	c 1022s |      14 |    93276 |    79952 |    43621      2 |      140 |        0
1024.57/1024.87	c 1024s |      14 |    93386 |    80052 |    43621      2 |      140 |        0
1027.18/1027.43	c 1026s |      14 |    93483 |    80152 |    43621      2 |      140 |        0
1030.87/1031.18	c 1030s |      14 |    93704 |    80352 |    43621      2 |      140 |        0
1033.18/1033.45	c 1032s |      14 |    93809 |    80452 |    43621      2 |      140 |        0
1035.27/1035.58	c 1034s |      14 |    93909 |    80552 |    43621      2 |      140 |        0
1039.27/1039.53	c 1038s |      14 |    94127 |    80752 |    43621      2 |      140 |        0
1044.37/1044.61	c 1043s |      14 |    94363 |    80952 |    43621      2 |      140 |        0
1046.87/1047.20	c 1046s |      14 |    94570 |    81152 |    43621      2 |      140 |        0
1049.87/1050.20	c 1049s |      14 |    94925 |    81452 |    43621      2 |      140 |        0
1053.06/1053.31	c 1052s |      14 |    95133 |    81652 |    43621      2 |      140 |        0
1055.95/1056.26	c 1055s |      14 |    95347 |    81852 |    43621      2 |      140 |        0
1058.66/1058.90	c 1058s |      14 |    95569 |    82052 |    43621      2 |      140 |        0
1060.85/1061.18	c 1060s |      14 |    95895 |    82352 |    43621      2 |      140 |        0
1062.96/1063.23	c 1062s |      14 |    96373 |    82752 |    43621      2 |      140 |        0
1065.16/1065.41	c 1064s |      14 |    96923 |    83252 |    43621      2 |      140 |        0
1067.45/1067.75	c 1067s |      14 |    97273 |    83552 |    43621      2 |      140 |        0
1070.65/1070.92	c 1070s |      14 |    97583 |    83852 |    43621      2 |      140 |        0
1072.66/1072.96	c 1072s |      14 |    98001 |    84252 |    43621      2 |      140 |        0
1074.75/1075.03	c 1074s |      14 |    98348 |    84552 |    43621      2 |      140 |        0
1077.25/1077.57	c 1076s |      14 |    98563 |    84752 |    43621      2 |      140 |        0
1080.55/1080.82	c 1080s |      14 |    98800 |    84952 |    43621      2 |      140 |        0
1083.45/1083.77	c 1083s |      14 |    98985 |    85152 |    43621      2 |      140 |        0
1086.05/1086.36	c 1085s |      14 |    99206 |    85352 |    43621      2 |      140 |        0
1088.54/1088.82	c 1088s |      14 |    99524 |    85652 |    43621      2 |      140 |        0
1091.05/1091.36	c 1090s |      14 |    99993 |    86052 |    43621      2 |      140 |        0
1093.85/1094.12	c 1093s |      14 |   100469 |    86452 |    43621      2 |      140 |        0
1096.85/1097.13	c 1096s |      14 |   100798 |    86752 |    43621      2 |      140 |        0
1099.75/1100.07	c 1099s |      14 |   101169 |    87052 |    47984      2 |      140 |        0
1102.65/1102.94	c 1102s |      14 |   101388 |    87252 |    47984      2 |      140 |        0
1105.44/1105.77	c 1105s |      14 |   101598 |    87452 |    47984      2 |      140 |        0
1106.54/1106.82	c 1106s |      15 |   101800 |    87632 |    47984      2 |      140 |        0
1110.74/1111.05	c 1110s |      15 |   102043 |    87732 |    47984      2 |      140 |        0
1112.83/1113.16	c 1112s |      15 |   102168 |    87832 |    47984      2 |      140 |        0
1114.94/1115.21	c 1114s |      15 |   102273 |    87932 |    47984      2 |      140 |        0
1118.33/1118.65	c 1117s |      15 |   102534 |    88132 |    47984      2 |      140 |        0
1121.53/1121.88	c 1121s |      15 |   102806 |    88332 |    47984      2 |      140 |        0
1128.63/1128.91	c 1128s |      15 |   103129 |    88532 |    47984      2 |      140 |        0
1131.32/1131.63	c 1130s |      15 |   103254 |    88632 |    47984      2 |      140 |        0
1134.33/1134.68	c 1133s |      15 |   103453 |    88832 |    47984      2 |      140 |        0
1137.03/1137.36	c 1136s |      15 |   103697 |    89032 |    47984      2 |      140 |        0
1140.32/1140.63	c 1139s |      15 |   103939 |    89232 |    47984      2 |      140 |        0
1143.22/1143.59	c 1142s |      15 |   104155 |    89432 |    47984      2 |      140 |        0
1146.31/1146.65	c 1145s |      15 |   104366 |    89632 |    47984      2 |      140 |        0
1149.91/1150.20	c 1149s |      15 |   104599 |    89832 |    47984      2 |      140 |        0
1153.91/1154.23	c 1153s |      15 |   104815 |    90032 |    47984      2 |      140 |        0
1157.12/1157.40	c 1156s |      15 |   104914 |    90132 |    47984      2 |      140 |        0
1160.01/1160.38	c 1159s |      15 |   105007 |    90232 |    47984      2 |      140 |        0
1162.91/1163.22	c 1162s |      15 |   105119 |    90332 |    47984      2 |      140 |        0
1166.21/1166.56	c 1165s |      15 |   105247 |    90432 |    47984      2 |      140 |        0
1168.61/1168.91	c 1168s |      15 |   105356 |    90532 |    47984      2 |      140 |        0
1171.32/1171.65	c 1170s |      15 |   105462 |    90632 |    47984      2 |      140 |        0
1173.91/1174.25	c 1173s |      15 |   105570 |    90732 |    47984      2 |      140 |        0
1176.51/1176.82	c 1176s |      15 |   105675 |    90832 |    47984      2 |      140 |        0
1179.10/1179.48	c 1178s |      15 |   105786 |    90932 |    47984      2 |      140 |        0
1182.01/1182.33	c 1181s |      15 |   105905 |    91032 |    47984      2 |      140 |        0
1184.30/1184.68	c 1183s |      15 |   106014 |    91132 |    47984      2 |      140 |        0
1186.90/1187.27	c 1186s |      15 |   106123 |    91232 |    47984      2 |      140 |        0
1189.11/1189.44	c 1188s |      15 |   106250 |    91332 |    47984      2 |      140 |        0
1191.50/1191.80	c 1191s |      15 |   106356 |    91432 |    47984      2 |      140 |        0
1194.20/1194.56	c 1193s |      15 |   106476 |    91532 |    47984      2 |      140 |        0
1197.10/1197.43	c 1196s |      15 |   106579 |    91632 |    47984      2 |      140 |        0
1200.49/1200.86	c 1200s |      15 |   106674 |    91732 |    47984      2 |      140 |        0
1204.69/1205.01	c 1204s |      15 |   106797 |    91832 |    47984      2 |      140 |        0
1208.49/1208.90	c 1208s |      15 |   106892 |    91932 |    47984      2 |      140 |        0
1212.50/1212.83	c 1212s |      15 |   106992 |    92032 |    47984      2 |      140 |        0
1217.59/1217.95	c 1217s |      15 |   107124 |    92132 |    47984      2 |      140 |        0
1222.68/1223.07	c 1222s |      15 |   107228 |    92232 |    47984      2 |      140 |        0
1229.08/1229.40	c 1228s |      15 |   107329 |    92332 |    47984      2 |      140 |        0
1236.09/1236.49	c 1235s |      15 |   107439 |    92432 |    47984      2 |      140 |        0
1243.59/1243.93	c 1243s |      15 |   107564 |    92532 |    47984      2 |      140 |        0
1250.28/1250.69	c 1249s |      15 |   107662 |    92632 |    47984      2 |      140 |        0
1258.18/1258.57	c 1257s |      15 |   107759 |    92732 |    47984      2 |      140 |        0
1266.07/1266.46	c 1265s |      15 |   107866 |    92832 |    47984      2 |      140 |        0
1273.58/1273.96	c 1273s |      15 |   107976 |    92932 |    47984      2 |      140 |        0
1278.77/1279.19	c 1278s |      15 |   108074 |    93032 |    47984      2 |      140 |        0
1285.37/1285.76	c 1285s |      15 |   108172 |    93132 |    47984      2 |      140 |        0
1292.27/1292.66	c 1291s |      15 |   108310 |    93232 |    47984      2 |      140 |        0
1297.17/1297.53	c 1296s |      15 |   108419 |    93332 |    47984      2 |      140 |        0
1301.56/1301.92	c 1301s |      15 |   108535 |    93432 |    47984      2 |      140 |        0
1307.37/1307.74	c 1307s |      15 |   108646 |    93532 |    47984      2 |      140 |        0
1313.87/1314.23	c 1313s |      15 |   108756 |    93632 |    47984      2 |      140 |        0
1319.06/1319.49	c 1318s |      15 |   108862 |    93732 |    47984      2 |      140 |        0
1324.76/1325.19	c 1324s |      15 |   108974 |    93832 |    47984      2 |      140 |        0
1331.67/1332.00	c 1331s |      15 |   109067 |    93932 |    47984      2 |      140 |        0
1339.36/1339.70	c 1338s |      15 |   109189 |    94032 |    47984      2 |      140 |        0
1347.27/1347.67	c 1346s |      15 |   109294 |    94132 |    47984      2 |      140 |        0
1353.46/1353.83	c 1353s |      15 |   109393 |    94232 |    47984      2 |      140 |        0
1357.36/1357.76	c 1357s |      15 |   109504 |    94332 |    47984      2 |      140 |        0
1360.47/1360.82	c 1360s |      15 |   109618 |    94432 |    47984      2 |      140 |        0
1364.46/1364.84	c 1364s |      15 |   109711 |    94532 |    47984      2 |      140 |        0
1368.07/1368.41	c 1367s |      15 |   109825 |    94632 |    47984      2 |      140 |        0
1371.86/1372.27	c 1371s |      15 |   109931 |    94732 |    47984      2 |      140 |        0
1375.15/1375.51	c 1374s |      15 |   110043 |    94832 |    47984      2 |      140 |        0
1378.46/1378.87	c 1378s |      15 |   110145 |    94932 |    47984      2 |      140 |        0
1382.06/1382.44	c 1381s |      15 |   110261 |    95032 |    47984      2 |      140 |        0
1385.15/1385.54	c 1384s |      15 |   110370 |    95132 |    47984      2 |      140 |        0
1388.26/1388.68	c 1387s |      15 |   110473 |    95232 |    47984      2 |      140 |        0
1391.45/1391.86	c 1391s |      15 |   110579 |    95332 |    47984      2 |      140 |        0
1395.05/1395.41	c 1394s |      15 |   110706 |    95432 |    47984      2 |      140 |        0
1398.25/1398.67	c 1397s |      15 |   110826 |    95532 |    47984      2 |      140 |        0
1402.65/1403.05	c 1402s |      15 |   110944 |    95632 |    47984      2 |      140 |        0
1406.66/1407.02	c 1406s |      15 |   111048 |    95732 |    47984      2 |      140 |        0
1410.55/1410.95	c 1410s |      15 |   111143 |    95832 |    47984      2 |      140 |        0
1414.15/1414.59	c 1413s |      15 |   111251 |    95932 |    47984      2 |      140 |        0
1417.75/1418.12	c 1417s |      15 |   111364 |    96032 |    47984      2 |      140 |        0
1421.75/1422.11	c 1421s |      15 |   111469 |    96132 |    47984      2 |      140 |        0
1426.04/1426.47	c 1425s |      15 |   111563 |    96232 |    47984      2 |      140 |        0
1429.45/1429.84	c 1429s |      15 |   111680 |    96332 |    47984      2 |      140 |        0
1432.64/1433.02	c 1432s |      15 |   111798 |    96432 |    47984      2 |      140 |        0
1436.15/1436.57	c 1435s |      15 |   111905 |    96532 |    47984      2 |      140 |        0
1439.35/1439.75	c 1439s |      15 |   112011 |    96632 |    47984      2 |      140 |        0
1442.64/1443.07	c 1442s |      15 |   112118 |    96732 |    47984      2 |      140 |        0
1446.84/1447.22	c 1446s |      15 |   112220 |    96832 |    47984      2 |      140 |        0
1449.94/1450.30	c 1449s |      15 |   112324 |    96932 |    47984      2 |      140 |        0
1454.04/1454.49	c 1453s |      15 |   112428 |    97032 |    47984      2 |      140 |        0
1457.95/1458.34	c 1457s |      15 |   112528 |    97132 |    47984      2 |      140 |        0
1461.55/1461.90	c 1461s |      15 |   112629 |    97232 |    47984      2 |      140 |        0
1463.85/1464.21	c 1463s |      15 |   112742 |    97332 |    47984      2 |      140 |        0
1466.74/1467.16	c 1466s |      15 |   112856 |    97432 |    47984      2 |      140 |        0
1469.64/1470.07	c 1469s |      15 |   112983 |    97532 |    47984      2 |      140 |        0
1473.84/1474.20	c 1473s |      15 |   113083 |    97632 |    47984      2 |      140 |        0
1477.54/1477.92	c 1477s |      15 |   113186 |    97732 |    47984      2 |      140 |        0
1481.64/1482.03	c 1481s |      15 |   113304 |    97832 |    47984      2 |      140 |        0
1484.74/1485.17	c 1484s |      15 |   113408 |    97932 |    47984      2 |      140 |        0
1489.05/1489.41	c 1488s |      15 |   113515 |    98032 |    47984      2 |      140 |        0
1493.34/1493.80	c 1493s |      15 |   113621 |    98132 |    47984      2 |      140 |        0
1497.95/1498.33	c 1497s |      15 |   113721 |    98232 |    47984      2 |      140 |        0
1502.73/1503.14	c 1502s |      15 |   113843 |    98332 |    47984      2 |      140 |        0
1506.54/1506.93	c 1506s |      15 |   113930 |    98432 |    47984      2 |      140 |        0
1509.64/1510.03	c 1509s |      15 |   114062 |    98532 |    47984      2 |      140 |        0
1513.03/1513.43	c 1512s |      15 |   114172 |    98632 |    47984      2 |      140 |        0
1516.24/1516.66	c 1515s |      15 |   114278 |    98732 |    47984      2 |      140 |        0
1519.14/1519.50	c 1518s |      15 |   114387 |    98832 |    47984      2 |      140 |        0
1522.34/1522.71	c 1521s |      15 |   114506 |    98932 |    47984      2 |      140 |        0
1527.33/1527.70	c 1526s |      15 |   114626 |    99032 |    47984      2 |      140 |        0
1531.53/1531.91	c 1531s |      15 |   114732 |    99132 |    47984      2 |      140 |        0
1534.93/1535.39	c 1534s |      15 |   114839 |    99232 |    47984      2 |      140 |        0
1538.83/1539.24	c 1538s |      15 |   114940 |    99332 |    47984      2 |      140 |        0
1542.23/1542.65	c 1541s |      15 |   115043 |    99432 |    47984      2 |      140 |        0
1546.02/1546.44	c 1545s |      15 |   115156 |    99532 |    47984      2 |      140 |        0
1549.73/1550.11	c 1549s |      15 |   115278 |    99632 |    47984      2 |      140 |        0
1553.03/1553.50	c 1552s |      15 |   115406 |    99732 |    47984      2 |      140 |        0
1556.63/1557.08	c 1556s |      15 |   115515 |    99832 |    47984      2 |      140 |        0
1560.73/1561.10	c 1560s |      15 |   115606 |    99932 |    47984      2 |      140 |        0
1564.82/1565.26	c 1564s |      15 |   115723 |   100032 |    47984      2 |      140 |        0
1568.13/1568.50	c 1567s |      15 |   115821 |   100132 |    47984      2 |      140 |        0
1570.54/1570.92	c 1570s |      15 |   115938 |   100232 |    47984      2 |      140 |        0
1573.93/1574.38	c 1573s |      15 |   116076 |   100332 |    47984      2 |      140 |        0
1578.03/1578.46	c 1577s |      15 |   116185 |   100432 |    47984      2 |      140 |        0
1584.33/1584.71	c 1583s |      15 |   116307 |   100532 |    47984      3 |      140 |        0
1588.03/1588.41	c 1587s |      15 |   116405 |   100632 |    47984      3 |      140 |        0
1591.33/1591.73	c 1590s |      15 |   116513 |   100732 |    47984      3 |      140 |        0
1595.42/1595.80	c 1595s |      15 |   116618 |   100832 |    47984      3 |      140 |        0
1599.52/1599.95	c 1599s |      15 |   116722 |   100932 |    47984      3 |      140 |        0
1603.82/1604.21	c 1603s |      15 |   116840 |   101032 |    47984      3 |      140 |        0
1607.72/1608.17	c 1607s |      15 |   116940 |   101132 |    47984      3 |      140 |        0
1611.91/1612.38	c 1611s |      15 |   117045 |   101232 |    47984      3 |      140 |        0
1616.32/1616.77	c 1616s |      15 |   117144 |   101332 |    47984      3 |      140 |        0
1619.92/1620.32	c 1619s |      15 |   117256 |   101432 |    47984      3 |      140 |        0
1623.91/1624.37	c 1623s |      15 |   117353 |   101532 |    47984      3 |      140 |        0
1628.02/1628.46	c 1627s |      15 |   117461 |   101632 |    47984      3 |      140 |        0
1631.51/1631.92	c 1631s |      15 |   117581 |   101732 |    47984      3 |      140 |        0
1635.81/1636.23	c 1635s |      15 |   117669 |   101832 |    47984      3 |      140 |        0
1639.91/1640.32	c 1639s |      15 |   117784 |   101932 |    47984      3 |      140 |        0
1644.51/1644.98	c 1644s |      15 |   117885 |   102032 |    47984      3 |      140 |        0
1648.52/1648.98	c 1648s |      15 |   117989 |   102132 |    47984      3 |      140 |        0
1653.01/1653.47	c 1652s |      15 |   118107 |   102232 |    47984      3 |      140 |        0
1658.01/1658.40	c 1657s |      15 |   118213 |   102332 |    47984      3 |      140 |        0
1661.61/1662.00	c 1661s |      15 |   118317 |   102432 |    47984      3 |      140 |        0
1666.91/1667.38	c 1666s |      15 |   118439 |   102532 |    47984      3 |      140 |        0
1670.81/1671.29	c 1670s |      15 |   118559 |   102632 |    47984      3 |      140 |        0
1676.51/1676.91	c 1676s |      15 |   118654 |   102732 |    47984      3 |      140 |        0
1681.41/1681.80	c 1681s |      15 |   118760 |   102832 |    47984      3 |      140 |        0
1686.70/1687.20	c 1686s |      15 |   118867 |   102932 |    47984      3 |      140 |        0
1690.60/1691.06	c 1690s |      15 |   118975 |   103032 |    47984      3 |      140 |        0
1695.50/1695.92	c 1695s |      15 |   119092 |   103132 |    47984      3 |      140 |        0
1698.91/1699.32	c 1698s |      15 |   119224 |   103232 |    47984      3 |      140 |        0
1703.51/1703.98	c 1703s |      15 |   119333 |   103332 |    47984      3 |      140 |        0
1709.01/1709.45	c 1708s |      15 |   119430 |   103432 |    47984      3 |      140 |        0
1714.00/1714.46	c 1713s |      15 |   119533 |   103532 |    47984      3 |      140 |        0
1718.10/1718.52	c 1717s |      15 |   119648 |   103632 |    47984      3 |      140 |        0
1721.70/1722.15	c 1721s |      15 |   119777 |   103732 |    47984      3 |      140 |        0
1727.40/1727.87	c 1727s |      15 |   119880 |   103832 |    47984      3 |      140 |        0
1733.00/1733.48	c 1732s |      15 |   119981 |   103932 |    47984      3 |      140 |        0
1737.50/1737.91	c 1737s |      15 |   120106 |   104032 |    47984      3 |      140 |        0
1740.70/1741.14	c 1740s |      15 |   120205 |   104132 |    47984      3 |      140 |        0
1743.89/1744.35	c 1743s |      15 |   120305 |   104232 |    47984      3 |      140 |        0
1747.61/1748.02	c 1747s |      15 |   120407 |   104332 |    47984      3 |      140 |        0
1750.80/1751.21	c 1750s |      15 |   120510 |   104432 |    47984      3 |      140 |        0
1753.89/1754.35	c 1753s |      15 |   120637 |   104532 |    47984      3 |      140 |        0
1756.80/1757.23	c 1756s |      15 |   120748 |   104632 |    47984      3 |      140 |        0
1760.19/1760.63	c 1759s |      15 |   120854 |   104732 |    47984      3 |      140 |        0
1763.39/1763.82	c 1763s |      15 |   120966 |   104832 |    47984      3 |      140 |        0
1767.30/1767.76	c 1767s |      15 |   121061 |   104932 |    47984      3 |      140 |        0
1770.39/1770.89	c 1770s |      15 |   121167 |   105032 |    47984      3 |      140 |        0
1773.29/1773.72	c 1772s |      15 |   121309 |   105132 |    47984      3 |      140 |        0
1777.69/1778.19	c 1777s |      15 |   121434 |   105232 |    47984      3 |      140 |        0
1781.70/1782.12	c 1781s |      15 |   121523 |   105332 |    47984      3 |      140 |        0
1784.99/1785.44	c 1784s |      15 |   121729 |   105532 |    47984      3 |      140 |        0
1788.49/1788.97	c 1788s |      15 |   121930 |   105732 |    47984      3 |      140 |        0
1792.99/1793.46	c 1792s |      15 |   122129 |   105932 |    47984      3 |      140 |        0
1796.59/1797.03	c 1796s |      15 |   122243 |   106032 |    47984      3 |      140 |        0

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

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

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


[startup+0 s]
/proc/loadavg: 2.12 2.11 2.04 3/179 23731
/proc/meminfo: memFree=30365968/32872528 swapFree=11196/354588
[pid=23731] ppid=23728 vsize=737724 CPUtime=0 cores=0,2,4,6
/proc/23731/stat : 23731 (toysat) R 23728 23731 21010 0 -1 4202496 2755 0 0 0 0 0 0 0 20 0 4 0 115645458 755429376 2604 33554432000 4194304 16246674 140736186982400 140736186981824 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23731/statm: 185199 2614 441 2943 0 182093 0
[pid=23731/tid=23732] ppid=23728 vsize=755132 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23732/stat : 23732 (toysat) S 23728 23731 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115645458 773255168 2674 33554432000 4194304 16246674 140736186982400 140030413614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23731/tid=23733] ppid=23728 vsize=760252 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23733/stat : 23733 (toysat) S 23728 23731 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115645458 778498048 2691 33554432000 4194304 16246674 140736186982400 140030403124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23731/tid=23734] ppid=23728 vsize=764348 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23734/stat : 23734 (toysat) S 23728 23731 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115645458 782692352 2706 33554432000 4194304 16246674 140736186982400 140030392650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100129 s]
/proc/loadavg: 2.12 2.11 2.04 3/179 23731
/proc/meminfo: memFree=30365968/32872528 swapFree=11196/354588
[pid=23731] ppid=23728 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/23731/stat : 23731 (toysat) R 23728 23731 21010 0 -1 4202496 28478 0 0 0 6 3 0 0 20 0 4 0 115645458 1250496512 28265 33554432000 4194304 16246674 140736186982400 140736186981712 4223718 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23731/statm: 305297 28268 800 2943 0 302191 0
[pid=23731/tid=23732] ppid=23728 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23732/stat : 23732 (toysat) S 23728 23731 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115645458 1250496512 28271 33554432000 4194304 16246674 140736186982400 140030413614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23731/tid=23733] ppid=23728 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23733/stat : 23733 (toysat) S 23728 23731 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115645458 1250496512 28273 33554432000 4194304 16246674 140736186982400 140030403124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23731/tid=23734] ppid=23728 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23734/stat : 23734 (toysat) S 23728 23731 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115645458 1250496512 28276 33554432000 4194304 16246674 140736186982400 140030392650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200473 s]
/proc/loadavg: 2.12 2.11 2.04 3/179 23731
/proc/meminfo: memFree=30365968/32872528 swapFree=11196/354588
[pid=23731] ppid=23728 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/23731/stat : 23731 (toysat) R 23728 23731 21010 0 -1 4202496 50746 0 0 0 12 7 0 0 20 0 4 0 115645458 1343819776 51044 33554432000 4194304 16246674 140736186982400 140736186964288 4221016 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23731/statm: 328081 51051 800 2943 0 324975 0
[pid=23731/tid=23732] ppid=23728 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23732/stat : 23732 (toysat) S 23728 23731 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115645458 1343819776 51051 33554432000 4194304 16246674 140736186982400 140030413614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23731/tid=23733] ppid=23728 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23733/stat : 23733 (toysat) S 23728 23731 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115645458 1343819776 51054 33554432000 4194304 16246674 140736186982400 140030403124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23731/tid=23734] ppid=23728 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23734/stat : 23734 (toysat) S 23728 23731 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115645458 1343819776 51060 33554432000 4194304 16246674 140736186982400 140030392650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.30044 s]
/proc/loadavg: 2.12 2.11 2.04 3/179 23731
/proc/meminfo: memFree=30365968/32872528 swapFree=11196/354588
[pid=23731] ppid=23728 vsize=1313348 CPUtime=0.28 cores=0,2,4,6
/proc/23731/stat : 23731 (toysat) R 23728 23731 21010 0 -1 4202496 51065 0 0 0 21 7 0 0 20 0 4 0 115645458 1344868352 51363 33554432000 4194304 16246674 140736186982400 140736186964288 6777541 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23731/statm: 328337 51363 838 2943 0 325231 0
[pid=23731/tid=23732] ppid=23728 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23732/stat : 23732 (toysat) S 23728 23731 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115645458 1344868352 51363 33554432000 4194304 16246674 140736186982400 140030413614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23731/tid=23733] ppid=23728 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23733/stat : 23733 (toysat) S 23728 23731 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115645458 1344868352 51363 33554432000 4194304 16246674 140736186982400 140030403124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23731/tid=23734] ppid=23728 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23734/stat : 23734 (toysat) S 23728 23731 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115645458 1344868352 51363 33554432000 4194304 16246674 140736186982400 140030392650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.700357 s]
/proc/loadavg: 2.12 2.11 2.04 3/179 23731
/proc/meminfo: memFree=30365968/32872528 swapFree=11196/354588
[pid=23731] ppid=23728 vsize=1326660 CPUtime=0.69 cores=0,2,4,6
/proc/23731/stat : 23731 (toysat) R 23728 23731 21010 0 -1 4202496 89944 0 0 0 55 14 0 0 20 0 4 0 115645458 1358499840 90242 33554432000 4194304 16246674 140736186982400 140736186981712 13878738 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23731/statm: 331665 90242 841 2943 0 328559 0
[pid=23731/tid=23732] ppid=23728 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23732/stat : 23732 (toysat) S 23728 23731 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115645458 1358499840 90242 33554432000 4194304 16246674 140736186982400 140030413614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23731/tid=23733] ppid=23728 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23733/stat : 23733 (toysat) S 23728 23731 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115645458 1358499840 90242 33554432000 4194304 16246674 140736186982400 140030403124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23731/tid=23734] ppid=23728 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23734/stat : 23734 (toysat) S 23728 23731 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115645458 1358499840 90242 33554432000 4194304 16246674 140736186982400 140030392650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1326660

[startup+1.50036 s]
/proc/loadavg: 2.12 2.11 2.04 3/183 23735
/proc/meminfo: memFree=30006156/32872528 swapFree=11196/354588
[pid=23731] ppid=23728 vsize=1326660 CPUtime=1.49 cores=0,2,4,6
/proc/23731/stat : 23731 (toysat) R 23728 23731 21010 0 -1 4202496 90053 0 0 0 135 14 0 0 20 0 4 0 115645458 1358499840 90351 33554432000 4194304 16246674 140736186982400 140736186981576 5827966 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23731/statm: 331665 90351 890 2943 0 328559 0
[pid=23731/tid=23732] ppid=23728 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23732/stat : 23732 (toysat) S 23728 23731 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115645458 1358499840 90351 33554432000 4194304 16246674 140736186982400 140030413614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23731/tid=23733] ppid=23728 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23733/stat : 23733 (toysat) S 23728 23731 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115645458 1358499840 90351 33554432000 4194304 16246674 140736186982400 140030403124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23731/tid=23734] ppid=23728 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23734/stat : 23734 (toysat) S 23728 23731 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115645458 1358499840 90351 33554432000 4194304 16246674 140736186982400 140030392650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1326660

[startup+3.10036 s]
/proc/loadavg: 2.11 2.11 2.04 3/183 23735
/proc/meminfo: memFree=30005660/32872528 swapFree=11196/354588
[pid=23731] ppid=23728 vsize=1326660 CPUtime=3.09 cores=0,2,4,6
/proc/23731/stat : 23731 (toysat) R 23728 23731 21010 0 -1 4202496 90053 0 0 0 295 14 0 0 20 0 4 0 115645458 1358499840 90351 33554432000 4194304 16246674 140736186982400 140736186964288 5712608 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23731/statm: 331665 90351 890 2943 0 328559 0
[pid=23731/tid=23732] ppid=23728 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23732/stat : 23732 (toysat) S 23728 23731 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115645458 1358499840 90351 33554432000 4194304 16246674 140736186982400 140030413614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23731/tid=23733] ppid=23728 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23733/stat : 23733 (toysat) S 23728 23731 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115645458 1358499840 90351 33554432000 4194304 16246674 140736186982400 140030403124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23731/tid=23734] ppid=23728 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23734/stat : 23734 (toysat) S 23728 23731 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115645458 1358499840 90351 33554432000 4194304 16246674 140736186982400 140030392650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1326660

[startup+6.30036 s]
/proc/loadavg: 2.11 2.11 2.04 3/183 23735
/proc/meminfo: memFree=30004820/32872528 swapFree=11196/354588
[pid=23731] ppid=23728 vsize=1326660 CPUtime=6.29 cores=0,2,4,6
/proc/23731/stat : 23731 (toysat) R 23728 23731 21010 0 -1 4202496 90053 0 0 0 615 14 0 0 20 0 4 0 115645458 1358499840 90351 33554432000 4194304 16246674 140736186982400 140736186964288 5711960 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23731/statm: 331665 90351 890 2943 0 328559 0
[pid=23731/tid=23732] ppid=23728 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23732/stat : 23732 (toysat) S 23728 23731 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115645458 1358499840 90351 33554432000 4194304 16246674 140736186982400 140030413614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23731/tid=23733] ppid=23728 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23733/stat : 23733 (toysat) S 23728 23731 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115645458 1358499840 90351 33554432000 4194304 16246674 140736186982400 140030403124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23731/tid=23734] ppid=23728 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23734/stat : 23734 (toysat) S 23728 23731 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115645458 1358499840 90351 33554432000 4194304 16246674 140736186982400 140030392650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1326660

[startup+12.7004 s]
/proc/loadavg: 2.17 2.12 2.04 3/183 23735
/proc/meminfo: memFree=30005480/32872528 swapFree=11196/354588
[pid=23731] ppid=23728 vsize=1326660 CPUtime=12.69 cores=0,2,4,6
/proc/23731/stat : 23731 (toysat) R 23728 23731 21010 0 -1 4202496 90053 0 0 0 1255 14 0 0 20 0 4 0 115645458 1358499840 90351 33554432000 4194304 16246674 140736186982400 140736186964288 12483341 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23731/statm: 331665 90351 890 2943 0 328559 0
[pid=23731/tid=23732] ppid=23728 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23732/stat : 23732 (toysat) S 23728 23731 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115645458 1358499840 90351 33554432000 4194304 16246674 140736186982400 140030413614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23731/tid=23733] ppid=23728 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23733/stat : 23733 (toysat) S 23728 23731 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115645458 1358499840 90351 33554432000 4194304 16246674 140736186982400 140030403124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23731/tid=23734] ppid=23728 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23734/stat : 23734 (toysat) S 23728 23731 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115645458 1358499840 90351 33554432000 4194304 16246674 140736186982400 140030392650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1326660

[startup+25.5004 s]
/proc/loadavg: 2.14 2.12 2.04 3/183 23735
/proc/meminfo: memFree=30006368/32872528 swapFree=11196/354588
[pid=23731] ppid=23728 vsize=1326660 CPUtime=25.49 cores=0,2,4,6
/proc/23731/stat : 23731 (toysat) R 23728 23731 21010 0 -1 4202496 90057 0 0 0 2535 14 0 0 20 0 4 0 115645458 1358499840 90355 33554432000 4194304 16246674 140736186982400 140736186964288 12477927 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23731/statm: 331665 90355 894 2943 0 328559 0
[pid=23731/tid=23732] ppid=23728 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23732/stat : 23732 (toysat) S 23728 23731 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115645458 1358499840 90355 33554432000 4194304 16246674 140736186982400 140030413614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23731/tid=23733] ppid=23728 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23733/stat : 23733 (toysat) S 23728 23731 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115645458 1358499840 90355 33554432000 4194304 16246674 140736186982400 140030403124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23731/tid=23734] ppid=23728 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23734/stat : 23734 (toysat) S 23728 23731 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115645458 1358499840 90355 33554432000 4194304 16246674 140736186982400 140030392650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1326660

[startup+51.1004 s]
/proc/loadavg: 2.17 2.13 2.04 3/183 23735
/proc/meminfo: memFree=30006328/32872528 swapFree=11196/354588
[pid=23731] ppid=23728 vsize=1326660 CPUtime=51.08 cores=0,2,4,6
/proc/23731/stat : 23731 (toysat) R 23728 23731 21010 0 -1 4202496 90057 0 0 0 5094 14 0 0 20 0 4 0 115645458 1358499840 90355 33554432000 4194304 16246674 140736186982400 140736186964288 6011672 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23731/statm: 331665 90355 894 2943 0 328559 0
[pid=23731/tid=23732] ppid=23728 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23732/stat : 23732 (toysat) S 23728 23731 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115645458 1358499840 90355 33554432000 4194304 16246674 140736186982400 140030413614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23731/tid=23733] ppid=23728 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23733/stat : 23733 (toysat) S 23728 23731 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115645458 1358499840 90355 33554432000 4194304 16246674 140736186982400 140030403124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23731/tid=23734] ppid=23728 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23734/stat : 23734 (toysat) S 23728 23731 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115645458 1358499840 90355 33554432000 4194304 16246674 140736186982400 140030392650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1326660

[startup+102.3 s]
/proc/loadavg: 2.17 2.13 2.05 3/183 23736
/proc/meminfo: memFree=30005996/32872528 swapFree=11196/354588
[pid=23731] ppid=23728 vsize=1326660 CPUtime=102.27 cores=0,2,4,6
/proc/23731/stat : 23731 (toysat) R 23728 23731 21010 0 -1 4202496 90057 0 0 0 10213 14 0 0 20 0 4 0 115645458 1358499840 90355 33554432000 4194304 16246674 140736186982400 140736186964288 13780640 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23731/statm: 331665 90355 894 2943 0 328559 0
[pid=23731/tid=23732] ppid=23728 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23732/stat : 23732 (toysat) S 23728 23731 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115645458 1358499840 90355 33554432000 4194304 16246674 140736186982400 140030413614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23731/tid=23733] ppid=23728 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23733/stat : 23733 (toysat) S 23728 23731 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115645458 1358499840 90355 33554432000 4194304 16246674 140736186982400 140030403124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23731/tid=23734] ppid=23728 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23734/stat : 23734 (toysat) S 23728 23731 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115645458 1358499840 90355 33554432000 4194304 16246674 140736186982400 140030392650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1326660


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

/proc/23731/task/23734/stat : 23734 (toysat) S 23728 23731 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115645458 1389957120 280587 33554432000 4194304 16246674 140736186982400 140030392650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1357380

[startup+1362.3 s]
/proc/loadavg: 2.19 2.12 2.09 3/183 23816
/proc/meminfo: memFree=29537992/32872528 swapFree=11196/354588
[pid=23731] ppid=23728 vsize=1357380 CPUtime=1361.96 cores=0,2,4,6
/proc/23731/stat : 23731 (toysat) R 23728 23731 21010 0 -1 4202496 158826 0 0 0 135823 373 0 0 20 0 4 0 115645458 1389957120 280587 33554432000 4194304 16246674 140736186982400 140736186981576 5822488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23731/statm: 339345 280587 898 2943 0 336239 0
[pid=23731/tid=23732] ppid=23728 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23732/stat : 23732 (toysat) S 23728 23731 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115645458 1389957120 280587 33554432000 4194304 16246674 140736186982400 140030413614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23731/tid=23733] ppid=23728 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23733/stat : 23733 (toysat) S 23728 23731 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115645458 1389957120 280587 33554432000 4194304 16246674 140736186982400 140030403124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23731/tid=23734] ppid=23728 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23734/stat : 23734 (toysat) S 23728 23731 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115645458 1389957120 280587 33554432000 4194304 16246674 140736186982400 140030392650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1357380

[startup+1422.3 s]
/proc/loadavg: 2.12 2.11 2.09 3/183 23817
/proc/meminfo: memFree=29383696/32872528 swapFree=11196/354588
[pid=23731] ppid=23728 vsize=1357380 CPUtime=1421.95 cores=0,2,4,6
/proc/23731/stat : 23731 (toysat) R 23728 23731 21010 0 -1 4202496 158826 0 0 0 141720 475 0 0 20 0 4 0 115645458 1389957120 280587 33554432000 4194304 16246674 140736186982400 140736186964288 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23731/statm: 339345 280587 898 2943 0 336239 0
[pid=23731/tid=23732] ppid=23728 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23732/stat : 23732 (toysat) S 23728 23731 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115645458 1389957120 280587 33554432000 4194304 16246674 140736186982400 140030413614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23731/tid=23733] ppid=23728 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23733/stat : 23733 (toysat) S 23728 23731 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115645458 1389957120 280587 33554432000 4194304 16246674 140736186982400 140030403124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23731/tid=23734] ppid=23728 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23734/stat : 23734 (toysat) S 23728 23731 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115645458 1389957120 280587 33554432000 4194304 16246674 140736186982400 140030392650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1357380

[startup+1482.3 s]
/proc/loadavg: 2.10 2.10 2.09 3/183 23821
/proc/meminfo: memFree=29277672/32872528 swapFree=11196/354588
[pid=23731] ppid=23728 vsize=1357380 CPUtime=1481.94 cores=0,2,4,6
/proc/23731/stat : 23731 (toysat) R 23728 23731 21010 0 -1 4202496 158826 0 0 0 147623 571 0 0 20 0 4 0 115645458 1389957120 280587 33554432000 4194304 16246674 140736186982400 140736186964288 5667424 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23731/statm: 339345 280587 898 2943 0 336239 0
[pid=23731/tid=23732] ppid=23728 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23732/stat : 23732 (toysat) S 23728 23731 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115645458 1389957120 280587 33554432000 4194304 16246674 140736186982400 140030413614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23731/tid=23733] ppid=23728 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23733/stat : 23733 (toysat) S 23728 23731 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115645458 1389957120 280587 33554432000 4194304 16246674 140736186982400 140030403124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23731/tid=23734] ppid=23728 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23734/stat : 23734 (toysat) S 23728 23731 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115645458 1389957120 280587 33554432000 4194304 16246674 140736186982400 140030392650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 1357380

[startup+1542.31 s]
/proc/loadavg: 2.06 2.09 2.09 3/183 23823
/proc/meminfo: memFree=29277872/32872528 swapFree=11196/354588
[pid=23731] ppid=23728 vsize=1357380 CPUtime=1541.94 cores=0,2,4,6
/proc/23731/stat : 23731 (toysat) R 23728 23731 21010 0 -1 4202496 158826 0 0 0 153523 671 0 0 20 0 4 0 115645458 1389957120 280587 33554432000 4194304 16246674 140736186982400 140736186981576 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23731/statm: 339345 280587 898 2943 0 336239 0
[pid=23731/tid=23732] ppid=23728 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23732/stat : 23732 (toysat) S 23728 23731 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115645458 1389957120 280587 33554432000 4194304 16246674 140736186982400 140030413614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23731/tid=23733] ppid=23728 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23733/stat : 23733 (toysat) S 23728 23731 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115645458 1389957120 280587 33554432000 4194304 16246674 140736186982400 140030403124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23731/tid=23734] ppid=23728 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23734/stat : 23734 (toysat) S 23728 23731 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115645458 1389957120 280587 33554432000 4194304 16246674 140736186982400 140030392650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 1357380

[startup+1602.3 s]
/proc/loadavg: 2.02 2.08 2.08 3/183 23824
/proc/meminfo: memFree=29277748/32872528 swapFree=11196/354588
[pid=23731] ppid=23728 vsize=1357380 CPUtime=1601.92 cores=0,2,4,6
/proc/23731/stat : 23731 (toysat) R 23728 23731 21010 0 -1 4202496 158826 0 0 0 159425 767 0 0 20 0 4 0 115645458 1389957120 280587 33554432000 4194304 16246674 140736186982400 140736186964288 5723568 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23731/statm: 339345 280587 898 2943 0 336239 0
[pid=23731/tid=23732] ppid=23728 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23732/stat : 23732 (toysat) S 23728 23731 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115645458 1389957120 280587 33554432000 4194304 16246674 140736186982400 140030413614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23731/tid=23733] ppid=23728 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23733/stat : 23733 (toysat) S 23728 23731 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115645458 1389957120 280587 33554432000 4194304 16246674 140736186982400 140030403124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23731/tid=23734] ppid=23728 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23734/stat : 23734 (toysat) S 23728 23731 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115645458 1389957120 280587 33554432000 4194304 16246674 140736186982400 140030392650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 1357380

[startup+1662.3 s]
/proc/loadavg: 2.13 2.09 2.09 3/183 23825
/proc/meminfo: memFree=29277356/32872528 swapFree=11196/354588
[pid=23731] ppid=23728 vsize=1357380 CPUtime=1661.91 cores=0,2,4,6
/proc/23731/stat : 23731 (toysat) R 23728 23731 21010 0 -1 4202496 158826 0 0 0 165373 818 0 0 20 0 4 0 115645458 1389957120 280587 33554432000 4194304 16246674 140736186982400 140736186981576 6022432 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23731/statm: 339345 280587 898 2943 0 336239 0
[pid=23731/tid=23732] ppid=23728 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23732/stat : 23732 (toysat) S 23728 23731 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115645458 1389957120 280587 33554432000 4194304 16246674 140736186982400 140030413614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23731/tid=23733] ppid=23728 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23733/stat : 23733 (toysat) S 23728 23731 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115645458 1389957120 280587 33554432000 4194304 16246674 140736186982400 140030403124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23731/tid=23734] ppid=23728 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23734/stat : 23734 (toysat) S 23728 23731 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115645458 1389957120 280587 33554432000 4194304 16246674 140736186982400 140030392650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 1357380

[startup+1722.3 s]
/proc/loadavg: 2.24 2.12 2.10 3/183 23826
/proc/meminfo: memFree=29262880/32872528 swapFree=11196/354588
[pid=23731] ppid=23728 vsize=1372740 CPUtime=1721.9 cores=0,2,4,6
/proc/23731/stat : 23731 (toysat) R 23728 23731 21010 0 -1 4202496 162601 0 0 0 171287 903 0 0 20 0 4 0 115645458 1405685760 284362 33554432000 4194304 16246674 140736186982400 140736186965392 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23731/statm: 343185 284362 898 2943 0 340079 0
[pid=23731/tid=23732] ppid=23728 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23732/stat : 23732 (toysat) S 23728 23731 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115645458 1405685760 284362 33554432000 4194304 16246674 140736186982400 140030413614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23731/tid=23733] ppid=23728 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23733/stat : 23733 (toysat) S 23728 23731 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115645458 1405685760 284362 33554432000 4194304 16246674 140736186982400 140030403124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23731/tid=23734] ppid=23728 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23734/stat : 23734 (toysat) S 23728 23731 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115645458 1405685760 284362 33554432000 4194304 16246674 140736186982400 140030392650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1372740

[startup+1782.3 s]
/proc/loadavg: 2.15 2.11 2.09 3/183 23827
/proc/meminfo: memFree=29245644/32872528 swapFree=11196/354588
[pid=23731] ppid=23728 vsize=1390148 CPUtime=1781.89 cores=0,2,4,6
/proc/23731/stat : 23731 (toysat) R 23728 23731 21010 0 -1 4202496 166960 0 0 0 177187 1002 0 0 20 0 4 0 115645458 1423511552 288721 33554432000 4194304 16246674 140736186982400 140736186981576 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23731/statm: 347537 288721 898 2943 0 344431 0
[pid=23731/tid=23732] ppid=23728 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23732/stat : 23732 (toysat) S 23728 23731 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115645458 1423511552 288721 33554432000 4194304 16246674 140736186982400 140030413614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23731/tid=23733] ppid=23728 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23733/stat : 23733 (toysat) S 23728 23731 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115645458 1423511552 288721 33554432000 4194304 16246674 140736186982400 140030403124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23731/tid=23734] ppid=23728 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23734/stat : 23734 (toysat) S 23728 23731 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115645458 1423511552 288721 33554432000 4194304 16246674 140736186982400 140030392650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 1390148



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.11 2.10 2.09 4/183 23828
/proc/meminfo: memFree=29222772/32872528 swapFree=11196/354588
[pid=23731] ppid=23728 vsize=1413700 CPUtime=1800.09 cores=0,2,4,6
/proc/23731/stat : 23731 (toysat) R 23728 23731 21010 0 -1 4202496 172726 0 0 0 178958 1051 0 0 20 0 4 0 115645458 1447628800 294487 33554432000 4194304 16246674 140736186982400 140736186981576 5823447 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23731/statm: 353425 294487 898 2943 0 350319 0
[pid=23731/tid=23732] ppid=23728 vsize=1413700 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23732/stat : 23732 (toysat) S 23728 23731 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115645458 1447628800 294487 33554432000 4194304 16246674 140736186982400 140030413614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23731/tid=23733] ppid=23728 vsize=1413700 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23733/stat : 23733 (toysat) S 23728 23731 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115645458 1447628800 294487 33554432000 4194304 16246674 140736186982400 140030403124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23731/tid=23734] ppid=23728 vsize=1413700 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23734/stat : 23734 (toysat) S 23728 23731 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115645458 1447628800 294487 33554432000 4194304 16246674 140736186982400 140030392650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1413700

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.5 s]
/proc/loadavg: 2.11 2.10 2.09 4/183 23828
/proc/meminfo: memFree=29222772/32872528 swapFree=11196/354588
[pid=23731] ppid=23728 vsize=1413700 CPUtime=1800.09 cores=0,2,4,6
/proc/23731/stat : 23731 (toysat) R 23728 23731 21010 0 -1 4202496 172726 0 0 0 178958 1051 0 0 20 0 4 0 115645458 1447628800 294487 33554432000 4194304 16246674 140736186982400 140736186981576 5823447 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23731/statm: 353425 294487 898 2943 0 350319 0
[pid=23731/tid=23732] ppid=23728 vsize=1413700 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23732/stat : 23732 (toysat) S 23728 23731 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115645458 1447628800 294487 33554432000 4194304 16246674 140736186982400 140030413614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23731/tid=23733] ppid=23728 vsize=1413700 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23733/stat : 23733 (toysat) S 23728 23731 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115645458 1447628800 294487 33554432000 4194304 16246674 140736186982400 140030403124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23731/tid=23734] ppid=23728 vsize=1413700 CPUtime=0 cores=0,2,4,6
/proc/23731/task/23734/stat : 23734 (toysat) S 23728 23731 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115645458 1447628800 294487 33554432000 4194304 16246674 140736186982400 140030392650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1413700

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.1
CPU user time (s): 1789.59
CPU system time (s): 10.5164
CPU usage (%): 99.9773
Max. virtual memory (cumulated for all children) (KiB): 1413700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.59
system time used= 10.5164
maximum resident set size= 1177948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172726
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= 220
involuntary context switches= 2550

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.2352 second user time and 7.82581 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-08 00:05:20
IDJOB=4079301
IDBENCH=92754
IDSOLVER=2542
FILE ID=node126/4079301-1465337120
RUNJOBID= node126-1465306898-21026
PBS_JOBID= 19849495
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_0.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079301-1465337120/watcher-4079301-1465337120 -o /tmp/evaluation-result-4079301-1465337120/solver-4079301-1465337120 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465306898-21026 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079301-1465337120.opb

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

MD5SUM BENCH= ca79c3a72fcbc528e4a81e658af79fe0
RANDOM SEED=1915529269

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

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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.500
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.500
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.56
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.500
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.500
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:        30366596 kB
Buffers:           47808 kB
Cached:           235204 kB
SwapCached:         2088 kB
Active:          1256896 kB
Inactive:         161128 kB
Active(anon):    1132244 kB
Inactive(anon):     4628 kB
Active(file):     124652 kB
Inactive(file):   156500 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098680 kB
Dirty:             17156 kB
Writeback:             0 kB
AnonPages:       1619296 kB
Mapped:            10800 kB
Shmem:                 0 kB
Slab:             599876 kB
SReclaimable:      44100 kB
SUnreclaim:       555776 kB
KernelStack:        1520 kB
PageTables:         6748 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1630124 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    727040 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= 71708 MiB
End job on node126 at 2016-06-08 00:35:21