Trace number 4093578

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 NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.07 1800.46

General information on the benchmark

Name/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-full.all.ucl--soft-0-100-0.wbo
MD5SUM472f23c3fe9900c3fa5a2fb1a63f7a4f
Bench CategorySOFT-BIGINT-LIN (only soft constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1395.83
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables81558
Total number of constraints240469
Number of soft constraints240469
Number of constraints which are clauses235865
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints4604
Minimum length of a constraint1
Maximum length of a constraint13
Top cost 12159256
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 12159255
Biggest number in a constraint 68
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 257
Number of bits of the biggest sum of numbers9
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-16T16:41: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","--wbo","--search=bcd2","HOME/instance-4093578-1466088097.wbo"]
0.00/0.01	c use --random-gen="421708401 390373132 3275305081 3794568723 3856368797 672089778 941580479 4118546708 4240460762 1472930899 1509534073 2039119612 3567358552 2002857111 1187645177 928179641 1118862202 4214982957 4145605018 2745111114 2769194832 3796871641 73736051 3016917195 3524833370 2561891982 344843129 2683892381 1390172547 252173726 2336900212 2203953893 3989305119 2755245365 890700609 3227366570 1321008262 3326090156 1069827490 2436783373 1430141934 2447495466 3247919871 7609925 403569470 3292955198 2629179950 4090472635 4138910935 1978246863 787762398 3209385416 1641287025 3019718068 4086539718 3889582441 347071664 1622172030 3073891054 807625553 2106121330 4215839883 1361072609 2783441401 2002892501 789181717 2593633251 4137264501 4236109617 889691254 3605732263 2485670408 1217078655 1929354882 187561382 2916509966 3203967202 1304668754 2651434683 3435457812 2998396953 2197599237 590778634 3121619029 2372306483 1469228436 2581903401 4107612926 1095271886 77448535 3597016007 1008571117 3319780612 1549458634 2209626761 3097935703 4002983985 1505279976 1349432733 2124725319 3666389558 3615804444 2741769526 264596810 4183980567 1184213669 1593093232 3119170231 4244546760 422251309 698429786 2237181433 82130853 3671007955 4258254646 3825484305 3493216532 204598584 3816459756 1747148548 158173681 804989518 2955030896 1014661225 1217684817 2024314912 632479344 1227485318 1547726005 891554118 753347388 3755819477 2561898593 476439815 1358280359 2329050119 3455435316 2084446462 3769023394 3051562892 2419207664 39755316 1671419724 721500847 2293851233 1549017340 796966211 3230804689 3520410857 1084732178 2726154950 1955458590 3610862698 289404252 2283978241 1912719674 176001695 3877511540 1045289655 1312353984 2781033826 836846294 853888350 1559636559 1855368833 2163740108 771295932 1943183156 722741665 2533380432 2869328417 3973741336 1002474635 2220697543 4264687812 3338744755 1112437266 2393330130 3920843271 3708198061 1783545448 3345410644 3090114368 71745921 3582526709 2828824830 3886212269 2651845059 3215822632 1218246184 1602987849 3765806174 3159258431 927798146 763500016 2494981633 2968206982 3038699799 2008805992 3921885836 3809316881 506722399 3957485026 1401307009 1460428372 1939501456 4144835688 2463727626 1216634077 2019511201 1132661228 2661818491 1755004812 2696915654 3778821204 611493749 845283726 2114462833 1418727273 1576922553 420359013 3609478097 1218828987 1522832932 401766591 1520037578 3200154665 2890668330 858289587 2080487842 1916550274 478009774 2496381477 2799661611 3723317101 4093161067 2439597995 1247724711 588507395 1871538364 4178153984 1907922863 2930773730 2612977440 2462432226 2128496927 2664629586 4234274312 703665606 2881864671 2961769684 3503401969 2562300724 1327991730 1969877722 611558304 255 362436" option to reproduce the execution
8.49/8.55	c #vars 81558
8.49/8.55	c #constraints 240469
15.09/15.14	c BCD2: Hardening is enabled.
15.09/15.14	c BCD2: BiasedSearch is enabled.
15.09/15.14	c Solving starts ...
15.09/15.14	c ============================[ Search Statistics ]============================
15.09/15.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
15.09/15.14	c       |         |          |          |    Limit     GC | Var      | Constra 
15.09/15.14	c =============================================================================
15.09/15.16	c  0.0s |       0 |        0 |        0 |   187498      0 |        1 |        0
16.89/16.93	c  1.8s |       1 |   419881 |      100 |   187498      0 |        1 |        0
19.29/19.36	c  4.2s |       1 |  1226034 |      129 |   206248      0 |        1 |        0
19.29/19.36	c #cpu_time = 3.984s
19.29/19.36	c #wall_clock_time = 3.984s
19.29/19.36	c #decision = 1226034
19.29/19.36	c #random_decision = 4730
19.29/19.36	c #conflict = 129
19.29/19.36	c #restart = 1
19.39/19.42	o 34693
20.19/20.21	c BCD2: updating upper bound: 12159291 -> 34728
22.59/22.67	c BCD2: 0 <= obj <= 34728
22.59/22.69	c BCD2: #cores=0, #unrelaxed=240470, #relaxed=0, #hardened=0
22.59/22.69	c BCD2: #sat=1 #unsat=1 bias=1/2
22.69/22.71	c Solving starts ...
22.69/22.71	c ============================[ Search Statistics ]============================
22.69/22.71	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
22.69/22.71	c       |         |          |          |    Limit     GC | Var      | Constra 
22.69/22.71	c =============================================================================
22.69/22.71	c  0.0s |       0 |        0 |        0 |   206248      0 |        1 |        0
22.89/22.95	c  0.2s |       0 |        0 |        0 |   206248      0 |        1 |        0
22.89/22.95	c #cpu_time = 0.232s
22.89/22.95	c #wall_clock_time = 0.232s
22.89/22.95	c #decision = 0
22.89/22.95	c #random_decision = 0
22.89/22.95	c #conflict = 0
22.89/22.95	c #restart = 0
22.89/22.95	c BCD2: found a new core of size 1: cost of the new core is >=36
22.89/22.95	c lower bound updated to 0
22.99/23.09	c BCD2: 36 <= obj <= 34728
22.99/23.09	c BCD2: #cores=1, #unrelaxed=240469, #relaxed=1, #hardened=0
22.99/23.09	c BCD2: #sat=1 #unsat=2 bias=2/3
23.10/23.10	c Solving starts ...
23.10/23.11	c ============================[ Search Statistics ]============================
23.10/23.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
23.10/23.11	c       |         |          |          |    Limit     GC | Var      | Constra 
23.10/23.11	c =============================================================================
23.10/23.11	c  0.0s |       0 |        0 |        0 |   206248      0 |        1 |        0
26.09/26.17	c  3.1s |       0 |   389760 |      100 |   206248      0 |        1 |        0
26.19/26.25	c  3.1s |       1 |   389760 |      100 |   206248      0 |        1 |        0
28.49/28.59	c  5.5s |       1 |   630604 |      200 |   226873      0 |        1 |        0
29.49/29.59	c  6.5s |       2 |   630775 |      250 |   226873      0 |        1 |        0
32.29/32.37	c  9.3s |       2 |   871636 |      350 |   249561      0 |        1 |        0
34.59/34.69	c 11.6s |       3 |   871901 |      475 |   249561      0 |        1 |        0
38.79/38.87	c 15.8s |       3 |  1112826 |      675 |   249561      0 |        1 |        0
40.99/41.05	c 17.9s |       3 |  1112983 |      775 |   274518      0 |        1 |        0
41.79/41.88	c 18.8s |       4 |  1113112 |      813 |   274518      0 |        1 |        0
44.39/44.40	c 21.3s |       4 |  1353765 |      913 |   274518      0 |        1 |        0
48.78/48.81	c 25.7s |       4 |  1354161 |     1113 |   274518      0 |        1 |        0
53.68/53.79	c 30.7s |       4 |  1354575 |     1313 |   301970      0 |        1 |        0
53.99/54.09	c 31.0s |       5 |  1354578 |     1320 |   301970      0 |        1 |        0
56.48/56.55	c 33.4s |       5 |  1595351 |     1420 |   301970      0 |        1 |        0
59.78/59.89	c 36.8s |       5 |  1595831 |     1620 |   301970      0 |        1 |        0
62.69/62.79	c 39.7s |       5 |  1596335 |     1820 |   301970      0 |        1 |        0
65.58/65.60	c 42.5s |       5 |  1596768 |     2020 |   332167      0 |        1 |        0
66.68/66.78	c 43.7s |       6 |  1596877 |     2081 |   332167      0 |        1 |        0
68.98/69.03	c 45.9s |       6 |  1837879 |     2281 |   332167      0 |        1 |        0
71.18/71.26	c 48.2s |       6 |  1838355 |     2581 |   332167      0 |        1 |        0
74.08/74.16	c 51.1s |       6 |  1838722 |     2781 |   332167      0 |        1 |        0
77.58/77.69	c 54.6s |       6 |  1839212 |     2981 |   332167      0 |        1 |        0
81.67/81.76	c 58.7s |       6 |  1839517 |     3181 |   365384      0 |        1 |        0
82.48/82.57	c 59.5s |       7 |  1839593 |     3223 |   365384      0 |        1 |        0
84.78/84.84	c 61.7s |       7 |  2080294 |     3323 |   365384      0 |        1 |        0
87.98/88.07	c 65.0s |       7 |  2080754 |     3523 |   365384      0 |        1 |        0
91.18/91.28	c 68.2s |       7 |  2081140 |     3723 |   365384      0 |        1 |        0
93.49/93.60	c 70.5s |       7 |  2081383 |     3923 |   365384      0 |        1 |        0
95.98/96.09	c 73.0s |       7 |  2081689 |     4123 |   365384      0 |        1 |        0
98.18/98.25	c 75.1s |       7 |  2081989 |     4323 |   365384      0 |        1 |        0
100.37/100.42	c 77.3s |       7 |  2082367 |     4523 |   365384      0 |        1 |        0
103.27/103.34	c 80.2s |       7 |  2082931 |     4923 |   401923      0 |        1 |        0
103.67/103.76	c 80.6s |       8 |  2082945 |     4936 |   401923      0 |        1 |        0
106.47/106.58	c 83.5s |       8 |  2417860 |     5036 |   401923      0 |        1 |        0
108.77/108.82	c 85.7s |       8 |  2418002 |     5136 |   401923      0 |        1 |        0
110.97/111.00	c 87.9s |       8 |  2418281 |     5336 |   401923      0 |        1 |        0
113.07/113.17	c 90.1s |       8 |  2418641 |     5536 |   401923      0 |        1 |        0
116.07/116.16	c 93.0s |       8 |  2418923 |     5736 |   401923      0 |        1 |        0
119.07/119.11	c 96.0s |       8 |  2419536 |     6036 |   401923      0 |        1 |        0
121.08/121.15	c 98.0s |       8 |  2419878 |     6236 |   401923      0 |        1 |        0
123.07/123.16	c  100s |       8 |  2420250 |     6436 |   401923      0 |        1 |        0
125.27/125.36	c  102s |       8 |  2420532 |     6636 |   401923      0 |        1 |        0
127.37/127.44	c  104s |       8 |  2420900 |     6836 |   401923      0 |        1 |        0
129.47/129.58	c  106s |       8 |  2421170 |     7036 |   401923      0 |        1 |        0
132.26/132.34	c  109s |       8 |  2421692 |     7336 |   401923      0 |        1 |        0
133.86/133.95	c  110s |       9 |  2421994 |     7506 |   442116      0 |        1 |        0
136.67/136.77	c  113s |       9 |  2663073 |     7706 |   442116      0 |        1 |        0
140.17/140.23	c  117s |       9 |  2663568 |     7906 |   442116      0 |        1 |        0
143.57/143.65	c  120s |       9 |  2664064 |     8106 |   442116      0 |        1 |        0
146.07/146.11	c  123s |       9 |  2664297 |     8206 |   442116      0 |        1 |        0
148.97/149.04	c  125s |       9 |  2664523 |     8306 |   442116      0 |        1 |        0
151.57/151.62	c  128s |       9 |  2664740 |     8406 |   442116      0 |        1 |        0
153.57/153.67	c  130s |       9 |  2665035 |     8506 |   442116      0 |        1 |        0
159.47/159.55	c  136s |       9 |  2665554 |     8706 |   442116      0 |        1 |        0
163.37/163.43	c  140s |       9 |  2665999 |     8906 |   442116      0 |        1 |        0
166.96/167.01	c  143s |       9 |  2666307 |     9106 |   442116      0 |        1 |        0
169.96/170.00	c  146s |       9 |  2666728 |     9306 |   442116      0 |        1 |        0
171.96/172.01	c  148s |       9 |  2667047 |     9406 |   442116      0 |        1 |        0
174.36/174.46	c  151s |       9 |  2667234 |     9506 |   442116      0 |        1 |        0
176.86/176.93	c  153s |       9 |  2667572 |     9606 |   442116      0 |        1 |        0
179.17/179.24	c  156s |       9 |  2667828 |     9706 |   442116      0 |        1 |        0
181.17/181.26	c  158s |       9 |  2668025 |     9806 |   442116      0 |        1 |        0
183.97/184.09	c  160s |       9 |  2668236 |     9906 |   442116      0 |        1 |        0
187.46/187.53	c  164s |       9 |  2668667 |    10106 |   442116      0 |        1 |        0
191.26/191.33	c  168s |       9 |  2669030 |    10306 |   442116      0 |        1 |        0
193.36/193.48	c  170s |       9 |  2669230 |    10406 |   442116      0 |        1 |        0
196.56/196.61	c  173s |       9 |  2669385 |    10506 |   442116      0 |        1 |        0
199.26/199.36	c  176s |       9 |  2669648 |    10606 |   442116      0 |        1 |        0
201.36/201.43	c  178s |       9 |  2669817 |    10706 |   442116      0 |        1 |        0
203.46/203.54	c  180s |       9 |  2669962 |    10806 |   442116      0 |        1 |        0
205.67/205.77	c  182s |       9 |  2670095 |    10906 |   442116      0 |        1 |        0
207.76/207.87	c  184s |       9 |  2670255 |    11006 |   442116      0 |        1 |        0
211.66/211.77	c  188s |       9 |  2670670 |    11206 |   486328      0 |        1 |        0
214.06/214.10	c  190s |       9 |  2670801 |    11306 |   486328      0 |        1 |        0
215.26/215.34	c  192s |      10 |  2670957 |    11361 |   486328      0 |        1 |        0
217.66/217.71	c  194s |      10 |  2911727 |    11461 |   486328      0 |        1 |        0
220.66/220.78	c  197s |      10 |  2912224 |    11661 |   486328      0 |        1 |        0
223.75/223.86	c  200s |      10 |  2912606 |    11861 |   486328      0 |        1 |        0
226.45/226.54	c  203s |      10 |  2913141 |    12061 |   486328      0 |        1 |        0
229.35/229.46	c  206s |      10 |  2913470 |    12261 |   486328      0 |        1 |        0
232.65/232.72	c  209s |      10 |  2913961 |    12461 |   486328      0 |        1 |        0
235.25/235.36	c  212s |      10 |  2914195 |    12561 |   486328      0 |        1 |        0
238.85/238.99	c  215s |      10 |  2914652 |    12761 |   486328      0 |        1 |        0
242.25/242.35	c  219s |      10 |  2915077 |    12961 |   486328      0 |        1 |        0
245.36/245.45	c  222s |      10 |  2915772 |    13161 |   486328      0 |        1 |        0
249.05/249.12	c  226s |      10 |  2916182 |    13361 |   486328      0 |        1 |        0
251.15/251.29	c  228s |      10 |  2916343 |    13461 |   486328      0 |        1 |        0
253.55/253.69	c  230s |      10 |  2916507 |    13561 |   486328      0 |        1 |        0
256.95/257.07	c  233s |      10 |  2916702 |    13661 |   486328      0 |        1 |        0
259.45/259.60	c  236s |      10 |  2916855 |    13761 |   486328      0 |        1 |        0
262.25/262.30	c  239s |      10 |  2917224 |    13961 |   486328      0 |        1 |        0
264.65/264.75	c  241s |      10 |  2917347 |    14061 |   486328      0 |        1 |        0
268.54/268.70	c  245s |      10 |  2917612 |    14261 |   486328      0 |        1 |        0
270.74/270.81	c  247s |      10 |  2917756 |    14361 |   486328      0 |        1 |        0
275.15/275.21	c  252s |      10 |  2918093 |    14561 |   486328      0 |        1 |        0
277.55/277.68	c  254s |      10 |  2918210 |    14661 |   486328      0 |        1 |        0
281.15/281.20	c  258s |      10 |  2918485 |    14861 |   486328      0 |        1 |        0
283.45/283.53	c  260s |      10 |  2918627 |    14961 |   486328      0 |        1 |        0
285.55/285.63	c  262s |      10 |  2918768 |    15061 |   486328      0 |        1 |        0
287.95/288.06	c  264s |      10 |  2918965 |    15161 |   486328      0 |        1 |        0
291.74/291.89	c  268s |      10 |  2919302 |    15361 |   486328      0 |        1 |        0
294.94/295.03	c  271s |      10 |  2919572 |    15561 |   486328      0 |        1 |        0
297.94/298.06	c  274s |      10 |  2919882 |    15761 |   486328      0 |        1 |        0
301.35/301.46	c  278s |      10 |  2920163 |    15961 |   486328      0 |        1 |        0
303.94/304.07	c  280s |      10 |  2920291 |    16061 |   486328      0 |        1 |        0
306.14/306.26	c  283s |      10 |  2920477 |    16161 |   486328      0 |        1 |        0
308.34/308.46	c  285s |      10 |  2920795 |    16361 |   486328      0 |        1 |        0
311.54/311.65	c  288s |      10 |  2921035 |    16561 |   486328      0 |        1 |        0
314.34/314.42	c  291s |      10 |  2921163 |    16661 |   486328      0 |        1 |        0
316.64/316.75	c  293s |      10 |  2921326 |    16761 |   486328      0 |        1 |        0
318.84/318.93	c  295s |      10 |  2921454 |    16861 |   486328      0 |        1 |        0
321.64/321.78	c  298s |      10 |  2921590 |    16961 |   534961      0 |        1 |        0
325.14/325.28	c  302s |      11 |  2921990 |    17144 |   534961      0 |        1 |        0
327.44/327.55	c  304s |      11 |  3162697 |    17244 |   534961      0 |        1 |        0
329.64/329.79	c  306s |      11 |  3163070 |    17444 |   534961      0 |        1 |        0
331.93/332.07	c  308s |      11 |  3163359 |    17644 |   534961      0 |        1 |        0
335.23/335.38	c  312s |      11 |  3163833 |    17844 |   534961      0 |        1 |        0
338.23/338.38	c  315s |      11 |  3164171 |    18044 |   534961      0 |        1 |        0
341.44/341.60	c  318s |      11 |  3164461 |    18244 |   534961      0 |        1 |        0
344.14/344.25	c  321s |      11 |  3164791 |    18444 |   534961      0 |        1 |        0
347.23/347.32	c  324s |      11 |  3165148 |    18644 |   534961      0 |        1 |        0
349.23/349.37	c  326s |      11 |  3165340 |    18744 |   534961      0 |        1 |        0
352.93/353.07	c  329s |      11 |  3165675 |    18944 |   534961      0 |        1 |        0
355.73/355.85	c  332s |      11 |  3166008 |    19144 |   534961      0 |        1 |        0
358.34/358.46	c  335s |      11 |  3166323 |    19344 |   534961      0 |        1 |        0
362.63/362.79	c  339s |      11 |  3166634 |    19544 |   534961      0 |        1 |        0
365.83/365.96	c  342s |      11 |  3167083 |    19744 |   534961      0 |        1 |        0
368.73/368.87	c  345s |      11 |  3167422 |    19944 |   534961      0 |        1 |        0
372.13/372.23	c  349s |      11 |  3167775 |    20144 |   534961      0 |        1 |        0
375.53/375.64	c  352s |      11 |  3168124 |    20344 |   534961      0 |        1 |        0
378.93/379.01	c  355s |      11 |  3168424 |    20544 |   534961      0 |        1 |        0
381.93/382.03	c  358s |      11 |  3168879 |    20844 |   534961      0 |        1 |        0
384.73/384.83	c  361s |      11 |  3169239 |    21044 |   534961      0 |        1 |        0
387.43/387.51	c  364s |      11 |  3169638 |    21244 |   534961      0 |        1 |        0
390.33/390.42	c  367s |      11 |  3170083 |    21544 |   534961      0 |        1 |        0
392.63/392.79	c  369s |      11 |  3170333 |    21744 |   534961      0 |        1 |        0
395.02/395.19	c  372s |      11 |  3170648 |    21944 |   534961      0 |        1 |        0
397.63/397.78	c  374s |      11 |  3171097 |    22144 |   534961      0 |        1 |        0
400.73/400.81	c  377s |      11 |  3171513 |    22344 |   534961      0 |        1 |        0
403.13/403.22	c  380s |      11 |  3171942 |    22544 |   534961      0 |        1 |        0
406.13/406.24	c  383s |      11 |  3172387 |    22744 |   534961      0 |        1 |        0
409.23/409.38	c  386s |      11 |  3172799 |    22944 |   534961      0 |        1 |        0
412.23/412.32	c  389s |      11 |  3173288 |    23144 |   534961      0 |        1 |        0
414.63/414.76	c  391s |      11 |  3173721 |    23344 |   534961      0 |        1 |        0
418.03/418.12	c  395s |      11 |  3174156 |    23544 |   534961      0 |        1 |        0
420.52/420.62	c  397s |      11 |  3174573 |    23744 |   534961      0 |        1 |        0
423.22/423.39	c  400s |      11 |  3174923 |    23944 |   534961      0 |        1 |        0
425.32/425.40	c  402s |      11 |  3175478 |    24144 |   534961      0 |        1 |        0
428.13/428.20	c  405s |      11 |  3175865 |    24344 |   534961      0 |        1 |        0
432.12/432.28	c  409s |      11 |  3176168 |    24544 |   534961      0 |        1 |        0
435.92/436.03	c  412s |      11 |  3176459 |    24744 |   534961      0 |        1 |        0
439.42/439.55	c  416s |      11 |  3176811 |    24944 |   534961      0 |        1 |        0
442.23/442.33	c  419s |      11 |  3176937 |    25044 |   534961      0 |        1 |        0
444.22/444.36	c  421s |      11 |  3177238 |    25144 |   534961      0 |        1 |        0
446.42/446.52	c  423s |      11 |  3177509 |    25244 |   534961      0 |        1 |        0
449.32/449.41	c  426s |      11 |  3178015 |    25444 |   534961      0 |        1 |        0
452.13/452.26	c  429s |      11 |  3178434 |    25644 |   588458      0 |        1 |        0
454.42/454.57	c  431s |      12 |  3178894 |    25819 |   588458      0 |        1 |        0
457.42/457.54	c  434s |      12 |  3419748 |    25919 |   588458      0 |        1 |        0
460.22/460.31	c  437s |      12 |  3420318 |    26219 |   588458      0 |        1 |        0
463.12/463.30	c  440s |      12 |  3420760 |    26419 |   588458      0 |        1 |        0
466.91/467.04	c  443s |      12 |  3421124 |    26619 |   588458      0 |        1 |        0
470.62/470.80	c  447s |      12 |  3421663 |    26819 |   588458      0 |        1 |        0
472.82/472.93	c  449s |      12 |  3422076 |    27019 |   588458      0 |        1 |        0
475.62/475.73	c  452s |      12 |  3422631 |    27319 |   588458      0 |        1 |        0
479.01/479.16	c  456s |      12 |  3422949 |    27519 |   588458      0 |        1 |        0
481.21/481.33	c  458s |      12 |  3423133 |    27619 |   588458      0 |        1 |        0
483.41/483.59	c  460s |      12 |  3423295 |    27719 |   588458      0 |        1 |        0
487.01/487.18	c  464s |      12 |  3423862 |    27919 |   588458      0 |        1 |        0
489.11/489.26	c  466s |      12 |  3424024 |    28019 |   588458      0 |        1 |        0
491.51/491.62	c  468s |      12 |  3424237 |    28119 |   588458      0 |        1 |        0
493.71/493.81	c  470s |      12 |  3424390 |    28219 |   588458      0 |        1 |        0
495.81/495.97	c  472s |      12 |  3424529 |    28319 |   588458      0 |        1 |        0
498.81/498.93	c  475s |      12 |  3424769 |    28419 |   588458      0 |        1 |        0
501.40/501.60	c  478s |      12 |  3424939 |    28519 |   588458      0 |        1 |        0
505.10/505.22	c  482s |      12 |  3425082 |    28619 |   588458      0 |        1 |        0
508.81/508.97	c  485s |      12 |  3425222 |    28719 |   588458      0 |        1 |        0
513.10/513.25	c  490s |      12 |  3425403 |    28819 |   588458      0 |        1 |        0
516.01/516.20	c  493s |      12 |  3425621 |    28919 |   588458      0 |        1 |        0
518.81/518.90	c  495s |      12 |  3425803 |    29019 |   588458      0 |        1 |        0
521.90/522.04	c  498s |      12 |  3426013 |    29119 |   588458      0 |        1 |        0
524.80/524.91	c  501s |      12 |  3426196 |    29219 |   588458      0 |        1 |        0
528.50/528.65	c  505s |      12 |  3426342 |    29319 |   588458      0 |        1 |        0
531.70/531.81	c  508s |      12 |  3426513 |    29419 |   588458      0 |        1 |        0
536.10/536.22	c  513s |      12 |  3426661 |    29519 |   588458      0 |        1 |        0
539.30/539.48	c  516s |      12 |  3426899 |    29619 |   588458      0 |        1 |        0
542.70/542.84	c  519s |      12 |  3427039 |    29719 |   588458      0 |        1 |        0
546.10/546.25	c  523s |      12 |  3427156 |    29819 |   588458      0 |        1 |        0
550.70/550.82	c  527s |      12 |  3427277 |    29919 |   588458      0 |        1 |        0
554.30/554.40	c  531s |      12 |  3427445 |    30019 |   588458      0 |        1 |        0
557.89/558.06	c  534s |      12 |  3427612 |    30119 |   588458      0 |        1 |        0
560.80/561.00	c  537s |      12 |  3427759 |    30219 |   588458      0 |        1 |        0
564.00/564.16	c  541s |      12 |  3427932 |    30319 |   588458      0 |        1 |        0
567.99/568.10	c  544s |      12 |  3428055 |    30419 |   588458      0 |        1 |        0
571.69/571.81	c  548s |      12 |  3428234 |    30519 |   588458      0 |        1 |        0
574.68/574.88	c  551s |      12 |  3428462 |    30619 |   588458      0 |        1 |        0
576.88/577.06	c  553s |      12 |  3428619 |    30719 |   588458      0 |        1 |        0
579.29/579.46	c  556s |      12 |  3428743 |    30819 |   588458      0 |        1 |        0
581.80/582.00	c  558s |      12 |  3428881 |    30919 |   588458      0 |        1 |        0
584.39/584.58	c  561s |      12 |  3429001 |    31019 |   588458      0 |        1 |        0
587.48/587.67	c  564s |      12 |  3429125 |    31119 |   588458      0 |        1 |        0
590.18/590.32	c  567s |      12 |  3429306 |    31219 |   588458      0 |        1 |        0
592.89/593.07	c  569s |      12 |  3429453 |    31319 |   588458      0 |        1 |        0
595.17/595.39	c  572s |      12 |  3429575 |    31419 |   588458      0 |        1 |        0
599.57/599.76	c  576s |      12 |  3429895 |    31619 |   588458      0 |        1 |        0
604.88/605.09	c  581s |      12 |  3430018 |    31719 |   588458      0 |        1 |        0
609.17/609.32	c  586s |      12 |  3430174 |    31819 |   588458      0 |        1 |        0
613.68/613.81	c  590s |      12 |  3430309 |    31919 |   588458      0 |        1 |        0
617.47/617.66	c  594s |      12 |  3430432 |    32019 |   588458      0 |        1 |        0
623.37/623.59	c  600s |      12 |  3430577 |    32119 |   588458      0 |        1 |        0
628.67/628.83	c  605s |      12 |  3430731 |    32219 |   588458      0 |        1 |        0
631.96/632.10	c  608s |      12 |  3430889 |    32319 |   588458      0 |        1 |        0
636.77/636.92	c  613s |      12 |  3431015 |    32419 |   588458      0 |        1 |        0
641.96/642.13	c  619s |      12 |  3431187 |    32519 |   588458      0 |        1 |        0
645.16/645.36	c  622s |      12 |  3431348 |    32619 |   588458      0 |        1 |        0
649.26/649.40	c  626s |      12 |  3431505 |    32719 |   588458      0 |        1 |        0
652.46/652.65	c  629s |      12 |  3431646 |    32819 |   588458      0 |        1 |        0
657.96/658.19	c  635s |      12 |  3431814 |    32919 |   588458      0 |        1 |        0
662.47/662.63	c  639s |      12 |  3431966 |    33019 |   588458      0 |        1 |        0
665.26/665.43	c  642s |      12 |  3432112 |    33119 |   588458      0 |        1 |        0
670.16/670.31	c  647s |      12 |  3432237 |    33219 |   588458      0 |        1 |        0
673.66/673.85	c  650s |      12 |  3432383 |    33319 |   588458      0 |        1 |        0
677.57/677.73	c  654s |      12 |  3432528 |    33419 |   588458      0 |        1 |        0
682.45/682.67	c  659s |      12 |  3432671 |    33519 |   588458      0 |        1 |        0
686.26/686.48	c  663s |      12 |  3432863 |    33619 |   588458      0 |        1 |        0
690.16/690.35	c  667s |      12 |  3433023 |    33719 |   588458      0 |        1 |        0
694.36/694.56	c  671s |      12 |  3433187 |    33819 |   588458      0 |        1 |        0
699.86/700.01	c  676s |      12 |  3433344 |    33919 |   588458      0 |        1 |        0
704.86/705.04	c  681s |      12 |  3433494 |    34019 |   588458      0 |        1 |        0
712.05/712.24	c  689s |      12 |  3433627 |    34119 |   588458      0 |        1 |        0
717.85/718.08	c  694s |      12 |  3433750 |    34219 |   588458      0 |        1 |        0
723.44/723.66	c  700s |      12 |  3433864 |    34319 |   588458      0 |        1 |        0
728.74/728.96	c  705s |      12 |  3434005 |    34419 |   588458      0 |        1 |        0
737.03/737.25	c  714s |      12 |  3434124 |    34519 |   588458      0 |        1 |        0
746.75/746.97	c  723s |      12 |  3434253 |    34619 |   588458      0 |        1 |        0
753.53/753.75	c  730s |      12 |  3434380 |    34719 |   588458      0 |        1 |        0
761.63/761.83	c  738s |      12 |  3434545 |    34819 |   588458      0 |        1 |        0
767.93/768.11	c  744s |      12 |  3434678 |    34919 |   588458      0 |        1 |        0
777.53/777.76	c  754s |      12 |  3434821 |    35019 |   588458      0 |        1 |        0
785.23/785.44	c  762s |      12 |  3434964 |    35119 |   588458      0 |        1 |        0
792.53/792.77	c  769s |      12 |  3435087 |    35219 |   588458      0 |        1 |        0
800.12/800.36	c  777s |      12 |  3435199 |    35319 |   588458      0 |        1 |        0
806.92/807.19	c  784s |      12 |  3435345 |    35419 |   588458      0 |        1 |        0
810.53/810.75	c  787s |      12 |  3435554 |    35519 |   588458      0 |        1 |        0
813.42/813.60	c  790s |      12 |  3435752 |    35619 |   588458      0 |        1 |        0
816.32/816.58	c  793s |      12 |  3435980 |    35719 |   588458      0 |        1 |        0
819.12/819.31	c  796s |      12 |  3436131 |    35819 |   588458      0 |        1 |        0
823.42/823.68	c  800s |      12 |  3436302 |    35919 |   588458      0 |        1 |        0
825.71/825.90	c  802s |      12 |  3436566 |    36019 |   588458      0 |        1 |        0
828.31/828.51	c  805s |      12 |  3436759 |    36119 |   588458      0 |        1 |        0
830.51/830.73	c  807s |      12 |  3437008 |    36219 |   588458      0 |        1 |        0
832.91/833.12	c  810s |      12 |  3437225 |    36319 |   588458      0 |        1 |        0
835.71/835.96	c  812s |      12 |  3437398 |    36419 |   588458      0 |        1 |        0
840.32/840.59	c  817s |      12 |  3437553 |    36519 |   588458      0 |        1 |        0
843.91/844.12	c  821s |      12 |  3437687 |    36619 |   588458      0 |        1 |        0
846.41/846.60	c  823s |      12 |  3437981 |    36719 |   588458      0 |        1 |        0
849.51/849.76	c  826s |      12 |  3438140 |    36819 |   588458      0 |        1 |        0
852.21/852.41	c  829s |      12 |  3438266 |    36919 |   588458      0 |        1 |        0
855.11/855.30	c  832s |      12 |  3438477 |    37019 |   588458      0 |        1 |        0
857.51/857.70	c  834s |      12 |  3438671 |    37119 |   588458      0 |        1 |        0
860.31/860.50	c  837s |      12 |  3438822 |    37219 |   588458      0 |        1 |        0
864.10/864.35	c  841s |      12 |  3439028 |    37319 |   588458      0 |        1 |        0
868.41/868.69	c  845s |      12 |  3439338 |    37519 |   588458      0 |        1 |        0
871.61/871.81	c  848s |      12 |  3439685 |    37719 |   588458      0 |        1 |        0
874.21/874.41	c  851s |      12 |  3439885 |    37819 |   588458      0 |        1 |        0
877.41/877.60	c  854s |      12 |  3440066 |    37919 |   588458      0 |        1 |        0
881.11/881.38	c  858s |      12 |  3440224 |    38019 |   588458      0 |        1 |        0
883.40/883.65	c  860s |      12 |  3440424 |    38119 |   588458      0 |        1 |        0
885.70/885.99	c  862s |      12 |  3440561 |    38219 |   588458      0 |        1 |        0
888.30/888.58	c  865s |      12 |  3440744 |    38319 |   588458      0 |        1 |        0
890.70/890.92	c  867s |      12 |  3440940 |    38419 |   588458      0 |        1 |        0
893.10/893.32	c  870s |      12 |  3441089 |    38519 |   647304      0 |        1 |        0
895.40/895.62	c  872s |      12 |  3441272 |    38619 |   647304      0 |        1 |        0
898.20/898.46	c  875s |      12 |  3441446 |    38719 |   647304      0 |        1 |        0
900.71/900.91	c  877s |      12 |  3441609 |    38819 |   647304      0 |        1 |        0
901.20/901.40	c  878s |      13 |  3441636 |    38832 |   647304      0 |        1 |        0
907.31/907.55	c  884s |      13 |  3682354 |    38932 |   647304      0 |        1 |        0
909.30/909.56	c  886s |      13 |  3682573 |    39032 |   647304      0 |        1 |        0
911.90/912.14	c  889s |      13 |  3682826 |    39132 |   647304      0 |        1 |        0
913.90/914.14	c  891s |      13 |  3683010 |    39232 |   647304      0 |        1 |        0
916.10/916.39	c  893s |      13 |  3683234 |    39332 |   647304      0 |        1 |        0
918.59/918.81	c  895s |      13 |  3683623 |    39532 |   647304      0 |        1 |        0
920.89/921.16	c  898s |      13 |  3684063 |    39732 |   647304      0 |        1 |        0
924.39/924.68	c  901s |      13 |  3684583 |    39932 |   647304      0 |        1 |        0
928.10/928.39	c  905s |      13 |  3684964 |    40132 |   647304      0 |        1 |        0
930.79/931.08	c  907s |      13 |  3685201 |    40232 |   647304      0 |        1 |        0
933.60/933.82	c  910s |      13 |  3685735 |    40432 |   647304      0 |        1 |        0
935.99/936.23	c  913s |      13 |  3685905 |    40532 |   647304      0 |        1 |        0
938.69/938.97	c  915s |      13 |  3686283 |    40732 |   647304      0 |        1 |        0
941.99/942.26	c  919s |      13 |  3686726 |    40932 |   647304      0 |        1 |        0
945.69/945.97	c  922s |      13 |  3687378 |    41132 |   647304      0 |        1 |        0
948.19/948.43	c  925s |      13 |  3687714 |    41332 |   647304      0 |        1 |        0
952.19/952.45	c  929s |      13 |  3688072 |    41532 |   647304      0 |        1 |        0
954.29/954.58	c  931s |      13 |  3688253 |    41632 |   647304      0 |        1 |        0
956.49/956.77	c  933s |      13 |  3688410 |    41732 |   647304      0 |        1 |        0
958.79/959.09	c  935s |      13 |  3688687 |    41832 |   647304      0 |        1 |        0
960.98/961.20	c  938s |      13 |  3688861 |    41932 |   647304      0 |        1 |        0
964.19/964.41	c  941s |      13 |  3689058 |    42032 |   647304      0 |        1 |        0
966.28/966.51	c  943s |      13 |  3689288 |    42132 |   647304      0 |        1 |        0
969.39/969.68	c  946s |      13 |  3689416 |    42232 |   647304      0 |        1 |        0
971.89/972.10	c  948s |      13 |  3689658 |    42332 |   647304      0 |        1 |        0
973.89/974.11	c  951s |      13 |  3689823 |    42432 |   647304      0 |        1 |        0
977.18/977.42	c  954s |      13 |  3690577 |    42732 |   647304      0 |        1 |        0
980.18/980.44	c  957s |      13 |  3691066 |    42932 |   647304      0 |        1 |        0
982.98/983.26	c  960s |      13 |  3691357 |    43132 |   647304      0 |        1 |        0
986.28/986.58	c  963s |      13 |  3691665 |    43332 |   647304      0 |        1 |        0
989.79/990.04	c  966s |      13 |  3691954 |    43532 |   647304      0 |        1 |        0
993.48/993.74	c  970s |      13 |  3692295 |    43732 |   647304      0 |        1 |        0
995.47/995.79	c  972s |      13 |  3692534 |    43832 |   647304      0 |        1 |        0
997.68/997.96	c  974s |      13 |  3692646 |    43932 |   647304      0 |        1 |        0
1000.88/1001.14	c  978s |      13 |  3692919 |    44132 |   647304      0 |        1 |        0
1003.87/1004.16	c  981s |      13 |  3693183 |    44332 |   647304      0 |        1 |        0
1006.38/1006.68	c  983s |      13 |  3693507 |    44432 |   647304      0 |        1 |        0
1009.17/1009.43	c  986s |      13 |  3693799 |    44632 |   647304      0 |        1 |        0
1012.88/1013.15	c  990s |      13 |  3694169 |    44832 |   647304      0 |        1 |        0
1015.57/1015.85	c  992s |      13 |  3694330 |    44932 |   647304      0 |        1 |        0
1017.96/1018.27	c  995s |      13 |  3694486 |    45032 |   647304      0 |        1 |        0
1021.17/1021.43	c  998s |      13 |  3694668 |    45132 |   647304      0 |        1 |        0
1024.47/1024.76	c 1001s |      13 |  3695030 |    45332 |   647304      0 |        1 |        0
1028.57/1028.86	c 1005s |      13 |  3695416 |    45532 |   647304      0 |        1 |        0
1031.17/1031.47	c 1008s |      13 |  3695686 |    45732 |   647304      0 |        1 |        0
1033.97/1034.26	c 1011s |      13 |  3695935 |    45932 |   647304      0 |        1 |        0
1038.07/1038.30	c 1015s |      13 |  3696301 |    46132 |   647304      0 |        1 |        0
1040.37/1040.68	c 1017s |      13 |  3696425 |    46232 |   647304      0 |        1 |        0
1042.68/1042.96	c 1019s |      13 |  3696549 |    46332 |   647304      0 |        1 |        0
1044.87/1045.11	c 1022s |      13 |  3696715 |    46432 |   647304      0 |        1 |        0
1046.97/1047.28	c 1024s |      13 |  3696830 |    46532 |   647304      0 |        1 |        0
1051.06/1051.30	c 1028s |      13 |  3697109 |    46732 |   647304      0 |        1 |        0
1054.07/1054.30	c 1031s |      13 |  3697264 |    46832 |   647304      0 |        1 |        0
1056.36/1056.64	c 1033s |      13 |  3697385 |    46932 |   647304      0 |        1 |        0
1058.56/1058.82	c 1035s |      13 |  3697547 |    47032 |   647304      0 |        1 |        0
1060.76/1061.00	c 1037s |      13 |  3697675 |    47132 |   647304      0 |        1 |        0
1063.36/1063.66	c 1040s |      13 |  3697829 |    47232 |   647304      0 |        1 |        0
1065.46/1065.79	c 1042s |      13 |  3698150 |    47332 |   647304      0 |        1 |        0
1068.56/1068.84	c 1045s |      13 |  3698705 |    47632 |   647304      0 |        1 |        0
1071.36/1071.62	c 1048s |      13 |  3698969 |    47832 |   647304      0 |        1 |        0
1074.15/1074.48	c 1051s |      13 |  3699356 |    48132 |   647304      0 |        1 |        0
1076.35/1076.69	c 1053s |      13 |  3699539 |    48232 |   647304      0 |        1 |        0
1079.36/1079.67	c 1056s |      13 |  3699814 |    48432 |   647304      0 |        1 |        0
1082.45/1082.75	c 1059s |      13 |  3700135 |    48632 |   647304      0 |        1 |        0
1084.85/1085.11	c 1062s |      13 |  3700328 |    48732 |   647304      0 |        1 |        0
1087.45/1087.76	c 1064s |      13 |  3700458 |    48832 |   647304      0 |        1 |        0
1091.06/1091.31	c 1068s |      13 |  3700749 |    49032 |   647304      0 |        1 |        0
1095.46/1095.77	c 1072s |      13 |  3701033 |    49232 |   647304      0 |        1 |        0
1098.66/1098.95	c 1075s |      13 |  3701328 |    49432 |   647304      0 |        1 |        0
1100.65/1100.98	c 1077s |      13 |  3701507 |    49532 |   647304      0 |        1 |        0
1102.85/1103.11	c 1080s |      13 |  3701629 |    49632 |   647304      0 |        1 |        0
1106.85/1107.20	c 1084s |      13 |  3701859 |    49832 |   647304      0 |        1 |        0
1109.15/1109.46	c 1086s |      13 |  3701980 |    49932 |   647304      0 |        1 |        0
1111.55/1111.85	c 1088s |      13 |  3702119 |    50032 |   647304      0 |        1 |        0
1114.06/1114.37	c 1091s |      13 |  3702260 |    50132 |   647304      0 |        1 |        0
1117.55/1117.86	c 1094s |      13 |  3702439 |    50232 |   647304      0 |        1 |        0
1120.15/1120.45	c 1097s |      13 |  3702576 |    50332 |   647304      0 |        1 |        0
1122.75/1123.09	c 1099s |      13 |  3702744 |    50432 |   647304      0 |        1 |        0
1126.45/1126.73	c 1103s |      13 |  3703021 |    50632 |   647304      0 |        1 |        0
1129.65/1129.90	c 1106s |      13 |  3703364 |    50832 |   647304      0 |        1 |        0
1132.24/1132.50	c 1109s |      13 |  3703728 |    51032 |   647304      0 |        1 |        0
1136.95/1137.29	c 1114s |      13 |  3704019 |    51232 |   647304      0 |        1 |        0
1140.85/1141.15	c 1118s |      13 |  3704276 |    51432 |   647304      0 |        1 |        0
1143.05/1143.37	c 1120s |      13 |  3704393 |    51532 |   647304      0 |        1 |        0
1145.25/1145.59	c 1122s |      13 |  3704522 |    51632 |   647304      0 |        1 |        0
1147.75/1148.07	c 1124s |      13 |  3704727 |    51732 |   647304      0 |        1 |        0
1151.55/1151.85	c 1128s |      13 |  3705059 |    51932 |   647304      0 |        1 |        0
1155.04/1155.39	c 1132s |      13 |  3705433 |    52132 |   647304      0 |        1 |        0
1157.15/1157.48	c 1134s |      13 |  3705567 |    52232 |   647304      0 |        1 |        0
1159.64/1159.93	c 1136s |      13 |  3705703 |    52332 |   647304      0 |        1 |        0
1163.74/1164.03	c 1140s |      13 |  3706030 |    52532 |   647304      0 |        1 |        0
1167.43/1167.70	c 1144s |      13 |  3706353 |    52732 |   647304      0 |        1 |        0
1169.64/1169.98	c 1146s |      13 |  3706570 |    52832 |   647304      0 |        1 |        0
1173.24/1173.54	c 1150s |      13 |  3706822 |    53032 |   647304      0 |        1 |        0
1176.74/1177.07	c 1153s |      13 |  3707166 |    53232 |   647304      0 |        1 |        0
1179.63/1179.91	c 1156s |      13 |  3707296 |    53332 |   647304      0 |        1 |        0
1181.63/1181.96	c 1158s |      13 |  3707436 |    53432 |   647304      0 |        1 |        0
1185.84/1186.16	c 1163s |      13 |  3707706 |    53632 |   647304      0 |        1 |        0
1187.94/1188.22	c 1165s |      13 |  3707839 |    53732 |   647304      0 |        1 |        0
1191.93/1192.29	c 1169s |      13 |  3708133 |    53932 |   647304      0 |        1 |        0
1196.23/1196.55	c 1173s |      13 |  3708377 |    54132 |   647304      0 |        1 |        0
1198.53/1198.87	c 1175s |      13 |  3708519 |    54232 |   647304      0 |        1 |        0
1201.33/1201.62	c 1178s |      13 |  3708675 |    54332 |   647304      0 |        1 |        0
1203.73/1204.00	c 1180s |      13 |  3708834 |    54432 |   647304      0 |        1 |        0
1206.33/1206.68	c 1183s |      13 |  3708961 |    54532 |   647304      0 |        1 |        0
1208.63/1208.93	c 1185s |      13 |  3709125 |    54632 |   647304      0 |        1 |        0
1211.13/1211.48	c 1188s |      13 |  3709291 |    54732 |   647304      0 |        1 |        0
1213.92/1214.22	c 1191s |      13 |  3709437 |    54832 |   647304      0 |        1 |        0
1217.13/1217.46	c 1194s |      13 |  3709582 |    54932 |   647304      0 |        1 |        0
1219.42/1219.72	c 1196s |      13 |  3709737 |    55032 |   647304      0 |        1 |        0
1221.53/1221.82	c 1198s |      13 |  3709876 |    55132 |   647304      0 |        1 |        0
1223.93/1224.27	c 1201s |      13 |  3710059 |    55232 |   647304      0 |        1 |        0
1226.33/1226.63	c 1203s |      13 |  3710209 |    55332 |   647304      0 |        1 |        0
1228.63/1228.97	c 1205s |      13 |  3710356 |    55432 |   647304      0 |        1 |        0
1231.22/1231.51	c 1208s |      13 |  3710481 |    55532 |   647304      0 |        1 |        0
1234.03/1234.37	c 1211s |      13 |  3710628 |    55632 |   647304      0 |        1 |        0
1237.93/1238.26	c 1215s |      13 |  3710962 |    55832 |   647304      0 |        1 |        0
1240.92/1241.24	c 1218s |      13 |  3711272 |    56032 |   647304      0 |        1 |        0
1244.13/1244.42	c 1221s |      13 |  3711594 |    56232 |   647304      0 |        1 |        0
1246.92/1247.24	c 1224s |      13 |  3711892 |    56432 |   647304      0 |        1 |        0
1249.83/1250.17	c 1227s |      13 |  3712190 |    56632 |   647304      0 |        1 |        0
1253.62/1253.99	c 1230s |      13 |  3712465 |    56832 |   647304      0 |        1 |        0
1256.41/1256.71	c 1233s |      13 |  3712791 |    57032 |   647304      0 |        1 |        0
1259.52/1259.80	c 1236s |      13 |  3713111 |    57232 |   647304      0 |        1 |        0
1262.81/1263.15	c 1240s |      13 |  3713465 |    57432 |   647304      0 |        1 |        0
1266.51/1266.87	c 1243s |      13 |  3713789 |    57632 |   647304      0 |        1 |        0
1268.51/1268.87	c 1245s |      13 |  3713931 |    57732 |   647304      0 |        1 |        0
1271.11/1271.42	c 1248s |      13 |  3714068 |    57832 |   647304      0 |        1 |        0
1274.31/1274.61	c 1251s |      13 |  3714207 |    57932 |   712035      0 |        1 |        0
1277.21/1277.53	c 1254s |      13 |  3714330 |    58032 |   712035      0 |        1 |        0
1281.01/1281.36	c 1258s |      13 |  3714447 |    58132 |   712035      0 |        1 |        0
1283.11/1283.40	c 1260s |      13 |  3714582 |    58232 |   712035      0 |        1 |        0
1286.21/1286.53	c 1263s |      13 |  3714729 |    58332 |   712035      0 |        1 |        0
1286.81/1287.11	c 1263s |      14 |  3714751 |    58352 |   712035      0 |        1 |        0
1292.91/1293.29	c 1270s |      14 |  3955415 |    58452 |   712035      0 |        1 |        0
1296.11/1296.44	c 1273s |      14 |  3955725 |    58652 |   712035      0 |        1 |        0
1298.50/1298.80	c 1275s |      14 |  3956011 |    58852 |   712035      0 |        1 |        0
1302.12/1302.47	c 1279s |      14 |  3956268 |    59052 |   712035      0 |        1 |        0
1305.51/1305.81	c 1282s |      14 |  3956521 |    59252 |   712035      0 |        1 |        0
1308.60/1308.94	c 1285s |      14 |  3956815 |    59452 |   712035      0 |        1 |        0
1312.70/1313.00	c 1289s |      14 |  3957115 |    59652 |   712035      0 |        1 |        0
1315.70/1316.06	c 1292s |      14 |  3957498 |    59852 |   712035      0 |        1 |        0
1318.71/1319.03	c 1295s |      14 |  3957769 |    60052 |   712035      0 |        1 |        0
1321.91/1322.25	c 1299s |      14 |  3958066 |    60252 |   712035      0 |        1 |        0
1324.70/1325.04	c 1301s |      14 |  3958394 |    60452 |   712035      0 |        1 |        0
1327.40/1327.76	c 1304s |      14 |  3958733 |    60652 |   712035      0 |        1 |        0
1330.39/1330.70	c 1307s |      14 |  3959048 |    60852 |   712035      0 |        1 |        0
1333.40/1333.72	c 1310s |      14 |  3959374 |    61052 |   712035      0 |        1 |        0
1336.10/1336.50	c 1313s |      14 |  3959527 |    61152 |   712035      0 |        1 |        0
1338.29/1338.67	c 1315s |      14 |  3959742 |    61252 |   712035      0 |        1 |        0
1340.79/1341.12	c 1318s |      14 |  3959899 |    61352 |   712035      0 |        1 |        0
1343.50/1343.90	c 1320s |      14 |  3960109 |    61452 |   712035      0 |        1 |        0
1345.69/1346.01	c 1322s |      14 |  3960274 |    61552 |   712035      0 |        1 |        0
1348.59/1348.94	c 1325s |      14 |  3960654 |    61752 |   712035      0 |        1 |        0
1351.29/1351.69	c 1328s |      14 |  3961054 |    61952 |   712035      0 |        1 |        0
1353.99/1354.34	c 1331s |      14 |  3961353 |    62052 |   712035      0 |        1 |        0
1358.49/1358.85	c 1335s |      14 |  3961605 |    62252 |   712035      0 |        1 |        0
1360.49/1360.87	c 1337s |      14 |  3961786 |    62352 |   712035      0 |        1 |        0
1362.60/1362.96	c 1339s |      14 |  3961974 |    62452 |   712035      0 |        1 |        0
1366.09/1366.48	c 1343s |      14 |  3962253 |    62652 |   712035      0 |        1 |        0
1368.98/1369.37	c 1346s |      14 |  3962570 |    62852 |   712035      0 |        1 |        0
1371.98/1372.36	c 1349s |      14 |  3962819 |    63052 |   712035      0 |        1 |        0
1374.69/1375.03	c 1351s |      14 |  3963071 |    63252 |   712035      0 |        1 |        0
1377.68/1378.03	c 1354s |      14 |  3963332 |    63452 |   712035      0 |        1 |        0
1381.78/1382.19	c 1359s |      14 |  3963593 |    63652 |   712035      0 |        1 |        0
1384.97/1385.32	c 1362s |      14 |  3963994 |    63852 |   712035      0 |        1 |        0
1386.98/1387.38	c 1364s |      14 |  3964151 |    63952 |   712035      0 |        1 |        0
1390.48/1390.83	c 1367s |      14 |  3964438 |    64152 |   712035      0 |        1 |        0
1393.78/1394.18	c 1371s |      14 |  3964717 |    64352 |   712035      0 |        1 |        0
1395.87/1396.21	c 1373s |      14 |  3964835 |    64452 |   712035      0 |        1 |        0
1398.08/1398.49	c 1375s |      14 |  3965036 |    64552 |   712035      0 |        1 |        0
1400.28/1400.64	c 1377s |      14 |  3965517 |    64752 |   712035      0 |        1 |        0
1403.18/1403.58	c 1380s |      14 |  3965867 |    64952 |   712035      0 |        1 |        0
1406.07/1406.45	c 1383s |      14 |  3966150 |    65152 |   712035      0 |        1 |        0
1408.78/1409.17	c 1386s |      14 |  3966456 |    65352 |   712035      0 |        1 |        0
1412.18/1412.57	c 1389s |      14 |  3966799 |    65552 |   712035      0 |        1 |        0
1414.47/1414.81	c 1391s |      14 |  3967000 |    65652 |   712035      0 |        1 |        0
1417.28/1417.61	c 1394s |      14 |  3967302 |    65852 |   712035      0 |        1 |        0
1420.47/1420.88	c 1397s |      14 |  3967604 |    66052 |   712035      0 |        1 |        0
1423.47/1423.87	c 1400s |      14 |  3967892 |    66252 |   712035      0 |        1 |        0
1425.98/1426.32	c 1403s |      14 |  3968058 |    66352 |   712035      0 |        1 |        0
1428.37/1428.70	c 1405s |      14 |  3968219 |    66452 |   712035      0 |        1 |        0
1432.47/1432.83	c 1409s |      14 |  3968476 |    66652 |   712035      0 |        1 |        0
1434.88/1435.23	c 1412s |      14 |  3968702 |    66752 |   712035      0 |        1 |        0
1437.87/1438.26	c 1415s |      14 |  3968978 |    66852 |   712035      0 |        1 |        0
1441.47/1441.87	c 1418s |      14 |  3969436 |    67052 |   712035      0 |        1 |        0
1444.97/1445.40	c 1422s |      14 |  3969837 |    67252 |   712035      0 |        1 |        0
1447.07/1447.43	c 1424s |      14 |  3970199 |    67452 |   712035      0 |        1 |        0
1449.17/1449.59	c 1426s |      14 |  3970434 |    67652 |   712035      0 |        1 |        0
1452.37/1452.73	c 1429s |      14 |  3970729 |    67852 |   712035      0 |        1 |        0
1455.37/1455.73	c 1432s |      14 |  3971051 |    68052 |   712035      0 |        1 |        0
1458.77/1459.11	c 1436s |      14 |  3971344 |    68252 |   712035      0 |        1 |        0
1461.07/1461.41	c 1438s |      14 |  3971720 |    68452 |   712035      0 |        1 |        0
1463.67/1464.05	c 1440s |      14 |  3972062 |    68652 |   712035      0 |        1 |        0
1465.76/1466.12	c 1443s |      14 |  3972422 |    68852 |   712035      0 |        1 |        0
1468.86/1469.27	c 1446s |      14 |  3972750 |    69052 |   712035      0 |        1 |        0
1470.97/1471.33	c 1448s |      14 |  3973029 |    69252 |   712035      0 |        1 |        0
1472.96/1473.37	c 1450s |      14 |  3973322 |    69452 |   712035      0 |        1 |        0
1475.17/1475.59	c 1452s |      14 |  3973568 |    69652 |   712035      0 |        1 |        0
1477.56/1477.96	c 1454s |      14 |  3973867 |    69852 |   712035      0 |        1 |        0
1480.07/1480.41	c 1457s |      14 |  3974113 |    70052 |   712035      0 |        1 |        0
1482.06/1482.46	c 1459s |      14 |  3974396 |    70252 |   712035      0 |        1 |        0
1484.77/1485.19	c 1462s |      14 |  3974656 |    70452 |   712035      0 |        1 |        0
1487.66/1488.00	c 1464s |      14 |  3975087 |    70752 |   712035      0 |        1 |        0
1489.96/1490.34	c 1467s |      14 |  3975363 |    70952 |   712035      0 |        1 |        0
1493.27/1493.63	c 1470s |      14 |  3975670 |    71152 |   712035      0 |        1 |        0
1496.66/1497.02	c 1473s |      14 |  3975972 |    71352 |   712035      0 |        1 |        0
1499.36/1499.74	c 1476s |      14 |  3976240 |    71552 |   712035      0 |        1 |        0
1502.06/1502.44	c 1479s |      14 |  3976561 |    71752 |   712035      0 |        1 |        0
1505.16/1505.52	c 1482s |      14 |  3976805 |    71952 |   712035      0 |        1 |        0
1507.16/1507.56	c 1484s |      14 |  3976946 |    72052 |   712035      0 |        1 |        0
1511.16/1511.59	c 1488s |      14 |  3977262 |    72252 |   712035      0 |        1 |        0
1513.27/1513.67	c 1490s |      14 |  3977430 |    72352 |   712035      0 |        1 |        0
1516.16/1516.53	c 1493s |      14 |  3977664 |    72552 |   712035      0 |        1 |        0
1519.46/1519.86	c 1496s |      14 |  3977991 |    72752 |   712035      0 |        1 |        0
1521.76/1522.18	c 1499s |      14 |  3978279 |    72952 |   712035      0 |        1 |        0
1525.55/1525.96	c 1502s |      14 |  3978624 |    73152 |   712035      0 |        1 |        0
1529.36/1529.71	c 1506s |      14 |  3978961 |    73352 |   712035      0 |        1 |        0
1531.56/1531.94	c 1508s |      14 |  3979265 |    73552 |   712035      0 |        1 |        0
1534.45/1534.81	c 1511s |      14 |  3979573 |    73752 |   712035      0 |        1 |        0
1538.15/1538.53	c 1515s |      14 |  3979832 |    73952 |   712035      0 |        1 |        0
1540.65/1541.08	c 1517s |      14 |  3979956 |    74052 |   712035      0 |        1 |        0
1543.45/1543.84	c 1520s |      14 |  3980251 |    74252 |   712035      0 |        1 |        0
1545.46/1545.87	c 1522s |      14 |  3980462 |    74352 |   712035      0 |        1 |        0
1548.16/1548.58	c 1525s |      14 |  3980769 |    74552 |   712035      0 |        1 |        0
1551.65/1552.09	c 1528s |      14 |  3981014 |    74752 |   712035      0 |        1 |        0
1555.35/1555.79	c 1532s |      14 |  3981308 |    74952 |   712035      0 |        1 |        0
1558.75/1559.14	c 1536s |      14 |  3981467 |    75052 |   712035      0 |        1 |        0
1562.35/1562.71	c 1539s |      14 |  3981589 |    75152 |   712035      0 |        1 |        0
1564.55/1564.90	c 1541s |      14 |  3981874 |    75352 |   712035      0 |        1 |        0
1567.16/1567.57	c 1544s |      14 |  3981988 |    75452 |   712035      0 |        1 |        0
1571.25/1571.67	c 1548s |      14 |  3982263 |    75652 |   712035      0 |        1 |        0
1573.75/1574.16	c 1551s |      14 |  3982525 |    75852 |   712035      0 |        1 |        0
1576.35/1576.75	c 1553s |      14 |  3982828 |    76052 |   712035      0 |        1 |        0
1579.95/1580.32	c 1557s |      14 |  3983066 |    76252 |   712035      0 |        1 |        0
1582.66/1583.05	c 1559s |      14 |  3983227 |    76352 |   712035      0 |        1 |        0
1584.86/1585.28	c 1562s |      14 |  3983395 |    76452 |   712035      0 |        1 |        0
1587.14/1587.58	c 1564s |      14 |  3983592 |    76552 |   712035      0 |        1 |        0
1590.84/1591.23	c 1568s |      14 |  3983906 |    76752 |   712035      0 |        1 |        0
1595.44/1595.85	c 1572s |      14 |  3984165 |    76952 |   712035      0 |        1 |        0
1598.75/1599.12	c 1576s |      14 |  3984399 |    77152 |   712035      0 |        1 |        0
1602.64/1603.02	c 1579s |      14 |  3984722 |    77352 |   712035      0 |        1 |        0
1604.74/1605.14	c 1582s |      14 |  3984857 |    77452 |   712035      0 |        1 |        0
1607.34/1607.72	c 1584s |      14 |  3984993 |    77552 |   712035      0 |        1 |        0
1609.94/1610.35	c 1587s |      14 |  3985136 |    77652 |   712035      0 |        1 |        0
1612.04/1612.47	c 1589s |      14 |  3985275 |    77752 |   712035      0 |        1 |        0
1614.34/1614.77	c 1591s |      14 |  3985432 |    77852 |   712035      0 |        1 |        0
1616.54/1617.00	c 1593s |      14 |  3985562 |    77952 |   712035      0 |        1 |        0
1618.95/1619.34	c 1596s |      14 |  3985694 |    78052 |   712035      0 |        1 |        0
1622.73/1623.16	c 1600s |      14 |  3985800 |    78152 |   712035      0 |        1 |        0
1626.24/1626.61	c 1603s |      14 |  3986306 |    78352 |   712035      0 |        1 |        0
1628.44/1628.83	c 1605s |      14 |  3986458 |    78452 |   712035      0 |        1 |        0
1631.53/1631.93	c 1608s |      14 |  3986917 |    78652 |   712035      0 |        1 |        0
1634.24/1634.67	c 1611s |      14 |  3987362 |    78852 |   712035      0 |        1 |        0
1637.44/1637.82	c 1614s |      14 |  3987644 |    79052 |   712035      0 |        1 |        0
1640.73/1641.14	c 1618s |      14 |  3987994 |    79252 |   712035      0 |        1 |        0
1644.93/1645.37	c 1622s |      14 |  3988285 |    79452 |   712035      0 |        1 |        0
1648.33/1648.71	c 1625s |      14 |  3988698 |    79652 |   712035      0 |        1 |        0
1651.34/1651.72	c 1628s |      14 |  3988984 |    79852 |   712035      0 |        1 |        0
1655.84/1656.25	c 1633s |      14 |  3989246 |    80052 |   712035      0 |        1 |        0
1660.13/1660.53	c 1637s |      14 |  3989653 |    80252 |   712035      0 |        1 |        0
1662.84/1663.27	c 1640s |      14 |  3989836 |    80352 |   712035      0 |        1 |        0
1665.53/1665.94	c 1642s |      14 |  3990007 |    80452 |   712035      0 |        1 |        0
1667.83/1668.27	c 1645s |      14 |  3990180 |    80552 |   712035      0 |        1 |        0
1671.23/1671.61	c 1648s |      14 |  3990648 |    80752 |   712035      0 |        1 |        0
1673.73/1674.15	c 1651s |      14 |  3990872 |    80852 |   712035      0 |        1 |        0
1676.53/1676.96	c 1653s |      14 |  3991049 |    80952 |   712035      0 |        1 |        0
1679.53/1679.94	c 1656s |      14 |  3991274 |    81052 |   712035      0 |        1 |        0
1681.63/1682.01	c 1658s |      14 |  3991459 |    81152 |   712035      0 |        1 |        0
1685.62/1686.06	c 1662s |      14 |  3991789 |    81352 |   712035      0 |        1 |        0
1688.03/1688.47	c 1665s |      14 |  3991976 |    81452 |   712035      0 |        1 |        0
1690.12/1690.53	c 1667s |      14 |  3992165 |    81552 |   712035      0 |        1 |        0
1692.13/1692.56	c 1669s |      14 |  3992302 |    81652 |   712035      0 |        1 |        0
1694.22/1694.65	c 1671s |      14 |  3992499 |    81752 |   712035      0 |        1 |        0
1696.62/1697.06	c 1673s |      14 |  3992646 |    81852 |   712035      0 |        1 |        0
1698.72/1699.19	c 1676s |      14 |  3992776 |    81952 |   712035      0 |        1 |        0
1701.03/1701.48	c 1678s |      14 |  3992944 |    82052 |   712035      0 |        1 |        0
1703.33/1703.76	c 1680s |      14 |  3993121 |    82152 |   712035      0 |        1 |        0
1706.42/1706.83	c 1683s |      14 |  3993291 |    82252 |   712035      0 |        1 |        0
1708.92/1709.36	c 1686s |      14 |  3993430 |    82352 |   712035      0 |        1 |        0
1712.92/1713.35	c 1690s |      14 |  3993709 |    82552 |   712035      0 |        1 |        0
1715.32/1715.71	c 1692s |      14 |  3993861 |    82652 |   712035      0 |        1 |        0
1717.43/1717.80	c 1694s |      14 |  3994005 |    82752 |   712035      0 |        1 |        0
1719.92/1720.39	c 1697s |      14 |  3994134 |    82852 |   712035      0 |        1 |        0
1723.62/1724.02	c 1700s |      14 |  3994463 |    82952 |   712035      0 |        1 |        0
1726.92/1727.37	c 1704s |      14 |  3994790 |    83152 |   712035      0 |        1 |        0
1730.62/1731.00	c 1707s |      14 |  3995093 |    83352 |   712035      0 |        1 |        0
1732.62/1733.04	c 1709s |      14 |  3995227 |    83452 |   712035      0 |        1 |        0
1736.12/1736.55	c 1713s |      14 |  3995481 |    83652 |   712035      0 |        1 |        0
1738.12/1738.55	c 1715s |      14 |  3995600 |    83752 |   712035      0 |        1 |        0
1742.12/1742.58	c 1719s |      14 |  3995880 |    83952 |   712035      0 |        1 |        0
1745.42/1745.90	c 1722s |      14 |  3996109 |    84152 |   712035      0 |        1 |        0
1747.62/1748.02	c 1724s |      14 |  3996228 |    84252 |   712035      0 |        1 |        0
1751.81/1752.25	c 1729s |      14 |  3996488 |    84352 |   712035      0 |        1 |        0
1755.02/1755.41	c 1732s |      14 |  3996743 |    84552 |   712035      0 |        1 |        0
1757.92/1758.34	c 1735s |      14 |  3996882 |    84652 |   712035      0 |        1 |        0
1760.01/1760.43	c 1737s |      14 |  3997009 |    84752 |   712035      0 |        1 |        0
1763.91/1764.38	c 1741s |      14 |  3997307 |    84952 |   712035      0 |        1 |        0
1767.81/1768.30	c 1745s |      14 |  3997565 |    85152 |   712035      0 |        1 |        0
1770.12/1770.50	c 1747s |      14 |  3997679 |    85252 |   712035      0 |        1 |        0
1774.11/1774.55	c 1751s |      14 |  3998098 |    85352 |   712035      0 |        1 |        0
1777.91/1778.37	c 1755s |      14 |  3998228 |    85452 |   712035      0 |        1 |        0
1780.71/1781.15	c 1758s |      14 |  3998344 |    85552 |   712035      0 |        1 |        0
1783.61/1784.07	c 1760s |      14 |  3998475 |    85652 |   712035      0 |        1 |        0
1787.01/1787.43	c 1764s |      14 |  3998609 |    85752 |   712035      0 |        1 |        0
1790.61/1791.08	c 1767s |      14 |  3998773 |    85852 |   712035      0 |        1 |        0
1795.01/1795.42	c 1772s |      14 |  3998952 |    85952 |   712035      0 |        1 |        0
1797.20/1797.61	c 1774s |      14 |  3999069 |    86052 |   712035      0 |        1 |        0

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-4093578-1466088097/watcher-4093578-1466088097 -o /tmp/evaluation-result-4093578-1466088097/solver-4093578-1466088097 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466075286-21603 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093578-1466088097.wbo 

pid=23045
running on 4 cores: 1,3,5,7

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.36 2.25 2.20 3/179 23048
/proc/meminfo: memFree=29149624/32872528 swapFree=1499116/1695340
[pid=23048] ppid=23045 vsize=710076 CPUtime=0 cores=1,3,5,7
/proc/23048/stat : 23048 (toysat) R 23045 23048 17390 0 -1 4202496 2642 0 0 0 0 0 0 0 20 0 4 0 10855424 727117824 3514 33554432000 4194304 16246674 140737036921376 140737036920800 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23048/statm: 178031 3524 441 2943 0 174925 0
[pid=23048/tid=23049] ppid=23045 vsize=727484 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23049/stat : 23049 (toysat) S 23045 23048 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10855424 744943616 3585 33554432000 4194304 16246674 140737036921376 139684210519280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23048/tid=23050] ppid=23045 vsize=731580 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23050/stat : 23050 (toysat) S 23045 23048 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10855424 749137920 3598 33554432000 4194304 16246674 140737036921376 139684200029424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23048/tid=23051] ppid=23045 vsize=736700 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23051/stat : 23051 (toysat) S 23045 23048 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10855424 754380800 3617 33554432000 4194304 16246674 140737036921376 139684080512176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 2.36 2.25 2.20 3/179 23048
/proc/meminfo: memFree=29149624/32872528 swapFree=1499116/1695340
[pid=23048] ppid=23045 vsize=1302084 CPUtime=0.08 cores=1,3,5,7
/proc/23048/stat : 23048 (toysat) R 23045 23048 17390 0 -1 4202496 24303 0 0 0 5 3 0 0 20 0 4 0 10855424 1333334016 25115 33554432000 4194304 16246674 140737036921376 140737036920688 7379309 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23048/statm: 325521 25130 801 2943 0 322415 0
[pid=23048/tid=23049] ppid=23045 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23049/stat : 23049 (toysat) S 23045 23048 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10855424 1333334016 25141 33554432000 4194304 16246674 140737036921376 139684210519280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23048/tid=23050] ppid=23045 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23050/stat : 23050 (toysat) S 23045 23048 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10855424 1333334016 25151 33554432000 4194304 16246674 140737036921376 139684200029424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23048/tid=23051] ppid=23045 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23051/stat : 23051 (toysat) S 23045 23048 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10855424 1333334016 25161 33554432000 4194304 16246674 140737036921376 139684080512176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200543 s]
/proc/loadavg: 2.36 2.25 2.20 3/179 23048
/proc/meminfo: memFree=29149624/32872528 swapFree=1499116/1695340
[pid=23048] ppid=23045 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/23048/stat : 23048 (toysat) R 23045 23048 17390 0 -1 4202496 45573 0 0 0 13 6 0 0 20 0 4 0 10855424 1344868352 46896 33554432000 4194304 16246674 140737036921376 140737036920688 7439840 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23048/statm: 328337 46896 802 2943 0 325231 0
[pid=23048/tid=23049] ppid=23045 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23049/stat : 23049 (toysat) S 23045 23048 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10855424 1344868352 46896 33554432000 4194304 16246674 140737036921376 139684210519280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23048/tid=23050] ppid=23045 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23050/stat : 23050 (toysat) S 23045 23048 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10855424 1344868352 46896 33554432000 4194304 16246674 140737036921376 139684200029424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23048/tid=23051] ppid=23045 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23051/stat : 23051 (toysat) S 23045 23048 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10855424 1344868352 46896 33554432000 4194304 16246674 140737036921376 139684080512176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300505 s]
/proc/loadavg: 2.36 2.25 2.20 3/179 23048
/proc/meminfo: memFree=29149624/32872528 swapFree=1499116/1695340
[pid=23048] ppid=23045 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/23048/stat : 23048 (toysat) R 23045 23048 17390 0 -1 4202496 58294 0 0 0 21 8 0 0 20 0 4 0 10855424 1344868352 59617 33554432000 4194304 16246674 140737036921376 140737036920688 4221105 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23048/statm: 328337 59617 802 2943 0 325231 0
[pid=23048/tid=23049] ppid=23045 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23049/stat : 23049 (toysat) S 23045 23048 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10855424 1344868352 59617 33554432000 4194304 16246674 140737036921376 139684210519280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23048/tid=23050] ppid=23045 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23050/stat : 23050 (toysat) S 23045 23048 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10855424 1344868352 59617 33554432000 4194304 16246674 140737036921376 139684200029424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23048/tid=23051] ppid=23045 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23051/stat : 23051 (toysat) S 23045 23048 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10855424 1344868352 59617 33554432000 4194304 16246674 140737036921376 139684080512176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700427 s]
/proc/loadavg: 2.36 2.25 2.20 3/179 23048
/proc/meminfo: memFree=29149624/32872528 swapFree=1499116/1695340
[pid=23048] ppid=23045 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/23048/stat : 23048 (toysat) R 23045 23048 17390 0 -1 4202496 66074 0 0 0 60 9 0 0 20 0 4 0 10855424 1344868352 67397 33554432000 4194304 16246674 140737036921376 140737036919168 7439939 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23048/statm: 328337 67397 802 2943 0 325231 0
[pid=23048/tid=23049] ppid=23045 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23049/stat : 23049 (toysat) S 23045 23048 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10855424 1344868352 67397 33554432000 4194304 16246674 140737036921376 139684210519280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23048/tid=23050] ppid=23045 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23050/stat : 23050 (toysat) S 23045 23048 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10855424 1344868352 67397 33554432000 4194304 16246674 140737036921376 139684200029424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23048/tid=23051] ppid=23045 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23051/stat : 23051 (toysat) S 23045 23048 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10855424 1344868352 67397 33554432000 4194304 16246674 140737036921376 139684080512176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50043 s]
/proc/loadavg: 2.36 2.25 2.20 3/183 23052
/proc/meminfo: memFree=28845980/32872528 swapFree=1499116/1695340
[pid=23048] ppid=23045 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/23048/stat : 23048 (toysat) R 23045 23048 17390 0 -1 4202496 80834 0 0 0 138 11 0 0 20 0 4 0 10855424 1344868352 82158 33554432000 4194304 16246674 140737036921376 140737036904368 7367789 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23048/statm: 328337 82177 803 2943 0 325231 0
[pid=23048/tid=23049] ppid=23045 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23049/stat : 23049 (toysat) S 23045 23048 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10855424 1344868352 82187 33554432000 4194304 16246674 140737036921376 139684210519280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23048/tid=23050] ppid=23045 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23050/stat : 23050 (toysat) S 23045 23048 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10855424 1344868352 82198 33554432000 4194304 16246674 140737036921376 139684200029424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23048/tid=23051] ppid=23045 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23051/stat : 23051 (toysat) S 23045 23048 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10855424 1344868352 82209 33554432000 4194304 16246674 140737036921376 139684080512176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10037 s]
/proc/loadavg: 2.36 2.25 2.20 3/183 23052
/proc/meminfo: memFree=28804068/32872528 swapFree=1499116/1695340
[pid=23048] ppid=23045 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/23048/stat : 23048 (toysat) R 23045 23048 17390 0 -1 4202496 85383 0 0 0 297 12 0 0 20 0 4 0 10855424 1344868352 86706 33554432000 4194304 16246674 140737036921376 140737036919168 6170999 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23048/statm: 328337 86706 835 2943 0 325231 0
[pid=23048/tid=23049] ppid=23045 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23049/stat : 23049 (toysat) S 23045 23048 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10855424 1344868352 86706 33554432000 4194304 16246674 140737036921376 139684210519280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23048/tid=23050] ppid=23045 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23050/stat : 23050 (toysat) S 23045 23048 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10855424 1344868352 86706 33554432000 4194304 16246674 140737036921376 139684200029424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23048/tid=23051] ppid=23045 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23051/stat : 23051 (toysat) S 23045 23048 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10855424 1344868352 86706 33554432000 4194304 16246674 140737036921376 139684080512176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30043 s]
/proc/loadavg: 2.33 2.25 2.20 4/183 23052
/proc/meminfo: memFree=27998988/32872528 swapFree=1499116/1695340
[pid=23048] ppid=23045 vsize=1384004 CPUtime=6.28 cores=1,3,5,7
/proc/23048/stat : 23048 (toysat) R 23045 23048 17390 0 -1 4202496 286620 0 0 0 591 37 0 0 20 0 4 0 10855424 1417220096 287943 33554432000 4194304 16246674 140737036921376 140737036920688 12481192 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23048/statm: 346001 287943 838 2943 0 342895 0
[pid=23048/tid=23049] ppid=23045 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23049/stat : 23049 (toysat) S 23045 23048 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10855424 1417220096 287943 33554432000 4194304 16246674 140737036921376 139684210519280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23048/tid=23050] ppid=23045 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23050/stat : 23050 (toysat) S 23045 23048 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10855424 1417220096 287943 33554432000 4194304 16246674 140737036921376 139684200029424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23048/tid=23051] ppid=23045 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23051/stat : 23051 (toysat) S 23045 23048 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10855424 1417220096 287943 33554432000 4194304 16246674 140737036921376 139684080512176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1384004

