Trace number 4108365

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.1 1800.61

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12053_3.std.opb
MD5SUMc9d9e9de965e10444f6e461e8225e8d3
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark117
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints256348
Number of constraints which are clauses255148
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint92
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
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-19T01:05:07+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-4108365-1466291106.opb"]
0.00/0.01	c use --random-gen="2061766905 642235294 2077564177 3925998424 4036059136 1897441348 4012691213 77136850 3524210522 2111498283 143463832 3100507458 2957699245 1671591537 1854472002 1769949828 1696049547 1667895689 4278249381 1799223302 2123958508 2987617364 3353828174 4085795753 3257005938 3454373666 1783498552 39136540 274170623 859824850 4198516563 2556685335 3697200718 2390878727 1802210542 1021991913 3388992798 3676560970 424339708 465641489 1067231735 3556521554 439490873 1074122779 2846346475 3907949832 2890766586 2949096700 1235750630 265036886 4270883547 201271240 2791881828 268797754 139071227 1717701683 2892161500 1729242413 3603425069 1303898208 745102365 3550458444 2419370473 3015121054 2835612331 1111439455 1954881044 6516199 3547491509 2594670897 3729816470 3855858593 1656277293 1025096343 3658669332 557472594 1715551430 1458443841 1225668474 2253790457 1534027326 4198323857 2174389674 2282045033 2186282519 3600561961 3630452722 3358632709 2502085895 452637650 851915737 1075357148 297449979 1863245742 2255621978 3390783869 2364336940 854389606 840354400 1010021008 709575968 2996715163 2252995957 3938692525 1676488680 1923726279 3635907522 3924099286 3542925653 2753470017 2088729895 3324972545 3989883863 3801455992 4098560660 2996655894 3656254949 2365034510 534082917 1091151678 2600524313 1090213393 1389802513 142149640 6584777 884647668 392437504 2734786923 3799371433 476113183 2642693109 113627021 4236164809 4192890689 2926299730 2399421079 2817189343 850505260 3991891689 1602636721 2397332921 3939785091 3154574516 2742739716 3764873439 1553457189 3483514741 2628357379 1548790943 1370760814 1406815401 2641970602 3196252195 1309236252 3171987896 691163454 2988353435 2252398213 3441221139 3618082582 3224102966 331077340 2440436839 2939633654 2454581191 120328811 2919691837 1020616548 1470199847 2766994390 2279436397 2301907140 207640648 2907648408 385459680 2058999740 3078504252 109546348 3992186638 1481181869 1990492410 641819171 2464455183 4004667564 2819174192 1607014001 1401292341 1825613031 982916313 296453195 1091962222 894697514 1658350487 3059990371 2932818609 122688319 1586441960 1419340581 3257088038 721411233 469427364 4279315230 2281704022 2848078678 2223497474 572740755 3321753284 1842740824 1946561798 4099494940 594778528 4192532736 2882191205 1336678274 3234440541 2666292285 3071454521 99758699 581415138 174623602 2617582251 1795539963 722984339 2526271034 4011945773 900243825 72134805 3848201409 2442737051 677462389 3114477102 1298393247 3156212604 758276126 1340271439 1499094086 1164652381 221072493 2439300416 2622390474 278796412 4021929327 1898960678 1881410630 2996243147 2137565073 919381004 67195641 1946001004 232132528 1003227513 3101871646 2170288661 2181771825 727913372 4243677295 255 362436" option to reproduce the execution
1.39/1.46	c #vars 72842
1.39/1.46	c #constraints 256348
4.40/4.50	c BCD2: Hardening is enabled.
4.40/4.50	c BCD2: BiasedSearch is enabled.
4.40/4.50	c Solving starts ...
4.40/4.50	c ============================[ Search Statistics ]============================
4.40/4.50	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.40/4.50	c       |         |          |          |    Limit     GC | Var      | Constra 
4.40/4.50	c =============================================================================
4.69/4.72	c  0.0s |       0 |        0 |        0 |    92364      0 |    19997 |        0
4.89/4.98	c  0.3s |       0 |      121 |        0 |    92364      0 |    19997 |    27672
4.89/4.98	c #cpu_time = 0.227s
4.89/4.98	c #wall_clock_time = 0.227s
4.89/4.98	c #decision = 121
4.89/4.98	c #random_decision = 0
4.89/4.98	c #conflict = 0
4.89/4.98	c #restart = 0
4.89/4.98	o 300
4.89/4.98	c BCD2: hardening fixes 1 literals
4.89/4.98	c BCD2: updating upper bound: 45150 -> 299
4.89/4.98	c BCD2: 0 <= obj <= 299
4.89/4.98	c BCD2: #cores=0, #unrelaxed=299, #relaxed=0, #hardened=1
4.89/4.98	c BCD2: #sat=1 #unsat=1 bias=1/2
4.89/4.98	c Solving starts ...
4.89/4.98	c ============================[ Search Statistics ]============================
4.89/4.98	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.89/4.98	c       |         |          |          |    Limit     GC | Var      | Constra 
4.89/4.98	c =============================================================================
4.89/4.98	c  0.0s |       0 |        0 |        0 |    92364      0 |    20239 |    27672
5.09/5.18	c  0.2s |       0 |      196 |        0 |    92364      0 |    20239 |    28531
5.09/5.18	c #cpu_time = 0.184s
5.09/5.18	c #wall_clock_time = 0.185s
5.09/5.18	c #decision = 196
5.09/5.18	c #random_decision = 0
5.09/5.18	c #conflict = 0
5.09/5.18	c #restart = 0
5.09/5.18	c BCD2: found a new core of size 197: cost of the new core is >=103
5.09/5.18	c lower bound updated to 103
5.09/5.18	c BCD2: 103 <= obj <= 299
5.09/5.18	c BCD2: #cores=1, #unrelaxed=102, #relaxed=197, #hardened=1
5.09/5.18	c BCD2: #sat=1 #unsat=2 bias=2/3
6.49/6.59	c Solving starts ...
6.49/6.59	c ============================[ Search Statistics ]============================
6.49/6.59	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
6.49/6.59	c       |         |          |          |    Limit     GC | Var      | Constra 
6.49/6.59	c =============================================================================
6.49/6.59	c  0.0s |       0 |        0 |        0 |    92364      0 |    20239 |    28531
6.89/6.95	c  0.4s |       1 |      200 |      100 |    92364      0 |    20239 |    28531
7.29/7.39	c  0.8s |       2 |      398 |      250 |   101601      0 |    20239 |    28531
7.80/7.89	c  1.3s |       3 |      753 |      475 |   111762      0 |    20239 |    28531
8.59/8.62	c  2.0s |       4 |     1261 |      813 |   122939      0 |    20239 |    28531
9.59/9.69	c  3.1s |       5 |     1926 |     1320 |   135233      0 |    20239 |    28531
11.19/11.23	c  4.6s |       6 |     2918 |     2081 |   163633      0 |    20239 |    28531
13.20/13.28	c  6.7s |       7 |     4412 |     3223 |   179997      0 |    20239 |    28531
15.19/15.28	c  8.7s |       7 |     5532 |     4123 |   179997      0 |    20239 |    28531
16.89/16.93	c 10.3s |       8 |     6534 |     4936 |   197997      0 |    20239 |    28531
18.99/19.00	c 12.4s |       8 |     7643 |     5836 |   197997      0 |    20239 |    28531
21.09/21.14	c 14.5s |       8 |     8879 |     6836 |   197997      0 |    20239 |    28531
22.59/22.61	c 16.0s |       9 |     9677 |     7506 |   217797      0 |    20239 |    28531
24.59/24.61	c 18.0s |       9 |    10546 |     8206 |   217797      0 |    20239 |    28531
26.59/26.68	c 20.1s |       9 |    11498 |     9006 |   217797      0 |    20239 |    28531
28.70/28.72	c 22.1s |       9 |    12870 |    10006 |   217797      0 |    20239 |    28531
30.69/30.76	c 24.2s |       9 |    14153 |    11006 |   217797      0 |    20239 |    28531
31.59/31.62	c 25.0s |      10 |    14612 |    11361 |   239577      0 |    20239 |    28531
33.10/33.19	c 26.6s |      10 |    15125 |    11766 |   239577      0 |    20240 |    28532
33.10/33.19	c #cpu_time = 26.525s
33.10/33.19	c #wall_clock_time = 26.593s
33.10/33.19	c #decision = 15125
33.10/33.19	c #random_decision = 4
33.10/33.19	c #conflict = 11766
33.10/33.19	c #restart = 10
33.10/33.19	c BCD2: updating lower bound of a core
33.10/33.19	c lower bound updated to 104
33.10/33.19	c BCD2: 104 <= obj <= 299
33.10/33.19	c BCD2: #cores=1, #unrelaxed=102, #relaxed=197, #hardened=1
33.10/33.19	c BCD2: #sat=1 #unsat=3 bias=3/4
34.39/34.43	c Solving starts ...
34.39/34.43	c ============================[ Search Statistics ]============================
34.39/34.43	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
34.39/34.43	c       |         |          |          |    Limit     GC | Var      | Constra 
34.39/34.43	c =============================================================================
34.39/34.43	c  0.0s |       0 |        0 |        0 |   239577      0 |    20240 |    28532
34.89/34.96	c  0.5s |       1 |      168 |      100 |   239577      0 |    20240 |    28532
35.59/35.62	c  1.2s |       2 |      378 |      250 |   239577      0 |    20240 |    28532
36.69/36.72	c  2.3s |       3 |      699 |      475 |   239577      0 |    20240 |    28532
37.69/37.72	c  3.3s |       4 |     1166 |      813 |   239577      0 |    20240 |    28532
38.99/39.08	c  4.6s |       5 |     1850 |     1320 |   239577      0 |    20240 |    28532
40.99/41.04	c  6.6s |       6 |     2896 |     2081 |   239577      0 |    20240 |    28532
42.99/43.05	c  8.6s |       6 |     3840 |     2781 |   239577      0 |    20240 |    28532
44.19/44.21	c  9.8s |       7 |     4440 |     3223 |   239577      0 |    20240 |    28532
46.19/46.27	c 11.8s |       7 |     5367 |     3923 |   239577      0 |    20240 |    28532
48.39/48.44	c 14.0s |       7 |     6589 |     4823 |   239577      0 |    20240 |    28532
48.69/48.74	c 14.3s |       8 |     6758 |     4936 |   239577      0 |    20240 |    28532
50.69/50.77	c 16.3s |       8 |     7512 |     5536 |   263535      0 |    20240 |    28532
52.79/52.86	c 18.4s |       8 |     8529 |     6336 |   263535      0 |    20240 |    28532
54.78/54.88	c 20.4s |       8 |     9605 |     7136 |   263535      0 |    20240 |    28532
55.68/55.74	c 21.3s |       9 |    10176 |     7506 |   263535      0 |    20240 |    28532
57.98/58.04	c 23.6s |       9 |    11079 |     8206 |   263535      0 |    20240 |    28532
60.18/60.22	c 25.8s |       9 |    11984 |     8906 |   263535      0 |    20240 |    28532
62.18/62.26	c 27.8s |       9 |    12703 |     9506 |   263535      0 |    20240 |    28532
64.38/64.40	c 30.0s |       9 |    13604 |    10206 |   263535      0 |    20240 |    28532
66.38/66.47	c 32.0s |       9 |    14726 |    11006 |   263535      0 |    20240 |    28532
67.28/67.39	c 33.0s |      10 |    15188 |    11361 |   263535      0 |    20240 |    28532
69.58/69.66	c 35.2s |      10 |    16303 |    12161 |   263535      0 |    20240 |    28532
71.88/71.91	c 37.5s |      10 |    17501 |    12961 |   263535      0 |    20240 |    28532
74.08/74.10	c 39.7s |      10 |    18447 |    13661 |   263535      0 |    20240 |    28532
76.28/76.35	c 41.9s |      10 |    19309 |    14361 |   289889      0 |    20240 |    28532
78.28/78.36	c 43.9s |      10 |    20281 |    15061 |   289889      0 |    20240 |    28532
80.48/80.55	c 46.1s |      10 |    21228 |    15761 |   289889      0 |    20240 |    28532
82.58/82.68	c 48.2s |      10 |    22185 |    16461 |   289889      0 |    20240 |    28532
84.58/84.70	c 50.3s |      11 |    23135 |    17144 |   289889      0 |    20240 |    28532
86.67/86.74	c 52.3s |      11 |    24028 |    17744 |   289889      0 |    20240 |    28532
88.67/88.76	c 54.3s |      11 |    24810 |    18344 |   289889      0 |    20240 |    28532
90.97/91.03	c 56.6s |      11 |    25681 |    19044 |   289889      0 |    20240 |    28532
92.97/93.06	c 58.6s |      11 |    26642 |    19744 |   289889      0 |    20240 |    28532
94.97/95.08	c 60.6s |      11 |    27444 |    20344 |   289889      0 |    20240 |    28532
97.27/97.33	c 62.9s |      11 |    28383 |    21044 |   289889      0 |    20240 |    28532
99.37/99.43	c 65.0s |      11 |    29155 |    21644 |   289889      0 |    20240 |    28532
101.47/101.59	c 67.2s |      11 |    30117 |    22344 |   289889      0 |    20240 |    28532
103.67/103.76	c 69.3s |      11 |    31022 |    23044 |   289889      0 |    20240 |    28532
105.97/106.01	c 71.6s |      11 |    31930 |    23744 |   289889      0 |    20240 |    28532
108.07/108.18	c 73.7s |      11 |    32855 |    24444 |   289889      0 |    20240 |    28532
110.47/110.50	c 76.1s |      11 |    33838 |    25144 |   289889      0 |    20240 |    28532
112.67/112.71	c 78.3s |      11 |    34657 |    25744 |   289889      0 |    20240 |    28532
112.97/113.03	c 78.6s |      12 |    34737 |    25819 |   289889      0 |    20240 |    28532
115.27/115.38	c 80.9s |      12 |    35408 |    26319 |   289889      0 |    20240 |    28532
117.37/117.46	c 83.0s |      12 |    36020 |    26819 |   318878      0 |    20240 |    28532
119.37/119.48	c 85.0s |      12 |    36770 |    27419 |   318878      0 |    20240 |    28532
121.57/121.61	c 87.2s |      12 |    37703 |    28119 |   318878      0 |    20240 |    28532
123.77/123.81	c 89.4s |      12 |    38607 |    28819 |   318878      0 |    20240 |    28532
125.86/125.97	c 91.5s |      12 |    39374 |    29419 |   318878      0 |    20240 |    28532
127.96/128.01	c 93.6s |      12 |    40166 |    30019 |   318878      0 |    20240 |    28532
129.96/130.03	c 95.6s |      12 |    40972 |    30619 |   318878      0 |    20240 |    28532
132.16/132.26	c 97.8s |      12 |    41765 |    31219 |   318878      0 |    20240 |    28532
134.17/134.30	c 99.9s |      12 |    42609 |    31819 |   318878      0 |    20240 |    28532
136.26/136.34	c  101s |      12 |    43243 |    32319 |   318878      0 |    20240 |    28532
138.57/138.67	c  104s |      12 |    43979 |    32919 |   318878      0 |    20240 |    28532
140.66/140.78	c  106s |      12 |    44582 |    33419 |   318878      0 |    20240 |    28532
142.66/142.79	c  108s |      12 |    45241 |    33919 |   318878      0 |    20240 |    28532
144.76/144.81	c  110s |      12 |    45883 |    34419 |   318878      0 |    20240 |    28532
147.06/147.19	c  112s |      12 |    46590 |    34919 |   318878      0 |    20240 |    28532
149.16/149.29	c  114s |      12 |    47285 |    35419 |   318878      0 |    20240 |    28532
151.56/151.68	c  117s |      12 |    47908 |    35919 |   318878      0 |    20240 |    28532
153.65/153.77	c  119s |      12 |    48599 |    36419 |   318878      0 |    20240 |    28532
155.85/155.97	c  121s |      12 |    49379 |    37019 |   318878      0 |    20240 |    28532
157.85/157.99	c  123s |      12 |    49985 |    37519 |   318878      0 |    20240 |    28532
160.05/160.12	c  125s |      12 |    50659 |    38019 |   318878      0 |    20240 |    28532
162.05/162.18	c  127s |      12 |    51286 |    38519 |   318878      0 |    20240 |    28532
163.35/163.46	c  129s |      13 |    51690 |    38832 |   318878      0 |    20240 |    28532
165.55/165.66	c  131s |      13 |    52251 |    39232 |   318878      0 |    20240 |    28532
167.65/167.70	c  133s |      13 |    52780 |    39632 |   318878      0 |    20240 |    28532
169.65/169.72	c  135s |      13 |    53453 |    40132 |   318878      0 |    20240 |    28532
171.65/171.77	c  137s |      13 |    53932 |    40532 |   318878      0 |    20240 |    28532
173.94/174.06	c  139s |      13 |    54538 |    41032 |   318878      0 |    20240 |    28532
176.34/176.42	c  141s |      13 |    55287 |    41632 |   318878      0 |    20240 |    28532
178.84/178.92	c  144s |      13 |    55930 |    42132 |   318878      0 |    20240 |    28532
181.14/181.20	c  146s |      13 |    56572 |    42632 |   318878      0 |    20240 |    28532
183.44/183.50	c  149s |      13 |    57219 |    43132 |   318878      0 |    20240 |    28532
185.85/185.94	c  151s |      13 |    57864 |    43632 |   318878      0 |    20240 |    28532
187.84/187.97	c  153s |      13 |    58350 |    44032 |   318878      0 |    20240 |    28532
190.14/190.26	c  155s |      13 |    59060 |    44532 |   318878      0 |    20240 |    28532
192.45/192.59	c  158s |      13 |    59691 |    45032 |   318878      0 |    20240 |    28532
194.64/194.75	c  160s |      13 |    60358 |    45532 |   318878      0 |    20240 |    28532
196.94/197.05	c  162s |      13 |    61010 |    46032 |   318878      0 |    20240 |    28532
199.04/199.13	c  164s |      13 |    61651 |    46532 |   350766      0 |    20240 |    28532
201.13/201.24	c  166s |      13 |    62306 |    47032 |   350766      0 |    20240 |    28532
203.23/203.33	c  168s |      13 |    63023 |    47532 |   350766      0 |    20240 |    28532
205.53/205.61	c  171s |      13 |    63665 |    48032 |   350766      0 |    20240 |    28532
207.83/207.98	c  173s |      13 |    64334 |    48532 |   350766      0 |    20240 |    28532
209.83/209.99	c  175s |      13 |    64792 |    48932 |   350766      0 |    20240 |    28532
212.12/212.20	c  177s |      13 |    65256 |    49332 |   350766      0 |    20240 |    28532
214.12/214.29	c  179s |      13 |    65769 |    49732 |   350766      0 |    20240 |    28532
216.32/216.41	c  181s |      13 |    66287 |    50132 |   350766      0 |    20240 |    28532
218.32/218.47	c  184s |      13 |    66798 |    50532 |   350766      0 |    20240 |    28532
220.52/220.69	c  186s |      13 |    67273 |    50932 |   350766      0 |    20240 |    28532
222.72/222.86	c  188s |      13 |    67765 |    51332 |   350766      0 |    20240 |    28532
224.82/224.93	c  190s |      13 |    68296 |    51732 |   350766      0 |    20240 |    28532
227.22/227.34	c  192s |      13 |    68978 |    52232 |   350766      0 |    20240 |    28532
229.22/229.36	c  194s |      13 |    69522 |    52632 |   350766      0 |    20240 |    28532
231.22/231.38	c  196s |      13 |    70088 |    53032 |   350766      0 |    20240 |    28532
233.32/233.43	c  198s |      13 |    70731 |    53532 |   350766      0 |    20240 |    28532
235.33/235.45	c  201s |      13 |    71374 |    54032 |   350766      0 |    20240 |    28532
237.32/237.48	c  203s |      13 |    71892 |    54432 |   350766      0 |    20240 |    28532
239.42/239.50	c  205s |      13 |    72439 |    54832 |   350766      0 |    20240 |    28532
241.62/241.76	c  207s |      13 |    72920 |    55232 |   350766      0 |    20240 |    28532
243.71/243.89	c  209s |      13 |    73392 |    55632 |   350766      0 |    20240 |    28532
246.01/246.19	c  211s |      13 |    73860 |    56032 |   350766      0 |    20240 |    28532
248.41/248.50	c  214s |      13 |    74364 |    56432 |   350766      0 |    20240 |    28532
250.61/250.77	c  216s |      13 |    74854 |    56832 |   350766      0 |    20240 |    28532
253.11/253.21	c  218s |      13 |    75381 |    57232 |   350766      0 |    20240 |    28532
255.41/255.52	c  221s |      13 |    75854 |    57632 |   350766      0 |    20240 |    28532
257.91/258.09	c  223s |      13 |    76348 |    58032 |   350766      0 |    20240 |    28532
259.81/259.95	c  225s |      14 |    76749 |    58352 |   350766      0 |    20240 |    28532
262.21/262.32	c  227s |      14 |    77140 |    58652 |   350766      0 |    20240 |    28532
264.30/264.49	c  230s |      14 |    77650 |    59052 |   350766      0 |    20240 |    28532
266.70/266.87	c  232s |      14 |    78256 |    59552 |   350766      0 |    20240 |    28532
269.20/269.32	c  234s |      14 |    78891 |    60052 |   350766      0 |    20240 |    28532
271.20/271.36	c  236s |      14 |    79384 |    60452 |   350766      0 |    20240 |    28532
273.20/273.38	c  238s |      14 |    79910 |    60852 |   350766      0 |    20240 |    28532
275.60/275.74	c  241s |      14 |    80425 |    61252 |   350766      0 |    20240 |    28532
277.60/277.79	c  243s |      14 |    80926 |    61652 |   350766      0 |    20240 |    28532
280.10/280.23	c  245s |      14 |    81425 |    62052 |   350766      0 |    20240 |    28532
282.30/282.40	c  247s |      14 |    81958 |    62452 |   350766      0 |    20240 |    28532
284.39/284.50	c  250s |      14 |    82500 |    62852 |   350766      0 |    20240 |    28532
286.69/286.87	c  252s |      14 |    82993 |    63252 |   350766      0 |    20240 |    28532
289.30/289.41	c  254s |      14 |    83492 |    63652 |   350766      0 |    20240 |    28532
291.69/291.83	c  257s |      14 |    84122 |    64152 |   350766      0 |    20240 |    28532
293.70/293.84	c  259s |      14 |    84633 |    64552 |   350766      0 |    20240 |    28532
295.99/296.18	c  261s |      14 |    85261 |    65052 |   350766      0 |    20240 |    28532
298.39/298.51	c  264s |      14 |    85919 |    65552 |   350766      0 |    20240 |    28532
300.69/300.87	c  266s |      14 |    86441 |    65952 |   350766      0 |    20240 |    28532
303.49/303.62	c  269s |      14 |    86932 |    66352 |   350766      0 |    20240 |    28532
305.49/305.64	c  271s |      14 |    87335 |    66652 |   350766      0 |    20240 |    28532
307.59/307.70	c  273s |      14 |    87702 |    66952 |   350766      0 |    20240 |    28532
309.68/309.89	c  275s |      14 |    88054 |    67252 |   350766      0 |    20240 |    28532
312.39/312.51	c  278s |      14 |    88513 |    67652 |   350766      0 |    20240 |    28532
314.88/315.05	c  280s |      14 |    89014 |    68052 |   350766      0 |    20240 |    28532
317.38/317.54	c  283s |      14 |    89506 |    68452 |   350766      0 |    20240 |    28532
319.58/319.71	c  285s |      14 |    89856 |    68752 |   350766      0 |    20240 |    28532
321.98/322.14	c  287s |      14 |    90347 |    69152 |   350766      0 |    20240 |    28532
324.08/324.21	c  289s |      14 |    90704 |    69452 |   350766      0 |    20240 |    28532
326.08/326.25	c  291s |      14 |    91065 |    69752 |   350766      0 |    20240 |    28532
328.28/328.46	c  294s |      14 |    91429 |    70052 |   350766      0 |    20240 |    28532
330.28/330.48	c  296s |      14 |    91805 |    70352 |   350766      0 |    20240 |    28532
332.88/333.06	c  298s |      14 |    92306 |    70752 |   350766      0 |    20240 |    28532
335.27/335.43	c  300s |      14 |    92781 |    71152 |   350766      0 |    20240 |    28532
337.47/337.64	c  303s |      14 |    93252 |    71552 |   350766      0 |    20240 |    28532
339.67/339.89	c  305s |      14 |    93745 |    71952 |   350766      0 |    20240 |    28532
341.98/342.14	c  307s |      14 |    94088 |    72252 |   350766      0 |    20240 |    28532
344.06/344.27	c  309s |      14 |    94474 |    72552 |   350766      0 |    20240 |    28532
346.26/346.49	c  312s |      14 |    94867 |    72852 |   350766      0 |    20240 |    28532
348.36/348.57	c  314s |      14 |    95261 |    73152 |   350766      0 |    20240 |    28532
350.96/351.12	c  316s |      14 |    95736 |    73552 |   350766      0 |    20240 |    28532
353.16/353.33	c  318s |      14 |    96250 |    73952 |   350766      0 |    20240 |    28532
355.36/355.50	c  321s |      14 |    96757 |    74352 |   350766      0 |    20240 |    28532
357.66/357.89	c  323s |      14 |    97232 |    74752 |   350766      0 |    20240 |    28532
360.16/360.36	c  325s |      14 |    97737 |    75152 |   350766      0 |    20240 |    28532
362.36/362.58	c  328s |      14 |    98142 |    75452 |   385843      0 |    20240 |    28532
365.06/365.29	c  330s |      14 |    98656 |    75852 |   385843      0 |    20240 |    28532
367.36/367.53	c  333s |      14 |    99021 |    76152 |   385843      0 |    20240 |    28532
369.46/369.66	c  335s |      14 |    99407 |    76452 |   385843      0 |    20240 |    28532
371.66/371.86	c  337s |      14 |    99792 |    76752 |   385843      0 |    20240 |    28532
373.74/373.99	c  339s |      14 |   100151 |    77052 |   385843      0 |    20240 |    28532
375.84/376.07	c  341s |      14 |   100532 |    77352 |   385843      0 |    20240 |    28532
378.14/378.32	c  343s |      14 |   100910 |    77652 |   385843      0 |    20240 |    28532
380.14/380.34	c  345s |      14 |   101298 |    77952 |   385843      0 |    20240 |    28532
382.34/382.54	c  348s |      14 |   101678 |    78252 |   385843      0 |    20240 |    28532
384.54/384.75	c  350s |      14 |   102115 |    78552 |   385843      0 |    20240 |    28532
386.84/387.00	c  352s |      14 |   102588 |    78952 |   385843      0 |    20240 |    28532
389.34/389.59	c  355s |      14 |   103099 |    79352 |   385843      0 |    20240 |    28532
391.94/392.15	c  357s |      14 |   103457 |    79652 |   385843      0 |    20240 |    28532
394.23/394.47	c  360s |      14 |   103856 |    79952 |   385843      0 |    20240 |    28532
396.63/396.80	c  362s |      14 |   104232 |    80252 |   385843      0 |    20240 |    28532
398.63/398.86	c  364s |      14 |   104595 |    80552 |   385843      0 |    20240 |    28532
400.93/401.12	c  366s |      14 |   105145 |    80952 |   385843      0 |    20240 |    28532
403.03/403.25	c  368s |      14 |   105534 |    81252 |   385843      0 |    20240 |    28532
405.32/405.58	c  371s |      14 |   106104 |    81652 |   385843      0 |    20240 |    28532
407.62/407.89	c  373s |      14 |   106644 |    82052 |   385843      0 |    20240 |    28532
409.72/409.93	c  375s |      14 |   107211 |    82452 |   385843      0 |    20240 |    28532
412.02/412.28	c  377s |      14 |   107891 |    82952 |   385843      0 |    20240 |    28532
414.12/414.33	c  379s |      14 |   108383 |    83352 |   385843      0 |    20240 |    28532
416.21/416.47	c  382s |      14 |   108918 |    83752 |   385843      0 |    20240 |    28532
418.81/419.08	c  384s |      14 |   109590 |    84252 |   385843      0 |    20240 |    28532
420.91/421.12	c  386s |      14 |   110090 |    84652 |   385843      0 |    20240 |    28532
423.21/423.50	c  389s |      14 |   110719 |    85152 |   385843      0 |    20240 |    28532
425.51/425.75	c  391s |      14 |   111248 |    85552 |   385843      0 |    20240 |    28532
427.61/427.87	c  393s |      14 |   111649 |    85852 |   385843      0 |    20240 |    28532
430.30/430.51	c  396s |      14 |   112191 |    86252 |   385843      0 |    20240 |    28532
432.40/432.65	c  398s |      14 |   112580 |    86552 |   385843      0 |    20240 |    28532
435.00/435.22	c  400s |      14 |   113088 |    86952 |   385843      0 |    20240 |    28532
437.00/437.29	c  402s |      14 |   113498 |    87252 |   385843      0 |    20240 |    28532
439.10/439.33	c  404s |      15 |   113962 |    87632 |   385843      0 |    20240 |    28532
441.30/441.57	c  407s |      15 |   114244 |    87832 |   385843      0 |    20240 |    28532
443.59/443.88	c  409s |      15 |   114789 |    88232 |   385843      0 |    20240 |    28532
446.29/446.53	c  412s |      15 |   115300 |    88632 |   385843      0 |    20240 |    28532
448.49/448.73	c  414s |      15 |   115670 |    88932 |   385843      0 |    20240 |    28532
451.09/451.36	c  416s |      15 |   116170 |    89332 |   385843      0 |    20240 |    28532
453.19/453.46	c  419s |      15 |   116555 |    89632 |   385843      0 |    20240 |    28532
455.68/455.93	c  421s |      15 |   117107 |    90032 |   385843      0 |    20240 |    28532
457.78/458.05	c  423s |      15 |   117457 |    90332 |   385843      0 |    20240 |    28532
460.28/460.58	c  426s |      15 |   117931 |    90732 |   385843      0 |    20240 |    28532
462.68/462.98	c  428s |      15 |   118298 |    91032 |   385843      0 |    20240 |    28532
465.38/465.61	c  431s |      15 |   118830 |    91432 |   385843      0 |    20240 |    28532
467.38/467.62	c  433s |      15 |   119210 |    91732 |   385843      0 |    20240 |    28532
469.68/469.99	c  435s |      15 |   119719 |    92132 |   385843      0 |    20240 |    28532
471.68/471.99	c  437s |      15 |   120068 |    92432 |   385843      0 |    20240 |    28532
473.78/474.06	c  439s |      15 |   120428 |    92732 |   385843      0 |    20240 |    28532
476.18/476.42	c  441s |      15 |   120808 |    93032 |   385843      0 |    20240 |    28532
478.28/478.56	c  444s |      15 |   121193 |    93332 |   385843      0 |    20240 |    28532
480.38/480.62	c  446s |      15 |   121612 |    93632 |   385843      0 |    20240 |    28532
482.48/482.70	c  448s |      15 |   121968 |    93932 |   385843      0 |    20240 |    28532
484.77/485.01	c  450s |      15 |   122355 |    94232 |   385843      0 |    20240 |    28532
487.08/487.32	c  452s |      15 |   122713 |    94532 |   385843      0 |    20240 |    28532
489.28/489.51	c  455s |      15 |   123094 |    94832 |   385843      0 |    20240 |    28532
491.48/491.78	c  457s |      15 |   123423 |    95132 |   385843      0 |    20240 |    28532
493.87/494.10	c  459s |      15 |   123790 |    95432 |   385843      0 |    20240 |    28532
496.07/496.38	c  461s |      15 |   124147 |    95732 |   385843      0 |    20240 |    28532
498.37/498.65	c  464s |      15 |   124506 |    96032 |   385843      0 |    20240 |    28532
500.56/500.84	c  466s |      15 |   124896 |    96332 |   385843      0 |    20240 |    28532
502.76/503.09	c  468s |      15 |   125267 |    96632 |   385843      0 |    20240 |    28532
505.16/505.48	c  471s |      15 |   125639 |    96932 |   385843      0 |    20240 |    28532
507.56/507.86	c  473s |      15 |   125996 |    97232 |   385843      0 |    20240 |    28532
510.06/510.31	c  475s |      15 |   126329 |    97532 |   385843      0 |    20240 |    28532
512.36/512.63	c  478s |      15 |   126672 |    97832 |   385843      0 |    20240 |    28532
514.85/515.16	c  480s |      15 |   127065 |    98132 |   385843      0 |    20240 |    28532
517.35/517.69	c  483s |      15 |   127417 |    98432 |   385843      0 |    20240 |    28532
519.85/520.14	c  485s |      15 |   127760 |    98732 |   385843      0 |    20240 |    28532
522.05/522.39	c  487s |      15 |   128120 |    99032 |   385843      0 |    20240 |    28532
524.85/525.12	c  490s |      15 |   128462 |    99332 |   385843      0 |    20240 |    28532
527.25/527.56	c  493s |      15 |   128686 |    99532 |   385843      0 |    20240 |    28532
529.65/529.99	c  495s |      15 |   129076 |    99832 |   385843      0 |    20240 |    28532
532.45/532.74	c  498s |      15 |   129423 |   100132 |   385843      0 |    20240 |    28532
535.35/535.62	c  501s |      15 |   129788 |   100432 |   385843      0 |    20240 |    28532
538.15/538.48	c  504s |      15 |   130149 |   100732 |   385843      0 |    20240 |    28532
541.25/541.51	c  507s |      15 |   130525 |   101032 |   385843      0 |    20240 |    28532
543.54/543.81	c  509s |      15 |   130876 |   101332 |   385843      0 |    20240 |    28532
545.84/546.15	c  511s |      15 |   131245 |   101632 |   385843      0 |    20240 |    28532
548.44/548.75	c  514s |      15 |   131601 |   101932 |   385843      0 |    20240 |    28532
550.74/551.00	c  516s |      15 |   131823 |   102132 |   385843      0 |    20240 |    28532
552.74/553.03	c  518s |      15 |   132050 |   102332 |   385843      0 |    20240 |    28532
555.54/555.81	c  521s |      15 |   132407 |   102632 |   385843      0 |    20240 |    28532
558.24/558.60	c  524s |      15 |   132783 |   102932 |   385843      0 |    20240 |    28532
560.64/560.94	c  526s |      15 |   133149 |   103232 |   385843      0 |    20240 |    28532
562.94/563.25	c  528s |      15 |   133637 |   103532 |   385843      0 |    20240 |    28532
565.43/565.76	c  531s |      15 |   134036 |   103832 |   385843      0 |    20240 |    28532
567.63/567.93	c  533s |      15 |   134454 |   104132 |   385843      0 |    20240 |    28532
569.64/569.95	c  535s |      15 |   134724 |   104332 |   385843      0 |    20240 |    28532
571.63/571.99	c  537s |      15 |   134966 |   104532 |   385843      0 |    20240 |    28532
574.32/574.62	c  540s |      15 |   135336 |   104832 |   385843      0 |    20240 |    28532
576.42/576.79	c  542s |      15 |   135575 |   105032 |   385843      0 |    20240 |    28532
578.52/578.84	c  544s |      15 |   135814 |   105232 |   385843      0 |    20240 |    28532
581.12/581.47	c  547s |      15 |   136163 |   105532 |   385843      0 |    20240 |    28532
583.92/584.22	c  549s |      15 |   136537 |   105832 |   385843      0 |    20240 |    28532
586.72/587.09	c  552s |      15 |   136906 |   106132 |   385843      0 |    20240 |    28532
588.82/589.15	c  554s |      15 |   137191 |   106332 |   385843      0 |    20240 |    28532
591.62/591.97	c  557s |      15 |   137560 |   106632 |   385843      0 |    20240 |    28532
594.51/594.81	c  560s |      15 |   137962 |   106932 |   385843      0 |    20240 |    28532
597.02/597.38	c  562s |      15 |   138386 |   107232 |   385843      0 |    20240 |    28532
599.61/599.95	c  565s |      15 |   138761 |   107532 |   385843      0 |    20240 |    28532
601.81/602.15	c  567s |      15 |   139001 |   107732 |   385843      0 |    20240 |    28532
604.50/604.85	c  570s |      15 |   139417 |   108032 |   385843      0 |    20240 |    28532
607.20/607.50	c  573s |      15 |   139768 |   108332 |   385843      0 |    20240 |    28532
610.00/610.37	c  575s |      15 |   140101 |   108632 |   385843      0 |    20240 |    28532
613.00/613.35	c  578s |      15 |   140473 |   108932 |   385843      0 |    20240 |    28532
615.40/615.78	c  581s |      15 |   140868 |   109232 |   385843      0 |    20240 |    28532
618.01/618.32	c  583s |      15 |   141227 |   109532 |   385843      0 |    20240 |    28532
620.00/620.33	c  585s |      15 |   141470 |   109732 |   385843      0 |    20240 |    28532
622.00/622.34	c  587s |      15 |   141704 |   109932 |   385843      0 |    20240 |    28532
624.09/624.45	c  590s |      15 |   141930 |   110132 |   385843      0 |    20240 |    28532
626.80/627.13	c  592s |      15 |   142320 |   110432 |   385843      0 |    20240 |    28532
629.69/630.06	c  595s |      15 |   142696 |   110732 |   385843      0 |    20240 |    28532
631.79/632.14	c  597s |      15 |   142952 |   110932 |   385843      0 |    20240 |    28532
633.89/634.25	c  599s |      15 |   143199 |   111132 |   385843      0 |    20240 |    28532
636.69/637.02	c  602s |      15 |   143584 |   111432 |   385843      0 |    20240 |    28532
639.49/639.82	c  605s |      15 |   143963 |   111732 |   385843      0 |    20240 |    28532
641.49/641.88	c  607s |      15 |   144225 |   111932 |   385843      0 |    20240 |    28532
643.58/643.94	c  609s |      15 |   144466 |   112132 |   385843      0 |    20240 |    28532
645.68/646.07	c  611s |      15 |   144741 |   112332 |   385843      0 |    20240 |    28532
647.98/648.37	c  613s |      15 |   144995 |   112532 |   385843      0 |    20240 |    28532
650.08/650.48	c  616s |      15 |   145235 |   112732 |   385843      0 |    20240 |    28532
652.78/653.12	c  618s |      15 |   145665 |   113032 |   385843      0 |    20240 |    28532
655.08/655.47	c  621s |      15 |   146041 |   113332 |   385843      0 |    20240 |    28532
657.48/657.87	c  623s |      15 |   146441 |   113632 |   385843      0 |    20240 |    28532
660.38/660.74	c  626s |      15 |   146826 |   113932 |   385843      0 |    20240 |    28532
662.68/663.07	c  628s |      15 |   147209 |   114232 |   385843      0 |    20240 |    28532
664.77/665.15	c  630s |      15 |   147583 |   114532 |   385843      0 |    20240 |    28532
667.48/667.81	c  633s |      15 |   147924 |   114832 |   385843      0 |    20240 |    28532
669.87/670.26	c  635s |      15 |   148278 |   115132 |   385843      0 |    20240 |    28532
672.07/672.45	c  638s |      15 |   148558 |   115332 |   385843      0 |    20240 |    28532
674.97/675.33	c  640s |      15 |   148938 |   115632 |   385843      0 |    20240 |    28532
677.77/678.17	c  643s |      15 |   149367 |   115932 |   385843      0 |    20240 |    28532
680.47/680.85	c  646s |      15 |   149745 |   116232 |   385843      0 |    20240 |    28532
683.27/683.64	c  649s |      15 |   150141 |   116532 |   385843      0 |    20240 |    28532
685.76/686.19	c  651s |      15 |   150502 |   116832 |   385843      0 |    20240 |    28532
688.46/688.88	c  654s |      15 |   150849 |   117132 |   385843      0 |    20240 |    28532
691.16/691.54	c  657s |      15 |   151223 |   117432 |   385843      0 |    20240 |    28532
693.66/694.05	c  659s |      15 |   151595 |   117732 |   385843      0 |    20240 |    28532
696.16/696.57	c  662s |      15 |   151965 |   118032 |   385843      0 |    20240 |    28532
698.66/699.09	c  664s |      15 |   152337 |   118332 |   385843      0 |    20240 |    28532
700.56/700.92	c  666s |      15 |   152369 |   118368 |   385843      0 |    20241 |    28533
700.56/700.92	c #cpu_time = 664.540s
700.56/700.92	c #wall_clock_time = 666.487s
700.56/700.92	c #decision = 152369
700.56/700.92	c #random_decision = 46
700.56/700.92	c #conflict = 118368
700.56/700.92	c #restart = 15
700.56/700.92	c BCD2: updating lower bound of a core
700.56/700.92	c lower bound updated to 105
700.56/700.92	c BCD2: 105 <= obj <= 299
700.56/700.92	c BCD2: #cores=1, #unrelaxed=102, #relaxed=197, #hardened=1
700.56/700.92	c BCD2: #sat=1 #unsat=4 bias=4/5
702.06/702.43	c Solving starts ...
702.06/702.43	c ============================[ Search Statistics ]============================
702.06/702.43	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
702.06/702.43	c       |         |          |          |    Limit     GC | Var      | Constra 
702.06/702.43	c =============================================================================
702.06/702.43	c  0.0s |       0 |        0 |        0 |   385843      0 |    20241 |    28533
704.76/705.20	c  2.8s |       0 |      159 |      100 |   385843      0 |    20241 |    28533
704.86/705.22	c  2.8s |       1 |      159 |      100 |   385843      0 |    20241 |    28533
707.16/707.53	c  5.1s |       1 |      360 |      200 |   385843      0 |    20241 |    28533
707.46/707.87	c  5.4s |       2 |      412 |      250 |   385843      0 |    20241 |    28533
710.16/710.56	c  8.1s |       2 |      572 |      350 |   385843      0 |    20241 |    28533
711.26/711.67	c  9.2s |       3 |      740 |      475 |   385843      0 |    20241 |    28533
713.66/714.07	c 11.6s |       3 |      918 |      575 |   424428      0 |    20241 |    28533
715.66/716.08	c 13.6s |       4 |     1253 |      813 |   424428      0 |    20241 |    28533
717.96/718.38	c 15.9s |       4 |     1460 |      913 |   424428      0 |    20241 |    28533
720.16/720.53	c 18.1s |       4 |     1966 |     1213 |   424428      0 |    20241 |    28533
721.05/721.43	c 19.0s |       5 |     2117 |     1320 |   424428      0 |    20241 |    28533
723.65/724.01	c 21.6s |       5 |     2352 |     1420 |   424428      0 |    20241 |    28533
726.15/726.52	c 24.1s |       5 |     2729 |     1720 |   424428      0 |    20241 |    28533
728.45/728.85	c 26.4s |       5 |     3145 |     2020 |   424428      0 |    20241 |    28533
728.85/729.30	c 26.9s |       6 |     3231 |     2081 |   424428      0 |    20241 |    28533
731.26/731.63	c 29.2s |       6 |     3401 |     2181 |   424428      0 |    20241 |    28533
733.65/734.09	c 31.7s |       6 |     3781 |     2481 |   424428      0 |    20241 |    28533
736.35/736.78	c 34.3s |       6 |     4334 |     2881 |   424428      0 |    20241 |    28533
738.55/738.98	c 36.5s |       6 |     4740 |     3181 |   424428      0 |    20241 |    28533
738.96/739.33	c 36.9s |       7 |     4797 |     3223 |   424428      0 |    20241 |    28533
741.25/741.67	c 39.2s |       7 |     4968 |     3323 |   424428      0 |    20241 |    28533
743.55/743.97	c 41.5s |       7 |     5354 |     3623 |   424428      0 |    20241 |    28533
745.85/746.21	c 43.8s |       7 |     5769 |     3923 |   424428      0 |    20241 |    28533
748.25/748.68	c 46.2s |       7 |     6136 |     4223 |   424428      0 |    20241 |    28533
750.55/750.98	c 48.5s |       7 |     6546 |     4523 |   424428      0 |    20241 |    28533
752.65/753.09	c 50.7s |       7 |     6933 |     4823 |   424428      0 |    20241 |    28533
753.55/753.93	c 51.5s |       8 |     7071 |     4936 |   424428      0 |    20241 |    28533
755.85/756.21	c 53.8s |       8 |     7212 |     5036 |   424428      0 |    20241 |    28533
757.85/758.22	c 55.8s |       8 |     7609 |     5336 |   424428      0 |    20241 |    28533
759.86/760.24	c 57.8s |       8 |     8020 |     5636 |   424428      0 |    20241 |    28533
762.25/762.69	c 60.3s |       8 |     8666 |     6136 |   424428      0 |    20241 |    28533
764.25/764.70	c 62.3s |       8 |     9052 |     6436 |   424428      0 |    20241 |    28533
766.75/767.12	c 64.7s |       8 |     9500 |     6736 |   424428      0 |    20241 |    28533
769.55/769.98	c 67.5s |       8 |     9944 |     7036 |   424428      0 |    20241 |    28533
772.44/772.82	c 70.4s |       8 |    10352 |     7336 |   424428      0 |    20241 |    28533
774.15/774.51	c 72.1s |       9 |    10557 |     7506 |   424428      0 |    20241 |    28533
776.54/776.94	c 74.5s |       9 |    10742 |     7606 |   424428      0 |    20241 |    28533
778.94/779.39	c 77.0s |       9 |    11147 |     7906 |   424428      0 |    20241 |    28533
781.54/781.90	c 79.5s |       9 |    11606 |     8306 |   424428      0 |    20241 |    28533
783.95/784.31	c 81.9s |       9 |    12121 |     8706 |   424428      0 |    20241 |    28533
786.15/786.58	c 84.1s |       9 |    12667 |     9106 |   424428      0 |    20241 |    28533
788.54/788.94	c 86.5s |       9 |    13167 |     9506 |   424428      0 |    20241 |    28533
790.65/791.07	c 88.6s |       9 |    13746 |     9906 |   424428      0 |    20241 |    28533
793.14/793.58	c 91.1s |       9 |    14286 |    10306 |   424428      0 |    20241 |    28533
795.44/795.83	c 93.4s |       9 |    14818 |    10706 |   424428      0 |    20241 |    28533
797.64/798.03	c 95.6s |       9 |    15339 |    11106 |   424428      0 |    20241 |    28533
798.94/799.39	c 97.0s |      10 |    15678 |    11361 |   424428      0 |    20241 |    28533
801.34/801.70	c 99.3s |      10 |    15863 |    11461 |   424428      0 |    20241 |    28533
803.94/804.35	c  101s |      10 |    16253 |    11761 |   424428      0 |    20241 |    28533
806.64/807.03	c  104s |      10 |    16606 |    12061 |   424428      0 |    20241 |    28533
808.74/809.17	c  106s |      10 |    16961 |    12361 |   424428      0 |    20241 |    28533
810.94/811.39	c  108s |      10 |    17330 |    12661 |   424428      0 |    20241 |    28533
813.44/813.89	c  111s |      10 |    17699 |    12961 |   424428      0 |    20241 |    28533
815.54/815.91	c  113s |      10 |    18069 |    13261 |   424428      0 |    20241 |    28533
817.54/817.92	c  115s |      10 |    18414 |    13561 |   424428      0 |    20241 |    28533
820.04/820.41	c  117s |      10 |    18761 |    13861 |   424428      0 |    20241 |    28533
822.34/822.72	c  120s |      10 |    19164 |    14161 |   424428      0 |    20241 |    28533
825.04/825.43	c  122s |      10 |    19634 |    14561 |   424428      0 |    20241 |    28533
827.64/828.07	c  125s |      10 |    20157 |    14961 |   424428      0 |    20241 |    28533
829.74/830.18	c  127s |      10 |    20529 |    15261 |   424428      0 |    20241 |    28533
832.04/832.49	c  130s |      10 |    20920 |    15561 |   424428      0 |    20241 |    28533
834.74/835.13	c  132s |      10 |    21264 |    15861 |   424428      0 |    20241 |    28533
837.03/837.43	c  134s |      10 |    21633 |    16161 |   424428      0 |    20241 |    28533
839.04/839.46	c  137s |      10 |    22012 |    16461 |   424428      0 |    20241 |    28533
841.33/841.71	c  139s |      10 |    22392 |    16761 |   424428      0 |    20241 |    28533
843.44/843.81	c  141s |      10 |    22784 |    17061 |   424428      0 |    20241 |    28533
844.13/844.59	c  142s |      11 |    22882 |    17144 |   424428      0 |    20241 |    28533
846.93/847.36	c  144s |      11 |    23068 |    17244 |   424428      0 |    20241 |    28533
849.43/849.84	c  147s |      11 |    23476 |    17544 |   424428      0 |    20241 |    28533
851.73/852.14	c  149s |      11 |    23867 |    17844 |   424428      0 |    20241 |    28533
854.13/854.59	c  152s |      11 |    24267 |    18144 |   424428      0 |    20241 |    28533
856.73/857.12	c  154s |      11 |    24730 |    18444 |   424428      0 |    20241 |    28533
859.33/859.77	c  157s |      11 |    25179 |    18744 |   424428      0 |    20241 |    28533
862.23/862.63	c  160s |      11 |    25560 |    19044 |   424428      0 |    20241 |    28533
864.73/865.12	c  162s |      11 |    25979 |    19344 |   424428      0 |    20241 |    28533
867.23/867.64	c  165s |      11 |    26376 |    19644 |   424428      0 |    20241 |    28533
869.74/870.11	c  167s |      11 |    26740 |    19944 |   424428      0 |    20241 |    28533
872.23/872.67	c  170s |      11 |    27196 |    20244 |   424428      0 |    20241 |    28533
874.63/875.09	c  172s |      11 |    27629 |    20544 |   424428      0 |    20241 |    28533
876.83/877.27	c  174s |      11 |    28016 |    20844 |   424428      0 |    20241 |    28533
879.33/879.78	c  177s |      11 |    28392 |    21144 |   424428      0 |    20241 |    28533
881.43/881.80	c  179s |      11 |    28651 |    21344 |   424428      0 |    20241 |    28533
884.03/884.50	c  182s |      11 |    29067 |    21644 |   424428      0 |    20241 |    28533
886.13/886.55	c  184s |      11 |    29343 |    21844 |   424428      0 |    20241 |    28533
888.53/888.98	c  186s |      11 |    29775 |    22144 |   424428      0 |    20241 |    28533
890.83/891.25	c  188s |      11 |    30246 |    22444 |   424428      0 |    20241 |    28533
893.33/893.74	c  191s |      11 |    30638 |    22744 |   424428      0 |    20241 |    28533
895.73/896.16	c  193s |      11 |    31077 |    23044 |   424428      0 |    20241 |    28533
898.53/898.98	c  196s |      11 |    31505 |    23344 |   424428      0 |    20241 |    28533
901.23/901.67	c  199s |      11 |    31942 |    23644 |   424428      0 |    20241 |    28533
904.02/904.44	c  202s |      11 |    32312 |    23944 |   424428      0 |    20241 |    28533
906.72/907.19	c  204s |      11 |    32699 |    24244 |   424428      0 |    20241 |    28533
909.72/910.18	c  207s |      11 |    33057 |    24544 |   424428      0 |    20241 |    28533
912.63/913.07	c  210s |      11 |    33408 |    24844 |   424428      0 |    20241 |    28533
915.42/915.82	c  213s |      11 |    33786 |    25144 |   424428      0 |    20241 |    28533
918.13/918.57	c  216s |      11 |    34165 |    25444 |   424428      0 |    20241 |    28533
920.72/921.17	c  218s |      11 |    34586 |    25744 |   424428      0 |    20241 |    28533
921.43/921.85	c  219s |      12 |    34674 |    25819 |   424428      0 |    20241 |    28533
924.32/924.74	c  222s |      12 |    34860 |    25919 |   424428      0 |    20241 |    28533
927.22/927.69	c  225s |      12 |    35272 |    26219 |   424428      0 |    20241 |    28533
930.12/930.58	c  228s |      12 |    35645 |    26519 |   424428      0 |    20241 |    28533
932.53/932.99	c  230s |      12 |    35997 |    26819 |   424428      0 |    20241 |    28533
934.92/935.30	c  232s |      12 |    36358 |    27119 |   424428      0 |    20241 |    28533
937.52/937.95	c  235s |      12 |    36734 |    27419 |   424428      0 |    20241 |    28533
940.02/940.44	c  238s |      12 |    37105 |    27719 |   424428      0 |    20241 |    28533
942.43/942.83	c  240s |      12 |    37497 |    28019 |   424428      0 |    20241 |    28533
944.82/945.26	c  242s |      12 |    37850 |    28319 |   424428      0 |    20241 |    28533
947.52/947.91	c  245s |      12 |    38229 |    28619 |   424428      0 |    20241 |    28533
950.42/950.80	c  248s |      12 |    38609 |    28919 |   424428      0 |    20241 |    28533
953.22/953.65	c  251s |      12 |    38984 |    29219 |   424428      0 |    20241 |    28533
955.82/956.22	c  253s |      12 |    39317 |    29519 |   424428      0 |    20241 |    28533
958.62/959.05	c  256s |      12 |    39676 |    29819 |   424428      0 |    20241 |    28533
961.52/961.90	c  259s |      12 |    40080 |    30119 |   424428      0 |    20241 |    28533
964.12/964.53	c  262s |      12 |    40496 |    30419 |   424428      0 |    20241 |    28533
966.52/966.91	c  264s |      12 |    40867 |    30719 |   424428      0 |    20241 |    28533
969.21/969.68	c  267s |      12 |    41219 |    31019 |   424428      0 |    20241 |    28533
972.21/972.67	c  270s |      12 |    41613 |    31319 |   424428      0 |    20241 |    28533
974.41/974.81	c  272s |      12 |    41847 |    31519 |   424428      0 |    20241 |    28533
977.11/977.58	c  275s |      12 |    42229 |    31819 |   424428      0 |    20241 |    28533
979.21/979.62	c  277s |      12 |    42459 |    32019 |   424428      0 |    20241 |    28533
982.02/982.40	c  279s |      12 |    42824 |    32319 |   424428      0 |    20241 |    28533
984.51/984.94	c  282s |      12 |    43179 |    32619 |   424428      0 |    20241 |    28533
987.31/987.74	c  285s |      12 |    43567 |    32919 |   424428      0 |    20241 |    28533
989.72/990.15	c  287s |      12 |    43930 |    33219 |   424428      0 |    20241 |    28533
992.21/992.61	c  290s |      12 |    44324 |    33519 |   424428      0 |    20241 |    28533
994.61/995.07	c  292s |      12 |    44689 |    33819 |   424428      0 |    20241 |    28533
997.32/997.78	c  295s |      12 |    45066 |    34119 |   424428      0 |    20241 |    28533
999.91/1000.34	c  297s |      12 |    45418 |    34419 |   424428      0 |    20241 |    28533
1002.71/1003.14	c  300s |      12 |    45774 |    34719 |   424428      0 |    20241 |    28533
1004.71/1005.18	c  302s |      12 |    46008 |    34919 |   424428      0 |    20241 |    28533
1006.81/1007.21	c  304s |      12 |    46244 |    35119 |   424428      0 |    20241 |    28533
1009.61/1010.06	c  307s |      12 |    46608 |    35419 |   424428      0 |    20241 |    28533
1012.41/1012.87	c  310s |      12 |    46962 |    35719 |   424428      0 |    20241 |    28533
1014.51/1014.98	c  312s |      12 |    47236 |    35919 |   424428      0 |    20241 |    28533
1016.61/1017.03	c  314s |      12 |    47484 |    36119 |   424428      0 |    20241 |    28533
1019.41/1019.89	c  317s |      12 |    47867 |    36419 |   424428      0 |    20241 |    28533
1022.31/1022.78	c  320s |      12 |    48221 |    36719 |   424428      0 |    20241 |    28533
1025.01/1025.44	c  323s |      12 |    48588 |    37019 |   424428      0 |    20241 |    28533
1027.61/1028.01	c  325s |      12 |    48963 |    37319 |   424428      0 |    20241 |    28533
1030.41/1030.85	c  328s |      12 |    49369 |    37619 |   424428      0 |    20241 |    28533
1033.01/1033.42	c  330s |      12 |    49730 |    37919 |   424428      0 |    20241 |    28533
1035.81/1036.27	c  333s |      12 |    50113 |    38219 |   424428      0 |    20241 |    28533
1038.50/1038.99	c  336s |      12 |    50463 |    38519 |   424428      0 |    20241 |    28533
1041.41/1041.82	c  339s |      12 |    50829 |    38819 |   424428      0 |    20241 |    28533
1041.50/1041.94	c  339s |      13 |    50845 |    38832 |   424428      0 |    20241 |    28533
1044.40/1044.84	c  342s |      13 |    50983 |    38932 |   424428      0 |    20241 |    28533
1046.81/1047.29	c  344s |      13 |    51507 |    39332 |   424428      0 |    20241 |    28533
1049.60/1050.05	c  347s |      13 |    52069 |    39732 |   424428      0 |    20241 |    28533
1052.20/1052.62	c  350s |      13 |    52588 |    40132 |   424428      0 |    20241 |    28533
1054.90/1055.33	c  352s |      13 |    52980 |    40432 |   424428      0 |    20241 |    28533
1057.81/1058.23	c  355s |      13 |    53379 |    40732 |   424428      0 |    20241 |    28533
1059.80/1060.27	c  357s |      13 |    53618 |    40932 |   424428      0 |    20241 |    28533
1062.00/1062.44	c  360s |      13 |    53883 |    41132 |   424428      0 |    20241 |    28533
1064.00/1064.45	c  362s |      13 |    54117 |    41332 |   424428      0 |    20241 |    28533
1066.20/1066.60	c  364s |      13 |    54393 |    41532 |   424428      0 |    20241 |    28533
1069.10/1069.57	c  367s |      13 |    54784 |    41832 |   424428      0 |    20241 |    28533
1071.20/1071.66	c  369s |      13 |    55046 |    42032 |   424428      0 |    20241 |    28533
1073.30/1073.76	c  371s |      13 |    55328 |    42232 |   424428      0 |    20241 |    28533
1075.30/1075.78	c  373s |      13 |    55580 |    42432 |   424428      0 |    20241 |    28533
1077.50/1077.94	c  375s |      13 |    55892 |    42632 |   424428      0 |    20241 |    28533
1079.70/1080.14	c  377s |      13 |    56181 |    42832 |   424428      0 |    20241 |    28533
1082.00/1082.43	c  379s |      13 |    56447 |    43032 |   424428      0 |    20241 |    28533
1084.40/1084.88	c  382s |      13 |    56833 |    43332 |   424428      0 |    20241 |    28533
1086.60/1087.04	c  384s |      13 |    57110 |    43532 |   424428      0 |    20241 |    28533
1088.70/1089.15	c  386s |      13 |    57381 |    43732 |   424428      0 |    20241 |    28533
1090.80/1091.23	c  388s |      13 |    57659 |    43932 |   424428      0 |    20241 |    28533
1093.89/1094.31	c  391s |      13 |    58039 |    44232 |   424428      0 |    20241 |    28533
1095.89/1096.39	c  393s |      13 |    58316 |    44432 |   424428      0 |    20241 |    28533
1097.99/1098.40	c  395s |      13 |    58599 |    44632 |   424428      0 |    20241 |    28533
1100.80/1101.29	c  398s |      13 |    58989 |    44932 |   424428      0 |    20241 |    28533
1103.59/1104.01	c  401s |      13 |    59375 |    45232 |   424428      0 |    20241 |    28533
1106.20/1106.70	c  404s |      13 |    59788 |    45532 |   424428      0 |    20241 |    28533
1109.19/1109.63	c  407s |      13 |    60180 |    45832 |   424428      0 |    20241 |    28533
1111.39/1111.84	c  409s |      13 |    60426 |    46032 |   424428      0 |    20241 |    28533
1114.19/1114.69	c  412s |      13 |    60835 |    46332 |   424428      0 |    20241 |    28533
1116.29/1116.75	c  414s |      13 |    61231 |    46632 |   424428      0 |    20241 |    28533
1119.19/1119.60	c  417s |      13 |    61649 |    46932 |   424428      0 |    20241 |    28533
1122.29/1122.77	c  420s |      13 |    62025 |    47232 |   424428      0 |    20241 |    28533
1125.29/1125.76	c  423s |      13 |    62370 |    47532 |   424428      0 |    20241 |    28533
1127.59/1128.00	c  425s |      13 |    62601 |    47732 |   424428      0 |    20241 |    28533
1129.89/1130.35	c  427s |      13 |    62846 |    47932 |   424428      0 |    20241 |    28533
1132.09/1132.57	c  430s |      13 |    63149 |    48132 |   424428      0 |    20241 |    28533
1134.29/1134.73	c  432s |      13 |    63381 |    48332 |   424428      0 |    20241 |    28533
1137.29/1137.75	c  435s |      13 |    63734 |    48632 |   424428      0 |    20241 |    28533
1139.79/1140.23	c  437s |      13 |    64001 |    48832 |   424428      0 |    20241 |    28533
1141.89/1142.38	c  439s |      13 |    64245 |    49032 |   424428      0 |    20241 |    28533
1143.99/1144.41	c  441s |      13 |    64523 |    49232 |   424428      0 |    20241 |    28533
1146.09/1146.59	c  444s |      13 |    64775 |    49432 |   424428      0 |    20241 |    28533
1148.49/1148.90	c  446s |      13 |    65042 |    49632 |   424428      0 |    20241 |    28533
1150.59/1151.02	c  448s |      13 |    65298 |    49832 |   424428      0 |    20241 |    28533
1152.78/1153.23	c  450s |      13 |    65575 |    50032 |   424428      0 |    20241 |    28533
1155.08/1155.59	c  453s |      13 |    65807 |    50232 |   424428      0 |    20241 |    28533
1157.28/1157.78	c  455s |      13 |    66084 |    50432 |   424428      0 |    20241 |    28533
1160.19/1160.61	c  458s |      13 |    66506 |    50732 |   424428      0 |    20241 |    28533
1163.08/1163.58	c  461s |      13 |    66885 |    51032 |   424428      0 |    20241 |    28533
1165.18/1165.69	c  463s |      13 |    67128 |    51232 |   424428      0 |    20241 |    28533
1167.58/1168.02	c  465s |      13 |    67400 |    51432 |   424428      0 |    20241 |    28533
1169.99/1170.41	c  467s |      13 |    67662 |    51632 |   424428      0 |    20241 |    28533
1172.29/1172.76	c  470s |      13 |    67904 |    51832 |   424428      0 |    20241 |    28533
1175.28/1175.73	c  473s |      13 |    68300 |    52132 |   424428      0 |    20241 |    28533
1177.69/1178.18	c  475s |      13 |    68551 |    52332 |   424428      0 |    20241 |    28533
1179.89/1180.36	c  477s |      13 |    68790 |    52532 |   424428      0 |    20241 |    28533
1182.09/1182.59	c  480s |      13 |    69042 |    52732 |   424428      0 |    20241 |    28533
1184.58/1185.00	c  482s |      13 |    69314 |    52932 |   424428      0 |    20241 |    28533
1187.08/1187.57	c  485s |      13 |    69544 |    53132 |   424428      0 |    20241 |    28533
1190.48/1190.92	c  488s |      13 |    69918 |    53432 |   424428      0 |    20241 |    28533
1192.68/1193.17	c  490s |      13 |    70125 |    53632 |   424428      0 |    20241 |    28533
1195.08/1195.51	c  493s |      13 |    70374 |    53832 |   424428      0 |    20241 |    28533
1197.88/1198.32	c  495s |      13 |    70611 |    54032 |   424428      0 |    20241 |    28533
1200.08/1200.59	c  498s |      13 |    70863 |    54232 |   424428      0 |    20241 |    28533
1202.38/1202.89	c  500s |      13 |    71124 |    54432 |   424428      0 |    20241 |    28533
1204.48/1204.98	c  502s |      13 |    71360 |    54632 |   424428      0 |    20241 |    28533
1206.88/1207.36	c  504s |      13 |    71616 |    54832 |   424428      0 |    20241 |    28533
1208.88/1209.37	c  506s |      13 |    71884 |    55032 |   424428      0 |    20241 |    28533
1211.68/1212.15	c  509s |      13 |    72273 |    55332 |   424428      0 |    20241 |    28533
1214.88/1215.32	c  512s |      13 |    72656 |    55632 |   424428      0 |    20241 |    28533
1216.98/1217.40	c  514s |      13 |    72937 |    55832 |   424428      0 |    20241 |    28533
1219.67/1220.17	c  517s |      13 |    73350 |    56132 |   424428      0 |    20241 |    28533
1222.57/1223.04	c  520s |      13 |    73709 |    56432 |   424428      0 |    20241 |    28533
1225.57/1226.03	c  523s |      13 |    74087 |    56732 |   424428      0 |    20241 |    28533
1228.47/1228.95	c  526s |      13 |    74447 |    57032 |   424428      0 |    20241 |    28533
1230.58/1231.02	c  528s |      13 |    74705 |    57232 |   424428      0 |    20241 |    28533
1232.57/1233.04	c  530s |      13 |    74977 |    57432 |   424428      0 |    20241 |    28533
1234.77/1235.23	c  532s |      13 |    75226 |    57632 |   424428      0 |    20241 |    28533
1237.18/1237.66	c  535s |      13 |    75474 |    57832 |   424428      0 |    20241 |    28533
1239.57/1240.05	c  537s |      13 |    75712 |    58032 |   424428      0 |    20241 |    28533
1242.27/1242.79	c  540s |      13 |    75953 |    58232 |   424428      0 |    20241 |    28533
1243.78/1244.27	c  541s |      14 |    76081 |    58352 |   424428      0 |    20241 |    28533
1247.67/1248.11	c  545s |      14 |    76248 |    58452 |   424428      0 |    20241 |    28533
1249.67/1250.19	c  547s |      14 |    76520 |    58652 |   424428      0 |    20241 |    28533
1252.27/1252.76	c  550s |      14 |    76949 |    58952 |   424428      0 |    20241 |    28533
1255.17/1255.65	c  553s |      14 |    77309 |    59252 |   424428      0 |    20241 |    28533
1257.77/1258.27	c  555s |      14 |    77682 |    59552 |   424428      0 |    20241 |    28533
1259.97/1260.44	c  558s |      14 |    77952 |    59752 |   424428      0 |    20241 |    28533
1262.57/1263.09	c  560s |      14 |    78188 |    59952 |   424428      0 |    20241 |    28533
1264.97/1265.44	c  563s |      14 |    78442 |    60152 |   424428      0 |    20241 |    28533
1267.07/1267.51	c  565s |      14 |    78700 |    60352 |   424428      0 |    20241 |    28533
1269.57/1270.05	c  567s |      14 |    78948 |    60552 |   424428      0 |    20241 |    28533
1271.67/1272.18	c  569s |      14 |    79226 |    60752 |   424428      0 |    20241 |    28533
1274.87/1275.33	c  572s |      14 |    79645 |    61052 |   424428      0 |    20241 |    28533
1277.77/1278.23	c  575s |      14 |    80062 |    61352 |   424428      0 |    20241 |    28533
1280.66/1281.10	c  578s |      14 |    80523 |    61652 |   424428      0 |    20241 |    28533
1283.37/1283.85	c  581s |      14 |    80941 |    61952 |   424428      0 |    20241 |    28533
1285.76/1286.27	c  583s |      14 |    81332 |    62252 |   424428      0 |    20241 |    28533
1288.36/1288.90	c  586s |      14 |    81741 |    62552 |   424428      0 |    20241 |    28533
1290.76/1291.28	c  588s |      14 |    82137 |    62852 |   424428      0 |    20241 |    28533
1292.96/1293.43	c  590s |      14 |    82504 |    63152 |   424428      0 |    20241 |    28533
1295.37/1295.85	c  593s |      14 |    82902 |    63452 |   424428      0 |    20241 |    28533
1298.06/1298.53	c  596s |      14 |    83335 |    63752 |   424428      0 |    20241 |    28533
1300.46/1300.90	c  598s |      14 |    83791 |    64052 |   424428      0 |    20241 |    28533
1303.07/1303.55	c  601s |      14 |    84257 |    64352 |   424428      0 |    20241 |    28533
1305.46/1305.97	c  603s |      14 |    84631 |    64652 |   424428      0 |    20241 |    28533
1308.16/1308.60	c  606s |      14 |    84971 |    64952 |   424428      0 |    20241 |    28533
1310.26/1310.74	c  608s |      14 |    85410 |    65252 |   424428      0 |    20241 |    28533
1312.26/1312.77	c  610s |      14 |    85806 |    65552 |   424428      0 |    20241 |    28533
1314.66/1315.13	c  612s |      14 |    86177 |    65852 |   424428      0 |    20241 |    28533
1317.26/1317.80	c  615s |      14 |    86581 |    66152 |   466871      0 |    20241 |    28533
1320.06/1320.58	c  618s |      14 |    86950 |    66452 |   466871      0 |    20241 |    28533
1322.66/1323.10	c  620s |      14 |    87386 |    66752 |   466871      0 |    20241 |    28533
1325.47/1325.91	c  623s |      14 |    87766 |    67052 |   466871      0 |    20241 |    28533
1328.17/1328.65	c  626s |      14 |    88188 |    67352 |   466871      0 |    20241 |    28533
1330.36/1330.81	c  628s |      14 |    88441 |    67552 |   466871      0 |    20241 |    28533
1332.56/1333.08	c  630s |      14 |    88690 |    67752 |   466871      0 |    20241 |    28533
1334.97/1335.43	c  632s |      14 |    88968 |    67952 |   466871      0 |    20241 |    28533
1337.76/1338.25	c  635s |      14 |    89343 |    68252 |   466871      0 |    20241 |    28533
1340.66/1341.13	c  638s |      14 |    89705 |    68552 |   466871      0 |    20241 |    28533
1343.06/1343.57	c  641s |      14 |    89956 |    68752 |   466871      0 |    20241 |    28533
1345.36/1345.84	c  643s |      14 |    90213 |    68952 |   466871      0 |    20241 |    28533
1348.56/1349.07	c  646s |      14 |    90668 |    69252 |   466871      0 |    20241 |    28533
1350.76/1351.24	c  648s |      14 |    90917 |    69452 |   466871      0 |    20241 |    28533
1353.56/1354.08	c  651s |      14 |    91305 |    69752 |   466871      0 |    20241 |    28533
1355.66/1356.12	c  653s |      14 |    91610 |    69952 |   466871      0 |    20241 |    28533
1358.07/1358.55	c  656s |      14 |    91868 |    70152 |   466871      0 |    20241 |    28533
1360.46/1360.92	c  658s |      14 |    92101 |    70352 |   466871      0 |    20241 |    28533
1362.66/1363.18	c  660s |      14 |    92343 |    70552 |   466871      0 |    20241 |    28533
1365.16/1365.61	c  663s |      14 |    92570 |    70752 |   466871      0 |    20241 |    28533
1367.26/1367.73	c  665s |      14 |    92806 |    70952 |   466871      0 |    20241 |    28533
1369.76/1370.28	c  667s |      14 |    93039 |    71152 |   466871      0 |    20241 |    28533
1372.26/1372.75	c  670s |      14 |    93274 |    71352 |   466871      0 |    20241 |    28533
1374.46/1374.92	c  672s |      14 |    93500 |    71552 |   466871      0 |    20241 |    28533
1376.76/1377.25	c  674s |      14 |    93719 |    71752 |   466871      0 |    20241 |    28533
1379.16/1379.63	c  677s |      14 |    93952 |    71952 |   466871      0 |    20241 |    28533
1381.66/1382.13	c  679s |      14 |    94193 |    72152 |   466871      0 |    20241 |    28533
1384.36/1384.81	c  682s |      14 |    94421 |    72352 |   466871      0 |    20241 |    28533
1386.76/1387.23	c  684s |      14 |    94652 |    72552 |   466871      0 |    20241 |    28533
1389.25/1389.75	c  687s |      14 |    94899 |    72752 |   466871      0 |    20241 |    28533
1391.35/1391.83	c  689s |      14 |    95149 |    72952 |   466871      0 |    20241 |    28533
1393.65/1394.18	c  691s |      14 |    95396 |    73152 |   466871      0 |    20241 |    28533
1395.85/1396.30	c  693s |      14 |    95655 |    73352 |   466871      0 |    20241 |    28533
1398.25/1398.78	c  696s |      14 |    95898 |    73552 |   466871      0 |    20241 |    28533
1401.45/1401.90	c  699s |      14 |    96242 |    73852 |   466871      0 |    20241 |    28533
1403.55/1404.00	c  701s |      14 |    96524 |    74052 |   466871      0 |    20241 |    28533
1405.95/1406.46	c  704s |      14 |    96796 |    74252 |   466871      0 |    20241 |    28533
1408.25/1408.74	c  706s |      14 |    97056 |    74452 |   466871      0 |    20241 |    28533
1410.55/1411.01	c  708s |      14 |    97338 |    74652 |   466871      0 |    20241 |    28533
1412.85/1413.35	c  710s |      14 |    97722 |    74952 |   466871      0 |    20241 |    28533
1414.95/1415.49	c  713s |      14 |    97968 |    75152 |   466871      0 |    20241 |    28533
1417.05/1417.51	c  715s |      14 |    98200 |    75352 |   466871      0 |    20241 |    28533
1419.25/1419.76	c  717s |      14 |    98422 |    75552 |   466871      0 |    20241 |    28533
1422.15/1422.60	c  720s |      14 |    98780 |    75852 |   466871      0 |    20241 |    28533
1425.16/1425.64	c  723s |      14 |    99124 |    76152 |   466871      0 |    20241 |    28533
1428.15/1428.61	c  726s |      14 |    99516 |    76452 |   466871      0 |    20241 |    28533
1430.55/1431.02	c  728s |      14 |    99750 |    76652 |   466871      0 |    20241 |    28533
1432.85/1433.31	c  730s |      14 |   100004 |    76852 |   466871      0 |    20241 |    28533
1435.75/1436.28	c  733s |      14 |   100367 |    77152 |   466871      0 |    20241 |    28533
1438.55/1439.05	c  736s |      14 |   100740 |    77452 |   466871      0 |    20241 |    28533
1441.24/1441.71	c  739s |      14 |   101127 |    77752 |   466871      0 |    20241 |    28533
1443.74/1444.26	c  741s |      14 |   101476 |    78052 |   466871      0 |    20241 |    28533
1446.54/1447.08	c  744s |      14 |   101838 |    78352 |   466871      0 |    20241 |    28533
1449.35/1449.88	c  747s |      14 |   102211 |    78652 |   466871      0 |    20241 |    28533
1452.24/1452.73	c  750s |      14 |   102549 |    78952 |   466871      0 |    20241 |    28533
1454.34/1454.83	c  752s |      14 |   102800 |    79152 |   466871      0 |    20241 |    28533
1456.34/1456.89	c  754s |      14 |   103033 |    79352 |   466871      0 |    20241 |    28533
1458.54/1459.04	c  756s |      14 |   103270 |    79552 |   466871      0 |    20241 |    28533
1461.24/1461.74	c  759s |      14 |   103635 |    79852 |   466871      0 |    20241 |    28533
1463.34/1463.83	c  761s |      14 |   103888 |    80052 |   466871      0 |    20241 |    28533
1465.95/1466.45	c  764s |      14 |   104243 |    80352 |   466871      0 |    20241 |    28533
1468.64/1469.17	c  766s |      14 |   104623 |    80652 |   466871      0 |    20241 |    28533
1471.24/1471.77	c  769s |      14 |   104998 |    80952 |   466871      0 |    20241 |    28533
1474.04/1474.52	c  772s |      14 |   105359 |    81252 |   466871      0 |    20241 |    28533
1476.34/1476.84	c  774s |      14 |   105629 |    81452 |   466871      0 |    20241 |    28533
1478.64/1479.13	c  776s |      14 |   105889 |    81652 |   466871      0 |    20241 |    28533
1480.84/1481.30	c  778s |      14 |   106155 |    81852 |   466871      0 |    20241 |    28533
1483.54/1484.01	c  781s |      14 |   106571 |    82152 |   466871      0 |    20241 |    28533
1485.64/1486.15	c  783s |      14 |   106880 |    82352 |   466871      0 |    20241 |    28533
1488.74/1489.22	c  786s |      14 |   107267 |    82652 |   466871      0 |    20241 |    28533
1491.04/1491.51	c  789s |      14 |   107554 |    82852 |   466871      0 |    20241 |    28533
1493.34/1493.83	c  791s |      14 |   107806 |    83052 |   466871      0 |    20241 |    28533
1496.03/1496.56	c  794s |      14 |   108047 |    83252 |   466871      0 |    20241 |    28533
1498.33/1498.87	c  796s |      14 |   108299 |    83452 |   466871      0 |    20241 |    28533
1500.73/1501.28	c  798s |      14 |   108540 |    83652 |   466871      0 |    20241 |    28533
1502.93/1503.40	c  800s |      14 |   108763 |    83852 |   466871      0 |    20241 |    28533
1504.93/1505.46	c  803s |      14 |   109001 |    84052 |   466871      0 |    20241 |    28533
1507.03/1507.56	c  805s |      14 |   109246 |    84252 |   466871      0 |    20241 |    28533
1509.13/1509.62	c  807s |      14 |   109478 |    84452 |   466871      0 |    20241 |    28533
1511.33/1511.82	c  809s |      14 |   109693 |    84652 |   466871      0 |    20241 |    28533
1514.43/1514.91	c  812s |      14 |   110032 |    84952 |   466871      0 |    20241 |    28533
1516.73/1517.26	c  814s |      14 |   110281 |    85152 |   466871      0 |    20241 |    28533
1519.33/1519.85	c  817s |      14 |   110519 |    85352 |   466871      0 |    20241 |    28533
1521.73/1522.25	c  819s |      14 |   110776 |    85552 |   466871      0 |    20241 |    28533
1524.03/1524.50	c  822s |      14 |   111019 |    85752 |   466871      0 |    20241 |    28533
1526.23/1526.80	c  824s |      14 |   111262 |    85952 |   466871      0 |    20241 |    28533
1528.83/1529.30	c  826s |      14 |   111515 |    86152 |   466871      0 |    20241 |    28533
1531.33/1531.80	c  829s |      14 |   111763 |    86352 |   466871      0 |    20241 |    28533
1533.63/1534.11	c  831s |      14 |   112010 |    86552 |   466871      0 |    20241 |    28533
1535.83/1536.37	c  833s |      14 |   112247 |    86752 |   466871      0 |    20241 |    28533
1538.73/1539.22	c  836s |      14 |   112633 |    87052 |   466871      0 |    20241 |    28533
1541.23/1541.77	c  839s |      14 |   112890 |    87252 |   466871      0 |    20241 |    28533
1543.93/1544.50	c  842s |      14 |   113144 |    87452 |   466871      0 |    20241 |    28533
1545.73/1546.29	c  843s |      15 |   113396 |    87632 |   466871      0 |    20241 |    28533
1549.13/1549.68	c  847s |      15 |   113544 |    87732 |   466871      0 |    20241 |    28533
1551.53/1552.05	c  849s |      15 |   113802 |    87932 |   466871      0 |    20241 |    28533
1553.93/1554.43	c  851s |      15 |   114048 |    88132 |   466871      0 |    20241 |    28533
1556.72/1557.23	c  854s |      15 |   114271 |    88332 |   466871      0 |    20241 |    28533
1558.92/1559.48	c  857s |      15 |   114517 |    88532 |   466871      0 |    20241 |    28533
1561.32/1561.89	c  859s |      15 |   114758 |    88732 |   466871      0 |    20241 |    28533
1563.83/1564.31	c  861s |      15 |   115020 |    88932 |   466871      0 |    20241 |    28533
1566.12/1566.65	c  864s |      15 |   115285 |    89132 |   466871      0 |    20241 |    28533
1568.62/1569.19	c  866s |      15 |   115556 |    89332 |   466871      0 |    20241 |    28533
1571.22/1571.71	c  869s |      15 |   115810 |    89532 |   466871      0 |    20241 |    28533
1573.63/1574.16	c  871s |      15 |   116094 |    89732 |   466871      0 |    20241 |    28533
1576.12/1576.60	c  874s |      15 |   116376 |    89932 |   466871      0 |    20241 |    28533
1578.22/1578.75	c  876s |      15 |   116631 |    90132 |   466871      0 |    20241 |    28533
1580.42/1580.92	c  878s |      15 |   116895 |    90332 |   466871      0 |    20241 |    28533
1582.82/1583.36	c  880s |      15 |   117329 |    90632 |   466871      0 |    20241 |    28533
1585.42/1585.93	c  883s |      15 |   117728 |    90932 |   466871      0 |    20241 |    28533
1587.42/1587.93	c  885s |      15 |   117995 |    91132 |   466871      0 |    20241 |    28533
1590.32/1590.88	c  888s |      15 |   118259 |    91332 |   466871      0 |    20241 |    28533
1593.02/1593.54	c  891s |      15 |   118517 |    91532 |   466871      0 |    20241 |    28533
1595.42/1595.91	c  893s |      15 |   118799 |    91732 |   466871      0 |    20241 |    28533
1597.93/1598.41	c  895s |      15 |   119047 |    91932 |   466871      0 |    20241 |    28533
1600.22/1600.79	c  898s |      15 |   119353 |    92132 |   466871      0 |    20241 |    28533
1602.52/1603.02	c  900s |      15 |   119621 |    92332 |   466871      0 |    20241 |    28533
1604.82/1605.30	c  902s |      15 |   119898 |    92532 |   466871      0 |    20241 |    28533
1607.12/1607.64	c  905s |      15 |   120147 |    92732 |   466871      0 |    20241 |    28533
1609.92/1610.43	c  907s |      15 |   120525 |    93032 |   466871      0 |    20241 |    28533
1612.02/1612.52	c  910s |      15 |   120778 |    93232 |   466871      0 |    20241 |    28533
1614.12/1614.64	c  912s |      15 |   121019 |    93432 |   466871      0 |    20241 |    28533
1616.92/1617.42	c  914s |      15 |   121416 |    93732 |   466871      0 |    20241 |    28533
1619.61/1620.19	c  917s |      15 |   121804 |    94032 |   466871      0 |    20241 |    28533
1622.21/1622.78	c  920s |      15 |   122178 |    94332 |   466871      0 |    20241 |    28533
1625.32/1625.85	c  923s |      15 |   122548 |    94632 |   466871      0 |    20241 |    28533
1627.52/1628.05	c  925s |      15 |   122814 |    94832 |   466871      0 |    20241 |    28533
1629.82/1630.39	c  927s |      15 |   123048 |    95032 |   466871      0 |    20241 |    28533
1632.31/1632.86	c  930s |      15 |   123320 |    95232 |   466871      0 |    20241 |    28533
1634.31/1634.87	c  932s |      15 |   123652 |    95432 |   466871      0 |    20241 |    28533
1637.42/1637.91	c  935s |      15 |   124041 |    95732 |   466871      0 |    20241 |    28533
1639.81/1640.39	c  937s |      15 |   124282 |    95932 |   466871      0 |    20241 |    28533
1642.11/1642.60	c  940s |      15 |   124547 |    96132 |   466871      0 |    20241 |    28533
1644.91/1645.46	c  943s |      15 |   124766 |    96332 |   466871      0 |    20241 |    28533
1647.51/1648.03	c  945s |      15 |   125015 |    96532 |   466871      0 |    20241 |    28533
1649.91/1650.46	c  948s |      15 |   125264 |    96732 |   466871      0 |    20241 |    28533
1652.41/1652.92	c  950s |      15 |   125524 |    96932 |   466871      0 |    20241 |    28533
1654.81/1655.36	c  952s |      15 |   125785 |    97132 |   466871      0 |    20241 |    28533
1657.71/1658.22	c  955s |      15 |   126160 |    97432 |   466871      0 |    20241 |    28533
1659.81/1660.38	c  957s |      15 |   126421 |    97632 |   466871      0 |    20241 |    28533
1661.91/1662.49	c  960s |      15 |   126760 |    97832 |   466871      0 |    20241 |    28533
1664.21/1664.74	c  962s |      15 |   127018 |    98032 |   466871      0 |    20241 |    28533
1666.71/1667.27	c  964s |      15 |   127253 |    98232 |   466871      0 |    20241 |    28533
1669.41/1669.92	c  967s |      15 |   127479 |    98432 |   466871      0 |    20241 |    28533
1671.81/1672.38	c  969s |      15 |   127724 |    98632 |   466871      0 |    20241 |    28533
1674.31/1674.84	c  972s |      15 |   127953 |    98832 |   466871      0 |    20241 |    28533
1676.91/1677.45	c  975s |      15 |   128183 |    99032 |   466871      0 |    20241 |    28533
1679.21/1679.77	c  977s |      15 |   128430 |    99232 |   466871      0 |    20241 |    28533
1681.81/1682.32	c  979s |      15 |   128675 |    99432 |   466871      0 |    20241 |    28533
1684.40/1684.93	c  982s |      15 |   128919 |    99632 |   466871      0 |    20241 |    28533
1686.91/1687.45	c  985s |      15 |   129161 |    99832 |   466871      0 |    20241 |    28533
1689.60/1690.15	c  987s |      15 |   129401 |   100032 |   466871      0 |    20241 |    28533
1692.30/1692.84	c  990s |      15 |   129652 |   100232 |   466871      0 |    20241 |    28533
1694.90/1695.44	c  993s |      15 |   129869 |   100432 |   466871      0 |    20241 |    28533
1697.30/1697.84	c  995s |      15 |   130096 |   100632 |   466871      0 |    20241 |    28533
1699.60/1700.18	c  997s |      15 |   130381 |   100832 |   466871      0 |    20241 |    28533
1701.80/1702.37	c  999s |      15 |   130628 |   101032 |   466871      0 |    20241 |    28533
1704.00/1704.54	c 1002s |      15 |   130869 |   101232 |   466871      0 |    20241 |    28533
1706.10/1706.65	c 1004s |      15 |   131168 |   101432 |   466871      0 |    20241 |    28533
1708.40/1708.94	c 1006s |      15 |   131428 |   101632 |   466871      0 |    20241 |    28533
1711.11/1711.65	c 1009s |      15 |   131807 |   101932 |   466871      0 |    20241 |    28533
1713.20/1713.75	c 1011s |      15 |   132056 |   102132 |   466871      0 |    20241 |    28533
1715.80/1716.33	c 1013s |      15 |   132345 |   102332 |   466871      0 |    20241 |    28533
1718.10/1718.61	c 1016s |      15 |   132629 |   102532 |   466871      0 |    20241 |    28533
1720.30/1720.86	c 1018s |      15 |   132868 |   102732 |   466871      0 |    20241 |    28533
1722.50/1723.00	c 1020s |      15 |   133125 |   102932 |   466871      0 |    20241 |    28533
1725.10/1725.68	c 1023s |      15 |   133539 |   103232 |   466871      0 |    20241 |    28533
1728.20/1728.75	c 1026s |      15 |   133915 |   103532 |   466871      0 |    20241 |    28533
1730.40/1730.96	c 1028s |      15 |   134174 |   103732 |   466871      0 |    20241 |    28533
1732.60/1733.16	c 1030s |      15 |   134453 |   103932 |   466871      0 |    20241 |    28533
1735.60/1736.19	c 1033s |      15 |   134866 |   104232 |   466871      0 |    20241 |    28533
1737.70/1738.26	c 1035s |      15 |   135160 |   104432 |   466871      0 |    20241 |    28533
1740.30/1740.89	c 1038s |      15 |   135400 |   104632 |   466871      0 |    20241 |    28533
1743.20/1743.74	c 1041s |      15 |   135779 |   104932 |   466871      0 |    20241 |    28533
1745.30/1745.86	c 1043s |      15 |   136025 |   105132 |   466871      0 |    20241 |    28533
1747.50/1748.06	c 1045s |      15 |   136271 |   105332 |   466871      0 |    20241 |    28533
1750.40/1750.92	c 1048s |      15 |   136663 |   105632 |   466871      0 |    20241 |    28533
1753.20/1753.75	c 1051s |      15 |   137018 |   105932 |   466871      0 |    20241 |    28533
1755.50/1756.04	c 1053s |      15 |   137269 |   106132 |   466871      0 |    20241 |    28533
1758.59/1759.17	c 1056s |      15 |   137649 |   106432 |   466871      0 |    20241 |    28533
1760.99/1761.51	c 1059s |      15 |   137902 |   106632 |   466871      0 |    20241 |    28533
1763.09/1763.67	c 1061s |      15 |   138146 |   106832 |   466871      0 |    20241 |    28533
1765.89/1766.42	c 1063s |      15 |   138509 |   107132 |   466871      0 |    20241 |    28533
1768.40/1768.95	c 1066s |      15 |   138759 |   107332 |   466871      0 |    20241 |    28533
1770.60/1771.19	c 1068s |      15 |   138996 |   107532 |   466871      0 |    20241 |    28533
1773.19/1773.80	c 1071s |      15 |   139241 |   107732 |   466871      0 |    20241 |    28533
1775.59/1776.14	c 1073s |      15 |   139469 |   107932 |   466871      0 |    20241 |    28533
1777.79/1778.33	c 1075s |      15 |   139726 |   108132 |   466871      0 |    20241 |    28533
1779.99/1780.54	c 1078s |      15 |   139982 |   108332 |   466871      0 |    20241 |    28533
1782.29/1782.83	c 1080s |      15 |   140215 |   108532 |   466871      0 |    20241 |    28533
1784.29/1784.86	c 1082s |      15 |   140454 |   108732 |   466871      0 |    20241 |    28533
1786.39/1786.93	c 1084s |      15 |   140713 |   108932 |   466871      0 |    20241 |    28533
1788.49/1789.06	c 1086s |      15 |   140957 |   109132 |   466871      0 |    20241 |    28533
1790.79/1791.34	c 1088s |      15 |   141201 |   109332 |   466871      0 |    20241 |    28533
1793.09/1793.68	c 1091s |      15 |   141448 |   109532 |   466871      0 |    20241 |    28533
1796.39/1796.96	c 1094s |      15 |   141811 |   109832 |   466871      0 |    20241 |    28533
1798.59/1799.12	c 1096s |      15 |   142086 |   110032 |   466871      0 |    20241 |    28533

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

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

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


