Trace number 4079729

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02UNSAT 165.369 165.396

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_4_30_3.opb
MD5SUMd2b3af71376059fa940b007abcee01cc
Bench CategoryOPT-SMALLINT (optimisation, small integers)
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 benchmark165.369
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables31
Total number of constraints9
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint1
Maximum length of a constraint30
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 940
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2821
Number of bits of the biggest sum of numbers12
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-06T22:15:31+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-4079729-1465244131.opb"]
0.00/0.01	c use --random-gen="1926089310 3698161543 1507803957 1437880533 2624877311 3118056559 2481483433 3131114285 2800496281 1408210213 3436377631 4054776703 3721361793 887113898 3916209957 2992323989 435928758 3769248210 629102125 2329576431 2637723053 934074908 863261666 1329563269 3244016537 3914226289 1590550510 792343533 1086450087 546853342 2043280283 35515341 2100794229 1936015492 731264823 4256972472 3096821044 3408982507 1688297322 2978834029 1131993504 2331177382 1306618586 3616671275 1398209896 2131681965 169245088 3801315809 1397730584 3103723263 2761140905 2270282408 497240746 747734643 507407159 3914848333 3517282734 3340315000 2746683148 1514960835 3170104735 1161235813 3394139664 430041694 2883619827 589215299 3020612347 3605351646 2931314289 2743086146 3512134380 310549232 4068702028 2882921133 2444786483 4033597358 3635167477 312668240 482760307 2419211838 1373414649 1968345572 2602435247 1831158896 2937456851 1932299019 4102149221 1333511500 3057448820 2621619603 677090737 2590944449 3391894099 3500260811 2646917144 1155134965 23423167 2921902153 2197158471 764246253 2543980254 4175714633 2249996532 2441651846 386029674 4240072839 623102763 1024068982 241917757 1128936537 405561826 2181611824 722383430 675715497 2974238487 1885623418 2907117126 1325819285 2732519754 1874931488 3892681306 4161898393 2191708123 2457266702 4238126964 3448400524 2151564778 1329972362 78754479 3837745790 1861535276 3640088577 3011617762 82790511 3754930014 1594103031 12585428 3709709172 1055074985 3420664930 3957864786 1653674630 1521002481 3921215709 2416154820 3894314043 3540152189 658463974 431244668 1607345161 3271281468 3229004539 3422627679 1330806804 2441201121 1414137844 2093565819 3056806894 3263543845 2730896930 2536080917 357190319 3575673334 246316374 1509205802 1558641729 2413304280 48937455 2842378162 2123973687 2968472253 3281458931 3802087735 1943954432 813028552 92489412 4243170275 1274422938 531808689 2365192585 3110490163 2868104326 3111370357 4189041084 2909455913 2996638051 2781999249 686807577 3102940723 4181253979 3063553518 2042450873 2207813915 1847805052 764087497 2130136878 3042350560 223849714 1994359475 1353159759 2166129097 2147632128 3098363319 2835196835 2833336347 1427534371 83768315 4073541967 1441775684 604434367 1246729092 2349336108 3238014858 254778562 2070470237 4158553908 2300773059 2088501965 3756097186 2162161200 1014917818 2968126821 2396168128 1784064358 3018378531 1501024768 2781693567 2849084268 4251840415 1685840247 3503596384 978329845 2889051095 3283024677 1000179642 2226985331 2382120773 882813939 2633634650 2369927786 2895638018 2416696522 1627105030 10419012 3616140773 874655968 4233387076 707175543 2148913345 1474778522 1750624587 1222071298 840043498 1482607909 1884748320 2044092350 255 362436" option to reproduce the execution
0.00/0.01	c #vars 31
0.00/0.01	c #constraints 9
0.00/0.01	c BCD2: Hardening is enabled.
0.00/0.01	c BCD2: BiasedSearch is enabled.
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 |       16      0 |        1 |        0
0.00/0.02	c  0.0s |       1 |      115 |      100 |       16      4 |        1 |        0
0.00/0.03	c  0.0s |       2 |      277 |      250 |       18     13 |        1 |        0
0.00/0.06	c  0.0s |       3 |      519 |      475 |       20     26 |        1 |        0
0.00/0.09	c  0.1s |       4 |      872 |      813 |       22     45 |        1 |        0
0.08/0.13	c  0.1s |       5 |     1391 |     1320 |       25     72 |        1 |        0
0.19/0.20	c  0.2s |       6 |     2168 |     2081 |       31    109 |        1 |        0
0.29/0.30	c  0.3s |       7 |     3332 |     3223 |       35    165 |        1 |        0
0.39/0.44	c  0.4s |       8 |     5083 |     4936 |       39    241 |        1 |        0
0.59/0.67	c  0.7s |       9 |     7700 |     7506 |       43    341 |        1 |        0
0.89/0.99	c  1.0s |      10 |    11627 |    11361 |       48    486 |        1 |        0
1.39/1.45	c  1.4s |      11 |    17518 |    17144 |       53    683 |        1 |        0
1.89/1.95	c  1.9s |      12 |    26297 |    25819 |       59    954 |        1 |        0
2.69/2.73	c  2.7s |      13 |    39459 |    38832 |       65   1340 |        1 |        0
3.79/3.85	c  3.8s |      14 |    59199 |    58352 |       72   1883 |        1 |        0
5.50/5.59	c  5.6s |      15 |    88748 |    87632 |       80   2608 |        1 |        0
7.49/7.59	c  7.6s |      15 |   123759 |   122232 |       80   3405 |        1 |        0
8.09/8.14	c  8.1s |      16 |   133161 |   131552 |       88   3617 |        1 |        0
10.09/10.15	c 10.1s |      16 |   167604 |   165552 |       88   4330 |        1 |        0
11.99/12.04	c 12.0s |      17 |   199770 |   197432 |       97   5013 |        1 |        0
13.99/14.04	c 14.0s |      17 |   234179 |   231532 |       97   5671 |        1 |        0
15.99/16.04	c 16.0s |      17 |   268450 |   265432 |       97   6329 |        1 |        0
17.79/17.89	c 17.9s |      18 |   299614 |   296252 |      107   6927 |        1 |        0
19.79/19.89	c 19.9s |      18 |   334335 |   330552 |      107   7520 |        1 |        0
21.89/21.90	c 21.9s |      18 |   368301 |   364152 |      107   8111 |        1 |        0
23.89/23.90	c 23.9s |      18 |   402505 |   397952 |      107   8718 |        1 |        0
25.89/25.90	c 25.9s |      18 |   436165 |   431252 |      107   9307 |        1 |        0
26.59/26.69	c 26.7s |      19 |   449542 |   444482 |      118   9540 |        1 |        0
28.59/28.69	c 28.7s |      19 |   483563 |   478082 |      118  10078 |        1 |        0
30.58/30.69	c 30.7s |      19 |   517613 |   511682 |      118  10626 |        1 |        0
32.58/32.69	c 32.7s |      19 |   550908 |   544682 |      118  11157 |        1 |        0
34.68/34.70	c 34.7s |      19 |   585088 |   578482 |      118  11710 |        1 |        0
36.68/36.70	c 36.7s |      19 |   619434 |   612482 |      118  12274 |        1 |        0
38.68/38.70	c 38.7s |      19 |   653830 |   646382 |      118  12820 |        1 |        0
39.78/39.89	c 39.9s |      20 |   674643 |   666827 |      130  13147 |        1 |        0
41.79/41.89	c 41.9s |      20 |   708870 |   700627 |      130  13640 |        1 |        0
43.78/43.89	c 43.9s |      20 |   742932 |   734227 |      130  14136 |        1 |        0
45.78/45.89	c 45.9s |      20 |   775737 |   766727 |      130  14615 |        1 |        0
47.78/47.89	c 47.9s |      20 |   808844 |   799527 |      130  15101 |        1 |        0
49.78/49.90	c 49.9s |      20 |   842634 |   832927 |      130  15603 |        1 |        0
51.88/51.90	c 51.9s |      20 |   875495 |   865527 |      130  16082 |        1 |        0
53.78/53.90	c 53.9s |      20 |   908999 |   898627 |      130  16574 |        1 |        0
55.88/55.91	c 55.9s |      20 |   942261 |   931527 |      130  17068 |        1 |        0
57.88/57.91	c 57.9s |      20 |   975241 |   964227 |      130  17557 |        1 |        0
59.88/59.91	c 59.9s |      20 |  1008666 |   997327 |      143  18049 |        1 |        0
59.98/60.09	c 60.1s |      21 |  1011726 |  1000345 |      143  18091 |        1 |        0
62.08/62.10	c 62.1s |      21 |  1044367 |  1032645 |      143  18516 |        1 |        0
64.08/64.10	c 64.1s |      21 |  1076516 |  1064545 |      143  18943 |        1 |        0
66.09/66.10	c 66.1s |      21 |  1109477 |  1097145 |      143  19382 |        1 |        0
68.08/68.11	c 68.1s |      21 |  1141902 |  1129245 |      143  19815 |        1 |        0
70.08/70.11	c 70.1s |      21 |  1175390 |  1162245 |      143  20261 |        1 |        0
72.08/72.11	c 72.1s |      21 |  1208169 |  1194745 |      143  20706 |        1 |        0
74.08/74.12	c 74.1s |      21 |  1241536 |  1227745 |      143  21152 |        1 |        0
76.08/76.12	c 76.1s |      21 |  1275210 |  1261045 |      143  21605 |        1 |        0
78.08/78.12	c 78.1s |      21 |  1308910 |  1294345 |      143  22061 |        1 |        0
80.08/80.13	c 80.1s |      21 |  1342762 |  1327745 |      143  22518 |        1 |        0
82.08/82.13	c 82.1s |      21 |  1377054 |  1361645 |      143  22987 |        1 |        0
84.08/84.13	c 84.1s |      21 |  1410764 |  1395045 |      143  23438 |        1 |        0
86.08/86.14	c 86.1s |      21 |  1442826 |  1426945 |      143  23864 |        1 |        0
88.08/88.14	c 88.1s |      21 |  1475345 |  1459245 |      143  24302 |        1 |        0
90.08/90.15	c 90.1s |      21 |  1507801 |  1491445 |      158  24731 |        1 |        0
90.68/90.71	c 90.7s |      22 |  1517038 |  1500622 |      158  24844 |        1 |        0
92.67/92.71	c 92.7s |      22 |  1549608 |  1532822 |      158  25233 |        1 |        0
94.68/94.72	c 94.7s |      22 |  1582222 |  1565122 |      158  25627 |        1 |        0
96.68/96.72	c 96.7s |      22 |  1614810 |  1597422 |      158  26025 |        1 |        0
98.68/98.72	c 98.7s |      22 |  1648127 |  1630422 |      158  26432 |        1 |        0
100.68/100.73	c  100s |      22 |  1680297 |  1662322 |      158  26823 |        1 |        0
102.68/102.73	c  102s |      22 |  1713343 |  1695022 |      158  27226 |        1 |        0
104.68/104.73	c  104s |      22 |  1746790 |  1728122 |      158  27637 |        1 |        0
106.68/106.73	c  106s |      22 |  1780339 |  1761322 |      158  28052 |        1 |        0
108.67/108.73	c  108s |      22 |  1813311 |  1793922 |      158  28445 |        1 |        0
110.67/110.73	c  110s |      22 |  1846066 |  1826422 |      158  28841 |        1 |        0
112.67/112.74	c  112s |      22 |  1878275 |  1858422 |      158  29230 |        1 |        0
114.67/114.74	c  114s |      22 |  1911262 |  1891122 |      158  29633 |        1 |        0
116.68/116.74	c  116s |      22 |  1944982 |  1924522 |      158  30041 |        1 |        0
118.67/118.74	c  118s |      22 |  1978178 |  1957422 |      158  30439 |        1 |        0
120.67/120.74	c  120s |      22 |  2011746 |  1990722 |      158  30847 |        1 |        0
122.67/122.74	c  122s |      22 |  2044977 |  2023722 |      158  31244 |        1 |        0
124.67/124.75	c  124s |      22 |  2078814 |  2057322 |      158  31648 |        1 |        0
126.67/126.75	c  126s |      22 |  2113234 |  2091422 |      158  32052 |        2 |        0
128.67/128.75	c  128s |      22 |  2146768 |  2124622 |      158  32457 |        2 |        0
130.67/130.76	c  130s |      22 |  2180192 |  2157722 |      158  32861 |        2 |        0
132.67/132.76	c  132s |      22 |  2213424 |  2190622 |      158  33263 |        2 |        0
134.67/134.77	c  134s |      22 |  2246820 |  2223722 |      158  33672 |        2 |        0
136.37/136.41	c  136s |      23 |  2274428 |  2251038 |      174  33983 |        2 |        0
138.37/138.41	c  138s |      23 |  2307337 |  2283538 |      174  34341 |        2 |        0
140.36/140.42	c  140s |      23 |  2340572 |  2316338 |      174  34704 |        2 |        0
142.36/142.42	c  142s |      23 |  2373386 |  2348738 |      174  35065 |        2 |        0
144.36/144.42	c  144s |      23 |  2407802 |  2382738 |      174  35442 |        2 |        0
146.38/146.43	c  146s |      23 |  2440693 |  2415338 |      174  35800 |        2 |        0
148.37/148.43	c  148s |      23 |  2474085 |  2448338 |      174  36163 |        2 |        0
150.37/150.43	c  150s |      23 |  2508219 |  2482038 |      174  36533 |        2 |        0
152.37/152.43	c  152s |      23 |  2541380 |  2514838 |      174  36888 |        3 |        0
154.37/154.44	c  154s |      23 |  2574169 |  2547338 |      174  37247 |        3 |        0
156.37/156.44	c  156s |      23 |  2607522 |  2580438 |      174  37612 |        3 |        0
158.37/158.45	c  158s |      23 |  2640771 |  2613438 |      174  37974 |        3 |        0
160.37/160.45	c  160s |      23 |  2673855 |  2646238 |      174  38329 |        4 |        0
162.36/162.45	c  162s |      23 |  2707673 |  2679738 |      174  38694 |        4 |        0
164.36/164.46	c  164s |      23 |  2743028 |  2714638 |      174  39069 |        6 |        0
165.26/165.33	c  165s |      23 |  2759302 |  2730705 |      174  39231 |       30 |        0
165.26/165.33	c #cpu_time = 164.888s
165.26/165.33	c #wall_clock_time = 165.321s
165.26/165.33	c #decision = 2759302
165.26/165.33	c #random_decision = 12016
165.26/165.33	c #conflict = 2730705
165.26/165.33	c #restart = 23
165.26/165.33	s UNSATISFIABLE
165.26/165.33	c total CPU time = 164.901s
165.26/165.33	c total wall clock time = 165.335s

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

