Trace number 4078706

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-02SAT 412.131 412.207

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army10.14bt.opb
MD5SUM35996461279b46395c12d24fd378138e
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.361944
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables316
Total number of constraints686
Number of constraints which are clauses477
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints207
Minimum length of a constraint1
Maximum length of a constraint100
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 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 114
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-06T14:39:47+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-4078706-1465216787.opb"]
0.00/0.01	c use --random-gen="2451333338 862942957 3234002129 1260752402 1421117240 1863837632 1958620363 2518455568 1345002133 1968917602 1156972142 2108180239 2521169338 1379997178 4202321999 4158457980 666793471 836535484 4113608056 1926604417 2049645161 4031199184 2328768954 2832818663 2220562103 2104091466 3270784094 201141021 630188868 2314531796 1703716113 2108521193 2523293819 3081046253 2888438123 1017913580 48229938 481088449 994364512 4249962949 4272072659 1868171825 320235303 200768033 4225831028 2716322981 2178769128 3195924501 3762875559 2722962610 1975951787 1788455573 945681982 1663224907 605438559 3419800544 494792979 2155912719 3061820039 2964710381 3422801822 3560117871 1594642032 3176721880 3110577030 108922056 1508906004 3813762690 195682973 1866230069 1121611838 1054978460 2948906782 2652135230 3868349344 101967203 2632192856 2464251140 3272295341 2260143736 1227756988 2076444821 496166446 3813288793 1295431780 2493618226 3953096417 983668198 4223958408 1993146152 2679156693 881250930 3693937121 2676338092 3244702629 3018700563 300488142 2366184369 2536377038 793525970 2900055545 3512468160 129749756 950443830 2380299216 2350809213 3061365153 1606127290 2398234219 2586092116 1726968339 2068335084 320688547 1921969317 890913384 2023794617 2994546744 73503242 1199602161 2935522757 2364379625 2817356924 2583450189 806470726 2683137028 1297349424 2167226078 33007291 784446548 3078324973 3374882404 3297240384 1396399828 2930472799 3621324753 1842489469 687971472 1530134624 79591575 1477765323 595469793 1574552391 607433862 997242327 2137735495 2830772470 1302191283 1793716433 2223703235 3907776482 1727638279 2077871200 1357835336 2345082817 3151847118 735027410 3587210831 4082663168 2695905937 993457252 2447590205 2630588406 546013041 1800802283 169136732 591643370 271550548 3108170802 1367745141 3624932412 694264137 1541549472 4128732093 3458236253 2024945394 241713050 1039960597 742026055 1508805204 1944909474 1422277186 2776988281 2950944970 3145357622 1894675395 4228722418 2345379994 4069869881 2123663569 3743501673 1033628993 3888297063 3313206307 3772351509 2397503523 2909879586 3554487578 557340974 2920929072 2610111399 3409356966 4204038652 2676385401 2909484286 671262225 241823433 1442374637 4282412943 2486473735 3203403362 949124247 3733393012 3074444824 117835272 1572794106 1188051696 2477312454 2329254384 3241966479 848607197 4116252616 1680048698 2024324688 1709012839 1353274097 568057311 1524218686 525786218 3171670054 3432155229 1737630787 737747767 3291934681 3308959599 796275077 3663352117 3200327846 260863059 233021543 192675727 3137380628 1843464956 3036617169 1461497399 520512170 3536510858 1282749075 1340674527 4232948891 3025041032 3566464863 3971201392 1259004917 1349025134 3874682905 3907742128 255 362436" option to reproduce the execution
0.00/0.02	c #vars 316
0.00/0.02	c #constraints 686
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      333      0 |       13 |        0
0.00/0.07	c  0.0s |       1 |      131 |      100 |      333      0 |       13 |       26
0.09/0.13	c  0.1s |       2 |      383 |      250 |      367      0 |       13 |       26
0.18/0.23	c  0.2s |       3 |      768 |      475 |      404      0 |       13 |       26
0.28/0.37	c  0.3s |       4 |     1438 |      813 |      445      1 |       16 |       32
0.58/0.60	c  0.6s |       5 |     2067 |     1320 |      490      3 |       16 |       32
0.88/0.94	c  0.9s |       6 |     3136 |     2081 |      593      5 |       20 |       40
1.29/1.36	c  1.3s |       7 |     4531 |     3223 |      653      8 |       20 |       40
1.89/1.94	c  1.9s |       8 |     6602 |     4936 |      719     12 |       20 |       40
2.79/2.82	c  2.8s |       9 |     9718 |     7506 |      791     18 |       20 |       40
4.19/4.25	c  4.2s |      10 |    14659 |    11361 |      871     25 |       20 |       40
6.19/6.28	c  6.2s |      10 |    21885 |    17061 |      959     36 |       20 |       40
6.29/6.32	c  6.3s |      11 |    21999 |    17144 |      959     37 |       20 |       40
8.28/8.35	c  8.3s |      11 |    28646 |    22744 |      959     46 |       20 |       40
9.38/9.47	c  9.4s |      12 |    32388 |    25819 |     1055     52 |       20 |       40
11.38/11.47	c 11.4s |      12 |    38823 |    31519 |     1055     61 |       20 |       40
13.48/13.50	c 13.5s |      12 |    45185 |    37219 |     1055     70 |       20 |       40
13.98/14.09	c 14.1s |      13 |    47115 |    38832 |     1161     73 |       20 |       40
16.08/16.12	c 16.1s |      13 |    53546 |    44532 |     1161     81 |       21 |       42
18.08/18.14	c 18.1s |      13 |    59697 |    49932 |     1161     89 |       21 |       42
20.08/20.17	c 20.1s |      13 |    65595 |    55132 |     1161     97 |       21 |       42
21.38/21.43	c 21.4s |      14 |    69436 |    58352 |     1278    102 |       21 |       42
23.38/23.45	c 23.4s |      14 |    75548 |    63652 |     1278    109 |       21 |       42
25.39/25.46	c 25.4s |      14 |    81646 |    68752 |     1278    116 |       21 |       42
27.39/27.48	c 27.4s |      14 |    87724 |    73852 |     1278    123 |       21 |       42
29.49/29.50	c 29.5s |      14 |    93565 |    78952 |     1278    130 |       21 |       42
31.49/31.55	c 31.5s |      14 |    99236 |    83752 |     1278    137 |       21 |       42
33.19/33.22	c 33.2s |      15 |   103876 |    87632 |     1406    142 |       21 |       42
35.20/35.25	c 35.2s |      15 |   109661 |    92532 |     1406    148 |       21 |       42
37.19/37.26	c 37.2s |      15 |   115416 |    97332 |     1406    154 |       21 |       42
39.28/39.30	c 39.3s |      15 |   121513 |   102432 |     1406    160 |       21 |       42
41.28/41.33	c 41.3s |      15 |   127469 |   107532 |     1406    167 |       21 |       42
43.28/43.33	c 43.3s |      15 |   132816 |   112332 |     1406    173 |       21 |       42
45.28/45.34	c 45.3s |      15 |   138870 |   117032 |     1406    179 |       21 |       42
47.29/47.37	c 47.3s |      15 |   144749 |   121832 |     1406    185 |       21 |       42
49.28/49.38	c 49.3s |      15 |   150537 |   126732 |     1406    191 |       21 |       42
51.28/51.37	c 51.3s |      16 |   156282 |   131552 |     1547    197 |       21 |       42
53.38/53.41	c 53.4s |      16 |   162063 |   136352 |     1547    203 |       21 |       42
55.38/55.44	c 55.4s |      16 |   167947 |   141252 |     1547    208 |       21 |       42
57.38/57.44	c 57.4s |      16 |   173388 |   146052 |     1547    214 |       21 |       42
59.39/59.45	c 59.4s |      16 |   179235 |   150752 |     1547    219 |       21 |       42
61.38/61.46	c 61.4s |      16 |   184795 |   155252 |     1547    224 |       21 |       42
63.38/63.46	c 63.4s |      16 |   190949 |   160052 |     1547    230 |       21 |       42
65.38/65.47	c 65.4s |      16 |   196554 |   164852 |     1547    235 |       21 |       42
67.38/67.49	c 67.5s |      16 |   202032 |   169352 |     1547    240 |       21 |       42
69.39/69.49	c 69.5s |      16 |   207707 |   173952 |     1547    246 |       21 |       42
71.49/71.52	c 71.5s |      16 |   213349 |   178652 |     1547    251 |       21 |       42
73.48/73.55	c 73.5s |      16 |   219030 |   183352 |     1547    257 |       21 |       42
75.48/75.57	c 75.5s |      16 |   224686 |   188152 |     1547    262 |       21 |       42
77.48/77.59	c 77.6s |      16 |   230263 |   192852 |     1547    268 |       21 |       42
79.48/79.59	c 79.6s |      17 |   235684 |   197432 |     1702    273 |       21 |       42
81.58/81.62	c 81.6s |      17 |   241897 |   202432 |     1702    278 |       21 |       42
83.59/83.62	c 83.6s |      17 |   247677 |   207332 |     1702    283 |       21 |       42
85.58/85.66	c 85.6s |      17 |   252977 |   211932 |     1702    288 |       21 |       42
87.67/87.70	c 87.7s |      17 |   259735 |   216832 |     1702    293 |       21 |       42
89.67/89.72	c 89.7s |      17 |   265823 |   221632 |     1702    298 |       21 |       42
91.67/91.74	c 91.7s |      17 |   271364 |   226432 |     1702    304 |       21 |       42
93.67/93.76	c 93.7s |      17 |   276878 |   231032 |     1702    308 |       21 |       42
95.68/95.76	c 95.7s |      17 |   282493 |   235832 |     1702    313 |       21 |       42
97.67/97.79	c 97.8s |      17 |   288042 |   240532 |     1702    318 |       21 |       42
99.77/99.81	c 99.8s |      17 |   293746 |   244932 |     1702    323 |       21 |       42
101.77/101.85	c  101s |      17 |   299996 |   249932 |     1702    328 |       21 |       42
103.77/103.87	c  103s |      17 |   305233 |   254532 |     1702    333 |       21 |       42
105.77/105.88	c  105s |      17 |   310598 |   259132 |     1702    338 |       21 |       42
107.78/107.89	c  107s |      17 |   315982 |   263632 |     1702    343 |       21 |       42
109.87/109.92	c  109s |      17 |   321550 |   268032 |     1702    348 |       21 |       42
111.87/111.96	c  111s |      17 |   327359 |   272832 |     1702    353 |       21 |       42
113.87/113.99	c  113s |      17 |   332903 |   277532 |     1702    358 |       21 |       42
115.97/116.01	c  115s |      17 |   339008 |   282332 |     1702    363 |       21 |       42
117.97/118.03	c  117s |      17 |   345146 |   287032 |     1702    368 |       21 |       42
119.98/120.04	c  120s |      17 |   351050 |   291832 |     1702    373 |       21 |       42
121.87/121.99	c  121s |      18 |   356489 |   296252 |     1873    377 |       21 |       42
123.97/124.00	c  123s |      18 |   362020 |   301352 |     1873    382 |       21 |       42
125.97/126.04	c  126s |      18 |   367730 |   306452 |     1873    387 |       21 |       42
127.97/128.05	c  128s |      18 |   373136 |   311252 |     1873    392 |       21 |       42
129.97/130.05	c  130s |      18 |   378399 |   315752 |     1873    396 |       21 |       42
131.98/132.06	c  132s |      18 |   383951 |   320452 |     1873    401 |       21 |       42
133.96/134.07	c  134s |      18 |   389528 |   325052 |     1873    405 |       21 |       42
135.96/136.08	c  136s |      18 |   395086 |   329652 |     1873    410 |       21 |       42
137.96/138.08	c  138s |      18 |   400262 |   334052 |     1873    414 |       21 |       42
140.06/140.11	c  140s |      18 |   405829 |   338752 |     1873    419 |       21 |       42
142.06/142.14	c  142s |      18 |   411131 |   343352 |     1873    423 |       21 |       42
144.07/144.17	c  144s |      18 |   416673 |   347752 |     1873    427 |       21 |       42
146.16/146.20	c  146s |      18 |   421983 |   351952 |     1873    431 |       21 |       42
148.16/148.21	c  148s |      18 |   427188 |   356152 |     1873    436 |       21 |       42
150.16/150.21	c  150s |      18 |   432458 |   360452 |     1873    440 |       21 |       42
152.16/152.22	c  152s |      18 |   437481 |   364652 |     1873    444 |       21 |       42
154.16/154.26	c  154s |      18 |   442971 |   369152 |     1873    448 |       21 |       42
156.17/156.28	c  156s |      18 |   448082 |   373652 |     1873    452 |       21 |       42
158.26/158.32	c  158s |      18 |   453580 |   378152 |     1873    457 |       21 |       42
160.26/160.36	c  160s |      18 |   458957 |   382752 |     1873    461 |       21 |       42
162.36/162.40	c  162s |      18 |   464078 |   387052 |     1873    465 |       21 |       42
164.36/164.44	c  164s |      18 |   469312 |   391452 |     1873    470 |       21 |       42
166.36/166.45	c  166s |      18 |   474486 |   395752 |     1873    474 |       21 |       42
168.37/168.47	c  168s |      18 |   480260 |   400352 |     1873    478 |       21 |       42
170.36/170.49	c  170s |      18 |   485708 |   404652 |     1873    483 |       21 |       42
172.46/172.51	c  172s |      18 |   490961 |   409052 |     1873    487 |       21 |       42
174.46/174.53	c  174s |      18 |   496717 |   413552 |     1873    491 |       21 |       42
176.46/176.54	c  176s |      18 |   502261 |   417852 |     1873    495 |       21 |       42
178.46/178.59	c  178s |      18 |   507775 |   422252 |     1873    500 |       21 |       42
180.56/180.64	c  180s |      18 |   513026 |   426652 |     1873    504 |       21 |       42
182.57/182.64	c  182s |      18 |   518341 |   430952 |     1873    508 |       21 |       42
184.56/184.67	c  184s |      18 |   523669 |   435052 |     1873    512 |       21 |       42
186.66/186.71	c  186s |      18 |   528832 |   439252 |     1873    516 |       21 |       42
188.66/188.71	c  188s |      18 |   533808 |   443552 |     2061    520 |       21 |       42
189.06/189.17	c  189s |      19 |   534991 |   444482 |     2061    521 |       21 |       42
191.06/191.18	c  191s |      19 |   540230 |   448982 |     2061    525 |       21 |       42
193.16/193.20	c  193s |      19 |   545215 |   453182 |     2061    528 |       21 |       42
195.16/195.24	c  195s |      19 |   550340 |   457382 |     2061    532 |       21 |       42
197.16/197.26	c  197s |      19 |   556037 |   461782 |     2061    536 |       21 |       42
199.17/199.26	c  199s |      19 |   561253 |   465982 |     2061    540 |       21 |       42
201.16/201.29	c  201s |      19 |   566555 |   470382 |     2061    544 |       21 |       42
203.26/203.33	c  203s |      19 |   571738 |   474682 |     2061    547 |       21 |       42
205.25/205.34	c  205s |      19 |   577279 |   478982 |     2061    551 |       21 |       42
207.25/207.34	c  207s |      19 |   582663 |   483282 |     2061    555 |       21 |       42
209.25/209.38	c  209s |      19 |   588211 |   487882 |     2061    559 |       21 |       42
211.35/211.40	c  211s |      19 |   593322 |   492082 |     2061    563 |       21 |       42
213.36/213.43	c  213s |      19 |   598446 |   496282 |     2061    567 |       21 |       42
215.35/215.44	c  215s |      19 |   603381 |   500482 |     2061    570 |       21 |       42
217.35/217.45	c  217s |      19 |   608425 |   504682 |     2061    574 |       21 |       42
219.45/219.50	c  219s |      19 |   613910 |   509082 |     2061    578 |       21 |       42
221.45/221.53	c  221s |      19 |   619595 |   513382 |     2061    582 |       21 |       42
223.45/223.53	c  223s |      19 |   624947 |   517682 |     2061    586 |       21 |       42
225.46/225.57	c  225s |      19 |   630400 |   522082 |     2061    589 |       21 |       42
227.46/227.57	c  227s |      19 |   635434 |   526082 |     2061    593 |       21 |       42
229.46/229.59	c  229s |      19 |   640543 |   530482 |     2061    597 |       21 |       42
231.56/231.61	c  231s |      19 |   645590 |   534782 |     2061    601 |       21 |       42
233.56/233.63	c  233s |      19 |   650550 |   539082 |     2061    604 |       21 |       42
235.56/235.68	c  235s |      19 |   655789 |   543382 |     2061    608 |       21 |       42
237.57/237.69	c  237s |      19 |   661008 |   547682 |     2061    612 |       21 |       42
239.65/239.72	c  239s |      19 |   666572 |   552082 |     2061    616 |       21 |       42
241.65/241.75	c  241s |      19 |   672283 |   556482 |     2061    620 |       21 |       42
243.65/243.79	c  243s |      19 |   677713 |   560682 |     2061    623 |       21 |       42
245.75/245.83	c  245s |      19 |   683124 |   564782 |     2061    627 |       21 |       42
247.75/247.85	c  247s |      19 |   688654 |   568982 |     2061    631 |       21 |       42
249.76/249.87	c  249s |      19 |   693787 |   573282 |     2061    635 |       21 |       42
251.75/251.90	c  251s |      19 |   698941 |   577582 |     2061    638 |       21 |       42
253.85/253.95	c  253s |      19 |   704046 |   581782 |     2061    642 |       21 |       42
255.85/255.97	c  255s |      19 |   709361 |   585982 |     2061    646 |       21 |       42
257.95/258.01	c  257s |      19 |   714657 |   590082 |     2061    650 |       21 |       42
259.95/260.03	c  259s |      19 |   720089 |   594482 |     2061    653 |       21 |       42
261.95/262.06	c  262s |      19 |   725246 |   598882 |     2061    657 |       21 |       42
263.96/264.09	c  264s |      19 |   730394 |   603282 |     2061    661 |       21 |       42
266.05/266.12	c  266s |      19 |   735594 |   607682 |     2061    665 |       21 |       42
268.05/268.16	c  268s |      19 |   740792 |   612282 |     2061    669 |       21 |       42
270.15/270.21	c  270s |      19 |   746646 |   616682 |     2061    673 |       21 |       42
272.15/272.23	c  272s |      19 |   751991 |   621082 |     2061    677 |       21 |       42
274.15/274.27	c  274s |      19 |   757034 |   625382 |     2061    681 |       21 |       42
276.25/276.32	c  276s |      19 |   762151 |   629582 |     2061    685 |       21 |       42
278.25/278.37	c  278s |      19 |   767198 |   633782 |     2061    688 |       21 |       42
280.34/280.41	c  280s |      19 |   772074 |   637682 |     2061    692 |       21 |       42
282.34/282.43	c  282s |      19 |   776973 |   641682 |     2061    695 |       21 |       42
284.34/284.46	c  284s |      19 |   781741 |   645582 |     2061    699 |       21 |       42
286.34/286.48	c  286s |      19 |   786435 |   649582 |     2061    702 |       21 |       42
288.44/288.52	c  288s |      19 |   791406 |   653782 |     2061    706 |       21 |       42
290.45/290.54	c  290s |      19 |   797316 |   658182 |     2061    710 |       21 |       42
292.44/292.59	c  292s |      19 |   802781 |   662482 |     2268    713 |       21 |       42
294.54/294.60	c  294s |      19 |   807941 |   666382 |     2268    717 |       21 |       42
294.75/294.82	c  294s |      20 |   808515 |   666827 |     2268    717 |       21 |       42
296.74/296.87	c  296s |      20 |   813846 |   671127 |     2268    721 |       21 |       42
298.74/298.87	c  298s |      20 |   818766 |   675127 |     2268    724 |       21 |       42
300.74/300.88	c  300s |      20 |   823463 |   679127 |     2268    727 |       21 |       42
302.74/302.90	c  302s |      20 |   828263 |   683227 |     2268    730 |       21 |       42
304.84/304.93	c  304s |      20 |   833309 |   687427 |     2268    734 |       21 |       42
306.85/306.96	c  306s |      20 |   838187 |   691427 |     2268    737 |       21 |       42
308.84/308.99	c  308s |      20 |   843081 |   695327 |     2268    740 |       21 |       42
310.93/311.03	c  310s |      20 |   848263 |   699727 |     2268    744 |       21 |       42
312.94/313.06	c  313s |      20 |   852876 |   703627 |     2268    747 |       21 |       42
314.94/315.08	c  315s |      20 |   857650 |   707427 |     2268    750 |       21 |       42
317.04/317.11	c  317s |      20 |   862782 |   711727 |     2268    753 |       21 |       42
319.05/319.12	c  319s |      20 |   867679 |   715827 |     2268    757 |       21 |       42
321.04/321.16	c  321s |      20 |   872192 |   719727 |     2268    760 |       21 |       42
323.14/323.20	c  323s |      20 |   876770 |   723627 |     2268    763 |       21 |       42
325.14/325.21	c  325s |      20 |   881476 |   727627 |     2268    766 |       21 |       42
327.14/327.23	c  327s |      20 |   886567 |   731827 |     2268    770 |       21 |       42
329.14/329.27	c  329s |      20 |   891296 |   735927 |     2268    773 |       21 |       42
331.23/331.31	c  331s |      20 |   895913 |   739827 |     2268    776 |       21 |       42
333.25/333.32	c  333s |      20 |   900555 |   743627 |     2268    779 |       21 |       42
335.23/335.37	c  335s |      20 |   905661 |   747727 |     2268    783 |       21 |       42
337.33/337.41	c  337s |      20 |   910654 |   751827 |     2268    786 |       21 |       42
339.33/339.45	c  339s |      20 |   915458 |   755627 |     2268    789 |       21 |       42
341.33/341.46	c  341s |      20 |   920289 |   759527 |     2268    792 |       21 |       42
343.33/343.49	c  343s |      20 |   925109 |   763627 |     2268    795 |       21 |       42
345.44/345.52	c  345s |      20 |   929842 |   767427 |     2268    798 |       21 |       42
347.43/347.58	c  347s |      20 |   934290 |   771227 |     2268    802 |       21 |       42
349.53/349.60	c  349s |      20 |   938731 |   774927 |     2268    804 |       21 |       42
351.53/351.63	c  351s |      20 |   943284 |   778627 |     2268    807 |       21 |       42
353.53/353.68	c  353s |      20 |   947815 |   782427 |     2268    811 |       21 |       42
355.63/355.72	c  355s |      20 |   952626 |   786627 |     2268    814 |       21 |       42
357.63/357.73	c  357s |      20 |   957410 |   790527 |     2268    817 |       21 |       42
359.65/359.78	c  359s |      20 |   962066 |   794427 |     2268    820 |       21 |       42
361.73/361.82	c  361s |      20 |   966759 |   798227 |     2268    823 |       21 |       42
363.73/363.83	c  363s |      20 |   971316 |   801927 |     2268    826 |       21 |       42
365.73/365.88	c  365s |      20 |   975819 |   805627 |     2268    829 |       21 |       42
367.83/367.93	c  367s |      20 |   980388 |   809327 |     2268    832 |       21 |       42
369.83/369.95	c  369s |      20 |   985191 |   813427 |     2268    835 |       21 |       42
371.84/372.00	c  371s |      20 |   990074 |   817427 |     2268    839 |       21 |       42
373.94/374.04	c  374s |      20 |   994714 |   821427 |     2268    842 |       21 |       42
375.93/376.07	c  376s |      20 |   999625 |   825527 |     2268    845 |       21 |       42
377.93/378.09	c  378s |      20 |  1004390 |   829427 |     2268    848 |       21 |       42
380.03/380.13	c  380s |      20 |  1009203 |   833327 |     2268    852 |       21 |       42
382.03/382.17	c  382s |      20 |  1014355 |   837427 |     2268    855 |       21 |       42
384.03/384.18	c  384s |      20 |  1019258 |   841627 |     2268    858 |       21 |       42
386.14/386.21	c  386s |      20 |  1024205 |   845727 |     2268    862 |       21 |       42
388.13/388.22	c  388s |      20 |  1029516 |   850027 |     2268    865 |       21 |       42
390.13/390.25	c  390s |      20 |  1034441 |   854127 |     2268    868 |       21 |       42
392.13/392.29	c  392s |      20 |  1039338 |   858327 |     2268    872 |       21 |       42
394.23/394.31	c  394s |      20 |  1044581 |   862527 |     2268    875 |       21 |       42
396.23/396.33	c  396s |      20 |  1049607 |   866727 |     2268    879 |       21 |       42
398.24/398.33	c  398s |      20 |  1054523 |   870927 |     2268    882 |       21 |       42
400.23/400.35	c  400s |      20 |  1059137 |   874927 |     2268    885 |       21 |       42
402.22/402.39	c  402s |      20 |  1063745 |   878827 |     2268    889 |       21 |       42
404.32/404.42	c  404s |      20 |  1068506 |   882927 |     2268    892 |       21 |       42
406.32/406.43	c  406s |      20 |  1073088 |   886827 |     2268    895 |       21 |       42
408.32/408.47	c  408s |      20 |  1077792 |   890827 |     2268    898 |       21 |       42
410.33/410.48	c  410s |      20 |  1082539 |   894627 |     2268    901 |       21 |       42
412.02/412.14	c  412s |      20 |  1086707 |   898145 |     2268    904 |       21 |       42
412.02/412.14	c #cpu_time = 411.054s
412.02/412.16	c #wall_clock_time = 412.107s
412.02/412.16	c #decision = 1086707
412.02/412.16	c #random_decision = 2669
412.02/412.16	c #conflict = 898145
412.02/412.16	c #restart = 20
412.02/412.16	s SATISFIABLE
412.02/412.16	v x1 -x2 x3 -x4 -x5 -x6 x7 -x8 x9 -x10
412.02/412.16	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
412.02/412.16	v -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 x29 -x30
412.02/412.16	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
412.02/412.16	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
412.02/412.16	v -x51 -x52 -x53 -x54 -x55 x56 -x57 x58 -x59 x60
412.02/412.16	v x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 x69 -x70
412.02/412.16	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
412.02/412.16	v x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 x89 -x90
412.02/412.16	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
412.02/412.16	v x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
412.02/412.16	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
412.02/412.16	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
412.02/412.16	v -x131 x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140
412.02/412.16	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
412.02/412.16	v -x151 x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 x160
412.02/412.16	v -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170
412.02/412.16	v -x171 -x172 -x173 x174 -x175 x176 -x177 -x178 -x179 -x180
412.02/412.16	v -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190
412.02/412.16	v -x191 -x192 -x193 -x194 -x195 x196 -x197 x198 -x199 -x200
412.02/412.16	v -x201 x202 -x203 x204 x205 -x206 -x207 x208 -x209 x210
412.02/412.16	v -x211 x212 x213 -x214 x215 -x216 x217 -x218 x219 -x220
412.02/412.16	v -x221 x222 -x223 x224 x225 -x226 -x227 x228 -x229 x230
412.02/412.16	v x231 -x232 x233 -x234 x235 -x236 x237 -x238 x239 -x240
412.02/412.16	v -x241 x242 x243 -x244 x245 -x246 -x247 x248 -x249 x250
412.02/412.16	v -x251 x252 x253 -x254 x255 -x256 -x257 -x258 -x259 -x260
412.02/412.16	v -x261 x262 -x263 x264 -x265 x266 -x267 x268 -x269 x270
412.02/412.16	v -x271 x272 -x273 x274 -x275 x276 -x277 x278 x279 -x280
412.02/412.16	v x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 -x290
412.02/412.16	v x291 -x292 x293 -x294 x295 -x296 -x297 -x298 -x299 -x300
412.02/412.16	v -x301 -x302 x303 -x304 x305 -x306 x307 -x308 -x309 x310
412.02/412.16	v -x311 x312 x313 -x314 -x315 x316
412.02/412.16	c total CPU time = 411.090s
412.02/412.16	c total wall clock time = 412.143s