[startup+0 s]
/proc/loadavg: 1.98 2.02 2.01 3/179 11753
/proc/meminfo: memFree=30049692/32872528 swapFree=526336/559040
[pid=11753] ppid=11750 vsize=755132 CPUtime=0 cores=1,3,5,7
/proc/11753/stat : 11753 (toysat) R 11750 11753 10280 0 -1 4202496 2820 0 0 0 0 0 0 0 20 0 4 0 31160788 773255168 3181 33554432000 4194304 16246674 140734171246512 140734171245936 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11753/statm: 189295 3188 441 2943 0 186189 0
[pid=11753/tid=11754] ppid=11750 vsize=771516 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11754/stat : 11754 (toysat) S 11750 11753 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31160788 790032384 3246 33554432000 4194304 16246674 140734171246512 140412699258096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11753/tid=11755] ppid=11750 vsize=776636 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11755/stat : 11755 (toysat) S 11750 11753 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31160788 795275264 3263 33554432000 4194304 16246674 140734171246512 140412614323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11753/tid=11756] ppid=11750 vsize=779708 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11756/stat : 11756 (toysat) S 11750 11753 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31160788 798420992 3279 33554432000 4194304 16246674 140734171246512 140412603849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100181 s]
/proc/loadavg: 1.98 2.02 2.01 3/179 11753
/proc/meminfo: memFree=30049692/32872528 swapFree=526336/559040
[pid=11753] ppid=11750 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/11753/stat : 11753 (toysat) R 11750 11753 10280 0 -1 4202496 26788 0 0 0 6 3 0 0 20 0 4 0 31160788 1333334016 27087 33554432000 4194304 16246674 140734171246512 140734171245824 7374276 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11753/statm: 325521 27103 799 2943 0 322415 0
[pid=11753/tid=11754] ppid=11750 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11754/stat : 11754 (toysat) S 11750 11753 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31160788 1333334016 27113 33554432000 4194304 16246674 140734171246512 140412699258096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11753/tid=11755] ppid=11750 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11755/stat : 11755 (toysat) S 11750 11753 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31160788 1333334016 27125 33554432000 4194304 16246674 140734171246512 140412614323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11753/tid=11756] ppid=11750 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11756/stat : 11756 (toysat) S 11750 11753 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31160788 1333334016 27134 33554432000 4194304 16246674 140734171246512 140412603849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.20054 s]
/proc/loadavg: 1.98 2.02 2.01 3/179 11753
/proc/meminfo: memFree=30049692/32872528 swapFree=526336/559040
[pid=11753] ppid=11750 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/11753/stat : 11753 (toysat) R 11750 11753 10280 0 -1 4202496 45431 0 0 0 13 6 0 0 20 0 4 0 31160788 1344868352 46240 33554432000 4194304 16246674 140734171246512 140734171245824 7369132 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11753/statm: 328337 46240 799 2943 0 325231 0
[pid=11753/tid=11754] ppid=11750 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11754/stat : 11754 (toysat) S 11750 11753 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31160788 1344868352 46240 33554432000 4194304 16246674 140734171246512 140412699258096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11753/tid=11755] ppid=11750 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11755/stat : 11755 (toysat) S 11750 11753 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31160788 1344868352 46240 33554432000 4194304 16246674 140734171246512 140412614323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11753/tid=11756] ppid=11750 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11756/stat : 11756 (toysat) S 11750 11753 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31160788 1344868352 46240 33554432000 4194304 16246674 140734171246512 140412603849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300504 s]
/proc/loadavg: 1.98 2.02 2.01 3/179 11753
/proc/meminfo: memFree=30049692/32872528 swapFree=526336/559040
[pid=11753] ppid=11750 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/11753/stat : 11753 (toysat) R 11750 11753 10280 0 -1 4202496 54512 0 0 0 22 7 0 0 20 0 4 0 31160788 1344868352 55321 33554432000 4194304 16246674 140734171246512 140734171245824 4220560 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11753/statm: 328337 55321 799 2943 0 325231 0
[pid=11753/tid=11754] ppid=11750 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11754/stat : 11754 (toysat) S 11750 11753 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31160788 1344868352 55321 33554432000 4194304 16246674 140734171246512 140412699258096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11753/tid=11755] ppid=11750 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11755/stat : 11755 (toysat) S 11750 11753 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31160788 1344868352 55321 33554432000 4194304 16246674 140734171246512 140412614323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11753/tid=11756] ppid=11750 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11756/stat : 11756 (toysat) S 11750 11753 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31160788 1344868352 55321 33554432000 4194304 16246674 140734171246512 140412603849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700422 s]
/proc/loadavg: 1.98 2.02 2.01 3/179 11753
/proc/meminfo: memFree=30049692/32872528 swapFree=526336/559040
[pid=11753] ppid=11750 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/11753/stat : 11753 (toysat) R 11750 11753 10280 0 -1 4202496 65304 0 0 0 61 8 0 0 20 0 4 0 31160788 1344868352 66113 33554432000 4194304 16246674 140734171246512 140734171245824 7363285 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11753/statm: 328337 66113 800 2943 0 325231 0
[pid=11753/tid=11754] ppid=11750 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11754/stat : 11754 (toysat) S 11750 11753 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31160788 1344868352 66113 33554432000 4194304 16246674 140734171246512 140412699258096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11753/tid=11755] ppid=11750 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11755/stat : 11755 (toysat) S 11750 11753 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31160788 1344868352 66113 33554432000 4194304 16246674 140734171246512 140412614323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11753/tid=11756] ppid=11750 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11756/stat : 11756 (toysat) S 11750 11753 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31160788 1344868352 66113 33554432000 4194304 16246674 140734171246512 140412603849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50041 s]
/proc/loadavg: 1.98 2.02 2.01 3/183 11757
/proc/meminfo: memFree=29756148/32872528 swapFree=526336/559040
[pid=11753] ppid=11750 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/11753/stat : 11753 (toysat) R 11750 11753 10280 0 -1 4202496 80239 0 0 0 139 10 0 0 20 0 4 0 31160788 1344868352 81048 33554432000 4194304 16246674 140734171246512 140734171228416 4206597 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11753/statm: 328337 81048 806 2943 0 325231 0
[pid=11753/tid=11754] ppid=11750 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11754/stat : 11754 (toysat) S 11750 11753 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31160788 1344868352 81048 33554432000 4194304 16246674 140734171246512 140412699258096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11753/tid=11755] ppid=11750 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11755/stat : 11755 (toysat) S 11750 11753 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31160788 1344868352 81048 33554432000 4194304 16246674 140734171246512 140412614323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11753/tid=11756] ppid=11750 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11756/stat : 11756 (toysat) S 11750 11753 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31160788 1344868352 81048 33554432000 4194304 16246674 140734171246512 140412603849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10037 s]
/proc/loadavg: 1.98 2.02 2.01 3/183 11757
/proc/meminfo: memFree=29326224/32872528 swapFree=526336/559040
[pid=11753] ppid=11750 vsize=1331780 CPUtime=3.09 cores=1,3,5,7
/proc/11753/stat : 11753 (toysat) R 11750 11753 10280 0 -1 4202496 273563 0 0 0 269 40 0 0 20 0 4 0 31160788 1363742720 274372 33554432000 4194304 16246674 140734171246512 140734171244352 5913156 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11753/statm: 332945 274372 840 2943 0 329839 0
[pid=11753/tid=11754] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11754/stat : 11754 (toysat) S 11750 11753 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274372 33554432000 4194304 16246674 140734171246512 140412699258096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11753/tid=11755] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11755/stat : 11755 (toysat) S 11750 11753 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274372 33554432000 4194304 16246674 140734171246512 140412614323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11753/tid=11756] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11756/stat : 11756 (toysat) S 11750 11753 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274372 33554432000 4194304 16246674 140734171246512 140412603849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1331780

