Trace number 4093588

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.24 1800.55

General information on the benchmark

Name/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.8.accl.ucl--soft-0-100-0.wbo
MD5SUMa31a9948f18584eba3770008abd12676
Bench CategorySOFT-BIGINT-LIN (only soft constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark267.41
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables21380
Total number of constraints60984
Number of soft constraints60984
Number of constraints which are clauses58828
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2156
Minimum length of a constraint1
Maximum length of a constraint13
Top cost 3073241
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 3073240
Biggest number in a constraint 73
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 262
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T16:43:33+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-4093588-1466088212.wbo"]
0.00/0.01	c use --random-gen="4005634287 412344132 105737411 2518729046 3096187383 3380199601 1375855508 3465728454 2482514833 3383695420 3308658824 3783789702 305405708 4289905318 2637851372 4192875032 1087618548 1968646185 1180938595 3989475831 1725172508 1309716386 3513562040 860108794 2558560965 907131960 2891975460 992288191 1261620354 1610024637 2744576263 2249882433 1520892718 3202527682 162585224 1415610964 3481726124 1457651135 1343486600 1870347239 3883997138 4054701191 1537417171 1749942314 247944735 1987133691 1538846033 2751278723 1413072784 1888235578 214427970 2866406801 1148388984 3363362623 843099139 170616546 435117028 3984867615 2364700673 943873553 1738964604 3585318468 1043919154 531928724 2368417225 2229951244 573142177 202731323 1354079650 1878412073 108609728 3106107224 3551790879 3755233761 1878115750 3425421094 2137051084 728266496 429153078 1954169536 3939527200 3883090776 2572553714 2485097790 3577434429 3630265392 1768597332 547704525 550847537 3324970308 410607903 3763593410 2980976614 3030879320 3219329432 2470258089 934325536 2109113851 1253344107 3004971069 1705467607 4158491916 615712170 2249612201 671343944 2700599629 28328244 2252496852 2757904211 1061806383 922777240 2544245455 2328017442 722092821 773769385 2898761371 3763678963 3144254453 994575827 2568686816 3161969911 578917871 3717270027 469522143 631222453 641454364 1859347896 3245530937 1469928986 1720614630 3383061650 4194924948 377079749 1008300805 1053107696 3800948629 1169139534 1717688074 2668375267 1930343556 2405511633 1058467587 243863652 3475343549 3276651512 1231585903 4013644414 1677655968 807815127 149789885 680540218 4138295464 1497193234 2601980196 2605402447 343257313 2321927196 2651751324 2004499716 1481799190 3001310988 3615681916 3329393168 4085739265 4257789075 612518196 3581332644 2786511812 1565656510 1932093956 2691944780 4161978071 670267711 257053215 2247464974 3961659178 729703773 937874506 2409173800 307243585 1820950467 1149989865 1429268687 203661587 2161969608 1857723802 64375255 1350774342 2489688931 486980742 210776475 1305458629 2085044831 2985429210 1203580155 736288830 225837025 3297708382 854561506 4278005728 1990900806 3506034889 4219709375 1003742345 2352168787 3134605707 3083436044 1131004102 2695788142 2492849637 1731587389 45179790 3592712941 3260795875 2130779746 3807851829 3168234163 3515877964 991984208 3537606082 3277942888 4202106044 1830860884 3213313279 2844058984 57485133 3692399762 3014406843 3467909886 1091802925 1242467142 2496832032 4004361909 3505672665 1540214693 1737613493 3014929555 990669305 3125662669 157194329 3747285759 4211635006 424740878 3269054804 1184148034 3627318052 2482084569 3492898039 1997284990 605099616 671237061 2064611309 2511899291 2912699617 3577061404 1433127368 255 362436" option to reproduce the execution
2.59/2.63	c #vars 21380
2.59/2.63	c #constraints 60984
4.49/4.51	c BCD2: Hardening is enabled.
4.49/4.51	c BCD2: BiasedSearch is enabled.
4.49/4.51	c Solving starts ...
4.49/4.51	c ============================[ Search Statistics ]============================
4.49/4.51	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.49/4.51	c       |         |          |          |    Limit     GC | Var      | Constra 
4.49/4.51	c =============================================================================
4.49/4.53	c  0.0s |       0 |        0 |        0 |    47782      0 |        1 |        0
4.99/5.01	c  0.5s |       0 |    96406 |       87 |    47782      0 |        1 |        0
4.99/5.01	c #cpu_time = 0.432s
4.99/5.01	c #wall_clock_time = 0.433s
4.99/5.01	c #decision = 96406
4.99/5.01	c #random_decision = 367
4.99/5.01	c #conflict = 87
4.99/5.01	c #restart = 0
4.99/5.03	o 8364
5.19/5.20	c BCD2: updating upper bound: 3073264 -> 8387
5.70/5.77	c BCD2: 0 <= obj <= 8387
5.70/5.78	c BCD2: #cores=0, #unrelaxed=60985, #relaxed=0, #hardened=0
5.70/5.78	c BCD2: #sat=1 #unsat=1 bias=1/2
5.70/5.79	c Solving starts ...
5.70/5.79	c ============================[ Search Statistics ]============================
5.70/5.79	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
5.70/5.79	c       |         |          |          |    Limit     GC | Var      | Constra 
5.70/5.79	c =============================================================================
5.70/5.79	c  0.0s |       0 |        0 |        0 |    47782      0 |        1 |        0
5.79/5.85	c  0.1s |       0 |        0 |        0 |    47782      0 |        1 |        0
5.79/5.85	c #cpu_time = 0.061s
5.79/5.85	c #wall_clock_time = 0.061s
5.79/5.85	c #decision = 0
5.79/5.85	c #random_decision = 0
5.79/5.85	c #conflict = 0
5.79/5.85	c #restart = 0
5.79/5.85	c BCD2: found a new core of size 1: cost of the new core is >=24
5.79/5.85	c lower bound updated to 0
5.79/5.88	c BCD2: 24 <= obj <= 8387
5.79/5.88	c BCD2: #cores=1, #unrelaxed=60984, #relaxed=1, #hardened=0
5.79/5.88	c BCD2: #sat=1 #unsat=2 bias=2/3
5.79/5.89	c Solving starts ...
5.79/5.89	c ============================[ Search Statistics ]============================
5.79/5.89	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
5.79/5.89	c       |         |          |          |    Limit     GC | Var      | Constra 
5.79/5.89	c =============================================================================
5.79/5.89	c  0.0s |       0 |        0 |        0 |    47782      0 |        1 |        0
6.29/6.36	c  0.5s |       1 |   149271 |      100 |    52561      0 |        1 |        0
6.99/7.08	c  1.2s |       2 |   211235 |      250 |    57818      0 |        1 |        0
7.69/7.78	c  1.9s |       3 |   272808 |      475 |    63600      0 |        1 |        0
9.19/9.28	c  3.4s |       4 |   335049 |      813 |    69960      0 |        1 |        0
10.99/11.05	c  5.2s |       5 |   397179 |     1320 |    76956      0 |        1 |        0
13.49/13.54	c  7.7s |       5 |   459523 |     1820 |    76956      0 |        1 |        0
14.29/14.33	c  8.4s |       6 |   460386 |     2081 |    84652      0 |        1 |        0
16.59/16.64	c 10.8s |       6 |   523412 |     2681 |    84652      0 |        1 |        0
19.19/19.27	c 13.4s |       6 |   523925 |     2981 |    84652      0 |        1 |        0
20.99/21.07	c 15.2s |       7 |   524312 |     3223 |    93118      0 |        1 |        0
22.98/23.08	c 17.2s |       7 |   587203 |     3723 |    93118      0 |        1 |        0
25.49/25.54	c 19.7s |       7 |   588798 |     4323 |    93118      0 |        1 |        0
27.59/27.62	c 21.7s |       7 |   591442 |     4923 |   102430      0 |        1 |        0
27.59/27.67	c 21.8s |       8 |   591465 |     4936 |   102430      0 |        1 |        0
29.98/30.02	c 24.1s |       8 |   654858 |     5436 |   102430      0 |        1 |        0
32.09/32.13	c 26.2s |       8 |   656266 |     6036 |   102430      0 |        1 |        0
34.58/34.66	c 28.8s |       8 |   656875 |     6436 |   102430      0 |        1 |        0
36.98/37.06	c 31.2s |       8 |   657335 |     6736 |   102430      0 |        1 |        0
39.09/39.19	c 33.3s |       8 |   657828 |     7036 |   102430      0 |        1 |        0
41.78/41.80	c 35.9s |       8 |   658308 |     7336 |   102430      0 |        1 |        0
43.38/43.45	c 37.6s |       9 |   658536 |     7506 |   112674      0 |        1 |        0
45.38/45.48	c 39.6s |       9 |   721444 |     8206 |   112674      0 |        1 |        0
47.68/47.75	c 41.9s |       9 |   722369 |     8706 |   112674      0 |        1 |        0
49.88/49.93	c 44.0s |       9 |   723338 |     9206 |   112674      0 |        1 |        0
52.48/52.57	c 46.7s |       9 |   724005 |     9606 |   112674      0 |        1 |        0
54.68/54.73	c 48.8s |       9 |   725219 |    10206 |   112674      0 |        1 |        0
56.98/57.05	c 51.2s |       9 |   726307 |    10906 |   112674      0 |        1 |        0
58.28/58.37	c 52.5s |      10 |   727397 |    11361 |   123942      0 |        1 |        0
60.38/60.44	c 54.5s |      10 |   788898 |    11561 |   123942      0 |        1 |        0
62.79/62.87	c 57.0s |      10 |   789775 |    11961 |   123942      0 |        1 |        0
65.28/65.35	c 59.5s |      10 |   790218 |    12261 |   123942      0 |        1 |        0
67.38/67.47	c 61.6s |      10 |   790878 |    12561 |   123942      0 |        1 |        0
70.28/70.31	c 64.4s |      10 |   791289 |    12861 |   123942      0 |        1 |        0
72.28/72.32	c 66.4s |      10 |   791933 |    13161 |   123942      0 |        1 |        0
74.47/74.53	c 68.6s |      10 |   792419 |    13461 |   123942      0 |        1 |        0
76.47/76.57	c 70.7s |      10 |   793904 |    13861 |   123942      0 |        1 |        0
78.97/79.07	c 73.2s |      10 |   794410 |    14161 |   123942      0 |        1 |        0
81.18/81.26	c 75.4s |      10 |   797148 |    14661 |   123942      0 |        1 |        0
83.38/83.45	c 77.6s |      10 |   798149 |    15061 |   123942      0 |        1 |        0
85.78/85.86	c 80.0s |      10 |   799001 |    15361 |   123942      0 |        1 |        0
87.77/87.88	c 82.0s |      10 |   800556 |    15861 |   123942      0 |        1 |        0
90.17/90.22	c 84.3s |      10 |   802262 |    16161 |   123942      0 |        1 |        0
92.48/92.54	c 86.7s |      10 |   803520 |    16561 |   123942      0 |        1 |        0
94.47/94.59	c 88.7s |      10 |   804605 |    16861 |   123942      0 |        1 |        0
96.37/96.45	c 90.6s |      11 |   805750 |    17144 |   136337      0 |        1 |        0
98.67/98.71	c 92.8s |      11 |   867085 |    17244 |   136337      0 |        1 |        0
101.07/101.14	c 95.3s |      11 |   867485 |    17544 |   136337      0 |        1 |        0
103.58/103.61	c 97.7s |      11 |   868012 |    17844 |   136337      0 |        1 |        0
106.07/106.19	c  100s |      11 |   868397 |    18044 |   136337      0 |        1 |        0
108.37/108.42	c  102s |      11 |   870220 |    18844 |   136337      0 |        1 |        0
110.87/110.97	c  105s |      11 |   870518 |    19044 |   136337      0 |        1 |        0
113.67/113.73	c  107s |      11 |   870828 |    19244 |   136337      0 |        1 |        0
115.87/115.99	c  110s |      11 |   871078 |    19444 |   136337      0 |        1 |        0
118.47/118.52	c  112s |      11 |   871329 |    19644 |   136337      0 |        1 |        0
121.08/121.15	c  115s |      11 |   871691 |    19844 |   136337      0 |        1 |        0
124.77/124.88	c  118s |      11 |   872139 |    20144 |   136337      0 |        1 |        0
127.47/127.51	c  121s |      11 |   872633 |    20344 |   136337      0 |        1 |        0
130.16/130.23	c  124s |      11 |   873137 |    20544 |   136337      0 |        1 |        0
132.56/132.66	c  126s |      11 |   873561 |    20744 |   136337      0 |        1 |        0
135.38/135.45	c  129s |      11 |   873965 |    20944 |   136337      0 |        1 |        0
138.67/138.75	c  132s |      11 |   874496 |    21144 |   136337      0 |        1 |        0
141.17/141.27	c  135s |      11 |   874950 |    21344 |   136337      0 |        1 |        0
144.28/144.35	c  138s |      11 |   875254 |    21544 |   136337      0 |        1 |        0
147.17/147.22	c  141s |      11 |   875506 |    21744 |   136337      0 |        1 |        0
150.26/150.37	c  144s |      11 |   875763 |    21944 |   136337      0 |        1 |        0
152.37/152.45	c  146s |      11 |   875888 |    22044 |   136337      0 |        1 |        0
155.87/155.95	c  150s |      11 |   876191 |    22244 |   136337      0 |        1 |        0
157.96/158.06	c  152s |      11 |   876490 |    22444 |   136337      0 |        1 |        0
160.26/160.36	c  154s |      11 |   876765 |    22644 |   136337      0 |        1 |        0
162.56/162.62	c  156s |      11 |   877093 |    22844 |   136337      0 |        1 |        0
165.07/165.16	c  159s |      11 |   877721 |    23144 |   136337      0 |        1 |        0
167.66/167.73	c  161s |      11 |   878051 |    23344 |   136337      0 |        1 |        0
169.87/169.93	c  164s |      11 |   878383 |    23544 |   136337      0 |        1 |        0
172.66/172.75	c  166s |      11 |   878749 |    23744 |   136337      0 |        1 |        0
175.66/175.78	c  169s |      11 |   879017 |    23944 |   136337      0 |        1 |        0
178.46/178.56	c  172s |      11 |   879390 |    24144 |   136337      0 |        1 |        0
181.06/181.14	c  175s |      11 |   879863 |    24344 |   136337      0 |        1 |        0
183.56/183.67	c  177s |      11 |   880153 |    24544 |   136337      0 |        1 |        0
186.86/186.94	c  181s |      11 |   880484 |    24744 |   136337      0 |        1 |        0
189.66/189.79	c  183s |      11 |   880922 |    24944 |   136337      0 |        1 |        0
192.26/192.37	c  186s |      11 |   881315 |    25144 |   136337      0 |        1 |        0
195.16/195.20	c  189s |      11 |   881698 |    25344 |   136337      0 |        1 |        0
197.65/197.75	c  191s |      11 |   882008 |    25544 |   136337      0 |        1 |        0
199.75/199.81	c  193s |      11 |   882170 |    25644 |   149971      0 |        1 |        0
201.96/202.07	c  196s |      11 |   882315 |    25744 |   149971      0 |        1 |        0
203.46/203.56	c  197s |      12 |   882401 |    25819 |   149971      0 |        1 |        0
207.76/207.89	c  202s |      12 |   943571 |    25919 |   149971      0 |        1 |        0
210.16/210.23	c  204s |      12 |   943665 |    26019 |   149971      0 |        1 |        0
212.56/212.61	c  206s |      12 |   943782 |    26119 |   149971      0 |        1 |        0
215.25/215.39	c  209s |      12 |   943921 |    26219 |   149971      0 |        1 |        0
217.96/218.04	c  212s |      12 |   944108 |    26319 |   149971      0 |        1 |        0
220.56/220.65	c  214s |      12 |   944279 |    26419 |   149971      0 |        1 |        0
222.56/222.69	c  216s |      12 |   944442 |    26519 |   149971      0 |        1 |        0
225.25/225.34	c  219s |      12 |   944603 |    26619 |   149971      0 |        1 |        0
227.65/227.79	c  221s |      12 |   944717 |    26719 |   149971      0 |        1 |        0
231.75/231.87	c  225s |      12 |   944971 |    26919 |   149971      0 |        1 |        0
234.75/234.84	c  228s |      12 |   945215 |    27019 |   149971      0 |        1 |        0
237.25/237.35	c  231s |      12 |   945559 |    27319 |   149971      0 |        1 |        0
239.95/240.05	c  234s |      12 |   946087 |    27619 |   149971      0 |        1 |        0
242.36/242.44	c  236s |      12 |   947615 |    28019 |   149971      0 |        1 |        0
244.36/244.45	c  238s |      12 |   949170 |    28519 |   149971      0 |        1 |        0
246.85/246.91	c  241s |      12 |   949689 |    28819 |   149971      0 |        1 |        0
248.85/248.91	c  243s |      12 |   949966 |    29019 |   149971      0 |        1 |        0
250.85/250.92	c  245s |      12 |   950323 |    29219 |   149971      0 |        1 |        0
253.55/253.63	c  247s |      12 |   950742 |    29519 |   149971      0 |        1 |        0
256.05/256.11	c  250s |      12 |   951037 |    29719 |   149971      0 |        1 |        0
258.66/258.74	c  252s |      12 |   951516 |    30019 |   149971      0 |        1 |        0
261.25/261.37	c  255s |      12 |   951948 |    30319 |   149971      0 |        1 |        0
263.94/264.00	c  258s |      12 |   952371 |    30619 |   149971      0 |        1 |        0
265.95/266.08	c  260s |      12 |   952647 |    30819 |   149971      0 |        1 |        0
268.56/268.70	c  262s |      12 |   953036 |    31019 |   149971      0 |        1 |        0
270.95/271.01	c  265s |      12 |   953426 |    31319 |   149971      0 |        1 |        0
273.75/273.83	c  267s |      12 |   953834 |    31619 |   149971      0 |        1 |        0
276.65/276.80	c  270s |      12 |   954301 |    31919 |   149971      0 |        1 |        0
279.15/279.22	c  273s |      12 |   954596 |    32119 |   149971      0 |        1 |        0
281.44/281.52	c  275s |      12 |   954858 |    32319 |   149971      0 |        1 |        0
284.25/284.34	c  278s |      12 |   955278 |    32519 |   149971      0 |        1 |        0
286.45/286.51	c  280s |      12 |   957931 |    33019 |   149971      0 |        1 |        0
288.45/288.53	c  282s |      12 |   958962 |    33319 |   149971      0 |        1 |        0
291.55/291.66	c  285s |      12 |   959657 |    33719 |   149971      0 |        1 |        0
294.64/294.73	c  288s |      12 |   959952 |    33919 |   149971      0 |        1 |        0
297.24/297.37	c  291s |      12 |   960494 |    34119 |   149971      0 |        1 |        0
299.95/300.03	c  294s |      12 |   960841 |    34319 |   149971      0 |        1 |        0
302.55/302.61	c  296s |      12 |   961187 |    34519 |   149971      0 |        1 |        0
304.54/304.61	c  298s |      12 |   961507 |    34719 |   149971      0 |        1 |        0
306.74/306.81	c  300s |      12 |   961843 |    34919 |   149971      0 |        1 |        0
310.04/310.19	c  304s |      12 |   962274 |    35219 |   149971      0 |        1 |        0
312.64/312.70	c  306s |      12 |   963048 |    35519 |   149971      0 |        1 |        0
315.54/315.62	c  309s |      12 |   963732 |    35819 |   149971      0 |        1 |        0
318.24/318.39	c  312s |      12 |   964014 |    36019 |   149971      0 |        1 |        0
321.04/321.19	c  315s |      12 |   964468 |    36219 |   149971      0 |        1 |        0
323.94/324.04	c  318s |      12 |   964898 |    36419 |   149971      0 |        1 |        0
326.74/326.81	c  320s |      12 |   965138 |    36619 |   149971      0 |        1 |        0
328.94/329.10	c  323s |      12 |   966608 |    37019 |   149971      0 |        1 |        0
331.44/331.59	c  325s |      12 |   967546 |    37419 |   149971      0 |        1 |        0
334.24/334.35	c  328s |      12 |   967901 |    37619 |   149971      0 |        1 |        0
337.44/337.56	c  331s |      12 |   968247 |    37819 |   149971      0 |        1 |        0
340.74/340.83	c  334s |      12 |   968606 |    38019 |   149971      0 |        1 |        0
343.24/343.38	c  337s |      12 |   968920 |    38219 |   149971      0 |        1 |        0
346.03/346.17	c  340s |      12 |   969210 |    38419 |   149971      0 |        1 |        0
349.03/349.15	c  343s |      12 |   969528 |    38619 |   164969      0 |        1 |        0
352.24/352.32	c  346s |      12 |   969827 |    38819 |   164969      0 |        1 |        0
352.44/352.57	c  346s |      13 |   969839 |    38832 |   164969      0 |        1 |        0
357.54/357.61	c  351s |      13 |  1031625 |    38932 |   164969      0 |        1 |        0
360.63/360.70	c  354s |      13 |  1032414 |    39232 |   164969      0 |        1 |        0
362.63/362.79	c  356s |      13 |  1035921 |    39832 |   164969      0 |        1 |        0
364.73/364.85	c  358s |      13 |  1039630 |    40532 |   164969      0 |        1 |        0
367.13/367.22	c  361s |      13 |  1043578 |    41232 |   164969      0 |        1 |        0
369.14/369.23	c  363s |      13 |  1046867 |    41832 |   164969      0 |        1 |        0
371.43/371.55	c  365s |      13 |  1050480 |    42532 |   164969      0 |        1 |        0
373.73/373.84	c  367s |      13 |  1053178 |    43132 |   164969      0 |        1 |        0
376.03/376.13	c  370s |      13 |  1054965 |    43532 |   164969      0 |        1 |        0
378.13/378.22	c  372s |      13 |  1056231 |    43932 |   164969      0 |        1 |        0
380.13/380.24	c  374s |      13 |  1058966 |    44532 |   164969      0 |        1 |        0
382.23/382.38	c  376s |      13 |  1061577 |    45132 |   164969      0 |        1 |        0
384.32/384.44	c  378s |      13 |  1064098 |    45632 |   164969      0 |        1 |        0
386.53/386.65	c  380s |      13 |  1066379 |    46132 |   164969      0 |        1 |        0
388.93/389.04	c  383s |      13 |  1068624 |    46732 |   164969      0 |        1 |        0
390.93/391.09	c  385s |      13 |  1070121 |    47232 |   164969      0 |        1 |        0
393.03/393.18	c  387s |      13 |  1072430 |    47732 |   164969      0 |        1 |        0
395.33/395.47	c  389s |      13 |  1075293 |    48232 |   164969      0 |        1 |        0
397.43/397.57	c  391s |      13 |  1077080 |    48632 |   164969      0 |        1 |        0
399.53/399.61	c  393s |      13 |  1079211 |    49132 |   164969      0 |        1 |        0
401.53/401.69	c  395s |      13 |  1081599 |    49632 |   164969      0 |        1 |        0
403.92/404.05	c  398s |      13 |  1084623 |    50132 |   164969      0 |        1 |        0
406.23/406.35	c  400s |      13 |  1086917 |    50632 |   164969      0 |        1 |        0
408.33/408.46	c  402s |      13 |  1088650 |    51032 |   164969      0 |        1 |        0
410.53/410.69	c  404s |      13 |  1090611 |    51432 |   164969      0 |        1 |        0
413.02/413.19	c  407s |      13 |  1092329 |    51832 |   164969      0 |        1 |        0
415.32/415.44	c  409s |      13 |  1093133 |    52132 |   164969      0 |        1 |        0
417.52/417.66	c  411s |      13 |  1095531 |    52632 |   164969      0 |        1 |        0
420.12/420.27	c  414s |      13 |  1096329 |    52932 |   164969      0 |        1 |        0
422.22/422.30	c  416s |      13 |  1098061 |    53332 |   164969      0 |        1 |        0
424.32/424.46	c  418s |      13 |  1099630 |    53632 |   164969      0 |        1 |        0
426.93/427.04	c  421s |      13 |  1100947 |    53932 |   164969      0 |        1 |        0
429.12/429.23	c  423s |      13 |  1102517 |    54232 |   164969      0 |        1 |        0
431.32/431.47	c  425s |      13 |  1103937 |    54532 |   164969      0 |        1 |        0
433.43/433.60	c  427s |      13 |  1105100 |    54932 |   164969      0 |        1 |        0
435.73/435.82	c  429s |      13 |  1107099 |    55332 |   164969      0 |        1 |        0
437.93/438.08	c  432s |      13 |  1107559 |    55532 |   164969      0 |        1 |        0
440.62/440.79	c  434s |      13 |  1107918 |    55732 |   164969      0 |        1 |        0
443.12/443.20	c  437s |      13 |  1109426 |    56032 |   164969      0 |        1 |        0
449.02/449.16	c  443s |      13 |  1111087 |    56432 |   164969      0 |        1 |        0
451.42/451.56	c  445s |      13 |  1112442 |    56732 |   164969      0 |        1 |        0
454.02/454.11	c  448s |      13 |  1113984 |    57132 |   164969      0 |        1 |        0
456.02/456.19	c  450s |      13 |  1114507 |    57332 |   164969      0 |        1 |        0
458.32/458.42	c  452s |      13 |  1116522 |    57732 |   164969      0 |        1 |        0
460.92/461.05	c  455s |      13 |  1118644 |    58032 |   181466      0 |        1 |        0
462.91/463.07	c  457s |      14 |  1120880 |    58352 |   181466      0 |        1 |        0
468.82/468.95	c  463s |      14 |  1182119 |    58452 |   181466      0 |        1 |        0
471.92/472.09	c  466s |      14 |  1182544 |    58752 |   181466      0 |        1 |        0
474.81/474.92	c  469s |      14 |  1184384 |    59252 |   181466      0 |        1 |        0
477.61/477.73	c  471s |      14 |  1184656 |    59452 |   181466      0 |        1 |        0
481.12/481.25	c  475s |      14 |  1185010 |    59652 |   181466      0 |        1 |        0
484.22/484.32	c  478s |      14 |  1185324 |    59852 |   181466      0 |        1 |        0
486.81/486.91	c  481s |      14 |  1185628 |    60052 |   181466      0 |        1 |        0
489.52/489.66	c  483s |      14 |  1185905 |    60252 |   181466      0 |        1 |        0
491.92/492.03	c  486s |      14 |  1186227 |    60452 |   181466      0 |        1 |        0
494.41/494.50	c  488s |      14 |  1186468 |    60652 |   181466      0 |        1 |        0
497.11/497.25	c  491s |      14 |  1186745 |    60852 |   181466      0 |        1 |        0
499.91/500.02	c  494s |      14 |  1187035 |    61052 |   181466      0 |        1 |        0
503.61/503.79	c  497s |      14 |  1187311 |    61252 |   181466      0 |        1 |        0
507.41/507.57	c  501s |      14 |  1187557 |    61452 |   181466      0 |        1 |        0
510.11/510.24	c  504s |      14 |  1187682 |    61552 |   181466      0 |        1 |        0
513.12/513.22	c  507s |      14 |  1187943 |    61752 |   181466      0 |        1 |        0
515.11/515.25	c  509s |      14 |  1188225 |    61952 |   181466      0 |        1 |        0
517.51/517.69	c  511s |      14 |  1188476 |    62152 |   181466      0 |        1 |        0
520.11/520.20	c  514s |      14 |  1188807 |    62352 |   181466      0 |        1 |        0
522.81/522.94	c  517s |      14 |  1189084 |    62552 |   181466      0 |        1 |        0
525.81/525.95	c  520s |      14 |  1189386 |    62752 |   181466      0 |        1 |        0
528.71/528.86	c  522s |      14 |  1189717 |    62952 |   181466      0 |        1 |        0
531.80/531.99	c  526s |      14 |  1189989 |    63152 |   181466      0 |        1 |        0
534.91/535.06	c  529s |      14 |  1190239 |    63352 |   181466      0 |        1 |        0
537.71/537.80	c  531s |      14 |  1190478 |    63552 |   181466      0 |        1 |        0
540.91/541.06	c  535s |      14 |  1190733 |    63752 |   181466      0 |        1 |        0
545.41/545.55	c  539s |      14 |  1190984 |    63952 |   181466      0 |        1 |        0
549.10/549.25	c  543s |      14 |  1191253 |    64152 |   181466      0 |        1 |        0
552.71/552.80	c  546s |      14 |  1191523 |    64352 |   181466      0 |        1 |        0
554.70/554.86	c  548s |      14 |  1191643 |    64452 |   181466      0 |        1 |        0
556.80/556.90	c  551s |      14 |  1191776 |    64552 |   181466      0 |        1 |        0
560.41/560.57	c  554s |      14 |  1192076 |    64752 |   181466      0 |        1 |        0
562.70/562.87	c  556s |      14 |  1192222 |    64852 |   181466      0 |        1 |        0
565.51/565.63	c  559s |      14 |  1192349 |    64952 |   181466      0 |        1 |        0
569.30/569.42	c  563s |      14 |  1192479 |    65052 |   181466      0 |        1 |        0
571.40/571.53	c  565s |      14 |  1192600 |    65152 |   181466      0 |        1 |        0
573.80/573.99	c  568s |      14 |  1192716 |    65252 |   181466      0 |        1 |        0
576.10/576.22	c  570s |      14 |  1192841 |    65352 |   181466      0 |        1 |        0
580.20/580.34	c  574s |      14 |  1193145 |    65552 |   181466      0 |        1 |        0
582.90/583.04	c  577s |      14 |  1193403 |    65752 |   181466      0 |        1 |        0
586.41/586.56	c  580s |      14 |  1193654 |    65952 |   181466      0 |        1 |        0
589.60/589.74	c  583s |      14 |  1193890 |    66152 |   181466      0 |        1 |        0
592.60/592.78	c  586s |      14 |  1194166 |    66352 |   181466      0 |        1 |        0
596.30/596.41	c  590s |      14 |  1194393 |    66552 |   181466      0 |        1 |        0
600.29/600.40	c  594s |      14 |  1194660 |    66752 |   181466      0 |        1 |        0
603.90/604.01	c  598s |      14 |  1194898 |    66952 |   181466      0 |        1 |        0
608.20/608.33	c  602s |      14 |  1195142 |    67152 |   181466      0 |        1 |        0
610.40/610.56	c  604s |      14 |  1195287 |    67252 |   181466      0 |        1 |        0
614.19/614.39	c  608s |      14 |  1195533 |    67452 |   181466      0 |        1 |        0
616.90/617.07	c  611s |      14 |  1195762 |    67652 |   181466      0 |        1 |        0
620.89/621.04	c  615s |      14 |  1196021 |    67852 |   181466      0 |        1 |        0
624.30/624.47	c  618s |      14 |  1196272 |    68052 |   181466      0 |        1 |        0
628.79/628.94	c  623s |      14 |  1196548 |    68252 |   181466      0 |        1 |        0
630.80/630.99	c  625s |      14 |  1196664 |    68352 |   181466      0 |        1 |        0
633.89/634.07	c  628s |      14 |  1196951 |    68552 |   181466      0 |        1 |        0
637.39/637.54	c  631s |      14 |  1197213 |    68752 |   181466      0 |        1 |        0
640.69/640.86	c  634s |      14 |  1197342 |    68852 |   181466      0 |        1 |        0
643.19/643.32	c  637s |      14 |  1197460 |    68952 |   181466      0 |        1 |        0
645.49/645.62	c  639s |      14 |  1198525 |    69252 |   181466      0 |        1 |        0
648.49/648.65	c  642s |      14 |  1199219 |    69552 |   181466      0 |        1 |        0
650.99/651.13	c  645s |      14 |  1199349 |    69652 |   181466      0 |        1 |        0
654.59/654.78	c  648s |      14 |  1199663 |    69852 |   181466      0 |        1 |        0
658.09/658.22	c  652s |      14 |  1199917 |    70052 |   181466      0 |        1 |        0
660.49/660.61	c  654s |      14 |  1200055 |    70152 |   181466      0 |        1 |        0
662.88/663.08	c  657s |      14 |  1200208 |    70252 |   181466      0 |        1 |        0
665.19/665.35	c  659s |      14 |  1200490 |    70452 |   181466      0 |        1 |        0
667.89/668.02	c  662s |      14 |  1200797 |    70652 |   181466      0 |        1 |        0
669.89/670.09	c  664s |      14 |  1200953 |    70752 |   181466      0 |        1 |        0
672.19/672.35	c  666s |      14 |  1202507 |    71152 |   181466      0 |        1 |        0
675.08/675.28	c  669s |      14 |  1202881 |    71352 |   181466      0 |        1 |        0
678.69/678.88	c  672s |      14 |  1203221 |    71552 |   181466      0 |        1 |        0
681.89/682.09	c  676s |      14 |  1203504 |    71752 |   181466      0 |        1 |        0
684.79/684.97	c  679s |      14 |  1203764 |    71952 |   181466      0 |        1 |        0
688.69/688.83	c  682s |      14 |  1204025 |    72152 |   181466      0 |        1 |        0
690.79/690.98	c  685s |      14 |  1204419 |    72252 |   181466      0 |        1 |        0
693.28/693.49	c  687s |      14 |  1206326 |    72752 |   181466      0 |        1 |        0
695.88/696.05	c  690s |      14 |  1206842 |    72952 |   181466      0 |        1 |        0
699.98/700.16	c  694s |      14 |  1207210 |    73152 |   181466      0 |        1 |        0
702.28/702.41	c  696s |      14 |  1207332 |    73252 |   181466      0 |        1 |        0
704.48/704.67	c  698s |      14 |  1208047 |    73452 |   181466      0 |        1 |        0
706.68/706.81	c  700s |      14 |  1208300 |    73552 |   181466      0 |        1 |        0
710.18/710.35	c  704s |      14 |  1208908 |    73752 |   181466      0 |        1 |        0
713.08/713.30	c  707s |      14 |  1209628 |    73952 |   181466      0 |        1 |        0
715.78/715.96	c  710s |      14 |  1211696 |    74552 |   181466      0 |        1 |        0
719.39/719.60	c  713s |      14 |  1212326 |    74752 |   181466      0 |        1 |        0
723.38/723.52	c  717s |      14 |  1212758 |    74952 |   181466      0 |        1 |        0
726.18/726.38	c  720s |      14 |  1212942 |    75052 |   181466      0 |        1 |        0
730.57/730.76	c  724s |      14 |  1213202 |    75252 |   181466      0 |        1 |        0
732.77/732.90	c  727s |      14 |  1213386 |    75352 |   181466      0 |        1 |        0
735.78/735.94	c  730s |      14 |  1213706 |    75552 |   181466      0 |        1 |        0
737.98/738.11	c  732s |      14 |  1213858 |    75652 |   181466      0 |        1 |        0
740.57/740.76	c  734s |      14 |  1213987 |    75752 |   181466      0 |        1 |        0
744.68/744.86	c  738s |      14 |  1214304 |    75952 |   181466      0 |        1 |        0
747.27/747.46	c  741s |      14 |  1214430 |    76052 |   181466      0 |        1 |        0
749.37/749.52	c  743s |      14 |  1214572 |    76152 |   181466      0 |        1 |        0
752.87/753.04	c  747s |      14 |  1214938 |    76352 |   181466      0 |        1 |        0
755.27/755.47	c  749s |      14 |  1215128 |    76452 |   181466      0 |        1 |        0
757.88/758.05	c  752s |      14 |  1215258 |    76552 |   181466      0 |        1 |        0
761.58/761.73	c  755s |      14 |  1215613 |    76752 |   181466      0 |        1 |        0
763.87/764.07	c  758s |      14 |  1215762 |    76852 |   181466      0 |        1 |        0
765.98/766.16	c  760s |      14 |  1215903 |    76952 |   181466      0 |        1 |        0
768.47/768.63	c  762s |      14 |  1216047 |    77052 |   181466      0 |        1 |        0
772.07/772.30	c  766s |      14 |  1216226 |    77152 |   181466      0 |        1 |        0
774.17/774.37	c  768s |      14 |  1216391 |    77252 |   181466      0 |        1 |        0
777.47/777.61	c  771s |      14 |  1216542 |    77352 |   181466      0 |        1 |        0
779.87/780.08	c  774s |      14 |  1216723 |    77452 |   181466      0 |        1 |        0
783.77/783.90	c  778s |      14 |  1217076 |    77652 |   181466      0 |        1 |        0
786.77/786.94	c  781s |      14 |  1217215 |    77752 |   181466      0 |        1 |        0
789.07/789.24	c  783s |      14 |  1217354 |    77852 |   181466      0 |        1 |        0
791.27/791.47	c  785s |      14 |  1217605 |    77952 |   181466      0 |        1 |        0
794.37/794.53	c  788s |      14 |  1218174 |    78252 |   181466      0 |        1 |        0
797.27/797.45	c  791s |      14 |  1218725 |    78452 |   181466      0 |        1 |        0
799.36/799.50	c  793s |      14 |  1219018 |    78552 |   181466      0 |        1 |        0
801.57/801.79	c  795s |      14 |  1219198 |    78652 |   181466      0 |        1 |        0
804.87/805.08	c  799s |      14 |  1219354 |    78752 |   181466      0 |        1 |        0
806.96/807.13	c  801s |      14 |  1219558 |    78852 |   181466      0 |        1 |        0
810.26/810.47	c  804s |      14 |  1219753 |    78952 |   181466      0 |        1 |        0
814.37/814.54	c  808s |      14 |  1219894 |    79052 |   181466      0 |        1 |        0
818.96/819.10	c  813s |      14 |  1221310 |    79452 |   181466      0 |        1 |        0
821.56/821.77	c  815s |      14 |  1221457 |    79552 |   181466      0 |        1 |        0
824.16/824.39	c  818s |      14 |  1221563 |    79652 |   181466      0 |        1 |        0
826.67/826.88	c  820s |      14 |  1221690 |    79752 |   181466      0 |        1 |        0
829.56/829.76	c  823s |      14 |  1221827 |    79852 |   181466      0 |        1 |        0
832.66/832.82	c  826s |      14 |  1221959 |    79952 |   181466      0 |        1 |        0
835.96/836.14	c  830s |      14 |  1222072 |    80052 |   181466      0 |        1 |        0
839.16/839.37	c  833s |      14 |  1222221 |    80152 |   181466      0 |        1 |        0
842.46/842.60	c  836s |      14 |  1222344 |    80252 |   181466      0 |        1 |        0
846.26/846.47	c  840s |      14 |  1222493 |    80352 |   181466      0 |        1 |        0
849.95/850.14	c  844s |      14 |  1222629 |    80452 |   181466      0 |        1 |        0
853.36/853.58	c  847s |      14 |  1222793 |    80552 |   181466      0 |        1 |        0
857.75/857.99	c  852s |      14 |  1222926 |    80652 |   181466      0 |        1 |        0
862.25/862.45	c  856s |      14 |  1223071 |    80752 |   181466      0 |        1 |        0
866.16/866.31	c  860s |      14 |  1223317 |    80852 |   181466      0 |        1 |        0
868.97/869.13	c  863s |      14 |  1223499 |    80952 |   181466      0 |        1 |        0
871.55/871.76	c  865s |      14 |  1223674 |    81052 |   181466      0 |        1 |        0
874.96/875.16	c  869s |      14 |  1223800 |    81152 |   181466      0 |        1 |        0
877.76/877.96	c  872s |      14 |  1223905 |    81252 |   181466      0 |        1 |        0
880.76/880.94	c  875s |      14 |  1224089 |    81352 |   181466      0 |        1 |        0
884.06/884.28	c  878s |      14 |  1224274 |    81452 |   181466      0 |        1 |        0
886.56/886.78	c  880s |      14 |  1224465 |    81552 |   181466      0 |        1 |        0
888.95/889.13	c  883s |      14 |  1224606 |    81652 |   181466      0 |        1 |        0
893.06/893.27	c  887s |      14 |  1224784 |    81752 |   181466      0 |        1 |        0
897.35/897.51	c  891s |      14 |  1224901 |    81852 |   181466      0 |        1 |        0
904.35/904.57	c  898s |      14 |  1225074 |    81952 |   181466      0 |        1 |        0
908.45/908.63	c  902s |      14 |  1225245 |    82052 |   181466      0 |        1 |        0
916.15/916.40	c  910s |      14 |  1225383 |    82152 |   181466      0 |        1 |        0
919.95/920.16	c  914s |      14 |  1225634 |    82252 |   181466      0 |        1 |        0
922.05/922.29	c  916s |      14 |  1226780 |    82652 |   181466      0 |        1 |        0
924.24/924.40	c  918s |      14 |  1227505 |    82952 |   181466      0 |        1 |        0
930.05/930.23	c  924s |      14 |  1228291 |    83252 |   181466      0 |        1 |        0
933.75/933.94	c  928s |      14 |  1228614 |    83352 |   181466      0 |        1 |        0
936.75/936.96	c  931s |      14 |  1228913 |    83452 |   181466      0 |        1 |        0
939.35/939.50	c  933s |      14 |  1229116 |    83552 |   181466      0 |        1 |        0
944.44/944.61	c  938s |      14 |  1229307 |    83652 |   181466      0 |        1 |        0
949.85/950.08	c  944s |      14 |  1229496 |    83752 |   181466      0 |        1 |        0
953.34/953.50	c  947s |      14 |  1229756 |    83852 |   181466      0 |        1 |        0
957.64/957.85	c  951s |      14 |  1229922 |    83952 |   181466      0 |        1 |        0
960.14/960.35	c  954s |      14 |  1230219 |    84052 |   181466      0 |        1 |        0
963.94/964.15	c  958s |      14 |  1231355 |    84352 |   181466      0 |        1 |        0
968.54/968.75	c  962s |      14 |  1231467 |    84452 |   181466      0 |        1 |        0
973.64/973.83	c  967s |      14 |  1231657 |    84552 |   181466      0 |        1 |        0
978.54/978.77	c  972s |      14 |  1231807 |    84652 |   181466      0 |        1 |        0
983.63/983.86	c  977s |      14 |  1231931 |    84752 |   181466      0 |        1 |        0
989.94/990.19	c  984s |      14 |  1232057 |    84852 |   181466      0 |        1 |        0
996.04/996.21	c  990s |      14 |  1232214 |    84952 |   181466      0 |        1 |        0
1000.44/1000.61	c  994s |      14 |  1232378 |    85052 |   181466      0 |        1 |        0
1003.84/1004.08	c  998s |      14 |  1232752 |    85252 |   181466      0 |        1 |        0
1008.64/1008.90	c 1003s |      14 |  1233123 |    85452 |   181466      0 |        1 |        0
1011.14/1011.38	c 1005s |      14 |  1233264 |    85552 |   181466      0 |        1 |        0
1014.34/1014.59	c 1008s |      14 |  1233383 |    85652 |   181466      0 |        1 |        0
1018.23/1018.43	c 1012s |      14 |  1233493 |    85752 |   181466      0 |        1 |        0
1021.04/1021.22	c 1015s |      14 |  1233677 |    85852 |   181466      0 |        1 |        0
1024.24/1024.41	c 1018s |      14 |  1233843 |    85952 |   181466      0 |        1 |        0
1028.74/1028.95	c 1023s |      14 |  1234000 |    86052 |   181466      0 |        1 |        0
1034.53/1034.71	c 1028s |      14 |  1234160 |    86152 |   181466      0 |        1 |        0
1037.63/1037.89	c 1032s |      14 |  1234371 |    86252 |   181466      0 |        1 |        0
1040.73/1040.97	c 1035s |      14 |  1234491 |    86352 |   181466      0 |        1 |        0
1044.13/1044.35	c 1038s |      14 |  1234608 |    86452 |   181466      0 |        1 |        0
1046.93/1047.14	c 1041s |      14 |  1234790 |    86552 |   181466      0 |        1 |        0
1049.83/1050.04	c 1044s |      14 |  1234972 |    86652 |   181466      0 |        1 |        0
1053.02/1053.21	c 1047s |      14 |  1235148 |    86752 |   181466      0 |        1 |        0
1056.42/1056.68	c 1050s |      14 |  1235318 |    86852 |   181466      0 |        1 |        0
1059.82/1060.06	c 1054s |      14 |  1235451 |    86952 |   199613      0 |        1 |        0
1063.32/1063.58	c 1057s |      14 |  1235563 |    87052 |   199613      0 |        1 |        0
1067.33/1067.51	c 1061s |      14 |  1235694 |    87152 |   199613      0 |        1 |        0
1070.52/1070.79	c 1064s |      14 |  1235837 |    87252 |   199613      0 |        1 |        0
1074.22/1074.49	c 1068s |      14 |  1236101 |    87352 |   199613      0 |        1 |        0
1077.42/1077.67	c 1071s |      14 |  1236345 |    87452 |   199613      0 |        1 |        0
1081.02/1081.21	c 1075s |      14 |  1236515 |    87552 |   199613      0 |        1 |        0
1084.33/1084.52	c 1078s |      15 |  1236644 |    87632 |   199613      0 |        1 |        0
1097.43/1097.62	c 1091s |      15 |  1297830 |    87732 |   199613      0 |        1 |        0
1102.62/1102.87	c 1096s |      15 |  1298081 |    87832 |   199613      0 |        1 |        0
1111.92/1112.18	c 1106s |      15 |  1298226 |    87932 |   199613      0 |        1 |        0
1115.22/1115.45	c 1109s |      15 |  1298399 |    88032 |   199613      0 |        1 |        0
1117.81/1118.09	c 1112s |      15 |  1298656 |    88132 |   199613      0 |        1 |        0
1124.72/1124.92	c 1119s |      15 |  1299058 |    88432 |   199613      0 |        1 |        0
1129.42/1129.68	c 1123s |      15 |  1299163 |    88532 |   199613      0 |        1 |        0
1132.32/1132.50	c 1126s |      15 |  1299975 |    88732 |   199613      0 |        1 |        0
1134.31/1134.59	c 1128s |      15 |  1301278 |    88932 |   199613      0 |        1 |        0
1137.01/1137.26	c 1131s |      15 |  1302571 |    89232 |   199613      0 |        1 |        0
1139.81/1140.01	c 1134s |      15 |  1304298 |    89532 |   199613      0 |        1 |        0
1141.83/1142.04	c 1136s |      15 |  1305350 |    89732 |   199613      0 |        1 |        0
1144.11/1144.33	c 1138s |      15 |  1306397 |    89932 |   199613      0 |        1 |        0
1146.52/1146.76	c 1140s |      15 |  1307453 |    90132 |   199613      0 |        1 |        0
1148.82/1149.06	c 1143s |      15 |  1308574 |    90332 |   199613      0 |        1 |        0
1151.91/1152.13	c 1146s |      15 |  1310162 |    90632 |   199613      0 |        1 |        0
1154.61/1154.89	c 1149s |      15 |  1311243 |    90832 |   199613      0 |        1 |        0
1157.41/1157.65	c 1151s |      15 |  1312843 |    91132 |   199613      0 |        1 |        0
1159.91/1160.11	c 1154s |      15 |  1313769 |    91332 |   199613      0 |        1 |        0
1163.11/1163.30	c 1157s |      15 |  1314789 |    91532 |   199613      0 |        1 |        0
1165.11/1165.36	c 1159s |      15 |  1315883 |    91732 |   199613      0 |        1 |        0
1167.71/1167.91	c 1162s |      15 |  1317217 |    91932 |   199613      0 |        1 |        0
1169.71/1169.93	c 1164s |      15 |  1318366 |    92132 |   199613      0 |        1 |        0
1172.51/1172.74	c 1166s |      15 |  1320024 |    92432 |   199613      0 |        1 |        0
1174.91/1175.18	c 1169s |      15 |  1321115 |    92632 |   199613      0 |        1 |        0
1177.91/1178.12	c 1172s |      15 |  1322208 |    92832 |   199613      0 |        1 |        0
1180.81/1181.04	c 1175s |      15 |  1323770 |    93132 |   199613      0 |        1 |        0
1183.21/1183.49	c 1177s |      15 |  1324869 |    93332 |   199613      0 |        1 |        0
1185.31/1185.50	c 1179s |      15 |  1326008 |    93532 |   199613      0 |        1 |        0
1188.10/1188.39	c 1182s |      15 |  1327203 |    93732 |   199613      0 |        1 |        0
1190.61/1190.84	c 1184s |      15 |  1328095 |    93932 |   199613      0 |        1 |        0
1193.81/1194.08	c 1188s |      15 |  1329221 |    94132 |   199613      0 |        1 |        0
1196.81/1197.09	c 1191s |      15 |  1330325 |    94332 |   199613      0 |        1 |        0
1198.92/1199.13	c 1193s |      15 |  1330953 |    94432 |   199613      0 |        1 |        0
1201.90/1202.18	c 1196s |      15 |  1332064 |    94632 |   199613      0 |        1 |        0
1205.31/1205.56	c 1199s |      15 |  1333292 |    94832 |   199613      0 |        1 |        0
1209.00/1209.23	c 1203s |      15 |  1334185 |    95032 |   199613      0 |        1 |        0
1212.60/1212.84	c 1206s |      15 |  1335339 |    95232 |   199613      0 |        1 |        0
1214.60/1214.88	c 1208s |      15 |  1335978 |    95332 |   199613      0 |        1 |        0
1217.90/1218.19	c 1212s |      15 |  1337027 |    95532 |   199613      0 |        1 |        0
1220.00/1220.23	c 1214s |      15 |  1337526 |    95632 |   199613      0 |        1 |        0
1223.90/1224.15	c 1218s |      15 |  1338707 |    95832 |   199613      0 |        1 |        0
1226.00/1226.23	c 1220s |      15 |  1339279 |    95932 |   199613      0 |        1 |        0
1229.20/1229.48	c 1223s |      15 |  1340277 |    96132 |   199613      0 |        1 |        0
1232.50/1232.76	c 1226s |      15 |  1341343 |    96332 |   199613      0 |        1 |        0
1235.80/1236.06	c 1230s |      15 |  1342262 |    96532 |   199613      0 |        1 |        0
1239.61/1239.88	c 1233s |      15 |  1343154 |    96732 |   199613      0 |        1 |        0
1242.80/1243.00	c 1237s |      15 |  1344057 |    96932 |   199613      0 |        1 |        0
1245.80/1246.06	c 1240s |      15 |  1345406 |    97132 |   199613      0 |        1 |        0
1249.30/1249.58	c 1243s |      15 |  1346423 |    97332 |   199613      0 |        1 |        0
1251.39/1251.67	c 1245s |      15 |  1346983 |    97432 |   199613      0 |        1 |        0
1255.20/1255.44	c 1249s |      15 |  1348095 |    97632 |   199613      0 |        1 |        0
1259.40/1259.66	c 1253s |      15 |  1349125 |    97832 |   199613      0 |        1 |        0
1263.10/1263.31	c 1257s |      15 |  1349982 |    98032 |   199613      0 |        1 |        0
1265.39/1265.68	c 1259s |      15 |  1350441 |    98132 |   199613      0 |        1 |        0
1269.70/1269.93	c 1264s |      15 |  1351704 |    98332 |   199613      0 |        1 |        0
1271.80/1272.03	c 1266s |      15 |  1352370 |    98432 |   199613      0 |        1 |        0
1275.90/1276.14	c 1270s |      15 |  1353338 |    98632 |   199613      0 |        1 |        0
1277.89/1278.15	c 1272s |      15 |  1353730 |    98732 |   199613      0 |        1 |        0
1279.90/1280.18	c 1274s |      15 |  1354140 |    98832 |   199613      0 |        1 |        0
1282.09/1282.38	c 1276s |      15 |  1355728 |    99132 |   199613      0 |        1 |        0
1284.39/1284.68	c 1278s |      15 |  1356748 |    99332 |   199613      0 |        1 |        0
1286.49/1286.78	c 1280s |      15 |  1358015 |    99532 |   199613      0 |        1 |        0
1289.29/1289.51	c 1283s |      15 |  1359118 |    99732 |   199613      0 |        1 |        0
1291.40/1291.61	c 1285s |      15 |  1359378 |    99832 |   199613      0 |        1 |        0
1294.09/1294.37	c 1288s |      15 |  1360174 |   100032 |   199613      0 |        1 |        0
1297.09/1297.37	c 1291s |      15 |  1361196 |   100232 |   199613      0 |        1 |        0
1300.89/1301.16	c 1295s |      15 |  1362038 |   100432 |   199613      0 |        1 |        0
1303.40/1303.65	c 1297s |      15 |  1362326 |   100532 |   199613      0 |        1 |        0
1305.88/1306.12	c 1300s |      15 |  1363374 |   100732 |   199613      0 |        1 |        0
1308.89/1309.13	c 1303s |      15 |  1364230 |   100932 |   199613      0 |        1 |        0
1312.49/1312.72	c 1306s |      15 |  1365228 |   101132 |   199613      0 |        1 |        0
1315.89/1316.14	c 1310s |      15 |  1366207 |   101332 |   199613      0 |        1 |        0
1319.38/1319.60	c 1313s |      15 |  1367267 |   101532 |   199613      0 |        1 |        0
1321.69/1321.92	c 1316s |      15 |  1367812 |   101632 |   199613      0 |        1 |        0
1325.39/1325.64	c 1319s |      15 |  1368728 |   101832 |   199613      0 |        1 |        0
1328.98/1329.24	c 1323s |      15 |  1369670 |   102032 |   199613      0 |        1 |        0
1332.48/1332.73	c 1326s |      15 |  1370589 |   102232 |   199613      0 |        1 |        0
1336.28/1336.55	c 1330s |      15 |  1371558 |   102432 |   199613      0 |        1 |        0
1340.79/1341.04	c 1335s |      15 |  1372573 |   102632 |   199613      0 |        1 |        0
1343.10/1343.33	c 1337s |      15 |  1373060 |   102732 |   199613      0 |        1 |        0
1345.78/1346.09	c 1340s |      15 |  1373938 |   102932 |   199613      0 |        1 |        0
1348.18/1348.49	c 1342s |      15 |  1375080 |   103132 |   199613      0 |        1 |        0
1351.48/1351.79	c 1345s |      15 |  1376104 |   103332 |   199613      0 |        1 |        0
1355.28/1355.58	c 1349s |      15 |  1376937 |   103532 |   199613      0 |        1 |        0
1358.78/1359.02	c 1353s |      15 |  1377645 |   103732 |   199613      0 |        1 |        0
1360.88/1361.15	c 1355s |      15 |  1378118 |   103832 |   199613      0 |        1 |        0
1363.28/1363.51	c 1357s |      15 |  1378564 |   103932 |   199613      0 |        1 |        0
1366.09/1366.40	c 1360s |      15 |  1379166 |   104032 |   199613      0 |        1 |        0
1368.48/1368.75	c 1362s |      15 |  1379855 |   104132 |   199613      0 |        1 |        0
1371.38/1371.60	c 1365s |      15 |  1380899 |   104232 |   199613      0 |        1 |        0
1375.18/1375.46	c 1369s |      15 |  1382010 |   104432 |   199613      0 |        1 |        0
1379.58/1379.85	c 1373s |      15 |  1383177 |   104632 |   199613      0 |        1 |        0
1382.18/1382.46	c 1376s |      15 |  1383802 |   104732 |   199613      0 |        1 |        0
1384.57/1384.85	c 1378s |      15 |  1384425 |   104832 |   199613      0 |        1 |        0
1386.87/1387.15	c 1381s |      15 |  1384978 |   104932 |   199613      0 |        1 |        0
1389.28/1389.56	c 1383s |      15 |  1385426 |   105032 |   199613      0 |        1 |        0
1391.27/1391.59	c 1385s |      15 |  1385906 |   105132 |   199613      0 |        1 |        0
1394.69/1394.96	c 1389s |      15 |  1386222 |   105232 |   199613      0 |        1 |        0
1398.17/1398.46	c 1392s |      15 |  1386587 |   105332 |   199613      0 |        1 |        0
1401.28/1401.55	c 1395s |      15 |  1387181 |   105432 |   199613      0 |        1 |        0
1403.78/1404.03	c 1398s |      15 |  1387503 |   105532 |   199613      0 |        1 |        0
1405.97/1406.23	c 1400s |      15 |  1387936 |   105732 |   199613      0 |        1 |        0
1408.28/1408.54	c 1402s |      15 |  1388339 |   105932 |   199613      0 |        1 |        0
1410.87/1411.18	c 1405s |      15 |  1388758 |   106132 |   199613      0 |        1 |        0
1413.28/1413.55	c 1407s |      15 |  1389180 |   106332 |   199613      0 |        1 |        0
1415.97/1416.26	c 1410s |      15 |  1389598 |   106532 |   199613      0 |        1 |        0
1419.37/1419.64	c 1413s |      15 |  1389951 |   106732 |   199613      0 |        1 |        0
1423.28/1423.53	c 1417s |      15 |  1390213 |   106932 |   199613      0 |        1 |        0
1426.87/1427.17	c 1421s |      15 |  1390629 |   107032 |   199613      0 |        1 |        0
1429.17/1429.43	c 1423s |      15 |  1390908 |   107132 |   199613      0 |        1 |        0
1432.27/1432.51	c 1426s |      15 |  1391133 |   107232 |   199613      0 |        1 |        0
1438.37/1438.61	c 1432s |      15 |  1391282 |   107332 |   199613      0 |        1 |        0
1442.57/1442.88	c 1436s |      15 |  1391430 |   107432 |   199613      0 |        1 |        0
1447.87/1448.16	c 1442s |      15 |  1391655 |   107532 |   199613      0 |        1 |        0
1453.56/1453.83	c 1447s |      15 |  1391874 |   107632 |   199613      0 |        1 |        0
1457.96/1458.23	c 1452s |      15 |  1392160 |   107732 |   199613      0 |        1 |        0
1460.46/1460.74	c 1454s |      15 |  1392410 |   107832 |   199613      0 |        1 |        0
1463.36/1463.68	c 1457s |      15 |  1392574 |   107932 |   199613      0 |        1 |        0
1469.06/1469.32	c 1463s |      15 |  1392710 |   108032 |   199613      0 |        1 |        0
1471.46/1471.78	c 1465s |      15 |  1392927 |   108132 |   199613      0 |        1 |        0
1475.36/1475.66	c 1469s |      15 |  1393590 |   108332 |   199613      0 |        1 |        0
1481.57/1481.83	c 1475s |      15 |  1394100 |   108532 |   199613      0 |        1 |        0
1484.46/1484.70	c 1478s |      15 |  1394241 |   108632 |   199613      0 |        1 |        0
1487.26/1487.54	c 1481s |      15 |  1394437 |   108732 |   199613      0 |        1 |        0
1490.06/1490.37	c 1484s |      15 |  1394602 |   108832 |   199613      0 |        1 |        0
1493.66/1493.92	c 1488s |      15 |  1395413 |   109032 |   199613      0 |        1 |        0
1496.16/1496.45	c 1490s |      15 |  1395569 |   109132 |   199613      0 |        1 |        0
1498.25/1498.50	c 1492s |      15 |  1395924 |   109232 |   199613      0 |        1 |        0
1502.86/1503.12	c 1497s |      15 |  1396479 |   109432 |   199613      0 |        1 |        0
1506.16/1506.44	c 1500s |      15 |  1396710 |   109532 |   199613      0 |        1 |        0
1511.45/1511.79	c 1505s |      15 |  1396921 |   109632 |   199613      0 |        1 |        0
1518.36/1518.61	c 1512s |      15 |  1397085 |   109732 |   199613      0 |        1 |        0
1525.76/1526.09	c 1520s |      15 |  1397238 |   109832 |   199613      0 |        1 |        0
1532.55/1532.87	c 1526s |      15 |  1397393 |   109932 |   199613      0 |        1 |        0
1535.65/1535.97	c 1530s |      15 |  1397645 |   110032 |   199613      0 |        1 |        0
1538.65/1538.97	c 1533s |      15 |  1397783 |   110132 |   199613      0 |        1 |        0
1542.75/1543.08	c 1537s |      15 |  1397938 |   110232 |   199613      0 |        1 |        0
1548.25/1548.54	c 1542s |      15 |  1398044 |   110332 |   199613      0 |        1 |        0
1551.84/1552.10	c 1546s |      15 |  1398273 |   110432 |   199613      0 |        1 |        0
1555.65/1555.91	c 1550s |      15 |  1398427 |   110532 |   199613      0 |        1 |        0
1559.75/1560.00	c 1554s |      15 |  1398593 |   110632 |   199613      0 |        1 |        0
1564.75/1565.01	c 1559s |      15 |  1398718 |   110732 |   199613      0 |        1 |        0
1569.04/1569.30	c 1563s |      15 |  1398906 |   110832 |   199613      0 |        1 |        0
1573.44/1573.78	c 1567s |      15 |  1399041 |   110932 |   199613      0 |        1 |        0
1577.54/1577.89	c 1571s |      15 |  1399166 |   111032 |   199613      0 |        1 |        0
1580.14/1580.44	c 1574s |      15 |  1399322 |   111132 |   199613      0 |        1 |        0
1582.54/1582.84	c 1576s |      15 |  1399481 |   111232 |   199613      0 |        1 |        0
1585.64/1585.95	c 1580s |      15 |  1399648 |   111332 |   199613      0 |        1 |        0
1589.24/1589.55	c 1583s |      15 |  1399850 |   111432 |   199613      0 |        1 |        0
1593.74/1594.02	c 1588s |      15 |  1399954 |   111532 |   199613      0 |        1 |        0
1599.54/1599.80	c 1593s |      15 |  1400065 |   111632 |   199613      0 |        1 |        0
1607.43/1607.79	c 1601s |      15 |  1400208 |   111732 |   199613      0 |        1 |        0
1613.13/1613.41	c 1607s |      15 |  1400410 |   111832 |   199613      0 |        1 |        0
1615.53/1615.86	c 1609s |      15 |  1400551 |   111932 |   199613      0 |        1 |        0
1618.03/1618.30	c 1612s |      15 |  1400695 |   112032 |   199613      0 |        1 |        0
1621.63/1621.99	c 1616s |      15 |  1400866 |   112132 |   199613      0 |        1 |        0
1625.23/1625.50	c 1619s |      15 |  1401025 |   112232 |   199613      0 |        1 |        0
1632.83/1633.18	c 1627s |      15 |  1401148 |   112332 |   199613      0 |        1 |        0
1641.92/1642.24	c 1636s |      15 |  1401280 |   112432 |   199613      0 |        1 |        0
1647.03/1647.30	c 1641s |      15 |  1401393 |   112532 |   199613      0 |        1 |        0
1649.94/1650.25	c 1644s |      15 |  1401544 |   112632 |   199613      0 |        1 |        0
1653.82/1654.19	c 1648s |      15 |  1401715 |   112732 |   199613      0 |        1 |        0
1659.52/1659.85	c 1653s |      15 |  1401874 |   112832 |   199613      0 |        1 |        0
1663.52/1663.89	c 1658s |      15 |  1402031 |   112932 |   199613      0 |        1 |        0
1666.52/1666.85	c 1660s |      15 |  1402162 |   113032 |   199613      0 |        1 |        0
1668.82/1669.14	c 1663s |      15 |  1402312 |   113132 |   199613      0 |        1 |        0
1672.11/1672.46	c 1666s |      15 |  1402579 |   113232 |   199613      0 |        1 |        0
1674.32/1674.60	c 1668s |      15 |  1403286 |   113432 |   199613      0 |        1 |        0
1676.82/1677.17	c 1671s |      15 |  1403873 |   113632 |   199613      0 |        1 |        0
1678.81/1679.18	c 1673s |      15 |  1404197 |   113732 |   199613      0 |        1 |        0
1682.22/1682.59	c 1676s |      15 |  1404642 |   113832 |   199613      0 |        1 |        0
1685.81/1686.17	c 1680s |      15 |  1404823 |   113932 |   199613      0 |        1 |        0
1688.82/1689.12	c 1683s |      15 |  1405174 |   114032 |   199613      0 |        1 |        0
1691.22/1691.58	c 1685s |      15 |  1406117 |   114332 |   199613      0 |        1 |        0
1695.71/1696.07	c 1690s |      15 |  1406648 |   114532 |   199613      0 |        1 |        0
1699.81/1700.19	c 1694s |      15 |  1406769 |   114632 |   199613      0 |        1 |        0
1703.82/1704.14	c 1698s |      15 |  1406919 |   114732 |   199613      0 |        1 |        0
1707.91/1708.27	c 1702s |      15 |  1407047 |   114832 |   199613      0 |        1 |        0
1712.91/1713.24	c 1707s |      15 |  1407183 |   114932 |   199613      0 |        1 |        0
1716.51/1716.81	c 1710s |      15 |  1407351 |   115032 |   199613      0 |        1 |        0
1720.50/1720.84	c 1714s |      15 |  1407460 |   115132 |   199613      0 |        1 |        0
1724.51/1724.90	c 1719s |      15 |  1407603 |   115232 |   199613      0 |        1 |        0
1728.90/1729.26	c 1723s |      15 |  1407722 |   115332 |   199613      0 |        1 |        0
1736.60/1736.97	c 1731s |      15 |  1407833 |   115432 |   199613      0 |        1 |        0
1740.40/1740.75	c 1734s |      15 |  1408048 |   115532 |   199613      0 |        1 |        0
1745.70/1746.01	c 1740s |      15 |  1408185 |   115632 |   199613      0 |        1 |        0
1751.50/1751.88	c 1745s |      15 |  1408299 |   115732 |   199613      0 |        1 |        0
1759.20/1759.54	c 1753s |      15 |  1408436 |   115832 |   199613      0 |        1 |        0
1761.60/1761.97	c 1756s |      15 |  1408881 |   115932 |   199613      0 |        1 |        0
1764.00/1764.35	c 1758s |      15 |  1409152 |   116032 |   199613      0 |        1 |        0
1767.40/1767.76	c 1761s |      15 |  1409312 |   116132 |   199613      0 |        1 |        0
1771.00/1771.37	c 1765s |      15 |  1409493 |   116232 |   199613      0 |        1 |        0
1777.70/1778.04	c 1772s |      15 |  1410210 |   116432 |   199613      0 |        1 |        0
1783.00/1783.37	c 1777s |      15 |  1410362 |   116532 |   199613      0 |        1 |        0
1786.89/1787.25	c 1781s |      15 |  1410493 |   116632 |   199613      0 |        1 |        0
1790.70/1791.09	c 1785s |      15 |  1410655 |   116732 |   199613      0 |        1 |        0
1795.59/1795.97	c 1790s |      15 |  1410805 |   116832 |   199613      0 |        1 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4093588-1466088212/watcher-4093588-1466088212 -o /tmp/evaluation-result-4093588-1466088212/solver-4093588-1466088212 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466074317-17183 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093588-1466088212.wbo 

pid=20721
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.12 2.13 2.07 4/177 20724
/proc/meminfo: memFree=29340996/32872528 swapFree=446836/479540
[pid=20724] ppid=20721 vsize=694716 CPUtime=0 cores=0,2,4,6
/proc/20724/stat : 20724 (toysat) R 20721 20724 15681 0 -1 4202496 2585 0 0 0 0 0 0 0 20 0 4 0 10871371 711389184 2435 33554432000 4194304 16246674 140737107405648 140737107405072 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20724/statm: 174447 2447 441 2943 0 171341 0
[pid=20724/tid=20725] ppid=20721 vsize=713148 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20725/stat : 20725 (toysat) S 20721 20724 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10871371 730263552 2509 33554432000 4194304 16246674 140737107405648 139809824681200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20724/tid=20726] ppid=20721 vsize=717244 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20726/stat : 20726 (toysat) S 20721 20724 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10871371 734457856 2525 33554432000 4194304 16246674 140737107405648 139809814191344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20724/tid=20727] ppid=20721 vsize=722364 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20727/stat : 20727 (toysat) S 20721 20724 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10871371 739700736 2543 33554432000 4194304 16246674 140737107405648 139809803717808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100124 s]
/proc/loadavg: 2.12 2.13 2.07 4/177 20724
/proc/meminfo: memFree=29340996/32872528 swapFree=446836/479540
[pid=20724] ppid=20721 vsize=1302084 CPUtime=0.08 cores=0,2,4,6
/proc/20724/stat : 20724 (toysat) R 20721 20724 15681 0 -1 4202496 22604 0 0 0 6 2 0 0 20 0 4 0 10871371 1333334016 22394 33554432000 4194304 16246674 140737107405648 140737107404960 7369730 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20724/statm: 325521 22408 802 2943 0 322415 0
[pid=20724/tid=20725] ppid=20721 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20725/stat : 20725 (toysat) S 20721 20724 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10871371 1333334016 22417 33554432000 4194304 16246674 140737107405648 139809824681200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20724/tid=20726] ppid=20721 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20726/stat : 20726 (toysat) S 20721 20724 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10871371 1333334016 22427 33554432000 4194304 16246674 140737107405648 139809814191344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20724/tid=20727] ppid=20721 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20727/stat : 20727 (toysat) S 20721 20724 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10871371 1333334016 22438 33554432000 4194304 16246674 140737107405648 139809803717808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200453 s]
/proc/loadavg: 2.12 2.13 2.07 4/177 20724
/proc/meminfo: memFree=29340996/32872528 swapFree=446836/479540
[pid=20724] ppid=20721 vsize=1307204 CPUtime=0.19 cores=0,2,4,6
/proc/20724/stat : 20724 (toysat) R 20721 20724 15681 0 -1 4202496 46998 0 0 0 13 6 0 0 20 0 4 0 10871371 1338576896 47298 33554432000 4194304 16246674 140737107405648 140737107404960 4220897 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20724/statm: 326801 47298 802 2943 0 323695 0
[pid=20724/tid=20725] ppid=20721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20725/stat : 20725 (toysat) S 20721 20724 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10871371 1338576896 47301 33554432000 4194304 16246674 140737107405648 139809824681200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20724/tid=20726] ppid=20721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20726/stat : 20726 (toysat) S 20721 20724 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10871371 1338576896 47303 33554432000 4194304 16246674 140737107405648 139809814191344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20724/tid=20727] ppid=20721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20727/stat : 20727 (toysat) S 20721 20724 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10871371 1338576896 47306 33554432000 4194304 16246674 140737107405648 139809803717808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1307204

