Trace number 4078737

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

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
MD5SUM939f54a73a83900b8b6d857af47a0b62
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 benchmark99.9098
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables62704
Total number of constraints187107
Number of constraints which are clauses186603
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints504
Minimum length of a constraint1
Maximum length of a constraint11
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 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
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-06T16:04:35+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-4078737-1465221875.opb"]
0.00/0.01	c use --random-gen="4014185562 932438813 594105249 3509417588 3544475675 3560362925 3440350031 3042012399 1111427936 2805296071 1929906851 4213449939 3904963563 3460452821 2802000430 1241012348 1313030408 4009121750 1715481646 4231210662 781503781 3683276994 3811328058 2354122032 116937120 2719647688 2087253560 655946521 1151928224 962115090 3656504820 3946349174 3103621243 1178932729 245163298 1520200848 498712231 3107110362 664339207 4026190071 1445596374 1289691167 2440404204 389828232 2904885457 2891976244 3510428883 427959997 3916376013 2207749975 1022980352 3421284764 3293117051 672731615 1888507526 1238717934 1968789369 2219848289 2511961557 866512130 742840730 1754097846 1527348126 2827819154 2468804421 3126387715 3197360752 3650253671 3433879637 599061338 4292025561 132001053 1478003918 2306116238 3163145621 105014718 368760979 153375930 2561460480 3015123046 3676371980 2942705432 2009061681 3137299464 965314066 4125045482 521912135 2200079012 326164039 1036651792 1184505512 98756762 279483292 4030354862 3430015746 67493153 3660696368 4257795158 2547082679 1393103205 1411549159 1887856820 791530337 401744628 2161827561 4015646917 2687748770 1818828597 4254618556 181897629 482255241 2273892649 996803308 81571715 2977410737 3922420591 1906571716 1110351367 1566055170 1912616323 3555753406 1342785056 483698751 3613458240 4202841416 2332012960 451574962 1427356300 3407763666 3239538771 4104480243 2763229629 4232223961 1821507663 1286404229 3048817612 1208193394 1758192992 785100696 1198556999 1298317257 2400807068 2339642623 1976249156 3802477885 522320908 2136253505 2590514877 995200502 473131087 1242120941 3626364234 381916569 84210187 947037910 224214539 828446134 2710796342 1129614861 3967834411 4094510736 3788386874 4281588724 1741276310 3155235376 3596330511 4286421639 1875303427 3120091083 603095053 2767016340 1936661500 340153856 2938827916 2065238563 44360453 826329289 3497320447 42502278 4085434189 2898073701 868464555 1979558691 2544399063 269767013 2470273447 4248463461 1156022975 1129388414 3173796557 2172706254 851309448 734800219 2401853933 3021670167 3122363345 699053525 255370424 1039921515 1147419569 2954390348 2597575923 296290255 3476756514 1433282758 3838541318 4289614317 1265649317 2726844276 2673825591 2299121326 2240358582 2719290920 4098979679 3387287949 2457223420 1257194084 2828404873 3789887317 1139991081 972691950 582804792 1443402610 2045725654 875395833 709757790 374907167 1527261548 2674553720 4089366733 998255487 1730357875 1580943319 723887458 1535583692 4273945459 4092293452 714907329 3907098715 1621461649 797281096 2550072028 92336520 1150931136 3143242448 1541259383 4015074399 3993950565 589835324 3774764007 1772201943 2676400274 3189930970 3081227895 2217959565 3405513423 255 362436" option to reproduce the execution
0.89/0.99	c #vars 62704
0.89/0.99	c #constraints 187107
3.49/3.59	c Solving starts ...
3.49/3.59	c ============================[ Search Statistics ]============================
3.49/3.59	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.49/3.59	c       |         |          |          |    Limit     GC | Var      | Constra 
3.49/3.59	c =============================================================================
3.49/3.59	c  0.0s |       0 |        0 |        0 |    83270      0 |       64 |        0
4.39/4.41	c  0.8s |       1 |      504 |      100 |    83270      0 |       66 |      164
7.08/7.18	c  3.6s |       2 |      838 |      250 |    91598      0 |       66 |      164
9.99/10.05	c  6.5s |       2 |     1764 |      450 |   100758      0 |      820 |     3929
10.28/10.36	c  6.8s |       3 |     1807 |      475 |   100758      0 |      820 |     3929
13.19/13.25	c  9.7s |       3 |     2337 |      675 |   110834      0 |      820 |     3929
14.88/14.98	c 11.4s |       4 |     2567 |      813 |   110834      0 |      820 |     3929
17.18/17.22	c 13.6s |       4 |     2822 |      913 |   121918      0 |      820 |     3929
19.38/19.43	c 15.8s |       4 |     2953 |     1013 |   121918      0 |      820 |     3929
22.88/22.98	c 19.4s |       4 |     3305 |     1213 |   121918      0 |      820 |     3929
25.48/25.55	c 22.0s |       4 |     3548 |     1313 |   121918      0 |      820 |     3929
25.78/25.85	c 22.3s |       5 |     3559 |     1320 |   121918      0 |      820 |     3929
28.88/28.99	c 25.4s |       5 |     4154 |     1520 |   134110      0 |      820 |     3929
31.08/31.13	c 27.5s |       5 |     4549 |     1720 |   134110      0 |      820 |     3929
33.88/33.95	c 30.4s |       5 |     4896 |     1920 |   134110      0 |      820 |     3929
35.98/36.07	c 32.5s |       6 |     5268 |     2081 |   147521      0 |      820 |     3929
40.38/40.42	c 36.8s |       6 |     5844 |     2281 |   147521      0 |      820 |     3929
42.78/42.85	c 39.3s |       6 |     5984 |     2381 |   147521      0 |      820 |     3929
45.18/45.23	c 41.6s |       6 |     6117 |     2481 |   147521      0 |      820 |     3929
47.17/47.26	c 43.7s |       6 |     6356 |     2581 |   147521      0 |      820 |     3929
49.37/49.40	c 45.8s |       6 |     6576 |     2681 |   147521      0 |      821 |     3932
51.97/52.00	c 48.4s |       6 |     6783 |     2781 |   147521      0 |      821 |     3932
55.08/55.18	c 51.6s |       6 |     7112 |     2981 |   147521      0 |      821 |     3932
58.47/58.57	c 55.0s |       6 |     7481 |     3181 |   147521      0 |      821 |     3932
59.48/59.54	c 56.0s |       7 |     7535 |     3223 |   162274      0 |      821 |     3932
62.37/62.49	c 58.9s |       7 |     7940 |     3423 |   162274      0 |      821 |     3932
65.67/65.74	c 62.2s |       7 |     8189 |     3623 |   162274      0 |      821 |     3932
69.47/69.58	c 66.0s |       7 |     8507 |     3823 |   162274      0 |      821 |     3932
71.67/71.73	c 68.1s |       7 |     8640 |     3923 |   162274      0 |      821 |     3932
74.78/74.80	c 71.2s |       7 |     8998 |     4123 |   162274      0 |      821 |     3932
77.87/77.93	c 74.3s |       7 |     9277 |     4323 |   162274      0 |      821 |     3932
80.57/80.63	c 77.0s |       7 |     9538 |     4523 |   162274      0 |      821 |     3932
82.77/82.85	c 79.3s |       7 |     9778 |     4623 |   162274      0 |      828 |     3955
86.16/86.27	c 82.7s |       7 |    10085 |     4823 |   162274      0 |      828 |     3955
88.26/88.39	c 84.8s |       8 |    10261 |     4936 |   178502      0 |      839 |     3990
90.46/90.50	c 86.9s |       8 |    10515 |     5036 |   178502      0 |      839 |     3990
92.76/92.80	c 89.2s |       8 |    10685 |     5136 |   178502      0 |      839 |     3990
94.96/95.02	c 91.4s |       8 |    10813 |     5236 |   178502      0 |      839 |     3990
97.76/97.88	c 94.3s |       8 |    10997 |     5336 |   178502      0 |      839 |     3990
101.06/101.11	c 97.5s |       8 |    11146 |     5436 |   178502      0 |      839 |     3990
104.56/104.67	c  101s |       8 |    11356 |     5536 |   178502      0 |      839 |     3990
107.86/107.96	c  104s |       8 |    11489 |     5636 |   178502      0 |      839 |     3990
111.16/111.24	c  107s |       8 |    11610 |     5736 |   178502      0 |      839 |     3990
113.36/113.46	c  109s |       8 |    11794 |     5836 |   178502      0 |      839 |     3990
116.15/116.22	c  112s |       8 |    11927 |     5936 |   178502      0 |      839 |     3990
119.05/119.11	c  115s |       8 |    12068 |     6036 |   178502      0 |      839 |     3990
121.55/121.67	c  118s |       8 |    12242 |     6136 |   178502      0 |      839 |     3990
124.75/124.88	c  121s |       8 |    12399 |     6236 |   178502      0 |      839 |     3990
127.35/127.45	c  123s |       8 |    12532 |     6336 |   178502      0 |      839 |     3990
130.96/131.02	c  127s |       8 |    12650 |     6436 |   178502      0 |      839 |     3990
134.16/134.21	c  130s |       8 |    12814 |     6536 |   178502      0 |      839 |     3990
136.95/137.00	c  133s |       8 |    12933 |     6636 |   178502      0 |      839 |     3990
140.95/141.03	c  137s |       8 |    13084 |     6736 |   178502      0 |      839 |     3990
143.45/143.51	c  139s |       8 |    13251 |     6836 |   178502      0 |      839 |     3990
145.95/146.07	c  142s |       8 |    13423 |     6936 |   178502      0 |      839 |     3990
149.05/149.11	c  145s |       8 |    13757 |     7136 |   178502      0 |      839 |     3990
152.54/152.66	c  149s |       8 |    13892 |     7236 |   178502      0 |      839 |     3990
156.15/156.24	c  152s |       8 |    14044 |     7336 |   178502      0 |      839 |     3990
159.14/159.22	c  155s |       8 |    14162 |     7436 |   178502      0 |      839 |     3990
160.74/160.89	c  157s |       9 |    14260 |     7506 |   196353      0 |      839 |     3990
164.04/164.10	c  160s |       9 |    14428 |     7606 |   196353      0 |      839 |     3990
166.94/167.02	c  163s |       9 |    14602 |     7706 |   196353      0 |      839 |     3990
170.64/170.79	c  167s |       9 |    14989 |     7906 |   196353      0 |     1409 |     7433
173.54/173.69	c  170s |       9 |    15275 |     8106 |   196353      0 |     1409 |     7433
176.54/176.66	c  173s |       9 |    15547 |     8306 |   196353      0 |     1409 |     7433
179.84/179.98	c  176s |       9 |    15802 |     8506 |   196353      0 |     1409 |     7433
183.64/183.80	c  180s |       9 |    16116 |     8706 |   196353      0 |     1409 |     7433
186.04/186.19	c  182s |       9 |    16270 |     8806 |   196353      0 |     1409 |     7433
189.04/189.16	c  185s |       9 |    16403 |     8906 |   196353      0 |     1409 |     7433
192.64/192.71	c  189s |       9 |    16543 |     9006 |   196353      0 |     1409 |     7433
194.75/194.81	c  191s |       9 |    16753 |     9106 |   196353      0 |     1409 |     7433
196.85/196.95	c  193s |       9 |    16874 |     9206 |   196353      0 |     1409 |     7433
200.25/200.35	c  196s |       9 |    17161 |     9406 |   196353      0 |     1409 |     7433
202.74/202.84	c  199s |       9 |    17291 |     9506 |   196353      0 |     1409 |     7433
205.44/205.55	c  201s |       9 |    17441 |     9606 |   196353      0 |     1409 |     7433
208.04/208.14	c  204s |       9 |    17609 |     9706 |   196353      0 |     1409 |     7433
210.44/210.51	c  206s |       9 |    17797 |     9806 |   196353      0 |     1409 |     7433
213.24/213.40	c  209s |       9 |    17943 |     9906 |   196353      0 |     1409 |     7433
216.04/216.17	c  212s |       9 |    18098 |    10006 |   196353      0 |     1409 |     7433
218.94/219.08	c  215s |       9 |    18262 |    10106 |   196353      0 |     1409 |     7433
221.14/221.26	c  217s |       9 |    18437 |    10206 |   196353      0 |     1409 |     7433
223.74/223.89	c  220s |       9 |    18575 |    10306 |   196353      0 |     1409 |     7433
226.44/226.54	c  222s |       9 |    18703 |    10406 |   196353      0 |     1409 |     7433
229.14/229.29	c  225s |       9 |    18847 |    10506 |   196353      0 |     1409 |     7433
231.44/231.53	c  227s |       9 |    18988 |    10606 |   196353      0 |     1409 |     7433
233.83/233.96	c  230s |       9 |    19126 |    10706 |   196353      0 |     1409 |     7433
237.23/237.33	c  233s |       9 |    19244 |    10806 |   196353      0 |     1409 |     7433
239.93/240.04	c  236s |       9 |    19377 |    10906 |   196353      0 |     1409 |     7433
242.53/242.68	c  239s |       9 |    19511 |    11006 |   196353      0 |     1409 |     7433
245.03/245.16	c  241s |       9 |    19645 |    11106 |   196353      0 |     1409 |     7433
247.54/247.70	c  244s |       9 |    19795 |    11206 |   196353      0 |     1409 |     7433
249.83/249.93	c  246s |       9 |    19933 |    11306 |   215989      0 |     1409 |     7433
251.84/251.93	c  248s |      10 |    20000 |    11361 |   215989      0 |     1409 |     7433
255.14/255.24	c  251s |      10 |    20194 |    11461 |   215989      0 |     1409 |     7433
257.23/257.39	c  253s |      10 |    20356 |    11561 |   215989      0 |     1409 |     7433
260.43/260.52	c  256s |      10 |    20512 |    11661 |   215989      0 |     1409 |     7433
264.12/264.20	c  260s |      10 |    20648 |    11761 |   215989      0 |     1409 |     7433
267.82/267.99	c  264s |      10 |    20774 |    11861 |   215989      0 |     1409 |     7433
271.52/271.60	c  268s |      10 |    20949 |    11961 |   215989      0 |     1409 |     7433
275.42/275.52	c  271s |      10 |    21105 |    12061 |   215989      0 |     1409 |     7433
279.92/280.08	c  276s |      10 |    21219 |    12161 |   215989      0 |     1409 |     7433
284.11/284.26	c  280s |      10 |    21347 |    12261 |   215989      0 |     1409 |     7433
286.61/286.72	c  283s |      10 |    21490 |    12361 |   215989      0 |     1409 |     7433
289.91/290.02	c  286s |      10 |    21659 |    12461 |   215989      0 |     1409 |     7433
292.91/293.08	c  289s |      10 |    21804 |    12561 |   215989      0 |     1409 |     7433
295.82/295.91	c  292s |      10 |    21978 |    12661 |   215989      0 |     1409 |     7433
298.41/298.51	c  294s |      10 |    22191 |    12761 |   215989      0 |     1409 |     7433
303.00/303.11	c  299s |      10 |    22534 |    12961 |   215989      0 |     1409 |     7433
307.80/307.92	c  304s |      10 |    22663 |    13061 |   215989      0 |     1409 |     7433
312.20/312.37	c  308s |      10 |    22803 |    13161 |   215989      0 |     1409 |     7433
315.60/315.76	c  312s |      10 |    22922 |    13261 |   215989      0 |     1409 |     7433
319.39/319.54	c  315s |      10 |    23122 |    13361 |   215989      0 |     1411 |     7439
322.39/322.56	c  318s |      10 |    23259 |    13461 |   215989      0 |     1411 |     7439
325.99/326.16	c  322s |      10 |    23421 |    13561 |   215989      0 |     1411 |     7439
329.99/330.11	c  326s |      10 |    23554 |    13661 |   215989      0 |     1411 |     7439
333.39/333.57	c  329s |      10 |    23808 |    13861 |   215989      0 |     1411 |     7439
336.49/336.65	c  333s |      10 |    23969 |    13961 |   215989      0 |     1411 |     7439
340.08/340.22	c  336s |      10 |    24135 |    14061 |   215989      0 |     1411 |     7439
343.08/343.29	c  339s |      10 |    24272 |    14161 |   215989      0 |     1411 |     7439
346.78/346.92	c  343s |      10 |    24399 |    14261 |   215989      0 |     1411 |     7439
349.98/350.13	c  346s |      10 |    24539 |    14361 |   215989      0 |     1411 |     7439
354.27/354.43	c  350s |      10 |    24671 |    14461 |   215989      0 |     1411 |     7439
358.48/358.64	c  355s |      10 |    24781 |    14561 |   215989      0 |     1411 |     7439
361.97/362.10	c  358s |      10 |    24923 |    14661 |   215989      0 |     1411 |     7439
365.97/366.18	c  362s |      10 |    25040 |    14761 |   215989      0 |     1411 |     7439
369.77/369.92	c  366s |      10 |    25186 |    14861 |   215989      0 |     1411 |     7439
373.07/373.29	c  369s |      10 |    25332 |    14961 |   215989      0 |     1411 |     7439
376.47/376.60	c  373s |      10 |    25461 |    15061 |   215989      0 |     1411 |     7439
379.47/379.66	c  376s |      10 |    25616 |    15161 |   215989      0 |     1411 |     7439
382.36/382.52	c  378s |      10 |    25753 |    15261 |   215989      0 |     1411 |     7439
385.46/385.68	c  382s |      10 |    25860 |    15361 |   215989      0 |     1411 |     7439
387.66/387.83	c  384s |      10 |    26000 |    15461 |   215989      0 |     1411 |     7439
391.06/391.28	c  387s |      10 |    26132 |    15561 |   215989      0 |     1411 |     7439
394.66/394.88	c  391s |      10 |    26247 |    15661 |   215989      0 |     1411 |     7439
398.06/398.26	c  394s |      10 |    26375 |    15761 |   215989      0 |     1411 |     7439
400.26/400.46	c  396s |      10 |    26616 |    15861 |   215989      0 |     1411 |     7439
402.56/402.77	c  399s |      10 |    26734 |    15961 |   215989      0 |     1411 |     7439
406.65/406.88	c  403s |      10 |    27059 |    16161 |   215989      0 |     1411 |     7439
409.25/409.43	c  405s |      10 |    27205 |    16261 |   215989      0 |     1411 |     7439
411.45/411.65	c  408s |      10 |    27351 |    16361 |   215989      0 |     1411 |     7439
413.95/414.12	c  410s |      10 |    27504 |    16461 |   215989      0 |     1411 |     7439
416.65/416.89	c  413s |      10 |    27612 |    16561 |   215989      0 |     1411 |     7439
420.06/420.27	c  416s |      10 |    27733 |    16661 |   215989      0 |     1411 |     7439
422.36/422.57	c  418s |      10 |    27860 |    16761 |   215989      0 |     1411 |     7439
424.65/424.85	c  421s |      10 |    28006 |    16861 |   215989      0 |     1411 |     7439
427.95/428.10	c  424s |      10 |    28148 |    16961 |   215989      0 |     1411 |     7439
431.65/431.80	c  428s |      10 |    28267 |    17061 |   237588      0 |     1411 |     7439
434.46/434.65	c  431s |      11 |    28367 |    17144 |   237588      0 |     1411 |     7439
437.35/437.59	c  433s |      11 |    28569 |    17244 |   237588      0 |     1411 |     7439
440.25/440.49	c  436s |      11 |    28707 |    17344 |   237588      0 |     1411 |     7439
443.04/443.26	c  439s |      11 |    28848 |    17444 |   237588      0 |     1411 |     7439
445.94/446.15	c  442s |      11 |    28961 |    17544 |   237588      0 |     1411 |     7439
449.24/449.47	c  445s |      11 |    29113 |    17644 |   237588      0 |     1411 |     7439
452.44/452.63	c  449s |      11 |    29233 |    17744 |   237588      0 |     1411 |     7439
456.34/456.60	c  453s |      11 |    29416 |    17844 |   237588      0 |     1411 |     7439
459.14/459.38	c  455s |      11 |    29563 |    17944 |   237588      0 |     1411 |     7439
463.33/463.59	c  460s |      11 |    29713 |    18044 |   237588      0 |     1415 |     7452
466.63/466.88	c  463s |      11 |    29852 |    18144 |   237588      0 |     1415 |     7452
470.43/470.63	c  467s |      11 |    29969 |    18244 |   237588      0 |     1415 |     7452
473.03/473.23	c  469s |      11 |    30114 |    18344 |   237588      0 |     1415 |     7452
476.63/476.89	c  473s |      11 |    30224 |    18444 |   237588      0 |     1415 |     7452
480.03/480.20	c  476s |      11 |    30355 |    18544 |   237588      0 |     1415 |     7452
483.83/484.00	c  480s |      11 |    30565 |    18644 |   237588      0 |     1416 |     7455
486.52/486.70	c  483s |      11 |    30713 |    18744 |   237588      0 |     1416 |     7455
489.82/490.06	c  486s |      11 |    30839 |    18844 |   237588      0 |     1416 |     7455
493.41/493.69	c  490s |      11 |    30971 |    18944 |   237588      0 |     1416 |     7455
496.21/496.48	c  492s |      11 |    31076 |    19044 |   237588      0 |     1416 |     7455
500.81/501.03	c  497s |      11 |    31190 |    19144 |   237588      0 |     1416 |     7455
503.72/503.97	c  500s |      11 |    31317 |    19244 |   237588      0 |     1416 |     7455
505.91/506.11	c  502s |      11 |    31440 |    19344 |   237588      0 |     1416 |     7455
509.91/510.11	c  506s |      11 |    31581 |    19444 |   237588      0 |     1416 |     7455
513.20/513.42	c  509s |      11 |    31716 |    19544 |   237588      0 |     1416 |     7455
517.10/517.35	c  513s |      11 |    31873 |    19644 |   237588      0 |     1416 |     7455
521.90/522.18	c  518s |      11 |    31992 |    19744 |   237588      0 |     1416 |     7455
525.90/526.17	c  522s |      11 |    32120 |    19844 |   237588      0 |     1416 |     7455
530.01/530.25	c  526s |      11 |    32247 |    19944 |   237588      0 |     1416 |     7455
534.10/534.37	c  530s |      11 |    32403 |    20044 |   237588      0 |     1416 |     7455
537.50/537.71	c  534s |      11 |    32527 |    20144 |   237588      0 |     1416 |     7455
541.19/541.49	c  537s |      11 |    32635 |    20244 |   237588      0 |     1416 |     7455
545.19/545.46	c  541s |      11 |    32755 |    20344 |   237588      0 |     1416 |     7455
548.70/548.92	c  545s |      11 |    32917 |    20444 |   237588      0 |     1416 |     7455
553.49/553.77	c  550s |      11 |    33042 |    20544 |   237588      0 |     1416 |     7455
557.29/557.54	c  553s |      11 |    33179 |    20644 |   237588      0 |     1416 |     7455
561.48/561.75	c  558s |      11 |    33282 |    20744 |   237588      0 |     1416 |     7455
565.29/565.53	c  561s |      11 |    33409 |    20844 |   237588      0 |     1416 |     7455
569.48/569.80	c  566s |      11 |    33556 |    20944 |   237588      0 |     1416 |     7455
573.18/573.48	c  569s |      11 |    33691 |    21044 |   237588      0 |     1416 |     7455
575.38/575.65	c  572s |      11 |    33834 |    21144 |   237588      0 |     1416 |     7455
579.18/579.44	c  575s |      11 |    33993 |    21244 |   237588      0 |     1416 |     7455
582.37/582.62	c  579s |      11 |    34119 |    21344 |   237588      0 |     1416 |     7455
585.57/585.87	c  582s |      11 |    34275 |    21444 |   237588      0 |     1416 |     7455
588.67/588.98	c  585s |      11 |    34410 |    21544 |   237588      0 |     1416 |     7455
591.87/592.14	c  588s |      11 |    34532 |    21644 |   237588      0 |     1416 |     7455
595.77/596.02	c  592s |      11 |    34648 |    21744 |   237588      0 |     1416 |     7455
601.07/601.36	c  597s |      11 |    34773 |    21844 |   237588      0 |     1416 |     7455
605.17/605.46	c  601s |      11 |    34887 |    21944 |   237588      0 |     1416 |     7455
609.18/609.43	c  605s |      11 |    35000 |    22044 |   237588      0 |     1416 |     7455
613.17/613.42	c  609s |      11 |    35107 |    22144 |   237588      0 |     1416 |     7455
616.97/617.22	c  613s |      11 |    35233 |    22244 |   237588      0 |     1416 |     7455
621.96/622.25	c  618s |      11 |    35343 |    22344 |   237588      0 |     1416 |     7455
626.56/626.85	c  623s |      11 |    35475 |    22444 |   237588      0 |     1416 |     7455
629.16/629.43	c  625s |      11 |    35585 |    22544 |   237588      0 |     1416 |     7455
633.55/633.89	c  630s |      11 |    35709 |    22644 |   237588      0 |     1416 |     7455
637.35/637.63	c  634s |      11 |    35836 |    22744 |   237588      0 |     1416 |     7455
641.05/641.38	c  637s |      11 |    35976 |    22844 |   237588      0 |     1416 |     7455
645.34/645.65	c  642s |      11 |    36104 |    22944 |   237588      0 |     1416 |     7455
648.64/648.98	c  645s |      11 |    36246 |    23044 |   237588      0 |     1416 |     7455
652.84/653.20	c  649s |      11 |    36358 |    23144 |   237588      0 |     1416 |     7455
656.44/656.79	c  653s |      11 |    36512 |    23244 |   237588      0 |     1416 |     7455
659.44/659.74	c  656s |      11 |    36631 |    23344 |   237588      0 |     1416 |     7455
662.63/662.99	c  659s |      11 |    36761 |    23444 |   237588      0 |     1416 |     7455
666.43/666.73	c  663s |      11 |    36947 |    23544 |   237588      0 |     1416 |     7455
670.52/670.84	c  667s |      11 |    37103 |    23644 |   237588      0 |     1416 |     7455
673.12/673.44	c  669s |      11 |    37255 |    23744 |   237588      0 |     1416 |     7455
678.72/679.03	c  675s |      11 |    37367 |    23844 |   237588      0 |     1416 |     7455
683.22/683.51	c  679s |      11 |    37488 |    23944 |   237588      0 |     1416 |     7455
688.12/688.40	c  684s |      11 |    37615 |    24044 |   237588      0 |     1416 |     7455
691.52/691.81	c  688s |      11 |    37749 |    24144 |   237588      0 |     1416 |     7455
695.42/695.72	c  692s |      11 |    37880 |    24244 |   237588      0 |     1416 |     7455
698.82/699.11	c  695s |      11 |    37998 |    24344 |   237588      0 |     1416 |     7455
702.72/703.03	c  699s |      11 |    38155 |    24444 |   237588      0 |     1416 |     7455
704.92/705.25	c  701s |      11 |    38272 |    24544 |   237588      0 |     1416 |     7455
707.21/707.55	c  703s |      11 |    38384 |    24644 |   237588      0 |     1416 |     7455
710.81/711.12	c  707s |      11 |    38601 |    24844 |   237588      0 |     1416 |     7455
714.51/714.87	c  711s |      11 |    38752 |    24944 |   237588      0 |     1438 |     7515
718.31/718.62	c  715s |      11 |    38871 |    25044 |   237588      0 |     1438 |     7515
721.71/722.08	c  718s |      11 |    38991 |    25144 |   237588      0 |     1438 |     7515
726.01/726.36	c  722s |      11 |    39103 |    25244 |   237588      0 |     1438 |     7515
729.81/730.11	c  726s |      11 |    39228 |    25344 |   237588      0 |     1438 |     7515
733.51/733.87	c  730s |      11 |    39351 |    25444 |   237588      0 |     1438 |     7515
738.10/738.47	c  734s |      11 |    39480 |    25544 |   237588      0 |     1438 |     7515
742.80/743.17	c  739s |      11 |    39648 |    25644 |   237588      0 |     1438 |     7515
747.60/747.97	c  744s |      11 |    39766 |    25744 |   261347      0 |     1438 |     7515
751.30/751.69	c  748s |      12 |    39854 |    25819 |   261347      0 |     1438 |     7515
755.00/755.33	c  751s |      12 |    40037 |    25919 |   261347      0 |     1438 |     7515
758.30/758.63	c  755s |      12 |    40177 |    26019 |   261347      0 |     1438 |     7515
762.01/762.35	c  758s |      12 |    40303 |    26119 |   261347      0 |     1438 |     7515
765.70/766.01	c  762s |      12 |    40463 |    26219 |   261347      0 |     1438 |     7515
768.71/769.05	c  765s |      12 |    40607 |    26319 |   261347      0 |     1438 |     7515
772.90/773.30	c  769s |      12 |    40723 |    26419 |   261347      0 |     1438 |     7515
775.90/776.20	c  772s |      12 |    40851 |    26519 |   261347      0 |     1438 |     7515
778.50/778.88	c  775s |      12 |    40984 |    26619 |   261347      0 |     1438 |     7515
781.60/781.96	c  778s |      12 |    41093 |    26719 |   261347      0 |     1438 |     7515
784.80/785.13	c  781s |      12 |    41211 |    26819 |   261347      0 |     1438 |     7515
787.90/788.30	c  784s |      12 |    41311 |    26919 |   261347      0 |     1438 |     7515
792.70/793.06	c  789s |      12 |    41431 |    27019 |   261347      0 |     1438 |     7515
796.00/796.31	c  792s |      12 |    41555 |    27119 |   261347      0 |     1438 |     7515
799.09/799.40	c  795s |      12 |    41667 |    27219 |   261347      0 |     1438 |     7515
802.80/803.15	c  799s |      12 |    41786 |    27319 |   261347      0 |     1438 |     7515
806.10/806.49	c  802s |      12 |    41903 |    27419 |   261347      0 |     1438 |     7515
809.99/810.34	c  806s |      12 |    42042 |    27519 |   261347      0 |     1438 |     7515
813.39/813.76	c  810s |      12 |    42152 |    27619 |   261347      0 |     1438 |     7515
817.00/817.31	c  813s |      12 |    42259 |    27719 |   261347      0 |     1438 |     7515
820.49/820.85	c  817s |      12 |    42380 |    27819 |   261347      0 |     1438 |     7515
824.89/825.20	c  821s |      12 |    42514 |    27919 |   261347      0 |     1438 |     7515
828.59/828.94	c  825s |      12 |    42659 |    28019 |   261347      0 |     1438 |     7515
832.09/832.47	c  828s |      12 |    42775 |    28119 |   261347      0 |     1438 |     7515
836.39/836.72	c  833s |      12 |    42896 |    28219 |   261347      0 |     1438 |     7515
840.49/840.83	c  837s |      12 |    43046 |    28319 |   261347      0 |     1438 |     7515
843.09/843.44	c  839s |      12 |    43156 |    28419 |   261347      0 |     1438 |     7515
847.29/847.67	c  844s |      12 |    43285 |    28519 |   261347      0 |     1438 |     7515
850.78/851.13	c  847s |      12 |    43409 |    28619 |   261347      0 |     1438 |     7515
854.88/855.22	c  851s |      12 |    43518 |    28719 |   261347      0 |     1438 |     7515
859.18/859.55	c  855s |      12 |    43641 |    28819 |   261347      0 |     1438 |     7515
862.88/863.26	c  859s |      12 |    43774 |    28919 |   261347      0 |     1438 |     7515
866.59/866.94	c  863s |      12 |    43910 |    29019 |   261347      0 |     1438 |     7515
870.89/871.29	c  867s |      12 |    44027 |    29119 |   261347      0 |     1438 |     7515
875.58/875.94	c  872s |      12 |    44145 |    29219 |   261347      0 |     1438 |     7515
879.48/879.89	c  876s |      12 |    44272 |    29319 |   261347      0 |     1438 |     7515
884.19/884.52	c  880s |      12 |    44402 |    29419 |   261347      0 |     1438 |     7515
887.58/887.94	c  884s |      12 |    44509 |    29519 |   261347      0 |     1438 |     7515
891.28/891.62	c  888s |      12 |    44628 |    29619 |   261347      0 |     1438 |     7515
895.88/896.24	c  892s |      12 |    44747 |    29719 |   261347      0 |     1438 |     7515
901.28/901.60	c  898s |      12 |    44856 |    29819 |   261347      0 |     1438 |     7515
906.88/907.23	c  903s |      12 |    44997 |    29919 |   261347      0 |     1438 |     7515
910.78/911.10	c  907s |      12 |    45116 |    30019 |   261347      0 |     1438 |     7515
913.08/913.44	c  909s |      12 |    45233 |    30119 |   261347      0 |     1438 |     7515
915.98/916.36	c  912s |      12 |    45347 |    30219 |   261347      0 |     1438 |     7515
919.28/919.68	c  916s |      12 |    45479 |    30319 |   261347      0 |     1438 |     7515
924.17/924.57	c  920s |      12 |    45598 |    30419 |   261347      0 |     1438 |     7515
928.18/928.51	c  924s |      12 |    45719 |    30519 |   261347      0 |     1438 |     7515
932.97/933.33	c  929s |      12 |    45839 |    30619 |   261347      0 |     1438 |     7515
938.27/938.65	c  935s |      12 |    45953 |    30719 |   261347      0 |     1438 |     7515
943.48/943.83	c  940s |      12 |    46071 |    30819 |   261347      0 |     1438 |     7515
948.07/948.44	c  944s |      12 |    46185 |    30919 |   261347      0 |     1438 |     7515
951.97/952.38	c  948s |      12 |    46313 |    31019 |   261347      0 |     1438 |     7515
955.47/955.83	c  952s |      12 |    46493 |    31119 |   261347      0 |     1438 |     7515
959.17/959.52	c  955s |      12 |    46620 |    31219 |   261347      0 |     1438 |     7515
963.17/963.57	c  959s |      12 |    46754 |    31319 |   261347      0 |     1438 |     7515
967.87/968.25	c  964s |      12 |    46880 |    31419 |   261347      0 |     1438 |     7515
970.27/970.64	c  967s |      12 |    47064 |    31519 |   261347      0 |     1438 |     7515
974.16/974.55	c  970s |      12 |    47290 |    31719 |   261347      0 |     1438 |     7515
977.86/978.22	c  974s |      12 |    47408 |    31819 |   261347      0 |     1438 |     7515
981.86/982.25	c  978s |      12 |    47530 |    31919 |   261347      0 |     1438 |     7515
985.37/985.74	c  982s |      12 |    47699 |    32019 |   261347      0 |     1438 |     7515
990.16/990.54	c  986s |      12 |    47849 |    32119 |   261347      0 |     1439 |     7518
994.76/995.10	c  991s |      12 |    47976 |    32219 |   261347      0 |     1439 |     7518
996.96/997.32	c  993s |      12 |    48125 |    32319 |   261347      0 |     1439 |     7518
1001.16/1001.51	c  997s |      12 |    48230 |    32419 |   261347      0 |     1439 |     7518
1005.56/1005.90	c 1002s |      12 |    48365 |    32519 |   261347      0 |     1439 |     7518
1009.26/1009.64	c 1006s |      12 |    48479 |    32619 |   261347      0 |     1439 |     7518
1013.36/1013.73	c 1010s |      12 |    48599 |    32719 |   261347      0 |     1439 |     7518
1016.96/1017.36	c 1013s |      12 |    48709 |    32819 |   261347      0 |     1439 |     7518
1020.36/1020.72	c 1017s |      12 |    48873 |    32919 |   261347      0 |     1439 |     7518
1023.96/1024.35	c 1020s |      12 |    49020 |    33019 |   261347      0 |     1439 |     7518
1028.45/1028.83	c 1025s |      12 |    49156 |    33119 |   261347      0 |     1439 |     7518
1033.15/1033.55	c 1029s |      12 |    49282 |    33219 |   261347      0 |     1439 |     7518
1037.35/1037.78	c 1034s |      12 |    49426 |    33319 |   261347      0 |     1439 |     7518
1041.85/1042.21	c 1038s |      12 |    49535 |    33419 |   261347      0 |     1439 |     7518
1045.95/1046.34	c 1042s |      12 |    49670 |    33519 |   261347      0 |     1439 |     7518
1049.16/1049.56	c 1045s |      12 |    49833 |    33619 |   261347      0 |     1439 |     7518
1053.46/1053.87	c 1050s |      12 |    49961 |    33719 |   261347      0 |     1439 |     7518
1056.76/1057.20	c 1053s |      12 |    50110 |    33819 |   261347      0 |     1439 |     7518
1062.55/1062.92	c 1059s |      12 |    50367 |    34019 |   261347      0 |     1439 |     7518
1065.95/1066.39	c 1062s |      12 |    50553 |    34119 |   261347      0 |     1439 |     7518
1068.05/1068.40	c 1064s |      12 |    50679 |    34219 |   261347      0 |     1439 |     7518
1072.05/1072.41	c 1068s |      12 |    50853 |    34319 |   261347      0 |     1441 |     7524
1075.75/1076.16	c 1072s |      12 |    51022 |    34419 |   261347      0 |     1441 |     7524
1079.65/1080.02	c 1076s |      12 |    51140 |    34519 |   261347      0 |     1441 |     7524
1082.25/1082.60	c 1079s |      12 |    51315 |    34619 |   261347      0 |     1441 |     7524
1084.25/1084.67	c 1081s |      12 |    51453 |    34719 |   261347      0 |     1441 |     7524
1086.45/1086.82	c 1083s |      12 |    51624 |    34819 |   261347      0 |     1441 |     7524
1090.74/1091.13	c 1087s |      12 |    51882 |    35019 |   261347      0 |     1441 |     7524
1093.05/1093.42	c 1089s |      12 |    51994 |    35119 |   261347      0 |     1441 |     7524
1097.04/1097.49	c 1093s |      12 |    52283 |    35319 |   261347      0 |     1441 |     7524
1099.44/1099.80	c 1096s |      12 |    52401 |    35419 |   261347      0 |     1441 |     7524
1101.64/1102.07	c 1098s |      12 |    52511 |    35519 |   261347      0 |     1441 |     7524
1104.64/1105.01	c 1101s |      12 |    52646 |    35619 |   261347      0 |     1441 |     7524
1107.54/1107.96	c 1104s |      12 |    52799 |    35719 |   261347      0 |     1441 |     7524
1109.94/1110.37	c 1106s |      12 |    52968 |    35819 |   261347      0 |     1441 |     7524
1113.24/1113.65	c 1110s |      12 |    53120 |    35919 |   261347      0 |     1441 |     7524
1116.34/1116.72	c 1113s |      12 |    53258 |    36019 |   261347      0 |     1441 |     7524
1119.74/1120.17	c 1116s |      12 |    53387 |    36119 |   261347      0 |     1441 |     7524
1123.04/1123.41	c 1119s |      12 |    53525 |    36219 |   261347      0 |     1441 |     7524
1126.64/1127.09	c 1123s |      12 |    53670 |    36319 |   261347      0 |     1441 |     7524
1130.94/1131.39	c 1127s |      12 |    53785 |    36419 |   261347      0 |     1441 |     7524
1133.94/1134.32	c 1130s |      12 |    53909 |    36519 |   261347      0 |     1441 |     7524
1137.64/1138.07	c 1134s |      12 |    54036 |    36619 |   261347      0 |     1441 |     7524
1142.14/1142.51	c 1138s |      12 |    54161 |    36719 |   261347      0 |     1441 |     7524
1145.44/1145.80	c 1142s |      12 |    54275 |    36819 |   261347      0 |     1441 |     7524
1148.44/1148.85	c 1145s |      12 |    54402 |    36919 |   261347      0 |     1441 |     7524
1151.63/1152.00	c 1148s |      12 |    54520 |    37019 |   261347      0 |     1441 |     7524
1155.43/1155.89	c 1152s |      12 |    54645 |    37119 |   261347      0 |     1441 |     7524
1158.63/1159.07	c 1155s |      12 |    54834 |    37219 |   261347      0 |     1441 |     7524
1161.63/1162.00	c 1158s |      12 |    54991 |    37319 |   261347      0 |     1441 |     7524
1164.54/1164.97	c 1161s |      12 |    55117 |    37419 |   261347      0 |     1441 |     7524
1167.23/1167.67	c 1164s |      12 |    55252 |    37519 |   261347      0 |     1441 |     7524
1171.03/1171.42	c 1167s |      12 |    55414 |    37619 |   261347      0 |     1441 |     7524
1175.33/1175.73	c 1172s |      12 |    55545 |    37719 |   261347      0 |     1441 |     7524
1179.94/1180.33	c 1176s |      12 |    55668 |    37819 |   261347      0 |     1441 |     7524
1184.44/1184.86	c 1181s |      12 |    55786 |    37919 |   261347      0 |     1441 |     7524
1188.84/1189.22	c 1185s |      12 |    55899 |    38019 |   261347      0 |     1441 |     7524
1192.83/1193.28	c 1189s |      12 |    56019 |    38119 |   261347      0 |     1441 |     7524
1196.63/1197.03	c 1193s |      12 |    56140 |    38219 |   261347      0 |     1441 |     7524
1198.73/1199.17	c 1195s |      12 |    56306 |    38319 |   261347      0 |     1441 |     7524
1200.83/1201.25	c 1197s |      12 |    56442 |    38419 |   261347      0 |     1441 |     7524
1203.03/1203.41	c 1199s |      12 |    56547 |    38519 |   261347      0 |     1441 |     7524
1206.23/1206.60	c 1203s |      12 |    56665 |    38619 |   287482      0 |     1441 |     7524
1209.73/1210.18	c 1206s |      12 |    56787 |    38719 |   287482      0 |     1441 |     7524
1212.82/1213.29	c 1209s |      12 |    56915 |    38819 |   287482      0 |     1441 |     7524
1213.32/1213.73	c 1210s |      13 |    56929 |    38832 |   287482      0 |     1441 |     7524
1217.02/1217.45	c 1213s |      13 |    57093 |    38932 |   287482      0 |     1441 |     7524
1220.92/1221.35	c 1217s |      13 |    57244 |    39032 |   287482      0 |     1441 |     7524
1225.92/1226.38	c 1222s |      13 |    57375 |    39132 |   287482      0 |     1441 |     7524
1229.32/1229.75	c 1226s |      13 |    57516 |    39232 |   287482      0 |     1441 |     7524
1232.22/1232.60	c 1229s |      13 |    57644 |    39332 |   287482      0 |     1441 |     7524
1236.32/1236.77	c 1233s |      13 |    57761 |    39432 |   287482      0 |     1441 |     7524
1239.12/1239.52	c 1235s |      13 |    57874 |    39532 |   287482      0 |     1441 |     7524
1241.92/1242.34	c 1238s |      13 |    57989 |    39632 |   287482      0 |     1441 |     7524
1245.93/1246.36	c 1242s |      13 |    58101 |    39732 |   287482      0 |     1441 |     7524
1249.82/1250.22	c 1246s |      13 |    58246 |    39832 |   287482      0 |     1441 |     7524
1253.82/1254.23	c 1250s |      13 |    58373 |    39932 |   287482      0 |     1441 |     7524
1258.82/1259.26	c 1255s |      13 |    58470 |    40032 |   287482      0 |     1441 |     7524
1263.32/1263.73	c 1260s |      13 |    58578 |    40132 |   287482      0 |     1441 |     7524
1266.62/1267.04	c 1263s |      13 |    58713 |    40232 |   287482      0 |     1441 |     7524
1270.51/1270.95	c 1267s |      13 |    58828 |    40332 |   287482      0 |     1441 |     7524
1274.31/1274.74	c 1271s |      13 |    58970 |    40432 |   287482      0 |     1441 |     7524
1278.71/1279.14	c 1275s |      13 |    59108 |    40532 |   287482      0 |     1441 |     7524
1282.71/1283.14	c 1279s |      13 |    59279 |    40632 |   287482      0 |     1441 |     7524
1286.51/1287.00	c 1283s |      13 |    59414 |    40732 |   287482      0 |     1441 |     7524
1289.41/1289.87	c 1286s |      13 |    59546 |    40832 |   287482      0 |     1441 |     7524
1292.41/1292.88	c 1289s |      13 |    59687 |    40932 |   287482      0 |     1441 |     7524
1294.51/1294.95	c 1291s |      13 |    59816 |    41032 |   287482      0 |     1441 |     7524
1297.01/1297.47	c 1293s |      13 |    59975 |    41132 |   287482      0 |     1441 |     7524
1301.91/1302.38	c 1298s |      13 |    60118 |    41232 |   287482      0 |     1441 |     7524
1304.81/1305.28	c 1301s |      13 |    60257 |    41332 |   287482      0 |     1441 |     7524
1307.71/1308.14	c 1304s |      13 |    60362 |    41432 |   287482      0 |     1441 |     7524
1311.01/1311.46	c 1307s |      13 |    60490 |    41532 |   287482      0 |     1441 |     7524
1313.41/1313.82	c 1310s |      13 |    60645 |    41632 |   287482      0 |     1441 |     7524
1315.51/1315.98	c 1312s |      13 |    60773 |    41732 |   287482      0 |     1441 |     7524
1318.01/1318.45	c 1314s |      13 |    60883 |    41832 |   287482      0 |     1441 |     7524
1321.91/1322.36	c 1318s |      13 |    61019 |    41932 |   287482      0 |     1441 |     7524
1324.51/1324.99	c 1321s |      13 |    61205 |    42032 |   287482      0 |     1441 |     7524
1328.01/1328.47	c 1324s |      13 |    61344 |    42132 |   287482      0 |     1441 |     7524
1332.71/1333.13	c 1329s |      13 |    61487 |    42232 |   287482      0 |     1441 |     7524
1336.70/1337.18	c 1333s |      13 |    61616 |    42332 |   287482      0 |     1441 |     7524
1339.51/1339.94	c 1336s |      13 |    61762 |    42432 |   287482      0 |     1441 |     7524
1341.61/1342.02	c 1338s |      13 |    61922 |    42532 |   287482      0 |     1441 |     7524
1344.60/1345.00	c 1341s |      13 |    62052 |    42632 |   287482      0 |     1441 |     7524
1346.80/1347.24	c 1343s |      13 |    62186 |    42732 |   287482      0 |     1441 |     7524
1349.80/1350.25	c 1346s |      13 |    62301 |    42832 |   287482      0 |     1441 |     7524
1353.20/1353.64	c 1350s |      13 |    62413 |    42932 |   287482      0 |     1441 |     7524
1356.30/1356.76	c 1353s |      13 |    62550 |    43032 |   287482      0 |     1441 |     7524
1361.41/1361.90	c 1358s |      13 |    62669 |    43132 |   287482      0 |     1441 |     7524
1364.30/1364.79	c 1361s |      13 |    62776 |    43232 |   287482      0 |     1441 |     7524
1367.50/1367.91	c 1364s |      13 |    62901 |    43332 |   287482      0 |     1441 |     7524
1371.10/1371.55	c 1367s |      13 |    63017 |    43432 |   287482      0 |     1441 |     7524
1374.30/1374.75	c 1371s |      13 |    63137 |    43532 |   287482      0 |     1441 |     7524
1377.60/1378.02	c 1374s |      13 |    63259 |    43632 |   287482      0 |     1441 |     7524
1381.80/1382.29	c 1378s |      13 |    63368 |    43732 |   287482      0 |     1441 |     7524
1384.80/1385.21	c 1381s |      13 |    63488 |    43832 |   287482      0 |     1441 |     7524
1388.20/1388.65	c 1385s |      13 |    63601 |    43932 |   287482      0 |     1441 |     7524
1391.80/1392.22	c 1388s |      13 |    63736 |    44032 |   287482      0 |     1441 |     7524
1395.99/1396.44	c 1392s |      13 |    63851 |    44132 |   287482      0 |     1441 |     7524
1399.29/1399.77	c 1396s |      13 |    63956 |    44232 |   287482      0 |     1441 |     7524
1403.30/1403.75	c 1400s |      13 |    64083 |    44332 |   287482      0 |     1441 |     7524
1406.79/1407.26	c 1403s |      13 |    64210 |    44432 |   287482      0 |     1441 |     7524
1409.90/1410.39	c 1406s |      13 |    64332 |    44532 |   287482      0 |     1441 |     7524
1414.09/1414.58	c 1410s |      13 |    64465 |    44632 |   287482      0 |     1441 |     7524
1418.19/1418.63	c 1415s |      13 |    64581 |    44732 |   287482      0 |     1441 |     7524
1421.29/1421.72	c 1418s |      13 |    64687 |    44832 |   287482      0 |     1441 |     7524
1424.79/1425.29	c 1421s |      13 |    64805 |    44932 |   287482      0 |     1441 |     7524
1428.29/1428.75	c 1425s |      13 |    64906 |    45032 |   287482      0 |     1441 |     7524
1433.59/1434.05	c 1430s |      13 |    65026 |    45132 |   287482      0 |     1441 |     7524
1437.39/1437.81	c 1434s |      13 |    65147 |    45232 |   287482      0 |     1441 |     7524
1441.49/1441.99	c 1438s |      13 |    65275 |    45332 |   287482      0 |     1441 |     7524
1446.19/1446.69	c 1443s |      13 |    65430 |    45432 |   287482      0 |     1441 |     7524
1448.98/1449.40	c 1445s |      13 |    65588 |    45532 |   287482      0 |     1441 |     7524
1453.48/1453.92	c 1450s |      13 |    65735 |    45632 |   287482      0 |     1441 |     7524
1456.88/1457.38	c 1453s |      13 |    65879 |    45732 |   287482      0 |     1441 |     7524
1460.68/1461.10	c 1457s |      13 |    65990 |    45832 |   287482      0 |     1441 |     7524
1465.09/1465.55	c 1461s |      13 |    66102 |    45932 |   287482      0 |     1441 |     7524
1469.20/1469.67	c 1466s |      13 |    66218 |    46032 |   287482      0 |     1441 |     7524
1473.49/1473.97	c 1470s |      13 |    66342 |    46132 |   287482      0 |     1441 |     7524
1476.79/1477.28	c 1473s |      13 |    66465 |    46232 |   287482      0 |     1441 |     7524
1480.99/1481.49	c 1477s |      13 |    66587 |    46332 |   287482      0 |     1441 |     7524
1485.09/1485.52	c 1481s |      13 |    66692 |    46432 |   287482      0 |     1441 |     7524
1488.59/1489.09	c 1485s |      13 |    66810 |    46532 |   287482      0 |     1441 |     7524
1493.29/1493.73	c 1490s |      13 |    66946 |    46632 |   287482      0 |     1441 |     7524
1497.29/1497.71	c 1494s |      13 |    67107 |    46732 |   287482      0 |     1441 |     7524
1501.48/1501.97	c 1498s |      13 |    67217 |    46832 |   287482      0 |     1441 |     7524
1506.59/1507.08	c 1503s |      13 |    67347 |    46932 |   287482      0 |     1441 |     7524
1511.38/1511.81	c 1508s |      13 |    67459 |    47032 |   287482      0 |     1441 |     7524
1514.98/1515.49	c 1511s |      13 |    67604 |    47132 |   287482      0 |     1441 |     7524
1517.98/1518.48	c 1514s |      13 |    67736 |    47232 |   287482      0 |     1441 |     7524
1522.18/1522.60	c 1519s |      13 |    67871 |    47332 |   287482      0 |     1441 |     7524
1524.68/1525.11	c 1521s |      13 |    68039 |    47432 |   287482      0 |     1441 |     7524
1528.59/1529.01	c 1525s |      13 |    68165 |    47532 |   287482      0 |     1441 |     7524
1532.38/1532.80	c 1529s |      13 |    68286 |    47632 |   287482      0 |     1441 |     7524
1535.19/1535.67	c 1532s |      13 |    68427 |    47732 |   287482      0 |     1441 |     7524
1539.48/1539.98	c 1536s |      13 |    68544 |    47832 |   287482      0 |     1441 |     7524
1542.78/1543.20	c 1539s |      13 |    68652 |    47932 |   287482      0 |     1441 |     7524
1546.18/1546.61	c 1543s |      13 |    68794 |    48032 |   287482      0 |     1441 |     7524
1550.77/1551.27	c 1547s |      13 |    68916 |    48132 |   287482      0 |     1441 |     7524
1555.27/1555.75	c 1552s |      13 |    69046 |    48232 |   287482      0 |     1441 |     7524
1559.27/1559.77	c 1556s |      13 |    69194 |    48332 |   287482      0 |     1441 |     7524
1565.67/1566.12	c 1562s |      13 |    69316 |    48432 |   287482      0 |     1441 |     7524
1570.77/1571.20	c 1567s |      13 |    69446 |    48532 |   287482      0 |     1441 |     7524
1573.97/1574.49	c 1570s |      13 |    69554 |    48632 |   287482      0 |     1441 |     7524
1576.77/1577.26	c 1573s |      13 |    69744 |    48732 |   287482      0 |     1441 |     7524
1580.57/1581.00	c 1577s |      13 |    69931 |    48832 |   287482      0 |     1441 |     7524
1584.37/1584.82	c 1581s |      13 |    70056 |    48932 |   287482      0 |     1441 |     7524
1588.27/1588.74	c 1585s |      13 |    70189 |    49032 |   287482      0 |     1441 |     7524
1591.97/1592.41	c 1588s |      13 |    70315 |    49132 |   287482      0 |     1441 |     7524
1595.37/1595.88	c 1592s |      13 |    70486 |    49232 |   287482      0 |     1441 |     7524
1598.37/1598.85	c 1595s |      13 |    70608 |    49332 |   287482      0 |     1441 |     7524
1600.97/1601.42	c 1597s |      13 |    70731 |    49432 |   287482      0 |     1441 |     7524
1603.27/1603.78	c 1600s |      13 |    70893 |    49532 |   287482      0 |     1441 |     7524
1605.96/1606.40	c 1602s |      13 |    71020 |    49632 |   287482      0 |     1441 |     7524
1608.06/1608.59	c 1605s |      13 |    71158 |    49732 |   287482      0 |     1441 |     7524
1611.07/1611.51	c 1607s |      13 |    71275 |    49832 |   287482      0 |     1441 |     7524
1614.96/1615.41	c 1611s |      13 |    71428 |    49932 |   287482      0 |     1441 |     7524
1618.87/1619.34	c 1615s |      13 |    71563 |    50032 |   287482      0 |     1441 |     7524
1622.66/1623.12	c 1619s |      13 |    71718 |    50132 |   287482      0 |     1441 |     7524
1626.57/1627.06	c 1623s |      13 |    71837 |    50232 |   287482      0 |     1441 |     7524
1630.46/1630.93	c 1627s |      13 |    71993 |    50332 |   287482      0 |     1441 |     7524
1634.66/1635.11	c 1631s |      13 |    72110 |    50432 |   287482      0 |     1441 |     7524
1639.06/1639.53	c 1635s |      13 |    72242 |    50532 |   287482      0 |     1441 |     7524
1641.87/1642.35	c 1638s |      13 |    72352 |    50632 |   287482      0 |     1441 |     7524
1645.96/1646.46	c 1642s |      13 |    72468 |    50732 |   287482      0 |     1441 |     7524
1650.86/1651.34	c 1647s |      13 |    72592 |    50832 |   287482      0 |     1441 |     7524
1656.26/1656.72	c 1653s |      13 |    72699 |    50932 |   287482      0 |     1441 |     7524
1660.66/1661.11	c 1657s |      13 |    72830 |    51032 |   287482      0 |     1441 |     7524
1665.65/1666.10	c 1662s |      13 |    72973 |    51132 |   287482      0 |     1441 |     7524
1670.65/1671.13	c 1667s |      13 |    73075 |    51232 |   287482      0 |     1441 |     7524
1674.86/1675.31	c 1671s |      13 |    73194 |    51332 |   287482      0 |     1441 |     7524
1679.05/1679.55	c 1675s |      13 |    73296 |    51432 |   287482      0 |     1441 |     7524
1684.55/1685.01	c 1681s |      13 |    73566 |    51632 |   287482      0 |     1441 |     7524
1687.95/1688.44	c 1684s |      13 |    73693 |    51732 |   287482      0 |     1441 |     7524
1692.25/1692.76	c 1689s |      13 |    73809 |    51832 |   287482      0 |     1441 |     7524
1697.75/1698.22	c 1694s |      13 |    73939 |    51932 |   287482      0 |     1441 |     7524
1703.35/1703.87	c 1700s |      13 |    74061 |    52032 |   287482      0 |     1441 |     7524
1709.45/1709.91	c 1706s |      13 |    74176 |    52132 |   287482      0 |     1441 |     7524
1714.64/1715.19	c 1711s |      13 |    74295 |    52232 |   287482      0 |     1441 |     7524
1720.24/1720.74	c 1717s |      13 |    74423 |    52332 |   287482      0 |     1441 |     7524
1726.24/1726.75	c 1723s |      13 |    74538 |    52432 |   287482      0 |     1441 |     7524
1732.54/1733.03	c 1729s |      13 |    74684 |    52532 |   287482      0 |     1441 |     7524
1735.84/1736.36	c 1732s |      13 |    74811 |    52632 |   287482      0 |     1441 |     7524
1739.64/1740.12	c 1736s |      13 |    74920 |    52732 |   287482      0 |     1441 |     7524
1744.54/1745.07	c 1741s |      13 |    75031 |    52832 |   287482      0 |     1441 |     7524
1749.75/1750.25	c 1746s |      13 |    75156 |    52932 |   287482      0 |     1441 |     7524
1754.05/1754.53	c 1750s |      13 |    75269 |    53032 |   287482      0 |     1441 |     7524
1758.64/1759.17	c 1755s |      13 |    75380 |    53132 |   287482      0 |     1441 |     7524
1763.94/1764.43	c 1760s |      13 |    75489 |    53232 |   287482      0 |     1441 |     7524
1768.54/1769.07	c 1765s |      13 |    75595 |    53332 |   287482      0 |     1441 |     7524
1774.24/1774.78	c 1771s |      13 |    75715 |    53432 |   287482      0 |     1441 |     7524
1778.73/1779.27	c 1775s |      13 |    75840 |    53532 |   287482      0 |     1441 |     7524
1782.23/1782.75	c 1779s |      13 |    75978 |    53632 |   287482      0 |     1441 |     7524
1786.73/1787.26	c 1783s |      13 |    76111 |    53732 |   287482      0 |     1441 |     7524
1790.23/1790.77	c 1787s |      13 |    76231 |    53832 |   287482      0 |     1441 |     7524
1794.53/1795.03	c 1791s |      13 |    76412 |    53932 |   287482      0 |     1441 |     7524
1798.83/1799.36	c 1795s |      13 |    76545 |    54032 |   287482      0 |     1441 |     7524

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

