Trace number 4122682

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 471.627 471.777

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-fixed-bandwidth-21.cnf.gz-extracted.pb.metafix.opb
MD5SUMd540a4276675ec903b75a1231f8ac20a
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.009998
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-30T22:08:27+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-4122682-1467317307.opb"]
0.00/0.01	c use --random-gen="1742467423 421846389 2701003808 486917981 1976137084 258859833 655103492 2127931895 2858948481 2385888395 2157009057 23846558 526918686 3764565970 1036379617 3201775762 1245461987 4213625050 198277592 100160876 2660525790 1273945657 3025006702 850941076 639466034 2325028731 417337513 3527039565 2280523583 3042774129 1886218804 4223315997 3007491830 1798122892 1868369310 2789599026 3743702441 385234247 1999891014 68878866 1177082070 1555009063 733083854 386524612 3587984635 3274239369 3619030584 2685183068 2527704615 3631043868 1214130026 1317606982 2534310231 1500556038 255179336 743103128 1171716784 271933083 122078552 1703943917 554318028 2536552734 705279177 4174234459 3248997780 549714797 1082584423 3435879751 3288796999 75774025 2934791558 42419431 1557849752 2025020796 1037853872 1337555680 3357866859 3491935050 1201263431 2999533739 1832407832 2551639044 900708879 935034146 4111540168 2771228004 3618123794 1105502710 2135353779 136551925 1783019488 2096772691 2149440581 1244309588 3765162136 2494424408 1037815193 3410734716 1456288448 290704502 3921258355 2378336090 3815106503 23252504 1198368430 1381074764 1807754637 138756563 1075367492 524899652 2861357335 3692532676 1936471778 4198104515 2319305317 1877812393 2621458081 550704157 1828121948 3867563188 902020844 3943831211 4095650410 3900002246 430951972 1277823592 2172797045 2040087784 2318661800 268907284 3334645681 3326701560 2800526300 1743417631 3429689367 3753664251 1129938317 3685128011 1237803279 3438651275 370991453 1422734169 3155790264 499856401 1549211167 3834643824 3862197928 846299081 1468618337 2825913697 1194497363 3416564639 189013592 4289549068 843902764 4173805181 581024484 3428421551 1837869462 3920599404 1811195639 4114514964 2188134261 938812712 1382747445 1956110202 3237418491 663368491 2359349501 2845077306 997324508 217477509 3148310468 3962891765 3582149148 3918935040 3621388238 912067625 572862701 1420810820 1598171029 2463774719 24133184 2162450343 3095494314 3760435402 1222101566 1793072095 2614782243 3839966615 718261605 2215221887 599219002 2170226176 3362994437 2719952387 1535100555 3232120701 3588751051 1472697424 3385604730 3201318448 275775766 3602290511 3283302749 1504662883 1318242045 1728407171 1435575578 1183102727 3187036446 3690696506 880390640 1199344683 1288408775 3360872819 1047540465 453230457 2588952862 107295972 2825395457 3330470402 3089641961 2150486734 1735323105 2890279027 3664641096 138477519 3868999139 1756345996 4105177848 906696551 406611883 2662688536 3905802775 1788636909 3950245345 1523183557 3859181549 2450671720 1236644631 2420339603 800823626 1727877676 333267948 4005917250 2073360860 1960711581 1045155543 3356302163 2236061634 4215564294 3796002897 3875127765 3765546199 256363625 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 |      121 |      100 |       56      1 |        0 |        0
0.00/0.03	c  0.0s |       2 |      325 |      250 |       62      5 |        0 |        0
0.00/0.05	c  0.0s |       3 |      656 |      475 |       69     10 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1091 |      813 |       76     16 |        0 |        0
0.09/0.14	c  0.1s |       5 |     1806 |     1320 |       84     25 |        0 |        0
0.19/0.21	c  0.2s |       6 |     2823 |     2081 |      103     38 |        0 |        0
0.29/0.31	c  0.3s |       7 |     4477 |     3223 |      114     57 |        0 |        0
0.39/0.46	c  0.4s |       8 |     6901 |     4936 |      126     83 |        0 |        0
0.69/0.70	c  0.7s |       9 |    10572 |     7506 |      139    118 |        0 |        0
0.99/1.07	c  1.1s |      10 |    15677 |    11361 |      153    166 |        0 |        0
1.39/1.45	c  1.4s |      11 |    23549 |    17144 |      169    233 |        0 |        0
1.99/2.08	c  2.1s |      12 |    34240 |    25819 |      186    325 |        0 |        0
2.88/2.99	c  3.0s |      13 |    51387 |    38832 |      205    450 |        0 |        0
4.18/4.29	c  4.3s |      14 |    77177 |    58352 |      226    625 |        0 |        0
6.29/6.30	c  6.3s |      14 |   114475 |    87352 |      249    862 |        0 |        0
6.29/6.32	c  6.3s |      15 |   114796 |    87632 |      249    864 |        0 |        0
8.29/8.33	c  8.3s |      15 |   150062 |   115232 |      249   1071 |        0 |        0
9.39/9.47	c  9.5s |      16 |   171266 |   131552 |      274   1194 |        0 |        0
11.39/11.47	c 11.5s |      16 |   209278 |   160252 |      274   1389 |        0 |        0
13.39/13.47	c 13.5s |      16 |   245544 |   188752 |      274   1585 |        0 |        0
13.99/14.07	c 14.1s |      17 |   256765 |   197432 |      302   1644 |        0 |        0
15.99/16.08	c 16.1s |      17 |   297634 |   227732 |      302   1834 |        0 |        0
17.99/18.08	c 18.1s |      17 |   334749 |   255832 |      302   2011 |        0 |        0
19.99/20.09	c 20.1s |      17 |   369984 |   284332 |      302   2190 |        0 |        0
20.89/20.91	c 20.9s |      18 |   386361 |   296252 |      333   2264 |        0 |        0
22.88/22.91	c 22.9s |      18 |   425350 |   325052 |      333   2429 |        0 |        0
24.88/24.92	c 24.9s |      18 |   467534 |   354752 |      333   2600 |        0 |        0
26.88/26.92	c 26.9s |      18 |   505119 |   383552 |      333   2767 |        0 |        0
28.88/28.92	c 28.9s |      18 |   543673 |   412652 |      333   2936 |        0 |        0
30.89/30.93	c 30.9s |      18 |   576603 |   439852 |      333   3092 |        0 |        0
31.18/31.28	c 31.3s |      19 |   582163 |   444482 |      367   3117 |        0 |        0
33.19/33.28	c 33.3s |      19 |   616504 |   471782 |      367   3260 |        0 |        0
35.20/35.28	c 35.3s |      19 |   647464 |   497482 |      367   3394 |        0 |        0
37.19/37.29	c 37.3s |      19 |   678669 |   522982 |      367   3527 |        0 |        0
39.19/39.29	c 39.3s |      19 |   713991 |   550182 |      367   3670 |        0 |        0
41.28/41.30	c 41.3s |      19 |   746569 |   576682 |      367   3808 |        0 |        0
43.28/43.30	c 43.3s |      19 |   779419 |   602782 |      367   3945 |        0 |        0
45.28/45.30	c 45.3s |      19 |   808390 |   627182 |      367   4073 |        0 |        0
47.29/47.31	c 47.3s |      19 |   842783 |   654282 |      367   4216 |        0 |        0
48.18/48.22	c 48.2s |      20 |   859381 |   666827 |      404   4280 |        0 |        0
50.18/50.22	c 50.2s |      20 |   894052 |   693627 |      404   4407 |        0 |        0
52.18/52.22	c 52.2s |      20 |   926806 |   720027 |      404   4534 |        0 |        0
54.18/54.23	c 54.2s |      20 |   956673 |   744627 |      404   4651 |        0 |        0
56.19/56.23	c 56.2s |      20 |   986723 |   769327 |      404   4769 |        0 |        0
58.19/58.23	c 58.2s |      20 |  1018774 |   795327 |      404   4894 |        0 |        0
60.18/60.23	c 60.2s |      20 |  1049266 |   820327 |      404   5013 |        0 |        0
62.18/62.24	c 62.2s |      20 |  1079563 |   845327 |      404   5133 |        0 |        0
64.18/64.24	c 64.2s |      20 |  1113212 |   871227 |      404   5257 |        0 |        0
66.18/66.25	c 66.2s |      20 |  1146236 |   896927 |      404   5380 |        0 |        0
68.19/68.26	c 68.2s |      20 |  1171390 |   918727 |      404   5484 |        0 |        0
70.18/70.26	c 70.3s |      20 |  1198002 |   941427 |      404   5593 |        0 |        0
72.18/72.27	c 72.3s |      20 |  1223878 |   964027 |      404   5701 |        0 |        0
74.17/74.27	c 74.3s |      20 |  1252979 |   987727 |      404   5813 |        0 |        0
75.27/75.35	c 75.3s |      21 |  1268606 |  1000345 |      445   5870 |        0 |        0
77.27/77.36	c 77.3s |      21 |  1300568 |  1025645 |      445   5980 |        0 |        0
79.28/79.36	c 79.4s |      21 |  1330642 |  1050445 |      445   6087 |        0 |        0
81.27/81.36	c 81.4s |      21 |  1363567 |  1076345 |      445   6200 |        0 |        0
83.27/83.37	c 83.4s |      21 |  1394060 |  1101245 |      445   6308 |        0 |        0
85.27/85.38	c 85.4s |      21 |  1426848 |  1126945 |      445   6420 |        0 |        0
87.27/87.38	c 87.4s |      21 |  1460649 |  1153045 |      445   6536 |        0 |        0
89.28/89.39	c 89.4s |      21 |  1496599 |  1179745 |      445   6653 |        0 |        0
91.29/91.39	c 91.4s |      21 |  1529549 |  1205445 |      445   6764 |        0 |        0
93.38/93.40	c 93.4s |      21 |  1557400 |  1228645 |      445   6865 |        0 |        0
95.38/95.40	c 95.4s |      21 |  1586324 |  1252245 |      445   6968 |        0 |        0
97.38/97.40	c 97.4s |      21 |  1619178 |  1278045 |      445   7081 |        0 |        0
99.37/99.41	c 99.4s |      21 |  1648828 |  1302245 |      445   7187 |        0 |        0
101.37/101.41	c  101s |      21 |  1679501 |  1326845 |      445   7295 |        0 |        0
103.38/103.41	c  103s |      21 |  1712241 |  1352345 |      445   7405 |        0 |        0
105.37/105.42	c  105s |      21 |  1745381 |  1377845 |      445   7517 |        0 |        0
107.37/107.43	c  107s |      21 |  1776905 |  1403145 |      445   7627 |        0 |        0
109.37/109.43	c  109s |      21 |  1808679 |  1428545 |      445   7738 |        0 |        0
111.38/111.43	c  111s |      21 |  1839139 |  1452945 |      445   7845 |        0 |        0
113.38/113.44	c  113s |      21 |  1875460 |  1480145 |      445   7964 |        0 |        0
115.08/115.10	c  115s |      22 |  1900327 |  1500622 |      490   8050 |        0 |        0
117.08/117.10	c  117s |      22 |  1934709 |  1527122 |      490   8156 |        0 |        0
119.07/119.11	c  119s |      22 |  1970453 |  1554822 |      490   8266 |        0 |        0
121.08/121.11	c  121s |      22 |  2003618 |  1581022 |      490   8371 |        0 |        0
123.07/123.11	c  123s |      22 |  2035955 |  1606622 |      490   8473 |        0 |        0
125.07/125.11	c  125s |      22 |  2070781 |  1633422 |      490   8580 |        0 |        0
127.07/127.11	c  127s |      22 |  2104299 |  1659622 |      490   8685 |        0 |        0
129.07/129.12	c  129s |      22 |  2136465 |  1685122 |      490   8787 |        0 |        0
131.07/131.12	c  131s |      22 |  2170294 |  1711322 |      490   8892 |        0 |        0
133.07/133.12	c  133s |      22 |  2205895 |  1737622 |      490   8997 |        0 |        0
135.07/135.13	c  135s |      22 |  2239856 |  1763622 |      490   9101 |        0 |        0
137.06/137.13	c  137s |      22 |  2276207 |  1790322 |      490   9207 |        0 |        0
139.07/139.14	c  139s |      22 |  2312708 |  1816922 |      490   9314 |        0 |        0
141.07/141.14	c  141s |      22 |  2349840 |  1843722 |      490   9421 |        0 |        0
143.08/143.14	c  143s |      22 |  2388080 |  1871122 |      490   9531 |        0 |        0
145.07/145.15	c  145s |      22 |  2427499 |  1899122 |      490   9644 |        0 |        0
147.07/147.15	c  147s |      22 |  2466775 |  1927622 |      490   9758 |        0 |        0
149.07/149.15	c  149s |      22 |  2501100 |  1954422 |      490   9866 |        0 |        0
151.07/151.16	c  151s |      22 |  2535235 |  1981222 |      490   9974 |        0 |        0
153.07/153.16	c  153s |      22 |  2572874 |  2009522 |      490  10089 |        0 |        0
155.07/155.17	c  155s |      22 |  2610387 |  2037422 |      490  10201 |        0 |        0
157.07/157.17	c  157s |      22 |  2647780 |  2064622 |      490  10311 |        0 |        0
159.06/159.17	c  159s |      22 |  2681473 |  2090822 |      490  10417 |        0 |        0
161.06/161.18	c  161s |      22 |  2719770 |  2118922 |      490  10530 |        0 |        0
163.06/163.18	c  163s |      22 |  2758930 |  2147322 |      490  10645 |        0 |        0
165.07/165.18	c  165s |      22 |  2796720 |  2174822 |      490  10755 |        0 |        0
167.07/167.19	c  167s |      22 |  2832510 |  2201322 |      490  10860 |        0 |        0
169.07/169.19	c  169s |      22 |  2867342 |  2227822 |      490  10966 |        0 |        0
170.97/171.03	c  171s |      23 |  2897248 |  2251038 |      539  11053 |        0 |        0
172.96/173.04	c  173s |      23 |  2930436 |  2275938 |      539  11143 |        0 |        0
174.97/175.05	c  175s |      23 |  2964755 |  2301838 |      539  11237 |        0 |        0
176.96/177.05	c  177s |      23 |  2997868 |  2327338 |      539  11330 |        0 |        0
178.96/179.05	c  179s |      23 |  3030839 |  2352438 |      539  11421 |        0 |        0
180.96/181.05	c  181s |      23 |  3061271 |  2376838 |      539  11510 |        0 |        0
182.96/183.05	c  183s |      23 |  3093911 |  2402038 |      539  11602 |        0 |        0
184.96/185.06	c  185s |      23 |  3126839 |  2427438 |      539  11694 |        0 |        0
186.96/187.06	c  187s |      23 |  3159233 |  2452638 |      539  11786 |        0 |        0
188.95/189.06	c  189s |      23 |  3193212 |  2478238 |      539  11878 |        0 |        0
190.96/191.07	c  191s |      23 |  3228048 |  2504338 |      539  11974 |        0 |        0
192.96/193.07	c  193s |      23 |  3263757 |  2530838 |      539  12071 |        0 |        0
194.96/195.08	c  195s |      23 |  3299199 |  2557838 |      539  12169 |        0 |        0
196.97/197.08	c  197s |      23 |  3332741 |  2583838 |      539  12264 |        0 |        0
198.96/199.08	c  199s |      23 |  3366705 |  2609738 |      539  12359 |        0 |        0
200.96/201.09	c  201s |      23 |  3402467 |  2636238 |      539  12455 |        0 |        0
202.96/203.09	c  203s |      23 |  3436913 |  2662438 |      539  12551 |        0 |        0
204.96/205.09	c  205s |      23 |  3470639 |  2688238 |      539  12644 |        0 |        0
207.06/207.10	c  207s |      23 |  3501638 |  2712538 |      539  12732 |        0 |        0
208.96/209.10	c  209s |      23 |  3531830 |  2736538 |      539  12818 |        0 |        0
211.05/211.10	c  211s |      23 |  3562744 |  2761038 |      539  12907 |        0 |        0
213.05/213.11	c  213s |      23 |  3596339 |  2786838 |      539  13000 |        0 |        0
215.05/215.12	c  215s |      23 |  3625441 |  2810338 |      539  13085 |        0 |        0
217.05/217.12	c  217s |      23 |  3657474 |  2835238 |      539  13176 |        0 |        0
219.06/219.13	c  219s |      23 |  3690626 |  2860438 |      539  13267 |        0 |        0
221.06/221.13	c  221s |      23 |  3722674 |  2885538 |      539  13359 |        0 |        0
223.05/223.14	c  223s |      23 |  3756076 |  2910938 |      539  13451 |        0 |        0
225.05/225.14	c  225s |      23 |  3788947 |  2936338 |      539  13544 |        0 |        0
227.05/227.14	c  227s |      23 |  3826542 |  2963138 |      539  13641 |        0 |        0
229.05/229.15	c  229s |      23 |  3863491 |  2990038 |      539  13739 |        0 |        0
231.06/231.15	c  231s |      23 |  3901141 |  3017038 |      539  13837 |        0 |        0
233.05/233.15	c  233s |      23 |  3938091 |  3044438 |      539  13937 |        0 |        0
235.05/235.15	c  235s |      23 |  3972138 |  3070638 |      539  14032 |        0 |        0
237.05/237.16	c  237s |      23 |  4007791 |  3097538 |      539  14129 |        0 |        0
239.04/239.16	c  239s |      23 |  4044689 |  3125438 |      539  14231 |        0 |        0
241.05/241.17	c  241s |      23 |  4083096 |  3153438 |      539  14332 |        1 |        0
243.05/243.17	c  243s |      23 |  4117803 |  3179438 |      539  14426 |        1 |        0
245.05/245.17	c  245s |      23 |  4150268 |  3204438 |      539  14516 |        1 |        0
247.05/247.18	c  247s |      23 |  4185401 |  3230138 |      539  14609 |        1 |        0
249.05/249.18	c  249s |      23 |  4216904 |  3254438 |      539  14697 |        1 |        0
251.04/251.19	c  251s |      23 |  4248280 |  3278638 |      539  14785 |        1 |        0
253.05/253.19	c  253s |      23 |  4282157 |  3304438 |      539  14878 |        1 |        0
255.04/255.19	c  255s |      23 |  4314538 |  3329338 |      539  14968 |        1 |        0
257.14/257.20	c  257s |      23 |  4342122 |  3352238 |      539  15051 |        1 |        0
259.14/259.21	c  259s |      23 |  4374216 |  3376638 |      593  15131 |        1 |        0
259.14/259.21	c  259s |      24 |  4374251 |  3376662 |      593  15131 |        1 |        0
261.14/261.21	c  261s |      24 |  4405807 |  3401162 |      593  15212 |        1 |        0
263.13/263.21	c  263s |      24 |  4436672 |  3425062 |      593  15291 |        1 |        0
265.14/265.22	c  265s |      24 |  4469871 |  3450062 |      593  15373 |        1 |        0
267.13/267.22	c  267s |      24 |  4499997 |  3474162 |      593  15453 |        1 |        0
269.13/269.23	c  269s |      24 |  4531279 |  3498662 |      593  15534 |        1 |        0
271.14/271.23	c  271s |      24 |  4560323 |  3522162 |      593  15612 |        1 |        0
273.13/273.24	c  273s |      24 |  4591772 |  3546662 |      593  15693 |        1 |        0
275.13/275.24	c  275s |      24 |  4622255 |  3570662 |      593  15772 |        1 |        0
277.14/277.24	c  277s |      24 |  4651228 |  3594062 |      593  15850 |        1 |        0
279.13/279.24	c  279s |      24 |  4679195 |  3617162 |      593  15926 |        1 |        0
281.13/281.25	c  281s |      24 |  4710071 |  3641262 |      593  16006 |        1 |        0
283.13/283.26	c  283s |      24 |  4741841 |  3666062 |      593  16088 |        1 |        0
285.12/285.26	c  285s |      24 |  4771014 |  3689462 |      593  16165 |        1 |        0
287.13/287.26	c  287s |      24 |  4802326 |  3713662 |      593  16245 |        1 |        0
289.12/289.27	c  289s |      24 |  4830109 |  3736562 |      593  16321 |        1 |        0
291.12/291.27	c  291s |      24 |  4857039 |  3758862 |      593  16394 |        1 |        0
293.12/293.28	c  293s |      24 |  4885334 |  3781762 |      593  16470 |        1 |        0
295.12/295.28	c  295s |      24 |  4915908 |  3805962 |      593  16550 |        1 |        0
297.12/297.29	c  297s |      24 |  4945975 |  3829662 |      593  16629 |        1 |        0
299.13/299.29	c  299s |      24 |  4978979 |  3854662 |      593  16711 |        1 |        0
301.12/301.30	c  301s |      24 |  5013321 |  3880362 |      593  16796 |        1 |        0
303.21/303.30	c  303s |      24 |  5044637 |  3904962 |      593  16877 |        1 |        0
305.22/305.30	c  305s |      24 |  5075871 |  3929662 |      593  16959 |        1 |        0
307.22/307.31	c  307s |      24 |  5110841 |  3955762 |      593  17045 |        1 |        0
309.22/309.31	c  309s |      24 |  5140698 |  3979562 |      593  17124 |        1 |        0
311.23/311.31	c  311s |      24 |  5173009 |  4004662 |      593  17207 |        1 |        0
313.22/313.32	c  313s |      24 |  5204543 |  4028962 |      593  17288 |        1 |        0
315.22/315.32	c  315s |      24 |  5237044 |  4054062 |      593  17372 |        1 |        0
317.22/317.33	c  317s |      24 |  5267475 |  4078362 |      593  17452 |        1 |        0
319.21/319.34	c  319s |      24 |  5297896 |  4102362 |      593  17531 |        1 |        0
321.22/321.34	c  321s |      24 |  5328952 |  4126362 |      593  17610 |        1 |        0
323.21/323.34	c  323s |      24 |  5356583 |  4148962 |      593  17684 |        1 |        0
325.21/325.34	c  325s |      24 |  5383535 |  4171262 |      593  17757 |        1 |        0
327.21/327.35	c  327s |      24 |  5412616 |  4195162 |      593  17836 |        1 |        0
329.21/329.35	c  329s |      24 |  5440648 |  4217862 |      593  17910 |        1 |        0
331.21/331.36	c  331s |      24 |  5468893 |  4240362 |      593  17984 |        1 |        0
333.22/333.37	c  333s |      24 |  5497879 |  4263162 |      593  18059 |        1 |        0
335.21/335.37	c  335s |      24 |  5526437 |  4285962 |      593  18134 |        1 |        0
337.21/337.37	c  337s |      24 |  5555916 |  4309362 |      593  18211 |        1 |        0
339.21/339.38	c  339s |      24 |  5582950 |  4331462 |      593  18283 |        1 |        0
341.21/341.38	c  341s |      24 |  5609919 |  4353762 |      593  18357 |        1 |        0
343.22/343.38	c  343s |      24 |  5637103 |  4376262 |      593  18430 |        1 |        0
345.21/345.39	c  345s |      24 |  5664377 |  4398662 |      593  18503 |        1 |        0
347.21/347.39	c  347s |      24 |  5694089 |  4422862 |      593  18583 |        2 |        0
349.31/349.40	c  349s |      24 |  5724321 |  4447162 |      593  18663 |        2 |        0
351.31/351.40	c  351s |      24 |  5755593 |  4471862 |      593  18745 |        2 |        0
353.30/353.40	c  353s |      24 |  5787392 |  4496862 |      593  18827 |        2 |        0
355.31/355.41	c  355s |      24 |  5819032 |  4521462 |      593  18909 |        2 |        0
357.30/357.41	c  357s |      24 |  5852636 |  4546662 |      593  18992 |        2 |        0
359.30/359.41	c  359s |      24 |  5884644 |  4571062 |      593  19073 |        2 |        0
361.30/361.42	c  361s |      24 |  5917671 |  4596062 |      593  19155 |        2 |        0
363.29/363.42	c  363s |      24 |  5950997 |  4621262 |      593  19239 |        2 |        0
365.29/365.43	c  365s |      24 |  5983950 |  4646062 |      593  19321 |        2 |        0
367.29/367.43	c  367s |      24 |  6013389 |  4669162 |      593  19397 |        2 |        0
369.30/369.43	c  369s |      24 |  6042622 |  4692962 |      593  19476 |        2 |        0
371.30/371.44	c  371s |      24 |  6074592 |  4717562 |      593  19557 |        2 |        0
373.29/373.44	c  373s |      24 |  6105535 |  4741462 |      593  19636 |        2 |        0
375.29/375.44	c  375s |      24 |  6135055 |  4765362 |      593  19715 |        2 |        0
377.30/377.45	c  377s |      24 |  6164335 |  4788962 |      593  19793 |        2 |        0
379.29/379.46	c  379s |      24 |  6193168 |  4812262 |      593  19871 |        2 |        0
381.29/381.46	c  381s |      24 |  6222373 |  4836262 |      593  19950 |        2 |        0
383.28/383.47	c  383s |      24 |  6251420 |  4859762 |      593  20029 |        2 |        0
385.28/385.47	c  385s |      24 |  6281466 |  4883362 |      593  20107 |        2 |        0
387.28/387.48	c  387s |      24 |  6308488 |  4905562 |      593  20180 |        2 |        0
389.29/389.49	c  389s |      24 |  6335045 |  4927462 |      593  20252 |        2 |        0
391.28/391.49	c  391s |      24 |  6362812 |  4950162 |      593  20326 |        2 |        0
393.27/393.49	c  393s |      24 |  6390671 |  4973062 |      593  20402 |        2 |        0
395.37/395.50	c  395s |      24 |  6415627 |  4994662 |      593  20473 |        2 |        0
397.37/397.50	c  397s |      24 |  6444534 |  5017862 |      593  20550 |        2 |        0
399.38/399.50	c  399s |      24 |  6475233 |  5041762 |      653  20625 |        2 |        0
401.39/401.51	c  401s |      24 |  6502907 |  5064362 |      653  20693 |        2 |        0
401.39/401.58	c  401s |      25 |  6503754 |  5065098 |      653  20695 |        2 |        0
403.37/403.59	c  403s |      25 |  6534286 |  5088898 |      653  20767 |        2 |        0
405.37/405.59	c  405s |      25 |  6565422 |  5113098 |      653  20840 |        2 |        0
407.47/407.60	c  407s |      25 |  6597235 |  5137798 |      653  20914 |        2 |        0
409.47/409.60	c  409s |      25 |  6629045 |  5161598 |      653  20986 |        2 |        0
411.47/411.61	c  411s |      25 |  6662890 |  5186598 |      653  21061 |        2 |        0
413.47/413.62	c  413s |      25 |  6697259 |  5211898 |      653  21137 |        2 |        0
415.46/415.62	c  415s |      25 |  6728720 |  5236298 |      653  21211 |        2 |        0
417.47/417.63	c  417s |      25 |  6759243 |  5260398 |      653  21283 |        2 |        0
419.47/419.63	c  419s |      25 |  6793922 |  5285998 |      653  21360 |        2 |        0
421.47/421.64	c  421s |      25 |  6827826 |  5311598 |      653  21437 |        2 |        0
423.47/423.64	c  423s |      25 |  6863237 |  5337398 |      653  21515 |        2 |        0
425.47/425.65	c  425s |      25 |  6896701 |  5362798 |      653  21591 |        2 |        0
427.47/427.65	c  427s |      25 |  6930917 |  5388398 |      653  21667 |        3 |        0
429.46/429.66	c  429s |      25 |  6960100 |  5411798 |      653  21737 |        3 |        0
431.46/431.66	c  431s |      25 |  6990688 |  5435998 |      653  21809 |        3 |        0
433.46/433.67	c  433s |      25 |  7021092 |  5460398 |      653  21883 |        3 |        0
435.46/435.67	c  435s |      25 |  7054543 |  5486198 |      653  21961 |        3 |        0
437.45/437.67	c  437s |      25 |  7086884 |  5510998 |      653  22035 |        3 |        0
439.45/439.68	c  439s |      25 |  7118456 |  5535798 |      653  22110 |        3 |        0
441.45/441.68	c  441s |      25 |  7149043 |  5559998 |      653  22183 |        3 |        0
443.45/443.69	c  443s |      25 |  7175954 |  5581998 |      653  22248 |        3 |        0
445.55/445.70	c  445s |      25 |  7200878 |  5603098 |      653  22311 |        3 |        0
447.45/447.70	c  447s |      25 |  7228905 |  5625598 |      653  22378 |        3 |        0
449.55/449.70	c  449s |      25 |  7254520 |  5646998 |      653  22441 |        3 |        0
451.55/451.70	c  451s |      25 |  7281624 |  5668698 |      653  22506 |        3 |        0
453.54/453.70	c  453s |      25 |  7312586 |  5692598 |      653  22578 |        4 |        0
455.55/455.70	c  455s |      25 |  7342857 |  5716298 |      653  22649 |        4 |        0
457.56/457.71	c  457s |      25 |  7373708 |  5740398 |      653  22721 |        4 |        0
459.55/459.72	c  459s |      25 |  7406853 |  5765798 |      653  22797 |        4 |        0
461.55/461.72	c  461s |      25 |  7440198 |  5791398 |      653  22874 |        4 |        0
463.55/463.72	c  463s |      25 |  7472706 |  5816398 |      653  22948 |        5 |        0
465.55/465.73	c  465s |      25 |  7504353 |  5840698 |      653  23021 |        5 |        0
467.55/467.74	c  467s |      25 |  7535456 |  5865298 |      653  23095 |        5 |        0
469.55/469.74	c  469s |      25 |  7568729 |  5891198 |      653  23172 |        6 |        0
471.55/471.74	c  471s |      25 |  7605729 |  5918833 |      653  23250 |       52 |       12
471.55/471.74	c #cpu_time = 470.399s
471.55/471.74	c #wall_clock_time = 471.727s
471.55/471.74	c #decision = 7605729
471.55/471.74	c #random_decision = 30940
471.55/471.74	c #conflict = 5918833
471.55/471.74	c #restart = 25
471.55/471.74	s UNSATISFIABLE
471.55/471.74	c total CPU time = 470.413s
471.55/471.74	c total wall clock time = 471.741s

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