Verifier Data 

OK	0

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

pid=25928
running on 8 cores: 0-3,8-11

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


[startup+0 s]
/proc/loadavg: 1.92 2.50 2.42 3/254 25931
/proc/meminfo: memFree=32086032/32872528 swapFree=9196/9196
[pid=25931] ppid=25928 vsize=878148 CPUtime=0 cores=0-3,8-11
/proc/25931/stat : 25931 (toysat) R 25928 25931 25889 0 -1 4202496 3304 0 0 0 0 0 0 0 20 0 4 0 103520747 899223552 3665 33554432000 4194304 16246674 140736211554928 140736211554352 13880264 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25931/statm: 220305 3674 442 2943 0 217199 0
[pid=25931/tid=25938] ppid=25928 vsize=905796 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25938/stat : 25938 (toysat) S 25928 25931 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103520747 927535104 3774 33554432000 4194304 16246674 140736211554928 140315981753584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25931/tid=25939] ppid=25928 vsize=910916 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25939/stat : 25939 (toysat) S 25928 25931 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 932777984 3793 33554432000 4194304 16246674 140736211554928 140315971263728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25931/tid=25940] ppid=25928 vsize=915012 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25940/stat : 25940 (toysat) S 25928 25931 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103520747 936972288 3808 33554432000 4194304 16246674 140736211554928 140315960790192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0

