Trace number 4089050

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 210.68 210.712

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
vertexcover-instances/normalized-vertexcover-grid6x13.opb
MD5SUMdefa63478cc6f1503c5a314a051a74b7
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.002999
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables78
Total number of constraints157
Number of constraints which are clauses156
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint78
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 39
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 117
Number of bits of the biggest sum of numbers7
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-15T21:56:23+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-4089050-1466020583.opb"]
0.00/0.01	c use --random-gen="118075402 4108309182 444193948 3363643728 1759883351 2447641516 2886904063 1468655687 3548502505 4189515122 3329532115 3961007619 1627806096 59534160 1157226679 1671356124 2458739629 611039701 4121627536 3562141067 2515466979 1919217306 1826205272 1522057362 3870534825 3044950945 1828066552 1535945074 1746267618 2444532260 2585827383 966522067 3332092870 665203893 609442622 518242644 2778600687 1622732230 1500457369 3499515060 524267197 2252025438 2323509607 862418296 3212073652 1308561002 519422572 2518182581 1402903185 3239555206 2302349173 252682292 1759126710 136518758 3260782313 3206104221 3323895542 1180102626 3291556296 3747633205 3729012057 334911642 456977047 589626457 1647886446 2084942724 1576461770 2298962666 1171304010 4032637020 3544222470 3065509593 3513063349 688088819 2781577686 1648493007 3945835626 2834909241 2175216169 2118469330 874485003 4091762520 2346607826 1678653042 1227417842 950202201 3098379762 3576792346 200393613 2586297915 935022800 3184548312 3250881734 3443562682 3782084511 690544796 714304438 3077642912 4002750316 2436291237 3697349411 2782480851 247699136 39037751 4253286619 1807190199 1973452240 2047987714 1348294970 4162726720 2159302837 3138504778 1072413761 2888097580 2620460444 1178492903 4180312046 2750579956 1716344143 489923713 3576518941 346090902 80433803 3808135158 2504684168 2529534354 316923355 384178727 4215903735 3626904943 2438702884 3101092385 3912150523 2281982939 506379795 1936590562 179189896 2508518132 3614073554 3400120152 500020046 535149209 1394641531 2605935356 1503689252 1459368319 1723412198 3334401540 1924784698 3333720363 3035920487 3106800047 397547138 365500513 924916818 4115091607 1889498140 3121866430 3341101399 1157291155 105706556 135716168 3841499469 1097380021 3558510742 2592442771 2007186431 1072489405 2581379345 339006139 612775684 1901862123 3478304571 535176678 2294608317 2839536412 1184078790 3173695373 4030864401 1244812680 3641156920 2274075046 1129991421 930605754 2759791722 4250036655 4031071922 175505881 2504306090 330422531 543961976 896716817 2092024362 877745797 259058139 2089334712 3750343132 57170148 1423773317 1020424044 2780709311 2289049148 3195947775 3802907358 425131674 1773593318 1514532517 1815729975 2505803264 2568366869 4183526654 540004296 3674045415 35343236 2347293549 2228015658 3157978504 1521738163 46614181 299252898 741584721 1541416987 3043578752 1394277903 1599520968 4120602180 1363874811 2515434472 1347362847 3910096254 597980767 3988436131 3850032596 3611705806 143385305 3915784847 81990166 2534464482 3394927976 1255655682 916081962 3314726868 3181816803 117356632 3516441608 2791256468 3473818285 346365247 2841524023 1559658195 1954472114 2156853748 1730939711 4108250964 721818612 233229553 255 362436" option to reproduce the execution
0.00/0.01	c #vars 78
0.00/0.01	c #constraints 157
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 |       78      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      139 |      100 |       78      0 |        0 |        0
0.00/0.03	c  0.0s |       2 |      327 |      250 |       86      3 |        0 |        0
0.00/0.06	c  0.0s |       3 |      586 |      475 |       95      6 |        0 |        0
0.00/0.09	c  0.1s |       4 |      967 |      813 |      105     11 |        0 |        0
0.09/0.14	c  0.1s |       5 |     1503 |     1320 |      116     18 |        0 |        0
0.19/0.22	c  0.2s |       6 |     2299 |     2081 |      141     28 |        0 |        0
0.29/0.34	c  0.3s |       7 |     3503 |     3223 |      156     41 |        0 |        0
0.49/0.52	c  0.5s |       8 |     5295 |     4936 |      172     59 |        0 |        0
0.69/0.79	c  0.8s |       9 |     7954 |     7506 |      190     85 |        0 |        0
0.99/1.10	c  1.1s |      10 |    11887 |    11361 |      210    120 |        0 |        0
1.49/1.54	c  1.5s |      11 |    17846 |    17144 |      232    168 |        0 |        0
2.09/2.15	c  2.1s |      12 |    26753 |    25819 |      256    234 |        0 |        0
2.99/3.08	c  3.1s |      13 |    40233 |    38832 |      282    326 |        0 |        0
4.50/4.50	c  4.5s |      14 |    60315 |    58352 |      311    451 |        0 |        0
6.49/6.51	c  6.5s |      14 |    88573 |    85752 |      311    613 |        0 |        0
6.59/6.64	c  6.6s |      15 |    90499 |    87632 |      343    624 |        0 |        0
8.59/8.65	c  8.6s |      15 |   118667 |   114732 |      343    771 |        0 |        0
9.79/9.89	c  9.9s |      16 |   136065 |   131552 |      378    861 |        0 |        0
11.89/11.90	c 11.9s |      16 |   164088 |   158252 |      378    993 |        0 |        0
13.88/13.90	c 13.9s |      16 |   192544 |   185552 |      378   1128 |        0 |        0
14.68/14.77	c 14.8s |      17 |   204861 |   197432 |      416   1186 |        0 |        0
16.69/16.78	c 16.8s |      17 |   232953 |   224332 |      416   1308 |        0 |        0
18.68/18.78	c 18.8s |      17 |   260523 |   250732 |      416   1428 |        0 |        0
20.69/20.79	c 20.8s |      17 |   288416 |   277432 |      416   1549 |        0 |        0
22.10/22.19	c 22.2s |      18 |   307934 |   296252 |      458   1633 |        0 |        0
24.19/24.20	c 24.2s |      18 |   335315 |   322552 |      458   1742 |        0 |        0
26.19/26.20	c 26.2s |      18 |   362871 |   348852 |      458   1850 |        0 |        0
28.19/28.20	c 28.2s |      18 |   390580 |   375552 |      458   1961 |        0 |        0
30.19/30.21	c 30.2s |      18 |   418689 |   402752 |      458   2073 |        0 |        0
32.19/32.22	c 32.2s |      18 |   446061 |   429052 |      458   2182 |        0 |        0
33.28/33.36	c 33.3s |      19 |   462093 |   444482 |      504   2245 |        0 |        0
35.29/35.36	c 35.4s |      19 |   489305 |   470882 |      504   2345 |        0 |        0
37.28/37.37	c 37.4s |      19 |   517083 |   497582 |      504   2446 |        0 |        0
39.28/39.37	c 39.4s |      19 |   544942 |   523982 |      504   2545 |        0 |        0
41.28/41.37	c 41.4s |      19 |   572882 |   550482 |      504   2646 |        0 |        0
43.28/43.38	c 43.4s |      19 |   601221 |   577782 |      504   2749 |        0 |        0
45.29/45.39	c 45.4s |      19 |   628132 |   603482 |      504   2846 |        0 |        0
47.29/47.39	c 47.4s |      19 |   655633 |   629582 |      504   2945 |        0 |        0
49.39/49.40	c 49.4s |      19 |   683207 |   656182 |      504   3046 |        0 |        0
50.09/50.19	c 50.2s |      20 |   694346 |   666827 |      555   3084 |        0 |        0
52.09/52.19	c 52.2s |      20 |   721497 |   692727 |      555   3173 |        0 |        0
54.18/54.20	c 54.2s |      20 |   749169 |   719027 |      555   3264 |        0 |        0
56.19/56.20	c 56.2s |      20 |   776798 |   745427 |      555   3355 |        0 |        0
58.18/58.20	c 58.2s |      20 |   804403 |   771827 |      555   3446 |        0 |        0
60.18/60.21	c 60.2s |      20 |   832536 |   798827 |      555   3540 |        0 |        0
62.18/62.21	c 62.2s |      20 |   860399 |   824827 |      555   3629 |        0 |        0
64.18/64.21	c 64.2s |      20 |   887890 |   850827 |      555   3719 |        0 |        0
66.18/66.21	c 66.2s |      20 |   916314 |   877427 |      555   3811 |        0 |        0
68.18/68.21	c 68.2s |      20 |   945498 |   904527 |      555   3905 |        0 |        0
70.18/70.22	c 70.2s |      20 |   974574 |   931927 |      555   4000 |        0 |        0
72.18/72.22	c 72.2s |      20 |  1003191 |   959127 |      555   4093 |        0 |        0
74.17/74.22	c 74.2s |      20 |  1030854 |   985127 |      555   4183 |        0 |        0
75.28/75.38	c 75.4s |      21 |  1046736 |  1000345 |      611   4233 |        0 |        0
77.28/77.39	c 77.4s |      21 |  1073061 |  1025545 |      611   4312 |        0 |        0
79.29/79.39	c 79.4s |      21 |  1099408 |  1050845 |      611   4392 |        0 |        0
81.38/81.40	c 81.4s |      21 |  1126290 |  1075945 |      611   4470 |        0 |        0
83.38/83.41	c 83.4s |      21 |  1153523 |  1101845 |      611   4552 |        0 |        0
85.38/85.41	c 85.4s |      21 |  1181044 |  1128145 |      611   4635 |        0 |        0
87.38/87.42	c 87.4s |      21 |  1207376 |  1153545 |      611   4715 |        0 |        0
89.37/89.42	c 89.4s |      21 |  1234598 |  1179645 |      611   4797 |        0 |        0
91.38/91.42	c 91.4s |      21 |  1261758 |  1205745 |      611   4879 |        0 |        0
93.37/93.43	c 93.4s |      21 |  1288788 |  1231745 |      611   4961 |        0 |        0
95.37/95.43	c 95.4s |      21 |  1316613 |  1258345 |      611   5044 |        0 |        0
97.37/97.43	c 97.4s |      21 |  1344803 |  1285245 |      611   5129 |        0 |        0
99.38/99.43	c 99.4s |      21 |  1373236 |  1312145 |      611   5215 |        0 |        0
101.38/101.44	c  101s |      21 |  1401505 |  1339045 |      611   5299 |        0 |        0
103.37/103.44	c  103s |      21 |  1428721 |  1365045 |      611   5381 |        0 |        0
105.37/105.44	c  105s |      21 |  1456264 |  1391745 |      611   5465 |        0 |        0
107.37/107.45	c  107s |      21 |  1484156 |  1418645 |      611   5550 |        0 |        0
109.37/109.45	c  109s |      21 |  1513033 |  1446145 |      611   5636 |        0 |        0
111.37/111.46	c  111s |      21 |  1540681 |  1472645 |      611   5720 |        0 |        0
113.38/113.46	c  113s |      21 |  1567504 |  1498445 |      673   5798 |        0 |        0
113.57/113.63	c  113s |      22 |  1569762 |  1500622 |      673   5805 |        0 |        0
115.58/115.63	c  115s |      22 |  1596086 |  1525622 |      673   5876 |        0 |        0
117.58/117.64	c  117s |      22 |  1623023 |  1551122 |      673   5949 |        0 |        0
119.58/119.65	c  119s |      22 |  1649810 |  1576422 |      673   6022 |        0 |        0
121.58/121.65	c  121s |      22 |  1676562 |  1601722 |      673   6094 |        0 |        0
123.58/123.66	c  123s |      22 |  1703769 |  1627522 |      673   6168 |        0 |        0
125.58/125.66	c  125s |      22 |  1731573 |  1653922 |      673   6244 |        0 |        0
127.57/127.66	c  127s |      22 |  1758034 |  1679022 |      673   6316 |        0 |        0
129.57/129.66	c  129s |      22 |  1784853 |  1704822 |      673   6390 |        0 |        0
131.57/131.67	c  131s |      22 |  1811994 |  1731122 |      673   6465 |        0 |        0
133.57/133.67	c  133s |      22 |  1839705 |  1757622 |      673   6541 |        0 |        0
135.57/135.68	c  135s |      22 |  1866097 |  1783122 |      673   6614 |        0 |        0
137.57/137.68	c  137s |      22 |  1893223 |  1808922 |      673   6688 |        0 |        0
139.57/139.68	c  139s |      22 |  1921107 |  1835322 |      673   6764 |        0 |        0
141.56/141.69	c  141s |      22 |  1948733 |  1861922 |      673   6840 |        0 |        0
143.56/143.69	c  143s |      22 |  1976394 |  1888522 |      673   6916 |        0 |        0
145.56/145.69	c  145s |      22 |  2002936 |  1914022 |      673   6989 |        0 |        0
147.67/147.70	c  147s |      22 |  2030451 |  1940122 |      673   7064 |        0 |        0
149.57/149.70	c  149s |      22 |  2058093 |  1966922 |      673   7141 |        0 |        0
151.67/151.70	c  151s |      22 |  2085868 |  1993622 |      673   7218 |        0 |        0
153.67/153.71	c  153s |      22 |  2114015 |  2020922 |      673   7296 |        0 |        0
155.67/155.71	c  155s |      22 |  2142282 |  2048022 |      673   7374 |        0 |        0
157.67/157.71	c  157s |      22 |  2171636 |  2076122 |      673   7455 |        0 |        0
159.67/159.71	c  159s |      22 |  2198640 |  2102022 |      673   7529 |        0 |        0
161.66/161.72	c  161s |      22 |  2225722 |  2127722 |      673   7603 |        0 |        0
163.66/163.72	c  163s |      22 |  2253108 |  2153822 |      673   7677 |        0 |        0
165.66/165.73	c  165s |      22 |  2281361 |  2180922 |      673   7755 |        0 |        0
167.66/167.74	c  167s |      22 |  2309944 |  2208422 |      673   7833 |        0 |        0
169.66/169.74	c  169s |      22 |  2338841 |  2236022 |      741   7912 |        0 |        0
170.76/170.85	c  170s |      23 |  2354307 |  2251038 |      741   7951 |        0 |        0
172.77/172.86	c  172s |      23 |  2379261 |  2274738 |      741   8013 |        0 |        0
174.77/174.87	c  174s |      23 |  2404527 |  2298738 |      741   8075 |        0 |        0
176.77/176.87	c  176s |      23 |  2430799 |  2323738 |      741   8140 |        0 |        0
178.76/178.87	c  178s |      23 |  2457368 |  2348738 |      741   8206 |        0 |        0
180.76/180.87	c  180s |      23 |  2483946 |  2374138 |      741   8272 |        0 |        0
182.77/182.88	c  182s |      23 |  2510952 |  2399738 |      741   8339 |        0 |        0
184.76/184.89	c  184s |      23 |  2538135 |  2425838 |      741   8407 |        0 |        0
186.76/186.89	c  186s |      23 |  2565808 |  2452238 |      741   8476 |        0 |        0
188.77/188.89	c  188s |      23 |  2593223 |  2478538 |      741   8545 |        0 |        0
190.77/190.89	c  190s |      23 |  2620301 |  2504738 |      741   8613 |        0 |        0
192.87/192.90	c  192s |      23 |  2648055 |  2531538 |      741   8684 |        0 |        0
194.77/194.90	c  194s |      23 |  2676911 |  2558838 |      741   8755 |        0 |        0
196.87/196.90	c  196s |      23 |  2705930 |  2586438 |      741   8827 |        0 |        0
198.86/198.90	c  198s |      23 |  2735625 |  2614238 |      741   8899 |        0 |        0
200.86/200.90	c  200s |      23 |  2766296 |  2642638 |      741   8971 |        5 |       16
202.86/202.91	c  202s |      23 |  2794664 |  2669438 |      741   9041 |        5 |       16
204.86/204.91	c  204s |      23 |  2823974 |  2697638 |      741   9114 |        6 |       20
206.87/206.91	c  206s |      23 |  2854327 |  2726638 |      741   9190 |        6 |       20
208.86/208.92	c  208s |      23 |  2885400 |  2756138 |      741   9264 |       11 |       34
210.56/210.65	c  210s |      23 |  2913510 |  2782964 |      741   9330 |       50 |      125
210.56/210.65	c #cpu_time = 210.634s
210.56/210.65	c #wall_clock_time = 210.636s
210.56/210.65	c #decision = 2913510
210.56/210.65	c #random_decision = 12742
210.56/210.65	c #conflict = 2782964
210.56/210.65	c #restart = 23
210.56/210.65	s UNSATISFIABLE
210.56/210.65	c total CPU time = 210.649s
210.56/210.65	c total wall clock time = 210.650s

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