pid=19861
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.34 2.30 2.27 4/179 19864
/proc/meminfo: memFree=27270004/32872528 swapFree=1590004/1720820
[pid=19864] ppid=19861 vsize=727484 CPUtime=0 cores=1,3,5,7
/proc/19864/stat : 19864 (toysat) R 19861 19864 13693 0 -1 4202496 2714 0 0 0 0 0 0 0 20 0 4 0 12689249 744943616 3075 33554432000 4194304 16246674 140735316056928 140735316056352 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19864/statm: 182895 3089 441 2943 0 179789 0
[pid=19864/tid=19865] ppid=19861 vsize=746940 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19865/stat : 19865 (toysat) S 19861 19864 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12689249 764866560 3150 33554432000 4194304 16246674 140735316056928 139686802599152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19864/tid=19866] ppid=19861 vsize=751036 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19866/stat : 19866 (toysat) S 19861 19864 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689249 769060864 3167 33554432000 4194304 16246674 140735316056928 139686792109296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19864/tid=19867] ppid=19861 vsize=755132 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19867/stat : 19867 (toysat) S 19861 19864 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12689249 773255168 3183 33554432000 4194304 16246674 140735316056928 139686781635760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100116 s]
/proc/loadavg: 2.34 2.30 2.27 4/179 19864
/proc/meminfo: memFree=27270004/32872528 swapFree=1590004/1720820
[pid=19864] ppid=19861 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/19864/stat : 19864 (toysat) R 19861 19864 13693 0 -1 4202496 24916 0 0 0 6 3 0 0 20 0 4 0 12689249 1247350784 25265 33554432000 4194304 16246674 140735316056928 140735316056352 5829366 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19864/statm: 304529 25275 707 2943 0 301423 0
[pid=19864/tid=19865] ppid=19861 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19865/stat : 19865 (toysat) S 19861 19864 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12689249 1247350784 25281 33554432000 4194304 16246674 140735316056928 139686802599152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19864/tid=19866] ppid=19861 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19866/stat : 19866 (toysat) S 19861 19864 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689249 1247350784 25286 33554432000 4194304 16246674 140735316056928 139686792109296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19864/tid=19867] ppid=19861 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19867/stat : 19867 (toysat) S 19861 19864 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12689249 1247350784 25293 33554432000 4194304 16246674 140735316056928 139686781635760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200457 s]
/proc/loadavg: 2.34 2.30 2.27 4/179 19864
/proc/meminfo: memFree=27270004/32872528 swapFree=1590004/1720820
[pid=19864] ppid=19861 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/19864/stat : 19864 (toysat) R 19861 19864 13693 0 -1 4202496 47819 0 0 0 13 6 0 0 20 0 4 0 12689249 1247350784 48168 33554432000 4194304 16246674 140735316056928 140735316039928 6021007 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19864/statm: 304529 48180 707 2943 0 301423 0
[pid=19864/tid=19865] ppid=19861 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19865/stat : 19865 (toysat) S 19861 19864 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12689249 1247350784 48186 33554432000 4194304 16246674 140735316056928 139686802599152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19864/tid=19866] ppid=19861 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19866/stat : 19866 (toysat) S 19861 19864 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689249 1247350784 48192 33554432000 4194304 16246674 140735316056928 139686792109296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19864/tid=19867] ppid=19861 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19867/stat : 19867 (toysat) S 19861 19864 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12689249 1247350784 48200 33554432000 4194304 16246674 140735316056928 139686781635760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.30049 s]
/proc/loadavg: 2.34 2.30 2.27 4/179 19864
/proc/meminfo: memFree=27270004/32872528 swapFree=1590004/1720820
[pid=19864] ppid=19861 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/19864/stat : 19864 (toysat) R 19861 19864 13693 0 -1 4202496 70288 0 0 0 20 9 0 0 20 0 4 0 12689249 1247350784 70637 33554432000 4194304 16246674 140735316056928 140735316039928 5831697 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19864/statm: 304529 70646 707 2943 0 301423 0
[pid=19864/tid=19865] ppid=19861 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19865/stat : 19865 (toysat) S 19861 19864 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12689249 1247350784 70653 33554432000 4194304 16246674 140735316056928 139686802599152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19864/tid=19866] ppid=19861 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19866/stat : 19866 (toysat) S 19861 19864 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689249 1247350784 70659 33554432000 4194304 16246674 140735316056928 139686792109296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19864/tid=19867] ppid=19861 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19867/stat : 19867 (toysat) S 19861 19864 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12689249 1247350784 70666 33554432000 4194304 16246674 140735316056928 139686781635760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.70041 s]
/proc/loadavg: 2.34 2.30 2.27 4/179 19864
/proc/meminfo: memFree=27270004/32872528 swapFree=1590004/1720820
[pid=19864] ppid=19861 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/19864/stat : 19864 (toysat) R 19861 19864 13693 0 -1 4202496 160357 0 0 0 49 20 0 0 20 0 4 0 12689249 1247350784 160706 33554432000 4194304 16246674 140735316056928 140735316039928 5516309 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19864/statm: 304529 160716 707 2943 0 301423 0
[pid=19864/tid=19865] ppid=19861 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19865/stat : 19865 (toysat) S 19861 19864 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12689249 1247350784 160722 33554432000 4194304 16246674 140735316056928 139686802599152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19864/tid=19866] ppid=19861 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19866/stat : 19866 (toysat) S 19861 19864 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689249 1247350784 160727 33554432000 4194304 16246674 140735316056928 139686792109296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19864/tid=19867] ppid=19861 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19867/stat : 19867 (toysat) S 19861 19864 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12689249 1247350784 160733 33554432000 4194304 16246674 140735316056928 139686781635760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.34 2.30 2.27 4/183 19868
/proc/meminfo: memFree=26287968/32872528 swapFree=1590004/1720820
[pid=19864] ppid=19861 vsize=1218116 CPUtime=1.49 cores=1,3,5,7
/proc/19864/stat : 19864 (toysat) R 19861 19864 13693 0 -1 4202496 245454 0 0 0 118 31 0 0 20 0 4 0 12689249 1247350784 245783 33554432000 4194304 16246674 140735316056928 140735316039928 6022329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19864/statm: 304529 245783 782 2943 0 301423 0
[pid=19864/tid=19865] ppid=19861 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19865/stat : 19865 (toysat) S 19861 19864 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12689249 1247350784 245783 33554432000 4194304 16246674 140735316056928 139686802599152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19864/tid=19866] ppid=19861 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19866/stat : 19866 (toysat) S 19861 19864 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689249 1247350784 245783 33554432000 4194304 16246674 140735316056928 139686792109296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19864/tid=19867] ppid=19861 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19867/stat : 19867 (toysat) S 19861 19864 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12689249 1247350784 245783 33554432000 4194304 16246674 140735316056928 139686781635760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10042 s]
/proc/loadavg: 2.34 2.30 2.27 4/183 19868
/proc/meminfo: memFree=26199804/32872528 swapFree=1590004/1720820
[pid=19864] ppid=19861 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/19864/stat : 19864 (toysat) R 19861 19864 13693 0 -1 4202496 267378 0 0 0 274 34 0 0 20 0 4 0 12689249 1337528320 267707 33554432000 4194304 16246674 140735316056928 140735316039928 13923843 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19864/statm: 326545 267707 782 2943 0 323439 0
[pid=19864/tid=19865] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19865/stat : 19865 (toysat) S 19861 19864 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267707 33554432000 4194304 16246674 140735316056928 139686802599152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19864/tid=19866] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19866/stat : 19866 (toysat) S 19861 19864 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267707 33554432000 4194304 16246674 140735316056928 139686792109296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19864/tid=19867] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19867/stat : 19867 (toysat) S 19861 19864 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267707 33554432000 4194304 16246674 140735316056928 139686781635760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.39 2.31 2.28 3/183 19868
/proc/meminfo: memFree=26199432/32872528 swapFree=1590004/1720820
[pid=19864] ppid=19861 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/19864/stat : 19864 (toysat) R 19861 19864 13693 0 -1 4202496 267399 0 0 0 594 35 0 0 20 0 4 0 12689249 1337528320 267728 33554432000 4194304 16246674 140735316056928 140735316039928 5545784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19864/statm: 326545 267728 782 2943 0 323439 0
[pid=19864/tid=19865] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19865/stat : 19865 (toysat) S 19861 19864 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267728 33554432000 4194304 16246674 140735316056928 139686802599152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19864/tid=19866] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19866/stat : 19866 (toysat) S 19861 19864 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267728 33554432000 4194304 16246674 140735316056928 139686792109296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19864/tid=19867] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19867/stat : 19867 (toysat) S 19861 19864 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267728 33554432000 4194304 16246674 140735316056928 139686781635760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.36 2.30 2.28 3/183 19868
/proc/meminfo: memFree=26199736/32872528 swapFree=1590004/1720820
[pid=19864] ppid=19861 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/19864/stat : 19864 (toysat) R 19861 19864 13693 0 -1 4202496 267400 0 0 0 1234 35 0 0 20 0 4 0 12689249 1337528320 267729 33554432000 4194304 16246674 140735316056928 140735316039928 5668199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19864/statm: 326545 267729 782 2943 0 323439 0
[pid=19864/tid=19865] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19865/stat : 19865 (toysat) S 19861 19864 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267729 33554432000 4194304 16246674 140735316056928 139686802599152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19864/tid=19866] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19866/stat : 19866 (toysat) S 19861 19864 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267729 33554432000 4194304 16246674 140735316056928 139686792109296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19864/tid=19867] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19867/stat : 19867 (toysat) S 19861 19864 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267729 33554432000 4194304 16246674 140735316056928 139686781635760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.35 2.30 2.28 3/183 19868
/proc/meminfo: memFree=26198964/32872528 swapFree=1590004/1720820
[pid=19864] ppid=19861 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/19864/stat : 19864 (toysat) R 19861 19864 13693 0 -1 4202496 267405 0 0 0 2513 35 0 0 20 0 4 0 12689249 1337528320 267734 33554432000 4194304 16246674 140735316056928 140735316039928 12469058 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19864/statm: 326545 267734 782 2943 0 323439 0
[pid=19864/tid=19865] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19865/stat : 19865 (toysat) S 19861 19864 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267734 33554432000 4194304 16246674 140735316056928 139686802599152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19864/tid=19866] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19866/stat : 19866 (toysat) S 19861 19864 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267734 33554432000 4194304 16246674 140735316056928 139686792109296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19864/tid=19867] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19867/stat : 19867 (toysat) S 19861 19864 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267734 33554432000 4194304 16246674 140735316056928 139686781635760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.31 2.30 2.27 3/183 19868
/proc/meminfo: memFree=26198812/32872528 swapFree=1590004/1720820
[pid=19864] ppid=19861 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/19864/stat : 19864 (toysat) R 19861 19864 13693 0 -1 4202496 267421 0 0 0 5072 36 0 0 20 0 4 0 12689249 1337528320 267750 33554432000 4194304 16246674 140735316056928 140735316039928 5822687 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19864/statm: 326545 267750 785 2943 0 323439 0
[pid=19864/tid=19865] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19865/stat : 19865 (toysat) S 19861 19864 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267750 33554432000 4194304 16246674 140735316056928 139686802599152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19864/tid=19866] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19866/stat : 19866 (toysat) S 19861 19864 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267750 33554432000 4194304 16246674 140735316056928 139686792109296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19864/tid=19867] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19867/stat : 19867 (toysat) S 19861 19864 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267750 33554432000 4194304 16246674 140735316056928 139686781635760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.40 2.31 2.28 3/184 19872
/proc/meminfo: memFree=26198100/32872528 swapFree=1590004/1720820
[pid=19864] ppid=19861 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/19864/stat : 19864 (toysat) R 19861 19864 13693 0 -1 4202496 267423 0 0 0 10190 38 0 0 20 0 4 0 12689249 1337528320 267752 33554432000 4194304 16246674 140735316056928 140735316039928 13923843 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19864/statm: 326545 267752 787 2943 0 323439 0
[pid=19864/tid=19865] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19865/stat : 19865 (toysat) S 19861 19864 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267752 33554432000 4194304 16246674 140735316056928 139686802599152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19864/tid=19866] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19866/stat : 19866 (toysat) S 19861 19864 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267752 33554432000 4194304 16246674 140735316056928 139686792109296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19864/tid=19867] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19867/stat : 19867 (toysat) S 19861 19864 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267752 33554432000 4194304 16246674 140735316056928 139686781635760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/19864/stat : 19864 (toysat) R 19861 19864 13693 0 -1 4202496 267463 0 0 0 22183 43 0 0 20 0 4 0 12689249 1337528320 267789 33554432000 4194304 16246674 140735316056928 140735316038848 13193692 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19864/statm: 326545 267789 787 2943 0 323439 0
[pid=19864/tid=19865] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19865/stat : 19865 (toysat) S 19861 19864 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267789 33554432000 4194304 16246674 140735316056928 139686802599152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19864/tid=19866] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19866/stat : 19866 (toysat) S 19861 19864 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267789 33554432000 4194304 16246674 140735316056928 139686792109296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19864/tid=19867] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19867/stat : 19867 (toysat) S 19861 19864 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267789 33554432000 4194304 16246674 140735316056928 139686781635760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1306180

