Trace number 4079414

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) 636.763 636.902

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Multihop/
normalized-minisat25_6_4_7_mh.opb
MD5SUM73423b295bfc925a3da39b38540ddf2d
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark7782565
Best CPU time to get the best result obtained on this benchmark1800.14
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables31350
Total number of constraints73332
Number of constraints which are clauses57050
Number of constraints which are cardinality constraints (but not clauses)32
Number of constraints which are nor clauses,nor cardinality constraints16250
Minimum length of a constraint2
Maximum length of a constraint925
Number of terms in the objective function 16825
Biggest coefficient in the objective function 99252847
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 12981387185
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 99252847
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 12981387185
Number of bits of the biggest sum of numbers34
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:09:39+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-4079414-1465330179.opb"]
0.00/0.01	c use --random-gen="2820216962 3617318153 3032903122 3010351395 450658771 2903240963 658268513 2644829003 1761586727 896833410 4180310291 1885700616 812600319 3830324450 1658796832 3031596809 2082113463 4128741668 839138689 3911774538 1043602044 1869523778 820169193 1624362921 478103419 1359931444 1379382864 2555532659 2050222450 261575590 1461483103 3269841648 639237298 3056350785 663625599 1009867667 3024704759 976004096 3253212545 1965220144 1515578202 484647827 1527544840 3368616077 3845055427 1291082303 2167536966 3830144325 879855341 4228065245 3394720600 4105330958 3105691865 35693335 3819118823 3619609523 787529413 1941962288 1575318734 2335921536 2814172354 2634037338 2863237248 1611683349 475021953 2060884843 3163165601 1366225488 3195630013 541005658 1717259092 2885429604 792525388 3917975628 2013043021 2350212172 618928145 3498525285 2389836709 2696703575 5405432 1719380875 549245864 1082516940 3867804429 2187577718 694402608 598501839 3004574940 3382364175 2220677132 2061601309 3662569163 4263909176 449996542 1052849765 583114600 1633280071 1791797334 3707698827 2638952087 2354649182 626171301 1504090583 2146428200 1644773083 1404632943 1671940946 2598847581 2888101750 2377940136 1795406072 1318275441 782576935 3184317370 3853627154 1222212882 83188828 2555920666 779431480 390372444 3080361238 305472374 3939564282 974361217 822711553 3746826664 1418851750 1373947984 1464828352 2492529330 201835254 1086940492 2449256423 4109313041 3348812918 46112601 793774922 709488840 4072233218 4044416179 4020525867 3686875150 1900376165 1256000902 3802976076 2742075411 3554996113 1533194378 1188065184 2039015514 321831276 4196196663 351310680 2170993080 3103407418 3334272141 3569571597 3038584005 3982032967 3664030669 3423278420 3235316280 768780684 1771707222 4134816020 1211212316 665869752 2192125650 373614756 3710112679 2384209990 3851389541 122915680 1513366071 2892078530 3776711441 3665829137 1744319578 2942634357 3932667760 20940775 4138029804 315637836 1240331882 4266848946 3574976309 3785502080 3880034296 2426489483 2539947579 1894325790 2598330088 3563041379 945034194 1314199538 989867973 561815099 2675874886 2280388771 1157597720 803802574 844493215 1960279830 4201207181 4271632731 1898553536 1597953174 3201975432 2353296521 4188012686 1797523480 3973736358 3428177784 91774565 1432114641 3171611566 464445506 1478333370 1589896376 2551498380 449624652 3351914251 838714017 2270820921 68914599 4049938075 2496205065 4046654555 1899737439 1429345781 3486343483 2516112973 2343405134 1519711335 3801231950 661698036 2127271935 225793122 2968461021 1647196243 2504461515 4163082946 1486506642 3943668447 968410962 2036125531 1008602341 442386755 2693535235 3886546663 1632727814 1958982511 1027385854 1070737539 149293379 255 362436" option to reproduce the execution
0.49/0.51	c #vars 31350
0.49/0.51	c #constraints 73332
1.59/1.67	c BCD2: Hardening is enabled.
1.59/1.67	c BCD2: BiasedSearch is enabled.
1.59/1.67	c Solving starts ...
1.59/1.67	c ============================[ Search Statistics ]============================
1.59/1.67	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.59/1.67	c       |         |          |          |    Limit     GC | Var      | Constra 
1.59/1.67	c =============================================================================
1.79/1.84	c  0.0s |       0 |        0 |        0 |    35294      0 |       75 |        0
2.30/2.33	c  0.5s |       1 |      181 |      100 |    35294      0 |       75 |        0
2.59/2.67	c  0.8s |       2 |      898 |      250 |    38824      0 |       75 |        0
5.59/5.68	c  3.8s |       2 |     2082 |      450 |    42707      0 |       75 |        0
6.29/6.35	c  4.5s |       3 |     2192 |      475 |    42707      0 |       75 |        0
10.38/10.45	c  8.6s |       3 |     4202 |      675 |    46978      0 |       75 |        0
11.48/11.51	c  9.7s |       4 |     5686 |      813 |    46978      0 |       75 |        0
13.48/13.59	c 11.8s |       4 |     9199 |     1313 |    51676      0 |       75 |        0
13.58/13.61	c 11.8s |       5 |     9242 |     1320 |    51676      0 |       75 |        0
15.78/15.88	c 14.0s |       5 |    11925 |     1720 |    56844      0 |       75 |        0
16.78/16.80	c 15.0s |       6 |    12994 |     2081 |    62529      0 |       75 |        0
18.79/18.82	c 17.0s |       6 |    14940 |     2681 |    62529      0 |       75 |        0
20.38/20.48	c 18.6s |       7 |    16765 |     3223 |    68782      0 |       75 |        0
22.78/22.81	c 21.0s |       7 |    23346 |     3823 |    68782      0 |       75 |        0
25.29/25.38	c 23.5s |       7 |    25090 |     4123 |    68782      0 |       75 |        0
27.49/27.60	c 25.8s |       7 |    27336 |     4823 |    68782      0 |       75 |        0
27.88/27.95	c 26.1s |       8 |    27591 |     4936 |    75661      0 |       75 |        0
30.28/30.34	c 28.5s |       8 |    29101 |     5436 |    75661      0 |       75 |        0
32.48/32.53	c 30.7s |       8 |    30284 |     5936 |    75661      0 |       75 |        0
34.58/34.67	c 32.8s |       8 |    31913 |     6536 |    75661      0 |       75 |        0
36.78/36.84	c 35.0s |       8 |    33562 |     7036 |    75661      0 |       75 |        0
38.58/38.68	c 36.8s |       9 |    34989 |     7506 |    83228      0 |       75 |        0
40.78/40.88	c 39.0s |       9 |    36454 |     8006 |    83228      0 |       75 |        0
43.38/43.43	c 41.6s |       9 |    38380 |     8206 |    83228      0 |       75 |        0
46.28/46.39	c 44.6s |       9 |    39151 |     8406 |    83228      0 |       75 |        0
49.68/49.70	c 47.9s |       9 |    40396 |     8606 |    83228      0 |       75 |        0
51.68/51.75	c 49.9s |       9 |    42146 |     9006 |    83228      0 |       75 |        0
53.77/53.88	c 52.0s |       9 |    43672 |     9506 |    83228      0 |       75 |        0
55.98/56.00	c 54.2s |       9 |    45318 |    10006 |    83228      0 |       75 |        0
58.29/58.40	c 56.6s |       9 |    47736 |    10606 |    83228      0 |       75 |        0
60.49/60.57	c 58.7s |       9 |    49086 |    11106 |    83228      0 |       75 |        0
61.48/61.54	c 59.7s |      10 |    49648 |    11361 |    91551      0 |       75 |        0
63.58/63.68	c 61.8s |      10 |    51025 |    11761 |    91551      0 |       75 |        0
65.78/65.88	c 64.0s |      10 |    52496 |    12361 |    91551      0 |       75 |        0
67.88/67.96	c 66.1s |      10 |    53555 |    12861 |    91551      0 |       75 |        0
70.28/70.36	c 68.5s |      10 |    55285 |    13461 |    91551      0 |       75 |        0
72.38/72.48	c 70.6s |      10 |    56611 |    13961 |    91551      0 |       75 |        0
74.38/74.49	c 72.7s |      10 |    58341 |    14461 |    91551      0 |       75 |        0
76.58/76.62	c 74.8s |      10 |    59937 |    15061 |    91551      0 |       75 |        0
78.98/79.03	c 77.2s |      10 |    61648 |    15661 |    91551      0 |       75 |        0
81.28/81.40	c 79.6s |      10 |    63310 |    16161 |    91551      0 |       75 |        0
83.38/83.45	c 81.6s |      10 |    64395 |    16661 |    91551      0 |       75 |        0
85.58/85.68	c 83.8s |      11 |    65706 |    17144 |   100707      0 |       75 |        0
88.38/88.45	c 86.6s |      11 |    67098 |    17644 |   100707      0 |       75 |        0
90.88/90.91	c 89.1s |      11 |    68217 |    18044 |   100707      0 |       75 |        0
92.98/93.07	c 91.2s |      11 |    69179 |    18344 |   100707      0 |       75 |        0
95.48/95.56	c 93.7s |      11 |    70115 |    18744 |   100707      0 |       75 |        0
97.48/97.59	c 95.7s |      11 |    71365 |    19144 |   100707      0 |       75 |        0
99.88/99.95	c 98.1s |      11 |    72864 |    19744 |   100707      0 |       75 |        0
102.28/102.33	c  100s |      11 |    73990 |    20144 |   100707      0 |       75 |        0
104.78/104.80	c  102s |      11 |    75170 |    20644 |   100707      0 |       75 |        0
107.08/107.16	c  105s |      11 |    76211 |    21044 |   100707      0 |       75 |        0
109.48/109.53	c  107s |      11 |    77125 |    21444 |   100707      0 |       75 |        0
111.47/111.57	c  109s |      11 |    78267 |    21844 |   100707      0 |       75 |        0
113.57/113.61	c  111s |      11 |    79283 |    22244 |   100707      0 |       75 |        0
115.77/115.87	c  114s |      11 |    80397 |    22644 |   100707      0 |       75 |        0
118.37/118.45	c  116s |      11 |    81466 |    23044 |   100707      0 |       75 |        0
120.77/120.84	c  119s |      11 |    82526 |    23444 |   100707      0 |       75 |        0
122.97/123.00	c  121s |      11 |    83563 |    23844 |   100707      0 |       75 |        0
125.07/125.13	c  123s |      11 |    84616 |    24344 |   100707      0 |       75 |        0
127.07/127.19	c  125s |      11 |    85546 |    24744 |   100707      0 |       75 |        0
129.37/129.40	c  127s |      11 |    86564 |    25144 |   100707      0 |       75 |        0
131.77/131.87	c  130s |      11 |    87485 |    25544 |   100707      0 |       75 |        0
133.08/133.15	c  131s |      12 |    88063 |    25819 |   110778      0 |       75 |        0
135.07/135.19	c  133s |      12 |    89029 |    26219 |   110778      0 |       75 |        0
137.37/137.41	c  135s |      12 |    89902 |    26619 |   110778      0 |       75 |        0
139.87/139.93	c  138s |      12 |    90970 |    27119 |   110778      0 |       75 |        0
141.98/142.07	c  140s |      12 |    91765 |    27519 |   110778      0 |       75 |        0
144.77/144.88	c  143s |      12 |    92687 |    27919 |   110778      0 |       75 |        0
147.27/147.31	c  145s |      12 |    93419 |    28319 |   110778      0 |       75 |        0
149.47/149.58	c  147s |      12 |    94037 |    28719 |   110778      0 |       75 |        0
151.47/151.59	c  149s |      12 |    94692 |    29119 |   110778      0 |       75 |        0
153.87/153.94	c  152s |      12 |    96067 |    29519 |   110778      0 |       75 |        0
156.07/156.16	c  154s |      12 |    97409 |    29919 |   110778      0 |       75 |        0
158.57/158.63	c  156s |      12 |    98681 |    30419 |   110778      0 |       75 |        0
160.57/160.69	c  158s |      12 |   100238 |    31019 |   110778      0 |       75 |        0
163.07/163.12	c  161s |      12 |   101706 |    31519 |   110778      0 |       75 |        0
165.07/165.13	c  163s |      12 |   102865 |    31919 |   110778      0 |       75 |        0
167.27/167.36	c  165s |      12 |   104520 |    32419 |   110778      0 |       75 |        0
169.77/169.81	c  167s |      12 |   105939 |    32919 |   110778      0 |       75 |        0
172.06/172.12	c  170s |      12 |   107740 |    33519 |   110778      0 |       75 |        0
174.06/174.18	c  172s |      12 |   108930 |    33919 |   110778      0 |       75 |        0
176.16/176.23	c  174s |      12 |   110330 |    34419 |   110778      0 |       75 |        0
178.46/178.57	c  176s |      12 |   111333 |    34919 |   110778      0 |       75 |        0
180.86/180.94	c  179s |      12 |   112388 |    35419 |   110778      0 |       75 |        0
182.96/183.00	c  181s |      12 |   113229 |    35819 |   110778      0 |       75 |        0
184.96/185.07	c  183s |      12 |   114123 |    36319 |   110778      0 |       75 |        0
187.36/187.48	c  185s |      12 |   115308 |    36819 |   110778      0 |       75 |        0
189.36/189.48	c  187s |      12 |   116099 |    37219 |   110778      0 |       75 |        0
191.66/191.79	c  189s |      12 |   117077 |    37719 |   110778      0 |       75 |        0
194.06/194.15	c  192s |      12 |   117892 |    38119 |   110778      0 |       75 |        0
196.16/196.25	c  194s |      12 |   118548 |    38519 |   110778      0 |       75 |        0
197.66/197.79	c  195s |      13 |   119144 |    38832 |   121856      0 |       75 |        0
199.96/200.03	c  198s |      13 |   119830 |    39232 |   121856      0 |       75 |        0
202.06/202.12	c  200s |      13 |   120519 |    39632 |   121856      0 |       75 |        0
204.26/204.37	c  202s |      13 |   121171 |    40032 |   121856      0 |       75 |        0
206.36/206.45	c  204s |      13 |   121779 |    40432 |   121856      0 |       75 |        0
208.46/208.55	c  206s |      13 |   122744 |    40832 |   121856      0 |       75 |        0
210.76/210.87	c  209s |      13 |   123988 |    41332 |   121856      0 |       75 |        0
213.06/213.19	c  211s |      13 |   125530 |    42032 |   121856      0 |       75 |        0
215.16/215.24	c  213s |      13 |   126954 |    42532 |   121856      0 |       75 |        0
217.16/217.28	c  215s |      13 |   128029 |    43032 |   121856      0 |       75 |        0
219.36/219.45	c  217s |      13 |   129271 |    43532 |   121856      0 |       75 |        0
221.76/221.89	c  220s |      13 |   130206 |    44032 |   121856      0 |       75 |        0
224.06/224.15	c  222s |      13 |   131315 |    44432 |   121856      0 |       75 |        0
226.76/226.83	c  224s |      13 |   132469 |    44932 |   121856      0 |       75 |        0
228.96/229.05	c  227s |      13 |   133416 |    45332 |   121856      0 |       75 |        0
231.36/231.48	c  229s |      13 |   134725 |    45832 |   121856      0 |       75 |        0
233.66/233.73	c  231s |      13 |   135853 |    46332 |   121856      0 |       75 |        0
236.06/236.11	c  234s |      13 |   136740 |    46732 |   121856      0 |       75 |        0
238.05/238.14	c  236s |      13 |   137442 |    47132 |   121856      0 |       75 |        0
240.36/240.48	c  238s |      13 |   138502 |    47532 |   121856      0 |       75 |        0
242.55/242.61	c  240s |      13 |   139262 |    47932 |   121856      0 |       75 |        0
244.65/244.72	c  242s |      13 |   140018 |    48332 |   121856      0 |       75 |        0
246.65/246.75	c  244s |      13 |   140901 |    48732 |   121856      0 |       75 |        0
249.15/249.27	c  247s |      13 |   141699 |    49132 |   121856      0 |       75 |        0
251.45/251.52	c  249s |      13 |   142496 |    49532 |   121856      0 |       75 |        0
253.85/253.94	c  252s |      13 |   143238 |    49932 |   121856      0 |       75 |        0
256.15/256.21	c  254s |      13 |   144028 |    50332 |   121856      0 |       75 |        0
258.65/258.72	c  256s |      13 |   144777 |    50732 |   121856      0 |       75 |        0
261.05/261.13	c  259s |      13 |   145413 |    51132 |   121856      0 |       75 |        0
263.55/263.62	c  261s |      13 |   146132 |    51532 |   121856      0 |       75 |        0
266.26/266.39	c  264s |      13 |   146844 |    51932 |   121856      0 |       75 |        0
268.75/268.85	c  267s |      13 |   147471 |    52332 |   121856      0 |       75 |        0
270.75/270.86	c  269s |      13 |   147883 |    52632 |   121856      0 |       75 |        0
272.95/273.04	c  271s |      13 |   149115 |    53132 |   121856      0 |       75 |        0
275.06/275.13	c  273s |      13 |   150476 |    53632 |   121856      0 |       75 |        0
277.45/277.56	c  275s |      13 |   151784 |    54132 |   121856      0 |       75 |        0
279.85/279.95	c  278s |      13 |   152962 |    54632 |   121856      0 |       75 |        0
281.85/281.97	c  280s |      13 |   153942 |    55032 |   121856      0 |       75 |        0
284.15/284.21	c  282s |      13 |   155291 |    55532 |   121856      0 |       75 |        0
286.25/286.31	c  284s |      13 |   156436 |    56032 |   121856      0 |       75 |        0
288.55/288.62	c  286s |      13 |   157682 |    56532 |   121856      0 |       75 |        0
290.55/290.68	c  288s |      13 |   158916 |    56932 |   121856      0 |       75 |        0
292.85/292.98	c  291s |      13 |   159836 |    57432 |   121856      0 |       75 |        0
295.35/295.43	c  293s |      13 |   160906 |    57932 |   121856      0 |       75 |        0
297.45/297.52	c  295s |      14 |   161727 |    58352 |   134042      0 |       75 |        0
299.75/299.89	c  298s |      14 |   162661 |    58752 |   134042      0 |       75 |        0
303.74/303.81	c  301s |      14 |   164269 |    59052 |   134042      0 |       75 |        0
306.64/306.78	c  304s |      14 |   164656 |    59152 |   134042      0 |       75 |        0
309.15/309.24	c  307s |      14 |   166259 |    59752 |   134042      0 |       75 |        0
311.44/311.53	c  309s |      14 |   167742 |    60252 |   134042      0 |       75 |        0
313.64/313.72	c  311s |      14 |   168764 |    60752 |   134042      0 |       75 |        0
315.75/315.88	c  314s |      14 |   170067 |    61252 |   134042      0 |       75 |        0
317.95/318.05	c  316s |      14 |   171081 |    61752 |   134042      0 |       75 |        0
320.24/320.32	c  318s |      14 |   172090 |    62252 |   134042      0 |       75 |        0
322.25/322.32	c  320s |      14 |   172836 |    62652 |   134042      0 |       75 |        0
324.45/324.53	c  322s |      14 |   173754 |    63052 |   134042      0 |       75 |        0
326.75/326.85	c  325s |      14 |   174970 |    63552 |   134042      0 |       75 |        0
328.85/328.91	c  327s |      14 |   175916 |    63952 |   134042      0 |       75 |        0
331.05/331.11	c  329s |      14 |   176705 |    64352 |   134042      0 |       75 |        0
333.35/333.47	c  331s |      14 |   177690 |    64752 |   134042      0 |       75 |        0
335.74/335.82	c  333s |      14 |   178550 |    65152 |   134042      0 |       75 |        0
337.84/337.92	c  336s |      14 |   179317 |    65552 |   134042      0 |       75 |        0
340.34/340.48	c  338s |      14 |   180364 |    66052 |   134042      0 |       75 |        0
342.63/342.72	c  340s |      14 |   181033 |    66452 |   134042      0 |       75 |        0
344.63/344.78	c  342s |      14 |   181880 |    66852 |   134042      0 |       75 |        0
346.83/346.92	c  345s |      14 |   182656 |    67252 |   134042      0 |       75 |        0
349.23/349.38	c  347s |      14 |   183651 |    67752 |   134042      0 |       75 |        0
351.53/351.63	c  349s |      14 |   184393 |    68152 |   134042      0 |       75 |        0
353.83/353.97	c  352s |      14 |   185340 |    68652 |   134042      0 |       75 |        0
356.23/356.31	c  354s |      14 |   186057 |    69052 |   134042      0 |       75 |        0
358.33/358.45	c  356s |      14 |   186909 |    69452 |   134042      0 |       75 |        0
360.43/360.57	c  358s |      14 |   187673 |    69852 |   134042      0 |       75 |        0
362.53/362.67	c  360s |      14 |   188386 |    70252 |   134042      0 |       75 |        0
364.73/364.86	c  363s |      14 |   189198 |    70652 |   134042      0 |       75 |        0
366.83/366.95	c  365s |      14 |   190024 |    71052 |   134042      0 |       75 |        0
369.13/369.24	c  367s |      14 |   190730 |    71452 |   134042      0 |       75 |        0
371.53/371.63	c  369s |      14 |   191321 |    71852 |   134042      0 |       75 |        0
373.83/373.94	c  372s |      14 |   192265 |    72252 |   134042      0 |       75 |        0
373.83/373.97	c  372s |      14 |   192684 |    72252 |   134042      0 |       75 |        0
373.83/373.97	c #cpu_time = 371.145s
373.83/373.97	c #wall_clock_time = 372.110s
373.83/373.97	c #decision = 192684
373.83/373.97	c #random_decision = 133
373.83/373.97	c #conflict = 72252
373.83/373.97	c #restart = 14
373.83/373.98	o 341975978
373.94/374.02	c BCD2: updating upper bound: 12981387185 -> 341976002
373.94/374.09	c BCD2: 0 <= obj <= 341976002
373.94/374.09	c BCD2: #cores=0, #unrelaxed=16825, #relaxed=0, #hardened=0
373.94/374.09	c BCD2: #sat=1 #unsat=1 bias=1/2
373.94/374.10	c Solving starts ...
373.94/374.10	c ============================[ Search Statistics ]============================
373.94/374.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
373.94/374.10	c       |         |          |          |    Limit     GC | Var      | Constra 
373.94/374.10	c =============================================================================
373.94/374.10	c  0.0s |       0 |        0 |        0 |   134042      0 |       75 |        0
374.23/374.33	c  0.2s |       0 |      270 |        1 |   134042      0 |       75 |        0
374.23/374.33	c #cpu_time = 0.221s
374.23/374.33	c #wall_clock_time = 0.221s
374.23/374.33	c #decision = 270
374.23/374.33	c #random_decision = 0
374.23/374.33	c #conflict = 1
374.23/374.33	c #restart = 0
374.23/374.33	c BCD2: found a new core of size 270: cost of the new core is >=216
374.23/374.33	c lower bound updated to 191
374.23/374.36	c BCD2: 216 <= obj <= 341976002
374.23/374.36	c BCD2: #cores=1, #unrelaxed=16555, #relaxed=270, #hardened=0
374.23/374.36	c BCD2: #sat=1 #unsat=2 bias=2/3

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