pid=1191
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.13 2.24 2.20 3/179 1194
/proc/meminfo: memFree=29203788/32872528 swapFree=17892/1720544
[pid=1194] ppid=1191 vsize=451004 CPUtime=0 cores=0,2,4,6
/proc/1194/stat : 1194 (toysat) R 1191 1194 31655 0 -1 4202496 1636 0 0 0 0 0 0 0 20 0 4 0 106346285 461828096 1996 33554432000 4194304 16246674 140734574940112 140734574939536 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1194/statm: 113519 2006 441 2943 0 110413 0
[pid=1194/tid=1195] ppid=1191 vsize=726460 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1195/stat : 1195 (toysat) S 1191 1194 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106346285 743895040 3072 33554432000 4194304 16246674 140734574940112 139768916585712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1194/tid=1196] ppid=1191 vsize=731580 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1196/stat : 1196 (toysat) S 1191 1194 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106346285 749137920 3091 33554432000 4194304 16246674 140734574940112 139768906095856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1194/tid=1197] ppid=1191 vsize=735676 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1197/stat : 1197 (toysat) S 1191 1194 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106346285 753332224 3107 33554432000 4194304 16246674 140734574940112 139768895622320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100165 s]
/proc/loadavg: 2.13 2.24 2.20 3/179 1194
/proc/meminfo: memFree=29203788/32872528 swapFree=17892/1720544
[pid=1194] ppid=1191 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/1194/stat : 1194 (toysat) R 1191 1194 31655 0 -1 4202496 19394 0 0 0 6 2 0 0 20 0 4 0 106346285 1247350784 19742 33554432000 4194304 16246674 140734574940112 140734574939536 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1194/statm: 304529 19750 752 2943 0 301423 0
[pid=1194/tid=1195] ppid=1191 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1195/stat : 1195 (toysat) S 1191 1194 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106346285 1247350784 19756 33554432000 4194304 16246674 140734574940112 139768916585712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1194/tid=1196] ppid=1191 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1196/stat : 1196 (toysat) S 1191 1194 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106346285 1247350784 19767 33554432000 4194304 16246674 140734574940112 139768906095856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1194/tid=1197] ppid=1191 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1197/stat : 1197 (toysat) S 1191 1194 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106346285 1247350784 19775 33554432000 4194304 16246674 140734574940112 139768895622320 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.200502 s]
/proc/loadavg: 2.13 2.24 2.20 3/179 1194
/proc/meminfo: memFree=29203788/32872528 swapFree=17892/1720544
[pid=1194] ppid=1191 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/1194/stat : 1194 (toysat) R 1191 1194 31655 0 -1 4202496 35854 0 0 0 14 5 0 0 20 0 4 0 106346285 1247350784 36203 33554432000 4194304 16246674 140734574940112 140734574939536 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1194/statm: 304529 36209 753 2943 0 301423 0
[pid=1194/tid=1195] ppid=1191 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1195/stat : 1195 (toysat) S 1191 1194 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106346285 1247350784 36215 33554432000 4194304 16246674 140734574940112 139768916585712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1194/tid=1196] ppid=1191 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1196/stat : 1196 (toysat) S 1191 1194 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106346285 1247350784 36218 33554432000 4194304 16246674 140734574940112 139768906095856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1194/tid=1197] ppid=1191 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1197/stat : 1197 (toysat) S 1191 1194 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106346285 1247350784 36223 33554432000 4194304 16246674 140734574940112 139768895622320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300462 s]
/proc/loadavg: 2.13 2.24 2.20 3/179 1194
/proc/meminfo: memFree=29203788/32872528 swapFree=17892/1720544
[pid=1194] ppid=1191 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/1194/stat : 1194 (toysat) R 1191 1194 31655 0 -1 4202496 52391 0 0 0 22 7 0 0 20 0 4 0 106346285 1247350784 52739 33554432000 4194304 16246674 140734574940112 140734574939536 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1194/statm: 304529 52748 753 2943 0 301423 0
[pid=1194/tid=1195] ppid=1191 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1195/stat : 1195 (toysat) S 1191 1194 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106346285 1247350784 52758 33554432000 4194304 16246674 140734574940112 139768916585712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1194/tid=1196] ppid=1191 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1196/stat : 1196 (toysat) S 1191 1194 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106346285 1247350784 52765 33554432000 4194304 16246674 140734574940112 139768906095856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1194/tid=1197] ppid=1191 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1197/stat : 1197 (toysat) S 1191 1194 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106346285 1247350784 52768 33554432000 4194304 16246674 140734574940112 139768895622320 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.700352 s]
/proc/loadavg: 2.13 2.24 2.20 3/179 1194
/proc/meminfo: memFree=29203788/32872528 swapFree=17892/1720544
[pid=1194] ppid=1191 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/1194/stat : 1194 (toysat) R 1191 1194 31655 0 -1 4202496 119883 0 0 0 53 16 0 0 20 0 4 0 106346285 1247350784 120231 33554432000 4194304 16246674 140734574940112 140734574939536 6021133 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1194/statm: 304529 120241 753 2943 0 301423 0
[pid=1194/tid=1195] ppid=1191 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1195/stat : 1195 (toysat) S 1191 1194 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106346285 1247350784 120245 33554432000 4194304 16246674 140734574940112 139768916585712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1194/tid=1196] ppid=1191 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1196/stat : 1196 (toysat) S 1191 1194 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106346285 1247350784 120252 33554432000 4194304 16246674 140734574940112 139768906095856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1194/tid=1197] ppid=1191 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1197/stat : 1197 (toysat) S 1191 1194 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106346285 1247350784 120255 33554432000 4194304 16246674 140734574940112 139768895622320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50035 s]
/proc/loadavg: 2.13 2.24 2.20 4/183 1198
/proc/meminfo: memFree=28450640/32872528 swapFree=17892/1720544
[pid=1194] ppid=1191 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/1194/stat : 1194 (toysat) R 1191 1194 31655 0 -1 4202496 245502 0 0 0 113 36 0 0 20 0 4 0 106346285 1247350784 245827 33554432000 4194304 16246674 140734574940112 140734574939424 13191685 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1194/statm: 304529 245827 824 2943 0 301423 0
[pid=1194/tid=1195] ppid=1191 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1195/stat : 1195 (toysat) S 1191 1194 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106346285 1247350784 245827 33554432000 4194304 16246674 140734574940112 139768916585712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1194/tid=1196] ppid=1191 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1196/stat : 1196 (toysat) S 1191 1194 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106346285 1247350784 245827 33554432000 4194304 16246674 140734574940112 139768906095856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1194/tid=1197] ppid=1191 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1197/stat : 1197 (toysat) S 1191 1194 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106346285 1247350784 245827 33554432000 4194304 16246674 140734574940112 139768895622320 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.10044 s]
/proc/loadavg: 2.13 2.24 2.20 4/183 1198
/proc/meminfo: memFree=28220620/32872528 swapFree=17892/1720544
[pid=1194] ppid=1191 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/1194/stat : 1194 (toysat) R 1191 1194 31655 0 -1 4202496 267398 0 0 0 270 39 0 0 20 0 4 0 106346285 1337528320 267723 33554432000 4194304 16246674 140734574940112 140734574923112 5721708 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1194/statm: 326545 267723 824 2943 0 323439 0
[pid=1194/tid=1195] ppid=1191 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1195/stat : 1195 (toysat) S 1191 1194 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106346285 1337528320 267723 33554432000 4194304 16246674 140734574940112 139768916585712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1194/tid=1196] ppid=1191 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1196/stat : 1196 (toysat) S 1191 1194 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106346285 1337528320 267723 33554432000 4194304 16246674 140734574940112 139768906095856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1194/tid=1197] ppid=1191 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1197/stat : 1197 (toysat) S 1191 1194 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106346285 1337528320 267723 33554432000 4194304 16246674 140734574940112 139768895622320 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.30039 s]
/proc/loadavg: 2.20 2.25 2.21 3/183 1198
/proc/meminfo: memFree=28132816/32872528 swapFree=17892/1720544
[pid=1194] ppid=1191 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/1194/stat : 1194 (toysat) R 1191 1194 31655 0 -1 4202496 267448 0 0 0 590 39 0 0 20 0 4 0 106346285 1337528320 267773 33554432000 4194304 16246674 140734574940112 140734574923112 6045508 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1194/statm: 326545 267773 826 2943 0 323439 0
[pid=1194/tid=1195] ppid=1191 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1195/stat : 1195 (toysat) S 1191 1194 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106346285 1337528320 267773 33554432000 4194304 16246674 140734574940112 139768916585712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1194/tid=1196] ppid=1191 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1196/stat : 1196 (toysat) S 1191 1194 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106346285 1337528320 267773 33554432000 4194304 16246674 140734574940112 139768906095856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1194/tid=1197] ppid=1191 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1197/stat : 1197 (toysat) S 1191 1194 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106346285 1337528320 267773 33554432000 4194304 16246674 140734574940112 139768895622320 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.27 2.26 2.21 3/183 1198
/proc/meminfo: memFree=28133700/32872528 swapFree=17892/1720544
[pid=1194] ppid=1191 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/1194/stat : 1194 (toysat) R 1191 1194 31655 0 -1 4202496 267448 0 0 0 1230 39 0 0 20 0 4 0 106346285 1337528320 267773 33554432000 4194304 16246674 140734574940112 140734574923112 13950188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1194/statm: 326545 267773 826 2943 0 323439 0
[pid=1194/tid=1195] ppid=1191 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1195/stat : 1195 (toysat) S 1191 1194 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106346285 1337528320 267773 33554432000 4194304 16246674 140734574940112 139768916585712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1194/tid=1196] ppid=1191 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1196/stat : 1196 (toysat) S 1191 1194 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106346285 1337528320 267773 33554432000 4194304 16246674 140734574940112 139768906095856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1194/tid=1197] ppid=1191 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1197/stat : 1197 (toysat) S 1191 1194 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106346285 1337528320 267773 33554432000 4194304 16246674 140734574940112 139768895622320 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.21 2.25 2.21 3/183 1198
/proc/meminfo: memFree=28133812/32872528 swapFree=17892/1720544
[pid=1194] ppid=1191 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/1194/stat : 1194 (toysat) R 1191 1194 31655 0 -1 4202496 267449 0 0 0 2510 39 0 0 20 0 4 0 106346285 1337528320 267774 33554432000 4194304 16246674 140734574940112 140734574923112 13950232 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1194/statm: 326545 267774 826 2943 0 323439 0
[pid=1194/tid=1195] ppid=1191 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1195/stat : 1195 (toysat) S 1191 1194 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106346285 1337528320 267774 33554432000 4194304 16246674 140734574940112 139768916585712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1194/tid=1196] ppid=1191 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1196/stat : 1196 (toysat) S 1191 1194 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106346285 1337528320 267774 33554432000 4194304 16246674 140734574940112 139768906095856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1194/tid=1197] ppid=1191 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1197/stat : 1197 (toysat) S 1191 1194 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106346285 1337528320 267774 33554432000 4194304 16246674 140734574940112 139768895622320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1004 s]
/proc/loadavg: 2.21 2.25 2.20 4/183 1198
/proc/meminfo: memFree=28133912/32872528 swapFree=17892/1720544
[pid=1194] ppid=1191 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/1194/stat : 1194 (toysat) R 1191 1194 31655 0 -1 4202496 267459 0 0 0 5069 39 0 0 20 0 4 0 106346285 1337528320 267784 33554432000 4194304 16246674 140734574940112 140734574923112 5600260 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1194/statm: 326545 267784 826 2943 0 323439 0
[pid=1194/tid=1195] ppid=1191 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1195/stat : 1195 (toysat) S 1191 1194 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106346285 1337528320 267784 33554432000 4194304 16246674 140734574940112 139768916585712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1194/tid=1196] ppid=1191 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1196/stat : 1196 (toysat) S 1191 1194 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106346285 1337528320 267784 33554432000 4194304 16246674 140734574940112 139768906095856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1194/tid=1197] ppid=1191 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1197/stat : 1197 (toysat) S 1191 1194 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106346285 1337528320 267784 33554432000 4194304 16246674 140734574940112 139768895622320 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.25 2.25 2.21 3/183 1199
/proc/meminfo: memFree=28133708/32872528 swapFree=17892/1720544
[pid=1194] ppid=1191 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/1194/stat : 1194 (toysat) R 1191 1194 31655 0 -1 4202496 267461 0 0 0 10187 41 0 0 20 0 4 0 106346285 1337528320 267786 33554432000 4194304 16246674 140734574940112 140734574923112 5711636 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1194/statm: 326545 267786 826 2943 0 323439 0
[pid=1194/tid=1195] ppid=1191 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1195/stat : 1195 (toysat) S 1191 1194 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106346285 1337528320 267786 33554432000 4194304 16246674 140734574940112 139768916585712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1194/tid=1196] ppid=1191 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1196/stat : 1196 (toysat) S 1191 1194 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106346285 1337528320 267786 33554432000 4194304 16246674 140734574940112 139768906095856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1194/tid=1197] ppid=1191 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1197/stat : 1197 (toysat) S 1191 1194 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106346285 1337528320 267786 33554432000 4194304 16246674 140734574940112 139768895622320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180