[startup+282.3 s]
/proc/loadavg: 2.26 2.28 2.27 3/183 19974
/proc/meminfo: memFree=26200032/32872528 swapFree=1590004/1720820
[pid=19864] ppid=19861 vsize=1306180 CPUtime=282.23 cores=1,3,5,7
/proc/19864/stat : 19864 (toysat) R 19861 19864 13693 0 -1 4202496 267491 0 0 0 28178 45 0 0 20 0 4 0 12689249 1337528320 267791 33554432000 4194304 16246674 140735316056928 140735316039928 6021524 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19864/statm: 326545 267791 787 2943 0 323439 0
[pid=19864/tid=19865] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19865/stat : 19865 (toysat) S 19861 19864 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267791 33554432000 4194304 16246674 140735316056928 139686802599152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19864/tid=19866] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19866/stat : 19866 (toysat) S 19861 19864 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267791 33554432000 4194304 16246674 140735316056928 139686792109296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19864/tid=19867] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19867/stat : 19867 (toysat) S 19861 19864 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267791 33554432000 4194304 16246674 140735316056928 139686781635760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1306180

[startup+342.3 s]
/proc/loadavg: 2.37 2.30 2.27 3/183 19975
/proc/meminfo: memFree=26199968/32872528 swapFree=1590004/1720820
[pid=19864] ppid=19861 vsize=1306180 CPUtime=342.21 cores=1,3,5,7
/proc/19864/stat : 19864 (toysat) R 19861 19864 13693 0 -1 4202496 267517 0 0 0 34174 47 0 0 20 0 4 0 12689249 1337528320 267791 33554432000 4194304 16246674 140735316056928 140735316039928 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19864/statm: 326545 267791 787 2943 0 323439 0
[pid=19864/tid=19865] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19865/stat : 19865 (toysat) S 19861 19864 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267791 33554432000 4194304 16246674 140735316056928 139686802599152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19864/tid=19866] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19866/stat : 19866 (toysat) S 19861 19864 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267791 33554432000 4194304 16246674 140735316056928 139686792109296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19864/tid=19867] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19867/stat : 19867 (toysat) S 19861 19864 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267791 33554432000 4194304 16246674 140735316056928 139686781635760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1306180