pid=7507
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.15 2.12 2.09 3/179 7510
/proc/meminfo: memFree=30456572/32872528 swapFree=496356/529060
[pid=7510] ppid=7507 vsize=698812 CPUtime=0 cores=1,3,5,7
/proc/7510/stat : 7510 (toysat) R 7507 7510 5955 0 -1 4202496 2602 0 0 0 0 0 0 0 20 0 4 0 4103693 715583488 3473 33554432000 4194304 16246674 140735442655712 140735442655136 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7510/statm: 175471 3482 441 2943 0 172365 0
[pid=7510/tid=7511] ppid=7507 vsize=717244 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7511/stat : 7511 (toysat) S 7507 7510 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4103693 734457856 3543 33554432000 4194304 16246674 140735442655712 140206279732464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7510/tid=7512] ppid=7507 vsize=721340 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7512/stat : 7512 (toysat) S 7507 7510 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4103693 738652160 3561 33554432000 4194304 16246674 140735442655712 140206269242608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7510/tid=7513] ppid=7507 vsize=726460 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7513/stat : 7513 (toysat) S 7507 7510 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4103693 743895040 3578 33554432000 4194304 16246674 140735442655712 140206187474096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100212 s]
/proc/loadavg: 2.15 2.12 2.09 3/179 7510
/proc/meminfo: memFree=30456572/32872528 swapFree=496356/529060
[pid=7510] ppid=7507 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/7510/stat : 7510 (toysat) R 7507 7510 5955 0 -1 4202496 28455 0 0 0 5 4 0 0 20 0 4 0 4103693 1247350784 29315 33554432000 4194304 16246674 140735442655712 140735442655136 6075563 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7510/statm: 304529 29321 711 2943 0 301423 0
[pid=7510/tid=7511] ppid=7507 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7511/stat : 7511 (toysat) S 7507 7510 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4103693 1247350784 29332 33554432000 4194304 16246674 140735442655712 140206279732464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7510/tid=7512] ppid=7507 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7512/stat : 7512 (toysat) S 7507 7510 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4103693 1247350784 29340 33554432000 4194304 16246674 140735442655712 140206269242608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7510/tid=7513] ppid=7507 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7513/stat : 7513 (toysat) S 7507 7510 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4103693 1247350784 29346 33554432000 4194304 16246674 140735442655712 140206187474096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200487 s]
/proc/loadavg: 2.15 2.12 2.09 3/179 7510
/proc/meminfo: memFree=30456572/32872528 swapFree=496356/529060
[pid=7510] ppid=7507 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/7510/stat : 7510 (toysat) R 7507 7510 5955 0 -1 4202496 55884 0 0 0 11 8 0 0 20 0 4 0 4103693 1247350784 56744 33554432000 4194304 16246674 140735442655712 140735442655136 5724508 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7510/statm: 304529 56758 711 2943 0 301423 0
[pid=7510/tid=7511] ppid=7507 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7511/stat : 7511 (toysat) S 7507 7510 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4103693 1247350784 56764 33554432000 4194304 16246674 140735442655712 140206279732464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7510/tid=7512] ppid=7507 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7512/stat : 7512 (toysat) S 7507 7510 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4103693 1247350784 56771 33554432000 4194304 16246674 140735442655712 140206269242608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7510/tid=7513] ppid=7507 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7513/stat : 7513 (toysat) S 7507 7510 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4103693 1247350784 56781 33554432000 4194304 16246674 140735442655712 140206187474096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300473 s]
/proc/loadavg: 2.15 2.12 2.09 3/179 7510
/proc/meminfo: memFree=30456572/32872528 swapFree=496356/529060
[pid=7510] ppid=7507 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/7510/stat : 7510 (toysat) R 7507 7510 5955 0 -1 4202496 83470 0 0 0 18 11 0 0 20 0 4 0 4103693 1247350784 84331 33554432000 4194304 16246674 140735442655712 140735442655136 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7510/statm: 304529 84340 711 2943 0 301423 0
[pid=7510/tid=7511] ppid=7507 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7511/stat : 7511 (toysat) S 7507 7510 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4103693 1247350784 84349 33554432000 4194304 16246674 140735442655712 140206279732464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7510/tid=7512] ppid=7507 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7512/stat : 7512 (toysat) S 7507 7510 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4103693 1247350784 84360 33554432000 4194304 16246674 140735442655712 140206269242608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7510/tid=7513] ppid=7507 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7513/stat : 7513 (toysat) S 7507 7510 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4103693 1247350784 84367 33554432000 4194304 16246674 140735442655712 140206187474096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700377 s]
/proc/loadavg: 2.15 2.12 2.09 3/179 7510
/proc/meminfo: memFree=30456572/32872528 swapFree=496356/529060
[pid=7510] ppid=7507 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/7510/stat : 7510 (toysat) R 7507 7510 5955 0 -1 4202496 194277 0 0 0 44 25 0 0 20 0 4 0 4103693 1247350784 195137 33554432000 4194304 16246674 140735442655712 140735442655136 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7510/statm: 304529 195154 711 2943 0 301423 0
[pid=7510/tid=7511] ppid=7507 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7511/stat : 7511 (toysat) S 7507 7510 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4103693 1247350784 195160 33554432000 4194304 16246674 140735442655712 140206279732464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7510/tid=7512] ppid=7507 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7512/stat : 7512 (toysat) S 7507 7510 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4103693 1247350784 195167 33554432000 4194304 16246674 140735442655712 140206269242608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7510/tid=7513] ppid=7507 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7513/stat : 7513 (toysat) S 7507 7510 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4103693 1247350784 195177 33554432000 4194304 16246674 140735442655712 140206187474096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50045 s]
/proc/loadavg: 2.15 2.12 2.09 3/183 7514
/proc/meminfo: memFree=29471984/32872528 swapFree=496356/529060
[pid=7510] ppid=7507 vsize=1306180 CPUtime=1.49 cores=1,3,5,7
/proc/7510/stat : 7510 (toysat) R 7507 7510 5955 0 -1 4202496 258559 0 0 0 115 34 0 0 20 0 4 0 4103693 1337528320 259399 33554432000 4194304 16246674 140735442655712 140735442655024 5831697 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7510/statm: 326545 259413 789 2943 0 323439 0
[pid=7510/tid=7511] ppid=7507 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7511/stat : 7511 (toysat) S 7507 7510 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4103693 1337528320 259423 33554432000 4194304 16246674 140735442655712 140206279732464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7510/tid=7512] ppid=7507 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7512/stat : 7512 (toysat) S 7507 7510 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4103693 1337528320 259428 33554432000 4194304 16246674 140735442655712 140206269242608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7510/tid=7513] ppid=7507 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7513/stat : 7513 (toysat) S 7507 7510 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4103693 1337528320 259439 33554432000 4194304 16246674 140735442655712 140206187474096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1306180

