Trace number 4122474

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 191.041 191.092

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-regular-n21-d4-i3.cnf.gz-extracted.pb.metafix.opb
MD5SUM4d0350f9515bfe0f7b847db9f54fac98
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 benchmark0.011997
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables85
Total number of constraints84
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)84
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint5
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 8
Number of bits of the biggest sum of numbers4
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-30T21:58:33+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-4122474-1467316713.opb"]
0.00/0.01	c use --random-gen="3788802455 2225368541 3772976112 1005243508 841347233 330362135 1698227054 2443170678 1489988544 2171381132 2118327838 1358829158 182424293 2016567482 388803399 3570661158 1468043971 478696371 3405220490 1793309497 3122809219 3566543809 3812646105 3183948446 505749750 1372072865 2414059815 3546355259 1624909181 3503721291 856094141 3303600432 3766999557 2732643564 529597286 723326753 584222548 2917839815 761798935 2259580732 2020726825 221160754 2347612656 2961288714 3313420677 252155963 1850699823 8944628 1544939268 213229016 898472071 430502602 3334085046 2260023380 396559480 3111982048 2819667774 3277851243 3994585668 1105138719 1964662849 582431533 2865230038 1212919782 919730819 569306433 2206534123 2361667514 1407714297 644830568 1055861796 1536373526 253627914 596933280 772275078 3525395514 3580725997 3984085442 3539136591 3261132068 151113837 3414439316 1102801778 2216737640 4028072919 4036842116 3529220819 2916404652 1404743002 3500686100 237120489 1776802353 3077993383 19124774 144396154 1020457047 607838701 3545465353 4240844260 1644006522 3103480704 2765383594 329195334 240887755 17421277 393197335 1612112199 1471467629 427056160 3952923937 3977443855 3246849040 2474166284 4271795412 2435095455 687312614 4001513110 2949570890 313424379 2672034229 4243930964 2696867289 2571660113 812285091 3071273143 3001976891 49664439 2473806400 2125836643 1646056439 3164862581 2405058337 713878754 1298905279 2734953111 560696968 1110914016 2016284562 4003972964 2553569199 3329378109 1409007795 1690223836 1562048126 424571907 3749778765 2971440886 227243631 1587843129 3732845989 3392617100 803696852 3176551807 3982736518 808930603 1489866438 336249503 50122090 3094334927 1757725995 3152314135 47656704 735180213 26681927 2868508003 2096072449 3838419306 3380342390 3375446448 1260368181 406411103 3174249748 3290496867 92740302 2741593715 1678266988 564503387 3918071916 1245001936 521241994 2098310176 3700380098 1821364636 3978595482 652619723 4253419496 3378525556 858413816 2327475499 2337891794 1869558338 187582746 1194151271 2715474643 2235428510 2038489740 298906430 873497367 2929240902 3110399025 2455547547 574878113 2945927671 1656867019 3302221262 553286818 2044176778 1339000796 2737490312 1471376943 3201829717 2067681711 70960984 3601821989 2892348129 357098233 1618168471 4195977185 3495439960 1545549582 3169622847 2599664986 2178487814 2476906080 3798430650 622105086 1524292725 1459334319 795774172 3906083103 3832433100 1083106756 1262833088 2410955373 507694172 3837032561 2734870016 2783984997 3931061078 4108796499 136291095 3980189482 2280719072 120423876 2249585379 3369121934 2791658991 1708771860 3636832473 2888445346 1464090192 3425666176 520748447 4256996641 24377379 3080565048 255 362436" option to reproduce the execution
0.00/0.01	c #vars 85
0.00/0.01	c #constraints 84
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       56      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      152 |      100 |       56      1 |        0 |        0
0.00/0.04	c  0.0s |       2 |      396 |      250 |       62      5 |        0 |        0
0.00/0.05	c  0.0s |       3 |      672 |      475 |       69      9 |        0 |        0
0.00/0.08	c  0.1s |       4 |     1086 |      813 |       76     15 |        0 |        0
0.09/0.12	c  0.1s |       5 |     1937 |     1320 |       84     25 |        0 |        0
0.09/0.19	c  0.2s |       6 |     2932 |     2081 |      103     39 |        0 |        0
0.18/0.29	c  0.3s |       7 |     4740 |     3223 |      114     57 |        0 |        0
0.38/0.44	c  0.4s |       8 |     6956 |     4936 |      126     82 |        0 |        0
0.59/0.68	c  0.7s |       9 |    10331 |     7506 |      139    116 |        0 |        0
0.99/1.02	c  1.0s |      10 |    15733 |    11361 |      153    165 |        0 |        0
1.29/1.39	c  1.4s |      11 |    25681 |    17144 |      169    233 |        0 |        0
1.89/1.91	c  1.9s |      12 |    38547 |    25819 |      186    328 |        0 |        0
2.69/2.78	c  2.8s |      13 |    56159 |    38832 |      205    457 |        0 |        0
3.89/3.99	c  4.0s |      14 |    83344 |    58352 |      226    635 |        0 |        0
5.79/5.82	c  5.8s |      15 |   124138 |    87632 |      249    879 |        0 |        0
7.79/7.82	c  7.8s |      15 |   172359 |   120132 |      249   1129 |        0 |        0
8.49/8.55	c  8.5s |      16 |   187949 |   131552 |      274   1216 |        0 |        0
10.49/10.56	c 10.5s |      16 |   229458 |   161852 |      274   1426 |        0 |        0
12.49/12.56	c 12.5s |      16 |   270503 |   192152 |      274   1636 |        0 |        0
12.89/12.92	c 12.9s |      17 |   277954 |   197432 |      302   1672 |        0 |        0
14.89/14.92	c 14.9s |      17 |   315790 |   226832 |      302   1859 |        0 |        0
16.89/16.92	c 16.9s |      17 |   353616 |   255932 |      302   2044 |        0 |        0
18.89/18.93	c 18.9s |      17 |   389147 |   283932 |      302   2222 |        0 |        0
19.69/19.79	c 19.8s |      18 |   405226 |   296252 |      333   2300 |        0 |        0
21.69/21.79	c 21.8s |      18 |   440694 |   324252 |      333   2462 |        0 |        0
23.79/23.80	c 23.8s |      18 |   476407 |   352852 |      333   2628 |        0 |        0
25.79/25.81	c 25.8s |      18 |   510909 |   381052 |      333   2793 |        0 |        0
27.78/27.81	c 27.8s |      18 |   543852 |   407952 |      333   2949 |        0 |        0
29.79/29.82	c 29.8s |      18 |   579233 |   435852 |      333   3112 |        0 |        0
30.38/30.41	c 30.4s |      19 |   590947 |   444482 |      367   3160 |        0 |        0
32.38/32.42	c 32.4s |      19 |   627057 |   472182 |      367   3305 |        0 |        0
34.38/34.43	c 34.4s |      19 |   663168 |   499882 |      367   3451 |        0 |        0
36.39/36.43	c 36.4s |      19 |   700867 |   528382 |      367   3601 |        0 |        0
38.38/38.44	c 38.4s |      19 |   738229 |   556582 |      367   3751 |        0 |        0
40.38/40.44	c 40.4s |      19 |   774334 |   583882 |      367   3896 |        0 |        0
42.38/42.44	c 42.4s |      19 |   813590 |   612882 |      367   4050 |        0 |        0
44.38/44.44	c 44.4s |      19 |   850241 |   641082 |      367   4199 |        0 |        0
46.29/46.34	c 46.3s |      20 |   882919 |   666827 |      404   4333 |        0 |        0
48.28/48.35	c 48.3s |      20 |   914027 |   692327 |      404   4455 |        0 |        0
50.28/50.35	c 50.3s |      20 |   953520 |   721327 |      404   4595 |        0 |        0
52.28/52.35	c 52.3s |      20 |   989108 |   748927 |      404   4729 |        0 |        0
54.28/54.35	c 54.3s |      20 |  1022060 |   775327 |      404   4857 |        0 |        0
56.27/56.36	c 56.3s |      20 |  1053734 |   800927 |      404   4979 |        0 |        0
58.28/58.36	c 58.3s |      20 |  1086556 |   827627 |      404   5108 |        0 |        0
60.27/60.37	c 60.4s |      20 |  1118630 |   854027 |      404   5236 |        0 |        0
62.27/62.37	c 62.4s |      20 |  1152590 |   881327 |      404   5369 |        0 |        0
64.27/64.37	c 64.4s |      20 |  1190257 |   910127 |      404   5509 |        0 |        0
66.28/66.37	c 66.4s |      20 |  1225283 |   937727 |      404   5643 |        0 |        0
68.29/68.38	c 68.4s |      20 |  1261840 |   965727 |      404   5779 |        0 |        0
70.28/70.38	c 70.4s |      20 |  1295514 |   993027 |      404   5911 |        0 |        0
70.88/70.94	c 70.9s |      21 |  1304456 |  1000345 |      445   5944 |        0 |        0
72.88/72.94	c 72.9s |      21 |  1339054 |  1027345 |      445   6062 |        0 |        0
74.88/74.94	c 74.9s |      21 |  1370172 |  1052545 |      445   6172 |        0 |        0
76.87/76.94	c 76.9s |      21 |  1403362 |  1078745 |      445   6287 |        0 |        0
78.87/78.95	c 78.9s |      21 |  1432907 |  1103445 |      445   6395 |        0 |        0
80.87/80.95	c 80.9s |      21 |  1464398 |  1129245 |      445   6509 |        0 |        0
82.87/82.96	c 82.9s |      21 |  1497608 |  1155545 |      445   6624 |        0 |        0
84.87/84.96	c 84.9s |      21 |  1528492 |  1180545 |      445   6734 |        0 |        0
86.87/86.97	c 87.0s |      21 |  1558131 |  1205045 |      445   6842 |        0 |        0
88.87/88.97	c 89.0s |      21 |  1588621 |  1229545 |      445   6949 |        0 |        0
90.87/90.97	c 91.0s |      21 |  1622718 |  1256545 |      445   7067 |        0 |        0
92.86/92.98	c 93.0s |      21 |  1656148 |  1283145 |      445   7183 |        0 |        0
94.87/94.98	c 95.0s |      21 |  1694111 |  1311545 |      445   7308 |        0 |        0
96.87/96.99	c 97.0s |      21 |  1728648 |  1338345 |      445   7427 |        0 |        0
98.86/98.99	c 99.0s |      21 |  1762827 |  1365445 |      445   7547 |        0 |        0
100.86/100.99	c  100s |      21 |  1799838 |  1393645 |      445   7670 |        0 |        0
102.86/102.99	c  102s |      21 |  1835874 |  1421345 |      445   7792 |        0 |        0
104.86/105.00	c  104s |      21 |  1871244 |  1448145 |      445   7909 |        0 |        0
106.96/107.00	c  106s |      21 |  1907054 |  1475045 |      445   8027 |        0 |        0
108.87/108.97	c  108s |      22 |  1940399 |  1500622 |      490   8135 |        0 |        0
110.86/110.98	c  110s |      22 |  1974229 |  1526822 |      490   8239 |        0 |        0
112.86/112.98	c  112s |      22 |  2004907 |  1552022 |      490   8340 |        0 |        0
114.86/114.99	c  114s |      22 |  2037258 |  1577822 |      490   8443 |        0 |        0
116.85/116.99	c  116s |      22 |  2068531 |  1602922 |      490   8543 |        0 |        0
118.96/119.00	c  118s |      22 |  2100487 |  1628122 |      490   8644 |        0 |        0
120.97/121.01	c  120s |      22 |  2135971 |  1654322 |      490   8748 |        0 |        0
122.96/123.01	c  122s |      22 |  2170154 |  1680322 |      490   8852 |        0 |        0
124.96/125.01	c  124s |      22 |  2203013 |  1706322 |      490   8957 |        0 |        0
126.96/127.01	c  126s |      22 |  2235544 |  1732022 |      490   9059 |        0 |        0
128.96/129.02	c  129s |      22 |  2270183 |  1758422 |      490   9165 |        0 |        0
130.96/131.02	c  131s |      22 |  2304752 |  1784722 |      490   9271 |        0 |        0
132.95/133.03	c  133s |      22 |  2339872 |  1811622 |      490   9379 |        0 |        0
134.95/135.03	c  135s |      22 |  2372271 |  1837622 |      490   9483 |        0 |        0
136.95/137.04	c  137s |      22 |  2403543 |  1862622 |      490   9582 |        0 |        0
138.95/139.04	c  139s |      22 |  2435036 |  1888022 |      490   9683 |        0 |        0
140.95/141.05	c  141s |      22 |  2468049 |  1914122 |      490   9787 |        0 |        0
142.96/143.05	c  143s |      22 |  2501142 |  1939622 |      490   9889 |        0 |        0
144.96/145.05	c  145s |      22 |  2530641 |  1963822 |      490   9986 |        0 |        0
146.95/147.06	c  147s |      22 |  2562632 |  1989022 |      490  10086 |        0 |        0
148.95/149.06	c  149s |      22 |  2596878 |  2014822 |      490  10189 |        0 |        0
150.95/151.06	c  151s |      22 |  2630612 |  2040522 |      490  10291 |        0 |        0
152.96/153.07	c  153s |      22 |  2663208 |  2066022 |      490  10392 |        0 |        0
154.95/155.07	c  155s |      22 |  2693872 |  2090822 |      490  10491 |        0 |        0
156.95/157.07	c  157s |      22 |  2725320 |  2116322 |      490  10592 |        0 |        0
158.95/159.08	c  159s |      22 |  2757351 |  2141922 |      490  10693 |        0 |        0
160.95/161.08	c  161s |      22 |  2789349 |  2167622 |      490  10795 |        1 |        0
162.95/163.08	c  163s |      22 |  2823389 |  2194222 |      490  10902 |        1 |        0
164.95/165.08	c  165s |      22 |  2857834 |  2221222 |      490  11010 |        1 |        0
166.94/167.09	c  167s |      22 |  2889982 |  2246922 |      539  11108 |        1 |        0
167.34/167.44	c  167s |      23 |  2894978 |  2251038 |      539  11123 |        1 |        0
169.35/169.44	c  169s |      23 |  2926056 |  2275738 |      539  11213 |        1 |        0
171.34/171.45	c  171s |      23 |  2955213 |  2300038 |      539  11301 |        1 |        0
173.34/173.46	c  173s |      23 |  2985670 |  2324738 |      539  11391 |        1 |        0
175.34/175.46	c  175s |      23 |  3017426 |  2349938 |      539  11482 |        1 |        0
177.34/177.47	c  177s |      23 |  3046065 |  2374138 |      539  11570 |        1 |        0
179.35/179.47	c  179s |      23 |  3080569 |  2400338 |      539  11665 |        1 |        0
181.34/181.48	c  181s |      23 |  3114407 |  2427038 |      539  11762 |        1 |        0
183.34/183.48	c  183s |      23 |  3149858 |  2453938 |      539  11860 |        1 |        0
185.34/185.49	c  185s |      23 |  3182308 |  2479538 |      539  11952 |        2 |        0
187.34/187.49	c  187s |      23 |  3214855 |  2505438 |      539  12045 |        3 |        0
189.44/189.50	c  189s |      23 |  3250280 |  2532638 |      539  12143 |        4 |        0
190.94/191.04	c  191s |      23 |  3275340 |  2552805 |      539  12212 |       53 |       14
190.94/191.04	c #cpu_time = 191.003s
190.94/191.04	c #wall_clock_time = 191.026s
190.94/191.04	c #decision = 3275340
190.94/191.04	c #random_decision = 13688
190.94/191.04	c #conflict = 2552805
190.94/191.04	c #restart = 23
190.94/191.04	s UNSATISFIABLE
190.94/191.04	c total CPU time = 191.019s
190.94/191.04	c total wall clock time = 191.042s

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

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

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