pid=21167
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.26 2.22 2.18 3/179 21170
/proc/meminfo: memFree=28395788/32872528 swapFree=16204/1518544
[pid=21170] ppid=21167 vsize=704956 CPUtime=0 cores=0,2,4,6
/proc/21170/stat : 21170 (toysat) R 21167 21170 19387 0 -1 4202496 2627 0 0 0 0 0 0 0 20 0 4 0 114950727 721874944 2988 33554432000 4194304 16246674 140736172794416 140736172793840 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21170/statm: 177007 2997 441 2943 0 173901 0
[pid=21170/tid=21171] ppid=21167 vsize=722364 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21171/stat : 21171 (toysat) S 21167 21170 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114950727 739700736 3056 33554432000 4194304 16246674 140736172794416 139656800742640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21170/tid=21172] ppid=21167 vsize=726460 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21172/stat : 21172 (toysat) S 21167 21170 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114950727 743895040 3072 33554432000 4194304 16246674 140736172794416 139656790252784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21170/tid=21173] ppid=21167 vsize=730556 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21173/stat : 21173 (toysat) S 21167 21170 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114950727 748089344 3089 33554432000 4194304 16246674 140736172794416 139656779779248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.26 2.22 2.18 3/179 21170
/proc/meminfo: memFree=28395788/32872528 swapFree=16204/1518544
[pid=21170] ppid=21167 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/21170/stat : 21170 (toysat) R 21167 21170 19387 0 -1 4202496 31244 0 0 0 5 4 0 0 20 0 4 0 114950727 1334382592 31543 33554432000 4194304 16246674 140736172794416 140736172793728 7364033 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21170/statm: 325777 31557 800 2943 0 322671 0
[pid=21170/tid=21171] ppid=21167 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21171/stat : 21171 (toysat) S 21167 21170 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114950727 1334382592 31568 33554432000 4194304 16246674 140736172794416 139656800742640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21170/tid=21172] ppid=21167 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21172/stat : 21172 (toysat) S 21167 21170 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114950727 1334382592 31579 33554432000 4194304 16246674 140736172794416 139656790252784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21170/tid=21173] ppid=21167 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21173/stat : 21173 (toysat) S 21167 21170 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114950727 1334382592 31590 33554432000 4194304 16246674 140736172794416 139656779779248 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) 1303108

