Trace number 4100217

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos2.opb
MD5SUMc8a32fda50ac377272d463f6016dd614
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark3.9404
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved NO
Number of variables32294
Total number of constraints1133
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)13
Number of constraints which are nor clauses,nor cardinality constraints1120
Minimum length of a constraint10
Maximum length of a constraint4780
Number of terms in the objective function 124
Biggest coefficient in the objective function 65537
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 524408
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 528063
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-18T02:59:58+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-4100217-1466211597.opb"]
0.00/0.01	c use --random-gen="1794335068 395643586 1367652277 903753987 463290189 1519123647 3717433210 1149691083 2446502199 1090499138 3862766594 624980873 171756483 275776934 3851055361 2757768142 872726626 92925655 1456470212 1420772768 2055961586 1762101421 3252816320 182617567 2481832310 1294906536 1355202002 2612691264 3241277122 152150020 833600623 131646703 2349930901 4099473874 2142986227 1236229413 2868644037 2087926847 1152982118 594377703 37534209 1037290303 2246126343 1861235185 380881375 3544926426 4151430558 313848558 540220770 2194922441 1209755803 450069730 3374577002 817452764 1546529260 4274176335 2839826883 1777200330 2758605678 4272413267 2260428852 763773378 2144076292 3278221795 3717906244 774608636 965523895 3469336374 1575912867 1455842196 394552815 2412491191 417182560 4008670071 559682916 4291073828 1691499045 1482203642 3806857498 1189791954 341062279 3949221394 1881040422 611754972 1838137780 2003082711 2159044007 2338749866 2705703919 466429652 3933025768 2033251382 2578427874 3666658992 421653411 2568498317 2528218961 1253931921 3963299568 3403088788 564023814 1038988185 211774303 3585306856 2974879947 2839314729 98253976 3480170627 3135785003 586519213 2690177414 436847034 2722567640 2549863719 838192401 3940865000 936094628 169086413 3146824225 3697557594 2661282827 3927806563 117997090 484216217 237137335 2867042689 3302283997 550717544 3376969723 3248558608 1339817945 298939814 1880337487 3269137729 2233694359 3297457976 3485155671 263937277 85013684 945213250 2737781125 665133549 345773720 1077611990 1376889884 3221360183 2797658779 1973993201 2146240926 1142726429 1462833655 2261065476 905006452 1059385118 3217764854 829301711 833335707 2340433032 2071649493 2778397011 745332293 3514482312 2993801957 546046674 1236047171 3338036901 2172261772 3824699185 1034369677 4189321714 2248366704 3500755200 506012221 2697029774 502880977 2993483172 1848277641 2475912549 1226746684 1137713474 2583964286 2960683335 2792719173 1669638110 1320380283 3297577636 3089875719 2178748670 32473974 3878191973 3082618836 3635957097 508773157 4012505313 222941669 1100758328 2217860292 3139581567 3220496125 2423265484 3152335856 313254943 2464908423 2204893358 1648152747 198042367 3275730555 528490695 696069766 3461071391 2974181248 3699339896 3437152901 423355134 2509815924 365993221 2740216715 4183971079 1395747814 894376059 374912658 1166156571 1599610248 3512933444 2304020544 696017452 4160016568 156126494 926272146 3220219429 3361546358 3397522591 320471333 4159658361 585043206 2280640486 3291943157 3256040186 4035906832 3884723647 3933203452 881015944 1491936603 3536989580 1170971243 2322900094 484080279 4253052239 2607369293 2508121047 2399527551 1733483003 3550065670 3489800619 2281230598 3096955023 255 362436" option to reproduce the execution
0.18/0.26	c #vars 32294
0.18/0.26	c #constraints 1133
0.88/0.92	c BCD2: Hardening is enabled.
0.88/0.92	c BCD2: BiasedSearch is enabled.
0.88/0.92	c Solving starts ...
0.88/0.92	c ============================[ Search Statistics ]============================
0.88/0.92	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.88/0.92	c       |         |          |          |    Limit     GC | Var      | Constra 
0.88/0.92	c =============================================================================
0.88/0.92	c  0.0s |       0 |        0 |        0 |    11156      0 |    17511 |        0
1.88/1.97	c  1.1s |       1 |     7061 |      100 |    11156      0 |    17517 |        0
4.09/4.12	c  3.2s |       2 |    21627 |      250 |    12272      0 |    17531 |        0
7.09/7.18	c  6.3s |       2 |    34686 |      450 |    13500      0 |    17544 |        0
7.39/7.45	c  6.5s |       3 |    34686 |      475 |    13500      0 |    17544 |        0
10.99/11.08	c 10.2s |       3 |    49616 |      675 |    14851      0 |    17560 |        0
12.99/13.07	c 12.1s |       4 |    54801 |      813 |    14851      0 |    17566 |        0
15.59/15.62	c 14.7s |       4 |    60392 |     1113 |    16337      0 |    17571 |        0
16.29/16.38	c 15.5s |       5 |    60822 |     1320 |    16337      0 |    17571 |        0
18.69/18.73	c 17.8s |       5 |    72396 |     1720 |    17971      0 |    17575 |        0
19.99/20.02	c 19.1s |       6 |    72767 |     2081 |    19769      0 |    17575 |        0
24.29/24.38	c 23.5s |       6 |    77121 |     2281 |    19769      0 |    17576 |        0
26.88/26.99	c 26.1s |       6 |    77220 |     2381 |    19769      0 |    17576 |        0
29.58/29.67	c 28.8s |       6 |    77318 |     2481 |    19769      0 |    17576 |        0
31.68/31.70	c 30.8s |       6 |    77429 |     2581 |    19769      0 |    17576 |        0
33.98/34.05	c 33.1s |       6 |    78032 |     3181 |    19769      0 |    17576 |        0
34.19/34.23	c 33.3s |       7 |    78071 |     3223 |    21746      0 |    17576 |        0
36.39/36.46	c 35.5s |       7 |    98359 |     3340 |    21746      0 |    17580 |        0
36.39/36.46	c #cpu_time = 35.428s
36.39/36.46	c #wall_clock_time = 35.519s
36.39/36.46	c #decision = 98359
36.39/36.46	c #random_decision = 265
36.39/36.46	c #conflict = 3340
36.39/36.46	c #restart = 7
36.39/36.46	o 40
36.39/36.46	c BCD2: hardening fixes 44 literals
36.39/36.46	c BCD2: updating upper bound: 524408 -> 39
36.39/36.46	c BCD2: 0 <= obj <= 39
36.39/36.46	c BCD2: #cores=0, #unrelaxed=80, #relaxed=0, #hardened=44
36.39/36.46	c BCD2: #sat=1 #unsat=1 bias=1/2
36.39/36.46	c Solving starts ...
36.39/36.46	c ============================[ Search Statistics ]============================
36.39/36.46	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
36.39/36.46	c       |         |          |          |    Limit     GC | Var      | Constra 
36.39/36.46	c =============================================================================
36.39/36.46	c  0.0s |       0 |        0 |        0 |    21746      0 |    17624 |        0
36.58/36.66	c  0.2s |       0 |       78 |        0 |    21746      0 |    17624 |        0
36.58/36.66	c #cpu_time = 0.201s
36.58/36.66	c #wall_clock_time = 0.202s
36.58/36.66	c #decision = 78
36.58/36.66	c #random_decision = 0
36.58/36.66	c #conflict = 0
36.58/36.66	c #restart = 0
36.58/36.66	c BCD2: found a new core of size 19: cost of the new core is >=1
36.58/36.66	c lower bound updated to 1
36.58/36.66	c BCD2: 1 <= obj <= 39
36.58/36.66	c BCD2: #cores=1, #unrelaxed=61, #relaxed=19, #hardened=44
36.58/36.66	c BCD2: #sat=1 #unsat=2 bias=2/3
36.58/36.66	c Solving starts ...
36.58/36.66	c ============================[ Search Statistics ]============================
36.58/36.66	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
36.58/36.66	c       |         |          |          |    Limit     GC | Var      | Constra 
36.58/36.66	c =============================================================================
36.58/36.66	c  0.0s |       0 |        0 |        0 |    21746      0 |    17624 |        0
37.68/37.74	c  1.1s |       1 |     7356 |      100 |    21746      0 |    17624 |        0
41.98/42.08	c  5.4s |       1 |    25310 |      200 |    21746      0 |    17632 |        0
43.88/44.00	c  7.3s |       2 |    29490 |      250 |    21746      0 |    17634 |        0
46.98/47.04	c 10.4s |       2 |    33903 |      350 |    21746      0 |    17634 |        0
49.48/49.51	c 12.8s |       2 |    44397 |      450 |    21746      0 |    17637 |        0
49.78/49.86	c 13.2s |       3 |    44429 |      475 |    21746      0 |    17637 |        0
56.38/56.46	c 19.8s |       3 |    46578 |      575 |    21746      0 |    17637 |        0
61.08/61.19	c 24.5s |       3 |    48754 |      675 |    21746      0 |    17638 |        0
62.98/63.04	c 26.4s |       4 |    52072 |      813 |    21746      0 |    17638 |        0
65.08/65.18	c 28.5s |       4 |    54060 |     1313 |    21746      0 |    17638 |        0
65.18/65.22	c 28.6s |       5 |    54069 |     1320 |    21746      0 |    17638 |        0
67.58/67.68	c 31.0s |       5 |    55455 |     1620 |    23921      0 |    17638 |        0
70.08/70.18	c 33.5s |       5 |    56073 |     1920 |    23921      0 |    17638 |        0
72.48/72.60	c 35.9s |       5 |    56729 |     2020 |    23921      0 |    17639 |        0
73.58/73.68	c 37.0s |       6 |    56909 |     2081 |    23921      0 |    17639 |        0
76.28/76.35	c 39.7s |       6 |    59124 |     2181 |    23921      0 |    17639 |        0
79.18/79.24	c 42.6s |       6 |    63693 |     2481 |    23921      0 |    17640 |        0
81.78/81.87	c 45.2s |       6 |    66337 |     2681 |    23921      0 |    17641 |        0
85.88/85.97	c 49.3s |       6 |    66900 |     2881 |    23921      0 |    17641 |        0
89.09/89.15	c 52.5s |       6 |    67296 |     2981 |    23921      0 |    17641 |        0
91.48/91.55	c 54.9s |       6 |    69054 |     3181 |    23921      0 |    17642 |        0
92.08/92.16	c 55.5s |       7 |    70207 |     3223 |    23921      0 |    17643 |        0
95.48/95.52	c 58.9s |       7 |    76918 |     3423 |    23921      0 |    17645 |        0
97.88/97.95	c 61.3s |       7 |    80436 |     3723 |    23921      0 |    17647 |        0
101.07/101.17	c 64.5s |       7 |    82977 |     4023 |    23921      0 |    17649 |        0
104.87/104.99	c 68.3s |       7 |    87459 |     4123 |    23921      0 |    17649 |        0
110.97/111.06	c 74.4s |       7 |   141904 |     4223 |    26314      0 |    17654 |        0
116.27/116.30	c 79.6s |       7 |   144595 |     4423 |    26314      0 |    17654 |        0
120.77/120.85	c 84.2s |       7 |   149184 |     4623 |    26314      0 |    17654 |        0
125.07/125.16	c 88.5s |       7 |   154176 |     4723 |    26314      0 |    17656 |        0
127.87/127.96	c 91.3s |       7 |   155505 |     4923 |    26314      0 |    17657 |        0
128.07/128.13	c 91.5s |       8 |   155532 |     4936 |    26314      0 |    17657 |        0
131.47/131.52	c 94.9s |       8 |   156893 |     5136 |    26314      0 |    17657 |        0
134.46/134.54	c 97.9s |       8 |   157199 |     5336 |    26314      0 |    17657 |        0
136.77/136.85	c  100s |       8 |   158364 |     5436 |    26314      0 |    17658 |        0
138.87/138.99	c  102s |       8 |   167938 |     5636 |    26314      0 |    17659 |        0
141.37/141.47	c  104s |       8 |   169928 |     5736 |    26314      0 |    17659 |        0
144.57/144.65	c  107s |       8 |   183074 |     5836 |    26314      0 |    17659 |        0
147.07/147.11	c  110s |       8 |   185577 |     5936 |    26314      0 |    17659 |        0
149.07/149.12	c  112s |       8 |   186634 |     6036 |    26314      0 |    17659 |        0
151.67/151.80	c  115s |       8 |   192999 |     6136 |    26314      0 |    17662 |        0
154.37/154.41	c  117s |       8 |   197310 |     6236 |    26314      0 |    17665 |        0
156.67/156.75	c  120s |       8 |   197859 |     6736 |    26314      0 |    17665 |        0
158.87/159.00	c  122s |       8 |   198580 |     7136 |    26314      0 |    17665 |        0
161.96/162.00	c  125s |       8 |   200029 |     7436 |    26314      0 |    17666 |        0
162.16/162.24	c  125s |       9 |   200132 |     7506 |    26314      0 |    17666 |        0
164.26/164.37	c  127s |       9 |   201941 |     7906 |    26314      0 |    17666 |        0
166.76/166.88	c  130s |       9 |   202796 |     8406 |    28946      0 |    17666 |        0
168.97/169.08	c  132s |       9 |   203827 |     8806 |    28946      0 |    17666 |        0
172.26/172.39	c  135s |       9 |   204612 |     9006 |    28946      0 |    17667 |        0
175.86/175.93	c  139s |       9 |   205050 |     9106 |    28946      0 |    17668 |        0
178.17/178.23	c  141s |       9 |   205536 |     9406 |    28946      0 |    17668 |        0
180.56/180.66	c  143s |       9 |   205725 |     9606 |    28946      0 |    17668 |        0
183.67/183.74	c  147s |       9 |   205921 |     9806 |    28946      0 |    17668 |        0
187.56/187.61	c  150s |       9 |   206120 |    10006 |    28946      0 |    17668 |        0
190.16/190.27	c  153s |       9 |   206208 |    10106 |    28946      0 |    17668 |        0
192.75/192.88	c  156s |       9 |   206320 |    10206 |    28946      0 |    17668 |        0
195.16/195.26	c  158s |       9 |   206408 |    10306 |    28946      0 |    17668 |        0
197.76/197.80	c  161s |       9 |   206496 |    10406 |    28946      0 |    17668 |        0
200.76/200.85	c  164s |       9 |   206607 |    10506 |    28946      0 |    17668 |        0
203.66/203.71	c  167s |       9 |   206695 |    10606 |    28946      0 |    17668 |        0
206.46/206.55	c  169s |       9 |   206783 |    10706 |    28946      0 |    17668 |        0
210.17/210.21	c  173s |       9 |   206893 |    10806 |    28946      0 |    17668 |        0
213.06/213.19	c  176s |       9 |   207016 |    10906 |    28946      0 |    17668 |        0
216.36/216.47	c  179s |       9 |   207144 |    11006 |    28946      0 |    17668 |        0
222.16/222.26	c  185s |       9 |   214131 |    11106 |    28946      0 |    17672 |        0
227.86/227.99	c  191s |       9 |   214244 |    11206 |    28946      0 |    17672 |        0
231.06/231.14	c  194s |       9 |   220904 |    11306 |    28946      0 |    17674 |        0
234.26/234.37	c  197s |      10 |   221636 |    11361 |    28946      0 |    17676 |        0
242.65/242.70	c  206s |      10 |   222760 |    11561 |    28946      0 |    17678 |        0
246.55/246.66	c  209s |      10 |   228415 |    11661 |    28946      0 |    17680 |        0
249.15/249.23	c  212s |      10 |   230006 |    11961 |    28946      0 |    17680 |        0
251.15/251.24	c  214s |      10 |   232196 |    12061 |    28946      0 |    17681 |        0
253.55/253.66	c  217s |      10 |   235532 |    12261 |    28946      0 |    17682 |        0
256.75/256.80	c  220s |      10 |   236999 |    12561 |    28946      0 |    17683 |        0
261.35/261.42	c  224s |      10 |   241675 |    13061 |    28946      0 |    17684 |        0
264.05/264.14	c  227s |      10 |   241675 |    13161 |    28946      0 |    17684 |        0
266.95/267.07	c  230s |      10 |   241675 |    13261 |    28946      0 |    17684 |        0
270.65/270.72	c  234s |      10 |   243742 |    13361 |    28946      0 |    17686 |        0
272.85/272.94	c  236s |      10 |   243892 |    13661 |    28946      0 |    17686 |        0
275.14/275.27	c  238s |      10 |   243992 |    13861 |    31841      0 |    17686 |        0
278.64/278.75	c  242s |      10 |   244092 |    14061 |    31841      0 |    17686 |        0
280.74/280.88	c  244s |      10 |   244143 |    14161 |    31841      0 |    17686 |        0
283.04/283.13	c  246s |      10 |   244194 |    14261 |    31841      0 |    17686 |        0
285.05/285.18	c  248s |      10 |   245328 |    14361 |    31841      0 |    17686 |        0
290.15/290.28	c  253s |      10 |   249345 |    14461 |    31841      0 |    17687 |        0
293.55/293.62	c  256s |      10 |   249534 |    14561 |    31841      0 |    17687 |        0
296.95/297.02	c  260s |      10 |   254640 |    14861 |    31841      0 |    17687 |        0
300.74/300.88	c  264s |      10 |   254850 |    15061 |    31841      0 |    17687 |        0
302.84/302.92	c  266s |      10 |   254940 |    15161 |    31841      0 |    17687 |        0
308.14/308.29	c  271s |      10 |   257115 |    15261 |    31841      0 |    17688 |        0
317.34/317.49	c  280s |      10 |   262478 |    15361 |    31841      0 |    17689 |        0
320.34/320.45	c  283s |      10 |   263810 |    15461 |    31841      0 |    17690 |        0
326.94/327.05	c  290s |      10 |   268130 |    15561 |    31841      0 |    17694 |        0
328.95/329.09	c  292s |      10 |   268276 |    15661 |    31841      0 |    17694 |        0
332.34/332.41	c  295s |      10 |   269372 |    15761 |    31841      0 |    17695 |        0
334.63/334.71	c  298s |      10 |   269514 |    15861 |    31841      0 |    17695 |        0
336.93/337.08	c  300s |      10 |   269651 |    15961 |    31841      0 |    17695 |        0
343.04/343.10	c  306s |      10 |   272650 |    16061 |    31841      0 |    17698 |        0
345.54/345.67	c  309s |      10 |   272771 |    16161 |    31841      0 |    17698 |        0
349.34/349.49	c  312s |      10 |   274770 |    16261 |    31841      0 |    17699 |        0
352.34/352.41	c  315s |      10 |   296374 |    16361 |    31841      0 |    17699 |        0
356.34/356.42	c  319s |      10 |   320466 |    16561 |    31841      0 |    17699 |        0
362.03/362.18	c  325s |      10 |   364718 |    16661 |    31841      0 |    17701 |        0
368.23/368.36	c  331s |      10 |   382942 |    16761 |    31841      0 |    17704 |        0
371.03/371.17	c  334s |      10 |   385907 |    16861 |    31841      0 |    17705 |        0
373.83/373.96	c  337s |      10 |   386061 |    16961 |    31841      0 |    17705 |        0
376.83/376.98	c  340s |      10 |   386239 |    17061 |    31841      0 |    17705 |        0
379.43/379.54	c  342s |      11 |   386368 |    17144 |    31841      0 |    17705 |        0
385.04/385.11	c  348s |      11 |   389466 |    17244 |    31841      0 |    17705 |        0
390.73/390.84	c  354s |      11 |   422445 |    17344 |    31841      0 |    17707 |        0
396.73/396.87	c  360s |      11 |   452969 |    17444 |    31841      0 |    17709 |        0
401.13/401.25	c  364s |      11 |   453737 |    17544 |    31841      0 |    17709 |        0
403.93/404.03	c  367s |      11 |   455033 |    17744 |    31841      0 |    17709 |        0
407.13/407.24	c  370s |      11 |   456277 |    17944 |    31841      0 |    17709 |        0
410.53/410.67	c  374s |      11 |   457492 |    18044 |    31841      0 |    17710 |        0
414.73/414.85	c  378s |      11 |   458161 |    18144 |    31841      0 |    17710 |        0
417.22/417.33	c  380s |      11 |   459605 |    18344 |    31841      0 |    17710 |        0
420.02/420.13	c  383s |      11 |   465050 |    18544 |    31841      0 |    17711 |        0
422.44/422.54	c  385s |      11 |   466015 |    18844 |    31841      0 |    17711 |        0
424.43/424.57	c  387s |      11 |   466015 |    18944 |    31841      0 |    17711 |        0
426.63/426.78	c  390s |      11 |   466015 |    19044 |    31841      0 |    17711 |        0
429.73/429.80	c  393s |      11 |   466037 |    19144 |    31841      0 |    17711 |        0
433.13/433.28	c  396s |      11 |   466037 |    19244 |    31841      0 |    17711 |        0
436.92/437.01	c  400s |      11 |   466037 |    19344 |    31841      0 |    17711 |        0
441.22/441.35	c  404s |      11 |   466037 |    19444 |    31841      0 |    17711 |        0
444.12/444.29	c  407s |      11 |   466102 |    19544 |    31841      0 |    17711 |        0
446.52/446.62	c  409s |      11 |   467197 |    19844 |    31841      0 |    17711 |        0
449.92/450.07	c  413s |      11 |   467197 |    20044 |    31841      0 |    17711 |        0
452.22/452.37	c  415s |      11 |   467197 |    20144 |    31841      0 |    17711 |        0
455.61/455.78	c  419s |      11 |   467197 |    20244 |    31841      0 |    17711 |        0
459.92/460.01	c  423s |      11 |   467197 |    20344 |    31841      0 |    17711 |        0
465.33/465.46	c  428s |      11 |   468448 |    20444 |    31841      0 |    17712 |        0
468.53/468.64	c  431s |      11 |   468541 |    20544 |    31841      0 |    17712 |        0
472.22/472.32	c  435s |      11 |   468628 |    20644 |    31841      0 |    17712 |        0
476.12/476.20	c  439s |      11 |   468720 |    20744 |    31841      0 |    17712 |        0
480.12/480.27	c  443s |      11 |   468821 |    20844 |    31841      0 |    17712 |        0
484.41/484.57	c  447s |      11 |   468922 |    20944 |    31841      0 |    17712 |        0
488.71/488.84	c  452s |      11 |   469012 |    21044 |    31841      0 |    17712 |        0
493.21/493.32	c  456s |      11 |   469116 |    21144 |    31841      0 |    17712 |        0
498.01/498.14	c  461s |      11 |   469215 |    21244 |    31841      0 |    17712 |        0
502.72/502.83	c  466s |      11 |   469297 |    21344 |    31841      0 |    17712 |        0
507.61/507.76	c  471s |      11 |   469402 |    21444 |    31841      0 |    17712 |        0
512.42/512.53	c  475s |      11 |   469488 |    21544 |    31841      0 |    17712 |        0
517.71/517.82	c  481s |      11 |   469594 |    21644 |    31841      0 |    17712 |        0
523.31/523.42	c  486s |      11 |   469699 |    21744 |    31841      0 |    17712 |        0
528.91/529.02	c  492s |      11 |   469781 |    21844 |    31841      0 |    17712 |        0
534.52/534.66	c  497s |      11 |   469877 |    21944 |    31841      0 |    17712 |        0
539.21/539.39	c  502s |      11 |   469972 |    22044 |    31841      0 |    17712 |        0
543.91/544.03	c  507s |      11 |   488829 |    22144 |    31841      0 |    17713 |        0
546.51/546.67	c  510s |      11 |   489885 |    22244 |    31841      0 |    17713 |        0
551.21/551.34	c  514s |      11 |   498938 |    22344 |    35026      0 |    17715 |        0
555.10/555.27	c  518s |      11 |   498975 |    22644 |    35026      0 |    17715 |        0
557.80/557.92	c  521s |      11 |   498975 |    22744 |    35026      0 |    17715 |        0
561.10/561.26	c  524s |      11 |   498975 |    22844 |    35026      0 |    17715 |        0
565.10/565.23	c  528s |      11 |   498975 |    22944 |    35026      0 |    17715 |        0
570.60/570.78	c  534s |      11 |   498975 |    23044 |    35026      0 |    17715 |        0
578.10/578.20	c  541s |      11 |   501069 |    23144 |    35026      0 |    17716 |        0
580.40/580.60	c  543s |      11 |   501170 |    23244 |    35026      0 |    17716 |        0
585.90/586.07	c  549s |      11 |   503278 |    23444 |    35026      0 |    17716 |        0
593.19/593.36	c  556s |      11 |   503388 |    23544 |    35026      0 |    17716 |        0
599.70/599.83	c  563s |      11 |   503496 |    23644 |    35026      0 |    17716 |        0
604.50/604.66	c  567s |      11 |   503677 |    23744 |    35026      0 |    17716 |        0
608.90/609.03	c  572s |      11 |   503876 |    23844 |    35026      0 |    17716 |        0
616.00/616.11	c  579s |      11 |   504015 |    23944 |    35026      0 |    17716 |        0
620.89/621.10	c  584s |      11 |   504111 |    24044 |    35026      0 |    17716 |        0
625.49/625.66	c  588s |      11 |   504136 |    24144 |    35026      0 |    17716 |        0
630.80/630.90	c  594s |      11 |   504254 |    24244 |    35026      0 |    17716 |        0
638.29/638.43	c  601s |      11 |   504364 |    24344 |    35026      0 |    17716 |        0
644.29/644.43	c  607s |      11 |   504477 |    24444 |    35026      0 |    17716 |        0
652.09/652.26	c  615s |      11 |   504585 |    24544 |    35026      0 |    17716 |        0
659.09/659.26	c  622s |      11 |   504694 |    24644 |    35026      0 |    17716 |        0
666.09/666.26	c  629s |      11 |   504802 |    24744 |    35026      0 |    17716 |        0
673.29/673.43	c  636s |      11 |   504912 |    24844 |    35026      0 |    17716 |        0
680.48/680.65	c  643s |      11 |   505023 |    24944 |    35026      0 |    17716 |        0
686.30/686.48	c  649s |      11 |   505102 |    25044 |    35026      0 |    17716 |        0
690.49/690.61	c  653s |      11 |   505135 |    25144 |    35026      0 |    17716 |        0
697.78/697.92	c  661s |      11 |   505243 |    25244 |    35026      0 |    17716 |        0
704.39/704.59	c  667s |      11 |   505348 |    25344 |    35026      0 |    17716 |        0
710.88/711.03	c  674s |      11 |   505458 |    25444 |    35026      0 |    17716 |        0
717.58/717.73	c  681s |      11 |   505568 |    25544 |    35026      0 |    17716 |        0
724.68/724.88	c  688s |      11 |   505675 |    25644 |    35026      0 |    17716 |        0
731.78/731.97	c  695s |      11 |   505782 |    25744 |    35026      0 |    17716 |        0
737.17/737.38	c  700s |      12 |   505892 |    25819 |    35026      0 |    17716 |        0
741.88/742.05	c  705s |      12 |   509942 |    25919 |    35026      0 |    17716 |        0
744.88/745.07	c  708s |      12 |   512965 |    26019 |    35026      0 |    17717 |        0
747.68/747.80	c  711s |      12 |   517062 |    26219 |    35026      0 |    17717 |        0
750.57/750.77	c  714s |      12 |   517254 |    26419 |    35026      0 |    17717 |        0
753.88/754.02	c  717s |      12 |   517434 |    26619 |    35026      0 |    17717 |        0
757.58/757.78	c  721s |      12 |   517615 |    26819 |    35026      0 |    17717 |        0
759.78/759.90	c  723s |      12 |   517711 |    26919 |    35026      0 |    17717 |        0
762.28/762.47	c  725s |      12 |   517809 |    27019 |    35026      0 |    17717 |        0
764.77/764.91	c  728s |      12 |   517893 |    27119 |    35026      0 |    17717 |        0
767.68/767.81	c  731s |      12 |   517989 |    27219 |    35026      0 |    17717 |        0
770.97/771.11	c  734s |      12 |   518085 |    27319 |    35026      0 |    17717 |        0
774.77/774.90	c  738s |      12 |   518171 |    27419 |    35026      0 |    17717 |        0
776.76/776.93	c  740s |      12 |   518383 |    27519 |    35026      0 |    17717 |        0
779.16/779.31	c  742s |      12 |   518575 |    27719 |    35026      0 |    17717 |        0
782.57/782.74	c  746s |      12 |   518756 |    27919 |    35026      0 |    17717 |        0
784.67/784.80	c  748s |      12 |   518852 |    28019 |    35026      0 |    17717 |        0
786.87/787.05	c  750s |      12 |   518936 |    28119 |    35026      0 |    17717 |        0
789.37/789.56	c  752s |      12 |   519032 |    28219 |    35026      0 |    17717 |        0
792.56/792.77	c  756s |      12 |   519128 |    28319 |    35026      0 |    17717 |        0
795.27/795.42	c  758s |      12 |   519213 |    28419 |    35026      0 |    17717 |        0
798.76/798.99	c  762s |      12 |   519309 |    28519 |    35026      0 |    17717 |        0
802.66/802.80	c  766s |      12 |   519405 |    28619 |    35026      0 |    17717 |        0
805.36/805.55	c  768s |      12 |   519502 |    28719 |    35026      0 |    17717 |        0
808.86/809.06	c  772s |      12 |   519587 |    28819 |    35026      0 |    17717 |        0
811.57/811.79	c  775s |      12 |   519896 |    29019 |    35026      0 |    17717 |        0
814.97/815.12	c  778s |      12 |   520082 |    29219 |    35026      0 |    17717 |        0
816.96/817.16	c  780s |      12 |   520178 |    29319 |    35026      0 |    17717 |        0
819.26/819.41	c  782s |      12 |   520274 |    29419 |    35026      0 |    17717 |        0
821.57/821.72	c  785s |      12 |   520362 |    29519 |    35026      0 |    17717 |        0
824.05/824.24	c  787s |      12 |   520461 |    29619 |    35026      0 |    17717 |        0
826.76/826.95	c  790s |      12 |   520549 |    29719 |    35026      0 |    17717 |        0
829.06/829.26	c  792s |      12 |   520644 |    29819 |    35026      0 |    17717 |        0
832.46/832.61	c  795s |      12 |   520731 |    29919 |    35026      0 |    17717 |        0
834.76/834.97	c  798s |      12 |   520834 |    30019 |    35026      0 |    17717 |        0
837.26/837.44	c  800s |      12 |   520923 |    30119 |    35026      0 |    17717 |        0
840.55/840.73	c  804s |      12 |   521009 |    30219 |    35026      0 |    17717 |        0
844.05/844.30	c  807s |      12 |   521108 |    30319 |    35026      0 |    17717 |        0
846.86/847.03	c  810s |      12 |   521313 |    30519 |    35026      0 |    17717 |        0
849.06/849.29	c  812s |      12 |   521517 |    30719 |    35026      0 |    17717 |        0
851.45/851.60	c  814s |      12 |   521748 |    30919 |    35026      0 |    17717 |        0
854.15/854.33	c  817s |      12 |   521958 |    31119 |    35026      0 |    17717 |        0
856.95/857.10	c  820s |      12 |   522177 |    31319 |    35026      0 |    17717 |        0
859.85/860.08	c  823s |      12 |   522382 |    31519 |    35026      0 |    17717 |        0
862.45/862.62	c  825s |      12 |   522643 |    31719 |    35026      0 |    17717 |        0
865.05/865.23	c  828s |      12 |   522859 |    31919 |    35026      0 |    17717 |        0
867.64/867.87	c  831s |      12 |   523079 |    32119 |    35026      0 |    17717 |        0
870.34/870.53	c  833s |      12 |   523302 |    32319 |    35026      0 |    17717 |        0
873.25/873.45	c  836s |      12 |   523522 |    32519 |    35026      0 |    17717 |        0
876.04/876.20	c  839s |      12 |   523820 |    32719 |    35026      0 |    17717 |        0
878.75/878.91	c  842s |      12 |   524038 |    32919 |    35026      0 |    17717 |        0
881.75/881.91	c  845s |      12 |   524248 |    33119 |    35026      0 |    17717 |        0
884.54/884.73	c  848s |      12 |   524484 |    33319 |    35026      0 |    17717 |        0
887.34/887.55	c  850s |      12 |   524698 |    33519 |    35026      0 |    17717 |        0
890.13/890.34	c  853s |      12 |   525025 |    33719 |    35026      0 |    17717 |        0
892.94/893.20	c  856s |      12 |   525241 |    33919 |    35026      0 |    17717 |        0
896.04/896.21	c  859s |      12 |   525450 |    34119 |    35026      0 |    17717 |        0
898.83/899.05	c  862s |      12 |   525689 |    34319 |    35026      0 |    17717 |        0
902.04/902.21	c  865s |      12 |   525911 |    34519 |    35026      0 |    17717 |        0
905.03/905.27	c  868s |      12 |   526228 |    34719 |    35026      0 |    17717 |        0
907.83/908.06	c  871s |      12 |   526464 |    34919 |    35026      0 |    17717 |        0
910.53/910.72	c  874s |      12 |   526682 |    35119 |    35026      0 |    17717 |        0
913.63/913.81	c  877s |      12 |   526917 |    35319 |    38529      0 |    17717 |        0
916.43/916.68	c  880s |      12 |   527135 |    35519 |    38529      0 |    17717 |        0
919.43/919.68	c  883s |      12 |   527449 |    35719 |    38529      0 |    17717 |        0
922.32/922.53	c  885s |      12 |   527681 |    35919 |    38529      0 |    17717 |        0
925.43/925.63	c  888s |      12 |   527920 |    36119 |    38529      0 |    17717 |        0
928.63/928.80	c  892s |      12 |   528139 |    36319 |    38529      0 |    17717 |        0
931.72/931.92	c  895s |      12 |   528385 |    36519 |    38529      0 |    17717 |        0
934.53/934.75	c  898s |      12 |   528724 |    36719 |    38529      0 |    17717 |        0
937.43/937.61	c  900s |      12 |   528965 |    36919 |    38529      0 |    17717 |        0
940.33/940.56	c  903s |      12 |   529217 |    37119 |    38529      0 |    17717 |        0
943.43/943.64	c  906s |      12 |   529451 |    37319 |    38529      0 |    17717 |        0
946.22/946.48	c  909s |      12 |   529714 |    37519 |    38529      0 |    17717 |        0
949.12/949.40	c  912s |      12 |   530032 |    37719 |    38529      0 |    17717 |        0
952.02/952.26	c  915s |      12 |   530256 |    37919 |    38529      0 |    17717 |        0
954.92/955.18	c  918s |      12 |   530470 |    38119 |    38529      0 |    17717 |        0
957.92/958.13	c  921s |      12 |   530699 |    38319 |    38529      0 |    17717 |        0
961.02/961.20	c  924s |      12 |   531061 |    38519 |    38529      0 |    17717 |        0
963.62/963.81	c  927s |      12 |   531322 |    38719 |    38529      0 |    17717 |        0
964.22/964.42	c  927s |      13 |   531443 |    38832 |    38529      0 |    17717 |        0
968.42/968.67	c  932s |      13 |   532699 |    38932 |    38529      0 |    17717 |        0
970.62/970.88	c  934s |      13 |   533012 |    39232 |    38529      0 |    17717 |        0
972.71/972.96	c  936s |      13 |   533230 |    39432 |    38529      0 |    17717 |        0
975.62/975.82	c  939s |      13 |   533558 |    39732 |    38529      0 |    17717 |        0
978.41/978.63	c  941s |      13 |   533871 |    40032 |    38529      0 |    17717 |        0
981.01/981.23	c  944s |      13 |   534178 |    40332 |    38529      0 |    17717 |        0
983.71/983.92	c  947s |      13 |   534487 |    40632 |    38529      0 |    17717 |        0
986.31/986.54	c  949s |      13 |   534795 |    40932 |    38529      0 |    17717 |        0
988.31/988.57	c  951s |      13 |   535035 |    41132 |    38529      0 |    17717 |        0
991.11/991.36	c  954s |      13 |   535349 |    41432 |    38529      0 |    17717 |        0
994.21/994.47	c  957s |      13 |   535659 |    41732 |    38529      0 |    17717 |        0
996.51/996.76	c  960s |      13 |   535927 |    41932 |    38529      0 |    17717 |        0
999.01/999.21	c  962s |      13 |   536238 |    42232 |    38529      0 |    17717 |        0
1001.80/1002.04	c  965s |      13 |   536542 |    42532 |    38529      0 |    17717 |        0
1004.70/1004.97	c  968s |      13 |   536859 |    42832 |    38529      0 |    17717 |        0
1007.51/1007.74	c  971s |      13 |   537181 |    43132 |    38529      0 |    17717 |        0
1010.40/1010.68	c  974s |      13 |   537493 |    43432 |    38529      0 |    17717 |        0
1013.19/1013.47	c  976s |      13 |   537808 |    43732 |    38529      0 |    17717 |        0
1016.10/1016.40	c  979s |      13 |   538127 |    44032 |    38529      0 |    17717 |        0
1018.20/1018.42	c  981s |      13 |   538342 |    44232 |    38529      0 |    17717 |        0
1021.09/1021.34	c  984s |      13 |   538658 |    44532 |    38529      0 |    17717 |        0
1023.19/1023.45	c  986s |      13 |   538866 |    44732 |    38529      0 |    17717 |        0
1025.29/1025.55	c  988s |      13 |   539071 |    44932 |    38529      0 |    17717 |        0
1027.39/1027.66	c  990s |      13 |   539291 |    45132 |    38529      0 |    17717 |        0
1029.59/1029.89	c  993s |      13 |   539499 |    45332 |    38529      0 |    17717 |        0
1031.70/1031.94	c  995s |      13 |   539698 |    45532 |    38529      0 |    17717 |        0
1033.89/1034.17	c  997s |      13 |   539908 |    45732 |    38529      0 |    17717 |        0
1035.89/1036.17	c  999s |      13 |   540109 |    45932 |    38529      0 |    17717 |        0
1037.98/1038.27	c 1001s |      13 |   540321 |    46132 |    38529      0 |    17717 |        0
1040.39/1040.65	c 1003s |      13 |   540530 |    46332 |    38529      0 |    17717 |        0
1043.59/1043.89	c 1007s |      13 |   540835 |    46632 |    38529      0 |    17717 |        0
1046.08/1046.38	c 1009s |      13 |   541037 |    46832 |    38529      0 |    17717 |        0
1048.39/1048.69	c 1012s |      13 |   541238 |    47032 |    38529      0 |    17717 |        0
1050.89/1051.12	c 1014s |      13 |   541469 |    47232 |    38529      0 |    17717 |        0
1053.59/1053.89	c 1017s |      13 |   541705 |    47432 |    38529      0 |    17717 |        0
1055.98/1056.25	c 1019s |      13 |   541918 |    47632 |    38529      0 |    17717 |        0
1058.28/1058.54	c 1021s |      13 |   542111 |    47832 |    38529      0 |    17717 |        0
1060.57/1060.87	c 1024s |      13 |   542332 |    48032 |    38529      0 |    17717 |        0
1062.88/1063.18	c 1026s |      13 |   542543 |    48232 |    38529      0 |    17717 |        0
1065.48/1065.73	c 1029s |      13 |   542758 |    48432 |    38529      0 |    17717 |        0
1067.78/1068.05	c 1031s |      13 |   542968 |    48632 |    38529      0 |    17717 |        0
1070.98/1071.22	c 1034s |      13 |   543278 |    48932 |    38529      0 |    17717 |        0
1073.17/1073.46	c 1036s |      13 |   543492 |    49132 |    38529      0 |    17717 |        0
1076.37/1076.62	c 1039s |      13 |   543811 |    49432 |    38529      0 |    17717 |        0
1078.67/1078.96	c 1042s |      13 |   544051 |    49632 |    38529      0 |    17717 |        0
1080.88/1081.17	c 1044s |      13 |   544262 |    49832 |    38529      0 |    17717 |        0
1083.08/1083.37	c 1046s |      13 |   544463 |    50032 |    38529      0 |    17717 |        0
1085.98/1086.21	c 1049s |      13 |   544680 |    50232 |    38529      0 |    17717 |        0
1089.37/1089.65	c 1052s |      13 |   544868 |    50432 |    38529      0 |    17717 |        0
1091.87/1092.10	c 1055s |      13 |   545073 |    50632 |    38529      0 |    17717 |        0
1094.47/1094.78	c 1058s |      13 |   545277 |    50832 |    38529      0 |    17717 |        0
1096.97/1097.26	c 1060s |      13 |   545473 |    51032 |    38529      0 |    17717 |        0
1099.47/1099.75	c 1063s |      13 |   545677 |    51232 |    38529      0 |    17717 |        0
1101.87/1102.11	c 1065s |      13 |   545870 |    51432 |    38529      0 |    17717 |        0
1104.37/1104.61	c 1067s |      13 |   546073 |    51632 |    38529      0 |    17717 |        0
1106.76/1107.05	c 1070s |      13 |   546275 |    51832 |    38529      0 |    17717 |        0
1109.26/1109.53	c 1072s |      13 |   546470 |    52032 |    38529      0 |    17717 |        0
1112.36/1112.64	c 1075s |      13 |   546688 |    52232 |    38529      0 |    17717 |        0
1114.76/1115.07	c 1078s |      13 |   546891 |    52432 |    38529      0 |    17717 |        0
1117.06/1117.32	c 1080s |      13 |   547088 |    52632 |    38529      0 |    17717 |        0
1119.06/1119.37	c 1082s |      13 |   547292 |    52832 |    38529      0 |    17717 |        0
1121.66/1122.00	c 1085s |      13 |   547497 |    53032 |    38529      0 |    17717 |        0
1123.76/1124.07	c 1087s |      13 |   547701 |    53232 |    38529      0 |    17717 |        0
1125.96/1126.29	c 1089s |      13 |   547893 |    53432 |    38529      0 |    17717 |        0
1128.47/1128.71	c 1092s |      13 |   548096 |    53632 |    38529      0 |    17717 |        0
1130.67/1130.98	c 1094s |      13 |   548296 |    53832 |    38529      0 |    17717 |        0
1132.87/1133.14	c 1096s |      13 |   548500 |    54032 |    38529      0 |    17717 |        0
1135.16/1135.40	c 1098s |      13 |   548709 |    54232 |    38529      0 |    17717 |        0
1137.36/1137.61	c 1100s |      13 |   548907 |    54432 |    38529      0 |    17717 |        0
1139.75/1140.07	c 1103s |      13 |   549112 |    54632 |    42382      0 |    17717 |        0
1142.25/1142.52	c 1105s |      13 |   549309 |    54832 |    42382      0 |    17717 |        0
1144.75/1145.00	c 1108s |      13 |   549523 |    55032 |    42382      0 |    17717 |        0
1147.16/1147.45	c 1110s |      13 |   549725 |    55232 |    42382      0 |    17717 |        0
1150.05/1150.38	c 1113s |      13 |   549927 |    55432 |    42382      0 |    17717 |        0
1152.45/1152.77	c 1116s |      13 |   550123 |    55632 |    42382      0 |    17717 |        0
1155.15/1155.45	c 1118s |      13 |   550334 |    55832 |    42382      0 |    17717 |        0
1157.45/1157.77	c 1121s |      13 |   550531 |    56032 |    42382      0 |    17717 |        0
1159.65/1159.95	c 1123s |      13 |   550731 |    56232 |    42382      0 |    17717 |        0
1162.35/1162.70	c 1126s |      13 |   550933 |    56432 |    42382      0 |    17717 |        0
1164.85/1165.15	c 1128s |      13 |   551136 |    56632 |    42382      0 |    17717 |        0
1167.45/1167.74	c 1131s |      13 |   551336 |    56832 |    42382      0 |    17717 |        0
1169.95/1170.28	c 1133s |      13 |   551545 |    57032 |    42382      0 |    17717 |        0
1172.25/1172.59	c 1135s |      13 |   551738 |    57232 |    42382      0 |    17717 |        0
1174.74/1175.02	c 1138s |      13 |   551944 |    57432 |    42382      0 |    17717 |        0
1177.95/1178.22	c 1141s |      13 |   552143 |    57632 |    42382      0 |    17717 |        0
1180.74/1181.05	c 1144s |      13 |   552341 |    57832 |    42382      0 |    17717 |        0
1183.74/1184.07	c 1147s |      13 |   552539 |    58032 |    42382      0 |    17717 |        0
1186.03/1186.32	c 1149s |      13 |   552747 |    58232 |    42382      0 |    17717 |        0
1187.54/1187.84	c 1151s |      14 |   552891 |    58352 |    42382      0 |    17717 |        0
1198.74/1199.05	c 1162s |      14 |   554001 |    58452 |    42382      1 |    17717 |        0
1202.24/1202.52	c 1165s |      14 |   557364 |    58652 |    42382      1 |    17717 |        0
1202.24/1202.53	c 1165s |      14 |   557424 |    58659 |    42382      1 |    17717 |        0
1202.24/1202.53	c #cpu_time = 1162.803s
1202.24/1202.53	c #wall_clock_time = 1165.868s
1202.24/1202.53	c #decision = 557424
1202.24/1202.53	c #random_decision = 2621
1202.24/1202.53	c #conflict = 58659
1202.24/1202.53	c #restart = 14
1202.24/1202.53	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 20: cost of the new core is >=2
1202.24/1202.53	c lower bound updated to 2
1202.24/1202.53	c BCD2: 2 <= obj <= 39
1202.24/1202.53	c BCD2: #cores=1, #unrelaxed=60, #relaxed=20, #hardened=44
1202.24/1202.53	c BCD2: #sat=1 #unsat=3 bias=3/4
1202.24/1202.53	c Solving starts ...
1202.24/1202.53	c ============================[ Search Statistics ]============================
1202.24/1202.53	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1202.24/1202.53	c       |         |          |          |    Limit     GC | Var      | Constra 
1202.24/1202.53	c =============================================================================
1202.24/1202.53	c  0.0s |       0 |        0 |        0 |    42382      0 |    17718 |        0
1245.53/1245.85	c 43.3s |       0 |    21603 |      100 |    42382      0 |    17730 |        1
1245.53/1245.86	c 43.3s |       1 |    21603 |      100 |    42382      0 |    17730 |        1
1252.93/1253.21	c 50.7s |       1 |    26857 |      200 |    42382      0 |    17731 |        1
1256.92/1257.28	c 54.8s |       2 |    28874 |      250 |    42382      0 |    17732 |        1
1279.63/1279.93	c 77.4s |       2 |    40876 |      350 |    42382      0 |    17738 |        1
1292.62/1292.97	c 90.4s |       2 |    45067 |      450 |    42382      0 |    17742 |        1
1295.93/1296.28	c 93.7s |       3 |    46093 |      475 |    42382      0 |    17743 |        1
1306.22/1306.51	c  103s |       3 |    49146 |      575 |    42382      0 |    17745 |        1
1310.42/1310.71	c  108s |       3 |    50090 |      675 |    42382      0 |    17746 |        1
1314.71/1315.09	c  112s |       3 |    50995 |      775 |    42382      0 |    17747 |        1
1318.52/1318.82	c  116s |       4 |    51860 |      813 |    42382      0 |    17748 |        1
1322.72/1323.07	c  120s |       4 |    52995 |      913 |    42382      0 |    17748 |        1
1328.92/1329.23	c  126s |       4 |    55509 |     1213 |    42382      0 |    17749 |        1
1330.92/1331.29	c  128s |       5 |    55647 |     1320 |    42382      0 |    17749 |        1
1341.72/1342.09	c  139s |       5 |    63750 |     1420 |    42382      0 |    17751 |        1
1348.42/1348.73	c  146s |       5 |    64843 |     1720 |    42382      0 |    17752 |        1
1352.11/1352.42	c  149s |       5 |    65908 |     1820 |    42382      0 |    17753 |        1
1354.51/1354.84	c  152s |       5 |    67836 |     2020 |    42382      0 |    17753 |        1
1355.51/1355.81	c  153s |       6 |    67899 |     2081 |    42382      0 |    17753 |        1
1360.21/1360.56	c  158s |       6 |    69097 |     2181 |    42382      0 |    17753 |        1
1362.81/1363.11	c  160s |       6 |    69442 |     2481 |    42382      0 |    17753 |        1
1365.21/1365.52	c  162s |       6 |    74231 |     2781 |    42382      0 |    17753 |        1
1370.60/1370.95	c  168s |       6 |    76435 |     2981 |    42382      0 |    17754 |        1
1372.80/1373.14	c  170s |       6 |    76739 |     3181 |    42382      0 |    17754 |        1
1373.41/1373.77	c  171s |       7 |    76780 |     3223 |    42382      0 |    17754 |        1
1383.00/1383.36	c  180s |       7 |    83916 |     3323 |    42382      0 |    17755 |        1
1389.50/1389.85	c  187s |       7 |    85998 |     3523 |    42382      0 |    17756 |        1
1394.90/1395.23	c  192s |       7 |    87153 |     3623 |    42382      0 |    17757 |        1
1400.50/1400.81	c  198s |       7 |    88304 |     3723 |    42382      0 |    17758 |        1
1402.60/1402.94	c  200s |       7 |    90343 |     3823 |    42382      0 |    17758 |        1
1416.90/1417.25	c  214s |       7 |    94444 |     3923 |    42382      0 |    17761 |        1
1426.30/1426.60	c  224s |       7 |    94444 |     4023 |    42382      0 |    17761 |        1
1441.90/1442.22	c  239s |       7 |    97401 |     4123 |    42382      0 |    17764 |        1
1471.38/1471.77	c  269s |       7 |   104153 |     4223 |    42382      0 |    17771 |        1
1494.59/1495.00	c  292s |       7 |   108918 |     4323 |    42382      0 |    17776 |        1
1511.48/1511.89	c  309s |       7 |   112758 |     4423 |    42382      0 |    17780 |        1
1514.08/1514.48	c  311s |       7 |   113223 |     4623 |    42382      0 |    17780 |        1
1521.78/1522.13	c  319s |       7 |   116118 |     4723 |    42382      0 |    17781 |        1
1533.97/1534.39	c  331s |       7 |   117982 |     4823 |    42382      0 |    17783 |        1
1545.36/1545.73	c  343s |       7 |   119832 |     4923 |    42382      0 |    17785 |        1
1545.96/1546.33	c  343s |       8 |   119832 |     4936 |    42382      0 |    17785 |        1
1562.46/1562.86	c  360s |       8 |   122487 |     5036 |    42382      0 |    17787 |        1
1573.76/1574.17	c  371s |       8 |   123335 |     5136 |    42382      0 |    17788 |        1
1599.06/1599.47	c  396s |       8 |   127485 |     5236 |    42382      0 |    17793 |        1
1632.16/1632.58	c  430s |       8 |   133634 |     5336 |    42382      0 |    17801 |        1
1652.14/1652.53	c  450s |       8 |   136876 |     5436 |    42382      0 |    17805 |        1
1654.34/1654.79	c  452s |       8 |   137381 |     5736 |    42382      0 |    17805 |        1
1656.84/1657.26	c  454s |       8 |   137722 |     5936 |    42382      0 |    17805 |        1
1658.95/1659.30	c  456s |       8 |   138301 |     6136 |    42382      0 |    17805 |        1
1662.65/1663.06	c  460s |       8 |   138616 |     6336 |    42382      0 |    17805 |        1
1667.25/1667.68	c  465s |       8 |   138755 |     6436 |    42382      0 |    17805 |        1
1670.55/1670.94	c  468s |       8 |   138876 |     6536 |    42382      0 |    17805 |        1
1675.34/1675.71	c  473s |       8 |   138985 |     6636 |    42382      0 |    17805 |        1
1677.74/1678.17	c  475s |       8 |   139317 |     6736 |    42382      0 |    17805 |        1
1680.04/1680.47	c  477s |       8 |   139699 |     6836 |    42382      0 |    17805 |        1
1685.64/1686.05	c  483s |       8 |   140044 |     7036 |    42382      0 |    17805 |        1
1690.14/1690.50	c  487s |       8 |   140153 |     7136 |    42382      0 |    17805 |        1
1695.74/1696.16	c  493s |       8 |   140571 |     7336 |    42382      0 |    17805 |        1
1700.35/1700.74	c  498s |       8 |   140675 |     7436 |    42382      0 |    17805 |        1
1705.04/1705.45	c  502s |       9 |   140762 |     7506 |    42382      0 |    17805 |        1
1711.35/1711.73	c  509s |       9 |   142119 |     7606 |    42382      0 |    17805 |        1
1714.04/1714.47	c  511s |       9 |   142186 |     7706 |    42382      0 |    17805 |        1
1717.94/1718.36	c  515s |       9 |   147438 |     7906 |    42382      0 |    17805 |        1
1722.83/1723.27	c  520s |       9 |   156597 |     8006 |    42382      0 |    17806 |        1
1725.83/1726.24	c  523s |       9 |   156951 |     8306 |    42382      0 |    17806 |        1
1733.34/1733.72	c  531s |       9 |   159837 |     8406 |    42382      0 |    17807 |        1
1741.04/1741.41	c  538s |       9 |   160075 |     8506 |    42382      0 |    17807 |        1
1749.23/1749.62	c  547s |       9 |   160306 |     8606 |    42382      0 |    17807 |        1
1757.73/1758.18	c  555s |       9 |   160532 |     8706 |    42382      0 |    17807 |        1
1766.93/1767.37	c  564s |       9 |   160757 |     8806 |    42382      0 |    17807 |        1
1775.82/1776.27	c  573s |       9 |   164013 |     8906 |    42382      0 |    17808 |        1
1778.02/1778.49	c  575s |       9 |   164253 |     9106 |    42382      0 |    17808 |        1
1792.02/1792.42	c  589s |       9 |   173612 |     9306 |    42382      0 |    17811 |        1
1795.02/1795.40	c  592s |       9 |   173612 |     9606 |    42382      0 |    17811 |        1
1797.22/1797.65	c  595s |       9 |   173612 |     9706 |    42382      0 |    17811 |        1
1799.82/1800.26	c  597s |       9 |   173612 |     9806 |    42382      0 |    17811 |        1

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-4100217-1466211597/watcher-4100217-1466211597 -o /tmp/evaluation-result-4100217-1466211597/solver-4100217-1466211597 -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-4100217-1466211597.opb 

