Trace number 4096407

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-02UNSAT 234.724 234.762

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/
SyncCodes/d_n_k/normalized-5_6_22.opb
MD5SUM45bcceaf984200834dfd0de1cafff921
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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 benchmark7.66183
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables756
Total number of constraints3542
Number of constraints which are clauses3537
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint27
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 22
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 49
Number of bits of the biggest sum of numbers6
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-17T00:01:14+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-4096407-1466114474.opb"]
0.00/0.01	c use --random-gen="1251342294 1989212496 206747875 4287114959 1013032200 2554077128 1961987661 1536158078 3408628221 2937526779 2346398208 3160647725 1109587872 4140798634 3610690428 1063751564 423474668 3623067225 1921585652 678328945 257435894 340127242 494183258 3354518880 1840468727 446361085 2540110902 408536535 2395495842 393211129 2633393169 700085933 2484662676 2993881744 882540772 1081712974 3696970547 3065346184 2985229913 3749747407 3268450539 394017014 4292509920 3135087603 4039293956 928454309 3977139637 278144256 1551024495 4107378084 1094872201 3677948892 1834834282 3974469938 2282877633 3961451812 1054455468 2966539241 1307576098 383716279 741248599 3557621614 4213874222 2644272259 3573791530 3003647316 1088154294 1840595587 1473762984 1513799090 1758190025 4019341720 1327182016 2703268104 3452199405 3144407468 1628529548 3675292159 1764203488 269109267 2030939166 945214368 1504406647 4259203713 1533030396 2674841439 140704319 910721053 1637129608 179980750 2217610684 2175567143 3844644420 2548939484 4274339072 905082906 1890119754 1604595642 2985459183 3763787125 1664944374 2093117490 3189936744 1174289790 2354785614 117856623 1236403958 2085684926 2863530590 384622080 2600753052 822156343 717157322 4110384258 2100668400 2169417147 1441241203 23149189 1336417032 2938000455 2920674074 2495494411 3739413504 160179512 3962129776 2801682703 352746975 1487873433 1367877687 3120420934 1096950178 4280278670 1040874500 3745788493 3605861920 234041107 4011745921 1315155364 1523100566 2460898033 873660153 1394902216 3925533362 1421730327 3181330763 2679449002 2412775171 2056055511 1988937002 2389834936 3128669373 2880320620 1704692510 3752851582 2519727367 2061937427 657412520 886604028 746907992 3645838249 3526733192 2817063417 1247845228 1716021967 3156339874 4099883439 1812312350 505395738 3999728147 791454496 501373878 698709187 3689444017 3854406663 2128858788 3970536005 1414448151 1166283363 3843631892 791749282 155180800 2532819157 2636197450 4278578911 3482120837 2636581394 1506204513 2409158392 1986871835 2376058441 634993388 4092805942 4067677773 2937630853 1920765993 495832878 1302889229 4051972372 1645177383 1406867018 361077650 1842408517 3401955377 821809964 933298581 899924714 1708611235 3901507143 3225242274 1865419968 387814869 642815000 2170365556 1348552463 3107658220 1376011378 804018804 912845620 1862357906 4292111207 1057370515 3053209467 2849310744 866603781 3138416168 1126094916 1523382847 2402978884 1422443565 1491569888 3643938572 4063006453 1055356515 695211549 1606343476 737883827 3352999870 2183798383 3945776887 688596483 775372528 562919163 2693087597 4086697428 2479838654 2012562943 1569699018 3211369102 1610866335 3297076835 4035634591 1527050820 2844852122 2195322354 2052134371 3185337257 255 362436" option to reproduce the execution
0.00/0.04	c #vars 756
0.00/0.04	c #constraints 3542
0.08/0.10	c Solving starts ...
0.08/0.10	c ============================[ Search Statistics ]============================
0.08/0.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.10	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.10	c =============================================================================
0.08/0.10	c  0.0s |       0 |        0 |        0 |     1431      0 |        5 |        0
0.08/0.13	c  0.0s |       1 |      134 |      100 |     1431      0 |        5 |      214
0.08/0.19	c  0.1s |       2 |      322 |      250 |     1575      0 |        5 |      214
0.19/0.28	c  0.2s |       3 |      618 |      475 |     1733      0 |        5 |      214
0.39/0.41	c  0.3s |       4 |     1026 |      813 |     1907      0 |        5 |      214
0.59/0.63	c  0.5s |       5 |     1651 |     1320 |     2098      0 |        5 |      214
0.99/1.01	c  0.9s |       6 |     2544 |     2081 |     2539      0 |        5 |      214
1.38/1.49	c  1.4s |       7 |     3878 |     3223 |     2793      1 |        5 |      214
1.98/2.06	c  2.0s |       8 |     5754 |     4936 |     3073      2 |        5 |      214
2.79/2.87	c  2.8s |       9 |     8760 |     7506 |     3381      3 |        5 |      214
4.08/4.10	c  4.0s |      10 |    13159 |    11361 |     3720      5 |        5 |      214
5.99/6.06	c  6.0s |      11 |    19723 |    17144 |     4093      8 |        5 |      214
7.99/8.08	c  8.0s |      11 |    26001 |    22744 |     4093     11 |        5 |      214
9.09/9.12	c  9.0s |      12 |    29492 |    25819 |     4503     12 |        5 |      214
11.10/11.15	c 11.1s |      12 |    35778 |    31419 |     4503     15 |        5 |      214
13.09/13.16	c 13.1s |      12 |    41986 |    36919 |     4503     17 |        5 |      214
13.79/13.86	c 13.8s |      13 |    44093 |    38832 |     4954     18 |        5 |      214
15.79/15.88	c 15.8s |      13 |    49940 |    44132 |     4954     20 |        5 |      214
17.89/17.90	c 17.8s |      13 |    56244 |    49832 |     4954     22 |        5 |      214
19.89/19.92	c 19.8s |      13 |    61999 |    55032 |     4954     24 |        5 |      214
21.09/21.19	c 21.1s |      14 |    65562 |    58352 |     5450     25 |        5 |      214
23.19/23.24	c 23.1s |      14 |    70298 |    62752 |     5450     27 |        5 |      214
25.18/25.27	c 25.2s |      14 |    75466 |    67552 |     5450     28 |        5 |      214
27.18/27.29	c 27.2s |      14 |    80547 |    72252 |     5450     30 |        5 |      214
29.28/29.30	c 29.2s |      14 |    85777 |    77052 |     5450     32 |        5 |      214
31.28/31.32	c 31.2s |      14 |    91013 |    81952 |     5450     34 |        5 |      214
33.28/33.34	c 33.2s |      14 |    96044 |    86652 |     5450     35 |        5 |      214
33.78/33.80	c 33.7s |      15 |    97069 |    87632 |     5996     35 |        5 |      214
35.78/35.80	c 35.7s |      15 |   102017 |    92132 |     5996     37 |        5 |      214
37.78/37.81	c 37.7s |      15 |   106936 |    96632 |     5996     38 |        5 |      214
39.79/39.84	c 39.7s |      15 |   111527 |   100932 |     5996     40 |        5 |      214
41.79/41.87	c 41.8s |      15 |   117073 |   105932 |     5996     41 |        5 |      214
43.88/43.91	c 43.8s |      15 |   122523 |   110932 |     5996     43 |        5 |      214
45.88/45.94	c 45.8s |      15 |   127935 |   115932 |     5996     45 |        5 |      214
47.88/47.95	c 47.9s |      15 |   132883 |   120432 |     5996     46 |        5 |      214
49.98/50.01	c 49.9s |      15 |   138074 |   125132 |     5996     48 |        5 |      214
51.98/52.06	c 52.0s |      15 |   143673 |   130232 |     5996     49 |        5 |      214
52.58/52.67	c 52.6s |      16 |   145090 |   131552 |     6596     50 |        5 |      214
54.68/54.70	c 54.6s |      16 |   150266 |   136252 |     6596     51 |        5 |      214
56.68/56.74	c 56.6s |      16 |   155600 |   140952 |     6596     52 |        5 |      214
58.68/58.78	c 58.7s |      16 |   160973 |   145852 |     6596     54 |        5 |      214
60.67/60.78	c 60.7s |      16 |   166211 |   150652 |     6596     55 |        5 |      214
62.68/62.79	c 62.7s |      16 |   170628 |   154752 |     6596     56 |        5 |      214
64.77/64.80	c 64.7s |      16 |   175575 |   159352 |     6596     58 |        5 |      214
66.77/66.85	c 66.7s |      16 |   180240 |   163752 |     6596     59 |        5 |      214
68.77/68.89	c 68.8s |      16 |   184638 |   167952 |     6596     60 |        5 |      214
70.87/70.92	c 70.8s |      16 |   189197 |   172152 |     6596     62 |        5 |      214
72.87/72.94	c 72.8s |      16 |   194301 |   176852 |     6596     63 |        5 |      214
74.88/74.96	c 74.9s |      16 |   198828 |   181052 |     6596     64 |        5 |      214
76.87/76.98	c 76.9s |      16 |   203590 |   185452 |     6596     66 |        5 |      214
78.97/79.00	c 78.9s |      16 |   208723 |   190052 |     6596     67 |        5 |      214
80.97/81.01	c 80.9s |      16 |   213825 |   194652 |     6596     68 |        5 |      214
82.07/82.17	c 82.1s |      17 |   216813 |   197432 |     7256     69 |        5 |      214
84.17/84.21	c 84.1s |      17 |   221440 |   201632 |     7256     70 |        5 |      214
86.17/86.22	c 86.1s |      17 |   225979 |   205832 |     7256     71 |        5 |      214
88.17/88.24	c 88.1s |      17 |   230970 |   210332 |     7256     72 |        5 |      214
90.18/90.26	c 90.2s |      17 |   236044 |   215032 |     7256     74 |        5 |      214
92.18/92.28	c 92.2s |      17 |   240034 |   218732 |     7256     75 |        5 |      214
94.28/94.31	c 94.2s |      17 |   245229 |   223532 |     7256     76 |        5 |      214
96.28/96.35	c 96.3s |      17 |   249633 |   227632 |     7256     77 |        5 |      214
98.38/98.40	c 98.3s |      17 |   254313 |   231932 |     7256     78 |        5 |      214
100.38/100.41	c  100s |      17 |   258758 |   236132 |     7256     79 |        5 |      214
102.38/102.41	c  102s |      17 |   263316 |   240332 |     7256     81 |        5 |      214
104.37/104.44	c  104s |      17 |   267730 |   244532 |     7256     82 |        5 |      214
106.37/106.47	c  106s |      17 |   272312 |   248832 |     7256     83 |        5 |      214
108.47/108.51	c  108s |      17 |   276886 |   253032 |     7256     84 |        5 |      214
110.47/110.54	c  110s |      17 |   281785 |   257632 |     7256     85 |        5 |      214
112.47/112.59	c  112s |      17 |   286594 |   262032 |     7256     86 |        5 |      214
114.48/114.59	c  114s |      17 |   291404 |   266432 |     7256     88 |        5 |      214
116.58/116.62	c  116s |      17 |   296425 |   271132 |     7256     89 |        5 |      214
118.57/118.64	c  118s |      17 |   301026 |   275432 |     7256     90 |        5 |      214
120.57/120.65	c  120s |      17 |   305541 |   279732 |     7256     91 |        5 |      214
122.57/122.69	c  122s |      17 |   309844 |   283832 |     7256     92 |        5 |      214
124.67/124.73	c  124s |      17 |   314382 |   288032 |     7256     93 |        5 |      214
126.67/126.75	c  126s |      17 |   318959 |   292332 |     7256     95 |        5 |      214
128.77/128.82	c  128s |      17 |   323115 |   296232 |     7982     96 |        5 |      214
128.77/128.83	c  128s |      18 |   323134 |   296252 |     7982     96 |        5 |      214
130.77/130.85	c  130s |      18 |   327375 |   300152 |     7982     96 |        5 |      214
132.76/132.88	c  132s |      18 |   331372 |   303952 |     7982     97 |        5 |      214
134.76/134.89	c  134s |      18 |   335323 |   307652 |     7982     98 |        5 |      214
136.76/136.89	c  136s |      18 |   339774 |   311752 |     7982     99 |        5 |      214
138.86/138.93	c  138s |      18 |   343768 |   315552 |     7982    100 |        5 |      214
140.87/140.95	c  140s |      18 |   348089 |   319652 |     7982    101 |        5 |      214
142.86/142.98	c  142s |      18 |   352279 |   323652 |     7982    102 |        5 |      214
144.96/145.00	c  144s |      18 |   356338 |   327552 |     7982    103 |        5 |      214
147.06/147.17	c  147s |      18 |   359486 |   330552 |     7982    104 |        8 |      269
149.16/149.22	c  149s |      18 |   364782 |   335452 |     7982    104 |        8 |      269
151.16/151.26	c  151s |      18 |   368978 |   339452 |     7982    105 |        8 |      269
153.17/153.27	c  153s |      18 |   373011 |   343252 |     7982    106 |        8 |      269
155.18/155.28	c  155s |      18 |   377385 |   347352 |     7982    107 |        8 |      269
157.17/157.29	c  157s |      18 |   381300 |   351052 |     7982    108 |        8 |      269
159.27/159.31	c  159s |      18 |   385612 |   354952 |     7982    109 |        8 |      269
161.27/161.34	c  161s |      18 |   389541 |   358652 |     7982    110 |        8 |      269
163.27/163.36	c  163s |      18 |   393540 |   362452 |     7982    111 |        8 |      269
165.27/165.38	c  165s |      18 |   397155 |   365952 |     7982    112 |        8 |      269
167.37/167.40	c  167s |      18 |   400955 |   369552 |     7982    112 |        8 |      269
169.37/169.43	c  169s |      18 |   405009 |   373352 |     7982    113 |        8 |      269
171.36/171.46	c  171s |      18 |   409070 |   377152 |     7982    114 |        8 |      269
173.36/173.49	c  173s |      18 |   413088 |   380952 |     7982    115 |        8 |      269
175.46/175.52	c  175s |      18 |   416841 |   384552 |     7982    116 |        8 |      269
177.46/177.55	c  177s |      18 |   420199 |   387752 |     7982    117 |        8 |      269
179.46/179.57	c  179s |      18 |   423791 |   391152 |     7982    118 |        8 |      269
181.47/181.58	c  181s |      18 |   427476 |   394652 |     7982    119 |        8 |      269
183.56/183.60	c  183s |      18 |   431284 |   398252 |     7982    120 |        8 |      269
185.56/185.61	c  185s |      18 |   435483 |   402152 |     7982    121 |        8 |      269
187.56/187.67	c  187s |      18 |   439595 |   406052 |     7982    121 |        8 |      269
189.56/189.68	c  189s |      18 |   443250 |   409552 |     7982    122 |        8 |      269
191.66/191.71	c  191s |      18 |   447248 |   413352 |     7982    123 |        8 |      269
193.67/193.74	c  193s |      18 |   450905 |   416852 |     7982    124 |        8 |      269
195.66/195.76	c  195s |      18 |   454408 |   420152 |     7982    125 |       12 |      374
197.66/197.77	c  197s |      18 |   459485 |   424852 |     7982    125 |       12 |      374
199.66/199.78	c  199s |      18 |   463801 |   428852 |     7982    126 |       12 |      374
201.76/201.80	c  201s |      18 |   468474 |   433152 |     7982    127 |       12 |      374
203.76/203.82	c  203s |      18 |   473002 |   437352 |     7982    128 |       12 |      374
205.76/205.85	c  205s |      18 |   477592 |   441552 |     8781    129 |       12 |      374
207.26/207.36	c  207s |      19 |   480745 |   444482 |     8781    130 |       12 |      374
209.26/209.36	c  209s |      19 |   485068 |   448482 |     8781    131 |       12 |      374
211.26/211.40	c  211s |      19 |   489285 |   452482 |     8781    132 |       12 |      374
213.36/213.41	c  213s |      19 |   493297 |   456182 |     8781    132 |       17 |      433
215.35/215.42	c  215s |      19 |   498173 |   460682 |     8781    132 |       17 |      433
217.35/217.46	c  217s |      19 |   502179 |   464482 |     8781    133 |       17 |      433
219.45/219.52	c  219s |      19 |   506270 |   468382 |     8781    134 |       17 |      433
221.45/221.53	c  221s |      19 |   509988 |   471882 |     8781    135 |       17 |      433
223.45/223.55	c  223s |      19 |   513955 |   475682 |     8781    135 |       24 |      496
225.46/225.59	c  225s |      19 |   518151 |   479682 |     8781    135 |       24 |      496
227.55/227.63	c  227s |      19 |   521626 |   482982 |     8781    136 |       24 |      496
229.55/229.64	c  229s |      19 |   524988 |   486182 |     8781    137 |       24 |      496
231.56/231.69	c  231s |      19 |   529329 |   490082 |     8781    137 |       30 |      601
233.66/233.73	c  233s |      19 |   533023 |   493582 |     8781    137 |       38 |      706
234.66/234.70	c  234s |      19 |   535073 |   495494 |     8781    137 |      205 |     1574
234.66/234.70	c #cpu_time = 234.002s
234.66/234.70	c #wall_clock_time = 234.600s
234.66/234.70	c #decision = 535073
234.66/234.70	c #random_decision = 1952
234.66/234.70	c #conflict = 495494
234.66/234.70	c #restart = 19
234.66/234.70	s UNSATISFIABLE
234.66/234.70	c total CPU time = 234.101s
234.66/234.70	c total wall clock time = 234.699s

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

