Trace number 4107033

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 180.077 180.111

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_25_1_15.opb
MD5SUMebbe5bb724184b6646f7cf4470989c3e
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non 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 benchmark6.53001
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables100
Total number of constraints152
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
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 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)2996
Sum of products size (including duplicates)5992
Number of different products1498
Sum of products size2996

Solver Data 

0.00/0.00	c 2016-06-18T22:26:37+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-4107033-1466281597.opb"]
0.00/0.01	c use --random-gen="1571338409 1036787767 656463072 1084236781 2890772562 3108916571 1313831666 1157066605 2507628773 3876111693 2063247887 1711311702 662086886 1920545630 437119908 1693810669 1709553679 3653487245 1084086694 3038272746 762705410 614138817 4004245623 469755111 832871745 912511265 2744553183 3558706934 3685174127 2275426322 2810869131 1285008446 4256518730 3757697420 1553362673 3995035078 1614712693 3078643714 1091802112 1799294073 677270700 650806947 2807871096 3622943101 128181609 2388886873 3498101229 2687207891 696870778 1143225988 1731517813 988088166 1784405118 231709567 1928103734 452980307 1225024422 1803785677 4152913079 3043995567 320361991 3655190598 928121668 384487356 995506740 2708838447 2653448765 1125577196 1989379911 1122378364 2118142708 1722462425 2941811428 3166490296 1539979290 218722976 343915395 2549779770 624596378 2978905714 1692209738 1780481788 4160325965 2436629173 2818971909 4135861698 643993342 869228521 3821604928 2336141993 2706158026 25992732 1290515814 2962767106 4276869327 31203908 4100640920 3150923280 2982585313 1252892615 961941402 2368935482 4273728043 2045089094 540987245 4189250713 755355293 2430487579 2434439337 2334057705 1999907898 1073773269 1728913553 3024634290 3017855657 2449987986 2530771863 176693383 2384185828 1847955171 3081877315 1643858060 2558324834 3662039927 683767036 2567274595 1522783771 2993797001 289749618 1308365946 76494356 3522220406 710219416 3861396261 102550463 3485861124 1084517408 944273737 1616177965 317198952 1557882278 3951990191 2149698911 3635785462 3114824414 2645125266 1026996576 379411943 3730922836 1700154028 1234261846 994322729 2839382385 1952580757 2734788117 3264040988 402249603 3899005228 908781873 2116085348 3100076708 2860787328 32096982 3022019164 2601531120 4128984917 2045605937 431660391 2564953734 437655392 1045244366 3199219682 2087296369 1909344987 2955288529 1636668273 20015804 4176907980 1467668221 2640599530 3176775563 1493396927 540846320 3859604755 168316218 913826035 3363479471 3036992770 388850332 77188364 3614057597 1357590102 3115861235 1707761433 1776143341 2619436 1930419240 1419128804 902858442 1144072512 3579092146 1690457120 1885430070 3330583509 173880403 2016561498 295514173 1993193018 759639315 2435795666 2873668107 64370870 2429301143 2874525220 4044940644 3296977125 1072532178 1578210573 2939259419 2801085043 2365369919 1057150472 408512319 3925980571 820433561 1291334858 3614519404 3113937251 3523877211 3359652090 1708685516 1938723530 1763306233 880502845 2182288463 372224983 4141080459 3641641825 1386921028 1577260317 2386280046 945012395 3562161323 3115151954 3568499653 1417574564 2786470625 1365984666 64516851 4243248077 2772881940 1079465920 1284957478 95818689 521179938 3356750589 255 362436" option to reproduce the execution
0.00/0.02	c #vars 100
0.00/0.02	c #constraints 152
0.00/0.05	c Solving starts ...
0.00/0.05	c ============================[ Search Statistics ]============================
0.00/0.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.05	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.05	c =============================================================================
0.00/0.05	c  0.0s |       0 |        0 |        0 |     1083      0 |        0 |        0
0.00/0.08	c  0.0s |       1 |      228 |      100 |     1083      0 |        0 |        0
0.08/0.11	c  0.1s |       2 |      678 |      250 |     1192      0 |        0 |        0
0.08/0.17	c  0.1s |       3 |     1359 |      475 |     1312      0 |        0 |        0
0.19/0.27	c  0.2s |       4 |     3099 |      813 |     1444      0 |        0 |        0
0.39/0.41	c  0.4s |       5 |     5004 |     1320 |     1589      0 |        0 |        0
0.59/0.62	c  0.6s |       6 |     6714 |     2081 |     1923      1 |        0 |        0
0.88/0.91	c  0.9s |       7 |     8182 |     3223 |     2116      2 |        1 |       34
1.20/1.23	c  1.2s |       8 |    10247 |     4936 |     2328      3 |        1 |       34
1.69/1.71	c  1.7s |       9 |    13332 |     7506 |     2561      5 |        1 |       34
2.29/2.36	c  2.3s |      10 |    17895 |    11361 |     2818      8 |        1 |       34
3.30/3.32	c  3.3s |      11 |    30638 |    17144 |     3100     12 |        1 |       34
4.89/4.97	c  4.9s |      12 |    51037 |    25819 |     3411     17 |        1 |       34
6.89/6.97	c  6.9s |      12 |    75537 |    34819 |     3411     22 |        1 |       34
7.80/7.82	c  7.8s |      13 |    84796 |    38832 |     3753     24 |        1 |       34
9.79/9.84	c  9.8s |      13 |   109299 |    47732 |     3753     29 |        1 |       34
11.79/11.84	c 11.8s |      13 |   130474 |    57532 |     3753     34 |        1 |       34
11.99/12.01	c 12.0s |      14 |   131960 |    58352 |     4129     34 |        1 |       34
13.99/14.02	c 14.0s |      14 |   150650 |    67052 |     4129     39 |        1 |       34
15.99/16.03	c 16.0s |      14 |   162999 |    77852 |     4129     43 |        2 |       69
17.99/18.04	c 18.0s |      14 |   172048 |    86152 |     4129     47 |        2 |       69
18.39/18.42	c 18.4s |      15 |   173609 |    87632 |     4542     47 |        2 |       69
20.38/20.45	c 20.4s |      15 |   185354 |    96532 |     4542     51 |        2 |       69
22.38/22.47	c 22.4s |      15 |   206833 |   107632 |     4542     56 |        2 |       69
24.39/24.48	c 24.4s |      15 |   227805 |   118032 |     4542     60 |        2 |       69
26.40/26.49	c 26.4s |      15 |   250243 |   128532 |     4542     65 |        2 |       69
26.99/27.06	c 27.0s |      16 |   256626 |   131552 |     4997     66 |        2 |       69
28.99/29.06	c 29.0s |      16 |   275313 |   140652 |     4997     70 |        2 |       69
30.99/31.07	c 31.0s |      16 |   292435 |   149952 |     4997     73 |        2 |       69
32.99/33.08	c 33.0s |      16 |   315480 |   158952 |     4997     77 |        2 |       69
35.09/35.10	c 35.0s |      16 |   330922 |   168152 |     4997     80 |        4 |      136
37.08/37.11	c 37.1s |      16 |   355065 |   178152 |     4997     84 |        4 |      136
39.08/39.11	c 39.1s |      16 |   378182 |   187952 |     4997     87 |        4 |      136
40.98/41.08	c 41.0s |      17 |   399478 |   197432 |     5497     91 |        4 |      136
42.99/43.09	c 43.0s |      17 |   417107 |   204532 |     5497     94 |        4 |      136
45.09/45.10	c 45.1s |      17 |   434297 |   212532 |     5497     96 |        4 |      136
47.08/47.11	c 47.1s |      17 |   449275 |   222732 |     5497     99 |        5 |      168
49.08/49.13	c 49.1s |      17 |   462906 |   232532 |     5497    103 |        5 |      168
51.08/51.13	c 51.1s |      17 |   477618 |   241332 |     5497    106 |        7 |      222
53.08/53.15	c 53.1s |      17 |   494379 |   250932 |     5497    109 |        7 |      222
55.09/55.16	c 55.1s |      17 |   514315 |   260032 |     5497    112 |        7 |      222
57.19/57.21	c 57.2s |      17 |   530495 |   268232 |     5497    115 |        8 |      254
59.18/59.22	c 59.2s |      17 |   552634 |   278732 |     5497    117 |        9 |      284
61.18/61.23	c 61.2s |      17 |   572876 |   288032 |     5497    121 |        9 |      284
62.88/62.99	c 62.9s |      18 |   590935 |   296252 |     6047    123 |        9 |      284
64.89/64.99	c 64.9s |      18 |   607603 |   304252 |     6047    126 |        9 |      284
66.88/66.99	c 66.9s |      18 |   623707 |   313152 |     6047    129 |        9 |      284
68.98/69.01	c 69.0s |      18 |   638212 |   322652 |     6047    131 |       10 |      316
70.98/71.03	c 71.0s |      18 |   655185 |   332152 |     6047    134 |       10 |      316
72.98/73.04	c 73.0s |      18 |   677920 |   342452 |     6047    137 |       10 |      316
74.98/75.06	c 75.0s |      18 |   692264 |   351752 |     6047    140 |       10 |      316
76.99/77.07	c 77.0s |      18 |   713263 |   361152 |     6047    143 |       10 |      316
78.98/79.07	c 79.0s |      18 |   734036 |   370752 |     6047    146 |       10 |      316
80.98/81.07	c 81.0s |      18 |   749876 |   379752 |     6047    149 |       10 |      316
82.98/83.08	c 83.0s |      18 |   766268 |   388752 |     6047    152 |       10 |      316
84.98/85.08	c 85.0s |      18 |   784757 |   397652 |     6047    155 |       10 |      316
86.98/87.08	c 87.0s |      18 |   803773 |   406952 |     6047    158 |       10 |      316
88.97/89.08	c 89.0s |      18 |   823534 |   415652 |     6047    161 |       10 |      316
90.97/91.09	c 91.0s |      18 |   841644 |   424852 |     6047    164 |       10 |      316
93.07/93.10	c 93.0s |      18 |   857975 |   434252 |     6047    167 |       10 |      316
95.08/95.11	c 95.1s |      18 |   875795 |   443452 |     6652    170 |       10 |      316
95.28/95.31	c 95.3s |      19 |   877781 |   444482 |     6652    170 |       10 |      316
97.28/97.32	c 97.3s |      19 |   893108 |   451882 |     6652    172 |       10 |      316
99.28/99.33	c 99.3s |      19 |   910115 |   459882 |     6652    175 |       10 |      316
101.28/101.36	c  101s |      19 |   931848 |   469382 |     6652    176 |       11 |      343
103.28/103.37	c  103s |      19 |   949342 |   478582 |     6652    178 |       12 |      376
105.27/105.37	c  105s |      19 |   964712 |   486982 |     6652    180 |       12 |      376
107.27/107.37	c  107s |      19 |   981997 |   495782 |     6652    182 |       13 |      404
109.27/109.37	c  109s |      19 |   997335 |   505182 |     6652    184 |       13 |      404
111.27/111.38	c  111s |      19 |  1015384 |   514682 |     6652    187 |       13 |      404
113.28/113.38	c  113s |      19 |  1033571 |   524082 |     6652    190 |       13 |      404
115.37/115.40	c  115s |      19 |  1052605 |   533582 |     6652    193 |       13 |      404
117.37/117.41	c  117s |      19 |  1071311 |   543582 |     6652    196 |       13 |      404
119.37/119.42	c  119s |      19 |  1089066 |   552682 |     6652    198 |       13 |      404
121.37/121.44	c  121s |      19 |  1108189 |   561882 |     6652    201 |       13 |      404
123.37/123.44	c  123s |      19 |  1123083 |   571382 |     6652    204 |       13 |      404
125.38/125.45	c  125s |      19 |  1142132 |   580282 |     6652    207 |       13 |      404
127.37/127.47	c  127s |      19 |  1157857 |   589382 |     6652    209 |       13 |      404
129.37/129.48	c  129s |      19 |  1175079 |   598282 |     6652    212 |       13 |      404
131.47/131.52	c  131s |      19 |  1189249 |   606582 |     6652    215 |       13 |      404
133.47/133.54	c  133s |      19 |  1208427 |   615082 |     6652    217 |       13 |      404
135.47/135.54	c  135s |      19 |  1226356 |   624482 |     6652    220 |       13 |      404
137.48/137.56	c  137s |      19 |  1244992 |   633482 |     6652    223 |       13 |      404
139.47/139.58	c  139s |      19 |  1263709 |   641982 |     6652    225 |       13 |      404
141.47/141.58	c  141s |      19 |  1283326 |   651582 |     6652    228 |       13 |      404
143.57/143.61	c  143s |      19 |  1302231 |   660182 |     6652    230 |       13 |      404
145.07/145.16	c  145s |      20 |  1317012 |   666827 |     7318    232 |       13 |      404
147.07/147.18	c  147s |      20 |  1335553 |   675927 |     7318    235 |       13 |      404
149.07/149.19	c  149s |      20 |  1351589 |   685327 |     7318    237 |       13 |      404
151.17/151.20	c  151s |      20 |  1367256 |   693527 |     7318    239 |       13 |      404
153.16/153.21	c  153s |      20 |  1384113 |   701227 |     7318    241 |       13 |      404
155.17/155.22	c  155s |      20 |  1400590 |   709227 |     7318    244 |       13 |      404
157.16/157.23	c  157s |      20 |  1412518 |   717227 |     7318    246 |       13 |      404
159.16/159.23	c  159s |      20 |  1424709 |   725827 |     7318    248 |       13 |      404
161.17/161.23	c  161s |      20 |  1439752 |   732527 |     7318    250 |       13 |      404
163.16/163.25	c  163s |      20 |  1455949 |   740927 |     7318    252 |       13 |      404
165.16/165.28	c  165s |      20 |  1469364 |   749327 |     7318    255 |       13 |      404
167.17/167.28	c  167s |      20 |  1484412 |   757727 |     7318    257 |       13 |      404
169.16/169.28	c  169s |      20 |  1500584 |   766227 |     7318    259 |       13 |      404
171.16/171.29	c  171s |      20 |  1518160 |   775127 |     7318    262 |       13 |      404
173.26/173.30	c  173s |      20 |  1536389 |   784027 |     7318    264 |       13 |      404
175.26/175.32	c  175s |      20 |  1552950 |   792527 |     7318    266 |       13 |      404
177.26/177.35	c  177s |      20 |  1567428 |   800727 |     7318    268 |       13 |      404
179.27/179.36	c  179s |      20 |  1581374 |   808527 |     7318    270 |       17 |      482
179.96/180.04	c  179s |      20 |  1588032 |   811945 |     7318    270 |      149 |      853
179.96/180.04	c #cpu_time = 179.995s
179.96/180.04	c #wall_clock_time = 179.987s
179.96/180.04	c #decision = 1588032
179.96/180.04	c #random_decision = 7693
179.96/180.04	c #conflict = 811945
179.96/180.04	c #restart = 20
179.96/180.04	s UNSATISFIABLE
179.96/180.04	c total CPU time = 180.051s
179.96/180.04	c total wall clock time = 180.043s

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

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

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


