Trace number 4101873

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02UNSAT 214.709 214.742

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-a1c1s1.opb
MD5SUM8e26f63addeab9c605a48fae9909490e
Bench CategoryOPT-SMALLINT (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 benchmark1.44978
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables107520
Total number of constraints3312
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3312
Minimum length of a constraint50
Maximum length of a constraint820
Number of terms in the objective function 41280
Biggest coefficient in the objective function 2704
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 560432
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 261600
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 560432
Number of bits of the biggest sum of numbers20
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-18T07:31:03+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-4101873-1466227863.opb"]
0.00/0.01	c use --random-gen="1990777970 4072385189 617613122 419049261 1410596465 577490788 1426621511 806714922 3140450529 754580812 3297701416 2495508192 3783944974 1388973251 1262435642 4216030358 2999561886 1928135751 2908257070 2749003047 1175233653 3205072213 712029371 2779745660 2855597692 3316939332 3021697637 1766780896 1110569042 3636438963 161239084 2565131893 4259632602 14193623 100969123 2188177476 1477546469 450514776 1380798728 1985685570 2787881438 2027753630 1927805615 2059829262 2053294882 3102986316 2827621655 2612033406 82815251 703788186 3014871031 1158488697 163253776 903201574 2124952228 910916150 1594030699 3872698341 363908295 3704185063 1750859838 1397554913 784117868 3038082105 3462724042 1141978374 1533379419 3938365452 533803694 2695720395 2168682623 2302473852 1857066637 2909670359 2779451468 453188455 3526482720 2934814920 2486593560 805707805 1424949093 3335051099 4035145618 1618343653 2153626088 2051272408 1128148865 563754619 3976563582 3950626187 954362068 651193598 391726739 4036413380 950521908 2892608571 1732754931 1323829071 3353139569 452024122 268749692 4199224865 729516622 843232635 18700284 3699394498 1719616429 1378211324 2625654043 3396835150 1010342211 853035371 1438592081 1863776716 1322678404 3508240956 639165505 4008655415 3801505147 1395488384 1350785146 31765150 286069990 3650557772 3712977744 2619933189 2334065037 1888810217 2174774106 3647631964 69962552 4231079999 2056436997 3220901032 1392036262 3109717967 1483177640 1557768140 3306681806 1036400076 3675979834 1686042786 1123959008 1383889811 2159636432 677325930 1750904238 3147466132 3436298340 3202438456 1761157435 17012028 712106708 3671717213 928020327 1886292481 1714830381 1289224263 1663152348 1392601434 598753857 1872115883 978266234 3335213103 1270098413 254090340 3640873140 3550432837 1184512361 2300776453 1628656999 1061040793 1971831206 4046700518 3184742872 3949892502 2037049691 1433256499 2782485169 2341043307 1452552739 935204970 4189332349 4048715577 3665097133 654716422 3090522405 547022361 3638462053 2427592229 1020845148 705618585 3038952512 4234928596 1135017739 1977839902 2000898930 3879857202 1506022107 3508821761 1090178927 887222709 2506852022 3796672112 454287773 1838755661 2876650059 3237398240 761994938 2143788925 1605772258 1358931907 3134798048 3830967388 531020363 177397188 3668079204 2809185650 1853807384 2884841412 285341593 4097957170 2139007258 2112487667 596769962 1189827693 4087166952 1715623735 3801756426 1844747869 1268745260 1643428835 1050189393 700493793 314755479 152624668 2823562704 1530667328 2157913659 2619629861 2105019993 4279272405 756464918 4251722959 1481424656 148326228 839303608 2972978000 332713342 103874996 4102828501 2169018757 1001023836 3351985919 1478321198 4026009056 255 362436" option to reproduce the execution
0.59/0.62	c #vars 107520
0.59/0.62	c #constraints 3312
4.39/4.46	c BCD2: Hardening is enabled.
4.39/4.46	c BCD2: BiasedSearch is enabled.
4.39/4.46	c Solving starts ...
4.39/4.46	c ============================[ Search Statistics ]============================
4.39/4.46	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.39/4.46	c       |         |          |          |    Limit     GC | Var      | Constra 
4.39/4.46	c =============================================================================
4.39/4.49	c  0.0s |       0 |        0 |        0 |    37360      0 |    27431 |        0
5.79/5.85	c  1.4s |       1 |      310 |      100 |    37360      0 |    27460 |        0
5.89/5.94	c  1.5s |       2 |      542 |      250 |    41096      0 |    27460 |        0
5.99/6.03	c  1.5s |       3 |      792 |      475 |    45206      0 |    27460 |        0
7.98/8.07	c  3.6s |       4 |     3811 |      813 |    49727      0 |    27498 |        0
9.68/9.71	c  5.2s |       5 |     5172 |     1320 |    54700      0 |    27527 |        0
9.89/9.99	c  5.5s |       6 |     5995 |     2081 |    66189      0 |    27527 |        0
10.99/11.02	c  6.5s |       7 |     9113 |     3223 |    72808      0 |    27527 |        0
11.88/11.92	c  7.4s |       8 |    11570 |     4936 |    80089      0 |    27527 |        0
13.88/13.93	c  9.4s |       8 |    17721 |     7036 |    80089      0 |    27527 |        0
14.29/14.36	c  9.9s |       9 |    19930 |     7506 |    88098      0 |    27527 |        0
15.98/16.01	c 11.5s |      10 |    30192 |    11361 |    96908      0 |    27528 |        0
17.98/18.04	c 13.6s |      10 |    38764 |    13461 |    96908      0 |    27531 |        0
20.08/20.14	c 15.7s |      10 |    41584 |    15461 |    96908      0 |    27531 |        0
22.18/22.28	c 17.8s |      10 |    45610 |    16861 |    96908      0 |    27534 |        0
22.88/22.94	c 18.4s |      11 |    46806 |    17144 |   106599      0 |    27534 |        0
24.88/24.94	c 20.5s |      11 |    52301 |    18944 |   106599      0 |    27549 |        0
26.98/27.09	c 22.6s |      11 |    57285 |    20944 |   106599      0 |    27559 |        0
29.08/29.15	c 24.7s |      11 |    60756 |    22044 |   106599      0 |    27559 |        0
31.08/31.19	c 26.7s |      11 |    64572 |    23144 |   106599      0 |    27559 |        0
33.28/33.32	c 28.8s |      11 |    68538 |    24244 |   106599      0 |    27559 |        0
35.38/35.42	c 30.9s |      11 |    72055 |    25344 |   106599      0 |    27559 |        0
36.08/36.14	c 31.7s |      12 |    75476 |    25819 |   117259      0 |    27560 |        0
38.08/38.18	c 33.7s |      12 |    79534 |    27219 |   117259      0 |    27560 |        0
40.18/40.23	c 35.7s |      12 |    82166 |    29319 |   117259      0 |    27560 |        0
42.28/42.33	c 37.8s |      12 |    85414 |    31219 |   117259      0 |    27560 |        0
44.38/44.41	c 39.9s |      12 |    87952 |    32919 |   117259      0 |    27560 |        0
46.38/46.45	c 42.0s |      12 |    90041 |    34719 |   117259      0 |    27560 |        0
48.49/48.54	c 44.0s |      12 |    92154 |    36319 |   117259      0 |    27560 |        0
50.48/50.60	c 46.1s |      12 |    94190 |    37819 |   117259      0 |    27560 |        0
51.98/52.09	c 47.6s |      13 |    95592 |    38832 |   128985      0 |    27560 |        0
55.98/56.02	c 51.5s |      13 |   100559 |    39232 |   128985      0 |    27586 |        0
57.98/58.03	c 53.5s |      13 |   110216 |    47532 |   128985      0 |    27586 |        0
59.98/60.06	c 55.6s |      13 |   115945 |    52432 |   128985      0 |    27586 |        0
61.98/62.07	c 57.6s |      13 |   120484 |    56332 |   128985      0 |    27586 |        0
62.89/62.98	c 58.5s |      14 |   124448 |    58352 |   141884      0 |    27586 |        0
64.89/65.00	c 60.5s |      14 |   131941 |    64752 |   141884      0 |    27586 |        0
66.98/67.04	c 62.6s |      14 |   137599 |    69952 |   141884      0 |    27586 |        0
68.98/69.07	c 64.6s |      14 |   141657 |    73852 |   141884      0 |    27586 |        0
71.08/71.10	c 66.6s |      14 |   145800 |    77352 |   141884      0 |    27587 |        0
73.08/73.12	c 68.6s |      14 |   149958 |    80852 |   141884      0 |    27587 |        0
75.08/75.16	c 70.7s |      14 |   151767 |    82552 |   141884      0 |    27587 |        0
77.18/77.21	c 72.7s |      14 |   154060 |    84752 |   141884      0 |    27587 |        0
79.19/79.28	c 74.8s |      14 |   156140 |    86752 |   141884      0 |    27587 |        0
79.98/80.08	c 75.6s |      15 |   157033 |    87632 |   156073      0 |    27587 |        0
82.08/82.16	c 77.7s |      15 |   162394 |    89732 |   156073      0 |    27587 |        0
84.08/84.19	c 79.7s |      15 |   166286 |    91732 |   156073      0 |    27587 |        0
86.08/86.19	c 81.7s |      15 |   170368 |    94632 |   156073      0 |    27587 |        0
88.18/88.26	c 83.8s |      15 |   174076 |    97032 |   156073      0 |    27587 |        0
90.29/90.38	c 85.9s |      15 |   180506 |    99332 |   156073      0 |    27587 |        0
92.39/92.45	c 88.0s |      15 |   186406 |   101432 |   156073      0 |    27587 |        0
94.38/94.46	c 90.0s |      15 |   194031 |   104032 |   156073      0 |    27587 |        0
96.38/96.48	c 92.0s |      15 |   199277 |   106032 |   156073      0 |    27587 |        0
98.48/98.50	c 94.0s |      15 |   203246 |   107932 |   156073      0 |    27587 |        0
100.48/100.56	c 96.1s |      15 |   206163 |   110032 |   156073      0 |    27587 |        0
102.58/102.61	c 98.1s |      15 |   210048 |   112032 |   156073      0 |    27587 |        0
104.58/104.69	c  100s |      15 |   213486 |   113932 |   156073      0 |    27587 |        0
106.78/106.81	c  102s |      15 |   215697 |   115332 |   156073      0 |    27587 |        0
108.78/108.85	c  104s |      15 |   218473 |   116532 |   156073      0 |    27587 |        0
110.78/110.89	c  106s |      15 |   221623 |   117832 |   156073      0 |    27587 |        0
112.88/112.97	c  108s |      15 |   224571 |   119232 |   156073      0 |    27587 |        0
114.88/115.00	c  110s |      15 |   227533 |   120532 |   156073      0 |    27587 |        0
117.08/117.15	c  112s |      15 |   230345 |   121832 |   156073      0 |    27587 |        0
119.17/119.22	c  114s |      15 |   232839 |   123132 |   156073      0 |    27587 |        0
121.17/121.26	c  116s |      15 |   235255 |   124332 |   156073      0 |    27587 |        0
123.28/123.32	c  118s |      15 |   238346 |   125632 |   156073      0 |    27587 |        0
125.48/125.50	c  121s |      15 |   240908 |   126832 |   156073      0 |    27587 |        0
127.58/127.64	c  123s |      15 |   242878 |   127732 |   156073      0 |    27593 |        0
129.57/129.65	c  125s |      15 |   244226 |   128532 |   156073      0 |    27593 |        0
131.67/131.70	c  127s |      15 |   247757 |   129532 |   156073      0 |    27593 |        0
133.67/133.71	c  129s |      15 |   251171 |   130632 |   156073      0 |    27593 |        0
138.68/138.76	c  134s |      16 |   255866 |   131552 |   171681      0 |    27633 |        0
140.67/140.78	c  136s |      16 |   259835 |   135152 |   171681      0 |    27633 |        0
142.77/142.81	c  138s |      16 |   264267 |   138952 |   171681      0 |    27634 |        0
144.87/144.93	c  140s |      16 |   266892 |   140452 |   171681      0 |    27636 |        0
146.97/147.10	c  142s |      16 |   268964 |   141252 |   171681      0 |    27636 |        0
149.17/149.25	c  144s |      16 |   271850 |   142152 |   171681      0 |    27636 |        0
151.27/151.36	c  146s |      16 |   274654 |   142852 |   171681      0 |    27636 |        0
153.37/153.40	c  148s |      16 |   277365 |   143552 |   171681      0 |    27636 |        0
155.37/155.46	c  150s |      16 |   279556 |   144152 |   171681      0 |    27636 |        0
157.47/157.54	c  153s |      16 |   282040 |   144852 |   171681      0 |    27636 |        0
159.57/159.64	c  155s |      16 |   285180 |   145652 |   171681      0 |    27636 |        0
161.57/161.64	c  157s |      16 |   287435 |   146252 |   171681      0 |    27636 |        0
163.57/163.69	c  159s |      16 |   289307 |   146852 |   171681      0 |    27636 |        0
165.77/165.82	c  161s |      16 |   291619 |   147452 |   171681      0 |    27636 |        0
167.77/167.83	c  163s |      16 |   293507 |   148052 |   171681      0 |    27636 |        0
169.97/170.03	c  165s |      16 |   296280 |   148752 |   171681      0 |    27636 |        0
172.17/172.26	c  167s |      16 |   299163 |   149452 |   171681      0 |    27636 |        0
174.27/174.34	c  169s |      16 |   301450 |   150052 |   171681      0 |    27636 |        0
176.57/176.64	c  172s |      16 |   304207 |   150752 |   171681      0 |    27636 |        0
178.76/178.87	c  174s |      16 |   306975 |   151452 |   171681      0 |    27636 |        0
180.86/180.99	c  176s |      16 |   309266 |   152052 |   171681      0 |    27636 |        0
182.96/183.05	c  178s |      16 |   311312 |   152552 |   171681      0 |    27636 |        0
185.26/185.30	c  180s |      16 |   313736 |   153252 |   171681      0 |    27636 |        0
187.46/187.58	c  183s |      16 |   315821 |   153852 |   171681      0 |    27636 |        0
189.66/189.77	c  185s |      16 |   318325 |   154552 |   171681      0 |    27636 |        0
191.86/191.91	c  187s |      16 |   320222 |   155152 |   171681      0 |    27636 |        0
193.96/194.07	c  189s |      16 |   322456 |   155752 |   171681      0 |    27636 |        0
196.16/196.27	c  191s |      16 |   324280 |   156352 |   171681      0 |    27636 |        0
198.46/198.51	c  194s |      16 |   325960 |   156952 |   171681      0 |    27636 |        0
200.76/200.87	c  196s |      16 |   327770 |   157552 |   171681      0 |    27636 |        0
203.26/203.35	c  198s |      16 |   329151 |   158152 |   171681      0 |    27636 |        0
205.26/205.35	c  200s |      16 |   330610 |   158652 |   171681      0 |    27636 |        0
207.56/207.64	c  203s |      16 |   332893 |   159252 |   171681      0 |    27636 |        0
209.66/209.78	c  205s |      16 |   335642 |   159952 |   171681      0 |    27636 |        0
211.76/211.86	c  207s |      16 |   341819 |   160852 |   171681      0 |    27636 |        0
214.16/214.27	c  209s |      16 |   345368 |   161530 |   171681      0 |    29867 |        0
214.16/214.27	c #cpu_time = 209.237s
214.16/214.27	c #wall_clock_time = 209.783s
214.16/214.27	c #decision = 345368
214.16/214.27	c #random_decision = 1273
214.16/214.27	c #conflict = 161530
214.16/214.27	c #restart = 16
214.57/214.67	s UNSATISFIABLE
214.57/214.67	c total CPU time = 214.115s
214.57/214.67	c total wall clock time = 214.674s

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

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

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


[startup+0 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 26552
/proc/meminfo: memFree=30639368/32872528 swapFree=7780/7780
[pid=26552] ppid=26549 vsize=774588 CPUtime=0 cores=0,2,4,6
/proc/26552/stat : 26552 (toysat) R 26549 26552 23276 0 -1 4202496 2898 0 0 0 0 0 0 0 20 0 4 0 24831116 793178112 3259 33554432000 4194304 16246674 140734194829632 140734194829056 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26552/statm: 194159 3267 441 2943 0 191053 0
[pid=26552/tid=26553] ppid=26549 vsize=795068 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24831116 814149632 3339 33554432000 4194304 16246674 140734194829632 139876501531888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26552/tid=26554] ppid=26549 vsize=800188 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24831116 819392512 3357 33554432000 4194304 16246674 140734194829632 139876414500080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26552/tid=26555] ppid=26549 vsize=804284 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24831116 823586816 3375 33554432000 4194304 16246674 140734194829632 139876404026544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 26552
/proc/meminfo: memFree=30639368/32872528 swapFree=7780/7780
[pid=26552] ppid=26549 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/26552/stat : 26552 (toysat) R 26549 26552 23276 0 -1 4202496 28240 0 0 0 5 4 0 0 20 0 4 0 24831116 1332285440 28540 33554432000 4194304 16246674 140734194829632 140734194828944 7853005 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26552/statm: 325265 28557 797 2943 0 322159 0
[pid=26552/tid=26553] ppid=26549 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24831116 1332285440 28567 33554432000 4194304 16246674 140734194829632 139876501531888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26552/tid=26554] ppid=26549 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24831116 1332285440 28579 33554432000 4194304 16246674 140734194829632 139876414500080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26552/tid=26555] ppid=26549 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24831116 1332285440 28590 33554432000 4194304 16246674 140734194829632 139876404026544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200515 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 26552
/proc/meminfo: memFree=30639368/32872528 swapFree=7780/7780
[pid=26552] ppid=26549 vsize=1310276 CPUtime=0.19 cores=0,2,4,6
/proc/26552/stat : 26552 (toysat) R 26549 26552 23276 0 -1 4202496 45464 0 0 0 13 6 0 0 20 0 4 0 24831116 1341722624 46274 33554432000 4194304 16246674 140734194829632 140734194828944 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26552/statm: 327569 46274 801 2943 0 324463 0
[pid=26552/tid=26553] ppid=26549 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24831116 1341722624 46274 33554432000 4194304 16246674 140734194829632 139876501531888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26552/tid=26554] ppid=26549 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24831116 1341722624 46274 33554432000 4194304 16246674 140734194829632 139876414500080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26552/tid=26555] ppid=26549 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24831116 1341722624 46274 33554432000 4194304 16246674 140734194829632 139876404026544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1310276