[startup+402.3 s]
/proc/loadavg: 2.46 2.33 2.28 4/183 19976
/proc/meminfo: memFree=26199644/32872528 swapFree=1590004/1720820
[pid=19864] ppid=19861 vsize=1306180 CPUtime=402.18 cores=1,3,5,7
/proc/19864/stat : 19864 (toysat) R 19861 19864 13693 0 -1 4202496 267556 0 0 0 40169 49 0 0 20 0 4 0 12689249 1337528320 267797 33554432000 4194304 16246674 140735316056928 140735316039928 5677392 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19864/statm: 326545 267797 787 2943 0 323439 0
[pid=19864/tid=19865] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19865/stat : 19865 (toysat) S 19861 19864 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267797 33554432000 4194304 16246674 140735316056928 139686802599152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19864/tid=19866] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19866/stat : 19866 (toysat) S 19861 19864 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267797 33554432000 4194304 16246674 140735316056928 139686792109296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19864/tid=19867] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19867/stat : 19867 (toysat) S 19861 19864 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267797 33554432000 4194304 16246674 140735316056928 139686781635760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1306180

[startup+462.3 s]
/proc/loadavg: 2.37 2.33 2.28 3/183 19978
/proc/meminfo: memFree=26200012/32872528 swapFree=1590004/1720820
[pid=19864] ppid=19861 vsize=1306180 CPUtime=462.15 cores=1,3,5,7
/proc/19864/stat : 19864 (toysat) R 19861 19864 13693 0 -1 4202496 267600 0 0 0 46164 51 0 0 20 0 4 0 12689249 1337528320 267807 33554432000 4194304 16246674 140735316056928 140735316039928 5808436 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19864/statm: 326545 267807 788 2943 0 323439 0
[pid=19864/tid=19865] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19865/stat : 19865 (toysat) S 19861 19864 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267807 33554432000 4194304 16246674 140735316056928 139686802599152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19864/tid=19866] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19866/stat : 19866 (toysat) S 19861 19864 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267807 33554432000 4194304 16246674 140735316056928 139686792109296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19864/tid=19867] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19867/stat : 19867 (toysat) S 19861 19864 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267807 33554432000 4194304 16246674 140735316056928 139686781635760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 1306180

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