pid=32566
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.05 2.01 3/180 32569
/proc/meminfo: memFree=30781400/32872528 swapFree=7268/7268
[pid=32569] ppid=32566 vsize=683452 CPUtime=0 cores=1,3,5,7
/proc/32569/stat : 32569 (toysat) R 32566 32569 29295 0 -1 4202496 2542 0 0 0 0 0 0 0 20 0 4 0 13492201 699854848 2903 33554432000 4194304 16246674 140734720140576 140734720140000 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32569/statm: 171375 2913 441 2943 0 168269 0
[pid=32569/tid=32570] ppid=32566 vsize=700860 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32570/stat : 32570 (toysat) S 32566 32569 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13492201 717680640 2973 33554432000 4194304 16246674 140734720140576 139776002862320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32569/tid=32571] ppid=32566 vsize=704956 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32571/stat : 32571 (toysat) S 32566 32569 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13492201 721874944 2989 33554432000 4194304 16246674 140734720140576 139775992372464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32569/tid=32572] ppid=32566 vsize=709052 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32572/stat : 32572 (toysat) S 32566 32569 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13492201 726069248 3005 33554432000 4194304 16246674 140734720140576 139775981898928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 2.10 2.05 2.01 3/180 32569
/proc/meminfo: memFree=30781400/32872528 swapFree=7268/7268
[pid=32569] ppid=32566 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/32569/stat : 32569 (toysat) R 32566 32569 29295 0 -1 4202496 27197 0 0 0 5 3 0 0 20 0 4 0 13492201 1247350784 27549 33554432000 4194304 16246674 140734720140576 140734720140000 6155377 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32569/statm: 304529 27556 642 2943 0 301423 0
[pid=32569/tid=32570] ppid=32566 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32570/stat : 32570 (toysat) S 32566 32569 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13492201 1247350784 27561 33554432000 4194304 16246674 140734720140576 139776002862320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32569/tid=32571] ppid=32566 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32571/stat : 32571 (toysat) S 32566 32569 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13492201 1247350784 27566 33554432000 4194304 16246674 140734720140576 139775992372464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32569/tid=32572] ppid=32566 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32572/stat : 32572 (toysat) S 32566 32569 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13492201 1247350784 27571 33554432000 4194304 16246674 140734720140576 139775981898928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200526 s]
/proc/loadavg: 2.10 2.05 2.01 3/180 32569
/proc/meminfo: memFree=30781400/32872528 swapFree=7268/7268
[pid=32569] ppid=32566 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/32569/stat : 32569 (toysat) R 32566 32569 29295 0 -1 4202496 49339 0 0 0 11 8 0 0 20 0 4 0 13492201 1247350784 49690 33554432000 4194304 16246674 140734720140576 140734720140000 6010073 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32569/statm: 304529 49701 718 2943 0 301423 0
[pid=32569/tid=32570] ppid=32566 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32570/stat : 32570 (toysat) S 32566 32569 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13492201 1247350784 49708 33554432000 4194304 16246674 140734720140576 139776002862320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32569/tid=32571] ppid=32566 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32571/stat : 32571 (toysat) S 32566 32569 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13492201 1247350784 49712 33554432000 4194304 16246674 140734720140576 139775992372464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32569/tid=32572] ppid=32566 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32572/stat : 32572 (toysat) S 32566 32569 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13492201 1247350784 49716 33554432000 4194304 16246674 140734720140576 139775981898928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.30049 s]
/proc/loadavg: 2.10 2.05 2.01 3/180 32569
/proc/meminfo: memFree=30781400/32872528 swapFree=7268/7268
[pid=32569] ppid=32566 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/32569/stat : 32569 (toysat) R 32566 32569 29295 0 -1 4202496 71856 0 0 0 17 11 0 0 20 0 4 0 13492201 1247350784 72206 33554432000 4194304 16246674 140734720140576 140734720140000 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32569/statm: 304529 72215 718 2943 0 301423 0
[pid=32569/tid=32570] ppid=32566 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32570/stat : 32570 (toysat) S 32566 32569 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13492201 1247350784 72221 33554432000 4194304 16246674 140734720140576 139776002862320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32569/tid=32571] ppid=32566 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32571/stat : 32571 (toysat) S 32566 32569 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13492201 1247350784 72226 33554432000 4194304 16246674 140734720140576 139775992372464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32569/tid=32572] ppid=32566 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32572/stat : 32572 (toysat) S 32566 32569 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13492201 1247350784 72231 33554432000 4194304 16246674 140734720140576 139775981898928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700407 s]
/proc/loadavg: 2.10 2.05 2.01 3/180 32569
/proc/meminfo: memFree=30781400/32872528 swapFree=7268/7268
[pid=32569] ppid=32566 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/32569/stat : 32569 (toysat) R 32566 32569 29295 0 -1 4202496 155377 0 0 0 46 23 0 0 20 0 4 0 13492201 1247350784 155727 33554432000 4194304 16246674 140734720140576 140734720122496 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32569/statm: 304529 155734 718 2943 0 301423 0
[pid=32569/tid=32570] ppid=32566 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32570/stat : 32570 (toysat) S 32566 32569 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13492201 1247350784 155739 33554432000 4194304 16246674 140734720140576 139776002862320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32569/tid=32571] ppid=32566 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32571/stat : 32571 (toysat) S 32566 32569 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13492201 1247350784 155747 33554432000 4194304 16246674 140734720140576 139775992372464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32569/tid=32572] ppid=32566 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32572/stat : 32572 (toysat) S 32566 32569 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13492201 1247350784 155754 33554432000 4194304 16246674 140734720140576 139775981898928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50043 s]
/proc/loadavg: 2.10 2.05 2.01 3/184 32573
/proc/meminfo: memFree=29835708/32872528 swapFree=7268/7268
[pid=32569] ppid=32566 vsize=1222212 CPUtime=1.48 cores=1,3,5,7
/proc/32569/stat : 32569 (toysat) R 32566 32569 29295 0 -1 4202496 246344 0 0 0 113 35 0 0 20 0 4 0 13492201 1251545088 246674 33554432000 4194304 16246674 140734720140576 140734720139888 5532143 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32569/statm: 305553 246674 792 2943 0 302447 0
[pid=32569/tid=32570] ppid=32566 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32570/stat : 32570 (toysat) S 32566 32569 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13492201 1251545088 246674 33554432000 4194304 16246674 140734720140576 139776002862320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32569/tid=32571] ppid=32566 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32571/stat : 32571 (toysat) S 32566 32569 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13492201 1251545088 246674 33554432000 4194304 16246674 140734720140576 139775992372464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32569/tid=32572] ppid=32566 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32572/stat : 32572 (toysat) S 32566 32569 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13492201 1251545088 246674 33554432000 4194304 16246674 140734720140576 139775981898928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1222212

