Trace number 4080004

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-neos-777800.opb
MD5SUMfa5c07257df1fb9de8867209807734ca
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-80
Best CPU time to get the best result obtained on this benchmark97.7781
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6400
Total number of constraints475
Number of constraints which are clauses4
Number of constraints which are cardinality constraints (but not clauses)471
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint6400
Number of terms in the objective function 6400
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6400
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 80
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 6480
Number of bits of the biggest sum of numbers13
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-07T07:39:01+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-4080004-1465277941.opb"]
0.00/0.01	c use --random-gen="860456952 3003421246 3678027158 283933341 1729514906 2393620969 169099676 2032595220 1882507826 3849313385 302292684 1723646615 789047382 19318792 3777471739 2087530380 2809914338 3624205834 4223745264 3300010238 570554471 1998060921 3836960756 4167998266 2198025706 1191989759 2913215206 1726354024 3860730103 2503781554 4123559735 920609908 3590501912 1724052121 3808865928 641399861 2749506382 1024298074 1185564887 4075216057 2899288571 1334589527 1595334732 4293256677 3824730836 807395681 1473753056 3337280323 3778564298 2693135106 2575807847 1332749668 4151326065 876126247 3527445780 3504491936 3185618882 2146027783 3032366875 2912830813 2037835956 3007895828 260478630 1184947037 2171285498 3898138245 3622948821 981346050 3594677427 2303034549 4009021608 1462500540 1154774741 2339390887 1099942153 1657391817 3676061221 1543591503 3368966754 1551951682 1671434742 2584951925 2346560624 2664807059 1040999420 1438761924 1005927097 2198661897 1218445111 2113218347 1187037751 1399317329 3446008676 4181173875 2924396108 2814884209 2710929183 1244828800 1753976555 1563487480 2933559766 2838761356 3006118261 2001205172 1392135597 429379498 1389950114 3200721677 742016565 4225277359 1755761471 3688359482 1883337605 2832083579 234064489 2108164740 3236095281 1780313513 97378133 3182727141 3786256991 2749183168 3533271068 723146445 1526232506 1193742742 662551593 868689489 1521688433 3300382734 3843300033 1851877784 453240248 345935904 3664597360 2175164213 570380389 4161281260 4290147611 649036003 1657559115 2268029237 1401909702 2663457554 2790032588 4186469346 2829434750 1420534777 322684437 2972930978 9096371 805636640 2962518595 2932032977 3102844174 1688756827 1210712328 1153803468 2427760435 2818249641 3444783766 3485896949 2113656828 3502650587 670904833 2214276556 1251974656 3624660518 778770182 1096751764 847311818 1167717916 4143587043 2344221049 709023642 429480349 3131084817 3500887827 2903062305 3649813434 503537781 893068651 4930946 2978494874 2281519329 2205652408 3085784721 1220933170 1359346482 144236966 3442983960 3723712978 3994030801 3485491309 3000992217 2833771145 829245499 853584513 2778291045 3091284873 2829972402 2823958241 1765523935 1452783560 3417558145 4294873469 3118734261 2275063963 167587508 3521474654 3355153697 3654345210 2489261005 156825001 1572836902 586095441 4223863487 2260721272 751335861 1249958243 167636698 4022216169 114431223 136592479 3365791353 3281431122 3745480903 1683223349 1523678068 1161985698 2994862566 229897657 2928325383 3322349838 709029397 3705928034 1114389232 1299640714 3401928 961671796 2919419491 1302939626 3479790118 2117624833 485042794 3638367352 1335606153 3606351678 2243874813 2025535859 346648221 318001440 3479627825 1638696507 3303487254 1521429447 255 362436" option to reproduce the execution
0.00/0.09	c #vars 6400
0.00/0.09	c #constraints 475
0.19/0.22	c BCD2: Hardening is enabled.
0.19/0.22	c BCD2: BiasedSearch is enabled.
0.19/0.22	c Solving starts ...
0.19/0.22	c ============================[ Search Statistics ]============================
0.19/0.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.22	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.22	c =============================================================================
0.19/0.22	c  0.0s |       0 |        0 |        0 |     2292      0 |        0 |        0
1.59/1.69	c  1.5s |       1 |      157 |      100 |     2292      0 |        0 |        0
3.69/3.79	c  3.6s |       1 |     6549 |      200 |     2522      0 |        0 |        0
4.99/5.06	c  4.8s |       2 |     6599 |      250 |     2522      0 |        0 |        0
7.79/7.82	c  7.6s |       2 |    12994 |      350 |     2775      0 |        0 |        0
10.79/10.81	c 10.6s |       2 |    13092 |      450 |     2775      0 |        0 |        0
11.29/11.38	c 11.2s |       3 |    13114 |      475 |     2775      0 |        0 |        0
13.49/13.55	c 13.3s |       3 |    19442 |      575 |     3053      0 |        0 |        0
15.69/15.79	c 15.6s |       3 |    19538 |      675 |     3053      0 |        0 |        0
18.09/18.18	c 18.0s |       3 |    19636 |      775 |     3053      0 |        0 |        0
19.19/19.22	c 19.0s |       4 |    19677 |      813 |     3053      0 |        0 |        0
22.18/22.21	c 22.0s |       4 |    25936 |      913 |     3359      0 |        0 |        0
25.08/25.14	c 24.9s |       4 |    26032 |     1013 |     3359      0 |        0 |        0
28.18/28.27	c 28.1s |       4 |    26136 |     1113 |     3359      0 |        0 |        0
31.18/31.28	c 31.1s |       4 |    26229 |     1213 |     3359      0 |        0 |        0
34.19/34.29	c 34.1s |       4 |    26334 |     1313 |     3359      0 |        0 |        0
34.48/34.51	c 34.3s |       5 |    26342 |     1320 |     3359      0 |        0 |        0
37.99/38.08	c 37.9s |       5 |    32738 |     1420 |     3695      0 |        0 |        0
41.38/41.46	c 41.2s |       5 |    32835 |     1520 |     3695      0 |        0 |        0
45.09/45.11	c 44.9s |       5 |    32934 |     1620 |     3695      0 |        0 |        0
48.08/48.19	c 48.0s |       5 |    33038 |     1720 |     3695      0 |        0 |        0
50.99/51.04	c 50.8s |       5 |    33142 |     1820 |     3695      0 |        0 |        0
54.48/54.52	c 54.3s |       5 |    33237 |     1920 |     3695      0 |        0 |        0
58.18/58.27	c 58.0s |       5 |    33338 |     2020 |     3695      0 |        0 |        0
59.68/59.76	c 59.5s |       6 |    33395 |     2081 |     4065      0 |        0 |        0
63.38/63.40	c 63.2s |       6 |    39761 |     2181 |     4065      0 |        0 |        0
66.38/66.45	c 66.2s |       6 |    39857 |     2281 |     4065      0 |        0 |        0
69.57/69.64	c 69.4s |       6 |    39956 |     2381 |     4065      0 |        0 |        0
73.08/73.12	c 72.9s |       6 |    40052 |     2481 |     4065      0 |        0 |        0
76.58/76.67	c 76.4s |       6 |    40157 |     2581 |     4065      0 |        0 |        0
79.37/79.47	c 79.3s |       6 |    40263 |     2681 |     4065      0 |        0 |        0
82.18/82.23	c 82.0s |       6 |    40362 |     2781 |     4065      0 |        0 |        0
85.48/85.50	c 85.3s |       6 |    40462 |     2881 |     4065      0 |        0 |        0
88.67/88.78	c 88.6s |       6 |    40555 |     2981 |     4065      0 |        0 |        0
92.18/92.27	c 92.0s |       6 |    40651 |     3081 |     4065      0 |        0 |        0
95.68/95.76	c 95.5s |       6 |    40757 |     3181 |     4065      0 |        0 |        0
97.28/97.32	c 97.1s |       7 |    40802 |     3223 |     4472      0 |        0 |        0
100.97/101.00	c  100s |       7 |    47192 |     3323 |     4472      0 |        0 |        0
103.28/103.31	c  103s |       7 |    47299 |     3423 |     4472      0 |        0 |        0
106.08/106.18	c  105s |       7 |    47394 |     3523 |     4472      0 |        0 |        0
109.57/109.60	c  109s |       7 |    47492 |     3623 |     4472      0 |        0 |        0
113.17/113.20	c  112s |       7 |    47594 |     3723 |     4472      0 |        0 |        0
116.68/116.78	c  116s |       7 |    47689 |     3823 |     4472      0 |        0 |        0
120.47/120.59	c  120s |       7 |    47791 |     3923 |     4472      0 |        0 |        0
124.17/124.27	c  124s |       7 |    47893 |     4023 |     4472      0 |        0 |        0
127.37/127.49	c  127s |       7 |    47988 |     4123 |     4472      0 |        0 |        0
131.47/131.59	c  131s |       7 |    48087 |     4223 |     4472      0 |        0 |        0
134.28/134.36	c  134s |       7 |    48196 |     4323 |     4472      0 |        0 |        0
136.77/136.87	c  136s |       7 |    48299 |     4423 |     4472      0 |        0 |        0
139.77/139.82	c  139s |       7 |    48399 |     4523 |     4472      0 |        0 |        0
142.97/143.08	c  142s |       7 |    48498 |     4623 |     4472      0 |        0 |        0
146.06/146.16	c  145s |       7 |    48602 |     4723 |     4472      0 |        0 |        0
149.58/149.62	c  149s |       7 |    48691 |     4823 |     4472      0 |        0 |        0
152.76/152.89	c  152s |       7 |    48793 |     4923 |     4920      0 |        0 |        0
153.26/153.32	c  153s |       8 |    48805 |     4936 |     4920      0 |        0 |        0
161.46/161.59	c  161s |       8 |    55195 |     5036 |     4920      1 |        0 |        0
165.36/165.46	c  165s |       8 |    55292 |     5136 |     4920      1 |        0 |        0
169.16/169.23	c  169s |       8 |    55390 |     5236 |     4920      1 |        0 |        0
171.76/171.88	c  171s |       8 |    55489 |     5336 |     4920      1 |        0 |        0
174.46/174.52	c  174s |       8 |    55590 |     5436 |     4920      1 |        0 |        0
177.17/177.28	c  177s |       8 |    55702 |     5536 |     4920      1 |        0 |        0
180.26/180.40	c  180s |       8 |    55798 |     5636 |     4920      1 |        0 |        0
183.26/183.39	c  183s |       8 |    55904 |     5736 |     4920      1 |        0 |        0
186.56/186.65	c  186s |       8 |    56000 |     5836 |     4920      1 |        0 |        0
189.46/189.55	c  189s |       8 |    56098 |     5936 |     4920      1 |        0 |        0
192.86/192.94	c  192s |       8 |    56196 |     6036 |     4920      1 |        0 |        0
196.26/196.37	c  196s |       8 |    56301 |     6136 |     4920      1 |        0 |        0
200.05/200.11	c  199s |       8 |    56399 |     6236 |     4920      1 |        0 |        0
203.56/203.61	c  203s |       8 |    56496 |     6336 |     4920      1 |        0 |        0
206.86/206.92	c  206s |       8 |    56598 |     6436 |     4920      1 |        0 |        0
210.86/210.95	c  210s |       8 |    56699 |     6536 |     4920      1 |        0 |        0
214.66/214.71	c  214s |       8 |    56795 |     6636 |     4920      1 |        0 |        0
218.55/218.66	c  218s |       8 |    56902 |     6736 |     4920      1 |        0 |        0
222.65/222.74	c  222s |       8 |    56995 |     6836 |     4920      1 |        0 |        0
226.76/226.86	c  226s |       8 |    57093 |     6936 |     4920      1 |        0 |        0
229.96/230.08	c  229s |       8 |    57202 |     7036 |     4920      1 |        0 |        0
233.65/233.70	c  233s |       8 |    57299 |     7136 |     4920      1 |        0 |        0
237.45/237.58	c  237s |       8 |    57397 |     7236 |     4920      1 |        0 |        0
241.45/241.59	c  241s |       8 |    57504 |     7336 |     4920      1 |        0 |        0
245.85/245.92	c  245s |       8 |    57598 |     7436 |     4920      1 |        0 |        0
248.45/248.60	c  248s |       9 |    57670 |     7506 |     5412      1 |        0 |        0
253.85/253.91	c  253s |       9 |    64056 |     7606 |     5412      1 |        0 |        0
257.25/257.36	c  257s |       9 |    64146 |     7706 |     5412      1 |        0 |        0
260.05/260.13	c  259s |       9 |    64249 |     7806 |     5412      1 |        0 |        0
262.75/262.86	c  262s |       9 |    64354 |     7906 |     5412      1 |        0 |        0
265.65/265.76	c  265s |       9 |    64453 |     8006 |     5412      1 |        0 |        0
268.75/268.83	c  268s |       9 |    64549 |     8106 |     5412      1 |        0 |        0
271.95/272.00	c  271s |       9 |    64649 |     8206 |     5412      1 |        0 |        0
275.45/275.56	c  275s |       9 |    64749 |     8306 |     5412      1 |        0 |        0
278.54/278.61	c  278s |       9 |    64849 |     8406 |     5412      1 |        0 |        0
280.64/280.77	c  280s |       9 |    64964 |     8506 |     5412      1 |        0 |        0
283.15/283.28	c  283s |       9 |    65058 |     8606 |     5412      1 |        0 |        0
285.95/286.10	c  285s |       9 |    65156 |     8706 |     5412      1 |        0 |        0
288.94/289.05	c  288s |       9 |    65254 |     8806 |     5412      1 |        0 |        0
292.04/292.18	c  291s |       9 |    65356 |     8906 |     5412      1 |        0 |        0
295.14/295.26	c  295s |       9 |    65456 |     9006 |     5412      1 |        0 |        0
298.35/298.47	c  298s |       9 |    65554 |     9106 |     5412      1 |        0 |        0
301.94/302.06	c  301s |       9 |    65652 |     9206 |     5412      1 |        0 |        0
305.54/305.69	c  305s |       9 |    65754 |     9306 |     5412      1 |        0 |        0
309.34/309.40	c  309s |       9 |    65848 |     9406 |     5412      1 |        0 |        0
311.74/311.82	c  311s |       9 |    65961 |     9506 |     5412      1 |        0 |        0
314.44/314.51	c  314s |       9 |    66052 |     9606 |     5412      1 |        0 |        0
316.94/317.05	c  316s |       9 |    66154 |     9706 |     5412      1 |        0 |        0
320.04/320.15	c  319s |       9 |    66256 |     9806 |     5412      1 |        0 |        0
323.54/323.67	c  323s |       9 |    66355 |     9906 |     5412      1 |        0 |        0
327.54/327.66	c  327s |       9 |    66447 |    10006 |     5412      1 |        0 |        0
331.24/331.34	c  331s |       9 |    66552 |    10106 |     5412      1 |        0 |        0
334.14/334.27	c  334s |       9 |    66653 |    10206 |     5412      1 |        0 |        0
337.44/337.56	c  337s |       9 |    66753 |    10306 |     5412      1 |        0 |        0
341.44/341.50	c  341s |       9 |    66848 |    10406 |     5412      1 |        0 |        0
345.34/345.43	c  345s |       9 |    66949 |    10506 |     5412      1 |        0 |        0
347.84/347.98	c  347s |       9 |    67048 |    10606 |     5412      1 |        0 |        0
350.74/350.80	c  350s |       9 |    67160 |    10706 |     5412      1 |        0 |        0
353.94/354.00	c  353s |       9 |    67258 |    10806 |     5412      1 |        0 |        0
357.14/357.27	c  357s |       9 |    67357 |    10906 |     5412      1 |        0 |        0
360.53/360.64	c  360s |       9 |    67455 |    11006 |     5412      1 |        0 |        0
364.04/364.14	c  363s |       9 |    67557 |    11106 |     5412      1 |        0 |        0
367.34/367.45	c  367s |       9 |    67652 |    11206 |     5412      1 |        0 |        0
370.93/371.08	c  370s |       9 |    67753 |    11306 |     5954      1 |        0 |        0
372.94/373.05	c  372s |      10 |    67818 |    11361 |     5954      1 |        0 |        0
385.13/385.24	c  385s |      10 |    74199 |    11461 |     5954      2 |        0 |        0
387.73/387.89	c  387s |      10 |    74301 |    11561 |     5954      2 |        0 |        0
391.23/391.36	c  391s |      10 |    74399 |    11661 |     5954      2 |        0 |        0
393.73/393.82	c  393s |      10 |    74503 |    11761 |     5954      2 |        0 |        0
396.42/396.57	c  396s |      10 |    74613 |    11861 |     5954      2 |        0 |        0
399.23/399.39	c  399s |      10 |    74709 |    11961 |     5954      2 |        0 |        0
402.33/402.48	c  402s |      10 |    74810 |    12061 |     5954      2 |        0 |        0
405.73/405.81	c  405s |      10 |    74904 |    12161 |     5954      2 |        0 |        0
409.13/409.25	c  409s |      10 |    75004 |    12261 |     5954      2 |        0 |        0
412.43/412.54	c  412s |      10 |    75109 |    12361 |     5954      2 |        0 |        0
416.23/416.31	c  416s |      10 |    75206 |    12461 |     5954      2 |        0 |        0
419.33/419.45	c  419s |      10 |    75310 |    12561 |     5954      2 |        0 |        0
421.93/422.09	c  421s |      10 |    75417 |    12661 |     5954      2 |        0 |        0
424.82/424.94	c  424s |      10 |    75508 |    12761 |     5954      2 |        0 |        0
427.72/427.81	c  427s |      10 |    75608 |    12861 |     5954      2 |        0 |        0
430.72/430.82	c  430s |      10 |    75711 |    12961 |     5954      2 |        0 |        0
434.03/434.14	c  433s |      10 |    75808 |    13061 |     5954      2 |        0 |        0
437.32/437.47	c  437s |      10 |    75913 |    13161 |     5954      2 |        0 |        0
441.03/441.16	c  440s |      10 |    76007 |    13261 |     5954      2 |        0 |        0
444.52/444.69	c  444s |      10 |    76108 |    13361 |     5954      2 |        0 |        0
447.42/447.52	c  447s |      10 |    76203 |    13461 |     5954      2 |        0 |        0
449.42/449.57	c  449s |      10 |    76320 |    13561 |     5954      2 |        0 |        0
452.02/452.17	c  451s |      10 |    76419 |    13661 |     5954      2 |        0 |        0
454.62/454.75	c  454s |      10 |    76524 |    13761 |     5954      2 |        0 |        0
457.42/457.57	c  457s |      10 |    76619 |    13861 |     5954      2 |        0 |        0
460.32/460.49	c  460s |      10 |    76715 |    13961 |     5954      2 |        0 |        0
463.61/463.71	c  463s |      10 |    76814 |    14061 |     5954      2 |        0 |        0
466.52/466.61	c  466s |      10 |    76918 |    14161 |     5954      2 |        0 |        0
469.92/470.03	c  469s |      10 |    77016 |    14261 |     5954      2 |        0 |        0
472.82/472.91	c  472s |      10 |    77118 |    14361 |     5954      2 |        0 |        0
476.22/476.32	c  476s |      10 |    77214 |    14461 |     5954      2 |        0 |        0
479.62/479.79	c  479s |      10 |    77317 |    14561 |     5954      2 |        0 |        0
483.02/483.11	c  482s |      10 |    77419 |    14661 |     5954      2 |        0 |        0
486.72/486.82	c  486s |      10 |    77510 |    14761 |     5954      2 |        0 |        0
490.31/490.47	c  490s |      10 |    77615 |    14861 |     5954      2 |        0 |        0
494.01/494.18	c  493s |      10 |    77710 |    14961 |     5954      2 |        0 |        0
497.22/497.36	c  497s |      10 |    77818 |    15061 |     5954      2 |        0 |        0
500.21/500.35	c  500s |      10 |    77921 |    15161 |     5954      2 |        0 |        0
503.61/503.77	c  503s |      10 |    78023 |    15261 |     5954      2 |        0 |        0
507.21/507.39	c  507s |      10 |    78117 |    15361 |     5954      2 |        0 |        0
511.02/511.14	c  510s |      10 |    78218 |    15461 |     5954      2 |        0 |        0
514.91/515.03	c  514s |      10 |    78311 |    15561 |     5954      2 |        0 |        0
518.21/518.33	c  518s |      10 |    78425 |    15661 |     5954      2 |        0 |        0
520.81/520.98	c  520s |      10 |    78520 |    15761 |     5954      2 |        0 |        0
523.91/524.00	c  523s |      10 |    78626 |    15861 |     5954      2 |        0 |        0
526.71/526.83	c  526s |      10 |    78721 |    15961 |     5954      2 |        0 |        0
529.31/529.40	c  529s |      10 |    78825 |    16061 |     5954      2 |        0 |        0
532.32/532.48	c  532s |      10 |    78927 |    16161 |     5954      2 |        0 |        0
535.20/535.33	c  535s |      10 |    79027 |    16261 |     5954      2 |        0 |        0
538.50/538.66	c  538s |      10 |    79123 |    16361 |     5954      2 |        0 |        0
541.50/541.66	c  541s |      10 |    79228 |    16461 |     5954      2 |        0 |        0
545.01/545.12	c  544s |      10 |    79318 |    16561 |     5954      2 |        0 |        0
548.21/548.38	c  548s |      10 |    79422 |    16661 |     5954      2 |        0 |        0
551.61/551.78	c  551s |      10 |    79521 |    16761 |     5954      2 |        0 |        0
555.21/555.36	c  555s |      10 |    79620 |    16861 |     5954      2 |        0 |        0
558.40/558.53	c  558s |      10 |    79721 |    16961 |     5954      2 |        0 |        0
562.21/562.35	c  562s |      10 |    79819 |    17061 |     6550      2 |        0 |        0
565.01/565.18	c  564s |      11 |    79901 |    17144 |     6550      2 |        0 |        0
578.10/578.27	c  578s |      11 |    86289 |    17244 |     6550      3 |        0 |        0
581.30/581.46	c  581s |      11 |    86394 |    17344 |     6550      3 |        0 |        0
584.01/584.15	c  583s |      11 |    86503 |    17444 |     6550      3 |        0 |        0
586.60/586.79	c  586s |      11 |    86601 |    17544 |     6550      3 |        0 |        0
589.80/589.91	c  589s |      11 |    86698 |    17644 |     6550      3 |        0 |        0
593.00/593.13	c  592s |      11 |    86796 |    17744 |     6550      3 |        0 |        0
596.30/596.47	c  596s |      11 |    86898 |    17844 |     6550      3 |        0 |        0
599.79/599.95	c  599s |      11 |    86998 |    17944 |     6550      3 |        0 |        0
603.49/603.69	c  603s |      11 |    87097 |    18044 |     6550      3 |        0 |        0
607.40/607.56	c  607s |      11 |    87195 |    18144 |     6550      3 |        0 |        0
610.10/610.28	c  610s |      11 |    87293 |    18244 |     6550      3 |        0 |        0
613.50/613.60	c  613s |      11 |    87400 |    18344 |     6550      3 |        0 |        0
616.90/617.03	c  616s |      11 |    87497 |    18444 |     6550      3 |        0 |        0
620.40/620.59	c  620s |      11 |    87597 |    18544 |     6550      3 |        0 |        0
624.19/624.30	c  624s |      11 |    87693 |    18644 |     6550      3 |        0 |        0
628.00/628.20	c  627s |      11 |    87801 |    18744 |     6550      3 |        0 |        0
630.30/630.40	c  630s |      11 |    87903 |    18844 |     6550      3 |        0 |        0
632.79/632.98	c  632s |      11 |    88017 |    18944 |     6550      3 |        0 |        0
635.70/635.86	c  635s |      11 |    88114 |    19044 |     6550      3 |        0 |        0
638.49/638.65	c  638s |      11 |    88215 |    19144 |     6550      3 |        0 |        0
641.59/641.71	c  641s |      11 |    88312 |    19244 |     6550      3 |        0 |        0
644.69/644.86	c  644s |      11 |    88409 |    19344 |     6550      3 |        0 |        0
647.89/648.03	c  647s |      11 |    88513 |    19444 |     6550      3 |        0 |        0
651.29/651.45	c  651s |      11 |    88613 |    19544 |     6550      3 |        0 |        0
654.79/654.92	c  654s |      11 |    88708 |    19644 |     6550      3 |        0 |        0
658.49/658.65	c  658s |      11 |    88809 |    19744 |     6550      3 |        0 |        0
661.78/661.97	c  661s |      11 |    88913 |    19844 |     6550      3 |        0 |        0
665.39/665.56	c  665s |      11 |    89010 |    19944 |     6550      3 |        0 |        0
669.39/669.58	c  669s |      11 |    89117 |    20044 |     6550      3 |        0 |        0
672.88/673.07	c  672s |      11 |    89215 |    20144 |     6550      3 |        0 |        0
676.79/676.94	c  676s |      11 |    89311 |    20244 |     6550      3 |        0 |        0
680.59/680.75	c  680s |      11 |    89412 |    20344 |     6550      3 |        0 |        0
684.39/684.56	c  684s |      11 |    89510 |    20444 |     6550      3 |        0 |        0
688.38/688.56	c  688s |      11 |    89617 |    20544 |     6550      3 |        0 |        0
692.38/692.51	c  692s |      11 |    89707 |    20644 |     6550      3 |        0 |        0
696.38/696.59	c  696s |      11 |    89813 |    20744 |     6550      3 |        0 |        0
700.58/700.75	c  700s |      11 |    89912 |    20844 |     6550      3 |        0 |        0
703.59/703.72	c  703s |      11 |    90015 |    20944 |     6550      3 |        0 |        0
706.48/706.68	c  706s |      11 |    90111 |    21044 |     6550      3 |        0 |        0
709.39/709.57	c  709s |      11 |    90222 |    21144 |     6550      3 |        0 |        0
712.88/713.04	c  712s |      11 |    90318 |    21244 |     6550      3 |        0 |        0
715.78/715.95	c  715s |      11 |    90421 |    21344 |     6550      3 |        0 |        0
719.29/719.48	c  719s |      11 |    90518 |    21444 |     6550      3 |        0 |        0
722.48/722.70	c  722s |      11 |    90618 |    21544 |     6550      3 |        0 |        0
726.08/726.20	c  725s |      11 |    90716 |    21644 |     6550      3 |        0 |        0
729.88/730.01	c  729s |      11 |    90815 |    21744 |     6550      3 |        0 |        0
733.37/733.56	c  733s |      11 |    90917 |    21844 |     6550      3 |        0 |        0
737.47/737.64	c  737s |      11 |    91013 |    21944 |     6550      3 |        0 |        0
741.18/741.33	c  741s |      11 |    91112 |    22044 |     6550      3 |        0 |        0
745.08/745.20	c  744s |      11 |    91214 |    22144 |     6550      3 |        0 |        0
748.98/749.19	c  748s |      11 |    91315 |    22244 |     6550      3 |        0 |        0
753.07/753.25	c  753s |      11 |    91417 |    22344 |     6550      3 |        0 |        0
757.47/757.68	c  757s |      11 |    91508 |    22444 |     6550      3 |        0 |        0
760.97/761.18	c  760s |      11 |    91618 |    22544 |     6550      3 |        0 |        0
764.07/764.24	c  764s |      11 |    91716 |    22644 |     6550      3 |        0 |        0
767.07/767.27	c  767s |      11 |    91811 |    22744 |     6550      3 |        0 |        0
770.37/770.50	c  770s |      11 |    91923 |    22844 |     6550      3 |        0 |        0
773.37/773.52	c  773s |      11 |    92026 |    22944 |     6550      3 |        0 |        0
776.37/776.54	c  776s |      11 |    92133 |    23044 |     6550      3 |        0 |        0
779.57/779.73	c  779s |      11 |    92232 |    23144 |     6550      3 |        0 |        0
782.96/783.13	c  782s |      11 |    92326 |    23244 |     6550      3 |        0 |        0
786.38/786.53	c  786s |      11 |    92437 |    23344 |     6550      3 |        0 |        0
789.57/789.72	c  789s |      11 |    92528 |    23444 |     6550      3 |        0 |        0
793.46/793.64	c  793s |      11 |    92630 |    23544 |     6550      3 |        0 |        0
796.87/797.09	c  796s |      11 |    92727 |    23644 |     6550      3 |        0 |        0
800.26/800.48	c  800s |      11 |    92833 |    23744 |     6550      3 |        0 |        0
803.66/803.85	c  803s |      11 |    92929 |    23844 |     6550      3 |        0 |        0
807.96/808.13	c  807s |      11 |    93030 |    23944 |     6550      3 |        0 |        0
811.56/811.78	c  811s |      11 |    93128 |    24044 |     6550      3 |        0 |        0
815.27/815.47	c  815s |      11 |    93230 |    24144 |     6550      3 |        0 |        0
818.96/819.17	c  818s |      11 |    93326 |    24244 |     6550      3 |        0 |        0
823.06/823.27	c  823s |      11 |    93435 |    24344 |     6550      3 |        0 |        0
826.66/826.87	c  826s |      11 |    93528 |    24444 |     6550      3 |        0 |        0
831.26/831.45	c  831s |      11 |    93624 |    24544 |     6550      3 |        0 |        0
834.96/835.18	c  834s |      11 |    93730 |    24644 |     6550      3 |        0 |        0
839.76/839.99	c  839s |      11 |    93827 |    24744 |     6550      3 |        0 |        0
843.86/844.08	c  843s |      11 |    93924 |    24844 |     6550      3 |        0 |        0
854.26/854.44	c  854s |      11 |    94034 |    24944 |     6550      4 |        0 |        0
859.25/859.44	c  859s |      11 |    94129 |    25044 |     6550      4 |        0 |        0
863.15/863.32	c  863s |      11 |    94235 |    25144 |     6550      4 |        0 |        0
867.46/867.68	c  867s |      11 |    94327 |    25244 |     6550      4 |        0 |        0
870.95/871.19	c  870s |      11 |    94429 |    25344 |     6550      4 |        0 |        0
873.95/874.19	c  873s |      11 |    94541 |    25444 |     6550      4 |        0 |        0
877.36/877.55	c  877s |      11 |    94637 |    25544 |     6550      4 |        0 |        0
880.55/880.73	c  880s |      11 |    94745 |    25644 |     6550      4 |        0 |        0
884.05/884.23	c  884s |      11 |    94841 |    25744 |     7206      4 |        0 |        0
886.96/887.16	c  886s |      12 |    94913 |    25819 |     7206      4 |        0 |        0
896.85/897.08	c  896s |      12 |   101014 |    25919 |     7206      5 |        0 |        0
899.66/899.86	c  899s |      12 |   101120 |    26019 |     7206      5 |        0 |        0
902.55/902.78	c  902s |      12 |   101215 |    26119 |     7206      5 |        0 |        0
905.85/906.02	c  905s |      12 |   101317 |    26219 |     7206      5 |        0 |        0
908.35/908.55	c  908s |      12 |   101416 |    26319 |     7206      5 |        0 |        0
911.34/911.55	c  911s |      12 |   101517 |    26419 |     7206      5 |        0 |        0
914.84/915.00	c  914s |      12 |   101616 |    26519 |     7206      5 |        0 |        0
918.05/918.28	c  918s |      12 |   101715 |    26619 |     7206      5 |        0 |        0
921.34/921.50	c  921s |      12 |   101817 |    26719 |     7206      5 |        0 |        0
923.54/923.78	c  923s |      12 |   101923 |    26819 |     7206      5 |        0 |        0
926.04/926.21	c  925s |      12 |   102023 |    26919 |     7206      5 |        0 |        0
928.34/928.60	c  928s |      12 |   102126 |    27019 |     7206      5 |        0 |        0
931.04/931.23	c  931s |      12 |   102223 |    27119 |     7206      5 |        0 |        0
933.85/934.02	c  933s |      12 |   102322 |    27219 |     7206      5 |        0 |        0
937.04/937.25	c  937s |      12 |   102417 |    27319 |     7206      5 |        0 |        0
940.03/940.26	c  940s |      12 |   102517 |    27419 |     7206      5 |        0 |        0
943.24/943.48	c  943s |      12 |   102616 |    27519 |     7206      5 |        0 |        0
946.84/947.03	c  946s |      12 |   102713 |    27619 |     7206      5 |        0 |        0
949.53/949.70	c  949s |      12 |   102823 |    27719 |     7206      5 |        0 |        0
952.44/952.65	c  952s |      12 |   102927 |    27819 |     7206      5 |        0 |        0
955.73/955.91	c  955s |      12 |   103022 |    27919 |     7206      5 |        0 |        0
959.43/959.65	c  959s |      12 |   103116 |    28019 |     7206      5 |        0 |        0
963.13/963.35	c  963s |      12 |   103220 |    28119 |     7206      5 |        0 |        0
965.93/966.14	c  965s |      12 |   103324 |    28219 |     7206      5 |        0 |        0
968.63/968.85	c  968s |      12 |   103427 |    28319 |     7206      5 |        0 |        0
971.42/971.68	c  971s |      12 |   103526 |    28419 |     7206      5 |        0 |        0
974.62/974.88	c  974s |      12 |   103621 |    28519 |     7206      5 |        0 |        0
977.73/977.98	c  977s |      12 |   103725 |    28619 |     7206      5 |        0 |        0
981.13/981.39	c  981s |      12 |   103823 |    28719 |     7206      5 |        0 |        0
984.92/985.12	c  984s |      12 |   103919 |    28819 |     7206      5 |        0 |        0
988.52/988.74	c  988s |      12 |   104022 |    28919 |     7206      5 |        0 |        0
991.82/992.08	c  991s |      12 |   104120 |    29019 |     7206      5 |        0 |        0
995.22/995.49	c  995s |      12 |   104223 |    29119 |     7206      5 |        0 |        0
998.22/998.48	c  998s |      12 |   104327 |    29219 |     7206      5 |        0 |        0
1001.92/1002.13	c 1001s |      12 |   104424 |    29319 |     7206      5 |        0 |        0
1005.51/1005.77	c 1005s |      12 |   104519 |    29419 |     7206      5 |        0 |        0
1008.71/1008.94	c 1008s |      12 |   104627 |    29519 |     7206      5 |        0 |        0
1012.21/1012.45	c 1012s |      12 |   104727 |    29619 |     7206      5 |        0 |        0
1015.81/1016.04	c 1015s |      12 |   104827 |    29719 |     7206      5 |        0 |        0
1019.41/1019.68	c 1019s |      12 |   104927 |    29819 |     7206      5 |        0 |        0
1023.51/1023.70	c 1023s |      12 |   105022 |    29919 |     7206      5 |        0 |        0
1027.50/1027.75	c 1027s |      12 |   105126 |    30019 |     7206      5 |        0 |        0
1031.41/1031.60	c 1031s |      12 |   105226 |    30119 |     7206      5 |        0 |        0
1034.50/1034.78	c 1034s |      12 |   105332 |    30219 |     7206      5 |        0 |        0
1038.10/1038.30	c 1038s |      12 |   105426 |    30319 |     7206      5 |        0 |        0
1041.90/1042.11	c 1041s |      12 |   105528 |    30419 |     7206      5 |        0 |        0
1045.40/1045.69	c 1045s |      12 |   105633 |    30519 |     7206      5 |        0 |        0
1049.09/1049.36	c 1049s |      12 |   105731 |    30619 |     7206      5 |        0 |        0
1053.10/1053.39	c 1053s |      12 |   105826 |    30719 |     7206      5 |        0 |        0
1057.19/1057.41	c 1057s |      12 |   105925 |    30819 |     7206      5 |        0 |        0
1061.39/1061.65	c 1061s |      12 |   106029 |    30919 |     7206      5 |        0 |        0
1065.38/1065.66	c 1065s |      12 |   106131 |    31019 |     7206      5 |        0 |        0
1069.09/1069.31	c 1069s |      12 |   106235 |    31119 |     7206      5 |        0 |        0
1072.79/1073.07	c 1072s |      12 |   106330 |    31219 |     7206      5 |        0 |        0
1076.98/1077.28	c 1077s |      12 |   106428 |    31319 |     7206      5 |        0 |        0
1080.98/1081.20	c 1080s |      12 |   106526 |    31419 |     7206      5 |        0 |        0
1083.88/1084.16	c 1083s |      12 |   106630 |    31519 |     7206      5 |        0 |        0
1086.59/1086.87	c 1086s |      12 |   106725 |    31619 |     7206      5 |        0 |        0
1089.28/1089.57	c 1089s |      12 |   106841 |    31719 |     7206      5 |        0 |        0
1092.38/1092.61	c 1092s |      12 |   106936 |    31819 |     7206      5 |        0 |        0
1095.48/1095.75	c 1095s |      12 |   107035 |    31919 |     7206      5 |        0 |        0
1098.38/1098.62	c 1098s |      12 |   107135 |    32019 |     7206      5 |        0 |        0
1101.07/1101.40	c 1101s |      12 |   107238 |    32119 |     7206      5 |        0 |        0
1104.08/1104.33	c 1104s |      12 |   107338 |    32219 |     7206      5 |        0 |        0
1107.28/1107.58	c 1107s |      12 |   107435 |    32319 |     7206      5 |        0 |        0
1110.57/1110.89	c 1110s |      12 |   107539 |    32419 |     7206      5 |        0 |        0
1114.08/1114.34	c 1114s |      12 |   107634 |    32519 |     7206      5 |        0 |        0
1117.27/1117.56	c 1117s |      12 |   107739 |    32619 |     7206      5 |        0 |        0
1120.47/1120.77	c 1120s |      12 |   107841 |    32719 |     7206      5 |        0 |        0
1124.08/1124.33	c 1124s |      12 |   107935 |    32819 |     7206      5 |        0 |        0
1127.77/1128.00	c 1127s |      12 |   108034 |    32919 |     7206      5 |        0 |        0
1131.27/1131.51	c 1131s |      12 |   108136 |    33019 |     7206      5 |        0 |        0
1134.77/1135.01	c 1134s |      12 |   108237 |    33119 |     7206      5 |        0 |        0
1138.28/1138.57	c 1138s |      12 |   108334 |    33219 |     7206      5 |        0 |        0
1142.07/1142.38	c 1142s |      12 |   108436 |    33319 |     7206      5 |        0 |        0
1145.98/1146.22	c 1146s |      12 |   108537 |    33419 |     7206      5 |        0 |        0
1149.87/1150.13	c 1149s |      12 |   108635 |    33519 |     7206      5 |        0 |        0
1153.67/1153.92	c 1153s |      12 |   108741 |    33619 |     7206      5 |        0 |        0
1157.67/1157.94	c 1157s |      12 |   108836 |    33719 |     7206      5 |        0 |        0
1161.37/1161.65	c 1161s |      12 |   108938 |    33819 |     7206      5 |        0 |        0
1165.06/1165.37	c 1165s |      12 |   109038 |    33919 |     7206      5 |        0 |        0
1169.26/1169.52	c 1169s |      12 |   109133 |    34019 |     7206      5 |        0 |        0
1173.36/1173.70	c 1173s |      12 |   109238 |    34119 |     7206      5 |        0 |        0
1177.16/1177.48	c 1177s |      12 |   109338 |    34219 |     7206      5 |        0 |        0
1181.36/1181.66	c 1181s |      12 |   109440 |    34319 |     7206      5 |        0 |        0
1184.36/1184.68	c 1184s |      12 |   109538 |    34419 |     7206      5 |        0 |        0
1187.86/1188.12	c 1187s |      12 |   109637 |    34519 |     7206      5 |        0 |        0
1191.06/1191.39	c 1191s |      12 |   109750 |    34619 |     7206      5 |        0 |        0
1194.76/1195.00	c 1194s |      12 |   109847 |    34719 |     7206      5 |        0 |        0
1198.26/1198.52	c 1198s |      12 |   109938 |    34819 |     7206      5 |        0 |        0
1201.65/1201.90	c 1201s |      12 |   110041 |    34919 |     7206      5 |        0 |        0
1205.16/1205.46	c 1205s |      12 |   110142 |    35019 |     7206      5 |        0 |        0
1208.76/1209.08	c 1208s |      12 |   110251 |    35119 |     7206      5 |        0 |        0
1212.56/1212.87	c 1212s |      12 |   110344 |    35219 |     7206      5 |        0 |        0
1216.37/1216.66	c 1216s |      12 |   110438 |    35319 |     7206      5 |        0 |        0
1220.65/1220.96	c 1220s |      12 |   110536 |    35419 |     7206      5 |        0 |        0
1224.45/1224.75	c 1224s |      12 |   110637 |    35519 |     7206      5 |        0 |        0
1228.35/1228.66	c 1228s |      12 |   110741 |    35619 |     7206      5 |        0 |        0
1238.75/1239.07	c 1238s |      12 |   110841 |    35719 |     7206      6 |        0 |        0
1243.45/1243.79	c 1243s |      12 |   110937 |    35819 |     7206      6 |        0 |        0
1247.26/1247.53	c 1247s |      12 |   111044 |    35919 |     7206      6 |        0 |        0
1251.85/1252.15	c 1251s |      12 |   111136 |    36019 |     7206      6 |        0 |        0
1255.75/1256.09	c 1255s |      12 |   111240 |    36119 |     7206      6 |        0 |        0
1260.14/1260.48	c 1260s |      12 |   111336 |    36219 |     7206      6 |        0 |        0
1264.05/1264.30	c 1264s |      12 |   111434 |    36319 |     7206      6 |        0 |        0
1267.95/1268.21	c 1267s |      12 |   111539 |    36419 |     7206      6 |        0 |        0
1272.94/1273.26	c 1273s |      12 |   111637 |    36519 |     7206      6 |        0 |        0
1276.74/1277.04	c 1276s |      12 |   111741 |    36619 |     7206      6 |        0 |        0
1279.84/1280.18	c 1279s |      12 |   111841 |    36719 |     7206      6 |        0 |        0
1283.44/1283.78	c 1283s |      12 |   111940 |    36819 |     7206      6 |        0 |        0
1287.44/1287.78	c 1287s |      12 |   112045 |    36919 |     7206      6 |        0 |        0
1290.83/1291.18	c 1290s |      12 |   112138 |    37019 |     7206      6 |        0 |        0
1294.44/1294.71	c 1294s |      12 |   112247 |    37119 |     7206      6 |        0 |        0
1297.84/1298.12	c 1297s |      12 |   112343 |    37219 |     7206      6 |        0 |        0
1301.05/1301.40	c 1301s |      12 |   112446 |    37319 |     7206      6 |        0 |        0
1305.14/1305.48	c 1305s |      12 |   112542 |    37419 |     7206      6 |        0 |        0
1308.84/1309.14	c 1308s |      12 |   112644 |    37519 |     7206      6 |        0 |        0
1312.33/1312.64	c 1312s |      12 |   112744 |    37619 |     7206      6 |        0 |        0
1316.44/1316.71	c 1316s |      12 |   112839 |    37719 |     7206      6 |        0 |        0
1319.83/1320.17	c 1319s |      12 |   112950 |    37819 |     7206      6 |        0 |        0
1323.63/1323.94	c 1323s |      12 |   113045 |    37919 |     7206      6 |        0 |        0
1327.93/1328.20	c 1327s |      12 |   113142 |    38019 |     7206      6 |        0 |        0
1332.43/1332.78	c 1332s |      12 |   113242 |    38119 |     7206      6 |        0 |        0
1335.53/1335.82	c 1335s |      12 |   113342 |    38219 |     7206      6 |        0 |        0
1338.62/1338.99	c 1338s |      12 |   113448 |    38319 |     7206      6 |        0 |        0
1342.62/1342.92	c 1342s |      12 |   113541 |    38419 |     7206      6 |        0 |        0
1346.43/1346.71	c 1346s |      12 |   113644 |    38519 |     7206      6 |        0 |        0
1349.93/1350.28	c 1350s |      12 |   113756 |    38619 |     7927      6 |        0 |        0
1353.42/1353.73	c 1353s |      12 |   113851 |    38719 |     7927      6 |        0 |        0
1357.12/1357.45	c 1357s |      12 |   113945 |    38819 |     7927      6 |        0 |        0
1357.62/1357.91	c 1357s |      13 |   113964 |    38832 |     7927      6 |        0 |        0
1370.92/1371.20	c 1370s |      13 |   120351 |    38932 |     7927      7 |        0 |        0
1373.62/1373.97	c 1373s |      13 |   120452 |    39032 |     7927      7 |        0 |        0
1376.11/1376.41	c 1376s |      13 |   120558 |    39132 |     7927      7 |        0 |        0
1378.72/1379.03	c 1378s |      13 |   120656 |    39232 |     7927      7 |        0 |        0
1381.92/1382.29	c 1382s |      13 |   120754 |    39332 |     7927      7 |        0 |        0
1385.61/1385.94	c 1385s |      13 |   120868 |    39432 |     7927      7 |        0 |        0
1388.92/1389.29	c 1389s |      13 |   120964 |    39532 |     7927      7 |        0 |        0
1392.51/1392.86	c 1392s |      13 |   121066 |    39632 |     7927      7 |        0 |        0
1396.21/1396.55	c 1396s |      13 |   121169 |    39732 |     7927      7 |        0 |        0
1400.41/1400.71	c 1400s |      13 |   121264 |    39832 |     7927      7 |        0 |        0
1403.81/1404.15	c 1403s |      13 |   121369 |    39932 |     7927      7 |        0 |        0
1407.61/1407.96	c 1407s |      13 |   121470 |    40032 |     7927      7 |        0 |        0
1411.31/1411.63	c 1411s |      13 |   121571 |    40132 |     7927      7 |        0 |        0
1415.00/1415.31	c 1415s |      13 |   121673 |    40232 |     7927      7 |        0 |        0
1418.71/1419.08	c 1418s |      13 |   121775 |    40332 |     7927      7 |        0 |        0
1422.61/1422.91	c 1422s |      13 |   121875 |    40432 |     7927      7 |        0 |        0
1426.41/1426.80	c 1426s |      13 |   121979 |    40532 |     7927      7 |        0 |        0
1430.81/1431.16	c 1430s |      13 |   122077 |    40632 |     7927      7 |        0 |        0
1434.30/1434.66	c 1434s |      13 |   122185 |    40732 |     7927      7 |        0 |        0
1438.00/1438.39	c 1438s |      13 |   122280 |    40832 |     7927      7 |        0 |        0
1442.10/1442.47	c 1442s |      13 |   122380 |    40932 |     7927      7 |        0 |        0
1446.70/1447.05	c 1446s |      13 |   122478 |    41032 |     7927      7 |        0 |        0
1450.80/1451.18	c 1450s |      13 |   122581 |    41132 |     7927      7 |        0 |        0
1455.00/1455.32	c 1455s |      13 |   122679 |    41232 |     7927      7 |        0 |        0
1458.99/1459.35	c 1459s |      13 |   122778 |    41332 |     7927      7 |        0 |        0
1462.80/1463.18	c 1462s |      13 |   122887 |    41432 |     7927      7 |        0 |        0
1466.99/1467.40	c 1467s |      13 |   122985 |    41532 |     7927      7 |        0 |        0
1471.29/1471.68	c 1471s |      13 |   123086 |    41632 |     7927      7 |        0 |        0
1475.78/1476.12	c 1475s |      13 |   123185 |    41732 |     7927      7 |        0 |        0
1480.58/1480.91	c 1480s |      13 |   123294 |    41832 |     7927      7 |        0 |        0
1485.59/1485.93	c 1485s |      13 |   123394 |    41932 |     7927      7 |        0 |        0
1489.98/1490.38	c 1490s |      13 |   123495 |    42032 |     7927      7 |        0 |        0
1494.88/1495.22	c 1495s |      13 |   123598 |    42132 |     7927      7 |        0 |        0
1499.69/1500.06	c 1499s |      13 |   123691 |    42232 |     7927      7 |        0 |        0
1503.08/1503.48	c 1503s |      13 |   123798 |    42332 |     7927      7 |        0 |        0
1506.38/1506.80	c 1506s |      13 |   123892 |    42432 |     7927      7 |        0 |        0
1510.09/1510.46	c 1510s |      13 |   124013 |    42532 |     7927      7 |        0 |        0
1513.88/1514.29	c 1514s |      13 |   124111 |    42632 |     7927      7 |        0 |        0
1517.69/1518.09	c 1517s |      13 |   124208 |    42732 |     7927      7 |        0 |        0
1521.88/1522.21	c 1521s |      13 |   124312 |    42832 |     7927      7 |        0 |        0
1525.38/1525.74	c 1525s |      13 |   124408 |    42932 |     7927      7 |        0 |        0
1529.07/1529.47	c 1529s |      13 |   124505 |    43032 |     7927      7 |        0 |        0
1532.78/1533.10	c 1532s |      13 |   124609 |    43132 |     7927      7 |        0 |        0
1536.38/1536.78	c 1536s |      13 |   124713 |    43232 |     7927      7 |        0 |        0
1540.17/1540.52	c 1540s |      13 |   124814 |    43332 |     7927      7 |        0 |        0
1543.57/1543.95	c 1543s |      13 |   124915 |    43432 |     7927      7 |        0 |        0
1547.07/1547.47	c 1547s |      13 |   125012 |    43532 |     7927      7 |        0 |        0
1550.97/1551.33	c 1551s |      13 |   125112 |    43632 |     7927      7 |        0 |        0
1554.67/1555.03	c 1554s |      13 |   125209 |    43732 |     7927      7 |        0 |        0
1558.87/1559.21	c 1558s |      13 |   125307 |    43832 |     7927      7 |        0 |        0
1562.56/1562.96	c 1562s |      13 |   125415 |    43932 |     7927      7 |        0 |        0
1566.77/1567.11	c 1566s |      13 |   125511 |    44032 |     7927      7 |        0 |        0
1570.97/1571.36	c 1571s |      13 |   125607 |    44132 |     7927      7 |        0 |        0
1574.97/1575.34	c 1575s |      13 |   125710 |    44232 |     7927      7 |        0 |        0
1579.16/1579.56	c 1579s |      13 |   125809 |    44332 |     7927      7 |        0 |        0
1583.26/1583.68	c 1583s |      13 |   125919 |    44432 |     7927      7 |        0 |        0
1587.16/1587.57	c 1587s |      13 |   126020 |    44532 |     7927      7 |        0 |        0
1589.96/1590.31	c 1590s |      13 |   126127 |    44632 |     7927      7 |        0 |        0
1592.86/1593.24	c 1593s |      13 |   126222 |    44732 |     7927      7 |        0 |        0
1596.06/1596.42	c 1596s |      13 |   126329 |    44832 |     7927      7 |        0 |        0
1599.17/1599.55	c 1599s |      13 |   126424 |    44932 |     7927      7 |        0 |        0
1602.56/1602.96	c 1602s |      13 |   126521 |    45032 |     7927      7 |        0 |        0
1605.86/1606.28	c 1606s |      13 |   126627 |    45132 |     7927      7 |        0 |        0
1609.26/1609.64	c 1609s |      13 |   126733 |    45232 |     7927      7 |        0 |        0
1612.36/1612.71	c 1612s |      13 |   126835 |    45332 |     7927      7 |        0 |        0
1615.67/1616.05	c 1615s |      13 |   126930 |    45432 |     7927      7 |        0 |        0
1618.76/1619.16	c 1618s |      13 |   127032 |    45532 |     7927      7 |        0 |        0
1622.46/1622.88	c 1622s |      13 |   127132 |    45632 |     7927      7 |        0 |        0
1625.96/1626.32	c 1626s |      13 |   127228 |    45732 |     7927      7 |        0 |        0
1629.65/1630.02	c 1629s |      13 |   127331 |    45832 |     7927      7 |        0 |        0
1633.46/1633.80	c 1633s |      13 |   127433 |    45932 |     7927      7 |        0 |        0
1637.35/1637.77	c 1637s |      13 |   127535 |    46032 |     7927      7 |        0 |        0
1641.35/1641.74	c 1641s |      13 |   127632 |    46132 |     7927      7 |        0 |        0
1645.35/1645.76	c 1645s |      13 |   127736 |    46232 |     7927      7 |        0 |        0
1648.85/1649.24	c 1649s |      13 |   127837 |    46332 |     7927      7 |        0 |        0
1653.05/1653.45	c 1653s |      13 |   127936 |    46432 |     7927      7 |        0 |        0
1657.04/1657.49	c 1657s |      13 |   128032 |    46532 |     7927      7 |        0 |        0
1660.55/1660.96	c 1660s |      13 |   128138 |    46632 |     7927      7 |        0 |        0
1664.25/1664.60	c 1664s |      13 |   128240 |    46732 |     7927      7 |        0 |        0
1668.15/1668.50	c 1668s |      13 |   128338 |    46832 |     7927      7 |        0 |        0
1671.94/1672.32	c 1672s |      13 |   128436 |    46932 |     7927      7 |        0 |        0
1675.84/1676.29	c 1676s |      13 |   128540 |    47032 |     7927      7 |        0 |        0
1680.14/1680.52	c 1680s |      13 |   128636 |    47132 |     7927      7 |        0 |        0
1684.14/1684.56	c 1684s |      13 |   128741 |    47232 |     7927      7 |        0 |        0
1687.94/1688.37	c 1688s |      13 |   128843 |    47332 |     7927      7 |        0 |        0
1692.54/1692.93	c 1692s |      13 |   128938 |    47432 |     7927      7 |        0 |        0
1696.74/1697.20	c 1696s |      13 |   129040 |    47532 |     7927      7 |        0 |        0
1701.13/1701.56	c 1701s |      13 |   129138 |    47632 |     7927      7 |        0 |        0
1704.53/1704.99	c 1704s |      13 |   129244 |    47732 |     7927      7 |        0 |        0
1708.93/1709.38	c 1709s |      13 |   129346 |    47832 |     7927      7 |        0 |        0
1712.63/1713.10	c 1712s |      13 |   129447 |    47932 |     7927      7 |        0 |        0
1717.03/1717.46	c 1717s |      13 |   129546 |    48032 |     7927      7 |        0 |        0
1728.13/1728.59	c 1728s |      13 |   129639 |    48132 |     7927      8 |        0 |        0
1732.93/1733.32	c 1733s |      13 |   129742 |    48232 |     7927      8 |        0 |        0
1736.23/1736.65	c 1736s |      13 |   129846 |    48332 |     7927      8 |        0 |        0
1739.33/1739.76	c 1739s |      13 |   129942 |    48432 |     7927      8 |        0 |        0
1742.53/1742.90	c 1742s |      13 |   130055 |    48532 |     7927      8 |        0 |        0
1746.03/1746.45	c 1746s |      13 |   130150 |    48632 |     7927      8 |        0 |        0
1749.42/1749.85	c 1749s |      13 |   130249 |    48732 |     7927      8 |        0 |        0
1753.04/1753.49	c 1753s |      13 |   130352 |    48832 |     7927      8 |        0 |        0
1756.73/1757.17	c 1756s |      13 |   130451 |    48932 |     7927      8 |        0 |        0
1760.73/1761.14	c 1760s |      13 |   130556 |    49032 |     7927      8 |        0 |        0
1764.14/1764.55	c 1764s |      13 |   130651 |    49132 |     7927      8 |        0 |        0
1768.03/1768.43	c 1768s |      13 |   130758 |    49232 |     7927      8 |        0 |        0
1771.83/1772.24	c 1772s |      13 |   130856 |    49332 |     7927      8 |        0 |        0
1776.03/1776.44	c 1776s |      13 |   130956 |    49432 |     7927      8 |        0 |        0
1779.82/1780.25	c 1780s |      13 |   131059 |    49532 |     7927      8 |        0 |        0
1783.83/1784.26	c 1784s |      13 |   131157 |    49632 |     7927      8 |        0 |        0
1787.82/1788.23	c 1788s |      13 |   131257 |    49732 |     7927      8 |        0 |        0
1791.82/1792.29	c 1792s |      13 |   131359 |    49832 |     7927      8 |        0 |        0
1795.62/1796.01	c 1795s |      13 |   131463 |    49932 |     7927      8 |        0 |        0
1799.52/1799.91	c 1799s |      13 |   131562 |    50032 |     7927      8 |        0 |        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-4080004-1465277941/watcher-4080004-1465277941 -o /tmp/evaluation-result-4080004-1465277941/solver-4080004-1465277941 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1465274317-14315 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080004-1465277941.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.31 2.26 2.26 3/177 14752
/proc/meminfo: memFree=29161056/32872528 swapFree=17280/1464432
[pid=14752] ppid=14749 vsize=641468 CPUtime=0 cores=1,3,5,7
/proc/14752/stat : 14752 (toysat) R 14749 14752 5982 0 -1 4202496 2379 0 0 0 0 0 0 0 20 0 4 0 109727162 656863232 2739 33554432000 4194304 16246674 140735890228368 140735890227792 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14752/statm: 161135 2749 441 2943 0 158029 0
[pid=14752/tid=14753] ppid=14749 vsize=659900 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14753/stat : 14753 (toysat) S 14749 14752 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109727162 675737600 2809 33554432000 4194304 16246674 140735890228368 140515709267184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14752/tid=14754] ppid=14749 vsize=663996 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14754/stat : 14754 (toysat) S 14749 14752 5982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109727162 679931904 2827 33554432000 4194304 16246674 140735890228368 140515626429680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14752/tid=14755] ppid=14749 vsize=668092 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14755/stat : 14755 (toysat) S 14749 14752 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109727162 684126208 2843 33554432000 4194304 16246674 140735890228368 140515615956144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10016 s]
/proc/loadavg: 2.31 2.26 2.26 3/177 14752
/proc/meminfo: memFree=29161056/32872528 swapFree=17280/1464432
[pid=14752] ppid=14749 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/14752/stat : 14752 (toysat) R 14749 14752 5982 0 -1 4202496 28045 0 0 0 6 3 0 0 20 0 4 0 109727162 1332285440 28344 33554432000 4194304 16246674 140735890228368 140735890210240 5703736 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14752/statm: 325265 28358 808 2943 0 322159 0
[pid=14752/tid=14753] ppid=14749 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14753/stat : 14753 (toysat) S 14749 14752 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109727162 1332285440 28369 33554432000 4194304 16246674 140735890228368 140515709267184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14752/tid=14754] ppid=14749 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14754/stat : 14754 (toysat) S 14749 14752 5982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109727162 1332285440 28379 33554432000 4194304 16246674 140735890228368 140515626429680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14752/tid=14755] ppid=14749 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14755/stat : 14755 (toysat) S 14749 14752 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109727162 1332285440 28389 33554432000 4194304 16246674 140735890228368 140515615956144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200465 s]
/proc/loadavg: 2.31 2.26 2.26 3/177 14752
/proc/meminfo: memFree=29161056/32872528 swapFree=17280/1464432
[pid=14752] ppid=14749 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/14752/stat : 14752 (toysat) R 14749 14752 5982 0 -1 4202496 42065 0 0 0 14 5 0 0 20 0 4 0 109727162 1343819776 42363 33554432000 4194304 16246674 140735890228368 140735890227680 6757489 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14752/statm: 328081 42363 834 2943 0 324975 0
[pid=14752/tid=14753] ppid=14749 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14753/stat : 14753 (toysat) S 14749 14752 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109727162 1343819776 42363 33554432000 4194304 16246674 140735890228368 140515709267184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14752/tid=14754] ppid=14749 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14754/stat : 14754 (toysat) S 14749 14752 5982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109727162 1343819776 42363 33554432000 4194304 16246674 140735890228368 140515626429680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14752/tid=14755] ppid=14749 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14755/stat : 14755 (toysat) S 14749 14752 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109727162 1343819776 42363 33554432000 4194304 16246674 140735890228368 140515615956144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300499 s]
/proc/loadavg: 2.31 2.26 2.26 3/177 14752
/proc/meminfo: memFree=29161056/32872528 swapFree=17280/1464432
[pid=14752] ppid=14749 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/14752/stat : 14752 (toysat) R 14749 14752 5982 0 -1 4202496 43495 0 0 0 24 5 0 0 20 0 4 0 109727162 1343819776 43793 33554432000 4194304 16246674 140735890228368 140735890227680 12874997 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14752/statm: 328081 43793 885 2943 0 324975 0
[pid=14752/tid=14753] ppid=14749 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14753/stat : 14753 (toysat) S 14749 14752 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109727162 1343819776 43793 33554432000 4194304 16246674 140735890228368 140515709267184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14752/tid=14754] ppid=14749 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14754/stat : 14754 (toysat) S 14749 14752 5982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109727162 1343819776 43793 33554432000 4194304 16246674 140735890228368 140515626429680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14752/tid=14755] ppid=14749 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14755/stat : 14755 (toysat) S 14749 14752 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109727162 1343819776 43793 33554432000 4194304 16246674 140735890228368 140515615956144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700423 s]
/proc/loadavg: 2.31 2.26 2.26 3/177 14752
/proc/meminfo: memFree=29161056/32872528 swapFree=17280/1464432
[pid=14752] ppid=14749 vsize=1312324 CPUtime=0.69 cores=1,3,5,7
/proc/14752/stat : 14752 (toysat) R 14749 14752 5982 0 -1 4202496 43499 0 0 0 64 5 0 0 20 0 4 0 109727162 1343819776 43797 33554432000 4194304 16246674 140735890228368 140735890227680 13950192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14752/statm: 328081 43797 889 2943 0 324975 0
[pid=14752/tid=14753] ppid=14749 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14753/stat : 14753 (toysat) S 14749 14752 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109727162 1343819776 43797 33554432000 4194304 16246674 140735890228368 140515709267184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14752/tid=14754] ppid=14749 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14754/stat : 14754 (toysat) S 14749 14752 5982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109727162 1343819776 43797 33554432000 4194304 16246674 140735890228368 140515626429680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14752/tid=14755] ppid=14749 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14755/stat : 14755 (toysat) S 14749 14752 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109727162 1343819776 43797 33554432000 4194304 16246674 140735890228368 140515615956144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.50042 s]
/proc/loadavg: 2.31 2.26 2.26 3/181 14756
/proc/meminfo: memFree=28987112/32872528 swapFree=17280/1464432
[pid=14752] ppid=14749 vsize=1312324 CPUtime=1.49 cores=1,3,5,7
/proc/14752/stat : 14752 (toysat) R 14749 14752 5982 0 -1 4202496 43500 0 0 0 144 5 0 0 20 0 4 0 109727162 1343819776 43798 33554432000 4194304 16246674 140735890228368 140735890227544 5553716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14752/statm: 328081 43798 890 2943 0 324975 0
[pid=14752/tid=14753] ppid=14749 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14753/stat : 14753 (toysat) S 14749 14752 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109727162 1343819776 43798 33554432000 4194304 16246674 140735890228368 140515709267184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14752/tid=14754] ppid=14749 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14754/stat : 14754 (toysat) S 14749 14752 5982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109727162 1343819776 43798 33554432000 4194304 16246674 140735890228368 140515626429680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14752/tid=14755] ppid=14749 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14755/stat : 14755 (toysat) S 14749 14752 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109727162 1343819776 43798 33554432000 4194304 16246674 140735890228368 140515615956144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1312324

