Trace number 4101273

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.09 1800.37

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-greenbeb.opb
MD5SUM7808a83c255339d45cbd36765fa322a9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables155020
Total number of constraints2675
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2675
Minimum length of a constraint11
Maximum length of a constraint7172
Number of terms in the objective function 14882
Biggest coefficient in the objective function 22533
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 536862
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 536862
Number of bits of the biggest sum of numbers20
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-18T06:00:03+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-4101273-1466222403.opb"]
0.00/0.01	c use --random-gen="1668250625 2482430663 3185207105 1724804663 4030220150 4008903275 4232181640 1325023484 3482295197 786588464 584205204 2806061085 3662637015 1562651053 3034726914 1513851686 4166009645 3450869118 2851361873 1587136946 2709591832 1587813321 2480057822 4131180204 4195630527 2039337132 583732698 1394978211 695733833 2822095292 1050576422 496498788 3508889797 1835926597 3224270218 2769277717 3573156106 1262717132 1727103627 2519626016 188917460 423229162 370081620 342845387 2085166141 3485493537 483257540 4125476527 105150787 731873673 1470986906 111425717 3225886256 144670733 2401499094 482332810 1338985598 1633907677 1442654616 2759584505 611534270 3944634289 100149361 970496688 2142580683 88814925 4217298908 2720046670 1526139002 2083379869 3166464689 2129116997 2634860131 1759816047 3418280292 3783011610 1531021933 3082298904 1785642337 314699313 1961889790 1319740530 3680856592 1116362329 4104379024 3687109141 795126431 2948848640 3359957316 1485128435 932804218 1516660603 2746193563 2869063880 1355667352 2463422057 233980109 190404532 4125921806 2000129663 1341100015 3171132471 3633561439 1204086441 2455554326 3845487014 1096837566 4106181852 1398313322 868826121 3372093721 3980692264 2038968370 105565664 4184016706 985719506 2924941932 1224804186 2766279233 273097881 3758048687 2989468034 741466331 1931234420 4197052246 2405332237 1792122041 2666914673 1689651927 2725021451 3282057081 960384406 358809057 530307248 3276586931 741393150 4015298815 3266929581 858523866 337264856 97759706 1305196826 3770548091 396909910 3072955437 2589525400 195771003 4053132522 1589601649 2646322077 2795261766 2873237940 2233594272 3913310972 3851137674 1014648708 1779406773 1073821164 3659441156 2493229840 1142051903 2155184986 4009255767 3900274025 2709221360 2226411097 2125808741 2578091291 2761156446 2153917002 1214202843 1092346773 1170683816 2969725492 3123664660 3276647532 2884908802 1229672175 6149310 4193809569 1287569679 4252466326 747366888 4083185953 516412126 2258974563 3488705304 3992725967 2132346983 3390307687 2105214728 2626889441 2832793899 3191769950 3847935750 588643710 4061453117 1856128727 405582862 1556184809 3194897514 3456153902 3182545731 106168848 3338086707 1030934443 2601637843 3057345945 1656429043 392407728 3500756709 2312222651 3088722661 993383004 3795756218 935337769 2261316704 2758520552 2933817509 389373300 702691927 731773738 975079628 3250327420 1960061049 3584697322 455783398 3200918964 1863929819 1785147449 20566254 2784576577 1065899892 4235397473 3294209595 2694032226 1917712229 2638088881 191241044 3323885227 2734806310 2785361445 1492160469 1874767071 1687110309 422086099 2682875113 3507495292 1435782196 2418229100 839278399 2332909251 690121914 3885395638 3568946815 3044616425 255 362436" option to reproduce the execution
1.39/1.46	c #vars 155020
1.39/1.46	c #constraints 2675
12.69/12.71	c BCD2: Hardening is enabled.
12.69/12.71	c BCD2: BiasedSearch is enabled.
12.69/12.71	c Solving starts ...
12.69/12.71	c ============================[ Search Statistics ]============================
12.69/12.71	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
12.69/12.71	c       |         |          |          |    Limit     GC | Var      | Constra 
12.69/12.71	c =============================================================================
12.69/12.72	c  0.0s |       0 |        0 |        0 |    53176      0 |    68090 |        0
14.49/14.56	c  1.8s |       1 |     1994 |      100 |    53176      0 |    68193 |      727
14.79/14.86	c  2.1s |       2 |     2353 |      250 |    58494      0 |    68194 |      727
14.99/15.06	c  2.3s |       3 |     2610 |      475 |    64344      0 |    68194 |      727
15.29/15.38	c  2.7s |       4 |     4249 |      813 |    70779      0 |    68195 |      727
15.59/15.62	c  2.9s |       5 |     4782 |     1320 |    77857      0 |    68195 |      727
17.79/17.86	c  5.1s |       6 |     8431 |     2081 |    94208      0 |    68229 |      727
19.29/19.37	c  6.6s |       7 |    10171 |     3223 |   103629      0 |    68235 |      727
21.09/21.19	c  8.5s |       8 |    12779 |     4936 |   113992      0 |    68249 |      727
23.19/23.25	c 10.5s |       8 |    15297 |     6836 |   113992      0 |    68258 |      727
23.79/23.81	c 11.1s |       9 |    15972 |     7506 |   125392      0 |    68258 |      727
25.89/25.92	c 13.2s |       9 |    18097 |     9306 |   125392      0 |    68258 |      727
27.88/27.92	c 15.2s |       9 |    19811 |    11006 |   125392      0 |    68258 |      727
28.28/28.31	c 15.6s |      10 |    20161 |    11361 |   137932      0 |    68258 |      727
30.68/30.75	c 18.0s |      10 |    21561 |    12061 |   137932      0 |    68286 |      727
33.98/34.04	c 21.3s |      10 |    22174 |    12461 |   137932      0 |    68286 |      727
35.98/36.05	c 23.3s |      10 |    22174 |    12561 |   137932      0 |    68286 |      727
38.88/38.96	c 26.2s |      10 |    22750 |    12761 |   137932      0 |    68286 |      727
42.38/42.41	c 29.7s |      10 |    22941 |    12961 |   137932      0 |    68286 |      727
44.98/45.09	c 32.4s |      10 |    23574 |    13161 |   137932      0 |    68286 |      727
46.98/47.09	c 34.4s |      10 |    23574 |    13361 |   137932      0 |    68286 |      727
50.98/51.02	c 38.3s |      10 |    23574 |    13561 |   137932      0 |    68286 |      727
54.08/54.18	c 41.5s |      10 |    23758 |    13761 |   137932      0 |    68286 |      727
57.08/57.18	c 44.5s |      10 |    24250 |    14061 |   137932      0 |    68286 |      727
59.08/59.18	c 46.5s |      10 |    24250 |    14161 |   137932      0 |    68286 |      727
61.98/62.05	c 49.3s |      10 |    24836 |    14361 |   137932      0 |    68286 |      727
65.58/65.70	c 53.0s |      10 |    24836 |    14661 |   137932      0 |    68286 |      727
67.68/67.72	c 55.0s |      10 |    24836 |    14761 |   137932      0 |    68286 |      727
69.98/70.03	c 57.3s |      10 |    25017 |    14961 |   137932      0 |    68286 |      727
72.38/72.43	c 59.7s |      10 |    25636 |    15261 |   137932      0 |    68286 |      727
75.58/75.67	c 63.0s |      10 |    25636 |    15461 |   137932      0 |    68286 |      727
77.68/77.70	c 65.0s |      10 |    25636 |    15561 |   137932      0 |    68286 |      727
80.77/80.89	c 68.2s |      10 |    26108 |    15861 |   137932      0 |    68286 |      727
82.87/82.96	c 70.2s |      10 |    26108 |    15961 |   137932      0 |    68286 |      727
85.37/85.48	c 72.8s |      10 |    26580 |    16161 |   137932      0 |    68286 |      727
88.17/88.25	c 75.5s |      10 |    26580 |    16361 |   137932      0 |    68286 |      727
90.28/90.35	c 77.6s |      10 |    26580 |    16461 |   137932      0 |    68286 |      727
92.48/92.54	c 79.8s |      10 |    27050 |    16661 |   137932      0 |    68286 |      727
95.68/95.72	c 83.0s |      10 |    27050 |    16861 |   137932      0 |    68286 |      727
97.77/97.85	c 85.1s |      10 |    27050 |    16961 |   137932      0 |    68286 |      727
99.47/99.52	c 86.8s |      11 |    27518 |    17144 |   151726      0 |    68286 |      727
102.77/102.85	c 90.1s |      11 |    27888 |    17344 |   151726      0 |    68286 |      727
105.77/105.87	c 93.2s |      11 |    27985 |    17544 |   151726      0 |    68286 |      727
108.47/108.56	c 95.8s |      11 |    28781 |    17944 |   151726      0 |    68286 |      727
110.77/110.81	c 98.1s |      11 |    29552 |    18544 |   151726      0 |    68286 |      727
113.07/113.17	c  100s |      11 |    30367 |    19344 |   151726      0 |    68286 |      727
116.07/116.13	c  103s |      11 |    31405 |    20344 |   151726      0 |    68286 |      727
118.67/118.72	c  106s |      11 |    32093 |    20744 |   151726      0 |    68286 |      727
122.27/122.38	c  109s |      11 |    32093 |    20944 |   151726      0 |    68286 |      727
124.38/124.45	c  111s |      11 |    32130 |    21044 |   151726      0 |    68286 |      727
127.77/127.82	c  115s |      11 |    32611 |    21344 |   151726      0 |    68286 |      727
131.77/131.86	c  119s |      11 |    32628 |    21544 |   151726      0 |    68286 |      727
134.87/134.92	c  122s |      11 |    32832 |    21744 |   151726      0 |    68286 |      727
136.87/136.98	c  124s |      11 |    33393 |    21944 |   151726      0 |    68286 |      727
139.67/139.72	c  127s |      11 |    33393 |    22144 |   151726      0 |    68286 |      727
141.66/141.76	c  129s |      11 |    33393 |    22244 |   151726      0 |    68286 |      727
143.76/143.80	c  131s |      11 |    33423 |    22344 |   151726      0 |    68286 |      727
145.96/146.01	c  133s |      11 |    34048 |    22544 |   151726      0 |    68286 |      727
148.16/148.20	c  135s |      11 |    34048 |    22744 |   151726      0 |    68286 |      727
152.06/152.16	c  139s |      11 |    34048 |    22944 |   151726      0 |    68286 |      727
154.86/154.96	c  142s |      11 |    34608 |    23244 |   151726      0 |    68286 |      727
158.56/158.60	c  145s |      11 |    34608 |    23444 |   151726      0 |    68286 |      727
160.96/161.07	c  148s |      11 |    35194 |    23644 |   151726      0 |    68286 |      727
163.36/163.49	c  150s |      11 |    35677 |    24144 |   151726      0 |    68286 |      727
165.56/165.62	c  152s |      11 |    36064 |    24544 |   151726      0 |    68286 |      727
167.76/167.82	c  155s |      11 |    36495 |    24944 |   151726      0 |    68286 |      727
170.06/170.15	c  157s |      11 |    36889 |    25344 |   151726      0 |    68286 |      727
172.56/172.62	c  159s |      11 |    37264 |    25744 |   166899      0 |    68286 |      727
173.06/173.10	c  160s |      12 |    37330 |    25819 |   166899      0 |    68286 |      727
175.86/175.96	c  163s |      12 |    37786 |    26019 |   166899      0 |    68286 |      727
177.96/178.03	c  165s |      12 |    37841 |    26119 |   166899      0 |    68286 |      727
180.46/180.60	c  167s |      12 |    37844 |    26219 |   166899      0 |    68286 |      727
183.16/183.29	c  170s |      12 |    38606 |    26419 |   166899      0 |    68286 |      727
186.46/186.51	c  173s |      12 |    38762 |    26619 |   166899      0 |    68286 |      727
189.16/189.21	c  176s |      12 |    38762 |    26719 |   166899      0 |    68286 |      727
191.96/192.04	c  179s |      12 |    39301 |    26919 |   166899      0 |    68286 |      727
195.16/195.29	c  182s |      12 |    39420 |    27119 |   166899      0 |    68286 |      727
197.85/197.91	c  185s |      12 |    39420 |    27219 |   166899      0 |    68286 |      727
200.26/200.34	c  187s |      12 |    39987 |    27419 |   166899      0 |    68286 |      727
203.46/203.59	c  190s |      12 |    40108 |    27619 |   166899      0 |    68286 |      727
206.15/206.29	c  193s |      12 |    40108 |    27719 |   166899      0 |    68286 |      727
209.06/209.19	c  196s |      12 |    40632 |    27919 |   166899      0 |    68286 |      727
212.45/212.52	c  199s |      12 |    40632 |    28119 |   166899      0 |    68286 |      727
215.05/215.19	c  202s |      12 |    40632 |    28219 |   166899      0 |    68286 |      727
217.15/217.28	c  204s |      12 |    41209 |    28319 |   166899      0 |    68286 |      727
219.85/219.97	c  207s |      12 |    41209 |    28519 |   166899      0 |    68286 |      727
222.26/222.31	c  209s |      12 |    41209 |    28619 |   166899      0 |    68286 |      727
225.05/225.10	c  212s |      12 |    41209 |    28719 |   166899      0 |    68286 |      727
227.15/227.26	c  214s |      12 |    41726 |    28919 |   166899      0 |    68286 |      727
231.55/231.64	c  218s |      12 |    41726 |    29119 |   166899      0 |    68286 |      727
234.15/234.30	c  221s |      12 |    42272 |    29219 |   166899      0 |    68286 |      727
236.85/236.94	c  224s |      12 |    42272 |    29419 |   166899      0 |    68286 |      727
239.15/239.27	c  226s |      12 |    42272 |    29519 |   166899      0 |    68286 |      727
241.96/242.02	c  229s |      12 |    42272 |    29619 |   166899      0 |    68286 |      727
245.25/245.40	c  232s |      12 |    42692 |    29819 |   166899      0 |    68286 |      727
247.65/247.75	c  235s |      12 |    42692 |    29919 |   166899      0 |    68286 |      727
250.55/250.65	c  237s |      12 |    42692 |    30019 |   166899      0 |    68286 |      727
253.55/253.65	c  240s |      12 |    43115 |    30219 |   166899      0 |    68286 |      727
255.65/255.77	c  243s |      12 |    43115 |    30319 |   166899      0 |    68286 |      727
258.45/258.55	c  245s |      12 |    43115 |    30419 |   166899      0 |    68286 |      727
261.45/261.53	c  248s |      12 |    43572 |    30619 |   166899      0 |    68286 |      727
266.04/266.12	c  253s |      12 |    43572 |    30819 |   166899      0 |    68286 |      727
269.34/269.44	c  256s |      12 |    43572 |    30919 |   166899      0 |    68286 |      727
271.94/272.08	c  259s |      12 |    44029 |    31119 |   166899      0 |    68286 |      727
274.34/274.40	c  261s |      12 |    44029 |    31219 |   166899      0 |    68286 |      727
277.34/277.40	c  264s |      12 |    44029 |    31319 |   166899      0 |    68286 |      727
279.94/280.01	c  267s |      12 |    44484 |    31419 |   166899      0 |    68286 |      727
282.84/282.90	c  270s |      12 |    44484 |    31619 |   166899      0 |    68286 |      727
285.44/285.55	c  272s |      12 |    44484 |    31719 |   166899      0 |    68286 |      727
288.74/288.82	c  276s |      12 |    44484 |    31819 |   166899      0 |    68286 |      727
290.74/290.89	c  278s |      12 |    44899 |    31919 |   166899      0 |    68286 |      727
294.85/294.98	c  282s |      12 |    44899 |    32119 |   166899      0 |    68286 |      727
297.84/297.97	c  285s |      12 |    44899 |    32219 |   166899      0 |    68286 |      727
300.64/300.73	c  288s |      12 |    45353 |    32419 |   166899      0 |    68286 |      727
302.74/302.85	c  290s |      12 |    45353 |    32519 |   166899      0 |    68286 |      727
305.64/305.72	c  292s |      12 |    45353 |    32619 |   166899      0 |    68286 |      727
308.74/308.84	c  296s |      12 |    45804 |    32719 |   166899      0 |    68286 |      727
311.34/311.45	c  298s |      12 |    45804 |    32919 |   166899      0 |    68286 |      727
313.94/314.00	c  301s |      12 |    45804 |    33019 |   166899      0 |    68286 |      727
317.14/317.21	c  304s |      12 |    45804 |    33119 |   166899      0 |    68286 |      727
319.64/319.72	c  307s |      12 |    46215 |    33219 |   166899      0 |    68286 |      727
323.64/323.70	c  310s |      12 |    46215 |    33419 |   166899      0 |    68286 |      727
326.64/326.73	c  314s |      12 |    46215 |    33519 |   166899      0 |    68286 |      727
329.53/329.65	c  316s |      12 |    46665 |    33719 |   166899      0 |    68286 |      727
331.53/331.67	c  318s |      12 |    46665 |    33819 |   166899      0 |    68286 |      727
334.34/334.47	c  321s |      12 |    46665 |    33919 |   166899      0 |    68286 |      727
337.74/337.86	c  325s |      12 |    47113 |    34019 |   166899      0 |    68286 |      727
340.23/340.30	c  327s |      12 |    47113 |    34219 |   166899      0 |    68286 |      727
342.63/342.79	c  330s |      12 |    47113 |    34319 |   166899      0 |    68286 |      727
345.83/345.94	c  333s |      12 |    47113 |    34419 |   166899      0 |    68286 |      727
347.83/347.99	c  335s |      12 |    47561 |    34519 |   166899      0 |    68286 |      727
351.13/351.29	c  338s |      12 |    47561 |    34719 |   166899      0 |    68286 |      727
354.03/354.15	c  341s |      12 |    47561 |    34819 |   166899      0 |    68286 |      727
357.33/357.43	c  344s |      12 |    48012 |    34919 |   166899      0 |    68286 |      727
359.83/359.93	c  347s |      12 |    48012 |    35119 |   166899      0 |    68286 |      727
362.33/362.44	c  349s |      12 |    48012 |    35219 |   166899      0 |    68286 |      727
365.53/365.61	c  352s |      12 |    48012 |    35319 |   166899      0 |    68286 |      727
367.63/367.74	c  355s |      12 |    48420 |    35419 |   166899      0 |    68286 |      727
371.53/371.66	c  358s |      12 |    48420 |    35619 |   166899      0 |    68286 |      727
374.63/374.78	c  362s |      12 |    48420 |    35719 |   166899      0 |    68286 |      727
377.43/377.59	c  364s |      12 |    48865 |    35919 |   166899      0 |    68286 |      727
381.93/382.09	c  369s |      12 |    48865 |    36119 |   166899      0 |    68286 |      727
384.93/385.00	c  372s |      12 |    49308 |    36219 |   166899      0 |    68286 |      727
387.13/387.26	c  374s |      12 |    49308 |    36419 |   166899      0 |    68286 |      727
389.43/389.58	c  376s |      12 |    49308 |    36519 |   166899      0 |    68286 |      727
392.43/392.59	c  379s |      12 |    49308 |    36619 |   166899      0 |    68286 |      727
395.03/395.19	c  382s |      12 |    49753 |    36819 |   166899      0 |    68286 |      727
399.72/399.87	c  387s |      12 |    49753 |    37019 |   166899      0 |    68286 |      727
402.22/402.33	c  389s |      12 |    50195 |    37119 |   166899      0 |    68286 |      727
404.73/404.85	c  392s |      12 |    50195 |    37319 |   166899      0 |    68286 |      727
407.12/407.28	c  394s |      12 |    50195 |    37419 |   166899      0 |    68286 |      727
410.23/410.38	c  397s |      12 |    50195 |    37519 |   166899      0 |    68286 |      727
413.72/413.82	c  401s |      12 |    50595 |    37719 |   166899      0 |    68286 |      727
416.42/416.50	c  403s |      12 |    50595 |    37819 |   166899      0 |    68286 |      727
419.62/419.78	c  407s |      12 |    50595 |    37919 |   166899      0 |    68286 |      727
422.02/422.11	c  409s |      12 |    51036 |    38119 |   166899      0 |    68286 |      727
424.12/424.21	c  411s |      12 |    51036 |    38219 |   166899      0 |    68286 |      727
427.02/427.10	c  414s |      12 |    51036 |    38319 |   166899      0 |    68286 |      727
430.03/430.11	c  417s |      12 |    51475 |    38519 |   166899      0 |    68286 |      727
434.32/434.49	c  421s |      12 |    51475 |    38719 |   183589      0 |    68286 |      727
437.32/437.43	c  424s |      12 |    51913 |    38819 |   183589      0 |    68286 |      727
437.42/437.51	c  424s |      13 |    51913 |    38832 |   183589      0 |    68286 |      727
440.22/440.39	c  427s |      13 |    52353 |    39032 |   183589      0 |    68286 |      727
442.62/442.76	c  430s |      13 |    52353 |    39132 |   183589      0 |    68286 |      727
445.72/445.85	c  433s |      13 |    52353 |    39232 |   183589      0 |    68286 |      727
448.52/448.63	c  435s |      13 |    52800 |    39432 |   183589      0 |    68286 |      727
453.22/453.39	c  440s |      13 |    52800 |    39632 |   183589      0 |    68286 |      727
456.12/456.24	c  443s |      13 |    53246 |    39732 |   183589      0 |    68286 |      727
458.52/458.70	c  445s |      13 |    53246 |    39932 |   183589      0 |    68286 |      727
461.01/461.14	c  448s |      13 |    53246 |    40032 |   183589      0 |    68286 |      727
464.22/464.38	c  451s |      13 |    53246 |    40132 |   183589      0 |    68286 |      727
466.91/467.03	c  454s |      13 |    53691 |    40332 |   183589      0 |    68286 |      727
469.01/469.12	c  456s |      13 |    53691 |    40432 |   183589      0 |    68286 |      727
471.82/471.96	c  459s |      13 |    53691 |    40532 |   183589      0 |    68286 |      727
474.41/474.59	c  461s |      13 |    54136 |    40632 |   183589      0 |    68286 |      727
477.11/477.27	c  464s |      13 |    54136 |    40832 |   183589      0 |    68286 |      727
479.71/479.82	c  467s |      13 |    54136 |    40932 |   183589      0 |    68286 |      727
483.01/483.16	c  470s |      13 |    54136 |    41032 |   183589      0 |    68286 |      727
485.51/485.63	c  472s |      13 |    54579 |    41232 |   183589      0 |    68286 |      727
487.71/487.88	c  475s |      13 |    54579 |    41332 |   183589      0 |    68286 |      727
490.71/490.87	c  478s |      13 |    54579 |    41432 |   183589      0 |    68286 |      727
493.01/493.11	c  480s |      13 |    55023 |    41532 |   183589      0 |    68286 |      727
495.91/496.01	c  483s |      13 |    55023 |    41732 |   183589      0 |    68286 |      727
498.61/498.70	c  485s |      13 |    55023 |    41832 |   183589      0 |    68286 |      727
501.91/502.02	c  489s |      13 |    55464 |    41932 |   183589      0 |    68286 |      727
504.21/504.32	c  491s |      13 |    55464 |    42132 |   183589      0 |    68286 |      727
506.61/506.73	c  494s |      13 |    55464 |    42232 |   183589      0 |    68286 |      727
509.81/509.95	c  497s |      13 |    55464 |    42332 |   183589      0 |    68286 |      727
512.71/512.87	c  500s |      13 |    55906 |    42532 |   183589      0 |    68286 |      727
514.81/514.91	c  502s |      13 |    55906 |    42632 |   183589      0 |    68286 |      727
517.61/517.77	c  505s |      13 |    55906 |    42732 |   183589      0 |    68286 |      727
520.41/520.59	c  507s |      13 |    56347 |    42832 |   183589      0 |    68286 |      727
523.11/523.22	c  510s |      13 |    56347 |    43032 |   183589      0 |    68286 |      727
525.61/525.78	c  513s |      13 |    56347 |    43132 |   183589      0 |    68286 |      727
529.01/529.14	c  516s |      13 |    56347 |    43232 |   183589      0 |    68286 |      727
532.70/532.89	c  520s |      13 |    56756 |    43432 |   183589      0 |    68286 |      727
535.50/535.67	c  522s |      13 |    56756 |    43532 |   183589      0 |    68286 |      727
537.50/537.68	c  524s |      13 |    56811 |    43632 |   183589      0 |    68286 |      727
539.90/540.10	c  527s |      13 |    57268 |    43732 |   183589      0 |    68286 |      727
542.40/542.55	c  529s |      13 |    57620 |    43932 |   183589      0 |    68286 |      727
544.70/544.85	c  532s |      13 |    57620 |    44032 |   183589      0 |    68286 |      727
548.91/549.05	c  536s |      13 |    58107 |    44232 |   183589      0 |    68286 |      727
551.90/552.07	c  539s |      13 |    58107 |    44432 |   183589      0 |    68286 |      727
554.70/554.80	c  542s |      13 |    58107 |    44532 |   183589      0 |    68286 |      727
558.10/558.23	c  545s |      13 |    58541 |    44632 |   183589      0 |    68286 |      727
560.60/560.72	c  547s |      13 |    58541 |    44832 |   183589      0 |    68286 |      727
563.11/563.21	c  550s |      13 |    58541 |    44932 |   183589      0 |    68286 |      727
566.41/566.51	c  553s |      13 |    58541 |    45032 |   183589      0 |    68286 |      727
569.40/569.55	c  556s |      13 |    58976 |    45232 |   183589      0 |    68286 |      727
571.60/571.75	c  559s |      13 |    58976 |    45332 |   183589      0 |    68286 |      727
574.60/574.74	c  562s |      13 |    58976 |    45432 |   183589      0 |    68286 |      727
577.20/577.36	c  564s |      13 |    59410 |    45532 |   183589      0 |    68286 |      727
580.30/580.41	c  567s |      13 |    59410 |    45732 |   183589      0 |    68286 |      727
583.00/583.16	c  570s |      13 |    59410 |    45832 |   183589      0 |    68286 |      727
586.50/586.63	c  573s |      13 |    59843 |    45932 |   183589      0 |    68286 |      727
589.00/589.17	c  576s |      13 |    59843 |    46132 |   183589      0 |    68286 |      727
591.60/591.71	c  578s |      13 |    59843 |    46232 |   183589      0 |    68286 |      727
594.89/595.08	c  582s |      13 |    59843 |    46332 |   183589      0 |    68286 |      727
597.39/597.53	c  584s |      13 |    60243 |    46432 |   183589      0 |    68286 |      727
602.09/602.28	c  589s |      13 |    60243 |    46632 |   183589      0 |    68286 |      727
605.59/605.77	c  593s |      13 |    60243 |    46732 |   183589      0 |    68286 |      727
608.49/608.64	c  595s |      13 |    60674 |    46932 |   183589      0 |    68286 |      727
610.80/610.90	c  598s |      13 |    60674 |    47032 |   183589      0 |    68286 |      727
613.81/613.98	c  601s |      13 |    60674 |    47132 |   183589      0 |    68286 |      727
616.20/616.37	c  603s |      13 |    61104 |    47232 |   183589      0 |    68286 |      727
619.50/619.64	c  606s |      13 |    61104 |    47432 |   183589      0 |    68286 |      727
622.40/622.53	c  609s |      13 |    61104 |    47532 |   183589      0 |    68286 |      727
625.60/625.70	c  612s |      13 |    61532 |    47632 |   183589      0 |    68286 |      727
628.30/628.48	c  615s |      13 |    61532 |    47832 |   183589      0 |    68286 |      727
631.00/631.15	c  618s |      13 |    61532 |    47932 |   183589      0 |    68286 |      727
634.50/634.69	c  621s |      13 |    61532 |    48032 |   183589      0 |    68286 |      727
637.30/637.43	c  624s |      13 |    61959 |    48232 |   183589      0 |    68286 |      727
639.80/639.94	c  627s |      13 |    61959 |    48332 |   183589      0 |    68286 |      727
643.10/643.26	c  630s |      13 |    61959 |    48432 |   183589      0 |    68286 |      727
645.90/646.04	c  633s |      13 |    62353 |    48532 |   183589      0 |    68286 |      727
650.70/650.80	c  638s |      13 |    62353 |    48732 |   183589      0 |    68286 |      727
653.09/653.28	c  640s |      13 |    62399 |    48832 |   183589      0 |    68286 |      727
656.29/656.40	c  643s |      13 |    62844 |    48932 |   183589      0 |    68286 |      727
658.59/658.71	c  645s |      13 |    63191 |    49132 |   183589      0 |    68286 |      727
660.69/660.85	c  648s |      13 |    63191 |    49232 |   183589      0 |    68286 |      727
663.49/663.69	c  650s |      13 |    63246 |    49332 |   183589      0 |    68286 |      727
666.39/666.52	c  653s |      13 |    63670 |    49532 |   183589      0 |    68286 |      727
668.70/668.88	c  656s |      13 |    63670 |    49632 |   183589      0 |    68286 |      727
671.79/671.95	c  659s |      13 |    63670 |    49732 |   183589      0 |    68286 |      727
673.79/673.99	c  661s |      13 |    64093 |    49832 |   183589      0 |    68286 |      727
677.29/677.40	c  664s |      13 |    64093 |    50032 |   183589      0 |    68286 |      727
680.19/680.32	c  667s |      13 |    64093 |    50132 |   183589      0 |    68286 |      727
682.79/682.99	c  670s |      13 |    64514 |    50232 |   183589      0 |    68286 |      727
686.19/686.40	c  673s |      13 |    64514 |    50432 |   183589      0 |    68286 |      727
689.19/689.39	c  676s |      13 |    64514 |    50532 |   183589      0 |    68286 |      727
693.49/693.64	c  680s |      13 |    64911 |    50632 |   183589      0 |    68286 |      727
697.09/697.28	c  684s |      13 |    64911 |    50832 |   183589      0 |    68286 |      727
700.29/700.43	c  687s |      13 |    64911 |    50932 |   183589      0 |    68286 |      727
703.49/703.68	c  690s |      13 |    65402 |    51132 |   183589      0 |    68286 |      727
707.29/707.47	c  694s |      13 |    65402 |    51332 |   183589      0 |    68286 |      727
710.49/710.67	c  697s |      13 |    65402 |    51432 |   183589      0 |    68286 |      727
713.28/713.45	c  700s |      13 |    65820 |    51532 |   183589      0 |    68286 |      727
716.88/717.00	c  704s |      13 |    65820 |    51732 |   183589      0 |    68286 |      727
719.88/720.04	c  707s |      13 |    65820 |    51832 |   183589      0 |    68286 |      727
723.18/723.30	c  710s |      13 |    66237 |    51932 |   183589      0 |    68286 |      727
726.38/726.52	c  713s |      13 |    66237 |    52132 |   183589      0 |    68286 |      727
729.29/729.42	c  716s |      13 |    66237 |    52232 |   183589      0 |    68286 |      727
732.88/733.09	c  720s |      13 |    66653 |    52332 |   183589      0 |    68286 |      727
735.58/735.74	c  723s |      13 |    66653 |    52532 |   183589      0 |    68286 |      727
738.18/738.31	c  725s |      13 |    66653 |    52632 |   183589      0 |    68286 |      727
741.48/741.67	c  728s |      13 |    66653 |    52732 |   183589      0 |    68286 |      727
744.08/744.29	c  731s |      13 |    67038 |    52832 |   183589      0 |    68286 |      727
746.28/746.44	c  733s |      13 |    67038 |    52932 |   183589      0 |    68286 |      727
749.38/749.52	c  736s |      13 |    67038 |    53032 |   183589      0 |    68286 |      727
753.48/753.67	c  740s |      13 |    67501 |    53232 |   183589      0 |    68286 |      727
757.08/757.26	c  744s |      13 |    67501 |    53432 |   183589      0 |    68286 |      727
760.18/760.32	c  747s |      13 |    67501 |    53532 |   183589      0 |    68286 |      727
762.78/762.96	c  750s |      13 |    67914 |    53632 |   183589      0 |    68286 |      727
766.17/766.35	c  753s |      13 |    67914 |    53832 |   183589      0 |    68286 |      727
769.07/769.29	c  756s |      13 |    67914 |    53932 |   183589      0 |    68286 |      727
772.18/772.33	c  759s |      13 |    68328 |    54032 |   183589      0 |    68286 |      727
775.67/775.83	c  763s |      13 |    68328 |    54232 |   183589      0 |    68286 |      727
778.78/778.91	c  766s |      13 |    68328 |    54332 |   183589      0 |    68286 |      727
782.27/782.45	c  769s |      13 |    68740 |    54432 |   183589      0 |    68286 |      727
785.57/785.74	c  773s |      13 |    68740 |    54632 |   183589      0 |    68286 |      727
788.58/788.70	c  775s |      13 |    68740 |    54732 |   183589      0 |    68286 |      727
792.37/792.52	c  779s |      13 |    69150 |    54832 |   183589      0 |    68286 |      727
795.47/795.61	c  782s |      13 |    69150 |    55032 |   183589      0 |    68286 |      727
798.27/798.49	c  785s |      13 |    69150 |    55132 |   183589      0 |    68286 |      727
802.37/802.58	c  789s |      13 |    69561 |    55232 |   183589      0 |    68286 |      727
805.37/805.50	c  792s |      13 |    69561 |    55432 |   183589      0 |    68286 |      727
808.17/808.34	c  795s |      13 |    69561 |    55532 |   183589      0 |    68286 |      727
811.87/812.05	c  799s |      13 |    69561 |    55632 |   183589      0 |    68286 |      727
816.27/816.45	c  803s |      13 |    69939 |    55732 |   183589      0 |    68286 |      727
818.67/818.85	c  806s |      13 |    69939 |    55832 |   183589      0 |    68286 |      727
822.07/822.23	c  809s |      13 |    69939 |    55932 |   183589      0 |    68286 |      727
825.67/825.81	c  813s |      13 |    70442 |    56032 |   183589      0 |    68286 |      727
828.67/828.82	c  816s |      13 |    70442 |    56232 |   183589      0 |    68286 |      727
831.57/831.71	c  818s |      13 |    70442 |    56332 |   183589      0 |    68286 |      727
835.66/835.82	c  823s |      13 |    70848 |    56432 |   183589      0 |    68286 |      727
838.56/838.72	c  826s |      13 |    70848 |    56632 |   183589      0 |    68286 |      727
841.37/841.58	c  828s |      13 |    70848 |    56732 |   183589      0 |    68286 |      727
845.16/845.37	c  832s |      13 |    70848 |    56832 |   183589      0 |    68286 |      727
848.26/848.43	c  835s |      13 |    71254 |    57032 |   183589      0 |    68286 |      727
850.86/851.05	c  838s |      13 |    71254 |    57132 |   183589      0 |    68286 |      727
854.36/854.56	c  841s |      13 |    71254 |    57232 |   183589      0 |    68286 |      727
857.76/857.95	c  845s |      13 |    71659 |    57432 |   183589      0 |    68286 |      727
860.56/860.74	c  848s |      13 |    71659 |    57532 |   183589      0 |    68286 |      727
864.26/864.44	c  851s |      13 |    71659 |    57632 |   183589      0 |    68286 |      727
867.06/867.21	c  854s |      13 |    72032 |    57732 |   183589      0 |    68286 |      727
869.16/869.34	c  856s |      13 |    72032 |    57832 |   183589      0 |    68286 |      727
872.27/872.48	c  859s |      13 |    72032 |    57932 |   183589      0 |    68286 |      727
875.96/876.15	c  863s |      13 |    72436 |    58032 |   201948      0 |    68286 |      727
879.16/879.30	c  866s |      13 |    72436 |    58232 |   201948      0 |    68286 |      727
882.06/882.27	c  869s |      13 |    72436 |    58332 |   201948      0 |    68286 |      727
882.86/883.00	c  870s |      14 |    72436 |    58352 |   201948      0 |    68286 |      727
886.46/886.62	c  873s |      14 |    72686 |    58452 |   201948      0 |    68286 |      727
889.65/889.80	c  877s |      14 |    73288 |    58652 |   201948      0 |    68286 |      727
894.05/894.23	c  881s |      14 |    73288 |    58852 |   201948      0 |    68286 |      727
897.65/897.87	c  885s |      14 |    73288 |    58952 |   201948      0 |    68286 |      727
900.76/900.96	c  888s |      14 |    73687 |    59052 |   201948      0 |    68286 |      727
904.45/904.61	c  891s |      14 |    73687 |    59252 |   201948      0 |    68286 |      727
907.65/907.80	c  895s |      14 |    73687 |    59352 |   201948      0 |    68286 |      727
910.55/910.70	c  897s |      14 |    74389 |    59452 |   201948      0 |    68286 |      727
914.25/914.44	c  901s |      14 |    74397 |    59652 |   201948      0 |    68286 |      727
917.45/917.65	c  904s |      14 |    74397 |    59752 |   201948      0 |    68286 |      727
920.75/920.97	c  908s |      14 |    74459 |    59852 |   201948      0 |    68286 |      727
923.15/923.33	c  910s |      14 |    74863 |    60052 |   201948      0 |    68286 |      727
925.45/925.64	c  912s |      14 |    74863 |    60152 |   201948      0 |    68286 |      727
928.65/928.85	c  916s |      14 |    74863 |    60252 |   201948      0 |    68286 |      727
931.15/931.39	c  918s |      14 |    75256 |    60352 |   201948      0 |    68286 |      727
935.05/935.28	c  922s |      14 |    75256 |    60552 |   201948      0 |    68286 |      727
938.35/938.52	c  925s |      14 |    75256 |    60652 |   201948      0 |    68286 |      727
940.75/941.00	c  928s |      14 |    75879 |    60752 |   201948      0 |    68286 |      727
942.85/943.02	c  930s |      14 |    75879 |    60852 |   201948      0 |    68286 |      727
945.45/945.68	c  932s |      14 |    75879 |    60952 |   201948      0 |    68286 |      727
948.95/949.15	c  936s |      14 |    75879 |    61052 |   201948      0 |    68286 |      727
952.05/952.21	c  939s |      14 |    76292 |    61152 |   201948      0 |    68286 |      727
954.04/954.26	c  941s |      14 |    76292 |    61252 |   201948      0 |    68286 |      727
956.85/957.01	c  944s |      14 |    76292 |    61352 |   201948      0 |    68286 |      727
960.34/960.55	c  947s |      14 |    76292 |    61452 |   201948      0 |    68286 |      727
963.55/963.71	c  950s |      14 |    76685 |    61552 |   201948      0 |    68286 |      727
967.24/967.45	c  954s |      14 |    76685 |    61752 |   201948      0 |    68286 |      727
970.34/970.54	c  957s |      14 |    76685 |    61852 |   201948      0 |    68286 |      727
972.94/973.12	c  960s |      14 |    77076 |    61952 |   201948      0 |    68286 |      727
977.14/977.32	c  964s |      14 |    77076 |    62152 |   201948      0 |    68286 |      727
980.44/980.63	c  967s |      14 |    77076 |    62252 |   201948      0 |    68286 |      727
982.94/983.12	c  970s |      14 |    77464 |    62352 |   201948      0 |    68286 |      727
987.04/987.21	c  974s |      14 |    77464 |    62552 |   201948      0 |    68286 |      727
990.24/990.46	c  977s |      14 |    77464 |    62652 |   201948      0 |    68286 |      727
992.44/992.65	c  979s |      14 |    77852 |    62752 |   201948      0 |    68286 |      727
997.04/997.23	c  984s |      14 |    77852 |    62952 |   201948      0 |    68286 |      727
1000.54/1000.74	c  988s |      14 |    77852 |    63052 |   201948      0 |    68286 |      727
1004.34/1004.59	c  991s |      14 |    78237 |    63252 |   201948      0 |    68286 |      727
1007.24/1007.42	c  994s |      14 |    78237 |    63352 |   201948      0 |    68286 |      727
1011.14/1011.30	c  998s |      14 |    78624 |    63452 |   201948      0 |    68286 |      727
1014.53/1014.77	c 1002s |      14 |    78624 |    63652 |   201948      0 |    68286 |      727
1017.53/1017.75	c 1005s |      14 |    78624 |    63752 |   201948      0 |    68286 |      727
1021.03/1021.22	c 1008s |      14 |    79009 |    63852 |   201948      0 |    68286 |      727
1024.73/1024.97	c 1012s |      14 |    79009 |    64052 |   201948      0 |    68286 |      727
1027.83/1028.09	c 1015s |      14 |    79009 |    64152 |   201948      0 |    68286 |      727
1031.53/1031.79	c 1019s |      14 |    79392 |    64252 |   201948      0 |    68286 |      727
1035.73/1035.93	c 1023s |      14 |    79392 |    64452 |   201948      0 |    68286 |      727
1039.03/1039.27	c 1026s |      14 |    79392 |    64552 |   201948      0 |    68286 |      727
1042.23/1042.44	c 1029s |      14 |    79946 |    64652 |   201948      0 |    68286 |      727
1044.53/1044.71	c 1031s |      14 |    79946 |    64752 |   201948      0 |    68286 |      727
1047.33/1047.57	c 1034s |      14 |    79946 |    64852 |   201948      0 |    68286 |      727
1051.03/1051.26	c 1038s |      14 |    79946 |    64952 |   201948      0 |    68286 |      727
1054.23/1054.47	c 1041s |      14 |    80326 |    65052 |   201948      0 |    68286 |      727
1058.83/1059.03	c 1046s |      14 |    80326 |    65252 |   201948      0 |    68286 |      727
1062.33/1062.55	c 1049s |      14 |    80326 |    65352 |   201948      0 |    68286 |      727
1064.63/1064.81	c 1052s |      14 |    80705 |    65452 |   201948      0 |    68286 |      727
1069.43/1069.63	c 1056s |      14 |    80705 |    65652 |   201948      0 |    68286 |      727
1073.33/1073.59	c 1060s |      14 |    81083 |    65752 |   201948      0 |    68286 |      727
1076.63/1076.86	c 1064s |      14 |    81083 |    65952 |   201948      0 |    68286 |      727
1079.52/1079.71	c 1066s |      14 |    81083 |    66052 |   201948      0 |    68286 |      727
1082.82/1083.08	c 1070s |      14 |    81460 |    66152 |   201948      0 |    68286 |      727
1086.82/1087.00	c 1074s |      14 |    81460 |    66352 |   201948      0 |    68286 |      727
1090.03/1090.21	c 1077s |      14 |    81460 |    66452 |   201948      0 |    68286 |      727
1093.02/1093.27	c 1080s |      14 |    81837 |    66552 |   201948      0 |    68286 |      727
1097.32/1097.59	c 1084s |      14 |    81837 |    66752 |   201948      0 |    68286 |      727
1100.82/1101.00	c 1088s |      14 |    81837 |    66852 |   201948      0 |    68286 |      727
1103.52/1103.76	c 1091s |      14 |    82449 |    66952 |   201948      0 |    68286 |      727
1105.72/1105.99	c 1093s |      14 |    82449 |    67052 |   201948      0 |    68286 |      727
1108.63/1108.89	c 1096s |      14 |    82449 |    67152 |   201948      0 |    68286 |      727
1112.42/1112.64	c 1099s |      14 |    82449 |    67252 |   201948      0 |    68286 |      727
1116.12/1116.36	c 1103s |      14 |    82801 |    67352 |   201948      0 |    68286 |      727
1118.72/1118.94	c 1106s |      14 |    82801 |    67452 |   201948      0 |    68286 |      727
1122.12/1122.33	c 1109s |      14 |    82801 |    67552 |   201948      0 |    68286 |      727
1126.02/1126.23	c 1113s |      14 |    83174 |    67652 |   201948      0 |    68286 |      727
1129.92/1130.12	c 1117s |      14 |    83174 |    67852 |   201948      0 |    68286 |      727
1133.12/1133.33	c 1120s |      14 |    83174 |    67952 |   201948      0 |    68286 |      727
1136.12/1136.31	c 1123s |      14 |    83545 |    68052 |   201948      0 |    68286 |      727
1140.41/1140.69	c 1127s |      14 |    83545 |    68252 |   201948      0 |    68286 |      727
1143.92/1144.15	c 1131s |      14 |    83545 |    68352 |   201948      0 |    68286 |      727
1146.21/1146.42	c 1133s |      14 |    83919 |    68452 |   201948      0 |    68286 |      727
1151.01/1151.28	c 1138s |      14 |    83919 |    68652 |   201948      0 |    68286 |      727
1154.92/1155.19	c 1142s |      14 |    84288 |    68752 |   201948      0 |    68286 |      727
1158.71/1158.93	c 1146s |      14 |    84288 |    68952 |   201948      0 |    68286 |      727
1161.91/1162.11	c 1149s |      14 |    84288 |    69052 |   201948      0 |    68286 |      727
1165.11/1165.38	c 1152s |      14 |    84658 |    69152 |   201948      0 |    68286 |      727
1169.41/1169.66	c 1156s |      14 |    84658 |    69352 |   201948      0 |    68286 |      727
1172.81/1173.09	c 1160s |      14 |    84658 |    69452 |   201948      0 |    68286 |      727
1175.31/1175.57	c 1162s |      14 |    85026 |    69552 |   201948      0 |    68286 |      727
1180.12/1180.37	c 1167s |      14 |    85026 |    69752 |   201948      0 |    68286 |      727
1184.11/1184.39	c 1171s |      14 |    85393 |    69852 |   201948      0 |    68286 |      727
1187.91/1188.13	c 1175s |      14 |    85393 |    70052 |   201948      0 |    68286 |      727
1191.11/1191.33	c 1178s |      14 |    85393 |    70152 |   201948      0 |    68286 |      727
1194.41/1194.67	c 1181s |      14 |    85760 |    70252 |   201948      0 |    68286 |      727
1198.71/1198.94	c 1186s |      14 |    85760 |    70452 |   201948      0 |    68286 |      727
1202.11/1202.38	c 1189s |      14 |    85760 |    70552 |   201948      0 |    68286 |      727
1204.60/1204.84	c 1192s |      14 |    86124 |    70652 |   201948      0 |    68286 |      727
1209.10/1209.34	c 1196s |      14 |    86124 |    70852 |   201948      0 |    68286 |      727
1212.90/1213.19	c 1200s |      14 |    86487 |    70952 |   201948      0 |    68286 |      727
1216.60/1216.81	c 1204s |      14 |    86487 |    71152 |   201948      0 |    68286 |      727
1219.71/1219.94	c 1207s |      14 |    86487 |    71252 |   201948      0 |    68286 |      727
1222.80/1223.05	c 1210s |      14 |    86851 |    71352 |   201948      0 |    68286 |      727
1227.00/1227.23	c 1214s |      14 |    86851 |    71552 |   201948      0 |    68286 |      727
1230.40/1230.66	c 1217s |      14 |    86851 |    71652 |   201948      0 |    68286 |      727
1232.70/1232.91	c 1220s |      14 |    87213 |    71752 |   201948      0 |    68286 |      727
1237.40/1237.69	c 1224s |      14 |    87213 |    71952 |   201948      0 |    68286 |      727
1241.00/1241.26	c 1228s |      14 |    87575 |    72052 |   201948      0 |    68286 |      727
1244.80/1245.04	c 1232s |      14 |    87575 |    72252 |   201948      0 |    68286 |      727
1248.00/1248.28	c 1235s |      14 |    87575 |    72352 |   201948      0 |    68286 |      727
1250.80/1251.04	c 1238s |      14 |    87936 |    72452 |   201948      0 |    68286 |      727
1255.30/1255.50	c 1242s |      14 |    87936 |    72652 |   201948      0 |    68286 |      727
1259.40/1259.63	c 1246s |      14 |    88294 |    72752 |   201948      0 |    68286 |      727
1262.89/1263.13	c 1250s |      14 |    88294 |    72952 |   201948      0 |    68286 |      727
1266.00/1266.20	c 1253s |      14 |    88294 |    73052 |   201948      0 |    68286 |      727
1269.09/1269.36	c 1256s |      14 |    88653 |    73152 |   201948      0 |    68286 |      727
1273.60/1273.87	c 1261s |      14 |    88653 |    73352 |   201948      0 |    68286 |      727
1277.19/1277.49	c 1264s |      14 |    88653 |    73452 |   201948      0 |    68286 |      727
1279.59/1279.83	c 1267s |      14 |    89009 |    73552 |   201948      0 |    68286 |      727
1281.69/1281.95	c 1269s |      14 |    89009 |    73652 |   201948      0 |    68286 |      727
1284.79/1285.02	c 1272s |      14 |    89009 |    73752 |   201948      0 |    68286 |      727
1288.39/1288.65	c 1275s |      14 |    89366 |    73852 |   201948      0 |    68286 |      727
1292.49/1292.74	c 1280s |      14 |    89366 |    74052 |   201948      0 |    68286 |      727
1295.89/1296.17	c 1283s |      14 |    89366 |    74152 |   201948      0 |    68286 |      727
1298.49/1298.76	c 1286s |      14 |    89722 |    74252 |   201948      0 |    68286 |      727
1300.49/1300.78	c 1288s |      14 |    89722 |    74352 |   201948      0 |    68286 |      727
1303.49/1303.75	c 1291s |      14 |    89722 |    74452 |   201948      0 |    68286 |      727
1307.29/1307.57	c 1294s |      14 |    90075 |    74552 |   201948      0 |    68286 |      727
1311.39/1311.61	c 1298s |      14 |    90075 |    74752 |   201948      0 |    68286 |      727
1314.79/1315.01	c 1302s |      14 |    90075 |    74852 |   201948      0 |    68286 |      727
1317.49/1317.71	c 1304s |      14 |    90429 |    74952 |   201948      0 |    68286 |      727
1322.29/1322.53	c 1309s |      14 |    90429 |    75152 |   201948      0 |    68286 |      727
1326.08/1326.39	c 1313s |      14 |    90780 |    75252 |   201948      0 |    68286 |      727
1330.08/1330.37	c 1317s |      14 |    90780 |    75452 |   201948      0 |    68286 |      727
1333.48/1333.76	c 1321s |      14 |    90780 |    75552 |   201948      0 |    68286 |      727
1336.39/1336.67	c 1323s |      14 |    91131 |    75652 |   201948      0 |    68286 |      727
1341.18/1341.49	c 1328s |      14 |    91131 |    75852 |   201948      0 |    68286 |      727
1345.28/1345.57	c 1332s |      14 |    91483 |    75952 |   201948      0 |    68286 |      727
1349.08/1349.36	c 1336s |      14 |    91483 |    76152 |   201948      0 |    68286 |      727
1352.38/1352.68	c 1339s |      14 |    91483 |    76252 |   201948      0 |    68286 |      727
1355.28/1355.58	c 1342s |      14 |    91832 |    76352 |   201948      0 |    68286 |      727
1360.08/1360.38	c 1347s |      14 |    91832 |    76552 |   201948      0 |    68286 |      727
1364.08/1364.31	c 1351s |      14 |    92179 |    76652 |   201948      0 |    68286 |      727
1368.19/1368.48	c 1355s |      14 |    92179 |    76852 |   201948      0 |    68286 |      727
1371.68/1371.97	c 1359s |      14 |    92179 |    76952 |   201948      0 |    68286 |      727
1374.48/1374.73	c 1362s |      14 |    92526 |    77052 |   201948      0 |    68286 |      727
1379.38/1379.65	c 1366s |      14 |    92526 |    77252 |   201948      0 |    68286 |      727
1383.08/1383.39	c 1370s |      14 |    92871 |    77352 |   201948      0 |    68286 |      727
1387.48/1387.71	c 1374s |      14 |    92871 |    77552 |   201948      0 |    68286 |      727
1391.07/1391.30	c 1378s |      14 |    92871 |    77652 |   201948      0 |    68286 |      727
1393.58/1393.82	c 1381s |      14 |    93216 |    77752 |   201948      0 |    68286 |      727
1395.68/1395.99	c 1383s |      14 |    93216 |    77852 |   201948      0 |    68286 |      727
1398.87/1399.17	c 1386s |      14 |    93216 |    77952 |   201948      0 |    68286 |      727
1402.77/1403.02	c 1390s |      14 |    93559 |    78052 |   201948      0 |    68286 |      727
1407.37/1407.69	c 1394s |      14 |    93559 |    78252 |   201948      0 |    68286 |      727
1412.07/1412.30	c 1399s |      14 |    93901 |    78352 |   201948      0 |    68286 |      727
1415.67/1415.99	c 1403s |      14 |    93901 |    78552 |   201948      0 |    68286 |      727
1419.07/1419.30	c 1406s |      14 |    93901 |    78652 |   201948      0 |    68286 |      727
1422.27/1422.59	c 1409s |      14 |    94243 |    78752 |   201948      0 |    68286 |      727
1426.97/1427.24	c 1414s |      14 |    94243 |    78952 |   201948      0 |    68286 |      727
1431.07/1431.33	c 1418s |      14 |    94584 |    79052 |   201948      0 |    68286 |      727
1435.17/1435.49	c 1422s |      14 |    94584 |    79252 |   201948      0 |    68286 |      727
1438.77/1439.06	c 1426s |      14 |    94584 |    79352 |   201948      0 |    68286 |      727
1441.67/1441.91	c 1429s |      14 |    94923 |    79452 |   201948      0 |    68286 |      727
1443.77/1444.03	c 1431s |      14 |    94923 |    79552 |   201948      0 |    68286 |      727
1446.87/1447.16	c 1434s |      14 |    94923 |    79652 |   201948      0 |    68286 |      727
1450.57/1450.82	c 1438s |      14 |    95263 |    79752 |   201948      0 |    68286 |      727
1455.08/1455.33	c 1442s |      14 |    95263 |    79952 |   201948      0 |    68286 |      727
1461.17/1461.49	c 1448s |      14 |    95601 |    80052 |   201948      0 |    68286 |      727
1464.98/1465.30	c 1452s |      14 |    95601 |    80252 |   201948      0 |    68286 |      727
1468.47/1468.75	c 1456s |      14 |    95601 |    80352 |   201948      0 |    68286 |      727
1472.97/1473.24	c 1460s |      14 |    95937 |    80452 |   201948      0 |    68286 |      727
1474.98/1475.29	c 1462s |      14 |    95937 |    80552 |   201948      0 |    68286 |      727
1478.07/1478.35	c 1465s |      14 |    95937 |    80652 |   201948      0 |    68286 |      727
1483.37/1483.65	c 1470s |      14 |    96275 |    80752 |   201948      0 |    68286 |      727
1487.77/1488.06	c 1475s |      14 |    96275 |    80952 |   201948      0 |    68286 |      727
1491.47/1491.76	c 1479s |      14 |    96275 |    81052 |   201948      0 |    68286 |      727
1495.77/1496.10	c 1483s |      14 |    96610 |    81152 |   201948      0 |    68286 |      727
1498.17/1498.42	c 1485s |      14 |    96610 |    81252 |   201948      0 |    68286 |      727
1501.57/1501.83	c 1489s |      14 |    96610 |    81352 |   201948      0 |    68286 |      727
1505.77/1506.00	c 1493s |      14 |    96945 |    81452 |   201948      0 |    68286 |      727
1507.76/1508.03	c 1495s |      14 |    96945 |    81552 |   201948      0 |    68286 |      727
1510.76/1511.06	c 1498s |      14 |    96945 |    81652 |   201948      0 |    68286 |      727
1516.67/1517.00	c 1504s |      14 |    97279 |    81752 |   201948      0 |    68286 |      727
1521.17/1521.41	c 1508s |      14 |    97279 |    81952 |   201948      0 |    68286 |      727
1524.86/1525.17	c 1512s |      14 |    97279 |    82052 |   201948      0 |    68286 |      727
1529.06/1529.31	c 1516s |      14 |    97612 |    82152 |   201948      0 |    68286 |      727
1531.36/1531.66	c 1518s |      14 |    97612 |    82252 |   201948      0 |    68286 |      727
1534.86/1535.12	c 1522s |      14 |    97612 |    82352 |   201948      0 |    68286 |      727
1539.96/1540.28	c 1527s |      14 |    97943 |    82452 |   201948      0 |    68286 |      727
1542.07/1542.37	c 1529s |      14 |    97943 |    82552 |   201948      0 |    68286 |      727
1545.27/1545.51	c 1532s |      14 |    97943 |    82652 |   201948      0 |    68286 |      727
1551.06/1551.35	c 1538s |      14 |    98272 |    82752 |   201948      0 |    68286 |      727
1555.66/1555.97	c 1543s |      14 |    98272 |    82952 |   201948      0 |    68286 |      727
1562.26/1562.56	c 1549s |      14 |    98600 |    83052 |   201948      0 |    68286 |      727
1566.26/1566.55	c 1553s |      14 |    98600 |    83252 |   201948      0 |    68286 |      727
1569.86/1570.17	c 1557s |      14 |    98600 |    83352 |   201948      0 |    68286 |      727
1574.55/1574.86	c 1562s |      14 |    98928 |    83452 |   201948      0 |    68286 |      727
1576.75/1577.07	c 1564s |      14 |    98928 |    83552 |   201948      0 |    68286 |      727
1580.05/1580.37	c 1567s |      14 |    98928 |    83652 |   201948      0 |    68286 |      727
1584.96/1585.25	c 1572s |      14 |    99254 |    83752 |   201948      0 |    68286 |      727
1589.95/1590.20	c 1577s |      14 |    99254 |    83952 |   201948      0 |    68286 |      727
1595.25/1595.54	c 1582s |      14 |    99582 |    84052 |   201948      0 |    68286 |      727
1599.65/1599.97	c 1587s |      14 |    99582 |    84252 |   201948      0 |    68286 |      727
1603.45/1603.76	c 1591s |      14 |    99582 |    84352 |   201948      0 |    68286 |      727
1606.86/1607.16	c 1594s |      14 |    99906 |    84452 |   201948      0 |    68286 |      727
1609.25/1609.58	c 1596s |      14 |    99906 |    84552 |   201948      0 |    68286 |      727
1612.85/1613.15	c 1600s |      14 |    99906 |    84652 |   201948      0 |    68286 |      727
1617.55/1617.88	c 1605s |      14 |   100229 |    84752 |   201948      0 |    68286 |      727
1619.65/1619.95	c 1607s |      14 |   100229 |    84852 |   201948      0 |    68286 |      727
1622.75/1623.04	c 1610s |      14 |   100229 |    84952 |   201948      0 |    68286 |      727
1627.95/1628.25	c 1615s |      14 |   100552 |    85052 |   201948      0 |    68286 |      727
1629.95/1630.26	c 1617s |      14 |   100552 |    85152 |   201948      0 |    68286 |      727
1633.05/1633.30	c 1620s |      14 |   100552 |    85252 |   201948      0 |    68286 |      727
1638.75/1639.07	c 1626s |      14 |   100875 |    85352 |   201948      0 |    68286 |      727
1643.34/1643.67	c 1630s |      14 |   100875 |    85552 |   201948      0 |    68286 |      727
1649.85/1650.14	c 1637s |      14 |   101195 |    85652 |   201948      0 |    68286 |      727
1654.04/1654.34	c 1641s |      14 |   101195 |    85852 |   201948      0 |    68286 |      727
1657.74/1658.09	c 1645s |      14 |   101195 |    85952 |   201948      0 |    68286 |      727
1662.14/1662.40	c 1649s |      14 |   101514 |    86052 |   201948      0 |    68286 |      727
1664.44/1664.79	c 1652s |      14 |   101514 |    86152 |   201948      0 |    68286 |      727
1668.04/1668.33	c 1655s |      14 |   101514 |    86252 |   201948      0 |    68286 |      727
1672.14/1672.41	c 1659s |      14 |   101834 |    86352 |   201948      0 |    68286 |      727
1674.24/1674.59	c 1661s |      14 |   101834 |    86452 |   201948      0 |    68286 |      727
1677.54/1677.87	c 1665s |      14 |   101834 |    86552 |   201948      0 |    68286 |      727
1682.04/1682.37	c 1669s |      14 |   102153 |    86652 |   201948      0 |    68286 |      727
1684.04/1684.39	c 1671s |      14 |   102153 |    86752 |   201948      0 |    68286 |      727
1687.14/1687.47	c 1674s |      14 |   102153 |    86852 |   201948      0 |    68286 |      727
1691.94/1692.26	c 1679s |      14 |   102469 |    86952 |   201948      0 |    68286 |      727
1696.44/1696.72	c 1684s |      14 |   102469 |    87152 |   222143      0 |    68286 |      727
1701.54/1701.82	c 1689s |      14 |   102784 |    87252 |   222143      0 |    68286 |      727
1705.63/1705.95	c 1693s |      14 |   102784 |    87452 |   222143      0 |    68286 |      727
1711.03/1711.38	c 1698s |      14 |   103099 |    87552 |   222143      0 |    68286 |      727
1712.23/1712.53	c 1699s |      15 |   103099 |    87632 |   222143      0 |    68286 |      727
1715.53/1715.86	c 1703s |      15 |   103372 |    87732 |   222143      0 |    68286 |      727
1719.04/1719.39	c 1706s |      15 |   103372 |    87832 |   222143      0 |    68286 |      727
1722.53/1722.85	c 1710s |      15 |   103501 |    87932 |   222143      0 |    68286 |      727
1725.83/1726.12	c 1713s |      15 |   103846 |    88032 |   222143      0 |    68286 |      727
1728.33/1728.64	c 1715s |      15 |   103846 |    88132 |   222143      0 |    68286 |      727
1732.63/1732.97	c 1720s |      15 |   103846 |    88232 |   222143      0 |    68286 |      727
1740.23/1740.56	c 1727s |      15 |   104247 |    88332 |   222143      0 |    68286 |      727
1742.24/1742.56	c 1729s |      15 |   104247 |    88432 |   222143      0 |    68286 |      727
1745.43/1745.71	c 1732s |      15 |   104247 |    88532 |   222143      0 |    68286 |      727
1750.93/1751.29	c 1738s |      15 |   104548 |    88632 |   222143      0 |    68286 |      727
1756.03/1756.39	c 1743s |      15 |   104548 |    88832 |   222143      0 |    68286 |      727
1760.33/1760.68	c 1747s |      15 |   104848 |    88932 |   222143      0 |    68286 |      727
1762.43/1762.70	c 1749s |      15 |   104848 |    89032 |   222143      0 |    68286 |      727
1765.62/1765.90	c 1753s |      15 |   104848 |    89132 |   222143      0 |    68286 |      727
1771.42/1771.70	c 1758s |      15 |   105150 |    89232 |   222143      0 |    68286 |      727
1776.42/1776.71	c 1763s |      15 |   105150 |    89432 |   222143      0 |    68286 |      727
1782.12/1782.41	c 1769s |      15 |   105449 |    89532 |   222143      0 |    68286 |      727
1787.12/1787.44	c 1774s |      15 |   105449 |    89732 |   222143      0 |    68286 |      727
1791.22/1791.56	c 1778s |      15 |   105747 |    89832 |   222143      0 |    68286 |      727
1793.32/1793.61	c 1780s |      15 |   105747 |    89932 |   222143      0 |    68286 |      727
1796.52/1796.81	c 1784s |      15 |   105747 |    90032 |   222143      0 |    68286 |      727

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

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

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


