Trace number 4093472

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.1 1800.51

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j605_10-unsat--soft-33-100-0.wbo
MD5SUM511a250f181b5f88452d86a600065d28
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark379
Best CPU time to get the best result obtained on this benchmark1290.78
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables9638
Total number of constraints30220
Number of soft constraints20091
Number of constraints which are clauses29908
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints312
Minimum length of a constraint1
Maximum length of a constraint38
Top cost 1014619
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 1014618
Biggest number in a constraint 20
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 254
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T16:34:37+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4093472-1466087677.wbo"]
0.00/0.01	c use --random-gen="3886382131 2322754951 3336288236 833639641 1288946207 3368630539 2384113523 1471815170 3701545835 3756480863 267247580 207091410 1549144385 674825484 1486635876 1637305381 255557717 2452741786 204415349 2032406141 3608102733 1563980623 2076096458 2475660511 2187549315 661060912 4067285143 4042607856 114332456 3767950481 4019000880 1859140677 2913483715 1902478682 2269413953 749255633 3297632614 4055551723 453006731 1669476365 3048297989 386906239 2573344136 2834515250 2904053992 2246660667 725603496 3739922511 2362284044 2587149878 2312290915 3483316023 1982285363 3702638505 3712317831 3488674141 751882305 482121988 884113037 3010924480 276396966 819494385 1953946479 175514897 2914420311 2985699965 1265716192 1398973189 1986696446 2219647594 1611484597 3380264478 962750809 1281367659 4079918398 3929183325 507194429 905460713 3182210877 3412300485 91727123 4151882801 1850632492 655355116 1241792092 2726576934 2569904084 3281380534 779843193 661554982 3627374637 3727969566 1953375858 1822144505 1028015525 1299246672 2604250066 2551193954 1807724324 3765215890 3594942824 4118781247 2826536539 2416914883 228751854 528662268 814760183 4253773424 1297875890 255701597 3843958517 1098303559 3704798495 2462774151 2017567139 1062162309 169077477 3189582921 3782518267 2499381137 1327069678 4131477472 1461315975 3968955662 870144944 685963467 2716084849 3304450886 946869453 935315115 4090706834 2330909000 3592966212 1136601788 2976002976 1348828437 275276669 3721969408 429906241 4204435776 2448701441 3189076227 2840558525 672592273 2114669951 3792551325 1285795821 1909326744 2536777382 3206451827 2752390867 4269584109 3858945831 2796923194 3957026430 122286364 1489424467 2505774655 4031942340 1487134661 3784196248 1491701723 4162342874 2695614009 1467496563 2325059184 2346455802 1440108193 2390761608 2432880123 1194056442 1073249300 3247301026 207790241 824479727 1671534572 4061909629 774160510 3890649025 102686237 3893339590 4222662930 243807665 2153504005 274481873 2918709610 673943279 3446923335 3236794650 756357390 3313081053 4114004833 663520890 2206327855 2075541329 2475182572 2789029274 36768516 226070711 3245451191 2693752777 516836681 2051737322 1499432400 2194301971 960479605 2956646897 2235832973 2316251716 2128830858 3905581444 616788155 1095160039 1065609385 836381663 2184700565 3241192444 2546455813 4154991366 1256255373 708360152 80441612 229013161 1753985107 108746415 3491326618 2039320736 1973475368 3142528806 259614554 2544132627 1343552287 1530751894 836689738 266521794 3366568695 3158879138 749084578 4216422695 2200354688 758581600 862430486 2282262965 743579697 3792940820 2861429209 4114215118 3993507962 1712618855 3624949992 440662881 3725551265 2373038819 2895844019 1799940912 2016337053 255 362436" option to reproduce the execution
2.59/2.60	c #vars 9638
2.59/2.60	c #constraints 30220
3.09/3.17	c BCD2: Hardening is enabled.
3.09/3.17	c BCD2: BiasedSearch is enabled.
3.09/3.17	c Solving starts ...
3.09/3.17	c ============================[ Search Statistics ]============================
3.09/3.17	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.09/3.17	c       |         |          |          |    Limit     GC | Var      | Constra 
3.09/3.17	c =============================================================================
3.09/3.18	c  0.0s |       0 |        0 |        0 |    19381      0 |      345 |        0
3.30/3.33	c  0.2s |       1 |    14657 |      100 |    19381      0 |      345 |     1040
3.40/3.41	c  0.2s |       1 |    35169 |      101 |    21320      0 |      345 |     1040
3.40/3.41	c #cpu_time = 0.219s
3.40/3.41	c #wall_clock_time = 0.219s
3.40/3.41	c #decision = 35169
3.40/3.41	c #random_decision = 132
3.40/3.41	c #conflict = 101
3.40/3.41	c #restart = 1
3.40/3.42	o 25505
3.40/3.48	c BCD2: updating upper bound: 1021356 -> 32242
3.59/3.64	c BCD2: 0 <= obj <= 32242
3.59/3.64	c BCD2: #cores=0, #unrelaxed=20021, #relaxed=0, #hardened=0
3.59/3.64	c BCD2: #sat=1 #unsat=1 bias=1/2
3.59/3.65	c Solving starts ...
3.59/3.65	c ============================[ Search Statistics ]============================
3.59/3.65	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.59/3.65	c       |         |          |          |    Limit     GC | Var      | Constra 
3.59/3.65	c =============================================================================
3.59/3.65	c  0.0s |       0 |        0 |        0 |    21320      0 |      345 |     1040
3.59/3.67	c  0.0s |       0 |        0 |        0 |    21320      0 |      345 |     1040
3.59/3.67	c #cpu_time = 0.021s
3.59/3.67	c #wall_clock_time = 0.021s
3.59/3.67	c #decision = 0
3.59/3.67	c #random_decision = 0
3.59/3.67	c #conflict = 0
3.59/3.67	c #restart = 0
3.59/3.67	c BCD2: found a new core of size 1: cost of the new core is >=6738
3.59/3.67	c lower bound updated to 0
3.59/3.68	c BCD2: 6738 <= obj <= 32242
3.59/3.68	c BCD2: #cores=1, #unrelaxed=20020, #relaxed=1, #hardened=0
3.59/3.68	c BCD2: #sat=1 #unsat=2 bias=2/3
3.59/3.68	c Solving starts ...
3.59/3.68	c ============================[ Search Statistics ]============================
3.59/3.68	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.59/3.68	c       |         |          |          |    Limit     GC | Var      | Constra 
3.59/3.68	c =============================================================================
3.59/3.68	c  0.0s |       0 |        0 |        0 |    21320      0 |      345 |     1040
3.79/3.86	c  0.2s |       1 |    20156 |      100 |    21320      0 |      345 |     1040
4.09/4.15	c  0.5s |       2 |    40386 |      250 |    23453      0 |      345 |     1040
4.50/4.58	c  0.9s |       3 |    60671 |      475 |    25799      0 |      345 |     1040
5.19/5.23	c  1.5s |       4 |    81084 |      813 |    28379      0 |      345 |     1040
6.29/6.38	c  2.7s |       5 |   101703 |     1320 |    31217      0 |      345 |     1040
8.09/8.15	c  4.5s |       6 |   122681 |     2081 |    34339      0 |      345 |     1040
10.29/10.30	c  6.6s |       6 |   143818 |     2881 |    34339      0 |      345 |     1040
10.79/10.88	c  7.2s |       7 |   144282 |     3223 |    37773      0 |      345 |     1040
13.09/13.11	c  9.4s |       7 |   165441 |     4123 |    37773      0 |      345 |     1040
15.18/15.27	c 11.6s |       7 |   166354 |     4823 |    41551      0 |      345 |     1040
15.79/15.89	c 12.2s |       8 |   166500 |     4936 |    41551      0 |      345 |     1040
17.99/18.04	c 14.4s |       8 |   187271 |     5536 |    41551      0 |      345 |     1040
20.19/20.24	c 16.6s |       8 |   188354 |     6336 |    41551      0 |      345 |     1040
22.29/22.39	c 18.7s |       8 |   189076 |     6936 |    41551      0 |      345 |     1040
24.48/24.59	c 20.9s |       9 |   189757 |     7506 |    45707      0 |      345 |     1040
26.69/26.70	c 23.0s |       9 |   210272 |     7906 |    45707      0 |      345 |     1040
28.70/28.78	c 25.1s |       9 |   210898 |     8406 |    45707      0 |      345 |     1040
30.99/31.02	c 27.3s |       9 |   212043 |     9206 |    45707      0 |      345 |     1040
33.29/33.33	c 29.6s |       9 |   212947 |     9906 |    45707      0 |      345 |     1040
35.29/35.34	c 31.7s |       9 |   213565 |    10406 |    45707      0 |      345 |     1040
37.68/37.70	c 34.0s |       9 |   214349 |    11006 |    45707      0 |      345 |     1040
39.09/39.19	c 35.5s |      10 |   214802 |    11361 |    50278      0 |      345 |     1040
41.49/41.53	c 37.8s |      10 |   235278 |    11761 |    50278      0 |      345 |     1040
43.49/43.57	c 39.9s |      10 |   236049 |    12361 |    50278      0 |      345 |     1040
45.59/45.70	c 42.0s |      10 |   236837 |    12961 |    50278      0 |      345 |     1040
47.68/47.72	c 44.0s |      10 |   237525 |    13461 |    50278      0 |      345 |     1040
49.88/49.94	c 46.3s |      10 |   238294 |    14061 |    50278      0 |      345 |     1040
52.08/52.11	c 48.4s |      10 |   238952 |    14561 |    50278      0 |      345 |     1040
54.28/54.33	c 50.6s |      10 |   239581 |    15061 |    50278      0 |      345 |     1040
56.38/56.46	c 52.8s |      10 |   240203 |    15561 |    50278      0 |      345 |     1040
58.68/58.77	c 55.1s |      10 |   240955 |    16161 |    50278      0 |      345 |     1040
60.98/61.02	c 57.3s |      10 |   241574 |    16661 |    50278      0 |      345 |     1040
62.98/63.06	c 59.4s |      11 |   242210 |    17144 |    55306      0 |      345 |     1040
65.09/65.14	c 61.5s |      11 |   262558 |    17444 |    55306      0 |      345 |     1040
67.19/67.22	c 63.5s |      11 |   263161 |    17944 |    55306      0 |      345 |     1040
69.48/69.52	c 65.8s |      11 |   263965 |    18544 |    55306      0 |      345 |     1040
71.49/71.56	c 67.9s |      11 |   264610 |    19044 |    55306      0 |      345 |     1040
73.98/74.02	c 70.3s |      11 |   265215 |    19544 |    55306      0 |      345 |     1040
76.37/76.43	c 72.7s |      11 |   265951 |    20144 |    55306      0 |      345 |     1040
78.48/78.58	c 74.9s |      11 |   266432 |    20544 |    55306      0 |      345 |     1040
80.88/80.96	c 77.3s |      11 |   267061 |    21044 |    55306      0 |      345 |     1040
83.38/83.41	c 79.7s |      11 |   267540 |    21444 |    55306      0 |      345 |     1040
85.97/86.01	c 82.3s |      11 |   268024 |    21844 |    55306      0 |      345 |     1040
88.17/88.26	c 84.6s |      11 |   268507 |    22244 |    55306      0 |      345 |     1040
90.47/90.51	c 86.8s |      11 |   269132 |    22744 |    55306      0 |      345 |     1040
92.78/92.80	c 89.1s |      11 |   269625 |    23144 |    55306      0 |      345 |     1040
95.18/95.24	c 91.6s |      11 |   270108 |    23544 |    55306      0 |      345 |     1040
97.37/97.46	c 93.8s |      11 |   270604 |    23944 |    55306      0 |      345 |     1040
99.98/100.02	c 96.3s |      11 |   271134 |    24344 |    55306      0 |      345 |     1040
101.98/102.08	c 98.4s |      11 |   271534 |    24644 |    55306      0 |      345 |     1040
104.77/104.81	c  101s |      11 |   272005 |    25044 |    55306      0 |      345 |     1040
107.47/107.50	c  103s |      11 |   272501 |    25444 |    55306      0 |      345 |     1040
108.47/108.55	c  104s |      11 |   272641 |    25549 |    55306      0 |      345 |     1040
108.47/108.55	c #cpu_time = 104.866s
108.47/108.55	c #wall_clock_time = 104.860s
108.47/108.55	c #decision = 272641
108.47/108.55	c #random_decision = 12
108.47/108.55	c #conflict = 25549
108.47/108.55	c #restart = 11
108.47/108.56	c BCD2: found a new core of size 3227: cost of the new core is >=1
108.47/108.56	c lower bound updated to 1
108.47/108.58	c BCD2: 6739 <= obj <= 32242
108.47/108.58	c BCD2: #cores=2, #unrelaxed=16793, #relaxed=3228, #hardened=0
108.47/108.58	c BCD2: #sat=1 #unsat=3 bias=3/4
108.47/108.59	c Solving starts ...
108.47/108.59	c ============================[ Search Statistics ]============================
108.47/108.59	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
108.47/108.59	c       |         |          |          |    Limit     GC | Var      | Constra 
108.47/108.59	c =============================================================================
108.47/108.59	c  0.0s |       0 |        0 |        0 |    55306      0 |      345 |     1040
109.98/110.01	c  1.4s |       1 |    20143 |      100 |    60837      0 |      345 |     1040
110.97/111.06	c  2.5s |       1 |    40274 |      102 |    60837      0 |      345 |     1040
110.97/111.06	c #cpu_time = 2.450s
110.97/111.06	c #wall_clock_time = 2.450s
110.97/111.06	c #decision = 40274
110.97/111.06	c #random_decision = 6
110.97/111.06	c #conflict = 102
110.97/111.06	c #restart = 1
110.97/111.07	o 3497
110.97/111.08	c BCD2: updating upper bound: 32242 -> 10234
111.18/111.22	c BCD2: 6739 <= obj <= 10234
111.18/111.22	c BCD2: #cores=2, #unrelaxed=16793, #relaxed=3228, #hardened=0
111.18/111.22	c BCD2: #sat=2 #unsat=3 bias=3/5
111.18/111.24	c Solving starts ...
111.18/111.24	c ============================[ Search Statistics ]============================
111.18/111.24	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
111.18/111.24	c       |         |          |          |    Limit     GC | Var      | Constra 
111.18/111.24	c =============================================================================
111.18/111.24	c  0.0s |       0 |        0 |        0 |    60837      0 |      345 |     1041
112.47/112.50	c  1.3s |       1 |    18107 |      100 |    60837      0 |      345 |     1041
115.07/115.16	c  3.9s |       1 |    35077 |      200 |    60837      0 |      345 |     1041
116.17/116.28	c  5.0s |       2 |    35128 |      250 |    60837      0 |      345 |     1041
117.97/118.00	c  6.8s |       3 |    53115 |      475 |    60837      0 |      345 |     1041
120.58/120.63	c  9.4s |       3 |    70079 |      575 |    60837      0 |      345 |     1041
125.38/125.45	c 14.2s |       3 |    70322 |      775 |    60837      0 |      345 |     1041
126.18/126.22	c 15.0s |       4 |    70378 |      813 |    60837      0 |      345 |     1041
128.78/128.85	c 17.6s |       4 |    87355 |      913 |    60837      0 |      345 |     1041
132.57/132.63	c 21.4s |       4 |    87629 |     1113 |    60837      0 |      345 |     1041
136.17/136.23	c 25.0s |       4 |    87926 |     1313 |    60837      0 |      345 |     1041
136.27/136.39	c 25.2s |       5 |    87939 |     1320 |    60837      0 |      345 |     1041
139.07/139.10	c 27.9s |       5 |   104884 |     1420 |    60837      0 |      345 |     1041
142.67/142.75	c 31.5s |       5 |   105147 |     1620 |    60837      0 |      345 |     1041
144.97/145.09	c 33.9s |       5 |   105288 |     1720 |    60837      0 |      345 |     1041
148.67/148.72	c 37.5s |       5 |   105572 |     1920 |    60837      0 |      345 |     1041
151.67/151.76	c 40.5s |       6 |   105810 |     2081 |    60837      0 |      345 |     1041
154.67/154.78	c 43.5s |       6 |   122745 |     2181 |    60837      0 |      345 |     1041
157.87/157.97	c 46.7s |       6 |   123087 |     2381 |    60837      0 |      345 |     1041
160.17/160.22	c 49.0s |       6 |   123208 |     2481 |    60837      0 |      345 |     1041
162.37/162.41	c 51.2s |       6 |   123350 |     2581 |    60837      0 |      345 |     1041
166.37/166.43	c 55.2s |       6 |   123605 |     2781 |    60837      0 |      345 |     1041
168.47/168.53	c 57.3s |       6 |   123748 |     2881 |    60837      0 |      345 |     1041
170.58/170.63	c 59.4s |       6 |   123903 |     2981 |    60837      0 |      345 |     1041
172.77/172.86	c 61.6s |       6 |   124070 |     3081 |    60837      0 |      345 |     1041
175.07/175.17	c 63.9s |       6 |   124194 |     3181 |    60837      0 |      345 |     1041
175.97/176.02	c 64.8s |       7 |   124236 |     3223 |    60837      0 |      345 |     1041
179.47/179.54	c 68.3s |       7 |   141190 |     3323 |    60837      0 |      345 |     1041
182.07/182.14	c 70.9s |       7 |   141321 |     3423 |    60837      0 |      345 |     1041
184.57/184.65	c 73.4s |       7 |   141463 |     3523 |    60837      0 |      345 |     1041
187.47/187.51	c 76.3s |       7 |   141603 |     3623 |    60837      0 |      345 |     1041
189.97/190.09	c 78.9s |       7 |   141732 |     3723 |    60837      0 |      345 |     1041
192.06/192.11	c 80.9s |       7 |   141887 |     3823 |    60837      0 |      345 |     1041
194.56/194.60	c 83.4s |       7 |   142003 |     3923 |    60837      0 |      345 |     1041
197.06/197.18	c 85.9s |       7 |   142130 |     4023 |    60837      0 |      345 |     1041
200.17/200.30	c 89.1s |       7 |   142277 |     4123 |    60837      0 |      345 |     1041
203.16/203.21	c 92.0s |       7 |   142397 |     4223 |    60837      0 |      345 |     1041
205.96/206.08	c 94.8s |       7 |   142542 |     4323 |    60837      0 |      345 |     1041
208.76/208.80	c 97.6s |       7 |   142680 |     4423 |    60837      0 |      345 |     1041
211.86/211.93	c  100s |       7 |   142791 |     4523 |    60837      0 |      345 |     1041
214.36/214.48	c  103s |       7 |   142940 |     4623 |    60837      0 |      345 |     1041
217.26/217.34	c  106s |       7 |   143076 |     4723 |    60837      0 |      345 |     1041
220.26/220.31	c  109s |       7 |   143202 |     4823 |    60837      0 |      345 |     1041
222.46/222.53	c  111s |       7 |   143332 |     4923 |    60837      0 |      345 |     1041
222.76/222.88	c  111s |       8 |   143357 |     4936 |    60837      0 |      345 |     1041
226.26/226.38	c  115s |       8 |   160329 |     5036 |    60837      0 |      345 |     1041
229.46/229.59	c  118s |       8 |   160478 |     5136 |    60837      0 |      345 |     1041
232.76/232.89	c  121s |       8 |   160611 |     5236 |    60837      0 |      345 |     1041
238.56/238.70	c  127s |       8 |   160737 |     5336 |    60837      0 |      345 |     1041
241.16/241.24	c  130s |       8 |   160938 |     5436 |    60837      0 |      345 |     1041
244.65/244.73	c  133s |       8 |   161084 |     5536 |    60837      0 |      345 |     1041
246.75/246.85	c  135s |       8 |   161220 |     5636 |    60837      0 |      345 |     1041
249.55/249.69	c  138s |       8 |   161352 |     5736 |    60837      0 |      345 |     1041
252.55/252.66	c  141s |       8 |   161491 |     5836 |    60837      0 |      345 |     1041
255.45/255.50	c  144s |       8 |   161624 |     5936 |    60837      0 |      345 |     1041
259.05/259.18	c  147s |       8 |   161754 |     6036 |    60837      0 |      345 |     1041
263.65/263.74	c  152s |       8 |   161868 |     6136 |    60837      0 |      345 |     1041
267.15/267.21	c  155s |       8 |   162000 |     6236 |    60837      0 |      345 |     1041
271.85/271.90	c  160s |       8 |   162137 |     6336 |    60837      0 |      345 |     1041
274.15/274.29	c  163s |       8 |   162267 |     6436 |    60837      0 |      345 |     1041
278.95/279.05	c  167s |       8 |   162394 |     6536 |    60837      0 |      345 |     1041
284.45/284.50	c  173s |       8 |   162507 |     6636 |    60837      0 |      345 |     1041
287.95/288.06	c  176s |       8 |   162641 |     6736 |    60837      0 |      345 |     1041
291.65/291.74	c  180s |       8 |   162765 |     6836 |    60837      0 |      345 |     1041
294.75/294.82	c  183s |       8 |   162910 |     6936 |    60837      0 |      345 |     1041
297.05/297.14	c  185s |       8 |   163040 |     7036 |    60837      0 |      345 |     1041
299.65/299.76	c  188s |       8 |   163223 |     7136 |    60837      0 |      345 |     1041
302.35/302.40	c  191s |       8 |   163371 |     7236 |    60837      0 |      345 |     1041
304.45/304.59	c  193s |       8 |   163538 |     7336 |    60837      0 |      345 |     1041
306.85/306.91	c  195s |       8 |   163711 |     7436 |    60837      0 |      345 |     1041
308.45/308.59	c  197s |       9 |   163787 |     7506 |    60837      0 |      345 |     1041
312.04/312.15	c  200s |       9 |   180739 |     7606 |    60837      0 |      345 |     1041
314.44/314.53	c  203s |       9 |   180858 |     7706 |    60837      0 |      345 |     1041
316.44/316.55	c  205s |       9 |   180973 |     7806 |    60837      0 |      345 |     1041
318.74/318.88	c  207s |       9 |   181109 |     7906 |    60837      0 |      345 |     1041
321.04/321.15	c  209s |       9 |   181241 |     8006 |    60837      0 |      345 |     1041
323.64/323.78	c  212s |       9 |   181357 |     8106 |    60837      0 |      345 |     1041
326.84/326.91	c  215s |       9 |   181490 |     8206 |    60837      0 |      345 |     1041
329.04/329.12	c  217s |       9 |   181621 |     8306 |    60837      0 |      345 |     1041
331.74/331.87	c  220s |       9 |   181729 |     8406 |    60837      0 |      345 |     1041
334.45/334.54	c  223s |       9 |   181857 |     8506 |    60837      0 |      345 |     1041
336.55/336.66	c  225s |       9 |   181998 |     8606 |    60837      0 |      345 |     1041
339.24/339.33	c  228s |       9 |   182129 |     8706 |    60837      0 |      345 |     1041
342.15/342.28	c  231s |       9 |   182285 |     8806 |    60837      0 |      345 |     1041
344.54/344.64	c  233s |       9 |   182413 |     8906 |    60837      0 |      345 |     1041
347.54/347.65	c  236s |       9 |   182573 |     9006 |    60837      0 |      345 |     1041
350.24/350.31	c  239s |       9 |   182729 |     9106 |    60837      0 |      345 |     1041
353.44/353.58	c  242s |       9 |   182866 |     9206 |    60837      0 |      345 |     1041
356.34/356.49	c  245s |       9 |   182997 |     9306 |    60837      0 |      345 |     1041
358.44/358.54	c  247s |       9 |   183168 |     9406 |    60837      0 |      345 |     1041
361.34/361.43	c  250s |       9 |   183299 |     9506 |    60837      0 |      345 |     1041
363.74/363.83	c  252s |       9 |   183437 |     9606 |    60837      0 |      345 |     1041
366.54/366.68	c  255s |       9 |   183565 |     9706 |    60837      0 |      345 |     1041
370.74/370.83	c  259s |       9 |   183691 |     9806 |    60837      0 |      345 |     1041
374.33/374.48	c  263s |       9 |   183829 |     9906 |    60837      0 |      345 |     1041
379.03/379.12	c  267s |       9 |   183947 |    10006 |    60837      0 |      345 |     1041
383.43/383.58	c  272s |       9 |   184057 |    10106 |    60837      0 |      345 |     1041
387.24/387.37	c  276s |       9 |   184189 |    10206 |    60837      0 |      345 |     1041
390.63/390.71	c  279s |       9 |   184320 |    10306 |    60837      0 |      345 |     1041
393.93/394.01	c  282s |       9 |   184445 |    10406 |    60837      0 |      345 |     1041
396.83/396.97	c  285s |       9 |   184566 |    10506 |    60837      0 |      345 |     1041
400.53/400.62	c  289s |       9 |   184738 |    10606 |    60837      0 |      345 |     1041
402.93/403.09	c  291s |       9 |   184930 |    10706 |    60837      0 |      345 |     1041
405.84/405.99	c  294s |       9 |   185092 |    10806 |    60837      0 |      345 |     1041
409.43/409.59	c  298s |       9 |   185232 |    10906 |    60837      0 |      345 |     1041
412.83/412.99	c  301s |       9 |   185342 |    11006 |    60837      0 |      345 |     1041
416.73/416.83	c  305s |       9 |   185458 |    11106 |    60837      0 |      345 |     1041
419.33/419.47	c  308s |       9 |   185605 |    11206 |    60837      0 |      345 |     1041
422.93/423.01	c  311s |       9 |   185720 |    11306 |    60837      0 |      345 |     1041
424.93/425.01	c  313s |      10 |   185794 |    11361 |    60837      0 |      345 |     1041
428.82/428.97	c  317s |      10 |   202739 |    11461 |    60837      0 |      345 |     1041
431.23/431.34	c  320s |      10 |   202882 |    11561 |    60837      0 |      345 |     1041
433.82/433.91	c  322s |      10 |   203033 |    11661 |    60837      0 |      345 |     1041
436.12/436.24	c  325s |      10 |   203193 |    11761 |    60837      0 |      345 |     1041
438.93/439.01	c  327s |      10 |   203339 |    11861 |    60837      0 |      345 |     1041
441.82/441.95	c  330s |      10 |   203475 |    11961 |    60837      0 |      345 |     1041
445.72/445.84	c  334s |      10 |   203635 |    12061 |    60837      0 |      345 |     1041
450.32/450.49	c  339s |      10 |   203771 |    12161 |    60837      0 |      345 |     1041
453.62/453.78	c  342s |      10 |   203888 |    12261 |    60837      0 |      345 |     1041
456.61/456.73	c  345s |      10 |   204036 |    12361 |    60837      0 |      345 |     1041
459.01/459.17	c  347s |      10 |   204148 |    12461 |    60837      0 |      345 |     1041
462.11/462.22	c  350s |      10 |   204306 |    12561 |    60837      0 |      345 |     1041
465.61/465.79	c  354s |      10 |   204417 |    12661 |    60837      0 |      345 |     1041
469.11/469.22	c  357s |      10 |   204553 |    12761 |    60837      0 |      345 |     1041
473.41/473.57	c  362s |      10 |   204679 |    12861 |    66921      0 |      345 |     1041
477.70/477.89	c  366s |      10 |   204814 |    12961 |    66921      0 |      345 |     1041
482.20/482.34	c  371s |      10 |   204925 |    13061 |    66921      0 |      345 |     1041
485.90/486.00	c  374s |      10 |   205052 |    13161 |    66921      0 |      345 |     1041
489.20/489.33	c  378s |      10 |   205173 |    13261 |    66921      0 |      345 |     1041
491.71/491.81	c  380s |      10 |   205316 |    13361 |    66921      0 |      345 |     1041
494.80/494.97	c  383s |      10 |   205439 |    13461 |    66921      0 |      345 |     1041
498.20/498.32	c  387s |      10 |   205552 |    13561 |    66921      0 |      345 |     1041
501.00/501.11	c  389s |      10 |   205694 |    13661 |    66921      0 |      345 |     1041
504.60/504.76	c  393s |      10 |   205807 |    13761 |    66921      0 |      345 |     1041
507.89/508.07	c  396s |      10 |   205920 |    13861 |    66921      0 |      345 |     1041
511.29/511.44	c  400s |      10 |   206038 |    13961 |    66921      0 |      345 |     1041
515.29/515.41	c  404s |      10 |   206166 |    14061 |    66921      0 |      345 |     1041
519.49/519.60	c  408s |      10 |   206301 |    14161 |    66921      0 |      345 |     1041
523.09/523.26	c  412s |      10 |   206426 |    14261 |    66921      0 |      345 |     1041
527.48/527.67	c  416s |      10 |   206557 |    14361 |    66921      0 |      345 |     1041
531.88/532.10	c  420s |      10 |   206677 |    14461 |    66921      0 |      345 |     1041
535.98/536.10	c  424s |      10 |   206828 |    14561 |    66921      0 |      345 |     1041
540.48/540.61	c  429s |      10 |   206967 |    14661 |    66921      0 |      345 |     1041
544.28/544.40	c  433s |      10 |   207099 |    14761 |    66921      0 |      345 |     1041
548.17/548.35	c  437s |      10 |   207230 |    14861 |    66921      0 |      345 |     1041
553.07/553.25	c  442s |      10 |   207361 |    14961 |    66921      0 |      345 |     1041
557.57/557.79	c  446s |      10 |   207500 |    15061 |    66921      0 |      345 |     1041
561.56/561.73	c  450s |      10 |   207626 |    15161 |    66921      0 |      345 |     1041
565.06/565.28	c  454s |      10 |   207753 |    15261 |    66921      0 |      345 |     1041
569.06/569.20	c  457s |      10 |   207880 |    15361 |    66921      0 |      345 |     1041
572.96/573.12	c  461s |      10 |   207998 |    15461 |    66921      0 |      345 |     1041
576.26/576.49	c  465s |      10 |   208115 |    15561 |    66921      0 |      345 |     1041
580.05/580.22	c  468s |      10 |   208253 |    15661 |    66921      0 |      345 |     1041
583.15/583.34	c  472s |      10 |   208401 |    15761 |    66921      0 |      345 |     1041
586.74/586.98	c  475s |      10 |   208527 |    15861 |    66921      0 |      345 |     1041
590.14/590.33	c  479s |      10 |   208657 |    15961 |    66921      0 |      345 |     1041
593.34/593.53	c  482s |      10 |   208784 |    16061 |    66921      0 |      345 |     1041
596.34/596.58	c  485s |      10 |   208911 |    16161 |    66921      0 |      345 |     1041
599.34/599.60	c  488s |      10 |   209022 |    16261 |    66921      0 |      345 |     1041
601.94/602.15	c  490s |      10 |   209243 |    16361 |    66921      0 |      345 |     1041
605.84/606.05	c  494s |      10 |   209368 |    16461 |    66921      0 |      345 |     1041
608.93/609.16	c  497s |      10 |   209500 |    16561 |    66921      0 |      345 |     1041
612.33/612.51	c  501s |      10 |   209647 |    16661 |    66921      0 |      345 |     1041
616.53/616.71	c  505s |      10 |   209770 |    16761 |    66921      0 |      345 |     1041
620.33/620.57	c  509s |      10 |   209882 |    16861 |    66921      0 |      345 |     1041
623.82/624.04	c  512s |      10 |   210023 |    16961 |    66921      0 |      345 |     1041
626.22/626.46	c  515s |      10 |   210158 |    17061 |    66921      0 |      345 |     1041
630.02/630.24	c  519s |      11 |   210261 |    17144 |    66921      0 |      345 |     1041
634.31/634.53	c  523s |      11 |   227218 |    17244 |    66921      0 |      345 |     1041
637.11/637.35	c  526s |      11 |   227348 |    17344 |    66921      0 |      345 |     1041
640.12/640.32	c  529s |      11 |   227494 |    17444 |    66921      0 |      345 |     1041
642.81/643.01	c  531s |      11 |   227642 |    17544 |    66921      0 |      345 |     1041
645.41/645.63	c  534s |      11 |   227785 |    17644 |    66921      0 |      345 |     1041
648.81/649.00	c  537s |      11 |   227909 |    17744 |    66921      0 |      345 |     1041
652.70/652.93	c  541s |      11 |   228045 |    17844 |    66921      0 |      345 |     1041
656.20/656.43	c  545s |      11 |   228176 |    17944 |    66921      0 |      345 |     1041
660.00/660.27	c  549s |      11 |   228284 |    18044 |    66921      0 |      345 |     1041
663.20/663.45	c  552s |      11 |   228418 |    18144 |    66921      0 |      345 |     1041
667.60/667.86	c  556s |      11 |   228555 |    18244 |    66921      0 |      345 |     1041
670.99/671.20	c  559s |      11 |   228686 |    18344 |    66921      0 |      345 |     1041
674.19/674.44	c  563s |      11 |   228799 |    18444 |    66921      0 |      345 |     1041
678.49/678.72	c  567s |      11 |   228928 |    18544 |    66921      0 |      345 |     1041
682.28/682.59	c  571s |      11 |   229042 |    18644 |    66921      0 |      345 |     1041
685.98/686.29	c  575s |      11 |   229176 |    18744 |    66921      0 |      345 |     1041
689.08/689.30	c  578s |      11 |   229311 |    18844 |    66921      0 |      345 |     1041
693.07/693.32	c  582s |      11 |   229435 |    18944 |    66921      0 |      345 |     1041
696.18/696.49	c  585s |      11 |   229573 |    19044 |    66921      0 |      345 |     1041
700.37/700.62	c  589s |      11 |   229684 |    19144 |    66921      0 |      345 |     1041
703.57/703.81	c  592s |      11 |   229808 |    19244 |    66921      0 |      345 |     1041
706.86/707.19	c  595s |      11 |   229940 |    19344 |    66921      0 |      345 |     1041
710.96/711.25	c  600s |      11 |   230068 |    19444 |    66921      0 |      345 |     1041
714.87/715.14	c  603s |      11 |   230183 |    19544 |    66921      0 |      345 |     1041
718.86/719.19	c  607s |      11 |   230309 |    19644 |    66921      0 |      345 |     1041
723.16/723.42	c  612s |      11 |   230433 |    19744 |    66921      0 |      345 |     1041
726.86/727.16	c  615s |      11 |   230561 |    19844 |    66921      0 |      345 |     1041
730.45/730.79	c  619s |      11 |   230692 |    19944 |    66921      0 |      345 |     1041
733.75/734.02	c  622s |      11 |   230809 |    20044 |    66921      0 |      345 |     1041
737.15/737.49	c  626s |      11 |   230919 |    20144 |    66921      0 |      345 |     1041
740.75/741.06	c  629s |      11 |   231056 |    20244 |    66921      0 |      345 |     1041
743.15/743.41	c  632s |      11 |   231189 |    20344 |    66921      0 |      345 |     1041
745.75/746.01	c  634s |      11 |   231319 |    20444 |    66921      0 |      345 |     1041
751.54/751.81	c  640s |      11 |   231442 |    20544 |    66921      0 |      345 |     1041
756.55/756.85	c  645s |      11 |   231568 |    20644 |    66921      0 |      345 |     1041
760.84/761.20	c  649s |      11 |   231707 |    20744 |    66921      0 |      345 |     1041
764.74/765.02	c  653s |      11 |   231830 |    20844 |    66921      0 |      345 |     1041
768.54/768.84	c  657s |      11 |   231933 |    20944 |    66921      0 |      345 |     1041
772.44/772.77	c  661s |      11 |   232054 |    21044 |    66921      0 |      345 |     1041
776.94/777.22	c  665s |      11 |   232163 |    21144 |    66921      0 |      345 |     1041
780.44/780.77	c  669s |      11 |   232285 |    21244 |    66921      0 |      345 |     1041
783.05/783.37	c  672s |      11 |   232435 |    21344 |    66921      0 |      345 |     1041
786.14/786.43	c  675s |      11 |   232587 |    21444 |    66921      0 |      345 |     1041
789.24/789.58	c  678s |      11 |   232733 |    21544 |    66921      0 |      345 |     1041
792.64/792.92	c  681s |      11 |   232845 |    21644 |    66921      0 |      345 |     1041
795.94/796.20	c  684s |      11 |   233002 |    21744 |    66921      0 |      345 |     1041
799.34/799.66	c  688s |      11 |   233159 |    21844 |    66921      0 |      345 |     1041
803.33/803.66	c  692s |      11 |   233261 |    21944 |    66921      0 |      345 |     1041
807.24/807.56	c  696s |      11 |   233370 |    22044 |    66921      0 |      345 |     1041
810.73/811.06	c  699s |      11 |   233483 |    22144 |    66921      0 |      345 |     1041
814.13/814.47	c  703s |      11 |   233600 |    22244 |    66921      0 |      345 |     1041
818.03/818.37	c  707s |      11 |   233708 |    22344 |    66921      0 |      345 |     1041
822.33/822.66	c  711s |      11 |   233829 |    22444 |    66921      0 |      345 |     1041
826.63/826.92	c  715s |      11 |   233969 |    22544 |    66921      0 |      345 |     1041
830.13/830.44	c  719s |      11 |   234074 |    22644 |    66921      0 |      345 |     1041
834.03/834.35	c  723s |      11 |   234186 |    22744 |    66921      0 |      345 |     1041
838.13/838.41	c  727s |      11 |   234304 |    22844 |    66921      0 |      345 |     1041
843.73/844.03	c  732s |      11 |   234434 |    22944 |    66921      0 |      345 |     1041
847.94/848.22	c  736s |      11 |   234555 |    23044 |    66921      0 |      345 |     1041
852.63/852.92	c  741s |      11 |   234684 |    23144 |    66921      0 |      345 |     1041
856.23/856.58	c  745s |      11 |   234800 |    23244 |    66921      0 |      345 |     1041
860.73/861.05	c  749s |      11 |   234920 |    23344 |    66921      0 |      345 |     1041
864.93/865.23	c  753s |      11 |   235035 |    23444 |    66921      0 |      345 |     1041
868.73/869.08	c  757s |      11 |   235169 |    23544 |    66921      0 |      345 |     1041
874.12/874.43	c  763s |      11 |   235318 |    23644 |    66921      0 |      345 |     1041
878.83/879.13	c  767s |      11 |   235444 |    23744 |    66921      0 |      345 |     1041
884.14/884.50	c  773s |      11 |   235579 |    23844 |    66921      0 |      345 |     1041
889.43/889.73	c  778s |      11 |   235690 |    23944 |    66921      0 |      345 |     1041
895.63/895.99	c  784s |      11 |   235816 |    24044 |    66921      0 |      345 |     1041
900.83/901.16	c  789s |      11 |   235955 |    24144 |    66921      0 |      345 |     1041
904.63/904.90	c  793s |      11 |   236088 |    24244 |    66921      0 |      345 |     1041
908.63/908.96	c  797s |      11 |   236216 |    24344 |    66921      0 |      345 |     1041
913.93/914.26	c  803s |      11 |   236333 |    24444 |    66921      0 |      345 |     1041
919.43/919.78	c  808s |      11 |   236453 |    24544 |    66921      0 |      345 |     1041
924.03/924.32	c  813s |      11 |   236581 |    24644 |    66921      0 |      345 |     1041
928.13/928.44	c  817s |      11 |   236709 |    24744 |    66921      0 |      345 |     1041
933.42/933.70	c  822s |      11 |   236827 |    24844 |    66921      0 |      345 |     1041
937.62/937.96	c  826s |      11 |   236938 |    24944 |    66921      0 |      345 |     1041
942.22/942.54	c  831s |      11 |   237055 |    25044 |    66921      0 |      345 |     1041
946.72/947.02	c  835s |      11 |   237183 |    25144 |    66921      0 |      345 |     1041
950.23/950.51	c  839s |      11 |   237316 |    25244 |    66921      0 |      345 |     1041
953.22/953.57	c  842s |      11 |   237441 |    25344 |    66921      0 |      345 |     1041
956.32/956.68	c  845s |      11 |   237580 |    25444 |    66921      0 |      345 |     1041
959.92/960.22	c  848s |      11 |   237718 |    25544 |    66921      0 |      345 |     1041
964.12/964.50	c  853s |      11 |   237833 |    25644 |    66921      0 |      345 |     1041
967.52/967.89	c  856s |      11 |   237963 |    25744 |    66921      0 |      345 |     1041
970.12/970.49	c  859s |      12 |   238046 |    25819 |    66921      0 |      345 |     1041
975.02/975.38	c  864s |      12 |   254994 |    25919 |    66921      0 |      345 |     1041
978.02/978.36	c  867s |      12 |   255147 |    26019 |    66921      0 |      345 |     1041
983.41/983.70	c  872s |      12 |   255273 |    26119 |    66921      0 |      345 |     1041
986.52/986.81	c  875s |      12 |   255445 |    26219 |    66921      0 |      345 |     1041
989.61/989.92	c  878s |      12 |   255570 |    26319 |    66921      0 |      345 |     1041
993.81/994.18	c  882s |      12 |   255692 |    26419 |    66921      0 |      345 |     1041
997.42/997.73	c  886s |      12 |   255821 |    26519 |    66921      0 |      345 |     1041
1002.01/1002.32	c  891s |      12 |   255961 |    26619 |    66921      0 |      345 |     1041
1005.81/1006.18	c  894s |      12 |   256076 |    26719 |    66921      0 |      345 |     1041
1010.41/1010.77	c  899s |      12 |   256200 |    26819 |    66921      0 |      345 |     1041
1013.81/1014.16	c  902s |      12 |   256344 |    26919 |    66921      0 |      345 |     1041
1017.91/1018.20	c  906s |      12 |   256468 |    27019 |    66921      0 |      345 |     1041
1021.31/1021.67	c  910s |      12 |   256598 |    27119 |    66921      0 |      345 |     1041
1024.61/1024.95	c  913s |      12 |   256720 |    27219 |    66921      0 |      345 |     1041
1028.51/1028.80	c  917s |      12 |   256849 |    27319 |    66921      0 |      345 |     1041
1032.51/1032.88	c  921s |      12 |   256962 |    27419 |    66921      0 |      345 |     1041
1036.71/1037.01	c  925s |      12 |   257101 |    27519 |    66921      0 |      345 |     1041
1040.11/1040.44	c  929s |      12 |   257232 |    27619 |    66921      0 |      345 |     1041
1044.31/1044.64	c  933s |      12 |   257338 |    27719 |    66921      0 |      345 |     1041
1047.01/1047.39	c  936s |      12 |   257501 |    27819 |    66921      0 |      345 |     1041
1051.41/1051.74	c  940s |      12 |   257626 |    27919 |    66921      0 |      345 |     1041
1057.40/1057.78	c  946s |      12 |   257769 |    28019 |    66921      0 |      345 |     1041
1061.00/1061.37	c  950s |      12 |   257902 |    28119 |    66921      0 |      345 |     1041
1064.30/1064.66	c  953s |      12 |   258037 |    28219 |    66921      0 |      345 |     1041
1068.20/1068.56	c  957s |      12 |   258144 |    28319 |    66921      0 |      345 |     1041
1071.00/1071.37	c  960s |      12 |   258266 |    28419 |    66921      0 |      345 |     1041
1074.00/1074.33	c  963s |      12 |   258372 |    28519 |    66921      0 |      345 |     1041
1076.71/1077.06	c  965s |      12 |   258494 |    28619 |    66921      0 |      345 |     1041
1078.91/1079.29	c  968s |      12 |   258668 |    28719 |    66921      0 |      345 |     1041
1082.00/1082.30	c  971s |      12 |   258787 |    28819 |    66921      0 |      345 |     1041
1085.20/1085.53	c  974s |      12 |   258931 |    28919 |    66921      0 |      345 |     1041
1089.20/1089.56	c  978s |      12 |   259050 |    29019 |    66921      0 |      345 |     1041
1092.30/1092.67	c  981s |      12 |   259168 |    29119 |    66921      0 |      345 |     1041
1096.30/1096.63	c  985s |      12 |   259303 |    29219 |    66921      0 |      345 |     1041
1099.20/1099.51	c  988s |      12 |   259412 |    29319 |    66921      0 |      345 |     1041
1101.70/1102.05	c  990s |      12 |   259585 |    29419 |    66921      0 |      345 |     1041
1105.90/1106.27	c  995s |      12 |   259704 |    29519 |    66921      0 |      345 |     1041
1110.10/1110.46	c  999s |      12 |   259839 |    29619 |    66921      0 |      345 |     1041
1117.49/1117.82	c 1006s |      12 |   259956 |    29719 |    66921      0 |      345 |     1041
1121.19/1121.58	c 1010s |      12 |   260072 |    29819 |    66921      0 |      345 |     1041
1125.00/1125.40	c 1014s |      12 |   260182 |    29919 |    66921      0 |      345 |     1041
1128.99/1129.37	c 1018s |      12 |   260312 |    30019 |    66921      0 |      345 |     1041
1132.49/1132.81	c 1021s |      12 |   260432 |    30119 |    66921      0 |      345 |     1041
1136.79/1137.14	c 1025s |      12 |   260565 |    30219 |    66921      0 |      345 |     1041
1140.09/1140.47	c 1029s |      12 |   260672 |    30319 |    66921      0 |      345 |     1041
1143.89/1144.27	c 1033s |      12 |   260824 |    30419 |    66921      0 |      345 |     1041
1147.89/1148.21	c 1036s |      12 |   260954 |    30519 |    66921      0 |      345 |     1041
1152.09/1152.46	c 1041s |      12 |   261089 |    30619 |    66921      0 |      345 |     1041
1154.99/1155.30	c 1044s |      12 |   261246 |    30719 |    66921      0 |      345 |     1041
1158.79/1159.17	c 1047s |      12 |   261364 |    30819 |    66921      0 |      345 |     1041
1161.89/1162.22	c 1050s |      12 |   261506 |    30919 |    66921      0 |      345 |     1041
1165.39/1165.77	c 1054s |      12 |   261655 |    31019 |    66921      0 |      345 |     1041
1168.09/1168.47	c 1057s |      12 |   261804 |    31119 |    66921      0 |      345 |     1041
1172.58/1172.90	c 1061s |      12 |   261949 |    31219 |    66921      0 |      345 |     1041
1177.48/1177.82	c 1066s |      12 |   262089 |    31319 |    66921      0 |      345 |     1041
1180.68/1181.02	c 1069s |      12 |   262222 |    31419 |    66921      0 |      345 |     1041
1183.98/1184.38	c 1073s |      12 |   262359 |    31519 |    66921      0 |      345 |     1041
1187.69/1188.09	c 1076s |      12 |   262480 |    31619 |    66921      0 |      345 |     1041
1191.18/1191.52	c 1080s |      12 |   262618 |    31719 |    66921      0 |      345 |     1041
1195.18/1195.59	c 1084s |      12 |   262742 |    31819 |    66921      0 |      345 |     1041
1198.58/1198.90	c 1087s |      12 |   262856 |    31919 |    66921      0 |      345 |     1041
1201.99/1202.32	c 1091s |      12 |   262997 |    32019 |    66921      0 |      345 |     1041
1205.78/1206.18	c 1094s |      12 |   263100 |    32119 |    66921      0 |      345 |     1041
1209.08/1209.49	c 1098s |      12 |   263233 |    32219 |    73614      0 |      345 |     1041
1212.28/1212.68	c 1101s |      12 |   263369 |    32319 |    73614      0 |      345 |     1041
1215.98/1216.33	c 1105s |      12 |   263520 |    32419 |    73614      0 |      345 |     1041
1219.68/1220.05	c 1108s |      12 |   263625 |    32519 |    73614      0 |      345 |     1041
1222.98/1223.35	c 1112s |      12 |   263755 |    32619 |    73614      0 |      345 |     1041
1227.08/1227.47	c 1116s |      12 |   263899 |    32719 |    73614      0 |      345 |     1041
1234.68/1235.04	c 1123s |      12 |   264021 |    32819 |    73614      0 |      345 |     1041
1239.38/1239.73	c 1128s |      12 |   264156 |    32919 |    73614      0 |      345 |     1041
1243.78/1244.12	c 1132s |      12 |   264292 |    33019 |    73614      0 |      345 |     1041
1248.28/1248.65	c 1137s |      12 |   264421 |    33119 |    73614      0 |      345 |     1041
1253.37/1253.78	c 1142s |      12 |   264573 |    33219 |    73614      0 |      345 |     1041
1257.77/1258.16	c 1146s |      12 |   264721 |    33319 |    73614      0 |      345 |     1041
1262.37/1262.71	c 1151s |      12 |   264854 |    33419 |    73614      0 |      345 |     1041
1266.88/1267.22	c 1155s |      12 |   264986 |    33519 |    73614      0 |      345 |     1041
1271.38/1271.76	c 1160s |      12 |   265114 |    33619 |    73614      0 |      345 |     1041
1275.17/1275.50	c 1164s |      12 |   265248 |    33719 |    73614      0 |      345 |     1041
1278.67/1279.08	c 1167s |      12 |   265393 |    33819 |    73614      0 |      345 |     1041
1283.07/1283.48	c 1172s |      12 |   265525 |    33919 |    73614      0 |      345 |     1041
1287.67/1288.06	c 1176s |      12 |   265649 |    34019 |    73614      0 |      345 |     1041
1291.27/1291.61	c 1180s |      12 |   265779 |    34119 |    73614      0 |      345 |     1041
1295.17/1295.53	c 1184s |      12 |   265898 |    34219 |    73614      0 |      345 |     1041
1299.26/1299.66	c 1188s |      12 |   266057 |    34319 |    73614      0 |      345 |     1041
1304.56/1304.93	c 1193s |      12 |   266173 |    34419 |    73614      0 |      345 |     1041
1308.77/1309.19	c 1197s |      12 |   266329 |    34519 |    73614      0 |      345 |     1041
1313.76/1314.14	c 1202s |      12 |   266469 |    34619 |    73614      0 |      345 |     1041
1320.06/1320.45	c 1209s |      12 |   266590 |    34719 |    73614      0 |      345 |     1041
1324.86/1325.23	c 1213s |      12 |   266712 |    34819 |    73614      0 |      345 |     1041
1330.86/1331.24	c 1220s |      12 |   266859 |    34919 |    73614      0 |      345 |     1041
1335.06/1335.45	c 1224s |      12 |   266978 |    35019 |    73614      0 |      345 |     1041
1338.56/1338.97	c 1227s |      12 |   267110 |    35119 |    73614      0 |      345 |     1041
1342.16/1342.55	c 1231s |      12 |   267238 |    35219 |    73614      0 |      345 |     1041
1347.56/1347.92	c 1236s |      12 |   267413 |    35319 |    73614      0 |      345 |     1041
1352.96/1353.37	c 1242s |      12 |   267517 |    35419 |    73614      0 |      345 |     1041
1357.75/1358.10	c 1246s |      12 |   267655 |    35519 |    73614      0 |      345 |     1041
1362.75/1363.13	c 1251s |      12 |   267790 |    35619 |    73614      0 |      345 |     1041
1368.55/1368.91	c 1257s |      12 |   267932 |    35719 |    73614      0 |      345 |     1041
1373.25/1373.63	c 1262s |      12 |   268046 |    35819 |    73614      0 |      345 |     1041
1376.86/1377.22	c 1265s |      12 |   268171 |    35919 |    73614      0 |      345 |     1041
1380.55/1380.97	c 1269s |      12 |   268287 |    36019 |    73614      0 |      345 |     1041
1383.46/1383.83	c 1272s |      12 |   268429 |    36119 |    73614      0 |      345 |     1041
1385.95/1386.32	c 1275s |      12 |   268561 |    36219 |    73614      0 |      345 |     1041
1389.25/1389.64	c 1278s |      12 |   268704 |    36319 |    73614      0 |      345 |     1041
1396.55/1396.97	c 1285s |      12 |   268824 |    36419 |    73614      0 |      345 |     1041
1399.95/1400.39	c 1289s |      12 |   268945 |    36519 |    73614      0 |      345 |     1041
1403.75/1404.14	c 1292s |      12 |   269066 |    36619 |    73614      0 |      345 |     1041
1406.45/1406.85	c 1295s |      12 |   269224 |    36719 |    73614      0 |      345 |     1041
1409.05/1409.50	c 1298s |      12 |   269384 |    36819 |    73614      0 |      345 |     1041
1411.75/1412.13	c 1300s |      12 |   269509 |    36919 |    73614      0 |      345 |     1041
1415.94/1416.31	c 1305s |      12 |   269625 |    37019 |    73614      0 |      345 |     1041
1419.75/1420.18	c 1308s |      12 |   269746 |    37119 |    73614      0 |      345 |     1041
1424.54/1424.94	c 1313s |      12 |   269866 |    37219 |    73614      0 |      345 |     1041
1429.24/1429.63	c 1318s |      12 |   269990 |    37319 |    73614      0 |      345 |     1041
1434.05/1434.48	c 1323s |      12 |   270125 |    37419 |    73614      0 |      345 |     1041
1436.84/1437.24	c 1325s |      12 |   270248 |    37519 |    73614      0 |      345 |     1041
1439.55/1439.94	c 1328s |      12 |   270365 |    37619 |    73614      0 |      345 |     1041
1444.05/1444.49	c 1333s |      12 |   270498 |    37719 |    73614      0 |      345 |     1041
1449.55/1449.99	c 1338s |      12 |   270623 |    37819 |    73614      0 |      345 |     1041
1453.14/1453.55	c 1342s |      12 |   270750 |    37919 |    73614      0 |      345 |     1041
1458.24/1458.64	c 1347s |      12 |   270862 |    38019 |    73614      0 |      345 |     1041
1462.44/1462.80	c 1351s |      12 |   270999 |    38119 |    73614      0 |      345 |     1041
1467.83/1468.27	c 1357s |      12 |   271119 |    38219 |    73614      0 |      345 |     1041
1472.73/1473.17	c 1361s |      12 |   271259 |    38319 |    73614      0 |      345 |     1041
1477.33/1477.75	c 1366s |      12 |   271368 |    38419 |    73614      0 |      345 |     1041
1480.73/1481.18	c 1369s |      12 |   271501 |    38519 |    73614      0 |      345 |     1041
1484.13/1484.57	c 1373s |      12 |   271624 |    38619 |    73614      0 |      345 |     1041
1486.63/1487.03	c 1375s |      12 |   271799 |    38719 |    73614      0 |      345 |     1041
1489.83/1490.27	c 1379s |      12 |   271949 |    38819 |    73614      0 |      345 |     1041
1490.33/1490.77	c 1379s |      13 |   271959 |    38832 |    73614      0 |      345 |     1041
1494.65/1495.08	c 1383s |      13 |   288922 |    38932 |    73614      0 |      345 |     1041
1499.05/1499.47	c 1388s |      13 |   289030 |    39032 |    73614      0 |      345 |     1041
1503.44/1503.89	c 1392s |      13 |   289159 |    39132 |    73614      0 |      345 |     1041
1507.34/1507.79	c 1396s |      13 |   289292 |    39232 |    73614      0 |      345 |     1041
1510.84/1511.24	c 1399s |      13 |   289407 |    39332 |    73614      0 |      345 |     1041
1513.34/1513.73	c 1402s |      13 |   289573 |    39432 |    73614      0 |      345 |     1041
1516.54/1516.99	c 1405s |      13 |   289683 |    39532 |    73614      0 |      345 |     1041
1519.94/1520.34	c 1409s |      13 |   289804 |    39632 |    73614      0 |      345 |     1041
1523.03/1523.48	c 1412s |      13 |   289935 |    39732 |    73614      0 |      345 |     1041
1526.54/1526.94	c 1415s |      13 |   290063 |    39832 |    73614      0 |      345 |     1041
1531.33/1531.70	c 1420s |      13 |   290175 |    39932 |    73614      0 |      345 |     1041
1534.63/1535.00	c 1423s |      13 |   290305 |    40032 |    73614      0 |      345 |     1041
1538.33/1538.73	c 1427s |      13 |   290428 |    40132 |    73614      0 |      345 |     1041
1542.03/1542.49	c 1431s |      13 |   290563 |    40232 |    73614      0 |      345 |     1041
1546.13/1546.54	c 1435s |      13 |   290695 |    40332 |    73614      0 |      345 |     1041
1551.53/1551.97	c 1440s |      13 |   290805 |    40432 |    73614      0 |      345 |     1041
1555.83/1556.28	c 1445s |      13 |   290920 |    40532 |    73614      0 |      345 |     1041
1560.13/1560.55	c 1449s |      13 |   291037 |    40632 |    73614      0 |      345 |     1041
1564.13/1564.55	c 1453s |      13 |   291158 |    40732 |    73614      0 |      345 |     1041
1567.43/1567.89	c 1456s |      13 |   291278 |    40832 |    73614      0 |      345 |     1041
1570.63/1571.07	c 1459s |      13 |   291402 |    40932 |    73614      0 |      345 |     1041
1574.52/1574.92	c 1463s |      13 |   291515 |    41032 |    73614      0 |      345 |     1041
1578.13/1578.58	c 1467s |      13 |   291642 |    41132 |    73614      0 |      345 |     1041
1583.32/1583.76	c 1472s |      13 |   291756 |    41232 |    73614      0 |      345 |     1041
1587.32/1587.78	c 1476s |      13 |   291878 |    41332 |    73614      0 |      345 |     1041
1592.32/1592.71	c 1481s |      13 |   292009 |    41432 |    73614      0 |      345 |     1041
1596.02/1596.45	c 1485s |      13 |   292131 |    41532 |    73614      0 |      345 |     1041
1599.32/1599.70	c 1488s |      13 |   292282 |    41632 |    73614      0 |      345 |     1041
1601.92/1602.38	c 1491s |      13 |   292427 |    41732 |    73614      0 |      345 |     1041
1604.62/1605.03	c 1493s |      13 |   292590 |    41832 |    73614      0 |      345 |     1041
1607.02/1607.48	c 1496s |      13 |   292704 |    41932 |    73614      0 |      345 |     1041
1611.02/1611.43	c 1500s |      13 |   292813 |    42032 |    73614      0 |      345 |     1041
1614.92/1615.34	c 1504s |      13 |   292958 |    42132 |    73614      0 |      345 |     1041
1619.11/1619.58	c 1508s |      13 |   293074 |    42232 |    73614      0 |      345 |     1041
1622.91/1623.39	c 1512s |      13 |   293201 |    42332 |    73614      0 |      345 |     1041
1626.71/1627.15	c 1515s |      13 |   293327 |    42432 |    73614      0 |      345 |     1041
1630.01/1630.44	c 1519s |      13 |   293457 |    42532 |    73614      0 |      345 |     1041
1633.01/1633.40	c 1522s |      13 |   293578 |    42632 |    73614      0 |      345 |     1041
1638.01/1638.47	c 1527s |      13 |   293689 |    42732 |    73614      0 |      345 |     1041
1642.91/1643.36	c 1532s |      13 |   293805 |    42832 |    73614      0 |      345 |     1041
1647.11/1647.51	c 1536s |      13 |   293940 |    42932 |    73614      0 |      345 |     1041
1653.41/1653.83	c 1542s |      13 |   294084 |    43032 |    73614      0 |      345 |     1041
1658.51/1658.90	c 1547s |      13 |   294226 |    43132 |    73614      0 |      345 |     1041
1665.01/1665.44	c 1554s |      13 |   294365 |    43232 |    73614      0 |      345 |     1041
1671.30/1671.73	c 1560s |      13 |   294481 |    43332 |    73614      0 |      345 |     1041
1675.50/1675.96	c 1564s |      13 |   294602 |    43432 |    73614      0 |      345 |     1041
1679.00/1679.45	c 1568s |      13 |   294745 |    43532 |    73614      0 |      345 |     1041
1683.60/1684.05	c 1572s |      13 |   294881 |    43632 |    73614      0 |      345 |     1041
1688.00/1688.47	c 1577s |      13 |   295003 |    43732 |    73614      0 |      345 |     1041
1691.80/1692.24	c 1581s |      13 |   295151 |    43832 |    73614      0 |      345 |     1041
1695.60/1696.09	c 1584s |      13 |   295245 |    43932 |    73614      0 |      345 |     1041
1698.60/1699.08	c 1587s |      13 |   295376 |    44032 |    73614      0 |      345 |     1041
1702.30/1702.71	c 1591s |      13 |   295494 |    44132 |    73614      0 |      345 |     1041
1706.20/1706.65	c 1595s |      13 |   295619 |    44232 |    73614      0 |      345 |     1041
1710.30/1710.75	c 1599s |      13 |   295732 |    44332 |    73614      0 |      345 |     1041
1715.00/1715.40	c 1604s |      13 |   295865 |    44432 |    73614      0 |      345 |     1041
1720.00/1720.43	c 1609s |      13 |   296011 |    44532 |    73614      0 |      345 |     1041
1724.00/1724.46	c 1613s |      13 |   296133 |    44632 |    73614      0 |      345 |     1041
1730.10/1730.57	c 1619s |      13 |   296262 |    44732 |    73614      0 |      345 |     1041
1734.80/1735.20	c 1623s |      13 |   296399 |    44832 |    73614      0 |      345 |     1041
1739.49/1739.94	c 1628s |      13 |   296540 |    44932 |    73614      0 |      345 |     1041
1743.69/1744.10	c 1632s |      13 |   296659 |    45032 |    73614      0 |      345 |     1041
1747.89/1748.31	c 1637s |      13 |   296810 |    45132 |    73614      0 |      345 |     1041
1751.49/1751.96	c 1640s |      13 |   296940 |    45232 |    73614      0 |      345 |     1041
1754.89/1755.35	c 1644s |      13 |   297087 |    45332 |    73614      0 |      345 |     1041
1759.70/1760.12	c 1648s |      13 |   297197 |    45432 |    73614      0 |      345 |     1041
1764.10/1764.59	c 1653s |      13 |   297345 |    45532 |    73614      0 |      345 |     1041
1767.69/1768.10	c 1656s |      13 |   297473 |    45632 |    73614      0 |      345 |     1041
1770.70/1771.17	c 1659s |      13 |   297608 |    45732 |    73614      0 |      345 |     1041
1773.69/1774.19	c 1662s |      13 |   297728 |    45832 |    73614      0 |      345 |     1041
1777.79/1778.24	c 1667s |      13 |   297857 |    45932 |    73614      0 |      345 |     1041
1780.89/1781.35	c 1670s |      13 |   297989 |    46032 |    73614      0 |      345 |     1041
1784.99/1785.47	c 1674s |      13 |   298128 |    46132 |    73614      0 |      345 |     1041
1789.39/1789.82	c 1678s |      13 |   298242 |    46232 |    73614      0 |      345 |     1041
1793.69/1794.14	c 1682s |      13 |   298378 |    46332 |    73614      0 |      345 |     1041
1797.49/1797.94	c 1686s |      13 |   298512 |    46432 |    73614      0 |      345 |     1041

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

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

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


