Trace number 4121186

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 192.567 192.613

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-regular-n22-d4-i3.cnf.gz-extracted.pb.metafix.opb
MD5SUMf89d8845f81f0955e0ed58fe54b242f1
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.009997
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables89
Total number of constraints88
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)88
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint5
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 8
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-30T21:09:26+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-4121186-1467313766.opb"]
0.00/0.01	c use --random-gen="2711436290 1363588650 452956518 2550968231 74480632 3051304693 123496599 1998471186 3016641122 2489241513 1623890492 165812663 3332517158 2016944652 2734316429 1349840708 4117326424 3487979021 2805669872 2427409047 2887813995 2079539600 3790460352 1315765991 132068860 1573629980 2486239619 1787172477 1109318309 1875061611 1194875003 3729686370 2978521262 2695665321 1330856087 1642398370 3781065259 3456073303 3968155939 181682937 113694280 2564627747 570250750 4085737612 891843537 3527559273 1010819185 2919517782 2050824473 2512874330 1968663867 3071134709 2857049964 3842514380 804372612 2970530573 5127416 4228096218 3208959552 3381417301 2213224356 3902212935 624837881 4017676922 1531275268 3711886800 2199659676 1752071831 23131775 679932476 2951085105 1026230499 1934698776 511798 319743758 3822595376 2904041736 1856940642 753423331 614713119 1881508171 4106525121 707934770 2243012437 3116435135 1058062856 3383742608 162844788 884882319 4287709060 768780258 1769739937 2325816923 2652169377 1090467082 2857682552 3357793343 1639867382 3243321921 3501800837 622060408 3505020852 3034126162 3180975143 2532322994 1325895620 402580978 4026523359 2043936117 2805873639 2035417906 1611986085 4104900966 2540875575 785694643 2002014066 4108794183 2489562435 4161400954 1905433986 4231136692 2603245122 122516787 2112895650 1988503773 2747225707 3877797615 2826310446 2740645524 2004538226 1520726515 1736523689 3693867949 1945211377 4018960973 2832308623 2082954224 3821684927 3040148703 2141554444 3804318699 1623862475 1281776024 3255943238 2925391302 22955328 3818554098 3309576056 1594678878 2530412030 3564321481 3746786371 2533990940 4283231619 2443106047 3910227647 3433606605 2312151145 2050425978 324325007 1741280117 3482688340 1121912698 3322188673 3106201325 39588237 1873551330 3330248785 1957423973 897451941 862219669 1656926904 2593854754 324884401 1595428075 1806839556 3584059045 1117670021 203787411 4155728726 985005433 656022378 2772824986 1637102539 1532093708 2129999940 3156870678 4210932875 3952213077 4141994062 26335773 621670630 253000560 167902873 2340985138 3647335253 1996291324 1216829787 1587601517 496936932 1356179439 712550884 3190644443 3025500017 3378745333 2508919726 1417486332 2239612056 2659253786 1253813482 2910481959 3858236189 2268870257 1865761836 3507320193 734344310 2175185075 4194635903 2106207563 519460006 1379413917 2674466219 3288385071 2262269006 2824406792 3347360230 3973462329 1004156525 453940762 3248235286 1766902452 800419273 1057488943 1687477483 1896399682 3342245877 2816011841 3199832273 2795907822 957885324 3751892671 2218168741 1028909254 3433181787 1601547014 192140274 890892553 3430730441 2388271126 3095009147 2996966198 3298910297 2255795615 1515497768 161615312 1890419449 255 362436" option to reproduce the execution
0.00/0.01	c #vars 89
0.00/0.01	c #constraints 88
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 |       59      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      134 |      100 |       59      1 |        0 |        0
0.00/0.03	c  0.0s |       2 |      359 |      250 |       65      4 |        0 |        0
0.00/0.05	c  0.0s |       3 |      698 |      475 |       72      9 |        0 |        0
0.00/0.08	c  0.1s |       4 |     1201 |      813 |       80     15 |        0 |        0
0.09/0.12	c  0.1s |       5 |     2085 |     1320 |       88     25 |        0 |        0
0.09/0.19	c  0.2s |       6 |     3143 |     2081 |      107     38 |        0 |        0
0.19/0.29	c  0.3s |       7 |     4891 |     3223 |      118     56 |        0 |        0
0.38/0.45	c  0.4s |       8 |     7068 |     4936 |      130     80 |        0 |        0
0.59/0.69	c  0.7s |       9 |    10581 |     7506 |      143    114 |        0 |        0
0.99/1.04	c  1.0s |      10 |    15890 |    11361 |      158    161 |        0 |        0
1.28/1.39	c  1.4s |      11 |    24411 |    17144 |      174    227 |        0 |        0
1.88/1.92	c  1.9s |      12 |    37038 |    25819 |      192    317 |        0 |        0
2.69/2.73	c  2.7s |      13 |    54834 |    38832 |      212    441 |        0 |        0
3.89/3.92	c  3.9s |      14 |    80812 |    58352 |      234    613 |        0 |        0
5.69/5.76	c  5.8s |      15 |   120665 |    87632 |      258    847 |        0 |        0
7.70/7.77	c  7.8s |      15 |   169496 |   121532 |      258   1097 |        0 |        0
8.29/8.39	c  8.4s |      16 |   183120 |   131552 |      284   1170 |        0 |        0
10.29/10.39	c 10.4s |      16 |   222726 |   161952 |      284   1374 |        0 |        0
12.29/12.39	c 12.4s |      16 |   266249 |   193352 |      284   1585 |        0 |        0
12.59/12.66	c 12.6s |      17 |   271685 |   197432 |      313   1612 |        0 |        0
14.59/14.66	c 14.6s |      17 |   314389 |   228832 |      313   1804 |        0 |        0
16.59/16.66	c 16.6s |      17 |   353901 |   259032 |      313   1989 |        0 |        0
18.59/18.67	c 18.7s |      17 |   393060 |   288932 |      313   2172 |        0 |        0
19.09/19.14	c 19.1s |      18 |   403093 |   296252 |      345   2216 |        0 |        0
21.09/21.15	c 21.1s |      18 |   437676 |   324052 |      345   2370 |        0 |        0
23.09/23.15	c 23.1s |      18 |   475315 |   353052 |      345   2531 |        0 |        0
25.09/25.16	c 25.1s |      18 |   519520 |   384152 |      345   2706 |        0 |        0
27.08/27.16	c 27.1s |      18 |   559413 |   414152 |      345   2875 |        0 |        0
29.08/29.11	c 29.1s |      19 |   601262 |   444482 |      380   3044 |        0 |        0
31.08/31.11	c 31.1s |      19 |   640419 |   474282 |      380   3195 |        0 |        0
33.09/33.12	c 33.1s |      19 |   676720 |   502382 |      380   3338 |        0 |        0
35.08/35.12	c 35.1s |      19 |   715366 |   531482 |      380   3486 |        0 |        0
37.08/37.12	c 37.1s |      19 |   759636 |   562582 |      380   3645 |        0 |        0
39.08/39.13	c 39.1s |      19 |   801077 |   592582 |      380   3797 |        0 |        0
41.08/41.13	c 41.1s |      19 |   838045 |   621482 |      380   3944 |        0 |        0
43.08/43.13	c 43.1s |      19 |   875389 |   650182 |      380   4090 |        0 |        0
44.18/44.28	c 44.3s |      20 |   897484 |   666827 |      419   4174 |        0 |        0
46.19/46.28	c 46.3s |      20 |   935499 |   695227 |      419   4305 |        0 |        0
48.18/48.29	c 48.3s |      20 |   968747 |   722127 |      419   4429 |        0 |        0
50.28/50.30	c 50.3s |      20 |  1002650 |   749527 |      419   4555 |        0 |        0
52.28/52.30	c 52.3s |      20 |  1036980 |   776927 |      419   4683 |        0 |        0
54.28/54.30	c 54.3s |      20 |  1077633 |   806627 |      419   4821 |        0 |        0
56.28/56.31	c 56.3s |      20 |  1113286 |   834827 |      419   4953 |        0 |        0
58.28/58.31	c 58.3s |      20 |  1150044 |   863527 |      419   5087 |        0 |        0
60.28/60.31	c 60.3s |      20 |  1188464 |   892627 |      419   5223 |        0 |        0
62.27/62.31	c 62.3s |      20 |  1225658 |   921127 |      419   5356 |        0 |        0
64.27/64.32	c 64.3s |      20 |  1262170 |   949327 |      419   5487 |        0 |        0
66.27/66.32	c 66.3s |      20 |  1303123 |   979027 |      419   5626 |        0 |        0
67.67/67.79	c 67.8s |      21 |  1331386 |  1000345 |      461   5722 |        0 |        0
69.67/69.79	c 69.8s |      21 |  1368831 |  1028445 |      461   5840 |        0 |        0
71.77/71.80	c 71.8s |      21 |  1400006 |  1054245 |      461   5948 |        0 |        0
73.78/73.80	c 73.8s |      21 |  1431416 |  1080145 |      461   6057 |        0 |        0
75.77/75.81	c 75.8s |      21 |  1472418 |  1110045 |      461   6184 |        0 |        0
77.77/77.82	c 77.8s |      21 |  1512327 |  1139445 |      461   6309 |        0 |        0
79.77/79.82	c 79.8s |      21 |  1549997 |  1167645 |      461   6428 |        0 |        0
81.77/81.82	c 81.8s |      21 |  1587425 |  1195745 |      461   6547 |        0 |        0
83.77/83.83	c 83.8s |      21 |  1622819 |  1223345 |      461   6665 |        0 |        0
85.78/85.83	c 85.8s |      21 |  1661981 |  1252545 |      461   6790 |        0 |        0
87.77/87.83	c 87.8s |      21 |  1701843 |  1281645 |      461   6914 |        0 |        0
89.77/89.84	c 89.8s |      21 |  1744175 |  1311745 |      461   7043 |        0 |        0
91.77/91.84	c 91.8s |      21 |  1783938 |  1341045 |      461   7168 |        0 |        0
93.77/93.84	c 93.8s |      21 |  1822389 |  1370245 |      461   7292 |        0 |        0
95.78/95.85	c 95.8s |      21 |  1858286 |  1397845 |      461   7408 |        0 |        0
97.77/97.85	c 97.8s |      21 |  1894947 |  1425745 |      461   7527 |        0 |        0
99.77/99.85	c 99.8s |      21 |  1937205 |  1456145 |      461   7656 |        0 |        0
101.77/101.86	c  101s |      21 |  1980689 |  1487145 |      461   7788 |        0 |        0
102.77/102.83	c  102s |      22 |  1998664 |  1500622 |      508   7841 |        0 |        0
104.77/104.83	c  104s |      22 |  2034844 |  1527722 |      508   7945 |        0 |        0
106.77/106.84	c  106s |      22 |  2070037 |  1554622 |      508   8047 |        0 |        0
108.77/108.84	c  108s |      22 |  2104078 |  1581422 |      508   8150 |        0 |        0
110.77/110.85	c  110s |      22 |  2139042 |  1608522 |      508   8255 |        0 |        0
112.77/112.85	c  112s |      22 |  2179761 |  1637422 |      508   8367 |        0 |        0
114.77/114.85	c  114s |      22 |  2214855 |  1664522 |      508   8471 |        0 |        0
116.77/116.86	c  116s |      22 |  2251113 |  1691722 |      508   8576 |        0 |        0
118.78/118.86	c  118s |      22 |  2286433 |  1718822 |      508   8681 |        0 |        0
120.77/120.87	c  120s |      22 |  2319919 |  1745622 |      508   8784 |        0 |        0
122.77/122.87	c  122s |      22 |  2351644 |  1771622 |      508   8885 |        0 |        0
124.77/124.87	c  124s |      22 |  2386266 |  1798722 |      508   8991 |        0 |        0
126.77/126.87	c  126s |      22 |  2418752 |  1824722 |      508   9090 |        0 |        0
128.77/128.88	c  128s |      22 |  2453517 |  1852022 |      508   9196 |        0 |        0
130.77/130.88	c  130s |      22 |  2494078 |  1881122 |      508   9309 |        0 |        0
132.77/132.88	c  132s |      22 |  2534108 |  1910722 |      508   9424 |        0 |        0
134.77/134.88	c  134s |      22 |  2567322 |  1937122 |      508   9526 |        0 |        0
136.77/136.89	c  136s |      22 |  2605604 |  1965622 |      508   9635 |        0 |        0
138.76/138.89	c  138s |      22 |  2642378 |  1993522 |      508   9743 |        0 |        0
140.77/140.90	c  140s |      22 |  2680144 |  2021722 |      508   9852 |        0 |        0
142.86/142.90	c  142s |      22 |  2715461 |  2048922 |      508   9956 |        0 |        0
144.86/144.90	c  144s |      22 |  2751226 |  2076222 |      508  10061 |        0 |        0
146.86/146.91	c  146s |      22 |  2789021 |  2104222 |      508  10168 |        0 |        0
148.86/148.91	c  148s |      22 |  2828932 |  2133122 |      508  10279 |        0 |        0
150.86/150.91	c  150s |      22 |  2865412 |  2160922 |      508  10387 |        0 |        0
152.86/152.92	c  152s |      22 |  2903254 |  2189222 |      508  10496 |        0 |        0
154.85/154.92	c  154s |      22 |  2937698 |  2216122 |      508  10599 |        0 |        0
156.85/156.93	c  156s |      22 |  2972631 |  2243822 |      559  10701 |        0 |        0
157.36/157.42	c  157s |      23 |  2982974 |  2251038 |      559  10726 |        1 |        0
159.35/159.42	c  159s |      23 |  3020912 |  2278338 |      559  10822 |        1 |        0
161.35/161.43	c  161s |      23 |  3058983 |  2306138 |      559  10919 |        1 |        0
163.35/163.43	c  163s |      23 |  3091301 |  2332138 |      559  11010 |        1 |        0
165.35/165.44	c  165s |      23 |  3126194 |  2358838 |      559  11104 |        1 |        0
167.35/167.44	c  167s |      23 |  3162867 |  2386238 |      559  11200 |        1 |        0
169.35/169.44	c  169s |      23 |  3196143 |  2412338 |      559  11291 |        1 |        0
171.36/171.44	c  171s |      23 |  3233244 |  2439938 |      559  11388 |        1 |        0
173.35/173.45	c  173s |      23 |  3272559 |  2468338 |      559  11487 |        1 |        0
175.35/175.45	c  175s |      23 |  3308864 |  2495638 |      559  11583 |        1 |        0
177.35/177.45	c  177s |      23 |  3342181 |  2522238 |      559  11676 |        1 |        0
179.36/179.46	c  179s |      23 |  3375830 |  2547838 |      559  11764 |        3 |        0
181.35/181.46	c  181s |      23 |  3408430 |  2573638 |      559  11854 |        3 |        0
183.35/183.46	c  183s |      23 |  3443585 |  2600838 |      559  11950 |        3 |        0
185.35/185.46	c  185s |      23 |  3477292 |  2627538 |      559  12043 |        3 |        0
187.35/187.47	c  187s |      23 |  3512153 |  2654638 |      559  12137 |        4 |        0
189.35/189.47	c  189s |      23 |  3548099 |  2682438 |      559  12233 |        5 |        0
191.36/191.47	c  191s |      23 |  3583108 |  2709738 |      559  12328 |        6 |        0
192.46/192.56	c  192s |      23 |  3603290 |  2725290 |      559  12380 |       50 |       22
192.46/192.56	c #cpu_time = 192.538s
192.46/192.56	c #wall_clock_time = 192.543s
192.46/192.56	c #decision = 3603290
192.46/192.56	c #random_decision = 15101
192.46/192.56	c #conflict = 2725290
192.46/192.56	c #restart = 23
192.46/192.56	s UNSATISFIABLE
192.46/192.56	c total CPU time = 192.551s
192.46/192.56	c total wall clock time = 192.556s

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

