Trace number 4103437

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.14 1800.43

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-core4284-1064.opb
MD5SUM636089b37faab6876c4b2da32ab157ac
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1435648000000000
Best CPU time to get the best result obtained on this benchmark1800.49
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1432576000000000
Optimality of the best value was proved NO
Number of variables21705
Total number of constraints4285
Number of constraints which are clauses4284
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint15760
Number of terms in the objective function 21705
Biggest coefficient in the objective function 2048000000000
Number of bits for the biggest coefficient in the objective function 41
Sum of the numbers in the objective function 38364160000000000
Number of bits of the sum of numbers in the objective function 56
Biggest number in a constraint 2048000000000
Number of bits of the biggest number in a constraint 41
Biggest sum of numbers in a constraint 38364160000000000
Number of bits of the biggest sum of numbers56
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-18T10:04: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-4103437-1466237097.opb"]
0.00/0.01	c use --random-gen="3697015115 2804143757 3787160418 460961093 1116579589 2183731137 3997001228 2717092007 85834879 27316764 2507706942 281356191 4291129815 1052145133 3120318729 339931683 1692968007 2642909509 2486493910 3335261901 1908153406 1306534030 3092255257 2372118988 589654964 3862422825 586148074 1340751361 633548495 172475634 4041409272 3378244585 2646905172 1744354556 3177424468 221968762 3558640890 1984024891 1139696754 80161203 4042819895 1258005493 1897395071 2228333239 131895312 4118645367 4016673816 873882071 1368174010 2374480826 95663713 315705192 4088234352 3756778990 2980075956 1488177941 3038670282 3959649144 2039322651 1290045967 3225434330 3143857430 3422544763 1038916606 1895465492 3222605175 3778773618 3228297942 1244116778 3687828264 2054320636 4183087744 3205931553 1296488823 3324152061 3990685472 1773504993 188417171 2042020705 337070959 2632209419 3019184017 792080807 2827316769 6417696 2261565775 4261516758 3977569405 4037907771 4215795016 1287244042 2798790637 2640321766 1114447414 2468495604 2555373840 3865079981 56886014 491281668 3800612425 3617733561 1907076159 3287740030 3699390352 1486622590 3273865434 2724820943 2890899312 3815610767 155975279 2726707725 4035495136 2766720004 1965298511 885902958 1827312958 1896150309 1133054498 1525388108 3366627805 111038207 80244665 458365005 893693490 4204142041 1435226672 546474079 2787357409 3024754105 3777472578 1743054578 4173737538 2279263616 3572670395 1699216087 1904455195 292437730 3542447790 414465452 3635296162 2374166524 2249059395 3747705892 973884520 1118726271 4239833266 4163503269 2485572790 1521358054 563338164 192903965 3851396448 885447404 2963872292 808961840 2645659853 1680602842 3498210781 492910294 1469950797 1659718391 3342017616 493541670 2269722271 3940073349 1319268900 1894088933 2247541404 4028980509 4008616538 1840491848 2521398431 1787069712 2062759040 2802729654 3219476291 2084015026 978349902 3543019084 3275230132 3214177604 1766868860 2539336977 1734832686 2564300506 1602641672 1760028988 2902544385 1464517147 3062753418 2762201319 2761101209 1815998187 2198340158 1522152954 1722858947 2784428867 2591738672 783746177 2665834652 1530987067 3749708989 1866366943 987861038 3412019204 911452546 1883021469 338839946 304900328 3566940031 286597491 580483355 2543003183 1775749371 189895959 1887178522 3717889672 3553192720 1334017025 3401992653 1783490422 1749001350 3395437359 1882995309 2380294715 3684562656 968862066 1323749178 2700411986 3099638980 3992244717 2306321437 3098568175 3569661731 4182367726 2930752037 2676839791 985611816 2913020038 1381081702 518323495 750514424 367446135 1449755130 2013013755 1391716436 265900897 1741924412 2232774950 1168774988 730063597 607792118 929269996 2689779317 824244884 91828849 255 362436" option to reproduce the execution
0.39/0.44	c #vars 21705
0.39/0.44	c #constraints 4285
0.99/1.09	c BCD2: Hardening is enabled.
0.99/1.09	c BCD2: BiasedSearch is enabled.
0.99/1.09	c Solving starts ...
0.99/1.09	c ============================[ Search Statistics ]============================
0.99/1.09	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.99/1.09	c       |         |          |          |    Limit     GC | Var      | Constra 
0.99/1.09	c =============================================================================
0.99/1.10	c  0.0s |       0 |        0 |        0 |     8649      0 |       14 |        0
10.89/10.91	c  9.8s |       0 |    13518 |      100 |     8649      0 |       14 |       18
10.89/10.92	c  9.8s |       1 |    13518 |      100 |     8649      0 |       14 |       18
18.69/18.71	c 17.6s |       1 |    23104 |      200 |     9514      0 |       14 |       18
25.18/25.30	c 24.2s |       2 |    23561 |      250 |     9514      0 |       14 |       18
35.08/35.18	c 34.1s |       2 |    33552 |      350 |    10466      0 |       14 |       18
42.18/42.28	c 41.2s |       2 |    33838 |      450 |    10466      0 |       14 |       18
43.78/43.87	c 42.8s |       3 |    33952 |      475 |    10466      0 |       14 |       18
50.78/50.81	c 49.7s |       3 |    43483 |      575 |    11513      0 |       14 |       18
59.08/59.10	c 58.0s |       3 |    43684 |      675 |    11513      0 |       14 |       18
65.99/66.04	c 64.9s |       3 |    44388 |      775 |    11513      0 |       14 |       18
67.88/67.93	c 66.8s |       4 |    44464 |      813 |    11513      0 |       14 |       18
74.48/74.58	c 73.5s |       4 |    54128 |      913 |    12665      0 |       14 |       18
81.07/81.16	c 80.1s |       4 |    54493 |     1013 |    12665      0 |       14 |       18
87.68/87.71	c 86.6s |       4 |    54721 |     1113 |    12665      0 |       14 |       18
92.68/92.76	c 91.7s |       4 |    55044 |     1213 |    12665      0 |       14 |       18
100.38/100.40	c 99.3s |       4 |    55496 |     1313 |    12665      0 |       14 |       18
100.68/100.74	c 99.6s |       5 |    55501 |     1320 |    12665      0 |       14 |       18
106.47/106.59	c  105s |       5 |    65027 |     1420 |    13932      0 |       14 |       18
112.77/112.82	c  111s |       5 |    65236 |     1520 |    13932      0 |       14 |       18
118.37/118.49	c  117s |       5 |    65546 |     1620 |    13932      0 |       14 |       18
124.07/124.15	c  123s |       5 |    65748 |     1720 |    13932      0 |       14 |       18
130.27/130.32	c  129s |       5 |    66100 |     1820 |    13932      0 |       14 |       18
136.27/136.37	c  135s |       5 |    66356 |     1920 |    13932      0 |       14 |       18
141.98/142.08	c  140s |       5 |    66624 |     2020 |    13932      0 |       14 |       18
145.07/145.16	c  144s |       6 |    66808 |     2081 |    15326      0 |       14 |       18
152.47/152.59	c  151s |       6 |    76315 |     2181 |    15326      0 |       14 |       18
158.06/158.17	c  157s |       6 |    76555 |     2281 |    15326      0 |       14 |       18
163.57/163.60	c  162s |       6 |    76823 |     2381 |    15326      0 |       14 |       18
169.16/169.28	c  168s |       6 |    77007 |     2481 |    15326      0 |       14 |       18
176.36/176.48	c  175s |       6 |    77353 |     2581 |    15326      0 |       14 |       18
182.06/182.11	c  181s |       6 |    77645 |     2681 |    15326      0 |       14 |       18
187.86/187.93	c  186s |       6 |    78168 |     2781 |    15326      0 |       14 |       18
192.96/193.05	c  191s |       6 |    78624 |     2881 |    15326      0 |       14 |       18
199.16/199.22	c  198s |       6 |    79023 |     2981 |    15326      0 |       14 |       18
206.06/206.17	c  205s |       6 |    79263 |     3081 |    15326      0 |       14 |       18
213.46/213.52	c  212s |       6 |    79695 |     3181 |    15326      0 |       14 |       18
215.85/215.91	c  214s |       7 |    79807 |     3223 |    16859      0 |       14 |       18
223.65/223.79	c  222s |       7 |    89352 |     3323 |    16859      0 |       14 |       18
228.96/229.01	c  227s |       7 |    89701 |     3423 |    16859      0 |       14 |       18
234.55/234.65	c  233s |       7 |    90025 |     3523 |    16859      0 |       14 |       18
242.25/242.32	c  241s |       7 |    90427 |     3623 |    16859      0 |       14 |       18
247.95/248.09	c  246s |       7 |    90800 |     3723 |    16859      0 |       14 |       18
253.75/253.81	c  252s |       7 |    91048 |     3823 |    16859      0 |       14 |       18
259.55/259.62	c  258s |       7 |    91277 |     3923 |    16859      0 |       14 |       18
265.74/265.83	c  264s |       7 |    91674 |     4023 |    16859      0 |       14 |       18
272.35/272.49	c  271s |       7 |    92013 |     4123 |    16859      0 |       14 |       18
278.95/279.04	c  277s |       7 |    92365 |     4223 |    16859      0 |       14 |       18
285.55/285.60	c  284s |       7 |    92678 |     4323 |    16859      0 |       14 |       18
292.75/292.80	c  291s |       7 |    92995 |     4423 |    16859      0 |       14 |       18
299.85/299.93	c  298s |       7 |    93231 |     4523 |    16859      0 |       14 |       18
306.54/306.61	c  305s |       7 |    93463 |     4623 |    16859      0 |       14 |       18
313.94/314.04	c  312s |       7 |    93739 |     4723 |    16859      0 |       14 |       18
319.34/319.41	c  318s |       7 |    94066 |     4823 |    16859      0 |       14 |       18
325.43/325.52	c  324s |       7 |    94534 |     4923 |    18545      0 |       14 |       18
326.33/326.47	c  325s |       8 |    94584 |     4936 |    18545      0 |       14 |       18
335.73/335.87	c  334s |       8 |   104168 |     5036 |    18545      0 |       14 |       18
341.84/341.94	c  340s |       8 |   104409 |     5136 |    18545      0 |       14 |       18
347.73/347.81	c  346s |       8 |   104676 |     5236 |    18545      0 |       14 |       18
354.14/354.21	c  353s |       8 |   105099 |     5336 |    18545      0 |       14 |       18
359.03/359.16	c  358s |       8 |   105262 |     5436 |    18545      0 |       14 |       18
365.74/365.82	c  364s |       8 |   105684 |     5536 |    18545      0 |       14 |       18
372.53/372.65	c  371s |       8 |   106072 |     5636 |    18545      0 |       14 |       18
377.63/377.75	c  376s |       8 |   106404 |     5736 |    18545      0 |       14 |       18
383.03/383.16	c  382s |       8 |   106705 |     5836 |    18545      0 |       14 |       18
388.93/389.02	c  387s |       8 |   107022 |     5936 |    18545      0 |       14 |       18
396.13/396.23	c  395s |       8 |   107489 |     6036 |    18545      0 |       14 |       18
401.33/401.49	c  400s |       8 |   107737 |     6136 |    18545      0 |       14 |       18
406.94/407.06	c  405s |       8 |   107987 |     6236 |    18545      0 |       14 |       18
412.53/412.62	c  411s |       8 |   108255 |     6336 |    18545      0 |       14 |       18
417.93/418.10	c  417s |       8 |   108546 |     6436 |    18545      0 |       14 |       18
423.53/423.65	c  422s |       8 |   108982 |     6536 |    18545      0 |       14 |       18
428.93/429.06	c  427s |       8 |   109258 |     6636 |    18545      0 |       14 |       18
435.23/435.34	c  434s |       8 |   109578 |     6736 |    18545      0 |       14 |       18
440.92/441.10	c  440s |       8 |   109987 |     6836 |    18545      0 |       14 |       18
448.32/448.42	c  447s |       8 |   110205 |     6936 |    18545      0 |       14 |       18
454.23/454.34	c  453s |       8 |   110499 |     7036 |    18545      0 |       14 |       18
461.32/461.43	c  460s |       8 |   110724 |     7136 |    18545      0 |       14 |       18
469.02/469.18	c  468s |       8 |   111079 |     7236 |    18545      0 |       14 |       18
475.01/475.13	c  474s |       8 |   111309 |     7336 |    18545      0 |       14 |       18
483.12/483.24	c  482s |       8 |   111680 |     7436 |    18545      0 |       14 |       18
488.22/488.36	c  487s |       9 |   111977 |     7506 |    20400      0 |       14 |       18
500.62/500.76	c  499s |       9 |   121668 |     7606 |    20400      0 |       14 |       18
507.61/507.73	c  506s |       9 |   122028 |     7706 |    20400      0 |       14 |       18
514.01/514.17	c  513s |       9 |   122441 |     7806 |    20400      0 |       14 |       18
520.80/520.94	c  519s |       9 |   122850 |     7906 |    20400      0 |       14 |       18
527.71/527.83	c  526s |       9 |   123067 |     8006 |    20400      0 |       14 |       18
533.71/533.83	c  532s |       9 |   123428 |     8106 |    20400      0 |       14 |       18
540.50/540.68	c  539s |       9 |   123651 |     8206 |    20400      0 |       14 |       18
548.00/548.10	c  547s |       9 |   123975 |     8306 |    20400      0 |       14 |       18
557.30/557.43	c  556s |       9 |   124577 |     8406 |    20400      0 |       14 |       18
564.80/564.97	c  563s |       9 |   125089 |     8506 |    20400      0 |       14 |       18
571.11/571.22	c  570s |       9 |   125617 |     8606 |    20400      0 |       14 |       18
577.90/578.03	c  576s |       9 |   126028 |     8706 |    20400      0 |       14 |       18
585.30/585.46	c  584s |       9 |   126564 |     8806 |    20400      0 |       14 |       18
591.89/592.05	c  590s |       9 |   126944 |     8906 |    20400      0 |       14 |       18
598.60/598.72	c  597s |       9 |   127225 |     9006 |    20400      0 |       14 |       18
607.50/607.61	c  606s |       9 |   127700 |     9106 |    20400      0 |       14 |       18
615.50/615.69	c  614s |       9 |   128207 |     9206 |    20400      0 |       14 |       18
622.69/622.86	c  621s |       9 |   128554 |     9306 |    20400      0 |       14 |       18
630.10/630.21	c  629s |       9 |   128801 |     9406 |    20400      0 |       14 |       18
637.80/637.90	c  636s |       9 |   129186 |     9506 |    20400      0 |       14 |       18
644.80/644.93	c  643s |       9 |   129495 |     9606 |    20400      0 |       14 |       18
653.49/653.64	c  652s |       9 |   130017 |     9706 |    20400      0 |       14 |       18
661.79/661.92	c  660s |       9 |   130341 |     9806 |    20400      0 |       14 |       18
668.99/669.10	c  667s |       9 |   130866 |     9906 |    20400      0 |       14 |       18
675.29/675.42	c  674s |       9 |   131297 |    10006 |    20400      0 |       14 |       18
682.59/682.74	c  681s |       9 |   131718 |    10106 |    20400      0 |       14 |       18
687.98/688.13	c  687s |       9 |   132019 |    10206 |    20400      0 |       14 |       18
694.49/694.66	c  693s |       9 |   132327 |    10306 |    20400      0 |       14 |       18
701.28/701.47	c  700s |       9 |   132699 |    10406 |    20400      0 |       14 |       18
707.38/707.58	c  706s |       9 |   133107 |    10506 |    20400      0 |       14 |       18
713.78/713.95	c  712s |       9 |   133582 |    10606 |    20400      0 |       14 |       18
720.49/720.68	c  719s |       9 |   133806 |    10706 |    20400      0 |       14 |       18
727.08/727.22	c  726s |       9 |   134165 |    10806 |    20400      0 |       14 |       18
733.88/734.05	c  732s |       9 |   134509 |    10906 |    20400      0 |       14 |       18
740.38/740.55	c  739s |       9 |   134888 |    11006 |    20400      0 |       14 |       18
746.78/746.94	c  745s |       9 |   135165 |    11106 |    20400      0 |       14 |       18
753.57/753.76	c  752s |       9 |   135488 |    11206 |    20400      0 |       14 |       18
759.88/760.08	c  758s |       9 |   135780 |    11306 |    22440      0 |       14 |       18
762.97/763.19	c  762s |      10 |   135880 |    11361 |    22440      0 |       14 |       18
780.37/780.59	c  779s |      10 |   145557 |    11461 |    22440      0 |       14 |       18
786.47/786.67	c  785s |      10 |   145776 |    11561 |    22440      0 |       14 |       18
795.97/796.13	c  795s |      10 |   146254 |    11661 |    22440      0 |       14 |       18
804.16/804.31	c  803s |      10 |   146840 |    11761 |    22440      0 |       14 |       18
811.37/811.51	c  810s |      10 |   147360 |    11861 |    22440      0 |       14 |       18
818.46/818.68	c  817s |      10 |   147925 |    11961 |    22440      0 |       14 |       18
826.07/826.25	c  825s |      10 |   148315 |    12061 |    22440      0 |       14 |       18
834.77/835.00	c  833s |      10 |   148803 |    12161 |    22440      0 |       14 |       18
841.56/841.72	c  840s |      10 |   149159 |    12261 |    22440      0 |       14 |       18
847.97/848.17	c  847s |      10 |   149639 |    12361 |    22440      0 |       14 |       18
853.96/854.17	c  853s |      10 |   150052 |    12461 |    22440      0 |       14 |       18
861.66/861.87	c  860s |      10 |   150482 |    12561 |    22440      0 |       14 |       18
868.35/868.50	c  867s |      10 |   150831 |    12661 |    22440      0 |       14 |       18
876.56/876.70	c  875s |      10 |   151296 |    12761 |    22440      0 |       14 |       18
884.45/884.61	c  883s |      10 |   151680 |    12861 |    22440      0 |       14 |       18
893.05/893.22	c  892s |      10 |   152028 |    12961 |    22440      0 |       14 |       18
901.85/902.01	c  900s |      10 |   152581 |    13061 |    22440      0 |       14 |       18
909.95/910.14	c  909s |      10 |   153054 |    13161 |    22440      0 |       14 |       18
916.65/916.87	c  915s |      10 |   153311 |    13261 |    22440      0 |       14 |       18
923.15/923.32	c  922s |      10 |   153703 |    13361 |    22440      0 |       14 |       18
929.84/930.00	c  928s |      10 |   154072 |    13461 |    22440      0 |       14 |       18
937.25/937.45	c  936s |      10 |   154593 |    13561 |    22440      0 |       14 |       18
944.94/945.10	c  943s |      10 |   155078 |    13661 |    22440      0 |       14 |       18
951.94/952.17	c  951s |      10 |   155465 |    13761 |    22440      0 |       14 |       18
959.34/959.52	c  958s |      10 |   155706 |    13861 |    22440      0 |       14 |       18
967.33/967.50	c  966s |      10 |   156280 |    13961 |    22440      0 |       14 |       18
974.14/974.32	c  973s |      10 |   156643 |    14061 |    22440      0 |       14 |       18
980.83/981.06	c  979s |      10 |   157173 |    14161 |    22440      0 |       14 |       18
987.53/987.77	c  986s |      10 |   157454 |    14261 |    22440      0 |       14 |       18
996.23/996.45	c  995s |      10 |   158052 |    14361 |    22440      0 |       14 |       18
1003.14/1003.38	c 1002s |      10 |   158525 |    14461 |    22440      0 |       14 |       18
1009.43/1009.68	c 1008s |      10 |   158918 |    14561 |    22440      0 |       14 |       18
1016.93/1017.14	c 1016s |      10 |   159413 |    14661 |    22440      0 |       14 |       18
1023.83/1024.00	c 1022s |      10 |   159767 |    14761 |    22440      0 |       14 |       18
1031.42/1031.62	c 1030s |      10 |   160464 |    14861 |    22440      0 |       14 |       18
1038.83/1039.04	c 1037s |      10 |   160783 |    14961 |    22440      0 |       14 |       18
1045.23/1045.49	c 1044s |      10 |   161183 |    15061 |    22440      0 |       14 |       18
1051.92/1052.14	c 1051s |      10 |   161755 |    15161 |    22440      0 |       14 |       18
1059.43/1059.68	c 1058s |      10 |   162294 |    15261 |    22440      0 |       14 |       18
1067.52/1067.77	c 1066s |      10 |   162851 |    15361 |    22440      0 |       14 |       18
1075.02/1075.24	c 1074s |      10 |   163233 |    15461 |    22440      0 |       14 |       18
1082.52/1082.70	c 1081s |      10 |   163630 |    15561 |    22440      0 |       14 |       18
1090.12/1090.35	c 1089s |      10 |   164318 |    15661 |    22440      0 |       14 |       18
1096.92/1097.14	c 1096s |      10 |   164592 |    15761 |    22440      0 |       14 |       18
1104.23/1104.43	c 1103s |      10 |   165083 |    15861 |    22440      0 |       14 |       18
1111.12/1111.35	c 1110s |      10 |   165445 |    15961 |    22440      0 |       14 |       18
1121.32/1121.59	c 1120s |      10 |   165743 |    16061 |    22440      0 |       14 |       18
1129.62/1129.89	c 1128s |      10 |   166236 |    16161 |    22440      0 |       14 |       18
1137.32/1137.54	c 1136s |      10 |   166494 |    16261 |    22440      0 |       14 |       18
1144.71/1144.95	c 1143s |      10 |   167053 |    16361 |    22440      0 |       14 |       18
1151.52/1151.76	c 1150s |      10 |   167430 |    16461 |    22440      0 |       14 |       18
1158.01/1158.22	c 1157s |      10 |   167759 |    16561 |    22440      0 |       14 |       18
1165.91/1166.16	c 1165s |      10 |   168284 |    16661 |    22440      0 |       14 |       18
1173.11/1173.31	c 1172s |      10 |   168510 |    16761 |    22440      0 |       14 |       18
1180.31/1180.55	c 1179s |      10 |   168890 |    16861 |    22440      0 |       14 |       18
1187.91/1188.15	c 1187s |      10 |   169272 |    16961 |    22440      0 |       14 |       18
1195.10/1195.31	c 1194s |      10 |   169685 |    17061 |    24685      0 |       14 |       18
1200.20/1200.47	c 1199s |      11 |   169896 |    17144 |    24685      0 |       14 |       18
1224.50/1224.73	c 1223s |      11 |   179427 |    17244 |    24685      0 |       14 |       18
1232.79/1233.06	c 1231s |      11 |   179871 |    17344 |    24685      0 |       14 |       18
1239.79/1240.04	c 1238s |      11 |   180109 |    17444 |    24685      0 |       14 |       18
1247.20/1247.47	c 1246s |      11 |   180400 |    17544 |    24685      0 |       14 |       18
1255.89/1256.17	c 1255s |      11 |   180930 |    17644 |    24685      0 |       14 |       18
1264.39/1264.66	c 1263s |      11 |   181283 |    17744 |    24685      0 |       14 |       18
1273.19/1273.42	c 1272s |      11 |   181596 |    17844 |    24685      0 |       14 |       18
1280.99/1281.29	c 1280s |      11 |   181951 |    17944 |    24685      0 |       14 |       18
1288.09/1288.35	c 1287s |      11 |   182335 |    18044 |    24685      0 |       14 |       18
1296.19/1296.40	c 1295s |      11 |   182672 |    18144 |    24685      0 |       14 |       18
1304.68/1304.93	c 1303s |      11 |   183197 |    18244 |    24685      0 |       14 |       18
1311.98/1312.30	c 1311s |      11 |   183515 |    18344 |    24685      0 |       14 |       18
1319.38/1319.61	c 1318s |      11 |   183846 |    18444 |    24685      0 |       14 |       18
1326.58/1326.82	c 1325s |      11 |   184352 |    18544 |    24685      0 |       14 |       18
1333.58/1333.85	c 1332s |      11 |   184689 |    18644 |    24685      0 |       14 |       18
1341.48/1341.75	c 1340s |      11 |   185195 |    18744 |    24685      0 |       14 |       18
1349.08/1349.32	c 1348s |      11 |   185658 |    18844 |    24685      0 |       14 |       18
1356.48/1356.77	c 1355s |      11 |   186052 |    18944 |    24685      0 |       14 |       18
1365.37/1365.69	c 1364s |      11 |   186538 |    19044 |    24685      0 |       14 |       18
1372.68/1372.93	c 1371s |      11 |   186983 |    19144 |    24685      0 |       14 |       18
1379.98/1380.27	c 1379s |      11 |   187218 |    19244 |    24685      0 |       14 |       18
1388.48/1388.77	c 1387s |      11 |   187490 |    19344 |    24685      0 |       14 |       18
1395.77/1396.04	c 1394s |      11 |   188135 |    19444 |    24685      0 |       14 |       18
1404.37/1404.69	c 1403s |      11 |   188463 |    19544 |    24685      0 |       14 |       18
1411.57/1411.89	c 1410s |      11 |   188750 |    19644 |    24685      0 |       14 |       18
1418.66/1418.92	c 1417s |      11 |   189284 |    19744 |    24685      0 |       14 |       18
1425.47/1425.73	c 1424s |      11 |   189561 |    19844 |    24685      0 |       14 |       18
1432.97/1433.24	c 1432s |      11 |   190111 |    19944 |    24685      0 |       14 |       18
1438.97/1439.29	c 1438s |      11 |   190610 |    20044 |    24685      0 |       14 |       18
1448.26/1448.50	c 1447s |      11 |   190914 |    20144 |    24685      0 |       14 |       18
1456.76/1457.07	c 1455s |      11 |   191468 |    20244 |    24685      0 |       14 |       18
1464.26/1464.59	c 1463s |      11 |   191804 |    20344 |    24685      0 |       14 |       18
1472.46/1472.74	c 1471s |      11 |   192049 |    20444 |    24685      0 |       14 |       18
1481.46/1481.71	c 1480s |      11 |   192487 |    20544 |    24685      0 |       14 |       18
1489.45/1489.76	c 1488s |      11 |   192824 |    20644 |    24685      0 |       14 |       18
1498.06/1498.32	c 1497s |      11 |   193140 |    20744 |    24685      0 |       14 |       18
1508.75/1509.07	c 1507s |      11 |   193489 |    20844 |    24685      0 |       14 |       18
1520.85/1521.10	c 1520s |      11 |   194399 |    20944 |    24685      0 |       14 |       18
1528.55/1528.88	c 1527s |      11 |   194793 |    21044 |    24685      0 |       14 |       18
1536.65/1536.93	c 1535s |      11 |   195264 |    21144 |    24685      0 |       14 |       18
1545.34/1545.61	c 1544s |      11 |   195627 |    21244 |    24685      0 |       14 |       18
1554.34/1554.69	c 1553s |      11 |   196231 |    21344 |    24685      0 |       14 |       18
1562.23/1562.56	c 1561s |      11 |   196731 |    21444 |    24685      0 |       14 |       18
1568.94/1569.27	c 1568s |      11 |   197123 |    21544 |    24685      0 |       14 |       18
1575.64/1575.98	c 1574s |      11 |   197553 |    21644 |    24685      0 |       14 |       18
1586.04/1586.37	c 1585s |      11 |   198157 |    21744 |    24685      0 |       14 |       18
1595.94/1596.27	c 1595s |      11 |   198615 |    21844 |    24685      0 |       14 |       18
1604.54/1604.85	c 1603s |      11 |   199091 |    21944 |    24685      0 |       14 |       18
1612.44/1612.76	c 1611s |      11 |   199468 |    22044 |    24685      0 |       14 |       18
1619.83/1620.10	c 1619s |      11 |   199918 |    22144 |    24685      0 |       14 |       18
1628.62/1628.95	c 1627s |      11 |   200500 |    22244 |    24685      0 |       14 |       18
1638.22/1638.59	c 1637s |      11 |   201017 |    22344 |    24685      0 |       14 |       18
1647.12/1647.46	c 1646s |      11 |   201499 |    22444 |    24685      0 |       14 |       18
1656.02/1656.33	c 1655s |      11 |   201901 |    22544 |    24685      0 |       14 |       18
1664.92/1665.22	c 1664s |      11 |   202294 |    22644 |    24685      0 |       14 |       18
1673.32/1673.67	c 1672s |      11 |   202737 |    22744 |    24685      0 |       14 |       18
1681.62/1681.91	c 1680s |      11 |   203220 |    22844 |    24685      0 |       14 |       18
1689.33/1689.60	c 1688s |      11 |   203623 |    22944 |    24685      0 |       14 |       18
1697.42/1697.77	c 1696s |      11 |   203909 |    23044 |    24685      0 |       14 |       18
1704.62/1704.95	c 1703s |      11 |   204091 |    23144 |    24685      0 |       14 |       18
1713.72/1714.01	c 1712s |      11 |   204449 |    23244 |    24685      0 |       14 |       18
1722.11/1722.48	c 1721s |      11 |   204701 |    23344 |    24685      0 |       14 |       18
1731.32/1731.69	c 1730s |      11 |   205240 |    23444 |    24685      0 |       14 |       18
1739.71/1740.03	c 1738s |      11 |   205783 |    23544 |    24685      0 |       14 |       18
1747.72/1748.06	c 1746s |      11 |   206235 |    23644 |    24685      0 |       14 |       18
1756.31/1756.68	c 1755s |      11 |   206481 |    23744 |    24685      0 |       14 |       18
1764.21/1764.59	c 1763s |      11 |   207078 |    23844 |    24685      0 |       14 |       18
1770.91/1771.30	c 1770s |      11 |   207434 |    23944 |    24685      0 |       14 |       18
1777.80/1778.15	c 1777s |      11 |   207736 |    24044 |    24685      0 |       14 |       18
1785.20/1785.51	c 1784s |      11 |   207929 |    24144 |    24685      0 |       14 |       18
1793.40/1793.74	c 1792s |      11 |   208349 |    24244 |    24685      0 |       14 |       18

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

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.07 2.04 2/179 15622
/proc/meminfo: memFree=30463060/32872528 swapFree=249320/249320
[pid=15622] ppid=15619 vsize=708028 CPUtime=0 cores=0,2,4,6
/proc/15622/stat : 15622 (toysat) R 15619 15622 11324 0 -1 4202496 2637 0 0 0 0 0 0 0 20 0 4 0 25760180 725020672 2997 33554432000 4194304 16246674 140737412622064 140737412621488 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15622/statm: 177519 3007 441 2943 0 174413 0
[pid=15622/tid=15623] ppid=15619 vsize=725436 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15623/stat : 15623 (toysat) S 15619 15622 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25760180 742846464 3067 33554432000 4194304 16246674 140737412622064 140331211271408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15622/tid=15624] ppid=15619 vsize=729532 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15624/stat : 15624 (toysat) S 15619 15622 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25760180 747040768 3085 33554432000 4194304 16246674 140737412622064 140331200781552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15622/tid=15625] ppid=15619 vsize=733628 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15625/stat : 15625 (toysat) S 15619 15622 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25760180 751235072 3101 33554432000 4194304 16246674 140737412622064 140331190308016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.01 2.07 2.04 2/179 15622
/proc/meminfo: memFree=30463060/32872528 swapFree=249320/249320
[pid=15622] ppid=15619 vsize=1304132 CPUtime=0.09 cores=0,2,4,6
/proc/15622/stat : 15622 (toysat) R 15619 15622 11324 0 -1 4202496 33176 0 0 0 5 4 0 0 20 0 4 0 25760180 1335431168 33475 33554432000 4194304 16246674 140737412622064 140737412621376 7371468 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15622/statm: 326033 33488 801 2943 0 322927 0
[pid=15622/tid=15623] ppid=15619 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15623/stat : 15623 (toysat) S 15619 15622 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25760180 1335431168 33499 33554432000 4194304 16246674 140737412622064 140331211271408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15622/tid=15624] ppid=15619 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15624/stat : 15624 (toysat) S 15619 15622 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25760180 1335431168 33511 33554432000 4194304 16246674 140737412622064 140331200781552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15622/tid=15625] ppid=15619 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15625/stat : 15625 (toysat) S 15619 15622 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25760180 1335431168 33521 33554432000 4194304 16246674 140737412622064 140331190308016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1304132

