Trace number 4080050

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_20null0mast_rapportOE1.0_TMAX180_K67_cod2.opb
MD5SUM30f336dd624b9f7763c8bbeed1369f76
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-38615
Best CPU time to get the best result obtained on this benchmark1800.44
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40937
Total number of constraints41436
Number of constraints which are clauses40882
Number of constraints which are cardinality constraints (but not clauses)67
Number of constraints which are nor clauses,nor cardinality constraints487
Minimum length of a constraint1
Maximum length of a constraint8416
Number of terms in the objective function 389
Biggest coefficient in the objective function 998
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 185532
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 998
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 185532
Number of bits of the biggest sum of numbers18
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-07T10:55:37+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-4080050-1465289736.opb"]
0.00/0.01	c use --random-gen="4055191845 1101679484 168667803 3987513967 2131098772 4247403033 2969920814 2823923271 3738636279 3487750060 2749893625 3575987528 2899821457 2403497547 3965675408 2678126865 3912484573 95559141 2391631092 4245013433 3969496900 989951480 3702249795 1764884499 732181756 3359943980 1175099016 2008479896 4091257052 4223891164 4202749252 3628844364 266570595 130555721 2971648395 553482142 2521412358 3200998883 633643930 3979642070 204182434 654906648 3152822093 3800069726 3290933260 294434791 1410612179 3106179250 4054584954 246670377 1339050389 825214378 827630713 3396730736 3711425360 2677804553 3282884291 3399418500 1824234807 1994172988 1839875701 115420563 490414102 3942422142 1511867824 2439343738 876819986 3030660726 254690163 628838224 3313131227 3009610274 2522840450 1089944816 114615133 3395734894 2641565791 39031028 554182312 2271642480 343938536 3693966533 4175909014 2095778701 1589134230 93093370 912554154 812909814 1966878461 3571909748 3646250919 2069696661 2067081442 4152420092 1569749054 1646697809 1741037520 877459748 1669811649 339598367 3327494946 2716181465 3837495724 3973550413 2045036795 161347339 204689393 2920214505 3329935855 745600940 3567895000 768016242 3018648903 114359291 1766057022 3760189179 4203064915 3825557680 2278821980 11145603 1670899131 2020198872 4033657663 587754732 228835987 2137034141 351448407 1958533391 615129088 3581716171 666296628 4259388404 2610813539 3283718812 1421062666 2295040742 1709359158 729196182 4133305345 2634581608 2996083186 3267138253 606794315 4151044950 4222833949 3854517514 991152068 2655624401 3764433669 1637792709 1055574300 1958067596 2237440561 2350253839 1012849349 2874850053 984598737 1893258138 1543304625 354354662 2002564348 431952286 4122663213 1810521003 3032241092 3174111001 219678336 3791792128 1915780243 979846458 1610062744 2882560224 1211485710 441811412 4032580664 1009443457 284015127 290043618 4216909420 115711599 2992929075 3902724169 3447885022 1937161493 3806721213 2529521491 2139508934 776471307 1988633005 1953895808 2671475092 2904666224 1928044889 2931077356 2004929498 1257825664 854024167 185442043 928642037 2772769994 3337454303 1188898786 2387053788 544257180 1133395792 3960195080 4087841340 3128483826 2467114693 1858888421 3061505058 3883655332 1576738673 1526520199 3917799463 127158236 314309365 1730009669 2037766639 3053281392 904697956 3366779482 2929256428 452638162 2868726311 1993887217 207862541 1512266710 3098797296 3970958113 3663572994 3178810780 4148743510 119600694 1705800314 2878428294 347984317 1101529579 1377355023 1063866351 3367959962 3897282599 1949505377 157062030 2224682913 3526475526 583525547 3028920244 1780556797 2960679130 2436180963 3563812358 3333279781 207047283 3481680587 1545052923 255 362436" option to reproduce the execution
0.38/0.43	c #vars 40937
0.38/0.43	c #constraints 41436
1.49/1.51	c BCD2: Hardening is enabled.
1.49/1.51	c BCD2: BiasedSearch is enabled.
1.49/1.51	c Solving starts ...
1.49/1.51	c ============================[ Search Statistics ]============================
1.49/1.51	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.49/1.51	c       |         |          |          |    Limit     GC | Var      | Constra 
1.49/1.51	c =============================================================================
1.49/1.51	c  0.0s |       0 |        0 |        0 |    27456      0 |      125 |        0
2.49/2.50	c  1.0s |       1 |     2769 |      100 |    27456      0 |      148 |      146
5.79/5.86	c  4.3s |       1 |     7429 |      200 |    30202      0 |      148 |      146
7.79/7.88	c  6.4s |       2 |     9226 |      250 |    30202      0 |      148 |      146
9.89/9.90	c  8.4s |       2 |    16902 |      350 |    33223      0 |      148 |      146
12.09/12.13	c 10.6s |       3 |    19461 |      475 |    33223      0 |      148 |      146
14.68/14.76	c 13.2s |       3 |    23048 |      575 |    36546      0 |      148 |      146
18.68/18.71	c 17.2s |       3 |    26578 |      775 |    36546      0 |      148 |      146
19.78/19.85	c 18.3s |       4 |    26964 |      813 |    36546      0 |      148 |      146
23.38/23.48	c 22.0s |       4 |    33696 |      913 |    40201      0 |      148 |      146
26.18/26.29	c 24.8s |       4 |    40116 |     1113 |    40201      0 |      148 |      146
28.48/28.59	c 27.1s |       4 |    41900 |     1213 |    40201      0 |      148 |      146
30.48/30.51	c 29.0s |       5 |    45147 |     1320 |    40201      0 |      148 |      146
32.78/32.90	c 31.4s |       5 |    49994 |     1420 |    44222      0 |      148 |      146
36.58/36.60	c 35.1s |       5 |    54285 |     1620 |    44222      0 |      148 |      146
38.88/38.99	c 37.5s |       5 |    56197 |     1720 |    44222      0 |      148 |      146
41.28/41.37	c 39.9s |       5 |    57080 |     1820 |    44222      0 |      148 |      146
43.98/44.03	c 42.5s |       5 |    62245 |     1920 |    44222      0 |      148 |      146
46.39/46.45	c 44.9s |       6 |    66028 |     2081 |    48645      0 |      148 |      146
48.68/48.70	c 47.2s |       6 |    67848 |     2181 |    48645      0 |      148 |      146
52.48/52.53	c 51.0s |       6 |    77769 |     2381 |    48645      0 |      148 |      146
56.18/56.24	c 54.7s |       6 |    83861 |     2581 |    48645      0 |      148 |      146
58.48/58.53	c 57.0s |       6 |    86989 |     2681 |    48645      0 |      148 |      146
61.68/61.76	c 60.3s |       6 |    90576 |     2781 |    48645      0 |      148 |      146
63.78/63.87	c 62.4s |       6 |    92088 |     2881 |    48645      0 |      148 |      146
65.98/66.03	c 64.5s |       6 |    94275 |     2981 |    48645      0 |      148 |      146
68.98/69.03	c 67.5s |       6 |   100026 |     3181 |    48645      0 |      148 |      146
69.68/69.71	c 68.2s |       7 |   101428 |     3223 |    53510      0 |      148 |      146
72.08/72.12	c 70.6s |       7 |   104531 |     3323 |    53510      0 |      148 |      146
74.67/74.75	c 73.2s |       7 |   110883 |     3423 |    53510      0 |      148 |      146
78.28/78.38	c 76.9s |       7 |   117474 |     3623 |    53510      0 |      148 |      146
80.57/80.60	c 79.1s |       7 |   119980 |     3723 |    53510      0 |      148 |      146
82.87/82.92	c 81.4s |       7 |   121646 |     3823 |    53510      0 |      148 |      146
85.67/85.71	c 84.2s |       7 |   123521 |     3923 |    53510      0 |      148 |      146
89.37/89.49	c 88.0s |       7 |   128012 |     4123 |    53510      0 |      148 |      146
91.67/91.78	c 90.3s |       7 |   129822 |     4223 |    53510      0 |      148 |      146
94.47/94.55	c 93.0s |       7 |   136064 |     4323 |    53510      0 |      148 |      146
98.37/98.40	c 96.9s |       7 |   142227 |     4423 |    53510      0 |      148 |      146
101.57/101.69	c  100s |       7 |   143396 |     4623 |    53510      0 |      148 |      146
105.78/105.82	c  104s |       7 |   146196 |     4823 |    53510      0 |      148 |      146
110.67/110.77	c  109s |       7 |   149925 |     4923 |    58862      0 |      148 |      146
110.87/110.94	c  109s |       8 |   150009 |     4936 |    58862      0 |      148 |      146
113.17/113.22	c  111s |       8 |   151961 |     5036 |    58862      0 |      148 |      146
115.27/115.39	c  113s |       8 |   155952 |     5136 |    58862      0 |      148 |      146
117.78/117.89	c  116s |       8 |   156551 |     5236 |    58862      0 |      148 |      146
120.07/120.16	c  118s |       8 |   157952 |     5336 |    58862      0 |      148 |      146
124.27/124.35	c  122s |       8 |   161214 |     5436 |    58862      0 |      148 |      146
126.97/127.04	c  125s |       8 |   164907 |     5536 |    58862      0 |      148 |      146
129.07/129.10	c  127s |       8 |   165469 |     5636 |    58862      0 |      148 |      146
131.27/131.31	c  129s |       8 |   167058 |     5736 |    58862      0 |      148 |      146
133.37/133.46	c  131s |       8 |   169161 |     5836 |    58862      0 |      148 |      146
136.27/136.36	c  134s |       8 |   171542 |     5936 |    58862      0 |      148 |      146
138.86/138.93	c  137s |       8 |   175664 |     6036 |    58862      0 |      148 |      146
141.06/141.18	c  139s |       8 |   177696 |     6136 |    58862      0 |      148 |      146
143.46/143.56	c  142s |       8 |   179189 |     6236 |    58862      0 |      148 |      146
146.47/146.56	c  145s |       8 |   182598 |     6336 |    58862      0 |      148 |      146
149.67/149.77	c  148s |       8 |   186417 |     6536 |    58862      0 |      148 |      146
153.36/153.44	c  151s |       8 |   189107 |     6636 |    58862      0 |      148 |      146
155.86/155.99	c  154s |       8 |   192499 |     6736 |    58862      0 |      148 |      146
160.36/160.40	c  158s |       8 |   195307 |     6936 |    58862      0 |      148 |      146
162.46/162.56	c  161s |       8 |   195539 |     7036 |    58862      0 |      148 |      146
164.66/164.75	c  163s |       8 |   195747 |     7136 |    58862      0 |      148 |      146
167.16/167.27	c  165s |       8 |   197272 |     7236 |    58862      0 |      148 |      146
170.57/170.69	c  169s |       8 |   201634 |     7436 |    58862      0 |      148 |      146
172.16/172.27	c  170s |       9 |   202565 |     7506 |    64749      0 |      148 |      146
175.66/175.78	c  174s |       9 |   204004 |     7606 |    64749      0 |      148 |      146
178.27/178.36	c  176s |       9 |   204240 |     7706 |    64749      0 |      148 |      146
180.76/180.81	c  179s |       9 |   204523 |     7806 |    64749      0 |      148 |      146
184.26/184.31	c  182s |       9 |   204786 |     7906 |    64749      0 |      148 |      146
188.16/188.22	c  186s |       9 |   210406 |     8106 |    64749      0 |      148 |      146
193.86/193.91	c  192s |       9 |   214663 |     8306 |    64749      0 |      148 |      146
198.16/198.22	c  196s |       9 |   220426 |     8506 |    64749      0 |      148 |      146
200.16/200.24	c  198s |       9 |   224545 |     8606 |    64749      0 |      148 |      146
204.55/204.65	c  203s |       9 |   227064 |     8806 |    64749      0 |      148 |      146
209.35/209.43	c  207s |       9 |   230462 |     8906 |    64749      0 |      148 |      146
212.85/212.97	c  211s |       9 |   236020 |     9106 |    64749      0 |      148 |      146
214.95/215.07	c  213s |       9 |   238756 |     9206 |    64749      0 |      148 |      146
218.96/219.06	c  217s |       9 |   244366 |     9406 |    64749      0 |      148 |      146
222.75/222.80	c  221s |       9 |   248829 |     9506 |    64749      0 |      148 |      146
225.95/226.05	c  224s |       9 |   254434 |     9706 |    64749      0 |      148 |      146
228.86/228.91	c  227s |       9 |   259632 |     9906 |    64749      0 |      148 |      146
232.75/232.81	c  231s |       9 |   262368 |    10006 |    64749      0 |      148 |      146
236.66/236.76	c  235s |       9 |   265577 |    10206 |    64749      0 |      148 |      146
241.15/241.29	c  239s |       9 |   268118 |    10306 |    64749      0 |      148 |      146
243.65/243.79	c  242s |       9 |   268741 |    10406 |    64749      0 |      148 |      146
245.95/246.08	c  244s |       9 |   269661 |    10506 |    64749      0 |      148 |      146
248.05/248.16	c  246s |       9 |   271321 |    10606 |    64749      0 |      148 |      146
250.05/250.19	c  248s |       9 |   272869 |    10706 |    64749      0 |      148 |      146
252.55/252.66	c  251s |       9 |   274323 |    10806 |    64749      0 |      148 |      146
256.15/256.22	c  254s |       9 |   282475 |    10906 |    64749      0 |      148 |      146
260.85/260.92	c  259s |       9 |   286786 |    11106 |    64749      0 |      148 |      146
264.45/264.54	c  263s |       9 |   287018 |    11206 |    64749      0 |      148 |      146
267.35/267.48	c  265s |       9 |   287698 |    11306 |    71224      0 |      148 |      146
268.65/268.78	c  267s |      10 |   288735 |    11361 |    71224      0 |      148 |      146
271.14/271.24	c  269s |      10 |   289759 |    11461 |    71224      0 |      148 |      146
273.24/273.34	c  271s |      10 |   292646 |    11561 |    71224      0 |      148 |      146
275.44/275.52	c  274s |      10 |   294457 |    11661 |    71224      0 |      148 |      146
278.74/278.88	c  277s |      10 |   302046 |    11861 |    71224      0 |      148 |      146
282.54/282.61	c  281s |      10 |   305200 |    12061 |    71224      0 |      148 |      146
285.24/285.30	c  283s |      10 |   308100 |    12161 |    71224      0 |      148 |      146
287.25/287.39	c  285s |      10 |   309838 |    12261 |    71224      0 |      148 |      146
292.44/292.56	c  291s |      10 |   314362 |    12461 |    71224      0 |      148 |      146
295.44/295.59	c  294s |      10 |   314565 |    12561 |    71224      0 |      148 |      146
297.74/297.88	c  296s |      10 |   315400 |    12661 |    71224      0 |      148 |      146
300.14/300.29	c  298s |      10 |   317222 |    12761 |    71224      0 |      148 |      146
302.44/302.55	c  301s |      10 |   321558 |    12861 |    71224      0 |      148 |      146
304.54/304.68	c  303s |      10 |   324288 |    12961 |    71224      0 |      148 |      146
307.84/307.95	c  306s |      10 |   326130 |    13161 |    71224      0 |      148 |      146
311.64/311.72	c  310s |      10 |   329748 |    13361 |    71224      0 |      148 |      146
313.65/313.78	c  312s |      10 |   330496 |    13461 |    71224      0 |      148 |      146
317.44/317.58	c  316s |      10 |   333352 |    13661 |    71224      0 |      148 |      146
320.64/320.74	c  319s |      10 |   335344 |    13861 |    71224      0 |      148 |      146
324.84/324.99	c  323s |      10 |   338570 |    14061 |    71224      0 |      148 |      146
329.04/329.18	c  327s |      10 |   343225 |    14261 |    71224      0 |      148 |      146
331.43/331.56	c  330s |      10 |   345069 |    14361 |    71224      0 |      148 |      146
335.64/335.75	c  334s |      10 |   348679 |    14561 |    71224      0 |      148 |      146
338.53/338.63	c  337s |      10 |   350992 |    14661 |    71224      0 |      148 |      146
342.53/342.68	c  341s |      10 |   355047 |    14861 |    71224      0 |      148 |      146
345.73/345.81	c  344s |      10 |   356765 |    14961 |    71224      0 |      148 |      146
348.33/348.41	c  346s |      10 |   356905 |    15061 |    71224      0 |      148 |      146
353.24/353.34	c  351s |      10 |   364604 |    15261 |    71224      0 |      148 |      146
359.53/359.69	c  358s |      10 |   367555 |    15361 |    71224      0 |      148 |      146
365.24/365.40	c  363s |      10 |   370481 |    15461 |    71224      0 |      148 |      146
370.23/370.32	c  368s |      10 |   372110 |    15561 |    71224      0 |      148 |      146
373.33/373.48	c  371s |      10 |   374298 |    15661 |    71224      0 |      148 |      146
376.13/376.29	c  374s |      10 |   376728 |    15761 |    71224      0 |      148 |      146
378.23/378.37	c  376s |      10 |   378239 |    15861 |    71224      0 |      148 |      146
380.83/380.91	c  379s |      10 |   383168 |    16061 |    71224      0 |      148 |      146
384.33/384.45	c  382s |      10 |   384921 |    16161 |    71224      0 |      148 |      146
386.33/386.46	c  384s |      10 |   386565 |    16261 |    71224      0 |      148 |      146
390.72/390.85	c  389s |      10 |   387355 |    16361 |    71224      0 |      148 |      146
394.52/394.69	c  393s |      10 |   388132 |    16461 |    71224      0 |      148 |      146
398.23/398.37	c  396s |      10 |   392439 |    16661 |    71224      0 |      148 |      146
400.53/400.68	c  399s |      10 |   392966 |    16761 |    71224      0 |      148 |      146
405.62/405.79	c  404s |      10 |   394404 |    16861 |    71224      0 |      148 |      146
408.23/408.31	c  406s |      10 |   395137 |    16961 |    71224      0 |      148 |      146
411.53/411.64	c  410s |      10 |   395513 |    17061 |    78347      0 |      148 |      146
413.52/413.63	c  412s |      11 |   396243 |    17144 |    78347      0 |      148 |      146
416.02/416.10	c  414s |      11 |   396588 |    17244 |    78347      0 |      148 |      146
418.22/418.39	c  416s |      11 |   397557 |    17344 |    78347      0 |      148 |      146
421.62/421.71	c  420s |      11 |   398290 |    17544 |    78347      0 |      148 |      146
426.12/426.26	c  424s |      11 |   398838 |    17644 |    78347      0 |      148 |      146
428.32/428.46	c  426s |      11 |   399220 |    17744 |    78347      0 |      148 |      146
431.23/431.39	c  429s |      11 |   399787 |    17944 |    78347      0 |      148 |      146
434.52/434.61	c  433s |      11 |   400443 |    18144 |    78347      0 |      148 |      146
437.72/437.89	c  436s |      11 |   401185 |    18344 |    78347      0 |      148 |      146
439.92/440.07	c  438s |      11 |   401382 |    18444 |    78347      0 |      148 |      146
444.12/444.21	c  442s |      11 |   402017 |    18644 |    78347      0 |      148 |      146
446.42/446.51	c  445s |      11 |   402367 |    18744 |    78347      0 |      148 |      146
450.41/450.53	c  449s |      11 |   403209 |    18844 |    78347      0 |      148 |      146
454.01/454.17	c  452s |      11 |   404564 |    18944 |    78347      0 |      148 |      146
457.91/458.05	c  456s |      11 |   405603 |    19044 |    78347      0 |      148 |      146
461.31/461.47	c  459s |      11 |   409138 |    19244 |    78347      0 |      148 |      146
466.52/466.67	c  465s |      11 |   410747 |    19444 |    78347      0 |      148 |      146
474.71/474.83	c  473s |      11 |   411101 |    19544 |    78347      0 |      148 |      146
477.01/477.16	c  475s |      11 |   412531 |    19644 |    78347      0 |      148 |      146
480.41/480.57	c  479s |      11 |   413213 |    19744 |    78347      0 |      148 |      146
484.01/484.12	c  482s |      11 |   413741 |    19944 |    78347      0 |      148 |      146
486.81/486.97	c  485s |      11 |   413989 |    20044 |    78347      0 |      148 |      146
489.51/489.70	c  488s |      11 |   414584 |    20144 |    78347      0 |      148 |      146
492.41/492.54	c  491s |      11 |   414877 |    20244 |    78347      0 |      148 |      146
495.90/496.06	c  494s |      11 |   415642 |    20444 |    78347      0 |      148 |      146
499.51/499.65	c  498s |      11 |   416663 |    20644 |    78347      0 |      148 |      146
501.50/501.69	c  500s |      11 |   416923 |    20744 |    78347      0 |      148 |      146
503.60/503.78	c  502s |      11 |   417176 |    20844 |    78347      0 |      148 |      146
505.70/505.86	c  504s |      11 |   417438 |    20944 |    78347      0 |      148 |      146
507.90/508.08	c  506s |      11 |   418342 |    21044 |    78347      0 |      148 |      146
513.89/514.09	c  512s |      11 |   423102 |    21244 |    78347      0 |      148 |      146
517.00/517.12	c  515s |      11 |   424083 |    21344 |    78347      0 |      148 |      146
519.30/519.47	c  517s |      11 |   424749 |    21444 |    78347      0 |      148 |      146
523.49/523.68	c  522s |      11 |   427445 |    21544 |    78347      0 |      148 |      146
526.39/526.55	c  525s |      11 |   431061 |    21644 |    78347      0 |      148 |      146
530.39/530.58	c  529s |      11 |   431602 |    21744 |    78347      0 |      148 |      146
533.19/533.33	c  531s |      11 |   432197 |    21844 |    78347      0 |      148 |      146
536.69/536.82	c  535s |      11 |   437756 |    22044 |    78347      0 |      148 |      146
538.69/538.86	c  537s |      11 |   438882 |    22144 |    78347      0 |      148 |      146
542.18/542.32	c  540s |      11 |   441992 |    22344 |    78347      0 |      148 |      146
544.38/544.55	c  543s |      11 |   444755 |    22444 |    78347      0 |      148 |      146
548.99/549.19	c  547s |      11 |   446662 |    22644 |    78347      0 |      148 |      146
552.58/552.77	c  551s |      11 |   449120 |    22844 |    78347      0 |      148 |      146
555.88/556.01	c  554s |      11 |   451127 |    23044 |    78347      0 |      148 |      146
559.18/559.39	c  557s |      11 |   452553 |    23244 |    78347      0 |      148 |      146
562.48/562.68	c  561s |      11 |   456071 |    23344 |    78347      0 |      148 |      146
565.68/565.83	c  564s |      11 |   459370 |    23444 |    78347      0 |      148 |      146
568.08/568.29	c  566s |      11 |   460476 |    23544 |    78347      0 |      148 |      146
571.68/571.80	c  570s |      11 |   461887 |    23744 |    78347      0 |      148 |      146
574.18/574.32	c  572s |      11 |   463213 |    23844 |    78347      0 |      148 |      146
576.58/576.74	c  575s |      11 |   465389 |    23944 |    78347      0 |      148 |      146
580.27/580.49	c  578s |      11 |   466622 |    24144 |    78347      0 |      148 |      146
582.47/582.64	c  581s |      11 |   467358 |    24244 |    78347      0 |      148 |      146
586.07/586.23	c  584s |      11 |   470347 |    24444 |    78347      0 |      148 |      146
589.27/589.46	c  587s |      11 |   473896 |    24644 |    78347      0 |      148 |      146
592.67/592.81	c  591s |      11 |   476429 |    24844 |    78347      0 |      148 |      146
596.47/596.64	c  595s |      11 |   479853 |    25044 |    78347      0 |      148 |      146
600.47/600.62	c  599s |      11 |   483423 |    25244 |    78347      0 |      148 |      146
603.88/604.01	c  602s |      11 |   486208 |    25444 |    78347      0 |      148 |      146
608.67/608.84	c  607s |      11 |   488344 |    25644 |    78347      0 |      148 |      146
612.57/612.79	c  611s |      11 |   489135 |    25744 |    86182      0 |      148 |      146
614.27/614.48	c  612s |      12 |   490756 |    25819 |    86182      0 |      148 |      146
618.87/619.07	c  617s |      12 |   495083 |    26019 |    86182      0 |      148 |      146
621.07/621.25	c  619s |      12 |   497519 |    26119 |    86182      0 |      148 |      146
624.07/624.27	c  622s |      12 |   499343 |    26319 |    86182      0 |      148 |      146
627.86/628.02	c  626s |      12 |   502993 |    26419 |    86182      0 |      148 |      146
630.96/631.11	c  629s |      12 |   504823 |    26519 |    86182      0 |      148 |      146
634.26/634.45	c  632s |      12 |   510032 |    26719 |    86182      0 |      148 |      146
637.16/637.34	c  635s |      12 |   510730 |    26819 |    86182      0 |      148 |      146
642.16/642.30	c  640s |      12 |   512122 |    26919 |    86182      0 |      148 |      146
645.26/645.42	c  643s |      12 |   513129 |    27019 |    86182      0 |      148 |      146
647.97/648.16	c  646s |      12 |   514673 |    27119 |    86182      0 |      148 |      146
650.96/651.10	c  649s |      12 |   518229 |    27219 |    86182      0 |      148 |      146
654.26/654.43	c  652s |      12 |   520092 |    27419 |    86182      0 |      148 |      146
657.16/657.36	c  655s |      12 |   520814 |    27519 |    86182      0 |      148 |      146
660.06/660.21	c  658s |      12 |   521199 |    27619 |    86182      0 |      148 |      146
663.16/663.37	c  661s |      12 |   522278 |    27719 |    86182      0 |      148 |      146
667.86/668.06	c  666s |      12 |   525286 |    27919 |    86182      0 |      148 |      146
671.06/671.28	c  669s |      12 |   528090 |    28019 |    86182      0 |      148 |      146
674.86/675.01	c  673s |      12 |   528922 |    28219 |    86182      0 |      148 |      146
678.05/678.28	c  676s |      12 |   529802 |    28319 |    86182      0 |      148 |      146
681.65/681.84	c  680s |      12 |   530510 |    28519 |    86182      0 |      148 |      146
683.65/683.88	c  682s |      12 |   530799 |    28619 |    86182      0 |      148 |      146
686.85/687.08	c  685s |      12 |   531325 |    28819 |    86182      0 |      148 |      146
688.95/689.15	c  687s |      12 |   531640 |    28919 |    86182      0 |      148 |      146
693.75/693.97	c  692s |      12 |   533540 |    29119 |    86182      0 |      148 |      146
695.95/696.14	c  694s |      12 |   534650 |    29219 |    86182      0 |      148 |      146
699.85/700.06	c  698s |      12 |   537988 |    29419 |    86182      0 |      148 |      146
703.25/703.40	c  701s |      12 |   538934 |    29619 |    86182      0 |      148 |      146
705.25/705.42	c  703s |      12 |   539538 |    29719 |    86182      0 |      149 |      147
708.25/708.47	c  706s |      12 |   541908 |    29919 |    86182      0 |      149 |      147
711.65/711.82	c  710s |      12 |   544190 |    30119 |    86182      0 |      149 |      147
716.85/717.09	c  715s |      12 |   549485 |    30319 |    86182      0 |      149 |      147
719.04/719.26	c  717s |      12 |   553924 |    30419 |    86182      0 |      149 |      147
721.55/721.76	c  720s |      12 |   557370 |    30519 |    86182      0 |      149 |      147
724.44/724.67	c  723s |      12 |   560020 |    30619 |    86182      0 |      149 |      147
726.84/727.08	c  725s |      12 |   562026 |    30719 |    86182      0 |      149 |      147
728.84/729.09	c  727s |      12 |   567190 |    30819 |    86182      0 |      149 |      147
732.65/732.88	c  731s |      12 |   573758 |    31019 |    86182      0 |      149 |      147
736.44/736.69	c  735s |      12 |   576643 |    31219 |    86182      0 |      149 |      147
739.14/739.40	c  737s |      12 |   579481 |    31319 |    86182      0 |      149 |      147
742.74/742.90	c  741s |      12 |   583926 |    31419 |    86182      0 |      149 |      147
745.84/746.09	c  744s |      12 |   585871 |    31519 |    86182      0 |      149 |      147
749.24/749.41	c  747s |      12 |   591322 |    31719 |    86182      0 |      149 |      147
753.44/753.66	c  752s |      12 |   595990 |    31919 |    86182      0 |      149 |      147
757.63/757.83	c  756s |      12 |   601222 |    32019 |    86182      0 |      149 |      147
759.83/760.08	c  758s |      12 |   604061 |    32119 |    86182      0 |      149 |      147
763.34/763.53	c  762s |      12 |   608245 |    32319 |    86182      0 |      149 |      147
767.43/767.66	c  766s |      12 |   613989 |    32519 |    86182      0 |      149 |      147
770.63/770.83	c  769s |      12 |   618540 |    32719 |    86182      0 |      149 |      147
773.53/773.72	c  772s |      12 |   622116 |    32919 |    86182      0 |      149 |      147
775.54/775.78	c  774s |      12 |   623884 |    33019 |    86182      0 |      149 |      147
779.94/780.14	c  778s |      12 |   626548 |    33219 |    86182      0 |      149 |      147
782.23/782.42	c  780s |      12 |   630903 |    33319 |    86182      0 |      149 |      147
784.43/784.67	c  783s |      12 |   632767 |    33419 |    86182      0 |      149 |      147
787.43/787.68	c  786s |      12 |   637538 |    33519 |    86182      0 |      149 |      147
789.73/789.97	c  788s |      12 |   639135 |    33619 |    86182      0 |      149 |      147
792.03/792.24	c  790s |      12 |   639954 |    33719 |    86182      0 |      149 |      147
795.23/795.45	c  793s |      12 |   640255 |    33819 |    86182      0 |      149 |      147
797.43/797.65	c  796s |      12 |   641036 |    33919 |    86182      0 |      149 |      147
800.42/800.64	c  799s |      12 |   642089 |    34019 |    86182      0 |      149 |      147
803.12/803.33	c  801s |      12 |   642307 |    34119 |    86182      0 |      149 |      147
805.13/805.39	c  803s |      12 |   645381 |    34219 |    86182      0 |      149 |      147
807.52/807.76	c  806s |      12 |   648186 |    34319 |    86182      0 |      149 |      147
809.92/810.19	c  808s |      12 |   649481 |    34419 |    86182      0 |      149 |      147
812.02/812.29	c  810s |      12 |   654261 |    34519 |    86182      0 |      149 |      147
814.42/814.68	c  813s |      12 |   655595 |    34619 |    86182      0 |      149 |      147
818.12/818.37	c  816s |      12 |   657803 |    34819 |    86182      0 |      149 |      147
821.12/821.36	c  819s |      12 |   658625 |    34919 |    86182      0 |      149 |      147
823.22/823.49	c  821s |      12 |   661787 |    35019 |    86182      0 |      149 |      147
825.72/825.91	c  824s |      12 |   663126 |    35119 |    86182      0 |      149 |      147
828.02/828.21	c  826s |      12 |   665278 |    35219 |    86182      0 |      149 |      147
833.82/834.05	c  832s |      12 |   669415 |    35419 |    86182      0 |      149 |      147
836.71/836.92	c  835s |      12 |   670645 |    35519 |    86182      0 |      149 |      147
838.81/839.02	c  837s |      12 |   672457 |    35619 |    86182      0 |      149 |      147
841.21/841.41	c  839s |      12 |   674661 |    35719 |    86182      0 |      149 |      147
844.82/845.00	c  843s |      12 |   678472 |    35919 |    86182      0 |      149 |      147
848.61/848.88	c  847s |      12 |   682851 |    36119 |    86182      0 |      149 |      147
850.91/851.10	c  849s |      12 |   684291 |    36219 |    86182      0 |      149 |      147
853.62/853.89	c  852s |      12 |   685587 |    36319 |    86182      0 |      149 |      147
858.31/858.59	c  857s |      12 |   695965 |    36519 |    86182      0 |      149 |      147
860.41/860.69	c  859s |      12 |   698036 |    36619 |    86182      0 |      149 |      147
864.00/864.20	c  862s |      12 |   701655 |    36819 |    86182      0 |      149 |      147
866.90/867.15	c  865s |      12 |   705336 |    37019 |    86182      0 |      149 |      147
869.50/869.75	c  868s |      12 |   708393 |    37119 |    86182      0 |      149 |      147
873.20/873.43	c  871s |      12 |   711500 |    37319 |    86182      0 |      149 |      147
876.10/876.37	c  874s |      12 |   712012 |    37519 |    86182      0 |      149 |      147
880.00/880.27	c  878s |      12 |   712615 |    37719 |    86182      0 |      149 |      147
882.39/882.65	c  881s |      12 |   713267 |    37819 |    86182      0 |      149 |      147
885.09/885.39	c  883s |      12 |   713653 |    37919 |    86182      0 |      149 |      147
887.49/887.72	c  886s |      12 |   714152 |    38019 |    86182      0 |      149 |      147
889.69/889.92	c  888s |      12 |   714884 |    38119 |    86182      0 |      149 |      147
892.89/893.19	c  891s |      12 |   716553 |    38319 |    86182      0 |      149 |      147
895.09/895.33	c  893s |      12 |   717681 |    38419 |    86182      0 |      149 |      147
898.19/898.48	c  896s |      12 |   721199 |    38619 |    94801      0 |      149 |      147
901.59/901.85	c  900s |      12 |   725922 |    38819 |    94801      0 |      149 |      147
901.89/902.17	c  900s |      13 |   725970 |    38832 |    94801      0 |      149 |      147
904.89/905.15	c  903s |      13 |   729988 |    38932 |    94801      0 |      149 |      147
908.98/909.20	c  907s |      13 |   732327 |    39132 |    94801      0 |      149 |      147
911.58/911.87	c  910s |      13 |   735752 |    39232 |    94801      0 |      149 |      147
914.28/914.52	c  913s |      13 |   737523 |    39332 |    94801      0 |      149 |      147
918.08/918.33	c  916s |      13 |   743732 |    39532 |    94801      0 |      149 |      147
920.18/920.48	c  918s |      13 |   744737 |    39632 |    94801      0 |      149 |      147
922.98/923.25	c  921s |      13 |   749793 |    39832 |    94801      0 |      149 |      147
926.88/927.11	c  925s |      13 |   751965 |    40032 |    94801      0 |      149 |      147
928.97/929.22	c  927s |      13 |   753253 |    40132 |    94801      0 |      149 |      147
932.47/932.78	c  931s |      13 |   757474 |    40332 |    94801      0 |      149 |      147
936.67/936.93	c  935s |      13 |   760529 |    40532 |    94801      0 |      149 |      147
940.77/941.04	c  939s |      13 |   764373 |    40732 |    94801      0 |      149 |      147
943.86/944.12	c  942s |      13 |   766119 |    40932 |    94801      0 |      149 |      147
947.56/947.84	c  946s |      13 |   770646 |    41132 |    94801      0 |      149 |      147
951.06/951.33	c  949s |      13 |   775142 |    41332 |    94801      0 |      149 |      147
953.96/954.22	c  952s |      13 |   777332 |    41532 |    94801      0 |      149 |      147
957.56/957.83	c  956s |      13 |   780833 |    41732 |    94801      0 |      149 |      147
960.96/961.24	c  959s |      13 |   784054 |    41932 |    94801      0 |      149 |      147
964.76/965.07	c  963s |      13 |   790209 |    42132 |    94801      0 |      149 |      147
967.96/968.28	c  966s |      13 |   795621 |    42332 |    94801      0 |      149 |      147
970.27/970.54	c  969s |      13 |   798753 |    42432 |    94801      0 |      149 |      147
974.57/974.82	c  973s |      13 |   800411 |    42632 |    94801      0 |      149 |      147
977.77/978.05	c  976s |      13 |   802084 |    42832 |    94801      0 |      149 |      147
979.97/980.23	c  978s |      13 |   804149 |    42932 |    94801      0 |      149 |      147
982.17/982.43	c  980s |      13 |   807092 |    43032 |    94801      0 |      149 |      147
984.86/985.11	c  983s |      13 |   812751 |    43232 |    94801      0 |      149 |      147
988.36/988.67	c  987s |      13 |   815003 |    43432 |    94801      0 |      149 |      147
991.36/991.62	c  990s |      13 |   816443 |    43632 |    94801      0 |      149 |      147
995.56/995.80	c  994s |      13 |   819697 |    43832 |    94801      0 |      149 |      147
997.57/997.81	c  996s |      13 |   820894 |    43932 |    94801      0 |      149 |      147
1001.46/1001.73	c 1000s |      13 |   822336 |    44132 |    94801      0 |      149 |      147
1006.47/1006.77	c 1005s |      13 |   825000 |    44332 |    94801      0 |      149 |      147
1008.76/1009.05	c 1007s |      13 |   826746 |    44432 |    94801      0 |      149 |      147
1011.87/1012.15	c 1010s |      13 |   837434 |    44632 |    94801      0 |      149 |      147
1015.17/1015.48	c 1013s |      13 |   841788 |    44732 |    94801      0 |      149 |      147
1017.47/1017.77	c 1016s |      13 |   843583 |    44832 |    94801      0 |      149 |      147
1020.46/1020.72	c 1019s |      13 |   846805 |    44932 |    94801      0 |      149 |      147
1023.26/1023.58	c 1022s |      13 |   848328 |    45032 |    94801      0 |      149 |      147
1026.96/1027.24	c 1025s |      13 |   852868 |    45232 |    94801      0 |      149 |      147
1029.46/1029.77	c 1028s |      13 |   855342 |    45332 |    94801      0 |      149 |      147
1031.96/1032.29	c 1030s |      13 |   859241 |    45432 |    94801      0 |      149 |      147
1037.06/1037.33	c 1035s |      13 |   864724 |    45632 |    94801      0 |      149 |      147
1039.66/1039.93	c 1038s |      13 |   867226 |    45732 |    94801      0 |      149 |      147
1042.45/1042.72	c 1041s |      13 |   870705 |    45832 |    94801      0 |      149 |      147
1044.45/1044.74	c 1043s |      13 |   871948 |    45932 |    94801      0 |      149 |      147
1047.95/1048.24	c 1046s |      13 |   873096 |    46132 |    94801      0 |      149 |      147
1050.75/1051.01	c 1049s |      13 |   874279 |    46332 |    94801      0 |      149 |      147
1054.76/1055.01	c 1053s |      13 |   878673 |    46532 |    94801      0 |      149 |      147
1058.45/1058.70	c 1057s |      13 |   882193 |    46732 |    94801      0 |      149 |      147
1061.25/1061.54	c 1060s |      13 |   885417 |    46832 |    94801      0 |      149 |      147
1064.35/1064.62	c 1063s |      13 |   889875 |    47032 |    94801      0 |      149 |      147
1067.45/1067.72	c 1066s |      13 |   893072 |    47232 |    94801      0 |      149 |      147
1072.75/1073.10	c 1071s |      13 |   900309 |    47432 |    94801      0 |      149 |      147
1076.65/1076.95	c 1075s |      13 |   905373 |    47632 |    94801      0 |      149 |      147
1080.35/1080.65	c 1079s |      13 |   908372 |    47832 |    94801      0 |      149 |      147
1082.55/1082.81	c 1081s |      13 |   910011 |    47932 |    94801      0 |      149 |      147
1084.75/1085.06	c 1083s |      13 |   910901 |    48032 |    94801      0 |      149 |      147
1087.75/1088.09	c 1086s |      13 |   913556 |    48232 |    94801      0 |      149 |      147
1090.05/1090.37	c 1088s |      13 |   913947 |    48332 |    94801      0 |      149 |      147
1092.75/1093.01	c 1091s |      13 |   915510 |    48432 |    94801      0 |      149 |      147
1095.05/1095.39	c 1093s |      13 |   916279 |    48532 |    94801      0 |      149 |      147
1097.55/1097.84	c 1096s |      13 |   921144 |    48732 |    94801      0 |      149 |      147
1099.75/1100.05	c 1098s |      13 |   923250 |    48832 |    94801      0 |      149 |      147
1102.15/1102.47	c 1100s |      13 |   927129 |    48932 |    94801      0 |      149 |      147
1105.45/1105.75	c 1104s |      13 |   930852 |    49132 |    94801      0 |      149 |      147
1107.44/1107.77	c 1106s |      13 |   931439 |    49232 |    94801      0 |      149 |      147
1110.34/1110.67	c 1109s |      13 |   933385 |    49432 |    94801      0 |      149 |      147
1113.44/1113.76	c 1112s |      13 |   933917 |    49632 |    94801      0 |      149 |      147
1117.74/1118.07	c 1116s |      13 |   935012 |    49832 |    94801      0 |      149 |      147
1121.74/1122.06	c 1120s |      13 |   936578 |    50032 |    94801      0 |      149 |      147
1124.74/1125.02	c 1123s |      13 |   937529 |    50232 |    94801      0 |      149 |      147
1128.94/1129.26	c 1127s |      13 |   939847 |    50432 |    94801      0 |      149 |      147
1131.24/1131.52	c 1130s |      13 |   940478 |    50532 |    94801      0 |      149 |      147
1133.64/1133.99	c 1132s |      13 |   941711 |    50632 |    94801      0 |      149 |      147
1136.04/1136.36	c 1134s |      13 |   941924 |    50732 |    94801      0 |      149 |      147
1138.24/1138.59	c 1137s |      13 |   942152 |    50832 |    94801      0 |      149 |      147
1140.74/1141.07	c 1139s |      13 |   942410 |    50932 |    94801      0 |      149 |      147
1142.85/1143.15	c 1141s |      13 |   942785 |    51032 |    94801      0 |      149 |      147
1146.24/1146.59	c 1145s |      13 |   943172 |    51132 |    94801      0 |      149 |      147
1148.35/1148.69	c 1147s |      13 |   943501 |    51232 |    94801      0 |      149 |      147
1152.54/1152.84	c 1151s |      13 |   945834 |    51432 |    94801      0 |      149 |      147
1155.24/1155.52	c 1154s |      13 |   947494 |    51532 |    94801      0 |      149 |      147
1157.34/1157.60	c 1156s |      13 |   949206 |    51632 |    94801      0 |      149 |      147
1162.64/1162.91	c 1161s |      13 |   950768 |    51832 |    94801      0 |      149 |      147
1166.34/1166.60	c 1165s |      13 |   952112 |    52032 |    94801      0 |      149 |      147
1168.44/1168.72	c 1167s |      13 |   952305 |    52132 |    94801      0 |      149 |      147
1171.14/1171.41	c 1169s |      13 |   953440 |    52232 |    94801      0 |      149 |      147
1175.23/1175.50	c 1173s |      13 |   954687 |    52432 |    94801      0 |      149 |      147
1179.04/1179.36	c 1177s |      13 |   956563 |    52632 |    94801      0 |      149 |      147
1182.03/1182.34	c 1180s |      13 |   960195 |    52832 |    94801      0 |      149 |      147
1184.33/1184.63	c 1183s |      13 |   961379 |    52932 |    94801      0 |      149 |      147
1187.33/1187.64	c 1186s |      13 |   963050 |    53132 |    94801      0 |      149 |      147
1189.63/1189.92	c 1188s |      13 |   966325 |    53332 |    94801      0 |      149 |      147
1192.03/1192.31	c 1190s |      13 |   968963 |    53532 |    94801      0 |      149 |      147
1195.33/1195.69	c 1194s |      13 |   972341 |    53732 |    94801      0 |      149 |      147
1199.33/1199.68	c 1198s |      13 |   977247 |    53932 |    94801      0 |      149 |      147
1202.33/1202.62	c 1201s |      13 |   981048 |    54132 |    94801      0 |      149 |      147
1205.13/1205.46	c 1203s |      13 |   982412 |    54332 |    94801      0 |      149 |      147
1207.53/1207.88	c 1206s |      13 |   986069 |    54432 |    94801      0 |      149 |      147
1209.83/1210.19	c 1208s |      13 |   987080 |    54532 |    94801      0 |      149 |      147
1212.33/1212.68	c 1211s |      13 |   989607 |    54732 |    94801      0 |      149 |      147
1215.43/1215.78	c 1214s |      13 |   991059 |    54932 |    94801      0 |      149 |      147
1218.82/1219.12	c 1217s |      13 |   991533 |    55132 |    94801      0 |      149 |      147
1221.12/1221.40	c 1219s |      13 |   992051 |    55232 |    94801      0 |      149 |      147
1224.02/1224.34	c 1222s |      13 |   994093 |    55432 |    94801      0 |      149 |      147
1227.12/1227.48	c 1225s |      13 |   998249 |    55632 |    94801      0 |      149 |      147
1231.12/1231.42	c 1229s |      13 |  1003569 |    55832 |    94801      0 |      149 |      147
1233.52/1233.85	c 1232s |      13 |  1004270 |    55932 |    94801      0 |      149 |      147
1236.92/1237.25	c 1235s |      13 |  1006144 |    56132 |    94801      0 |      149 |      147
1240.22/1240.58	c 1239s |      13 |  1008699 |    56332 |    94801      0 |      149 |      147
1242.72/1243.04	c 1241s |      13 |  1010015 |    56432 |    94801      0 |      149 |      147
1246.32/1246.61	c 1245s |      13 |  1011723 |    56632 |    94801      0 |      149 |      147
1249.72/1250.05	c 1248s |      13 |  1014637 |    56832 |    94801      0 |      149 |      147
1253.22/1253.59	c 1252s |      13 |  1015826 |    57032 |    94801      0 |      149 |      147
1255.52/1255.83	c 1254s |      13 |  1017680 |    57132 |    94801      0 |      149 |      147
1257.92/1258.21	c 1256s |      13 |  1019276 |    57232 |    94801      0 |      149 |      147
1261.22/1261.53	c 1260s |      13 |  1020548 |    57432 |    94801      0 |      149 |      147
1264.72/1265.00	c 1263s |      13 |  1022693 |    57632 |    94801      0 |      149 |      147
1266.82/1267.11	c 1265s |      13 |  1024841 |    57732 |    94801      0 |      149 |      147
1269.02/1269.33	c 1267s |      13 |  1027589 |    57832 |    94801      0 |      149 |      147
1271.22/1271.58	c 1270s |      13 |  1030941 |    57932 |    94801      0 |      149 |      147
1273.42/1273.78	c 1272s |      13 |  1032656 |    58032 |   104282      0 |      149 |      147
1275.72/1276.02	c 1274s |      13 |  1033629 |    58132 |   104282      0 |      149 |      147
1278.02/1278.33	c 1276s |      13 |  1035562 |    58232 |   104282      0 |      149 |      147
1280.42/1280.71	c 1279s |      13 |  1037847 |    58332 |   104282      0 |      149 |      147
1280.62/1280.98	c 1279s |      14 |  1038221 |    58352 |   104282      0 |      149 |      147
1283.02/1283.33	c 1281s |      14 |  1039138 |    58452 |   104282      0 |      149 |      147
1286.82/1287.11	c 1285s |      14 |  1040102 |    58652 |   104282      0 |      149 |      147
1290.31/1290.69	c 1289s |      14 |  1042104 |    58852 |   104282      0 |      149 |      147
1293.42/1293.77	c 1292s |      14 |  1044420 |    59052 |   104282      0 |      149 |      147
1296.01/1296.35	c 1294s |      14 |  1045547 |    59152 |   104282      0 |      149 |      147
1299.11/1299.46	c 1297s |      14 |  1046857 |    59352 |   104282      0 |      149 |      147
1303.32/1303.67	c 1302s |      14 |  1052055 |    59552 |   104282      0 |      149 |      147
1306.72/1307.08	c 1305s |      14 |  1054617 |    59752 |   104282      0 |      149 |      147
1309.41/1309.73	c 1308s |      14 |  1058517 |    59852 |   104282      0 |      149 |      147
1312.61/1312.93	c 1311s |      14 |  1061229 |    60052 |   104282      0 |      149 |      147
1316.21/1316.53	c 1315s |      14 |  1063299 |    60252 |   104282      0 |      149 |      147
1319.61/1319.94	c 1318s |      14 |  1064886 |    60452 |   104282      0 |      149 |      147
1323.01/1323.35	c 1321s |      14 |  1066046 |    60652 |   104282      0 |      149 |      147
1327.11/1327.45	c 1325s |      14 |  1068582 |    60852 |   104282      0 |      149 |      147
1330.71/1331.03	c 1329s |      14 |  1073125 |    61052 |   104282      0 |      149 |      147
1333.81/1334.10	c 1332s |      14 |  1076885 |    61252 |   104282      0 |      149 |      147
1337.41/1337.75	c 1336s |      14 |  1079246 |    61452 |   104282      0 |      149 |      147
1339.81/1340.19	c 1338s |      14 |  1082790 |    61652 |   104282      0 |      149 |      147
1342.21/1342.51	c 1341s |      14 |  1085123 |    61852 |   104282      0 |      149 |      147
1344.31/1344.60	c 1343s |      14 |  1087832 |    62052 |   104282      0 |      149 |      147
1348.31/1348.65	c 1347s |      14 |  1089958 |    62252 |   104282      0 |      149 |      147
1352.40/1352.72	c 1351s |      14 |  1093047 |    62452 |   104282      0 |      149 |      147
1355.60/1355.96	c 1354s |      14 |  1099089 |    62752 |   104282      0 |      149 |      147
1358.90/1359.29	c 1357s |      14 |  1101315 |    62952 |   104282      0 |      149 |      147
1362.00/1362.38	c 1360s |      14 |  1101761 |    63152 |   104282      0 |      149 |      147
1364.91/1365.25	c 1363s |      14 |  1103335 |    63352 |   104282      0 |      149 |      147
1368.70/1369.02	c 1367s |      14 |  1103834 |    63552 |   104282      0 |      149 |      147
1371.51/1371.81	c 1370s |      14 |  1104300 |    63752 |   104282      0 |      149 |      147
1374.30/1374.68	c 1373s |      14 |  1105344 |    63952 |   104282      0 |      149 |      147
1376.70/1377.08	c 1375s |      14 |  1107897 |    64152 |   104282      0 |      149 |      147
1379.00/1379.35	c 1377s |      14 |  1110115 |    64352 |   104282      0 |      149 |      147
1381.20/1381.54	c 1380s |      14 |  1110655 |    64552 |   104282      0 |      149 |      147
1384.50/1384.80	c 1383s |      14 |  1112880 |    64752 |   104282      0 |      149 |      147
1387.10/1387.40	c 1385s |      14 |  1117038 |    64952 |   104282      0 |      149 |      147
1389.90/1390.25	c 1388s |      14 |  1124697 |    65252 |   104282      0 |      149 |      147
1392.20/1392.52	c 1391s |      14 |  1126537 |    65352 |   104282      0 |      149 |      147
1394.61/1394.91	c 1393s |      14 |  1129927 |    65552 |   104282      0 |      149 |      147
1396.70/1397.03	c 1395s |      14 |  1138639 |    65852 |   104282      0 |      149 |      147
1399.90/1400.26	c 1398s |      14 |  1140979 |    66052 |   104282      0 |      149 |      147
1403.60/1403.96	c 1402s |      14 |  1143543 |    66252 |   104282      0 |      149 |      147
1405.90/1406.26	c 1404s |      14 |  1144489 |    66352 |   104282      0 |      149 |      147
1407.90/1408.27	c 1406s |      14 |  1146001 |    66452 |   104282      0 |      149 |      147
1409.90/1410.30	c 1408s |      14 |  1148933 |    66552 |   104282      0 |      149 |      147
1412.20/1412.55	c 1411s |      14 |  1155094 |    66752 |   104282      0 |      149 |      147
1414.99/1415.32	c 1413s |      14 |  1158380 |    66952 |   104282      0 |      149 |      147
1417.70/1418.09	c 1416s |      14 |  1162387 |    67152 |   104282      0 |      149 |      147
1421.89/1422.26	c 1420s |      14 |  1166833 |    67352 |   104282      0 |      149 |      147
1425.19/1425.51	c 1424s |      14 |  1171502 |    67552 |   104282      0 |      149 |      147
1428.19/1428.57	c 1427s |      14 |  1175500 |    67752 |   104282      0 |      149 |      147
1430.79/1431.14	c 1429s |      14 |  1177642 |    67952 |   104282      0 |      149 |      147
1434.30/1434.65	c 1433s |      14 |  1180156 |    68152 |   104282      0 |      149 |      147
1437.69/1438.09	c 1436s |      14 |  1184053 |    68352 |   104282      0 |      149 |      147
1441.29/1441.60	c 1440s |      14 |  1186895 |    68552 |   104282      0 |      149 |      147
1443.69/1444.02	c 1442s |      14 |  1191135 |    68752 |   104282      0 |      149 |      147
1446.30/1446.67	c 1445s |      14 |  1192816 |    68952 |   104282      0 |      149 |      147
1449.09/1449.40	c 1447s |      14 |  1195872 |    69152 |   104282      0 |      149 |      147
1452.49/1452.83	c 1451s |      14 |  1196656 |    69352 |   104282      0 |      149 |      147
1456.20/1456.54	c 1455s |      14 |  1200349 |    69552 |   104282      0 |      149 |      147
1458.89/1459.22	c 1457s |      14 |  1207149 |    69852 |   104282      0 |      149 |      147
1462.29/1462.68	c 1461s |      14 |  1210500 |    70052 |   104282      0 |      149 |      147
1464.79/1465.11	c 1463s |      14 |  1212404 |    70152 |   104282      0 |      149 |      147
1468.69/1469.05	c 1467s |      14 |  1215513 |    70352 |   104282      0 |      149 |      147
1470.79/1471.18	c 1469s |      14 |  1217983 |    70452 |   104282      0 |      149 |      147
1473.19/1473.56	c 1472s |      14 |  1218250 |    70552 |   104282      0 |      149 |      147
1475.49/1475.87	c 1474s |      14 |  1218714 |    70652 |   104282      0 |      149 |      147
1477.59/1477.91	c 1476s |      14 |  1219217 |    70752 |   104282      0 |      149 |      147
1479.59/1479.97	c 1478s |      14 |  1220604 |    70852 |   104282      0 |      149 |      147
1482.08/1482.40	c 1480s |      14 |  1221829 |    71052 |   104282      0 |      149 |      147
1485.28/1485.64	c 1484s |      14 |  1223756 |    71252 |   104282      0 |      149 |      147
1488.58/1488.92	c 1487s |      14 |  1224733 |    71452 |   104282      0 |      149 |      147
1491.08/1491.42	c 1489s |      14 |  1227122 |    71652 |   104282      0 |      149 |      147
1493.48/1493.89	c 1492s |      14 |  1229753 |    71852 |   104282      0 |      149 |      147
1496.38/1496.71	c 1495s |      14 |  1234521 |    72152 |   104282      0 |      149 |      147
1499.09/1499.47	c 1497s |      14 |  1237203 |    72352 |   104282      0 |      149 |      147
1501.78/1502.17	c 1500s |      14 |  1237866 |    72552 |   104282      0 |      149 |      147
1504.08/1504.40	c 1502s |      14 |  1238643 |    72652 |   104282      0 |      149 |      147
1506.98/1507.37	c 1505s |      14 |  1241941 |    72852 |   104282      0 |      149 |      147
1510.09/1510.44	c 1508s |      14 |  1244429 |    73052 |   104282      0 |      149 |      147
1513.28/1513.61	c 1512s |      14 |  1246587 |    73252 |   104282      0 |      149 |      147
1516.18/1516.55	c 1515s |      14 |  1252399 |    73452 |   104282      0 |      149 |      147
1520.38/1520.73	c 1519s |      14 |  1258689 |    73652 |   104282      0 |      149 |      147
1523.48/1523.87	c 1522s |      14 |  1260739 |    73852 |   104282      0 |      149 |      147
1526.78/1527.18	c 1525s |      14 |  1262964 |    74052 |   104282      0 |      149 |      147
1528.88/1529.26	c 1527s |      14 |  1264309 |    74152 |   104282      0 |      149 |      147
1531.68/1532.07	c 1530s |      14 |  1268385 |    74352 |   104282      0 |      149 |      147
1534.78/1535.10	c 1533s |      14 |  1270462 |    74552 |   104282      0 |      149 |      147
1537.38/1537.78	c 1536s |      14 |  1275658 |    74852 |   104282      0 |      149 |      147
1540.68/1541.01	c 1539s |      14 |  1280618 |    75052 |   104282      0 |      149 |      147
1543.08/1543.47	c 1541s |      14 |  1285391 |    75252 |   104282      0 |      149 |      147
1546.77/1547.17	c 1545s |      14 |  1287759 |    75452 |   104282      0 |      149 |      147
1548.97/1549.33	c 1547s |      14 |  1289444 |    75552 |   104282      0 |      149 |      147
1552.87/1553.26	c 1551s |      14 |  1292299 |    75752 |   104282      0 |      149 |      147
1555.18/1555.53	c 1554s |      14 |  1293663 |    75852 |   104282      0 |      149 |      147
1558.48/1558.83	c 1557s |      14 |  1295582 |    76052 |   104282      0 |      149 |      147
1562.07/1562.48	c 1560s |      14 |  1297899 |    76252 |   104282      0 |      149 |      147
1564.97/1565.36	c 1563s |      14 |  1298832 |    76352 |   104282      0 |      149 |      147
1567.77/1568.18	c 1566s |      14 |  1300468 |    76452 |   104282      0 |      149 |      147
1571.37/1571.75	c 1570s |      14 |  1301164 |    76552 |   104282      0 |      149 |      147
1574.07/1574.44	c 1572s |      14 |  1301821 |    76652 |   104282      0 |      149 |      147
1577.67/1578.02	c 1576s |      14 |  1302972 |    76852 |   104282      0 |      149 |      147
1581.17/1581.57	c 1580s |      14 |  1304281 |    77052 |   104282      0 |      149 |      147
1584.77/1585.15	c 1583s |      14 |  1310702 |    77352 |   104282      0 |      149 |      147
1587.47/1587.82	c 1586s |      14 |  1315611 |    77652 |   104282      0 |      149 |      147
1590.38/1590.71	c 1589s |      14 |  1321694 |    77952 |   104282      0 |      149 |      147
1593.77/1594.19	c 1592s |      14 |  1324424 |    78152 |   104282      0 |      149 |      147
1597.67/1598.00	c 1596s |      14 |  1328227 |    78352 |   104282      0 |      149 |      147
1600.97/1601.32	c 1599s |      14 |  1331217 |    78552 |   104282      0 |      149 |      147
1603.47/1603.89	c 1602s |      14 |  1332310 |    78652 |   104282      0 |      149 |      147
1606.87/1607.24	c 1605s |      14 |  1335019 |    78852 |   104282      0 |      149 |      147
1609.97/1610.32	c 1608s |      14 |  1336938 |    79052 |   104282      0 |      149 |      147
1613.16/1613.52	c 1612s |      14 |  1340302 |    79252 |   104282      0 |      149 |      147
1615.96/1616.30	c 1614s |      14 |  1347058 |    79552 |   104282      0 |      149 |      147
1618.36/1618.71	c 1617s |      14 |  1350529 |    79752 |   104282      0 |      149 |      147
1621.27/1621.69	c 1620s |      14 |  1353937 |    79952 |   104282      0 |      149 |      147
1625.06/1625.49	c 1623s |      14 |  1356555 |    80152 |   104282      0 |      149 |      147
1628.06/1628.46	c 1626s |      14 |  1361396 |    80352 |   104282      0 |      149 |      147
1630.26/1630.60	c 1629s |      14 |  1364127 |    80552 |   104282      0 |      149 |      147
1633.66/1634.07	c 1632s |      14 |  1366785 |    80752 |   104282      0 |      149 |      147
1637.26/1637.67	c 1636s |      14 |  1369167 |    81052 |   104282      0 |      149 |      147
1640.16/1640.56	c 1639s |      14 |  1374374 |    81352 |   104282      0 |      149 |      147
1643.96/1644.38	c 1642s |      14 |  1377278 |    81652 |   104282      0 |      149 |      147
1648.36/1648.71	c 1647s |      14 |  1381000 |    81852 |   104282      0 |      149 |      147
1650.97/1651.35	c 1649s |      14 |  1384384 |    82052 |   104282      0 |      149 |      147
1653.86/1654.25	c 1652s |      14 |  1386855 |    82252 |   104282      0 |      149 |      147
1656.76/1657.19	c 1655s |      14 |  1387887 |    82452 |   104282      0 |      149 |      147
1660.26/1660.64	c 1659s |      14 |  1389076 |    82652 |   104282      0 |      149 |      147
1663.16/1663.50	c 1661s |      14 |  1390596 |    82852 |   104282      0 |      149 |      147
1665.16/1665.56	c 1664s |      14 |  1391751 |    83052 |   104282      0 |      149 |      147
1669.16/1669.51	c 1668s |      14 |  1392995 |    83252 |   104282      0 |      149 |      147
1672.56/1672.95	c 1671s |      14 |  1393674 |    83452 |   104282      0 |      149 |      147
1674.86/1675.28	c 1673s |      14 |  1395213 |    83652 |   104282      0 |      149 |      147
1677.56/1677.96	c 1676s |      14 |  1396028 |    83852 |   104282      0 |      149 |      147
1680.15/1680.55	c 1679s |      14 |  1397581 |    84052 |   104282      0 |      149 |      147
1682.95/1683.31	c 1681s |      14 |  1399298 |    84252 |   104282      0 |      149 |      147
1685.85/1686.24	c 1684s |      14 |  1401624 |    84452 |   104282      0 |      149 |      147
1688.85/1689.24	c 1687s |      14 |  1404667 |    84752 |   104282      0 |      149 |      147
1691.75/1692.15	c 1690s |      14 |  1408182 |    84952 |   104282      0 |      149 |      147
1695.15/1695.59	c 1694s |      14 |  1409762 |    85152 |   104282      0 |      149 |      147
1698.16/1698.54	c 1697s |      14 |  1413104 |    85352 |   104282      0 |      149 |      147
1701.15/1701.56	c 1700s |      14 |  1419921 |    85652 |   104282      0 |      149 |      147
1703.55/1703.94	c 1702s |      14 |  1422804 |    85852 |   104282      0 |      149 |      147
1705.75/1706.18	c 1704s |      14 |  1425365 |    86052 |   104282      0 |      149 |      147
1708.35/1708.70	c 1707s |      14 |  1428385 |    86152 |   104282      0 |      149 |      147
1713.45/1713.86	c 1712s |      14 |  1431612 |    86352 |   104282      0 |      149 |      147
1716.05/1716.41	c 1714s |      14 |  1432213 |    86452 |   104282      0 |      149 |      147
1719.06/1719.46	c 1717s |      14 |  1434230 |    86652 |   104282      0 |      149 |      147
1723.35/1723.75	c 1722s |      14 |  1439561 |    86952 |   104282      0 |      149 |      147
1725.35/1725.79	c 1724s |      14 |  1440685 |    87052 |   114711      0 |      149 |      147
1728.65/1729.01	c 1727s |      14 |  1441668 |    87252 |   114711      0 |      149 |      147
1732.45/1732.82	c 1731s |      14 |  1442612 |    87452 |   114711      0 |      149 |      147
1735.35/1735.70	c 1734s |      14 |  1442786 |    87552 |   114711      0 |      149 |      147
1736.85/1737.21	c 1735s |      15 |  1443877 |    87632 |   114711      0 |      149 |      147
1739.25/1739.69	c 1738s |      15 |  1448451 |    87732 |   114711      0 |      149 |      147
1741.44/1741.83	c 1740s |      15 |  1451703 |    87932 |   114711      0 |      149 |      147
1743.44/1743.89	c 1742s |      15 |  1454940 |    88132 |   114711      0 |      149 |      147
1747.44/1747.80	c 1746s |      15 |  1456740 |    88332 |   114711      0 |      149 |      147
1751.44/1751.87	c 1750s |      15 |  1458971 |    88532 |   114711      0 |      149 |      147
1753.54/1753.99	c 1752s |      15 |  1459661 |    88632 |   114711      0 |      149 |      147
1755.94/1756.37	c 1754s |      15 |  1459970 |    88732 |   114711      0 |      149 |      147
1758.04/1758.40	c 1756s |      15 |  1461667 |    88832 |   114711      0 |      149 |      147
1760.54/1760.90	c 1759s |      15 |  1462888 |    88932 |   114711      0 |      149 |      147
1764.44/1764.87	c 1763s |      15 |  1465998 |    89132 |   114711      0 |      149 |      147
1767.55/1767.97	c 1766s |      15 |  1466420 |    89232 |   114711      0 |      149 |      147
1769.84/1770.27	c 1768s |      15 |  1469200 |    89332 |   114711      0 |      149 |      147
1772.04/1772.46	c 1770s |      15 |  1471427 |    89432 |   114711      0 |      149 |      147
1775.25/1775.66	c 1774s |      15 |  1473953 |    89632 |   114711      0 |      149 |      147
1778.94/1779.35	c 1777s |      15 |  1476552 |    89832 |   114711      0 |      149 |      147
1781.24/1781.65	c 1780s |      15 |  1478703 |    89932 |   114711      0 |      149 |      147
1784.34/1784.77	c 1783s |      15 |  1481054 |    90132 |   114711      0 |      149 |      147
1787.94/1788.33	c 1786s |      15 |  1482293 |    90332 |   114711      0 |      149 |      147
1790.84/1791.29	c 1789s |      15 |  1483631 |    90532 |   114711      0 |      149 |      147
1793.74/1794.11	c 1792s |      15 |  1486056 |    90732 |   114711      0 |      149 |      147
1797.63/1798.02	c 1796s |      15 |  1489574 |    90932 |   114711      0 |      149 |      147
1799.73/1800.10	c 1798s |      15 |  1490862 |    91032 |   114711      0 |      149 |      147

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

