Trace number 4079403

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? (MO) 624.834 624.944

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Multihop/
normalized-minisat15_5_3_6_mh.opb
MD5SUM3266e32b2a945b684ae99382e7a5d59c
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark7586846
Best CPU time to get the best result obtained on this benchmark3.19451
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6810
Total number of constraints15202
Number of constraints which are clauses11580
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints3600
Minimum length of a constraint2
Maximum length of a constraint330
Number of terms in the objective function 3795
Biggest coefficient in the objective function 155720872
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 4264157729
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 155720872
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 4264157729
Number of bits of the biggest sum of numbers32
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-07T22:20:16+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-4079403-1465330816.opb"]
0.00/0.01	c use --random-gen="1851074402 2346739441 1104799544 1693082245 4265975983 293622961 1585683946 1518947050 1667031926 3943429894 3530898121 3863376726 2572175126 2544683560 3728618015 2489876459 1945756518 4242446043 310167248 445692711 1792582383 3699762170 486874735 519622533 3604064264 1999964789 3720436900 1220353178 2358715823 2119052128 288400431 366771176 2844915737 344420303 3948898630 4147662204 4245991270 30632044 4216594669 1868011477 349972348 88130978 3697841154 4254788490 1722495845 631044681 1456800079 3083330286 636892806 924984115 3657898210 259611831 2417260948 365872088 2028695444 2491332007 3185543202 3372727753 2013481801 641186329 610781531 4183158473 3999088187 1697391937 4173034652 3656397483 2455813218 1966230141 1229707991 2647182706 4187800219 2006939547 3319906748 3567256535 3328745637 3953487921 2412244519 3619339665 1347029367 80799749 3176768500 3105859479 988746780 3549280157 3114647781 1748360330 202060635 1649847682 2569886928 2879061286 473347262 3219798734 1214156460 795626452 3115664033 2183620347 2288582282 1152415417 2293935410 281950678 484017038 40472432 374347242 17208338 2134328474 952874519 2429836948 297966024 1418548589 3609363052 2921399340 1324258147 1058746558 1783617884 1459893895 1860538715 2385961625 896926622 3215778641 382026531 2534894363 2838430562 744407885 3804015179 278992802 820404232 2535098199 3441946485 1679229986 1087602024 3873675819 1981210489 481753982 2521537489 1797235011 3029401443 2741632324 2358235064 3570742426 3248233436 1678704059 3185506779 1716878542 3798245090 2725831190 3682754182 4273159758 3886294814 1602200739 4108387280 2873705995 1630065352 3581624387 125248079 3314876811 2231156246 3846203705 3531213998 64627537 474575867 1567232642 336993317 3771820365 3527158205 246361779 1473048857 2388987449 1116551569 3307754420 1265631057 286772249 3712499828 2641146451 1913713060 3214373159 4158181900 2883992382 749249643 4266887150 3707681011 1804206968 2482276024 1801072428 466573789 2631083042 671246395 1212194427 3519259328 550261136 1463671138 905887506 2684057060 1424662839 1257617949 2187128163 3329358484 4067739455 828121098 3618217888 2354698773 3663549537 1412215460 3230914615 834734677 1164422456 2813834616 825756187 198865226 3180626899 2837205288 1215388237 3997549714 499486717 1471769668 3773936962 1775187717 2462595998 3870734544 2739223278 1930819568 3539168342 614164240 159835126 2312856272 3311459404 1680892041 4258841468 2707606188 2522310147 1040416073 2045910381 2639152724 3525858578 37002364 348885421 2570407728 2486247511 1515587615 3209390926 910471773 841134013 2732311884 742813734 3574219713 1123033367 2017145586 4153705858 2288699980 2150174779 350320296 836161244 2405638128 183314971 1515382642 352327731 3249685312 255 362436" option to reproduce the execution
0.09/0.14	c #vars 6810
0.09/0.14	c #constraints 15202
0.29/0.36	c BCD2: Hardening is enabled.
0.29/0.36	c BCD2: BiasedSearch is enabled.
0.29/0.36	c Solving starts ...
0.29/0.36	c ============================[ Search Statistics ]============================
0.29/0.36	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.36	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.36	c =============================================================================
0.29/0.36	c  0.0s |       0 |        0 |        0 |     7477      0 |       45 |        0
0.39/0.49	c  0.1s |       1 |      371 |      100 |     7477      0 |       45 |        0
0.59/0.68	c  0.3s |       2 |      785 |      250 |     8225      0 |       45 |        0
1.09/1.11	c  0.7s |       3 |     1345 |      475 |     9048      0 |       45 |        0
1.69/1.73	c  1.4s |       4 |     2273 |      813 |     9953      0 |       45 |        0
2.49/2.59	c  2.2s |       5 |     3938 |     1320 |    10949      0 |       45 |        0
3.39/3.43	c  3.1s |       6 |     6011 |     2081 |    13249      0 |       45 |        0
4.79/4.85	c  4.5s |       7 |     8830 |     3223 |    14574      0 |       45 |        0
6.89/6.93	c  6.6s |       7 |    12765 |     4623 |    14574      0 |       45 |        0
7.38/7.47	c  7.1s |       8 |    13895 |     4936 |    16032      0 |       45 |        0
9.58/9.63	c  9.3s |       8 |    18450 |     6336 |    16032      0 |       45 |        0
11.28/11.35	c 11.0s |       9 |    22647 |     7506 |    17636      0 |       45 |        0
13.38/13.45	c 13.1s |       9 |    26929 |     8906 |    17636      0 |       45 |        0
15.39/15.46	c 15.1s |       9 |    29795 |     9706 |    17636      0 |       45 |        0
17.38/17.49	c 17.1s |       9 |    33472 |    10506 |    17636      0 |       45 |        0
19.28/19.30	c 18.9s |      10 |    37233 |    11361 |    19400      0 |       45 |        0
21.28/21.37	c 21.0s |      10 |    40560 |    12261 |    19400      0 |       45 |        0
23.38/23.47	c 23.1s |      10 |    44454 |    13361 |    19400      0 |       45 |        0
25.58/25.64	c 25.3s |      10 |    47480 |    14261 |    19400      0 |       45 |        0
27.59/27.65	c 27.3s |      10 |    50727 |    15461 |    19400      0 |       45 |        0
29.58/29.62	c 29.3s |      11 |    54321 |    17144 |    21340      0 |       45 |        0
31.58/31.67	c 31.3s |      11 |    57656 |    18644 |    21340      0 |       45 |        0
33.68/33.76	c 33.4s |      11 |    61247 |    20644 |    21340      0 |       45 |        0
35.78/35.82	c 35.5s |      11 |    64066 |    22344 |    21340      0 |       45 |        0
37.78/37.88	c 37.5s |      11 |    66011 |    23644 |    21340      1 |       45 |        0
39.88/39.91	c 39.5s |      11 |    69597 |    25444 |    21340      1 |       45 |        0
40.28/40.32	c 40.0s |      12 |    70350 |    25819 |    23475      1 |       45 |        0
42.48/42.50	c 42.1s |      12 |    72821 |    26819 |    23475      1 |       45 |        0
44.48/44.52	c 44.2s |      12 |    76070 |    28119 |    23475      1 |       45 |        0
46.58/46.60	c 46.2s |      12 |    78696 |    29619 |    23475      1 |       45 |        0
48.68/48.75	c 48.4s |      12 |    80597 |    30919 |    23475      1 |       45 |        0
50.88/50.91	c 50.5s |      12 |    84144 |    32519 |    23475      1 |       45 |        0
52.89/52.95	c 52.6s |      12 |    87097 |    33919 |    23475      1 |       45 |        0
54.88/54.95	c 54.6s |      12 |    90360 |    35319 |    23475      1 |       45 |        0
56.98/57.09	c 56.7s |      12 |    93963 |    36819 |    23475      1 |       45 |        0
59.08/59.18	c 58.8s |      12 |    97067 |    38319 |    23475      2 |       45 |        0
59.78/59.81	c 59.5s |      13 |    98112 |    38832 |    25823      2 |       45 |        0
61.78/61.83	c 61.5s |      13 |   100941 |    40432 |    25823      2 |       45 |        0
63.78/63.87	c 63.5s |      13 |   103538 |    42032 |    25823      2 |       45 |        0
65.98/66.03	c 65.7s |      13 |   106353 |    43432 |    25823      2 |       45 |        0
68.07/68.10	c 67.7s |      13 |   108819 |    44132 |    25823      2 |       45 |        0
70.07/70.15	c 69.8s |      13 |   111363 |    44932 |    25823      2 |       45 |        0
72.27/72.33	c 72.0s |      13 |   114420 |    46132 |    25823      2 |       45 |        0
74.37/74.40	c 74.0s |      13 |   117713 |    47432 |    25823      2 |       45 |        0
76.47/76.52	c 76.2s |      13 |   120737 |    48332 |    25823      2 |       45 |        0
78.57/78.65	c 78.3s |      13 |   123957 |    49532 |    25823      2 |       45 |        0
80.77/80.85	c 80.5s |      13 |   127273 |    50832 |    25823      2 |       45 |        0
82.77/82.85	c 82.5s |      13 |   129837 |    52032 |    25823      2 |       45 |        0
84.87/84.95	c 84.6s |      13 |   132575 |    53532 |    25823      2 |       45 |        0
86.98/87.05	c 86.7s |      13 |   135206 |    54932 |    25823      3 |       45 |        0
88.98/89.09	c 88.7s |      13 |   137768 |    56432 |    25823      3 |       45 |        0
91.08/91.18	c 90.8s |      13 |   140486 |    57932 |    25823      3 |       45 |        0
91.68/91.79	c 91.4s |      14 |   141368 |    58352 |    28406      3 |       45 |        0
93.78/93.81	c 93.5s |      14 |   143470 |    59552 |    28406      3 |       45 |        0
95.88/95.95	c 95.6s |      14 |   145856 |    61052 |    28406      3 |       45 |        0
97.98/98.02	c 97.7s |      14 |   148524 |    62452 |    28406      3 |       45 |        0
99.98/100.04	c 99.7s |      14 |   151617 |    64052 |    28406      3 |       45 |        0
102.08/102.13	c  101s |      14 |   154511 |    65752 |    28406      3 |       45 |        0
104.18/104.21	c  103s |      14 |   157418 |    67452 |    28406      3 |       45 |        0
106.37/106.40	c  106s |      14 |   159766 |    68952 |    28406      4 |       45 |        0
108.37/108.42	c  108s |      14 |   162715 |    70552 |    28406      4 |       45 |        0
110.37/110.46	c  110s |      14 |   165501 |    72252 |    28406      4 |       45 |        0
112.37/112.49	c  112s |      14 |   168453 |    73852 |    28406      4 |       45 |        0
114.48/114.53	c  114s |      14 |   171066 |    75352 |    28406      4 |       45 |        0
116.47/116.53	c  116s |      14 |   173627 |    76752 |    28406      4 |       45 |        0
118.47/118.56	c  118s |      14 |   176278 |    78152 |    28406      4 |       45 |        0
120.57/120.68	c  120s |      14 |   178762 |    79552 |    28406      4 |       45 |        0
122.67/122.78	c  122s |      14 |   181307 |    80952 |    28406      4 |       45 |        0
124.77/124.86	c  124s |      14 |   183547 |    82252 |    28406      4 |       45 |        0
126.87/126.93	c  126s |      14 |   185869 |    83452 |    28406      4 |       45 |        0
128.87/128.93	c  128s |      14 |   188314 |    84852 |    28406      4 |       45 |        0
130.98/131.02	c  130s |      14 |   190682 |    86252 |    28406      5 |       45 |        0
132.77/132.88	c  132s |      15 |   193046 |    87632 |    31247      5 |       45 |        0
134.87/134.90	c  134s |      15 |   195908 |    89132 |    31247      5 |       45 |        0
136.87/136.92	c  136s |      15 |   198473 |    90732 |    31247      5 |       45 |        0
138.97/139.03	c  138s |      15 |   201151 |    92332 |    31247      5 |       45 |        0
141.07/141.14	c  140s |      15 |   203850 |    93832 |    31247      5 |       45 |        0
143.07/143.14	c  142s |      15 |   206520 |    95332 |    31247      5 |       45 |        0
145.17/145.21	c  144s |      15 |   209503 |    96632 |    31247      5 |       45 |        0
147.17/147.28	c  146s |      15 |   213561 |    98332 |    31247      5 |       45 |        0
149.37/149.47	c  149s |      15 |   216775 |    99832 |    31247      5 |       45 |        0
151.47/151.53	c  151s |      15 |   219524 |   101132 |    31247      5 |       45 |        0
153.46/153.58	c  153s |      15 |   221664 |   102432 |    31247      5 |       45 |        0
155.66/155.74	c  155s |      15 |   224159 |   103732 |    31247      5 |       45 |        0
158.26/158.35	c  157s |      15 |   226278 |   104832 |    31247      6 |       45 |        0
160.36/160.42	c  160s |      15 |   227801 |   105632 |    31247      6 |       45 |        0
162.36/162.45	c  162s |      15 |   229682 |   106632 |    31247      6 |       45 |        0
164.46/164.51	c  164s |      15 |   232496 |   108032 |    31247      6 |       45 |        0
166.46/166.55	c  166s |      15 |   235213 |   109532 |    31247      6 |       45 |        0
168.66/168.71	c  168s |      15 |   237691 |   111032 |    31247      6 |       45 |        0
170.86/170.93	c  170s |      15 |   240294 |   112332 |    31247      6 |       45 |        0
172.86/172.97	c  172s |      15 |   242675 |   113532 |    31247      6 |       45 |        0
174.87/174.99	c  174s |      15 |   245367 |   114932 |    31247      6 |       45 |        0
176.96/177.09	c  176s |      15 |   248389 |   116132 |    31247      6 |       45 |        0
179.06/179.17	c  178s |      15 |   250409 |   117532 |    31247      6 |       45 |        0
181.06/181.17	c  180s |      15 |   252675 |   118932 |    31247      6 |       45 |        0
183.26/183.31	c  182s |      15 |   255126 |   120432 |    31247      6 |       45 |        0
185.26/185.35	c  184s |      15 |   257418 |   121432 |    31247      7 |       45 |        0
187.46/187.51	c  187s |      15 |   259966 |   122632 |    31247      7 |       45 |        0
189.46/189.54	c  189s |      15 |   263117 |   124132 |    31247      7 |       45 |        0
191.56/191.63	c  191s |      15 |   265529 |   125432 |    31247      7 |       45 |        0
193.66/193.72	c  193s |      15 |   267915 |   126732 |    31247      7 |       45 |        0
195.76/195.82	c  195s |      15 |   270305 |   128132 |    31247      7 |       45 |        0
197.86/197.95	c  197s |      15 |   272277 |   129532 |    31247      7 |       45 |        0
199.96/200.03	c  199s |      15 |   275260 |   130932 |    34372      7 |       45 |        0
200.96/201.01	c  200s |      16 |   276315 |   131552 |    34372      7 |       45 |        0
203.06/203.13	c  202s |      16 |   278610 |   132852 |    34372      7 |       45 |        0
205.06/205.16	c  204s |      16 |   280974 |   134252 |    34372      7 |       45 |        0
207.15/207.27	c  206s |      16 |   283798 |   135752 |    34372      7 |       45 |        0
209.15/209.28	c  208s |      16 |   285918 |   137052 |    34372      7 |       45 |        0
211.35/211.40	c  211s |      16 |   288515 |   138452 |    34372      7 |       45 |        0
213.55/213.61	c  213s |      16 |   290736 |   139652 |    34372      7 |       45 |        0
215.56/215.68	c  215s |      16 |   292575 |   140852 |    34372      7 |       45 |        0
217.65/217.75	c  217s |      16 |   294504 |   142052 |    34372      8 |       45 |        0
219.65/219.80	c  219s |      16 |   296781 |   143452 |    34372      8 |       45 |        0
221.75/221.87	c  221s |      16 |   299044 |   144752 |    34372      8 |       45 |        0
223.85/223.94	c  223s |      16 |   301195 |   146052 |    34372      8 |       45 |        0
226.05/226.10	c  225s |      16 |   303406 |   147552 |    34372      8 |       45 |        0
228.15/228.23	c  227s |      16 |   305636 |   148852 |    34372      8 |       45 |        0
230.25/230.30	c  229s |      16 |   307883 |   150252 |    34372      8 |       45 |        0
232.35/232.44	c  232s |      16 |   310016 |   151652 |    34372      8 |       45 |        0
234.45/234.50	c  234s |      16 |   312319 |   152752 |    34372      8 |       45 |        0
236.56/236.67	c  236s |      16 |   314512 |   154052 |    34372      8 |       45 |        0
238.76/238.83	c  238s |      16 |   316567 |   155252 |    34372      8 |       45 |        0
240.86/241.00	c  240s |      16 |   318324 |   156452 |    34372      8 |       45 |        0
242.95/243.09	c  242s |      16 |   319939 |   157452 |    34372      8 |       45 |        0
245.15/245.23	c  244s |      16 |   321673 |   158452 |    34372      8 |       45 |        0
247.25/247.39	c  247s |      16 |   323583 |   159552 |    34372      8 |       45 |        0
249.35/249.45	c  249s |      16 |   325257 |   160452 |    34372      8 |       45 |        0
251.45/251.57	c  251s |      16 |   327067 |   161452 |    34372      9 |       45 |        0
253.65/253.72	c  253s |      16 |   329265 |   162852 |    34372      9 |       45 |        0
255.75/255.85	c  255s |      16 |   331362 |   164052 |    34372      9 |       45 |        0
257.75/257.85	c  257s |      16 |   333236 |   165352 |    34372      9 |       45 |        0
259.95/260.05	c  259s |      16 |   335372 |   166652 |    34372      9 |       45 |        0
262.05/262.11	c  261s |      16 |   337818 |   168052 |    34372      9 |       45 |        0
264.14/264.23	c  263s |      16 |   339931 |   169452 |    34372      9 |       45 |        0
266.25/266.38	c  266s |      16 |   342281 |   170652 |    34372      9 |       45 |        0
268.35/268.46	c  268s |      16 |   344794 |   172152 |    34372      9 |       45 |        0
270.55/270.61	c  270s |      16 |   346897 |   173452 |    34372      9 |       45 |        0
272.54/272.64	c  272s |      16 |   348694 |   174652 |    34372      9 |       45 |        0
274.54/274.69	c  274s |      16 |   350147 |   175552 |    34372      9 |       45 |        0
276.64/276.71	c  276s |      16 |   352355 |   176952 |    34372      9 |       45 |        0
278.74/278.85	c  278s |      16 |   354733 |   178352 |    34372      9 |       45 |        0
281.44/281.50	c  281s |      16 |   356177 |   179352 |    34372     10 |       45 |        0
283.45/283.56	c  283s |      16 |   358094 |   180552 |    34372     10 |       45 |        0
285.55/285.63	c  285s |      16 |   360226 |   182052 |    34372     10 |       45 |        0
287.65/287.71	c  287s |      16 |   362338 |   183252 |    34372     10 |       45 |        0
289.65/289.79	c  289s |      16 |   364727 |   184752 |    34372     10 |       45 |        0
291.75/291.82	c  291s |      16 |   367033 |   186152 |    34372     10 |       45 |        0
293.85/293.94	c  293s |      16 |   369290 |   187452 |    34372     10 |       45 |        0
295.95/296.02	c  295s |      16 |   371752 |   188852 |    34372     10 |       45 |        0
298.05/298.11	c  297s |      16 |   374346 |   190252 |    34372     10 |       45 |        0
300.05/300.12	c  299s |      16 |   376716 |   191552 |    34372     10 |       45 |        0
302.05/302.13	c  301s |      16 |   378764 |   192752 |    34372     10 |       45 |        0
304.15/304.23	c  303s |      16 |   380708 |   193952 |    34372     10 |       45 |        0
306.25/306.36	c  306s |      16 |   382770 |   195052 |    34372     10 |       45 |        0
308.24/308.39	c  308s |      16 |   385004 |   196352 |    37810     10 |       45 |        0
310.15/310.26	c  309s |      17 |   386627 |   197432 |    37810     10 |       45 |        0
312.24/312.31	c  311s |      17 |   388329 |   198532 |    37810     10 |       45 |        0
314.65/314.71	c  314s |      17 |   390064 |   199732 |    37810     11 |       45 |        0
316.75/316.84	c  316s |      17 |   392324 |   201032 |    37810     11 |       45 |        0
318.74/318.87	c  318s |      17 |   394176 |   202232 |    37810     11 |       45 |        0
320.94/321.02	c  320s |      17 |   396259 |   203632 |    37810     11 |       45 |        0
322.94/323.02	c  322s |      17 |   398128 |   204932 |    37810     11 |       45 |        0
325.04/325.15	c  324s |      17 |   400215 |   206332 |    37810     11 |       45 |        0
327.14/327.20	c  326s |      17 |   402234 |   207532 |    37810     11 |       45 |        0
329.24/329.33	c  328s |      17 |   404096 |   208832 |    37810     11 |       45 |        0
331.34/331.45	c  331s |      17 |   405790 |   210032 |    37810     11 |       45 |        0
333.35/333.46	c  333s |      17 |   407357 |   211132 |    37810     11 |       45 |        0
335.45/335.60	c  335s |      17 |   409095 |   212332 |    37810     11 |       45 |        0
337.54/337.68	c  337s |      17 |   410794 |   213532 |    37810     11 |       45 |        0
339.54/339.69	c  339s |      17 |   412615 |   214732 |    37810     11 |       45 |        0
341.84/341.91	c  341s |      17 |   414282 |   215932 |    37810     11 |       45 |        0
343.84/343.97	c  343s |      17 |   415735 |   217032 |    37810     11 |       45 |        0
345.94/346.01	c  345s |      17 |   417231 |   218032 |    37810     11 |       45 |        0
348.04/348.10	c  347s |      17 |   418797 |   219132 |    37810     11 |       45 |        0
350.14/350.24	c  349s |      17 |   420342 |   220232 |    37810     11 |       45 |        0
352.24/352.34	c  351s |      17 |   421751 |   221132 |    37810     12 |       45 |        0
354.34/354.44	c  354s |      17 |   423662 |   222632 |    37810     12 |       45 |        0
356.44/356.51	c  356s |      17 |   425549 |   223832 |    37810     12 |       45 |        0
358.44/358.53	c  358s |      17 |   427470 |   225032 |    37810     12 |       45 |        0
360.54/360.61	c  360s |      17 |   429412 |   226332 |    37810     12 |       45 |        0
362.73/362.83	c  362s |      17 |   431102 |   227532 |    37810     12 |       45 |        0
364.83/364.93	c  364s |      17 |   432742 |   228632 |    37810     12 |       45 |        0
366.83/366.93	c  366s |      17 |   434285 |   229732 |    37810     12 |       45 |        0
368.93/369.09	c  368s |      17 |   435942 |   230932 |    37810     12 |       45 |        0
371.03/371.17	c  370s |      17 |   437474 |   232032 |    37810     12 |       45 |        0
373.03/373.18	c  372s |      17 |   439828 |   233432 |    37810     12 |       45 |        0
375.14/375.28	c  374s |      17 |   441674 |   234732 |    37810     12 |       45 |        0
377.24/377.33	c  376s |      17 |   443602 |   236032 |    37810     12 |       45 |        0
379.33/379.41	c  379s |      17 |   445378 |   237332 |    37810     12 |       45 |        0
381.43/381.52	c  381s |      17 |   447127 |   238632 |    37810     12 |       45 |        0
384.33/384.41	c  384s |      17 |   448510 |   239532 |    37810     13 |       45 |        0
386.53/386.61	c  386s |      17 |   449364 |   239832 |    37810     13 |       45 |        0
388.73/388.83	c  388s |      17 |   450818 |   240432 |    37810     13 |       45 |        0
390.83/390.90	c  390s |      17 |   453537 |   241632 |    37810     13 |       45 |        0
392.83/392.97	c  392s |      17 |   455714 |   242632 |    37810     13 |       45 |        0
394.94/395.08	c  394s |      17 |   457730 |   243532 |    37810     13 |       45 |        0
397.03/397.20	c  396s |      17 |   460076 |   244432 |    37810     13 |       45 |        0
399.13/399.22	c  398s |      17 |   462794 |   245932 |    37810     13 |       45 |        0
401.23/401.33	c  400s |      17 |   466255 |   247432 |    37810     13 |       45 |        0
403.33/403.41	c  403s |      17 |   469162 |   248932 |    37810     13 |       45 |        0
405.33/405.45	c  405s |      17 |   472024 |   250432 |    37810     13 |       45 |        0
407.43/407.50	c  407s |      17 |   474229 |   251832 |    37810     13 |       45 |        0
408.93/409.09	c  408s |      17 |   476725 |   252601 |    37810     13 |       45 |        0
408.93/409.09	c #cpu_time = 407.677s
408.93/409.09	c #wall_clock_time = 408.727s
408.93/409.09	c #decision = 476725
408.93/409.09	c #random_decision = 522
408.93/409.09	c #conflict = 252601
408.93/409.09	c #restart = 17
408.93/409.09	o 767124410
409.03/409.10	c BCD2: updating upper bound: 4264157729 -> 767124424
409.03/409.12	c BCD2: 0 <= obj <= 767124424
409.03/409.12	c BCD2: #cores=0, #unrelaxed=3795, #relaxed=0, #hardened=0
409.03/409.12	c BCD2: #sat=1 #unsat=1 bias=1/2
409.03/409.12	c Solving starts ...
409.03/409.12	c ============================[ Search Statistics ]============================
409.03/409.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
409.03/409.12	c       |         |          |          |    Limit     GC | Var      | Constra 
409.03/409.12	c =============================================================================
409.03/409.12	c  0.0s |       0 |        0 |        0 |    37810      0 |       45 |        0
409.13/409.23	c  0.1s |       0 |       88 |        1 |    37810      0 |       45 |        0
409.13/409.23	c #cpu_time = 0.103s
409.13/409.23	c #wall_clock_time = 0.103s
409.13/409.23	c #decision = 88
409.13/409.23	c #random_decision = 0
409.13/409.23	c #conflict = 1
409.13/409.23	c #restart = 0
409.13/409.23	c BCD2: found a new core of size 88: cost of the new core is >=729
409.13/409.23	c lower bound updated to 714
409.13/409.23	c BCD2: 729 <= obj <= 767124424
409.13/409.23	c BCD2: #cores=1, #unrelaxed=3707, #relaxed=88, #hardened=0
409.13/409.23	c BCD2: #sat=1 #unsat=2 bias=2/3
409.13/409.25	c Solving starts ...
409.13/409.25	c ============================[ Search Statistics ]============================
409.13/409.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
409.13/409.25	c       |         |          |          |    Limit     GC | Var      | Constra 
409.13/409.25	c =============================================================================
409.13/409.25	c  0.0s |       0 |        0 |        0 |    37810      0 |       45 |        0
409.23/409.36	c  0.1s |       0 |       90 |        1 |    37810      0 |       45 |        0
409.23/409.36	c #cpu_time = 0.111s
409.23/409.36	c #wall_clock_time = 0.111s
409.23/409.36	c #decision = 90
409.23/409.36	c #random_decision = 0
409.23/409.36	c #conflict = 1
409.23/409.36	c #restart = 0
409.23/409.36	c BCD2: found a new core of size 89: cost of the new core is >=729
409.23/409.36	c lower bound updated to 1443
409.23/409.37	c BCD2: 1458 <= obj <= 767124424
409.23/409.37	c BCD2: #cores=2, #unrelaxed=3618, #relaxed=177, #hardened=0
409.23/409.37	c BCD2: #sat=1 #unsat=3 bias=3/4
409.32/409.42	c Solving starts ...
409.32/409.42	c ============================[ Search Statistics ]============================
409.32/409.42	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
409.32/409.42	c       |         |          |          |    Limit     GC | Var      | Constra 
409.32/409.42	c =============================================================================
409.32/409.42	c  0.0s |       0 |        0 |        0 |    37810      0 |       45 |        0
409.62/409.71	c  0.3s |       0 |      138 |        0 |    37810      0 |       45 |        0
409.62/409.71	c #cpu_time = 0.292s
409.62/409.71	c #wall_clock_time = 0.293s
409.62/409.71	c #decision = 138
409.62/409.71	c #random_decision = 0
409.62/409.71	c #conflict = 0
409.62/409.71	c #restart = 0
409.62/409.71	c BCD2: found a new core of size 116: cost of the new core is >=81
409.62/409.71	c lower bound updated to 1524
409.62/409.72	c BCD2: 1539 <= obj <= 767124424
409.62/409.72	c BCD2: #cores=3, #unrelaxed=3502, #relaxed=293, #hardened=0
409.62/409.72	c BCD2: #sat=1 #unsat=4 bias=4/5

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

