Trace number 4120042

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 215.445 215.48

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n82-d3-i3-r2.cnf.gz-plain.pb.metafix.opb
MD5SUM2c49043becc1ef5d492289923a6c1dcb
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 benchmark5.59315
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables123
Total number of constraints328
Number of constraints which are clauses328
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-30T19:46:52+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-4120042-1467308812.opb"]
0.00/0.01	c use --random-gen="541270745 4269875831 1757930714 3356482674 2892720987 2013045916 2953462721 3935827058 2260855148 4198741085 497985221 3241846748 115335425 3391018099 490206510 3808781022 736885467 2446882487 1010959266 3872094886 2873468310 3768061700 1918430222 2407742023 3959698818 2289218468 2420189952 2757448408 3637212564 1205832050 2567404167 2730958878 1391682677 2921038984 844747199 1794872007 3159044916 1525837232 1765930093 2092562220 2322489470 272142632 1859382804 2606889550 1617811897 2298251769 3450006486 2362292596 1062766035 2527220087 2343290998 2412685471 4253742417 1695117014 528688712 2477195519 206171072 3923204595 3058977231 3338737890 4185584882 522216941 2301676152 3908110258 3187739673 3496447639 3611680892 2195195673 3258612477 3808297115 1682610500 2277450617 2466245382 1308840209 2608114648 124692630 4095837354 2512290376 1541617844 2893593456 3731754637 289485205 702813276 3063516260 3283567459 321160284 1774306469 2123494365 1702276563 2737332508 2816731470 4220000413 3234521141 1601016125 839373620 2324306748 1436559211 358583445 2066300718 1866647859 690615591 898283901 1238236065 197185212 1363575166 3167070511 63332393 3625281120 1578465559 3699039481 2201314949 165657075 1516799542 2064454310 364040426 1027079511 4034378485 3783097644 3646904670 921903711 807321221 776808293 925869184 2220252482 866915704 984541648 3899337479 2683495338 2776682171 3932717923 3994317909 2448462928 3046514094 101882902 2664561779 3349210077 3840121171 1397195127 2276653961 3153969760 3196605753 1114160025 2806095880 3289898192 1752379641 2767342372 2473016099 1791207930 3936618909 204216309 1884163873 3660258752 2675611462 2251677811 1297507863 587392803 113011516 1737198221 243857488 174614696 3418984070 4199983296 2464945047 2149020853 1733859396 4019628648 740279839 3703145712 2559434150 2302494714 2373824819 947563182 1930085972 3657915137 1264169181 2273955419 2627512863 3457103486 1564724284 2360485674 910827867 302968483 3067335676 2005883795 2651375102 203471800 1091364743 1996420404 3987215862 3978828185 1224824054 2102007057 4231643680 2021449374 1465814616 1062510156 1456135993 555991291 2554078881 3933269759 3930591124 2804816827 2859788041 2473137707 2168068213 2565483111 616823342 3238351323 519330236 1836982592 1807527182 3288242050 3961955657 2873266018 404209139 3470337786 3132009981 1425886675 2158381878 2809603663 2605889454 1868895186 1901730768 115135301 19847480 2057206172 3613497933 2670492734 2903988109 2677430996 545459281 720977070 2945331962 3109393622 1046305592 1224149155 571448256 688589536 3899482817 3862992249 2742298665 3213063454 878364560 60325275 2795762505 2457816162 4133382469 3849508695 4164940369 3711491434 1410512708 3435864548 1320649489 1968507683 561533569 275806409 255 362436" option to reproduce the execution
0.00/0.01	c #vars 123
0.00/0.01	c #constraints 328
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 |      150      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      164 |      100 |      150      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      449 |      250 |      165      1 |        0 |        0
0.00/0.07	c  0.0s |       3 |      721 |      475 |      182      3 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1252 |      813 |      201      5 |        0 |        0
0.09/0.14	c  0.1s |       5 |     1887 |     1320 |      222      9 |        0 |        0
0.19/0.20	c  0.2s |       6 |     2891 |     2081 |      270     14 |        0 |        0
0.28/0.31	c  0.3s |       7 |     4207 |     3223 |      297     21 |        0 |        0
0.39/0.46	c  0.4s |       8 |     6295 |     4936 |      327     31 |        0 |        0
0.69/0.75	c  0.7s |       9 |     9177 |     7506 |      360     46 |        0 |        0
1.09/1.13	c  1.1s |      10 |    14110 |    11361 |      397     66 |        0 |        0
1.49/1.52	c  1.5s |      11 |    21325 |    17144 |      437     94 |        0 |        0
1.99/2.08	c  2.1s |      12 |    33583 |    25819 |      481    132 |        0 |        0
2.79/2.90	c  2.9s |      13 |    51317 |    38832 |      530    184 |        0 |        0
4.09/4.14	c  4.1s |      14 |    75889 |    58352 |      583    256 |        0 |        0
6.09/6.14	c  6.1s |      14 |   101381 |    81452 |      583    332 |        0 |        0
6.49/6.59	c  6.6s |      15 |   108917 |    87632 |      642    353 |        0 |        0
8.59/8.60	c  8.6s |      15 |   147511 |   117432 |      642    444 |        0 |        0
9.49/9.57	c  9.5s |      16 |   164699 |   131552 |      707    487 |        0 |        0
11.49/11.57	c 11.6s |      16 |   205803 |   162052 |      707    571 |        0 |        0
13.49/13.57	c 13.6s |      16 |   245667 |   191852 |      707    654 |        0 |        0
13.89/13.97	c 13.9s |      17 |   253261 |   197432 |      778    669 |        0 |        0
15.88/15.97	c 16.0s |      17 |   293405 |   227632 |      778    746 |        0 |        0
17.88/17.97	c 18.0s |      17 |   335859 |   258032 |      778    823 |        0 |        0
19.90/19.98	c 20.0s |      17 |   377829 |   288932 |      778    902 |        0 |        0
20.39/20.46	c 20.4s |      18 |   387043 |   296252 |      856    920 |        0 |        0
22.39/22.47	c 22.4s |      18 |   426568 |   325952 |      856    989 |        0 |        0
24.39/24.47	c 24.5s |      18 |   467043 |   355152 |      856   1056 |        0 |        0
26.40/26.47	c 26.5s |      18 |   508651 |   385552 |      856   1127 |        0 |        0
28.39/28.48	c 28.5s |      18 |   548188 |   414652 |      856   1194 |        0 |        0
30.39/30.48	c 30.5s |      18 |   589164 |   443952 |      942   1262 |        0 |        0
30.49/30.52	c 30.5s |      19 |   589954 |   444482 |      942   1263 |        0 |        0
32.49/32.52	c 32.5s |      19 |   629860 |   472082 |      942   1321 |        0 |        0
34.48/34.53	c 34.5s |      19 |   668523 |   500282 |      942   1380 |        0 |        0
36.48/36.53	c 36.5s |      19 |   709228 |   528782 |      942   1440 |        0 |        0
38.49/38.54	c 38.5s |      19 |   748833 |   557482 |      942   1501 |        0 |        0
40.48/40.54	c 40.5s |      19 |   789470 |   586982 |      942   1563 |        0 |        0
42.48/42.54	c 42.5s |      19 |   829271 |   616082 |      942   1624 |        0 |        0
44.48/44.55	c 44.5s |      19 |   872834 |   646582 |      942   1688 |        0 |        0
45.89/45.94	c 45.9s |      20 |   900527 |   666827 |     1037   1730 |        0 |        0
47.88/47.94	c 47.9s |      20 |   938392 |   695127 |     1037   1784 |        0 |        0
49.88/49.94	c 49.9s |      20 |   976347 |   722827 |     1037   1837 |        0 |        0
51.88/51.94	c 51.9s |      20 |  1014329 |   751227 |     1037   1891 |        0 |        0
53.89/53.95	c 53.9s |      20 |  1051789 |   779327 |     1037   1945 |        0 |        0
55.88/55.95	c 55.9s |      20 |  1088269 |   806727 |     1037   1998 |        0 |        0
57.88/57.96	c 57.9s |      20 |  1127881 |   835627 |     1037   2053 |        0 |        0
59.88/59.96	c 59.9s |      20 |  1169695 |   864427 |     1037   2108 |        0 |        0
61.88/61.97	c 61.9s |      20 |  1211263 |   893627 |     1037   2164 |        0 |        0
63.89/63.97	c 64.0s |      20 |  1250730 |   921927 |     1037   2218 |        0 |        0
65.88/65.98	c 66.0s |      20 |  1285837 |   949027 |     1037   2270 |        0 |        0
67.88/67.98	c 68.0s |      20 |  1322326 |   976227 |     1037   2322 |        0 |        0
69.68/69.72	c 69.7s |      21 |  1354943 |  1000345 |     1141   2367 |        0 |        0
71.68/71.72	c 71.7s |      21 |  1392662 |  1028145 |     1141   2416 |        0 |        0
73.68/73.72	c 73.7s |      21 |  1433313 |  1056945 |     1141   2466 |        0 |        0
75.68/75.73	c 75.7s |      21 |  1473653 |  1085945 |     1141   2516 |        0 |        0
77.67/77.73	c 77.7s |      21 |  1513241 |  1113945 |     1141   2565 |        0 |        0
79.67/79.74	c 79.7s |      21 |  1552635 |  1142245 |     1141   2614 |        0 |        0
81.67/81.74	c 81.7s |      21 |  1592078 |  1170945 |     1141   2665 |        0 |        0
83.68/83.74	c 83.7s |      21 |  1629033 |  1198145 |     1141   2712 |        0 |        0
85.67/85.75	c 85.7s |      21 |  1665902 |  1225645 |     1141   2760 |        0 |        0
87.67/87.75	c 87.7s |      21 |  1702260 |  1252245 |     1141   2806 |        0 |        0
89.67/89.75	c 89.7s |      21 |  1736161 |  1278645 |     1141   2852 |        0 |        0
91.67/91.76	c 91.7s |      21 |  1772609 |  1305445 |     1141   2899 |        0 |        0
93.67/93.76	c 93.7s |      21 |  1808471 |  1332445 |     1141   2946 |        0 |        0
95.69/95.77	c 95.7s |      21 |  1846972 |  1360445 |     1141   2995 |        0 |        0
97.68/97.77	c 97.8s |      21 |  1880497 |  1386345 |     1141   3040 |        0 |        0
99.68/99.77	c 99.8s |      21 |  1920069 |  1414845 |     1141   3090 |        0 |        0
101.68/101.77	c  101s |      21 |  1960582 |  1443945 |     1141   3141 |        0 |        0
103.68/103.78	c  103s |      21 |  2004798 |  1474145 |     1141   3194 |        0 |        0
105.58/105.70	c  105s |      22 |  2042362 |  1500622 |     1256   3238 |        0 |        0
107.67/107.70	c  107s |      22 |  2080612 |  1527322 |     1256   3280 |        0 |        0
109.67/109.71	c  109s |      22 |  2117137 |  1553522 |     1256   3321 |        0 |        0
111.67/111.71	c  111s |      22 |  2152026 |  1579022 |     1256   3362 |        0 |        0
113.67/113.71	c  113s |      22 |  2190254 |  1604622 |     1256   3402 |        0 |        0
115.67/115.71	c  115s |      22 |  2227429 |  1630222 |     1256   3443 |        0 |        0
117.68/117.72	c  117s |      22 |  2263955 |  1655822 |     1256   3484 |        0 |        0
119.67/119.72	c  119s |      22 |  2300477 |  1683122 |     1256   3527 |        0 |        0
121.67/121.73	c  121s |      22 |  2338790 |  1710422 |     1256   3570 |        0 |        0
123.67/123.73	c  123s |      22 |  2378389 |  1738822 |     1256   3615 |        0 |        0
125.67/125.73	c  125s |      22 |  2418032 |  1766522 |     1256   3659 |        0 |        0
127.68/127.73	c  127s |      22 |  2453199 |  1792122 |     1256   3699 |        0 |        0
129.67/129.73	c  129s |      22 |  2485386 |  1816222 |     1256   3738 |        0 |        0
131.67/131.74	c  131s |      22 |  2522003 |  1843822 |     1256   3781 |        0 |        0
133.67/133.74	c  133s |      22 |  2559040 |  1871122 |     1256   3825 |        0 |        0
135.67/135.75	c  135s |      22 |  2593067 |  1897622 |     1256   3866 |        0 |        0
137.67/137.75	c  137s |      22 |  2627056 |  1923422 |     1256   3907 |        0 |        0
139.68/139.76	c  139s |      22 |  2663371 |  1949822 |     1256   3949 |        0 |        0
141.67/141.76	c  141s |      22 |  2698387 |  1975922 |     1256   3990 |        0 |        0
143.67/143.76	c  143s |      22 |  2734299 |  2002122 |     1256   4032 |        0 |        0
145.67/145.77	c  145s |      22 |  2770469 |  2028822 |     1256   4074 |        0 |        0
147.66/147.77	c  147s |      22 |  2805495 |  2054922 |     1256   4115 |        0 |        0
149.68/149.77	c  149s |      22 |  2841049 |  2081522 |     1256   4157 |        0 |        0
151.67/151.78	c  151s |      22 |  2875322 |  2107822 |     1256   4199 |        0 |        0
153.67/153.78	c  153s |      22 |  2913769 |  2135822 |     1256   4242 |        1 |        4
155.67/155.78	c  155s |      22 |  2943039 |  2158222 |     1256   4277 |        1 |        4
157.67/157.78	c  157s |      22 |  2978148 |  2184222 |     1256   4318 |        1 |        4
159.67/159.79	c  159s |      22 |  3014978 |  2210722 |     1256   4360 |        1 |        4
161.67/161.79	c  161s |      22 |  3047645 |  2235222 |     1382   4399 |        1 |        4
162.97/163.04	c  163s |      23 |  3068299 |  2251038 |     1382   4422 |        1 |        4
164.97/165.05	c  165s |      23 |  3104203 |  2276438 |     1382   4458 |        1 |        4
166.96/167.05	c  167s |      23 |  3138978 |  2302538 |     1382   4496 |        1 |        4
168.96/169.06	c  169s |      23 |  3172585 |  2327538 |     1382   4532 |        1 |        4
170.96/171.06	c  171s |      23 |  3205614 |  2351338 |     1382   4566 |        1 |        4
172.96/173.06	c  173s |      23 |  3238283 |  2375538 |     1382   4601 |        1 |        4
174.97/175.06	c  175s |      23 |  3272678 |  2400938 |     1382   4638 |        1 |        4
176.96/177.07	c  177s |      23 |  3308195 |  2426238 |     1382   4674 |        1 |        4
178.96/179.07	c  179s |      23 |  3341850 |  2451538 |     1382   4710 |        1 |        4
180.96/181.07	c  181s |      23 |  3373635 |  2475838 |     1382   4745 |        1 |        4
182.96/183.07	c  183s |      23 |  3408026 |  2502238 |     1382   4783 |        1 |        4
184.96/185.08	c  185s |      23 |  3445010 |  2529038 |     1382   4822 |        1 |        4
186.96/187.08	c  187s |      23 |  3479915 |  2554838 |     1382   4859 |        1 |        4
188.96/189.09	c  189s |      23 |  3515596 |  2580938 |     1382   4897 |        1 |        4
191.06/191.10	c  191s |      23 |  3549619 |  2606538 |     1382   4934 |        1 |        4
193.06/193.10	c  193s |      23 |  3585410 |  2632638 |     1382   4971 |        1 |        4
195.06/195.11	c  195s |      23 |  3622135 |  2659038 |     1382   5008 |        2 |        8
197.06/197.11	c  197s |      23 |  3658069 |  2685038 |     1382   5045 |        2 |        8
199.07/199.11	c  199s |      23 |  3694523 |  2711138 |     1382   5083 |        2 |        8
201.06/201.12	c  201s |      23 |  3730424 |  2738338 |     1382   5122 |        2 |        8
203.06/203.12	c  203s |      23 |  3767719 |  2765838 |     1382   5162 |        2 |        8
205.06/205.13	c  205s |      23 |  3803493 |  2792338 |     1382   5198 |        3 |       12
207.06/207.13	c  207s |      23 |  3840545 |  2819338 |     1382   5237 |        3 |       12
209.06/209.13	c  209s |      23 |  3876875 |  2846038 |     1382   5276 |        3 |       12
211.05/211.13	c  211s |      23 |  3914257 |  2873638 |     1382   5314 |        4 |       16
213.05/213.14	c  213s |      23 |  3950852 |  2900538 |     1382   5353 |        4 |       16
215.05/215.14	c  215s |      23 |  3987244 |  2928238 |     1382   5390 |        7 |       28
215.35/215.42	c  215s |      23 |  3993343 |  2932687 |     1382   5393 |       21 |       74
215.35/215.42	c #cpu_time = 215.407s
215.35/215.42	c #wall_clock_time = 215.400s
215.35/215.42	c #decision = 3993343
215.35/215.42	c #random_decision = 19309
215.35/215.42	c #conflict = 2932687
215.35/215.42	c #restart = 23
215.35/215.42	s UNSATISFIABLE
215.35/215.42	c total CPU time = 215.427s
215.35/215.42	c total wall clock time = 215.419s

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