[startup+0.200587 s]
/proc/loadavg: 2.26 2.22 2.18 3/179 21170
/proc/meminfo: memFree=28395788/32872528 swapFree=16204/1518544
[pid=21170] ppid=21167 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/21170/stat : 21170 (toysat) R 21167 21170 19387 0 -1 4202496 45809 0 0 0 13 6 0 0 20 0 4 0 114950727 1344868352 46618 33554432000 4194304 16246674 140736172794416 140736172793728 7364368 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21170/statm: 328337 46618 801 2943 0 325231 0
[pid=21170/tid=21171] ppid=21167 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21171/stat : 21171 (toysat) S 21167 21170 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114950727 1344868352 46618 33554432000 4194304 16246674 140736172794416 139656800742640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21170/tid=21172] ppid=21167 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21172/stat : 21172 (toysat) S 21167 21170 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114950727 1344868352 46618 33554432000 4194304 16246674 140736172794416 139656790252784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21170/tid=21173] ppid=21167 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21173/stat : 21173 (toysat) S 21167 21170 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114950727 1344868352 46618 33554432000 4194304 16246674 140736172794416 139656779779248 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) 1313348

[startup+0.300501 s]
/proc/loadavg: 2.26 2.22 2.18 3/179 21170
/proc/meminfo: memFree=28395788/32872528 swapFree=16204/1518544
[pid=21170] ppid=21167 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/21170/stat : 21170 (toysat) R 21167 21170 19387 0 -1 4202496 56038 0 0 0 22 7 0 0 20 0 4 0 114950727 1344868352 56847 33554432000 4194304 16246674 140736172794416 140736172793728 4207629 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21170/statm: 328337 56847 801 2943 0 325231 0
[pid=21170/tid=21171] ppid=21167 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21171/stat : 21171 (toysat) S 21167 21170 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114950727 1344868352 56847 33554432000 4194304 16246674 140736172794416 139656800742640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21170/tid=21172] ppid=21167 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21172/stat : 21172 (toysat) S 21167 21170 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114950727 1344868352 56847 33554432000 4194304 16246674 140736172794416 139656790252784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21170/tid=21173] ppid=21167 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21173/stat : 21173 (toysat) S 21167 21170 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114950727 1344868352 56847 33554432000 4194304 16246674 140736172794416 139656779779248 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) 1313348