[startup+0.100195 s]
/proc/loadavg: 1.92 2.50 2.42 3/254 25931
/proc/meminfo: memFree=32086032/32872528 swapFree=9196/9196
[pid=25931] ppid=25928 vsize=1218116 CPUtime=0.09 cores=0-3,8-11
/proc/25931/stat : 25931 (toysat) R 25928 25931 25889 0 -1 4202496 24620 0 0 0 6 3 0 0 20 0 4 0 103520747 1247350784 24971 33554432000 4194304 16246674 140736211554928 140736211554352 5830026 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25931/statm: 304529 24976 735 2943 0 301423 0
[pid=25931/tid=25938] ppid=25928 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25938/stat : 25938 (toysat) S 25928 25931 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103520747 1247350784 24980 33554432000 4194304 16246674 140736211554928 140315981753584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25931/tid=25939] ppid=25928 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25939/stat : 25939 (toysat) S 25928 25931 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1247350784 24984 33554432000 4194304 16246674 140736211554928 140315971263728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25931/tid=25940] ppid=25928 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25940/stat : 25940 (toysat) S 25928 25931 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103520747 1247350784 24988 33554432000 4194304 16246674 140736211554928 140315960790192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200532 s]
/proc/loadavg: 1.92 2.50 2.42 3/254 25931
/proc/meminfo: memFree=32086032/32872528 swapFree=9196/9196
[pid=25931] ppid=25928 vsize=1218116 CPUtime=0.18 cores=0-3,8-11
/proc/25931/stat : 25931 (toysat) R 25928 25931 25889 0 -1 4202496 45379 0 0 0 13 5 0 0 20 0 4 0 103520747 1247350784 45729 33554432000 4194304 16246674 140736211554928 140736211554352 5675357 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25931/statm: 304529 45735 735 2943 0 301423 0
[pid=25931/tid=25938] ppid=25928 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25938/stat : 25938 (toysat) S 25928 25931 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103520747 1247350784 45740 33554432000 4194304 16246674 140736211554928 140315981753584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25931/tid=25939] ppid=25928 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25939/stat : 25939 (toysat) S 25928 25931 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1247350784 45745 33554432000 4194304 16246674 140736211554928 140315971263728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25931/tid=25940] ppid=25928 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25940/stat : 25940 (toysat) S 25928 25931 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103520747 1247350784 45749 33554432000 4194304 16246674 140736211554928 140315960790192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300496 s]
/proc/loadavg: 1.92 2.50 2.42 3/254 25931
/proc/meminfo: memFree=32086032/32872528 swapFree=9196/9196
[pid=25931] ppid=25928 vsize=1218116 CPUtime=0.28 cores=0-3,8-11
/proc/25931/stat : 25931 (toysat) R 25928 25931 25889 0 -1 4202496 67537 0 0 0 20 8 0 0 20 0 4 0 103520747 1247350784 67888 33554432000 4194304 16246674 140736211554928 140736211536832 5675357 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25931/statm: 304529 67893 735 2943 0 301423 0
[pid=25931/tid=25938] ppid=25928 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25938/stat : 25938 (toysat) S 25928 25931 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103520747 1247350784 67896 33554432000 4194304 16246674 140736211554928 140315981753584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25931/tid=25939] ppid=25928 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25939/stat : 25939 (toysat) S 25928 25931 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1247350784 67905 33554432000 4194304 16246674 140736211554928 140315971263728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25931/tid=25940] ppid=25928 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25940/stat : 25940 (toysat) S 25928 25931 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103520747 1247350784 67914 33554432000 4194304 16246674 140736211554928 140315960790192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.70039 s]
/proc/loadavg: 1.92 2.50 2.42 3/254 25931
/proc/meminfo: memFree=32086032/32872528 swapFree=9196/9196
[pid=25931] ppid=25928 vsize=1218116 CPUtime=0.68 cores=0-3,8-11
/proc/25931/stat : 25931 (toysat) R 25928 25931 25889 0 -1 4202496 158897 0 0 0 48 20 0 0 20 0 4 0 103520747 1247350784 159247 33554432000 4194304 16246674 140736211554928 140736211536832 5707789 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25931/statm: 304529 159259 735 2943 0 301423 0
[pid=25931/tid=25938] ppid=25928 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25938/stat : 25938 (toysat) S 25928 25931 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103520747 1247350784 159267 33554432000 4194304 16246674 140736211554928 140315981753584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25931/tid=25939] ppid=25928 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25939/stat : 25939 (toysat) S 25928 25931 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1247350784 159276 33554432000 4194304 16246674 140736211554928 140315971263728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25931/tid=25940] ppid=25928 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25940/stat : 25940 (toysat) S 25928 25931 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103520747 1247350784 159282 33554432000 4194304 16246674 140736211554928 140315960790192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 1.92 2.50 2.42 3/265 25942
/proc/meminfo: memFree=30642484/32872528 swapFree=9196/9196
[pid=25931] ppid=25928 vsize=1220164 CPUtime=1.49 cores=0-3,8-11
/proc/25931/stat : 25931 (toysat) R 25928 25931 25889 0 -1 4202496 245808 0 0 0 117 32 0 0 20 0 4 0 103520747 1249447936 246138 33554432000 4194304 16246674 140736211554928 140736211536832 5722180 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25931/statm: 305041 246138 800 2943 0 301935 0
[pid=25931/tid=25938] ppid=25928 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25938/stat : 25938 (toysat) S 25928 25931 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103520747 1249447936 246138 33554432000 4194304 16246674 140736211554928 140315981753584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25931/tid=25939] ppid=25928 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25939/stat : 25939 (toysat) S 25928 25931 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1249447936 246138 33554432000 4194304 16246674 140736211554928 140315971263728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25931/tid=25940] ppid=25928 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25940/stat : 25940 (toysat) S 25928 25931 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1249447936 246138 33554432000 4194304 16246674 140736211554928 140315960790192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1220164