[startup+3.10042 s]
/proc/loadavg: 2.10 2.05 2.01 3/184 32573
/proc/meminfo: memFree=29713940/32872528 swapFree=7268/7268
[pid=32569] ppid=32566 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/32569/stat : 32569 (toysat) R 32566 32569 29295 0 -1 4202496 267493 0 0 0 270 38 0 0 20 0 4 0 13492201 1337528320 267823 33554432000 4194304 16246674 140734720140576 140734720122496 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32569/statm: 326545 267823 793 2943 0 323439 0
[pid=32569/tid=32570] ppid=32566 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32570/stat : 32570 (toysat) S 32566 32569 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13492201 1337528320 267823 33554432000 4194304 16246674 140734720140576 139776002862320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32569/tid=32571] ppid=32566 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32571/stat : 32571 (toysat) S 32566 32569 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13492201 1337528320 267823 33554432000 4194304 16246674 140734720140576 139775992372464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32569/tid=32572] ppid=32566 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32572/stat : 32572 (toysat) S 32566 32569 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13492201 1337528320 267823 33554432000 4194304 16246674 140734720140576 139775981898928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 2.09 2.05 2.01 3/184 32573
/proc/meminfo: memFree=29702416/32872528 swapFree=7268/7268
[pid=32569] ppid=32566 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/32569/stat : 32569 (toysat) R 32566 32569 29295 0 -1 4202496 269369 0 0 0 590 39 0 0 20 0 4 0 13492201 1344868352 269699 33554432000 4194304 16246674 140734720140576 140734720122496 12483671 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32569/statm: 328337 269699 795 2943 0 325231 0
[pid=32569/tid=32570] ppid=32566 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32570/stat : 32570 (toysat) S 32566 32569 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13492201 1344868352 269699 33554432000 4194304 16246674 140734720140576 139776002862320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32569/tid=32571] ppid=32566 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32571/stat : 32571 (toysat) S 32566 32569 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13492201 1344868352 269699 33554432000 4194304 16246674 140734720140576 139775992372464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32569/tid=32572] ppid=32566 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32572/stat : 32572 (toysat) S 32566 32569 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13492201 1344868352 269699 33554432000 4194304 16246674 140734720140576 139775981898928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.08 2.05 2.01 3/183 32573
/proc/meminfo: memFree=29702764/32872528 swapFree=7268/7268
[pid=32569] ppid=32566 vsize=1313348 CPUtime=12.69 cores=1,3,5,7
/proc/32569/stat : 32569 (toysat) R 32566 32569 29295 0 -1 4202496 269369 0 0 0 1230 39 0 0 20 0 4 0 13492201 1344868352 269699 33554432000 4194304 16246674 140734720140576 140734720122496 13820890 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32569/statm: 328337 269699 795 2943 0 325231 0
[pid=32569/tid=32570] ppid=32566 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32570/stat : 32570 (toysat) S 32566 32569 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13492201 1344868352 269699 33554432000 4194304 16246674 140734720140576 139776002862320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32569/tid=32571] ppid=32566 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32571/stat : 32571 (toysat) S 32566 32569 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13492201 1344868352 269699 33554432000 4194304 16246674 140734720140576 139775992372464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32569/tid=32572] ppid=32566 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32572/stat : 32572 (toysat) S 32566 32569 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13492201 1344868352 269699 33554432000 4194304 16246674 140734720140576 139775981898928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.07 2.04 2.01 3/184 32574
/proc/meminfo: memFree=29697928/32872528 swapFree=7268/7268
[pid=32569] ppid=32566 vsize=1317444 CPUtime=25.48 cores=1,3,5,7
/proc/32569/stat : 32569 (toysat) R 32566 32569 29295 0 -1 4202496 270393 0 0 0 2509 39 0 0 20 0 4 0 13492201 1349062656 270723 33554432000 4194304 16246674 140734720140576 140734720122496 5672869 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32569/statm: 329361 270723 795 2943 0 326255 0
[pid=32569/tid=32570] ppid=32566 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32570/stat : 32570 (toysat) S 32566 32569 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13492201 1349062656 270723 33554432000 4194304 16246674 140734720140576 139776002862320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32569/tid=32571] ppid=32566 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32571/stat : 32571 (toysat) S 32566 32569 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13492201 1349062656 270723 33554432000 4194304 16246674 140734720140576 139775992372464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32569/tid=32572] ppid=32566 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32572/stat : 32572 (toysat) S 32566 32569 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13492201 1349062656 270723 33554432000 4194304 16246674 140734720140576 139775981898928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1317444

