Trace number 4096176

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 528.033 528.24

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
subsetcard/normalized-subsetcard-eq-random4regular-25.opb
MD5SUM6246c16ef7a643907c1e2f8427d014bd
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.010998
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables101
Total number of constraints50
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)50
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-16T20:59:35+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-4096176-1466103575.opb"]
0.00/0.01	c use --random-gen="1056367420 540212319 3968545465 3270650874 2664897123 1636375077 2970920179 1274041693 1403439163 1147148704 3946197772 383191682 3836760728 499592887 4226583092 4070835126 1985262754 1202674838 1638784630 906505809 1460901934 4134830188 3345638749 3680614096 158900038 1045644482 849656196 3878081127 2106807875 4230827949 3343976119 3588906050 13185315 1022574309 1961604706 2146950817 2811737666 636231311 1078787267 2387183751 3984111055 351323901 4064436313 766707233 52908449 1629273026 3678969292 3080483404 2545917614 581815263 3955254236 843309872 1722340121 153847015 482009246 4185126610 3228061047 1266628704 3858227889 4234395924 3834304000 1198994821 2989934150 3232631439 446912556 1230529109 2051093976 3386943353 1828382911 3936133052 3731912331 1317919300 3884959415 1836307641 1830899077 3073111303 608607351 1012902534 3884417795 720390862 1184644206 4261064518 3561846015 2699859892 2201837059 2552518427 325660998 3628123956 975576599 1782664444 3340944619 989097073 863724713 2832471674 2197490491 300569704 1413510483 2293237023 4180858868 52876071 1597855641 578849905 3628563037 2992383628 1315406961 4169988889 652947654 416168180 33608242 1703971434 3877612523 3319253411 4100028317 962486417 3916737688 890131279 781628672 3636925545 3612539166 2444961595 2173861452 1550313981 1392520672 4221250455 123765049 3432538130 999050283 2427993296 2501232855 553600554 423191277 631761114 3091526800 3172555701 845468134 961295672 1093017200 236993091 1832759931 360265626 1804358570 2009830911 2854506629 943512725 2179636118 2068146449 3624778386 2488568005 1489870361 3131314974 1365816279 2305903984 3170659217 4228343382 3161841756 2035202943 2890017238 3337729747 2164010455 2748276349 3835330325 312040759 3675240615 2467112000 420597911 2264906778 4212109872 929771379 2104630670 1997885188 1630546926 1778392222 3374364568 337822876 2396857841 1741829022 3184378441 1300126151 2607062508 4261624429 506608203 802230984 3766380609 3114409709 2090614707 3556328981 1003074893 3109696703 2674664063 2719320250 3394582847 436813220 668054005 1994556072 2550842887 2070709141 2643866813 249306155 1109259505 3945180425 1739401952 2382953086 1824056531 3294917900 3073877581 3634552090 1018795069 1685296768 3503424978 403312986 3312938972 2692034095 377265864 1808487168 37102623 1977113843 3890054266 2024367287 3295480703 2177166632 3202317963 2225688701 1713522266 531906113 2193696422 962178151 249480035 3300656533 2820059796 1562670973 532395223 3803230250 741308474 594614211 3553987640 3041928718 2118881428 3971448907 781488475 239627820 810599150 2890303036 3870128444 1667397196 1361388225 3809201267 766646407 379270507 1217199795 139936341 4013157537 3178449818 3432306230 2557646627 3260496235 4007333751 255 362436" option to reproduce the execution
0.00/0.01	c #vars 101
0.00/0.01	c #constraints 50
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 |       67      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      125 |      100 |       67      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      336 |      250 |       74      3 |        0 |        0
0.00/0.06	c  0.0s |       3 |      663 |      475 |       82      7 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1150 |      813 |       91     12 |        0 |        0
0.08/0.13	c  0.1s |       5 |     1947 |     1320 |      101     20 |        0 |        0
0.18/0.21	c  0.2s |       6 |     3086 |     2081 |      124     31 |        0 |        0
0.29/0.31	c  0.3s |       7 |     4974 |     3223 |      137     45 |        0 |        0
0.39/0.46	c  0.4s |       8 |     7721 |     4936 |      151     65 |        0 |        0
0.68/0.71	c  0.7s |       9 |    11404 |     7506 |      167     95 |        0 |        0
0.99/1.09	c  1.1s |      10 |    16977 |    11361 |      184    135 |        0 |        0
1.39/1.48	c  1.5s |      11 |    24935 |    17144 |      203    190 |        0 |        0
2.09/2.12	c  2.1s |      12 |    36195 |    25819 |      224    266 |        0 |        0
2.89/2.94	c  2.9s |      13 |    54144 |    38832 |      247    372 |        0 |        0
4.19/4.22	c  4.2s |      14 |    82393 |    58352 |      272    517 |        0 |        0
6.19/6.23	c  6.2s |      14 |   117740 |    86452 |      272    708 |        0 |        0
6.29/6.31	c  6.3s |      15 |   119290 |    87632 |      300    715 |        0 |        0
8.29/8.31	c  8.3s |      15 |   156229 |   116132 |      300    894 |        0 |        0
9.39/9.42	c  9.4s |      16 |   175557 |   131552 |      330    990 |        0 |        0
11.39/11.43	c 11.4s |      16 |   208256 |   158152 |      330   1142 |        0 |        0
13.39/13.44	c 13.4s |      16 |   244489 |   185752 |      330   1301 |        0 |        0
14.19/14.24	c 14.2s |      17 |   260309 |   197432 |      364   1367 |        0 |        0
16.18/16.24	c 16.2s |      17 |   297519 |   225032 |      364   1512 |        0 |        0
18.18/18.24	c 18.2s |      17 |   336119 |   252832 |      364   1656 |        0 |        0
20.18/20.25	c 20.2s |      17 |   369307 |   278932 |      364   1792 |        0 |        0
21.48/21.55	c 21.5s |      18 |   391565 |   296252 |      401   1881 |        0 |        0
23.48/23.55	c 23.5s |      18 |   431053 |   325252 |      401   2019 |        0 |        0
25.48/25.55	c 25.5s |      18 |   468205 |   353152 |      401   2152 |        0 |        0
27.49/27.56	c 27.5s |      18 |   504600 |   380352 |      401   2282 |        0 |        0
29.48/29.56	c 29.5s |      18 |   545596 |   409152 |      401   2420 |        0 |        0
31.48/31.57	c 31.6s |      18 |   583551 |   436952 |      401   2554 |        0 |        0
32.08/32.12	c 32.1s |      19 |   594097 |   444482 |      442   2589 |        0 |        0
34.09/34.12	c 34.1s |      19 |   626802 |   470082 |      442   2699 |        0 |        0
36.09/36.13	c 36.1s |      19 |   658263 |   495382 |      442   2809 |        0 |        0
38.09/38.13	c 38.1s |      19 |   693383 |   522682 |      442   2928 |        0 |        0
40.08/40.14	c 40.1s |      19 |   725243 |   547882 |      442   3037 |        0 |        0
42.08/42.14	c 42.1s |      19 |   758767 |   574082 |      442   3152 |        0 |        0
44.09/44.14	c 44.1s |      19 |   795489 |   601282 |      442   3270 |        0 |        0
46.08/46.14	c 46.1s |      19 |   834261 |   629782 |      442   3395 |        0 |        0
48.08/48.14	c 48.1s |      19 |   871903 |   657082 |      442   3514 |        0 |        0
48.78/48.88	c 48.9s |      20 |   884340 |   666827 |      487   3555 |        0 |        0
50.78/50.88	c 50.9s |      20 |   918333 |   692327 |      487   3655 |        0 |        0
52.79/52.88	c 52.9s |      20 |   949387 |   716827 |      487   3752 |        0 |        0
54.78/54.89	c 54.9s |      20 |   980331 |   741927 |      487   3852 |        0 |        0
56.78/56.89	c 56.9s |      20 |  1010613 |   766827 |      487   3951 |        0 |        0
58.88/58.90	c 58.9s |      20 |  1042652 |   791427 |      487   4048 |        0 |        0
60.88/60.90	c 60.9s |      20 |  1076979 |   817327 |      487   4151 |        0 |        0
62.88/62.90	c 62.9s |      20 |  1108804 |   841827 |      487   4248 |        0 |        0
64.88/64.91	c 64.9s |      20 |  1139471 |   865927 |      487   4344 |        0 |        0
66.87/66.92	c 66.9s |      20 |  1171853 |   890427 |      487   4441 |        0 |        0
68.87/68.92	c 68.9s |      20 |  1206737 |   916327 |      487   4544 |        0 |        0
70.87/70.92	c 70.9s |      20 |  1239494 |   942027 |      487   4647 |        0 |        0
72.87/72.93	c 72.9s |      20 |  1274828 |   968527 |      487   4752 |        0 |        0
74.88/74.93	c 74.9s |      20 |  1308545 |   993727 |      536   4852 |        0 |        0
75.37/75.45	c 75.4s |      21 |  1317686 |  1000345 |      536   4876 |        0 |        0
77.38/77.46	c 77.4s |      21 |  1350557 |  1024945 |      536   4965 |        0 |        0
79.37/79.47	c 79.5s |      21 |  1382768 |  1049845 |      536   5055 |        0 |        0
81.38/81.47	c 81.5s |      21 |  1416436 |  1075045 |      536   5145 |        0 |        0
83.37/83.48	c 83.5s |      21 |  1447370 |  1099345 |      536   5232 |        0 |        0
85.37/85.48	c 85.5s |      21 |  1482700 |  1125345 |      536   5326 |        0 |        0
87.37/87.48	c 87.5s |      21 |  1516451 |  1150645 |      536   5418 |        0 |        0
89.37/89.48	c 89.5s |      21 |  1550579 |  1176145 |      536   5511 |        0 |        0
91.38/91.49	c 91.5s |      21 |  1584934 |  1201545 |      536   5603 |        0 |        0
93.37/93.49	c 93.5s |      21 |  1617496 |  1225845 |      536   5690 |        0 |        0
95.37/95.49	c 95.5s |      21 |  1651825 |  1251545 |      536   5782 |        0 |        0
97.47/97.50	c 97.5s |      21 |  1689076 |  1278945 |      536   5881 |        0 |        0
99.46/99.50	c 99.5s |      21 |  1720343 |  1303745 |      536   5971 |        0 |        0
101.46/101.51	c  101s |      21 |  1749058 |  1327245 |      536   6057 |        0 |        0
103.47/103.51	c  103s |      21 |  1779726 |  1351545 |      536   6146 |        0 |        0
105.46/105.52	c  105s |      21 |  1810614 |  1375645 |      536   6232 |        0 |        0
107.46/107.52	c  107s |      21 |  1840469 |  1398845 |      536   6316 |        0 |        0
109.46/109.53	c  109s |      21 |  1870105 |  1422145 |      536   6399 |        0 |        0
111.46/111.53	c  111s |      21 |  1902316 |  1446545 |      536   6487 |        0 |        0
113.45/113.54	c  113s |      21 |  1931527 |  1469645 |      536   6570 |        0 |        0
115.46/115.54	c  115s |      21 |  1960807 |  1492745 |      590   6652 |        0 |        0
116.15/116.21	c  116s |      22 |  1970593 |  1500622 |      590   6677 |        0 |        0
118.15/118.22	c  118s |      22 |  2001259 |  1524422 |      590   6755 |        0 |        0
120.15/120.22	c  120s |      22 |  2032847 |  1548522 |      590   6835 |        0 |        0
122.17/122.22	c  122s |      22 |  2063168 |  1572222 |      590   6912 |        0 |        0
124.16/124.23	c  124s |      22 |  2097255 |  1597422 |      590   6995 |        0 |        0
126.16/126.23	c  126s |      22 |  2128727 |  1621422 |      590   7074 |        0 |        0
128.16/128.23	c  128s |      22 |  2161133 |  1645922 |      590   7154 |        0 |        0
130.16/130.23	c  130s |      22 |  2193712 |  1670622 |      590   7236 |        0 |        0
132.16/132.24	c  132s |      22 |  2225856 |  1695222 |      590   7317 |        0 |        0
134.16/134.24	c  134s |      22 |  2260278 |  1720822 |      590   7401 |        0 |        0
136.15/136.25	c  136s |      22 |  2292432 |  1745722 |      590   7484 |        0 |        0
138.15/138.25	c  138s |      22 |  2324465 |  1770322 |      590   7564 |        0 |        0
140.15/140.25	c  140s |      22 |  2356917 |  1795022 |      590   7646 |        0 |        0
142.15/142.26	c  142s |      22 |  2391727 |  1820822 |      590   7731 |        0 |        0
144.15/144.27	c  144s |      22 |  2422691 |  1845122 |      590   7811 |        0 |        0
146.14/146.27	c  146s |      22 |  2454389 |  1869722 |      590   7892 |        0 |        0
148.14/148.28	c  148s |      22 |  2483734 |  1893222 |      590   7969 |        0 |        0
150.14/150.28	c  150s |      22 |  2513315 |  1916622 |      590   8046 |        0 |        0
152.14/152.29	c  152s |      22 |  2544503 |  1940822 |      590   8125 |        0 |        0
154.14/154.29	c  154s |      22 |  2577468 |  1966322 |      590   8210 |        0 |        0
156.15/156.29	c  156s |      22 |  2607938 |  1990322 |      590   8289 |        0 |        0
158.25/158.30	c  158s |      22 |  2639979 |  2015022 |      590   8371 |        0 |        0
160.24/160.31	c  160s |      22 |  2674061 |  2040422 |      590   8455 |        0 |        0
162.24/162.31	c  162s |      22 |  2705608 |  2065422 |      590   8537 |        0 |        0
164.24/164.31	c  164s |      22 |  2735128 |  2088522 |      590   8613 |        0 |        0
166.24/166.32	c  166s |      22 |  2762727 |  2111022 |      590   8688 |        0 |        0
168.25/168.32	c  168s |      22 |  2793170 |  2134422 |      590   8765 |        0 |        0
170.24/170.32	c  170s |      22 |  2824795 |  2158722 |      590   8846 |        0 |        0
172.24/172.33	c  172s |      22 |  2853322 |  2181722 |      590   8922 |        0 |        0
174.24/174.33	c  174s |      22 |  2880413 |  2204122 |      590   8996 |        0 |        0
176.24/176.34	c  176s |      22 |  2909707 |  2227722 |      590   9073 |        0 |        0
178.14/178.21	c  178s |      23 |  2939711 |  2251038 |      649   9145 |        0 |        0
180.13/180.21	c  180s |      23 |  2975020 |  2276138 |      649   9220 |        0 |        0
182.13/182.22	c  182s |      23 |  3009330 |  2300938 |      649   9294 |        0 |        0
184.13/184.23	c  184s |      23 |  3044090 |  2326638 |      649   9372 |        0 |        0
186.13/186.23	c  186s |      23 |  3076728 |  2350838 |      649   9444 |        0 |        0
188.13/188.23	c  188s |      23 |  3107473 |  2375238 |      649   9518 |        0 |        0
190.14/190.24	c  190s |      23 |  3141343 |  2400538 |      649   9594 |        0 |        0
192.14/192.25	c  192s |      23 |  3175917 |  2426338 |      649   9672 |        0 |        0
194.14/194.25	c  194s |      23 |  3213014 |  2453438 |      649   9754 |        0 |        0
196.14/196.25	c  196s |      23 |  3248394 |  2479038 |      649   9831 |        0 |        0
198.13/198.26	c  198s |      23 |  3283957 |  2505138 |      649   9910 |        0 |        0
200.14/200.26	c  200s |      23 |  3317529 |  2530638 |      649   9987 |        0 |        0
202.13/202.26	c  202s |      23 |  3351321 |  2555838 |      649  10063 |        0 |        0
204.13/204.27	c  204s |      23 |  3383102 |  2580438 |      649  10138 |        0 |        0
206.13/206.27	c  206s |      23 |  3416214 |  2605738 |      649  10214 |        0 |        0
208.13/208.27	c  208s |      23 |  3448017 |  2629438 |      649  10285 |        0 |        0
210.14/210.28	c  210s |      23 |  3481979 |  2654938 |      649  10362 |        0 |        0
212.13/212.28	c  212s |      23 |  3517499 |  2680838 |      649  10440 |        0 |        0
214.13/214.29	c  214s |      23 |  3550733 |  2705638 |      649  10515 |        0 |        0
216.13/216.29	c  216s |      23 |  3585479 |  2731238 |      649  10593 |        0 |        0
218.23/218.30	c  218s |      23 |  3621560 |  2757238 |      649  10672 |        0 |        0
220.23/220.30	c  220s |      23 |  3652820 |  2781238 |      649  10744 |        0 |        0
222.23/222.31	c  222s |      23 |  3682533 |  2804938 |      649  10815 |        0 |        0
224.22/224.31	c  224s |      23 |  3714115 |  2829938 |      649  10890 |        0 |        0
226.22/226.32	c  226s |      23 |  3747316 |  2855438 |      649  10967 |        0 |        0
228.22/228.33	c  228s |      23 |  3783723 |  2881738 |      649  11047 |        0 |        0
230.22/230.33	c  230s |      23 |  3818661 |  2907338 |      649  11125 |        0 |        0
232.22/232.34	c  232s |      23 |  3856553 |  2934038 |      649  11206 |        0 |        0
234.22/234.34	c  234s |      23 |  3891099 |  2958938 |      649  11281 |        0 |        0
236.22/236.35	c  236s |      23 |  3924562 |  2984038 |      649  11357 |        0 |        0
238.21/238.35	c  238s |      23 |  3958666 |  3009238 |      649  11432 |        0 |        0
240.21/240.35	c  240s |      23 |  3992758 |  3034038 |      649  11507 |        0 |        0
242.21/242.36	c  242s |      23 |  4024475 |  3058438 |      649  11580 |        0 |        0
244.22/244.36	c  244s |      23 |  4055381 |  3081938 |      649  11651 |        0 |        0
246.21/246.36	c  246s |      23 |  4087228 |  3106138 |      649  11723 |        0 |        0
248.21/248.36	c  248s |      23 |  4121890 |  3131538 |      649  11800 |        0 |        0
250.20/250.37	c  250s |      23 |  4153644 |  3156038 |      649  11873 |        0 |        0
252.20/252.37	c  252s |      23 |  4184756 |  3179838 |      649  11945 |        0 |        0
254.20/254.37	c  254s |      23 |  4217122 |  3204138 |      649  12018 |        0 |        0
256.21/256.38	c  256s |      23 |  4251811 |  3229238 |      649  12094 |        0 |        0
258.20/258.38	c  258s |      23 |  4285661 |  3254538 |      649  12170 |        0 |        0
260.20/260.39	c  260s |      23 |  4317502 |  3278838 |      649  12244 |        0 |        0
262.20/262.39	c  262s |      23 |  4354293 |  3304638 |      649  12322 |        0 |        0
264.19/264.39	c  264s |      23 |  4388140 |  3329738 |      649  12398 |        0 |        0
266.20/266.39	c  266s |      23 |  4423563 |  3355338 |      714  12475 |        0 |        0
267.89/268.08	c  268s |      24 |  4452339 |  3376662 |      714  12533 |        0 |        0
269.89/270.09	c  270s |      24 |  4487141 |  3401562 |      714  12601 |        0 |        0
271.90/272.10	c  272s |      24 |  4519899 |  3426562 |      714  12670 |        0 |        0
274.00/274.10	c  274s |      24 |  4554594 |  3452562 |      714  12741 |        0 |        0
275.90/276.10	c  276s |      24 |  4589320 |  3477862 |      714  12810 |        0 |        0
278.00/278.10	c  278s |      24 |  4620855 |  3501862 |      714  12875 |        0 |        0
279.99/280.10	c  280s |      24 |  4651941 |  3525662 |      714  12941 |        0 |        0
281.99/282.11	c  282s |      24 |  4685174 |  3550662 |      714  13009 |        0 |        0
283.99/284.11	c  284s |      24 |  4720763 |  3576962 |      714  13082 |        0 |        0
286.00/286.12	c  286s |      24 |  4756020 |  3603062 |      714  13154 |        0 |        0
287.99/288.12	c  288s |      24 |  4785484 |  3626462 |      714  13218 |        0 |        0
289.99/290.13	c  290s |      24 |  4812668 |  3648862 |      714  13279 |        0 |        0
291.99/292.13	c  292s |      24 |  4843566 |  3673162 |      714  13346 |        0 |        0
293.99/294.13	c  294s |      24 |  4875593 |  3698162 |      714  13414 |        0 |        0
295.99/296.13	c  296s |      24 |  4907354 |  3722362 |      714  13481 |        0 |        0
297.99/298.13	c  298s |      24 |  4940535 |  3747262 |      714  13550 |        0 |        0
299.98/300.14	c  300s |      24 |  4972280 |  3772362 |      714  13619 |        0 |        0
301.98/302.14	c  302s |      24 |  5003038 |  3796462 |      714  13685 |        0 |        0
303.98/304.15	c  304s |      24 |  5033799 |  3820862 |      714  13753 |        0 |        0
305.98/306.16	c  306s |      24 |  5063801 |  3845262 |      714  13820 |        0 |        0
307.99/308.16	c  308s |      24 |  5094378 |  3869362 |      714  13886 |        0 |        0
309.98/310.16	c  310s |      24 |  5123509 |  3892762 |      714  13951 |        0 |        0
311.98/312.17	c  312s |      24 |  5153451 |  3916662 |      714  14017 |        0 |        0
313.98/314.18	c  314s |      24 |  5187677 |  3942062 |      714  14087 |        0 |        0
315.98/316.18	c  316s |      24 |  5221519 |  3966962 |      714  14155 |        0 |        0
317.98/318.18	c  318s |      24 |  5253353 |  3991262 |      714  14221 |        0 |        0
319.99/320.19	c  320s |      24 |  5287867 |  4016462 |      714  14291 |        0 |        0
321.98/322.19	c  322s |      24 |  5319393 |  4040562 |      714  14357 |        0 |        0
324.08/324.20	c  324s |      24 |  5350762 |  4064362 |      714  14422 |        0 |        0
326.08/326.20	c  326s |      24 |  5380877 |  4087862 |      714  14486 |        0 |        0
328.08/328.21	c  328s |      24 |  5409553 |  4110462 |      714  14548 |        0 |        0
330.07/330.21	c  330s |      24 |  5438683 |  4133062 |      714  14610 |        0 |        0
332.08/332.21	c  332s |      24 |  5471496 |  4157562 |      714  14677 |        0 |        0
334.07/334.22	c  334s |      24 |  5504943 |  4181862 |      714  14744 |        0 |        0
336.07/336.22	c  336s |      24 |  5536006 |  4205862 |      714  14810 |        0 |        0
338.07/338.22	c  338s |      24 |  5567995 |  4230262 |      714  14877 |        0 |        0
340.07/340.23	c  340s |      24 |  5598454 |  4254162 |      714  14942 |        0 |        0
342.08/342.23	c  342s |      24 |  5631955 |  4279362 |      714  15012 |        0 |        0
344.07/344.24	c  344s |      24 |  5664693 |  4304662 |      714  15081 |        0 |        0
346.07/346.24	c  346s |      24 |  5697813 |  4330162 |      714  15152 |        0 |        0
348.07/348.25	c  348s |      24 |  5734107 |  4356362 |      714  15223 |        0 |        0
350.06/350.25	c  350s |      24 |  5770597 |  4382662 |      714  15296 |        0 |        0
352.06/352.25	c  352s |      24 |  5803692 |  4408162 |      714  15365 |        0 |        0
354.07/354.26	c  354s |      24 |  5838321 |  4434162 |      714  15437 |        0 |        0
356.06/356.26	c  356s |      24 |  5874120 |  4460462 |      714  15510 |        0 |        0
358.06/358.26	c  358s |      24 |  5909018 |  4486362 |      714  15580 |        0 |        0
360.06/360.26	c  360s |      24 |  5945928 |  4512762 |      714  15653 |        0 |        0
362.07/362.27	c  362s |      24 |  5975939 |  4536162 |      714  15717 |        0 |        0
364.07/364.27	c  364s |      24 |  6010285 |  4561362 |      714  15786 |        0 |        0
366.06/366.28	c  366s |      24 |  6041936 |  4585962 |      714  15853 |        0 |        0
368.06/368.29	c  368s |      24 |  6076890 |  4611962 |      714  15925 |        0 |        0
370.06/370.29	c  370s |      24 |  6110276 |  4637662 |      714  15995 |        0 |        0
372.16/372.30	c  372s |      24 |  6141684 |  4662362 |      714  16063 |        0 |        0
374.16/374.31	c  374s |      24 |  6174890 |  4687762 |      714  16132 |        0 |        0
376.17/376.31	c  376s |      24 |  6209929 |  4713262 |      714  16202 |        0 |        0
378.16/378.31	c  378s |      24 |  6244995 |  4739262 |      714  16273 |        0 |        0
380.16/380.31	c  380s |      24 |  6279598 |  4764862 |      714  16342 |        1 |        0
382.16/382.31	c  382s |      24 |  6313444 |  4790162 |      714  16411 |        1 |        0
384.16/384.32	c  384s |      24 |  6346581 |  4815562 |      714  16481 |        1 |        0
386.16/386.32	c  386s |      24 |  6379630 |  4840962 |      714  16550 |        1 |        0
388.16/388.33	c  388s |      24 |  6413597 |  4866562 |      714  16621 |        1 |        0
390.15/390.33	c  390s |      24 |  6441639 |  4888562 |      714  16681 |        1 |        0
392.15/392.34	c  392s |      24 |  6476535 |  4912762 |      714  16747 |        1 |        0
394.15/394.34	c  394s |      24 |  6506648 |  4935662 |      714  16809 |        1 |        0
396.15/396.35	c  396s |      24 |  6537247 |  4959562 |      714  16875 |        1 |        0
398.16/398.36	c  398s |      24 |  6570370 |  4984362 |      714  16943 |        1 |        0
400.15/400.37	c  400s |      24 |  6599567 |  5007662 |      714  17006 |        1 |        0
402.15/402.37	c  402s |      24 |  6628798 |  5031462 |      786  17071 |        1 |        0
404.15/404.38	c  404s |      24 |  6660508 |  5055562 |      786  17131 |        1 |        0
404.95/405.16	c  405s |      25 |  6672992 |  5065098 |      786  17155 |        1 |        0
406.95/407.16	c  407s |      25 |  6708818 |  5089998 |      786  17217 |        1 |        0
408.94/409.17	c  409s |      25 |  6741103 |  5113498 |      786  17275 |        1 |        0
410.94/411.18	c  411s |      25 |  6771214 |  5136498 |      786  17333 |        1 |        0
412.94/413.18	c  413s |      25 |  6801073 |  5159998 |      786  17391 |        1 |        0
414.94/415.18	c  415s |      25 |  6834864 |  5184598 |      786  17453 |        1 |        0
416.94/417.19	c  417s |      25 |  6867085 |  5208798 |      786  17513 |        1 |        0
418.95/419.19	c  419s |      25 |  6897425 |  5232698 |      786  17573 |        1 |        0
420.94/421.19	c  421s |      25 |  6926271 |  5255898 |      786  17631 |        1 |        0
422.94/423.19	c  423s |      25 |  6956775 |  5279798 |      786  17690 |        1 |        0
425.04/425.20	c  425s |      25 |  6989374 |  5303698 |      786  17750 |        1 |        0
427.04/427.21	c  427s |      25 |  7017238 |  5326298 |      786  17807 |        1 |        0
429.03/429.21	c  429s |      25 |  7046308 |  5349198 |      786  17864 |        1 |        0
431.04/431.22	c  431s |      25 |  7073112 |  5371498 |      786  17920 |        1 |        0
433.03/433.23	c  433s |      25 |  7104485 |  5395098 |      786  17979 |        1 |        0
435.03/435.23	c  435s |      25 |  7136166 |  5419698 |      786  18041 |        1 |        0
437.04/437.23	c  437s |      25 |  7167764 |  5443998 |      786  18102 |        1 |        0
439.03/439.24	c  439s |      25 |  7199564 |  5468098 |      786  18162 |        1 |        0
441.04/441.24	c  441s |      25 |  7232013 |  5492498 |      786  18223 |        1 |        0
443.03/443.25	c  443s |      25 |  7264606 |  5517098 |      786  18284 |        1 |        0
445.03/445.25	c  445s |      25 |  7297213 |  5541398 |      786  18345 |        1 |        0
447.03/447.25	c  447s |      25 |  7330412 |  5565698 |      786  18405 |        1 |        0
449.03/449.25	c  449s |      25 |  7365199 |  5591098 |      786  18469 |        1 |        0
451.03/451.26	c  451s |      25 |  7398610 |  5615498 |      786  18529 |        1 |        0
453.03/453.26	c  453s |      25 |  7434352 |  5641198 |      786  18593 |        1 |        0
455.03/455.27	c  455s |      25 |  7469067 |  5666298 |      786  18656 |        1 |        0
457.03/457.28	c  457s |      25 |  7497580 |  5689098 |      786  18713 |        1 |        0
459.02/459.28	c  459s |      25 |  7529303 |  5712898 |      786  18772 |        1 |        0
461.02/461.28	c  461s |      25 |  7559231 |  5735698 |      786  18828 |        1 |        0
463.03/463.29	c  463s |      25 |  7591014 |  5759498 |      786  18887 |        1 |        0
465.02/465.30	c  465s |      25 |  7623966 |  5784098 |      786  18948 |        2 |        0
467.12/467.30	c  467s |      25 |  7652168 |  5807198 |      786  19006 |        2 |        0
469.12/469.31	c  469s |      25 |  7677160 |  5828798 |      786  19060 |        2 |        0
471.12/471.31	c  471s |      25 |  7706093 |  5851598 |      786  19117 |        2 |        0
473.12/473.32	c  473s |      25 |  7734284 |  5874398 |      786  19174 |        2 |        0
475.12/475.32	c  475s |      25 |  7765098 |  5898398 |      786  19234 |        2 |        0
477.11/477.33	c  477s |      25 |  7794342 |  5922298 |      786  19294 |        2 |        0
479.11/479.33	c  479s |      25 |  7826031 |  5946598 |      786  19354 |        2 |        0
481.11/481.34	c  481s |      25 |  7857965 |  5971098 |      786  19415 |        2 |        0
483.11/483.34	c  483s |      25 |  7887606 |  5994498 |      786  19473 |        2 |        0
485.11/485.34	c  485s |      25 |  7918854 |  6018398 |      786  19533 |        2 |        0
487.12/487.34	c  487s |      25 |  7951050 |  6042798 |      786  19594 |        2 |        0
489.10/489.35	c  489s |      25 |  7984095 |  6067498 |      786  19656 |        2 |        0
491.10/491.35	c  491s |      25 |  8016560 |  6092098 |      786  19717 |        2 |        0
493.10/493.35	c  493s |      25 |  8048168 |  6116698 |      786  19778 |        2 |        0
495.10/495.36	c  495s |      25 |  8080807 |  6141798 |      786  19840 |        2 |        0
497.11/497.36	c  497s |      25 |  8112451 |  6166498 |      786  19901 |        3 |        0
499.10/499.36	c  499s |      25 |  8143214 |  6190498 |      786  19961 |        3 |        0
501.10/501.37	c  501s |      25 |  8174720 |  6215098 |      786  20023 |        3 |        0
503.11/503.37	c  503s |      25 |  8206906 |  6240298 |      786  20085 |        3 |        0
505.11/505.38	c  505s |      25 |  8236286 |  6263998 |      786  20144 |        3 |        0
507.11/507.38	c  507s |      25 |  8267061 |  6288598 |      786  20205 |        4 |        0
509.11/509.39	c  509s |      25 |  8296011 |  6311798 |      786  20262 |        4 |        0
511.10/511.39	c  511s |      25 |  8322993 |  6334198 |      786  20318 |        4 |        0
513.10/513.39	c  513s |      25 |  8351000 |  6356898 |      786  20375 |        4 |        0
515.10/515.39	c  515s |      25 |  8380516 |  6380398 |      786  20433 |        4 |        0
517.20/517.40	c  517s |      25 |  8409525 |  6404098 |      786  20492 |        5 |        0
519.19/519.40	c  519s |      25 |  8440166 |  6428498 |      786  20553 |        5 |        0
521.09/521.40	c  521s |      25 |  8474112 |  6453898 |      786  20616 |        5 |        0
523.19/523.41	c  523s |      25 |  8507912 |  6479198 |      786  20678 |        6 |        0
525.19/525.41	c  525s |      25 |  8540067 |  6503598 |      786  20738 |        6 |        0
527.19/527.41	c  527s |      25 |  8574200 |  6529398 |      786  20800 |        9 |        0
527.99/528.22	c  528s |      25 |  8586861 |  6539568 |      786  20823 |       54 |       16
527.99/528.22	c #cpu_time = 528.099s
527.99/528.22	c #wall_clock_time = 528.206s
527.99/528.22	c #decision = 8586861
527.99/528.22	c #random_decision = 34484
527.99/528.22	c #conflict = 6539568
527.99/528.22	c #restart = 25
527.99/528.22	s UNSATISFIABLE
527.99/528.22	c total CPU time = 528.112s
527.99/528.22	c total wall clock time = 528.220s

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

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

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