pid=12261
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: 1.94 2.02 1.99 2/179 12264
/proc/meminfo: memFree=30690968/32872528 swapFree=249320/249320
[pid=12264] ppid=12261 vsize=700860 CPUtime=0 cores=0,2,4,6
/proc/12264/stat : 12264 (toysat) R 12261 12264 11324 0 -1 4202496 2608 0 0 0 0 0 0 0 20 0 4 0 23210173 717680640 3480 33554432000 4194304 16246674 140734629698976 140734629698400 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12264/statm: 175727 3490 441 2943 0 172621 0
[pid=12264/tid=12265] ppid=12261 vsize=718268 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12265/stat : 12265 (toysat) S 12261 12264 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23210173 735506432 3548 33554432000 4194304 16246674 140734629698976 139965597986032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12264/tid=12266] ppid=12261 vsize=722364 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12266/stat : 12266 (toysat) S 12261 12264 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23210173 739700736 3566 33554432000 4194304 16246674 140734629698976 139965587496176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12264/tid=12267] ppid=12261 vsize=726460 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12267/stat : 12267 (toysat) S 12261 12264 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23210173 743895040 3582 33554432000 4194304 16246674 140734629698976 139965467978928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100165 s]
/proc/loadavg: 1.94 2.02 1.99 2/179 12264
/proc/meminfo: memFree=30690968/32872528 swapFree=249320/249320
[pid=12264] ppid=12261 vsize=1302084 CPUtime=0.08 cores=0,2,4,6
/proc/12264/stat : 12264 (toysat) R 12261 12264 11324 0 -1 4202496 27814 0 0 0 5 3 0 0 20 0 4 0 23210173 1333334016 28624 33554432000 4194304 16246674 140734629698976 140734629698288 8056990 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12264/statm: 325521 28636 800 2943 0 322415 0
[pid=12264/tid=12265] ppid=12261 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12265/stat : 12265 (toysat) S 12261 12264 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23210173 1333334016 28648 33554432000 4194304 16246674 140734629698976 139965597986032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12264/tid=12266] ppid=12261 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12266/stat : 12266 (toysat) S 12261 12264 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23210173 1333334016 28660 33554432000 4194304 16246674 140734629698976 139965587496176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12264/tid=12267] ppid=12261 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12267/stat : 12267 (toysat) S 12261 12264 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23210173 1333334016 28670 33554432000 4194304 16246674 140734629698976 139965467978928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200452 s]
/proc/loadavg: 1.94 2.02 1.99 2/179 12264
/proc/meminfo: memFree=30690968/32872528 swapFree=249320/249320
[pid=12264] ppid=12261 vsize=1313348 CPUtime=0.18 cores=0,2,4,6
/proc/12264/stat : 12264 (toysat) R 12261 12264 11324 0 -1 4202496 45377 0 0 0 12 6 0 0 20 0 4 0 23210173 1344868352 46697 33554432000 4194304 16246674 140734629698976 140734629698288 7364400 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12264/statm: 328337 46697 800 2943 0 325231 0
[pid=12264/tid=12265] ppid=12261 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12265/stat : 12265 (toysat) S 12261 12264 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23210173 1344868352 46697 33554432000 4194304 16246674 140734629698976 139965597986032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12264/tid=12266] ppid=12261 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12266/stat : 12266 (toysat) S 12261 12264 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23210173 1344868352 46697 33554432000 4194304 16246674 140734629698976 139965587496176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12264/tid=12267] ppid=12261 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12267/stat : 12267 (toysat) S 12261 12264 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23210173 1344868352 46697 33554432000 4194304 16246674 140734629698976 139965467978928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1313348