[startup+51.1005 s]
/proc/loadavg: 2.04 2.04 2.00 3/183 32574
/proc/meminfo: memFree=29695420/32872528 swapFree=7268/7268
[pid=32569] ppid=32566 vsize=1317444 CPUtime=51.08 cores=1,3,5,7
/proc/32569/stat : 32569 (toysat) R 32566 32569 29295 0 -1 4202496 270394 0 0 0 5068 40 0 0 20 0 4 0 13492201 1349062656 270724 33554432000 4194304 16246674 140734720140576 140734720122496 5823182 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32569/statm: 329361 270724 796 2943 0 326255 0
[pid=32569/tid=32570] ppid=32566 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32570/stat : 32570 (toysat) S 32566 32569 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13492201 1349062656 270724 33554432000 4194304 16246674 140734720140576 139776002862320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32569/tid=32571] ppid=32566 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32571/stat : 32571 (toysat) S 32566 32569 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13492201 1349062656 270724 33554432000 4194304 16246674 140734720140576 139775992372464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32569/tid=32572] ppid=32566 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32572/stat : 32572 (toysat) S 32566 32569 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13492201 1349062656 270724 33554432000 4194304 16246674 140734720140576 139775981898928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1317444

[startup+102.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 32575
/proc/meminfo: memFree=29688080/32872528 swapFree=7268/7268
[pid=32569] ppid=32566 vsize=1319492 CPUtime=102.28 cores=1,3,5,7
/proc/32569/stat : 32569 (toysat) R 32566 32569 29295 0 -1 4202496 270906 0 0 0 10187 41 0 0 20 0 4 0 13492201 1351159808 271236 33554432000 4194304 16246674 140734720140576 140734720122496 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32569/statm: 329873 271236 796 2943 0 326767 0
[pid=32569/tid=32570] ppid=32566 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32570/stat : 32570 (toysat) S 32566 32569 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13492201 1351159808 271236 33554432000 4194304 16246674 140734720140576 139776002862320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32569/tid=32571] ppid=32566 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32571/stat : 32571 (toysat) S 32566 32569 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13492201 1351159808 271236 33554432000 4194304 16246674 140734720140576 139775992372464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32569/tid=32572] ppid=32566 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32572/stat : 32572 (toysat) S 32566 32569 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13492201 1351159808 271236 33554432000 4194304 16246674 140734720140576 139775981898928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1319492

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 32576
/proc/meminfo: memFree=29673476/32872528 swapFree=7268/7268
[pid=32569] ppid=32566 vsize=1322564 CPUtime=162.27 cores=1,3,5,7
/proc/32569/stat : 32569 (toysat) R 32566 32569 29295 0 -1 4202496 271674 0 0 0 16185 42 0 0 20 0 4 0 13492201 1354305536 272004 33554432000 4194304 16246674 140734720140576 140734720122496 5522964 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32569/statm: 330641 272004 796 2943 0 327535 0
[pid=32569/tid=32570] ppid=32566 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32570/stat : 32570 (toysat) S 32566 32569 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13492201 1354305536 272004 33554432000 4194304 16246674 140734720140576 139776002862320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32569/tid=32571] ppid=32566 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32571/stat : 32571 (toysat) S 32566 32569 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13492201 1354305536 272004 33554432000 4194304 16246674 140734720140576 139775992372464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32569/tid=32572] ppid=32566 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32572/stat : 32572 (toysat) S 32566 32569 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13492201 1354305536 272004 33554432000 4194304 16246674 140734720140576 139775981898928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1322564