[startup+0 s]
/proc/loadavg: 2.07 2.05 2.00 3/180 13393
/proc/meminfo: memFree=29479508/32872528 swapFree=249320/249320
[pid=13393] ppid=13390 vsize=710076 CPUtime=0 cores=0,2,4,6
/proc/13393/stat : 13393 (toysat) R 13390 13393 11324 0 -1 4202496 2643 0 0 0 0 0 0 0 20 0 4 0 24290747 727117824 3515 33554432000 4194304 16246674 140734609398512 140734609397936 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13393/statm: 178031 3525 441 2943 0 174925 0
[pid=13393/tid=13394] ppid=13390 vsize=727484 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13394/stat : 13394 (toysat) S 13390 13393 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24290747 744943616 3583 33554432000 4194304 16246674 140734609398512 140491328826608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13393/tid=13395] ppid=13390 vsize=731580 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13395/stat : 13395 (toysat) S 13390 13393 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24290747 749137920 3601 33554432000 4194304 16246674 140734609398512 140491318336752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13393/tid=13396] ppid=13390 vsize=735676 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13396/stat : 13396 (toysat) S 13390 13393 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24290747 753332224 3617 33554432000 4194304 16246674 140734609398512 140491198819504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100126 s]
/proc/loadavg: 2.07 2.05 2.00 3/180 13393
/proc/meminfo: memFree=29479508/32872528 swapFree=249320/249320
[pid=13393] ppid=13390 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/13393/stat : 13393 (toysat) R 13390 13393 11324 0 -1 4202496 28592 0 0 0 5 4 0 0 20 0 4 0 24290747 1333334016 29403 33554432000 4194304 16246674 140734609398512 140734609397824 8058197 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13393/statm: 325521 29418 800 2943 0 322415 0
[pid=13393/tid=13394] ppid=13390 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13394/stat : 13394 (toysat) S 13390 13393 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24290747 1333334016 29428 33554432000 4194304 16246674 140734609398512 140491328826608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13393/tid=13395] ppid=13390 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13395/stat : 13395 (toysat) S 13390 13393 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24290747 1333334016 29440 33554432000 4194304 16246674 140734609398512 140491318336752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13393/tid=13396] ppid=13390 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13396/stat : 13396 (toysat) S 13390 13393 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24290747 1333334016 29451 33554432000 4194304 16246674 140734609398512 140491198819504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200509 s]
/proc/loadavg: 2.07 2.05 2.00 3/180 13393
/proc/meminfo: memFree=29479508/32872528 swapFree=249320/249320
[pid=13393] ppid=13390 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/13393/stat : 13393 (toysat) R 13390 13393 11324 0 -1 4202496 42818 0 0 0 14 5 0 0 20 0 4 0 24290747 1343819776 44139 33554432000 4194304 16246674 140734609398512 140734609397824 7375574 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13393/statm: 328081 44157 801 2943 0 324975 0
[pid=13393/tid=13394] ppid=13390 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13394/stat : 13394 (toysat) S 13390 13393 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24290747 1343819776 44168 33554432000 4194304 16246674 140734609398512 140491328826608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13393/tid=13395] ppid=13390 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13395/stat : 13395 (toysat) S 13390 13393 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24290747 1343819776 44180 33554432000 4194304 16246674 140734609398512 140491318336752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13393/tid=13396] ppid=13390 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13396/stat : 13396 (toysat) S 13390 13393 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24290747 1343819776 44191 33554432000 4194304 16246674 140734609398512 140491198819504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300471 s]
/proc/loadavg: 2.07 2.05 2.00 3/180 13393
/proc/meminfo: memFree=29479508/32872528 swapFree=249320/249320
[pid=13393] ppid=13390 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/13393/stat : 13393 (toysat) R 13390 13393 11324 0 -1 4202496 52957 0 0 0 23 6 0 0 20 0 4 0 24290747 1343819776 54278 33554432000 4194304 16246674 140734609398512 140734609397608 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13393/statm: 328081 54278 801 2943 0 324975 0
[pid=13393/tid=13394] ppid=13390 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13394/stat : 13394 (toysat) S 13390 13393 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24290747 1343819776 54278 33554432000 4194304 16246674 140734609398512 140491328826608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13393/tid=13395] ppid=13390 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13395/stat : 13395 (toysat) S 13390 13393 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24290747 1343819776 54278 33554432000 4194304 16246674 140734609398512 140491318336752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13393/tid=13396] ppid=13390 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13396/stat : 13396 (toysat) S 13390 13393 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24290747 1343819776 54278 33554432000 4194304 16246674 140734609398512 140491198819504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.70041 s]
/proc/loadavg: 2.07 2.05 2.00 3/180 13393
/proc/meminfo: memFree=29479508/32872528 swapFree=249320/249320
[pid=13393] ppid=13390 vsize=1312324 CPUtime=0.69 cores=0,2,4,6
/proc/13393/stat : 13393 (toysat) R 13390 13393 11324 0 -1 4202496 62298 0 0 0 61 8 0 0 20 0 4 0 24290747 1343819776 63619 33554432000 4194304 16246674 140734609398512 140734609397608 8058185 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13393/statm: 328081 63619 802 2943 0 324975 0
[pid=13393/tid=13394] ppid=13390 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13394/stat : 13394 (toysat) S 13390 13393 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24290747 1343819776 63619 33554432000 4194304 16246674 140734609398512 140491328826608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13393/tid=13395] ppid=13390 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13395/stat : 13395 (toysat) S 13390 13393 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24290747 1343819776 63619 33554432000 4194304 16246674 140734609398512 140491318336752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13393/tid=13396] ppid=13390 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13396/stat : 13396 (toysat) S 13390 13393 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24290747 1343819776 63619 33554432000 4194304 16246674 140734609398512 140491198819504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.50037 s]
/proc/loadavg: 2.07 2.05 2.00 3/184 13397
/proc/meminfo: memFree=29187784/32872528 swapFree=249320/249320
[pid=13393] ppid=13390 vsize=1312324 CPUtime=1.49 cores=0,2,4,6
/proc/13393/stat : 13393 (toysat) R 13390 13393 11324 0 -1 4202496 82826 0 0 0 139 10 0 0 20 0 4 0 24290747 1343819776 84147 33554432000 4194304 16246674 140734609398512 140734609396352 5703556 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13393/statm: 328081 84147 809 2943 0 324975 0
[pid=13393/tid=13394] ppid=13390 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13394/stat : 13394 (toysat) S 13390 13393 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24290747 1343819776 84147 33554432000 4194304 16246674 140734609398512 140491328826608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13393/tid=13395] ppid=13390 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13395/stat : 13395 (toysat) S 13390 13393 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24290747 1343819776 84147 33554432000 4194304 16246674 140734609398512 140491318336752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13393/tid=13396] ppid=13390 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13396/stat : 13396 (toysat) S 13390 13393 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24290747 1343819776 84147 33554432000 4194304 16246674 140734609398512 140491198819504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1312324