pid=16186
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: 1.34 1.41 1.44 3/179 16189
/proc/meminfo: memFree=28023168/32872528 swapFree=1254912/1391860
[pid=16189] ppid=16186 vsize=761276 CPUtime=0 cores=1,3,5,7
/proc/16189/stat : 16189 (toysat) R 16186 16189 16091 0 -1 4202496 2842 0 0 0 0 0 0 0 20 0 4 0 11842073 779546624 3204 33554432000 4194304 16246674 140735335525904 140735335525328 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16189/statm: 190831 3214 441 2943 0 187725 0
[pid=16189/tid=16190] ppid=16186 vsize=778684 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16190/stat : 16190 (toysat) S 16186 16189 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11842073 797372416 3275 33554432000 4194304 16246674 140735335525904 139958757076208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16189/tid=16191] ppid=16186 vsize=783804 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16191/stat : 16191 (toysat) S 16186 16189 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11842073 802615296 3293 33554432000 4194304 16246674 140735335525904 139958746586352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16189/tid=16192] ppid=16186 vsize=787900 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16192/stat : 16192 (toysat) S 16186 16189 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11842073 806809600 3309 33554432000 4194304 16246674 140735335525904 139958736112816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100117 s]
/proc/loadavg: 1.34 1.41 1.44 3/179 16189
/proc/meminfo: memFree=28023168/32872528 swapFree=1254912/1391860
[pid=16189] ppid=16186 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/16189/stat : 16189 (toysat) R 16186 16189 16091 0 -1 4202496 25488 0 0 0 5 4 0 0 20 0 4 0 11842073 1247350784 25838 33554432000 4194304 16246674 140735335525904 140735335525328 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16189/statm: 304529 25847 707 2943 0 301423 0
[pid=16189/tid=16190] ppid=16186 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16190/stat : 16190 (toysat) S 16186 16189 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11842073 1247350784 25852 33554432000 4194304 16246674 140735335525904 139958757076208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16189/tid=16191] ppid=16186 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16191/stat : 16191 (toysat) S 16186 16189 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11842073 1247350784 25860 33554432000 4194304 16246674 140735335525904 139958746586352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16189/tid=16192] ppid=16186 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16192/stat : 16192 (toysat) S 16186 16189 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11842073 1247350784 25867 33554432000 4194304 16246674 140735335525904 139958736112816 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.200604 s]
/proc/loadavg: 1.34 1.41 1.44 3/179 16189
/proc/meminfo: memFree=28023168/32872528 swapFree=1254912/1391860
[pid=16189] ppid=16186 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/16189/stat : 16189 (toysat) R 16186 16189 16091 0 -1 4202496 48709 0 0 0 11 8 0 0 20 0 4 0 11842073 1247350784 49060 33554432000 4194304 16246674 140735335525904 140735335525328 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16189/statm: 304529 49071 707 2943 0 301423 0
[pid=16189/tid=16190] ppid=16186 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16190/stat : 16190 (toysat) S 16186 16189 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11842073 1247350784 49080 33554432000 4194304 16246674 140735335525904 139958757076208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16189/tid=16191] ppid=16186 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16191/stat : 16191 (toysat) S 16186 16189 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11842073 1247350784 49086 33554432000 4194304 16246674 140735335525904 139958746586352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16189/tid=16192] ppid=16186 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16192/stat : 16192 (toysat) S 16186 16189 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11842073 1247350784 49093 33554432000 4194304 16246674 140735335525904 139958736112816 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.300493 s]
/proc/loadavg: 1.34 1.41 1.44 3/179 16189
/proc/meminfo: memFree=28023168/32872528 swapFree=1254912/1391860
[pid=16189] ppid=16186 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/16189/stat : 16189 (toysat) R 16186 16189 16091 0 -1 4202496 73115 0 0 0 17 11 0 0 20 0 4 0 11842073 1247350784 73466 33554432000 4194304 16246674 140735335525904 140735335525328 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16189/statm: 304529 73476 707 2943 0 301423 0
[pid=16189/tid=16190] ppid=16186 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16190/stat : 16190 (toysat) S 16186 16189 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11842073 1247350784 73486 33554432000 4194304 16246674 140735335525904 139958757076208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16189/tid=16191] ppid=16186 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16191/stat : 16191 (toysat) S 16186 16189 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11842073 1247350784 73491 33554432000 4194304 16246674 140735335525904 139958746586352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16189/tid=16192] ppid=16186 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16192/stat : 16192 (toysat) S 16186 16189 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11842073 1247350784 73499 33554432000 4194304 16246674 140735335525904 139958736112816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700427 s]
/proc/loadavg: 1.34 1.41 1.44 3/179 16189
/proc/meminfo: memFree=28023168/32872528 swapFree=1254912/1391860
[pid=16189] ppid=16186 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/16189/stat : 16189 (toysat) R 16186 16189 16091 0 -1 4202496 167004 0 0 0 46 23 0 0 20 0 4 0 11842073 1247350784 167355 33554432000 4194304 16246674 140735335525904 140735335525328 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16189/statm: 304529 167366 707 2943 0 301423 0
[pid=16189/tid=16190] ppid=16186 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16190/stat : 16190 (toysat) S 16186 16189 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11842073 1247350784 167372 33554432000 4194304 16246674 140735335525904 139958757076208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16189/tid=16191] ppid=16186 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16191/stat : 16191 (toysat) S 16186 16189 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11842073 1247350784 167379 33554432000 4194304 16246674 140735335525904 139958746586352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16189/tid=16192] ppid=16186 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16192/stat : 16192 (toysat) S 16186 16189 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11842073 1247350784 167386 33554432000 4194304 16246674 140735335525904 139958736112816 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.50044 s]
/proc/loadavg: 1.34 1.41 1.44 3/183 16193
/proc/meminfo: memFree=27040104/32872528 swapFree=1254912/1391860
[pid=16189] ppid=16186 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/16189/stat : 16189 (toysat) R 16186 16189 16091 0 -1 4202496 245586 0 0 0 117 32 0 0 20 0 4 0 11842073 1248399360 245916 33554432000 4194304 16246674 140735335525904 140735335525216 5830005 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16189/statm: 304785 245916 784 2943 0 301679 0
[pid=16189/tid=16190] ppid=16186 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16190/stat : 16190 (toysat) S 16186 16189 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11842073 1248399360 245916 33554432000 4194304 16246674 140735335525904 139958757076208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16189/tid=16191] ppid=16186 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16191/stat : 16191 (toysat) S 16186 16189 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11842073 1248399360 245916 33554432000 4194304 16246674 140735335525904 139958746586352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16189/tid=16192] ppid=16186 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16192/stat : 16192 (toysat) S 16186 16189 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11842073 1248399360 245916 33554432000 4194304 16246674 140735335525904 139958736112816 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.10042 s]
/proc/loadavg: 1.34 1.41 1.44 3/183 16193
/proc/meminfo: memFree=26952840/32872528 swapFree=1254912/1391860
[pid=16189] ppid=16186 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/16189/stat : 16189 (toysat) R 16186 16189 16091 0 -1 4202496 267406 0 0 0 273 36 0 0 20 0 4 0 11842073 1337528320 267736 33554432000 4194304 16246674 140735335525904 140735335508904 5522905 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16189/statm: 326545 267736 784 2943 0 323439 0
[pid=16189/tid=16190] ppid=16186 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16190/stat : 16190 (toysat) S 16186 16189 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11842073 1337528320 267736 33554432000 4194304 16246674 140735335525904 139958757076208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16189/tid=16191] ppid=16186 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16191/stat : 16191 (toysat) S 16186 16189 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11842073 1337528320 267736 33554432000 4194304 16246674 140735335525904 139958746586352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16189/tid=16192] ppid=16186 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16192/stat : 16192 (toysat) S 16186 16189 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11842073 1337528320 267736 33554432000 4194304 16246674 140735335525904 139958736112816 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.30044 s]
/proc/loadavg: 1.47 1.43 1.45 3/183 16193
/proc/meminfo: memFree=26952500/32872528 swapFree=1254912/1391860
[pid=16189] ppid=16186 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/16189/stat : 16189 (toysat) R 16186 16189 16091 0 -1 4202496 267439 0 0 0 593 36 0 0 20 0 4 0 11842073 1337528320 267769 33554432000 4194304 16246674 140735335525904 140735335508904 6011693 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16189/statm: 326545 267769 786 2943 0 323439 0
[pid=16189/tid=16190] ppid=16186 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16190/stat : 16190 (toysat) S 16186 16189 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11842073 1337528320 267769 33554432000 4194304 16246674 140735335525904 139958757076208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16189/tid=16191] ppid=16186 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16191/stat : 16191 (toysat) S 16186 16189 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11842073 1337528320 267769 33554432000 4194304 16246674 140735335525904 139958746586352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16189/tid=16192] ppid=16186 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16192/stat : 16192 (toysat) S 16186 16189 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11842073 1337528320 267769 33554432000 4194304 16246674 140735335525904 139958736112816 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: 1.60 1.46 1.46 3/183 16193
/proc/meminfo: memFree=26952920/32872528 swapFree=1254912/1391860
[pid=16189] ppid=16186 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/16189/stat : 16189 (toysat) R 16186 16189 16091 0 -1 4202496 267463 0 0 0 1233 36 0 0 20 0 4 0 11842073 1337528320 267793 33554432000 4194304 16246674 140735335525904 140735335508904 5677656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16189/statm: 326545 267793 787 2943 0 323439 0
[pid=16189/tid=16190] ppid=16186 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16190/stat : 16190 (toysat) S 16186 16189 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11842073 1337528320 267793 33554432000 4194304 16246674 140735335525904 139958757076208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16189/tid=16191] ppid=16186 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16191/stat : 16191 (toysat) S 16186 16189 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11842073 1337528320 267793 33554432000 4194304 16246674 140735335525904 139958746586352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16189/tid=16192] ppid=16186 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16192/stat : 16192 (toysat) S 16186 16189 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11842073 1337528320 267793 33554432000 4194304 16246674 140735335525904 139958736112816 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: 1.68 1.49 1.47 3/183 16193
/proc/meminfo: memFree=26952940/32872528 swapFree=1254912/1391860
[pid=16189] ppid=16186 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/16189/stat : 16189 (toysat) R 16186 16189 16091 0 -1 4202496 267533 0 0 0 2512 37 0 0 20 0 4 0 11842073 1337528320 267863 33554432000 4194304 16246674 140735335525904 140735335508904 5661265 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16189/statm: 326545 267863 788 2943 0 323439 0
[pid=16189/tid=16190] ppid=16186 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16190/stat : 16190 (toysat) S 16186 16189 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11842073 1337528320 267863 33554432000 4194304 16246674 140735335525904 139958757076208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16189/tid=16191] ppid=16186 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16191/stat : 16191 (toysat) S 16186 16189 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11842073 1337528320 267863 33554432000 4194304 16246674 140735335525904 139958746586352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16189/tid=16192] ppid=16186 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16192/stat : 16192 (toysat) S 16186 16189 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11842073 1337528320 267863 33554432000 4194304 16246674 140735335525904 139958736112816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1006 s]
/proc/loadavg: 1.85 1.54 1.49 3/183 16193
/proc/meminfo: memFree=26952704/32872528 swapFree=1254912/1391860
[pid=16189] ppid=16186 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/16189/stat : 16189 (toysat) R 16186 16189 16091 0 -1 4202496 267612 0 0 0 5070 38 0 0 20 0 4 0 11842073 1338576896 267942 33554432000 4194304 16246674 140735335525904 140735335508904 5823877 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16189/statm: 326801 267942 788 2943 0 323695 0
[pid=16189/tid=16190] ppid=16186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16190/stat : 16190 (toysat) S 16186 16189 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11842073 1338576896 267942 33554432000 4194304 16246674 140735335525904 139958757076208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16189/tid=16191] ppid=16186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16191/stat : 16191 (toysat) S 16186 16189 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11842073 1338576896 267942 33554432000 4194304 16246674 140735335525904 139958746586352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16189/tid=16192] ppid=16186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16192/stat : 16192 (toysat) S 16186 16189 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11842073 1338576896 267942 33554432000 4194304 16246674 140735335525904 139958736112816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.301 s]
/proc/loadavg: 2.13 1.66 1.53 3/183 16243
/proc/meminfo: memFree=26950256/32872528 swapFree=1254912/1391860
[pid=16189] ppid=16186 vsize=1307204 CPUtime=102.28 cores=1,3,5,7
/proc/16189/stat : 16189 (toysat) R 16186 16189 16091 0 -1 4202496 267706 0 0 0 10188 40 0 0 20 0 4 0 11842073 1338576896 268036 33554432000 4194304 16246674 140735335525904 140735335508904 5673075 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16189/statm: 326801 268036 788 2943 0 323695 0
[pid=16189/tid=16190] ppid=16186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16190/stat : 16190 (toysat) S 16186 16189 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11842073 1338576896 268036 33554432000 4194304 16246674 140735335525904 139958757076208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16189/tid=16191] ppid=16186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16191/stat : 16191 (toysat) S 16186 16189 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11842073 1338576896 268036 33554432000 4194304 16246674 140735335525904 139958746586352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16189/tid=16192] ppid=16186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16192/stat : 16192 (toysat) S 16186 16189 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11842073 1338576896 268036 33554432000 4194304 16246674 140735335525904 139958736112816 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.24 1.77 1.57 3/183 16244
/proc/meminfo: memFree=26949024/32872528 swapFree=1254912/1391860
[pid=16189] ppid=16186 vsize=1307204 CPUtime=162.27 cores=1,3,5,7
/proc/16189/stat : 16189 (toysat) R 16186 16189 16091 0 -1 4202496 267824 0 0 0 16185 42 0 0 20 0 4 0 11842073 1338576896 268154 33554432000 4194304 16246674 140735335525904 140735335508904 5677802 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16189/statm: 326801 268154 788 2943 0 323695 0
[pid=16189/tid=16190] ppid=16186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16190/stat : 16190 (toysat) S 16186 16189 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11842073 1338576896 268154 33554432000 4194304 16246674 140735335525904 139958757076208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16189/tid=16191] ppid=16186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16191/stat : 16191 (toysat) S 16186 16189 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11842073 1338576896 268154 33554432000 4194304 16246674 140735335525904 139958746586352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16189/tid=16192] ppid=16186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16192/stat : 16192 (toysat) S 16186 16189 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11842073 1338576896 268154 33554432000 4194304 16246674 140735335525904 139958736112816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1307204

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

