Trace number 4100257

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.2 1800.49

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-dano3_5.opb
MD5SUMf6a27dde9dccc9cbc26fd12ecc1b234d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables404336
Total number of constraints3663
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints3658
Minimum length of a constraint11
Maximum length of a constraint15900
Number of terms in the objective function 30
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524317
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 535830
Number of bits of the biggest sum of numbers20
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-18T03:04:32+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4100257-1466211871.opb"]
0.00/0.01	c use --random-gen="443232798 1132514959 2986164242 586936221 2420765511 2378902611 1004562802 4028394621 208094225 1069344306 577787422 1802771994 4269598537 3573937909 1980260888 862101385 3127108681 1217653660 2908591148 3932773505 128927990 2207443608 400625459 3516124512 518695856 1952978872 2186099317 2726199787 406635438 3754924159 3947234186 2489161309 3585238547 3252329241 233305730 2984744446 229517533 1286452770 1993181826 2157973262 1232481528 3751341836 2857243203 708755951 1015683008 744628953 43370802 718161770 1586441801 2511709732 3090928385 2898976530 2416517169 2701975436 406235215 252036104 407601648 4107019023 13411738 2610993462 2548352009 2318178304 1555372235 3013317213 2969208075 1942875079 4035828316 2501934459 1865938676 3340757562 1297262465 546973180 2673483702 3694078526 931859644 3274772484 757113271 9645676 3223730924 342140994 1529396515 1529434827 2603425818 3151242128 1370790534 2372321556 527832096 587196832 3065309666 3329359222 693061950 2772286949 2752899121 3127539105 3577559053 847303294 3757566144 2873596043 1028362995 968241398 2746679036 3723182222 1446751894 1029569742 64989262 1596243435 2182926806 4084303599 2584604147 4171875524 3219875126 1042021050 1613540918 4137631784 2705683138 941852036 2595050543 630582907 3922772116 557712457 2546253496 3552336246 3578943234 3050745532 469290729 4222941273 2790230299 3375406729 2271354274 81399602 2631379137 2886495337 525457251 3539537894 1931733193 1549267075 3027734040 224425872 1844893543 4229438811 3399717487 1430927461 1879184816 3424303243 3280341105 747350518 198177200 1688389203 1924637104 970636719 988606788 2838550944 2233945091 3575767230 863170475 2548382494 1413062265 2911828431 168608325 2346400552 4007148764 3599970184 37149940 3331262418 1964941033 2161489367 2547249252 3689374934 51675269 1388853900 2431350127 1502444428 780870456 1256556788 223901663 1998993054 2745031220 1069185048 2512499783 1311404193 1858980249 482948201 3951713003 3063896071 2551027122 4155654784 3770107846 3799623477 1823545834 2469413401 1518213076 530424181 4252867516 1455096180 4111868082 4171664656 414831081 3618000979 2589729315 118972458 2294530713 545908134 2724008440 1298091942 3630894273 2419409142 1205807913 1996484406 2125950352 1125278958 3385383989 1147650186 2658879137 459741592 450174168 132333238 3984063333 3965568448 657896984 565836297 2483938433 446897883 3486792321 690488956 2976006679 1321103241 1967500937 2674372694 1261252078 47197124 4151228099 988648999 1494465715 3614071204 512560740 1416138710 815331023 3967523792 322732646 1077545801 2392505457 1745815361 2739562669 2662931094 1226615003 1946259593 3154890497 4082405406 4290617507 4223135464 1445658719 1863491272 3259135094 419172003 2505095068 2429929049 255 362436" option to reproduce the execution
3.99/4.02	c #vars 404336
3.99/4.02	c #constraints 3663
20.78/20.81	c BCD2: Hardening is enabled.
20.78/20.81	c BCD2: BiasedSearch is enabled.
20.78/20.81	c Solving starts ...
20.78/20.81	c ============================[ Search Statistics ]============================
20.78/20.81	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
20.78/20.81	c       |         |          |          |    Limit     GC | Var      | Constra 
20.78/20.81	c =============================================================================
20.78/20.81	c  0.0s |       0 |        0 |        0 |   136407      0 |   109490 |        0
27.49/27.57	c  6.8s |       0 |      466 |      100 |   136407      0 |   109490 |        0
27.98/28.07	c  7.3s |       1 |      466 |      100 |   136407      0 |   109490 |        0
30.38/30.43	c  9.6s |       1 |     4140 |      200 |   150048      0 |   109514 |        0
30.49/30.52	c  9.7s |       2 |     4189 |      250 |   150048      0 |   109514 |        0
31.69/31.73	c 10.9s |       3 |     6013 |      475 |   165053      0 |   109514 |        0
35.58/35.67	c 14.9s |       3 |    10974 |      675 |   181559      0 |   109514 |        0
37.78/37.89	c 17.1s |       3 |    11209 |      775 |   181559      0 |   109514 |        0
38.88/38.97	c 18.2s |       4 |    11269 |      813 |   181559      0 |   109514 |        0
40.98/41.00	c 20.2s |       4 |    13709 |     1113 |   199715      0 |   109514 |        0
42.38/42.45	c 21.6s |       5 |    16269 |     1320 |   199715      0 |   109514 |        0
45.29/45.35	c 24.5s |       5 |    22437 |     1420 |   219687      0 |   109514 |        0
47.39/47.49	c 26.7s |       5 |    30696 |     1620 |   219687      0 |   109514 |        0
49.28/49.33	c 28.5s |       6 |    31162 |     2081 |   241656      0 |   109514 |        0
51.48/51.58	c 30.8s |       6 |    31496 |     2381 |   241656      0 |   109514 |        0
57.29/57.35	c 36.5s |       6 |    45492 |     2481 |   241656      0 |   109514 |        0
59.58/59.67	c 38.9s |       6 |    46188 |     3181 |   241656      0 |   109514 |        0
60.08/60.14	c 39.3s |       7 |    46237 |     3223 |   265822      0 |   109514 |        0
62.08/62.20	c 41.4s |       7 |    46586 |     3523 |   265822      0 |   109514 |        0
66.09/66.17	c 45.4s |       7 |    50088 |     3823 |   265822      0 |   109514 |        0
70.18/70.28	c 49.5s |       7 |    56439 |     3923 |   265822      0 |   109514 |        0
74.98/75.01	c 54.2s |       7 |    61779 |     4223 |   265822      0 |   109514 |        0
77.78/77.88	c 57.1s |       7 |    61901 |     4323 |   265822      0 |   109514 |        0
80.28/80.34	c 59.5s |       7 |    62054 |     4423 |   265822      0 |   109514 |        0
82.58/82.62	c 61.8s |       7 |    62188 |     4523 |   265822      0 |   109514 |        0
84.88/84.99	c 64.2s |       7 |    62319 |     4623 |   265822      0 |   109514 |        0
86.98/87.05	c 66.2s |       7 |    62504 |     4723 |   265822      0 |   109514 |        0
90.78/90.89	c 70.1s |       7 |    62725 |     4923 |   292405      0 |   109514 |        0
91.38/91.44	c 70.6s |       8 |    62735 |     4936 |   292405      0 |   109514 |        0
93.48/93.56	c 72.7s |       8 |    64004 |     5236 |   292405      0 |   109514 |        0
95.78/95.86	c 75.0s |       8 |    64403 |     5636 |   292405      0 |   109514 |        0
98.07/98.13	c 77.3s |       8 |    64801 |     6036 |   292405      0 |   109514 |        0
100.18/100.29	c 79.5s |       8 |    65206 |     6436 |   292405      0 |   109514 |        0
102.38/102.41	c 81.6s |       8 |    65611 |     6836 |   292405      0 |   109514 |        0
104.67/104.75	c 83.9s |       8 |    66111 |     7336 |   292405      0 |   109514 |        0
105.58/105.60	c 84.8s |       9 |    66280 |     7506 |   321646      0 |   109514 |        0
107.78/107.84	c 87.0s |       9 |    67058 |     7806 |   321646      0 |   109514 |        0
113.77/113.81	c 93.0s |       9 |    73915 |     8006 |   321646      0 |   109538 |        0
117.47/117.51	c 96.7s |       9 |    76187 |     8106 |   321646      0 |   109538 |        0
119.57/119.68	c 98.9s |       9 |    83474 |     8306 |   321646      0 |   109538 |        0
123.67/123.74	c  102s |       9 |    92338 |     8506 |   321646      0 |   109538 |        0
126.17/126.21	c  105s |       9 |    92502 |     8606 |   321646      0 |   109538 |        0
128.47/128.58	c  107s |       9 |    92780 |     8706 |   321646      0 |   109538 |        0
130.98/131.03	c  110s |       9 |    93032 |     8806 |   321646      0 |   109538 |        0
134.67/134.75	c  113s |       9 |    93375 |     8906 |   321646      0 |   109538 |        0
136.77/136.80	c  115s |       9 |    93955 |     9006 |   321646      0 |   109538 |        0
138.87/138.98	c  118s |       9 |    94349 |     9106 |   321646      0 |   109538 |        0
143.37/143.47	c  122s |       9 |    94830 |     9306 |   321646      0 |   109538 |        0
146.27/146.36	c  125s |       9 |    95016 |     9406 |   321646      0 |   109538 |        0
149.27/149.35	c  128s |       9 |    95170 |     9506 |   321646      0 |   109538 |        0
151.47/151.59	c  130s |       9 |    95598 |     9606 |   321646      0 |   109538 |        0
153.66/153.76	c  132s |       9 |    96071 |     9706 |   321646      0 |   109538 |        0
155.96/156.04	c  135s |       9 |    96385 |     9806 |   321646      0 |   109538 |        0
158.26/158.33	c  137s |       9 |    96713 |     9906 |   321646      0 |   109538 |        0
160.87/160.91	c  140s |       9 |    96871 |    10006 |   321646      0 |   109538 |        0
163.76/163.88	c  143s |       9 |    97195 |    10106 |   321646      0 |   109538 |        0
166.26/166.32	c  145s |       9 |    97637 |    10206 |   321646      0 |   109538 |        0
168.47/168.57	c  147s |       9 |    98035 |    10306 |   321646      0 |   109538 |        0
170.76/170.80	c  149s |       9 |    98503 |    10406 |   321646      0 |   109538 |        0
173.06/173.19	c  152s |       9 |    98795 |    10506 |   321646      0 |   109538 |        0
175.56/175.60	c  154s |       9 |    99064 |    10606 |   321646      0 |   109538 |        0
179.16/179.22	c  158s |       9 |    99318 |    10706 |   321646      0 |   109538 |        0
181.57/181.61	c  160s |       9 |    99765 |    10806 |   321646      0 |   109538 |        0
183.96/184.05	c  163s |       9 |   100108 |    10906 |   321646      0 |   109538 |        0
186.46/186.50	c  165s |       9 |   100466 |    11006 |   321646      0 |   109538 |        0
188.86/188.92	c  168s |       9 |   100714 |    11106 |   321646      0 |   109538 |        0
191.56/191.66	c  170s |       9 |   100904 |    11206 |   321646      0 |   109538 |        0
194.06/194.12	c  173s |       9 |   101395 |    11306 |   353811      0 |   109538 |        0
195.77/195.85	c  175s |      10 |   101593 |    11361 |   353811      0 |   109538 |        0
199.16/199.22	c  178s |      10 |   106308 |    11461 |   353811      0 |   109538 |        0
201.37/201.46	c  180s |      10 |   106988 |    11661 |   353811      0 |   109538 |        0
203.57/203.69	c  182s |      10 |   107281 |    11961 |   353811      0 |   109538 |        0
206.36/206.40	c  185s |      10 |   112854 |    12061 |   353811      0 |   109538 |        0
208.46/208.53	c  187s |      10 |   120434 |    12161 |   353811      0 |   109538 |        0
211.35/211.49	c  190s |      10 |   120626 |    12361 |   353811      0 |   109538 |        0
214.96/215.04	c  194s |      10 |   120976 |    12561 |   353811      0 |   109538 |        0
217.36/217.45	c  196s |      10 |   125382 |    12661 |   353811      0 |   109538 |        0
220.06/220.15	c  199s |      10 |   125634 |    12761 |   353811      0 |   109538 |        0
222.76/222.85	c  202s |      10 |   125863 |    12861 |   353811      0 |   109538 |        0
226.66/226.75	c  205s |      10 |   126083 |    12961 |   353811      0 |   109538 |        0
229.36/229.43	c  208s |      10 |   126316 |    13061 |   353811      0 |   109538 |        0
232.06/232.18	c  211s |      10 |   126601 |    13161 |   353811      0 |   109538 |        0
234.75/234.81	c  214s |      10 |   127144 |    13261 |   353811      0 |   109538 |        0
237.35/237.40	c  216s |      10 |   127577 |    13361 |   353811      0 |   109538 |        0
239.86/239.97	c  219s |      10 |   127853 |    13461 |   353811      0 |   109538 |        0
242.55/242.63	c  221s |      10 |   128019 |    13561 |   353811      0 |   109538 |        0
245.26/245.31	c  224s |      10 |   128327 |    13661 |   353811      0 |   109538 |        0
248.86/248.97	c  228s |      10 |   128548 |    13761 |   353811      0 |   109538 |        0
253.35/253.44	c  232s |      10 |   128851 |    13861 |   353811      0 |   109538 |        0
255.85/255.96	c  235s |      10 |   129290 |    13961 |   353811      0 |   109538 |        0
258.25/258.37	c  237s |      10 |   129585 |    14061 |   353811      0 |   109538 |        0
260.95/261.08	c  240s |      10 |   129722 |    14161 |   353811      0 |   109538 |        0
263.85/263.96	c  243s |      10 |   129919 |    14261 |   353811      0 |   109538 |        0
266.85/266.96	c  246s |      10 |   130050 |    14361 |   353811      0 |   109538 |        0
270.45/270.60	c  249s |      10 |   130226 |    14461 |   353811      0 |   109538 |        0
273.85/273.92	c  253s |      10 |   130428 |    14561 |   353811      0 |   109538 |        0
277.85/277.90	c  257s |      10 |   130935 |    14661 |   353811      0 |   109538 |        0
280.45/280.51	c  259s |      10 |   131317 |    14761 |   353811      0 |   109538 |        0
283.04/283.11	c  262s |      10 |   131624 |    14861 |   353811      0 |   109538 |        0
285.75/285.85	c  265s |      10 |   131951 |    14961 |   353811      0 |   109538 |        0
288.15/288.25	c  267s |      10 |   132182 |    15061 |   353811      0 |   109538 |        0
291.35/291.48	c  270s |      10 |   132394 |    15161 |   353811      0 |   109538 |        0
294.85/294.96	c  274s |      10 |   132533 |    15261 |   353811      0 |   109538 |        0
297.35/297.40	c  276s |      10 |   133212 |    15361 |   353811      0 |   109538 |        0
301.04/301.11	c  280s |      10 |   133717 |    15461 |   353811      0 |   109538 |        0
303.75/303.87	c  283s |      10 |   134098 |    15561 |   353811      0 |   109538 |        0
306.54/306.68	c  285s |      10 |   134307 |    15661 |   353811      0 |   109538 |        0
309.34/309.49	c  288s |      10 |   134492 |    15761 |   353811      0 |   109538 |        0
312.25/312.37	c  291s |      10 |   134823 |    15861 |   353811      0 |   109538 |        0
314.94/315.01	c  294s |      10 |   135248 |    15961 |   353811      0 |   109538 |        0
317.54/317.62	c  296s |      10 |   135446 |    16061 |   353811      0 |   109538 |        0
320.34/320.41	c  299s |      10 |   135652 |    16161 |   353811      0 |   109538 |        0
323.24/323.35	c  302s |      10 |   135798 |    16261 |   353811      0 |   109538 |        0
326.84/326.98	c  306s |      10 |   136327 |    16361 |   353811      0 |   109538 |        0
329.24/329.37	c  308s |      10 |   136683 |    16461 |   353811      0 |   109538 |        0
331.54/331.66	c  310s |      10 |   137016 |    16561 |   353811      0 |   109538 |        0
333.94/334.09	c  313s |      10 |   137241 |    16661 |   353811      0 |   109538 |        0
336.44/336.55	c  315s |      10 |   137703 |    16761 |   353811      0 |   109538 |        0
338.84/338.99	c  318s |      10 |   137888 |    16861 |   353811      0 |   109538 |        0
341.24/341.35	c  320s |      10 |   138212 |    16961 |   353811      0 |   109538 |        0
343.84/343.99	c  323s |      10 |   138592 |    17061 |   389193      0 |   109538 |        0
346.73/346.86	c  326s |      11 |   138700 |    17144 |   389193      0 |   109538 |        0
356.54/356.63	c  335s |      11 |   177554 |    17244 |   389193      0 |   109562 |        0
359.13/359.23	c  338s |      11 |   177844 |    17344 |   389193      0 |   109562 |        0
361.73/361.87	c  341s |      11 |   178016 |    17444 |   389193      0 |   109562 |        0
364.44/364.50	c  343s |      11 |   178232 |    17544 |   389193      0 |   109562 |        0
367.03/367.12	c  346s |      11 |   178471 |    17644 |   389193      0 |   109562 |        0
369.73/369.82	c  349s |      11 |   178849 |    17744 |   389193      0 |   109562 |        0
372.44/372.52	c  351s |      11 |   179254 |    17844 |   389193      0 |   109562 |        0
376.44/376.54	c  355s |      11 |   179660 |    17944 |   389193      0 |   109562 |        0
379.13/379.22	c  358s |      11 |   180099 |    18044 |   389193      0 |   109562 |        0
381.94/382.04	c  361s |      11 |   180486 |    18144 |   389193      0 |   109562 |        0
384.63/384.78	c  363s |      11 |   180827 |    18244 |   389193      0 |   109562 |        0
387.43/387.59	c  366s |      11 |   181094 |    18344 |   389193      0 |   109562 |        0
390.54/390.63	c  369s |      11 |   181296 |    18444 |   389193      0 |   109562 |        0
393.33/393.46	c  372s |      11 |   181908 |    18544 |   389193      0 |   109562 |        0
396.13/396.20	c  375s |      11 |   182351 |    18644 |   389193      0 |   109562 |        0
398.73/398.89	c  378s |      11 |   182654 |    18744 |   389193      0 |   109562 |        0
403.53/403.64	c  382s |      11 |   182917 |    18844 |   389193      0 |   109562 |        0
407.04/407.16	c  386s |      11 |   183286 |    18944 |   389193      0 |   109562 |        0
410.82/410.98	c  390s |      11 |   183483 |    19044 |   389193      0 |   109562 |        0
414.43/414.50	c  393s |      11 |   183765 |    19144 |   389193      0 |   109562 |        0
417.43/417.51	c  396s |      11 |   184152 |    19244 |   389193      0 |   109562 |        0
420.43/420.57	c  399s |      11 |   184578 |    19344 |   389193      0 |   109562 |        0
423.43/423.57	c  402s |      11 |   184775 |    19444 |   389193      0 |   109562 |        0
427.13/427.28	c  406s |      11 |   184927 |    19544 |   389193      0 |   109562 |        0
432.23/432.33	c  411s |      11 |   185063 |    19644 |   389193      0 |   109562 |        0
435.13/435.26	c  414s |      11 |   185291 |    19744 |   389193      0 |   109562 |        0
437.92/438.01	c  417s |      11 |   185649 |    19844 |   389193      0 |   109562 |        0
440.73/440.87	c  420s |      11 |   185973 |    19944 |   389193      0 |   109562 |        0
444.03/444.14	c  423s |      11 |   186578 |    20044 |   389193      0 |   109562 |        0
447.02/447.10	c  426s |      11 |   186789 |    20144 |   389193      0 |   109562 |        0
449.93/450.02	c  429s |      11 |   187147 |    20244 |   389193      0 |   109562 |        0
452.62/452.79	c  431s |      11 |   187369 |    20344 |   389193      0 |   109562 |        0
456.92/457.01	c  436s |      11 |   187699 |    20444 |   389193      0 |   109562 |        0
459.82/459.98	c  439s |      11 |   187996 |    20544 |   389193      0 |   109562 |        0
463.02/463.19	c  442s |      11 |   188430 |    20644 |   389193      0 |   109562 |        0
466.33/466.41	c  445s |      11 |   188797 |    20744 |   389193      0 |   109562 |        0
469.31/469.46	c  448s |      11 |   189104 |    20844 |   389193      0 |   109562 |        0
472.42/472.57	c  451s |      11 |   189350 |    20944 |   389193      0 |   109562 |        0
475.31/475.43	c  454s |      11 |   189783 |    21044 |   389193      0 |   109562 |        0
478.32/478.40	c  457s |      11 |   190205 |    21144 |   389193      0 |   109562 |        0
481.21/481.31	c  460s |      11 |   190618 |    21244 |   389193      0 |   109562 |        0
485.22/485.37	c  464s |      11 |   190913 |    21344 |   389193      0 |   109562 |        0
488.11/488.22	c  467s |      11 |   191265 |    21444 |   389193      0 |   109562 |        0
490.82/490.90	c  470s |      11 |   191602 |    21544 |   389193      0 |   109562 |        0
493.52/493.62	c  472s |      11 |   191875 |    21644 |   389193      0 |   109562 |        0
496.31/496.40	c  475s |      11 |   192201 |    21744 |   389193      0 |   109562 |        0
499.11/499.22	c  478s |      11 |   192593 |    21844 |   389193      0 |   109562 |        0
501.81/501.92	c  481s |      11 |   192931 |    21944 |   389193      0 |   109562 |        0
505.12/505.22	c  484s |      11 |   193102 |    22044 |   389193      0 |   109562 |        0
508.51/508.65	c  487s |      11 |   193295 |    22144 |   389193      0 |   109562 |        0
511.42/511.59	c  490s |      11 |   193645 |    22244 |   389193      0 |   109562 |        0
514.31/514.43	c  493s |      11 |   193994 |    22344 |   389193      0 |   109562 |        0
518.51/518.60	c  497s |      11 |   194311 |    22444 |   389193      0 |   109562 |        0
521.71/521.82	c  501s |      11 |   194533 |    22544 |   389193      0 |   109562 |        0
524.72/524.81	c  504s |      11 |   194855 |    22644 |   389193      0 |   109562 |        0
527.71/527.86	c  507s |      11 |   195208 |    22744 |   389193      0 |   109562 |        0
530.61/530.77	c  509s |      11 |   195494 |    22844 |   389193      0 |   109562 |        0
534.21/534.36	c  513s |      11 |   195722 |    22944 |   389193      0 |   109562 |        0
537.41/537.57	c  516s |      11 |   195992 |    23044 |   389193      0 |   109562 |        0
540.31/540.48	c  519s |      11 |   196271 |    23144 |   389193      0 |   109562 |        0
544.71/544.80	c  523s |      11 |   196506 |    23244 |   389193      0 |   109562 |        0
547.61/547.70	c  526s |      11 |   197022 |    23344 |   389193      0 |   109562 |        0
550.40/550.57	c  529s |      11 |   197315 |    23444 |   389193      0 |   109562 |        0
553.31/553.42	c  532s |      11 |   197555 |    23544 |   389193      0 |   109562 |        0
556.31/556.49	c  535s |      11 |   197759 |    23644 |   389193      0 |   109562 |        0
559.60/559.77	c  538s |      11 |   197956 |    23744 |   389193      0 |   109562 |        0
563.00/563.15	c  542s |      11 |   198123 |    23844 |   389193      0 |   109562 |        0
565.71/565.89	c  545s |      11 |   198452 |    23944 |   389193      0 |   109562 |        0
568.61/568.79	c  547s |      11 |   198891 |    24044 |   389193      0 |   109562 |        0
573.11/573.29	c  552s |      11 |   199041 |    24144 |   389193      0 |   109562 |        0
576.00/576.19	c  555s |      11 |   199323 |    24244 |   389193      0 |   109562 |        0
578.91/579.09	c  558s |      11 |   199684 |    24344 |   389193      0 |   109562 |        0
581.81/581.91	c  561s |      11 |   200076 |    24444 |   389193      0 |   109562 |        0
584.60/584.78	c  563s |      11 |   200512 |    24544 |   389193      0 |   109562 |        0
587.70/587.81	c  567s |      11 |   200846 |    24644 |   389193      0 |   109562 |        0
590.50/590.63	c  569s |      11 |   201127 |    24744 |   389193      0 |   109562 |        0
593.80/593.92	c  573s |      11 |   201285 |    24844 |   389193      0 |   109562 |        0
596.80/596.98	c  576s |      11 |   201461 |    24944 |   389193      0 |   109562 |        0
599.89/600.08	c  579s |      11 |   201866 |    25044 |   389193      0 |   109562 |        0
604.09/604.20	c  583s |      11 |   202262 |    25144 |   389193      0 |   109562 |        0
607.10/607.29	c  586s |      11 |   202537 |    25244 |   389193      0 |   109562 |        0
610.00/610.13	c  589s |      11 |   202910 |    25344 |   389193      0 |   109562 |        0
612.89/613.00	c  592s |      11 |   203286 |    25444 |   389193      0 |   109562 |        0
616.19/616.31	c  595s |      11 |   203500 |    25544 |   389193      0 |   109562 |        0
619.10/619.21	c  598s |      11 |   203853 |    25644 |   389193      0 |   109562 |        0
621.80/621.91	c  601s |      11 |   204145 |    25744 |   428113      0 |   109562 |        0
624.30/624.48	c  603s |      12 |   204289 |    25819 |   428113      0 |   109562 |        0
629.40/629.55	c  608s |      12 |   214928 |    25919 |   428113      0 |   109562 |        0
631.79/631.93	c  611s |      12 |   215029 |    26019 |   428113      0 |   109562 |        0
634.19/634.30	c  613s |      12 |   215128 |    26119 |   428113      0 |   109562 |        0
636.60/636.76	c  615s |      12 |   215233 |    26219 |   428113      0 |   109562 |        0
639.00/639.19	c  618s |      12 |   215330 |    26319 |   428113      0 |   109562 |        0
641.50/641.60	c  620s |      12 |   215431 |    26419 |   428113      0 |   109562 |        0
643.89/644.02	c  623s |      12 |   215530 |    26519 |   428113      0 |   109562 |        0
646.19/646.39	c  625s |      12 |   215632 |    26619 |   428113      0 |   109562 |        0
648.69/648.84	c  628s |      12 |   215735 |    26719 |   428113      0 |   109562 |        0
651.10/651.28	c  630s |      12 |   215834 |    26819 |   428113      0 |   109562 |        0
653.59/653.74	c  632s |      12 |   215934 |    26919 |   428113      0 |   109562 |        0
655.99/656.14	c  635s |      12 |   216033 |    27019 |   428113      0 |   109562 |        0
658.39/658.53	c  637s |      12 |   216131 |    27119 |   428113      0 |   109562 |        0
660.79/660.93	c  640s |      12 |   216234 |    27219 |   428113      0 |   109562 |        0
663.30/663.44	c  642s |      12 |   216336 |    27319 |   428113      0 |   109562 |        0
665.69/665.89	c  645s |      12 |   216432 |    27419 |   428113      0 |   109562 |        0
668.19/668.30	c  647s |      12 |   216532 |    27519 |   428113      0 |   109562 |        0
670.59/670.76	c  649s |      12 |   216636 |    27619 |   428113      0 |   109562 |        0
672.98/673.20	c  652s |      12 |   216731 |    27719 |   428113      0 |   109562 |        0
675.59/675.77	c  654s |      12 |   216831 |    27819 |   428113      0 |   109562 |        0
678.19/678.31	c  657s |      12 |   216931 |    27919 |   428113      0 |   109562 |        0
680.69/680.87	c  660s |      12 |   217038 |    28019 |   428113      0 |   109562 |        0
683.19/683.38	c  662s |      12 |   217136 |    28119 |   428113      0 |   109562 |        0
685.68/685.83	c  665s |      12 |   217238 |    28219 |   428113      0 |   109562 |        0
688.09/688.28	c  667s |      12 |   217337 |    28319 |   428113      0 |   109562 |        0
690.59/690.79	c  669s |      12 |   217437 |    28419 |   428113      0 |   109562 |        0
693.00/693.19	c  672s |      12 |   217538 |    28519 |   428113      0 |   109562 |        0
695.48/695.65	c  674s |      12 |   217638 |    28619 |   428113      0 |   109562 |        0
697.99/698.15	c  677s |      12 |   217739 |    28719 |   428113      0 |   109562 |        0
700.38/700.59	c  679s |      12 |   217836 |    28819 |   428113      0 |   109562 |        0
702.89/703.09	c  682s |      12 |   217939 |    28919 |   428113      0 |   109562 |        0
705.38/705.53	c  684s |      12 |   218037 |    29019 |   428113      0 |   109562 |        0
707.79/707.96	c  687s |      12 |   218140 |    29119 |   428113      0 |   109562 |        0
710.18/710.38	c  689s |      12 |   218237 |    29219 |   428113      0 |   109562 |        0
712.69/712.87	c  692s |      12 |   218339 |    29319 |   428113      0 |   109562 |        0
715.08/715.30	c  694s |      12 |   218437 |    29419 |   428113      0 |   109562 |        0
717.58/717.70	c  696s |      12 |   218538 |    29519 |   428113      0 |   109562 |        0
719.98/720.13	c  699s |      12 |   218638 |    29619 |   428113      0 |   109562 |        0
722.38/722.59	c  701s |      12 |   218742 |    29719 |   428113      0 |   109562 |        0
724.89/725.02	c  704s |      12 |   218840 |    29819 |   428113      0 |   109562 |        0
727.38/727.51	c  706s |      12 |   218944 |    29919 |   428113      0 |   109562 |        0
729.88/730.00	c  709s |      12 |   219042 |    30019 |   428113      0 |   109562 |        0
732.27/732.41	c  711s |      12 |   219140 |    30119 |   428113      0 |   109562 |        0
734.79/734.91	c  714s |      12 |   219242 |    30219 |   428113      0 |   109562 |        0
737.17/737.36	c  716s |      12 |   219340 |    30319 |   428113      0 |   109562 |        0
740.98/741.15	c  720s |      12 |   219441 |    30419 |   428113      0 |   109562 |        0
743.67/743.82	c  723s |      12 |   219542 |    30519 |   428113      0 |   109562 |        0
746.38/746.52	c  725s |      12 |   219650 |    30619 |   428113      0 |   109562 |        0
748.87/749.08	c  728s |      12 |   219748 |    30719 |   428113      0 |   109562 |        0
751.48/751.64	c  730s |      12 |   219847 |    30819 |   428113      0 |   109562 |        0
754.07/754.29	c  733s |      12 |   219944 |    30919 |   428113      0 |   109562 |        0
756.78/756.95	c  736s |      12 |   220044 |    31019 |   428113      0 |   109562 |        0
759.38/759.54	c  738s |      12 |   220145 |    31119 |   428113      0 |   109562 |        0
761.97/762.16	c  741s |      12 |   220245 |    31219 |   428113      0 |   109562 |        0
764.67/764.80	c  743s |      12 |   220351 |    31319 |   428113      0 |   109562 |        0
767.28/767.47	c  746s |      12 |   220449 |    31419 |   428113      0 |   109562 |        0
769.88/770.04	c  749s |      12 |   220549 |    31519 |   428113      0 |   109562 |        0
772.47/772.63	c  751s |      12 |   220651 |    31619 |   428113      0 |   109562 |        0
775.08/775.21	c  754s |      12 |   220749 |    31719 |   428113      0 |   109562 |        0
777.68/777.86	c  757s |      12 |   220851 |    31819 |   428113      0 |   109562 |        0
780.17/780.38	c  759s |      12 |   220949 |    31919 |   428113      0 |   109562 |        0
782.77/782.92	c  762s |      12 |   221050 |    32019 |   428113      0 |   109562 |        0
785.47/785.69	c  764s |      12 |   221152 |    32119 |   428113      0 |   109562 |        0
788.17/788.33	c  767s |      12 |   221249 |    32219 |   428113      0 |   109562 |        0
790.78/790.95	c  770s |      12 |   221352 |    32319 |   428113      0 |   109562 |        0
793.37/793.51	c  772s |      12 |   221452 |    32419 |   428113      0 |   109562 |        0
795.97/796.14	c  775s |      12 |   221554 |    32519 |   428113      0 |   109562 |        0
798.66/798.80	c  777s |      12 |   221654 |    32619 |   428113      0 |   109562 |        0
801.27/801.45	c  780s |      12 |   221754 |    32719 |   428113      0 |   109562 |        0
803.98/804.12	c  783s |      12 |   221854 |    32819 |   428113      0 |   109562 |        0
806.67/806.86	c  786s |      12 |   221957 |    32919 |   428113      0 |   109562 |        0
809.36/809.51	c  788s |      12 |   222054 |    33019 |   428113      0 |   109562 |        0
811.97/812.11	c  791s |      12 |   222155 |    33119 |   428113      0 |   109562 |        0
814.57/814.74	c  793s |      12 |   222255 |    33219 |   428113      0 |   109562 |        0
817.17/817.31	c  796s |      12 |   222354 |    33319 |   428113      0 |   109562 |        0
819.77/819.92	c  799s |      12 |   222454 |    33419 |   428113      0 |   109562 |        0
822.36/822.54	c  801s |      12 |   222555 |    33519 |   428113      0 |   109562 |        0
824.88/825.10	c  804s |      12 |   222652 |    33619 |   428113      0 |   109562 |        0
827.46/827.69	c  806s |      12 |   222758 |    33719 |   428113      0 |   109562 |        0
830.06/830.29	c  809s |      12 |   222858 |    33819 |   428113      0 |   109562 |        0
832.67/832.82	c  812s |      12 |   222960 |    33919 |   428113      0 |   109562 |        0
835.27/835.41	c  814s |      12 |   223063 |    34019 |   428113      0 |   109562 |        0
837.76/838.00	c  817s |      12 |   223162 |    34119 |   428113      0 |   109562 |        0
840.37/840.53	c  819s |      12 |   223260 |    34219 |   428113      0 |   109562 |        0
842.96/843.13	c  822s |      12 |   223362 |    34319 |   428113      0 |   109562 |        0
845.46/845.68	c  824s |      12 |   223458 |    34419 |   428113      0 |   109562 |        0
848.07/848.26	c  827s |      12 |   223562 |    34519 |   428113      0 |   109562 |        0
850.76/850.97	c  830s |      12 |   223662 |    34619 |   428113      0 |   109562 |        0
853.46/853.61	c  832s |      12 |   223763 |    34719 |   428113      0 |   109562 |        0
856.16/856.34	c  835s |      12 |   223865 |    34819 |   428113      0 |   109562 |        0
858.75/858.99	c  838s |      12 |   223964 |    34919 |   428113      0 |   109562 |        0
861.56/861.78	c  840s |      12 |   224064 |    35019 |   428113      0 |   109562 |        0
864.36/864.56	c  843s |      12 |   224167 |    35119 |   428113      0 |   109562 |        0
867.06/867.24	c  846s |      12 |   224269 |    35219 |   428113      0 |   109562 |        0
869.66/869.87	c  849s |      12 |   224369 |    35319 |   428113      0 |   109562 |        0
872.26/872.47	c  851s |      12 |   224468 |    35419 |   428113      0 |   109562 |        0
874.96/875.16	c  854s |      12 |   224568 |    35519 |   428113      0 |   109562 |        0
877.56/877.76	c  856s |      12 |   224671 |    35619 |   428113      0 |   109562 |        0
880.25/880.42	c  859s |      12 |   224770 |    35719 |   428113      0 |   109562 |        0
882.86/883.08	c  862s |      12 |   224870 |    35819 |   428113      0 |   109562 |        0
885.55/885.75	c  864s |      12 |   224972 |    35919 |   428113      0 |   109562 |        0
888.26/888.40	c  867s |      12 |   225071 |    36019 |   428113      0 |   109562 |        0
890.96/891.11	c  870s |      12 |   225171 |    36119 |   428113      0 |   109562 |        0
893.55/893.77	c  872s |      12 |   225270 |    36219 |   428113      0 |   109562 |        0
896.26/896.48	c  875s |      12 |   225366 |    36319 |   428113      0 |   109562 |        0
899.05/899.25	c  878s |      12 |   225472 |    36419 |   428113      0 |   109562 |        0
901.75/902.00	c  881s |      12 |   225569 |    36519 |   428113      0 |   109562 |        0
904.55/904.71	c  883s |      12 |   225672 |    36619 |   428113      0 |   109562 |        0
907.15/907.36	c  886s |      12 |   225774 |    36719 |   428113      0 |   109562 |        0
909.75/909.93	c  889s |      12 |   225874 |    36819 |   428113      0 |   109562 |        0
912.35/912.50	c  891s |      12 |   225977 |    36919 |   428113      0 |   109562 |        0
914.85/915.01	c  894s |      12 |   226077 |    37019 |   428113      0 |   109562 |        0
917.35/917.58	c  896s |      12 |   226176 |    37119 |   428113      0 |   109562 |        0
919.95/920.18	c  899s |      12 |   226273 |    37219 |   428113      0 |   109562 |        0
922.76/922.92	c  902s |      12 |   226376 |    37319 |   428113      0 |   109562 |        0
925.34/925.57	c  904s |      12 |   226476 |    37419 |   428113      0 |   109562 |        0
928.05/928.27	c  907s |      12 |   226575 |    37519 |   428113      0 |   109562 |        0
930.65/930.89	c  910s |      12 |   226679 |    37619 |   428113      0 |   109562 |        0
933.35/933.53	c  912s |      12 |   226776 |    37719 |   428113      0 |   109562 |        0
936.06/936.21	c  915s |      12 |   226877 |    37819 |   428113      0 |   109562 |        0
938.55/938.78	c  917s |      12 |   226977 |    37919 |   428113      0 |   109562 |        0
941.14/941.36	c  920s |      12 |   227078 |    38019 |   428113      0 |   109562 |        0
943.75/943.93	c  923s |      12 |   227177 |    38119 |   428113      0 |   109562 |        0
946.44/946.62	c  925s |      12 |   227281 |    38219 |   428113      0 |   109562 |        0
949.15/949.39	c  928s |      12 |   227384 |    38319 |   428113      0 |   109562 |        0
951.84/952.05	c  931s |      12 |   227482 |    38419 |   428113      0 |   109562 |        0
954.44/954.66	c  933s |      12 |   227582 |    38519 |   428113      0 |   109562 |        0
957.25/957.41	c  936s |      12 |   227687 |    38619 |   470925      0 |   109562 |        0
959.94/960.12	c  939s |      12 |   227785 |    38719 |   470925      0 |   109562 |        0
962.64/962.80	c  941s |      12 |   227883 |    38819 |   470925      0 |   109562 |        0
963.04/963.25	c  942s |      13 |   227897 |    38832 |   470925      0 |   109562 |        0
975.45/975.62	c  954s |      13 |   284270 |    38932 |   470925      0 |   109586 |        0
990.74/990.93	c  970s |      13 |   291863 |    39132 |   470925      0 |   109586 |        0
1005.63/1005.85	c  985s |      13 |   291964 |    39232 |   470925      0 |   109586 |        0
1013.44/1013.60	c  992s |      13 |   292156 |    39332 |   470925      0 |   109586 |        0
1028.53/1028.76	c 1007s |      13 |   292268 |    39432 |   470925      0 |   109586 |        0
1031.13/1031.36	c 1010s |      13 |   292947 |    39532 |   470925      0 |   109586 |        0
1033.63/1033.86	c 1013s |      13 |   293045 |    39632 |   470925      0 |   109586 |        0
1036.14/1036.36	c 1015s |      13 |   293144 |    39732 |   470925      0 |   109586 |        0
1038.63/1038.86	c 1018s |      13 |   293247 |    39832 |   470925      0 |   109586 |        0
1041.13/1041.34	c 1020s |      13 |   293348 |    39932 |   470925      0 |   109586 |        0
1043.63/1043.81	c 1023s |      13 |   293461 |    40032 |   470925      0 |   109586 |        0
1047.73/1047.91	c 1027s |      13 |   293850 |    40232 |   470925      0 |   109586 |        0
1049.73/1049.93	c 1029s |      13 |   294035 |    40332 |   470925      0 |   109586 |        0
1052.03/1052.25	c 1031s |      13 |   294163 |    40432 |   470925      0 |   109586 |        0
1054.33/1054.57	c 1033s |      13 |   294297 |    40532 |   470925      0 |   109586 |        0
1056.63/1056.85	c 1036s |      13 |   294455 |    40632 |   470925      0 |   109586 |        0
1059.03/1059.25	c 1038s |      13 |   294579 |    40732 |   470925      0 |   109586 |        0
1061.44/1061.66	c 1040s |      13 |   294693 |    40832 |   470925      0 |   109586 |        0
1064.13/1064.30	c 1043s |      13 |   294798 |    40932 |   470925      0 |   109586 |        0
1066.43/1066.68	c 1045s |      13 |   294908 |    41032 |   470925      0 |   109586 |        0
1069.13/1069.34	c 1048s |      13 |   295013 |    41132 |   470925      0 |   109586 |        0
1071.93/1072.17	c 1051s |      13 |   295116 |    41232 |   470925      0 |   109586 |        0
1074.72/1074.90	c 1054s |      13 |   295224 |    41332 |   470925      0 |   109586 |        0
1077.43/1077.65	c 1056s |      13 |   295331 |    41432 |   470925      0 |   109586 |        0
1079.83/1080.07	c 1059s |      13 |   295451 |    41532 |   470925      0 |   109586 |        0
1082.23/1082.48	c 1061s |      13 |   295589 |    41632 |   470925      0 |   109586 |        0
1085.13/1085.31	c 1064s |      13 |   295684 |    41732 |   470925      0 |   109586 |        0
1087.83/1088.02	c 1067s |      13 |   295784 |    41832 |   470925      0 |   109586 |        0
1090.42/1090.61	c 1069s |      13 |   295879 |    41932 |   470925      0 |   109586 |        0
1093.03/1093.26	c 1072s |      13 |   295980 |    42032 |   470925      0 |   109586 |        0
1095.72/1095.95	c 1075s |      13 |   296084 |    42132 |   470925      0 |   109586 |        0
1098.42/1098.64	c 1077s |      13 |   296176 |    42232 |   470925      0 |   109586 |        0
1100.53/1100.78	c 1079s |      13 |   296294 |    42332 |   470925      0 |   109586 |        0
1103.43/1103.63	c 1082s |      13 |   296407 |    42432 |   470925      0 |   109586 |        0
1106.22/1106.49	c 1085s |      13 |   296513 |    42532 |   470925      0 |   109586 |        0
1109.02/1109.25	c 1088s |      13 |   296609 |    42632 |   470925      0 |   109586 |        0
1111.82/1112.02	c 1091s |      13 |   296723 |    42732 |   470925      0 |   109586 |        0
1114.52/1114.78	c 1093s |      13 |   296819 |    42832 |   470925      0 |   109586 |        0
1117.32/1117.56	c 1096s |      13 |   296916 |    42932 |   470925      0 |   109586 |        0
1120.12/1120.38	c 1099s |      13 |   297013 |    43032 |   470925      0 |   109586 |        0
1123.03/1123.20	c 1102s |      13 |   297111 |    43132 |   470925      0 |   109586 |        0
1125.82/1126.02	c 1105s |      13 |   297232 |    43232 |   470925      0 |   109586 |        0
1128.62/1128.83	c 1108s |      13 |   297332 |    43332 |   470925      0 |   109586 |        0
1131.32/1131.56	c 1110s |      13 |   297427 |    43432 |   470925      0 |   109586 |        0
1134.12/1134.38	c 1113s |      13 |   297526 |    43532 |   470925      0 |   109586 |        0
1136.91/1137.19	c 1116s |      13 |   297625 |    43632 |   470925      0 |   109586 |        0
1139.82/1140.02	c 1119s |      13 |   297725 |    43732 |   470925      0 |   109586 |        0
1142.62/1142.89	c 1122s |      13 |   297824 |    43832 |   470925      0 |   109586 |        0
1145.51/1145.77	c 1124s |      13 |   297924 |    43932 |   470925      0 |   109586 |        0
1148.42/1148.63	c 1127s |      13 |   298025 |    44032 |   470925      0 |   109586 |        0
1151.21/1151.48	c 1130s |      13 |   298115 |    44132 |   470925      0 |   109586 |        0
1153.92/1154.19	c 1133s |      13 |   298240 |    44232 |   470925      0 |   109586 |        0
1156.71/1156.91	c 1136s |      13 |   298343 |    44332 |   470925      0 |   109586 |        0
1159.51/1159.73	c 1138s |      13 |   298451 |    44432 |   470925      0 |   109586 |        0
1162.41/1162.61	c 1141s |      13 |   298560 |    44532 |   470925      0 |   109586 |        0
1165.31/1165.53	c 1144s |      13 |   298665 |    44632 |   470925      0 |   109586 |        0
1168.21/1168.44	c 1147s |      13 |   298755 |    44732 |   470925      0 |   109586 |        0
1171.11/1171.40	c 1150s |      13 |   298857 |    44832 |   470925      0 |   109586 |        0
1174.11/1174.34	c 1153s |      13 |   298951 |    44932 |   470925      0 |   109586 |        0
1177.01/1177.27	c 1156s |      13 |   299052 |    45032 |   470925      0 |   109586 |        0
1180.01/1180.22	c 1159s |      13 |   299155 |    45132 |   470925      0 |   109586 |        0
1184.11/1184.30	c 1163s |      13 |   299269 |    45232 |   470925      0 |   109586 |        0
1186.82/1187.01	c 1166s |      13 |   299383 |    45332 |   470925      0 |   109586 |        0
1189.61/1189.81	c 1169s |      13 |   299487 |    45432 |   470925      0 |   109586 |        0
1192.51/1192.70	c 1171s |      13 |   299600 |    45532 |   470925      0 |   109586 |        0
1195.41/1195.68	c 1174s |      13 |   299695 |    45632 |   470925      0 |   109586 |        0
1198.41/1198.69	c 1177s |      13 |   299791 |    45732 |   470925      0 |   109586 |        0
1201.51/1201.70	c 1180s |      13 |   299900 |    45832 |   470925      0 |   109586 |        0
1204.50/1204.72	c 1183s |      13 |   299995 |    45932 |   470925      0 |   109586 |        0
1207.50/1207.74	c 1186s |      13 |   300091 |    46032 |   470925      0 |   109586 |        0
1210.50/1210.77	c 1189s |      13 |   300203 |    46132 |   470925      0 |   109586 |        0
1213.61/1213.80	c 1192s |      13 |   300298 |    46232 |   470925      0 |   109586 |        0
1216.60/1216.85	c 1196s |      13 |   300394 |    46332 |   470925      0 |   109586 |        0
1219.71/1219.91	c 1199s |      13 |   300522 |    46432 |   470925      0 |   109586 |        0
1222.40/1222.61	c 1201s |      13 |   300615 |    46532 |   470925      0 |   109586 |        0
1225.11/1225.32	c 1204s |      13 |   300710 |    46632 |   470925      0 |   109586 |        0
1227.80/1228.04	c 1207s |      13 |   300807 |    46732 |   470925      0 |   109586 |        0
1230.41/1230.64	c 1209s |      13 |   300934 |    46832 |   470925      0 |   109586 |        0
1233.10/1233.39	c 1212s |      13 |   301044 |    46932 |   470925      0 |   109586 |        0
1236.00/1236.24	c 1215s |      13 |   301147 |    47032 |   470925      0 |   109586 |        0
1238.90/1239.17	c 1218s |      13 |   301246 |    47132 |   470925      0 |   109586 |        0
1241.90/1242.17	c 1221s |      13 |   301353 |    47232 |   470925      0 |   109586 |        0
1244.90/1245.20	c 1224s |      13 |   301462 |    47332 |   470925      0 |   109586 |        0
1248.00/1248.23	c 1227s |      13 |   301563 |    47432 |   470925      0 |   109586 |        0
1251.10/1251.30	c 1230s |      13 |   301661 |    47532 |   470925      0 |   109586 |        0
1254.10/1254.32	c 1233s |      13 |   301760 |    47632 |   470925      0 |   109586 |        0
1257.11/1257.37	c 1236s |      13 |   301855 |    47732 |   470925      0 |   109586 |        0
1260.20/1260.41	c 1239s |      13 |   301954 |    47832 |   470925      0 |   109586 |        0
1263.20/1263.47	c 1242s |      13 |   302053 |    47932 |   470925      0 |   109586 |        0
1266.29/1266.53	c 1245s |      13 |   302149 |    48032 |   470925      0 |   109586 |        0
1269.31/1269.58	c 1248s |      13 |   302247 |    48132 |   470925      0 |   109586 |        0
1272.09/1272.33	c 1251s |      13 |   302381 |    48232 |   470925      0 |   109586 |        0
1274.70/1274.98	c 1254s |      13 |   302472 |    48332 |   470925      0 |   109586 |        0
1277.49/1277.72	c 1256s |      13 |   302569 |    48432 |   470925      0 |   109586 |        0
1280.30/1280.52	c 1259s |      13 |   302682 |    48532 |   470925      0 |   109586 |        0
1282.99/1283.27	c 1262s |      13 |   302790 |    48632 |   470925      0 |   109586 |        0
1285.70/1285.95	c 1265s |      13 |   302917 |    48732 |   470925      0 |   109586 |        0
1288.59/1288.81	c 1268s |      13 |   303026 |    48832 |   470925      0 |   109586 |        0
1291.49/1291.73	c 1270s |      13 |   303121 |    48932 |   470925      0 |   109586 |        0
1294.50/1294.75	c 1273s |      13 |   303223 |    49032 |   470925      0 |   109586 |        0
1297.50/1297.79	c 1276s |      13 |   303321 |    49132 |   470925      0 |   109586 |        0
1300.59/1300.82	c 1280s |      13 |   303425 |    49232 |   470925      0 |   109586 |        0
1303.60/1303.87	c 1283s |      13 |   303524 |    49332 |   470925      0 |   109586 |        0
1306.70/1306.91	c 1286s |      13 |   303624 |    49432 |   470925      0 |   109586 |        0
1309.69/1309.96	c 1289s |      13 |   303728 |    49532 |   470925      0 |   109586 |        0
1312.79/1313.02	c 1292s |      13 |   303826 |    49632 |   470925      0 |   109586 |        0
1315.79/1316.08	c 1295s |      13 |   303925 |    49732 |   470925      0 |   109586 |        0
1318.89/1319.15	c 1298s |      13 |   304024 |    49832 |   470925      0 |   109586 |        0
1321.99/1322.24	c 1301s |      13 |   304127 |    49932 |   470925      0 |   109586 |        0
1325.09/1325.34	c 1304s |      13 |   304225 |    50032 |   470925      0 |   109586 |        0
1328.09/1328.30	c 1307s |      13 |   304360 |    50132 |   470925      0 |   109586 |        0
1330.79/1331.07	c 1310s |      13 |   304453 |    50232 |   470925      0 |   109586 |        0
1333.59/1333.87	c 1313s |      13 |   304560 |    50332 |   470925      0 |   109586 |        0
1336.18/1336.46	c 1315s |      13 |   304692 |    50432 |   470925      0 |   109586 |        0
1338.99/1339.25	c 1318s |      13 |   304788 |    50532 |   470925      0 |   109586 |        0
1341.79/1342.05	c 1321s |      13 |   304895 |    50632 |   470925      0 |   109586 |        0
1344.69/1344.93	c 1324s |      13 |   305022 |    50732 |   470925      0 |   109586 |        0
1347.68/1347.92	c 1327s |      13 |   305130 |    50832 |   470925      0 |   109586 |        0
1350.69/1350.96	c 1330s |      13 |   305224 |    50932 |   470925      0 |   109586 |        0
1353.79/1354.00	c 1333s |      13 |   305327 |    51032 |   470925      0 |   109586 |        0
1356.78/1357.09	c 1336s |      13 |   305425 |    51132 |   470925      0 |   109586 |        0
1359.89/1360.15	c 1339s |      13 |   305519 |    51232 |   470925      0 |   109586 |        0
1362.98/1363.23	c 1342s |      13 |   305623 |    51332 |   470925      0 |   109586 |        0
1366.08/1366.33	c 1345s |      13 |   305721 |    51432 |   470925      0 |   109586 |        0
1369.18/1369.43	c 1348s |      13 |   305822 |    51532 |   470925      0 |   109586 |        0
1372.28/1372.54	c 1351s |      13 |   305923 |    51632 |   470925      0 |   109586 |        0
1375.38/1375.66	c 1354s |      13 |   306026 |    51732 |   470925      0 |   109586 |        0
1378.48/1378.78	c 1357s |      13 |   306117 |    51832 |   470925      0 |   109586 |        0
1381.68/1381.92	c 1361s |      13 |   306218 |    51932 |   470925      0 |   109586 |        0
1384.78/1385.09	c 1364s |      13 |   306319 |    52032 |   470925      0 |   109586 |        0
1387.99/1388.24	c 1367s |      13 |   306418 |    52132 |   470925      0 |   109586 |        0
1391.08/1391.31	c 1370s |      13 |   306558 |    52232 |   470925      0 |   109586 |        0
1393.78/1394.08	c 1373s |      13 |   306714 |    52332 |   470925      0 |   109586 |        0
1396.98/1397.20	c 1376s |      13 |   306811 |    52432 |   470925      0 |   109586 |        0
1399.98/1400.24	c 1379s |      13 |   306906 |    52532 |   470925      0 |   109586 |        0
1402.68/1402.94	c 1382s |      13 |   307025 |    52632 |   470925      0 |   109586 |        0
1405.27/1405.58	c 1384s |      13 |   307131 |    52732 |   470925      0 |   109586 |        0
1408.28/1408.53	c 1387s |      13 |   307250 |    52832 |   470925      0 |   109586 |        0
1411.27/1411.51	c 1390s |      13 |   307352 |    52932 |   470925      0 |   109586 |        0
1414.27/1414.54	c 1393s |      13 |   307442 |    53032 |   470925      0 |   109586 |        0
1417.38/1417.63	c 1396s |      13 |   307549 |    53132 |   470925      0 |   109586 |        0
1420.37/1420.66	c 1399s |      13 |   307647 |    53232 |   470925      0 |   109586 |        0
1423.58/1423.80	c 1402s |      13 |   307746 |    53332 |   470925      0 |   109586 |        0
1426.67/1426.96	c 1406s |      13 |   307840 |    53432 |   470925      0 |   109586 |        0
1429.88/1430.11	c 1409s |      13 |   307953 |    53532 |   470925      0 |   109586 |        0
1432.98/1433.25	c 1412s |      13 |   308050 |    53632 |   470925      0 |   109586 |        0
1436.17/1436.41	c 1415s |      13 |   308149 |    53732 |   470925      0 |   109586 |        0
1439.37/1439.62	c 1418s |      13 |   308248 |    53832 |   470925      0 |   109586 |        0
1442.57/1442.82	c 1422s |      13 |   308347 |    53932 |   470925      0 |   109586 |        0
1445.77/1446.01	c 1425s |      13 |   308442 |    54032 |   470925      0 |   109586 |        0
1448.97/1449.22	c 1428s |      13 |   308541 |    54132 |   470925      0 |   109586 |        0
1452.06/1452.32	c 1431s |      13 |   308684 |    54232 |   470925      0 |   109586 |        0
1455.27/1455.58	c 1434s |      13 |   308783 |    54332 |   470925      0 |   109586 |        0
1459.57/1459.83	c 1439s |      13 |   308994 |    54432 |   470925      0 |   109586 |        0
1462.56/1462.88	c 1442s |      13 |   309115 |    54532 |   470925      0 |   109586 |        0
1465.66/1465.96	c 1445s |      13 |   309241 |    54632 |   470925      0 |   109586 |        0
1468.67/1468.93	c 1448s |      13 |   309341 |    54732 |   470925      0 |   109586 |        0
1471.57/1471.87	c 1451s |      13 |   309438 |    54832 |   470925      0 |   109586 |        0
1474.57/1474.83	c 1454s |      13 |   309534 |    54932 |   470925      0 |   109586 |        0
1477.57/1477.83	c 1457s |      13 |   309631 |    55032 |   470925      0 |   109586 |        0
1480.57/1480.82	c 1460s |      13 |   309728 |    55132 |   470925      0 |   109586 |        0
1483.56/1483.82	c 1463s |      13 |   309834 |    55232 |   470925      0 |   109586 |        0
1486.46/1486.79	c 1465s |      13 |   309965 |    55332 |   470925      0 |   109586 |        0
1489.56/1489.86	c 1469s |      13 |   310062 |    55432 |   470925      0 |   109586 |        0
1492.57/1492.86	c 1472s |      13 |   310171 |    55532 |   470925      0 |   109586 |        0
1495.56/1495.87	c 1475s |      13 |   310273 |    55632 |   470925      0 |   109586 |        0
1498.56/1498.89	c 1478s |      13 |   310366 |    55732 |   470925      0 |   109586 |        0
1501.46/1501.77	c 1480s |      13 |   310480 |    55832 |   470925      0 |   109586 |        0
1504.56/1504.84	c 1484s |      13 |   310579 |    55932 |   470925      0 |   109586 |        0
1507.46/1507.77	c 1486s |      13 |   310726 |    56032 |   470925      0 |   109586 |        0
1510.46/1510.77	c 1489s |      13 |   310852 |    56132 |   470925      0 |   109586 |        0
1513.56/1513.80	c 1492s |      13 |   310955 |    56232 |   470925      0 |   109586 |        0
1516.45/1516.71	c 1495s |      13 |   311088 |    56332 |   470925      0 |   109586 |        0
1519.56/1519.85	c 1499s |      13 |   311178 |    56432 |   470925      0 |   109586 |        0
1522.56/1522.87	c 1502s |      13 |   311362 |    56532 |   470925      0 |   109586 |        0
1525.56/1525.86	c 1505s |      13 |   311475 |    56632 |   470925      0 |   109586 |        0
1528.66/1528.94	c 1508s |      13 |   311570 |    56732 |   470925      0 |   109586 |        0
1531.76/1532.00	c 1511s |      13 |   311714 |    56832 |   470925      0 |   109586 |        0
1534.56/1534.82	c 1514s |      13 |   311886 |    56932 |   470925      0 |   109586 |        0
1537.75/1538.03	c 1517s |      13 |   311985 |    57032 |   470925      0 |   109586 |        0
1540.75/1541.08	c 1520s |      13 |   312095 |    57132 |   470925      0 |   109586 |        0
1543.65/1543.94	c 1523s |      13 |   312379 |    57232 |   470925      0 |   109586 |        0
1546.75/1547.03	c 1526s |      13 |   312479 |    57332 |   470925      0 |   109586 |        0
1549.75/1550.09	c 1529s |      13 |   312585 |    57432 |   470925      0 |   109586 |        0
1552.45/1552.77	c 1531s |      13 |   312705 |    57532 |   470925      0 |   109586 |        0
1554.85/1555.11	c 1534s |      13 |   312902 |    57632 |   470925      0 |   109586 |        0
1557.65/1557.93	c 1537s |      13 |   313059 |    57732 |   470925      0 |   109586 |        0
1560.85/1561.14	c 1540s |      13 |   313154 |    57832 |   470925      0 |   109586 |        0
1564.15/1564.40	c 1543s |      13 |   313259 |    57932 |   470925      0 |   109586 |        0
1567.05/1567.38	c 1546s |      13 |   313370 |    58032 |   518018      0 |   109586 |        0
1570.15/1570.42	c 1549s |      13 |   313462 |    58132 |   518018      0 |   109586 |        0
1573.35/1573.62	c 1552s |      13 |   313562 |    58232 |   518018      0 |   109586 |        0
1576.45/1576.78	c 1555s |      13 |   313678 |    58332 |   518018      0 |   109586 |        0
1577.45/1577.76	c 1556s |      14 |   313691 |    58352 |   518018      0 |   109586 |        0
1582.45/1582.72	c 1561s |      14 |   314634 |    58452 |   518018      0 |   109586 |        0
1585.64/1585.95	c 1565s |      14 |   315391 |    58752 |   518018      0 |   109586 |        0
1589.94/1590.29	c 1569s |      14 |   315960 |    58952 |   518018      0 |   109586 |        0
1592.45/1592.74	c 1571s |      14 |   316265 |    59052 |   518018      0 |   109586 |        0
1595.15/1595.46	c 1574s |      14 |   317137 |    59252 |   518018      0 |   109586 |        0
1597.64/1597.93	c 1577s |      14 |   317983 |    59552 |   518018      0 |   109586 |        0
1600.25/1600.54	c 1579s |      14 |   318683 |    59652 |   518018      0 |   109586 |        0
1605.14/1605.47	c 1584s |      14 |   318882 |    59752 |   518018      0 |   109586 |        0
1607.34/1607.70	c 1586s |      14 |   319642 |    59952 |   518018      0 |   109586 |        0
1610.55/1610.81	c 1590s |      14 |   320082 |    60152 |   518018      0 |   109586 |        0
1612.84/1613.17	c 1592s |      14 |   320573 |    60252 |   518018      0 |   109586 |        0
1615.55/1615.85	c 1595s |      14 |   321423 |    60452 |   518018      0 |   109586 |        0
1617.64/1617.92	c 1597s |      14 |   321885 |    60652 |   518018      0 |   109586 |        0
1621.44/1621.74	c 1600s |      14 |   322146 |    60852 |   518018      0 |   109586 |        0
1623.45/1623.78	c 1602s |      14 |   322532 |    60952 |   518018      0 |   109586 |        0
1628.04/1628.34	c 1607s |      14 |   323209 |    61152 |   518018      0 |   109586 |        0
1630.94/1631.29	c 1610s |      14 |   324652 |    61452 |   518018      0 |   109586 |        0
1633.64/1633.96	c 1613s |      14 |   325681 |    61852 |   518018      0 |   109586 |        0
1635.94/1636.23	c 1615s |      14 |   326334 |    62052 |   518018      0 |   109586 |        0
1639.24/1639.51	c 1618s |      14 |   327550 |    62452 |   518018      0 |   109586 |        0
1641.93/1642.28	c 1621s |      14 |   328852 |    62752 |   518018      0 |   109586 |        0
1644.04/1644.34	c 1623s |      14 |   329381 |    62952 |   518018      0 |   109586 |        0
1646.23/1646.55	c 1625s |      14 |   330096 |    63152 |   518018      0 |   109586 |        0
1648.64/1648.92	c 1628s |      14 |   331074 |    63452 |   518018      0 |   109586 |        0
1651.23/1651.54	c 1630s |      14 |   332327 |    63752 |   518018      0 |   109586 |        0
1653.63/1653.96	c 1633s |      14 |   333340 |    64052 |   518018      0 |   109586 |        0
1655.73/1656.02	c 1635s |      14 |   333929 |    64252 |   518018      0 |   109586 |        0
1657.74/1658.07	c 1637s |      14 |   334928 |    64552 |   518018      0 |   109586 |        0
1660.23/1660.59	c 1639s |      14 |   336185 |    64952 |   518018      0 |   109586 |        0
1663.43/1663.73	c 1642s |      14 |   337264 |    65352 |   518018      0 |   109586 |        0
1666.64/1666.93	c 1646s |      14 |   337431 |    65452 |   518018      0 |   109586 |        0
1668.64/1668.99	c 1648s |      14 |   337727 |    65552 |   518018      0 |   109586 |        0
1671.74/1672.08	c 1651s |      14 |   338156 |    65652 |   518018      0 |   109586 |        0
1673.83/1674.16	c 1653s |      14 |   338409 |    65752 |   518018      0 |   109586 |        0
1677.63/1677.93	c 1657s |      14 |   338791 |    65852 |   518018      0 |   109586 |        0
1680.33/1680.61	c 1659s |      14 |   339303 |    65952 |   518018      0 |   109586 |        0
1683.13/1683.46	c 1662s |      14 |   339681 |    66052 |   518018      0 |   109586 |        0
1687.03/1687.36	c 1666s |      14 |   340035 |    66152 |   518018      0 |   109586 |        0
1692.13/1692.48	c 1671s |      14 |   340166 |    66252 |   518018      0 |   109586 |        0
1698.03/1698.33	c 1677s |      14 |   340300 |    66352 |   518018      0 |   109586 |        0
1701.93/1702.27	c 1681s |      14 |   340732 |    66452 |   518018      0 |   109586 |        0
1706.82/1707.17	c 1686s |      14 |   341661 |    66652 |   518018      0 |   109586 |        0
1712.22/1712.53	c 1691s |      14 |   341793 |    66752 |   518018      0 |   109586 |        0
1715.43/1715.70	c 1694s |      14 |   342005 |    66852 |   518018      0 |   109586 |        0
1719.23/1719.54	c 1698s |      14 |   342142 |    66952 |   518018      0 |   109586 |        0
1722.12/1722.45	c 1701s |      14 |   342415 |    67052 |   518018      0 |   109586 |        0
1725.22/1725.55	c 1704s |      14 |   342796 |    67152 |   518018      0 |   109586 |        0
1728.72/1729.08	c 1708s |      14 |   343048 |    67252 |   518018      0 |   109586 |        0
1733.72/1734.00	c 1713s |      14 |   343292 |    67352 |   518018      0 |   109586 |        0
1738.12/1738.40	c 1717s |      14 |   343496 |    67452 |   518018      0 |   109586 |        0
1744.02/1744.32	c 1723s |      14 |   343904 |    67652 |   518018      0 |   109586 |        0
1747.62/1747.94	c 1727s |      14 |   344066 |    67752 |   518018      0 |   109586 |        0
1752.82/1753.11	c 1732s |      14 |   344194 |    67852 |   518018      0 |   109586 |        0
1758.12/1758.49	c 1737s |      14 |   344329 |    67952 |   518018      0 |   109586 |        0
1762.52/1762.81	c 1741s |      14 |   344483 |    68052 |   518018      0 |   109586 |        0
1768.01/1768.37	c 1747s |      14 |   344655 |    68152 |   518018      0 |   109586 |        0
1773.21/1773.52	c 1752s |      14 |   344845 |    68252 |   518018      0 |   109586 |        0
1778.61/1778.94	c 1758s |      14 |   344991 |    68352 |   518018      0 |   109586 |        0
1785.51/1785.82	c 1765s |      14 |   345136 |    68452 |   518018      0 |   109586 |        0
1789.71/1790.04	c 1769s |      14 |   345283 |    68552 |   518018      0 |   109586 |        0
1793.82/1794.20	c 1773s |      14 |   345470 |    68652 |   518018      0 |   109586 |        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-4100257-1466211871/watcher-4100257-1466211871 -o /tmp/evaluation-result-4100257-1466211871/solver-4100257-1466211871 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466206081-595 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100257-1466211871.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.35 2.27 2.20 2/180 2196
/proc/meminfo: memFree=26966780/32872528 swapFree=17888/1798212
[pid=2196] ppid=2193 vsize=730556 CPUtime=0 cores=0,2,4,6
/proc/2196/stat : 2196 (toysat) R 2193 2196 579 0 -1 4202496 2725 0 0 0 0 0 0 0 20 0 4 0 23234285 748089344 3597 33554432000 4194304 16246674 140733819979632 140733819979056 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2196/statm: 183407 3607 441 2943 0 180301 0
[pid=2196/tid=2197] ppid=2193 vsize=747964 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2197/stat : 2197 (toysat) S 2193 2196 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23234285 765915136 3667 33554432000 4194304 16246674 140733819979632 140321136553200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2196/tid=2198] ppid=2193 vsize=753084 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2198/stat : 2198 (toysat) S 2193 2196 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23234285 771158016 3684 33554432000 4194304 16246674 140733819979632 140321126063344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2196/tid=2199] ppid=2193 vsize=757180 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2199/stat : 2199 (toysat) S 2193 2196 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23234285 775352320 3702 33554432000 4194304 16246674 140733819979632 140321010740400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.35 2.27 2.20 2/180 2196
/proc/meminfo: memFree=26966780/32872528 swapFree=17888/1798212
[pid=2196] ppid=2193 vsize=1302084 CPUtime=0.08 cores=0,2,4,6
/proc/2196/stat : 2196 (toysat) R 2193 2196 579 0 -1 4202496 28476 0 0 0 5 3 0 0 20 0 4 0 23234285 1333334016 29286 33554432000 4194304 16246674 140733819979632 140733819978944 7364033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2196/statm: 325521 29301 799 2943 0 322415 0
[pid=2196/tid=2197] ppid=2193 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2197/stat : 2197 (toysat) S 2193 2196 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23234285 1333334016 29312 33554432000 4194304 16246674 140733819979632 140321136553200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2196/tid=2198] ppid=2193 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2198/stat : 2198 (toysat) S 2193 2196 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23234285 1333334016 29323 33554432000 4194304 16246674 140733819979632 140321126063344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2196/tid=2199] ppid=2193 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2199/stat : 2199 (toysat) S 2193 2196 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23234285 1333334016 29335 33554432000 4194304 16246674 140733819979632 140321010740400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200525 s]
/proc/loadavg: 2.35 2.27 2.20 2/180 2196
/proc/meminfo: memFree=26966780/32872528 swapFree=17888/1798212
[pid=2196] ppid=2193 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/2196/stat : 2196 (toysat) R 2193 2196 579 0 -1 4202496 45771 0 0 0 13 6 0 0 20 0 4 0 23234285 1343819776 47091 33554432000 4194304 16246674 140733819979632 140733819978944 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2196/statm: 328081 47091 801 2943 0 324975 0
[pid=2196/tid=2197] ppid=2193 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2197/stat : 2197 (toysat) S 2193 2196 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23234285 1343819776 47091 33554432000 4194304 16246674 140733819979632 140321136553200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2196/tid=2198] ppid=2193 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2198/stat : 2198 (toysat) S 2193 2196 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23234285 1343819776 47091 33554432000 4194304 16246674 140733819979632 140321126063344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2196/tid=2199] ppid=2193 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2199/stat : 2199 (toysat) S 2193 2196 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23234285 1343819776 47091 33554432000 4194304 16246674 140733819979632 140321010740400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300493 s]
/proc/loadavg: 2.35 2.27 2.20 2/180 2196
/proc/meminfo: memFree=26966780/32872528 swapFree=17888/1798212
[pid=2196] ppid=2193 vsize=1312324 CPUtime=0.28 cores=0,2,4,6
/proc/2196/stat : 2196 (toysat) R 2193 2196 579 0 -1 4202496 52930 0 0 0 21 7 0 0 20 0 4 0 23234285 1343819776 54250 33554432000 4194304 16246674 140733819979632 140733819978944 7852948 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2196/statm: 328081 54250 801 2943 0 324975 0
[pid=2196/tid=2197] ppid=2193 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2197/stat : 2197 (toysat) S 2193 2196 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23234285 1343819776 54250 33554432000 4194304 16246674 140733819979632 140321136553200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2196/tid=2198] ppid=2193 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2198/stat : 2198 (toysat) S 2193 2196 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23234285 1343819776 54250 33554432000 4194304 16246674 140733819979632 140321126063344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2196/tid=2199] ppid=2193 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2199/stat : 2199 (toysat) S 2193 2196 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23234285 1343819776 54250 33554432000 4194304 16246674 140733819979632 140321010740400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1312324

