Trace number 4122706

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 212.634 212.693

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n80-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
MD5SUM904dea184415f955fff55e4b1f07da06
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 benchmark2.57661
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables120
Total number of constraints320
Number of constraints which are clauses320
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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-30T22:10:12+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-4122706-1467317412.opb"]
0.00/0.01	c use --random-gen="3589121229 2004109019 354527941 3298338684 2569676862 3988441761 3970339632 3602266463 3859898178 3691841288 783815723 3320512517 3075338552 1204427623 865695550 3123795367 1486803728 521622234 1469034691 2304061309 3342399885 3014444043 3828905113 4278205314 3842337259 1154714474 863273830 294189912 3546505976 1920774974 14063453 319005267 2839444397 1428217172 2783262182 1399359692 1707407691 3726779491 200218449 183247028 2995724948 2518996560 2326288210 3162637700 247969771 3783117730 3053851765 215776528 3769323005 1165486742 1763361032 3294936385 1039997065 20169422 4049163463 2729215751 1411389565 3205130619 913728484 563005260 1445801347 2375650437 3399551303 2451350376 470311781 3355686198 946695029 1312374563 2836865563 3416149083 1735500704 1723993812 9136226 25004881 1727509155 3133040754 1835753992 2616068208 1609397103 1269701567 256284560 1638547072 1234574831 2278950941 3233800794 3538580160 2052327707 3587224666 3999056332 2177304919 2083274380 1998000292 234849541 262192164 1756734602 419106301 3545429787 4257331333 557191430 3117967155 2549662377 1130027038 3852879393 2339328627 2398823527 1022062614 2569835754 2679441595 3736528047 329950310 3739363372 356786040 3467336607 929295662 1967623594 107865898 3002550978 2155354949 2218970171 565992431 195783191 3895967443 1193977273 920014920 4157361288 1984624193 2211504850 666579940 1314368995 137201103 1147895762 1665057755 450221533 3998915472 3970160293 3841593804 2876245714 4069722685 1771585118 2497757620 4249791813 2560629847 338416510 905904975 2534288349 1178967685 899458090 3883991360 4144762167 2407107460 3714075970 3303607376 4098790042 1532488002 3493933619 1196309222 3713391836 1253605705 1637896558 763949621 4184282245 4048532109 716513229 968133490 3742434738 568003699 2900911602 119098714 4116676611 3888636145 3225514273 3440934414 2026207619 1601429179 3038791635 1962932095 3398059826 552259023 56287095 1724496062 2769639570 902370645 1708194821 1080346950 1616127887 374415946 2544253300 2916462042 1155285941 1159666577 485146407 1051056813 1779154156 1755563145 1015632046 1971719682 1092096217 1514557252 478087871 3020285441 2191407957 1688070961 1223245622 243302946 1806678463 844048718 3320069469 1632146218 1682836574 1469320996 2297757950 2856469946 4292932347 144207390 1716360693 1225903335 3388107277 24068423 3768349687 3488796328 3839606999 622617600 931195604 4272749358 1509094310 2099618679 2928124753 2581520359 678197995 167353313 4143523652 2919510848 3245625044 3225026282 923520697 3845000547 296808434 2275974453 1553527578 53851189 1207403554 3901958018 3418216243 4038750576 2266037830 3314353205 3684632954 1383255920 4142931005 3205231464 4205521508 781370687 2472634160 2614429657 967441788 165715935 255 362436" option to reproduce the execution
0.00/0.01	c #vars 120
0.00/0.01	c #constraints 320
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      146      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      193 |      100 |      146      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      427 |      250 |      161      1 |        0 |        0
0.00/0.06	c  0.0s |       3 |      802 |      475 |      178      2 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1227 |      813 |      196      5 |        0 |        0
0.09/0.14	c  0.1s |       5 |     1958 |     1320 |      216      9 |        0 |        0
0.19/0.21	c  0.2s |       6 |     2845 |     2081 |      262     15 |        0 |        0
0.29/0.33	c  0.3s |       7 |     4444 |     3223 |      289     23 |        0 |        0
0.39/0.49	c  0.5s |       8 |     6552 |     4936 |      318     34 |        0 |        0
0.69/0.71	c  0.7s |       9 |    10364 |     7506 |      350     49 |        0 |        0
0.99/1.05	c  1.0s |      10 |    15637 |    11361 |      386     69 |        0 |        0
1.39/1.43	c  1.4s |      11 |    23338 |    17144 |      425     98 |        0 |        0
1.99/2.03	c  2.0s |      12 |    34415 |    25819 |      468    137 |        0 |        0
2.79/2.84	c  2.8s |      13 |    51847 |    38832 |      515    191 |        0 |        0
3.99/4.08	c  4.1s |      14 |    77991 |    58352 |      567    264 |        0 |        0
5.99/6.08	c  6.1s |      14 |   118938 |    87452 |      624    364 |        0 |        0
6.09/6.10	c  6.1s |      15 |   119202 |    87632 |      624    364 |        0 |        0
8.08/8.10	c  8.1s |      15 |   155810 |   116332 |      624    454 |        0 |        0
9.08/9.13	c  9.1s |      16 |   175678 |   131552 |      687    501 |        0 |        0
11.09/11.14	c 11.1s |      16 |   207542 |   157552 |      687    575 |        0 |        0
13.09/13.14	c 13.1s |      16 |   246473 |   187352 |      687    661 |        0 |        0
13.79/13.81	c 13.8s |      17 |   260402 |   197432 |      756    689 |        0 |        0
15.79/15.82	c 15.8s |      17 |   307724 |   230532 |      756    775 |        0 |        0
17.79/17.82	c 17.8s |      17 |   354283 |   263832 |      756    862 |        0 |        0
19.79/19.82	c 19.8s |      17 |   397011 |   295732 |      832    945 |        0 |        0
19.79/19.85	c 19.8s |      18 |   397695 |   296252 |      832    946 |        0 |        0
21.79/21.85	c 21.8s |      18 |   427975 |   320952 |      832   1004 |        0 |        0
23.78/23.85	c 23.8s |      18 |   460207 |   346252 |      832   1064 |        0 |        0
25.78/25.86	c 25.8s |      18 |   494797 |   372952 |      832   1127 |        0 |        0
27.78/27.86	c 27.8s |      18 |   533869 |   402352 |      832   1197 |        0 |        0
29.79/29.87	c 29.9s |      18 |   574242 |   432352 |      832   1269 |        0 |        0
30.68/30.78	c 30.8s |      19 |   589838 |   444482 |      916   1297 |        0 |        0
32.68/32.78	c 32.8s |      19 |   626539 |   471782 |      916   1355 |        0 |        0
34.68/34.78	c 34.8s |      19 |   663699 |   500182 |      916   1417 |        0 |        0
36.68/36.79	c 36.8s |      19 |   697798 |   527282 |      916   1475 |        0 |        0
38.68/38.79	c 38.8s |      19 |   731446 |   553782 |      916   1532 |        0 |        0
40.69/40.80	c 40.8s |      19 |   764674 |   579182 |      916   1587 |        0 |        0
42.79/42.80	c 42.8s |      19 |   798194 |   605682 |      916   1644 |        0 |        0
44.79/44.80	c 44.8s |      19 |   835741 |   633682 |      916   1704 |        0 |        0
46.79/46.80	c 46.8s |      19 |   871776 |   661082 |      916   1764 |        0 |        0
47.19/47.23	c 47.2s |      20 |   879236 |   666827 |     1008   1775 |        0 |        0
49.19/49.23	c 49.2s |      20 |   914441 |   692627 |     1008   1826 |        0 |        0
51.19/51.24	c 51.2s |      20 |   949447 |   719027 |     1008   1878 |        0 |        0
53.18/53.24	c 53.2s |      20 |   985937 |   745927 |     1008   1931 |        0 |        0
55.18/55.24	c 55.2s |      20 |  1020749 |   772527 |     1008   1983 |        0 |        0
57.19/57.25	c 57.2s |      20 |  1058867 |   800227 |     1008   2037 |        0 |        0
59.18/59.25	c 59.2s |      20 |  1095948 |   827227 |     1008   2091 |        0 |        0
61.18/61.25	c 61.2s |      20 |  1133405 |   854627 |     1008   2144 |        0 |        0
63.18/63.25	c 63.2s |      20 |  1170294 |   881027 |     1008   2196 |        0 |        0
65.18/65.26	c 65.2s |      20 |  1207464 |   908527 |     1008   2251 |        0 |        0
67.18/67.26	c 67.2s |      20 |  1247785 |   937127 |     1008   2307 |        0 |        0
69.18/69.27	c 69.3s |      20 |  1287548 |   965727 |     1008   2364 |        0 |        0
71.17/71.27	c 71.3s |      20 |  1328378 |   994527 |     1109   2420 |        0 |        0
71.67/71.74	c 71.7s |      21 |  1337196 |  1000345 |     1109   2430 |        0 |        0
73.68/73.74	c 73.7s |      21 |  1377877 |  1028645 |     1109   2481 |        0 |        0
75.67/75.75	c 75.7s |      21 |  1420501 |  1058345 |     1109   2534 |        0 |        0
77.68/77.75	c 77.7s |      21 |  1461065 |  1087145 |     1109   2586 |        0 |        0
79.68/79.75	c 79.7s |      21 |  1496922 |  1113345 |     1109   2633 |        0 |        0
81.68/81.76	c 81.7s |      21 |  1532120 |  1138845 |     1109   2678 |        0 |        0
83.68/83.76	c 83.7s |      21 |  1568844 |  1164845 |     1109   2725 |        0 |        0
85.67/85.76	c 85.7s |      21 |  1606472 |  1191445 |     1109   2773 |        0 |        0
87.67/87.77	c 87.8s |      21 |  1642429 |  1218245 |     1109   2821 |        0 |        0
89.67/89.77	c 89.8s |      21 |  1680485 |  1245545 |     1109   2870 |        0 |        0
91.67/91.77	c 91.8s |      21 |  1718969 |  1273645 |     1109   2920 |        0 |        0
93.67/93.78	c 93.8s |      21 |  1756369 |  1301245 |     1109   2970 |        0 |        0
95.67/95.78	c 95.8s |      21 |  1793280 |  1328045 |     1109   3018 |        0 |        0
97.67/97.79	c 97.8s |      21 |  1834278 |  1357345 |     1109   3070 |        0 |        0
99.66/99.79	c 99.8s |      21 |  1872244 |  1385245 |     1109   3120 |        0 |        0
101.67/101.80	c  101s |      21 |  1911692 |  1413745 |     1109   3171 |        0 |        0
103.77/103.80	c  103s |      21 |  1946429 |  1440345 |     1109   3219 |        0 |        0
105.77/105.81	c  105s |      21 |  1983836 |  1467745 |     1109   3268 |        0 |        0
107.78/107.82	c  107s |      21 |  2023462 |  1496445 |     1220   3319 |        0 |        0
108.07/108.10	c  108s |      22 |  2029098 |  1500622 |     1220   3325 |        0 |        0
109.97/110.10	c  110s |      22 |  2064973 |  1528322 |     1220   3371 |        0 |        0
112.06/112.10	c  112s |      22 |  2103268 |  1555722 |     1220   3415 |        0 |        0
114.06/114.10	c  114s |      22 |  2141054 |  1583022 |     1220   3460 |        0 |        0
116.06/116.11	c  116s |      22 |  2176784 |  1609522 |     1220   3503 |        0 |        0
118.06/118.11	c  118s |      22 |  2214067 |  1635722 |     1220   3546 |        0 |        0
120.06/120.11	c  120s |      22 |  2252593 |  1663822 |     1220   3592 |        0 |        0
122.07/122.11	c  122s |      22 |  2288133 |  1691022 |     1220   3636 |        0 |        0
124.06/124.12	c  124s |      22 |  2323908 |  1717622 |     1220   3680 |        0 |        0
126.06/126.12	c  126s |      22 |  2362107 |  1745722 |     1220   3726 |        0 |        0
128.06/128.13	c  128s |      22 |  2402035 |  1774122 |     1220   3772 |        0 |        0
130.06/130.13	c  130s |      22 |  2437780 |  1800322 |     1220   3815 |        0 |        0
132.06/132.14	c  132s |      22 |  2476712 |  1827322 |     1220   3859 |        0 |        0
134.05/134.14	c  134s |      22 |  2516669 |  1855522 |     1220   3904 |        0 |        0
136.05/136.15	c  136s |      22 |  2551902 |  1881922 |     1220   3947 |        0 |        0
138.05/138.15	c  138s |      22 |  2591327 |  1910122 |     1220   3993 |        0 |        0
140.05/140.15	c  140s |      22 |  2630818 |  1938622 |     1220   4040 |        0 |        0
142.06/142.16	c  142s |      22 |  2667606 |  1965922 |     1220   4084 |        0 |        0
144.07/144.17	c  144s |      22 |  2697497 |  1989522 |     1220   4123 |        0 |        0
146.06/146.17	c  146s |      22 |  2733202 |  2015422 |     1220   4165 |        0 |        0
148.06/148.18	c  148s |      22 |  2766577 |  2040322 |     1220   4206 |        0 |        0
150.06/150.18	c  150s |      22 |  2803890 |  2067522 |     1220   4250 |        0 |        0
152.05/152.18	c  152s |      22 |  2839928 |  2094622 |     1220   4294 |        0 |        0
154.06/154.19	c  154s |      22 |  2878725 |  2123022 |     1220   4340 |        0 |        0
156.05/156.19	c  156s |      22 |  2912536 |  2149922 |     1220   4384 |        0 |        0
158.05/158.19	c  158s |      22 |  2946431 |  2175622 |     1220   4426 |        0 |        0
160.05/160.20	c  160s |      22 |  2988124 |  2204822 |     1220   4473 |        0 |        0
162.15/162.20	c  162s |      22 |  3021808 |  2229522 |     1220   4512 |        1 |        4
164.05/164.10	c  164s |      23 |  3050177 |  2251038 |     1342   4545 |        1 |        4
166.05/166.10	c  166s |      23 |  3083815 |  2276338 |     1342   4582 |        1 |        4
168.05/168.11	c  168s |      23 |  3117933 |  2302138 |     1342   4620 |        1 |        4
170.05/170.11	c  170s |      23 |  3151300 |  2327538 |     1342   4658 |        1 |        4
172.05/172.12	c  172s |      23 |  3186212 |  2353638 |     1342   4696 |        1 |        4
174.05/174.12	c  174s |      23 |  3223803 |  2380338 |     1342   4736 |        1 |        4
176.05/176.12	c  176s |      23 |  3259553 |  2406538 |     1342   4775 |        1 |        4
178.05/178.12	c  178s |      23 |  3296705 |  2433038 |     1342   4814 |        1 |        4
180.05/180.14	c  180s |      23 |  3332274 |  2459138 |     1342   4853 |        1 |        4
182.05/182.14	c  182s |      23 |  3367915 |  2486038 |     1342   4892 |        1 |        4
184.05/184.14	c  184s |      23 |  3407461 |  2514438 |     1342   4935 |        1 |        4
186.04/186.15	c  186s |      23 |  3442418 |  2541438 |     1342   4974 |        1 |        4
188.05/188.16	c  188s |      23 |  3478169 |  2568038 |     1342   5013 |        2 |        8
190.04/190.16	c  190s |      23 |  3502350 |  2589338 |     1342   5045 |        2 |        8
192.04/192.17	c  192s |      23 |  3531286 |  2612938 |     1342   5080 |        2 |        8
194.04/194.17	c  194s |      23 |  3566200 |  2639738 |     1342   5119 |        2 |        8
196.04/196.18	c  196s |      23 |  3601101 |  2665538 |     1342   5158 |        2 |        8
198.04/198.18	c  198s |      23 |  3636857 |  2691738 |     1342   5196 |        2 |        8
200.03/200.18	c  200s |      23 |  3673128 |  2718838 |     1342   5237 |        2 |        8
202.03/202.19	c  202s |      23 |  3711389 |  2745938 |     1342   5277 |        2 |        8
204.04/204.19	c  204s |      23 |  3745291 |  2772238 |     1342   5315 |        3 |       12
206.04/206.19	c  206s |      23 |  3781233 |  2799238 |     1342   5355 |        3 |       12
208.04/208.19	c  208s |      23 |  3817398 |  2825938 |     1342   5394 |        3 |       12
210.04/210.19	c  210s |      23 |  3851790 |  2852238 |     1342   5432 |        4 |       16
212.13/212.20	c  212s |      23 |  3888595 |  2880338 |     1342   5473 |        5 |       20
212.53/212.65	c  212s |      23 |  3897825 |  2887142 |     1342   5480 |       27 |       64
212.53/212.65	c #cpu_time = 212.060s
212.53/212.65	c #wall_clock_time = 212.630s
212.53/212.65	c #decision = 3897825
212.53/212.65	c #random_decision = 18752
212.53/212.65	c #conflict = 2887142
212.53/212.65	c #restart = 23
212.53/212.65	s UNSATISFIABLE
212.53/212.65	c total CPU time = 212.079s
212.53/212.65	c total wall clock time = 212.648s

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