[startup+0.700413 s]
/proc/loadavg: 2.26 2.22 2.18 3/179 21170
/proc/meminfo: memFree=28395788/32872528 swapFree=16204/1518544
[pid=21170] ppid=21167 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/21170/stat : 21170 (toysat) R 21167 21170 19387 0 -1 4202496 64217 0 0 0 61 8 0 0 20 0 4 0 114950727 1344868352 65026 33554432000 4194304 16246674 140736172794416 140736172793728 13950986 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21170/statm: 328337 65026 839 2943 0 325231 0
[pid=21170/tid=21171] ppid=21167 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21171/stat : 21171 (toysat) S 21167 21170 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114950727 1344868352 65026 33554432000 4194304 16246674 140736172794416 139656800742640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21170/tid=21172] ppid=21167 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21172/stat : 21172 (toysat) S 21167 21170 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114950727 1344868352 65026 33554432000 4194304 16246674 140736172794416 139656790252784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21170/tid=21173] ppid=21167 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21173/stat : 21173 (toysat) S 21167 21170 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114950727 1344868352 65026 33554432000 4194304 16246674 140736172794416 139656779779248 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) 1313348

[startup+1.50039 s]
/proc/loadavg: 2.26 2.22 2.18 3/183 21174
/proc/meminfo: memFree=27918848/32872528 swapFree=16204/1518544
[pid=21170] ppid=21167 vsize=1313348 CPUtime=1.48 cores=0,2,4,6
/proc/21170/stat : 21170 (toysat) R 21167 21170 19387 0 -1 4202496 193052 0 0 0 120 28 0 0 20 0 4 0 114950727 1344868352 193861 33554432000 4194304 16246674 140736172794416 140736172776320 12457726 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21170/statm: 328337 193868 844 2943 0 325231 0
[pid=21170/tid=21171] ppid=21167 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21171/stat : 21171 (toysat) S 21167 21170 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114950727 1344868352 193878 33554432000 4194304 16246674 140736172794416 139656800742640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21170/tid=21172] ppid=21167 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21172/stat : 21172 (toysat) S 21167 21170 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114950727 1344868352 193883 33554432000 4194304 16246674 140736172794416 139656790252784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21170/tid=21173] ppid=21167 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21173/stat : 21173 (toysat) S 21167 21170 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114950727 1344868352 193888 33554432000 4194304 16246674 140736172794416 139656779779248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1313348