[startup+0.700397 s]
/proc/loadavg: 2.35 2.27 2.20 2/180 2196
/proc/meminfo: memFree=26966780/32872528 swapFree=17888/1798212
[pid=2196] ppid=2193 vsize=1312324 CPUtime=0.69 cores=0,2,4,6
/proc/2196/stat : 2196 (toysat) R 2193 2196 579 0 -1 4202496 58555 0 0 0 61 8 0 0 20 0 4 0 23234285 1343819776 59875 33554432000 4194304 16246674 140733819979632 140733819961536 7361370 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2196/statm: 328081 59875 802 2943 0 324975 0
[pid=2196/tid=2197] ppid=2193 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2197/stat : 2197 (toysat) S 2193 2196 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23234285 1343819776 59875 33554432000 4194304 16246674 140733819979632 140321136553200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2196/tid=2198] ppid=2193 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2198/stat : 2198 (toysat) S 2193 2196 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23234285 1343819776 59875 33554432000 4194304 16246674 140733819979632 140321126063344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2196/tid=2199] ppid=2193 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2199/stat : 2199 (toysat) S 2193 2196 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23234285 1343819776 59875 33554432000 4194304 16246674 140733819979632 140321010740400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.5004 s]
/proc/loadavg: 2.35 2.27 2.20 3/184 2200
/proc/meminfo: memFree=26691524/32872528 swapFree=17888/1798212
[pid=2196] ppid=2193 vsize=1312324 CPUtime=1.49 cores=0,2,4,6
/proc/2196/stat : 2196 (toysat) R 2193 2196 579 0 -1 4202496 78023 0 0 0 138 11 0 0 20 0 4 0 23234285 1343819776 79343 33554432000 4194304 16246674 140733819979632 140733819977472 8058576 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2196/statm: 328081 79343 802 2943 0 324975 0
[pid=2196/tid=2197] ppid=2193 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2197/stat : 2197 (toysat) S 2193 2196 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23234285 1343819776 79343 33554432000 4194304 16246674 140733819979632 140321136553200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2196/tid=2198] ppid=2193 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2198/stat : 2198 (toysat) S 2193 2196 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23234285 1343819776 79343 33554432000 4194304 16246674 140733819979632 140321126063344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2196/tid=2199] ppid=2193 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2199/stat : 2199 (toysat) S 2193 2196 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23234285 1343819776 79343 33554432000 4194304 16246674 140733819979632 140321010740400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1312324

