Trace number 4099704

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.06 1800.51

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
MD5SUM63ec6637b1b124456335cf99c2a6c3dd
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark55.6235
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables201731
Total number of constraints592525
Number of constraints which are clauses579429
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints13096
Minimum length of a constraint1
Maximum length of a constraint15
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 131
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 513
Number of bits of the biggest sum of numbers10
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-18T01:29:21+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4099704-1466206160.opb"]
0.00/0.01	c use --random-gen="3290692469 2133206530 2648992065 2502593272 113185694 4128892600 3995867208 1614734947 1521745154 3642010449 2318165890 4251956077 726816096 2331271981 2834505239 3718493831 4266875549 861053937 1800515576 3873824785 1340418245 2362152783 1513927595 2541803578 521573679 3646646319 1879436591 2776583816 2153533871 807550731 1517366619 4285668913 7717967 2762972296 1961035273 2086667311 3631793352 1181502844 3072207420 3924375838 2189890709 832698915 2709807208 1926473691 2101279792 1328560728 3945188207 1334338138 487196670 255152728 460128372 2531454348 4153189206 1720844291 836444772 676334903 122441257 700181307 4115102699 2413209316 2429414153 1947572883 2214373427 1288078243 3022014736 167320199 500526953 629480598 4169397426 2664037109 2916950671 3783340153 3339054664 975933838 3393510083 469521825 3359239892 3538902838 2841584517 3851472200 2542950935 3166745599 1613417827 1939087558 2761532394 99888075 399695197 4282004535 5726255 2264982456 4023656306 272874019 2604391699 311644300 2863310577 2450294717 1918498718 1247120064 627160761 3413562399 1148749152 3341037324 983706563 2202902714 2617717879 630924942 1720365464 4101287986 835462639 2875971563 4214615733 3590624131 3816851811 26265024 839006822 777674803 2262186407 320225147 3058451237 1708635564 911660554 2712219097 1246998421 2060015149 2485069604 3164878794 4016996554 2573747719 861855441 56163895 878204065 1682931981 2289955404 3186570900 2064720207 1603487876 1612759864 3992595150 3872837927 1510025364 2841951771 4237562535 3746661827 971623907 110642763 3575794375 1366634137 3824333077 1470073385 2580420639 1751090315 2907751222 105411636 1143933811 1724124064 1169640164 2479789884 3239529408 132279793 222155661 72781967 3431587064 962351411 4103078178 2168242122 1857151808 2369717513 2509051431 3481971655 1868260501 1043443372 523487974 4157092899 3275930899 2011890946 3939529136 1616479470 1261175590 2611128137 1861558418 753780890 3793712457 445910195 147597052 1809780561 3155572190 3547702194 2399033744 3287186568 2996703926 117137627 2041163990 1722994120 2290057111 124712166 2391417864 777604090 3388181112 2046931755 796265168 2581710639 901637444 4013663783 2729519017 785667928 979266733 157673278 1431740361 122025361 1046024265 2328890518 2307930858 4218349607 2757216923 2060745208 2598100294 1152542255 1780530836 2724584442 235306959 3999781777 3792509927 2627920611 3032079777 2057687751 3304947226 327370210 1015604360 1114666761 3464671183 4039424132 1392882822 2601894186 498676506 2299704307 323884347 3683291377 1488325980 424873405 3623619246 508032143 2709345785 3870901011 2946368332 1125955996 1905375904 1021563561 3310502164 1334581798 373323827 3298019159 1077827857 3506190554 1623805287 1797331622 760214403 255 362436" option to reproduce the execution
3.39/3.43	c #vars 201731
3.39/3.43	c #constraints 592525
12.19/12.28	c Solving starts ...
12.19/12.28	c ============================[ Search Statistics ]============================
12.19/12.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
12.19/12.28	c       |         |          |          |    Limit     GC | Var      | Constra 
12.19/12.28	c =============================================================================
12.28/12.34	c  0.0s |       0 |        0 |        0 |   264751      0 |     2503 |        0
14.88/14.97	c  2.6s |       0 |     2525 |      100 |   264751      0 |     2503 |     6368
14.98/15.09	c  2.8s |       1 |     2525 |      100 |   264751      0 |     2503 |     6368
17.38/17.46	c  5.1s |       2 |     2912 |      250 |   291227      0 |     2503 |     6368
19.68/19.80	c  7.5s |       2 |     3247 |      350 |   320350      0 |     2503 |     6368
21.48/21.58	c  9.2s |       3 |     5008 |      475 |   320350      0 |     2503 |     6368
25.18/25.25	c 12.9s |       3 |     6239 |      675 |   352385      0 |     2503 |     6368
25.78/25.80	c 13.5s |       4 |     6462 |      813 |   352385      0 |     2503 |     6368
29.69/29.74	c 17.4s |       4 |     6742 |      913 |   387624      0 |     2503 |     6368
33.38/33.48	c 21.1s |       4 |     6922 |     1013 |   387624      0 |     2503 |     6368
36.78/36.89	c 24.6s |       4 |     7066 |     1113 |   387624      0 |     2503 |     6368
40.38/40.47	c 28.1s |       4 |     7217 |     1213 |   387624      0 |     2503 |     6368
44.09/44.16	c 31.8s |       4 |     7353 |     1313 |   387624      0 |     2503 |     6368
44.38/44.49	c 32.1s |       5 |     7364 |     1320 |   387624      0 |     2503 |     6368
47.18/47.23	c 34.9s |       5 |     8077 |     1520 |   426387      0 |     2503 |     6368
49.88/49.97	c 37.6s |       5 |     8268 |     1620 |   426387      0 |     2503 |     6368
55.28/55.39	c 43.1s |       5 |     8412 |     1720 |   426387      0 |     2503 |     6368
60.08/60.20	c 47.9s |       5 |     8569 |     1820 |   426387      0 |     2503 |     6368
64.38/64.49	c 52.2s |       5 |     8727 |     1920 |   426387      0 |     2503 |     6368
70.97/71.07	c 58.7s |       5 |     8921 |     2020 |   426387      0 |     2503 |     6368
75.17/75.28	c 62.9s |       6 |     8992 |     2081 |   469026      0 |     2503 |     6368
78.27/78.35	c 66.0s |       6 |     9355 |     2181 |   469026      0 |     2503 |     6368
82.17/82.29	c 70.0s |       6 |     9693 |     2281 |   469026      0 |     2503 |     6368
86.57/86.69	c 74.4s |       6 |    10556 |     2581 |   469026      0 |     2503 |     6368
91.17/91.23	c 78.9s |       6 |    10824 |     2681 |   469026      0 |     2503 |     6368
93.37/93.40	c 81.1s |       6 |    10990 |     2781 |   469026      0 |     2503 |     6368
97.17/97.24	c 84.9s |       6 |    11182 |     2881 |   469026      0 |     2503 |     6368
99.47/99.51	c 87.2s |       6 |    11382 |     2981 |   469026      0 |     2503 |     6368
103.07/103.14	c 90.8s |       6 |    11757 |     3181 |   469026      0 |     2503 |     6368
104.17/104.21	c 91.9s |       7 |    11830 |     3223 |   515929      0 |     2503 |     6368
106.17/106.21	c 93.9s |       7 |    12266 |     3323 |   515929      0 |     2503 |     6368
108.67/108.75	c 96.4s |       7 |    12461 |     3423 |   515929      0 |     2503 |     6368
111.77/111.85	c 99.5s |       7 |    12700 |     3523 |   515929      0 |     2503 |     6368
114.48/114.54	c  102s |       7 |    12918 |     3623 |   515929      0 |     2503 |     6368
117.47/117.51	c  105s |       7 |    13079 |     3723 |   515929      0 |     2503 |     6368
120.47/120.52	c  108s |       7 |    13212 |     3823 |   515929      0 |     2503 |     6368
123.27/123.35	c  111s |       7 |    13375 |     3923 |   515929      0 |     2503 |     6368
126.07/126.13	c  113s |       7 |    13547 |     4023 |   515929      0 |     2503 |     6368
128.97/129.01	c  116s |       7 |    13732 |     4123 |   515929      0 |     2503 |     6368
131.37/131.48	c  119s |       7 |    13867 |     4223 |   515929      0 |     2503 |     6368
135.87/135.94	c  123s |       7 |    14159 |     4423 |   515929      0 |     2503 |     6368
138.57/138.63	c  126s |       7 |    14425 |     4523 |   515929      0 |     2503 |     6368
140.66/140.80	c  128s |       7 |    14608 |     4623 |   515929      0 |     2503 |     6368
143.07/143.11	c  130s |       7 |    14767 |     4723 |   515929      0 |     2503 |     6368
145.56/145.65	c  133s |       7 |    14899 |     4823 |   515929      0 |     2503 |     6368
147.56/147.67	c  135s |       8 |    15102 |     4936 |   567522      0 |     2503 |     6368
154.96/155.02	c  142s |       8 |    15395 |     5036 |   567522      0 |     2503 |     6368
159.66/159.71	c  147s |       8 |    15840 |     5136 |   567522      0 |     2503 |     6368
165.26/165.35	c  153s |       8 |    17012 |     5636 |   567522      0 |     2503 |     6368
171.06/171.16	c  158s |       8 |    17273 |     5736 |   567522      0 |     2503 |     6368
174.97/175.09	c  162s |       8 |    17858 |     6036 |   567522      0 |     2503 |     6368
178.17/178.22	c  165s |       8 |    17974 |     6136 |   567522      0 |     2503 |     6368
181.66/181.74	c  169s |       8 |    18193 |     6236 |   567522      0 |     2503 |     6368
184.06/184.12	c  171s |       8 |    18538 |     6436 |   567522      0 |     2503 |     6368
188.36/188.41	c  176s |       8 |    18891 |     6636 |   567522      0 |     2503 |     6368
191.76/191.87	c  179s |       8 |    19111 |     6736 |   567522      0 |     2503 |     6368
197.36/197.41	c  185s |       8 |    19545 |     6836 |   567522      0 |     2503 |     6368
202.56/202.62	c  190s |       8 |    19832 |     6936 |   567522      0 |     4222 |    11997
205.66/205.79	c  193s |       8 |    20090 |     7036 |   567522      0 |     4222 |    11997
209.55/209.66	c  197s |       8 |    20495 |     7236 |   567522      0 |     4222 |    11997
214.15/214.25	c  201s |       8 |    20787 |     7336 |   567522      0 |     4222 |    11997
215.25/215.37	c  203s |       9 |    21009 |     7506 |   624275      0 |     4222 |    11997
219.65/219.75	c  207s |       9 |    21235 |     7606 |   624275      0 |     4222 |    11997
222.26/222.33	c  209s |       9 |    21395 |     7706 |   624275      0 |     4222 |    11997
226.85/226.98	c  214s |       9 |    21700 |     7906 |   624275      0 |     4222 |    11997
230.55/230.66	c  218s |       9 |    22034 |     8106 |   624275      0 |     4222 |    11997
235.36/235.44	c  223s |       9 |    22360 |     8306 |   624275      0 |     4222 |    11997
237.95/238.03	c  225s |       9 |    22641 |     8506 |   624275      0 |     4222 |    11997
240.35/240.45	c  228s |       9 |    22952 |     8706 |   624275      0 |     4222 |    11997
242.65/242.79	c  230s |       9 |    23228 |     8906 |   624275      0 |     4222 |    11997
247.45/247.53	c  235s |       9 |    23642 |     9106 |   624275      0 |     4222 |    11997
251.35/251.44	c  239s |       9 |    23884 |     9206 |   624275      0 |     4222 |    11997
255.75/255.84	c  243s |       9 |    24045 |     9306 |   624275      0 |     4222 |    11997
261.34/261.46	c  249s |       9 |    24280 |     9406 |   624275      0 |     4222 |    11997
263.64/263.72	c  251s |       9 |    24674 |     9506 |   624275      0 |     4222 |    11997
266.25/266.37	c  254s |       9 |    24837 |     9606 |   624275      0 |     4222 |    11997
269.64/269.71	c  257s |       9 |    25055 |     9706 |   624275      0 |     4222 |    11997
274.44/274.54	c  262s |       9 |    25279 |     9806 |   624275      0 |     4223 |    11999
277.15/277.29	c  264s |       9 |    25717 |     9906 |   624275      0 |     4224 |    12002
279.64/279.71	c  267s |       9 |    26005 |    10106 |   624275      0 |     4224 |    12002
282.14/282.29	c  269s |       9 |    26254 |    10206 |   624275      0 |     4224 |    12002
285.44/285.57	c  273s |       9 |    26594 |    10306 |   624275      0 |     4224 |    12002
288.25/288.35	c  276s |       9 |    26726 |    10406 |   624275      0 |     4224 |    12002
291.24/291.36	c  279s |       9 |    26921 |    10506 |   624275      0 |     4224 |    12002
295.44/295.55	c  283s |       9 |    27106 |    10606 |   624275      0 |     4224 |    12002
299.24/299.31	c  286s |       9 |    27313 |    10706 |   624275      0 |     4224 |    12002
301.94/302.05	c  289s |       9 |    27625 |    10806 |   624275      0 |     4224 |    12002
305.54/305.67	c  293s |       9 |    27780 |    10906 |   624275      0 |     4224 |    12002
309.34/309.44	c  297s |       9 |    27980 |    11006 |   624275      0 |     4224 |    12002
312.94/313.06	c  300s |       9 |    28114 |    11106 |   624275      0 |     4224 |    12002
316.53/316.62	c  304s |       9 |    28254 |    11206 |   624275      0 |     4224 |    12002
319.43/319.51	c  307s |       9 |    28387 |    11306 |   686703      0 |     4224 |    12002
322.13/322.26	c  309s |      10 |    28510 |    11361 |   686703      0 |     4224 |    12002
326.23/326.30	c  313s |      10 |    28700 |    11461 |   686703      0 |     4224 |    12002
330.83/330.98	c  318s |      10 |    29127 |    11661 |   686703      0 |     4224 |    12002
335.83/335.94	c  323s |      10 |    29288 |    11761 |   686703      0 |     4224 |    12002
339.94/340.05	c  327s |      10 |    29478 |    11861 |   686703      0 |     4224 |    12002
345.73/345.80	c  333s |      10 |    29659 |    11961 |   686703      0 |     4224 |    12002
347.83/347.97	c  335s |      10 |    29801 |    12061 |   686703      0 |     4224 |    12002
354.33/354.40	c  342s |      10 |    30107 |    12261 |   686703      0 |     4224 |    12002
358.43/358.51	c  346s |      10 |    30264 |    12361 |   686703      0 |     4224 |    12002
362.73/362.89	c  350s |      10 |    30454 |    12461 |   686703      0 |     4224 |    12002
367.43/367.53	c  355s |      10 |    30616 |    12561 |   686703      0 |     4224 |    12002
373.33/373.48	c  361s |      10 |    30742 |    12661 |   686703      0 |     4224 |    12002
377.72/377.86	c  365s |      10 |    31057 |    12761 |   686703      0 |     4225 |    12005
381.12/381.25	c  368s |      10 |    31199 |    12861 |   686703      0 |     4225 |    12005
385.42/385.51	c  373s |      10 |    31380 |    12961 |   686703      0 |     4225 |    12005
389.22/389.30	c  376s |      10 |    31556 |    13061 |   686703      0 |     4225 |    12005
393.52/393.65	c  381s |      10 |    31766 |    13161 |   686703      0 |     4225 |    12005
397.82/397.91	c  385s |      10 |    31925 |    13261 |   686703      0 |     4225 |    12005
402.53/402.61	c  390s |      10 |    32091 |    13361 |   686703      0 |     4225 |    12005
407.72/407.88	c  395s |      10 |    32252 |    13461 |   686703      0 |     4225 |    12005
411.82/411.90	c  399s |      10 |    32449 |    13561 |   686703      0 |     4225 |    12005
416.02/416.19	c  403s |      10 |    32618 |    13661 |   686703      0 |     4225 |    12005
420.62/420.75	c  408s |      10 |    32779 |    13761 |   686703      0 |     4225 |    12005
425.02/425.12	c  412s |      10 |    32929 |    13861 |   686703      0 |     4225 |    12005
430.22/430.31	c  417s |      10 |    33153 |    13961 |   686703      0 |     4225 |    12005
435.82/435.98	c  423s |      10 |    33376 |    14061 |   686703      0 |     4225 |    12005
440.52/440.68	c  428s |      10 |    33508 |    14161 |   686703      0 |     4225 |    12005
444.61/444.75	c  432s |      10 |    33697 |    14261 |   686703      0 |     4225 |    12005
449.82/449.90	c  437s |      10 |    33840 |    14361 |   686703      0 |     4225 |    12005
454.11/454.21	c  441s |      10 |    33999 |    14461 |   686703      0 |     4225 |    12005
458.91/459.04	c  446s |      10 |    34179 |    14561 |   686703      0 |     4225 |    12005
462.81/462.91	c  450s |      10 |    34387 |    14661 |   686703      0 |     4225 |    12005
467.11/467.27	c  454s |      10 |    34508 |    14761 |   686703      0 |     4225 |    12005
471.41/471.57	c  459s |      10 |    34686 |    14861 |   686703      0 |     4225 |    12005
475.51/475.67	c  463s |      10 |    34824 |    14961 |   686703      0 |     4225 |    12005
479.81/479.95	c  467s |      10 |    34971 |    15061 |   686703      0 |     4225 |    12005
483.81/483.90	c  471s |      10 |    35107 |    15161 |   686703      0 |     4225 |    12005
488.02/488.12	c  475s |      10 |    35235 |    15261 |   686703      0 |     4225 |    12005
491.52/491.62	c  479s |      10 |    35375 |    15361 |   686703      0 |     4225 |    12005
496.32/496.47	c  484s |      10 |    35528 |    15461 |   686703      0 |     4225 |    12005
500.91/501.04	c  488s |      10 |    35664 |    15561 |   686703      0 |     4225 |    12005
504.41/504.57	c  492s |      10 |    35831 |    15661 |   686703      0 |     4225 |    12005
507.71/507.83	c  495s |      10 |    35957 |    15761 |   686703      0 |     4225 |    12005
511.71/511.84	c  499s |      10 |    36084 |    15861 |   686703      0 |     4225 |    12005
515.11/515.27	c  502s |      10 |    36210 |    15961 |   686703      0 |     4225 |    12005
518.71/518.89	c  506s |      10 |    36324 |    16061 |   686703      0 |     4225 |    12005
522.01/522.13	c  509s |      10 |    36446 |    16161 |   686703      0 |     4225 |    12005
525.82/525.94	c  513s |      10 |    36578 |    16261 |   686703      0 |     4225 |    12005
528.91/529.08	c  516s |      10 |    36696 |    16361 |   686703      0 |     4225 |    12005
531.71/531.82	c  519s |      10 |    36824 |    16461 |   686703      0 |     4225 |    12005
535.21/535.39	c  523s |      10 |    36969 |    16561 |   686703      0 |     4225 |    12005
538.51/538.64	c  526s |      10 |    37140 |    16661 |   686703      0 |     4225 |    12005
540.81/541.00	c  528s |      10 |    37311 |    16761 |   686703      0 |     4225 |    12005
544.52/544.64	c  532s |      10 |    37453 |    16861 |   686703      0 |     4225 |    12005
548.11/548.23	c  535s |      10 |    37597 |    16961 |   686703      0 |     4225 |    12005
551.11/551.29	c  538s |      10 |    37734 |    17061 |   755374      0 |     4225 |    12005
553.51/553.64	c  541s |      11 |    37837 |    17144 |   755374      0 |     4225 |    12005
557.21/557.31	c  544s |      11 |    38090 |    17244 |   755374      0 |     4225 |    12005
559.21/559.34	c  547s |      11 |    38270 |    17344 |   755374      0 |     4225 |    12005
564.41/564.50	c  552s |      11 |    38641 |    17544 |   755374      0 |     4225 |    12005
567.10/567.24	c  554s |      11 |    38857 |    17644 |   755374      0 |     4225 |    12005
571.60/571.77	c  559s |      11 |    39160 |    17844 |   755374      0 |     4225 |    12005
575.50/575.64	c  563s |      11 |    39468 |    17944 |   755374      0 |     4225 |    12005
578.90/579.04	c  566s |      11 |    39751 |    18044 |   755374      0 |     4225 |    12005
581.00/581.10	c  568s |      11 |    39929 |    18144 |   755374      0 |     4225 |    12005
583.10/583.26	c  570s |      11 |    40097 |    18244 |   755374      0 |     4225 |    12005
585.30/585.42	c  573s |      11 |    40286 |    18344 |   755374      0 |     4225 |    12005
587.50/587.67	c  575s |      11 |    40447 |    18444 |   755374      0 |     4225 |    12005
590.30/590.40	c  578s |      11 |    40713 |    18544 |   755374      0 |     4225 |    12005
592.70/592.81	c  580s |      11 |    40990 |    18644 |   755374      0 |     4225 |    12005
595.90/596.08	c  583s |      11 |    41162 |    18744 |   755374      0 |     4225 |    12005
599.60/599.72	c  587s |      11 |    41408 |    18844 |   755374      0 |     4225 |    12005
602.10/602.23	c  589s |      11 |    41546 |    18944 |   755374      0 |     4225 |    12005
604.40/604.59	c  592s |      11 |    41745 |    19044 |   755374      0 |     4225 |    12005
607.11/607.29	c  594s |      11 |    41891 |    19144 |   755374      0 |     4225 |    12005
610.20/610.38	c  598s |      11 |    42100 |    19244 |   755374      0 |     4225 |    12005
613.10/613.22	c  600s |      11 |    42221 |    19344 |   755374      0 |     4225 |    12005
615.70/615.86	c  603s |      11 |    42396 |    19444 |   755374      0 |     4225 |    12005
618.40/618.54	c  606s |      11 |    42536 |    19544 |   755374      0 |     4225 |    12005
620.50/620.68	c  608s |      11 |    42697 |    19644 |   755374      0 |     4225 |    12005
623.20/623.31	c  610s |      11 |    42843 |    19744 |   755374      0 |     4225 |    12005
626.40/626.53	c  614s |      11 |    42998 |    19844 |   755374      0 |     4225 |    12005
629.50/629.63	c  617s |      11 |    43192 |    19944 |   755374      0 |     4225 |    12005
631.99/632.13	c  619s |      11 |    43368 |    20044 |   755374      0 |     4225 |    12005
635.99/636.13	c  623s |      11 |    43558 |    20144 |   755374      0 |     4225 |    12005
638.39/638.57	c  626s |      11 |    43704 |    20244 |   755374      0 |     4225 |    12005
640.99/641.12	c  628s |      11 |    43881 |    20344 |   755374      0 |     4225 |    12005
644.69/644.83	c  632s |      11 |    44024 |    20444 |   755374      0 |     4225 |    12005
648.39/648.57	c  636s |      11 |    44240 |    20544 |   755374      0 |     4225 |    12005
650.79/650.97	c  638s |      11 |    44363 |    20644 |   755374      0 |     4225 |    12005
652.89/653.09	c  640s |      11 |    44470 |    20744 |   755374      0 |     4225 |    12005
655.50/655.62	c  643s |      11 |    44589 |    20844 |   755374      0 |     4225 |    12005
658.29/658.42	c  646s |      11 |    44740 |    20944 |   755374      0 |     4225 |    12005
660.69/660.82	c  648s |      11 |    44858 |    21044 |   755374      0 |     4225 |    12005
665.50/665.68	c  653s |      11 |    45144 |    21244 |   755374      0 |     4225 |    12005
669.99/670.12	c  657s |      11 |    45301 |    21344 |   755374      0 |     4225 |    12005
673.89/674.09	c  661s |      11 |    45457 |    21444 |   755374      0 |     4225 |    12005
678.09/678.26	c  665s |      11 |    45582 |    21544 |   755374      0 |     4225 |    12005
683.39/683.54	c  671s |      11 |    45731 |    21644 |   755374      0 |     4225 |    12005
687.39/687.57	c  675s |      11 |    45861 |    21744 |   755374      0 |     4225 |    12005
690.29/690.47	c  678s |      11 |    45982 |    21844 |   755374      0 |     4225 |    12005
693.78/693.93	c  681s |      11 |    46139 |    21944 |   755374      0 |     4225 |    12005
697.08/697.28	c  684s |      11 |    46283 |    22044 |   755374      0 |     4225 |    12005
701.48/701.67	c  689s |      11 |    46398 |    22144 |   755374      0 |     4225 |    12005
704.18/704.36	c  692s |      11 |    46535 |    22244 |   755374      0 |     4225 |    12005
706.88/707.00	c  694s |      11 |    46646 |    22344 |   755374      0 |     4225 |    12005
711.28/711.40	c  699s |      11 |    46988 |    22544 |   755374      0 |     4225 |    12005
713.98/714.14	c  701s |      11 |    47157 |    22644 |   755374      0 |     4225 |    12005
719.29/719.46	c  707s |      11 |    47546 |    22844 |   755374      0 |     4225 |    12005
722.28/722.44	c  710s |      11 |    47741 |    22944 |   755374      0 |     4225 |    12005
724.48/724.66	c  712s |      11 |    47884 |    23044 |   755374      0 |     4225 |    12005
726.58/726.77	c  714s |      11 |    48102 |    23244 |   755374      0 |     4225 |    12005
731.88/732.04	c  719s |      11 |    48398 |    23444 |   755374      0 |     4225 |    12005
735.79/735.96	c  723s |      11 |    48544 |    23544 |   755374      0 |     4225 |    12005
738.48/738.64	c  726s |      11 |    48716 |    23644 |   755374      0 |     4225 |    12005
740.58/740.75	c  728s |      11 |    48905 |    23744 |   755374      0 |     4225 |    12005
743.48/743.63	c  731s |      11 |    49125 |    23844 |   755374      0 |     4225 |    12005
747.78/747.92	c  735s |      11 |    49262 |    23944 |   755374      0 |     4225 |    12005
750.58/750.73	c  738s |      11 |    49621 |    24144 |   755374      0 |     4225 |    12005
756.48/756.68	c  744s |      11 |    49986 |    24344 |   755374      0 |     4225 |    12005
759.67/759.85	c  747s |      11 |    50287 |    24544 |   755374      0 |     4225 |    12005
763.97/764.11	c  751s |      11 |    50562 |    24744 |   755374      0 |     4225 |    12005
766.58/766.79	c  754s |      11 |    50697 |    24844 |   755374      0 |     4225 |    12005
768.97/769.19	c  756s |      11 |    50860 |    24944 |   755374      0 |     4225 |    12005
773.07/773.26	c  760s |      11 |    51009 |    25044 |   755374      0 |     4225 |    12005
776.27/776.40	c  764s |      11 |    51154 |    25144 |   755374      0 |     4225 |    12005
779.57/779.76	c  767s |      11 |    51304 |    25244 |   755374      0 |     4225 |    12005
783.57/783.77	c  771s |      11 |    51456 |    25344 |   755374      0 |     4225 |    12005
787.07/787.25	c  774s |      11 |    51616 |    25444 |   755374      0 |     4225 |    12005
790.67/790.89	c  778s |      11 |    51751 |    25544 |   755374      0 |     4225 |    12005
794.08/794.27	c  781s |      11 |    51960 |    25644 |   755374      0 |     4225 |    12005
798.67/798.81	c  786s |      12 |    52209 |    25819 |   830912      0 |     4225 |    12005
801.57/801.75	c  789s |      12 |    52384 |    25919 |   830912      0 |     4225 |    12005
804.57/804.79	c  792s |      12 |    52645 |    26019 |   830912      0 |     4225 |    12005
807.37/807.52	c  795s |      12 |    52874 |    26119 |   830912      0 |     4225 |    12005
809.47/809.60	c  797s |      12 |    53050 |    26219 |   830912      0 |     4225 |    12005
811.47/811.65	c  799s |      12 |    53291 |    26319 |   830912      0 |     4225 |    12005
813.87/814.10	c  801s |      12 |    53686 |    26519 |   830912      0 |     4225 |    12005
818.76/818.91	c  806s |      12 |    54049 |    26719 |   830912      0 |     4225 |    12005
821.26/821.48	c  809s |      12 |    54293 |    26819 |   830912      0 |     4225 |    12005
825.86/826.07	c  813s |      12 |    54788 |    27019 |   830912      0 |     4225 |    12005
828.56/828.76	c  816s |      12 |    54996 |    27119 |   830912      0 |     4225 |    12005
832.16/832.34	c  820s |      12 |    55195 |    27219 |   830912      0 |     4225 |    12005
834.56/834.77	c  822s |      12 |    55337 |    27319 |   830912      0 |     4225 |    12005
838.46/838.69	c  826s |      12 |    55528 |    27419 |   830912      0 |     4225 |    12005
842.46/842.66	c  830s |      12 |    55728 |    27519 |   830912      0 |     4225 |    12005
844.85/845.03	c  832s |      12 |    55888 |    27619 |   830912      0 |     4225 |    12005
848.15/848.32	c  835s |      12 |    56070 |    27719 |   830912      0 |     4225 |    12005
851.36/851.57	c  839s |      12 |    56316 |    27819 |   830912      0 |     4225 |    12005
855.66/855.85	c  843s |      12 |    56701 |    28019 |   830912      0 |     4225 |    12005
860.35/860.58	c  848s |      12 |    57051 |    28219 |   830912      0 |     4225 |    12005
863.45/863.63	c  851s |      12 |    57251 |    28319 |   830912      0 |     4225 |    12005
865.84/866.02	c  853s |      12 |    57408 |    28419 |   830912      0 |     4225 |    12005
867.85/868.09	c  855s |      12 |    57560 |    28519 |   830912      0 |     4225 |    12005
870.05/870.27	c  857s |      12 |    57766 |    28619 |   830912      0 |     4225 |    12005
872.54/872.77	c  860s |      12 |    57937 |    28719 |   830912      0 |     4225 |    12005
875.74/875.96	c  863s |      12 |    58162 |    28819 |   830912      0 |     4225 |    12005
880.64/880.80	c  868s |      12 |    58437 |    29019 |   830912      0 |     4225 |    12005
883.44/883.67	c  871s |      12 |    58652 |    29119 |   830912      0 |     4225 |    12005
885.54/885.70	c  873s |      12 |    58939 |    29319 |   830912      0 |     4225 |    12005
888.84/889.03	c  876s |      12 |    59119 |    29419 |   830912      0 |     4225 |    12005
892.73/892.92	c  880s |      12 |    59442 |    29619 |   830912      0 |     4225 |    12005
897.23/897.47	c  885s |      12 |    59809 |    29819 |   830912      0 |     4225 |    12005
900.23/900.42	c  888s |      12 |    59989 |    29919 |   830912      0 |     4225 |    12005
902.53/902.79	c  890s |      12 |    60150 |    30019 |   830912      0 |     4225 |    12005
904.93/905.10	c  892s |      12 |    60293 |    30119 |   830912      0 |     4225 |    12005
907.83/908.03	c  895s |      12 |    60468 |    30219 |   830912      0 |     4225 |    12005
910.43/910.69	c  898s |      12 |    60616 |    30319 |   830912      0 |     4225 |    12005
913.23/913.41	c  901s |      12 |    60814 |    30419 |   830912      0 |     4225 |    12005
916.53/916.73	c  904s |      12 |    61007 |    30519 |   830912      0 |     4225 |    12005
920.03/920.21	c  907s |      12 |    61251 |    30619 |   830912      0 |     4225 |    12005
922.52/922.74	c  910s |      12 |    61548 |    30819 |   830912      0 |     4225 |    12005
925.03/925.29	c  912s |      12 |    61670 |    30919 |   830912      0 |     4225 |    12005
927.62/927.84	c  915s |      12 |    61790 |    31019 |   830912      0 |     4225 |    12005
931.22/931.48	c  919s |      12 |    62166 |    31219 |   830912      0 |     4225 |    12005
933.32/933.58	c  921s |      12 |    62336 |    31319 |   830912      0 |     4225 |    12005
936.61/936.83	c  924s |      12 |    62488 |    31419 |   830912      0 |     4225 |    12005
939.11/939.33	c  926s |      12 |    62650 |    31519 |   830912      0 |     4225 |    12005
941.42/941.64	c  929s |      12 |    62825 |    31619 |   830912      0 |     4225 |    12005
944.41/944.68	c  932s |      12 |    63090 |    31719 |   830912      0 |     4225 |    12005
949.31/949.60	c  937s |      12 |    63590 |    31919 |   830912      0 |     4225 |    12005
952.71/952.92	c  940s |      12 |    63879 |    32019 |   830912      0 |     4225 |    12005
955.81/956.07	c  943s |      12 |    64032 |    32119 |   830912      0 |     4225 |    12005
958.10/958.39	c  946s |      12 |    64264 |    32219 |   830912      0 |     4225 |    12005
960.60/960.80	c  948s |      12 |    64414 |    32319 |   830912      0 |     4225 |    12005
964.40/964.63	c  952s |      12 |    64591 |    32419 |   830912      0 |     4225 |    12005
969.10/969.37	c  957s |      12 |    64761 |    32519 |   830912      0 |     4225 |    12005
972.09/972.38	c  960s |      12 |    64976 |    32619 |   830912      0 |     4225 |    12005
975.69/975.97	c  963s |      12 |    65287 |    32719 |   830912      0 |     4225 |    12005
979.90/980.16	c  967s |      12 |    65563 |    32819 |   830912      0 |     4225 |    12005
983.49/983.74	c  971s |      12 |    65804 |    32919 |   830912      0 |     4225 |    12005
986.29/986.52	c  974s |      12 |    65983 |    33019 |   830912      0 |     4225 |    12005
989.18/989.49	c  977s |      12 |    66196 |    33119 |   830912      0 |     4225 |    12005
992.98/993.23	c  980s |      12 |    66499 |    33219 |   830912      0 |     4225 |    12005
995.08/995.38	c  983s |      12 |    66680 |    33319 |   830912      0 |     4225 |    12005
1000.48/1000.73	c  988s |      12 |    67045 |    33519 |   830912      0 |     4225 |    12005
1004.27/1004.52	c  992s |      12 |    67230 |    33619 |   830912      0 |     4225 |    12005
1006.28/1006.57	c  994s |      12 |    67347 |    33719 |   830912      0 |     4225 |    12005
1008.97/1009.22	c  996s |      12 |    67557 |    33819 |   830912      0 |     4225 |    12005
1011.88/1012.14	c  999s |      12 |    67853 |    33919 |   830912      0 |     4225 |    12005
1013.87/1014.17	c 1001s |      12 |    67978 |    34019 |   830912      0 |     4225 |    12005
1016.97/1017.21	c 1004s |      12 |    68163 |    34119 |   830912      0 |     4225 |    12005
1020.47/1020.74	c 1008s |      12 |    68324 |    34219 |   830912      0 |     4225 |    12005
1023.06/1023.34	c 1011s |      12 |    68514 |    34319 |   830912      0 |     4225 |    12005
1026.26/1026.51	c 1014s |      12 |    68699 |    34419 |   830912      0 |     4225 |    12005
1029.66/1029.95	c 1017s |      12 |    68961 |    34519 |   830912      0 |     4225 |    12005
1034.46/1034.74	c 1022s |      12 |    69287 |    34719 |   830912      0 |     4225 |    12005
1036.96/1037.24	c 1024s |      12 |    69418 |    34819 |   830912      0 |     4225 |    12005
1040.96/1041.23	c 1028s |      12 |    69665 |    34919 |   830912      0 |     4225 |    12005
1043.55/1043.83	c 1031s |      12 |    69857 |    35019 |   830912      0 |     4225 |    12005
1046.85/1047.15	c 1034s |      12 |    70043 |    35119 |   830912      0 |     4225 |    12005
1049.05/1049.35	c 1037s |      12 |    70179 |    35219 |   830912      0 |     4225 |    12005
1051.95/1052.25	c 1039s |      12 |    70314 |    35319 |   830912      0 |     4225 |    12005
1057.25/1057.51	c 1045s |      12 |    70457 |    35419 |   830912      0 |     4225 |    12005
1059.95/1060.28	c 1047s |      12 |    70695 |    35519 |   830912      0 |     4225 |    12005
1063.85/1064.10	c 1051s |      12 |    70868 |    35619 |   830912      0 |     4225 |    12005
1066.94/1067.23	c 1054s |      12 |    71063 |    35719 |   830912      0 |     4225 |    12005
1070.15/1070.49	c 1058s |      12 |    71220 |    35819 |   830912      0 |     4225 |    12005
1073.35/1073.68	c 1061s |      12 |    71350 |    35919 |   830912      0 |     4225 |    12005
1075.44/1075.80	c 1063s |      12 |    71513 |    36019 |   830912      0 |     4225 |    12005
1078.85/1079.15	c 1066s |      12 |    71694 |    36119 |   830912      0 |     4225 |    12005
1081.44/1081.78	c 1069s |      12 |    71850 |    36219 |   830912      0 |     4225 |    12005
1085.14/1085.48	c 1073s |      12 |    72062 |    36319 |   830912      0 |     4225 |    12005
1088.13/1088.47	c 1076s |      12 |    72254 |    36419 |   830912      0 |     4225 |    12005
1091.33/1091.62	c 1079s |      12 |    72536 |    36619 |   830912      0 |     4225 |    12005
1094.53/1094.85	c 1082s |      12 |    72807 |    36819 |   830912      0 |     4225 |    12005
1099.53/1099.82	c 1087s |      12 |    73096 |    37019 |   830912      0 |     4225 |    12005
1102.43/1102.70	c 1090s |      12 |    73240 |    37119 |   830912      0 |     4225 |    12005
1105.03/1105.36	c 1093s |      12 |    73374 |    37219 |   830912      0 |     4225 |    12005
1109.03/1109.35	c 1097s |      12 |    73649 |    37419 |   830912      0 |     4225 |    12005
1112.43/1112.74	c 1100s |      12 |    73867 |    37519 |   830912      0 |     4225 |    12005
1115.13/1115.45	c 1103s |      12 |    74022 |    37619 |   830912      0 |     4225 |    12005
1117.43/1117.72	c 1105s |      12 |    74147 |    37719 |   830912      0 |     4225 |    12005
1120.22/1120.59	c 1108s |      12 |    74273 |    37819 |   830912      0 |     4225 |    12005
1127.02/1127.36	c 1115s |      12 |    74599 |    38019 |   830912      0 |     4225 |    12005
1129.53/1129.86	c 1117s |      12 |    74822 |    38119 |   830912      0 |     4225 |    12005
1131.72/1132.03	c 1119s |      12 |    75010 |    38219 |   830912      0 |     4225 |    12005
1134.02/1134.33	c 1121s |      12 |    75177 |    38319 |   830912      0 |     4225 |    12005
1136.22/1136.55	c 1124s |      12 |    75337 |    38419 |   830912      0 |     4225 |    12005
1138.32/1138.61	c 1126s |      12 |    75487 |    38519 |   830912      0 |     4225 |    12005
1140.81/1141.20	c 1128s |      12 |    75623 |    38619 |   914004      0 |     4225 |    12005
1143.61/1143.90	c 1131s |      12 |    75760 |    38719 |   914004      0 |     4225 |    12005
1145.81/1146.14	c 1133s |      13 |    75890 |    38832 |   914004      0 |     4225 |    12005
1148.81/1149.14	c 1136s |      13 |    76166 |    38932 |   914004      0 |     4225 |    12005
1151.42/1151.77	c 1139s |      13 |    76627 |    39232 |   914004      0 |     4225 |    12005
1154.01/1154.31	c 1141s |      13 |    77047 |    39432 |   914004      0 |     4225 |    12005
1156.61/1156.92	c 1144s |      13 |    77203 |    39532 |   914004      0 |     4225 |    12005
1161.21/1161.52	c 1149s |      13 |    77325 |    39632 |   914004      0 |     4225 |    12005
1164.90/1165.20	c 1152s |      13 |    77501 |    39732 |   914004      0 |     4225 |    12005
1167.80/1168.17	c 1155s |      13 |    77945 |    40032 |   914004      0 |     4225 |    12005
1170.11/1170.50	c 1158s |      13 |    78189 |    40132 |   914004      0 |     4225 |    12005
1172.80/1173.15	c 1160s |      13 |    78324 |    40232 |   914004      0 |     4225 |    12005
1175.80/1176.13	c 1163s |      13 |    78447 |    40332 |   914004      0 |     4225 |    12005
1178.30/1178.68	c 1166s |      13 |    78573 |    40432 |   914004      0 |     4225 |    12005
1180.70/1181.03	c 1168s |      13 |    78697 |    40532 |   914004      0 |     4225 |    12005
1183.70/1184.07	c 1171s |      13 |    78840 |    40632 |   914004      0 |     4225 |    12005
1186.61/1186.93	c 1174s |      13 |    78970 |    40732 |   914004      0 |     4225 |    12005
1190.30/1190.60	c 1178s |      13 |    79112 |    40832 |   914004      0 |     4225 |    12005
1193.50/1193.84	c 1181s |      13 |    79277 |    40932 |   914004      0 |     4225 |    12005
1196.50/1196.88	c 1184s |      13 |    79412 |    41032 |   914004      0 |     4225 |    12005
1198.89/1199.29	c 1186s |      13 |    79555 |    41132 |   914004      0 |     4225 |    12005
1202.39/1202.76	c 1190s |      13 |    79706 |    41232 |   914004      0 |     4225 |    12005
1205.69/1206.07	c 1193s |      13 |    79821 |    41332 |   914004      0 |     4225 |    12005
1208.49/1208.88	c 1196s |      13 |    80020 |    41432 |   914004      0 |     4225 |    12005
1210.99/1211.30	c 1198s |      13 |    80160 |    41532 |   914004      0 |     4225 |    12005
1213.58/1213.98	c 1201s |      13 |    80334 |    41632 |   914004      0 |     4225 |    12005
1218.18/1218.58	c 1206s |      13 |    80635 |    41832 |   914004      0 |     4225 |    12005
1220.28/1220.65	c 1208s |      13 |    80768 |    41932 |   914004      0 |     4225 |    12005
1223.18/1223.51	c 1211s |      13 |    80925 |    42032 |   914004      0 |     4225 |    12005
1226.29/1226.65	c 1214s |      13 |    81059 |    42132 |   914004      0 |     4225 |    12005
1228.39/1228.74	c 1216s |      13 |    81242 |    42232 |   914004      0 |     4225 |    12005
1230.59/1230.93	c 1218s |      13 |    81375 |    42332 |   914004      0 |     4225 |    12005
1233.89/1234.29	c 1221s |      13 |    81536 |    42432 |   914004      0 |     4225 |    12005
1236.88/1237.21	c 1224s |      13 |    81655 |    42532 |   914004      0 |     4225 |    12005
1238.88/1239.24	c 1226s |      13 |    81780 |    42632 |   914004      0 |     4225 |    12005
1242.18/1242.56	c 1230s |      13 |    81893 |    42732 |   914004      0 |     4225 |    12005
1246.48/1246.81	c 1234s |      13 |    82233 |    42932 |   914004      0 |     4225 |    12005
1248.58/1248.93	c 1236s |      13 |    82342 |    43032 |   914004      0 |     4225 |    12005
1250.68/1251.02	c 1238s |      13 |    82500 |    43132 |   914004      0 |     4225 |    12005
1254.08/1254.44	c 1242s |      13 |    82791 |    43332 |   914004      0 |     4225 |    12005
1256.18/1256.50	c 1244s |      13 |    82937 |    43432 |   914004      0 |     4225 |    12005
1259.97/1260.39	c 1248s |      13 |    83213 |    43632 |   914004      0 |     4225 |    12005
1263.37/1263.79	c 1251s |      13 |    83531 |    43832 |   914004      0 |     4225 |    12005
1267.07/1267.46	c 1255s |      13 |    83863 |    44032 |   914004      0 |     4225 |    12005
1269.27/1269.69	c 1257s |      13 |    83997 |    44132 |   914004      0 |     4225 |    12005
1271.67/1272.00	c 1259s |      13 |    84150 |    44232 |   914004      0 |     4225 |    12005
1274.47/1274.83	c 1262s |      13 |    84267 |    44332 |   914004      0 |     4225 |    12005
1276.67/1277.02	c 1264s |      13 |    84411 |    44432 |   914004      0 |     4225 |    12005
1278.87/1279.24	c 1266s |      13 |    84543 |    44532 |   914004      0 |     4225 |    12005
1281.67/1282.06	c 1269s |      13 |    84687 |    44632 |   914004      0 |     4225 |    12005
1285.27/1285.60	c 1273s |      13 |    85090 |    44832 |   914004      0 |     4225 |    12005
1288.07/1288.49	c 1276s |      13 |    85203 |    44932 |   914004      0 |     4225 |    12005
1290.97/1291.39	c 1279s |      13 |    85311 |    45032 |   914004      0 |     4225 |    12005
1294.06/1294.43	c 1282s |      13 |    85419 |    45132 |   914004      0 |     4225 |    12005
1296.46/1296.81	c 1284s |      13 |    85573 |    45232 |   914004      0 |     4225 |    12005
1299.26/1299.69	c 1287s |      13 |    85691 |    45332 |   914004      0 |     4225 |    12005
1302.66/1303.03	c 1290s |      13 |    85825 |    45432 |   914004      0 |     4225 |    12005
1305.86/1306.27	c 1293s |      13 |    85936 |    45532 |   914004      0 |     4225 |    12005
1309.26/1309.60	c 1297s |      13 |    86047 |    45632 |   914004      0 |     4225 |    12005
1312.16/1312.51	c 1300s |      13 |    86174 |    45732 |   914004      0 |     4225 |    12005
1315.86/1316.26	c 1303s |      13 |    86327 |    45832 |   914004      0 |     4225 |    12005
1318.96/1319.38	c 1307s |      13 |    86665 |    46032 |   914004      0 |     4225 |    12005
1321.26/1321.64	c 1309s |      13 |    86982 |    46232 |   914004      0 |     4225 |    12005
1324.56/1324.93	c 1312s |      13 |    87206 |    46432 |   914004      0 |     4225 |    12005
1326.76/1327.18	c 1314s |      13 |    87321 |    46532 |   914004      0 |     4225 |    12005
1330.16/1330.56	c 1318s |      13 |    87592 |    46732 |   914004      0 |     4225 |    12005
1332.66/1333.05	c 1320s |      13 |    87726 |    46832 |   914004      0 |     4225 |    12005
1334.96/1335.32	c 1322s |      13 |    88084 |    47032 |   914004      0 |     4225 |    12005
1338.66/1339.04	c 1326s |      13 |    88415 |    47232 |   914004      0 |     4225 |    12005
1342.05/1342.45	c 1330s |      13 |    88951 |    47532 |   914004      0 |     4225 |    12005
1344.15/1344.54	c 1332s |      13 |    89202 |    47632 |   914004      0 |     4225 |    12005
1348.55/1348.91	c 1336s |      13 |    89644 |    47832 |   914004      0 |     4225 |    12005
1352.75/1353.15	c 1340s |      13 |    89970 |    48032 |   914004      0 |     4225 |    12005
1354.85/1355.24	c 1342s |      13 |    90185 |    48132 |   914004      0 |     4225 |    12005
1358.55/1359.00	c 1346s |      13 |    90530 |    48332 |   914004      0 |     4225 |    12005
1362.44/1362.87	c 1350s |      13 |    90859 |    48532 |   914004      0 |     4225 |    12005
1365.64/1366.00	c 1353s |      13 |    91002 |    48632 |   914004      0 |     4225 |    12005
1368.05/1368.42	c 1356s |      13 |    91164 |    48732 |   914004      0 |     4225 |    12005
1371.14/1371.50	c 1359s |      13 |    91344 |    48832 |   914004      0 |     4225 |    12005
1373.55/1373.95	c 1361s |      13 |    91484 |    48932 |   914004      0 |     4225 |    12005
1377.84/1378.22	c 1365s |      13 |    91765 |    49132 |   914004      0 |     4225 |    12005
1379.84/1380.29	c 1367s |      13 |    91931 |    49232 |   914004      0 |     4225 |    12005
1382.24/1382.64	c 1370s |      13 |    92055 |    49332 |   914004      0 |     4225 |    12005
1384.94/1385.33	c 1372s |      13 |    92234 |    49432 |   914004      0 |     4225 |    12005
1387.04/1387.45	c 1375s |      13 |    92407 |    49532 |   914004      0 |     4225 |    12005
1390.23/1390.67	c 1378s |      13 |    92662 |    49732 |   914004      0 |     4225 |    12005
1393.83/1394.27	c 1381s |      13 |    92973 |    49932 |   914004      0 |     4225 |    12005
1395.93/1396.32	c 1383s |      13 |    93148 |    50032 |   914004      0 |     4225 |    12005
1399.03/1399.48	c 1387s |      13 |    93357 |    50132 |   914004      0 |     4225 |    12005
1401.04/1401.48	c 1389s |      13 |    93495 |    50232 |   914004      0 |     4225 |    12005
1403.43/1403.80	c 1391s |      13 |    93633 |    50332 |   914004      0 |     4225 |    12005
1407.43/1407.88	c 1395s |      13 |    93984 |    50532 |   914004      0 |     4225 |    12005
1410.23/1410.61	c 1398s |      13 |    94123 |    50632 |   914004      0 |     4225 |    12005
1414.23/1414.65	c 1402s |      13 |    94496 |    50832 |   914004      0 |     4225 |    12005
1418.23/1418.63	c 1406s |      13 |    94830 |    51032 |   914004      0 |     4225 |    12005
1420.23/1420.66	c 1408s |      13 |    95036 |    51132 |   914004      0 |     4225 |    12005
1422.32/1422.77	c 1410s |      13 |    95176 |    51232 |   914004      0 |     4225 |    12005
1425.02/1425.44	c 1413s |      13 |    95365 |    51332 |   914004      0 |     4225 |    12005
1427.12/1427.51	c 1415s |      13 |    95530 |    51432 |   914004      0 |     4225 |    12005
1431.32/1431.70	c 1419s |      13 |    95869 |    51632 |   914004      0 |     4225 |    12005
1433.92/1434.33	c 1421s |      13 |    96021 |    51732 |   914004      0 |     4225 |    12005
1436.33/1436.79	c 1424s |      13 |    96197 |    51832 |   914004      0 |     4225 |    12005
1438.72/1439.10	c 1426s |      13 |    96327 |    51932 |   914004      0 |     4225 |    12005
1441.42/1441.82	c 1429s |      13 |    96457 |    52032 |   914004      0 |     4225 |    12005
1443.92/1444.33	c 1431s |      13 |    96617 |    52132 |   914004      0 |     4225 |    12005
1446.62/1447.01	c 1434s |      13 |    96800 |    52232 |   914004      0 |     4225 |    12005
1449.52/1449.91	c 1437s |      13 |    96938 |    52332 |   914004      0 |     4225 |    12005
1451.81/1452.25	c 1439s |      13 |    97169 |    52532 |   914004      0 |     4225 |    12005
1453.82/1454.30	c 1441s |      13 |    97293 |    52632 |   914004      0 |     4225 |    12005
1456.81/1457.20	c 1444s |      13 |    97417 |    52732 |   914004      0 |     4225 |    12005
1459.32/1459.70	c 1447s |      13 |    97678 |    52932 |   914004      0 |     4225 |    12005
1461.52/1461.93	c 1449s |      13 |    97828 |    53032 |   914004      0 |     4225 |    12005
1463.61/1464.07	c 1451s |      13 |    97986 |    53132 |   914004      0 |     4225 |    12005
1466.11/1466.56	c 1454s |      13 |    98149 |    53232 |   914004      0 |     4225 |    12005
1468.11/1468.59	c 1456s |      13 |    98302 |    53332 |   914004      0 |     4225 |    12005
1471.91/1472.33	c 1459s |      13 |    98601 |    53532 |   914004      0 |     4225 |    12005
1475.21/1475.69	c 1463s |      13 |    98893 |    53732 |   914004      0 |     4225 |    12005
1478.71/1479.13	c 1466s |      13 |    99196 |    53932 |   914004      0 |     4225 |    12005
1481.10/1481.58	c 1469s |      13 |    99353 |    54032 |   914004      0 |     4225 |    12005
1483.20/1483.64	c 1471s |      13 |    99481 |    54132 |   914004      0 |     4225 |    12005
1486.81/1487.25	c 1474s |      13 |    99775 |    54332 |   914004      0 |     4225 |    12005
1490.11/1490.56	c 1478s |      13 |   100048 |    54532 |   914004      0 |     4225 |    12005
1492.80/1493.20	c 1480s |      13 |   100235 |    54632 |   914004      0 |     4225 |    12005
1495.10/1495.53	c 1483s |      13 |   100380 |    54732 |   914004      0 |     4225 |    12005
1497.40/1497.82	c 1485s |      13 |   100525 |    54832 |   914004      0 |     4225 |    12005
1499.50/1499.96	c 1487s |      13 |   100661 |    54932 |   914004      0 |     4225 |    12005
1501.70/1502.17	c 1489s |      13 |   100814 |    55032 |   914004      0 |     4225 |    12005
1504.10/1504.52	c 1492s |      13 |   100966 |    55132 |   914004      0 |     4225 |    12005
1506.60/1507.04	c 1494s |      13 |   101137 |    55232 |   914004      0 |     4225 |    12005
1508.70/1509.13	c 1496s |      13 |   101265 |    55332 |   914004      0 |     4225 |    12005
1510.90/1511.39	c 1499s |      13 |   101402 |    55432 |   914004      0 |     4225 |    12005
1514.90/1515.35	c 1503s |      13 |   101702 |    55632 |   914004      0 |     4225 |    12005
1517.50/1517.91	c 1505s |      13 |   101981 |    55732 |   914004      0 |     4225 |    12005
1521.09/1521.53	c 1509s |      13 |   102381 |    55932 |   914004      0 |     4225 |    12005
1523.99/1524.49	c 1512s |      13 |   102509 |    56032 |   914004      0 |     4225 |    12005
1527.79/1528.21	c 1515s |      13 |   102794 |    56232 |   914004      0 |     4225 |    12005
1530.29/1530.72	c 1518s |      13 |   102910 |    56332 |   914004      0 |     4225 |    12005
1533.79/1534.20	c 1521s |      13 |   103172 |    56532 |   914004      0 |     4225 |    12005
1536.30/1536.75	c 1524s |      13 |   103295 |    56632 |   914004      0 |     4225 |    12005
1539.19/1539.63	c 1527s |      13 |   103422 |    56732 |   914004      0 |     4225 |    12005
1542.59/1543.09	c 1530s |      13 |   103612 |    56832 |   914004      0 |     4225 |    12005
1546.20/1546.67	c 1534s |      13 |   103856 |    57032 |   914004      0 |     4225 |    12005
1548.79/1549.21	c 1536s |      13 |   104021 |    57132 |   914004      0 |     4225 |    12005
1552.69/1553.11	c 1540s |      13 |   104299 |    57332 |   914004      0 |     4225 |    12005
1555.89/1556.34	c 1544s |      13 |   104430 |    57432 |   914004      0 |     4225 |    12005
1558.19/1558.62	c 1546s |      13 |   104560 |    57532 |   914004      0 |     4225 |    12005
1560.39/1560.84	c 1548s |      13 |   104675 |    57632 |   914004      0 |     4225 |    12005
1565.19/1565.62	c 1553s |      13 |   105006 |    57832 |   914004      0 |     4225 |    12005
1569.39/1569.80	c 1557s |      13 |   105134 |    57932 |   914004      0 |     4225 |    12005
1572.49/1572.91	c 1560s |      13 |   105275 |    58032 |  1005405      0 |     4225 |    12005
1575.08/1575.59	c 1563s |      13 |   105421 |    58132 |  1005405      0 |     4225 |    12005
1577.98/1578.43	c 1566s |      13 |   105540 |    58232 |  1005405      0 |     4225 |    12005
1581.39/1581.81	c 1569s |      13 |   105679 |    58332 |  1005405      0 |     4225 |    12005
1582.28/1582.70	c 1570s |      14 |   105711 |    58352 |  1005405      0 |     4225 |    12005
1586.18/1586.67	c 1574s |      14 |   106138 |    58452 |  1005405      0 |     4225 |    12005
1589.98/1590.49	c 1578s |      14 |   106538 |    58652 |  1005405      0 |     4225 |    12005
1593.78/1594.25	c 1581s |      14 |   106963 |    58852 |  1005405      0 |     4225 |    12005
1595.79/1596.29	c 1583s |      14 |   107157 |    58952 |  1005405      0 |     4225 |    12005
1597.89/1598.34	c 1586s |      14 |   107352 |    59052 |  1005405      0 |     4225 |    12005
1600.78/1601.21	c 1588s |      14 |   107612 |    59152 |  1005405      0 |     4225 |    12005
1605.18/1605.68	c 1593s |      14 |   107938 |    59252 |  1005405      0 |     4225 |    12005
1611.28/1611.76	c 1599s |      14 |   108093 |    59352 |  1005405      0 |     4225 |    12005
1616.87/1617.38	c 1605s |      14 |   108271 |    59452 |  1005405      0 |     4225 |    12005
1621.27/1621.74	c 1609s |      14 |   108456 |    59552 |  1005405      0 |     4225 |    12005
1626.37/1626.85	c 1614s |      14 |   108645 |    59652 |  1005405      0 |     4225 |    12005
1631.17/1631.62	c 1619s |      14 |   108786 |    59752 |  1005405      0 |     4225 |    12005
1636.77/1637.25	c 1624s |      14 |   108949 |    59852 |  1005405      0 |     4225 |    12005
1641.47/1641.92	c 1629s |      14 |   109115 |    59952 |  1005405      0 |     4225 |    12005
1645.06/1645.55	c 1633s |      14 |   109360 |    60052 |  1005405      0 |     4225 |    12005
1648.57/1649.06	c 1636s |      14 |   109552 |    60152 |  1005405      0 |     4225 |    12005
1651.66/1652.18	c 1639s |      14 |   109902 |    60352 |  1005405      0 |     4225 |    12005
1655.66/1656.13	c 1643s |      14 |   110150 |    60552 |  1005405      0 |     4225 |    12005
1657.86/1658.32	c 1645s |      14 |   110346 |    60652 |  1005405      0 |     4225 |    12005
1660.57/1661.01	c 1648s |      14 |   110468 |    60752 |  1005405      0 |     4225 |    12005
1663.76/1664.27	c 1651s |      14 |   110708 |    60852 |  1005405      0 |     4225 |    12005
1667.66/1668.12	c 1655s |      14 |   111016 |    61052 |  1005405      0 |     4225 |    12005
1672.56/1673.08	c 1660s |      14 |   111386 |    61252 |  1005405      0 |     4225 |    12005
1675.46/1675.92	c 1663s |      14 |   111653 |    61452 |  1005405      0 |     4225 |    12005
1678.17/1678.70	c 1666s |      14 |   111876 |    61552 |  1005405      0 |     4225 |    12005
1680.96/1681.40	c 1669s |      14 |   112080 |    61652 |  1005405      0 |     4225 |    12005
1683.96/1684.46	c 1672s |      14 |   112251 |    61752 |  1005405      0 |     4225 |    12005
1686.86/1687.30	c 1674s |      14 |   112425 |    61852 |  1005405      0 |     4225 |    12005
1690.96/1691.42	c 1679s |      14 |   112620 |    61952 |  1005405      0 |     4225 |    12005
1693.36/1693.87	c 1681s |      14 |   112770 |    62052 |  1005405      0 |     4225 |    12005
1695.96/1696.42	c 1684s |      14 |   112952 |    62152 |  1005405      0 |     4225 |    12005
1698.66/1699.12	c 1686s |      14 |   113147 |    62252 |  1005405      0 |     4225 |    12005
1701.26/1701.74	c 1689s |      14 |   113296 |    62352 |  1005405      0 |     4225 |    12005
1705.05/1705.57	c 1693s |      14 |   113505 |    62452 |  1005405      0 |     4225 |    12005
1707.75/1708.24	c 1695s |      14 |   113671 |    62552 |  1005405      0 |     4225 |    12005
1712.05/1712.56	c 1700s |      14 |   113846 |    62652 |  1005405      0 |     4225 |    12005
1719.15/1719.67	c 1707s |      14 |   114148 |    62852 |  1005405      0 |     4225 |    12005
1723.36/1723.86	c 1711s |      14 |   114349 |    62952 |  1005405      0 |     4225 |    12005
1728.55/1729.01	c 1716s |      14 |   114552 |    63052 |  1005405      0 |     4225 |    12005
1736.56/1737.09	c 1724s |      14 |   114696 |    63152 |  1005405      0 |     4225 |    12005
1743.16/1743.63	c 1731s |      14 |   114864 |    63252 |  1005405      0 |     4225 |    12005
1746.55/1747.04	c 1734s |      14 |   114995 |    63352 |  1005405      0 |     4225 |    12005
1750.95/1751.49	c 1739s |      14 |   115253 |    63552 |  1005405      0 |     4225 |    12005
1753.75/1754.29	c 1741s |      14 |   115393 |    63652 |  1005405      0 |     4225 |    12005
1756.15/1756.65	c 1744s |      14 |   115630 |    63852 |  1005405      0 |     4225 |    12005
1761.25/1761.75	c 1749s |      14 |   116032 |    64052 |  1005405      0 |     4225 |    12005
1765.95/1766.48	c 1754s |      14 |   116175 |    64152 |  1005405      0 |     4225 |    12005
1770.65/1771.16	c 1758s |      14 |   116298 |    64252 |  1005405      0 |     4225 |    12005
1776.54/1777.00	c 1764s |      14 |   116460 |    64352 |  1005405      0 |     4225 |    12005
1780.55/1781.06	c 1768s |      14 |   116598 |    64452 |  1005405      0 |     4225 |    12005
1783.85/1784.35	c 1772s |      14 |   116756 |    64552 |  1005405      0 |     4225 |    12005
1787.94/1788.48	c 1776s |      14 |   116963 |    64652 |  1005405      0 |     4225 |    12005
1794.24/1794.74	c 1782s |      14 |   117131 |    64752 |  1005405      0 |     4225 |    12005
1798.25/1798.78	c 1786s |      14 |   117379 |    64852 |  1005405      0 |     4225 |    12005

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

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

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