[startup+3.10041 s]
/proc/loadavg: 1.92 2.50 2.42 3/265 25942
/proc/meminfo: memFree=30555660/32872528 swapFree=9196/9196
[pid=25931] ppid=25928 vsize=1306180 CPUtime=3.09 cores=0-3,8-11
/proc/25931/stat : 25931 (toysat) R 25928 25931 25889 0 -1 4202496 267407 0 0 0 274 35 0 0 20 0 4 0 103520747 1337528320 267737 33554432000 4194304 16246674 140736211554928 140736211537928 5553716 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25931/statm: 326545 267737 800 2943 0 323439 0
[pid=25931/tid=25938] ppid=25928 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25938/stat : 25938 (toysat) S 25928 25931 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103520747 1337528320 267737 33554432000 4194304 16246674 140736211554928 140315981753584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25931/tid=25939] ppid=25928 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25939/stat : 25939 (toysat) S 25928 25931 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1337528320 267737 33554432000 4194304 16246674 140736211554928 140315971263728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25931/tid=25940] ppid=25928 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25940/stat : 25940 (toysat) S 25928 25931 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1337528320 267737 33554432000 4194304 16246674 140736211554928 140315960790192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.09 2.52 2.43 3/265 25942
/proc/meminfo: memFree=30553656/32872528 swapFree=9196/9196
[pid=25931] ppid=25928 vsize=1306180 CPUtime=6.29 cores=0-3,8-11
/proc/25931/stat : 25931 (toysat) R 25928 25931 25889 0 -1 4202496 267539 0 0 0 594 35 0 0 20 0 4 0 103520747 1337528320 267869 33554432000 4194304 16246674 140736211554928 140736211536832 5707776 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25931/statm: 326545 267869 801 2943 0 323439 0
[pid=25931/tid=25938] ppid=25928 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25938/stat : 25938 (toysat) S 25928 25931 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103520747 1337528320 267869 33554432000 4194304 16246674 140736211554928 140315981753584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25931/tid=25939] ppid=25928 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25939/stat : 25939 (toysat) S 25928 25931 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1337528320 267869 33554432000 4194304 16246674 140736211554928 140315971263728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25931/tid=25940] ppid=25928 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25940/stat : 25940 (toysat) S 25928 25931 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1337528320 267869 33554432000 4194304 16246674 140736211554928 140315960790192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.08 2.52 2.43 3/265 25942
/proc/meminfo: memFree=30555420/32872528 swapFree=9196/9196
[pid=25931] ppid=25928 vsize=1307204 CPUtime=12.68 cores=0-3,8-11
/proc/25931/stat : 25931 (toysat) R 25928 25931 25889 0 -1 4202496 267621 0 0 0 1233 35 0 0 20 0 4 0 103520747 1338576896 267951 33554432000 4194304 16246674 140736211554928 140736211536832 13950202 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25931/statm: 326801 267951 802 2943 0 323695 0
[pid=25931/tid=25938] ppid=25928 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25938/stat : 25938 (toysat) S 25928 25931 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103520747 1338576896 267951 33554432000 4194304 16246674 140736211554928 140315981753584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25931/tid=25939] ppid=25928 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25939/stat : 25939 (toysat) S 25928 25931 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1338576896 267951 33554432000 4194304 16246674 140736211554928 140315971263728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25931/tid=25940] ppid=25928 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25940/stat : 25940 (toysat) S 25928 25931 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1338576896 267951 33554432000 4194304 16246674 140736211554928 140315960790192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.14 2.51 2.42 3/266 25945
/proc/meminfo: memFree=30555640/32872528 swapFree=9196/9196
[pid=25931] ppid=25928 vsize=1307204 CPUtime=25.48 cores=0-3,8-11
/proc/25931/stat : 25931 (toysat) R 25928 25931 25889 0 -1 4202496 267842 0 0 0 2513 35 0 0 20 0 4 0 103520747 1338576896 268172 33554432000 4194304 16246674 140736211554928 140736211536832 5676613 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25931/statm: 326801 268172 804 2943 0 323695 0
[pid=25931/tid=25938] ppid=25928 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25938/stat : 25938 (toysat) S 25928 25931 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103520747 1338576896 268172 33554432000 4194304 16246674 140736211554928 140315981753584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25931/tid=25939] ppid=25928 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25939/stat : 25939 (toysat) S 25928 25931 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1338576896 268172 33554432000 4194304 16246674 140736211554928 140315971263728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25931/tid=25940] ppid=25928 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25940/stat : 25940 (toysat) S 25928 25931 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1338576896 268172 33554432000 4194304 16246674 140736211554928 140315960790192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.15 2.48 2.42 3/266 25945
/proc/meminfo: memFree=30556492/32872528 swapFree=9196/9196
[pid=25931] ppid=25928 vsize=1307204 CPUtime=51.08 cores=0-3,8-11
/proc/25931/stat : 25931 (toysat) R 25928 25931 25889 0 -1 4202496 267842 0 0 0 5072 36 0 0 20 0 4 0 103520747 1338576896 268172 33554432000 4194304 16246674 140736211554928 140736211536832 13759557 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25931/statm: 326801 268172 804 2943 0 323695 0
[pid=25931/tid=25938] ppid=25928 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25938/stat : 25938 (toysat) S 25928 25931 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103520747 1338576896 268172 33554432000 4194304 16246674 140736211554928 140315981753584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25931/tid=25939] ppid=25928 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25939/stat : 25939 (toysat) S 25928 25931 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1338576896 268172 33554432000 4194304 16246674 140736211554928 140315971263728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25931/tid=25940] ppid=25928 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25940/stat : 25940 (toysat) S 25928 25931 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1338576896 268172 33554432000 4194304 16246674 140736211554928 140315960790192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.301 s]
/proc/loadavg: 2.15 2.43 2.40 3/265 25946
/proc/meminfo: memFree=30474824/32872528 swapFree=9196/9196
[pid=25931] ppid=25928 vsize=1308228 CPUtime=102.28 cores=0-3,8-11
/proc/25931/stat : 25931 (toysat) R 25928 25931 25889 0 -1 4202496 268085 0 0 0 10192 36 0 0 20 0 4 0 103520747 1339625472 268415 33554432000 4194304 16246674 140736211554928 140736211536832 13950986 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25931/statm: 327057 268415 804 2943 0 323951 0
[pid=25931/tid=25938] ppid=25928 vsize=1308228 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25938/stat : 25938 (toysat) S 25928 25931 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103520747 1339625472 268415 33554432000 4194304 16246674 140736211554928 140315981753584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25931/tid=25939] ppid=25928 vsize=1308228 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25939/stat : 25939 (toysat) S 25928 25931 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1339625472 268415 33554432000 4194304 16246674 140736211554928 140315971263728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25931/tid=25940] ppid=25928 vsize=1308228 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25940/stat : 25940 (toysat) S 25928 25931 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1339625472 268415 33554432000 4194304 16246674 140736211554928 140315960790192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1308228