pid=7027
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.16 2.25 2.21 3/179 7030
/proc/meminfo: memFree=29047712/32872528 swapFree=17892/1720544
[pid=7030] ppid=7027 vsize=630204 CPUtime=0 cores=0,2,4,6
/proc/7030/stat : 7030 (toysat) R 7027 7030 3556 0 -1 4202496 2329 0 0 0 0 0 0 0 20 0 4 0 110906818 645328896 3201 33554432000 4194304 16246674 140736998304032 140736998303456 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7030/statm: 158063 3212 441 2943 0 154957 0
[pid=7030/tid=7031] ppid=7027 vsize=647612 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7031/stat : 7031 (toysat) S 7027 7030 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110906818 663154688 3271 33554432000 4194304 16246674 140736998304032 140236069776624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7030/tid=7032] ppid=7027 vsize=651708 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7032/stat : 7032 (toysat) S 7027 7030 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110906818 667348992 3288 33554432000 4194304 16246674 140736998304032 140235983793392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7030/tid=7033] ppid=7027 vsize=655804 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7033/stat : 7033 (toysat) S 7027 7030 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110906818 671543296 3305 33554432000 4194304 16246674 140736998304032 140235973319856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.10013 s]
/proc/loadavg: 2.16 2.25 2.21 3/179 7030
/proc/meminfo: memFree=29047712/32872528 swapFree=17892/1720544
[pid=7030] ppid=7027 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/7030/stat : 7030 (toysat) R 7027 7030 3556 0 -1 4202496 28089 0 0 0 6 3 0 0 20 0 4 0 110906818 1332285440 28900 33554432000 4194304 16246674 140736998304032 140736998303344 7368729 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7030/statm: 325265 28914 800 2943 0 322159 0
[pid=7030/tid=7031] ppid=7027 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7031/stat : 7031 (toysat) S 7027 7030 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110906818 1332285440 28925 33554432000 4194304 16246674 140736998304032 140236069776624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7030/tid=7032] ppid=7027 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7032/stat : 7032 (toysat) S 7027 7030 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110906818 1332285440 28936 33554432000 4194304 16246674 140736998304032 140235983793392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7030/tid=7033] ppid=7027 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7033/stat : 7033 (toysat) S 7027 7030 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110906818 1332285440 28947 33554432000 4194304 16246674 140736998304032 140235973319856 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) 1301060