[startup+0 s]
/proc/loadavg: 1.41 0.56 0.28 5/179 15600
/proc/meminfo: memFree=29570268/32872528 swapFree=1191052/1305516
[pid=15600] ppid=15597 vsize=694716 CPUtime=0 cores=1,3,5,7
/proc/15600/stat : 15600 (toysat) R 15597 15600 14522 0 -1 4202496 2588 0 0 0 0 0 0 0 20 0 4 0 22662717 711389184 3459 33554432000 4194304 16246674 140733961470896 140733961470320 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15600/statm: 174447 3469 441 2943 0 171341 0
[pid=15600/tid=15601] ppid=15597 vsize=713148 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22662717 730263552 3531 33554432000 4194304 16246674 140733961470896 140118300011760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15600/tid=15602] ppid=15597 vsize=717244 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22662717 734457856 3547 33554432000 4194304 16246674 140733961470896 140118289521904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15600/tid=15603] ppid=15597 vsize=722364 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22662717 739700736 3565 33554432000 4194304 16246674 140733961470896 140118207753392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100069 s]
/proc/loadavg: 1.41 0.56 0.28 5/179 15600
/proc/meminfo: memFree=29570268/32872528 swapFree=1191052/1305516
[pid=15600] ppid=15597 vsize=1221188 CPUtime=0.08 cores=1,3,5,7
/proc/15600/stat : 15600 (toysat) R 15597 15600 14522 0 -1 4202496 27179 0 0 0 5 3 0 0 20 0 4 0 22662717 1250496512 27988 33554432000 4194304 16246674 140733961470896 140733961469560 4206916 0 2 0 34082818 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15600/statm: 305297 27988 802 2943 0 302191 0
[pid=15600/tid=15601] ppid=15597 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22662717 1250496512 27988 33554432000 4194304 16246674 140733961470896 140118300011760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15600/tid=15602] ppid=15597 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22662717 1250496512 27988 33554432000 4194304 16246674 140733961470896 140118289521904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15600/tid=15603] ppid=15597 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22662717 1250496512 27988 33554432000 4194304 16246674 140733961470896 140118207753392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1221188