[startup+0 s]
/proc/loadavg: 2.45 2.38 2.30 3/179 19922
/proc/meminfo: memFree=30246752/32872528 swapFree=1402008/1579836
[pid=19922] ppid=19919 vsize=716220 CPUtime=0 cores=0,2,4,6
/proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 2673 0 0 0 0 0 0 0 20 0 4 0 10813462 733409280 3034 33554432000 4194304 16246674 140737359980656 140737359980080 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19922/statm: 179823 3042 441 2943 0 176717 0
[pid=19922/tid=19923] ppid=19919 vsize=732604 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 750186496 3098 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19922/tid=19924] ppid=19919 vsize=736700 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 754380800 3114 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19922/tid=19925] ppid=19919 vsize=741820 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 759623680 3132 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.45 2.38 2.30 3/179 19922
/proc/meminfo: memFree=30246752/32872528 swapFree=1402008/1579836
[pid=19922] ppid=19919 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 25158 0 0 0 7 2 0 0 20 0 4 0 10813462 1333334016 25460 33554432000 4194304 16246674 140737359980656 140737359979968 8058796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19922/statm: 325521 25473 800 2943 0 322415 0
[pid=19922/tid=19923] ppid=19919 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1333334016 25483 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19922/tid=19924] ppid=19919 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1333334016 25494 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19922/tid=19925] ppid=19919 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1333334016 25504 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200506 s]
/proc/loadavg: 2.45 2.38 2.30 3/179 19922
/proc/meminfo: memFree=30246752/32872528 swapFree=1402008/1579836
[pid=19922] ppid=19919 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 45998 0 0 0 14 5 0 0 20 0 4 0 10813462 1344868352 46810 33554432000 4194304 16246674 140737359980656 140737359979968 8055400 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19922/statm: 328337 46810 801 2943 0 325231 0
[pid=19922/tid=19923] ppid=19919 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1344868352 46810 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19922/tid=19924] ppid=19919 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1344868352 46810 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19922/tid=19925] ppid=19919 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1344868352 46810 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300496 s]
/proc/loadavg: 2.45 2.38 2.30 3/179 19922
/proc/meminfo: memFree=30246752/32872528 swapFree=1402008/1579836
[pid=19922] ppid=19919 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 46120 0 0 0 23 6 0 0 20 0 4 0 10813462 1344868352 46932 33554432000 4194304 16246674 140737359980656 140737359979968 13950230 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19922/statm: 328337 46932 823 2943 0 325231 0
[pid=19922/tid=19923] ppid=19919 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1344868352 46932 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19922/tid=19924] ppid=19919 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1344868352 46932 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19922/tid=19925] ppid=19919 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1344868352 46932 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700374 s]
/proc/loadavg: 2.45 2.38 2.30 3/179 19922
/proc/meminfo: memFree=30246752/32872528 swapFree=1402008/1579836
[pid=19922] ppid=19919 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 46132 0 0 0 63 6 0 0 20 0 4 0 10813462 1344868352 46944 33554432000 4194304 16246674 140737359980656 140737359979968 13774212 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19922/statm: 328337 46944 833 2943 0 325231 0
[pid=19922/tid=19923] ppid=19919 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1344868352 46944 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19922/tid=19924] ppid=19919 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1344868352 46944 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19922/tid=19925] ppid=19919 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1344868352 46944 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50038 s]
/proc/loadavg: 2.45 2.38 2.30 3/183 19926
/proc/meminfo: memFree=29511776/32872528 swapFree=1402008/1579836
[pid=19922] ppid=19919 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 199590 0 0 0 123 26 0 0 20 0 4 0 10813462 1344868352 200403 33554432000 4194304 16246674 140737359980656 140737359962560 12459121 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19922/statm: 328337 200408 839 2943 0 325231 0
[pid=19922/tid=19923] ppid=19919 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1344868352 200414 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19922/tid=19924] ppid=19919 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1344868352 200421 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19922/tid=19925] ppid=19919 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1344868352 200427 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10035 s]
/proc/loadavg: 2.41 2.37 2.30 3/183 19926
/proc/meminfo: memFree=28387592/32872528 swapFree=1402008/1579836
[pid=19922] ppid=19919 vsize=1334852 CPUtime=3.09 cores=0,2,4,6
/proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 274367 0 0 0 274 35 0 0 20 0 4 0 10813462 1366888448 275179 33554432000 4194304 16246674 140737359980656 140737359978496 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19922/statm: 333713 275179 870 2943 0 330607 0
[pid=19922/tid=19923] ppid=19919 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1366888448 275179 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19922/tid=19924] ppid=19919 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1366888448 275179 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19922/tid=19925] ppid=19919 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1366888448 275179 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1334852