pid=13384
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.26 2.21 2.13 3/180 13387
/proc/meminfo: memFree=29340732/32872528 swapFree=1102192/1183952
[pid=13387] ppid=13384 vsize=756156 CPUtime=0 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 11495 0 -1 4202496 2824 0 0 0 0 0 0 0 20 0 4 0 10770441 774303744 3186 33554432000 4194304 16246674 140736391135952 140736391135376 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 189551 3196 441 2943 0 186445 0
[pid=13387/tid=13388] ppid=13384 vsize=773564 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10770441 792129536 3256 33554432000 4194304 16246674 140736391135952 140595066547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=777660 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10770441 796323840 3273 33554432000 4194304 16246674 140736391135952 140595056057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=781756 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10770441 800518144 3289 33554432000 4194304 16246674 140736391135952 140595045584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.26 2.21 2.13 3/180 13387
/proc/meminfo: memFree=29340732/32872528 swapFree=1102192/1183952
[pid=13387] ppid=13384 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 11495 0 -1 4202496 25879 0 0 0 5 4 0 0 20 0 4 0 10770441 1247350784 26230 33554432000 4194304 16246674 140736391135952 140736391135376 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 304529 26242 709 2943 0 301423 0
[pid=13387/tid=13388] ppid=13384 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10770441 1247350784 26249 33554432000 4194304 16246674 140736391135952 140595066547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10770441 1247350784 26258 33554432000 4194304 16246674 140736391135952 140595056057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10770441 1247350784 26264 33554432000 4194304 16246674 140736391135952 140595045584048 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.200511 s]
/proc/loadavg: 2.26 2.21 2.13 3/180 13387
/proc/meminfo: memFree=29340732/32872528 swapFree=1102192/1183952
[pid=13387] ppid=13384 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 11495 0 -1 4202496 50546 0 0 0 11 8 0 0 20 0 4 0 10770441 1247350784 50896 33554432000 4194304 16246674 140736391135952 140736391135376 13954410 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 304529 50906 710 2943 0 301423 0
[pid=13387/tid=13388] ppid=13384 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10770441 1247350784 50911 33554432000 4194304 16246674 140736391135952 140595066547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10770441 1247350784 50917 33554432000 4194304 16246674 140736391135952 140595056057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10770441 1247350784 50922 33554432000 4194304 16246674 140736391135952 140595045584048 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.300432 s]
/proc/loadavg: 2.26 2.21 2.13 3/180 13387
/proc/meminfo: memFree=29340732/32872528 swapFree=1102192/1183952
[pid=13387] ppid=13384 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 11495 0 -1 4202496 74263 0 0 0 17 12 0 0 20 0 4 0 10770441 1247350784 74613 33554432000 4194304 16246674 140736391135952 140736391118952 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 304529 74623 710 2943 0 301423 0
[pid=13387/tid=13388] ppid=13384 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10770441 1247350784 74631 33554432000 4194304 16246674 140736391135952 140595066547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10770441 1247350784 74640 33554432000 4194304 16246674 140736391135952 140595056057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10770441 1247350784 74646 33554432000 4194304 16246674 140736391135952 140595045584048 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.700409 s]
/proc/loadavg: 2.26 2.21 2.13 3/180 13387
/proc/meminfo: memFree=29340732/32872528 swapFree=1102192/1183952
[pid=13387] ppid=13384 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 11495 0 -1 4202496 168533 0 0 0 45 24 0 0 20 0 4 0 10770441 1247350784 168884 33554432000 4194304 16246674 140736391135952 140736391118952 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 304529 168896 710 2943 0 301423 0
[pid=13387/tid=13388] ppid=13384 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10770441 1247350784 168905 33554432000 4194304 16246674 140736391135952 140595066547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10770441 1247350784 168913 33554432000 4194304 16246674 140736391135952 140595056057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10770441 1247350784 168920 33554432000 4194304 16246674 140736391135952 140595045584048 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.50036 s]
/proc/loadavg: 2.26 2.21 2.13 3/184 13391
/proc/meminfo: memFree=28357928/32872528 swapFree=1102192/1183952
[pid=13387] ppid=13384 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 11495 0 -1 4202496 245578 0 0 0 114 35 0 0 20 0 4 0 10770441 1248399360 245908 33554432000 4194304 16246674 140736391135952 140736391117824 13950218 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 304785 245908 788 2943 0 301679 0
[pid=13387/tid=13388] ppid=13384 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10770441 1248399360 245908 33554432000 4194304 16246674 140736391135952 140595066547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10770441 1248399360 245908 33554432000 4194304 16246674 140736391135952 140595056057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10770441 1248399360 245908 33554432000 4194304 16246674 140736391135952 140595045584048 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) 1219140