[startup+0.200417 s]
/proc/loadavg: 1.41 0.56 0.28 5/179 15600
/proc/meminfo: memFree=29570268/32872528 swapFree=1191052/1305516
[pid=15600] ppid=15597 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/15600/stat : 15600 (toysat) R 15597 15600 14522 0 -1 4202496 49555 0 0 0 12 7 0 0 20 0 4 0 22662717 1344868352 50875 33554432000 4194304 16246674 140733961470896 140733961453888 8055582 0 0 0 34082818 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15600/statm: 328337 50875 802 2943 0 325231 0
[pid=15600/tid=15601] ppid=15597 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22662717 1344868352 50875 33554432000 4194304 16246674 140733961470896 140118300011760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15600/tid=15602] ppid=15597 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22662717 1344868352 50875 33554432000 4194304 16246674 140733961470896 140118289521904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15600/tid=15603] ppid=15597 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22662717 1344868352 50875 33554432000 4194304 16246674 140733961470896 140118207753392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300366 s]
/proc/loadavg: 1.41 0.56 0.28 5/179 15600
/proc/meminfo: memFree=29570268/32872528 swapFree=1191052/1305516
[pid=15600] ppid=15597 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/15600/stat : 15600 (toysat) R 15597 15600 14522 0 -1 4202496 53300 0 0 0 22 7 0 0 20 0 4 0 22662717 1344868352 54620 33554432000 4194304 16246674 140733961470896 140733961469992 4220912 0 2 0 34082818 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15600/statm: 328337 54620 802 2943 0 325231 0
[pid=15600/tid=15601] ppid=15597 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22662717 1344868352 54620 33554432000 4194304 16246674 140733961470896 140118300011760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15600/tid=15602] ppid=15597 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22662717 1344868352 54620 33554432000 4194304 16246674 140733961470896 140118289521904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15600/tid=15603] ppid=15597 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22662717 1344868352 54620 33554432000 4194304 16246674 140733961470896 140118207753392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700309 s]
/proc/loadavg: 1.41 0.56 0.28 5/179 15600
/proc/meminfo: memFree=29570268/32872528 swapFree=1191052/1305516
[pid=15600] ppid=15597 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/15600/stat : 15600 (toysat) R 15597 15600 14522 0 -1 4202496 68612 0 0 0 60 9 0 0 20 0 4 0 22662717 1344868352 69932 33554432000 4194304 16246674 140733961470896 140733961468736 4206615 0 2 0 34082818 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15600/statm: 328337 69932 803 2943 0 325231 0
[pid=15600/tid=15601] ppid=15597 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22662717 1344868352 69932 33554432000 4194304 16246674 140733961470896 140118300011760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15600/tid=15602] ppid=15597 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22662717 1344868352 69932 33554432000 4194304 16246674 140733961470896 140118289521904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15600/tid=15603] ppid=15597 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22662717 1344868352 69932 33554432000 4194304 16246674 140733961470896 140118207753392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.5004 s]
/proc/loadavg: 1.41 0.56 0.28 5/183 15604
/proc/meminfo: memFree=29264748/32872528 swapFree=1191052/1305516
[pid=15600] ppid=15597 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/15600/stat : 15600 (toysat) R 15597 15600 14522 0 -1 4202496 81830 0 0 0 138 11 0 0 20 0 4 0 22662717 1344868352 83150 33554432000 4194304 16246674 140733961470896 140733961468800 4220527 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15600/statm: 328337 83150 803 2943 0 325231 0
[pid=15600/tid=15601] ppid=15597 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22662717 1344868352 83150 33554432000 4194304 16246674 140733961470896 140118300011760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15600/tid=15602] ppid=15597 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22662717 1344868352 83150 33554432000 4194304 16246674 140733961470896 140118289521904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15600/tid=15603] ppid=15597 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22662717 1344868352 83150 33554432000 4194304 16246674 140733961470896 140118207753392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10038 s]
/proc/loadavg: 1.41 0.56 0.28 5/183 15604
/proc/meminfo: memFree=29069580/32872528 swapFree=1191052/1305516
[pid=15600] ppid=15597 vsize=1337924 CPUtime=3.09 cores=1,3,5,7
/proc/15600/stat : 15600 (toysat) R 15597 15600 14522 0 -1 4202496 124099 0 0 0 292 17 0 0 20 0 4 0 22662717 1370034176 130018 33554432000 4194304 16246674 140733961470896 140733961452800 13965680 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15600/statm: 334481 130018 803 2943 0 331375 0
[pid=15600/tid=15601] ppid=15597 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22662717 1370034176 130018 33554432000 4194304 16246674 140733961470896 140118300011760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15600/tid=15602] ppid=15597 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22662717 1370034176 130018 33554432000 4194304 16246674 140733961470896 140118289521904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15600/tid=15603] ppid=15597 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22662717 1370034176 130018 33554432000 4194304 16246674 140733961470896 140118207753392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1337924