[startup+3.10037 s]
/proc/loadavg: 2.35 2.27 2.20 3/184 2200
/proc/meminfo: memFree=26498404/32872528 swapFree=17888/1798212
[pid=2196] ppid=2193 vsize=1336900 CPUtime=3.09 cores=0,2,4,6
/proc/2196/stat : 2196 (toysat) R 2193 2196 579 0 -1 4202496 135748 0 0 0 290 19 0 0 20 0 4 0 23234285 1368985600 142178 33554432000 4194304 16246674 140733819979632 140733819977472 8058796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2196/statm: 334225 142197 802 2943 0 331119 0
[pid=2196/tid=2197] ppid=2193 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2197/stat : 2197 (toysat) S 2193 2196 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23234285 1368985600 142208 33554432000 4194304 16246674 140733819979632 140321136553200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2196/tid=2198] ppid=2193 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2198/stat : 2198 (toysat) S 2193 2196 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23234285 1368985600 142220 33554432000 4194304 16246674 140733819979632 140321126063344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2196/tid=2199] ppid=2193 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2199/stat : 2199 (toysat) S 2193 2196 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23234285 1368985600 142230 33554432000 4194304 16246674 140733819979632 140321010740400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1336900

[startup+6.30041 s]
/proc/loadavg: 2.33 2.26 2.20 3/184 2200
/proc/meminfo: memFree=25858940/32872528 swapFree=17888/1798212
[pid=2196] ppid=2193 vsize=1499716 CPUtime=6.29 cores=0,2,4,6
/proc/2196/stat : 2196 (toysat) R 2193 2196 579 0 -1 4202496 297658 0 0 0 589 40 0 0 20 0 4 0 23234285 1535709184 316863 33554432000 4194304 16246674 140733819979632 140733819961536 12449273 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2196/statm: 374929 316863 834 2943 0 371823 0
[pid=2196/tid=2197] ppid=2193 vsize=1499716 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2197/stat : 2197 (toysat) S 2193 2196 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23234285 1535709184 316863 33554432000 4194304 16246674 140733819979632 140321136553200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2196/tid=2198] ppid=2193 vsize=1499716 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2198/stat : 2198 (toysat) S 2193 2196 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23234285 1535709184 316863 33554432000 4194304 16246674 140733819979632 140321126063344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2196/tid=2199] ppid=2193 vsize=1499716 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2199/stat : 2199 (toysat) S 2193 2196 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23234285 1535709184 316863 33554432000 4194304 16246674 140733819979632 140321010740400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1499716