[startup+162.3 s]
/proc/loadavg: 2.09 2.37 2.38 3/265 25947
/proc/meminfo: memFree=30202116/32872528 swapFree=9196/9196
[pid=25931] ppid=25928 vsize=1309252 CPUtime=162.26 cores=0-3,8-11
/proc/25931/stat : 25931 (toysat) R 25928 25931 25889 0 -1 4202496 268137 0 0 0 16190 36 0 0 20 0 4 0 103520747 1340674048 268467 33554432000 4194304 16246674 140736211554928 140736211536832 5722960 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25931/statm: 327313 268467 804 2943 0 324207 0
[pid=25931/tid=25938] ppid=25928 vsize=1309252 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25938/stat : 25938 (toysat) S 25928 25931 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103520747 1340674048 268467 33554432000 4194304 16246674 140736211554928 140315981753584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25931/tid=25939] ppid=25928 vsize=1309252 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25939/stat : 25939 (toysat) S 25928 25931 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1340674048 268467 33554432000 4194304 16246674 140736211554928 140315971263728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25931/tid=25940] ppid=25928 vsize=1309252 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25940/stat : 25940 (toysat) S 25928 25931 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1340674048 268467 33554432000 4194304 16246674 140736211554928 140315960790192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1309252

[startup+222.311 s]
/proc/loadavg: 2.03 2.30 2.35 3/265 25948
/proc/meminfo: memFree=29936832/32872528 swapFree=9196/9196
[pid=25931] ppid=25928 vsize=1312324 CPUtime=222.26 cores=0-3,8-11
/proc/25931/stat : 25931 (toysat) R 25928 25931 25889 0 -1 4202496 269122 0 0 0 22189 37 0 0 20 0 4 0 103520747 1343819776 269452 33554432000 4194304 16246674 140736211554928 140736211536832 5659576 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25931/statm: 328081 269452 804 2943 0 324975 0
[pid=25931/tid=25938] ppid=25928 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25938/stat : 25938 (toysat) S 25928 25931 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103520747 1343819776 269452 33554432000 4194304 16246674 140736211554928 140315981753584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25931/tid=25939] ppid=25928 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25939/stat : 25939 (toysat) S 25928 25931 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1343819776 269452 33554432000 4194304 16246674 140736211554928 140315971263728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25931/tid=25940] ppid=25928 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25940/stat : 25940 (toysat) S 25928 25931 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1343819776 269452 33554432000 4194304 16246674 140736211554928 140315960790192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1312324