[startup+0.329801 s]
/proc/loadavg: 2.16 2.25 2.21 3/179 7030
/proc/meminfo: memFree=29047712/32872528 swapFree=17892/1720544
[pid=7030] ppid=7027 vsize=1313348 CPUtime=0.32 cores=0,2,4,6
/proc/7030/stat : 7030 (toysat) R 7027 7030 3556 0 -1 4202496 53143 0 0 0 25 7 0 0 20 0 4 0 110906818 1344868352 54464 33554432000 4194304 16246674 140736998304032 140736998303344 7440636 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7030/statm: 328337 54464 800 2943 0 325231 0
[pid=7030/tid=7031] ppid=7027 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7031/stat : 7031 (toysat) S 7027 7030 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110906818 1344868352 54464 33554432000 4194304 16246674 140736998304032 140236069776624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7030/tid=7032] ppid=7027 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7032/stat : 7032 (toysat) S 7027 7030 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110906818 1344868352 54464 33554432000 4194304 16246674 140736998304032 140235983793392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7030/tid=7033] ppid=7027 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7033/stat : 7033 (toysat) S 7027 7030 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110906818 1344868352 54464 33554432000 4194304 16246674 140736998304032 140235973319856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 1313348

[startup+0.400489 s]
/proc/loadavg: 2.16 2.25 2.21 3/179 7030
/proc/meminfo: memFree=29047712/32872528 swapFree=17892/1720544
[pid=7030] ppid=7027 vsize=1313348 CPUtime=0.38 cores=0,2,4,6
/proc/7030/stat : 7030 (toysat) R 7027 7030 3556 0 -1 4202496 56865 0 0 0 31 7 0 0 20 0 4 0 110906818 1344868352 58186 33554432000 4194304 16246674 140736998304032 140736998303344 7363328 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7030/statm: 328337 58186 800 2943 0 325231 0
[pid=7030/tid=7031] ppid=7027 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7031/stat : 7031 (toysat) S 7027 7030 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110906818 1344868352 58186 33554432000 4194304 16246674 140736998304032 140236069776624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7030/tid=7032] ppid=7027 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7032/stat : 7032 (toysat) S 7027 7030 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110906818 1344868352 58186 33554432000 4194304 16246674 140736998304032 140235983793392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7030/tid=7033] ppid=7027 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7033/stat : 7033 (toysat) S 7027 7030 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110906818 1344868352 58186 33554432000 4194304 16246674 140736998304032 140235973319856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 1313348