[startup+6.3004 s]
/proc/loadavg: 2.41 2.37 2.30 3/183 19926
/proc/meminfo: memFree=28230412/32872528 swapFree=1402008/1579836
[pid=19922] ppid=19919 vsize=1336900 CPUtime=6.29 cores=0,2,4,6
/proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 274941 0 0 0 594 35 0 0 20 0 4 0 10813462 1368985600 275753 33554432000 4194304 16246674 140737359980656 140737359979832 5822761 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19922/statm: 334225 275753 932 2943 0 331119 0
[pid=19922/tid=19923] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 275753 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19922/tid=19924] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 275753 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19922/tid=19925] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 275753 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1336900

[startup+12.7004 s]
/proc/loadavg: 2.42 2.37 2.30 3/183 19926
/proc/meminfo: memFree=28229924/32872528 swapFree=1402008/1579836
[pid=19922] ppid=19919 vsize=1336900 CPUtime=12.69 cores=0,2,4,6
/proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 274945 0 0 0 1234 35 0 0 20 0 4 0 10813462 1368985600 275757 33554432000 4194304 16246674 140737359980656 140737359979832 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19922/statm: 334225 275757 936 2943 0 331119 0
[pid=19922/tid=19923] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 275757 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19922/tid=19924] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 275757 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19922/tid=19925] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 275757 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1336900