[startup+0 s]
/proc/loadavg: 1.26 1.22 1.46 4/175 6997
/proc/meminfo: memFree=30706716/32872528 swapFree=533456/566160
[pid=6997] ppid=6991 vsize=687548 CPUtime=0 cores=0,2,4,6
/proc/6997/stat : 6997 (toysat) R 6991 6997 4526 0 -1 4202496 2557 0 0 0 0 0 0 0 20 0 4 0 2347654 704049152 2918 33554432000 4194304 16246674 140734268617120 140734268616544 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6997/statm: 172655 2927 441 2943 0 169549 0
[pid=6997/tid=6998] ppid=6991 vsize=704956 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6998/stat : 6998 (toysat) S 6991 6997 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 721874944 2986 33554432000 4194304 16246674 140734268617120 139765628251376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6997/tid=6999] ppid=6991 vsize=709052 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6999/stat : 6999 (toysat) S 6991 6997 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 726069248 3002 33554432000 4194304 16246674 140734268617120 139765617761520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6997/tid=7000] ppid=6991 vsize=713148 CPUtime=0 cores=0,2,4,6
/proc/6997/task/7000/stat : 7000 (toysat) S 6991 6997 4526 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2347655 730263552 3019 33554432000 4194304 16246674 140734268617120 139765607287984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.10012 s]
/proc/loadavg: 1.26 1.22 1.46 4/175 6997
/proc/meminfo: memFree=30706716/32872528 swapFree=533456/566160
[pid=6997] ppid=6991 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/6997/stat : 6997 (toysat) R 6991 6997 4526 0 -1 4202496 23355 0 0 0 6 3 0 0 20 0 4 0 2347654 1247350784 23704 33554432000 4194304 16246674 140734268617120 140734268616544 5669490 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6997/statm: 304529 23711 708 2943 0 301423 0
[pid=6997/tid=6998] ppid=6991 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6998/stat : 6998 (toysat) S 6991 6997 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1247350784 23717 33554432000 4194304 16246674 140734268617120 139765628251376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6997/tid=6999] ppid=6991 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6999/stat : 6999 (toysat) S 6991 6997 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1247350784 23724 33554432000 4194304 16246674 140734268617120 139765617761520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6997/tid=7000] ppid=6991 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6997/task/7000/stat : 7000 (toysat) S 6991 6997 4526 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2347655 1247350784 23730 33554432000 4194304 16246674 140734268617120 139765607287984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200426 s]
/proc/loadavg: 1.26 1.22 1.46 4/175 6997
/proc/meminfo: memFree=30706716/32872528 swapFree=533456/566160
[pid=6997] ppid=6991 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/6997/stat : 6997 (toysat) R 6991 6997 4526 0 -1 4202496 44613 0 0 0 12 6 0 0 20 0 4 0 2347654 1247350784 44962 33554432000 4194304 16246674 140734268617120 140734268600120 13954518 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6997/statm: 304529 44973 708 2943 0 301423 0
[pid=6997/tid=6998] ppid=6991 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6998/stat : 6998 (toysat) S 6991 6997 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1247350784 44979 33554432000 4194304 16246674 140734268617120 139765628251376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6997/tid=6999] ppid=6991 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6999/stat : 6999 (toysat) S 6991 6997 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1247350784 44985 33554432000 4194304 16246674 140734268617120 139765617761520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6997/tid=7000] ppid=6991 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6997/task/7000/stat : 7000 (toysat) S 6991 6997 4526 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2347655 1247350784 44993 33554432000 4194304 16246674 140734268617120 139765607287984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300381 s]
/proc/loadavg: 1.26 1.22 1.46 4/175 6997
/proc/meminfo: memFree=30706716/32872528 swapFree=533456/566160
[pid=6997] ppid=6991 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/6997/stat : 6997 (toysat) R 6991 6997 4526 0 -1 4202496 65784 0 0 0 20 9 0 0 20 0 4 0 2347654 1247350784 66134 33554432000 4194304 16246674 140734268617120 140734268600120 5677277 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6997/statm: 304529 66143 708 2943 0 301423 0
[pid=6997/tid=6998] ppid=6991 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6998/stat : 6998 (toysat) S 6991 6997 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1247350784 66148 33554432000 4194304 16246674 140734268617120 139765628251376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6997/tid=6999] ppid=6991 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6999/stat : 6999 (toysat) S 6991 6997 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1247350784 66155 33554432000 4194304 16246674 140734268617120 139765617761520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6997/tid=7000] ppid=6991 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6997/task/7000/stat : 7000 (toysat) S 6991 6997 4526 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2347655 1247350784 66161 33554432000 4194304 16246674 140734268617120 139765607287984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700332 s]
/proc/loadavg: 1.26 1.22 1.46 4/175 6997
/proc/meminfo: memFree=30706716/32872528 swapFree=533456/566160
[pid=6997] ppid=6991 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/6997/stat : 6997 (toysat) R 6991 6997 4526 0 -1 4202496 151952 0 0 0 49 20 0 0 20 0 4 0 2347654 1247350784 152301 33554432000 4194304 16246674 140734268617120 140734268600120 5707858 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6997/statm: 304529 152312 708 2943 0 301423 0
[pid=6997/tid=6998] ppid=6991 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6998/stat : 6998 (toysat) S 6991 6997 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1247350784 152318 33554432000 4194304 16246674 140734268617120 139765628251376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6997/tid=6999] ppid=6991 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6999/stat : 6999 (toysat) S 6991 6997 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1247350784 152324 33554432000 4194304 16246674 140734268617120 139765617761520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6997/tid=7000] ppid=6991 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6997/task/7000/stat : 7000 (toysat) S 6991 6997 4526 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2347655 1247350784 152329 33554432000 4194304 16246674 140734268617120 139765607287984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50033 s]
/proc/loadavg: 1.26 1.22 1.46 4/183 7005
/proc/meminfo: memFree=28775804/32872528 swapFree=533456/566160
[pid=6997] ppid=6991 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/6997/stat : 6997 (toysat) R 6991 6997 4526 0 -1 4202496 245453 0 0 0 116 33 0 0 20 0 4 0 2347654 1247350784 245782 33554432000 4194304 16246674 140734268617120 140734268600120 12875026 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6997/statm: 304529 245782 783 2943 0 301423 0
[pid=6997/tid=6998] ppid=6991 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6998/stat : 6998 (toysat) S 6991 6997 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1247350784 245782 33554432000 4194304 16246674 140734268617120 139765628251376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6997/tid=6999] ppid=6991 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6999/stat : 6999 (toysat) S 6991 6997 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1247350784 245782 33554432000 4194304 16246674 140734268617120 139765617761520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6997/tid=7000] ppid=6991 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6997/task/7000/stat : 7000 (toysat) S 6991 6997 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2347655 1247350784 245782 33554432000 4194304 16246674 140734268617120 139765607287984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10034 s]
/proc/loadavg: 1.26 1.22 1.46 4/183 7005
/proc/meminfo: memFree=28566260/32872528 swapFree=533456/566160
[pid=6997] ppid=6991 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/6997/stat : 6997 (toysat) R 6991 6997 4526 0 -1 4202496 267381 0 0 0 274 35 0 0 20 0 4 0 2347654 1337528320 267710 33554432000 4194304 16246674 140734268617120 140734268599040 13808416 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6997/statm: 326545 267710 783 2943 0 323439 0
[pid=6997/tid=6998] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6998/stat : 6998 (toysat) S 6991 6997 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267710 33554432000 4194304 16246674 140734268617120 139765628251376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6997/tid=6999] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6999/stat : 6999 (toysat) S 6991 6997 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267710 33554432000 4194304 16246674 140734268617120 139765617761520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6997/tid=7000] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/7000/stat : 7000 (toysat) S 6991 6997 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267710 33554432000 4194304 16246674 140734268617120 139765607287984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30034 s]
/proc/loadavg: 1.32 1.23 1.46 4/183 7005
/proc/meminfo: memFree=28563848/32872528 swapFree=533456/566160
[pid=6997] ppid=6991 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/6997/stat : 6997 (toysat) R 6991 6997 4526 0 -1 4202496 267392 0 0 0 592 37 0 0 20 0 4 0 2347654 1337528320 267721 33554432000 4194304 16246674 140734268617120 140734268599040 5822604 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6997/statm: 326545 267721 783 2943 0 323439 0
[pid=6997/tid=6998] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6998/stat : 6998 (toysat) S 6991 6997 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267721 33554432000 4194304 16246674 140734268617120 139765628251376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6997/tid=6999] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6999/stat : 6999 (toysat) S 6991 6997 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267721 33554432000 4194304 16246674 140734268617120 139765617761520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6997/tid=7000] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/7000/stat : 7000 (toysat) S 6991 6997 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267721 33554432000 4194304 16246674 140734268617120 139765607287984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7003 s]
/proc/loadavg: 1.37 1.24 1.46 4/183 7005
/proc/meminfo: memFree=28564140/32872528 swapFree=533456/566160
[pid=6997] ppid=6991 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/6997/stat : 6997 (toysat) R 6991 6997 4526 0 -1 4202496 267406 0 0 0 1231 38 0 0 20 0 4 0 2347654 1337528320 267735 33554432000 4194304 16246674 140734268617120 140734268600120 6072573 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6997/statm: 326545 267735 783 2943 0 323439 0
[pid=6997/tid=6998] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6998/stat : 6998 (toysat) S 6991 6997 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267735 33554432000 4194304 16246674 140734268617120 139765628251376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6997/tid=6999] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6999/stat : 6999 (toysat) S 6991 6997 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267735 33554432000 4194304 16246674 140734268617120 139765617761520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6997/tid=7000] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/7000/stat : 7000 (toysat) S 6991 6997 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267735 33554432000 4194304 16246674 140734268617120 139765607287984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5004 s]
/proc/loadavg: 1.59 1.30 1.47 4/183 7005
/proc/meminfo: memFree=28565556/32872528 swapFree=533456/566160
[pid=6997] ppid=6991 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/6997/stat : 6997 (toysat) R 6991 6997 4526 0 -1 4202496 267406 0 0 0 2511 38 0 0 20 0 4 0 2347654 1337528320 267735 33554432000 4194304 16246674 140734268617120 140734268600120 13963968 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6997/statm: 326545 267735 783 2943 0 323439 0
[pid=6997/tid=6998] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6998/stat : 6998 (toysat) S 6991 6997 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267735 33554432000 4194304 16246674 140734268617120 139765628251376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6997/tid=6999] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6999/stat : 6999 (toysat) S 6991 6997 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267735 33554432000 4194304 16246674 140734268617120 139765617761520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6997/tid=7000] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/7000/stat : 7000 (toysat) S 6991 6997 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267735 33554432000 4194304 16246674 140734268617120 139765607287984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1004 s]
/proc/loadavg: 1.78 1.37 1.49 4/183 7005
/proc/meminfo: memFree=28563560/32872528 swapFree=533456/566160
[pid=6997] ppid=6991 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/6997/stat : 6997 (toysat) R 6991 6997 4526 0 -1 4202496 267423 0 0 0 5070 38 0 0 20 0 4 0 2347654 1337528320 267753 33554432000 4194304 16246674 140734268617120 140734268600120 5523513 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6997/statm: 326545 267753 783 2943 0 323439 0
[pid=6997/tid=6998] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6998/stat : 6998 (toysat) S 6991 6997 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267753 33554432000 4194304 16246674 140734268617120 139765628251376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6997/tid=6999] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6999/stat : 6999 (toysat) S 6991 6997 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267753 33554432000 4194304 16246674 140734268617120 139765617761520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6997/tid=7000] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/7000/stat : 7000 (toysat) S 6991 6997 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267753 33554432000 4194304 16246674 140734268617120 139765607287984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.15 1.53 1.54 4/184 7009
/proc/meminfo: memFree=28563308/32872528 swapFree=533456/566160
[pid=6997] ppid=6991 vsize=1306180 CPUtime=102.27 cores=0,2,4,6
/proc/6997/stat : 6997 (toysat) R 6991 6997 4526 0 -1 4202496 267441 0 0 0 10187 40 0 0 20 0 4 0 2347654 1337528320 267756 33554432000 4194304 16246674 140734268617120 140734268600120 15015658 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6997/statm: 326545 267756 786 2943 0 323439 0
[pid=6997/tid=6998] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6998/stat : 6998 (toysat) S 6991 6997 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267756 33554432000 4194304 16246674 140734268617120 139765628251376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6997/tid=6999] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6999/stat : 6999 (toysat) S 6991 6997 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267756 33554432000 4194304 16246674 140734268617120 139765617761520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6997/tid=7000] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/7000/stat : 7000 (toysat) S 6991 6997 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267756 33554432000 4194304 16246674 140734268617120 139765607287984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1306180