pid=2642
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: 2.10 2.11 2.06 3/179 2645
/proc/meminfo: memFree=30360412/32872528 swapFree=13600/559348
[pid=2645] ppid=2642 vsize=573884 CPUtime=0 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1842 0 -1 4202496 2114 0 0 0 0 0 0 0 20 0 4 0 104122463 587657216 2987 33554432000 4194304 16246674 140735212123024 140735212122448 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2645/statm: 144239 2995 441 2943 0 141133 0
[pid=2645/tid=2646] ppid=2642 vsize=591292 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104122463 605483008 3056 33554432000 4194304 16246674 140735212123024 140126694911216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=596412 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104122463 610725888 3074 33554432000 4194304 16246674 140735212123024 140126684421360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=600508 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104122463 614920192 3091 33554432000 4194304 16246674 140735212123024 140126596361392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.10 2.11 2.06 3/179 2645
/proc/meminfo: memFree=30360412/32872528 swapFree=13600/559348
[pid=2645] ppid=2642 vsize=1281604 CPUtime=0.09 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1842 0 -1 4202496 25481 0 0 0 5 4 0 0 20 0 4 0 104122463 1312362496 26293 33554432000 4194304 16246674 140735212123024 140735212122336 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2645/statm: 321937 26313 801 2943 0 318831 0
[pid=2645/tid=2646] ppid=2642 vsize=1290820 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104122463 1321799680 26328 33554432000 4194304 16246674 140735212123024 140126694911216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1294916 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104122463 1325993984 26342 33554432000 4194304 16246674 140735212123024 140126684421360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1297988 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104122463 1329139712 26356 33554432000 4194304 16246674 140735212123024 140126596361392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1281604