pid=20591
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.02 2.06 2.02 3/177 20594
/proc/meminfo: memFree=29433480/32872528 swapFree=447588/480292
[pid=20594] ppid=20591 vsize=323004 CPUtime=0 cores=0,2,4,6
/proc/20594/stat : 20594 (toysat) R 20591 20594 16080 0 -1 4202496 1133 0 0 0 0 0 0 0 20 0 4 0 12480406 330756096 1494 33554432000 4194304 16246674 140735846562800 140735846562224 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20594/statm: 81519 1503 441 2943 0 78413 0
[pid=20594/tid=20595] ppid=20591 vsize=338364 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20595/stat : 20595 (toysat) S 20591 20594 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480406 346484736 1555 33554432000 4194304 16246674 140735846562800 140422893513968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20594/tid=20596] ppid=20591 vsize=345532 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20596/stat : 20596 (toysat) S 20591 20594 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12480406 353824768 1583 33554432000 4194304 16246674 140735846562800 140422814870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20594/tid=20597] ppid=20591 vsize=350652 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20597/stat : 20597 (toysat) S 20591 20594 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12480407 359067648 1599 33554432000 4194304 16246674 140735846562800 140422804397232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100124 s]
/proc/loadavg: 2.02 2.06 2.02 3/177 20594
/proc/meminfo: memFree=29433480/32872528 swapFree=447588/480292
[pid=20594] ppid=20591 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/20594/stat : 20594 (toysat) R 20591 20594 16080 0 -1 4202496 23921 0 0 0 5 4 0 0 20 0 4 0 12480406 1247350784 24271 33554432000 4194304 16246674 140735846562800 140735846562224 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20594/statm: 304529 24281 707 2943 0 301423 0
[pid=20594/tid=20595] ppid=20591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20595/stat : 20595 (toysat) S 20591 20594 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480406 1247350784 24286 33554432000 4194304 16246674 140735846562800 140422893513968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20594/tid=20596] ppid=20591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20596/stat : 20596 (toysat) S 20591 20594 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12480406 1247350784 24294 33554432000 4194304 16246674 140735846562800 140422814870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20594/tid=20597] ppid=20591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20597/stat : 20597 (toysat) S 20591 20594 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12480407 1247350784 24299 33554432000 4194304 16246674 140735846562800 140422804397232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200493 s]
/proc/loadavg: 2.02 2.06 2.02 3/177 20594
/proc/meminfo: memFree=29433480/32872528 swapFree=447588/480292
[pid=20594] ppid=20591 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/20594/stat : 20594 (toysat) R 20591 20594 16080 0 -1 4202496 46421 0 0 0 12 7 0 0 20 0 4 0 12480406 1247350784 46771 33554432000 4194304 16246674 140735846562800 140735846562224 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20594/statm: 304529 46780 707 2943 0 301423 0
[pid=20594/tid=20595] ppid=20591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20595/stat : 20595 (toysat) S 20591 20594 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480406 1247350784 46785 33554432000 4194304 16246674 140735846562800 140422893513968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20594/tid=20596] ppid=20591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20596/stat : 20596 (toysat) S 20591 20594 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12480406 1247350784 46793 33554432000 4194304 16246674 140735846562800 140422814870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20594/tid=20597] ppid=20591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20597/stat : 20597 (toysat) S 20591 20594 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12480407 1247350784 46799 33554432000 4194304 16246674 140735846562800 140422804397232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300445 s]
/proc/loadavg: 2.02 2.06 2.02 3/177 20594
/proc/meminfo: memFree=29433480/32872528 swapFree=447588/480292
[pid=20594] ppid=20591 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/20594/stat : 20594 (toysat) R 20591 20594 16080 0 -1 4202496 68521 0 0 0 18 10 0 0 20 0 4 0 12480406 1247350784 68871 33554432000 4194304 16246674 140735846562800 140735846562224 5830026 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20594/statm: 304529 68880 707 2943 0 301423 0
[pid=20594/tid=20595] ppid=20591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20595/stat : 20595 (toysat) S 20591 20594 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480406 1247350784 68885 33554432000 4194304 16246674 140735846562800 140422893513968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20594/tid=20596] ppid=20591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20596/stat : 20596 (toysat) S 20591 20594 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12480406 1247350784 68892 33554432000 4194304 16246674 140735846562800 140422814870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20594/tid=20597] ppid=20591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20597/stat : 20597 (toysat) S 20591 20594 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12480407 1247350784 68898 33554432000 4194304 16246674 140735846562800 140422804397232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700369 s]
/proc/loadavg: 2.02 2.06 2.02 3/177 20594
/proc/meminfo: memFree=29433480/32872528 swapFree=447588/480292
[pid=20594] ppid=20591 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/20594/stat : 20594 (toysat) R 20591 20594 16080 0 -1 4202496 159790 0 0 0 46 22 0 0 20 0 4 0 12480406 1247350784 160141 33554432000 4194304 16246674 140735846562800 140735846544704 12478189 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20594/statm: 304529 160151 708 2943 0 301423 0
[pid=20594/tid=20595] ppid=20591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20595/stat : 20595 (toysat) S 20591 20594 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480406 1247350784 160156 33554432000 4194304 16246674 140735846562800 140422893513968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20594/tid=20596] ppid=20591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20596/stat : 20596 (toysat) S 20591 20594 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12480406 1247350784 160161 33554432000 4194304 16246674 140735846562800 140422814870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20594/tid=20597] ppid=20591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20597/stat : 20597 (toysat) S 20591 20594 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12480407 1247350784 160167 33554432000 4194304 16246674 140735846562800 140422804397232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50033 s]
/proc/loadavg: 2.02 2.06 2.02 3/181 20598
/proc/meminfo: memFree=28451816/32872528 swapFree=447588/480292
[pid=20594] ppid=20591 vsize=1218116 CPUtime=1.48 cores=0,2,4,6
/proc/20594/stat : 20594 (toysat) R 20591 20594 16080 0 -1 4202496 245460 0 0 0 114 34 0 0 20 0 4 0 12480406 1247350784 245790 33554432000 4194304 16246674 140735846562800 140735846562112 12470265 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20594/statm: 304529 245790 783 2943 0 301423 0
[pid=20594/tid=20595] ppid=20591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20595/stat : 20595 (toysat) S 20591 20594 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480406 1247350784 245790 33554432000 4194304 16246674 140735846562800 140422893513968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20594/tid=20596] ppid=20591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20596/stat : 20596 (toysat) S 20591 20594 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12480406 1247350784 245790 33554432000 4194304 16246674 140735846562800 140422814870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20594/tid=20597] ppid=20591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20597/stat : 20597 (toysat) S 20591 20594 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12480407 1247350784 245790 33554432000 4194304 16246674 140735846562800 140422804397232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1218116