[startup+6.30039 s]
/proc/loadavg: 1.53 0.60 0.29 5/183 15604
/proc/meminfo: memFree=28427140/32872528 swapFree=1191052/1305516
[pid=15600] ppid=15597 vsize=1376836 CPUtime=6.29 cores=1,3,5,7
/proc/15600/stat : 15600 (toysat) R 15597 15600 14522 0 -1 4202496 278695 0 0 0 589 40 0 0 20 0 4 0 22662717 1409880064 286147 33554432000 4194304 16246674 140733961470896 140733961452800 4220990 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15600/statm: 344209 286147 837 2943 0 341103 0
[pid=15600/tid=15601] ppid=15597 vsize=1376836 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22662717 1409880064 286147 33554432000 4194304 16246674 140733961470896 140118300011760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15600/tid=15602] ppid=15597 vsize=1376836 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22662717 1409880064 286147 33554432000 4194304 16246674 140733961470896 140118289521904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15600/tid=15603] ppid=15597 vsize=1376836 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22662717 1409880064 286147 33554432000 4194304 16246674 140733961470896 140118207753392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1376836

[startup+12.7004 s]
/proc/loadavg: 1.57 0.62 0.30 4/183 15604
/proc/meminfo: memFree=28427468/32872528 swapFree=1191052/1305516
[pid=15600] ppid=15597 vsize=1376836 CPUtime=12.68 cores=1,3,5,7
/proc/15600/stat : 15600 (toysat) R 15597 15600 14522 0 -1 4202496 278747 0 0 0 1228 40 0 0 20 0 4 0 22662717 1409880064 286199 33554432000 4194304 16246674 140733961470896 140733961452800 13943600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15600/statm: 344209 286199 886 2943 0 341103 0
[pid=15600/tid=15601] ppid=15597 vsize=1376836 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22662717 1409880064 286199 33554432000 4194304 16246674 140733961470896 140118300011760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15600/tid=15602] ppid=15597 vsize=1376836 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22662717 1409880064 286199 33554432000 4194304 16246674 140733961470896 140118289521904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15600/tid=15603] ppid=15597 vsize=1376836 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22662717 1409880064 286199 33554432000 4194304 16246674 140733961470896 140118207753392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1376836