[startup+0.200523 s]
/proc/loadavg: 2.10 2.11 2.06 3/179 2645
/proc/meminfo: memFree=30360412/32872528 swapFree=13600/559348
[pid=2645] ppid=2642 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1842 0 -1 4202496 47580 0 0 0 13 6 0 0 20 0 4 0 104122463 1344868352 48901 33554432000 4194304 16246674 140735212123024 140735212122336 14795916 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2645/statm: 328337 48901 801 2943 0 325231 0
[pid=2645/tid=2646] ppid=2642 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104122463 1344868352 48901 33554432000 4194304 16246674 140735212123024 140126694911216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104122463 1344868352 48901 33554432000 4194304 16246674 140735212123024 140126684421360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104122463 1344868352 48901 33554432000 4194304 16246674 140735212123024 140126596361392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300502 s]
/proc/loadavg: 2.10 2.11 2.06 3/179 2645
/proc/meminfo: memFree=30360412/32872528 swapFree=13600/559348
[pid=2645] ppid=2642 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1842 0 -1 4202496 56968 0 0 0 21 8 0 0 20 0 4 0 104122463 1344868352 58289 33554432000 4194304 16246674 140735212123024 140735212122336 12752288 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2645/statm: 328337 58289 801 2943 0 325231 0
[pid=2645/tid=2646] ppid=2642 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104122463 1344868352 58289 33554432000 4194304 16246674 140735212123024 140126694911216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104122463 1344868352 58289 33554432000 4194304 16246674 140735212123024 140126684421360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104122463 1344868352 58289 33554432000 4194304 16246674 140735212123024 140126596361392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700429 s]
/proc/loadavg: 2.10 2.11 2.06 3/179 2645
/proc/meminfo: memFree=30360412/32872528 swapFree=13600/559348
[pid=2645] ppid=2642 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1842 0 -1 4202496 64910 0 0 0 60 9 0 0 20 0 4 0 104122463 1344868352 66231 33554432000 4194304 16246674 140735212123024 140735212122336 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2645/statm: 328337 66231 803 2943 0 325231 0
[pid=2645/tid=2646] ppid=2642 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104122463 1344868352 66231 33554432000 4194304 16246674 140735212123024 140126694911216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104122463 1344868352 66231 33554432000 4194304 16246674 140735212123024 140126684421360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104122463 1344868352 66231 33554432000 4194304 16246674 140735212123024 140126596361392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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: 2.10 2.11 2.06 3/183 2649
/proc/meminfo: memFree=30057372/32872528 swapFree=13600/559348
[pid=2645] ppid=2642 vsize=1326660 CPUtime=1.49 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1842 0 -1 4202496 144310 0 0 0 128 21 0 0 20 0 4 0 104122463 1358499840 145631 33554432000 4194304 16246674 140735212123024 140735212120832 6740269 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2645/statm: 331665 145640 835 2943 0 328559 0
[pid=2645/tid=2646] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 145646 33554432000 4194304 16246674 140735212123024 140126694911216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 145651 33554432000 4194304 16246674 140735212123024 140126684421360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 145656 33554432000 4194304 16246674 140735212123024 140126596361392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1326660