[startup+0.300485 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 26552
/proc/meminfo: memFree=30639368/32872528 swapFree=7780/7780
[pid=26552] ppid=26549 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/26552/stat : 26552 (toysat) R 26549 26552 23276 0 -1 4202496 54758 0 0 0 22 7 0 0 20 0 4 0 24831116 1343819776 55568 33554432000 4194304 16246674 140734194829632 140734194828944 8055538 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26552/statm: 328081 55568 801 2943 0 324975 0
[pid=26552/tid=26553] ppid=26549 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24831116 1343819776 55569 33554432000 4194304 16246674 140734194829632 139876501531888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26552/tid=26554] ppid=26549 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24831116 1343819776 55569 33554432000 4194304 16246674 140734194829632 139876414500080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26552/tid=26555] ppid=26549 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24831116 1343819776 55569 33554432000 4194304 16246674 140734194829632 139876404026544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700408 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 26552
/proc/meminfo: memFree=30639368/32872528 swapFree=7780/7780
[pid=26552] ppid=26549 vsize=1331780 CPUtime=0.69 cores=0,2,4,6
/proc/26552/stat : 26552 (toysat) R 26549 26552 23276 0 -1 4202496 64794 0 0 0 60 9 0 0 20 0 4 0 24831116 1363742720 65605 33554432000 4194304 16246674 140734194829632 140734194827456 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26552/statm: 332945 65611 813 2943 0 329839 0
[pid=26552/tid=26553] ppid=26549 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24831116 1363742720 65614 33554432000 4194304 16246674 140734194829632 139876501531888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26552/tid=26554] ppid=26549 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24831116 1363742720 65617 33554432000 4194304 16246674 140734194829632 139876414500080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26552/tid=26555] ppid=26549 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24831116 1363742720 65621 33554432000 4194304 16246674 140734194829632 139876404026544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1331780