[startup+0.200464 s]
/proc/loadavg: 2.01 2.07 2.04 2/179 15622
/proc/meminfo: memFree=30463060/32872528 swapFree=249320/249320
[pid=15622] ppid=15619 vsize=1311300 CPUtime=0.18 cores=0,2,4,6
/proc/15622/stat : 15622 (toysat) R 15619 15622 11324 0 -1 4202496 51323 0 0 0 12 6 0 0 20 0 4 0 25760180 1342771200 52132 33554432000 4194304 16246674 140737412622064 140737412621376 7364033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15622/statm: 327825 52150 802 2943 0 324719 0
[pid=15622/tid=15623] ppid=15619 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15623/stat : 15623 (toysat) S 15619 15622 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25760180 1342771200 52164 33554432000 4194304 16246674 140737412622064 140331211271408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15622/tid=15624] ppid=15619 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15624/stat : 15624 (toysat) S 15619 15622 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25760180 1342771200 52174 33554432000 4194304 16246674 140737412622064 140331200781552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15622/tid=15625] ppid=15619 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15625/stat : 15625 (toysat) S 15619 15622 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25760180 1342771200 52186 33554432000 4194304 16246674 140737412622064 140331190308016 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) 1311300

[startup+0.300479 s]
/proc/loadavg: 2.01 2.07 2.04 2/179 15622
/proc/meminfo: memFree=30463060/32872528 swapFree=249320/249320
[pid=15622] ppid=15619 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/15622/stat : 15622 (toysat) R 15619 15622 11324 0 -1 4202496 56098 0 0 0 22 7 0 0 20 0 4 0 25760180 1343819776 56907 33554432000 4194304 16246674 140737412622064 140737412621376 7439436 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15622/statm: 328081 56907 802 2943 0 324975 0
[pid=15622/tid=15623] ppid=15619 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15623/stat : 15623 (toysat) S 15619 15622 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25760180 1343819776 56907 33554432000 4194304 16246674 140737412622064 140331211271408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15622/tid=15624] ppid=15619 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15624/stat : 15624 (toysat) S 15619 15622 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25760180 1343819776 56907 33554432000 4194304 16246674 140737412622064 140331200781552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15622/tid=15625] ppid=15619 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15625/stat : 15625 (toysat) S 15619 15622 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25760180 1343819776 56907 33554432000 4194304 16246674 140737412622064 140331190308016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700406 s]
/proc/loadavg: 2.01 2.07 2.04 2/179 15622
/proc/meminfo: memFree=30463060/32872528 swapFree=249320/249320
[pid=15622] ppid=15619 vsize=1312324 CPUtime=0.69 cores=0,2,4,6
/proc/15622/stat : 15622 (toysat) R 15619 15622 11324 0 -1 4202496 104192 0 0 0 56 13 0 0 20 0 4 0 25760180 1343819776 105002 33554432000 4194304 16246674 140737412622064 140737412621376 9616021 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15622/statm: 328081 105013 836 2943 0 324975 0
[pid=15622/tid=15623] ppid=15619 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15623/stat : 15623 (toysat) S 15619 15622 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25760180 1343819776 105023 33554432000 4194304 16246674 140737412622064 140331211271408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15622/tid=15624] ppid=15619 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15624/stat : 15624 (toysat) S 15619 15622 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25760180 1343819776 105031 33554432000 4194304 16246674 140737412622064 140331200781552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15622/tid=15625] ppid=15619 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15625/stat : 15625 (toysat) S 15619 15622 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25760180 1343819776 105044 33554432000 4194304 16246674 140737412622064 140331190308016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.50032 s]
/proc/loadavg: 2.01 2.07 2.04 3/183 15626
/proc/meminfo: memFree=29803964/32872528 swapFree=249320/249320
[pid=15622] ppid=15619 vsize=1312324 CPUtime=1.49 cores=0,2,4,6
/proc/15622/stat : 15622 (toysat) R 15619 15622 11324 0 -1 4202496 164160 0 0 0 128 21 0 0 20 0 4 0 25760180 1343819776 164969 33554432000 4194304 16246674 140737412622064 140737412621376 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15622/statm: 328081 164969 874 2943 0 324975 0
[pid=15622/tid=15623] ppid=15619 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15623/stat : 15623 (toysat) S 15619 15622 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25760180 1343819776 164969 33554432000 4194304 16246674 140737412622064 140331211271408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15622/tid=15624] ppid=15619 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15624/stat : 15624 (toysat) S 15619 15622 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25760180 1343819776 164969 33554432000 4194304 16246674 140737412622064 140331200781552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15622/tid=15625] ppid=15619 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15625/stat : 15625 (toysat) S 15619 15622 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25760180 1343819776 164969 33554432000 4194304 16246674 140737412622064 140331190308016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1312324