[startup+3.10043 s]
/proc/loadavg: 2.10 2.11 2.06 3/183 2649
/proc/meminfo: memFree=29271344/32872528 swapFree=13600/559348
[pid=2645] ppid=2642 vsize=1326660 CPUtime=3.09 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1842 0 -1 4202496 272282 0 0 0 267 42 0 0 20 0 4 0 104122463 1358499840 273603 33554432000 4194304 16246674 140735212123024 140735212104896 7202144 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2645/statm: 331665 273603 837 2943 0 328559 0
[pid=2645/tid=2646] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273603 33554432000 4194304 16246674 140735212123024 140126694911216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273603 33554432000 4194304 16246674 140735212123024 140126684421360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273603 33554432000 4194304 16246674 140735212123024 140126596361392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1326660

[startup+6.3004 s]
/proc/loadavg: 2.17 2.12 2.07 3/183 2649
/proc/meminfo: memFree=29267264/32872528 swapFree=13600/559348
[pid=2645] ppid=2642 vsize=1326660 CPUtime=6.29 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1842 0 -1 4202496 272339 0 0 0 587 42 0 0 20 0 4 0 104122463 1358499840 273660 33554432000 4194304 16246674 140735212123024 140735212120832 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2645/statm: 331665 273660 888 2943 0 328559 0
[pid=2645/tid=2646] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273660 33554432000 4194304 16246674 140735212123024 140126694911216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273660 33554432000 4194304 16246674 140735212123024 140126684421360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273660 33554432000 4194304 16246674 140735212123024 140126596361392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1326660