[startup+1.5004 s]
/proc/loadavg: 2.04 2.02 2.00 3/182 26556
/proc/meminfo: memFree=29920528/32872528 swapFree=7780/7780
[pid=26552] ppid=26549 vsize=1357380 CPUtime=1.49 cores=0,2,4,6
/proc/26552/stat : 26552 (toysat) R 26549 26552 23276 0 -1 4202496 279959 0 0 0 112 37 0 0 20 0 4 0 24831116 1389957120 280769 33554432000 4194304 16246674 140734194829632 140734194827456 12654373 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26552/statm: 339345 280769 836 2943 0 336239 0
[pid=26552/tid=26553] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280769 33554432000 4194304 16246674 140734194829632 139876501531888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26552/tid=26554] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280769 33554432000 4194304 16246674 140734194829632 139876414500080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26552/tid=26555] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280769 33554432000 4194304 16246674 140734194829632 139876404026544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1357380

[startup+3.1004 s]
/proc/loadavg: 2.04 2.02 2.00 3/182 26556
/proc/meminfo: memFree=29516536/32872528 swapFree=7780/7780
[pid=26552] ppid=26549 vsize=1357380 CPUtime=3.09 cores=0,2,4,6
/proc/26552/stat : 26552 (toysat) R 26549 26552 23276 0 -1 4202496 279967 0 0 0 272 37 0 0 20 0 4 0 24831116 1389957120 280777 33554432000 4194304 16246674 140734194829632 140734194811520 12429087 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26552/statm: 339345 280777 837 2943 0 336239 0
[pid=26552/tid=26553] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280777 33554432000 4194304 16246674 140734194829632 139876501531888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26552/tid=26554] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280777 33554432000 4194304 16246674 140734194829632 139876414500080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26552/tid=26555] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280777 33554432000 4194304 16246674 140734194829632 139876404026544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1357380