[startup+3.10043 s]
/proc/loadavg: 2.01 2.07 2.04 3/183 15626
/proc/meminfo: memFree=29803592/32872528 swapFree=249320/249320
[pid=15622] ppid=15619 vsize=1312324 CPUtime=3.09 cores=0,2,4,6
/proc/15622/stat : 15622 (toysat) R 15619 15622 11324 0 -1 4202496 164182 0 0 0 288 21 0 0 20 0 4 0 25760180 1343819776 164991 33554432000 4194304 16246674 140737412622064 140737412621160 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15622/statm: 328081 164991 895 2943 0 324975 0
[pid=15622/tid=15623] ppid=15619 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15623/stat : 15623 (toysat) S 15619 15622 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25760180 1343819776 164991 33554432000 4194304 16246674 140737412622064 140331211271408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15622/tid=15624] ppid=15619 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15624/stat : 15624 (toysat) S 15619 15622 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25760180 1343819776 164991 33554432000 4194304 16246674 140737412622064 140331200781552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15622/tid=15625] ppid=15619 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15625/stat : 15625 (toysat) S 15619 15622 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25760180 1343819776 164991 33554432000 4194304 16246674 140737412622064 140331190308016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.30042 s]
/proc/loadavg: 2.00 2.07 2.04 3/183 15626
/proc/meminfo: memFree=29803604/32872528 swapFree=249320/249320
[pid=15622] ppid=15619 vsize=1312324 CPUtime=6.29 cores=0,2,4,6
/proc/15622/stat : 15622 (toysat) R 15619 15622 11324 0 -1 4202496 164183 0 0 0 608 21 0 0 20 0 4 0 25760180 1343819776 164992 33554432000 4194304 16246674 140737412622064 140737412619904 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15622/statm: 328081 164992 896 2943 0 324975 0
[pid=15622/tid=15623] ppid=15619 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15623/stat : 15623 (toysat) S 15619 15622 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25760180 1343819776 164992 33554432000 4194304 16246674 140737412622064 140331211271408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15622/tid=15624] ppid=15619 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15624/stat : 15624 (toysat) S 15619 15622 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25760180 1343819776 164992 33554432000 4194304 16246674 140737412622064 140331200781552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15622/tid=15625] ppid=15619 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15625/stat : 15625 (toysat) S 15619 15622 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25760180 1343819776 164992 33554432000 4194304 16246674 140737412622064 140331190308016 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) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.00 2.07 2.04 3/183 15626
/proc/meminfo: memFree=29803868/32872528 swapFree=249320/249320
[pid=15622] ppid=15619 vsize=1312324 CPUtime=12.69 cores=0,2,4,6
/proc/15622/stat : 15622 (toysat) R 15619 15622 11324 0 -1 4202496 164183 0 0 0 1248 21 0 0 20 0 4 0 25760180 1343819776 164992 33554432000 4194304 16246674 140737412622064 140737412603968 5707842 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15622/statm: 328081 164992 896 2943 0 324975 0
[pid=15622/tid=15623] ppid=15619 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15623/stat : 15623 (toysat) S 15619 15622 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25760180 1343819776 164992 33554432000 4194304 16246674 140737412622064 140331211271408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15622/tid=15624] ppid=15619 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15624/stat : 15624 (toysat) S 15619 15622 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25760180 1343819776 164992 33554432000 4194304 16246674 140737412622064 140331200781552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15622/tid=15625] ppid=15619 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15625/stat : 15625 (toysat) S 15619 15622 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25760180 1343819776 164992 33554432000 4194304 16246674 140737412622064 140331190308016 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) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.00 2.07 2.04 3/183 15626
/proc/meminfo: memFree=29804724/32872528 swapFree=249320/249320
[pid=15622] ppid=15619 vsize=1312324 CPUtime=25.48 cores=0,2,4,6
/proc/15622/stat : 15622 (toysat) R 15619 15622 11324 0 -1 4202496 164183 0 0 0 2527 21 0 0 20 0 4 0 25760180 1343819776 164992 33554432000 4194304 16246674 140737412622064 140737412621240 5828996 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15622/statm: 328081 164992 896 2943 0 324975 0
[pid=15622/tid=15623] ppid=15619 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15623/stat : 15623 (toysat) S 15619 15622 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25760180 1343819776 164992 33554432000 4194304 16246674 140737412622064 140331211271408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15622/tid=15624] ppid=15619 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15624/stat : 15624 (toysat) S 15619 15622 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25760180 1343819776 164992 33554432000 4194304 16246674 140737412622064 140331200781552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15622/tid=15625] ppid=15619 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15625/stat : 15625 (toysat) S 15619 15622 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25760180 1343819776 164992 33554432000 4194304 16246674 140737412622064 140331190308016 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) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.06 2.07 2.04 4/183 15627
/proc/meminfo: memFree=29760808/32872528 swapFree=249320/249320
[pid=15622] ppid=15619 vsize=1313348 CPUtime=51.08 cores=0,2,4,6
/proc/15622/stat : 15622 (toysat) R 15619 15622 11324 0 -1 4202496 164439 0 0 0 5084 24 0 0 20 0 4 0 25760180 1344868352 165248 33554432000 4194304 16246674 140737412622064 140737412619904 6012041 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15622/statm: 328337 165248 896 2943 0 325231 0
[pid=15622/tid=15623] ppid=15619 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15623/stat : 15623 (toysat) S 15619 15622 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25760180 1344868352 165248 33554432000 4194304 16246674 140737412622064 140331211271408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15622/tid=15624] ppid=15619 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15624/stat : 15624 (toysat) S 15619 15622 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25760180 1344868352 165248 33554432000 4194304 16246674 140737412622064 140331200781552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15622/tid=15625] ppid=15619 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15625/stat : 15625 (toysat) S 15619 15622 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25760180 1344868352 165248 33554432000 4194304 16246674 140737412622064 140331190308016 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) 1313348