[startup+0 s]
/proc/loadavg: 2.06 2.08 2.07 3/179 29258
/proc/meminfo: memFree=30356800/32872528 swapFree=496356/529060
[pid=29258] ppid=29255 vsize=669116 CPUtime=0 cores=0,2,4,6
/proc/29258/stat : 29258 (toysat) R 29255 29258 28709 0 -1 4202496 2490 0 0 0 0 0 0 0 20 0 4 0 12402911 685174784 2340 33554432000 4194304 16246674 140733221820336 140733221819760 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29258/statm: 168047 2349 441 2943 0 164941 0
[pid=29258/tid=29259] ppid=29255 vsize=687548 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29259/stat : 29259 (toysat) S 29255 29258 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402911 704049152 2412 33554432000 4194304 16246674 140733221820336 139916622146800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29258/tid=29260] ppid=29255 vsize=691644 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29260/stat : 29260 (toysat) S 29255 29258 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402911 708243456 2428 33554432000 4194304 16246674 140733221820336 139916611656944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29258/tid=29261] ppid=29255 vsize=696764 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29261/stat : 29261 (toysat) S 29255 29258 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12402911 713486336 2445 33554432000 4194304 16246674 140733221820336 139916601183408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100101 s]
/proc/loadavg: 2.06 2.08 2.07 3/179 29258
/proc/meminfo: memFree=30356800/32872528 swapFree=496356/529060
[pid=29258] ppid=29255 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/29258/stat : 29258 (toysat) R 29255 29258 28709 0 -1 4202496 24528 0 0 0 5 3 0 0 20 0 4 0 12402911 1247350784 24367 33554432000 4194304 16246674 140733221820336 140733221819760 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29258/statm: 304529 24375 712 2943 0 301423 0
[pid=29258/tid=29259] ppid=29255 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29259/stat : 29259 (toysat) S 29255 29258 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402911 1247350784 24384 33554432000 4194304 16246674 140733221820336 139916622146800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29258/tid=29260] ppid=29255 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29260/stat : 29260 (toysat) S 29255 29258 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402911 1247350784 24392 33554432000 4194304 16246674 140733221820336 139916611656944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29258/tid=29261] ppid=29255 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29261/stat : 29261 (toysat) S 29255 29258 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12402911 1247350784 24398 33554432000 4194304 16246674 140733221820336 139916601183408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200491 s]
/proc/loadavg: 2.06 2.08 2.07 3/179 29258
/proc/meminfo: memFree=30356800/32872528 swapFree=496356/529060
[pid=29258] ppid=29255 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/29258/stat : 29258 (toysat) R 29255 29258 28709 0 -1 4202496 46990 0 0 0 12 6 0 0 20 0 4 0 12402911 1247350784 46828 33554432000 4194304 16246674 140733221820336 140733221819760 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29258/statm: 304529 46840 712 2943 0 301423 0
[pid=29258/tid=29259] ppid=29255 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29259/stat : 29259 (toysat) S 29255 29258 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402911 1247350784 46847 33554432000 4194304 16246674 140733221820336 139916622146800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29258/tid=29260] ppid=29255 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29260/stat : 29260 (toysat) S 29255 29258 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402911 1247350784 46852 33554432000 4194304 16246674 140733221820336 139916611656944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29258/tid=29261] ppid=29255 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29261/stat : 29261 (toysat) S 29255 29258 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12402911 1247350784 46858 33554432000 4194304 16246674 140733221820336 139916601183408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300474 s]
/proc/loadavg: 2.06 2.08 2.07 3/179 29258
/proc/meminfo: memFree=30356800/32872528 swapFree=496356/529060
[pid=29258] ppid=29255 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/29258/stat : 29258 (toysat) R 29255 29258 28709 0 -1 4202496 69133 0 0 0 19 10 0 0 20 0 4 0 12402911 1247350784 68971 33554432000 4194304 16246674 140733221820336 140733221819760 5669490 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29258/statm: 304529 68982 712 2943 0 301423 0
[pid=29258/tid=29259] ppid=29255 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29259/stat : 29259 (toysat) S 29255 29258 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402911 1247350784 68989 33554432000 4194304 16246674 140733221820336 139916622146800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29258/tid=29260] ppid=29255 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29260/stat : 29260 (toysat) S 29255 29258 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402911 1247350784 68995 33554432000 4194304 16246674 140733221820336 139916611656944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29258/tid=29261] ppid=29255 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29261/stat : 29261 (toysat) S 29255 29258 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12402911 1247350784 69002 33554432000 4194304 16246674 140733221820336 139916601183408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700397 s]
/proc/loadavg: 2.06 2.08 2.07 3/179 29258
/proc/meminfo: memFree=30356800/32872528 swapFree=496356/529060
[pid=29258] ppid=29255 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/29258/stat : 29258 (toysat) R 29255 29258 28709 0 -1 4202496 157877 0 0 0 46 22 0 0 20 0 4 0 12402911 1247350784 157716 33554432000 4194304 16246674 140733221820336 140733221802240 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29258/statm: 304529 157727 712 2943 0 301423 0
[pid=29258/tid=29259] ppid=29255 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29259/stat : 29259 (toysat) S 29255 29258 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402911 1247350784 157732 33554432000 4194304 16246674 140733221820336 139916622146800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29258/tid=29260] ppid=29255 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29260/stat : 29260 (toysat) S 29255 29258 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402911 1247350784 157741 33554432000 4194304 16246674 140733221820336 139916611656944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29258/tid=29261] ppid=29255 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29261/stat : 29261 (toysat) S 29255 29258 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12402911 1247350784 157747 33554432000 4194304 16246674 140733221820336 139916601183408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.06 2.08 2.07 3/183 29262
/proc/meminfo: memFree=29376312/32872528 swapFree=496356/529060
[pid=29258] ppid=29255 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/29258/stat : 29258 (toysat) R 29255 29258 28709 0 -1 4202496 245483 0 0 0 114 35 0 0 20 0 4 0 12402911 1247350784 245301 33554432000 4194304 16246674 140733221820336 140733221819648 5668400 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29258/statm: 304529 245301 786 2943 0 301423 0
[pid=29258/tid=29259] ppid=29255 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29259/stat : 29259 (toysat) S 29255 29258 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402911 1247350784 245301 33554432000 4194304 16246674 140733221820336 139916622146800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29258/tid=29260] ppid=29255 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29260/stat : 29260 (toysat) S 29255 29258 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402911 1247350784 245301 33554432000 4194304 16246674 140733221820336 139916611656944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29258/tid=29261] ppid=29255 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29261/stat : 29261 (toysat) S 29255 29258 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12402911 1247350784 245301 33554432000 4194304 16246674 140733221820336 139916601183408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.1004 s]
/proc/loadavg: 2.06 2.08 2.07 3/183 29262
/proc/meminfo: memFree=29288520/32872528 swapFree=496356/529060
[pid=29258] ppid=29255 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/29258/stat : 29258 (toysat) R 29255 29258 28709 0 -1 4202496 267384 0 0 0 271 38 0 0 20 0 4 0 12402911 1337528320 267202 33554432000 4194304 16246674 140733221820336 140733221803336 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29258/statm: 326545 267202 788 2943 0 323439 0
[pid=29258/tid=29259] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29259/stat : 29259 (toysat) S 29255 29258 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267202 33554432000 4194304 16246674 140733221820336 139916622146800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29258/tid=29260] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29260/stat : 29260 (toysat) S 29255 29258 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267202 33554432000 4194304 16246674 140733221820336 139916611656944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29258/tid=29261] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29261/stat : 29261 (toysat) S 29255 29258 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267202 33554432000 4194304 16246674 140733221820336 139916601183408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.06 2.08 2.07 3/183 29262
/proc/meminfo: memFree=29287872/32872528 swapFree=496356/529060
[pid=29258] ppid=29255 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/29258/stat : 29258 (toysat) R 29255 29258 28709 0 -1 4202496 267409 0 0 0 591 38 0 0 20 0 4 0 12402911 1337528320 267227 33554432000 4194304 16246674 140733221820336 140733221803336 5523460 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29258/statm: 326545 267227 788 2943 0 323439 0
[pid=29258/tid=29259] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29259/stat : 29259 (toysat) S 29255 29258 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267227 33554432000 4194304 16246674 140733221820336 139916622146800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29258/tid=29260] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29260/stat : 29260 (toysat) S 29255 29258 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267227 33554432000 4194304 16246674 140733221820336 139916611656944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29258/tid=29261] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29261/stat : 29261 (toysat) S 29255 29258 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267227 33554432000 4194304 16246674 140733221820336 139916601183408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.05 2.08 2.06 3/183 29262
/proc/meminfo: memFree=29288324/32872528 swapFree=496356/529060
[pid=29258] ppid=29255 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/29258/stat : 29258 (toysat) R 29255 29258 28709 0 -1 4202496 267411 0 0 0 1231 38 0 0 20 0 4 0 12402911 1337528320 267229 33554432000 4194304 16246674 140733221820336 140733221803336 5523460 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29258/statm: 326545 267229 788 2943 0 323439 0
[pid=29258/tid=29259] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29259/stat : 29259 (toysat) S 29255 29258 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267229 33554432000 4194304 16246674 140733221820336 139916622146800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29258/tid=29260] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29260/stat : 29260 (toysat) S 29255 29258 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267229 33554432000 4194304 16246674 140733221820336 139916611656944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29258/tid=29261] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29261/stat : 29261 (toysat) S 29255 29258 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267229 33554432000 4194304 16246674 140733221820336 139916601183408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.04 2.08 2.06 3/183 29311
/proc/meminfo: memFree=29290840/32872528 swapFree=496356/529060
[pid=29258] ppid=29255 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/29258/stat : 29258 (toysat) R 29255 29258 28709 0 -1 4202496 267422 0 0 0 2510 38 0 0 20 0 4 0 12402911 1337528320 267240 33554432000 4194304 16246674 140733221820336 140733221802240 5672890 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29258/statm: 326545 267240 788 2943 0 323439 0
[pid=29258/tid=29259] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29259/stat : 29259 (toysat) S 29255 29258 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267240 33554432000 4194304 16246674 140733221820336 139916622146800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29258/tid=29260] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29260/stat : 29260 (toysat) S 29255 29258 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267240 33554432000 4194304 16246674 140733221820336 139916611656944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29258/tid=29261] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29261/stat : 29261 (toysat) S 29255 29258 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267240 33554432000 4194304 16246674 140733221820336 139916601183408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.18 2.10 2.07 3/184 29314
/proc/meminfo: memFree=29290496/32872528 swapFree=496356/529060
[pid=29258] ppid=29255 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/29258/stat : 29258 (toysat) R 29255 29258 28709 0 -1 4202496 267435 0 0 0 5069 39 0 0 20 0 4 0 12402911 1337528320 267508 33554432000 4194304 16246674 140733221820336 140733221803336 13965602 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29258/statm: 326545 267508 789 2943 0 323439 0
[pid=29258/tid=29259] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29259/stat : 29259 (toysat) S 29255 29258 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267508 33554432000 4194304 16246674 140733221820336 139916622146800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29258/tid=29260] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29260/stat : 29260 (toysat) S 29255 29258 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267508 33554432000 4194304 16246674 140733221820336 139916611656944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29258/tid=29261] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29261/stat : 29261 (toysat) S 29255 29258 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267508 33554432000 4194304 16246674 140733221820336 139916601183408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.19 2.13 2.08 3/184 29338
/proc/meminfo: memFree=29289068/32872528 swapFree=496356/529060
[pid=29258] ppid=29255 vsize=1306180 CPUtime=102.27 cores=0,2,4,6
/proc/29258/stat : 29258 (toysat) R 29255 29258 28709 0 -1 4202496 267464 0 0 0 10187 40 0 0 20 0 4 0 12402911 1337528320 267519 33554432000 4194304 16246674 140733221820336 140733221803336 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29258/statm: 326545 267519 789 2943 0 323439 0
[pid=29258/tid=29259] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29259/stat : 29259 (toysat) S 29255 29258 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267519 33554432000 4194304 16246674 140733221820336 139916622146800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29258/tid=29260] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29260/stat : 29260 (toysat) S 29255 29258 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267519 33554432000 4194304 16246674 140733221820336 139916611656944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29258/tid=29261] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29261/stat : 29261 (toysat) S 29255 29258 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267519 33554432000 4194304 16246674 140733221820336 139916601183408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1306180


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