[startup+25.5005 s]
/proc/loadavg: 1.66 0.69 0.33 4/183 15604
/proc/meminfo: memFree=28427720/32872528 swapFree=1191052/1305516
[pid=15600] ppid=15597 vsize=1376836 CPUtime=25.48 cores=1,3,5,7
/proc/15600/stat : 15600 (toysat) R 15597 15600 14522 0 -1 4202496 278750 0 0 0 2508 40 0 0 20 0 4 0 22662717 1409880064 286202 33554432000 4194304 16246674 140733961470896 140733961452800 5674768 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15600/statm: 344209 286202 889 2943 0 341103 0
[pid=15600/tid=15601] ppid=15597 vsize=1376836 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22662717 1409880064 286202 33554432000 4194304 16246674 140733961470896 140118300011760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15600/tid=15602] ppid=15597 vsize=1376836 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22662717 1409880064 286202 33554432000 4194304 16246674 140733961470896 140118289521904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15600/tid=15603] ppid=15597 vsize=1376836 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22662717 1409880064 286202 33554432000 4194304 16246674 140733961470896 140118207753392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1376836

[startup+51.1005 s]
/proc/loadavg: 1.86 0.81 0.38 5/184 15607
/proc/meminfo: memFree=28427808/32872528 swapFree=1191052/1305516
[pid=15600] ppid=15597 vsize=1376836 CPUtime=51.08 cores=1,3,5,7
/proc/15600/stat : 15600 (toysat) R 15597 15600 14522 0 -1 4202496 278750 0 0 0 5068 40 0 0 20 0 4 0 22662717 1409880064 286202 33554432000 4194304 16246674 140733961470896 140733961452800 13898695 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15600/statm: 344209 286202 889 2943 0 341103 0
[pid=15600/tid=15601] ppid=15597 vsize=1376836 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22662717 1409880064 286202 33554432000 4194304 16246674 140733961470896 140118300011760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15600/tid=15602] ppid=15597 vsize=1376836 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22662717 1409880064 286202 33554432000 4194304 16246674 140733961470896 140118289521904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15600/tid=15603] ppid=15597 vsize=1376836 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22662717 1409880064 286202 33554432000 4194304 16246674 140733961470896 140118207753392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1376836