[startup+3.1004 s]
/proc/loadavg: 2.07 2.05 2.00 3/184 13397
/proc/meminfo: memFree=28531684/32872528 swapFree=249320/249320
[pid=13393] ppid=13390 vsize=1380932 CPUtime=3.09 cores=0,2,4,6
/proc/13393/stat : 13393 (toysat) R 13390 13393 11324 0 -1 4202496 282291 0 0 0 273 36 0 0 20 0 4 0 24290747 1414074368 283612 33554432000 4194304 16246674 140734609398512 140734609380416 4220982 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13393/statm: 345233 283612 834 2943 0 342127 0
[pid=13393/tid=13394] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13394/stat : 13394 (toysat) S 13390 13393 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 283612 33554432000 4194304 16246674 140734609398512 140491328826608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13393/tid=13395] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13395/stat : 13395 (toysat) S 13390 13393 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 283612 33554432000 4194304 16246674 140734609398512 140491318336752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13393/tid=13396] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13396/stat : 13396 (toysat) S 13390 13393 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 283612 33554432000 4194304 16246674 140734609398512 140491198819504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1380932

[startup+6.30041 s]
/proc/loadavg: 2.07 2.05 2.00 3/184 13397
/proc/meminfo: memFree=28331836/32872528 swapFree=249320/249320
[pid=13393] ppid=13390 vsize=1380932 CPUtime=6.29 cores=0,2,4,6
/proc/13393/stat : 13393 (toysat) R 13390 13393 11324 0 -1 4202496 285851 0 0 0 592 37 0 0 20 0 4 0 24290747 1414074368 287172 33554432000 4194304 16246674 140734609398512 140734609380416 13790404 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13393/statm: 345233 287172 835 2943 0 342127 0
[pid=13393/tid=13394] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13394/stat : 13394 (toysat) S 13390 13393 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287172 33554432000 4194304 16246674 140734609398512 140491328826608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13393/tid=13395] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13395/stat : 13395 (toysat) S 13390 13393 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287172 33554432000 4194304 16246674 140734609398512 140491318336752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13393/tid=13396] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13396/stat : 13396 (toysat) S 13390 13393 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287172 33554432000 4194304 16246674 140734609398512 140491198819504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1380932