[startup+12.7004 s]
/proc/loadavg: 2.30 2.24 2.20 3/183 23052
/proc/meminfo: memFree=27922960/32872528 swapFree=1499116/1695340
[pid=23048] ppid=23045 vsize=1459780 CPUtime=12.69 cores=1,3,5,7
/proc/23048/stat : 23048 (toysat) R 23045 23048 17390 0 -1 4202496 305586 0 0 0 1229 40 0 0 20 0 4 0 10855424 1494814720 306909 33554432000 4194304 16246674 140737036921376 140737036903296 6756533 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23048/statm: 364945 306909 860 2943 0 361839 0
[pid=23048/tid=23049] ppid=23045 vsize=1459780 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23049/stat : 23049 (toysat) S 23045 23048 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10855424 1494814720 306909 33554432000 4194304 16246674 140737036921376 139684210519280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23048/tid=23050] ppid=23045 vsize=1459780 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23050/stat : 23050 (toysat) S 23045 23048 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10855424 1494814720 306909 33554432000 4194304 16246674 140737036921376 139684200029424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23048/tid=23051] ppid=23045 vsize=1459780 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23051/stat : 23051 (toysat) S 23045 23048 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10855424 1494814720 306909 33554432000 4194304 16246674 140737036921376 139684080512176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1459780