[startup+0.300413 s]
/proc/loadavg: 2.12 2.13 2.07 4/177 20724
/proc/meminfo: memFree=29340996/32872528 swapFree=446836/479540
[pid=20724] ppid=20721 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/20724/stat : 20724 (toysat) R 20721 20724 15681 0 -1 4202496 57932 0 0 0 21 8 0 0 20 0 4 0 10871371 1344868352 58232 33554432000 4194304 16246674 140737107405648 140737107404960 4220850 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20724/statm: 328337 58232 802 2943 0 325231 0
[pid=20724/tid=20725] ppid=20721 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20725/stat : 20725 (toysat) S 20721 20724 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10871371 1344868352 58232 33554432000 4194304 16246674 140737107405648 139809824681200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20724/tid=20726] ppid=20721 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20726/stat : 20726 (toysat) S 20721 20724 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10871371 1344868352 58232 33554432000 4194304 16246674 140737107405648 139809814191344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20724/tid=20727] ppid=20721 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20727/stat : 20727 (toysat) S 20721 20724 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10871371 1344868352 58232 33554432000 4194304 16246674 140737107405648 139809803717808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700361 s]
/proc/loadavg: 2.12 2.13 2.07 4/177 20724
/proc/meminfo: memFree=29340996/32872528 swapFree=446836/479540
[pid=20724] ppid=20721 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/20724/stat : 20724 (toysat) R 20721 20724 15681 0 -1 4202496 58704 0 0 0 61 8 0 0 20 0 4 0 10871371 1344868352 59004 33554432000 4194304 16246674 140737107405648 140737107404960 13780514 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20724/statm: 328337 59004 816 2943 0 325231 0
[pid=20724/tid=20725] ppid=20721 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20725/stat : 20725 (toysat) S 20721 20724 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10871371 1344868352 59004 33554432000 4194304 16246674 140737107405648 139809824681200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20724/tid=20726] ppid=20721 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20726/stat : 20726 (toysat) S 20721 20724 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10871371 1344868352 59004 33554432000 4194304 16246674 140737107405648 139809814191344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20724/tid=20727] ppid=20721 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20727/stat : 20727 (toysat) S 20721 20724 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10871371 1344868352 59004 33554432000 4194304 16246674 140737107405648 139809803717808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50029 s]
/proc/loadavg: 2.12 2.13 2.07 3/181 20728
/proc/meminfo: memFree=29048112/32872528 swapFree=446836/479540
[pid=20724] ppid=20721 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/20724/stat : 20724 (toysat) R 20721 20724 15681 0 -1 4202496 73133 0 0 0 139 10 0 0 20 0 4 0 10871371 1344868352 73433 33554432000 4194304 16246674 140737107405648 140737107387520 12481404 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20724/statm: 328337 73433 835 2943 0 325231 0
[pid=20724/tid=20725] ppid=20721 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20725/stat : 20725 (toysat) S 20721 20724 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10871371 1344868352 73433 33554432000 4194304 16246674 140737107405648 139809824681200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20724/tid=20726] ppid=20721 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20726/stat : 20726 (toysat) S 20721 20724 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10871371 1344868352 73433 33554432000 4194304 16246674 140737107405648 139809814191344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20724/tid=20727] ppid=20721 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20727/stat : 20727 (toysat) S 20721 20724 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10871371 1344868352 73433 33554432000 4194304 16246674 140737107405648 139809803717808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10036 s]
/proc/loadavg: 2.12 2.13 2.07 3/181 20728
/proc/meminfo: memFree=28480688/32872528 swapFree=446836/479540
[pid=20724] ppid=20721 vsize=1343044 CPUtime=3.09 cores=0,2,4,6
/proc/20724/stat : 20724 (toysat) R 20721 20724 15681 0 -1 4202496 222144 0 0 0 276 33 0 0 20 0 4 0 10871371 1375277056 222444 33554432000 4194304 16246674 140737107405648 140737107387520 13752936 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20724/statm: 335761 222444 857 2943 0 332655 0
[pid=20724/tid=20725] ppid=20721 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20725/stat : 20725 (toysat) S 20721 20724 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10871371 1375277056 222444 33554432000 4194304 16246674 140737107405648 139809824681200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20724/tid=20726] ppid=20721 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20726/stat : 20726 (toysat) S 20721 20724 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10871371 1375277056 222444 33554432000 4194304 16246674 140737107405648 139809814191344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20724/tid=20727] ppid=20721 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20727/stat : 20727 (toysat) S 20721 20724 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10871371 1375277056 222444 33554432000 4194304 16246674 140737107405648 139809803717808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1343044