[startup+0 s]
/proc/loadavg: 2.34 2.31 2.23 3/179 27730
/proc/meminfo: memFree=28925420/32872528 swapFree=1499884/1696108
[pid=27730] ppid=27727 vsize=518588 CPUtime=0 cores=1,3,5,7
/proc/27730/stat : 27730 (toysat) R 27727 27730 24910 0 -1 4202496 1895 0 0 0 0 0 0 0 20 0 4 0 30205476 531034112 2256 33554432000 4194304 16246674 140733587606512 140733587605936 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27730/statm: 130159 2263 441 2943 0 127053 0
[pid=27730/tid=27731] ppid=27727 vsize=534972 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27731/stat : 27731 (toysat) S 27727 27730 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30205476 547811328 2323 33554432000 4194304 16246674 140733587606512 139736101399792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=27730/tid=27732] ppid=27727 vsize=540092 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27732/stat : 27732 (toysat) S 27727 27730 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30205477 553054208 2340 33554432000 4194304 16246674 140733587606512 139736022756592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=27730/tid=27733] ppid=27727 vsize=544188 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27733/stat : 27733 (toysat) S 27727 27730 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30205477 557248512 2356 33554432000 4194304 16246674 140733587606512 139736012283056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 2.34 2.31 2.23 3/179 27730
/proc/meminfo: memFree=28925420/32872528 swapFree=1499884/1696108
[pid=27730] ppid=27727 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/27730/stat : 27730 (toysat) R 27727 27730 24910 0 -1 4202496 26386 0 0 0 5 3 0 0 20 0 4 0 30205476 1247350784 26736 33554432000 4194304 16246674 140733587606512 140733587605936 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27730/statm: 304529 26743 720 2943 0 301423 0
[pid=27730/tid=27731] ppid=27727 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27731/stat : 27731 (toysat) S 27727 27730 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30205476 1247350784 26748 33554432000 4194304 16246674 140733587606512 139736101399792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=27730/tid=27732] ppid=27727 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27732/stat : 27732 (toysat) S 27727 27730 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30205477 1247350784 26756 33554432000 4194304 16246674 140733587606512 139736022756592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=27730/tid=27733] ppid=27727 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27733/stat : 27733 (toysat) S 27727 27730 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30205477 1247350784 26769 33554432000 4194304 16246674 140733587606512 139736012283056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200544 s]
/proc/loadavg: 2.34 2.31 2.23 3/179 27730
/proc/meminfo: memFree=28925420/32872528 swapFree=1499884/1696108
[pid=27730] ppid=27727 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/27730/stat : 27730 (toysat) R 27727 27730 24910 0 -1 4202496 51969 0 0 0 12 7 0 0 20 0 4 0 30205476 1247350784 52319 33554432000 4194304 16246674 140733587606512 140733587605936 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27730/statm: 304529 52334 720 2943 0 301423 0
[pid=27730/tid=27731] ppid=27727 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27731/stat : 27731 (toysat) S 27727 27730 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30205476 1247350784 52340 33554432000 4194304 16246674 140733587606512 139736101399792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=27730/tid=27732] ppid=27727 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27732/stat : 27732 (toysat) S 27727 27730 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30205477 1247350784 52346 33554432000 4194304 16246674 140733587606512 139736022756592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=27730/tid=27733] ppid=27727 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27733/stat : 27733 (toysat) S 27727 27730 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30205477 1247350784 52352 33554432000 4194304 16246674 140733587606512 139736012283056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300454 s]
/proc/loadavg: 2.34 2.31 2.23 3/179 27730
/proc/meminfo: memFree=28925420/32872528 swapFree=1499884/1696108
[pid=27730] ppid=27727 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/27730/stat : 27730 (toysat) R 27727 27730 24910 0 -1 4202496 78434 0 0 0 18 10 0 0 20 0 4 0 30205476 1247350784 78783 33554432000 4194304 16246674 140733587606512 140733587605936 5677541 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27730/statm: 304529 78790 720 2943 0 301423 0
[pid=27730/tid=27731] ppid=27727 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27731/stat : 27731 (toysat) S 27727 27730 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30205476 1247350784 78803 33554432000 4194304 16246674 140733587606512 139736101399792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=27730/tid=27732] ppid=27727 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27732/stat : 27732 (toysat) S 27727 27730 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30205477 1247350784 78818 33554432000 4194304 16246674 140733587606512 139736022756592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=27730/tid=27733] ppid=27727 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27733/stat : 27733 (toysat) S 27727 27730 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30205477 1247350784 78831 33554432000 4194304 16246674 140733587606512 139736012283056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700374 s]
/proc/loadavg: 2.34 2.31 2.23 3/179 27730
/proc/meminfo: memFree=28925420/32872528 swapFree=1499884/1696108
[pid=27730] ppid=27727 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/27730/stat : 27730 (toysat) R 27727 27730 24910 0 -1 4202496 168503 0 0 0 45 24 0 0 20 0 4 0 30205476 1247350784 168852 33554432000 4194304 16246674 140733587606512 140733587605936 5676613 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27730/statm: 304529 168857 727 2943 0 301423 0
[pid=27730/tid=27731] ppid=27727 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27731/stat : 27731 (toysat) S 27727 27730 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30205476 1247350784 168861 33554432000 4194304 16246674 140733587606512 139736101399792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=27730/tid=27732] ppid=27727 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27732/stat : 27732 (toysat) S 27727 27730 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30205477 1247350784 168865 33554432000 4194304 16246674 140733587606512 139736022756592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=27730/tid=27733] ppid=27727 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27733/stat : 27733 (toysat) S 27727 27730 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30205477 1247350784 168869 33554432000 4194304 16246674 140733587606512 139736012283056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50038 s]
/proc/loadavg: 2.31 2.30 2.22 3/183 27734
/proc/meminfo: memFree=27939748/32872528 swapFree=1499884/1696108
[pid=27730] ppid=27727 vsize=1222212 CPUtime=1.49 cores=1,3,5,7
/proc/27730/stat : 27730 (toysat) R 27727 27730 24910 0 -1 4202496 246388 0 0 0 114 35 0 0 20 0 4 0 30205476 1251545088 246717 33554432000 4194304 16246674 140733587606512 140733587605824 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27730/statm: 305553 246717 799 2943 0 302447 0
[pid=27730/tid=27731] ppid=27727 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27731/stat : 27731 (toysat) S 27727 27730 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30205476 1251545088 246717 33554432000 4194304 16246674 140733587606512 139736101399792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=27730/tid=27732] ppid=27727 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27732/stat : 27732 (toysat) S 27727 27730 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30205477 1251545088 246717 33554432000 4194304 16246674 140733587606512 139736022756592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=27730/tid=27733] ppid=27727 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27733/stat : 27733 (toysat) S 27727 27730 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30205477 1251545088 246717 33554432000 4194304 16246674 140733587606512 139736012283056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1222212