[startup+25.5005 s]
/proc/loadavg: 2.30 2.25 2.20 3/183 23052
/proc/meminfo: memFree=27588916/32872528 swapFree=1499116/1695340
[pid=23048] ppid=23045 vsize=1793604 CPUtime=25.49 cores=1,3,5,7
/proc/23048/stat : 23048 (toysat) R 23045 23048 17390 0 -1 4202496 389112 0 0 0 2497 52 0 0 20 0 4 0 10855424 1836650496 390435 33554432000 4194304 16246674 140737036921376 140737036903296 5523188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23048/statm: 448401 390435 930 2943 0 445295 0
[pid=23048/tid=23049] ppid=23045 vsize=1793604 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23049/stat : 23049 (toysat) S 23045 23048 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10855424 1836650496 390435 33554432000 4194304 16246674 140737036921376 139684210519280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23048/tid=23050] ppid=23045 vsize=1793604 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23050/stat : 23050 (toysat) S 23045 23048 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10855424 1836650496 390435 33554432000 4194304 16246674 140737036921376 139684200029424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23048/tid=23051] ppid=23045 vsize=1793604 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23051/stat : 23051 (toysat) S 23045 23048 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10855424 1836650496 390435 33554432000 4194304 16246674 140737036921376 139684080512176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1793604