[startup+282.3 s]
/proc/loadavg: 2.14 2.28 2.34 3/265 25950
/proc/meminfo: memFree=29926876/32872528 swapFree=9196/9196
[pid=25931] ppid=25928 vsize=1312324 CPUtime=282.24 cores=0-3,8-11
/proc/25931/stat : 25931 (toysat) R 25928 25931 25889 0 -1 4202496 269122 0 0 0 28186 38 0 0 20 0 4 0 103520747 1343819776 269452 33554432000 4194304 16246674 140736211554928 140736211536832 5722908 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25931/statm: 328081 269452 804 2943 0 324975 0
[pid=25931/tid=25938] ppid=25928 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25938/stat : 25938 (toysat) S 25928 25931 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103520747 1343819776 269452 33554432000 4194304 16246674 140736211554928 140315981753584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25931/tid=25939] ppid=25928 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25939/stat : 25939 (toysat) S 25928 25931 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1343819776 269452 33554432000 4194304 16246674 140736211554928 140315971263728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25931/tid=25940] ppid=25928 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25940/stat : 25940 (toysat) S 25928 25931 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1343819776 269452 33554432000 4194304 16246674 140736211554928 140315960790192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1312324

[startup+342.301 s]
/proc/loadavg: 2.05 2.23 2.32 3/265 25951
/proc/meminfo: memFree=29926656/32872528 swapFree=9196/9196
[pid=25931] ppid=25928 vsize=1312324 CPUtime=342.23 cores=0-3,8-11
/proc/25931/stat : 25931 (toysat) R 25928 25931 25889 0 -1 4202496 269122 0 0 0 34184 39 0 0 20 0 4 0 103520747 1343819776 269452 33554432000 4194304 16246674 140736211554928 140736211536832 4220897 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25931/statm: 328081 269452 804 2943 0 324975 0
[pid=25931/tid=25938] ppid=25928 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25938/stat : 25938 (toysat) S 25928 25931 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103520747 1343819776 269452 33554432000 4194304 16246674 140736211554928 140315981753584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25931/tid=25939] ppid=25928 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25939/stat : 25939 (toysat) S 25928 25931 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1343819776 269452 33554432000 4194304 16246674 140736211554928 140315971263728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25931/tid=25940] ppid=25928 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25940/stat : 25940 (toysat) S 25928 25931 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1343819776 269452 33554432000 4194304 16246674 140736211554928 140315960790192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1312324