[startup+179.2 s]
/proc/loadavg: 2.31 1.81 1.59 3/183 16244
/proc/meminfo: memFree=26949024/32872528 swapFree=1254912/1391860
[pid=16189] ppid=16186 vsize=1307204 CPUtime=179.16 cores=1,3,5,7
/proc/16189/stat : 16189 (toysat) R 16186 16189 16091 0 -1 4202496 267824 0 0 0 17874 42 0 0 20 0 4 0 11842073 1338576896 268154 33554432000 4194304 16246674 140735335525904 140735335508904 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16189/statm: 326801 268154 788 2943 0 323695 0
[pid=16189/tid=16190] ppid=16186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16190/stat : 16190 (toysat) S 16186 16189 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11842073 1338576896 268154 33554432000 4194304 16246674 140735335525904 139958757076208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16189/tid=16191] ppid=16186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16191/stat : 16191 (toysat) S 16186 16189 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11842073 1338576896 268154 33554432000 4194304 16246674 140735335525904 139958746586352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16189/tid=16192] ppid=16186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16192/stat : 16192 (toysat) S 16186 16189 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11842073 1338576896 268154 33554432000 4194304 16246674 140735335525904 139958736112816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 179.16
Current children cumulated vsize (KiB) 1307204

[startup+192 s]
/proc/loadavg: 2.33 1.83 1.60 3/183 16248
/proc/meminfo: memFree=26948140/32872528 swapFree=1254912/1391860
[pid=16189] ppid=16186 vsize=1307204 CPUtime=191.96 cores=1,3,5,7
/proc/16189/stat : 16189 (toysat) R 16186 16189 16091 0 -1 4202496 267824 0 0 0 19153 43 0 0 20 0 4 0 11842073 1338576896 268154 33554432000 4194304 16246674 140735335525904 140735335508904 5724624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16189/statm: 326801 268154 788 2943 0 323695 0
[pid=16189/tid=16190] ppid=16186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16190/stat : 16190 (toysat) S 16186 16189 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11842073 1338576896 268154 33554432000 4194304 16246674 140735335525904 139958757076208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16189/tid=16191] ppid=16186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16191/stat : 16191 (toysat) S 16186 16189 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11842073 1338576896 268154 33554432000 4194304 16246674 140735335525904 139958746586352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16189/tid=16192] ppid=16186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16192/stat : 16192 (toysat) S 16186 16189 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11842073 1338576896 268154 33554432000 4194304 16246674 140735335525904 139958736112816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 191.96
Current children cumulated vsize (KiB) 1307204