[startup+3.10039 s]
/proc/loadavg: 2.14 2.12 2.09 3/183 7514
/proc/meminfo: memFree=29384068/32872528 swapFree=496356/529060
[pid=7510] ppid=7507 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/7510/stat : 7510 (toysat) R 7507 7510 5955 0 -1 4202496 267393 0 0 0 275 34 0 0 20 0 4 0 4103693 1337528320 268233 33554432000 4194304 16246674 140735442655712 140735442637632 13954476 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7510/statm: 326545 268233 789 2943 0 323439 0
[pid=7510/tid=7511] ppid=7507 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7511/stat : 7511 (toysat) S 7507 7510 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4103693 1337528320 268233 33554432000 4194304 16246674 140735442655712 140206279732464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7510/tid=7512] ppid=7507 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7512/stat : 7512 (toysat) S 7507 7510 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4103693 1337528320 268233 33554432000 4194304 16246674 140735442655712 140206269242608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7510/tid=7513] ppid=7507 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7513/stat : 7513 (toysat) S 7507 7510 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4103693 1337528320 268233 33554432000 4194304 16246674 140735442655712 140206187474096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30038 s]
/proc/loadavg: 2.14 2.12 2.09 3/183 7514
/proc/meminfo: memFree=29384016/32872528 swapFree=496356/529060
[pid=7510] ppid=7507 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/7510/stat : 7510 (toysat) R 7507 7510 5955 0 -1 4202496 267400 0 0 0 594 35 0 0 20 0 4 0 4103693 1337528320 268240 33554432000 4194304 16246674 140735442655712 140735442638712 13820888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7510/statm: 326545 268240 789 2943 0 323439 0
[pid=7510/tid=7511] ppid=7507 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7511/stat : 7511 (toysat) S 7507 7510 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4103693 1337528320 268240 33554432000 4194304 16246674 140735442655712 140206279732464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7510/tid=7512] ppid=7507 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7512/stat : 7512 (toysat) S 7507 7510 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4103693 1337528320 268240 33554432000 4194304 16246674 140735442655712 140206269242608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7510/tid=7513] ppid=7507 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7513/stat : 7513 (toysat) S 7507 7510 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4103693 1337528320 268240 33554432000 4194304 16246674 140735442655712 140206187474096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.12 2.12 2.09 3/183 7514
/proc/meminfo: memFree=29383704/32872528 swapFree=496356/529060
[pid=7510] ppid=7507 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/7510/stat : 7510 (toysat) R 7507 7510 5955 0 -1 4202496 267426 0 0 0 1234 35 0 0 20 0 4 0 4103693 1337528320 268266 33554432000 4194304 16246674 140735442655712 140735442637632 13198369 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7510/statm: 326545 268266 789 2943 0 323439 0
[pid=7510/tid=7511] ppid=7507 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7511/stat : 7511 (toysat) S 7507 7510 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4103693 1337528320 268266 33554432000 4194304 16246674 140735442655712 140206279732464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7510/tid=7512] ppid=7507 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7512/stat : 7512 (toysat) S 7507 7510 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4103693 1337528320 268266 33554432000 4194304 16246674 140735442655712 140206269242608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7510/tid=7513] ppid=7507 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7513/stat : 7513 (toysat) S 7507 7510 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4103693 1337528320 268266 33554432000 4194304 16246674 140735442655712 140206187474096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5075 s]
/proc/loadavg: 2.10 2.11 2.09 3/183 7514
/proc/meminfo: memFree=29383992/32872528 swapFree=496356/529060
[pid=7510] ppid=7507 vsize=1306180 CPUtime=25.5 cores=1,3,5,7
/proc/7510/stat : 7510 (toysat) R 7507 7510 5955 0 -1 4202496 267466 0 0 0 2514 36 0 0 20 0 4 0 4103693 1337528320 268306 33554432000 4194304 16246674 140735442655712 140735442637632 6020976 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7510/statm: 326545 268306 789 2943 0 323439 0
[pid=7510/tid=7511] ppid=7507 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7511/stat : 7511 (toysat) S 7507 7510 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4103693 1337528320 268306 33554432000 4194304 16246674 140735442655712 140206279732464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7510/tid=7512] ppid=7507 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7512/stat : 7512 (toysat) S 7507 7510 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4103693 1337528320 268306 33554432000 4194304 16246674 140735442655712 140206269242608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7510/tid=7513] ppid=7507 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7513/stat : 7513 (toysat) S 7507 7510 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4103693 1337528320 268306 33554432000 4194304 16246674 140735442655712 140206187474096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1306180