[startup+0.300477 s]
/proc/loadavg: 1.94 2.02 1.99 2/179 12264
/proc/meminfo: memFree=30690968/32872528 swapFree=249320/249320
[pid=12264] ppid=12261 vsize=1313348 CPUtime=0.28 cores=0,2,4,6
/proc/12264/stat : 12264 (toysat) R 12261 12264 11324 0 -1 4202496 50518 0 0 0 21 7 0 0 20 0 4 0 23210173 1344868352 51838 33554432000 4194304 16246674 140734629698976 140734629698288 4220921 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12264/statm: 328337 51838 832 2943 0 325231 0
[pid=12264/tid=12265] ppid=12261 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12265/stat : 12265 (toysat) S 12261 12264 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23210173 1344868352 51838 33554432000 4194304 16246674 140734629698976 139965597986032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12264/tid=12266] ppid=12261 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12266/stat : 12266 (toysat) S 12261 12264 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23210173 1344868352 51838 33554432000 4194304 16246674 140734629698976 139965587496176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12264/tid=12267] ppid=12261 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12267/stat : 12267 (toysat) S 12261 12264 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23210173 1344868352 51838 33554432000 4194304 16246674 140734629698976 139965467978928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.7004 s]
/proc/loadavg: 1.94 2.02 1.99 2/179 12264
/proc/meminfo: memFree=30690968/32872528 swapFree=249320/249320
[pid=12264] ppid=12261 vsize=1313348 CPUtime=0.68 cores=0,2,4,6
/proc/12264/stat : 12264 (toysat) R 12261 12264 11324 0 -1 4202496 50530 0 0 0 61 7 0 0 20 0 4 0 23210173 1344868352 51850 33554432000 4194304 16246674 140734629698976 140734629698288 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12264/statm: 328337 51850 844 2943 0 325231 0
[pid=12264/tid=12265] ppid=12261 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12265/stat : 12265 (toysat) S 12261 12264 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23210173 1344868352 51850 33554432000 4194304 16246674 140734629698976 139965597986032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12264/tid=12266] ppid=12261 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12266/stat : 12266 (toysat) S 12261 12264 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23210173 1344868352 51850 33554432000 4194304 16246674 140734629698976 139965587496176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12264/tid=12267] ppid=12261 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12267/stat : 12267 (toysat) S 12261 12264 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23210173 1344868352 51850 33554432000 4194304 16246674 140734629698976 139965467978928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