[startup+3.10042 s]
/proc/loadavg: 2.31 2.26 2.26 3/181 14756
/proc/meminfo: memFree=28986732/32872528 swapFree=17280/1464432
[pid=14752] ppid=14749 vsize=1312324 CPUtime=3.08 cores=1,3,5,7
/proc/14752/stat : 14752 (toysat) R 14749 14752 5982 0 -1 4202496 43500 0 0 0 303 5 0 0 20 0 4 0 109727162 1343819776 43798 33554432000 4194304 16246674 140735890228368 140735890227544 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14752/statm: 328081 43798 890 2943 0 324975 0
[pid=14752/tid=14753] ppid=14749 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14753/stat : 14753 (toysat) S 14749 14752 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109727162 1343819776 43798 33554432000 4194304 16246674 140735890228368 140515709267184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14752/tid=14754] ppid=14749 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14754/stat : 14754 (toysat) S 14749 14752 5982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109727162 1343819776 43798 33554432000 4194304 16246674 140735890228368 140515626429680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14752/tid=14755] ppid=14749 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14755/stat : 14755 (toysat) S 14749 14752 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109727162 1343819776 43798 33554432000 4194304 16246674 140735890228368 140515615956144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1312324

[startup+6.30042 s]
/proc/loadavg: 2.29 2.25 2.26 3/181 14756
/proc/meminfo: memFree=28972888/32872528 swapFree=17280/1464432
[pid=14752] ppid=14749 vsize=1312324 CPUtime=6.28 cores=1,3,5,7
/proc/14752/stat : 14752 (toysat) R 14749 14752 5982 0 -1 4202496 48943 0 0 0 622 6 0 0 20 0 4 0 109727162 1343819776 49241 33554432000 4194304 16246674 140735890228368 140735890226240 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14752/statm: 328081 49241 890 2943 0 324975 0
[pid=14752/tid=14753] ppid=14749 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14753/stat : 14753 (toysat) S 14749 14752 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109727162 1343819776 49241 33554432000 4194304 16246674 140735890228368 140515709267184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14752/tid=14754] ppid=14749 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14754/stat : 14754 (toysat) S 14749 14752 5982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109727162 1343819776 49241 33554432000 4194304 16246674 140735890228368 140515626429680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14752/tid=14755] ppid=14749 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14755/stat : 14755 (toysat) S 14749 14752 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109727162 1343819776 49241 33554432000 4194304 16246674 140735890228368 140515615956144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.27 2.25 2.25 4/181 14756
/proc/meminfo: memFree=28960324/32872528 swapFree=17280/1464432
[pid=14752] ppid=14749 vsize=1312324 CPUtime=12.69 cores=1,3,5,7
/proc/14752/stat : 14752 (toysat) R 14749 14752 5982 0 -1 4202496 50169 0 0 0 1262 7 0 0 20 0 4 0 109727162 1343819776 50467 33554432000 4194304 16246674 140735890228368 140735890227464 5523456 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14752/statm: 328081 50467 890 2943 0 324975 0
[pid=14752/tid=14753] ppid=14749 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14753/stat : 14753 (toysat) S 14749 14752 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109727162 1343819776 50467 33554432000 4194304 16246674 140735890228368 140515709267184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14752/tid=14754] ppid=14749 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14754/stat : 14754 (toysat) S 14749 14752 5982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109727162 1343819776 50467 33554432000 4194304 16246674 140735890228368 140515626429680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14752/tid=14755] ppid=14749 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14755/stat : 14755 (toysat) S 14749 14752 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109727162 1343819776 50467 33554432000 4194304 16246674 140735890228368 140515615956144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.27 2.25 2.26 4/181 14756
/proc/meminfo: memFree=28944548/32872528 swapFree=17280/1464432
[pid=14752] ppid=14749 vsize=1312324 CPUtime=25.48 cores=1,3,5,7
/proc/14752/stat : 14752 (toysat) R 14749 14752 5982 0 -1 4202496 54416 0 0 0 2541 7 0 0 20 0 4 0 109727162 1343819776 54714 33554432000 4194304 16246674 140735890228368 140735890227544 5722816 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14752/statm: 328081 54714 890 2943 0 324975 0
[pid=14752/tid=14753] ppid=14749 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14753/stat : 14753 (toysat) S 14749 14752 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109727162 1343819776 54714 33554432000 4194304 16246674 140735890228368 140515709267184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14752/tid=14754] ppid=14749 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14754/stat : 14754 (toysat) S 14749 14752 5982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109727162 1343819776 54714 33554432000 4194304 16246674 140735890228368 140515626429680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14752/tid=14755] ppid=14749 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14755/stat : 14755 (toysat) S 14749 14752 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109727162 1343819776 54714 33554432000 4194304 16246674 140735890228368 140515615956144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.25 2.25 2.25 3/181 14756
/proc/meminfo: memFree=28827592/32872528 swapFree=17280/1464432
[pid=14752] ppid=14749 vsize=1312324 CPUtime=51.09 cores=1,3,5,7
/proc/14752/stat : 14752 (toysat) R 14749 14752 5982 0 -1 4202496 83543 0 0 0 5095 14 0 0 20 0 4 0 109727162 1343819776 83841 33554432000 4194304 16246674 140735890228368 140735890210240 13191445 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14752/statm: 328081 83841 890 2943 0 324975 0
[pid=14752/tid=14753] ppid=14749 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14753/stat : 14753 (toysat) S 14749 14752 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109727162 1343819776 83841 33554432000 4194304 16246674 140735890228368 140515709267184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14752/tid=14754] ppid=14749 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14754/stat : 14754 (toysat) S 14749 14752 5982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109727162 1343819776 83841 33554432000 4194304 16246674 140735890228368 140515626429680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14752/tid=14755] ppid=14749 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14755/stat : 14755 (toysat) S 14749 14752 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109727162 1343819776 83841 33554432000 4194304 16246674 140735890228368 140515615956144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1312324