[startup+12.7004 s]
/proc/loadavg: 2.06 2.05 2.00 3/184 13397
/proc/meminfo: memFree=28331980/32872528 swapFree=249320/249320
[pid=13393] ppid=13390 vsize=1380932 CPUtime=12.69 cores=0,2,4,6
/proc/13393/stat : 13393 (toysat) R 13390 13393 11324 0 -1 4202496 285854 0 0 0 1232 37 0 0 20 0 4 0 24290747 1414074368 287175 33554432000 4194304 16246674 140734609398512 140734609397608 9616034 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13393/statm: 345233 287175 837 2943 0 342127 0
[pid=13393/tid=13394] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13394/stat : 13394 (toysat) S 13390 13393 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287175 33554432000 4194304 16246674 140734609398512 140491328826608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13393/tid=13395] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13395/stat : 13395 (toysat) S 13390 13393 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287175 33554432000 4194304 16246674 140734609398512 140491318336752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13393/tid=13396] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13396/stat : 13396 (toysat) S 13390 13393 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287175 33554432000 4194304 16246674 140734609398512 140491198819504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1380932

[startup+25.5005 s]
/proc/loadavg: 2.05 2.05 2.00 3/184 13397
/proc/meminfo: memFree=28332728/32872528 swapFree=249320/249320
[pid=13393] ppid=13390 vsize=1380932 CPUtime=25.49 cores=0,2,4,6
/proc/13393/stat : 13393 (toysat) R 13390 13393 11324 0 -1 4202496 285911 0 0 0 2512 37 0 0 20 0 4 0 24290747 1414074368 287232 33554432000 4194304 16246674 140734609398512 140734609380416 12483362 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13393/statm: 345233 287232 894 2943 0 342127 0
[pid=13393/tid=13394] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13394/stat : 13394 (toysat) S 13390 13393 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287232 33554432000 4194304 16246674 140734609398512 140491328826608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13393/tid=13395] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13395/stat : 13395 (toysat) S 13390 13393 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287232 33554432000 4194304 16246674 140734609398512 140491318336752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13393/tid=13396] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13396/stat : 13396 (toysat) S 13390 13393 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287232 33554432000 4194304 16246674 140734609398512 140491198819504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1380932