pid=21283
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.31 2.23 2.19 3/180 21286
/proc/meminfo: memFree=28397524/32872528 swapFree=16204/1518544
[pid=21286] ppid=21283 vsize=691644 CPUtime=0 cores=0,2,4,6
/proc/21286/stat : 21286 (toysat) R 21283 21286 19387 0 -1 4202496 2573 0 0 0 0 0 0 0 20 0 4 0 115014449 708243456 2933 33554432000 4194304 16246674 140736334736512 140736334735936 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21286/statm: 173423 2942 441 2943 0 170317 0
[pid=21286/tid=21287] ppid=21283 vsize=708028 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21287/stat : 21287 (toysat) S 21283 21286 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115014450 725020672 3000 33554432000 4194304 16246674 140736334736512 139751951674608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21286/tid=21288] ppid=21283 vsize=713148 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21288/stat : 21288 (toysat) S 21283 21286 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115014450 730263552 3018 33554432000 4194304 16246674 140736334736512 139751941184752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21286/tid=21289] ppid=21283 vsize=717244 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21289/stat : 21289 (toysat) S 21283 21286 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115014450 734457856 3034 33554432000 4194304 16246674 140736334736512 139751860464816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.31 2.23 2.19 3/180 21286
/proc/meminfo: memFree=28397524/32872528 swapFree=16204/1518544
[pid=21286] ppid=21283 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/21286/stat : 21286 (toysat) R 21283 21286 19387 0 -1 4202496 29213 0 0 0 6 3 0 0 20 0 4 0 115014449 1333334016 29512 33554432000 4194304 16246674 140736334736512 140736334735824 7853005 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21286/statm: 325521 29527 801 2943 0 322415 0
[pid=21286/tid=21287] ppid=21283 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21287/stat : 21287 (toysat) S 21283 21286 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115014450 1333334016 29538 33554432000 4194304 16246674 140736334736512 139751951674608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21286/tid=21288] ppid=21283 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21288/stat : 21288 (toysat) S 21283 21286 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115014450 1333334016 29550 33554432000 4194304 16246674 140736334736512 139751941184752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21286/tid=21289] ppid=21283 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21289/stat : 21289 (toysat) S 21283 21286 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115014450 1333334016 29560 33554432000 4194304 16246674 140736334736512 139751860464816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200591 s]
/proc/loadavg: 2.31 2.23 2.19 3/180 21286
/proc/meminfo: memFree=28397524/32872528 swapFree=16204/1518544
[pid=21286] ppid=21283 vsize=1302084 CPUtime=0.19 cores=0,2,4,6
/proc/21286/stat : 21286 (toysat) R 21283 21286 19387 0 -1 4202496 46428 0 0 0 13 6 0 0 20 0 4 0 115014449 1333334016 46726 33554432000 4194304 16246674 140736334736512 140736334718400 13954914 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21286/statm: 325521 46733 839 2943 0 322415 0
[pid=21286/tid=21287] ppid=21283 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21287/stat : 21287 (toysat) S 21283 21286 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115014450 1333334016 46738 33554432000 4194304 16246674 140736334736512 139751951674608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21286/tid=21288] ppid=21283 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21288/stat : 21288 (toysat) S 21283 21286 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115014450 1333334016 46743 33554432000 4194304 16246674 140736334736512 139751941184752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21286/tid=21289] ppid=21283 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21289/stat : 21289 (toysat) S 21283 21286 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115014450 1333334016 46748 33554432000 4194304 16246674 140736334736512 139751860464816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.300466 s]
/proc/loadavg: 2.31 2.23 2.19 3/180 21286
/proc/meminfo: memFree=28397524/32872528 swapFree=16204/1518544
[pid=21286] ppid=21283 vsize=1302084 CPUtime=0.29 cores=0,2,4,6
/proc/21286/stat : 21286 (toysat) R 21283 21286 19387 0 -1 4202496 64507 0 0 0 21 8 0 0 20 0 4 0 115014449 1333334016 64805 33554432000 4194304 16246674 140736334736512 140736334718400 13956216 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21286/statm: 325521 64813 844 2943 0 322415 0
[pid=21286/tid=21287] ppid=21283 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21287/stat : 21287 (toysat) S 21283 21286 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115014450 1333334016 64818 33554432000 4194304 16246674 140736334736512 139751951674608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21286/tid=21288] ppid=21283 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21288/stat : 21288 (toysat) S 21283 21286 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115014450 1333334016 64823 33554432000 4194304 16246674 140736334736512 139751941184752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21286/tid=21289] ppid=21283 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21289/stat : 21289 (toysat) S 21283 21286 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115014450 1333334016 64828 33554432000 4194304 16246674 140736334736512 139751860464816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700402 s]
/proc/loadavg: 2.31 2.23 2.19 3/180 21286
/proc/meminfo: memFree=28397524/32872528 swapFree=16204/1518544
[pid=21286] ppid=21283 vsize=1302084 CPUtime=0.69 cores=0,2,4,6
/proc/21286/stat : 21286 (toysat) R 21283 21286 19387 0 -1 4202496 117900 0 0 0 54 15 0 0 20 0 4 0 115014449 1333334016 118198 33554432000 4194304 16246674 140736334736512 140736334718400 5600539 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21286/statm: 325521 118203 887 2943 0 322415 0
[pid=21286/tid=21287] ppid=21283 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21287/stat : 21287 (toysat) S 21283 21286 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115014450 1333334016 118206 33554432000 4194304 16246674 140736334736512 139751951674608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21286/tid=21288] ppid=21283 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21288/stat : 21288 (toysat) S 21283 21286 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115014450 1333334016 118210 33554432000 4194304 16246674 140736334736512 139751941184752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21286/tid=21289] ppid=21283 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21289/stat : 21289 (toysat) S 21283 21286 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115014450 1333334016 118211 33554432000 4194304 16246674 140736334736512 139751860464816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1302084