[startup+102.301 s]
/proc/loadavg: 2.21 2.24 2.25 3/182 14761
/proc/meminfo: memFree=28614204/32872528 swapFree=17280/1464432
[pid=14752] ppid=14749 vsize=1312324 CPUtime=102.28 cores=1,3,5,7
/proc/14752/stat : 14752 (toysat) R 14749 14752 5982 0 -1 4202496 136818 0 0 0 10204 24 0 0 20 0 4 0 109727162 1343819776 137116 33554432000 4194304 16246674 140735890228368 140735890210240 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14752/statm: 328081 137116 890 2943 0 324975 0
[pid=14752/tid=14753] ppid=14749 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14753/stat : 14753 (toysat) S 14749 14752 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109727162 1343819776 137116 33554432000 4194304 16246674 140735890228368 140515709267184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14752/tid=14754] ppid=14749 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14754/stat : 14754 (toysat) S 14749 14752 5982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109727162 1343819776 137116 33554432000 4194304 16246674 140735890228368 140515626429680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14752/tid=14755] ppid=14749 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14755/stat : 14755 (toysat) S 14749 14752 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109727162 1343819776 137116 33554432000 4194304 16246674 140735890228368 140515615956144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1312324


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

/proc/14752/task/14755/stat : 14755 (toysat) S 14749 14752 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140515615956144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 1987140