[startup+12.7003 s]
/proc/loadavg: 2.16 2.12 2.07 3/183 2649
/proc/meminfo: memFree=29267376/32872528 swapFree=13600/559348
[pid=2645] ppid=2642 vsize=1326660 CPUtime=12.68 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1842 0 -1 4202496 272343 0 0 0 1226 42 0 0 20 0 4 0 104122463 1358499840 273664 33554432000 4194304 16246674 140735212123024 140735212104896 13820980 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2645/statm: 331665 273664 891 2943 0 328559 0
[pid=2645/tid=2646] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273664 33554432000 4194304 16246674 140735212123024 140126694911216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273664 33554432000 4194304 16246674 140735212123024 140126684421360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273664 33554432000 4194304 16246674 140735212123024 140126596361392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1326660

[startup+25.5005 s]
/proc/loadavg: 2.12 2.12 2.06 3/183 2894
/proc/meminfo: memFree=29262876/32872528 swapFree=13600/559348
[pid=2645] ppid=2642 vsize=1326660 CPUtime=25.48 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1842 0 -1 4202496 272343 0 0 0 2506 42 0 0 20 0 4 0 104122463 1358499840 273664 33554432000 4194304 16246674 140735212123024 140735212104896 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2645/statm: 331665 273664 891 2943 0 328559 0
[pid=2645/tid=2646] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273664 33554432000 4194304 16246674 140735212123024 140126694911216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273664 33554432000 4194304 16246674 140735212123024 140126684421360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273664 33554432000 4194304 16246674 140735212123024 140126596361392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1326660