[startup+51.1005 s]
/proc/loadavg: 2.33 2.26 2.20 4/183 23053
/proc/meminfo: memFree=27588916/32872528 swapFree=1499116/1695340
[pid=23048] ppid=23045 vsize=1793604 CPUtime=51.08 cores=1,3,5,7
/proc/23048/stat : 23048 (toysat) R 23045 23048 17390 0 -1 4202496 389112 0 0 0 5056 52 0 0 20 0 4 0 10855424 1836650496 390435 33554432000 4194304 16246674 140737036921376 140737036919232 13896856 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23048/statm: 448401 390435 930 2943 0 445295 0
[pid=23048/tid=23049] ppid=23045 vsize=1793604 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23049/stat : 23049 (toysat) S 23045 23048 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10855424 1836650496 390435 33554432000 4194304 16246674 140737036921376 139684210519280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23048/tid=23050] ppid=23045 vsize=1793604 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23050/stat : 23050 (toysat) S 23045 23048 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10855424 1836650496 390435 33554432000 4194304 16246674 140737036921376 139684200029424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23048/tid=23051] ppid=23045 vsize=1793604 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23051/stat : 23051 (toysat) S 23045 23048 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10855424 1836650496 390435 33554432000 4194304 16246674 140737036921376 139684080512176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1793604