[startup+3.1004 s]
/proc/loadavg: 2.31 2.30 2.22 3/183 27734
/proc/meminfo: memFree=27854560/32872528 swapFree=1499884/1696108
[pid=27730] ppid=27727 vsize=1310276 CPUtime=3.09 cores=1,3,5,7
/proc/27730/stat : 27730 (toysat) R 27727 27730 24910 0 -1 4202496 268605 0 0 0 271 38 0 0 20 0 4 0 30205476 1341722624 268934 33554432000 4194304 16246674 140733587606512 140733587589512 13950230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27730/statm: 327569 268934 799 2943 0 324463 0
[pid=27730/tid=27731] ppid=27727 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27731/stat : 27731 (toysat) S 27727 27730 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30205476 1341722624 268934 33554432000 4194304 16246674 140733587606512 139736101399792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=27730/tid=27732] ppid=27727 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27732/stat : 27732 (toysat) S 27727 27730 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30205477 1341722624 268934 33554432000 4194304 16246674 140733587606512 139736022756592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=27730/tid=27733] ppid=27727 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27733/stat : 27733 (toysat) S 27727 27730 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30205477 1341722624 268934 33554432000 4194304 16246674 140733587606512 139736012283056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1310276

[startup+6.30044 s]
/proc/loadavg: 2.31 2.30 2.22 4/183 27734
/proc/meminfo: memFree=27849560/32872528 swapFree=1499884/1696108
[pid=27730] ppid=27727 vsize=1311300 CPUtime=6.29 cores=1,3,5,7
/proc/27730/stat : 27730 (toysat) R 27727 27730 24910 0 -1 4202496 268730 0 0 0 591 38 0 0 20 0 4 0 30205476 1342771200 269059 33554432000 4194304 16246674 140733587606512 140733587589512 5823234 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27730/statm: 327825 269059 799 2943 0 324719 0
[pid=27730/tid=27731] ppid=27727 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27731/stat : 27731 (toysat) S 27727 27730 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30205476 1342771200 269059 33554432000 4194304 16246674 140733587606512 139736101399792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=27730/tid=27732] ppid=27727 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27732/stat : 27732 (toysat) S 27727 27730 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30205477 1342771200 269059 33554432000 4194304 16246674 140733587606512 139736022756592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=27730/tid=27733] ppid=27727 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27733/stat : 27733 (toysat) S 27727 27730 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30205477 1342771200 269059 33554432000 4194304 16246674 140733587606512 139736012283056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1311300