[startup+51.1005 s]
/proc/loadavg: 2.03 2.04 2.00 3/184 13398
/proc/meminfo: memFree=28332076/32872528 swapFree=249320/249320
[pid=13393] ppid=13390 vsize=1380932 CPUtime=51.08 cores=0,2,4,6
/proc/13393/stat : 13393 (toysat) R 13390 13393 11324 0 -1 4202496 285911 0 0 0 5071 37 0 0 20 0 4 0 24290747 1414074368 287232 33554432000 4194304 16246674 140734609398512 140734609380416 5711716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13393/statm: 345233 287232 894 2943 0 342127 0
[pid=13393/tid=13394] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13394/stat : 13394 (toysat) S 13390 13393 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287232 33554432000 4194304 16246674 140734609398512 140491328826608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13393/tid=13395] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13395/stat : 13395 (toysat) S 13390 13393 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287232 33554432000 4194304 16246674 140734609398512 140491318336752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13393/tid=13396] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13396/stat : 13396 (toysat) S 13390 13393 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287232 33554432000 4194304 16246674 140734609398512 140491198819504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1380932

[startup+102.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/184 13422
/proc/meminfo: memFree=27775376/32872528 swapFree=249320/249320
[pid=13393] ppid=13390 vsize=1380932 CPUtime=102.28 cores=0,2,4,6
/proc/13393/stat : 13393 (toysat) R 13390 13393 11324 0 -1 4202496 285913 0 0 0 10191 37 0 0 20 0 4 0 24290747 1414074368 287234 33554432000 4194304 16246674 140734609398512 140734609380416 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13393/statm: 345233 287234 896 2943 0 342127 0
[pid=13393/tid=13394] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13394/stat : 13394 (toysat) S 13390 13393 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287234 33554432000 4194304 16246674 140734609398512 140491328826608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13393/tid=13395] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13395/stat : 13395 (toysat) S 13390 13393 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287234 33554432000 4194304 16246674 140734609398512 140491318336752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13393/tid=13396] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13396/stat : 13396 (toysat) S 13390 13393 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287234 33554432000 4194304 16246674 140734609398512 140491198819504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1380932


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