[startup+467.2 s]
/proc/loadavg: 2.34 2.32 2.28 3/183 19978
/proc/meminfo: memFree=26199636/32872528 swapFree=1590004/1720820
[pid=19864] ppid=19861 vsize=1306180 CPUtime=467.05 cores=1,3,5,7
/proc/19864/stat : 19864 (toysat) R 19861 19864 13693 0 -1 4202496 267603 0 0 0 46654 51 0 0 20 0 4 0 12689249 1337528320 267807 33554432000 4194304 16246674 140735316056928 140735316039928 13962576 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19864/statm: 326545 267807 788 2943 0 323439 0
[pid=19864/tid=19865] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19865/stat : 19865 (toysat) S 19861 19864 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267807 33554432000 4194304 16246674 140735316056928 139686802599152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19864/tid=19866] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19866/stat : 19866 (toysat) S 19861 19864 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267807 33554432000 4194304 16246674 140735316056928 139686792109296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19864/tid=19867] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19867/stat : 19867 (toysat) S 19861 19864 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267807 33554432000 4194304 16246674 140735316056928 139686781635760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 467.05
Current children cumulated vsize (KiB) 1306180

[startup+468.8 s]
/proc/loadavg: 2.31 2.32 2.28 3/183 19978
/proc/meminfo: memFree=26199512/32872528 swapFree=1590004/1720820
[pid=19864] ppid=19861 vsize=1306180 CPUtime=468.65 cores=1,3,5,7
/proc/19864/stat : 19864 (toysat) R 19861 19864 13693 0 -1 4202496 267603 0 0 0 46814 51 0 0 20 0 4 0 12689249 1337528320 267807 33554432000 4194304 16246674 140735316056928 140735316039928 6012112 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19864/statm: 326545 267807 788 2943 0 323439 0
[pid=19864/tid=19865] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19865/stat : 19865 (toysat) S 19861 19864 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267807 33554432000 4194304 16246674 140735316056928 139686802599152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19864/tid=19866] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19866/stat : 19866 (toysat) S 19861 19864 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267807 33554432000 4194304 16246674 140735316056928 139686792109296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19864/tid=19867] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19867/stat : 19867 (toysat) S 19861 19864 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267807 33554432000 4194304 16246674 140735316056928 139686781635760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 468.65
Current children cumulated vsize (KiB) 1306180