[startup+12.7004 s]
/proc/loadavg: 2.30 2.26 2.20 3/184 2200
/proc/meminfo: memFree=25700176/32872528 swapFree=17888/1798212
[pid=2196] ppid=2193 vsize=1613380 CPUtime=12.68 cores=0,2,4,6
/proc/2196/stat : 2196 (toysat) R 2193 2196 579 0 -1 4202496 325974 0 0 0 1225 43 0 0 20 0 4 0 23234285 1652101120 345179 33554432000 4194304 16246674 140733819979632 140733819961536 4221418 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2196/statm: 403345 345186 837 2943 0 400239 0
[pid=2196/tid=2197] ppid=2193 vsize=1613380 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2197/stat : 2197 (toysat) S 2193 2196 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23234285 1652101120 345189 33554432000 4194304 16246674 140733819979632 140321136553200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2196/tid=2198] ppid=2193 vsize=1613380 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2198/stat : 2198 (toysat) S 2193 2196 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23234285 1652101120 345194 33554432000 4194304 16246674 140733819979632 140321126063120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2196/tid=2199] ppid=2193 vsize=1613380 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2199/stat : 2199 (toysat) S 2193 2196 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23234285 1652101120 345197 33554432000 4194304 16246674 140733819979632 140321010740400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1613380