[startup+102.301 s]
/proc/loadavg: 2.08 1.02 0.47 4/183 15608
/proc/meminfo: memFree=28210400/32872528 swapFree=1191052/1305516
[pid=15600] ppid=15597 vsize=1593924 CPUtime=102.28 cores=1,3,5,7
/proc/15600/stat : 15600 (toysat) R 15597 15600 14522 0 -1 4202496 333029 0 0 0 10181 47 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140733961452800 5828182 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15600/statm: 398481 340481 893 2943 0 395375 0
[pid=15600/tid=15601] ppid=15597 vsize=1593924 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140118300011760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15600/tid=15602] ppid=15597 vsize=1593924 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140118289521904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15600/tid=15603] ppid=15597 vsize=1593924 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140118207753392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1593924


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

/proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140118207753392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1593924

[startup+1362.3 s]
/proc/loadavg: 2.27 2.22 1.74 4/183 15641
/proc/meminfo: memFree=28192284/32872528 swapFree=1191052/1305516
[pid=15600] ppid=15597 vsize=1593924 CPUtime=1361.94 cores=1,3,5,7
/proc/15600/stat : 15600 (toysat) R 15597 15600 14522 0 -1 4202496 333262 0 0 0 136146 48 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140733961452800 5677104 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15600/statm: 398481 340481 893 2943 0 395375 0
[pid=15600/tid=15601] ppid=15597 vsize=1593924 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140118300011760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15600/tid=15602] ppid=15597 vsize=1593924 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140118289521904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15600/tid=15603] ppid=15597 vsize=1593924 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140118207753392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1593924