[startup+6.30039 s]
/proc/loadavg: 1.98 2.02 2.01 3/183 11806
/proc/meminfo: memFree=29250084/32872528 swapFree=526336/559040
[pid=11753] ppid=11750 vsize=1331780 CPUtime=6.29 cores=1,3,5,7
/proc/11753/stat : 11753 (toysat) R 11750 11753 10280 0 -1 4202496 273632 0 0 0 589 40 0 0 20 0 4 0 31160788 1363742720 274441 33554432000 4194304 16246674 140734171246512 140734171228416 12449269 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11753/statm: 332945 274441 904 2943 0 329839 0
[pid=11753/tid=11754] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11754/stat : 11754 (toysat) S 11750 11753 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274441 33554432000 4194304 16246674 140734171246512 140412699258096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11753/tid=11755] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11755/stat : 11755 (toysat) S 11750 11753 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274441 33554432000 4194304 16246674 140734171246512 140412614323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11753/tid=11756] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11756/stat : 11756 (toysat) S 11750 11753 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274441 33554432000 4194304 16246674 140734171246512 140412603849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1331780

[startup+12.7004 s]
/proc/loadavg: 1.98 2.02 2.01 3/178 11820
/proc/meminfo: memFree=30106728/32872528 swapFree=526336/559040
[pid=11753] ppid=11750 vsize=1331780 CPUtime=12.69 cores=1,3,5,7
/proc/11753/stat : 11753 (toysat) R 11750 11753 10280 0 -1 4202496 273646 0 0 0 1229 40 0 0 20 0 4 0 31160788 1363742720 274455 33554432000 4194304 16246674 140734171246512 140734171228416 6009844 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11753/statm: 332945 274455 916 2943 0 329839 0
[pid=11753/tid=11754] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11754/stat : 11754 (toysat) S 11750 11753 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274455 33554432000 4194304 16246674 140734171246512 140412699258096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11753/tid=11755] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11755/stat : 11755 (toysat) S 11750 11753 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274455 33554432000 4194304 16246674 140734171246512 140412614323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11753/tid=11756] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11756/stat : 11756 (toysat) S 11750 11753 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274455 33554432000 4194304 16246674 140734171246512 140412603849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1331780