/proc/29258/stat : 29258 (toysat) R 29255 29258 28709 0 -1 4202496 267509 0 0 0 22180 43 0 0 20 0 4 0 12402911 1337528320 267530 33554432000 4194304 16246674 140733221820336 140733221802240 5823779 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29258/statm: 326545 267530 789 2943 0 323439 0
[pid=29258/tid=29259] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29259/stat : 29259 (toysat) S 29255 29258 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267530 33554432000 4194304 16246674 140733221820336 139916622146800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29258/tid=29260] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29260/stat : 29260 (toysat) S 29255 29258 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267530 33554432000 4194304 16246674 140733221820336 139916611656944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29258/tid=29261] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29261/stat : 29261 (toysat) S 29255 29258 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267530 33554432000 4194304 16246674 140733221820336 139916601183408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1306180

[startup+282.3 s]
/proc/loadavg: 2.10 2.12 2.09 3/183 29342
/proc/meminfo: memFree=29289652/32872528 swapFree=496356/529060
[pid=29258] ppid=29255 vsize=1306180 CPUtime=282.19 cores=0,2,4,6
/proc/29258/stat : 29258 (toysat) R 29255 29258 28709 0 -1 4202496 267558 0 0 0 28175 44 0 0 20 0 4 0 12402911 1337528320 267540 33554432000 4194304 16246674 140733221820336 140733221803336 13950236 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29258/statm: 326545 267540 789 2943 0 323439 0
[pid=29258/tid=29259] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29259/stat : 29259 (toysat) S 29255 29258 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267540 33554432000 4194304 16246674 140733221820336 139916622146800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29258/tid=29260] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29260/stat : 29260 (toysat) S 29255 29258 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267540 33554432000 4194304 16246674 140733221820336 139916611656944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29258/tid=29261] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29261/stat : 29261 (toysat) S 29255 29258 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267540 33554432000 4194304 16246674 140733221820336 139916601183408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 1306180