[startup+1.50039 s]
/proc/loadavg: 2.29 2.23 2.19 3/184 21290
/proc/meminfo: memFree=27780164/32872528 swapFree=16204/1518544
[pid=21286] ppid=21283 vsize=1302084 CPUtime=1.49 cores=0,2,4,6
/proc/21286/stat : 21286 (toysat) R 21283 21286 19387 0 -1 4202496 192657 0 0 0 123 26 0 0 20 0 4 0 115014449 1333334016 192955 33554432000 4194304 16246674 140736334736512 140736334718400 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21286/statm: 325521 192962 887 2943 0 322415 0
[pid=21286/tid=21287] ppid=21283 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21287/stat : 21287 (toysat) S 21283 21286 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115014450 1333334016 192966 33554432000 4194304 16246674 140736334736512 139751951674608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21286/tid=21288] ppid=21283 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21288/stat : 21288 (toysat) S 21283 21286 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115014450 1333334016 192971 33554432000 4194304 16246674 140736334736512 139751941184752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21286/tid=21289] ppid=21283 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21289/stat : 21289 (toysat) S 21283 21286 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115014450 1333334016 192973 33554432000 4194304 16246674 140736334736512 139751860464816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1302084

[startup+3.1004 s]
/proc/loadavg: 2.29 2.23 2.19 3/184 21290
/proc/meminfo: memFree=27371336/32872528 swapFree=16204/1518544
[pid=21286] ppid=21283 vsize=1316420 CPUtime=3.09 cores=0,2,4,6
/proc/21286/stat : 21286 (toysat) R 21283 21286 19387 0 -1 4202496 270114 0 0 0 273 36 0 0 20 0 4 0 115014449 1348014080 270412 33554432000 4194304 16246674 140736334736512 140736334735824 5667118 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21286/statm: 329105 270412 893 2943 0 325999 0
[pid=21286/tid=21287] ppid=21283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21287/stat : 21287 (toysat) S 21283 21286 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115014450 1348014080 270412 33554432000 4194304 16246674 140736334736512 139751951674608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21286/tid=21288] ppid=21283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21288/stat : 21288 (toysat) S 21283 21286 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115014450 1348014080 270412 33554432000 4194304 16246674 140736334736512 139751941184752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21286/tid=21289] ppid=21283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21289/stat : 21289 (toysat) S 21283 21286 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115014450 1348014080 270412 33554432000 4194304 16246674 140736334736512 139751860464816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1316420