[startup+162.3 s]
/proc/loadavg: 2.20 1.66 1.58 4/184 7034
/proc/meminfo: memFree=28561156/32872528 swapFree=533456/566160
[pid=6997] ppid=6991 vsize=1306180 CPUtime=162.25 cores=0,2,4,6
/proc/6997/stat : 6997 (toysat) R 6991 6997 4526 0 -1 4202496 267471 0 0 0 16183 42 0 0 20 0 4 0 2347654 1337528320 267770 33554432000 4194304 16246674 140734268617120 140734268600120 13193788 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6997/statm: 326545 267770 786 2943 0 323439 0
[pid=6997/tid=6998] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6998/stat : 6998 (toysat) S 6991 6997 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267770 33554432000 4194304 16246674 140734268617120 139765628251376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6997/tid=6999] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6999/stat : 6999 (toysat) S 6991 6997 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267770 33554432000 4194304 16246674 140734268617120 139765617761520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6997/tid=7000] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/7000/stat : 7000 (toysat) S 6991 6997 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267770 33554432000 4194304 16246674 140734268617120 139765607287984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1306180

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

[startup+166.4 s]
/proc/loadavg: 2.27 1.68 1.59 4/184 7034
/proc/meminfo: memFree=28561552/32872528 swapFree=533456/566160
[pid=6997] ppid=6991 vsize=1306180 CPUtime=166.34 cores=0,2,4,6
/proc/6997/stat : 6997 (toysat) R 6991 6997 4526 0 -1 4202496 267477 0 0 0 16592 42 0 0 20 0 4 0 2347654 1337528320 267770 33554432000 4194304 16246674 140734268617120 140734268600120 15015658 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6997/statm: 326545 267770 786 2943 0 323439 0
[pid=6997/tid=6998] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6998/stat : 6998 (toysat) S 6991 6997 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267770 33554432000 4194304 16246674 140734268617120 139765628251376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6997/tid=6999] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6999/stat : 6999 (toysat) S 6991 6997 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267770 33554432000 4194304 16246674 140734268617120 139765617761520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6997/tid=7000] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/7000/stat : 7000 (toysat) S 6991 6997 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267770 33554432000 4194304 16246674 140734268617120 139765607287984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 166.34
Current children cumulated vsize (KiB) 1306180