[startup+162.3 s]
/proc/loadavg: 2.25 2.25 2.20 3/183 1200
/proc/meminfo: memFree=28133244/32872528 swapFree=17892/1720544
[pid=1194] ppid=1191 vsize=1306180 CPUtime=162.26 cores=0,2,4,6
/proc/1194/stat : 1194 (toysat) R 1191 1194 31655 0 -1 4202496 267463 0 0 0 16184 42 0 0 20 0 4 0 106346285 1337528320 267788 33554432000 4194304 16246674 140734574940112 140734574923112 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1194/statm: 326545 267788 826 2943 0 323439 0
[pid=1194/tid=1195] ppid=1191 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1195/stat : 1195 (toysat) S 1191 1194 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106346285 1337528320 267788 33554432000 4194304 16246674 140734574940112 139768916585712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1194/tid=1196] ppid=1191 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1196/stat : 1196 (toysat) S 1191 1194 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106346285 1337528320 267788 33554432000 4194304 16246674 140734574940112 139768906095856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1194/tid=1197] ppid=1191 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1197/stat : 1197 (toysat) S 1191 1194 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106346285 1337528320 267788 33554432000 4194304 16246674 140734574940112 139768895622320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1306180

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

[startup+163.2 s]
/proc/loadavg: 2.25 2.25 2.20 3/183 1200
/proc/meminfo: memFree=28133244/32872528 swapFree=17892/1720544
[pid=1194] ppid=1191 vsize=1306180 CPUtime=163.16 cores=0,2,4,6
/proc/1194/stat : 1194 (toysat) R 1191 1194 31655 0 -1 4202496 267463 0 0 0 16274 42 0 0 20 0 4 0 106346285 1337528320 267788 33554432000 4194304 16246674 140734574940112 140734574923112 5600432 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1194/statm: 326545 267788 826 2943 0 323439 0
[pid=1194/tid=1195] ppid=1191 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1195/stat : 1195 (toysat) S 1191 1194 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106346285 1337528320 267788 33554432000 4194304 16246674 140734574940112 139768916585712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1194/tid=1196] ppid=1191 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1196/stat : 1196 (toysat) S 1191 1194 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106346285 1337528320 267788 33554432000 4194304 16246674 140734574940112 139768906095856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1194/tid=1197] ppid=1191 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1197/stat : 1197 (toysat) S 1191 1194 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106346285 1337528320 267788 33554432000 4194304 16246674 140734574940112 139768895622320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 163.16
Current children cumulated vsize (KiB) 1306180