[startup+3.10038 s]
/proc/loadavg: 2.02 2.06 2.02 4/181 20598
/proc/meminfo: memFree=28364148/32872528 swapFree=447588/480292
[pid=20594] ppid=20591 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/20594/stat : 20594 (toysat) R 20591 20594 16080 0 -1 4202496 267377 0 0 0 272 37 0 0 20 0 4 0 12480406 1337528320 267707 33554432000 4194304 16246674 140735846562800 140735846544704 5995358 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20594/statm: 326545 267707 784 2943 0 323439 0
[pid=20594/tid=20595] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20595/stat : 20595 (toysat) S 20591 20594 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480406 1337528320 267707 33554432000 4194304 16246674 140735846562800 140422893513968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20594/tid=20596] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20596/stat : 20596 (toysat) S 20591 20594 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12480406 1337528320 267707 33554432000 4194304 16246674 140735846562800 140422814870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20594/tid=20597] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20597/stat : 20597 (toysat) S 20591 20594 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12480407 1337528320 267707 33554432000 4194304 16246674 140735846562800 140422804397232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30038 s]
/proc/loadavg: 2.02 2.06 2.02 4/181 20598
/proc/meminfo: memFree=28363836/32872528 swapFree=447588/480292
[pid=20594] ppid=20591 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/20594/stat : 20594 (toysat) R 20591 20594 16080 0 -1 4202496 267391 0 0 0 592 37 0 0 20 0 4 0 12480406 1337528320 267721 33554432000 4194304 16246674 140735846562800 140735846544704 12459912 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20594/statm: 326545 267721 784 2943 0 323439 0
[pid=20594/tid=20595] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20595/stat : 20595 (toysat) S 20591 20594 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480406 1337528320 267721 33554432000 4194304 16246674 140735846562800 140422893513968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20594/tid=20596] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20596/stat : 20596 (toysat) S 20591 20594 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12480406 1337528320 267721 33554432000 4194304 16246674 140735846562800 140422814870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20594/tid=20597] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20597/stat : 20597 (toysat) S 20591 20594 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12480407 1337528320 267721 33554432000 4194304 16246674 140735846562800 140422804397232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7003 s]
/proc/loadavg: 2.02 2.05 2.02 3/181 20598
/proc/meminfo: memFree=28364068/32872528 swapFree=447588/480292
[pid=20594] ppid=20591 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/20594/stat : 20594 (toysat) R 20591 20594 16080 0 -1 4202496 267404 0 0 0 1232 37 0 0 20 0 4 0 12480406 1337528320 267734 33554432000 4194304 16246674 140735846562800 140735846544704 13818360 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20594/statm: 326545 267734 786 2943 0 323439 0
[pid=20594/tid=20595] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20595/stat : 20595 (toysat) S 20591 20594 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480406 1337528320 267734 33554432000 4194304 16246674 140735846562800 140422893513968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20594/tid=20596] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20596/stat : 20596 (toysat) S 20591 20594 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12480406 1337528320 267734 33554432000 4194304 16246674 140735846562800 140422814870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20594/tid=20597] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20597/stat : 20597 (toysat) S 20591 20594 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12480407 1337528320 267734 33554432000 4194304 16246674 140735846562800 140422804397232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5004 s]
/proc/loadavg: 2.17 2.08 2.03 4/180 20598
/proc/meminfo: memFree=28364032/32872528 swapFree=447588/480292
[pid=20594] ppid=20591 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/20594/stat : 20594 (toysat) R 20591 20594 16080 0 -1 4202496 267404 0 0 0 2512 37 0 0 20 0 4 0 12480406 1337528320 267734 33554432000 4194304 16246674 140735846562800 140735846544704 5708466 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20594/statm: 326545 267734 786 2943 0 323439 0
[pid=20594/tid=20595] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20595/stat : 20595 (toysat) S 20591 20594 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480406 1337528320 267734 33554432000 4194304 16246674 140735846562800 140422893513968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20594/tid=20596] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20596/stat : 20596 (toysat) S 20591 20594 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12480406 1337528320 267734 33554432000 4194304 16246674 140735846562800 140422814870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20594/tid=20597] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20597/stat : 20597 (toysat) S 20591 20594 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12480407 1337528320 267734 33554432000 4194304 16246674 140735846562800 140422804397232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.17 2.09 2.03 3/182 20602
/proc/meminfo: memFree=28364848/32872528 swapFree=447588/480292
[pid=20594] ppid=20591 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/20594/stat : 20594 (toysat) R 20591 20594 16080 0 -1 4202496 267425 0 0 0 5071 37 0 0 20 0 4 0 12480406 1337528320 267755 33554432000 4194304 16246674 140735846562800 140735846544704 5677837 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20594/statm: 326545 267755 786 2943 0 323439 0
[pid=20594/tid=20595] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20595/stat : 20595 (toysat) S 20591 20594 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480406 1337528320 267755 33554432000 4194304 16246674 140735846562800 140422893513968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20594/tid=20596] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20596/stat : 20596 (toysat) S 20591 20594 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12480406 1337528320 267755 33554432000 4194304 16246674 140735846562800 140422814870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20594/tid=20597] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20597/stat : 20597 (toysat) S 20591 20594 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12480407 1337528320 267755 33554432000 4194304 16246674 140735846562800 140422804397232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.16 2.10 2.04 4/181 20701
/proc/meminfo: memFree=28359456/32872528 swapFree=447588/480292
[pid=20594] ppid=20591 vsize=1306180 CPUtime=102.27 cores=0,2,4,6
/proc/20594/stat : 20594 (toysat) R 20591 20594 16080 0 -1 4202496 267426 0 0 0 10190 37 0 0 20 0 4 0 12480406 1337528320 267756 33554432000 4194304 16246674 140735846562800 140735846545800 13962576 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20594/statm: 326545 267756 787 2943 0 323439 0
[pid=20594/tid=20595] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20595/stat : 20595 (toysat) S 20591 20594 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480406 1337528320 267756 33554432000 4194304 16246674 140735846562800 140422893513968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20594/tid=20596] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20596/stat : 20596 (toysat) S 20591 20594 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12480406 1337528320 267756 33554432000 4194304 16246674 140735846562800 140422814870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20594/tid=20597] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20597/stat : 20597 (toysat) S 20591 20594 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12480407 1337528320 267756 33554432000 4194304 16246674 140735846562800 140422804397232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1306180