[startup+102.3 s]
/proc/loadavg: 2.32 2.26 2.20 3/183 23054
/proc/meminfo: memFree=27588920/32872528 swapFree=1499116/1695340
[pid=23048] ppid=23045 vsize=1793604 CPUtime=102.28 cores=1,3,5,7
/proc/23048/stat : 23048 (toysat) R 23045 23048 17390 0 -1 4202496 389115 0 0 0 10175 53 0 0 20 0 4 0 10855424 1836650496 390438 33554432000 4194304 16246674 140737036921376 140737036903296 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23048/statm: 448401 390438 933 2943 0 445295 0
[pid=23048/tid=23049] ppid=23045 vsize=1793604 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23049/stat : 23049 (toysat) S 23045 23048 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10855424 1836650496 390438 33554432000 4194304 16246674 140737036921376 139684210519280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23048/tid=23050] ppid=23045 vsize=1793604 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23050/stat : 23050 (toysat) S 23045 23048 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10855424 1836650496 390438 33554432000 4194304 16246674 140737036921376 139684200029424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23048/tid=23051] ppid=23045 vsize=1793604 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23051/stat : 23051 (toysat) S 23045 23048 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10855424 1836650496 390438 33554432000 4194304 16246674 140737036921376 139684080512176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1793604


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