[startup+6.3004 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 26557
/proc/meminfo: memFree=29516536/32872528 swapFree=7780/7780
[pid=26552] ppid=26549 vsize=1357380 CPUtime=6.29 cores=0,2,4,6
/proc/26552/stat : 26552 (toysat) R 26549 26552 23276 0 -1 4202496 280021 0 0 0 592 37 0 0 20 0 4 0 24831116 1389957120 280831 33554432000 4194304 16246674 140734194829632 140734194811520 5813672 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26552/statm: 339345 280831 891 2943 0 336239 0
[pid=26552/tid=26553] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280831 33554432000 4194304 16246674 140734194829632 139876501531888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26552/tid=26554] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280831 33554432000 4194304 16246674 140734194829632 139876414500080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26552/tid=26555] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280831 33554432000 4194304 16246674 140734194829632 139876404026544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1357380

[startup+12.7004 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 26557
/proc/meminfo: memFree=29516420/32872528 swapFree=7780/7780
[pid=26552] ppid=26549 vsize=1357380 CPUtime=12.68 cores=0,2,4,6
/proc/26552/stat : 26552 (toysat) R 26549 26552 23276 0 -1 4202496 280024 0 0 0 1231 37 0 0 20 0 4 0 24831116 1389957120 280834 33554432000 4194304 16246674 140734194829632 140734194811520 13943604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26552/statm: 339345 280834 894 2943 0 336239 0
[pid=26552/tid=26553] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280834 33554432000 4194304 16246674 140734194829632 139876501531888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26552/tid=26554] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280834 33554432000 4194304 16246674 140734194829632 139876414500080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26552/tid=26555] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280834 33554432000 4194304 16246674 140734194829632 139876404026544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1357380