[startup+1.5004 s]
/proc/loadavg: 1.94 2.02 1.99 3/183 12268
/proc/meminfo: memFree=30484556/32872528 swapFree=249320/249320
[pid=12264] ppid=12261 vsize=1313348 CPUtime=1.48 cores=0,2,4,6
/proc/12264/stat : 12264 (toysat) R 12261 12264 11324 0 -1 4202496 50580 0 0 0 141 7 0 0 20 0 4 0 23210173 1344868352 51900 33554432000 4194304 16246674 140734629698976 140734629680896 6020982 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12264/statm: 328337 51900 893 2943 0 325231 0
[pid=12264/tid=12265] ppid=12261 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12265/stat : 12265 (toysat) S 12261 12264 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23210173 1344868352 51900 33554432000 4194304 16246674 140734629698976 139965597986032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12264/tid=12266] ppid=12261 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12266/stat : 12266 (toysat) S 12261 12264 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23210173 1344868352 51900 33554432000 4194304 16246674 140734629698976 139965587496176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12264/tid=12267] ppid=12261 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12267/stat : 12267 (toysat) S 12261 12264 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23210173 1344868352 51900 33554432000 4194304 16246674 140734629698976 139965467978928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1313348

[startup+3.10032 s]
/proc/loadavg: 1.94 2.02 1.99 3/183 12268
/proc/meminfo: memFree=30484184/32872528 swapFree=249320/249320
[pid=12264] ppid=12261 vsize=1313348 CPUtime=3.08 cores=0,2,4,6
/proc/12264/stat : 12264 (toysat) R 12261 12264 11324 0 -1 4202496 50580 0 0 0 301 7 0 0 20 0 4 0 23210173 1344868352 51900 33554432000 4194304 16246674 140734629698976 140734629680896 6842417 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12264/statm: 328337 51900 893 2943 0 325231 0
[pid=12264/tid=12265] ppid=12261 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12265/stat : 12265 (toysat) S 12261 12264 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23210173 1344868352 51900 33554432000 4194304 16246674 140734629698976 139965597986032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12264/tid=12266] ppid=12261 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12266/stat : 12266 (toysat) S 12261 12264 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23210173 1344868352 51900 33554432000 4194304 16246674 140734629698976 139965587496176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12264/tid=12267] ppid=12261 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12267/stat : 12267 (toysat) S 12261 12264 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23210173 1344868352 51900 33554432000 4194304 16246674 140734629698976 139965467978928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1313348