[startup+3.10041 s]
/proc/loadavg: 2.26 2.22 2.18 3/183 21174
/proc/meminfo: memFree=27460776/32872528 swapFree=16204/1518544
[pid=21170] ppid=21167 vsize=1346116 CPUtime=3.09 cores=0,2,4,6
/proc/21170/stat : 21170 (toysat) R 21167 21170 19387 0 -1 4202496 233193 0 0 0 274 35 0 0 20 0 4 0 114950727 1378422784 234002 33554432000 4194304 16246674 140736172794416 140736172776320 5824453 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21170/statm: 336529 234002 887 2943 0 333423 0
[pid=21170/tid=21171] ppid=21167 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21171/stat : 21171 (toysat) S 21167 21170 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114950727 1378422784 234002 33554432000 4194304 16246674 140736172794416 139656800742640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21170/tid=21172] ppid=21167 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21172/stat : 21172 (toysat) S 21167 21170 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114950727 1378422784 234002 33554432000 4194304 16246674 140736172794416 139656790252784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21170/tid=21173] ppid=21167 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21173/stat : 21173 (toysat) S 21167 21170 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114950727 1378422784 234002 33554432000 4194304 16246674 140736172794416 139656779779248 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) 1346116

[startup+6.30041 s]
/proc/loadavg: 2.32 2.23 2.19 3/183 21174
/proc/meminfo: memFree=27284548/32872528 swapFree=16204/1518544
[pid=21170] ppid=21167 vsize=1346116 CPUtime=6.29 cores=0,2,4,6
/proc/21170/stat : 21170 (toysat) R 21167 21170 19387 0 -1 4202496 277207 0 0 0 587 42 0 0 20 0 4 0 114950727 1378422784 278016 33554432000 4194304 16246674 140736172794416 140736172776320 13820935 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21170/statm: 336529 278016 890 2943 0 333423 0
[pid=21170/tid=21171] ppid=21167 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21171/stat : 21171 (toysat) S 21167 21170 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114950727 1378422784 278016 33554432000 4194304 16246674 140736172794416 139656800742640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21170/tid=21172] ppid=21167 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21172/stat : 21172 (toysat) S 21167 21170 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114950727 1378422784 278016 33554432000 4194304 16246674 140736172794416 139656790252784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21170/tid=21173] ppid=21167 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21173/stat : 21173 (toysat) S 21167 21170 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114950727 1378422784 278016 33554432000 4194304 16246674 140736172794416 139656779779248 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) 1346116