[startup+0.700385 s]
/proc/loadavg: 2.16 2.25 2.21 3/179 7030
/proc/meminfo: memFree=29047712/32872528 swapFree=17892/1720544
[pid=7030] ppid=7027 vsize=1315396 CPUtime=0.68 cores=0,2,4,6
/proc/7030/stat : 7030 (toysat) R 7027 7030 3556 0 -1 4202496 85251 0 0 0 58 10 0 0 20 0 4 0 110906818 1346965504 86573 33554432000 4194304 16246674 140736998304032 140736998301824 5886100 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7030/statm: 328849 86580 834 2943 0 325743 0
[pid=7030/tid=7031] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7031/stat : 7031 (toysat) S 7027 7030 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 86586 33554432000 4194304 16246674 140736998304032 140236069776624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7030/tid=7032] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7032/stat : 7032 (toysat) S 7027 7030 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 86591 33554432000 4194304 16246674 140736998304032 140235983793392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7030/tid=7033] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7033/stat : 7033 (toysat) S 7027 7030 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 86598 33554432000 4194304 16246674 140736998304032 140235973319856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1315396

[startup+1.5004 s]
/proc/loadavg: 2.16 2.25 2.21 3/183 7034
/proc/meminfo: memFree=28296916/32872528 swapFree=17892/1720544
[pid=7030] ppid=7027 vsize=1315396 CPUtime=1.49 cores=0,2,4,6
/proc/7030/stat : 7030 (toysat) R 7027 7030 3556 0 -1 4202496 216187 0 0 0 120 29 0 0 20 0 4 0 110906818 1346965504 217508 33554432000 4194304 16246674 140736998304032 140736998303344 4220507 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7030/statm: 328849 217508 842 2943 0 325743 0
[pid=7030/tid=7031] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7031/stat : 7031 (toysat) S 7027 7030 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 217508 33554432000 4194304 16246674 140736998304032 140236069776624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7030/tid=7032] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7032/stat : 7032 (toysat) S 7027 7030 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 217508 33554432000 4194304 16246674 140736998304032 140235983793392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7030/tid=7033] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7033/stat : 7033 (toysat) S 7027 7030 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 217508 33554432000 4194304 16246674 140736998304032 140235973319856 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) 1315396