[startup+6.3004 s]
/proc/loadavg: 1.95 2.02 1.99 4/184 12271
/proc/meminfo: memFree=30483676/32872528 swapFree=249320/249320
[pid=12264] ppid=12261 vsize=1313348 CPUtime=6.29 cores=0,2,4,6
/proc/12264/stat : 12264 (toysat) R 12261 12264 11324 0 -1 4202496 50580 0 0 0 621 8 0 0 20 0 4 0 23210173 1344868352 51900 33554432000 4194304 16246674 140734629698976 140734629680896 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12264/statm: 328337 51900 893 2943 0 325231 0
[pid=12264/tid=12265] ppid=12261 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12265/stat : 12265 (toysat) S 12261 12264 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23210173 1344868352 51900 33554432000 4194304 16246674 140734629698976 139965597986032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12264/tid=12266] ppid=12261 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12266/stat : 12266 (toysat) S 12261 12264 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23210173 1344868352 51900 33554432000 4194304 16246674 140734629698976 139965587496176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12264/tid=12267] ppid=12261 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12267/stat : 12267 (toysat) S 12261 12264 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23210173 1344868352 51900 33554432000 4194304 16246674 140734629698976 139965467978928 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) 1313348

[startup+12.7004 s]
/proc/loadavg: 1.95 2.02 1.99 3/184 12271
/proc/meminfo: memFree=30464452/32872528 swapFree=249320/249320
[pid=12264] ppid=12261 vsize=1313348 CPUtime=12.69 cores=0,2,4,6
/proc/12264/stat : 12264 (toysat) R 12261 12264 11324 0 -1 4202496 57285 0 0 0 1260 9 0 0 20 0 4 0 23210173 1344868352 58605 33554432000 4194304 16246674 140734629698976 140734629680896 5712536 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12264/statm: 328337 58605 893 2943 0 325231 0
[pid=12264/tid=12265] ppid=12261 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12265/stat : 12265 (toysat) S 12261 12264 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23210173 1344868352 58605 33554432000 4194304 16246674 140734629698976 139965597986032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12264/tid=12266] ppid=12261 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12266/stat : 12266 (toysat) S 12261 12264 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23210173 1344868352 58605 33554432000 4194304 16246674 140734629698976 139965587496176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12264/tid=12267] ppid=12261 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12267/stat : 12267 (toysat) S 12261 12264 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23210173 1344868352 58605 33554432000 4194304 16246674 140734629698976 139965467978928 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) 1313348