[startup+1302.3 s]
/proc/loadavg: 2.20 2.21 2.22 4/182 14791
/proc/meminfo: memFree=27370872/32872528 swapFree=17280/1464432
[pid=14752] ppid=14749 vsize=1987140 CPUtime=1302.04 cores=1,3,5,7
/proc/14752/stat : 14752 (toysat) R 14749 14752 5982 0 -1 4202496 438069 0 0 0 130060 144 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140735890227544 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14752/statm: 496785 438536 897 2943 0 493679 0
[pid=14752/tid=14753] ppid=14749 vsize=1987140 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14753/stat : 14753 (toysat) S 14749 14752 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140515709267184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14752/tid=14754] ppid=14749 vsize=1987140 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14754/stat : 14754 (toysat) S 14749 14752 5982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140515626429680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14752/tid=14755] ppid=14749 vsize=1987140 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14755/stat : 14755 (toysat) S 14749 14752 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140515615956144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 1987140

[startup+1362.3 s]
/proc/loadavg: 2.28 2.23 2.22 4/182 14816
/proc/meminfo: memFree=27371524/32872528 swapFree=17280/1464432
[pid=14752] ppid=14749 vsize=1987140 CPUtime=1362.02 cores=1,3,5,7
/proc/14752/stat : 14752 (toysat) R 14749 14752 5982 0 -1 4202496 438079 0 0 0 136056 146 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140735890227544 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14752/statm: 496785 438536 897 2943 0 493679 0
[pid=14752/tid=14753] ppid=14749 vsize=1987140 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14753/stat : 14753 (toysat) S 14749 14752 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140515709267184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14752/tid=14754] ppid=14749 vsize=1987140 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14754/stat : 14754 (toysat) S 14749 14752 5982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140515626429680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14752/tid=14755] ppid=14749 vsize=1987140 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14755/stat : 14755 (toysat) S 14749 14752 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140515615956144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 1987140