[startup+179.2 s]
/proc/loadavg: 2.21 1.69 1.59 4/184 7034
/proc/meminfo: memFree=28561760/32872528 swapFree=533456/566160
[pid=6997] ppid=6991 vsize=1306180 CPUtime=179.14 cores=0,2,4,6
/proc/6997/stat : 6997 (toysat) R 6991 6997 4526 0 -1 4202496 267480 0 0 0 17871 43 0 0 20 0 4 0 2347654 1337528320 267772 33554432000 4194304 16246674 140734268617120 140734268600120 13194800 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6997/statm: 326545 267772 786 2943 0 323439 0
[pid=6997/tid=6998] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6998/stat : 6998 (toysat) S 6991 6997 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267772 33554432000 4194304 16246674 140734268617120 139765628251376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6997/tid=6999] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6999/stat : 6999 (toysat) S 6991 6997 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267772 33554432000 4194304 16246674 140734268617120 139765617761520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6997/tid=7000] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/7000/stat : 7000 (toysat) S 6991 6997 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267772 33554432000 4194304 16246674 140734268617120 139765607287984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 179.14
Current children cumulated vsize (KiB) 1306180

[startup+185.6 s]
/proc/loadavg: 2.19 1.70 1.59 4/184 7035
/proc/meminfo: memFree=28561740/32872528 swapFree=533456/566160
[pid=6997] ppid=6991 vsize=1306180 CPUtime=185.54 cores=0,2,4,6
/proc/6997/stat : 6997 (toysat) R 6991 6997 4526 0 -1 4202496 267480 0 0 0 18511 43 0 0 20 0 4 0 2347654 1337528320 267772 33554432000 4194304 16246674 140734268617120 140734268600120 5822428 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6997/statm: 326545 267772 786 2943 0 323439 0
[pid=6997/tid=6998] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6998/stat : 6998 (toysat) S 6991 6997 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267772 33554432000 4194304 16246674 140734268617120 139765628251376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6997/tid=6999] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6999/stat : 6999 (toysat) S 6991 6997 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267772 33554432000 4194304 16246674 140734268617120 139765617761520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6997/tid=7000] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/7000/stat : 7000 (toysat) S 6991 6997 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267772 33554432000 4194304 16246674 140734268617120 139765607287984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 185.54
Current children cumulated vsize (KiB) 1306180