[startup+25.5005 s]
/proc/loadavg: 1.96 2.02 1.99 3/184 12271
/proc/meminfo: memFree=30275472/32872528 swapFree=249320/249320
[pid=12264] ppid=12261 vsize=1313348 CPUtime=25.48 cores=0,2,4,6
/proc/12264/stat : 12264 (toysat) R 12261 12264 11324 0 -1 4202496 102926 0 0 0 2532 16 0 0 20 0 4 0 23210173 1344868352 104246 33554432000 4194304 16246674 140734629698976 140734629680896 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12264/statm: 328337 104246 893 2943 0 325231 0
[pid=12264/tid=12265] ppid=12261 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12265/stat : 12265 (toysat) S 12261 12264 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23210173 1344868352 104246 33554432000 4194304 16246674 140734629698976 139965597986032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12264/tid=12266] ppid=12261 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12266/stat : 12266 (toysat) S 12261 12264 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23210173 1344868352 104246 33554432000 4194304 16246674 140734629698976 139965587496176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12264/tid=12267] ppid=12261 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12267/stat : 12267 (toysat) S 12261 12264 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23210173 1344868352 104246 33554432000 4194304 16246674 140734629698976 139965467978928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.10 2.05 2.00 4/184 12271
/proc/meminfo: memFree=30229004/32872528 swapFree=249320/249320
[pid=12264] ppid=12261 vsize=1314372 CPUtime=51.08 cores=0,2,4,6
/proc/12264/stat : 12264 (toysat) R 12261 12264 11324 0 -1 4202496 114314 0 0 0 5090 18 0 0 20 0 4 0 23210173 1345916928 115634 33554432000 4194304 16246674 140734629698976 140734629698072 13759540 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12264/statm: 328593 115634 918 2943 0 325487 0
[pid=12264/tid=12265] ppid=12261 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12265/stat : 12265 (toysat) S 12261 12264 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23210173 1345916928 115634 33554432000 4194304 16246674 140734629698976 139965597986032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12264/tid=12266] ppid=12261 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12266/stat : 12266 (toysat) S 12261 12264 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23210173 1345916928 115634 33554432000 4194304 16246674 140734629698976 139965587496176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12264/tid=12267] ppid=12261 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12267/stat : 12267 (toysat) S 12261 12264 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23210173 1345916928 115634 33554432000 4194304 16246674 140734629698976 139965467978928 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) 1314372