[startup+342.3 s]
/proc/loadavg: 2.08 2.11 2.09 3/183 29343
/proc/meminfo: memFree=29289420/32872528 swapFree=496352/529056
[pid=29258] ppid=29255 vsize=1306180 CPUtime=342.17 cores=0,2,4,6
/proc/29258/stat : 29258 (toysat) R 29255 29258 28709 0 -1 4202496 267581 0 0 0 34172 45 0 0 20 0 4 0 12402911 1337528320 267540 33554432000 4194304 16246674 140733221820336 140733221802240 5676184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29258/statm: 326545 267540 789 2943 0 323439 0
[pid=29258/tid=29259] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29259/stat : 29259 (toysat) S 29255 29258 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267540 33554432000 4194304 16246674 140733221820336 139916622146800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29258/tid=29260] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29260/stat : 29260 (toysat) S 29255 29258 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267540 33554432000 4194304 16246674 140733221820336 139916611656944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29258/tid=29261] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29261/stat : 29261 (toysat) S 29255 29258 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267540 33554432000 4194304 16246674 140733221820336 139916601183408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 1306180

[startup+402.3 s]
/proc/loadavg: 2.08 2.10 2.09 3/183 29344
/proc/meminfo: memFree=29289188/32872528 swapFree=496356/529060
[pid=29258] ppid=29255 vsize=1306180 CPUtime=402.15 cores=0,2,4,6
/proc/29258/stat : 29258 (toysat) R 29255 29258 28709 0 -1 4202496 267608 0 0 0 40169 46 0 0 20 0 4 0 12402911 1337528320 267540 33554432000 4194304 16246674 140733221820336 140733221802240 6021547 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29258/statm: 326545 267540 789 2943 0 323439 0
[pid=29258/tid=29259] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29259/stat : 29259 (toysat) S 29255 29258 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267540 33554432000 4194304 16246674 140733221820336 139916622146800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29258/tid=29260] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29260/stat : 29260 (toysat) S 29255 29258 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267540 33554432000 4194304 16246674 140733221820336 139916611656944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29258/tid=29261] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29261/stat : 29261 (toysat) S 29255 29258 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267540 33554432000 4194304 16246674 140733221820336 139916601183408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 1306180