[startup+25.5005 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 26557
/proc/meminfo: memFree=29516936/32872528 swapFree=7780/7780
[pid=26552] ppid=26549 vsize=1357380 CPUtime=25.48 cores=0,2,4,6
/proc/26552/stat : 26552 (toysat) R 26549 26552 23276 0 -1 4202496 280028 0 0 0 2511 37 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 140734194811520 6862302 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26552/statm: 339345 280838 897 2943 0 336239 0
[pid=26552/tid=26553] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 139876501531888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26552/tid=26554] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 139876414500080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26552/tid=26555] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 139876404026544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1357380

[startup+51.1005 s]
/proc/loadavg: 2.08 2.03 2.00 3/183 26557
/proc/meminfo: memFree=29515352/32872528 swapFree=7780/7780
[pid=26552] ppid=26549 vsize=1357380 CPUtime=51.08 cores=0,2,4,6
/proc/26552/stat : 26552 (toysat) R 26549 26552 23276 0 -1 4202496 280028 0 0 0 5071 37 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 140734194811520 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26552/statm: 339345 280838 897 2943 0 336239 0
[pid=26552/tid=26553] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 139876501531888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26552/tid=26554] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 139876414500080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26552/tid=26555] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 139876404026544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1357380

[startup+102.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 26558
/proc/meminfo: memFree=29515028/32872528 swapFree=7780/7780
[pid=26552] ppid=26549 vsize=1357380 CPUtime=102.28 cores=0,2,4,6
/proc/26552/stat : 26552 (toysat) R 26549 26552 23276 0 -1 4202496 280028 0 0 0 10190 38 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 140734194811520 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26552/statm: 339345 280838 897 2943 0 336239 0
[pid=26552/tid=26553] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 139876501531888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26552/tid=26554] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 139876414500080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26552/tid=26555] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 139876404026544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1357380