[startup+204.8 s]
/proc/loadavg: 2.33 1.86 1.61 3/184 16249
/proc/meminfo: memFree=26948840/32872528 swapFree=1254912/1391860
[pid=16189] ppid=16186 vsize=1307204 CPUtime=204.76 cores=1,3,5,7
/proc/16189/stat : 16189 (toysat) R 16186 16189 16091 0 -1 4202496 267824 0 0 0 20433 43 0 0 20 0 4 0 11842073 1338576896 268154 33554432000 4194304 16246674 140735335525904 140735335507776 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16189/statm: 326801 268154 788 2943 0 323695 0
[pid=16189/tid=16190] ppid=16186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16190/stat : 16190 (toysat) S 16186 16189 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11842073 1338576896 268154 33554432000 4194304 16246674 140735335525904 139958757076208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16189/tid=16191] ppid=16186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16191/stat : 16191 (toysat) S 16186 16189 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11842073 1338576896 268154 33554432000 4194304 16246674 140735335525904 139958746586352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16189/tid=16192] ppid=16186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16192/stat : 16192 (toysat) S 16186 16189 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11842073 1338576896 268154 33554432000 4194304 16246674 140735335525904 139958736112816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 204.76
Current children cumulated vsize (KiB) 1307204

[startup+211.2 s]
/proc/loadavg: 2.31 1.86 1.61 4/184 16249
/proc/meminfo: memFree=26948916/32872528 swapFree=1254912/1391860
[pid=16189] ppid=16186 vsize=1307204 CPUtime=211.16 cores=1,3,5,7
/proc/16189/stat : 16189 (toysat) R 16186 16189 16091 0 -1 4202496 267824 0 0 0 21073 43 0 0 20 0 4 0 11842073 1338576896 268154 33554432000 4194304 16246674 140735335525904 140735335508904 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16189/statm: 326801 268154 788 2943 0 323695 0
[pid=16189/tid=16190] ppid=16186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16190/stat : 16190 (toysat) S 16186 16189 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11842073 1338576896 268154 33554432000 4194304 16246674 140735335525904 139958757076208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16189/tid=16191] ppid=16186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16191/stat : 16191 (toysat) S 16186 16189 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11842073 1338576896 268154 33554432000 4194304 16246674 140735335525904 139958746586352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16189/tid=16192] ppid=16186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16192/stat : 16192 (toysat) S 16186 16189 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11842073 1338576896 268154 33554432000 4194304 16246674 140735335525904 139958736112816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 211.16
Current children cumulated vsize (KiB) 1307204