[startup+3.10037 s]
/proc/loadavg: 2.40 2.24 2.14 4/184 13391
/proc/meminfo: memFree=28271812/32872528 swapFree=1102192/1183952
[pid=13387] ppid=13384 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 11495 0 -1 4202496 267386 0 0 0 270 39 0 0 20 0 4 0 10770441 1337528320 267716 33554432000 4194304 16246674 140736391135952 140736391118952 5652797 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 326545 267716 788 2943 0 323439 0
[pid=13387/tid=13388] ppid=13384 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10770441 1337528320 267716 33554432000 4194304 16246674 140736391135952 140595066547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10770441 1337528320 267716 33554432000 4194304 16246674 140736391135952 140595056057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10770441 1337528320 267716 33554432000 4194304 16246674 140736391135952 140595045584048 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.30041 s]
/proc/loadavg: 2.40 2.24 2.14 3/184 13391
/proc/meminfo: memFree=28271496/32872528 swapFree=1102192/1183952
[pid=13387] ppid=13384 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 11495 0 -1 4202496 267552 0 0 0 590 39 0 0 20 0 4 0 10770441 1337528320 267882 33554432000 4194304 16246674 140736391135952 140736391118952 5754517 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 326545 267882 788 2943 0 323439 0
[pid=13387/tid=13388] ppid=13384 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10770441 1337528320 267882 33554432000 4194304 16246674 140736391135952 140595066547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10770441 1337528320 267882 33554432000 4194304 16246674 140736391135952 140595056057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10770441 1337528320 267882 33554432000 4194304 16246674 140736391135952 140595045584048 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.37 2.23 2.14 3/184 13391
/proc/meminfo: memFree=28271436/32872528 swapFree=1102192/1183952
[pid=13387] ppid=13384 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 11495 0 -1 4202496 267558 0 0 0 1229 40 0 0 20 0 4 0 10770441 1337528320 267888 33554432000 4194304 16246674 140736391135952 140736391118952 5823737 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 326545 267888 788 2943 0 323439 0
[pid=13387/tid=13388] ppid=13384 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10770441 1337528320 267888 33554432000 4194304 16246674 140736391135952 140595066547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10770441 1337528320 267888 33554432000 4194304 16246674 140736391135952 140595056057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10770441 1337528320 267888 33554432000 4194304 16246674 140736391135952 140595045584048 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.5005 s]
/proc/loadavg: 2.36 2.24 2.14 3/184 13391
/proc/meminfo: memFree=28271248/32872528 swapFree=1102192/1183952
[pid=13387] ppid=13384 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 11495 0 -1 4202496 267559 0 0 0 2508 40 0 0 20 0 4 0 10770441 1337528320 267888 33554432000 4194304 16246674 140736391135952 140736391118952 5827988 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 326545 267888 788 2943 0 323439 0
[pid=13387/tid=13388] ppid=13384 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10770441 1337528320 267888 33554432000 4194304 16246674 140736391135952 140595066547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10770441 1337528320 267888 33554432000 4194304 16246674 140736391135952 140595056057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10770441 1337528320 267888 33554432000 4194304 16246674 140736391135952 140595045584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.32 2.23 2.14 4/183 13391
/proc/meminfo: memFree=28270976/32872528 swapFree=1102192/1183952
[pid=13387] ppid=13384 vsize=1307204 CPUtime=51.09 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 11495 0 -1 4202496 267802 0 0 0 5068 41 0 0 20 0 4 0 10770441 1338576896 268129 33554432000 4194304 16246674 140736391135952 140736391117824 5723096 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 326801 268129 789 2943 0 323695 0
[pid=13387/tid=13388] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10770441 1338576896 268129 33554432000 4194304 16246674 140736391135952 140595066547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10770441 1338576896 268129 33554432000 4194304 16246674 140736391135952 140595056057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10770441 1338576896 268129 33554432000 4194304 16246674 140736391135952 140595045584048 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) 1307204