[startup+162.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/183 26559
/proc/meminfo: memFree=29515052/32872528 swapFree=7780/7780
[pid=26552] ppid=26549 vsize=1357380 CPUtime=162.27 cores=0,2,4,6
/proc/26552/stat : 26552 (toysat) R 26549 26552 23276 0 -1 4202496 280028 0 0 0 16189 38 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 140734194811520 5822286 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26552/statm: 339345 280838 897 2943 0 336239 0
[pid=26552/tid=26553] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 139876501531888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26552/tid=26554] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 139876414500080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26552/tid=26555] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 139876404026544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1357380

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 26552 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+179.2 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 26559
/proc/meminfo: memFree=29515288/32872528 swapFree=7780/7780
[pid=26552] ppid=26549 vsize=1357380 CPUtime=179.16 cores=0,2,4,6
/proc/26552/stat : 26552 (toysat) R 26549 26552 23276 0 -1 4202496 280028 0 0 0 17878 38 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 140734194811520 5600331 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26552/statm: 339345 280838 897 2943 0 336239 0
[pid=26552/tid=26553] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 139876501531888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26552/tid=26554] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 139876414500080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26552/tid=26555] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 139876404026544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 179.16
Current children cumulated vsize (KiB) 1357380

[startup+192 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 26560
/proc/meminfo: memFree=29514276/32872528 swapFree=7780/7780
[pid=26552] ppid=26549 vsize=1357380 CPUtime=191.96 cores=0,2,4,6
/proc/26552/stat : 26552 (toysat) R 26549 26552 23276 0 -1 4202496 280028 0 0 0 19158 38 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 140734194811520 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26552/statm: 339345 280838 897 2943 0 336239 0
[pid=26552/tid=26553] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 139876501531888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26552/tid=26554] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 139876414500080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26552/tid=26555] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 139876404026544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 191.96
Current children cumulated vsize (KiB) 1357380