[startup+222.308 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 32577
/proc/meminfo: memFree=29647580/32872528 swapFree=7268/7268
[pid=32569] ppid=32566 vsize=1328708 CPUtime=222.26 cores=1,3,5,7
/proc/32569/stat : 32569 (toysat) R 32566 32569 29295 0 -1 4202496 273210 0 0 0 22184 42 0 0 20 0 4 0 13492201 1360596992 273540 33554432000 4194304 16246674 140734720140576 140734720122496 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32569/statm: 332177 273540 796 2943 0 329071 0
[pid=32569/tid=32570] ppid=32566 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32570/stat : 32570 (toysat) S 32566 32569 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13492201 1360596992 273540 33554432000 4194304 16246674 140734720140576 139776002862320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32569/tid=32571] ppid=32566 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32571/stat : 32571 (toysat) S 32566 32569 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13492201 1360596992 273540 33554432000 4194304 16246674 140734720140576 139775992372464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32569/tid=32572] ppid=32566 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32572/stat : 32572 (toysat) S 32566 32569 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13492201 1360596992 273540 33554432000 4194304 16246674 140734720140576 139775981898928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1328708

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

[startup+224 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 32577
/proc/meminfo: memFree=29647704/32872528 swapFree=7268/7268
[pid=32569] ppid=32566 vsize=1328708 CPUtime=223.95 cores=1,3,5,7
/proc/32569/stat : 32569 (toysat) R 32566 32569 29295 0 -1 4202496 273211 0 0 0 22353 42 0 0 20 0 4 0 13492201 1360596992 273541 33554432000 4194304 16246674 140734720140576 140734720122496 13943604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32569/statm: 332177 273541 797 2943 0 329071 0
[pid=32569/tid=32570] ppid=32566 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32570/stat : 32570 (toysat) S 32566 32569 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13492201 1360596992 273541 33554432000 4194304 16246674 140734720140576 139776002862320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32569/tid=32571] ppid=32566 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32571/stat : 32571 (toysat) S 32566 32569 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13492201 1360596992 273541 33554432000 4194304 16246674 140734720140576 139775992372464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32569/tid=32572] ppid=32566 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32572/stat : 32572 (toysat) S 32566 32569 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13492201 1360596992 273541 33554432000 4194304 16246674 140734720140576 139775981898928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 223.95
Current children cumulated vsize (KiB) 1328708