[startup+51.1005 s]
/proc/loadavg: 2.08 2.11 2.06 3/183 2894
/proc/meminfo: memFree=29263824/32872528 swapFree=13600/559348
[pid=2645] ppid=2642 vsize=1326660 CPUtime=51.07 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1842 0 -1 4202496 272343 0 0 0 5065 42 0 0 20 0 4 0 104122463 1358499840 273664 33554432000 4194304 16246674 140735212123024 140735212104896 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2645/statm: 331665 273664 891 2943 0 328559 0
[pid=2645/tid=2646] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273664 33554432000 4194304 16246674 140735212123024 140126694911216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273664 33554432000 4194304 16246674 140735212123024 140126684421360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273664 33554432000 4194304 16246674 140735212123024 140126596361392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1326660

[startup+102.301 s]
/proc/loadavg: 2.08 2.10 2.06 3/183 2896
/proc/meminfo: memFree=29262488/32872528 swapFree=13600/559348
[pid=2645] ppid=2642 vsize=1326660 CPUtime=102.26 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1842 0 -1 4202496 272360 0 0 0 10184 42 0 0 20 0 4 0 104122463 1358499840 273667 33554432000 4194304 16246674 140735212123024 140735212104896 12483481 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2645/statm: 331665 273667 891 2943 0 328559 0
[pid=2645/tid=2646] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273667 33554432000 4194304 16246674 140735212123024 140126694911216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273667 33554432000 4194304 16246674 140735212123024 140126684421360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273667 33554432000 4194304 16246674 140735212123024 140126596361392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1326660


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