[startup+188.8 s]
/proc/loadavg: 2.19 1.70 1.59 4/184 7035
/proc/meminfo: memFree=28561716/32872528 swapFree=533456/566160
[pid=6997] ppid=6991 vsize=1306180 CPUtime=188.74 cores=0,2,4,6
/proc/6997/stat : 6997 (toysat) R 6991 6997 4526 0 -1 4202496 267480 0 0 0 18831 43 0 0 20 0 4 0 2347654 1337528320 267772 33554432000 4194304 16246674 140734268617120 140734268600120 5674919 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6997/statm: 326545 267772 786 2943 0 323439 0
[pid=6997/tid=6998] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6998/stat : 6998 (toysat) S 6991 6997 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267772 33554432000 4194304 16246674 140734268617120 139765628251376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6997/tid=6999] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6999/stat : 6999 (toysat) S 6991 6997 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267772 33554432000 4194304 16246674 140734268617120 139765617761520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6997/tid=7000] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/7000/stat : 7000 (toysat) S 6991 6997 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267772 33554432000 4194304 16246674 140734268617120 139765607287984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 188.74
Current children cumulated vsize (KiB) 1306180

[startup+190.407 s]
/proc/loadavg: 2.17 1.70 1.60 4/184 7035
/proc/meminfo: memFree=28561476/32872528 swapFree=533456/566160
[pid=6997] ppid=6991 vsize=1306180 CPUtime=190.35 cores=0,2,4,6
/proc/6997/stat : 6997 (toysat) R 6991 6997 4526 0 -1 4202496 267480 0 0 0 18992 43 0 0 20 0 4 0 2347654 1337528320 267772 33554432000 4194304 16246674 140734268617120 140734268600120 13923760 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6997/statm: 326545 267772 786 2943 0 323439 0
[pid=6997/tid=6998] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6998/stat : 6998 (toysat) S 6991 6997 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267772 33554432000 4194304 16246674 140734268617120 139765628251376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6997/tid=6999] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6999/stat : 6999 (toysat) S 6991 6997 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267772 33554432000 4194304 16246674 140734268617120 139765617761520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6997/tid=7000] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/7000/stat : 7000 (toysat) S 6991 6997 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267772 33554432000 4194304 16246674 140734268617120 139765607287984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 190.35
Current children cumulated vsize (KiB) 1306180