[startup+204.8 s]
/proc/loadavg: 2.10 2.04 2.00 3/183 26560
/proc/meminfo: memFree=29514756/32872528 swapFree=7780/7780
[pid=26552] ppid=26549 vsize=1357380 CPUtime=204.76 cores=0,2,4,6
/proc/26552/stat : 26552 (toysat) R 26549 26552 23276 0 -1 4202496 280028 0 0 0 20438 38 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 140734194811520 5711369 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26552/statm: 339345 280838 897 2943 0 336239 0
[pid=26552/tid=26553] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 139876501531888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26552/tid=26554] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 139876414500080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26552/tid=26555] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 139876404026544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 204.76
Current children cumulated vsize (KiB) 1357380

[startup+211.2 s]
/proc/loadavg: 2.09 2.04 2.00 3/183 26560
/proc/meminfo: memFree=29514740/32872528 swapFree=7780/7780
[pid=26552] ppid=26549 vsize=1357380 CPUtime=211.17 cores=0,2,4,6
/proc/26552/stat : 26552 (toysat) R 26549 26552 23276 0 -1 4202496 280028 0 0 0 21079 38 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 140734194811520 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26552/statm: 339345 280838 897 2943 0 336239 0
[pid=26552/tid=26553] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 139876501531888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26552/tid=26554] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 139876414500080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26552/tid=26555] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 139876404026544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 211.17
Current children cumulated vsize (KiB) 1357380

[startup+212.8 s]
/proc/loadavg: 2.09 2.04 2.00 3/183 26560
/proc/meminfo: memFree=29514740/32872528 swapFree=7780/7780
[pid=26552] ppid=26549 vsize=1357380 CPUtime=212.76 cores=0,2,4,6
/proc/26552/stat : 26552 (toysat) R 26549 26552 23276 0 -1 4202496 280028 0 0 0 21238 38 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 140734194811520 5600312 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26552/statm: 339345 280838 897 2943 0 336239 0
[pid=26552/tid=26553] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 139876501531888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26552/tid=26554] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 139876414500080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26552/tid=26555] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 139876404026544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 212.76
Current children cumulated vsize (KiB) 1357380

[startup+213.6 s]
/proc/loadavg: 2.09 2.04 2.00 3/183 26560
/proc/meminfo: memFree=29514988/32872528 swapFree=7780/7780
[pid=26552] ppid=26549 vsize=1357380 CPUtime=213.56 cores=0,2,4,6
/proc/26552/stat : 26552 (toysat) R 26549 26552 23276 0 -1 4202496 280028 0 0 0 21318 38 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 140734194811520 5532293 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26552/statm: 339345 280838 897 2943 0 336239 0
[pid=26552/tid=26553] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 139876501531888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26552/tid=26554] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 139876414500080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26552/tid=26555] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280838 33554432000 4194304 16246674 140734194829632 139876404026544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 213.56
Current children cumulated vsize (KiB) 1357380