[startup+230.4 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 32577
/proc/meminfo: memFree=29647564/32872528 swapFree=7268/7268
[pid=32569] ppid=32566 vsize=1328708 CPUtime=230.36 cores=1,3,5,7
/proc/32569/stat : 32569 (toysat) R 32566 32569 29295 0 -1 4202496 273211 0 0 0 22993 43 0 0 20 0 4 0 13492201 1360596992 273541 33554432000 4194304 16246674 140734720140576 140734720122496 5723488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32569/statm: 332177 273541 797 2943 0 329071 0
[pid=32569/tid=32570] ppid=32566 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32570/stat : 32570 (toysat) S 32566 32569 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13492201 1360596992 273541 33554432000 4194304 16246674 140734720140576 139776002862320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32569/tid=32571] ppid=32566 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32571/stat : 32571 (toysat) S 32566 32569 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13492201 1360596992 273541 33554432000 4194304 16246674 140734720140576 139775992372464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32569/tid=32572] ppid=32566 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32572/stat : 32572 (toysat) S 32566 32569 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13492201 1360596992 273541 33554432000 4194304 16246674 140734720140576 139775981898928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 230.36
Current children cumulated vsize (KiB) 1328708

[startup+232 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 32577
/proc/meminfo: memFree=29647564/32872528 swapFree=7268/7268
[pid=32569] ppid=32566 vsize=1328708 CPUtime=231.96 cores=1,3,5,7
/proc/32569/stat : 32569 (toysat) R 32566 32569 29295 0 -1 4202496 273211 0 0 0 23153 43 0 0 20 0 4 0 13492201 1360596992 273541 33554432000 4194304 16246674 140734720140576 140734720122496 6842508 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32569/statm: 332177 273541 797 2943 0 329071 0
[pid=32569/tid=32570] ppid=32566 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32570/stat : 32570 (toysat) S 32566 32569 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13492201 1360596992 273541 33554432000 4194304 16246674 140734720140576 139776002862320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32569/tid=32571] ppid=32566 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32571/stat : 32571 (toysat) S 32566 32569 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13492201 1360596992 273541 33554432000 4194304 16246674 140734720140576 139775992372464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32569/tid=32572] ppid=32566 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32572/stat : 32572 (toysat) S 32566 32569 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13492201 1360596992 273541 33554432000 4194304 16246674 140734720140576 139775981898928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 231.96
Current children cumulated vsize (KiB) 1328708