[startup+51.1004 s]
/proc/loadavg: 2.22 2.14 2.10 3/183 7514
/proc/meminfo: memFree=29383500/32872528 swapFree=496356/529060
[pid=7510] ppid=7507 vsize=1306180 CPUtime=51.09 cores=1,3,5,7
/proc/7510/stat : 7510 (toysat) R 7507 7510 5955 0 -1 4202496 267569 0 0 0 5072 37 0 0 20 0 4 0 4103693 1337528320 268409 33554432000 4194304 16246674 140735442655712 140735442637632 5667777 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7510/statm: 326545 268409 791 2943 0 323439 0
[pid=7510/tid=7511] ppid=7507 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7511/stat : 7511 (toysat) S 7507 7510 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4103693 1337528320 268409 33554432000 4194304 16246674 140735442655712 140206279732464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7510/tid=7512] ppid=7507 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7512/stat : 7512 (toysat) S 7507 7510 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4103693 1337528320 268409 33554432000 4194304 16246674 140735442655712 140206269242608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7510/tid=7513] ppid=7507 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7513/stat : 7513 (toysat) S 7507 7510 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4103693 1337528320 268409 33554432000 4194304 16246674 140735442655712 140206187474096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.15 2.13 2.09 3/183 7516
/proc/meminfo: memFree=29383060/32872528 swapFree=496356/529060
[pid=7510] ppid=7507 vsize=1307204 CPUtime=102.27 cores=1,3,5,7
/proc/7510/stat : 7510 (toysat) R 7507 7510 5955 0 -1 4202496 267586 0 0 0 10188 39 0 0 20 0 4 0 4103693 1338576896 268426 33554432000 4194304 16246674 140735442655712 140735442637632 5661469 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7510/statm: 326801 268426 791 2943 0 323695 0
[pid=7510/tid=7511] ppid=7507 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7511/stat : 7511 (toysat) S 7507 7510 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4103693 1338576896 268426 33554432000 4194304 16246674 140735442655712 140206279732464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7510/tid=7512] ppid=7507 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7512/stat : 7512 (toysat) S 7507 7510 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4103693 1338576896 268426 33554432000 4194304 16246674 140735442655712 140206269242608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7510/tid=7513] ppid=7507 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7513/stat : 7513 (toysat) S 7507 7510 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4103693 1338576896 268426 33554432000 4194304 16246674 140735442655712 140206187474096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1307204