[startup+12.7004 s]
/proc/loadavg: 2.42 2.32 2.23 3/183 27735
/proc/meminfo: memFree=27848328/32872528 swapFree=1499884/1696108
[pid=27730] ppid=27727 vsize=1311300 CPUtime=12.69 cores=1,3,5,7
/proc/27730/stat : 27730 (toysat) R 27727 27730 24910 0 -1 4202496 268863 0 0 0 1231 38 0 0 20 0 4 0 30205476 1342771200 269192 33554432000 4194304 16246674 140733587606512 140733587589512 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27730/statm: 327825 269192 801 2943 0 324719 0
[pid=27730/tid=27731] ppid=27727 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27731/stat : 27731 (toysat) S 27727 27730 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30205476 1342771200 269192 33554432000 4194304 16246674 140733587606512 139736101399792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=27730/tid=27732] ppid=27727 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27732/stat : 27732 (toysat) S 27727 27730 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30205477 1342771200 269192 33554432000 4194304 16246674 140733587606512 139736022756592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=27730/tid=27733] ppid=27727 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27733/stat : 27733 (toysat) S 27727 27730 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30205477 1342771200 269192 33554432000 4194304 16246674 140733587606512 139736012283056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1311300

[startup+25.5005 s]
/proc/loadavg: 2.43 2.33 2.23 3/183 27735
/proc/meminfo: memFree=27842892/32872528 swapFree=1499884/1696108
[pid=27730] ppid=27727 vsize=1317444 CPUtime=25.49 cores=1,3,5,7
/proc/27730/stat : 27730 (toysat) R 27727 27730 24910 0 -1 4202496 270400 0 0 0 2510 39 0 0 20 0 4 0 30205476 1349062656 270729 33554432000 4194304 16246674 140733587606512 140733587588416 6010504 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27730/statm: 329361 270729 802 2943 0 326255 0
[pid=27730/tid=27731] ppid=27727 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27731/stat : 27731 (toysat) S 27727 27730 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30205476 1349062656 270729 33554432000 4194304 16246674 140733587606512 139736101399792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=27730/tid=27732] ppid=27727 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27732/stat : 27732 (toysat) S 27727 27730 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30205477 1349062656 270729 33554432000 4194304 16246674 140733587606512 139736022756592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=27730/tid=27733] ppid=27727 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27733/stat : 27733 (toysat) S 27727 27730 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30205477 1349062656 270729 33554432000 4194304 16246674 140733587606512 139736012283056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1317444