[startup+462.3 s]
/proc/loadavg: 2.18 2.13 2.09 3/183 29346
/proc/meminfo: memFree=29289192/32872528 swapFree=496356/529060
[pid=29258] ppid=29255 vsize=1306180 CPUtime=462.12 cores=0,2,4,6
/proc/29258/stat : 29258 (toysat) R 29255 29258 28709 0 -1 4202496 267650 0 0 0 46164 48 0 0 20 0 4 0 12402911 1337528320 267546 33554432000 4194304 16246674 140733221820336 140733221803336 5723522 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29258/statm: 326545 267546 789 2943 0 323439 0
[pid=29258/tid=29259] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29259/stat : 29259 (toysat) S 29255 29258 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267546 33554432000 4194304 16246674 140733221820336 139916622146800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29258/tid=29260] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29260/stat : 29260 (toysat) S 29255 29258 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267546 33554432000 4194304 16246674 140733221820336 139916611656944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29258/tid=29261] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29261/stat : 29261 (toysat) S 29255 29258 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267546 33554432000 4194304 16246674 140733221820336 139916601183408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 1306180

[startup+522.3 s]
/proc/loadavg: 2.20 2.13 2.10 3/183 29347
/proc/meminfo: memFree=29288836/32872528 swapFree=496356/529060
[pid=29258] ppid=29255 vsize=1306180 CPUtime=522.09 cores=0,2,4,6
/proc/29258/stat : 29258 (toysat) R 29255 29258 28709 0 -1 4202496 267727 0 0 0 52160 49 0 0 20 0 4 0 12402911 1337528320 267584 33554432000 4194304 16246674 140733221820336 140733221802240 12483276 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29258/statm: 326545 267584 789 2943 0 323439 0
[pid=29258/tid=29259] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29259/stat : 29259 (toysat) S 29255 29258 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267584 33554432000 4194304 16246674 140733221820336 139916622146800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29258/tid=29260] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29260/stat : 29260 (toysat) S 29255 29258 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267584 33554432000 4194304 16246674 140733221820336 139916611656944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29258/tid=29261] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29261/stat : 29261 (toysat) S 29255 29258 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267584 33554432000 4194304 16246674 140733221820336 139916601183408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 1306180

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