[startup+102.301 s]
/proc/loadavg: 2.19 2.21 2.14 3/183 13441
/proc/meminfo: memFree=28282496/32872528 swapFree=1102192/1183952
[pid=13387] ppid=13384 vsize=1307204 CPUtime=102.28 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 11495 0 -1 4202496 267843 0 0 0 10185 43 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140736391117824 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 326801 268160 791 2943 0 323695 0
[pid=13387/tid=13388] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140595066547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140595056057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140595045584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204

[startup+162.3 s]
/proc/loadavg: 2.12 2.18 2.13 3/183 13443
/proc/meminfo: memFree=28281968/32872528 swapFree=1102192/1183952
[pid=13387] ppid=13384 vsize=1307204 CPUtime=162.25 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 11495 0 -1 4202496 267855 0 0 0 16181 44 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140736391117824 12477874 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 326801 268160 791 2943 0 323695 0
[pid=13387/tid=13388] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140595066547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140595056057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140595045584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1307204

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

[startup+179.2 s]
/proc/loadavg: 2.08 2.17 2.13 3/183 13443
/proc/meminfo: memFree=28281676/32872528 swapFree=1102192/1183952
[pid=13387] ppid=13384 vsize=1307204 CPUtime=179.15 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 11495 0 -1 4202496 267862 0 0 0 17870 45 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140736391117824 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 326801 268160 791 2943 0 323695 0
[pid=13387/tid=13388] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140595066547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140595056057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140595045584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 179.15
Current children cumulated vsize (KiB) 1307204