/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140126596361392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1326660

[startup+1362.3 s]
/proc/loadavg: 2.18 2.12 2.09 3/183 2927
/proc/meminfo: memFree=29189964/32872528 swapFree=13600/559348
[pid=2645] ppid=2642 vsize=1326660 CPUtime=1361.9 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1842 0 -1 4202496 272643 0 0 0 136146 44 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140735212104896 5672936 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2645/statm: 331665 273669 893 2943 0 328559 0
[pid=2645/tid=2646] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140126694911216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140126684421360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140126596361392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1326660

[startup+1422.3 s]
/proc/loadavg: 2.11 2.11 2.09 3/183 2928
/proc/meminfo: memFree=29190144/32872528 swapFree=13600/559348
[pid=2645] ppid=2642 vsize=1326660 CPUtime=1421.9 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1842 0 -1 4202496 272643 0 0 0 142146 44 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140735212104896 5523460 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2645/statm: 331665 273669 893 2943 0 328559 0
[pid=2645/tid=2646] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140126694911216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140126684421360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140126596361392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1326660

[startup+1482.3 s]
/proc/loadavg: 2.04 2.09 2.08 3/183 2929
/proc/meminfo: memFree=29190164/32872528 swapFree=13600/559348
[pid=2645] ppid=2642 vsize=1326660 CPUtime=1481.89 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1842 0 -1 4202496 272643 0 0 0 148144 45 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140735212104896 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2645/statm: 331665 273669 893 2943 0 328559 0
[pid=2645/tid=2646] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140126694911216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140126684421360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140126596361392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1326660