[startup+1422.3 s]
/proc/loadavg: 2.39 2.26 2.23 3/181 14817
/proc/meminfo: memFree=27371060/32872528 swapFree=17280/1464432
[pid=14752] ppid=14749 vsize=1987140 CPUtime=1422.02 cores=1,3,5,7
/proc/14752/stat : 14752 (toysat) R 14749 14752 5982 0 -1 4202496 438087 0 0 0 142051 151 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140735890227544 5722908 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14752/statm: 496785 438536 897 2943 0 493679 0
[pid=14752/tid=14753] ppid=14749 vsize=1987140 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14753/stat : 14753 (toysat) S 14749 14752 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140515709267184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14752/tid=14754] ppid=14749 vsize=1987140 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14754/stat : 14754 (toysat) S 14749 14752 5982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140515626429680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14752/tid=14755] ppid=14749 vsize=1987140 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14755/stat : 14755 (toysat) S 14749 14752 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140515615956144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 1987140

[startup+1482.3 s]
/proc/loadavg: 2.41 2.29 2.24 4/181 14818
/proc/meminfo: memFree=27370632/32872528 swapFree=17280/1464432
[pid=14752] ppid=14749 vsize=1987140 CPUtime=1481.99 cores=1,3,5,7
/proc/14752/stat : 14752 (toysat) R 14749 14752 5982 0 -1 4202496 438099 0 0 0 148045 154 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140735890227544 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14752/statm: 496785 438536 897 2943 0 493679 0
[pid=14752/tid=14753] ppid=14749 vsize=1987140 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14753/stat : 14753 (toysat) S 14749 14752 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140515709267184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14752/tid=14754] ppid=14749 vsize=1987140 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14754/stat : 14754 (toysat) S 14749 14752 5982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140515626429680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14752/tid=14755] ppid=14749 vsize=1987140 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14755/stat : 14755 (toysat) S 14749 14752 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140515615956144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 1987140