[startup+3.1004 s]
/proc/loadavg: 2.16 2.25 2.21 3/183 7034
/proc/meminfo: memFree=28178224/32872528 swapFree=17892/1720544
[pid=7030] ppid=7027 vsize=1315396 CPUtime=3.09 cores=0,2,4,6
/proc/7030/stat : 7030 (toysat) R 7027 7030 3556 0 -1 4202496 216242 0 0 0 280 29 0 0 20 0 4 0 110906818 1346965504 217563 33554432000 4194304 16246674 140736998304032 140736998287032 13820935 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7030/statm: 328849 217563 897 2943 0 325743 0
[pid=7030/tid=7031] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7031/stat : 7031 (toysat) S 7027 7030 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 217563 33554432000 4194304 16246674 140736998304032 140236069776624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7030/tid=7032] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7032/stat : 7032 (toysat) S 7027 7030 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 217563 33554432000 4194304 16246674 140736998304032 140235983793392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7030/tid=7033] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7033/stat : 7033 (toysat) S 7027 7030 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 217563 33554432000 4194304 16246674 140736998304032 140235973319856 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) 1315396

[startup+6.30038 s]
/proc/loadavg: 2.15 2.25 2.21 3/183 7034
/proc/meminfo: memFree=27965356/32872528 swapFree=17892/1720544
[pid=7030] ppid=7027 vsize=1315396 CPUtime=6.29 cores=0,2,4,6
/proc/7030/stat : 7030 (toysat) R 7027 7030 3556 0 -1 4202496 269530 0 0 0 593 36 0 0 20 0 4 0 110906818 1346965504 270851 33554432000 4194304 16246674 140736998304032 140736998285952 12483532 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7030/statm: 328849 270851 897 2943 0 325743 0
[pid=7030/tid=7031] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7031/stat : 7031 (toysat) S 7027 7030 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270851 33554432000 4194304 16246674 140736998304032 140236069776624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7030/tid=7032] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7032/stat : 7032 (toysat) S 7027 7030 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270851 33554432000 4194304 16246674 140736998304032 140235983793392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7030/tid=7033] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7033/stat : 7033 (toysat) S 7027 7030 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270851 33554432000 4194304 16246674 140736998304032 140235973319856 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) 1315396