/proc/13393/task/13396/stat : 13396 (toysat) S 13390 13393 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287238 33554432000 4194304 16246674 140734609398512 140491198819504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1380932

[startup+1362.3 s]
/proc/loadavg: 2.04 2.07 2.03 4/183 13453
/proc/meminfo: memFree=27653776/32872528 swapFree=249320/249320
[pid=13393] ppid=13390 vsize=1380932 CPUtime=1362.08 cores=0,2,4,6
/proc/13393/stat : 13393 (toysat) R 13390 13393 11324 0 -1 4202496 285917 0 0 0 136170 38 0 0 20 0 4 0 24290747 1414074368 287238 33554432000 4194304 16246674 140734609398512 140734609380416 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13393/statm: 345233 287238 900 2943 0 342127 0
[pid=13393/tid=13394] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13394/stat : 13394 (toysat) S 13390 13393 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287238 33554432000 4194304 16246674 140734609398512 140491328826608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13393/tid=13395] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13395/stat : 13395 (toysat) S 13390 13393 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287238 33554432000 4194304 16246674 140734609398512 140491318336752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13393/tid=13396] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13396/stat : 13396 (toysat) S 13390 13393 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287238 33554432000 4194304 16246674 140734609398512 140491198819504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1380932

[startup+1422.3 s]
/proc/loadavg: 2.05 2.07 2.03 3/183 13454
/proc/meminfo: memFree=27653676/32872528 swapFree=249320/249320
[pid=13393] ppid=13390 vsize=1380932 CPUtime=1422.08 cores=0,2,4,6
/proc/13393/stat : 13393 (toysat) R 13390 13393 11324 0 -1 4202496 285917 0 0 0 142170 38 0 0 20 0 4 0 24290747 1414074368 287238 33554432000 4194304 16246674 140734609398512 140734609380416 5711624 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13393/statm: 345233 287238 900 2943 0 342127 0
[pid=13393/tid=13394] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13394/stat : 13394 (toysat) S 13390 13393 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287238 33554432000 4194304 16246674 140734609398512 140491328826608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13393/tid=13395] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13395/stat : 13395 (toysat) S 13390 13393 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287238 33554432000 4194304 16246674 140734609398512 140491318336752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13393/tid=13396] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13396/stat : 13396 (toysat) S 13390 13393 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287238 33554432000 4194304 16246674 140734609398512 140491198819504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1380932