[startup+6.30041 s]
/proc/loadavg: 2.35 2.24 2.19 4/184 21290
/proc/meminfo: memFree=27316684/32872528 swapFree=16204/1518544
[pid=21286] ppid=21283 vsize=1316420 CPUtime=6.29 cores=0,2,4,6
/proc/21286/stat : 21286 (toysat) R 21283 21286 19387 0 -1 4202496 270294 0 0 0 593 36 0 0 20 0 4 0 115014449 1348014080 270592 33554432000 4194304 16246674 140736334736512 140736334718400 5827824 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21286/statm: 329105 270592 893 2943 0 325999 0
[pid=21286/tid=21287] ppid=21283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21287/stat : 21287 (toysat) S 21283 21286 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115014450 1348014080 270592 33554432000 4194304 16246674 140736334736512 139751951674608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21286/tid=21288] ppid=21283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21288/stat : 21288 (toysat) S 21283 21286 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115014450 1348014080 270592 33554432000 4194304 16246674 140736334736512 139751941184752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21286/tid=21289] ppid=21283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21289/stat : 21289 (toysat) S 21283 21286 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115014450 1348014080 270592 33554432000 4194304 16246674 140736334736512 139751860464816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1316420

[startup+12.7004 s]
/proc/loadavg: 2.40 2.25 2.20 3/184 21290
/proc/meminfo: memFree=27317212/32872528 swapFree=16204/1518544
[pid=21286] ppid=21283 vsize=1316420 CPUtime=12.68 cores=0,2,4,6
/proc/21286/stat : 21286 (toysat) R 21283 21286 19387 0 -1 4202496 270294 0 0 0 1232 36 0 0 20 0 4 0 115014449 1348014080 270592 33554432000 4194304 16246674 140736334736512 140736334718400 5600808 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21286/statm: 329105 270592 893 2943 0 325999 0
[pid=21286/tid=21287] ppid=21283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21287/stat : 21287 (toysat) S 21283 21286 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115014450 1348014080 270592 33554432000 4194304 16246674 140736334736512 139751951674608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21286/tid=21288] ppid=21283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21288/stat : 21288 (toysat) S 21283 21286 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115014450 1348014080 270592 33554432000 4194304 16246674 140736334736512 139751941184752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21286/tid=21289] ppid=21283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21289/stat : 21289 (toysat) S 21283 21286 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115014450 1348014080 270592 33554432000 4194304 16246674 140736334736512 139751860464816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1316420