[startup+102.3 s]
/proc/loadavg: 2.10 2.06 2.00 3/185 12295
/proc/meminfo: memFree=30228456/32872528 swapFree=249320/249320
[pid=12264] ppid=12261 vsize=1314372 CPUtime=102.28 cores=0,2,4,6
/proc/12264/stat : 12264 (toysat) R 12261 12264 11324 0 -1 4202496 114314 0 0 0 10208 20 0 0 20 0 4 0 23210173 1345916928 115634 33554432000 4194304 16246674 140734629698976 140734629680896 5600800 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12264/statm: 328593 115634 918 2943 0 325487 0
[pid=12264/tid=12265] ppid=12261 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12265/stat : 12265 (toysat) S 12261 12264 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23210173 1345916928 115634 33554432000 4194304 16246674 140734629698976 139965597986032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12264/tid=12266] ppid=12261 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12266/stat : 12266 (toysat) S 12261 12264 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23210173 1345916928 115634 33554432000 4194304 16246674 140734629698976 139965587496176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12264/tid=12267] ppid=12261 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12267/stat : 12267 (toysat) S 12261 12264 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23210173 1345916928 115634 33554432000 4194304 16246674 140734629698976 139965467978928 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) 1314372


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

/proc/12264/task/12267/stat : 12267 (toysat) S 12261 12264 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23210173 1846087680 392733 33554432000 4194304 16246674 140734629698976 139965467978928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 1802820

[startup+1302.3 s]
/proc/loadavg: 2.08 2.06 2.02 3/183 12529
/proc/meminfo: memFree=29012760/32872528 swapFree=249320/249320
[pid=12264] ppid=12261 vsize=1805892 CPUtime=1302.02 cores=0,2,4,6
/proc/12264/stat : 12264 (toysat) R 12261 12264 11324 0 -1 4202496 392184 0 0 0 130065 137 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 140734629698152 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12264/statm: 451473 393368 922 2943 0 448367 0
[pid=12264/tid=12265] ppid=12261 vsize=1805892 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12265/stat : 12265 (toysat) S 12261 12264 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 139965597986032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12264/tid=12266] ppid=12261 vsize=1805892 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12266/stat : 12266 (toysat) S 12261 12264 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 139965587496176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12264/tid=12267] ppid=12261 vsize=1805892 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12267/stat : 12267 (toysat) S 12261 12264 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 139965467978928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 1805892