[startup+25.5004 s]
/proc/loadavg: 1.98 2.02 2.01 3/183 11904
/proc/meminfo: memFree=30019388/32872528 swapFree=526336/559040
[pid=11753] ppid=11750 vsize=1331780 CPUtime=25.49 cores=1,3,5,7
/proc/11753/stat : 11753 (toysat) R 11750 11753 10280 0 -1 4202496 273647 0 0 0 2509 40 0 0 20 0 4 0 31160788 1363742720 274456 33554432000 4194304 16246674 140734171246512 140734171228416 5677810 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11753/statm: 332945 274456 916 2943 0 329839 0
[pid=11753/tid=11754] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11754/stat : 11754 (toysat) S 11750 11753 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274456 33554432000 4194304 16246674 140734171246512 140412699258096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11753/tid=11755] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11755/stat : 11755 (toysat) S 11750 11753 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274456 33554432000 4194304 16246674 140734171246512 140412614323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11753/tid=11756] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11756/stat : 11756 (toysat) S 11750 11753 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274456 33554432000 4194304 16246674 140734171246512 140412603849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1331780

[startup+51.1005 s]
/proc/loadavg: 1.91 2.00 2.00 3/183 12002
/proc/meminfo: memFree=29003952/32872528 swapFree=526336/559040
[pid=11753] ppid=11750 vsize=1331780 CPUtime=51.09 cores=1,3,5,7
/proc/11753/stat : 11753 (toysat) R 11750 11753 10280 0 -1 4202496 273652 0 0 0 5069 40 0 0 20 0 4 0 31160788 1363742720 274460 33554432000 4194304 16246674 140734171246512 140734171228416 12415831 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11753/statm: 332945 274460 919 2943 0 329839 0
[pid=11753/tid=11754] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11754/stat : 11754 (toysat) S 11750 11753 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274460 33554432000 4194304 16246674 140734171246512 140412699258096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11753/tid=11755] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11755/stat : 11755 (toysat) S 11750 11753 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274460 33554432000 4194304 16246674 140734171246512 140412614323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11753/tid=11756] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11756/stat : 11756 (toysat) S 11750 11753 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274460 33554432000 4194304 16246674 140734171246512 140412603849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1331780