[startup+25.5005 s]
/proc/loadavg: 2.43 2.38 2.30 3/183 19926
/proc/meminfo: memFree=28230844/32872528 swapFree=1402008/1579836
[pid=19922] ppid=19919 vsize=1336900 CPUtime=25.48 cores=0,2,4,6
/proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 274945 0 0 0 2512 36 0 0 20 0 4 0 10813462 1368985600 275757 33554432000 4194304 16246674 140737359980656 140737359978496 5523188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19922/statm: 334225 275757 936 2943 0 331119 0
[pid=19922/tid=19923] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 275757 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19922/tid=19924] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 275757 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19922/tid=19925] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 275757 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1336900

[startup+51.1005 s]
/proc/loadavg: 2.43 2.38 2.30 4/183 20073
/proc/meminfo: memFree=28230384/32872528 swapFree=1402008/1579836
[pid=19922] ppid=19919 vsize=1336900 CPUtime=51.08 cores=0,2,4,6
/proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 274945 0 0 0 5070 38 0 0 20 0 4 0 10813462 1368985600 275757 33554432000 4194304 16246674 140737359980656 140737359979752 4206921 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19922/statm: 334225 275757 936 2943 0 331119 0
[pid=19922/tid=19923] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 275757 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19922/tid=19924] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 275757 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19922/tid=19925] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 275757 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1336900