[startup+102.3 s]
/proc/loadavg: 2.08 2.08 2.04 4/183 15628
/proc/meminfo: memFree=29760400/32872528 swapFree=249320/249320
[pid=15622] ppid=15619 vsize=1313348 CPUtime=102.28 cores=0,2,4,6
/proc/15622/stat : 15622 (toysat) R 15619 15622 11324 0 -1 4202496 164439 0 0 0 10201 27 0 0 20 0 4 0 25760180 1344868352 165248 33554432000 4194304 16246674 140737412622064 140737412603968 6845877 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15622/statm: 328337 165248 896 2943 0 325231 0
[pid=15622/tid=15623] ppid=15619 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15623/stat : 15623 (toysat) S 15619 15622 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25760180 1344868352 165248 33554432000 4194304 16246674 140737412622064 140331211271408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15622/tid=15624] ppid=15619 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15624/stat : 15624 (toysat) S 15619 15622 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25760180 1344868352 165248 33554432000 4194304 16246674 140737412622064 140331200781552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15622/tid=15625] ppid=15619 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15625/stat : 15625 (toysat) S 15619 15622 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25760180 1344868352 165248 33554432000 4194304 16246674 140737412622064 140331190308016 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) 1313348


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

/proc/15622/task/15623/stat : 15623 (toysat) S 15619 15622 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25760180 3235450880 731227 33554432000 4194304 16246674 140737412622064 140331211271408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15622/tid=15624] ppid=15619 vsize=3159620 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15624/stat : 15624 (toysat) S 15619 15622 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25760180 3235450880 731227 33554432000 4194304 16246674 140737412622064 140331200781552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15622/tid=15625] ppid=15619 vsize=3159620 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15625/stat : 15625 (toysat) S 15619 15622 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25760180 3235450880 731227 33554432000 4194304 16246674 140737412622064 140331190308016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 3159620