[startup+470.4 s]
/proc/loadavg: 2.31 2.32 2.28 3/183 19978
/proc/meminfo: memFree=26199760/32872528 swapFree=1590004/1720820
[pid=19864] ppid=19861 vsize=1306180 CPUtime=470.25 cores=1,3,5,7
/proc/19864/stat : 19864 (toysat) R 19861 19864 13693 0 -1 4202496 267603 0 0 0 46974 51 0 0 20 0 4 0 12689249 1337528320 267807 33554432000 4194304 16246674 140735316056928 140735316039928 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19864/statm: 326545 267807 788 2943 0 323439 0
[pid=19864/tid=19865] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19865/stat : 19865 (toysat) S 19861 19864 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267807 33554432000 4194304 16246674 140735316056928 139686802599152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19864/tid=19866] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19866/stat : 19866 (toysat) S 19861 19864 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267807 33554432000 4194304 16246674 140735316056928 139686792109296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19864/tid=19867] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19867/stat : 19867 (toysat) S 19861 19864 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267807 33554432000 4194304 16246674 140735316056928 139686781635760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 470.25
Current children cumulated vsize (KiB) 1306180

[startup+471.2 s]
/proc/loadavg: 2.31 2.32 2.28 3/183 19978
/proc/meminfo: memFree=26199760/32872528 swapFree=1590004/1720820
[pid=19864] ppid=19861 vsize=1306180 CPUtime=471.05 cores=1,3,5,7
/proc/19864/stat : 19864 (toysat) R 19861 19864 13693 0 -1 4202496 267603 0 0 0 47054 51 0 0 20 0 4 0 12689249 1337528320 267807 33554432000 4194304 16246674 140735316056928 140735316039928 5723145 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19864/statm: 326545 267807 788 2943 0 323439 0
[pid=19864/tid=19865] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19865/stat : 19865 (toysat) S 19861 19864 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267807 33554432000 4194304 16246674 140735316056928 139686802599152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19864/tid=19866] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19866/stat : 19866 (toysat) S 19861 19864 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267807 33554432000 4194304 16246674 140735316056928 139686792109296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19864/tid=19867] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19867/stat : 19867 (toysat) S 19861 19864 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267807 33554432000 4194304 16246674 140735316056928 139686781635760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 471.05
Current children cumulated vsize (KiB) 1306180