[startup+12.7004 s]
/proc/loadavg: 2.14 2.25 2.21 3/183 7034
/proc/meminfo: memFree=27965116/32872528 swapFree=17892/1720544
[pid=7030] ppid=7027 vsize=1315396 CPUtime=12.69 cores=0,2,4,6
/proc/7030/stat : 7030 (toysat) R 7027 7030 3556 0 -1 4202496 269530 0 0 0 1233 36 0 0 20 0 4 0 110906818 1346965504 270851 33554432000 4194304 16246674 140736998304032 140736998285952 12483632 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7030/statm: 328849 270851 897 2943 0 325743 0
[pid=7030/tid=7031] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7031/stat : 7031 (toysat) S 7027 7030 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270851 33554432000 4194304 16246674 140736998304032 140236069776624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7030/tid=7032] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7032/stat : 7032 (toysat) S 7027 7030 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270851 33554432000 4194304 16246674 140736998304032 140235983793392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7030/tid=7033] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7033/stat : 7033 (toysat) S 7027 7030 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270851 33554432000 4194304 16246674 140736998304032 140235973319856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1315396

[startup+25.5074 s]
/proc/loadavg: 2.11 2.23 2.21 3/183 7034
/proc/meminfo: memFree=27965756/32872528 swapFree=17892/1720544
[pid=7030] ppid=7027 vsize=1315396 CPUtime=25.49 cores=0,2,4,6
/proc/7030/stat : 7030 (toysat) R 7027 7030 3556 0 -1 4202496 269530 0 0 0 2513 36 0 0 20 0 4 0 110906818 1346965504 270851 33554432000 4194304 16246674 140736998304032 140736998285952 12483544 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7030/statm: 328849 270851 897 2943 0 325743 0
[pid=7030/tid=7031] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7031/stat : 7031 (toysat) S 7027 7030 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270851 33554432000 4194304 16246674 140736998304032 140236069776624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7030/tid=7032] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7032/stat : 7032 (toysat) S 7027 7030 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270851 33554432000 4194304 16246674 140736998304032 140235983793392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7030/tid=7033] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7033/stat : 7033 (toysat) S 7027 7030 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270851 33554432000 4194304 16246674 140736998304032 140235973319856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1315396