[startup+51.1005 s]
/proc/loadavg: 2.35 2.32 2.23 4/183 27735
/proc/meminfo: memFree=27842736/32872528 swapFree=1499884/1696108
[pid=27730] ppid=27727 vsize=1319492 CPUtime=51.08 cores=1,3,5,7
/proc/27730/stat : 27730 (toysat) R 27727 27730 24910 0 -1 4202496 270770 0 0 0 5069 39 0 0 20 0 4 0 30205476 1351159808 271099 33554432000 4194304 16246674 140733587606512 140733587588416 5717656 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27730/statm: 329873 271099 802 2943 0 326767 0
[pid=27730/tid=27731] ppid=27727 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27731/stat : 27731 (toysat) S 27727 27730 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30205476 1351159808 271099 33554432000 4194304 16246674 140733587606512 139736101399792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=27730/tid=27732] ppid=27727 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27732/stat : 27732 (toysat) S 27727 27730 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30205477 1351159808 271099 33554432000 4194304 16246674 140733587606512 139736022756592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=27730/tid=27733] ppid=27727 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27733/stat : 27733 (toysat) S 27727 27730 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30205477 1351159808 271099 33554432000 4194304 16246674 140733587606512 139736012283056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1319492

[startup+102.3 s]
/proc/loadavg: 2.33 2.32 2.24 3/182 27736
/proc/meminfo: memFree=27840980/32872528 swapFree=1499884/1696108
[pid=27730] ppid=27727 vsize=1319492 CPUtime=102.28 cores=1,3,5,7
/proc/27730/stat : 27730 (toysat) R 27727 27730 24910 0 -1 4202496 270912 0 0 0 10187 41 0 0 20 0 4 0 30205476 1351159808 271241 33554432000 4194304 16246674 140733587606512 140733587605688 6021169 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27730/statm: 329873 271241 802 2943 0 326767 0
[pid=27730/tid=27731] ppid=27727 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27731/stat : 27731 (toysat) S 27727 27730 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30205476 1351159808 271241 33554432000 4194304 16246674 140733587606512 139736101399792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=27730/tid=27732] ppid=27727 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27732/stat : 27732 (toysat) S 27727 27730 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30205477 1351159808 271241 33554432000 4194304 16246674 140733587606512 139736022756592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=27730/tid=27733] ppid=27727 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27733/stat : 27733 (toysat) S 27727 27730 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30205477 1351159808 271241 33554432000 4194304 16246674 140733587606512 139736012283056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1319492