[startup+162.3 s]
/proc/loadavg: 2.13 2.13 2.09 3/183 7517
/proc/meminfo: memFree=29383288/32872528 swapFree=496356/529060
[pid=7510] ppid=7507 vsize=1307204 CPUtime=162.26 cores=1,3,5,7
/proc/7510/stat : 7510 (toysat) R 7507 7510 5955 0 -1 4202496 267587 0 0 0 16185 41 0 0 20 0 4 0 4103693 1338576896 268427 33554432000 4194304 16246674 140735442655712 140735442637632 13906976 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7510/statm: 326801 268427 791 2943 0 323695 0
[pid=7510/tid=7511] ppid=7507 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7511/stat : 7511 (toysat) S 7507 7510 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4103693 1338576896 268427 33554432000 4194304 16246674 140735442655712 140206279732464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7510/tid=7512] ppid=7507 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7512/stat : 7512 (toysat) S 7507 7510 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4103693 1338576896 268427 33554432000 4194304 16246674 140735442655712 140206269242608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7510/tid=7513] ppid=7507 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7513/stat : 7513 (toysat) S 7507 7510 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4103693 1338576896 268427 33554432000 4194304 16246674 140735442655712 140206187474096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1307204

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

[startup+179.3 s]
/proc/loadavg: 2.10 2.12 2.09 3/183 7517
/proc/meminfo: memFree=29383296/32872528 swapFree=496356/529060
[pid=7510] ppid=7507 vsize=1307204 CPUtime=179.26 cores=1,3,5,7
/proc/7510/stat : 7510 (toysat) R 7507 7510 5955 0 -1 4202496 267587 0 0 0 17884 42 0 0 20 0 4 0 4103693 1338576896 268427 33554432000 4194304 16246674 140735442655712 140735442637632 13191360 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7510/statm: 326801 268427 791 2943 0 323695 0
[pid=7510/tid=7511] ppid=7507 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7511/stat : 7511 (toysat) S 7507 7510 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4103693 1338576896 268427 33554432000 4194304 16246674 140735442655712 140206279732464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7510/tid=7512] ppid=7507 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7512/stat : 7512 (toysat) S 7507 7510 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4103693 1338576896 268427 33554432000 4194304 16246674 140735442655712 140206269242608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7510/tid=7513] ppid=7507 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7513/stat : 7513 (toysat) S 7507 7510 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4103693 1338576896 268427 33554432000 4194304 16246674 140735442655712 140206187474096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 179.26
Current children cumulated vsize (KiB) 1307204