[startup+25.5005 s]
/proc/loadavg: 2.34 2.25 2.19 3/184 21290
/proc/meminfo: memFree=27318048/32872528 swapFree=16204/1518544
[pid=21286] ppid=21283 vsize=1316420 CPUtime=25.48 cores=0,2,4,6
/proc/21286/stat : 21286 (toysat) R 21283 21286 19387 0 -1 4202496 270294 0 0 0 2512 36 0 0 20 0 4 0 115014449 1348014080 270592 33554432000 4194304 16246674 140736334736512 140736334718400 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21286/statm: 329105 270592 893 2943 0 325999 0
[pid=21286/tid=21287] ppid=21283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21287/stat : 21287 (toysat) S 21283 21286 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115014450 1348014080 270592 33554432000 4194304 16246674 140736334736512 139751951674608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21286/tid=21288] ppid=21283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21288/stat : 21288 (toysat) S 21283 21286 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115014450 1348014080 270592 33554432000 4194304 16246674 140736334736512 139751941184752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21286/tid=21289] ppid=21283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21289/stat : 21289 (toysat) S 21283 21286 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115014450 1348014080 270592 33554432000 4194304 16246674 140736334736512 139751860464816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1316420

[startup+51.1005 s]
/proc/loadavg: 2.36 2.25 2.20 4/183 21290
/proc/meminfo: memFree=27318028/32872528 swapFree=16204/1518544
[pid=21286] ppid=21283 vsize=1316420 CPUtime=51.08 cores=0,2,4,6
/proc/21286/stat : 21286 (toysat) R 21283 21286 19387 0 -1 4202496 270299 0 0 0 5072 36 0 0 20 0 4 0 115014449 1348014080 270597 33554432000 4194304 16246674 140736334736512 140736334718400 5600746 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21286/statm: 329105 270597 897 2943 0 325999 0
[pid=21286/tid=21287] ppid=21283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21287/stat : 21287 (toysat) S 21283 21286 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115014450 1348014080 270597 33554432000 4194304 16246674 140736334736512 139751951674608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21286/tid=21288] ppid=21283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21288/stat : 21288 (toysat) S 21283 21286 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115014450 1348014080 270597 33554432000 4194304 16246674 140736334736512 139751941184752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21286/tid=21289] ppid=21283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21289/stat : 21289 (toysat) S 21283 21286 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115014450 1348014080 270597 33554432000 4194304 16246674 140736334736512 139751860464816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1316420