[startup+192 s]
/proc/loadavg: 2.15 2.18 2.13 3/183 13443
/proc/meminfo: memFree=28281784/32872528 swapFree=1102192/1183952
[pid=13387] ppid=13384 vsize=1307204 CPUtime=191.94 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 11495 0 -1 4202496 267862 0 0 0 19149 45 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140736391117824 5672209 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 326801 268160 791 2943 0 323695 0
[pid=13387/tid=13388] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140595066547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140595056057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140595045584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 191.94
Current children cumulated vsize (KiB) 1307204

[startup+204.8 s]
/proc/loadavg: 2.19 2.19 2.14 3/183 13443
/proc/meminfo: memFree=28281256/32872528 swapFree=1102192/1183952
[pid=13387] ppid=13384 vsize=1307204 CPUtime=204.74 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 11495 0 -1 4202496 267869 0 0 0 20428 46 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140736391117824 5808388 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 326801 268160 791 2943 0 323695 0
[pid=13387/tid=13388] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140595066547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140595056057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140595045584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 204.74
Current children cumulated vsize (KiB) 1307204

[startup+208.007 s]
/proc/loadavg: 2.18 2.18 2.14 3/183 13443
/proc/meminfo: memFree=28281256/32872528 swapFree=1102192/1183952
[pid=13387] ppid=13384 vsize=1307204 CPUtime=207.94 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 11495 0 -1 4202496 267869 0 0 0 20748 46 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140736391118952 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 326801 268160 791 2943 0 323695 0
[pid=13387/tid=13388] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140595066547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140595056057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140595045584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 207.94
Current children cumulated vsize (KiB) 1307204