[startup+192.1 s]
/proc/loadavg: 2.08 2.12 2.09 3/183 7518
/proc/meminfo: memFree=29383224/32872528 swapFree=496356/529060
[pid=7510] ppid=7507 vsize=1307204 CPUtime=192.07 cores=1,3,5,7
/proc/7510/stat : 7510 (toysat) R 7507 7510 5955 0 -1 4202496 267587 0 0 0 19164 43 0 0 20 0 4 0 4103693 1338576896 268427 33554432000 4194304 16246674 140735442655712 140735442637632 6000049 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7510/statm: 326801 268427 791 2943 0 323695 0
[pid=7510/tid=7511] ppid=7507 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7511/stat : 7511 (toysat) S 7507 7510 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4103693 1338576896 268427 33554432000 4194304 16246674 140735442655712 140206279732464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7510/tid=7512] ppid=7507 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7512/stat : 7512 (toysat) S 7507 7510 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4103693 1338576896 268427 33554432000 4194304 16246674 140735442655712 140206269242608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7510/tid=7513] ppid=7507 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7513/stat : 7513 (toysat) S 7507 7510 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4103693 1338576896 268427 33554432000 4194304 16246674 140735442655712 140206187474096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 192.07
Current children cumulated vsize (KiB) 1307204

[startup+198.5 s]
/proc/loadavg: 2.07 2.11 2.09 4/183 7518
/proc/meminfo: memFree=29383028/32872528 swapFree=496356/529060
[pid=7510] ppid=7507 vsize=1307204 CPUtime=198.46 cores=1,3,5,7
/proc/7510/stat : 7510 (toysat) R 7507 7510 5955 0 -1 4202496 267656 0 0 0 19803 43 0 0 20 0 4 0 4103693 1338576896 268496 33554432000 4194304 16246674 140735442655712 140735442638712 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7510/statm: 326801 268496 791 2943 0 323695 0
[pid=7510/tid=7511] ppid=7507 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7511/stat : 7511 (toysat) S 7507 7510 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4103693 1338576896 268496 33554432000 4194304 16246674 140735442655712 140206279732464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7510/tid=7512] ppid=7507 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7512/stat : 7512 (toysat) S 7507 7510 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4103693 1338576896 268496 33554432000 4194304 16246674 140735442655712 140206269242608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7510/tid=7513] ppid=7507 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7513/stat : 7513 (toysat) S 7507 7510 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4103693 1338576896 268496 33554432000 4194304 16246674 140735442655712 140206187474096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 198.46
Current children cumulated vsize (KiB) 1307204