[startup+164.007 s]
/proc/loadavg: 2.25 2.25 2.20 3/183 1200
/proc/meminfo: memFree=28133244/32872528 swapFree=17892/1720544
[pid=1194] ppid=1191 vsize=1306180 CPUtime=163.97 cores=0,2,4,6
/proc/1194/stat : 1194 (toysat) R 1191 1194 31655 0 -1 4202496 267463 0 0 0 16355 42 0 0 20 0 4 0 106346285 1337528320 267788 33554432000 4194304 16246674 140734574940112 140734574923112 5710056 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1194/statm: 326545 267788 826 2943 0 323439 0
[pid=1194/tid=1195] ppid=1191 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1195/stat : 1195 (toysat) S 1191 1194 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106346285 1337528320 267788 33554432000 4194304 16246674 140734574940112 139768916585712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1194/tid=1196] ppid=1191 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1196/stat : 1196 (toysat) S 1191 1194 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106346285 1337528320 267788 33554432000 4194304 16246674 140734574940112 139768906095856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1194/tid=1197] ppid=1191 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1197/stat : 1197 (toysat) S 1191 1194 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106346285 1337528320 267788 33554432000 4194304 16246674 140734574940112 139768895622320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 163.97
Current children cumulated vsize (KiB) 1306180

[startup+164.8 s]
/proc/loadavg: 2.25 2.25 2.20 3/183 1200
/proc/meminfo: memFree=28133244/32872528 swapFree=17892/1720544
[pid=1194] ppid=1191 vsize=1306180 CPUtime=164.76 cores=0,2,4,6
/proc/1194/stat : 1194 (toysat) R 1191 1194 31655 0 -1 4202496 267463 0 0 0 16434 42 0 0 20 0 4 0 106346285 1337528320 267788 33554432000 4194304 16246674 140734574940112 140734574923112 5553636 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1194/statm: 326545 267788 826 2943 0 323439 0
[pid=1194/tid=1195] ppid=1191 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1195/stat : 1195 (toysat) S 1191 1194 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106346285 1337528320 267788 33554432000 4194304 16246674 140734574940112 139768916585712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1194/tid=1196] ppid=1191 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1196/stat : 1196 (toysat) S 1191 1194 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106346285 1337528320 267788 33554432000 4194304 16246674 140734574940112 139768906095856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1194/tid=1197] ppid=1191 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1197/stat : 1197 (toysat) S 1191 1194 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106346285 1337528320 267788 33554432000 4194304 16246674 140734574940112 139768895622320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 164.76
Current children cumulated vsize (KiB) 1306180