/proc/23048/task/23051/stat : 23051 (toysat) S 23045 23048 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10855424 2784563200 621829 33554432000 4194304 16246674 140737036921376 139684080512176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 2719300

[startup+1302.3 s]
/proc/loadavg: 2.41 2.28 2.21 4/183 23156
/proc/meminfo: memFree=26604064/32872528 swapFree=1499116/1695340
[pid=23048] ppid=23045 vsize=2773572 CPUtime=1302 cores=1,3,5,7
/proc/23048/stat : 23048 (toysat) R 23045 23048 17390 0 -1 4202496 634203 0 0 0 129950 250 0 0 20 0 4 0 10855424 2840137728 635369 33554432000 4194304 16246674 140737036921376 140737036903232 6011585 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23048/statm: 693393 635369 935 2943 0 690287 0
[pid=23048/tid=23049] ppid=23045 vsize=2773572 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23049/stat : 23049 (toysat) S 23045 23048 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10855424 2840137728 635369 33554432000 4194304 16246674 140737036921376 139684210519280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23048/tid=23050] ppid=23045 vsize=2773572 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23050/stat : 23050 (toysat) S 23045 23048 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10855424 2840137728 635369 33554432000 4194304 16246674 140737036921376 139684200029424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23048/tid=23051] ppid=23045 vsize=2773572 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23051/stat : 23051 (toysat) S 23045 23048 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10855424 2840137728 635369 33554432000 4194304 16246674 140737036921376 139684080512176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 2773572