[startup+204.9 s]
/proc/loadavg: 2.07 2.11 2.09 3/183 7518
/proc/meminfo: memFree=29382904/32872528 swapFree=496356/529060
[pid=7510] ppid=7507 vsize=1307204 CPUtime=204.86 cores=1,3,5,7
/proc/7510/stat : 7510 (toysat) R 7507 7510 5955 0 -1 4202496 267687 0 0 0 20443 43 0 0 20 0 4 0 4103693 1338576896 268527 33554432000 4194304 16246674 140735442655712 140735442637632 5721628 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7510/statm: 326801 268527 791 2943 0 323695 0
[pid=7510/tid=7511] ppid=7507 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7511/stat : 7511 (toysat) S 7507 7510 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4103693 1338576896 268527 33554432000 4194304 16246674 140735442655712 140206279732464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7510/tid=7512] ppid=7507 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7512/stat : 7512 (toysat) S 7507 7510 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4103693 1338576896 268527 33554432000 4194304 16246674 140735442655712 140206269242608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7510/tid=7513] ppid=7507 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7513/stat : 7513 (toysat) S 7507 7510 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4103693 1338576896 268527 33554432000 4194304 16246674 140735442655712 140206187474096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 204.86
Current children cumulated vsize (KiB) 1307204

[startup+208.107 s]
/proc/loadavg: 2.06 2.11 2.09 3/183 7518
/proc/meminfo: memFree=29383028/32872528 swapFree=496356/529060
[pid=7510] ppid=7507 vsize=1307204 CPUtime=208.07 cores=1,3,5,7
/proc/7510/stat : 7510 (toysat) R 7507 7510 5955 0 -1 4202496 267687 0 0 0 20764 43 0 0 20 0 4 0 4103693 1338576896 268527 33554432000 4194304 16246674 140735442655712 140735442637632 5706752 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7510/statm: 326801 268527 791 2943 0 323695 0
[pid=7510/tid=7511] ppid=7507 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7511/stat : 7511 (toysat) S 7507 7510 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4103693 1338576896 268527 33554432000 4194304 16246674 140735442655712 140206279732464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7510/tid=7512] ppid=7507 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7512/stat : 7512 (toysat) S 7507 7510 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4103693 1338576896 268527 33554432000 4194304 16246674 140735442655712 140206269242608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7510/tid=7513] ppid=7507 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7513/stat : 7513 (toysat) S 7507 7510 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4103693 1338576896 268527 33554432000 4194304 16246674 140735442655712 140206187474096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 208.07
Current children cumulated vsize (KiB) 1307204