[startup+12.7004 s]
/proc/loadavg: 2.29 2.23 2.19 4/183 21174
/proc/meminfo: memFree=27284576/32872528 swapFree=16204/1518544
[pid=21170] ppid=21167 vsize=1346116 CPUtime=12.68 cores=0,2,4,6
/proc/21170/stat : 21170 (toysat) R 21167 21170 19387 0 -1 4202496 277211 0 0 0 1226 42 0 0 20 0 4 0 114950727 1378422784 278020 33554432000 4194304 16246674 140736172794416 140736172776320 13927401 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21170/statm: 336529 278020 893 2943 0 333423 0
[pid=21170/tid=21171] ppid=21167 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21171/stat : 21171 (toysat) S 21167 21170 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114950727 1378422784 278020 33554432000 4194304 16246674 140736172794416 139656800742640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21170/tid=21172] ppid=21167 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21172/stat : 21172 (toysat) S 21167 21170 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114950727 1378422784 278020 33554432000 4194304 16246674 140736172794416 139656790252784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21170/tid=21173] ppid=21167 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21173/stat : 21173 (toysat) S 21167 21170 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114950727 1378422784 278020 33554432000 4194304 16246674 140736172794416 139656779779248 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) 1346116

[startup+25.5005 s]
/proc/loadavg: 2.29 2.23 2.19 3/184 21177
/proc/meminfo: memFree=27284796/32872528 swapFree=16204/1518544
[pid=21170] ppid=21167 vsize=1346116 CPUtime=25.48 cores=0,2,4,6
/proc/21170/stat : 21170 (toysat) R 21167 21170 19387 0 -1 4202496 277211 0 0 0 2506 42 0 0 20 0 4 0 114950727 1378422784 278020 33554432000 4194304 16246674 140736172794416 140736172776320 5601651 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21170/statm: 336529 278020 893 2943 0 333423 0
[pid=21170/tid=21171] ppid=21167 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21171/stat : 21171 (toysat) S 21167 21170 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114950727 1378422784 278020 33554432000 4194304 16246674 140736172794416 139656800742640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21170/tid=21172] ppid=21167 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21172/stat : 21172 (toysat) S 21167 21170 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114950727 1378422784 278020 33554432000 4194304 16246674 140736172794416 139656790252784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21170/tid=21173] ppid=21167 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21173/stat : 21173 (toysat) S 21167 21170 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114950727 1378422784 278020 33554432000 4194304 16246674 140736172794416 139656779779248 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) 1346116

[startup+51.1005 s]
/proc/loadavg: 2.19 2.21 2.18 3/184 21177
/proc/meminfo: memFree=27285740/32872528 swapFree=16204/1518544
[pid=21170] ppid=21167 vsize=1346116 CPUtime=51.08 cores=0,2,4,6
/proc/21170/stat : 21170 (toysat) R 21167 21170 19387 0 -1 4202496 277211 0 0 0 5066 42 0 0 20 0 4 0 114950727 1378422784 278020 33554432000 4194304 16246674 140736172794416 140736172776320 5598360 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21170/statm: 336529 278020 893 2943 0 333423 0
[pid=21170/tid=21171] ppid=21167 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21171/stat : 21171 (toysat) S 21167 21170 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114950727 1378422784 278020 33554432000 4194304 16246674 140736172794416 139656800742640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21170/tid=21172] ppid=21167 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21172/stat : 21172 (toysat) S 21167 21170 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114950727 1378422784 278020 33554432000 4194304 16246674 140736172794416 139656790252784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21170/tid=21173] ppid=21167 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21173/stat : 21173 (toysat) S 21167 21170 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114950727 1378422784 278020 33554432000 4194304 16246674 140736172794416 139656779779248 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) 1346116

[startup+102.3 s]
/proc/loadavg: 2.30 2.24 2.19 4/183 21178
/proc/meminfo: memFree=27285180/32872528 swapFree=16204/1518544
[pid=21170] ppid=21167 vsize=1346116 CPUtime=102.28 cores=0,2,4,6
/proc/21170/stat : 21170 (toysat) R 21167 21170 19387 0 -1 4202496 277211 0 0 0 10185 43 0 0 20 0 4 0 114950727 1378422784 278020 33554432000 4194304 16246674 140736172794416 140736172776320 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21170/statm: 336529 278020 893 2943 0 333423 0
[pid=21170/tid=21171] ppid=21167 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21171/stat : 21171 (toysat) S 21167 21170 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114950727 1378422784 278020 33554432000 4194304 16246674 140736172794416 139656800742640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21170/tid=21172] ppid=21167 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21172/stat : 21172 (toysat) S 21167 21170 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114950727 1378422784 278020 33554432000 4194304 16246674 140736172794416 139656790252784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21170/tid=21173] ppid=21167 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21173/stat : 21173 (toysat) S 21167 21170 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114950727 1378422784 278020 33554432000 4194304 16246674 140736172794416 139656779779248 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) 1346116


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

[pid=21170] ppid=21167 vsize=1346116 CPUtime=162.27 cores=0,2,4,6
/proc/21170/stat : 21170 (toysat) R 21167 21170 19387 0 -1 4202496 277211 0 0 0 16184 43 0 0 20 0 4 0 114950727 1378422784 278020 33554432000 4194304 16246674 140736172794416 140736172776320 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21170/statm: 336529 278020 893 2943 0 333423 0
[pid=21170/tid=21171] ppid=21167 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21171/stat : 21171 (toysat) S 21167 21170 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114950727 1378422784 278020 33554432000 4194304 16246674 140736172794416 139656800742640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21170/tid=21172] ppid=21167 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21172/stat : 21172 (toysat) S 21167 21170 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114950727 1378422784 278020 33554432000 4194304 16246674 140736172794416 139656790252784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21170/tid=21173] ppid=21167 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21173/stat : 21173 (toysat) S 21167 21170 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114950727 1378422784 278020 33554432000 4194304 16246674 140736172794416 139656779779248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1346116