[startup+102.301 s]
/proc/loadavg: 1.96 2.00 2.00 3/183 12002
/proc/meminfo: memFree=29004528/32872528 swapFree=526336/559040
[pid=11753] ppid=11750 vsize=1331780 CPUtime=102.28 cores=1,3,5,7
/proc/11753/stat : 11753 (toysat) R 11750 11753 10280 0 -1 4202496 273663 0 0 0 10188 40 0 0 20 0 4 0 31160788 1363742720 274460 33554432000 4194304 16246674 140734171246512 140734171228416 5674559 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11753/statm: 332945 274460 919 2943 0 329839 0
[pid=11753/tid=11754] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11754/stat : 11754 (toysat) S 11750 11753 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274460 33554432000 4194304 16246674 140734171246512 140412699258096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11753/tid=11755] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11755/stat : 11755 (toysat) S 11750 11753 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274460 33554432000 4194304 16246674 140734171246512 140412614323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11753/tid=11756] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11756/stat : 11756 (toysat) S 11750 11753 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274460 33554432000 4194304 16246674 140734171246512 140412603849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1331780


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

/proc/11753/task/11756/stat : 11756 (toysat) S 11750 11753 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274461 33554432000 4194304 16246674 140734171246512 140412603849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1331780

[startup+1302.3 s]
/proc/loadavg: 2.12 2.13 2.03 3/183 12033
/proc/meminfo: memFree=29002988/32872528 swapFree=526336/559040
[pid=11753] ppid=11750 vsize=1331780 CPUtime=1301.86 cores=1,3,5,7
/proc/11753/stat : 11753 (toysat) R 11750 11753 10280 0 -1 4202496 274012 0 0 0 130145 41 0 0 20 0 4 0 31160788 1363742720 274461 33554432000 4194304 16246674 140734171246512 140734171228416 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11753/statm: 332945 274461 920 2943 0 329839 0
[pid=11753/tid=11754] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11754/stat : 11754 (toysat) S 11750 11753 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274461 33554432000 4194304 16246674 140734171246512 140412699258096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11753/tid=11755] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11755/stat : 11755 (toysat) S 11750 11753 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274461 33554432000 4194304 16246674 140734171246512 140412614323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11753/tid=11756] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11756/stat : 11756 (toysat) S 11750 11753 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274461 33554432000 4194304 16246674 140734171246512 140412603849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1331780