[startup+214.4 s]
/proc/loadavg: 2.09 2.04 2.00 3/183 26560
/proc/meminfo: memFree=29514988/32872528 swapFree=7780/7780
[pid=26552] ppid=26549 vsize=1357380 CPUtime=214.36 cores=0,2,4,6
/proc/26552/stat : 26552 (toysat) R 26549 26552 23276 0 -1 4202496 280030 0 0 0 21398 38 0 0 20 0 4 0 24831116 1389957120 280840 33554432000 4194304 16246674 140734194829632 140734194811520 4225320 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26552/statm: 339345 280840 899 2943 0 336239 0
[pid=26552/tid=26553] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280840 33554432000 4194304 16246674 140734194829632 139876501531888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26552/tid=26554] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280840 33554432000 4194304 16246674 140734194829632 139876414500080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26552/tid=26555] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280840 33554432000 4194304 16246674 140734194829632 139876404026544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 214.36
Current children cumulated vsize (KiB) 1357380

[startup+214.607 s]
/proc/loadavg: 2.08 2.04 2.00 3/183 26560
/proc/meminfo: memFree=29514988/32872528 swapFree=7780/7780
[pid=26552] ppid=26549 vsize=1357380 CPUtime=214.57 cores=0,2,4,6
/proc/26552/stat : 26552 (toysat) R 26549 26552 23276 0 -1 4202496 280030 0 0 0 21419 38 0 0 20 0 4 0 24831116 1389957120 280840 33554432000 4194304 16246674 140734194829632 140734194827456 4222192 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26552/statm: 339345 280840 899 2943 0 336239 0
[pid=26552/tid=26553] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26553/stat : 26553 (toysat) S 26549 26552 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280840 33554432000 4194304 16246674 140734194829632 139876501531888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26552/tid=26554] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26554/stat : 26554 (toysat) S 26549 26552 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280840 33554432000 4194304 16246674 140734194829632 139876414500080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26552/tid=26555] ppid=26549 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/26552/task/26555/stat : 26555 (toysat) S 26549 26552 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24831116 1389957120 280840 33554432000 4194304 16246674 140734194829632 139876404026544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 214.57
Current children cumulated vsize (KiB) 1357380

[startup+214.7 s]
/proc/loadavg: 2.08 2.04 2.00 3/183 26560
/proc/meminfo: memFree=29514988/32872528 swapFree=7780/7780
[pid=26552] ppid=26549 vsize=0 CPUtime=214.66 cores=0,2,4,6
/proc/26552/stat : 26552 (toysat) R 26549 26552 23276 0 -1 4202500 280033 0 0 0 21426 40 0 0 20 0 1 0 24831116 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26552/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 214.66
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 214.742
CPU time (s): 214.709
CPU user time (s): 214.263
CPU system time (s): 0.445932
CPU usage (%): 99.9848
Max. virtual memory (cumulated for all children) (KiB): 1357380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 214.263
system time used= 0.445932
maximum resident set size= 1123368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280033
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= 25
involuntary context switches= 227

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.546916 second user time and 0.829873 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-18 07:31:03
IDJOB=4101873
IDBENCH=1805
IDSOLVER=2542
FILE ID=node151/4101873-1466227863
RUNJOBID= node151-1466206051-23292
PBS_JOBID= 19918135
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-a1c1s1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101873-1466227863/watcher-4101873-1466227863 -o /tmp/evaluation-result-4101873-1466227863/solver-4101873-1466227863 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466206051-23292 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101873-1466227863.opb

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

MD5SUM BENCH= 8e26f63addeab9c605a48fae9909490e
RANDOM SEED=1820437475

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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:        30639548 kB
Buffers:          110084 kB
Cached:           265524 kB
SwapCached:         1996 kB
Active:          1217528 kB
Inactive:         271156 kB
Active(anon):    1113236 kB
Inactive(anon):     1788 kB
Active(file):     104292 kB
Inactive(file):   269368 kB
Unevictable:        7780 kB
Mlocked:            7780 kB
SwapTotal:      67108856 kB
SwapFree:       67099228 kB
Dirty:             19848 kB
Writeback:             0 kB
AnonPages:       1119048 kB
Mapped:            11780 kB
Shmem:                 0 kB
Slab:             604616 kB
SReclaimable:      48012 kB
SUnreclaim:       556604 kB
KernelStack:        1488 kB
PageTables:         5996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1263076 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 71712 MiB
End job on node151 at 2016-06-18 07:34:38