[startup+1362.3 s]
/proc/loadavg: 2.19 2.17 2.10 3/183 15855
/proc/meminfo: memFree=14008040/32872528 swapFree=249320/249320
[pid=15622] ppid=15619 vsize=3281476 CPUtime=1362.07 cores=0,2,4,6
/proc/15622/stat : 15622 (toysat) R 15619 15622 11324 0 -1 4202496 760948 0 0 0 135897 310 0 0 20 0 4 0 25760180 3360231424 761739 33554432000 4194304 16246674 140737412622064 140737412621240 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15622/statm: 820369 761739 898 2943 0 817263 0
[pid=15622/tid=15623] ppid=15619 vsize=3281476 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15623/stat : 15623 (toysat) S 15619 15622 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25760180 3360231424 761739 33554432000 4194304 16246674 140737412622064 140331211271408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15622/tid=15624] ppid=15619 vsize=3281476 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15624/stat : 15624 (toysat) S 15619 15622 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25760180 3360231424 761739 33554432000 4194304 16246674 140737412622064 140331200781552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15622/tid=15625] ppid=15619 vsize=3281476 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15625/stat : 15625 (toysat) S 15619 15622 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25760180 3360231424 761739 33554432000 4194304 16246674 140737412622064 140331190308016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 3281476