[startup+1362.3 s]
/proc/loadavg: 2.11 2.07 2.03 3/183 12531
/proc/meminfo: memFree=29012740/32872528 swapFree=249320/249320
[pid=12264] ppid=12261 vsize=1805892 CPUtime=1362.01 cores=0,2,4,6
/proc/12264/stat : 12264 (toysat) R 12261 12264 11324 0 -1 4202496 392186 0 0 0 136060 141 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 140734629698152 12483222 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12264/statm: 451473 393368 922 2943 0 448367 0
[pid=12264/tid=12265] ppid=12261 vsize=1805892 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12265/stat : 12265 (toysat) S 12261 12264 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 139965597986032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12264/tid=12266] ppid=12261 vsize=1805892 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12266/stat : 12266 (toysat) S 12261 12264 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 139965587496176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12264/tid=12267] ppid=12261 vsize=1805892 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12267/stat : 12267 (toysat) S 12261 12264 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 139965467978928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 1805892

[startup+1422.3 s]
/proc/loadavg: 2.10 2.07 2.03 3/183 12532
/proc/meminfo: memFree=29012720/32872528 swapFree=249320/249320
[pid=12264] ppid=12261 vsize=1805892 CPUtime=1422.01 cores=0,2,4,6
/proc/12264/stat : 12264 (toysat) R 12261 12264 11324 0 -1 4202496 392196 0 0 0 142053 148 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 140734629680896 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12264/statm: 451473 393368 922 2943 0 448367 0
[pid=12264/tid=12265] ppid=12261 vsize=1805892 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12265/stat : 12265 (toysat) S 12261 12264 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 139965597986032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12264/tid=12266] ppid=12261 vsize=1805892 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12266/stat : 12266 (toysat) S 12261 12264 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 139965587496176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12264/tid=12267] ppid=12261 vsize=1805892 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12267/stat : 12267 (toysat) S 12261 12264 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 139965467978928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 1805892

[startup+1482.3 s]
/proc/loadavg: 2.15 2.09 2.03 3/183 12533
/proc/meminfo: memFree=29012872/32872528 swapFree=249320/249320
[pid=12264] ppid=12261 vsize=1805892 CPUtime=1481.98 cores=0,2,4,6
/proc/12264/stat : 12264 (toysat) R 12261 12264 11324 0 -1 4202496 392205 0 0 0 148046 152 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 140734629680896 5600869 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12264/statm: 451473 393368 922 2943 0 448367 0
[pid=12264/tid=12265] ppid=12261 vsize=1805892 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12265/stat : 12265 (toysat) S 12261 12264 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 139965597986032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12264/tid=12266] ppid=12261 vsize=1805892 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12266/stat : 12266 (toysat) S 12261 12264 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 139965587496176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12264/tid=12267] ppid=12261 vsize=1805892 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12267/stat : 12267 (toysat) S 12261 12264 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 139965467978928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 1805892

[startup+1542.31 s]
/proc/loadavg: 2.13 2.09 2.03 3/183 12534
/proc/meminfo: memFree=29013148/32872528 swapFree=249320/249320
[pid=12264] ppid=12261 vsize=1805892 CPUtime=1541.97 cores=0,2,4,6
/proc/12264/stat : 12264 (toysat) R 12261 12264 11324 0 -1 4202496 392211 0 0 0 154041 156 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 140734629680896 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12264/statm: 451473 393368 922 2943 0 448367 0
[pid=12264/tid=12265] ppid=12261 vsize=1805892 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12265/stat : 12265 (toysat) S 12261 12264 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 139965597986032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12264/tid=12266] ppid=12261 vsize=1805892 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12266/stat : 12266 (toysat) S 12261 12264 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 139965587496176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12264/tid=12267] ppid=12261 vsize=1805892 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12267/stat : 12267 (toysat) S 12261 12264 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 139965467978928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 1805892

[startup+1602.3 s]
/proc/loadavg: 2.25 2.13 2.05 3/183 12535
/proc/meminfo: memFree=29013048/32872528 swapFree=249320/249320
[pid=12264] ppid=12261 vsize=1805892 CPUtime=1601.95 cores=0,2,4,6
/proc/12264/stat : 12264 (toysat) R 12261 12264 11324 0 -1 4202496 392219 0 0 0 160036 159 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 140734629698152 5530868 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12264/statm: 451473 393368 922 2943 0 448367 0
[pid=12264/tid=12265] ppid=12261 vsize=1805892 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12265/stat : 12265 (toysat) S 12261 12264 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 139965597986032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12264/tid=12266] ppid=12261 vsize=1805892 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12266/stat : 12266 (toysat) S 12261 12264 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 139965587496176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12264/tid=12267] ppid=12261 vsize=1805892 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12267/stat : 12267 (toysat) S 12261 12264 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 139965467978928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 1805892

[startup+1662.3 s]
/proc/loadavg: 2.12 2.12 2.05 3/183 12536
/proc/meminfo: memFree=29012944/32872528 swapFree=249320/249320
[pid=12264] ppid=12261 vsize=1805892 CPUtime=1661.95 cores=0,2,4,6
/proc/12264/stat : 12264 (toysat) R 12261 12264 11324 0 -1 4202496 392219 0 0 0 166031 164 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 140734629698152 5711688 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12264/statm: 451473 393368 922 2943 0 448367 0
[pid=12264/tid=12265] ppid=12261 vsize=1805892 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12265/stat : 12265 (toysat) S 12261 12264 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 139965597986032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12264/tid=12266] ppid=12261 vsize=1805892 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12266/stat : 12266 (toysat) S 12261 12264 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 139965587496176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12264/tid=12267] ppid=12261 vsize=1805892 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12267/stat : 12267 (toysat) S 12261 12264 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 139965467978928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 1805892

[startup+1722.3 s]
/proc/loadavg: 2.07 2.11 2.04 3/183 12538
/proc/meminfo: memFree=29013428/32872528 swapFree=249320/249320
[pid=12264] ppid=12261 vsize=1805892 CPUtime=1721.93 cores=0,2,4,6
/proc/12264/stat : 12264 (toysat) R 12261 12264 11324 0 -1 4202496 392219 0 0 0 172028 165 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 140734629680896 5754664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12264/statm: 451473 393368 922 2943 0 448367 0
[pid=12264/tid=12265] ppid=12261 vsize=1805892 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12265/stat : 12265 (toysat) S 12261 12264 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 139965597986032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12264/tid=12266] ppid=12261 vsize=1805892 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12266/stat : 12266 (toysat) S 12261 12264 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 139965587496176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12264/tid=12267] ppid=12261 vsize=1805892 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12267/stat : 12267 (toysat) S 12261 12264 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 139965467978928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 1805892

[startup+1782.3 s]
/proc/loadavg: 2.09 2.10 2.04 3/183 12588
/proc/meminfo: memFree=29753684/32872528 swapFree=249320/249320
[pid=12264] ppid=12261 vsize=1805892 CPUtime=1781.92 cores=0,2,4,6
/proc/12264/stat : 12264 (toysat) R 12261 12264 11324 0 -1 4202496 392219 0 0 0 178023 169 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 140734629698152 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12264/statm: 451473 393368 922 2943 0 448367 0
[pid=12264/tid=12265] ppid=12261 vsize=1805892 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12265/stat : 12265 (toysat) S 12261 12264 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 139965597986032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12264/tid=12266] ppid=12261 vsize=1805892 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12266/stat : 12266 (toysat) S 12261 12264 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 139965587496176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12264/tid=12267] ppid=12261 vsize=1805892 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12267/stat : 12267 (toysat) S 12261 12264 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 139965467978928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 1805892



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.07 2.09 2.04 3/183 12588
/proc/meminfo: memFree=29754112/32872528 swapFree=249320/249320
[pid=12264] ppid=12261 vsize=1805892 CPUtime=1800.02 cores=0,2,4,6
/proc/12264/stat : 12264 (toysat) R 12261 12264 11324 0 -1 4202496 392219 0 0 0 179832 170 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 140734629680896 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12264/statm: 451473 393368 922 2943 0 448367 0
[pid=12264/tid=12265] ppid=12261 vsize=1805892 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12265/stat : 12265 (toysat) S 12261 12264 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 139965597986032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12264/tid=12266] ppid=12261 vsize=1805892 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12266/stat : 12266 (toysat) S 12261 12264 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 139965587496176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12264/tid=12267] ppid=12261 vsize=1805892 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12267/stat : 12267 (toysat) S 12261 12264 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23210173 1849233408 393368 33554432000 4194304 16246674 140734629698976 139965467978928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1805892

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.04
CPU user time (s): 1798.33
CPU system time (s): 1.70874
CPU usage (%): 99.9793
Max. virtual memory (cumulated for all children) (KiB): 1805892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.33
system time used= 1.70874
maximum resident set size= 1573472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 392219
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= 187
involuntary context switches= 1838

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.13607 second user time and 8.41372 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-18 02:59:58
IDJOB=4100217
IDBENCH=1588
IDSOLVER=2542
FILE ID=node103/4100217-1466211597
RUNJOBID= node103-1466206104-11340
PBS_JOBID= 19918169
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100217-1466211597/watcher-4100217-1466211597 -o /tmp/evaluation-result-4100217-1466211597/solver-4100217-1466211597 -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-4100217-1466211597.opb

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

MD5SUM BENCH= c8a32fda50ac377272d463f6016dd614
RANDOM SEED=1929508490

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:        30691908 kB
Buffers:           38936 kB
Cached:           105048 kB
SwapCached:         2228 kB
Active:          1155716 kB
Inactive:          71804 kB
Active(anon):    1082224 kB
Inactive(anon):     3560 kB
Active(file):      73492 kB
Inactive(file):    68244 kB
Unevictable:      249320 kB
Mlocked:          249320 kB
SwapTotal:      67108856 kB
SwapFree:       67099368 kB
Dirty:             38124 kB
Writeback:             4 kB
AnonPages:       1422080 kB
Mapped:            10780 kB
Shmem:                 0 kB
Slab:             570756 kB
SReclaimable:      14732 kB
SUnreclaim:       556024 kB
KernelStack:        1480 kB
PageTables:         7020 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1491300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     94208 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node103 at 2016-06-18 03:29:58