[startup+6.30029 s]
/proc/loadavg: 2.11 2.13 2.07 3/181 20728
/proc/meminfo: memFree=28200144/32872528 swapFree=446836/479540
[pid=20724] ppid=20721 vsize=1359428 CPUtime=6.29 cores=0,2,4,6
/proc/20724/stat : 20724 (toysat) R 20721 20724 15681 0 -1 4202496 280569 0 0 0 586 43 0 0 20 0 4 0 10871371 1392054272 280869 33554432000 4194304 16246674 140737107405648 140737107387520 13906983 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20724/statm: 339857 280869 927 2943 0 336751 0
[pid=20724/tid=20725] ppid=20721 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20725/stat : 20725 (toysat) S 20721 20724 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10871371 1392054272 280869 33554432000 4194304 16246674 140737107405648 139809824681200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20724/tid=20726] ppid=20721 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20726/stat : 20726 (toysat) S 20721 20724 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10871371 1392054272 280869 33554432000 4194304 16246674 140737107405648 139809814191344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20724/tid=20727] ppid=20721 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20727/stat : 20727 (toysat) S 20721 20724 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10871371 1392054272 280869 33554432000 4194304 16246674 140737107405648 139809803717808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1359428

[startup+12.7003 s]
/proc/loadavg: 2.10 2.13 2.07 3/181 20728
/proc/meminfo: memFree=28199720/32872528 swapFree=446836/479540
[pid=20724] ppid=20721 vsize=1359428 CPUtime=12.69 cores=0,2,4,6
/proc/20724/stat : 20724 (toysat) R 20721 20724 15681 0 -1 4202496 280569 0 0 0 1226 43 0 0 20 0 4 0 10871371 1392054272 280869 33554432000 4194304 16246674 140737107405648 140737107404744 5822604 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20724/statm: 339857 280869 927 2943 0 336751 0
[pid=20724/tid=20725] ppid=20721 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20725/stat : 20725 (toysat) S 20721 20724 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10871371 1392054272 280869 33554432000 4194304 16246674 140737107405648 139809824681200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20724/tid=20726] ppid=20721 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20726/stat : 20726 (toysat) S 20721 20724 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10871371 1392054272 280869 33554432000 4194304 16246674 140737107405648 139809814191344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20724/tid=20727] ppid=20721 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20727/stat : 20727 (toysat) S 20721 20724 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10871371 1392054272 280869 33554432000 4194304 16246674 140737107405648 139809803717808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1359428