[startup+1422.3 s]
/proc/loadavg: 2.13 2.15 2.09 3/183 15904
/proc/meminfo: memFree=19584456/32872528 swapFree=249320/249320
[pid=15622] ppid=15619 vsize=3395140 CPUtime=1422.08 cores=0,2,4,6
/proc/15622/stat : 15622 (toysat) R 15619 15622 11324 0 -1 4202496 789298 0 0 0 141882 326 0 0 20 0 4 0 25760180 3476623360 790089 33554432000 4194304 16246674 140737412622064 140737412621240 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15622/statm: 848785 790089 898 2943 0 845679 0
[pid=15622/tid=15623] ppid=15619 vsize=3395140 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15623/stat : 15623 (toysat) S 15619 15622 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25760180 3476623360 790089 33554432000 4194304 16246674 140737412622064 140331211271408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15622/tid=15624] ppid=15619 vsize=3395140 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15624/stat : 15624 (toysat) S 15619 15622 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25760180 3476623360 790089 33554432000 4194304 16246674 140737412622064 140331200781552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15622/tid=15625] ppid=15619 vsize=3395140 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15625/stat : 15625 (toysat) S 15619 15622 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25760180 3476623360 790089 33554432000 4194304 16246674 140737412622064 140331190308016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 3395140