[startup+102.3 s]
/proc/loadavg: 2.35 2.36 2.29 4/183 20269
/proc/meminfo: memFree=28528580/32872528 swapFree=1402008/1579836
[pid=19922] ppid=19919 vsize=1336900 CPUtime=102.29 cores=0,2,4,6
/proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 274945 0 0 0 10187 42 0 0 20 0 4 0 10813462 1368985600 276013 33554432000 4194304 16246674 140737359980656 140737359979832 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19922/statm: 334225 276013 936 2943 0 331119 0
[pid=19922/tid=19923] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276013 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19922/tid=19924] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276013 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19922/tid=19925] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276013 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1336900


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

/proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1336900

[startup+1362.3 s]
/proc/loadavg: 2.15 2.23 2.25 3/182 20349
/proc/meminfo: memFree=27181592/32872528 swapFree=1402008/1579836
[pid=19922] ppid=19919 vsize=1336900 CPUtime=1361.95 cores=0,2,4,6
/proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 275136 0 0 0 136151 44 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140737359962560 5712760 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19922/statm: 334225 276015 938 2943 0 331119 0
[pid=19922/tid=19923] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19922/tid=19924] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19922/tid=19925] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1336900

[startup+1422.3 s]
/proc/loadavg: 2.26 2.26 2.26 3/183 20351
/proc/meminfo: memFree=27071732/32872528 swapFree=1402008/1579836
[pid=19922] ppid=19919 vsize=1336900 CPUtime=1421.95 cores=0,2,4,6
/proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 275136 0 0 0 142151 44 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140737359962560 5712760 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19922/statm: 334225 276015 938 2943 0 331119 0
[pid=19922/tid=19923] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19922/tid=19924] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19922/tid=19925] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1336900