[startup+1482.3 s]
/proc/loadavg: 2.07 2.07 2.03 3/183 13455
/proc/meminfo: memFree=27653804/32872528 swapFree=249320/249320
[pid=13393] ppid=13390 vsize=1380932 CPUtime=1482.07 cores=0,2,4,6
/proc/13393/stat : 13393 (toysat) R 13390 13393 11324 0 -1 4202496 285917 0 0 0 148168 39 0 0 20 0 4 0 24290747 1414074368 287238 33554432000 4194304 16246674 140734609398512 140734609380416 5523416 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13393/statm: 345233 287238 900 2943 0 342127 0
[pid=13393/tid=13394] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13394/stat : 13394 (toysat) S 13390 13393 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287238 33554432000 4194304 16246674 140734609398512 140491328826608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13393/tid=13395] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13395/stat : 13395 (toysat) S 13390 13393 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287238 33554432000 4194304 16246674 140734609398512 140491318336752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13393/tid=13396] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13396/stat : 13396 (toysat) S 13390 13393 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287238 33554432000 4194304 16246674 140734609398512 140491198819504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 1380932

[startup+1542.31 s]
/proc/loadavg: 2.07 2.07 2.03 3/183 13456
/proc/meminfo: memFree=27654012/32872528 swapFree=249320/249320
[pid=13393] ppid=13390 vsize=1380932 CPUtime=1542.07 cores=0,2,4,6
/proc/13393/stat : 13393 (toysat) R 13390 13393 11324 0 -1 4202496 285917 0 0 0 154168 39 0 0 20 0 4 0 24290747 1414074368 287238 33554432000 4194304 16246674 140734609398512 140734609380416 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13393/statm: 345233 287238 900 2943 0 342127 0
[pid=13393/tid=13394] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13394/stat : 13394 (toysat) S 13390 13393 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287238 33554432000 4194304 16246674 140734609398512 140491328826608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13393/tid=13395] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13395/stat : 13395 (toysat) S 13390 13393 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287238 33554432000 4194304 16246674 140734609398512 140491318336752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13393/tid=13396] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13396/stat : 13396 (toysat) S 13390 13393 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287238 33554432000 4194304 16246674 140734609398512 140491198819504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.07
Current children cumulated vsize (KiB) 1380932