[startup+102.301 s]
/proc/loadavg: 2.39 2.27 2.20 3/183 21291
/proc/meminfo: memFree=27309448/32872528 swapFree=16204/1518544
[pid=21286] ppid=21283 vsize=1325636 CPUtime=102.28 cores=0,2,4,6
/proc/21286/stat : 21286 (toysat) R 21283 21286 19387 0 -1 4202496 272500 0 0 0 10191 37 0 0 20 0 4 0 115014449 1357451264 272798 33554432000 4194304 16246674 140736334736512 140736334718400 5674006 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21286/statm: 331409 272798 897 2943 0 328303 0
[pid=21286/tid=21287] ppid=21283 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21287/stat : 21287 (toysat) S 21283 21286 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115014450 1357451264 272798 33554432000 4194304 16246674 140736334736512 139751951674608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21286/tid=21288] ppid=21283 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21288/stat : 21288 (toysat) S 21283 21286 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115014450 1357451264 272798 33554432000 4194304 16246674 140736334736512 139751941184752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21286/tid=21289] ppid=21283 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21289/stat : 21289 (toysat) S 21283 21286 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115014450 1357451264 272798 33554432000 4194304 16246674 140736334736512 139751860464816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1325636


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


[startup+222.308 s]
/proc/loadavg: 2.23 2.26 2.20 3/183 21294
/proc/meminfo: memFree=27308156/32872528 swapFree=16204/1518544
[pid=21286] ppid=21283 vsize=1325636 CPUtime=222.26 cores=0,2,4,6
/proc/21286/stat : 21286 (toysat) R 21283 21286 19387 0 -1 4202496 272604 0 0 0 22189 37 0 0 20 0 4 0 115014449 1357451264 272902 33554432000 4194304 16246674 140736334736512 140736334718400 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21286/statm: 331409 272902 898 2943 0 328303 0
[pid=21286/tid=21287] ppid=21283 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21287/stat : 21287 (toysat) S 21283 21286 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115014450 1357451264 272902 33554432000 4194304 16246674 140736334736512 139751951674608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21286/tid=21288] ppid=21283 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21288/stat : 21288 (toysat) S 21283 21286 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115014450 1357451264 272902 33554432000 4194304 16246674 140736334736512 139751941184752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21286/tid=21289] ppid=21283 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21289/stat : 21289 (toysat) S 21283 21286 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115014450 1357451264 272902 33554432000 4194304 16246674 140736334736512 139751860464816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1325636