[startup+211.2 s]
/proc/loadavg: 2.18 2.18 2.14 3/183 13443
/proc/meminfo: memFree=28281380/32872528 swapFree=1102192/1183952
[pid=13387] ppid=13384 vsize=1307204 CPUtime=211.14 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 11495 0 -1 4202496 267869 0 0 0 21068 46 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140736391118952 5754796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 326801 268160 791 2943 0 323695 0
[pid=13387/tid=13388] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140595066547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140595056057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140595045584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 211.14
Current children cumulated vsize (KiB) 1307204

[startup+212 s]
/proc/loadavg: 2.18 2.18 2.14 3/183 13443
/proc/meminfo: memFree=28281380/32872528 swapFree=1102192/1183952
[pid=13387] ppid=13384 vsize=1307204 CPUtime=211.94 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 11495 0 -1 4202496 267869 0 0 0 21148 46 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140736391118952 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 326801 268160 791 2943 0 323695 0
[pid=13387/tid=13388] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140595066547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140595056057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140595045584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 211.94
Current children cumulated vsize (KiB) 1307204

[startup+212.408 s]
/proc/loadavg: 2.16 2.18 2.13 4/183 13443
/proc/meminfo: memFree=28280868/32872528 swapFree=1102192/1183952
[pid=13387] ppid=13384 vsize=1307204 CPUtime=212.34 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 11495 0 -1 4202496 267873 0 0 0 21188 46 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140736391118952 12483272 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 326801 268160 791 2943 0 323695 0
[pid=13387/tid=13388] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140595066547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140595056057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140595045584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 212.34
Current children cumulated vsize (KiB) 1307204