[startup+1602.3 s]
/proc/loadavg: 2.02 2.05 2.02 3/183 13458
/proc/meminfo: memFree=27653788/32872528 swapFree=249320/249320
[pid=13393] ppid=13390 vsize=1380932 CPUtime=1602.05 cores=0,2,4,6
/proc/13393/stat : 13393 (toysat) R 13390 13393 11324 0 -1 4202496 285917 0 0 0 160166 39 0 0 20 0 4 0 24290747 1414074368 287238 33554432000 4194304 16246674 140734609398512 140734609380416 5711697 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13393/statm: 345233 287238 900 2943 0 342127 0
[pid=13393/tid=13394] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13394/stat : 13394 (toysat) S 13390 13393 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287238 33554432000 4194304 16246674 140734609398512 140491328826608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13393/tid=13395] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13395/stat : 13395 (toysat) S 13390 13393 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287238 33554432000 4194304 16246674 140734609398512 140491318336752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13393/tid=13396] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13396/stat : 13396 (toysat) S 13390 13393 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287238 33554432000 4194304 16246674 140734609398512 140491198819504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 1380932

[startup+1662.3 s]
/proc/loadavg: 2.07 2.06 2.02 3/183 13459
/proc/meminfo: memFree=27653436/32872528 swapFree=249320/249320
[pid=13393] ppid=13390 vsize=1380932 CPUtime=1662.04 cores=0,2,4,6
/proc/13393/stat : 13393 (toysat) R 13390 13393 11324 0 -1 4202496 285917 0 0 0 166165 39 0 0 20 0 4 0 24290747 1414074368 287238 33554432000 4194304 16246674 140734609398512 140734609380416 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13393/statm: 345233 287238 900 2943 0 342127 0
[pid=13393/tid=13394] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13394/stat : 13394 (toysat) S 13390 13393 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287238 33554432000 4194304 16246674 140734609398512 140491328826608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13393/tid=13395] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13395/stat : 13395 (toysat) S 13390 13393 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287238 33554432000 4194304 16246674 140734609398512 140491318336752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13393/tid=13396] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13396/stat : 13396 (toysat) S 13390 13393 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287238 33554432000 4194304 16246674 140734609398512 140491198819504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 1380932

[startup+1722.3 s]
/proc/loadavg: 2.02 2.05 2.02 3/183 13460
/proc/meminfo: memFree=27653452/32872528 swapFree=249320/249320
[pid=13393] ppid=13390 vsize=1380932 CPUtime=1722.03 cores=0,2,4,6
/proc/13393/stat : 13393 (toysat) R 13390 13393 11324 0 -1 4202496 285917 0 0 0 172164 39 0 0 20 0 4 0 24290747 1414074368 287238 33554432000 4194304 16246674 140734609398512 140734609380416 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13393/statm: 345233 287238 900 2943 0 342127 0
[pid=13393/tid=13394] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13394/stat : 13394 (toysat) S 13390 13393 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287238 33554432000 4194304 16246674 140734609398512 140491328826608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13393/tid=13395] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13395/stat : 13395 (toysat) S 13390 13393 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287238 33554432000 4194304 16246674 140734609398512 140491318336752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13393/tid=13396] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13396/stat : 13396 (toysat) S 13390 13393 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287238 33554432000 4194304 16246674 140734609398512 140491198819504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 1380932

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.01 3/183 13510
/proc/meminfo: memFree=29428304/32872528 swapFree=249320/249320
[pid=13393] ppid=13390 vsize=1380932 CPUtime=1782.02 cores=0,2,4,6
/proc/13393/stat : 13393 (toysat) R 13390 13393 11324 0 -1 4202496 285923 0 0 0 178163 39 0 0 20 0 4 0 24290747 1414074368 287241 33554432000 4194304 16246674 140734609398512 140734609380416 5711568 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13393/statm: 345233 287241 900 2943 0 342127 0
[pid=13393/tid=13394] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13394/stat : 13394 (toysat) S 13390 13393 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287241 33554432000 4194304 16246674 140734609398512 140491328826608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13393/tid=13395] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13395/stat : 13395 (toysat) S 13390 13393 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287241 33554432000 4194304 16246674 140734609398512 140491318336752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13393/tid=13396] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13396/stat : 13396 (toysat) S 13390 13393 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287241 33554432000 4194304 16246674 140734609398512 140491198819504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 1380932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/184 13513
/proc/meminfo: memFree=29427816/32872528 swapFree=249320/249320
[pid=13393] ppid=13390 vsize=1380932 CPUtime=1800.01 cores=0,2,4,6
/proc/13393/stat : 13393 (toysat) R 13390 13393 11324 0 -1 4202496 285931 0 0 0 179962 39 0 0 20 0 4 0 24290747 1414074368 287241 33554432000 4194304 16246674 140734609398512 140734609380416 5522872 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13393/statm: 345233 287241 900 2943 0 342127 0
[pid=13393/tid=13394] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13394/stat : 13394 (toysat) S 13390 13393 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287241 33554432000 4194304 16246674 140734609398512 140491328826608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13393/tid=13395] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13395/stat : 13395 (toysat) S 13390 13393 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287241 33554432000 4194304 16246674 140734609398512 140491318336752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13393/tid=13396] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13396/stat : 13396 (toysat) S 13390 13393 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287241 33554432000 4194304 16246674 140734609398512 140491198819504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1380932

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

[startup+1800.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/184 13513
/proc/meminfo: memFree=29427816/32872528 swapFree=249320/249320
[pid=13393] ppid=13390 vsize=1380932 CPUtime=1800.01 cores=0,2,4,6
/proc/13393/stat : 13393 (toysat) R 13390 13393 11324 0 -1 4202496 285931 0 0 0 179962 39 0 0 20 0 4 0 24290747 1414074368 287241 33554432000 4194304 16246674 140734609398512 140734609380416 5522872 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13393/statm: 345233 287241 900 2943 0 342127 0
[pid=13393/tid=13394] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13394/stat : 13394 (toysat) S 13390 13393 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287241 33554432000 4194304 16246674 140734609398512 140491328826608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13393/tid=13395] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13395/stat : 13395 (toysat) S 13390 13393 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287241 33554432000 4194304 16246674 140734609398512 140491318336752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13393/tid=13396] ppid=13390 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13393/task/13396/stat : 13396 (toysat) S 13390 13393 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24290747 1414074368 287241 33554432000 4194304 16246674 140734609398512 140491198819504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1380932

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.37
CPU time (s): 1800.09
CPU user time (s): 1799.63
CPU system time (s): 0.451931
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 1380932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.63
system time used= 0.451931
maximum resident set size= 1148964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 285931
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= 34
involuntary context switches= 1878

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6133 second user time and 6.88195 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-18 06:00:03
IDJOB=4101273
IDBENCH=1722
IDSOLVER=2542
FILE ID=node103/4101273-1466222403
RUNJOBID= node103-1466206104-11340
PBS_JOBID= 19918169
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-greenbeb.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101273-1466222403/watcher-4101273-1466222403 -o /tmp/evaluation-result-4101273-1466222403/solver-4101273-1466222403 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466206104-11340 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101273-1466222403.opb

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

MD5SUM BENCH= 7808a83c255339d45cbd36765fa322a9
RANDOM SEED=424248098

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
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:        29480300 kB
Buffers:          105424 kB
Cached:           149236 kB
SwapCached:         2200 kB
Active:          2262352 kB
Inactive:         143560 kB
Active(anon):    2149956 kB
Inactive(anon):     3600 kB
Active(file):     112396 kB
Inactive(file):   139960 kB
Unevictable:      249320 kB
Mlocked:          249320 kB
SwapTotal:      67108856 kB
SwapFree:       67099436 kB
Dirty:             61580 kB
Writeback:             0 kB
AnonPages:       2399348 kB
Mapped:            10680 kB
Shmem:                 0 kB
Slab:             602140 kB
SReclaimable:      45964 kB
SUnreclaim:       556176 kB
KernelStack:        1496 kB
PageTables:         8528 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2540136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 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= 71692 MiB
End job on node103 at 2016-06-18 06:30:04