[startup+212.8 s]
/proc/loadavg: 2.31 1.86 1.61 4/184 16249
/proc/meminfo: memFree=26948916/32872528 swapFree=1254912/1391860
[pid=16189] ppid=16186 vsize=1307204 CPUtime=212.75 cores=1,3,5,7
/proc/16189/stat : 16189 (toysat) R 16186 16189 16091 0 -1 4202496 267824 0 0 0 21232 43 0 0 20 0 4 0 11842073 1338576896 268154 33554432000 4194304 16246674 140735335525904 140735335508904 5822144 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16189/statm: 326801 268154 788 2943 0 323695 0
[pid=16189/tid=16190] ppid=16186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16190/stat : 16190 (toysat) S 16186 16189 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11842073 1338576896 268154 33554432000 4194304 16246674 140735335525904 139958757076208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16189/tid=16191] ppid=16186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16191/stat : 16191 (toysat) S 16186 16189 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11842073 1338576896 268154 33554432000 4194304 16246674 140735335525904 139958746586352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16189/tid=16192] ppid=16186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16192/stat : 16192 (toysat) S 16186 16189 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11842073 1338576896 268154 33554432000 4194304 16246674 140735335525904 139958736112816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 212.75
Current children cumulated vsize (KiB) 1307204

[startup+214.4 s]
/proc/loadavg: 2.36 1.88 1.62 4/184 16249
/proc/meminfo: memFree=26948916/32872528 swapFree=1254912/1391860
[pid=16189] ppid=16186 vsize=1307204 CPUtime=214.35 cores=1,3,5,7
/proc/16189/stat : 16189 (toysat) R 16186 16189 16091 0 -1 4202496 267824 0 0 0 21392 43 0 0 20 0 4 0 11842073 1338576896 268154 33554432000 4194304 16246674 140735335525904 140735335508904 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16189/statm: 326801 268154 788 2943 0 323695 0
[pid=16189/tid=16190] ppid=16186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16190/stat : 16190 (toysat) S 16186 16189 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11842073 1338576896 268154 33554432000 4194304 16246674 140735335525904 139958757076208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16189/tid=16191] ppid=16186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16191/stat : 16191 (toysat) S 16186 16189 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11842073 1338576896 268154 33554432000 4194304 16246674 140735335525904 139958746586352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16189/tid=16192] ppid=16186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16192/stat : 16192 (toysat) S 16186 16189 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11842073 1338576896 268154 33554432000 4194304 16246674 140735335525904 139958736112816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 214.35
Current children cumulated vsize (KiB) 1307204