[startup+1362.3 s]
/proc/loadavg: 2.36 2.29 2.22 3/183 23157
/proc/meminfo: memFree=26543536/32872528 swapFree=1499116/1695340
[pid=23048] ppid=23045 vsize=2833988 CPUtime=1361.99 cores=1,3,5,7
/proc/23048/stat : 23048 (toysat) R 23045 23048 17390 0 -1 4202496 649277 0 0 0 135934 265 0 0 20 0 4 0 10855424 2902003712 650428 33554432000 4194304 16246674 140737036921376 140737036919360 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23048/statm: 708497 650428 935 2943 0 705391 0
[pid=23048/tid=23049] ppid=23045 vsize=2833988 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23049/stat : 23049 (toysat) S 23045 23048 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10855424 2902003712 650428 33554432000 4194304 16246674 140737036921376 139684210519280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23048/tid=23050] ppid=23045 vsize=2833988 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23050/stat : 23050 (toysat) S 23045 23048 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10855424 2902003712 650428 33554432000 4194304 16246674 140737036921376 139684200029424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23048/tid=23051] ppid=23045 vsize=2833988 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23051/stat : 23051 (toysat) S 23045 23048 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10855424 2902003712 650428 33554432000 4194304 16246674 140737036921376 139684080512176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 2833988