[startup+1482.3 s]
/proc/loadavg: 2.35 2.28 2.27 3/183 20352
/proc/meminfo: memFree=27027340/32872528 swapFree=1402008/1579836
[pid=19922] ppid=19919 vsize=1336900 CPUtime=1481.93 cores=0,2,4,6
/proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 275136 0 0 0 148149 44 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140737359962560 5712760 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19922/statm: 334225 276015 938 2943 0 331119 0
[pid=19922/tid=19923] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19922/tid=19924] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19922/tid=19925] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1336900

[startup+1542.31 s]
/proc/loadavg: 2.30 2.27 2.26 3/184 20356
/proc/meminfo: memFree=27006800/32872528 swapFree=1402008/1579836
[pid=19922] ppid=19919 vsize=1336900 CPUtime=1541.94 cores=0,2,4,6
/proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 275136 0 0 0 154149 45 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140737359962560 5712760 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19922/statm: 334225 276015 938 2943 0 331119 0
[pid=19922/tid=19923] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19922/tid=19924] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19922/tid=19925] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 1336900

[startup+1602.3 s]
/proc/loadavg: 2.21 2.25 2.26 3/184 20380
/proc/meminfo: memFree=26993144/32872528 swapFree=1402008/1579836
[pid=19922] ppid=19919 vsize=1336900 CPUtime=1601.92 cores=0,2,4,6
/proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 275136 0 0 0 160147 45 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140737359962560 5712672 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19922/statm: 334225 276015 938 2943 0 331119 0
[pid=19922/tid=19923] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19922/tid=19924] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19922/tid=19925] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 1336900