[startup+1542.31 s]
/proc/loadavg: 2.06 2.08 2.08 3/184 2933
/proc/meminfo: memFree=29190232/32872528 swapFree=13600/559348
[pid=2645] ppid=2642 vsize=1326660 CPUtime=1541.88 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1842 0 -1 4202496 272643 0 0 0 154143 45 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140735212104896 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2645/statm: 331665 273669 893 2943 0 328559 0
[pid=2645/tid=2646] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140126694911216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140126684421360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140126596361392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1326660

[startup+1602.3 s]
/proc/loadavg: 2.08 2.08 2.08 3/183 2934
/proc/meminfo: memFree=29190376/32872528 swapFree=13600/559348
[pid=2645] ppid=2642 vsize=1326660 CPUtime=1601.87 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1842 0 -1 4202496 272643 0 0 0 160142 45 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140735212104896 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2645/statm: 331665 273669 893 2943 0 328559 0
[pid=2645/tid=2646] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140126694911216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140126684421360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140126596361392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1326660

[startup+1662.3 s]
/proc/loadavg: 2.10 2.08 2.08 3/183 2936
/proc/meminfo: memFree=29190212/32872528 swapFree=13600/559348
[pid=2645] ppid=2642 vsize=1326660 CPUtime=1661.85 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1842 0 -1 4202496 272643 0 0 0 166140 45 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140735212104896 5661532 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2645/statm: 331665 273669 893 2943 0 328559 0
[pid=2645/tid=2646] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140126694911216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140126684421360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140126596361392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1326660

[startup+1722.3 s]
/proc/loadavg: 2.03 2.06 2.07 3/183 2937
/proc/meminfo: memFree=29190056/32872528 swapFree=13600/559348
[pid=2645] ppid=2642 vsize=1326660 CPUtime=1721.84 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1842 0 -1 4202496 272643 0 0 0 172139 45 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140735212104896 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2645/statm: 331665 273669 893 2943 0 328559 0
[pid=2645/tid=2646] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140126694911216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140126684421360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140126596361392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1326660

[startup+1782.3 s]
/proc/loadavg: 2.14 2.08 2.08 3/183 2938
/proc/meminfo: memFree=29189904/32872528 swapFree=13600/559348
[pid=2645] ppid=2642 vsize=1326660 CPUtime=1781.83 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1842 0 -1 4202496 272643 0 0 0 178138 45 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140735212104896 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2645/statm: 331665 273669 893 2943 0 328559 0
[pid=2645/tid=2646] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140126694911216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140126684421360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140126596361392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1326660



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.10 2.08 2.08 3/183 2938
/proc/meminfo: memFree=29190028/32872528 swapFree=13600/559348
[pid=2645] ppid=2642 vsize=1326660 CPUtime=1800.03 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1842 0 -1 4202496 272643 0 0 0 179958 45 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140735212104896 5661607 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2645/statm: 331665 273669 893 2943 0 328559 0
[pid=2645/tid=2646] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140126694911216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140126684421360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140126596361392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1326660

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

[startup+1800.5 s]
/proc/loadavg: 2.10 2.08 2.08 3/183 2938
/proc/meminfo: memFree=29190028/32872528 swapFree=13600/559348
[pid=2645] ppid=2642 vsize=1326660 CPUtime=1800.03 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1842 0 -1 4202496 272643 0 0 0 179958 45 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140735212104896 5661607 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2645/statm: 331665 273669 893 2943 0 328559 0
[pid=2645/tid=2646] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140126694911216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140126684421360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104122463 1358499840 273669 33554432000 4194304 16246674 140735212123024 140126596361392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1326660

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.59
CPU system time (s): 0.45793
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 1326660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.45793
maximum resident set size= 1094676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272643
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= 317
involuntary context switches= 2041

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.62499 second user time and 8.94464 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-06 16:04:35
IDJOB=4078737
IDBENCH=1479
IDSOLVER=2542
FILE ID=node106/4078737-1465221875
RUNJOBID= node106-1465219870-1859
PBS_JOBID= 19843217
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078737-1465221875/watcher-4078737-1465221875 -o /tmp/evaluation-result-4078737-1465221875/solver-4078737-1465221875 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1465219870-1859 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078737-1465221875.opb

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

MD5SUM BENCH= 939f54a73a83900b8b6d857af47a0b62
RANDOM SEED=710910706

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.775
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:        30360584 kB
Buffers:            9536 kB
Cached:           124128 kB
SwapCached:         1832 kB
Active:          1198832 kB
Inactive:          53172 kB
Active(anon):    1119184 kB
Inactive(anon):     1244 kB
Active(file):      79648 kB
Inactive(file):    51928 kB
Unevictable:      559348 kB
Mlocked:           13600 kB
SwapTotal:      67108856 kB
SwapFree:       67098512 kB
Dirty:             21860 kB
Writeback:             0 kB
AnonPages:       1678248 kB
Mapped:            10308 kB
Shmem:                 0 kB
Slab:             567920 kB
SReclaimable:      11608 kB
SUnreclaim:       556312 kB
KernelStack:        1520 kB
PageTables:         6952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1820548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1658880 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= 71700 MiB
End job on node106 at 2016-06-06 16:34:36