[startup+190.8 s]
/proc/loadavg: 2.17 1.70 1.60 4/184 7035
/proc/meminfo: memFree=28561476/32872528 swapFree=533456/566160
[pid=6997] ppid=6991 vsize=1306180 CPUtime=190.74 cores=0,2,4,6
/proc/6997/stat : 6997 (toysat) R 6991 6997 4526 0 -1 4202496 267480 0 0 0 19031 43 0 0 20 0 4 0 2347654 1337528320 267772 33554432000 4194304 16246674 140734268617120 140734268600120 13198582 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6997/statm: 326545 267772 786 2943 0 323439 0
[pid=6997/tid=6998] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6998/stat : 6998 (toysat) S 6991 6997 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267772 33554432000 4194304 16246674 140734268617120 139765628251376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6997/tid=6999] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6999/stat : 6999 (toysat) S 6991 6997 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267772 33554432000 4194304 16246674 140734268617120 139765617761520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6997/tid=7000] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/7000/stat : 7000 (toysat) S 6991 6997 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267772 33554432000 4194304 16246674 140734268617120 139765607287984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 190.74
Current children cumulated vsize (KiB) 1306180

[startup+191 s]
/proc/loadavg: 2.17 1.70 1.60 4/184 7035
/proc/meminfo: memFree=28561476/32872528 swapFree=533456/566160
[pid=6997] ppid=6991 vsize=1306180 CPUtime=190.94 cores=0,2,4,6
/proc/6997/stat : 6997 (toysat) R 6991 6997 4526 0 -1 4202496 267481 0 0 0 19051 43 0 0 20 0 4 0 2347654 1337528320 267773 33554432000 4194304 16246674 140734268617120 140734268600120 13906976 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6997/statm: 326545 267773 787 2943 0 323439 0
[pid=6997/tid=6998] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6998/stat : 6998 (toysat) S 6991 6997 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267773 33554432000 4194304 16246674 140734268617120 139765628251376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6997/tid=6999] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/6999/stat : 6999 (toysat) S 6991 6997 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267773 33554432000 4194304 16246674 140734268617120 139765617761520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6997/tid=7000] ppid=6991 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6997/task/7000/stat : 7000 (toysat) S 6991 6997 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267773 33554432000 4194304 16246674 140734268617120 139765607287984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 190.94
Current children cumulated vsize (KiB) 1306180