[startup+25.507 s]
/proc/loadavg: 2.15 2.14 2.07 3/181 20728
/proc/meminfo: memFree=28180960/32872528 swapFree=446836/479540
[pid=20724] ppid=20721 vsize=1359428 CPUtime=25.49 cores=0,2,4,6
/proc/20724/stat : 20724 (toysat) R 20721 20724 15681 0 -1 4202496 280573 0 0 0 2506 43 0 0 20 0 4 0 10871371 1392054272 280873 33554432000 4194304 16246674 140737107405648 140737107387520 13898691 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20724/statm: 339857 280873 931 2943 0 336751 0
[pid=20724/tid=20725] ppid=20721 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20725/stat : 20725 (toysat) S 20721 20724 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10871371 1392054272 280873 33554432000 4194304 16246674 140737107405648 139809824681200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20724/tid=20726] ppid=20721 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20726/stat : 20726 (toysat) S 20721 20724 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10871371 1392054272 280873 33554432000 4194304 16246674 140737107405648 139809814191344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20724/tid=20727] ppid=20721 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20727/stat : 20727 (toysat) S 20721 20724 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10871371 1392054272 280873 33554432000 4194304 16246674 140737107405648 139809803717808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1359428

[startup+51.1003 s]
/proc/loadavg: 2.17 2.14 2.08 3/181 20728
/proc/meminfo: memFree=28160000/32872528 swapFree=446836/479540
[pid=20724] ppid=20721 vsize=1359428 CPUtime=51.08 cores=0,2,4,6
/proc/20724/stat : 20724 (toysat) R 20721 20724 15681 0 -1 4202496 280573 0 0 0 5064 44 0 0 20 0 4 0 10871371 1392054272 280873 33554432000 4194304 16246674 140737107405648 140737107387520 5717462 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20724/statm: 339857 280873 931 2943 0 336751 0
[pid=20724/tid=20725] ppid=20721 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20725/stat : 20725 (toysat) S 20721 20724 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10871371 1392054272 280873 33554432000 4194304 16246674 140737107405648 139809824681200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20724/tid=20726] ppid=20721 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20726/stat : 20726 (toysat) S 20721 20724 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10871371 1392054272 280873 33554432000 4194304 16246674 140737107405648 139809814191344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20724/tid=20727] ppid=20721 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20727/stat : 20727 (toysat) S 20721 20724 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10871371 1392054272 280873 33554432000 4194304 16246674 140737107405648 139809803717808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1359428