[startup+1662.3 s]
/proc/loadavg: 2.27 2.26 2.26 3/183 20381
/proc/meminfo: memFree=26977740/32872528 swapFree=1402008/1579836
[pid=19922] ppid=19919 vsize=1336900 CPUtime=1661.91 cores=0,2,4,6
/proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 275136 0 0 0 166146 45 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140737359962560 5712756 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19922/statm: 334225 276015 938 2943 0 331119 0
[pid=19922/tid=19923] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19922/tid=19924] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19922/tid=19925] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 1336900

[startup+1722.3 s]
/proc/loadavg: 2.20 2.24 2.25 3/183 20383
/proc/meminfo: memFree=26953220/32872528 swapFree=1402008/1579836
[pid=19922] ppid=19919 vsize=1336900 CPUtime=1721.9 cores=0,2,4,6
/proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 275136 0 0 0 172145 45 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140737359962560 13943600 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19922/statm: 334225 276015 938 2943 0 331119 0
[pid=19922/tid=19923] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19922/tid=19924] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19922/tid=19925] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1336900

[startup+1782.3 s]
/proc/loadavg: 2.28 2.25 2.26 3/183 20384
/proc/meminfo: memFree=26943668/32872528 swapFree=1402008/1579836
[pid=19922] ppid=19919 vsize=1336900 CPUtime=1781.89 cores=0,2,4,6
/proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 275136 0 0 0 178144 45 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140737359962560 5712756 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19922/statm: 334225 276015 938 2943 0 331119 0
[pid=19922/tid=19923] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19922/tid=19924] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19922/tid=19925] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 1336900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.33 2.27 2.26 3/183 20384
/proc/meminfo: memFree=26938780/32872528 swapFree=1402008/1579836
[pid=19922] ppid=19919 vsize=1336900 CPUtime=1800.09 cores=0,2,4,6
/proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 275136 0 0 0 179964 45 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140737359962560 5712760 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19922/statm: 334225 276015 938 2943 0 331119 0
[pid=19922/tid=19923] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19922/tid=19924] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19922/tid=19925] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1336900

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