Child status: 0
Real time (s): 191.092
CPU time (s): 191.041
CPU user time (s): 190.56
CPU system time (s): 0.480926
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 190.56
system time used= 0.480926
maximum resident set size= 1071104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267486
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= 67
involuntary context switches= 235

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.631903 second user time and 0.769882 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-30 21:58:33
IDJOB=4122474
IDBENCH=111130
IDSOLVER=2542
FILE ID=node138/4122474-1467316713
RUNJOBID= node138-1467316713-6968
PBS_JOBID= 20005291
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n21-d4-i3.cnf.gz-extracted.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4122474-1467316713/watcher-4122474-1467316713 -o /tmp/evaluation-result-4122474-1467316713/solver-4122474-1467316713 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1467316713-6968 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122474-1467316713.opb

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

MD5SUM BENCH= 4d0350f9515bfe0f7b847db9f54fac98
RANDOM SEED=1824786958

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.487
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:        30708152 kB
Buffers:          104436 kB
Cached:           739564 kB
SwapCached:            0 kB
Active:           258680 kB
Inactive:         604640 kB
Active(anon):      22304 kB
Inactive(anon):        0 kB
Active(file):     236376 kB
Inactive(file):   604640 kB
Unevictable:      566160 kB
Mlocked:          533456 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             32604 kB
Writeback:             0 kB
AnonPages:        585948 kB
Mapped:            14084 kB
Shmem:               204 kB
Slab:             603960 kB
SReclaimable:      48124 kB
SUnreclaim:       555836 kB
KernelStack:        1416 kB
PageTables:         4620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     670664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     40960 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node138 at 2016-06-30 22:01:44