[startup+102.3 s]
/proc/loadavg: 2.12 2.13 2.08 3/181 20729
/proc/meminfo: memFree=28106728/32872528 swapFree=446836/479540
[pid=20724] ppid=20721 vsize=1359428 CPUtime=102.27 cores=0,2,4,6
/proc/20724/stat : 20724 (toysat) R 20721 20724 15681 0 -1 4202496 280573 0 0 0 10181 46 0 0 20 0 4 0 10871371 1392054272 280873 33554432000 4194304 16246674 140737107405648 140737107387520 13885061 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20724/statm: 339857 280873 931 2943 0 336751 0
[pid=20724/tid=20725] ppid=20721 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20725/stat : 20725 (toysat) S 20721 20724 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10871371 1392054272 280873 33554432000 4194304 16246674 140737107405648 139809824681200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20724/tid=20726] ppid=20721 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20726/stat : 20726 (toysat) S 20721 20724 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10871371 1392054272 280873 33554432000 4194304 16246674 140737107405648 139809814191344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20724/tid=20727] ppid=20721 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20727/stat : 20727 (toysat) S 20721 20724 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10871371 1392054272 280873 33554432000 4194304 16246674 140737107405648 139809803717808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1359428


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

/proc/20724/task/20725/stat : 20725 (toysat) S 20721 20724 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10871371 3102281728 698382 33554432000 4194304 16246674 140737107405648 139809824681200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20724/tid=20726] ppid=20721 vsize=3029572 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20726/stat : 20726 (toysat) S 20721 20724 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10871371 3102281728 698382 33554432000 4194304 16246674 140737107405648 139809814191344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20724/tid=20727] ppid=20721 vsize=3029572 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20727/stat : 20727 (toysat) S 20721 20724 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10871371 3102281728 698382 33554432000 4194304 16246674 140737107405648 139809803717808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 3029572