[startup+1800.5 s]
/proc/loadavg: 2.33 2.27 2.26 3/183 20384
/proc/meminfo: memFree=26938780/32872528 swapFree=1402008/1579836
[pid=19922] ppid=19919 vsize=1336900 CPUtime=1800.09 cores=0,2,4,6
/proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 275136 0 0 0 179964 45 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140737359962560 5712760 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19922/statm: 334225 276015 938 2943 0 331119 0
[pid=19922/tid=19923] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19922/tid=19924] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19922/tid=19925] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1336900

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.1
CPU user time (s): 1799.64
CPU system time (s): 0.45793
CPU usage (%): 99.9775
Max. virtual memory (cumulated for all children) (KiB): 1336900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.45793
maximum resident set size= 1104060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275136
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= 204
involuntary context switches= 1847

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.45632 second user time and 7.03993 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-16 16:34:37
IDJOB=4093472
IDBENCH=79086
IDSOLVER=2553
FILE ID=node139/4093472-1466087677
RUNJOBID= node139-1466075487-16983
PBS_JOBID= 19904001
Free space on /tmp= 71612 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/normalized-j605_10-unsat--soft-33-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093472-1466087677/watcher-4093472-1466087677 -o /tmp/evaluation-result-4093472-1466087677/solver-4093472-1466087677 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466075487-16983 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093472-1466087677.wbo

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

MD5SUM BENCH= 511a250f181b5f88452d86a600065d28
RANDOM SEED=1709252756

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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:        30247188 kB
Buffers:           39388 kB
Cached:           113460 kB
SwapCached:          960 kB
Active:           269016 kB
Inactive:          72680 kB
Active(anon):     189332 kB
Inactive(anon):     1240 kB
Active(file):      79684 kB
Inactive(file):    71440 kB
Unevictable:     1579836 kB
Mlocked:         1402008 kB
SwapTotal:      67108856 kB
SwapFree:       67100120 kB
Dirty:             35400 kB
Writeback:             0 kB
AnonPages:       1767380 kB
Mapped:            10184 kB
Shmem:                 0 kB
Slab:             569460 kB
SReclaimable:      13008 kB
SUnreclaim:       556452 kB
KernelStack:        1520 kB
PageTables:         9728 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2802968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    182272 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= 71592 MiB
End job on node139 at 2016-06-16 17:04:38