[startup+1362.3 s]
/proc/loadavg: 2.08 2.11 2.03 3/183 12034
/proc/meminfo: memFree=29002648/32872528 swapFree=526336/559040
[pid=11753] ppid=11750 vsize=1331780 CPUtime=1361.86 cores=1,3,5,7
/proc/11753/stat : 11753 (toysat) R 11750 11753 10280 0 -1 4202496 274012 0 0 0 136144 42 0 0 20 0 4 0 31160788 1363742720 274461 33554432000 4194304 16246674 140734171246512 140734171228416 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11753/statm: 332945 274461 920 2943 0 329839 0
[pid=11753/tid=11754] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11754/stat : 11754 (toysat) S 11750 11753 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274461 33554432000 4194304 16246674 140734171246512 140412699258096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11753/tid=11755] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11755/stat : 11755 (toysat) S 11750 11753 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274461 33554432000 4194304 16246674 140734171246512 140412614323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11753/tid=11756] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11756/stat : 11756 (toysat) S 11750 11753 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274461 33554432000 4194304 16246674 140734171246512 140412603849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1331780

[startup+1422.3 s]
/proc/loadavg: 2.03 2.09 2.03 3/183 12035
/proc/meminfo: memFree=29002552/32872528 swapFree=526336/559040
[pid=11753] ppid=11750 vsize=1331780 CPUtime=1421.86 cores=1,3,5,7
/proc/11753/stat : 11753 (toysat) R 11750 11753 10280 0 -1 4202496 274012 0 0 0 142144 42 0 0 20 0 4 0 31160788 1363742720 274461 33554432000 4194304 16246674 140734171246512 140734171228416 5823131 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11753/statm: 332945 274461 920 2943 0 329839 0
[pid=11753/tid=11754] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11754/stat : 11754 (toysat) S 11750 11753 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274461 33554432000 4194304 16246674 140734171246512 140412699258096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11753/tid=11755] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11755/stat : 11755 (toysat) S 11750 11753 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274461 33554432000 4194304 16246674 140734171246512 140412614323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11753/tid=11756] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11756/stat : 11756 (toysat) S 11750 11753 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274461 33554432000 4194304 16246674 140734171246512 140412603849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1331780