[startup+215.2 s]
/proc/loadavg: 2.36 1.88 1.62 4/184 16249
/proc/meminfo: memFree=26948916/32872528 swapFree=1254912/1391860
[pid=16189] ppid=16186 vsize=1307204 CPUtime=215.15 cores=1,3,5,7
/proc/16189/stat : 16189 (toysat) R 16186 16189 16091 0 -1 4202496 267824 0 0 0 21472 43 0 0 20 0 4 0 11842073 1338576896 268154 33554432000 4194304 16246674 140735335525904 140735335508904 5673927 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16189/statm: 326801 268154 788 2943 0 323695 0
[pid=16189/tid=16190] ppid=16186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16190/stat : 16190 (toysat) S 16186 16189 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11842073 1338576896 268154 33554432000 4194304 16246674 140735335525904 139958757076208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16189/tid=16191] ppid=16186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16191/stat : 16191 (toysat) S 16186 16189 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11842073 1338576896 268154 33554432000 4194304 16246674 140735335525904 139958746586352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16189/tid=16192] ppid=16186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16192/stat : 16192 (toysat) S 16186 16189 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11842073 1338576896 268154 33554432000 4194304 16246674 140735335525904 139958736112816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 215.15
Current children cumulated vsize (KiB) 1307204

[startup+215.4 s]
/proc/loadavg: 2.36 1.88 1.62 4/184 16249
/proc/meminfo: memFree=26948916/32872528 swapFree=1254912/1391860
[pid=16189] ppid=16186 vsize=1307204 CPUtime=215.35 cores=1,3,5,7
/proc/16189/stat : 16189 (toysat) R 16186 16189 16091 0 -1 4202496 267824 0 0 0 21492 43 0 0 20 0 4 0 11842073 1338576896 268154 33554432000 4194304 16246674 140735335525904 140735335508904 5522977 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16189/statm: 326801 268154 788 2943 0 323695 0
[pid=16189/tid=16190] ppid=16186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16190/stat : 16190 (toysat) S 16186 16189 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11842073 1338576896 268154 33554432000 4194304 16246674 140735335525904 139958757076208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16189/tid=16191] ppid=16186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16191/stat : 16191 (toysat) S 16186 16189 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11842073 1338576896 268154 33554432000 4194304 16246674 140735335525904 139958746586352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16189/tid=16192] ppid=16186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16189/task/16192/stat : 16192 (toysat) S 16186 16189 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11842073 1338576896 268154 33554432000 4194304 16246674 140735335525904 139958736112816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 215.35
Current children cumulated vsize (KiB) 1307204