[startup+51.1004 s]
/proc/loadavg: 2.28 2.26 2.21 3/183 7034
/proc/meminfo: memFree=27965824/32872528 swapFree=17892/1720544
[pid=7030] ppid=7027 vsize=1315396 CPUtime=51.08 cores=0,2,4,6
/proc/7030/stat : 7030 (toysat) R 7027 7030 3556 0 -1 4202496 269530 0 0 0 5072 36 0 0 20 0 4 0 110906818 1346965504 270851 33554432000 4194304 16246674 140736998304032 140736998285952 5674919 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7030/statm: 328849 270851 897 2943 0 325743 0
[pid=7030/tid=7031] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7031/stat : 7031 (toysat) S 7027 7030 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270851 33554432000 4194304 16246674 140736998304032 140236069776624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7030/tid=7032] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7032/stat : 7032 (toysat) S 7027 7030 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270851 33554432000 4194304 16246674 140736998304032 140235983793392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7030/tid=7033] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7033/stat : 7033 (toysat) S 7027 7030 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270851 33554432000 4194304 16246674 140736998304032 140235973319856 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) 1315396

[startup+102.3 s]
/proc/loadavg: 2.24 2.25 2.21 3/183 7035
/proc/meminfo: memFree=27965132/32872528 swapFree=17892/1720544
[pid=7030] ppid=7027 vsize=1315396 CPUtime=102.27 cores=0,2,4,6
/proc/7030/stat : 7030 (toysat) R 7027 7030 3556 0 -1 4202496 269535 0 0 0 10191 36 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140736998285952 5711644 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7030/statm: 328849 270856 901 2943 0 325743 0
[pid=7030/tid=7031] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7031/stat : 7031 (toysat) S 7027 7030 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140236069776624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7030/tid=7032] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7032/stat : 7032 (toysat) S 7027 7030 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140235983793392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7030/tid=7033] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7033/stat : 7033 (toysat) S 7027 7030 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140235973319856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1315396


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