[startup+162.3 s]
/proc/loadavg: 2.25 2.13 2.05 3/181 20799
/proc/meminfo: memFree=28357084/32872528 swapFree=447588/480292
[pid=20594] ppid=20591 vsize=1306180 CPUtime=162.25 cores=0,2,4,6
/proc/20594/stat : 20594 (toysat) R 20591 20594 16080 0 -1 4202496 267473 0 0 0 16187 38 0 0 20 0 4 0 12480406 1337528320 268046 33554432000 4194304 16246674 140735846562800 140735846545800 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20594/statm: 326545 268046 787 2943 0 323439 0
[pid=20594/tid=20595] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20595/stat : 20595 (toysat) S 20591 20594 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480406 1337528320 268046 33554432000 4194304 16246674 140735846562800 140422893513968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20594/tid=20596] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20596/stat : 20596 (toysat) S 20591 20594 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12480406 1337528320 268046 33554432000 4194304 16246674 140735846562800 140422814870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20594/tid=20597] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20597/stat : 20597 (toysat) S 20591 20594 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12480407 1337528320 268046 33554432000 4194304 16246674 140735846562800 140422804397232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1306180

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

[startup+179.2 s]
/proc/loadavg: 2.19 2.12 2.05 3/181 20799
/proc/meminfo: memFree=28356036/32872528 swapFree=447588/480292
[pid=20594] ppid=20591 vsize=1306180 CPUtime=179.15 cores=0,2,4,6
/proc/20594/stat : 20594 (toysat) R 20591 20594 16080 0 -1 4202496 267481 0 0 0 17876 39 0 0 20 0 4 0 12480406 1337528320 268052 33554432000 4194304 16246674 140735846562800 140735846545800 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20594/statm: 326545 268052 787 2943 0 323439 0
[pid=20594/tid=20595] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20595/stat : 20595 (toysat) S 20591 20594 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480406 1337528320 268052 33554432000 4194304 16246674 140735846562800 140422893513968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20594/tid=20596] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20596/stat : 20596 (toysat) S 20591 20594 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12480406 1337528320 268052 33554432000 4194304 16246674 140735846562800 140422814870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20594/tid=20597] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20597/stat : 20597 (toysat) S 20591 20594 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12480407 1337528320 268052 33554432000 4194304 16246674 140735846562800 140422804397232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 179.15
Current children cumulated vsize (KiB) 1306180