[startup+1542.31 s]
/proc/loadavg: 2.44 2.31 2.25 3/181 14819
/proc/meminfo: memFree=27370604/32872528 swapFree=17280/1464432
[pid=14752] ppid=14749 vsize=1987140 CPUtime=1541.98 cores=1,3,5,7
/proc/14752/stat : 14752 (toysat) R 14749 14752 5982 0 -1 4202496 438108 0 0 0 154041 157 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140735890210240 12875485 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14752/statm: 496785 438536 897 2943 0 493679 0
[pid=14752/tid=14753] ppid=14749 vsize=1987140 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14753/stat : 14753 (toysat) S 14749 14752 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140515709267184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14752/tid=14754] ppid=14749 vsize=1987140 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14754/stat : 14754 (toysat) S 14749 14752 5982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140515626429680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14752/tid=14755] ppid=14749 vsize=1987140 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14755/stat : 14755 (toysat) S 14749 14752 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140515615956144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 1987140

[startup+1602.3 s]
/proc/loadavg: 2.36 2.31 2.25 3/181 14820
/proc/meminfo: memFree=27370268/32872528 swapFree=17280/1464432
[pid=14752] ppid=14749 vsize=1987140 CPUtime=1601.96 cores=1,3,5,7
/proc/14752/stat : 14752 (toysat) R 14749 14752 5982 0 -1 4202496 438112 0 0 0 160035 161 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140735890226176 4225157 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14752/statm: 496785 438536 897 2943 0 493679 0
[pid=14752/tid=14753] ppid=14749 vsize=1987140 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14753/stat : 14753 (toysat) S 14749 14752 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140515709267184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14752/tid=14754] ppid=14749 vsize=1987140 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14754/stat : 14754 (toysat) S 14749 14752 5982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140515626429680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14752/tid=14755] ppid=14749 vsize=1987140 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14755/stat : 14755 (toysat) S 14749 14752 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140515615956144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 1987140