[startup+222.307 s]
/proc/loadavg: 2.25 2.25 2.19 3/183 21180
/proc/meminfo: memFree=27284832/32872528 swapFree=16204/1518544
[pid=21170] ppid=21167 vsize=1346116 CPUtime=222.27 cores=0,2,4,6
/proc/21170/stat : 21170 (toysat) R 21167 21170 19387 0 -1 4202496 277212 0 0 0 22184 43 0 0 20 0 4 0 114950727 1378422784 278021 33554432000 4194304 16246674 140736172794416 140736172776320 5822298 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21170/statm: 336529 278021 894 2943 0 333423 0
[pid=21170/tid=21171] ppid=21167 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21171/stat : 21171 (toysat) S 21167 21170 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114950727 1378422784 278021 33554432000 4194304 16246674 140736172794416 139656800742640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21170/tid=21172] ppid=21167 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21172/stat : 21172 (toysat) S 21167 21170 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114950727 1378422784 278021 33554432000 4194304 16246674 140736172794416 139656790252784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21170/tid=21173] ppid=21167 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21173/stat : 21173 (toysat) S 21167 21170 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114950727 1378422784 278021 33554432000 4194304 16246674 140736172794416 139656779779248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 1346116

[startup+282.3 s]
/proc/loadavg: 2.16 2.23 2.18 4/183 21182
/proc/meminfo: memFree=27284972/32872528 swapFree=16204/1518544
[pid=21170] ppid=21167 vsize=1346116 CPUtime=282.25 cores=0,2,4,6
/proc/21170/stat : 21170 (toysat) R 21167 21170 19387 0 -1 4202496 277213 0 0 0 28182 43 0 0 20 0 4 0 114950727 1378422784 278024 33554432000 4194304 16246674 140736172794416 140736172776320 5522890 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21170/statm: 336529 278024 894 2943 0 333423 0
[pid=21170/tid=21171] ppid=21167 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21171/stat : 21171 (toysat) S 21167 21170 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114950727 1378422784 278024 33554432000 4194304 16246674 140736172794416 139656800742640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21170/tid=21172] ppid=21167 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21172/stat : 21172 (toysat) S 21167 21170 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114950727 1378422784 278024 33554432000 4194304 16246674 140736172794416 139656790252784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21170/tid=21173] ppid=21167 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21173/stat : 21173 (toysat) S 21167 21170 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114950727 1378422784 278024 33554432000 4194304 16246674 140736172794416 139656779779248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1346116

[startup+342.301 s]
/proc/loadavg: 2.16 2.22 2.18 3/183 21183
/proc/meminfo: memFree=27283904/32872528 swapFree=16204/1518544
[pid=21170] ppid=21167 vsize=1346116 CPUtime=342.24 cores=0,2,4,6
/proc/21170/stat : 21170 (toysat) R 21167 21170 19387 0 -1 4202496 277222 0 0 0 34181 43 0 0 20 0 4 0 114950727 1378422784 278024 33554432000 4194304 16246674 140736172794416 140736172776320 6843012 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21170/statm: 336529 278024 894 2943 0 333423 0
[pid=21170/tid=21171] ppid=21167 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21171/stat : 21171 (toysat) S 21167 21170 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114950727 1378422784 278024 33554432000 4194304 16246674 140736172794416 139656800742640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21170/tid=21172] ppid=21167 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21172/stat : 21172 (toysat) S 21167 21170 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114950727 1378422784 278024 33554432000 4194304 16246674 140736172794416 139656790252784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21170/tid=21173] ppid=21167 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21173/stat : 21173 (toysat) S 21167 21170 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114950727 1378422784 278024 33554432000 4194304 16246674 140736172794416 139656779779248 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) 1346116

[startup+402.3 s]
/proc/loadavg: 2.14 2.20 2.18 3/183 21184
/proc/meminfo: memFree=23946984/32872528 swapFree=16204/1518544
[pid=21170] ppid=21167 vsize=5084740 CPUtime=402.21 cores=0,2,4,6
/proc/21170/stat : 21170 (toysat) R 21167 21170 19387 0 -1 4202496 1211875 0 0 0 40055 166 0 0 20 0 4 0 114950727 5206773760 1212672 33554432000 4194304 16246674 140736172794416 140736172792256 4225154 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21170/statm: 1271185 1212679 919 2943 0 1268079 0
[pid=21170/tid=21171] ppid=21167 vsize=5084740 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21171/stat : 21171 (toysat) S 21167 21170 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114950727 5206773760 1212683 33554432000 4194304 16246674 140736172794416 139656800742640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21170/tid=21172] ppid=21167 vsize=5084740 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21172/stat : 21172 (toysat) S 21167 21170 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114950727 5206773760 1212687 33554432000 4194304 16246674 140736172794416 139656790252560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21170/tid=21173] ppid=21167 vsize=5084740 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21173/stat : 21173 (toysat) S 21167 21170 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114950727 5206773760 1212691 33554432000 4194304 16246674 140736172794416 139656779779248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 5084740

[startup+462.3 s]
/proc/loadavg: 2.09 2.18 2.17 4/183 21234
/proc/meminfo: memFree=16788896/32872528 swapFree=16204/1518544
[pid=21170] ppid=21167 vsize=12211780 CPUtime=462.19 cores=0,2,4,6
/proc/21170/stat : 21170 (toysat) R 21167 21170 19387 0 -1 4202496 2993672 0 0 0 45811 408 0 0 20 0 4 0 114950727 12504862720 2994469 33554432000 4194304 16246674 140736172794416 140736172793512 4220520 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21170/statm: 3052945 2994469 919 2943 0 3049839 0
[pid=21170/tid=21171] ppid=21167 vsize=12211780 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21171/stat : 21171 (toysat) S 21167 21170 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114950727 12504862720 2994469 33554432000 4194304 16246674 140736172794416 139656800742640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21170/tid=21172] ppid=21167 vsize=12211780 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21172/stat : 21172 (toysat) S 21167 21170 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114950727 12504862720 2994469 33554432000 4194304 16246674 140736172794416 139656790252784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21170/tid=21173] ppid=21167 vsize=12211780 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21173/stat : 21173 (toysat) S 21167 21170 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114950727 12504862720 2994469 33554432000 4194304 16246674 140736172794416 139656779779248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 12211780

[startup+522.3 s]
/proc/loadavg: 2.17 2.19 2.18 3/183 21235
/proc/meminfo: memFree=16013588/32872528 swapFree=16204/1518544
[pid=21170] ppid=21167 vsize=12594756 CPUtime=522.18 cores=0,2,4,6
/proc/21170/stat : 21170 (toysat) R 21167 21170 19387 0 -1 4202496 3042792 0 0 0 51798 420 0 0 20 0 4 0 114950727 12897030144 3090090 33554432000 4194304 16246674 140736172794416 140736172792384 13899629 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21170/statm: 3148689 3090090 923 2943 0 3145583 0
[pid=21170/tid=21171] ppid=21167 vsize=12594756 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21171/stat : 21171 (toysat) S 21167 21170 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114950727 12897030144 3090090 33554432000 4194304 16246674 140736172794416 139656800742640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21170/tid=21172] ppid=21167 vsize=12594756 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21172/stat : 21172 (toysat) S 21167 21170 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114950727 12897030144 3090090 33554432000 4194304 16246674 140736172794416 139656790252560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21170/tid=21173] ppid=21167 vsize=12594756 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21173/stat : 21173 (toysat) S 21167 21170 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114950727 12897030144 3090090 33554432000 4194304 16246674 140736172794416 139656779779248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 12594756