[startup+162.3 s]
/proc/loadavg: 2.35 2.32 2.24 3/183 27738
/proc/meminfo: memFree=27830464/32872528 swapFree=1499884/1696108
[pid=27730] ppid=27727 vsize=1330756 CPUtime=162.27 cores=1,3,5,7
/proc/27730/stat : 27730 (toysat) R 27727 27730 24910 0 -1 4202496 273484 0 0 0 16184 43 0 0 20 0 4 0 30205476 1362694144 273813 33554432000 4194304 16246674 140733587606512 140733587588416 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27730/statm: 332689 273813 802 2943 0 329583 0
[pid=27730/tid=27731] ppid=27727 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27731/stat : 27731 (toysat) S 27727 27730 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30205476 1362694144 273813 33554432000 4194304 16246674 140733587606512 139736101399792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=27730/tid=27732] ppid=27727 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27732/stat : 27732 (toysat) S 27727 27730 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30205477 1362694144 273813 33554432000 4194304 16246674 140733587606512 139736022756592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=27730/tid=27733] ppid=27727 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27733/stat : 27733 (toysat) S 27727 27730 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30205477 1362694144 273813 33554432000 4194304 16246674 140733587606512 139736012283056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1330756

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

[startup+166.4 s]
/proc/loadavg: 2.32 2.32 2.24 4/183 27738
/proc/meminfo: memFree=27829728/32872528 swapFree=1499884/1696108
[pid=27730] ppid=27727 vsize=1330756 CPUtime=166.36 cores=1,3,5,7
/proc/27730/stat : 27730 (toysat) R 27727 27730 24910 0 -1 4202496 273728 0 0 0 16593 43 0 0 20 0 4 0 30205476 1362694144 274057 33554432000 4194304 16246674 140733587606512 140733587588416 4222002 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27730/statm: 332689 274057 802 2943 0 329583 0
[pid=27730/tid=27731] ppid=27727 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27731/stat : 27731 (toysat) S 27727 27730 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30205476 1362694144 274057 33554432000 4194304 16246674 140733587606512 139736101399792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=27730/tid=27732] ppid=27727 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27732/stat : 27732 (toysat) S 27727 27730 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30205477 1362694144 274057 33554432000 4194304 16246674 140733587606512 139736022756592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=27730/tid=27733] ppid=27727 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27733/stat : 27733 (toysat) S 27727 27730 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30205477 1362694144 274057 33554432000 4194304 16246674 140733587606512 139736012283056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 166.36
Current children cumulated vsize (KiB) 1330756