[startup+524.807 s]
/proc/loadavg: 2.20 2.13 2.10 3/183 29347
/proc/meminfo: memFree=29288836/32872528 swapFree=496356/529060
[pid=29258] ppid=29255 vsize=1306180 CPUtime=524.6 cores=0,2,4,6
/proc/29258/stat : 29258 (toysat) R 29255 29258 28709 0 -1 4202496 267727 0 0 0 52411 49 0 0 20 0 4 0 12402911 1337528320 267584 33554432000 4194304 16246674 140733221820336 140733221802240 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29258/statm: 326545 267584 789 2943 0 323439 0
[pid=29258/tid=29259] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29259/stat : 29259 (toysat) S 29255 29258 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267584 33554432000 4194304 16246674 140733221820336 139916622146800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29258/tid=29260] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29260/stat : 29260 (toysat) S 29255 29258 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267584 33554432000 4194304 16246674 140733221820336 139916611656944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29258/tid=29261] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29261/stat : 29261 (toysat) S 29255 29258 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267584 33554432000 4194304 16246674 140733221820336 139916601183408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 524.6
Current children cumulated vsize (KiB) 1306180

[startup+526.4 s]
/proc/loadavg: 2.20 2.13 2.10 3/183 29347
/proc/meminfo: memFree=29288836/32872528 swapFree=496356/529060
[pid=29258] ppid=29255 vsize=1306180 CPUtime=526.19 cores=0,2,4,6
/proc/29258/stat : 29258 (toysat) R 29255 29258 28709 0 -1 4202496 267727 0 0 0 52570 49 0 0 20 0 4 0 12402911 1337528320 267584 33554432000 4194304 16246674 140733221820336 140733221803336 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29258/statm: 326545 267584 789 2943 0 323439 0
[pid=29258/tid=29259] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29259/stat : 29259 (toysat) S 29255 29258 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267584 33554432000 4194304 16246674 140733221820336 139916622146800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29258/tid=29260] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29260/stat : 29260 (toysat) S 29255 29258 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267584 33554432000 4194304 16246674 140733221820336 139916611656944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29258/tid=29261] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29261/stat : 29261 (toysat) S 29255 29258 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267584 33554432000 4194304 16246674 140733221820336 139916601183408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 526.19
Current children cumulated vsize (KiB) 1306180