[startup+402.3 s]
/proc/loadavg: 2.16 2.23 2.31 3/265 25952
/proc/meminfo: memFree=29926432/32872528 swapFree=9196/9196
[pid=25931] ppid=25928 vsize=1312324 CPUtime=402.22 cores=0-3,8-11
/proc/25931/stat : 25931 (toysat) R 25928 25931 25889 0 -1 4202496 269122 0 0 0 40182 40 0 0 20 0 4 0 103520747 1343819776 269452 33554432000 4194304 16246674 140736211554928 140736211536832 5822604 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25931/statm: 328081 269452 804 2943 0 324975 0
[pid=25931/tid=25938] ppid=25928 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25938/stat : 25938 (toysat) S 25928 25931 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103520747 1343819776 269452 33554432000 4194304 16246674 140736211554928 140315981753584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25931/tid=25939] ppid=25928 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25939/stat : 25939 (toysat) S 25928 25931 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1343819776 269452 33554432000 4194304 16246674 140736211554928 140315971263728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25931/tid=25940] ppid=25928 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25940/stat : 25940 (toysat) S 25928 25931 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1343819776 269452 33554432000 4194304 16246674 140736211554928 140315960790192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1312324

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

[startup+403.2 s]
/proc/loadavg: 2.16 2.23 2.31 3/265 25952
/proc/meminfo: memFree=29926432/32872528 swapFree=9196/9196
[pid=25931] ppid=25928 vsize=1312324 CPUtime=403.12 cores=0-3,8-11
/proc/25931/stat : 25931 (toysat) R 25928 25931 25889 0 -1 4202496 269122 0 0 0 40272 40 0 0 20 0 4 0 103520747 1343819776 269452 33554432000 4194304 16246674 140736211554928 140736211536832 13775094 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25931/statm: 328081 269452 804 2943 0 324975 0
[pid=25931/tid=25938] ppid=25928 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25938/stat : 25938 (toysat) S 25928 25931 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103520747 1343819776 269452 33554432000 4194304 16246674 140736211554928 140315981753584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25931/tid=25939] ppid=25928 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25939/stat : 25939 (toysat) S 25928 25931 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1343819776 269452 33554432000 4194304 16246674 140736211554928 140315971263728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25931/tid=25940] ppid=25928 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25940/stat : 25940 (toysat) S 25928 25931 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1343819776 269452 33554432000 4194304 16246674 140736211554928 140315960790192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 403.12
Current children cumulated vsize (KiB) 1312324