Child status: 0
Real time (s): 215.48
CPU time (s): 215.445
CPU user time (s): 214.949
CPU system time (s): 0.495924
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 214.949
system time used= 0.495924
maximum resident set size= 1072628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267829
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20
involuntary context switches= 252

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.3328 second user time and 2.02769 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-30 19:46:52
IDJOB=4120042
IDBENCH=109679
IDSOLVER=2542
FILE ID=node119/4120042-1467308812
RUNJOBID= node119-1467308805-16108
PBS_JOBID= 20005280
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n82-d3-i3-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-4120042-1467308812/watcher-4120042-1467308812 -o /tmp/evaluation-result-4120042-1467308812/solver-4120042-1467308812 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467308805-16108 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120042-1467308812.opb

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

MD5SUM BENCH= 2c49043becc1ef5d492289923a6c1dcb
RANDOM SEED=778886817

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.444
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.444
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.444
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:        28023184 kB
Buffers:          196364 kB
Cached:          1430132 kB
SwapCached:            0 kB
Active:          1337032 kB
Inactive:        1373040 kB
Active(anon):    1080200 kB
Inactive(anon):     5936 kB
Active(file):     256832 kB
Inactive(file):  1367104 kB
Unevictable:     1391860 kB
Mlocked:         1254912 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             33196 kB
Writeback:             0 kB
AnonPages:       2477388 kB
Mapped:            17108 kB
Shmem:               204 kB
Slab:             612248 kB
SReclaimable:      55876 kB
SUnreclaim:       556372 kB
KernelStack:        1464 kB
PageTables:         9072 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2612444 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    143360 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= 71700 MiB
End job on node119 at 2016-06-30 19:50:28