[startup+1482.3 s]
/proc/loadavg: 2.06 2.09 2.03 3/183 12037
/proc/meminfo: memFree=29002804/32872528 swapFree=526336/559040
[pid=11753] ppid=11750 vsize=1331780 CPUtime=1481.84 cores=1,3,5,7
/proc/11753/stat : 11753 (toysat) R 11750 11753 10280 0 -1 4202496 274012 0 0 0 148142 42 0 0 20 0 4 0 31160788 1363742720 274461 33554432000 4194304 16246674 140734171246512 140734171228416 5523360 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11753/statm: 332945 274461 920 2943 0 329839 0
[pid=11753/tid=11754] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11754/stat : 11754 (toysat) S 11750 11753 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274461 33554432000 4194304 16246674 140734171246512 140412699258096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11753/tid=11755] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11755/stat : 11755 (toysat) S 11750 11753 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274461 33554432000 4194304 16246674 140734171246512 140412614323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11753/tid=11756] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11756/stat : 11756 (toysat) S 11750 11753 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274461 33554432000 4194304 16246674 140734171246512 140412603849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1331780

[startup+1542.31 s]
/proc/loadavg: 2.14 2.10 2.03 3/184 12041
/proc/meminfo: memFree=29002840/32872528 swapFree=526336/559040
[pid=11753] ppid=11750 vsize=1331780 CPUtime=1541.83 cores=1,3,5,7
/proc/11753/stat : 11753 (toysat) R 11750 11753 10280 0 -1 4202496 274012 0 0 0 154141 42 0 0 20 0 4 0 31160788 1363742720 274461 33554432000 4194304 16246674 140734171246512 140734171228416 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11753/statm: 332945 274461 920 2943 0 329839 0
[pid=11753/tid=11754] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11754/stat : 11754 (toysat) S 11750 11753 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274461 33554432000 4194304 16246674 140734171246512 140412699258096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11753/tid=11755] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11755/stat : 11755 (toysat) S 11750 11753 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274461 33554432000 4194304 16246674 140734171246512 140412614323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11753/tid=11756] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11756/stat : 11756 (toysat) S 11750 11753 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274461 33554432000 4194304 16246674 140734171246512 140412603849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1331780