[startup+209.7 s]
/proc/loadavg: 2.06 2.11 2.09 3/183 7518
/proc/meminfo: memFree=29383028/32872528 swapFree=496356/529060
[pid=7510] ppid=7507 vsize=1307204 CPUtime=209.66 cores=1,3,5,7
/proc/7510/stat : 7510 (toysat) R 7507 7510 5955 0 -1 4202496 267687 0 0 0 20923 43 0 0 20 0 4 0 4103693 1338576896 268527 33554432000 4194304 16246674 140735442655712 140735442637632 5727031 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7510/statm: 326801 268527 791 2943 0 323695 0
[pid=7510/tid=7511] ppid=7507 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7511/stat : 7511 (toysat) S 7507 7510 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4103693 1338576896 268527 33554432000 4194304 16246674 140735442655712 140206279732464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7510/tid=7512] ppid=7507 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7512/stat : 7512 (toysat) S 7507 7510 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4103693 1338576896 268527 33554432000 4194304 16246674 140735442655712 140206269242608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7510/tid=7513] ppid=7507 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7513/stat : 7513 (toysat) S 7507 7510 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4103693 1338576896 268527 33554432000 4194304 16246674 140735442655712 140206187474096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 209.66
Current children cumulated vsize (KiB) 1307204

[startup+210.5 s]
/proc/loadavg: 2.06 2.11 2.09 3/183 7518
/proc/meminfo: memFree=29383028/32872528 swapFree=496356/529060
[pid=7510] ppid=7507 vsize=1307204 CPUtime=210.46 cores=1,3,5,7
/proc/7510/stat : 7510 (toysat) R 7507 7510 5955 0 -1 4202496 267687 0 0 0 21003 43 0 0 20 0 4 0 4103693 1338576896 268527 33554432000 4194304 16246674 140735442655712 140735442637632 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7510/statm: 326801 268527 791 2943 0 323695 0
[pid=7510/tid=7511] ppid=7507 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7511/stat : 7511 (toysat) S 7507 7510 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4103693 1338576896 268527 33554432000 4194304 16246674 140735442655712 140206279732464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7510/tid=7512] ppid=7507 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7512/stat : 7512 (toysat) S 7507 7510 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4103693 1338576896 268527 33554432000 4194304 16246674 140735442655712 140206269242608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7510/tid=7513] ppid=7507 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7510/task/7513/stat : 7513 (toysat) S 7507 7510 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4103693 1338576896 268527 33554432000 4194304 16246674 140735442655712 140206187474096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 210.46
Current children cumulated vsize (KiB) 1307204

[startup+210.7 s]
/proc/loadavg: 2.06 2.11 2.09 3/183 7518
/proc/meminfo: memFree=29383028/32872528 swapFree=496356/529060
[pid=7510] ppid=7507 vsize=0 CPUtime=210.66 cores=1,3,5,7
/proc/7510/stat : 7510 (toysat) R 7507 7510 5955 0 -1 4202500 267692 0 0 0 21018 48 0 0 20 0 1 0 4103693 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7510/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 210.66
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 210.712
CPU time (s): 210.68
CPU user time (s): 210.186
CPU system time (s): 0.493924
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 210.186
system time used= 0.493924
maximum resident set size= 1074120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267692
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= 22
involuntary context switches= 217

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.560914 second user time and 0.78688 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-15 21:56:23
IDJOB=4089050
IDBENCH=107351
IDSOLVER=2542
FILE ID=node141/4089050-1466020583
RUNJOBID= node141-1466008015-5972
PBS_JOBID= 19902806
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/vertexcover-instances/normalized-vertexcover-grid6x13.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089050-1466020583/watcher-4089050-1466020583 -o /tmp/evaluation-result-4089050-1466020583/solver-4089050-1466020583 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5972 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089050-1466020583.opb

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

MD5SUM BENCH= defa63478cc6f1503c5a314a051a74b7
RANDOM SEED=1690101996

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30457480 kB
Buffers:           21976 kB
Cached:            74384 kB
SwapCached:        13072 kB
Active:          1138372 kB
Inactive:          47724 kB
Active(anon):    1080076 kB
Inactive(anon):    12008 kB
Active(file):      58296 kB
Inactive(file):    35716 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67088056 kB
Dirty:             16536 kB
Writeback:             0 kB
AnonPages:       1606788 kB
Mapped:            10324 kB
Shmem:                 0 kB
Slab:             567048 kB
SReclaimable:      10624 kB
SUnreclaim:       556424 kB
KernelStack:        1480 kB
PageTables:         7300 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1749888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1103872 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= 71716 MiB
End job on node141 at 2016-06-15 21:59:53