[startup+1362.3 s]
/proc/loadavg: 2.07 2.09 2.08 3/181 20880
/proc/meminfo: memFree=28503888/32872528 swapFree=446836/479540
[pid=20724] ppid=20721 vsize=3075652 CPUtime=1362.09 cores=0,2,4,6
/proc/20724/stat : 20724 (toysat) R 20721 20724 15681 0 -1 4202496 709509 0 0 0 135914 295 0 0 20 0 4 0 10871371 3149467648 709809 33554432000 4194304 16246674 140737107405648 140737107404744 14628944 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20724/statm: 768913 709809 931 2943 0 765807 0
[pid=20724/tid=20725] ppid=20721 vsize=3075652 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20725/stat : 20725 (toysat) S 20721 20724 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10871371 3149467648 709809 33554432000 4194304 16246674 140737107405648 139809824681200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20724/tid=20726] ppid=20721 vsize=3075652 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20726/stat : 20726 (toysat) S 20721 20724 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10871371 3149467648 709809 33554432000 4194304 16246674 140737107405648 139809814191344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20724/tid=20727] ppid=20721 vsize=3075652 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20727/stat : 20727 (toysat) S 20721 20724 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10871371 3149467648 709809 33554432000 4194304 16246674 140737107405648 139809803717808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 3075652