[startup+25.5005 s]
/proc/loadavg: 2.31 2.26 2.20 3/184 2200
/proc/meminfo: memFree=24144984/32872528 swapFree=17888/1798212
[pid=2196] ppid=2193 vsize=3050052 CPUtime=25.48 cores=0,2,4,6
/proc/2196/stat : 2196 (toysat) R 2193 2196 579 0 -1 4202496 685297 0 0 0 2455 93 0 0 20 0 4 0 23234285 3123253248 704502 33554432000 4194304 16246674 140733819979632 140733819978728 5600819 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2196/statm: 762513 704502 882 2943 0 759407 0
[pid=2196/tid=2197] ppid=2193 vsize=3050052 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2197/stat : 2197 (toysat) S 2193 2196 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23234285 3123253248 704502 33554432000 4194304 16246674 140733819979632 140321136553200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2196/tid=2198] ppid=2193 vsize=3050052 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2198/stat : 2198 (toysat) S 2193 2196 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23234285 3123253248 704502 33554432000 4194304 16246674 140733819979632 140321126063344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2196/tid=2199] ppid=2193 vsize=3050052 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2199/stat : 2199 (toysat) S 2193 2196 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23234285 3123253248 704502 33554432000 4194304 16246674 140733819979632 140321010740400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3050052