[startup+471.6 s]
/proc/loadavg: 2.31 2.32 2.28 3/183 19978
/proc/meminfo: memFree=26199760/32872528 swapFree=1590004/1720820
[pid=19864] ppid=19861 vsize=1306180 CPUtime=471.45 cores=1,3,5,7
/proc/19864/stat : 19864 (toysat) R 19861 19864 13693 0 -1 4202496 267603 0 0 0 47094 51 0 0 20 0 4 0 12689249 1337528320 267807 33554432000 4194304 16246674 140735316056928 140735316039928 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19864/statm: 326545 267807 788 2943 0 323439 0
[pid=19864/tid=19865] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19865/stat : 19865 (toysat) S 19861 19864 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267807 33554432000 4194304 16246674 140735316056928 139686802599152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19864/tid=19866] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19866/stat : 19866 (toysat) S 19861 19864 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267807 33554432000 4194304 16246674 140735316056928 139686792109296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19864/tid=19867] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19867/stat : 19867 (toysat) S 19861 19864 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267807 33554432000 4194304 16246674 140735316056928 139686781635760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 471.45
Current children cumulated vsize (KiB) 1306180

[startup+471.7 s]
/proc/loadavg: 2.31 2.32 2.28 3/183 19978
/proc/meminfo: memFree=26199760/32872528 swapFree=1590004/1720820
[pid=19864] ppid=19861 vsize=1306180 CPUtime=471.55 cores=1,3,5,7
/proc/19864/stat : 19864 (toysat) R 19861 19864 13693 0 -1 4202496 267604 0 0 0 47104 51 0 0 20 0 4 0 12689249 1337528320 267808 33554432000 4194304 16246674 140735316056928 140735316039928 6837428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19864/statm: 326545 267808 789 2943 0 323439 0
[pid=19864/tid=19865] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19865/stat : 19865 (toysat) S 19861 19864 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267808 33554432000 4194304 16246674 140735316056928 139686802599152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19864/tid=19866] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19866/stat : 19866 (toysat) S 19861 19864 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267808 33554432000 4194304 16246674 140735316056928 139686792109296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19864/tid=19867] ppid=19861 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19864/task/19867/stat : 19867 (toysat) S 19861 19864 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12689249 1337528320 267808 33554432000 4194304 16246674 140735316056928 139686781635760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 471.55
Current children cumulated vsize (KiB) 1306180