[startup+185.6 s]
/proc/loadavg: 2.18 2.12 2.05 3/181 20799
/proc/meminfo: memFree=28356144/32872528 swapFree=447588/480292
[pid=20594] ppid=20591 vsize=1306180 CPUtime=185.55 cores=0,2,4,6
/proc/20594/stat : 20594 (toysat) R 20591 20594 16080 0 -1 4202496 267489 0 0 0 18516 39 0 0 20 0 4 0 12480406 1337528320 268052 33554432000 4194304 16246674 140735846562800 140735846544704 6081492 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20594/statm: 326545 268052 787 2943 0 323439 0
[pid=20594/tid=20595] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20595/stat : 20595 (toysat) S 20591 20594 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480406 1337528320 268052 33554432000 4194304 16246674 140735846562800 140422893513968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20594/tid=20596] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20596/stat : 20596 (toysat) S 20591 20594 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12480406 1337528320 268052 33554432000 4194304 16246674 140735846562800 140422814870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20594/tid=20597] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20597/stat : 20597 (toysat) S 20591 20594 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12480407 1337528320 268052 33554432000 4194304 16246674 140735846562800 140422804397232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 185.55
Current children cumulated vsize (KiB) 1306180

[startup+188.8 s]
/proc/loadavg: 2.16 2.12 2.05 3/181 20799
/proc/meminfo: memFree=28356268/32872528 swapFree=447588/480292
[pid=20594] ppid=20591 vsize=1306180 CPUtime=188.75 cores=0,2,4,6
/proc/20594/stat : 20594 (toysat) R 20591 20594 16080 0 -1 4202496 267489 0 0 0 18836 39 0 0 20 0 4 0 12480406 1337528320 268052 33554432000 4194304 16246674 140735846562800 140735846544704 5668593 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20594/statm: 326545 268052 787 2943 0 323439 0
[pid=20594/tid=20595] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20595/stat : 20595 (toysat) S 20591 20594 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480406 1337528320 268052 33554432000 4194304 16246674 140735846562800 140422893513968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20594/tid=20596] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20596/stat : 20596 (toysat) S 20591 20594 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12480406 1337528320 268052 33554432000 4194304 16246674 140735846562800 140422814870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20594/tid=20597] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20597/stat : 20597 (toysat) S 20591 20594 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12480407 1337528320 268052 33554432000 4194304 16246674 140735846562800 140422804397232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 188.75
Current children cumulated vsize (KiB) 1306180