/proc/7030/task/7033/stat : 7033 (toysat) S 7027 7030 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140235973319856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.25 2.22 2.18 3/183 7138
/proc/meminfo: memFree=27996492/32872528 swapFree=17892/1720544
[pid=7030] ppid=7027 vsize=1315396 CPUtime=1362 cores=0,2,4,6
/proc/7030/stat : 7030 (toysat) R 7027 7030 3556 0 -1 4202496 269698 0 0 0 136163 37 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140736998285952 13781188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7030/statm: 328849 270856 901 2943 0 325743 0
[pid=7030/tid=7031] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7031/stat : 7031 (toysat) S 7027 7030 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140236069776624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7030/tid=7032] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7032/stat : 7032 (toysat) S 7027 7030 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140235983793392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7030/tid=7033] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7033/stat : 7033 (toysat) S 7027 7030 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140235973319856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.13 2.19 2.18 3/183 7140
/proc/meminfo: memFree=27996488/32872528 swapFree=17892/1720544
[pid=7030] ppid=7027 vsize=1315396 CPUtime=1421.99 cores=0,2,4,6
/proc/7030/stat : 7030 (toysat) R 7027 7030 3556 0 -1 4202496 269698 0 0 0 142162 37 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140736998285952 12483624 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7030/statm: 328849 270856 901 2943 0 325743 0
[pid=7030/tid=7031] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7031/stat : 7031 (toysat) S 7027 7030 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140236069776624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7030/tid=7032] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7032/stat : 7032 (toysat) S 7027 7030 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140235983793392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7030/tid=7033] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7033/stat : 7033 (toysat) S 7027 7030 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140235973319856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 1315396

[startup+1482.3 s]
/proc/loadavg: 2.16 2.18 2.18 3/184 7144
/proc/meminfo: memFree=27996836/32872528 swapFree=17892/1720544
[pid=7030] ppid=7027 vsize=1315396 CPUtime=1481.98 cores=0,2,4,6
/proc/7030/stat : 7030 (toysat) R 7027 7030 3556 0 -1 4202496 269698 0 0 0 148161 37 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140736998285952 12483664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7030/statm: 328849 270856 901 2943 0 325743 0
[pid=7030/tid=7031] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7031/stat : 7031 (toysat) S 7027 7030 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140236069776624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7030/tid=7032] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7032/stat : 7032 (toysat) S 7027 7030 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140235983793392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7030/tid=7033] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7033/stat : 7033 (toysat) S 7027 7030 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140235973319856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 1315396

[startup+1542.3 s]
/proc/loadavg: 2.28 2.21 2.18 3/183 7145
/proc/meminfo: memFree=27996724/32872528 swapFree=17892/1720544
[pid=7030] ppid=7027 vsize=1315396 CPUtime=1541.98 cores=0,2,4,6
/proc/7030/stat : 7030 (toysat) R 7027 7030 3556 0 -1 4202496 269698 0 0 0 154161 37 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140736998285952 13906983 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7030/statm: 328849 270856 901 2943 0 325743 0
[pid=7030/tid=7031] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7031/stat : 7031 (toysat) S 7027 7030 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140236069776624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7030/tid=7032] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7032/stat : 7032 (toysat) S 7027 7030 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140235983793392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7030/tid=7033] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7033/stat : 7033 (toysat) S 7027 7030 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140235973319856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 2.27 2.22 2.19 3/183 7146
/proc/meminfo: memFree=27996480/32872528 swapFree=17892/1720544
[pid=7030] ppid=7027 vsize=1315396 CPUtime=1601.97 cores=0,2,4,6
/proc/7030/stat : 7030 (toysat) R 7027 7030 3556 0 -1 4202496 269698 0 0 0 160160 37 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140736998285952 12483664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7030/statm: 328849 270856 901 2943 0 325743 0
[pid=7030/tid=7031] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7031/stat : 7031 (toysat) S 7027 7030 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140236069776624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7030/tid=7032] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7032/stat : 7032 (toysat) S 7027 7030 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140235983793392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7030/tid=7033] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7033/stat : 7033 (toysat) S 7027 7030 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140235973319856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 1315396

[startup+1662.31 s]
/proc/loadavg: 2.44 2.27 2.20 3/183 7147
/proc/meminfo: memFree=27996628/32872528 swapFree=17892/1720544
[pid=7030] ppid=7027 vsize=1315396 CPUtime=1661.96 cores=0,2,4,6
/proc/7030/stat : 7030 (toysat) R 7027 7030 3556 0 -1 4202496 269698 0 0 0 166159 37 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140736998285952 12483583 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7030/statm: 328849 270856 901 2943 0 325743 0
[pid=7030/tid=7031] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7031/stat : 7031 (toysat) S 7027 7030 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140236069776624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7030/tid=7032] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7032/stat : 7032 (toysat) S 7027 7030 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140235983793392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7030/tid=7033] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7033/stat : 7033 (toysat) S 7027 7030 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140235973319856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 2.29 2.25 2.20 3/183 7149
/proc/meminfo: memFree=27996480/32872528 swapFree=17892/1720544
[pid=7030] ppid=7027 vsize=1315396 CPUtime=1721.95 cores=0,2,4,6
/proc/7030/stat : 7030 (toysat) R 7027 7030 3556 0 -1 4202496 269698 0 0 0 172158 37 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140736998285952 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7030/statm: 328849 270856 901 2943 0 325743 0
[pid=7030/tid=7031] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7031/stat : 7031 (toysat) S 7027 7030 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140236069776624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7030/tid=7032] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7032/stat : 7032 (toysat) S 7027 7030 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140235983793392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7030/tid=7033] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7033/stat : 7033 (toysat) S 7027 7030 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140235973319856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 1315396

[startup+1782.3 s]
/proc/loadavg: 2.28 2.25 2.19 3/183 7150
/proc/meminfo: memFree=27996360/32872528 swapFree=17892/1720544
[pid=7030] ppid=7027 vsize=1315396 CPUtime=1781.94 cores=0,2,4,6
/proc/7030/stat : 7030 (toysat) R 7027 7030 3556 0 -1 4202496 269698 0 0 0 178157 37 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140736998285952 13781188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7030/statm: 328849 270856 901 2943 0 325743 0
[pid=7030/tid=7031] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7031/stat : 7031 (toysat) S 7027 7030 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140236069776624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7030/tid=7032] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7032/stat : 7032 (toysat) S 7027 7030 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140235983793392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7030/tid=7033] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7033/stat : 7033 (toysat) S 7027 7030 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140235973319856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 1315396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.27 2.25 2.19 3/183 7151
/proc/meminfo: memFree=27996256/32872528 swapFree=17892/1720544
[pid=7030] ppid=7027 vsize=1315396 CPUtime=1800.03 cores=0,2,4,6
/proc/7030/stat : 7030 (toysat) R 7027 7030 3556 0 -1 4202496 269698 0 0 0 179966 37 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140736998285952 5721972 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7030/statm: 328849 270856 901 2943 0 325743 0
[pid=7030/tid=7031] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7031/stat : 7031 (toysat) S 7027 7030 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140236069776624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7030/tid=7032] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7032/stat : 7032 (toysat) S 7027 7030 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140235983793392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7030/tid=7033] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7033/stat : 7033 (toysat) S 7027 7030 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140235973319856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1315396

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

[startup+1800.4 s]
/proc/loadavg: 2.27 2.25 2.19 3/183 7151
/proc/meminfo: memFree=27996256/32872528 swapFree=17892/1720544
[pid=7030] ppid=7027 vsize=1315396 CPUtime=1800.03 cores=0,2,4,6
/proc/7030/stat : 7030 (toysat) R 7027 7030 3556 0 -1 4202496 269698 0 0 0 179966 37 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140736998285952 5721972 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7030/statm: 328849 270856 901 2943 0 325743 0
[pid=7030/tid=7031] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7031/stat : 7031 (toysat) S 7027 7030 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140236069776624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7030/tid=7032] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7032/stat : 7032 (toysat) S 7027 7030 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140235983793392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7030/tid=7033] ppid=7027 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/7030/task/7033/stat : 7033 (toysat) S 7027 7030 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110906818 1346965504 270856 33554432000 4194304 16246674 140736998304032 140235973319856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1315396

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.05
CPU user time (s): 1799.67
CPU system time (s): 0.375942
CPU usage (%): 99.9801
Max. virtual memory (cumulated for all children) (KiB): 1315396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.67
system time used= 0.375942
maximum resident set size= 1083424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269698
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= 178
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6023 second user time and 6.94394 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-07 10:55:37
IDJOB=4080050
IDBENCH=90546
IDSOLVER=2542
FILE ID=node117/4080050-1465289736
RUNJOBID= node117-1465262703-3572
PBS_JOBID= 19843298
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_20null0mast_rapportOE1.0_TMAX180_K67_cod2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080050-1465289736/watcher-4080050-1465289736 -o /tmp/evaluation-result-4080050-1465289736/solver-4080050-1465289736 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465262703-3572 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080050-1465289736.opb

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

MD5SUM BENCH= 30f336dd624b9f7763c8bbeed1369f76
RANDOM SEED=1994087283

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.088
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:        29047984 kB
Buffers:           94104 kB
Cached:           130444 kB
SwapCached:        29276 kB
Active:          1198664 kB
Inactive:         169484 kB
Active(anon):    1116520 kB
Inactive(anon):    29468 kB
Active(file):      82144 kB
Inactive(file):   140016 kB
Unevictable:     1720544 kB
Mlocked:           17892 kB
SwapTotal:      67108856 kB
SwapFree:       67071196 kB
Dirty:             18664 kB
Writeback:             0 kB
AnonPages:       2899664 kB
Mapped:            10860 kB
Shmem:                 0 kB
Slab:             599632 kB
SReclaimable:      43704 kB
SUnreclaim:       555928 kB
KernelStack:        1488 kB
PageTables:         9608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2979420 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2412544 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= 71704 MiB
End job on node117 at 2016-06-07 11:25:37