[startup+527.2 s]
/proc/loadavg: 2.27 2.15 2.10 3/183 29347
/proc/meminfo: memFree=29288836/32872528 swapFree=496356/529060
[pid=29258] ppid=29255 vsize=1306180 CPUtime=526.99 cores=0,2,4,6
/proc/29258/stat : 29258 (toysat) R 29255 29258 28709 0 -1 4202496 267727 0 0 0 52650 49 0 0 20 0 4 0 12402911 1337528320 267584 33554432000 4194304 16246674 140733221820336 140733221802240 5667184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29258/statm: 326545 267584 789 2943 0 323439 0
[pid=29258/tid=29259] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29259/stat : 29259 (toysat) S 29255 29258 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267584 33554432000 4194304 16246674 140733221820336 139916622146800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29258/tid=29260] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29260/stat : 29260 (toysat) S 29255 29258 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267584 33554432000 4194304 16246674 140733221820336 139916611656944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29258/tid=29261] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29261/stat : 29261 (toysat) S 29255 29258 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267584 33554432000 4194304 16246674 140733221820336 139916601183408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 526.99
Current children cumulated vsize (KiB) 1306180

[startup+528 s]
/proc/loadavg: 2.27 2.15 2.10 3/183 29347
/proc/meminfo: memFree=29288836/32872528 swapFree=496356/529060
[pid=29258] ppid=29255 vsize=1306180 CPUtime=527.8 cores=0,2,4,6
/proc/29258/stat : 29258 (toysat) R 29255 29258 28709 0 -1 4202496 267727 0 0 0 52731 49 0 0 20 0 4 0 12402911 1337528320 267584 33554432000 4194304 16246674 140733221820336 140733221803336 5523360 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29258/statm: 326545 267584 789 2943 0 323439 0
[pid=29258/tid=29259] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29259/stat : 29259 (toysat) S 29255 29258 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267584 33554432000 4194304 16246674 140733221820336 139916622146800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29258/tid=29260] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29260/stat : 29260 (toysat) S 29255 29258 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267584 33554432000 4194304 16246674 140733221820336 139916611656944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29258/tid=29261] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29261/stat : 29261 (toysat) S 29255 29258 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267584 33554432000 4194304 16246674 140733221820336 139916601183408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 527.8
Current children cumulated vsize (KiB) 1306180