[startup+406.4 s]
/proc/loadavg: 2.15 2.23 2.31 3/265 25952
/proc/meminfo: memFree=29926168/32872528 swapFree=9196/9196
[pid=25931] ppid=25928 vsize=1312324 CPUtime=406.32 cores=0-3,8-11
/proc/25931/stat : 25931 (toysat) R 25928 25931 25889 0 -1 4202496 269122 0 0 0 40592 40 0 0 20 0 4 0 103520747 1343819776 269452 33554432000 4194304 16246674 140736211554928 140736211536832 5827966 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25931/statm: 328081 269452 804 2943 0 324975 0
[pid=25931/tid=25938] ppid=25928 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25938/stat : 25938 (toysat) S 25928 25931 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103520747 1343819776 269452 33554432000 4194304 16246674 140736211554928 140315981753584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25931/tid=25939] ppid=25928 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25939/stat : 25939 (toysat) S 25928 25931 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1343819776 269452 33554432000 4194304 16246674 140736211554928 140315971263728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25931/tid=25940] ppid=25928 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25940/stat : 25940 (toysat) S 25928 25931 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1343819776 269452 33554432000 4194304 16246674 140736211554928 140315960790192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 406.32
Current children cumulated vsize (KiB) 1312324

[startup+409.6 s]
/proc/loadavg: 2.15 2.23 2.31 3/265 25952
/proc/meminfo: memFree=29926296/32872528 swapFree=9196/9196
[pid=25931] ppid=25928 vsize=1312324 CPUtime=409.52 cores=0-3,8-11
/proc/25931/stat : 25931 (toysat) R 25928 25931 25889 0 -1 4202496 269122 0 0 0 40912 40 0 0 20 0 4 0 103520747 1343819776 269452 33554432000 4194304 16246674 140736211554928 140736211536832 5721677 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25931/statm: 328081 269452 804 2943 0 324975 0
[pid=25931/tid=25938] ppid=25928 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25938/stat : 25938 (toysat) S 25928 25931 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103520747 1343819776 269452 33554432000 4194304 16246674 140736211554928 140315981753584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25931/tid=25939] ppid=25928 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25939/stat : 25939 (toysat) S 25928 25931 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1343819776 269452 33554432000 4194304 16246674 140736211554928 140315971263728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25931/tid=25940] ppid=25928 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25940/stat : 25940 (toysat) S 25928 25931 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1343819776 269452 33554432000 4194304 16246674 140736211554928 140315960790192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 409.52
Current children cumulated vsize (KiB) 1312324

[startup+411.2 s]
/proc/loadavg: 2.14 2.22 2.31 3/265 25952
/proc/meminfo: memFree=29926296/32872528 swapFree=9196/9196
[pid=25931] ppid=25928 vsize=1312324 CPUtime=411.12 cores=0-3,8-11
/proc/25931/stat : 25931 (toysat) R 25928 25931 25889 0 -1 4202496 269122 0 0 0 41072 40 0 0 20 0 4 0 103520747 1343819776 269452 33554432000 4194304 16246674 140736211554928 140736211536832 6000284 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25931/statm: 328081 269452 804 2943 0 324975 0
[pid=25931/tid=25938] ppid=25928 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25938/stat : 25938 (toysat) S 25928 25931 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103520747 1343819776 269452 33554432000 4194304 16246674 140736211554928 140315981753584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25931/tid=25939] ppid=25928 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25939/stat : 25939 (toysat) S 25928 25931 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1343819776 269452 33554432000 4194304 16246674 140736211554928 140315971263728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25931/tid=25940] ppid=25928 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25940/stat : 25940 (toysat) S 25928 25931 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1343819776 269452 33554432000 4194304 16246674 140736211554928 140315960790192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 411.12
Current children cumulated vsize (KiB) 1312324

[startup+412 s]
/proc/loadavg: 2.14 2.22 2.31 3/265 25952
/proc/meminfo: memFree=29926420/32872528 swapFree=9196/9196
[pid=25931] ppid=25928 vsize=1312324 CPUtime=411.92 cores=0-3,8-11
/proc/25931/stat : 25931 (toysat) R 25928 25931 25889 0 -1 4202496 269122 0 0 0 41152 40 0 0 20 0 4 0 103520747 1343819776 269452 33554432000 4194304 16246674 140736211554928 140736211536832 5677888 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25931/statm: 328081 269452 804 2943 0 324975 0
[pid=25931/tid=25938] ppid=25928 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25938/stat : 25938 (toysat) S 25928 25931 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103520747 1343819776 269452 33554432000 4194304 16246674 140736211554928 140315981753584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25931/tid=25939] ppid=25928 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25939/stat : 25939 (toysat) S 25928 25931 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1343819776 269452 33554432000 4194304 16246674 140736211554928 140315971263728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25931/tid=25940] ppid=25928 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/25931/task/25940/stat : 25940 (toysat) S 25928 25931 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1343819776 269452 33554432000 4194304 16246674 140736211554928 140315960790192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 411.92
Current children cumulated vsize (KiB) 1312324

[startup+412.2 s]
/proc/loadavg: 2.14 2.22 2.31 3/265 25952
/proc/meminfo: memFree=29926420/32872528 swapFree=9196/9196
[pid=25931] ppid=25928 vsize=0 CPUtime=412.12 cores=0-3,8-11
/proc/25931/stat : 25931 (toysat) Z 25928 25931 25889 0 -1 4202508 269129 0 0 0 41167 45 0 0 20 0 2 0 103520747 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25931/statm: 0 0 0 0 0 0 0
[pid=25931/tid=25938] ppid=25928 vsize=0 CPUtime=0.04 cores=0-3,8-11
/proc/25931/task/25938/stat : 25938 (toysat) R 25928 25931 25889 0 -1 4203588 10 0 0 0 0 4 0 0 20 0 2 0 103520747 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 412.12
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 412.207
CPU time (s): 412.131
CPU user time (s): 411.675
CPU system time (s): 0.45593
CPU usage (%): 99.9815
Max. virtual memory (cumulated for all children) (KiB): 1312324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 411.675
system time used= 0.45593
maximum resident set size= 1077828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269129
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= 17
involuntary context switches= 428

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.76173 second user time and 2.6376 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-06 14:39:47
IDJOB=4078706
IDBENCH=1157
IDSOLVER=2542
FILE ID=node132/4078706-1465216787
RUNJOBID= node132-1465216787-25905
PBS_JOBID= 19843203
Free space on /tmp= 71748 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army10.14bt.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078706-1465216787/watcher-4078706-1465216787 -o /tmp/evaluation-result-4078706-1465216787/solver-4078706-1465216787 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25905 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078706-1465216787.opb

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

MD5SUM BENCH= 35996461279b46395c12d24fd378138e
RANDOM SEED=2107216605

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        32088360 kB
Buffers:            1096 kB
Cached:            61964 kB
SwapCached:         2584 kB
Active:            54740 kB
Inactive:           9888 kB
Active(anon):       2720 kB
Inactive(anon):     2388 kB
Active(file):      52020 kB
Inactive(file):     7500 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67093476 kB
Dirty:             33488 kB
Writeback:             0 kB
AnonPages:         10876 kB
Mapped:             5500 kB
Shmem:                 0 kB
Slab:             571856 kB
SReclaimable:      11700 kB
SUnreclaim:       560156 kB
KernelStack:        2080 kB
PageTables:         3444 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     106448 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 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 node132 at 2016-06-06 14:46:40