[startup+582.3 s]
/proc/loadavg: 2.31 2.21 2.18 3/183 21237
/proc/meminfo: memFree=14962156/32872528 swapFree=16204/1518544
[pid=21170] ppid=21167 vsize=13644356 CPUtime=582.17 cores=0,2,4,6
/proc/21170/stat : 21170 (toysat) R 21167 21170 19387 0 -1 4202496 3254532 0 0 0 57764 453 0 0 20 0 4 0 114950727 13971820544 3352415 33554432000 4194304 16246674 140736172794416 140736172792384 4226245 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21170/statm: 3411089 3352415 923 2943 0 3407983 0
[pid=21170/tid=21171] ppid=21167 vsize=13644356 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21171/stat : 21171 (toysat) S 21167 21170 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114950727 13971820544 3352415 33554432000 4194304 16246674 140736172794416 139656800742640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21170/tid=21172] ppid=21167 vsize=13644356 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21172/stat : 21172 (toysat) S 21167 21170 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114950727 13971820544 3352415 33554432000 4194304 16246674 140736172794416 139656790252560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21170/tid=21173] ppid=21167 vsize=13644356 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21173/stat : 21173 (toysat) S 21167 21170 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114950727 13971820544 3352415 33554432000 4194304 16246674 140736172794416 139656779779248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 13644356



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+636.1 s]
/proc/loadavg: 2.31 2.23 2.19 3/184 21241
/proc/meminfo: memFree=12819140/32872528 swapFree=16204/1518544
[pid=21170] ppid=21167 vsize=15905348 CPUtime=635.96 cores=0,2,4,6
/proc/21170/stat : 21170 (toysat) R 21167 21170 19387 0 -1 4202496 3819824 0 0 0 63057 539 0 0 20 0 4 0 114950727 16287076352 3917707 33554432000 4194304 16246674 140736172794416 140736172793512 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21170/statm: 3976337 3917714 923 2943 0 3973231 0
[pid=21170/tid=21171] ppid=21167 vsize=15905348 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21171/stat : 21171 (toysat) S 21167 21170 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114950727 16287076352 3917718 33554432000 4194304 16246674 140736172794416 139656800742640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21170/tid=21172] ppid=21167 vsize=15905348 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21172/stat : 21172 (toysat) S 21167 21170 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114950727 16287076352 3917721 33554432000 4194304 16246674 140736172794416 139656790252784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21170/tid=21173] ppid=21167 vsize=15905348 CPUtime=0 cores=0,2,4,6
/proc/21170/task/21173/stat : 21173 (toysat) S 21167 21170 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114950727 16287076352 3917721 33554432000 4194304 16246674 140736172794416 139656779779248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 635.96
Current children cumulated vsize (KiB) 15905348

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

[startup+636.4 s]
/proc/loadavg: 2.31 2.23 2.19 3/184 21241
/proc/meminfo: memFree=12819140/32872528 swapFree=16204/1518544
[pid=21170] ppid=21167 vsize=0 CPUtime=636.25 cores=0,2,4,6
/proc/21170/stat : 21170 (toysat) Z 21167 21170 19387 0 -1 4203532 3820458 0 0 0 63057 568 0 0 20 0 2 0 114950727 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21170/statm: 0 0 0 0 0 0 0
[pid=21170/tid=21172] ppid=21167 vsize=0 CPUtime=0.28 cores=0,2,4,6
/proc/21170/task/21172/stat : 21172 (toysat) R 21167 21170 19387 0 -1 4203588 8 0 0 0 0 28 0 0 20 0 2 0 114950727 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) 636.25
Current children cumulated vsize (KiB) 0

[startup+636.8 s]
/proc/loadavg: 2.31 2.23 2.19 3/184 21241
/proc/meminfo: memFree=12819140/32872528 swapFree=16204/1518544
[pid=21170] ppid=21167 vsize=0 CPUtime=636.65 cores=0,2,4,6
/proc/21170/stat : 21170 (toysat) Z 21167 21170 19387 0 -1 4203532 3820458 0 0 0 63057 608 0 0 20 0 2 0 114950727 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21170/statm: 0 0 0 0 0 0 0
[pid=21170/tid=21172] ppid=21167 vsize=0 CPUtime=0.68 cores=0,2,4,6
/proc/21170/task/21172/stat : 21172 (toysat) R 21167 21170 19387 0 -1 4203588 8 0 0 0 0 68 0 0 20 0 2 0 114950727 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) 636.65
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 636.902
CPU time (s): 636.763
CPU user time (s): 630.577
CPU system time (s): 6.18606
CPU usage (%): 99.9782
Max. virtual memory (cumulated for all children) (KiB): 15905348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 630.577
system time used= 6.18606
maximum resident set size= 15673364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3820458
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= 131
involuntary context switches= 662

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.51131 second user time and 5.51616 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-07 22:09:39
IDJOB=4079414
IDBENCH=92713
IDSOLVER=2542
FILE ID=node129/4079414-1465330179
RUNJOBID= node129-1465311042-19403
PBS_JOBID= 19850114
Free space on /tmp= 71692 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_7_mh.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079414-1465330179/watcher-4079414-1465330179 -o /tmp/evaluation-result-4079414-1465330179/solver-4079414-1465330179 -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-4079414-1465330179.opb

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

MD5SUM BENCH= 73423b295bfc925a3da39b38540ddf2d
RANDOM SEED=329779656

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:        28396812 kB
Buffers:           35760 kB
Cached:           220612 kB
SwapCached:         1620 kB
Active:          2088492 kB
Inactive:         126272 kB
Active(anon):    1956464 kB
Inactive(anon):     4308 kB
Active(file):     132028 kB
Inactive(file):   121964 kB
Unevictable:     1518544 kB
Mlocked:           16204 kB
SwapTotal:      67108856 kB
SwapFree:       67098824 kB
Dirty:             19048 kB
Writeback:             0 kB
AnonPages:       3476508 kB
Mapped:            11740 kB
Shmem:                 0 kB
Slab:             604348 kB
SReclaimable:      48532 kB
SUnreclaim:       555816 kB
KernelStack:        1520 kB
PageTables:        10832 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3618328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3028992 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= 71676 MiB
End job on node129 at 2016-06-07 22:20:16