[startup+233.6 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 32577
/proc/meminfo: memFree=29647564/32872528 swapFree=7268/7268
[pid=32569] ppid=32566 vsize=1328708 CPUtime=233.56 cores=1,3,5,7
/proc/32569/stat : 32569 (toysat) R 32566 32569 29295 0 -1 4202496 273211 0 0 0 23313 43 0 0 20 0 4 0 13492201 1360596992 273541 33554432000 4194304 16246674 140734720140576 140734720122496 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32569/statm: 332177 273541 797 2943 0 329071 0
[pid=32569/tid=32570] ppid=32566 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32570/stat : 32570 (toysat) S 32566 32569 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13492201 1360596992 273541 33554432000 4194304 16246674 140734720140576 139776002862320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32569/tid=32571] ppid=32566 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32571/stat : 32571 (toysat) S 32566 32569 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13492201 1360596992 273541 33554432000 4194304 16246674 140734720140576 139775992372464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32569/tid=32572] ppid=32566 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32572/stat : 32572 (toysat) S 32566 32569 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13492201 1360596992 273541 33554432000 4194304 16246674 140734720140576 139775981898928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 233.56
Current children cumulated vsize (KiB) 1328708

[startup+234.408 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 32577
/proc/meminfo: memFree=29647688/32872528 swapFree=7268/7268
[pid=32569] ppid=32566 vsize=1328708 CPUtime=234.36 cores=1,3,5,7
/proc/32569/stat : 32569 (toysat) R 32566 32569 29295 0 -1 4202496 273211 0 0 0 23393 43 0 0 20 0 4 0 13492201 1360596992 273541 33554432000 4194304 16246674 140734720140576 140734720122496 5674080 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32569/statm: 332177 273541 797 2943 0 329071 0
[pid=32569/tid=32570] ppid=32566 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32570/stat : 32570 (toysat) S 32566 32569 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13492201 1360596992 273541 33554432000 4194304 16246674 140734720140576 139776002862320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32569/tid=32571] ppid=32566 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32571/stat : 32571 (toysat) S 32566 32569 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13492201 1360596992 273541 33554432000 4194304 16246674 140734720140576 139775992372464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32569/tid=32572] ppid=32566 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32572/stat : 32572 (toysat) S 32566 32569 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13492201 1360596992 273541 33554432000 4194304 16246674 140734720140576 139775981898928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 234.36
Current children cumulated vsize (KiB) 1328708