[startup+172.807 s]
/proc/loadavg: 2.29 2.31 2.24 3/183 27738
/proc/meminfo: memFree=27829588/32872528 swapFree=1499884/1696108
[pid=27730] ppid=27727 vsize=1330756 CPUtime=172.77 cores=1,3,5,7
/proc/27730/stat : 27730 (toysat) R 27727 27730 24910 0 -1 4202496 273728 0 0 0 17234 43 0 0 20 0 4 0 30205476 1362694144 274057 33554432000 4194304 16246674 140733587606512 140733587588416 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27730/statm: 332689 274057 802 2943 0 329583 0
[pid=27730/tid=27731] ppid=27727 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27731/stat : 27731 (toysat) S 27727 27730 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30205476 1362694144 274057 33554432000 4194304 16246674 140733587606512 139736101399792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=27730/tid=27732] ppid=27727 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27732/stat : 27732 (toysat) S 27727 27730 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30205477 1362694144 274057 33554432000 4194304 16246674 140733587606512 139736022756592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=27730/tid=27733] ppid=27727 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27733/stat : 27733 (toysat) S 27727 27730 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30205477 1362694144 274057 33554432000 4194304 16246674 140733587606512 139736012283056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 172.77
Current children cumulated vsize (KiB) 1330756

[startup+176 s]
/proc/loadavg: 2.27 2.31 2.24 3/183 27738
/proc/meminfo: memFree=27829960/32872528 swapFree=1499884/1696108
[pid=27730] ppid=27727 vsize=1330756 CPUtime=175.97 cores=1,3,5,7
/proc/27730/stat : 27730 (toysat) R 27727 27730 24910 0 -1 4202496 273728 0 0 0 17554 43 0 0 20 0 4 0 30205476 1362694144 274057 33554432000 4194304 16246674 140733587606512 140733587588416 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27730/statm: 332689 274057 802 2943 0 329583 0
[pid=27730/tid=27731] ppid=27727 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27731/stat : 27731 (toysat) S 27727 27730 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30205476 1362694144 274057 33554432000 4194304 16246674 140733587606512 139736101399792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=27730/tid=27732] ppid=27727 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27732/stat : 27732 (toysat) S 27727 27730 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30205477 1362694144 274057 33554432000 4194304 16246674 140733587606512 139736022756592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=27730/tid=27733] ppid=27727 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27733/stat : 27733 (toysat) S 27727 27730 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30205477 1362694144 274057 33554432000 4194304 16246674 140733587606512 139736012283056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 175.97
Current children cumulated vsize (KiB) 1330756

[startup+177.6 s]
/proc/loadavg: 2.27 2.31 2.24 3/183 27738
/proc/meminfo: memFree=27829960/32872528 swapFree=1499884/1696108
[pid=27730] ppid=27727 vsize=1330756 CPUtime=177.56 cores=1,3,5,7
/proc/27730/stat : 27730 (toysat) R 27727 27730 24910 0 -1 4202496 273728 0 0 0 17713 43 0 0 20 0 4 0 30205476 1362694144 274057 33554432000 4194304 16246674 140733587606512 140733587588416 6835944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27730/statm: 332689 274057 802 2943 0 329583 0
[pid=27730/tid=27731] ppid=27727 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27731/stat : 27731 (toysat) S 27727 27730 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30205476 1362694144 274057 33554432000 4194304 16246674 140733587606512 139736101399792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=27730/tid=27732] ppid=27727 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27732/stat : 27732 (toysat) S 27727 27730 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30205477 1362694144 274057 33554432000 4194304 16246674 140733587606512 139736022756592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=27730/tid=27733] ppid=27727 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27733/stat : 27733 (toysat) S 27727 27730 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30205477 1362694144 274057 33554432000 4194304 16246674 140733587606512 139736012283056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 177.56
Current children cumulated vsize (KiB) 1330756

[startup+179.2 s]
/proc/loadavg: 2.27 2.31 2.24 3/183 27738
/proc/meminfo: memFree=27829712/32872528 swapFree=1499884/1696108
[pid=27730] ppid=27727 vsize=1330756 CPUtime=179.16 cores=1,3,5,7
/proc/27730/stat : 27730 (toysat) R 27727 27730 24910 0 -1 4202496 273728 0 0 0 17873 43 0 0 20 0 4 0 30205476 1362694144 274057 33554432000 4194304 16246674 140733587606512 140733587605608 12483667 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27730/statm: 332689 274057 802 2943 0 329583 0
[pid=27730/tid=27731] ppid=27727 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27731/stat : 27731 (toysat) S 27727 27730 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30205476 1362694144 274057 33554432000 4194304 16246674 140733587606512 139736101399792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=27730/tid=27732] ppid=27727 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27732/stat : 27732 (toysat) S 27727 27730 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30205477 1362694144 274057 33554432000 4194304 16246674 140733587606512 139736022756592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=27730/tid=27733] ppid=27727 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27733/stat : 27733 (toysat) S 27727 27730 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30205477 1362694144 274057 33554432000 4194304 16246674 140733587606512 139736012283056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 179.16
Current children cumulated vsize (KiB) 1330756