[startup+282.3 s]
/proc/loadavg: 2.27 2.26 2.20 4/183 21295
/proc/meminfo: memFree=27308436/32872528 swapFree=16204/1518544
[pid=21286] ppid=21283 vsize=1325636 CPUtime=282.24 cores=0,2,4,6
/proc/21286/stat : 21286 (toysat) R 21283 21286 19387 0 -1 4202496 272604 0 0 0 28187 37 0 0 20 0 4 0 115014449 1357451264 272902 33554432000 4194304 16246674 140736334736512 140736334718400 13965488 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21286/statm: 331409 272902 898 2943 0 328303 0
[pid=21286/tid=21287] ppid=21283 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21287/stat : 21287 (toysat) S 21283 21286 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115014450 1357451264 272902 33554432000 4194304 16246674 140736334736512 139751951674608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21286/tid=21288] ppid=21283 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21288/stat : 21288 (toysat) S 21283 21286 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115014450 1357451264 272902 33554432000 4194304 16246674 140736334736512 139751941184752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21286/tid=21289] ppid=21283 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21289/stat : 21289 (toysat) S 21283 21286 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115014450 1357451264 272902 33554432000 4194304 16246674 140736334736512 139751860464816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1325636

[startup+342.3 s]
/proc/loadavg: 2.16 2.22 2.19 3/183 21296
/proc/meminfo: memFree=27296072/32872528 swapFree=16204/1518544
[pid=21286] ppid=21283 vsize=1337924 CPUtime=342.24 cores=0,2,4,6
/proc/21286/stat : 21286 (toysat) R 21283 21286 19387 0 -1 4202496 275676 0 0 0 34186 38 0 0 20 0 4 0 115014449 1370034176 275974 33554432000 4194304 16246674 140736334736512 140736334718400 5673488 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21286/statm: 334481 275974 898 2943 0 331375 0
[pid=21286/tid=21287] ppid=21283 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21287/stat : 21287 (toysat) S 21283 21286 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115014450 1370034176 275974 33554432000 4194304 16246674 140736334736512 139751951674608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21286/tid=21288] ppid=21283 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21288/stat : 21288 (toysat) S 21283 21286 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115014450 1370034176 275974 33554432000 4194304 16246674 140736334736512 139751941184752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21286/tid=21289] ppid=21283 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21289/stat : 21289 (toysat) S 21283 21286 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115014450 1370034176 275974 33554432000 4194304 16246674 140736334736512 139751860464816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1337924

[startup+402.3 s]
/proc/loadavg: 2.19 2.22 2.18 3/183 21297
/proc/meminfo: memFree=27295600/32872528 swapFree=16204/1518544
[pid=21286] ppid=21283 vsize=1337924 CPUtime=402.23 cores=0,2,4,6
/proc/21286/stat : 21286 (toysat) R 21283 21286 19387 0 -1 4202496 275676 0 0 0 40184 39 0 0 20 0 4 0 115014449 1370034176 275974 33554432000 4194304 16246674 140736334736512 140736334718400 5667620 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21286/statm: 334481 275974 898 2943 0 331375 0
[pid=21286/tid=21287] ppid=21283 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21287/stat : 21287 (toysat) S 21283 21286 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115014450 1370034176 275974 33554432000 4194304 16246674 140736334736512 139751951674608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21286/tid=21288] ppid=21283 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21288/stat : 21288 (toysat) S 21283 21286 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115014450 1370034176 275974 33554432000 4194304 16246674 140736334736512 139751941184752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21286/tid=21289] ppid=21283 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21289/stat : 21289 (toysat) S 21283 21286 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115014450 1370034176 275974 33554432000 4194304 16246674 140736334736512 139751860464816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1337924

[startup+462.3 s]
/proc/loadavg: 2.20 2.22 2.18 3/183 21298
/proc/meminfo: memFree=20288024/32872528 swapFree=16204/1518544
[pid=21286] ppid=21283 vsize=8392260 CPUtime=462.22 cores=0,2,4,6
/proc/21286/stat : 21286 (toysat) R 21283 21286 19387 0 -1 4202496 2039288 0 0 0 45934 288 0 0 20 0 4 0 115014449 8593674240 2039586 33554432000 4194304 16246674 140736334736512 140736334735688 4220921 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21286/statm: 2098065 2039586 922 2943 0 2094959 0
[pid=21286/tid=21287] ppid=21283 vsize=8392260 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21287/stat : 21287 (toysat) S 21283 21286 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115014450 8593674240 2039586 33554432000 4194304 16246674 140736334736512 139751951674608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21286/tid=21288] ppid=21283 vsize=8392260 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21288/stat : 21288 (toysat) S 21283 21286 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115014450 8593674240 2039586 33554432000 4194304 16246674 140736334736512 139751941184752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21286/tid=21289] ppid=21283 vsize=8392260 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21289/stat : 21289 (toysat) S 21283 21286 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115014450 8593674240 2039586 33554432000 4194304 16246674 140736334736512 139751860464816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 8392260

[startup+522.3 s]
/proc/loadavg: 2.14 2.20 2.18 3/183 21300
/proc/meminfo: memFree=17863976/32872528 swapFree=16204/1518544
[pid=21286] ppid=21283 vsize=10751556 CPUtime=522.21 cores=0,2,4,6
/proc/21286/stat : 21286 (toysat) R 21283 21286 19387 0 -1 4202496 2629117 0 0 0 51851 370 0 0 20 0 4 0 115014449 11009593344 2629415 33554432000 4194304 16246674 140736334736512 140736334734464 13899629 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21286/statm: 2687889 2629415 926 2943 0 2684783 0
[pid=21286/tid=21287] ppid=21283 vsize=10751556 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21287/stat : 21287 (toysat) S 21283 21286 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115014450 11009593344 2629415 33554432000 4194304 16246674 140736334736512 139751951674608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21286/tid=21288] ppid=21283 vsize=10751556 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21288/stat : 21288 (toysat) S 21283 21286 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115014450 11009593344 2629415 33554432000 4194304 16246674 140736334736512 139751941184528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21286/tid=21289] ppid=21283 vsize=10751556 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21289/stat : 21289 (toysat) S 21283 21286 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115014450 11009593344 2629415 33554432000 4194304 16246674 140736334736512 139751860464816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 10751556