[startup+1422.3 s]
/proc/loadavg: 2.02 2.07 2.08 3/181 20930
/proc/meminfo: memFree=27546708/32872528 swapFree=446836/479540
[pid=20724] ppid=20721 vsize=3115588 CPUtime=1422.07 cores=0,2,4,6
/proc/20724/stat : 20724 (toysat) R 20721 20724 15681 0 -1 4202496 719487 0 0 0 141900 307 0 0 20 0 4 0 10871371 3190362112 720041 33554432000 4194304 16246674 140737107405648 140737107404824 13874569 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20724/statm: 778897 720041 931 2943 0 775791 0
[pid=20724/tid=20725] ppid=20721 vsize=3115588 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20725/stat : 20725 (toysat) S 20721 20724 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10871371 3190362112 720041 33554432000 4194304 16246674 140737107405648 139809824681200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20724/tid=20726] ppid=20721 vsize=3115588 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20726/stat : 20726 (toysat) S 20721 20724 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10871371 3190362112 720041 33554432000 4194304 16246674 140737107405648 139809814191344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20724/tid=20727] ppid=20721 vsize=3115588 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20727/stat : 20727 (toysat) S 20721 20724 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10871371 3190362112 720041 33554432000 4194304 16246674 140737107405648 139809803717808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 3115588