[startup+51.1005 s]
/proc/loadavg: 2.33 2.27 2.20 3/184 2200
/proc/meminfo: memFree=24124124/32872528 swapFree=17888/1798212
[pid=2196] ppid=2193 vsize=3050052 CPUtime=51.08 cores=0,2,4,6
/proc/2196/stat : 2196 (toysat) R 2193 2196 579 0 -1 4202496 685310 0 0 0 5013 95 0 0 20 0 4 0 23234285 3123253248 704515 33554432000 4194304 16246674 140733819979632 140733819978808 13774432 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2196/statm: 762513 704515 895 2943 0 759407 0
[pid=2196/tid=2197] ppid=2193 vsize=3050052 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2197/stat : 2197 (toysat) S 2193 2196 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23234285 3123253248 704515 33554432000 4194304 16246674 140733819979632 140321136553200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2196/tid=2198] ppid=2193 vsize=3050052 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2198/stat : 2198 (toysat) S 2193 2196 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23234285 3123253248 704515 33554432000 4194304 16246674 140733819979632 140321126063344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2196/tid=2199] ppid=2193 vsize=3050052 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2199/stat : 2199 (toysat) S 2193 2196 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23234285 3123253248 704515 33554432000 4194304 16246674 140733819979632 140321010740400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3050052