[startup+1662.3 s]
/proc/loadavg: 2.35 2.31 2.25 4/181 14822
/proc/meminfo: memFree=27370304/32872528 swapFree=17280/1464432
[pid=14752] ppid=14749 vsize=1987140 CPUtime=1661.95 cores=1,3,5,7
/proc/14752/stat : 14752 (toysat) R 14749 14752 5982 0 -1 4202496 438117 0 0 0 166029 166 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140735890210240 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14752/statm: 496785 438536 897 2943 0 493679 0
[pid=14752/tid=14753] ppid=14749 vsize=1987140 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14753/stat : 14753 (toysat) S 14749 14752 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140515709267184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14752/tid=14754] ppid=14749 vsize=1987140 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14754/stat : 14754 (toysat) S 14749 14752 5982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140515626429680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14752/tid=14755] ppid=14749 vsize=1987140 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14755/stat : 14755 (toysat) S 14749 14752 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140515615956144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 1987140

[startup+1722.3 s]
/proc/loadavg: 2.23 2.28 2.25 3/181 14823
/proc/meminfo: memFree=27370420/32872528 swapFree=17280/1464432
[pid=14752] ppid=14749 vsize=1987140 CPUtime=1721.93 cores=1,3,5,7
/proc/14752/stat : 14752 (toysat) R 14749 14752 5982 0 -1 4202496 438121 0 0 0 172023 170 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140735890227464 7252812 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14752/statm: 496785 438536 897 2943 0 493679 0
[pid=14752/tid=14753] ppid=14749 vsize=1987140 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14753/stat : 14753 (toysat) S 14749 14752 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140515709267184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14752/tid=14754] ppid=14749 vsize=1987140 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14754/stat : 14754 (toysat) S 14749 14752 5982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140515626429680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14752/tid=14755] ppid=14749 vsize=1987140 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14755/stat : 14755 (toysat) S 14749 14752 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140515615956144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 1987140