[startup+165.2 s]
/proc/loadavg: 2.31 2.26 2.21 3/183 1200
/proc/meminfo: memFree=28133228/32872528 swapFree=17892/1720544
[pid=1194] ppid=1191 vsize=1306180 CPUtime=165.16 cores=0,2,4,6
/proc/1194/stat : 1194 (toysat) R 1191 1194 31655 0 -1 4202496 267463 0 0 0 16474 42 0 0 20 0 4 0 106346285 1337528320 267788 33554432000 4194304 16246674 140734574940112 140734574923112 5712184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1194/statm: 326545 267788 826 2943 0 323439 0
[pid=1194/tid=1195] ppid=1191 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1195/stat : 1195 (toysat) S 1191 1194 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106346285 1337528320 267788 33554432000 4194304 16246674 140734574940112 139768916585712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1194/tid=1196] ppid=1191 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1196/stat : 1196 (toysat) S 1191 1194 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106346285 1337528320 267788 33554432000 4194304 16246674 140734574940112 139768906095856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1194/tid=1197] ppid=1191 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1197/stat : 1197 (toysat) S 1191 1194 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106346285 1337528320 267788 33554432000 4194304 16246674 140734574940112 139768895622320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 165.16
Current children cumulated vsize (KiB) 1306180

[startup+165.3 s]
/proc/loadavg: 2.31 2.26 2.21 3/183 1200
/proc/meminfo: memFree=28133228/32872528 swapFree=17892/1720544
[pid=1194] ppid=1191 vsize=1306180 CPUtime=165.26 cores=0,2,4,6
/proc/1194/stat : 1194 (toysat) R 1191 1194 31655 0 -1 4202496 267463 0 0 0 16484 42 0 0 20 0 4 0 106346285 1337528320 267788 33554432000 4194304 16246674 140734574940112 140734574923112 6845784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1194/statm: 326545 267788 826 2943 0 323439 0
[pid=1194/tid=1195] ppid=1191 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1195/stat : 1195 (toysat) S 1191 1194 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106346285 1337528320 267788 33554432000 4194304 16246674 140734574940112 139768916585712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1194/tid=1196] ppid=1191 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1196/stat : 1196 (toysat) S 1191 1194 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106346285 1337528320 267788 33554432000 4194304 16246674 140734574940112 139768906095856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1194/tid=1197] ppid=1191 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1194/task/1197/stat : 1197 (toysat) S 1191 1194 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106346285 1337528320 267788 33554432000 4194304 16246674 140734574940112 139768895622320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 165.26
Current children cumulated vsize (KiB) 1306180