[startup+102.3 s]
/proc/loadavg: 2.20 2.24 2.19 3/184 2202
/proc/meminfo: memFree=23765664/32872528 swapFree=17888/1798212
[pid=2196] ppid=2193 vsize=3354180 CPUtime=102.28 cores=0,2,4,6
/proc/2196/stat : 2196 (toysat) R 2193 2196 579 0 -1 4202496 761265 0 0 0 10122 106 0 0 20 0 4 0 23234285 3434680320 780470 33554432000 4194304 16246674 140733819979632 140733819961536 12415657 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2196/statm: 838545 780470 898 2943 0 835439 0
[pid=2196/tid=2197] ppid=2193 vsize=3354180 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2197/stat : 2197 (toysat) S 2193 2196 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23234285 3434680320 780470 33554432000 4194304 16246674 140733819979632 140321136553200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2196/tid=2198] ppid=2193 vsize=3354180 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2198/stat : 2198 (toysat) S 2193 2196 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23234285 3434680320 780470 33554432000 4194304 16246674 140733819979632 140321126063344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2196/tid=2199] ppid=2193 vsize=3354180 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2199/stat : 2199 (toysat) S 2193 2196 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23234285 3434680320 780470 33554432000 4194304 16246674 140733819979632 140321010740400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 3354180


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

/proc/2196/task/2197/stat : 2197 (toysat) S 2193 2196 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23234285 3834187776 878002 33554432000 4194304 16246674 140733819979632 140321136553200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2196/tid=2198] ppid=2193 vsize=3744324 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2198/stat : 2198 (toysat) S 2193 2196 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23234285 3834187776 878002 33554432000 4194304 16246674 140733819979632 140321126063344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2196/tid=2199] ppid=2193 vsize=3744324 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2199/stat : 2199 (toysat) S 2193 2196 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23234285 3834187776 878002 33554432000 4194304 16246674 140733819979632 140321010740400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 3744324

[startup+1362.3 s]
/proc/loadavg: 2.34 2.34 2.23 3/184 2233
/proc/meminfo: memFree=22395836/32872528 swapFree=17888/1798212
[pid=2196] ppid=2193 vsize=3744324 CPUtime=1362.08 cores=0,2,4,6
/proc/2196/stat : 2196 (toysat) R 2193 2196 579 0 -1 4202496 858797 0 0 0 135900 308 0 0 20 0 4 0 23234285 3834187776 878002 33554432000 4194304 16246674 140733819979632 140733819978808 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2196/statm: 936081 878002 899 2943 0 932975 0
[pid=2196/tid=2197] ppid=2193 vsize=3744324 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2197/stat : 2197 (toysat) S 2193 2196 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23234285 3834187776 878002 33554432000 4194304 16246674 140733819979632 140321136553200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2196/tid=2198] ppid=2193 vsize=3744324 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2198/stat : 2198 (toysat) S 2193 2196 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23234285 3834187776 878002 33554432000 4194304 16246674 140733819979632 140321126063344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2196/tid=2199] ppid=2193 vsize=3744324 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2199/stat : 2199 (toysat) S 2193 2196 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23234285 3834187776 878002 33554432000 4194304 16246674 140733819979632 140321010740400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 3744324