[startup+1422.3 s]
/proc/loadavg: 2.37 2.31 2.23 3/183 23158
/proc/meminfo: memFree=26491472/32872528 swapFree=1499116/1695340
[pid=23048] ppid=23045 vsize=2886212 CPUtime=1421.98 cores=1,3,5,7
/proc/23048/stat : 23048 (toysat) R 23045 23048 17390 0 -1 4202496 662311 0 0 0 141914 284 0 0 20 0 4 0 10855424 2955481088 663450 33554432000 4194304 16246674 140737036921376 140737036903296 13898999 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23048/statm: 721553 663450 935 2943 0 718447 0
[pid=23048/tid=23049] ppid=23045 vsize=2886212 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23049/stat : 23049 (toysat) S 23045 23048 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10855424 2955481088 663450 33554432000 4194304 16246674 140737036921376 139684210519280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23048/tid=23050] ppid=23045 vsize=2886212 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23050/stat : 23050 (toysat) S 23045 23048 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10855424 2955481088 663450 33554432000 4194304 16246674 140737036921376 139684200029424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23048/tid=23051] ppid=23045 vsize=2886212 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23051/stat : 23051 (toysat) S 23045 23048 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10855424 2955481088 663450 33554432000 4194304 16246674 140737036921376 139684080512176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 2886212

[startup+1482.3 s]
/proc/loadavg: 2.41 2.33 2.23 4/183 23159
/proc/meminfo: memFree=26458020/32872528 swapFree=1499116/1695340
[pid=23048] ppid=23045 vsize=2920004 CPUtime=1481.96 cores=1,3,5,7
/proc/23048/stat : 23048 (toysat) R 23045 23048 17390 0 -1 4202496 670691 0 0 0 147898 298 0 0 20 0 4 0 10855424 2990084096 671828 33554432000 4194304 16246674 140737036921376 140737036920552 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23048/statm: 730001 671828 935 2943 0 726895 0
[pid=23048/tid=23049] ppid=23045 vsize=2920004 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23049/stat : 23049 (toysat) S 23045 23048 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10855424 2990084096 671828 33554432000 4194304 16246674 140737036921376 139684210519280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23048/tid=23050] ppid=23045 vsize=2920004 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23050/stat : 23050 (toysat) S 23045 23048 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10855424 2990084096 671828 33554432000 4194304 16246674 140737036921376 139684200029424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23048/tid=23051] ppid=23045 vsize=2920004 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23051/stat : 23051 (toysat) S 23045 23048 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10855424 2990084096 671828 33554432000 4194304 16246674 140737036921376 139684080512176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 2920004

[startup+1542.31 s]
/proc/loadavg: 2.38 2.33 2.24 3/183 23160
/proc/meminfo: memFree=26377404/32872528 swapFree=1499116/1695340
[pid=23048] ppid=23045 vsize=2999876 CPUtime=1541.96 cores=1,3,5,7
/proc/23048/stat : 23048 (toysat) R 23045 23048 17390 0 -1 4202496 690726 0 0 0 153875 321 0 0 20 0 4 0 10855424 3071873024 691857 33554432000 4194304 16246674 140737036921376 140737036903296 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23048/statm: 749969 691857 935 2943 0 746863 0
[pid=23048/tid=23049] ppid=23045 vsize=2999876 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23049/stat : 23049 (toysat) S 23045 23048 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10855424 3071873024 691857 33554432000 4194304 16246674 140737036921376 139684210519280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23048/tid=23050] ppid=23045 vsize=2999876 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23050/stat : 23050 (toysat) S 23045 23048 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10855424 3071873024 691857 33554432000 4194304 16246674 140737036921376 139684200029424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23048/tid=23051] ppid=23045 vsize=2999876 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23051/stat : 23051 (toysat) S 23045 23048 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10855424 3071873024 691857 33554432000 4194304 16246674 140737036921376 139684080512176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 2999876

[startup+1602.3 s]
/proc/loadavg: 2.30 2.31 2.24 3/183 23162
/proc/meminfo: memFree=26318900/32872528 swapFree=1499116/1695340
[pid=23048] ppid=23045 vsize=3057220 CPUtime=1601.94 cores=1,3,5,7
/proc/23048/stat : 23048 (toysat) R 23045 23048 17390 0 -1 4202496 705223 0 0 0 159851 343 0 0 20 0 4 0 10855424 3130593280 706347 33554432000 4194304 16246674 140737036921376 140737036920472 5829044 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23048/statm: 764305 706347 935 2943 0 761199 0
[pid=23048/tid=23049] ppid=23045 vsize=3057220 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23049/stat : 23049 (toysat) S 23045 23048 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10855424 3130593280 706347 33554432000 4194304 16246674 140737036921376 139684210519280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23048/tid=23050] ppid=23045 vsize=3057220 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23050/stat : 23050 (toysat) S 23045 23048 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10855424 3130593280 706347 33554432000 4194304 16246674 140737036921376 139684200029424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23048/tid=23051] ppid=23045 vsize=3057220 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23051/stat : 23051 (toysat) S 23045 23048 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10855424 3130593280 706347 33554432000 4194304 16246674 140737036921376 139684080512176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 3057220

[startup+1662.3 s]
/proc/loadavg: 2.33 2.31 2.24 4/183 23163
/proc/meminfo: memFree=26279128/32872528 swapFree=1499116/1695340
[pid=23048] ppid=23045 vsize=3097156 CPUtime=1661.94 cores=1,3,5,7
/proc/23048/stat : 23048 (toysat) R 23045 23048 17390 0 -1 4202496 715111 0 0 0 165834 360 0 0 20 0 4 0 10855424 3171487744 716231 33554432000 4194304 16246674 140737036921376 140737036903296 5674919 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23048/statm: 774289 716231 935 2943 0 771183 0
[pid=23048/tid=23049] ppid=23045 vsize=3097156 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23049/stat : 23049 (toysat) S 23045 23048 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10855424 3171487744 716231 33554432000 4194304 16246674 140737036921376 139684210519280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23048/tid=23050] ppid=23045 vsize=3097156 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23050/stat : 23050 (toysat) S 23045 23048 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10855424 3171487744 716231 33554432000 4194304 16246674 140737036921376 139684200029424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23048/tid=23051] ppid=23045 vsize=3097156 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23051/stat : 23051 (toysat) S 23045 23048 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10855424 3171487744 716231 33554432000 4194304 16246674 140737036921376 139684080512176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 3097156

[startup+1722.3 s]
/proc/loadavg: 2.30 2.30 2.24 3/184 23167
/proc/meminfo: memFree=26227600/32872528 swapFree=1499116/1695340
[pid=23048] ppid=23045 vsize=3162692 CPUtime=1721.92 cores=1,3,5,7
/proc/23048/stat : 23048 (toysat) R 23045 23048 17390 0 -1 4202496 731483 0 0 0 171812 380 0 0 20 0 4 0 10855424 3238596608 732599 33554432000 4194304 16246674 140737036921376 140737036920592 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23048/statm: 790673 732599 935 2943 0 787567 0
[pid=23048/tid=23049] ppid=23045 vsize=3162692 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23049/stat : 23049 (toysat) S 23045 23048 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10855424 3238596608 732599 33554432000 4194304 16246674 140737036921376 139684210519280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23048/tid=23050] ppid=23045 vsize=3162692 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23050/stat : 23050 (toysat) S 23045 23048 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10855424 3238596608 732599 33554432000 4194304 16246674 140737036921376 139684200029424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23048/tid=23051] ppid=23045 vsize=3162692 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23051/stat : 23051 (toysat) S 23045 23048 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10855424 3238596608 732599 33554432000 4194304 16246674 140737036921376 139684080512176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 3162692

[startup+1782.3 s]
/proc/loadavg: 2.24 2.29 2.24 3/183 23168
/proc/meminfo: memFree=26168344/32872528 swapFree=1499116/1695340
[pid=23048] ppid=23045 vsize=3207748 CPUtime=1781.9 cores=1,3,5,7
/proc/23048/stat : 23048 (toysat) R 23045 23048 17390 0 -1 4202496 742704 0 0 0 177789 401 0 0 20 0 4 0 10855424 3284733952 743817 33554432000 4194304 16246674 140737036921376 140737036920552 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23048/statm: 801937 743817 935 2943 0 798831 0
[pid=23048/tid=23049] ppid=23045 vsize=3207748 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23049/stat : 23049 (toysat) S 23045 23048 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10855424 3284733952 743817 33554432000 4194304 16246674 140737036921376 139684210519280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23048/tid=23050] ppid=23045 vsize=3207748 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23050/stat : 23050 (toysat) S 23045 23048 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10855424 3284733952 743817 33554432000 4194304 16246674 140737036921376 139684200029424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23048/tid=23051] ppid=23045 vsize=3207748 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23051/stat : 23051 (toysat) S 23045 23048 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10855424 3284733952 743817 33554432000 4194304 16246674 140737036921376 139684080512176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 3207748



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.32 2.30 2.24 4/183 23168
/proc/meminfo: memFree=26154428/32872528 swapFree=1499116/1695340
[pid=23048] ppid=23045 vsize=3232324 CPUtime=1800.01 cores=1,3,5,7
/proc/23048/stat : 23048 (toysat) R 23045 23048 17390 0 -1 4202496 748948 0 0 0 179593 408 0 0 20 0 4 0 10855424 3309899776 750060 33554432000 4194304 16246674 140737036921376 140737036920592 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23048/statm: 808081 750060 935 2943 0 804975 0
[pid=23048/tid=23049] ppid=23045 vsize=3232324 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23049/stat : 23049 (toysat) S 23045 23048 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10855424 3309899776 750060 33554432000 4194304 16246674 140737036921376 139684210519280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23048/tid=23050] ppid=23045 vsize=3232324 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23050/stat : 23050 (toysat) S 23045 23048 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10855424 3309899776 750060 33554432000 4194304 16246674 140737036921376 139684200029424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23048/tid=23051] ppid=23045 vsize=3232324 CPUtime=0 cores=1,3,5,7
/proc/23048/task/23051/stat : 23051 (toysat) S 23045 23048 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10855424 3309899776 750060 33554432000 4194304 16246674 140737036921376 139684080512176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3232324

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.46
CPU time (s): 1800.07
CPU user time (s): 1795.94
CPU system time (s): 4.12837
CPU usage (%): 99.9781
Max. virtual memory (cumulated for all children) (KiB): 3232324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.94
system time used= 4.12837
maximum resident set size= 3000240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 748948
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= 532
involuntary context switches= 2026

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.593 second user time and 9.63554 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-16 16:41:37
IDJOB=4093578
IDBENCH=79118
IDSOLVER=2553
FILE ID=node137/4093578-1466088097
RUNJOBID= node137-1466075286-21603
PBS_JOBID= 19904003
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-cache-ibm-q-full.all.ucl--soft-0-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093578-1466088097/watcher-4093578-1466088097 -o /tmp/evaluation-result-4093578-1466088097/solver-4093578-1466088097 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466075286-21603 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093578-1466088097.wbo

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

MD5SUM BENCH= 472f23c3fe9900c3fa5a2fb1a63f7a4f
RANDOM SEED=1032465545

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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:        29150176 kB
Buffers:           37716 kB
Cached:           120676 kB
SwapCached:         2456 kB
Active:          1255728 kB
Inactive:          66020 kB
Active(anon):    1164152 kB
Inactive(anon):     1780 kB
Active(file):      91576 kB
Inactive(file):    64240 kB
Unevictable:     1695340 kB
Mlocked:         1499116 kB
SwapTotal:      67108856 kB
SwapFree:       67099384 kB
Dirty:             47748 kB
Writeback:             0 kB
AnonPages:       2857784 kB
Mapped:            10848 kB
Shmem:                 0 kB
Slab:             568976 kB
SReclaimable:      13064 kB
SUnreclaim:       555912 kB
KernelStack:        1480 kB
PageTables:         9316 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3000936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    200704 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= 71696 MiB
End job on node137 at 2016-06-16 17:11:37