[startup+1482.3 s]
/proc/loadavg: 2.18 2.17 2.10 3/183 15905
/proc/meminfo: memFree=14459320/32872528 swapFree=249320/249320
[pid=15622] ppid=15619 vsize=3522116 CPUtime=1482.06 cores=0,2,4,6
/proc/15622/stat : 15622 (toysat) R 15619 15622 11324 0 -1 4202496 820992 0 0 0 147863 343 0 0 20 0 4 0 25760180 3606646784 821783 33554432000 4194304 16246674 140737412622064 140737412621160 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15622/statm: 880529 821783 898 2943 0 877423 0
[pid=15622/tid=15623] ppid=15619 vsize=3522116 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15623/stat : 15623 (toysat) S 15619 15622 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25760180 3606646784 821783 33554432000 4194304 16246674 140737412622064 140331211271408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15622/tid=15624] ppid=15619 vsize=3522116 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15624/stat : 15624 (toysat) S 15619 15622 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25760180 3606646784 821783 33554432000 4194304 16246674 140737412622064 140331200781552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15622/tid=15625] ppid=15619 vsize=3522116 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15625/stat : 15625 (toysat) S 15619 15622 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25760180 3606646784 821783 33554432000 4194304 16246674 140737412622064 140331190308016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 3522116

[startup+1542.31 s]
/proc/loadavg: 2.10 2.15 2.09 3/184 15958
/proc/meminfo: memFree=28056960/32872528 swapFree=249320/249320
[pid=15622] ppid=15619 vsize=3619396 CPUtime=1542.04 cores=0,2,4,6
/proc/15622/stat : 15622 (toysat) R 15619 15622 11324 0 -1 4202496 845412 0 0 0 153844 360 0 0 20 0 4 0 25760180 3706261504 846199 33554432000 4194304 16246674 140737412622064 140737412621160 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15622/statm: 904849 846199 898 2943 0 901743 0
[pid=15622/tid=15623] ppid=15619 vsize=3619396 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15623/stat : 15623 (toysat) S 15619 15622 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25760180 3706261504 846199 33554432000 4194304 16246674 140737412622064 140331211271408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15622/tid=15624] ppid=15619 vsize=3619396 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15624/stat : 15624 (toysat) S 15619 15622 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25760180 3706261504 846199 33554432000 4194304 16246674 140737412622064 140331200781552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15622/tid=15625] ppid=15619 vsize=3619396 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15625/stat : 15625 (toysat) S 15619 15622 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25760180 3706261504 846199 33554432000 4194304 16246674 140737412622064 140331190308016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 3619396

[startup+1602.3 s]
/proc/loadavg: 2.07 2.13 2.09 3/183 15960
/proc/meminfo: memFree=17364432/32872528 swapFree=249320/249320
[pid=15622] ppid=15619 vsize=3724868 CPUtime=1602.04 cores=0,2,4,6
/proc/15622/stat : 15622 (toysat) R 15619 15622 11324 0 -1 4202496 871931 0 0 0 159829 375 0 0 20 0 4 0 25760180 3814264832 872717 33554432000 4194304 16246674 140737412622064 140737412621160 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15622/statm: 931217 872717 898 2943 0 928111 0
[pid=15622/tid=15623] ppid=15619 vsize=3724868 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15623/stat : 15623 (toysat) S 15619 15622 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25760180 3814264832 872717 33554432000 4194304 16246674 140737412622064 140331211271408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15622/tid=15624] ppid=15619 vsize=3724868 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15624/stat : 15624 (toysat) S 15619 15622 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25760180 3814264832 872717 33554432000 4194304 16246674 140737412622064 140331200781552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15622/tid=15625] ppid=15619 vsize=3724868 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15625/stat : 15625 (toysat) S 15619 15622 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25760180 3814264832 872717 33554432000 4194304 16246674 140737412622064 140331190308016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 3724868