[startup+1482.3 s]
/proc/loadavg: 2.07 2.07 2.08 3/181 21028
/proc/meminfo: memFree=27521268/32872528 swapFree=446836/479540
[pid=20724] ppid=20721 vsize=3170884 CPUtime=1482.06 cores=0,2,4,6
/proc/20724/stat : 20724 (toysat) R 20721 20724 15681 0 -1 4202496 733259 0 0 0 147881 325 0 0 20 0 4 0 10871371 3246985216 733806 33554432000 4194304 16246674 140737107405648 140737107404824 14628944 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20724/statm: 792721 733806 931 2943 0 789615 0
[pid=20724/tid=20725] ppid=20721 vsize=3170884 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20725/stat : 20725 (toysat) S 20721 20724 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10871371 3246985216 733806 33554432000 4194304 16246674 140737107405648 139809824681200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20724/tid=20726] ppid=20721 vsize=3170884 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20726/stat : 20726 (toysat) S 20721 20724 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10871371 3246985216 733806 33554432000 4194304 16246674 140737107405648 139809814191344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20724/tid=20727] ppid=20721 vsize=3170884 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20727/stat : 20727 (toysat) S 20721 20724 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10871371 3246985216 733806 33554432000 4194304 16246674 140737107405648 139809803717808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 3170884

[startup+1542.3 s]
/proc/loadavg: 2.08 2.07 2.08 3/181 21029
/proc/meminfo: memFree=27464336/32872528 swapFree=446836/479540
[pid=20724] ppid=20721 vsize=3226180 CPUtime=1542.06 cores=0,2,4,6
/proc/20724/stat : 20724 (toysat) R 20721 20724 15681 0 -1 4202496 747176 0 0 0 153865 341 0 0 20 0 4 0 10871371 3303608320 747721 33554432000 4194304 16246674 140737107405648 140737107404824 4206864 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20724/statm: 806545 747721 931 2943 0 803439 0
[pid=20724/tid=20725] ppid=20721 vsize=3226180 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20725/stat : 20725 (toysat) S 20721 20724 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10871371 3303608320 747721 33554432000 4194304 16246674 140737107405648 139809824681200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20724/tid=20726] ppid=20721 vsize=3226180 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20726/stat : 20726 (toysat) S 20721 20724 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10871371 3303608320 747721 33554432000 4194304 16246674 140737107405648 139809814191344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20724/tid=20727] ppid=20721 vsize=3226180 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20727/stat : 20727 (toysat) S 20721 20724 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10871371 3303608320 747721 33554432000 4194304 16246674 140737107405648 139809803717808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 3226180

[startup+1602.3 s]
/proc/loadavg: 2.07 2.07 2.08 3/182 21033
/proc/meminfo: memFree=27393360/32872528 swapFree=446836/479540
[pid=20724] ppid=20721 vsize=3293764 CPUtime=1602.03 cores=0,2,4,6
/proc/20724/stat : 20724 (toysat) R 20721 20724 15681 0 -1 4202496 763966 0 0 0 159847 356 0 0 20 0 4 0 10871371 3372814336 764497 33554432000 4194304 16246674 140737107405648 140737107404744 4222992 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20724/statm: 823441 764497 931 2943 0 820335 0
[pid=20724/tid=20725] ppid=20721 vsize=3293764 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20725/stat : 20725 (toysat) S 20721 20724 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10871371 3372814336 764497 33554432000 4194304 16246674 140737107405648 139809824681200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20724/tid=20726] ppid=20721 vsize=3293764 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20726/stat : 20726 (toysat) S 20721 20724 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10871371 3372814336 764497 33554432000 4194304 16246674 140737107405648 139809814191344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20724/tid=20727] ppid=20721 vsize=3293764 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20727/stat : 20727 (toysat) S 20721 20724 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10871371 3372814336 764497 33554432000 4194304 16246674 140737107405648 139809803717808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 3293764

[startup+1662.31 s]
/proc/loadavg: 2.17 2.10 2.09 3/181 21034
/proc/meminfo: memFree=27330644/32872528 swapFree=446836/479540
[pid=20724] ppid=20721 vsize=3356228 CPUtime=1662.03 cores=0,2,4,6
/proc/20724/stat : 20724 (toysat) R 20721 20724 15681 0 -1 4202496 779606 0 0 0 165830 373 0 0 20 0 4 0 10871371 3436777472 780129 33554432000 4194304 16246674 140737107405648 140737107404824 14628944 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20724/statm: 839057 780129 931 2943 0 835951 0
[pid=20724/tid=20725] ppid=20721 vsize=3356228 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20725/stat : 20725 (toysat) S 20721 20724 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10871371 3436777472 780129 33554432000 4194304 16246674 140737107405648 139809824681200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20724/tid=20726] ppid=20721 vsize=3356228 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20726/stat : 20726 (toysat) S 20721 20724 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10871371 3436777472 780129 33554432000 4194304 16246674 140737107405648 139809814191344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20724/tid=20727] ppid=20721 vsize=3356228 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20727/stat : 20727 (toysat) S 20721 20724 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10871371 3436777472 780129 33554432000 4194304 16246674 140737107405648 139809803717808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 3356228

[startup+1722.3 s]
/proc/loadavg: 2.11 2.09 2.09 3/181 21036
/proc/meminfo: memFree=27256636/32872528 swapFree=446836/479540
[pid=20724] ppid=20721 vsize=3429956 CPUtime=1722.01 cores=0,2,4,6
/proc/20724/stat : 20724 (toysat) R 20721 20724 15681 0 -1 4202496 798145 0 0 0 171814 387 0 0 20 0 4 0 10871371 3512274944 798657 33554432000 4194304 16246674 140737107405648 140737107404744 5553796 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20724/statm: 857489 798657 931 2943 0 854383 0
[pid=20724/tid=20725] ppid=20721 vsize=3429956 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20725/stat : 20725 (toysat) S 20721 20724 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10871371 3512274944 798657 33554432000 4194304 16246674 140737107405648 139809824681200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20724/tid=20726] ppid=20721 vsize=3429956 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20726/stat : 20726 (toysat) S 20721 20724 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10871371 3512274944 798657 33554432000 4194304 16246674 140737107405648 139809814191344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20724/tid=20727] ppid=20721 vsize=3429956 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20727/stat : 20727 (toysat) S 20721 20724 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10871371 3512274944 798657 33554432000 4194304 16246674 140737107405648 139809803717808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 3429956

[startup+1782.3 s]
/proc/loadavg: 2.08 2.08 2.09 3/181 21037
/proc/meminfo: memFree=27172968/32872528 swapFree=446836/479540
[pid=20724] ppid=20721 vsize=3512900 CPUtime=1781.99 cores=0,2,4,6
/proc/20724/stat : 20724 (toysat) R 20721 20724 15681 0 -1 4202496 818982 0 0 0 177795 404 0 0 20 0 4 0 10871371 3597209600 819481 33554432000 4194304 16246674 140737107405648 140737107404824 4220495 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20724/statm: 878225 819481 932 2943 0 875119 0
[pid=20724/tid=20725] ppid=20721 vsize=3512900 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20725/stat : 20725 (toysat) S 20721 20724 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10871371 3597209600 819481 33554432000 4194304 16246674 140737107405648 139809824681200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20724/tid=20726] ppid=20721 vsize=3512900 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20726/stat : 20726 (toysat) S 20721 20724 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10871371 3597209600 819481 33554432000 4194304 16246674 140737107405648 139809814191344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20724/tid=20727] ppid=20721 vsize=3512900 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20727/stat : 20727 (toysat) S 20721 20724 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10871371 3597209600 819481 33554432000 4194304 16246674 140737107405648 139809803717808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 3512900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.12 2.09 2.09 3/181 21038
/proc/meminfo: memFree=27161516/32872528 swapFree=446836/479540
[pid=20724] ppid=20721 vsize=3530308 CPUtime=1800.09 cores=0,2,4,6
/proc/20724/stat : 20724 (toysat) R 20721 20724 15681 0 -1 4202496 823345 0 0 0 179599 410 0 0 20 0 4 0 10871371 3615035392 823844 33554432000 4194304 16246674 140737107405648 140737107404864 5546214 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20724/statm: 882577 823844 932 2943 0 879471 0
[pid=20724/tid=20725] ppid=20721 vsize=3530308 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20725/stat : 20725 (toysat) S 20721 20724 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10871371 3615035392 823844 33554432000 4194304 16246674 140737107405648 139809824681200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20724/tid=20726] ppid=20721 vsize=3530308 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20726/stat : 20726 (toysat) S 20721 20724 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10871371 3615035392 823844 33554432000 4194304 16246674 140737107405648 139809814191344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20724/tid=20727] ppid=20721 vsize=3530308 CPUtime=0 cores=0,2,4,6
/proc/20724/task/20727/stat : 20727 (toysat) S 20721 20724 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10871371 3615035392 823844 33554432000 4194304 16246674 140737107405648 139809803717808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 3530308

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

[startup+1800.5 s]
/proc/loadavg: 2.12 2.09 2.09 3/181 21038
/proc/meminfo: memFree=27161516/32872528 swapFree=446836/479540
[pid=20724] ppid=20721 vsize=0 CPUtime=1800.2 cores=0,2,4,6
/proc/20724/stat : 20724 (toysat) Z 20721 20724 15681 0 -1 4203532 823345 0 0 0 179600 420 0 0 20 0 2 0 10871371 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20724/statm: 0 0 0 0 0 0 0
[pid=20724/tid=20727] ppid=20721 vsize=0 CPUtime=0.08 cores=0,2,4,6
/proc/20724/task/20727/stat : 20727 (toysat) R 20721 20724 15681 0 -1 4203588 2 0 0 0 0 8 0 0 20 0 2 0 10871371 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.55
CPU time (s): 1800.24
CPU user time (s): 1796
CPU system time (s): 4.24035
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 3530308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796
system time used= 4.24036
maximum resident set size= 3295376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 823345
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= 459
involuntary context switches= 2821

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.2479 second user time and 8.51171 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-16 16:43:32
IDJOB=4093588
IDBENCH=79121
IDSOLVER=2553
FILE ID=node104/4093588-1466088212
RUNJOBID= node104-1466074317-17183
PBS_JOBID= 19904028
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.8.accl.ucl--soft-0-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093588-1466088212/watcher-4093588-1466088212 -o /tmp/evaluation-result-4093588-1466088212/solver-4093588-1466088212 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466074317-17183 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093588-1466088212.wbo

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

MD5SUM BENCH= a31a9948f18584eba3770008abd12676
RANDOM SEED=336256564

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.035
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		: 2667.035
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:        29340884 kB
Buffers:           40400 kB
Cached:           122452 kB
SwapCached:          516 kB
Active:          2274400 kB
Inactive:          74356 kB
Active(anon):    2187224 kB
Inactive(anon):     1168 kB
Active(file):      87176 kB
Inactive(file):    73188 kB
Unevictable:      479540 kB
Mlocked:          446836 kB
SwapTotal:      67108856 kB
SwapFree:       67100316 kB
Dirty:             18848 kB
Writeback:             0 kB
AnonPages:       2665436 kB
Mapped:            10776 kB
Shmem:                 0 kB
Slab:             568704 kB
SReclaimable:      12904 kB
SUnreclaim:       555800 kB
KernelStack:        1464 kB
PageTables:         9384 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2799328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    518144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node104 at 2016-06-16 17:13:33