[startup+1782.3 s]
/proc/loadavg: 2.29 2.29 2.25 2/171 14855
/proc/meminfo: memFree=28523704/32872528 swapFree=17280/1464432
[pid=14752] ppid=14749 vsize=1987140 CPUtime=1781.92 cores=1,3,5,7
/proc/14752/stat : 14752 (toysat) R 14749 14752 5982 0 -1 4202496 438122 0 0 0 178016 176 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140735890210240 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14752/statm: 496785 438536 897 2943 0 493679 0
[pid=14752/tid=14753] ppid=14749 vsize=1987140 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14753/stat : 14753 (toysat) S 14749 14752 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140515709267184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14752/tid=14754] ppid=14749 vsize=1987140 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14754/stat : 14754 (toysat) S 14749 14752 5982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140515626429680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14752/tid=14755] ppid=14749 vsize=1987140 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14755/stat : 14755 (toysat) S 14749 14752 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140515615956144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 1987140



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.01 2.22 2.23 2/171 14855
/proc/meminfo: memFree=28524244/32872528 swapFree=17280/1464432
[pid=14752] ppid=14749 vsize=1987140 CPUtime=1800.02 cores=1,3,5,7
/proc/14752/stat : 14752 (toysat) R 14749 14752 5982 0 -1 4202496 438122 0 0 0 179824 178 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140735890227464 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14752/statm: 496785 438536 897 2943 0 493679 0
[pid=14752/tid=14753] ppid=14749 vsize=1987140 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14753/stat : 14753 (toysat) S 14749 14752 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140515709267184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14752/tid=14754] ppid=14749 vsize=1987140 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14754/stat : 14754 (toysat) S 14749 14752 5982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140515626429680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14752/tid=14755] ppid=14749 vsize=1987140 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14755/stat : 14755 (toysat) S 14749 14752 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109727162 2034831360 438536 33554432000 4194304 16246674 140735890228368 140515615956144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1987140

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.04
CPU user time (s): 1798.25
CPU system time (s): 1.78573
CPU usage (%): 99.9791
Max. virtual memory (cumulated for all children) (KiB): 1987140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.25
system time used= 1.78573
maximum resident set size= 1754144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 438122
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= 155
involuntary context switches= 1849

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.31258 second user time and 9.49356 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-07 07:39:01
IDJOB=4080004
IDBENCH=89843
IDSOLVER=2542
FILE ID=node121/4080004-1465277941
RUNJOBID= node121-1465274317-14315
PBS_JOBID= 19843282
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-777800.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080004-1465277941/watcher-4080004-1465277941 -o /tmp/evaluation-result-4080004-1465277941/solver-4080004-1465277941 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1465274317-14315 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080004-1465277941.opb

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

MD5SUM BENCH= fa5c07257df1fb9de8867209807734ca
RANDOM SEED=1860640482

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.050
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:        29161584 kB
Buffers:          116200 kB
Cached:           286864 kB
SwapCached:         1720 kB
Active:          1242840 kB
Inactive:         265412 kB
Active(anon):    1105092 kB
Inactive(anon):     2180 kB
Active(file):     137748 kB
Inactive(file):   263232 kB
Unevictable:     1464432 kB
Mlocked:           17280 kB
SwapTotal:      67108856 kB
SwapFree:       67099332 kB
Dirty:             33680 kB
Writeback:             0 kB
AnonPages:       2571064 kB
Mapped:            10796 kB
Shmem:                 0 kB
Slab:             603032 kB
SReclaimable:      47336 kB
SUnreclaim:       555696 kB
KernelStack:        1504 kB
PageTables:         9332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2701648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1454080 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= 71716 MiB
End job on node121 at 2016-06-07 08:09:02