[startup+582.3 s]
/proc/loadavg: 2.14 2.19 2.17 3/183 21301
/proc/meminfo: memFree=14924476/32872528 swapFree=16204/1518544
[pid=21286] ppid=21283 vsize=13685316 CPUtime=582.2 cores=0,2,4,6
/proc/21286/stat : 21286 (toysat) R 21283 21286 19387 0 -1 4202496 3311835 0 0 0 57753 467 0 0 20 0 4 0 115014449 14013763584 3362722 33554432000 4194304 16246674 140736334736512 140736334734464 13899722 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21286/statm: 3421329 3362722 926 2943 0 3418223 0
[pid=21286/tid=21287] ppid=21283 vsize=13685316 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21287/stat : 21287 (toysat) S 21283 21286 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115014450 14013763584 3362722 33554432000 4194304 16246674 140736334736512 139751951674608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21286/tid=21288] ppid=21283 vsize=13685316 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21288/stat : 21288 (toysat) S 21283 21286 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115014450 14013763584 3362722 33554432000 4194304 16246674 140736334736512 139751941184528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21286/tid=21289] ppid=21283 vsize=13685316 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21289/stat : 21289 (toysat) S 21283 21286 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115014450 14013763584 3362722 33554432000 4194304 16246674 140736334736512 139751860464816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 13685316



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+624.1 s]
/proc/loadavg: 2.12 2.18 2.17 3/184 21305
/proc/meminfo: memFree=12831184/32872528 swapFree=16204/1518544
[pid=21286] ppid=21283 vsize=15891012 CPUtime=623.99 cores=0,2,4,6
/proc/21286/stat : 21286 (toysat) R 21283 21286 19387 0 -1 4202496 3863361 0 0 0 61847 552 0 0 20 0 4 0 115014449 16272396288 3914248 33554432000 4194304 16246674 140736334736512 140736334735608 4225154 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21286/statm: 3972753 3914255 926 2943 0 3969647 0
[pid=21286/tid=21287] ppid=21283 vsize=15891012 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21287/stat : 21287 (toysat) S 21283 21286 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115014450 16272396288 3914259 33554432000 4194304 16246674 140736334736512 139751951674608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21286/tid=21288] ppid=21283 vsize=15891012 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21288/stat : 21288 (toysat) S 21283 21286 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115014450 16272396288 3914266 33554432000 4194304 16246674 140736334736512 139751941184752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21286/tid=21289] ppid=21283 vsize=15891012 CPUtime=0 cores=0,2,4,6
/proc/21286/task/21289/stat : 21289 (toysat) S 21283 21286 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115014450 16272396288 3914273 33554432000 4194304 16246674 140736334736512 139751860464816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 623.99
Current children cumulated vsize (KiB) 15891012

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

[startup+624.4 s]
/proc/loadavg: 2.12 2.18 2.17 3/184 21305
/proc/meminfo: memFree=12831184/32872528 swapFree=16204/1518544
[pid=21286] ppid=21283 vsize=0 CPUtime=624.29 cores=0,2,4,6
/proc/21286/stat : 21286 (toysat) Z 21283 21286 19387 0 -1 4203532 3863687 0 0 0 61848 581 0 0 20 0 2 0 115014449 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21286/statm: 0 0 0 0 0 0 0
[pid=21286/tid=21288] ppid=21283 vsize=0 CPUtime=0.28 cores=0,2,4,6
/proc/21286/task/21288/stat : 21288 (toysat) R 21283 21286 19387 0 -1 4203588 8 0 0 0 0 28 0 0 20 0 2 0 115014450 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 624.29
Current children cumulated vsize (KiB) 0

[startup+624.8 s]
/proc/loadavg: 2.12 2.18 2.17 3/182 21305
/proc/meminfo: memFree=25668472/32872528 swapFree=16204/1518544
[pid=21286] ppid=21283 vsize=0 CPUtime=624.7 cores=0,2,4,6
/proc/21286/stat : 21286 (toysat) Z 21283 21286 19387 0 -1 4203532 3863687 0 0 0 61848 622 0 0 20 0 2 0 115014449 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21286/statm: 0 0 0 0 0 0 0
[pid=21286/tid=21288] ppid=21283 vsize=0 CPUtime=0.69 cores=0,2,4,6
/proc/21286/task/21288/stat : 21288 (toysat) R 21283 21286 19387 0 -1 4203588 8 0 0 0 0 69 0 0 20 0 2 0 115014450 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 624.7
Current children cumulated vsize (KiB) 0

[startup+624.907 s]
/proc/loadavg: 2.12 2.18 2.17 3/182 21305
/proc/meminfo: memFree=25668472/32872528 swapFree=16204/1518544
[pid=21286] ppid=21283 vsize=0 CPUtime=624.8 cores=0,2,4,6
/proc/21286/stat : 21286 (toysat) Z 21283 21286 19387 0 -1 4203532 3863687 0 0 0 61848 632 0 0 20 0 2 0 115014449 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21286/statm: 0 0 0 0 0 0 0
[pid=21286/tid=21288] ppid=21283 vsize=0 CPUtime=0.79 cores=0,2,4,6
/proc/21286/task/21288/stat : 21288 (toysat) R 21283 21286 19387 0 -1 4203588 8 0 0 0 0 79 0 0 20 0 2 0 115014450 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 624.8
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 624.944
CPU time (s): 624.834
CPU user time (s): 618.481
CPU system time (s): 6.35303
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 15891012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 618.481
system time used= 6.35303
maximum resident set size= 15658296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3863687
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= 68
involuntary context switches= 667

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.00139 second user time and 5.66714 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-07 22:20:16
IDJOB=4079403
IDBENCH=92719
IDSOLVER=2542
FILE ID=node129/4079403-1465330816
RUNJOBID= node129-1465311042-19403
PBS_JOBID= 19850114
Free space on /tmp= 71696 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_6_mh.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079403-1465330816/watcher-4079403-1465330816 -o /tmp/evaluation-result-4079403-1465330816/solver-4079403-1465330816 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1465311042-19403 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079403-1465330816.opb

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

MD5SUM BENCH= 3266e32b2a945b684ae99382e7a5d59c
RANDOM SEED=1891857584

node129.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.715
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.715
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:        28397788 kB
Buffers:           36420 kB
Cached:           219036 kB
SwapCached:         1620 kB
Active:          2085224 kB
Inactive:         128564 kB
Active(anon):    1955768 kB
Inactive(anon):     4672 kB
Active(file):     129456 kB
Inactive(file):   123892 kB
Unevictable:     1518544 kB
Mlocked:           16204 kB
SwapTotal:      67108856 kB
SwapFree:       67098824 kB
Dirty:             16728 kB
Writeback:             0 kB
AnonPages:       3467676 kB
Mapped:            11736 kB
Shmem:                 0 kB
Slab:             604448 kB
SReclaimable:      48544 kB
SUnreclaim:       555904 kB
KernelStack:        1528 kB
PageTables:        11060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3619352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1574912 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= 71680 MiB
End job on node129 at 2016-06-07 22:30:41