[startup+1422.3 s]
/proc/loadavg: 2.42 2.35 2.24 3/184 2234
/proc/meminfo: memFree=22377764/32872528 swapFree=17888/1798212
[pid=2196] ppid=2193 vsize=3744324 CPUtime=1422.08 cores=0,2,4,6
/proc/2196/stat : 2196 (toysat) R 2193 2196 579 0 -1 4202496 858797 0 0 0 141890 318 0 0 20 0 4 0 23234285 3834187776 878002 33554432000 4194304 16246674 140733819979632 140733819978728 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2196/statm: 936081 878002 899 2943 0 932975 0
[pid=2196/tid=2197] ppid=2193 vsize=3744324 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2197/stat : 2197 (toysat) S 2193 2196 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23234285 3834187776 878002 33554432000 4194304 16246674 140733819979632 140321136553200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2196/tid=2198] ppid=2193 vsize=3744324 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2198/stat : 2198 (toysat) S 2193 2196 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23234285 3834187776 878002 33554432000 4194304 16246674 140733819979632 140321126063344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2196/tid=2199] ppid=2193 vsize=3744324 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2199/stat : 2199 (toysat) S 2193 2196 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23234285 3834187776 878002 33554432000 4194304 16246674 140733819979632 140321010740400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 3744324

[startup+1482.3 s]
/proc/loadavg: 2.42 2.37 2.25 3/184 2235
/proc/meminfo: memFree=22223908/32872528 swapFree=17888/1798212
[pid=2196] ppid=2193 vsize=3824196 CPUtime=1482.06 cores=0,2,4,6
/proc/2196/stat : 2196 (toysat) R 2193 2196 579 0 -1 4202496 878801 0 0 0 147875 331 0 0 20 0 4 0 23234285 3915976704 898006 33554432000 4194304 16246674 140733819979632 140733819978808 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2196/statm: 956049 898006 899 2943 0 952943 0
[pid=2196/tid=2197] ppid=2193 vsize=3824196 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2197/stat : 2197 (toysat) S 2193 2196 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23234285 3915976704 898006 33554432000 4194304 16246674 140733819979632 140321136553200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2196/tid=2198] ppid=2193 vsize=3824196 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2198/stat : 2198 (toysat) S 2193 2196 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23234285 3915976704 898006 33554432000 4194304 16246674 140733819979632 140321126063344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2196/tid=2199] ppid=2193 vsize=3824196 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2199/stat : 2199 (toysat) S 2193 2196 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23234285 3915976704 898006 33554432000 4194304 16246674 140733819979632 140321010740400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 3824196

[startup+1542.31 s]
/proc/loadavg: 2.27 2.33 2.25 3/185 2239
/proc/meminfo: memFree=22223684/32872528 swapFree=17888/1798212
[pid=2196] ppid=2193 vsize=3824196 CPUtime=1542.06 cores=0,2,4,6
/proc/2196/stat : 2196 (toysat) R 2193 2196 579 0 -1 4202496 878801 0 0 0 153863 343 0 0 20 0 4 0 23234285 3915976704 898006 33554432000 4194304 16246674 140733819979632 140733819978808 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2196/statm: 956049 898006 899 2943 0 952943 0
[pid=2196/tid=2197] ppid=2193 vsize=3824196 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2197/stat : 2197 (toysat) S 2193 2196 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23234285 3915976704 898006 33554432000 4194304 16246674 140733819979632 140321136553200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2196/tid=2198] ppid=2193 vsize=3824196 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2198/stat : 2198 (toysat) S 2193 2196 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23234285 3915976704 898006 33554432000 4194304 16246674 140733819979632 140321126063344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2196/tid=2199] ppid=2193 vsize=3824196 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2199/stat : 2199 (toysat) S 2193 2196 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23234285 3915976704 898006 33554432000 4194304 16246674 140733819979632 140321010740400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 3824196

[startup+1602.3 s]
/proc/loadavg: 2.21 2.30 2.24 3/183 2288
/proc/meminfo: memFree=25450100/32872528 swapFree=17888/1798212
[pid=2196] ppid=2193 vsize=3824196 CPUtime=1602.05 cores=0,2,4,6
/proc/2196/stat : 2196 (toysat) R 2193 2196 579 0 -1 4202496 878803 0 0 0 159852 353 0 0 20 0 4 0 23234285 3915976704 898009 33554432000 4194304 16246674 140733819979632 140733819978808 5598751 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2196/statm: 956049 898009 899 2943 0 952943 0
[pid=2196/tid=2197] ppid=2193 vsize=3824196 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2197/stat : 2197 (toysat) S 2193 2196 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23234285 3915976704 898009 33554432000 4194304 16246674 140733819979632 140321136553200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2196/tid=2198] ppid=2193 vsize=3824196 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2198/stat : 2198 (toysat) S 2193 2196 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23234285 3915976704 898009 33554432000 4194304 16246674 140733819979632 140321126063344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2196/tid=2199] ppid=2193 vsize=3824196 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2199/stat : 2199 (toysat) S 2193 2196 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23234285 3915976704 898009 33554432000 4194304 16246674 140733819979632 140321010740400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 3824196

[startup+1662.3 s]
/proc/loadavg: 2.34 2.32 2.25 3/184 2290
/proc/meminfo: memFree=25328312/32872528 swapFree=17888/1798212
[pid=2196] ppid=2193 vsize=3941956 CPUtime=1662.03 cores=0,2,4,6
/proc/2196/stat : 2196 (toysat) R 2193 2196 579 0 -1 4202496 908053 0 0 0 165840 363 0 0 20 0 4 0 23234285 4036562944 927254 33554432000 4194304 16246674 140733819979632 140733819978808 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2196/statm: 985489 927254 899 2943 0 982383 0
[pid=2196/tid=2197] ppid=2193 vsize=3941956 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2197/stat : 2197 (toysat) S 2193 2196 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23234285 4036562944 927254 33554432000 4194304 16246674 140733819979632 140321136553200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2196/tid=2198] ppid=2193 vsize=3941956 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2198/stat : 2198 (toysat) S 2193 2196 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23234285 4036562944 927254 33554432000 4194304 16246674 140733819979632 140321126063344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2196/tid=2199] ppid=2193 vsize=3941956 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2199/stat : 2199 (toysat) S 2193 2196 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23234285 4036562944 927254 33554432000 4194304 16246674 140733819979632 140321010740400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 3941956

[startup+1722.3 s]
/proc/loadavg: 2.29 2.32 2.25 3/183 2291
/proc/meminfo: memFree=25272860/32872528 swapFree=17888/1798212
[pid=2196] ppid=2193 vsize=3993156 CPUtime=1722.02 cores=0,2,4,6
/proc/2196/stat : 2196 (toysat) R 2193 2196 579 0 -1 4202496 920919 0 0 0 171834 368 0 0 20 0 4 0 23234285 4088991744 940118 33554432000 4194304 16246674 140733819979632 140733819978808 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2196/statm: 998289 940118 899 2943 0 995183 0
[pid=2196/tid=2197] ppid=2193 vsize=3993156 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2197/stat : 2197 (toysat) S 2193 2196 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23234285 4088991744 940118 33554432000 4194304 16246674 140733819979632 140321136553200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2196/tid=2198] ppid=2193 vsize=3993156 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2198/stat : 2198 (toysat) S 2193 2196 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23234285 4088991744 940118 33554432000 4194304 16246674 140733819979632 140321126063344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2196/tid=2199] ppid=2193 vsize=3993156 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2199/stat : 2199 (toysat) S 2193 2196 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23234285 4088991744 940118 33554432000 4194304 16246674 140733819979632 140321010740400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 3993156

[startup+1782.3 s]
/proc/loadavg: 2.31 2.32 2.26 3/184 2293
/proc/meminfo: memFree=25195908/32872528 swapFree=17888/1798212
[pid=2196] ppid=2193 vsize=4068932 CPUtime=1782.01 cores=0,2,4,6
/proc/2196/stat : 2196 (toysat) R 2193 2196 579 0 -1 4202496 939910 0 0 0 177828 373 0 0 20 0 4 0 23234285 4166586368 959101 33554432000 4194304 16246674 140733819979632 140733819961536 5824318 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2196/statm: 1017233 959101 899 2943 0 1014127 0
[pid=2196/tid=2197] ppid=2193 vsize=4068932 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2197/stat : 2197 (toysat) S 2193 2196 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23234285 4166586368 959101 33554432000 4194304 16246674 140733819979632 140321136553200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2196/tid=2198] ppid=2193 vsize=4068932 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2198/stat : 2198 (toysat) S 2193 2196 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23234285 4166586368 959101 33554432000 4194304 16246674 140733819979632 140321126063344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2196/tid=2199] ppid=2193 vsize=4068932 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2199/stat : 2199 (toysat) S 2193 2196 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23234285 4166586368 959101 33554432000 4194304 16246674 140733819979632 140321010740400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 4068932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.35 2.33 2.26 3/184 2294
/proc/meminfo: memFree=25194876/32872528 swapFree=17888/1798212
[pid=2196] ppid=2193 vsize=4068932 CPUtime=1800.01 cores=0,2,4,6
/proc/2196/stat : 2196 (toysat) R 2193 2196 579 0 -1 4202496 939911 0 0 0 179627 374 0 0 20 0 4 0 23234285 4166586368 959101 33554432000 4194304 16246674 140733819979632 140733819978808 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2196/statm: 1017233 959101 899 2943 0 1014127 0
[pid=2196/tid=2197] ppid=2193 vsize=4068932 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2197/stat : 2197 (toysat) S 2193 2196 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23234285 4166586368 959101 33554432000 4194304 16246674 140733819979632 140321136553200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2196/tid=2198] ppid=2193 vsize=4068932 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2198/stat : 2198 (toysat) S 2193 2196 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23234285 4166586368 959101 33554432000 4194304 16246674 140733819979632 140321126063344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2196/tid=2199] ppid=2193 vsize=4068932 CPUtime=0 cores=0,2,4,6
/proc/2196/task/2199/stat : 2199 (toysat) S 2193 2196 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23234285 4166586368 959101 33554432000 4194304 16246674 140733819979632 140321010740400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 4068932

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

[startup+1800.4 s]
/proc/loadavg: 2.35 2.33 2.26 3/184 2294
/proc/meminfo: memFree=25194876/32872528 swapFree=17888/1798212
[pid=2196] ppid=2193 vsize=0 CPUtime=1800.11 cores=0,2,4,6
/proc/2196/stat : 2196 (toysat) Z 2193 2196 579 0 -1 4203532 939911 0 0 0 179627 384 0 0 20 0 2 0 23234285 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2196/statm: 0 0 0 0 0 0 0
[pid=2196/tid=2198] ppid=2193 vsize=0 CPUtime=0.09 cores=0,2,4,6
/proc/2196/task/2198/stat : 2198 (toysat) R 2193 2196 579 0 -1 4203588 9 0 0 0 0 9 0 0 20 0 2 0 23234285 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.49
CPU time (s): 1800.2
CPU user time (s): 1796.28
CPU system time (s): 3.9254
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 4068932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.28
system time used= 3.9254
maximum resident set size= 3836404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 939911
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= 120
involuntary context switches= 2715

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.91225 second user time and 6.584 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-18 03:04:32
IDJOB=4100257
IDBENCH=1594
IDSOLVER=2542
FILE ID=node123/4100257-1466211871
RUNJOBID= node123-1466206081-595
PBS_JOBID= 19918154
Free space on /tmp= 71572 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-dano3_5.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100257-1466211871/watcher-4100257-1466211871 -o /tmp/evaluation-result-4100257-1466211871/solver-4100257-1466211871 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466206081-595 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100257-1466211871.opb

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

MD5SUM BENCH= f6a27dde9dccc9cbc26fd12ecc1b234d
RANDOM SEED=1829678056

node123.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.791
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.58
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.791
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.791
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.791
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.57
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.791
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.56
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.791
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.56
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.791
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.791
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:        26967176 kB
Buffers:           46064 kB
Cached:           207432 kB
SwapCached:         1640 kB
Active:          3270404 kB
Inactive:         122468 kB
Active(anon):    3140444 kB
Inactive(anon):     1100 kB
Active(file):     129960 kB
Inactive(file):   121368 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099272 kB
Dirty:             41296 kB
Writeback:             0 kB
AnonPages:       4936828 kB
Mapped:            10796 kB
Shmem:                 0 kB
Slab:             574100 kB
SReclaimable:      18092 kB
SUnreclaim:       556008 kB
KernelStack:        1472 kB
PageTables:        13788 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5082740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1857536 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= 71576 MiB
End job on node123 at 2016-06-18 03:34:32