[startup+1602.3 s]
/proc/loadavg: 2.05 2.08 2.03 3/183 12042
/proc/meminfo: memFree=29003480/32872528 swapFree=526336/559040
[pid=11753] ppid=11750 vsize=1331780 CPUtime=1601.82 cores=1,3,5,7
/proc/11753/stat : 11753 (toysat) R 11750 11753 10280 0 -1 4202496 274012 0 0 0 160140 42 0 0 20 0 4 0 31160788 1363742720 274461 33554432000 4194304 16246674 140734171246512 140734171228416 5662867 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11753/statm: 332945 274461 920 2943 0 329839 0
[pid=11753/tid=11754] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11754/stat : 11754 (toysat) S 11750 11753 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274461 33554432000 4194304 16246674 140734171246512 140412699258096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11753/tid=11755] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11755/stat : 11755 (toysat) S 11750 11753 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274461 33554432000 4194304 16246674 140734171246512 140412614323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11753/tid=11756] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11756/stat : 11756 (toysat) S 11750 11753 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274461 33554432000 4194304 16246674 140734171246512 140412603849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1331780

[startup+1662.3 s]
/proc/loadavg: 2.12 2.09 2.03 3/183 12043
/proc/meminfo: memFree=29003356/32872528 swapFree=526336/559040
[pid=11753] ppid=11750 vsize=1331780 CPUtime=1661.81 cores=1,3,5,7
/proc/11753/stat : 11753 (toysat) R 11750 11753 10280 0 -1 4202496 274012 0 0 0 166139 42 0 0 20 0 4 0 31160788 1363742720 274461 33554432000 4194304 16246674 140734171246512 140734171228416 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11753/statm: 332945 274461 920 2943 0 329839 0
[pid=11753/tid=11754] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11754/stat : 11754 (toysat) S 11750 11753 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274461 33554432000 4194304 16246674 140734171246512 140412699258096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11753/tid=11755] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11755/stat : 11755 (toysat) S 11750 11753 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274461 33554432000 4194304 16246674 140734171246512 140412614323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11753/tid=11756] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11756/stat : 11756 (toysat) S 11750 11753 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274461 33554432000 4194304 16246674 140734171246512 140412603849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1331780

[startup+1722.3 s]
/proc/loadavg: 2.08 2.09 2.03 3/183 12044
/proc/meminfo: memFree=29003488/32872528 swapFree=526336/559040
[pid=11753] ppid=11750 vsize=1331780 CPUtime=1721.8 cores=1,3,5,7
/proc/11753/stat : 11753 (toysat) R 11750 11753 10280 0 -1 4202496 274012 0 0 0 172138 42 0 0 20 0 4 0 31160788 1363742720 274461 33554432000 4194304 16246674 140734171246512 140734171228416 5823863 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11753/statm: 332945 274461 920 2943 0 329839 0
[pid=11753/tid=11754] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11754/stat : 11754 (toysat) S 11750 11753 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274461 33554432000 4194304 16246674 140734171246512 140412699258096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11753/tid=11755] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11755/stat : 11755 (toysat) S 11750 11753 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274461 33554432000 4194304 16246674 140734171246512 140412614323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11753/tid=11756] ppid=11750 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11756/stat : 11756 (toysat) S 11750 11753 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31160788 1363742720 274461 33554432000 4194304 16246674 140734171246512 140412603849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1331780

[startup+1782.3 s]
/proc/loadavg: 2.03 2.07 2.02 3/183 12046
/proc/meminfo: memFree=28920748/32872528 swapFree=526336/559040
[pid=11753] ppid=11750 vsize=1412676 CPUtime=1781.79 cores=1,3,5,7
/proc/11753/stat : 11753 (toysat) R 11750 11753 10280 0 -1 4202496 294237 0 0 0 178134 45 0 0 20 0 4 0 31160788 1446580224 294941 33554432000 4194304 16246674 140734171246512 140734171228416 5823455 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11753/statm: 353169 294941 920 2943 0 350063 0
[pid=11753/tid=11754] ppid=11750 vsize=1412676 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11754/stat : 11754 (toysat) S 11750 11753 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31160788 1446580224 294941 33554432000 4194304 16246674 140734171246512 140412699258096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11753/tid=11755] ppid=11750 vsize=1412676 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11755/stat : 11755 (toysat) S 11750 11753 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31160788 1446580224 294941 33554432000 4194304 16246674 140734171246512 140412614323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11753/tid=11756] ppid=11750 vsize=1412676 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11756/stat : 11756 (toysat) S 11750 11753 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31160788 1446580224 294941 33554432000 4194304 16246674 140734171246512 140412603849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1412676



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.02 2.06 2.02 3/183 12047
/proc/meminfo: memFree=28920832/32872528 swapFree=526336/559040
[pid=11753] ppid=11750 vsize=1412676 CPUtime=1800.09 cores=1,3,5,7
/proc/11753/stat : 11753 (toysat) R 11750 11753 10280 0 -1 4202496 294237 0 0 0 179964 45 0 0 20 0 4 0 31160788 1446580224 294941 33554432000 4194304 16246674 140734171246512 140734171228416 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11753/statm: 353169 294941 920 2943 0 350063 0
[pid=11753/tid=11754] ppid=11750 vsize=1412676 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11754/stat : 11754 (toysat) S 11750 11753 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31160788 1446580224 294941 33554432000 4194304 16246674 140734171246512 140412699258096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11753/tid=11755] ppid=11750 vsize=1412676 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11755/stat : 11755 (toysat) S 11750 11753 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31160788 1446580224 294941 33554432000 4194304 16246674 140734171246512 140412614323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11753/tid=11756] ppid=11750 vsize=1412676 CPUtime=0 cores=1,3,5,7
/proc/11753/task/11756/stat : 11756 (toysat) S 11750 11753 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31160788 1446580224 294941 33554432000 4194304 16246674 140734171246512 140412603849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1412676

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.65
CPU system time (s): 0.45493
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 1412676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.65
system time used= 0.45493
maximum resident set size= 1179764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 294237
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= 391
involuntary context switches= 1833

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.54231 second user time and 6.97194 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-19 01:05:07
IDJOB=4108365
IDBENCH=77243
IDSOLVER=2542
FILE ID=node106/4108365-1466291106
RUNJOBID= node106-1466277111-10297
PBS_JOBID= 19918270
Free space on /tmp= 71676 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12053_3.std.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4108365-1466291106/watcher-4108365-1466291106 -o /tmp/evaluation-result-4108365-1466291106/solver-4108365-1466291106 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466277111-10297 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4108365-1466291106.opb

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

MD5SUM BENCH= c9d9e9de965e10444f6e461e8225e8d3
RANDOM SEED=1010759495

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
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:        30050336 kB
Buffers:          114208 kB
Cached:           239052 kB
SwapCached:         1736 kB
Active:          1278968 kB
Inactive:         236036 kB
Active(anon):    1160844 kB
Inactive(anon):     3048 kB
Active(file):     118124 kB
Inactive(file):   232988 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             24280 kB
Writeback:             0 kB
AnonPages:       1720048 kB
Mapped:            10720 kB
Shmem:                 0 kB
Slab:             614212 kB
SReclaimable:      57668 kB
SUnreclaim:       556544 kB
KernelStack:        1464 kB
PageTables:         7564 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1862736 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1140736 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= 71652 MiB
End job on node106 at 2016-06-19 01:35:07