Child status: 0
Real time (s): 471.777
CPU time (s): 471.627
CPU user time (s): 471.083
CPU system time (s): 0.543917
CPU usage (%): 99.9683
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 471.083
system time used= 0.543917
maximum resident set size= 1071244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267609
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= 151
involuntary context switches= 477

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.24481 second user time and 1.77173 second system time

The end

Launcher Data 

Begin job on node120 at 2016-06-30 22:08:27
IDJOB=4122682
IDBENCH=111234
IDSOLVER=2542
FILE ID=node120/4122682-1467317307
RUNJOBID= node120-1467312316-18593
PBS_JOBID= 20005266
Free space on /tmp= 71656 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-21.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-4122682-1467317307/watcher-4122682-1467317307 -o /tmp/evaluation-result-4122682-1467317307/solver-4122682-1467317307 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467312316-18593 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122682-1467317307.opb

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

MD5SUM BENCH= d540a4276675ec903b75a1231f8ac20a
RANDOM SEED=190617218

node120.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.669
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.33
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.669
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.56
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.669
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.669
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.669
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.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		: 2666.669
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.54
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.669
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.669
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:        27270540 kB
Buffers:          171724 kB
Cached:          1881472 kB
SwapCached:            0 kB
Active:          1368580 kB
Inactive:        1766080 kB
Active(anon):    1084016 kB
Inactive(anon):        0 kB
Active(file):     284564 kB
Inactive(file):  1766080 kB
Unevictable:     1720820 kB
Mlocked:         1590004 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16304 kB
Writeback:             0 kB
AnonPages:       2889700 kB
Mapped:            17136 kB
Shmem:               204 kB
Slab:             611972 kB
SReclaimable:      56060 kB
SUnreclaim:       555912 kB
KernelStack:        1520 kB
PageTables:         9900 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2939472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    219136 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= 71640 MiB
End job on node120 at 2016-06-30 22:16:19