[startup+212.6 s]
/proc/loadavg: 2.16 2.18 2.13 4/183 13443
/proc/meminfo: memFree=28280868/32872528 swapFree=1102192/1183952
[pid=13387] ppid=13384 vsize=1307204 CPUtime=212.53 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 11495 0 -1 4202496 267873 0 0 0 21207 46 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140736391118952 6000504 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 326801 268160 791 2943 0 323695 0
[pid=13387/tid=13388] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140595066547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140595056057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10770441 1338576896 268160 33554432000 4194304 16246674 140736391135952 140595045584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 212.53
Current children cumulated vsize (KiB) 1307204

Child status: 0
Real time (s): 212.693
CPU time (s): 212.634
CPU user time (s): 212.129
CPU system time (s): 0.504923
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 212.129
system time used= 0.504923
maximum resident set size= 1072652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267878
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= 63
involuntary context switches= 229

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.58991 second user time and 0.772882 second system time

The end

Launcher Data 

Begin job on node115 at 2016-06-30 22:10:12
IDJOB=4122706
IDBENCH=111260
IDSOLVER=2542
FILE ID=node115/4122706-1467317412
RUNJOBID= node115-1467308742-11512
PBS_JOBID= 20005276
Free space on /tmp= 71648 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n80-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4122706-1467317412/watcher-4122706-1467317412 -o /tmp/evaluation-result-4122706-1467317412/solver-4122706-1467317412 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467308742-11512 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122706-1467317412.opb

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

MD5SUM BENCH= 904dea184415f955fff55e4b1f07da06
RANDOM SEED=101594928

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.087
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		: 2667.087
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:        29341112 kB
Buffers:          161760 kB
Cached:           344920 kB
SwapCached:            0 kB
Active:          1381340 kB
Inactive:         222028 kB
Active(anon):    1092724 kB
Inactive(anon):     6556 kB
Active(file):     288616 kB
Inactive(file):   215472 kB
Unevictable:     1183952 kB
Mlocked:         1102192 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16368 kB
Writeback:             0 kB
AnonPages:       2280336 kB
Mapped:            17120 kB
Shmem:               204 kB
Slab:             607696 kB
SReclaimable:      51972 kB
SUnreclaim:       555724 kB
KernelStack:        1528 kB
PageTables:         8904 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2413844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1157120 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= 71632 MiB
End job on node115 at 2016-06-30 22:13:45