[startup+179.6 s]
/proc/loadavg: 2.27 2.31 2.24 3/183 27738
/proc/meminfo: memFree=27829572/32872528 swapFree=1499884/1696108
[pid=27730] ppid=27727 vsize=1330756 CPUtime=179.56 cores=1,3,5,7
/proc/27730/stat : 27730 (toysat) R 27727 27730 24910 0 -1 4202496 273728 0 0 0 17913 43 0 0 20 0 4 0 30205476 1362694144 274057 33554432000 4194304 16246674 140733587606512 140733587605608 6837276 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27730/statm: 332689 274057 802 2943 0 329583 0
[pid=27730/tid=27731] ppid=27727 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27731/stat : 27731 (toysat) S 27727 27730 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30205476 1362694144 274057 33554432000 4194304 16246674 140733587606512 139736101399792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=27730/tid=27732] ppid=27727 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27732/stat : 27732 (toysat) S 27727 27730 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30205477 1362694144 274057 33554432000 4194304 16246674 140733587606512 139736022756592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=27730/tid=27733] ppid=27727 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27733/stat : 27733 (toysat) S 27727 27730 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30205477 1362694144 274057 33554432000 4194304 16246674 140733587606512 139736012283056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 179.56
Current children cumulated vsize (KiB) 1330756

[startup+180 s]
/proc/loadavg: 2.27 2.31 2.24 3/183 27738
/proc/meminfo: memFree=27829572/32872528 swapFree=1499884/1696108
[pid=27730] ppid=27727 vsize=1330756 CPUtime=179.96 cores=1,3,5,7
/proc/27730/stat : 27730 (toysat) R 27727 27730 24910 0 -1 4202496 273728 0 0 0 17953 43 0 0 20 0 4 0 30205476 1362694144 274057 33554432000 4194304 16246674 140733587606512 140733587589512 13950184 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27730/statm: 332689 274057 802 2943 0 329583 0
[pid=27730/tid=27731] ppid=27727 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27731/stat : 27731 (toysat) S 27727 27730 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30205476 1362694144 274057 33554432000 4194304 16246674 140733587606512 139736101399792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=27730/tid=27732] ppid=27727 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27732/stat : 27732 (toysat) S 27727 27730 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30205477 1362694144 274057 33554432000 4194304 16246674 140733587606512 139736022756592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=27730/tid=27733] ppid=27727 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/27730/task/27733/stat : 27733 (toysat) S 27727 27730 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30205477 1362694144 274057 33554432000 4194304 16246674 140733587606512 139736012283056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 179.96
Current children cumulated vsize (KiB) 1330756

[startup+180.1 s]
/proc/loadavg: 2.27 2.31 2.24 3/183 27738
/proc/meminfo: memFree=27829572/32872528 swapFree=1499884/1696108
[pid=27730] ppid=27727 vsize=0 CPUtime=180.06 cores=1,3,5,7
/proc/27730/stat : 27730 (toysat) Z 27727 27730 24910 0 -1 4202508 273733 0 0 0 17957 49 0 0 20 0 2 0 30205476 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27730/statm: 0 0 0 0 0 0 0
[pid=27730/tid=27732] ppid=27727 vsize=0 CPUtime=0.04 cores=1,3,5,7
/proc/27730/task/27732/stat : 27732 (toysat) R 27727 27730 24910 0 -1 4203588 8 0 0 0 0 4 0 0 20 0 2 0 30205477 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 180.06
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 180.111
CPU time (s): 180.077
CPU user time (s): 179.58
CPU system time (s): 0.496924
CPU usage (%): 99.9807
Max. virtual memory (cumulated for all children) (KiB): 1330756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 179.58
system time used= 0.496924
maximum resident set size= 1096240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273733
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= 21
involuntary context switches= 198

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.437933 second user time and 0.715891 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-18 22:26:37
IDJOB=4107033
IDBENCH=48380
IDSOLVER=2542
FILE ID=node137/4107033-1466281597
RUNJOBID= node137-1466264772-24927
PBS_JOBID= 19918225
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_50_25_1_15.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107033-1466281597/watcher-4107033-1466281597 -o /tmp/evaluation-result-4107033-1466281597/solver-4107033-1466281597 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24927 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107033-1466281597.opb

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

MD5SUM BENCH= ebbe5bb724184b6646f7cf4470989c3e
RANDOM SEED=515159082

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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.486
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.486
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.38
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.486
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.56
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.486
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:        28926072 kB
Buffers:          162616 kB
Cached:           261692 kB
SwapCached:         1268 kB
Active:          1241856 kB
Inactive:         265540 kB
Active(anon):    1084304 kB
Inactive(anon):     1028 kB
Active(file):     157552 kB
Inactive(file):   264512 kB
Unevictable:     1696108 kB
Mlocked:         1499884 kB
SwapTotal:      67108856 kB
SwapFree:       67100008 kB
Dirty:             16356 kB
Writeback:             0 kB
AnonPages:       2778512 kB
Mapped:            10768 kB
Shmem:                 0 kB
Slab:             608372 kB
SReclaimable:      52276 kB
SUnreclaim:       556096 kB
KernelStack:        1456 kB
PageTables:         9564 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2920732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    348160 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= 71672 MiB
End job on node137 at 2016-06-18 22:29:38