[startup+234.6 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 32577
/proc/meminfo: memFree=29647688/32872528 swapFree=7268/7268
[pid=32569] ppid=32566 vsize=1328708 CPUtime=234.56 cores=1,3,5,7
/proc/32569/stat : 32569 (toysat) R 32566 32569 29295 0 -1 4202496 273211 0 0 0 23413 43 0 0 20 0 4 0 13492201 1360596992 273541 33554432000 4194304 16246674 140734720140576 140734720122496 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32569/statm: 332177 273541 797 2943 0 329071 0
[pid=32569/tid=32570] ppid=32566 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32570/stat : 32570 (toysat) S 32566 32569 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13492201 1360596992 273541 33554432000 4194304 16246674 140734720140576 139776002862320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32569/tid=32571] ppid=32566 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32571/stat : 32571 (toysat) S 32566 32569 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13492201 1360596992 273541 33554432000 4194304 16246674 140734720140576 139775992372464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32569/tid=32572] ppid=32566 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32572/stat : 32572 (toysat) S 32566 32569 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13492201 1360596992 273541 33554432000 4194304 16246674 140734720140576 139775981898928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 234.56
Current children cumulated vsize (KiB) 1328708

[startup+234.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 32577
/proc/meminfo: memFree=29647688/32872528 swapFree=7268/7268
[pid=32569] ppid=32566 vsize=1328708 CPUtime=234.66 cores=1,3,5,7
/proc/32569/stat : 32569 (toysat) R 32566 32569 29295 0 -1 4202496 273211 0 0 0 23423 43 0 0 20 0 4 0 13492201 1360596992 273541 33554432000 4194304 16246674 140734720140576 140734720122496 5822472 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32569/statm: 332177 273541 797 2943 0 329071 0
[pid=32569/tid=32570] ppid=32566 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32570/stat : 32570 (toysat) S 32566 32569 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13492201 1360596992 273541 33554432000 4194304 16246674 140734720140576 139776002862320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32569/tid=32571] ppid=32566 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32571/stat : 32571 (toysat) S 32566 32569 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13492201 1360596992 273541 33554432000 4194304 16246674 140734720140576 139775992372464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32569/tid=32572] ppid=32566 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/32569/task/32572/stat : 32572 (toysat) S 32566 32569 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13492201 1360596992 273541 33554432000 4194304 16246674 140734720140576 139775981898928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 234.66
Current children cumulated vsize (KiB) 1328708

Child status: 0
Real time (s): 234.762
CPU time (s): 234.724
CPU user time (s): 234.231
CPU system time (s): 0.492925
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 1328708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 234.231
system time used= 0.492925
maximum resident set size= 1094176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273216
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= 19
involuntary context switches= 243

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.615906 second user time and 0.908861 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-17 00:01:14
IDJOB=4096407
IDBENCH=107610
IDSOLVER=2542
FILE ID=node151/4096407-1466114474
RUNJOBID= node151-1466112624-31872
PBS_JOBID= 19904038
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_22.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4096407-1466114474/watcher-4096407-1466114474 -o /tmp/evaluation-result-4096407-1466114474/solver-4096407-1466114474 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466112624-31872 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096407-1466114474.opb

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

MD5SUM BENCH= 45bcceaf984200834dfd0de1cafff921
RANDOM SEED=992322913

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:        30782044 kB
Buffers:           62556 kB
Cached:           162692 kB
SwapCached:        61592 kB
Active:          1207616 kB
Inactive:         170408 kB
Active(anon):    1094092 kB
Inactive(anon):    61036 kB
Active(file):     113524 kB
Inactive(file):   109372 kB
Unevictable:        7268 kB
Mlocked:            7268 kB
SwapTotal:      67108856 kB
SwapFree:       67038988 kB
Dirty:             16696 kB
Writeback:            24 kB
AnonPages:       1099252 kB
Mapped:            10620 kB
Shmem:                 0 kB
Slab:             572648 kB
SReclaimable:      15488 kB
SUnreclaim:       557160 kB
KernelStack:        1472 kB
PageTables:         6332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1245528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71716 MiB
End job on node151 at 2016-06-17 00:05:09