[startup+190.407 s]
/proc/loadavg: 2.16 2.12 2.05 3/181 20799
/proc/meminfo: memFree=28356268/32872528 swapFree=447588/480292
[pid=20594] ppid=20591 vsize=1306180 CPUtime=190.36 cores=0,2,4,6
/proc/20594/stat : 20594 (toysat) R 20591 20594 16080 0 -1 4202496 267489 0 0 0 18997 39 0 0 20 0 4 0 12480406 1337528320 268052 33554432000 4194304 16246674 140735846562800 140735846544704 5754712 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20594/statm: 326545 268052 787 2943 0 323439 0
[pid=20594/tid=20595] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20595/stat : 20595 (toysat) S 20591 20594 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480406 1337528320 268052 33554432000 4194304 16246674 140735846562800 140422893513968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20594/tid=20596] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20596/stat : 20596 (toysat) S 20591 20594 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12480406 1337528320 268052 33554432000 4194304 16246674 140735846562800 140422814870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20594/tid=20597] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20597/stat : 20597 (toysat) S 20591 20594 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12480407 1337528320 268052 33554432000 4194304 16246674 140735846562800 140422804397232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 190.36
Current children cumulated vsize (KiB) 1306180

[startup+192 s]
/proc/loadavg: 2.15 2.12 2.05 3/181 20799
/proc/meminfo: memFree=28356268/32872528 swapFree=447588/480292
[pid=20594] ppid=20591 vsize=1306180 CPUtime=191.95 cores=0,2,4,6
/proc/20594/stat : 20594 (toysat) R 20591 20594 16080 0 -1 4202496 267489 0 0 0 19156 39 0 0 20 0 4 0 12480406 1337528320 268052 33554432000 4194304 16246674 140735846562800 140735846544704 5669155 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20594/statm: 326545 268052 787 2943 0 323439 0
[pid=20594/tid=20595] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20595/stat : 20595 (toysat) S 20591 20594 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480406 1337528320 268052 33554432000 4194304 16246674 140735846562800 140422893513968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20594/tid=20596] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20596/stat : 20596 (toysat) S 20591 20594 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12480406 1337528320 268052 33554432000 4194304 16246674 140735846562800 140422814870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20594/tid=20597] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20597/stat : 20597 (toysat) S 20591 20594 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12480407 1337528320 268052 33554432000 4194304 16246674 140735846562800 140422804397232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 191.95
Current children cumulated vsize (KiB) 1306180