[startup+1422.3 s]
/proc/loadavg: 2.27 2.24 1.77 5/183 15642
/proc/meminfo: memFree=28191840/32872528 swapFree=1191052/1305516
[pid=15600] ppid=15597 vsize=1593924 CPUtime=1421.93 cores=1,3,5,7
/proc/15600/stat : 15600 (toysat) R 15597 15600 14522 0 -1 4202496 333283 0 0 0 142145 48 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140733961452800 6861625 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15600/statm: 398481 340481 893 2943 0 395375 0
[pid=15600/tid=15601] ppid=15597 vsize=1593924 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140118300011760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15600/tid=15602] ppid=15597 vsize=1593924 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140118289521904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15600/tid=15603] ppid=15597 vsize=1593924 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140118207753392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1593924

[startup+1482.3 s]
/proc/loadavg: 2.29 2.25 1.80 5/183 15643
/proc/meminfo: memFree=28192108/32872528 swapFree=1191052/1305516
[pid=15600] ppid=15597 vsize=1593924 CPUtime=1481.9 cores=1,3,5,7
/proc/15600/stat : 15600 (toysat) R 15597 15600 14522 0 -1 4202496 333300 0 0 0 148142 48 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140733961452800 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15600/statm: 398481 340481 893 2943 0 395375 0
[pid=15600/tid=15601] ppid=15597 vsize=1593924 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140118300011760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15600/tid=15602] ppid=15597 vsize=1593924 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140118289521904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15600/tid=15603] ppid=15597 vsize=1593924 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140118207753392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1593924