Child status: 0
Real time (s): 165.396
CPU time (s): 165.369
CPU user time (s): 164.885
CPU system time (s): 0.483926
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 164.885
system time used= 0.483926
maximum resident set size= 1071168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267469
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= 20
involuntary context switches= 170

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.518921 second user time and 0.629904 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-06 22:15:31
IDJOB=4079729
IDBENCH=2897
IDSOLVER=2542
FILE ID=node117/4079729-1465244131
RUNJOBID= node117-1465227498-31671
PBS_JOBID= 19843241
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_4_30_3.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079729-1465244131/watcher-4079729-1465244131 -o /tmp/evaluation-result-4079729-1465244131/solver-4079729-1465244131 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465227498-31671 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079729-1465244131.opb

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

MD5SUM BENCH= d2b3af71376059fa940b007abcee01cc
RANDOM SEED=2048105583

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.088
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:        29204572 kB
Buffers:           41476 kB
Cached:           102792 kB
SwapCached:         1396 kB
Active:          1177168 kB
Inactive:          66264 kB
Active(anon):    1099300 kB
Inactive(anon):     2176 kB
Active(file):      77868 kB
Inactive(file):    64088 kB
Unevictable:     1720544 kB
Mlocked:           17892 kB
SwapTotal:      67108856 kB
SwapFree:       67098980 kB
Dirty:             16316 kB
Writeback:             0 kB
AnonPages:       2819092 kB
Mapped:            10464 kB
Shmem:                 0 kB
Slab:             568140 kB
SReclaimable:      12300 kB
SUnreclaim:       555840 kB
KernelStack:        1472 kB
PageTables:         9588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2963156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2279424 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= 71708 MiB
End job on node117 at 2016-06-06 22:18:17