[startup+1662.3 s]
/proc/loadavg: 2.12 2.14 2.09 3/183 15961
/proc/meminfo: memFree=14727840/32872528 swapFree=249320/249320
[pid=15622] ppid=15619 vsize=3837508 CPUtime=1662.02 cores=0,2,4,6
/proc/15622/stat : 15622 (toysat) R 15619 15622 11324 0 -1 4202496 899893 0 0 0 165810 392 0 0 20 0 4 0 25760180 3929608192 900677 33554432000 4194304 16246674 140737412622064 140737412621240 12483222 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15622/statm: 959377 900677 898 2943 0 956271 0
[pid=15622/tid=15623] ppid=15619 vsize=3837508 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15623/stat : 15623 (toysat) S 15619 15622 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25760180 3929608192 900677 33554432000 4194304 16246674 140737412622064 140331211271408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15622/tid=15624] ppid=15619 vsize=3837508 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15624/stat : 15624 (toysat) S 15619 15622 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25760180 3929608192 900677 33554432000 4194304 16246674 140737412622064 140331200781552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15622/tid=15625] ppid=15619 vsize=3837508 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15625/stat : 15625 (toysat) S 15619 15622 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25760180 3929608192 900677 33554432000 4194304 16246674 140737412622064 140331190308016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 3837508

[startup+1722.3 s]
/proc/loadavg: 2.14 2.14 2.09 4/183 16010
/proc/meminfo: memFree=24209504/32872528 swapFree=249320/249320
[pid=15622] ppid=15619 vsize=3951172 CPUtime=1722.01 cores=0,2,4,6
/proc/15622/stat : 15622 (toysat) R 15619 15622 11324 0 -1 4202496 928396 0 0 0 171792 409 0 0 20 0 4 0 25760180 4046000128 929179 33554432000 4194304 16246674 140737412622064 140737412621160 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15622/statm: 987793 929179 898 2943 0 984687 0
[pid=15622/tid=15623] ppid=15619 vsize=3951172 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15623/stat : 15623 (toysat) S 15619 15622 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25760180 4046000128 929179 33554432000 4194304 16246674 140737412622064 140331211271408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15622/tid=15624] ppid=15619 vsize=3951172 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15624/stat : 15624 (toysat) S 15619 15622 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25760180 4046000128 929179 33554432000 4194304 16246674 140737412622064 140331200781552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15622/tid=15625] ppid=15619 vsize=3951172 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15625/stat : 15625 (toysat) S 15619 15622 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25760180 4046000128 929179 33554432000 4194304 16246674 140737412622064 140331190308016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 3951172

[startup+1782.3 s]
/proc/loadavg: 2.13 2.14 2.09 3/183 16011
/proc/meminfo: memFree=14296724/32872528 swapFree=249320/249320
[pid=15622] ppid=15619 vsize=4059716 CPUtime=1782 cores=0,2,4,6
/proc/15622/stat : 15622 (toysat) R 15619 15622 11324 0 -1 4202496 955423 0 0 0 177775 425 0 0 20 0 4 0 25760180 4157149184 956205 33554432000 4194304 16246674 140737412622064 140737412621160 6020694 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15622/statm: 1014929 956205 898 2943 0 1011823 0
[pid=15622/tid=15623] ppid=15619 vsize=4059716 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15623/stat : 15623 (toysat) S 15619 15622 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25760180 4157149184 956205 33554432000 4194304 16246674 140737412622064 140331211271408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15622/tid=15624] ppid=15619 vsize=4059716 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15624/stat : 15624 (toysat) S 15619 15622 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25760180 4157149184 956205 33554432000 4194304 16246674 140737412622064 140331200781552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15622/tid=15625] ppid=15619 vsize=4059716 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15625/stat : 15625 (toysat) S 15619 15622 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25760180 4157149184 956205 33554432000 4194304 16246674 140737412622064 140331190308016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 4059716



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.10 2.13 2.09 3/183 16011
/proc/meminfo: memFree=14260504/32872528 swapFree=249320/249320
[pid=15622] ppid=15619 vsize=4104772 CPUtime=1800 cores=0,2,4,6
/proc/15622/stat : 15622 (toysat) R 15619 15622 11324 0 -1 4202496 966763 0 0 0 179570 430 0 0 20 0 4 0 25760180 4203286528 967545 33554432000 4194304 16246674 140737412622064 140737412621160 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15622/statm: 1026193 967545 898 2943 0 1023087 0
[pid=15622/tid=15623] ppid=15619 vsize=4104772 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15623/stat : 15623 (toysat) S 15619 15622 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25760180 4203286528 967545 33554432000 4194304 16246674 140737412622064 140331211271408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15622/tid=15624] ppid=15619 vsize=4104772 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15624/stat : 15624 (toysat) S 15619 15622 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25760180 4203286528 967545 33554432000 4194304 16246674 140737412622064 140331200781552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15622/tid=15625] ppid=15619 vsize=4104772 CPUtime=0 cores=0,2,4,6
/proc/15622/task/15625/stat : 15625 (toysat) S 15619 15622 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25760180 4203286528 967545 33554432000 4194304 16246674 140737412622064 140331190308016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 4104772

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

[startup+1800.4 s]
/proc/loadavg: 2.10 2.13 2.09 3/183 16011
/proc/meminfo: memFree=14260504/32872528 swapFree=249320/249320
[pid=15622] ppid=15619 vsize=0 CPUtime=1800.11 cores=0,2,4,6
/proc/15622/stat : 15622 (toysat) Z 15619 15622 11324 0 -1 4203532 966763 0 0 0 179571 440 0 0 20 0 2 0 25760180 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15622/statm: 0 0 0 0 0 0 0
[pid=15622/tid=15623] ppid=15619 vsize=0 CPUtime=0.08 cores=0,2,4,6
/proc/15622/task/15623/stat : 15623 (toysat) R 15619 15622 11324 0 -1 4203588 9 0 0 0 0 8 0 0 20 0 2 0 25760180 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.43
CPU time (s): 1800.14
CPU user time (s): 1795.71
CPU system time (s): 4.42333
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 4104772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.71
system time used= 4.42333
maximum resident set size= 3870180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 966763
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= 52
involuntary context switches= 1862

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1643 second user time and 16.7425 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-18 10:04:58
IDJOB=4103437
IDBENCH=2359
IDSOLVER=2542
FILE ID=node103/4103437-1466237097
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-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core4284-1064.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103437-1466237097/watcher-4103437-1466237097 -o /tmp/evaluation-result-4103437-1466237097/solver-4103437-1466237097 -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-4103437-1466237097.opb

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

MD5SUM BENCH= 636089b37faab6876c4b2da32ab157ac
RANDOM SEED=1056346174

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:        30463208 kB
Buffers:          126656 kB
Cached:           132476 kB
SwapCached:         1916 kB
Active:          1254528 kB
Inactive:         169124 kB
Active(anon):    1163428 kB
Inactive(anon):     3400 kB
Active(file):      91100 kB
Inactive(file):   165724 kB
Unevictable:      249320 kB
Mlocked:          249320 kB
SwapTotal:      67108856 kB
SwapFree:       67099436 kB
Dirty:             18916 kB
Writeback:             0 kB
AnonPages:       1412540 kB
Mapped:            10868 kB
Shmem:                 0 kB
Slab:             602600 kB
SReclaimable:      46396 kB
SUnreclaim:       556204 kB
KernelStack:        1488 kB
PageTables:         6972 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1556092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1157120 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= 71684 MiB
End job on node103 at 2016-06-18 10:34:58