[startup+528.2 s]
/proc/loadavg: 2.27 2.15 2.10 3/183 29347
/proc/meminfo: memFree=29288836/32872528 swapFree=496356/529060
[pid=29258] ppid=29255 vsize=1306180 CPUtime=527.99 cores=0,2,4,6
/proc/29258/stat : 29258 (toysat) R 29255 29258 28709 0 -1 4202496 267727 0 0 0 52750 49 0 0 20 0 4 0 12402911 1337528320 267584 33554432000 4194304 16246674 140733221820336 140733221803336 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29258/statm: 326545 267584 789 2943 0 323439 0
[pid=29258/tid=29259] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29259/stat : 29259 (toysat) S 29255 29258 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267584 33554432000 4194304 16246674 140733221820336 139916622146800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29258/tid=29260] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29260/stat : 29260 (toysat) S 29255 29258 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267584 33554432000 4194304 16246674 140733221820336 139916611656944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29258/tid=29261] ppid=29255 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29258/task/29261/stat : 29261 (toysat) S 29255 29258 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12402911 1337528320 267584 33554432000 4194304 16246674 140733221820336 139916601183408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 527.99
Current children cumulated vsize (KiB) 1306180

Child status: 0
Real time (s): 528.24
CPU time (s): 528.033
CPU user time (s): 527.527
CPU system time (s): 0.505923
CPU usage (%): 99.9607
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 527.527
system time used= 0.505923
maximum resident set size= 1070348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267732
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= 236
involuntary context switches= 602

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.36279 second user time and 2.02669 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-16 20:59:35
IDJOB=4096176
IDBENCH=107577
IDSOLVER=2542
FILE ID=node141/4096176-1466103575
RUNJOBID= node141-1466098167-28725
PBS_JOBID= 19904052
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/subsetcard/normalized-subsetcard-eq-random4regular-25.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4096176-1466103575/watcher-4096176-1466103575 -o /tmp/evaluation-result-4096176-1466103575/solver-4096176-1466103575 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466098167-28725 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096176-1466103575.opb

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

MD5SUM BENCH= 6246c16ef7a643907c1e2f8427d014bd
RANDOM SEED=1116517890

node141.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.547
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.09
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.547
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.547
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.54
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.547
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.547
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.56
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.547
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.547
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.547
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30357064 kB
Buffers:           53052 kB
Cached:           152364 kB
SwapCached:         2880 kB
Active:          1196400 kB
Inactive:          84456 kB
Active(anon):    1075504 kB
Inactive(anon):     2156 kB
Active(file):     120896 kB
Inactive(file):    82300 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67098996 kB
Dirty:             32812 kB
Writeback:             0 kB
AnonPages:       1602848 kB
Mapped:            10236 kB
Shmem:                 0 kB
Slab:             570944 kB
SReclaimable:      14292 kB
SUnreclaim:       556652 kB
KernelStack:        1504 kB
PageTables:         7452 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1745788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 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= 71696 MiB
End job on node141 at 2016-06-16 21:08:23