[startup+192.4 s]
/proc/loadavg: 2.15 2.12 2.05 3/181 20799
/proc/meminfo: memFree=28356268/32872528 swapFree=447588/480292
[pid=20594] ppid=20591 vsize=1306180 CPUtime=192.35 cores=0,2,4,6
/proc/20594/stat : 20594 (toysat) R 20591 20594 16080 0 -1 4202496 267489 0 0 0 19196 39 0 0 20 0 4 0 12480406 1337528320 268052 33554432000 4194304 16246674 140735846562800 140735846544704 6843545 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20594/statm: 326545 268052 787 2943 0 323439 0
[pid=20594/tid=20595] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20595/stat : 20595 (toysat) S 20591 20594 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480406 1337528320 268052 33554432000 4194304 16246674 140735846562800 140422893513968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20594/tid=20596] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20596/stat : 20596 (toysat) S 20591 20594 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12480406 1337528320 268052 33554432000 4194304 16246674 140735846562800 140422814870768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20594/tid=20597] ppid=20591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20594/task/20597/stat : 20597 (toysat) S 20591 20594 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12480407 1337528320 268052 33554432000 4194304 16246674 140735846562800 140422804397232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 192.35
Current children cumulated vsize (KiB) 1306180

[startup+192.607 s]
/proc/loadavg: 2.15 2.12 2.05 4/181 20799
/proc/meminfo: memFree=28356004/32872528 swapFree=447588/480292
[pid=20594] ppid=20591 vsize=0 CPUtime=192.55 cores=0,2,4,6
/proc/20594/stat : 20594 (toysat) Z 20591 20594 16080 0 -1 4202508 267495 0 0 0 19212 43 0 0 20 0 2 0 12480406 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20594/statm: 0 0 0 0 0 0 0
[pid=20594/tid=20596] ppid=20591 vsize=0 CPUtime=0.03 cores=0,2,4,6
/proc/20594/task/20596/stat : 20596 (toysat) R 20591 20594 16080 0 -1 4203588 7 0 0 0 0 3 0 0 20 0 2 0 12480406 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 192.55
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 192.613
CPU time (s): 192.567
CPU user time (s): 192.126
CPU system time (s): 0.440932
CPU usage (%): 99.9762
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 192.126
system time used= 0.440932
maximum resident set size= 1072224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267495
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= 48
involuntary context switches= 197

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.531919 second user time and 0.874867 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-30 21:09:26
IDJOB=4121186
IDBENCH=110338
IDSOLVER=2542
FILE ID=node104/4121186-1467313766
RUNJOBID= node104-1467310023-19959
PBS_JOBID= 20005270
Free space on /tmp= 71704 MiB

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

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

MD5SUM BENCH= f89d8845f81f0955e0ed58fe54b242f1
RANDOM SEED=288957014

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.334
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.334
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.334
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.334
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.54
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.334
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:        29434496 kB
Buffers:          196460 kB
Cached:           935700 kB
SwapCached:            0 kB
Active:          1420772 kB
Inactive:         793172 kB
Active(anon):    1084232 kB
Inactive(anon):        0 kB
Active(file):     336540 kB
Inactive(file):   793172 kB
Unevictable:      480292 kB
Mlocked:          447588 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             32964 kB
Writeback:             0 kB
AnonPages:       1564288 kB
Mapped:            16344 kB
Shmem:               204 kB
Slab:             610924 kB
SReclaimable:      55100 kB
SUnreclaim:       555824 kB
KernelStack:        1472 kB
PageTables:         6896 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1688868 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= 71688 MiB
End job on node104 at 2016-06-30 21:12:39