[startup+1542.31 s]
/proc/loadavg: 2.29 2.25 1.83 4/183 15644
/proc/meminfo: memFree=28191712/32872528 swapFree=1191052/1305516
[pid=15600] ppid=15597 vsize=1593924 CPUtime=1541.9 cores=1,3,5,7
/proc/15600/stat : 15600 (toysat) R 15597 15600 14522 0 -1 4202496 333311 0 0 0 154142 48 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140733961452800 12483568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15600/statm: 398481 340481 893 2943 0 395375 0
[pid=15600/tid=15601] ppid=15597 vsize=1593924 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140118300011760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15600/tid=15602] ppid=15597 vsize=1593924 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140118289521904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15600/tid=15603] ppid=15597 vsize=1593924 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140118207753392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1593924

[startup+1602.3 s]
/proc/loadavg: 2.29 2.25 1.85 5/183 15645
/proc/meminfo: memFree=28191856/32872528 swapFree=1191052/1305516
[pid=15600] ppid=15597 vsize=1593924 CPUtime=1601.88 cores=1,3,5,7
/proc/15600/stat : 15600 (toysat) R 15597 15600 14522 0 -1 4202496 333319 0 0 0 160140 48 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140733961452800 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15600/statm: 398481 340481 893 2943 0 395375 0
[pid=15600/tid=15601] ppid=15597 vsize=1593924 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140118300011760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15600/tid=15602] ppid=15597 vsize=1593924 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140118289521904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15600/tid=15603] ppid=15597 vsize=1593924 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140118207753392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1593924

[startup+1662.3 s]
/proc/loadavg: 2.28 2.25 1.87 4/183 15647
/proc/meminfo: memFree=28192680/32872528 swapFree=1191052/1305516
[pid=15600] ppid=15597 vsize=1593924 CPUtime=1661.86 cores=1,3,5,7
/proc/15600/stat : 15600 (toysat) R 15597 15600 14522 0 -1 4202496 333329 0 0 0 166138 48 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140733961452800 5661428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15600/statm: 398481 340481 893 2943 0 395375 0
[pid=15600/tid=15601] ppid=15597 vsize=1593924 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140118300011760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15600/tid=15602] ppid=15597 vsize=1593924 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140118289521904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15600/tid=15603] ppid=15597 vsize=1593924 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140118207753392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1593924

[startup+1722.3 s]
/proc/loadavg: 2.29 2.25 1.90 4/183 15648
/proc/meminfo: memFree=28192604/32872528 swapFree=1191052/1305516
[pid=15600] ppid=15597 vsize=1593924 CPUtime=1721.85 cores=1,3,5,7
/proc/15600/stat : 15600 (toysat) R 15597 15600 14522 0 -1 4202496 333329 0 0 0 172137 48 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140733961452800 5674768 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15600/statm: 398481 340481 893 2943 0 395375 0
[pid=15600/tid=15601] ppid=15597 vsize=1593924 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140118300011760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15600/tid=15602] ppid=15597 vsize=1593924 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140118289521904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15600/tid=15603] ppid=15597 vsize=1593924 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140118207753392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1593924

[startup+1782.3 s]
/proc/loadavg: 2.28 2.26 1.92 4/183 15649
/proc/meminfo: memFree=28191984/32872528 swapFree=1191052/1305516
[pid=15600] ppid=15597 vsize=1593924 CPUtime=1781.84 cores=1,3,5,7
/proc/15600/stat : 15600 (toysat) R 15597 15600 14522 0 -1 4202496 333329 0 0 0 178136 48 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140733961452800 5672230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15600/statm: 398481 340481 893 2943 0 395375 0
[pid=15600/tid=15601] ppid=15597 vsize=1593924 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140118300011760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15600/tid=15602] ppid=15597 vsize=1593924 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140118289521904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15600/tid=15603] ppid=15597 vsize=1593924 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140118207753392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1593924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.34 2.27 1.93 3/183 15698
/proc/meminfo: memFree=27962660/32872528 swapFree=1191052/1305516
[pid=15600] ppid=15597 vsize=1593924 CPUtime=1800.05 cores=1,3,5,7
/proc/15600/stat : 15600 (toysat) R 15597 15600 14522 0 -1 4202496 333329 0 0 0 179956 49 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140733961452800 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15600/statm: 398481 340481 893 2943 0 395375 0
[pid=15600/tid=15601] ppid=15597 vsize=1593924 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140118300011760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15600/tid=15602] ppid=15597 vsize=1593924 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140118289521904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15600/tid=15603] ppid=15597 vsize=1593924 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140118207753392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1593924

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

[startup+1800.5 s]
/proc/loadavg: 2.34 2.27 1.93 3/183 15698
/proc/meminfo: memFree=27962660/32872528 swapFree=1191052/1305516
[pid=15600] ppid=15597 vsize=1593924 CPUtime=1800.05 cores=1,3,5,7
/proc/15600/stat : 15600 (toysat) R 15597 15600 14522 0 -1 4202496 333329 0 0 0 179956 49 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140733961452800 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15600/statm: 398481 340481 893 2943 0 395375 0
[pid=15600/tid=15601] ppid=15597 vsize=1593924 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140118300011760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15600/tid=15602] ppid=15597 vsize=1593924 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140118289521904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15600/tid=15603] ppid=15597 vsize=1593924 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22662717 1632178176 340481 33554432000 4194304 16246674 140733961470896 140118207753392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1593924

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1799.57
CPU system time (s): 0.490925
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (KiB): 1593924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.490925
maximum resident set size= 1361924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 333329
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= 346
involuntary context switches= 2019

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.42333 second user time and 7.09492 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-18 01:29:21
IDJOB=4099704
IDBENCH=1487
IDSOLVER=2542
FILE ID=node127/4099704-1466206160
RUNJOBID= node127-1466206072-14539
PBS_JOBID= 19918150
Free space on /tmp= 71704 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099704-1466206160/watcher-4099704-1466206160 -o /tmp/evaluation-result-4099704-1466206160/solver-4099704-1466206160 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14539 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099704-1466206160.opb

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

MD5SUM BENCH= 63ec6637b1b124456335cf99c2a6c3dd
RANDOM SEED=848327227

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
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:        29570912 kB
Buffers:           40952 kB
Cached:           123400 kB
SwapCached:          520 kB
Active:          1225400 kB
Inactive:          61996 kB
Active(anon):    1124596 kB
Inactive(anon):      816 kB
Active(file):     100804 kB
Inactive(file):    61180 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100220 kB
Dirty:             54544 kB
Writeback:             0 kB
AnonPages:       2428412 kB
Mapped:            10712 kB
Shmem:                 0 kB
Slab:             573600 kB
SReclaimable:      17072 kB
SUnreclaim:       556528 kB
KernelStack:        1464 kB
PageTables:         8888 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2572552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    118784 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= 71660 MiB
End job on node127 at 2016-06-18 01:59:22