Trace number 4120234

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 524.833 525.002

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n92-d3-i1-r1.cnf.gz-plain.pb.metafix.opb
MD5SUM2b5eccd64f0fa8389c9bc1072659d200
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.27665
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables138
Total number of constraints368
Number of constraints which are clauses368
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-30T20:17:59+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-4120234-1467310679.opb"]
0.00/0.01	c use --random-gen="1995474626 1730373017 2434410247 3616449124 3534077962 785840571 2941015141 2758511466 1451375881 374011800 605245720 1732374146 2544372087 3644412999 1811949891 1856238635 327026131 119341268 751955777 2130469350 966965724 232673874 1270782574 3978861092 4045774475 3417560617 2647506763 806346481 4247191849 2449287594 635927984 2238042902 2937294754 1177034506 4113284958 1850895569 3500403674 1069261321 3057752215 1676011399 3874282852 519363789 1305962488 2948767160 1272333233 1858804065 3153598845 479865020 175448974 2042243341 2996743991 4126130252 3788833901 4166277568 11834955 2711301656 836741840 1247683848 3555220717 2854345680 1282937716 3910020857 277119164 144848261 3917714287 2711007313 484064473 934357629 2733898659 3090847449 683303025 358960875 2591066542 3580351945 3327716465 2637893489 4252239676 1514038319 2097260688 2501964616 792435965 3800402043 3255369317 2595320810 437091637 3423232768 3221479244 4196743664 1015356318 2545625207 3657076871 2837071532 2284931973 322978323 2124516734 2810781536 1161918731 2486773047 2344719974 2087651364 2858645803 3035683757 206151282 1145148485 2440104079 4180527454 3684700192 3402809582 40334052 656839694 1414302908 510744630 4056826823 817655431 1838193801 3624432930 836501735 234819927 1882948196 4238758438 2854195958 212764142 2208904601 829597142 1102054492 3247398821 1381999310 2211659751 3671456304 748650806 2550289103 3491004581 198932369 2498899544 3337711392 437061951 2784849679 551841231 3968164821 471782498 643066826 727833085 3127017773 3781542667 207045883 3669593109 3799772372 599397365 3096234103 2487925218 3928835950 590307174 3033677694 1434919242 1390577356 1629487867 1047013736 1519816200 3183174798 371660814 2832606880 563572357 279379011 4083472622 2874440883 1469751614 233133454 2125935399 556269196 1054757492 374554539 3060238971 1228055978 2279237040 4164963980 3819502379 3632768830 248064557 4073185949 675126330 2689980594 2188113518 288917171 4226267180 3576375311 602595172 1148373159 2058433578 2608123203 2019911531 417690468 3578521018 3440506022 4110754734 483498605 1868974752 2869519809 2321762186 478073481 165408004 1034664855 1847192919 1582722990 4165559959 498771513 1004831299 3679956842 2894025457 470235860 1097949632 2402907791 2980801670 2697685847 2668623013 3500245607 565742703 4129975243 1963500575 1939245396 2363103044 1121693276 2625789625 1763221465 3888098257 2175942349 3655079118 3153841278 1099593850 1494535628 2036840149 3610597141 1680149836 666376490 3676822100 3398395034 4240919740 1310858940 2877961866 3347757300 2303130781 3283492012 1492330206 2614544037 2933120527 4093073362 2183278265 2854095447 958206232 3306061076 3514301047 3586621570 2195080682 1462905351 2055840087 3451338339 2044404386 255 362436" option to reproduce the execution
0.00/0.01	c #vars 138
0.00/0.01	c #constraints 368
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 |      168      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      203 |      100 |      168      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      456 |      250 |      185      0 |        0 |        0
0.00/0.06	c  0.0s |       3 |      887 |      475 |      204      2 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1364 |      813 |      225      4 |        0 |        0
0.09/0.14	c  0.1s |       5 |     2065 |     1320 |      248      8 |        0 |        0
0.19/0.21	c  0.2s |       6 |     2976 |     2081 |      301     12 |        0 |        0
0.29/0.33	c  0.3s |       7 |     4337 |     3223 |      332     19 |        0 |        0
0.49/0.51	c  0.5s |       8 |     6392 |     4936 |      366     28 |        0 |        0
0.69/0.77	c  0.8s |       9 |     9943 |     7506 |      403     41 |        0 |        0
1.10/1.12	c  1.1s |      10 |    14731 |    11361 |      444     59 |        0 |        0
1.49/1.51	c  1.5s |      11 |    22912 |    17144 |      489     84 |        0 |        0
2.09/2.19	c  2.2s |      12 |    33345 |    25819 |      538    117 |        0 |        0
3.09/3.14	c  3.1s |      13 |    49479 |    38832 |      592    163 |        0 |        0
4.59/4.63	c  4.6s |      14 |    74993 |    58352 |      652    227 |        0 |        0
6.60/6.64	c  6.6s |      14 |   106342 |    82752 |      652    300 |        0 |        0
6.99/7.02	c  7.0s |      15 |   112096 |    87632 |      718    314 |        0 |        0
8.99/9.02	c  9.0s |      15 |   146717 |   113532 |      718    385 |        0 |        0
10.39/10.45	c 10.4s |      16 |   170881 |   131552 |      790    434 |        0 |        0
12.39/12.45	c 12.4s |      16 |   211078 |   160652 |      790    506 |        0 |        0
14.40/14.46	c 14.4s |      16 |   252441 |   190052 |      790    580 |        0 |        0
14.89/14.97	c 14.9s |      17 |   262286 |   197432 |      870    598 |        0 |        0
16.89/16.97	c 17.0s |      17 |   301166 |   225832 |      870    662 |        0 |        0
18.89/18.98	c 19.0s |      17 |   336472 |   252232 |      870    722 |        0 |        0
20.90/20.98	c 21.0s |      17 |   369232 |   277532 |      870    780 |        0 |        0
22.39/22.40	c 22.4s |      18 |   394769 |   296252 |      958    822 |        0 |        0
24.39/24.40	c 24.4s |      18 |   430816 |   322752 |      958    876 |        0 |        0
26.29/26.40	c 26.4s |      18 |   464012 |   348452 |      958    929 |        0 |        0
28.39/28.40	c 28.4s |      18 |   499480 |   374652 |      958    983 |        0 |        0
30.39/30.40	c 30.4s |      18 |   538566 |   402452 |      958   1041 |        0 |        0
32.39/32.41	c 32.4s |      18 |   575352 |   429152 |      958   1096 |        0 |        0
33.49/33.54	c 33.5s |      19 |   596440 |   444482 |     1054   1127 |        0 |        0
35.49/35.54	c 35.5s |      19 |   632800 |   471082 |     1054   1176 |        0 |        0
37.49/37.54	c 37.5s |      19 |   667638 |   496882 |     1054   1225 |        0 |        0
39.48/39.55	c 39.5s |      19 |   701539 |   522682 |     1054   1273 |        0 |        0
41.48/41.55	c 41.5s |      19 |   735134 |   547982 |     1054   1321 |        0 |        0
43.48/43.56	c 43.5s |      19 |   768402 |   573482 |     1054   1369 |        0 |        0
45.48/45.56	c 45.5s |      19 |   802641 |   599082 |     1054   1417 |        0 |        0
47.48/47.56	c 47.5s |      19 |   833494 |   623682 |     1054   1463 |        0 |        0
49.48/49.56	c 49.5s |      19 |   866899 |   649282 |     1054   1511 |        0 |        0
50.99/51.01	c 51.0s |      20 |   890004 |   666827 |     1160   1543 |        0 |        0
52.99/53.02	c 53.0s |      20 |   922345 |   691427 |     1160   1586 |        0 |        0
54.99/55.03	c 55.0s |      20 |   956189 |   716827 |     1160   1629 |        0 |        0
56.98/57.03	c 57.0s |      20 |   987206 |   741027 |     1160   1670 |        0 |        0
58.98/59.04	c 59.0s |      20 |  1017512 |   764127 |     1160   1710 |        0 |        0
60.98/61.04	c 61.0s |      20 |  1048392 |   787427 |     1160   1750 |        0 |        0
62.98/63.05	c 63.0s |      20 |  1081773 |   810427 |     1160   1789 |        0 |        0
64.99/65.05	c 65.0s |      20 |  1114521 |   835327 |     1160   1832 |        0 |        0
66.98/67.06	c 67.0s |      20 |  1143049 |   858227 |     1160   1871 |        0 |        0
68.98/69.06	c 69.0s |      20 |  1174094 |   882027 |     1160   1912 |        0 |        0
70.98/71.07	c 71.0s |      20 |  1207537 |   906927 |     1160   1955 |        0 |        0
72.98/73.07	c 73.1s |      20 |  1241985 |   931427 |     1160   1997 |        0 |        0
74.98/75.07	c 75.1s |      20 |  1274713 |   956027 |     1160   2039 |        0 |        0
76.98/77.08	c 77.1s |      20 |  1304541 |   979027 |     1160   2078 |        0 |        0
78.77/78.83	c 78.8s |      21 |  1332380 |  1000345 |     1276   2114 |        0 |        0
80.77/80.84	c 80.8s |      21 |  1366022 |  1025045 |     1276   2152 |        0 |        0
82.77/82.84	c 82.8s |      21 |  1400319 |  1049745 |     1276   2191 |        0 |        0
84.78/84.85	c 84.8s |      21 |  1433177 |  1074345 |     1276   2229 |        0 |        0
86.77/86.85	c 86.8s |      21 |  1464787 |  1098245 |     1276   2266 |        0 |        0
88.77/88.85	c 88.8s |      21 |  1496989 |  1121845 |     1276   2303 |        0 |        0
90.77/90.86	c 90.8s |      21 |  1531413 |  1147145 |     1276   2342 |        0 |        0
92.78/92.86	c 92.8s |      21 |  1570090 |  1173345 |     1276   2383 |        0 |        0
94.78/94.87	c 94.9s |      21 |  1605232 |  1199045 |     1276   2423 |        0 |        0
96.79/96.87	c 96.9s |      21 |  1638372 |  1224045 |     1276   2462 |        0 |        0
98.78/98.88	c 98.9s |      21 |  1674078 |  1250045 |     1276   2503 |        0 |        0
100.78/100.88	c  100s |      21 |  1710241 |  1276345 |     1276   2544 |        0 |        0
102.78/102.89	c  102s |      21 |  1745774 |  1302545 |     1276   2585 |        0 |        0
104.77/104.89	c  104s |      21 |  1778098 |  1327645 |     1276   2624 |        0 |        0
106.78/106.89	c  106s |      21 |  1812043 |  1353245 |     1276   2664 |        0 |        0
108.88/108.91	c  108s |      21 |  1843926 |  1376945 |     1276   2701 |        0 |        0
110.87/110.91	c  110s |      21 |  1877403 |  1402345 |     1276   2740 |        0 |        0
112.87/112.91	c  112s |      21 |  1909758 |  1426645 |     1276   2778 |        0 |        0
114.87/114.91	c  114s |      21 |  1941211 |  1450945 |     1276   2816 |        0 |        0
116.87/116.92	c  116s |      21 |  1972729 |  1475645 |     1276   2854 |        0 |        0
118.87/118.92	c  118s |      21 |  2004508 |  1499345 |     1404   2890 |        0 |        0
118.97/119.02	c  119s |      22 |  2006170 |  1500622 |     1404   2892 |        0 |        0
120.98/121.02	c  121s |      22 |  2040271 |  1524922 |     1404   2926 |        0 |        0
122.97/123.02	c  123s |      22 |  2074426 |  1549422 |     1404   2961 |        0 |        0
124.97/125.03	c  125s |      22 |  2104345 |  1572722 |     1404   2994 |        0 |        0
126.97/127.03	c  127s |      22 |  2136552 |  1596222 |     1404   3027 |        0 |        0
128.97/129.03	c  129s |      22 |  2170550 |  1621222 |     1404   3062 |        0 |        0
130.98/131.03	c  131s |      22 |  2206585 |  1646722 |     1404   3099 |        0 |        0
132.97/133.03	c  133s |      22 |  2239518 |  1670922 |     1404   3133 |        0 |        0
134.97/135.04	c  135s |      22 |  2273601 |  1694822 |     1404   3167 |        0 |        0
136.97/137.05	c  137s |      22 |  2309786 |  1720122 |     1404   3203 |        0 |        0
138.97/139.05	c  139s |      22 |  2345798 |  1746122 |     1404   3240 |        0 |        0
140.97/141.06	c  141s |      22 |  2380656 |  1770722 |     1404   3274 |        0 |        0
142.97/143.06	c  143s |      22 |  2414618 |  1794822 |     1404   3309 |        0 |        0
144.97/145.07	c  145s |      22 |  2442484 |  1816922 |     1404   3340 |        0 |        0
146.97/147.07	c  147s |      22 |  2469326 |  1838222 |     1404   3370 |        0 |        0
148.97/149.08	c  149s |      22 |  2490235 |  1856722 |     1404   3396 |        0 |        0
150.97/151.08	c  151s |      22 |  2519714 |  1879122 |     1404   3428 |        0 |        0
152.97/153.09	c  153s |      22 |  2551204 |  1902422 |     1404   3461 |        0 |        0
154.96/155.09	c  155s |      22 |  2584333 |  1926622 |     1404   3495 |        0 |        0
157.06/157.10	c  157s |      22 |  2617595 |  1951422 |     1404   3530 |        0 |        0
159.06/159.10	c  159s |      22 |  2650861 |  1975522 |     1404   3565 |        0 |        0
161.06/161.10	c  161s |      22 |  2682371 |  1999322 |     1404   3598 |        0 |        0
163.06/163.11	c  163s |      22 |  2715545 |  2023822 |     1404   3633 |        0 |        0
165.07/165.11	c  165s |      22 |  2748492 |  2048622 |     1404   3668 |        0 |        0
167.06/167.11	c  167s |      22 |  2785526 |  2074522 |     1404   3705 |        0 |        0
169.06/169.12	c  169s |      22 |  2822237 |  2100222 |     1404   3741 |        0 |        0
171.06/171.12	c  171s |      22 |  2856431 |  2125322 |     1404   3777 |        0 |        0
173.06/173.12	c  173s |      22 |  2891787 |  2151022 |     1404   3814 |        0 |        0
175.06/175.12	c  175s |      22 |  2924773 |  2176122 |     1404   3849 |        0 |        0
177.07/177.13	c  177s |      22 |  2957939 |  2200522 |     1404   3884 |        0 |        0
179.06/179.14	c  179s |      22 |  2988720 |  2224422 |     1404   3918 |        0 |        0
181.06/181.14	c  181s |      22 |  3021600 |  2248822 |     1545   3951 |        0 |        0
181.26/181.31	c  181s |      23 |  3024844 |  2251038 |     1545   3953 |        0 |        0
183.26/183.32	c  183s |      23 |  3057069 |  2274438 |     1545   3983 |        0 |        0
185.26/185.32	c  185s |      23 |  3088110 |  2298038 |     1545   4014 |        0 |        0
187.26/187.32	c  187s |      23 |  3116231 |  2320238 |     1545   4042 |        0 |        0
189.27/189.33	c  189s |      23 |  3145260 |  2342638 |     1545   4071 |        0 |        0
191.26/191.33	c  191s |      23 |  3175038 |  2364638 |     1545   4099 |        0 |        0
193.26/193.34	c  193s |      23 |  3203398 |  2385838 |     1545   4127 |        0 |        0
195.26/195.35	c  195s |      23 |  3232513 |  2408738 |     1545   4156 |        0 |        0
197.26/197.35	c  197s |      23 |  3262427 |  2431838 |     1545   4186 |        0 |        0
199.26/199.35	c  199s |      23 |  3291692 |  2454638 |     1545   4215 |        0 |        0
201.26/201.35	c  201s |      23 |  3323871 |  2478738 |     1545   4246 |        0 |        0
203.26/203.36	c  203s |      23 |  3355214 |  2502238 |     1545   4277 |        0 |        0
205.25/205.37	c  205s |      23 |  3387164 |  2525638 |     1545   4307 |        0 |        0
207.25/207.37	c  207s |      23 |  3418923 |  2549638 |     1545   4338 |        0 |        0
209.25/209.38	c  209s |      23 |  3450099 |  2573538 |     1545   4368 |        0 |        0
211.26/211.39	c  211s |      23 |  3480155 |  2596438 |     1545   4398 |        0 |        0
213.26/213.39	c  213s |      23 |  3503327 |  2616038 |     1545   4423 |        0 |        0
215.36/215.40	c  215s |      23 |  3531102 |  2638138 |     1545   4451 |        0 |        0
217.35/217.40	c  217s |      23 |  3560353 |  2660838 |     1545   4480 |        0 |        0
219.35/219.41	c  219s |      23 |  3590842 |  2684138 |     1545   4510 |        0 |        0
221.35/221.42	c  221s |      23 |  3618542 |  2705938 |     1545   4538 |        0 |        0
223.36/223.42	c  223s |      23 |  3646695 |  2727138 |     1545   4566 |        0 |        0
225.35/225.43	c  225s |      23 |  3678057 |  2750638 |     1545   4596 |        0 |        0
227.35/227.43	c  227s |      23 |  3707798 |  2773138 |     1545   4625 |        0 |        0
229.34/229.44	c  229s |      23 |  3737986 |  2796138 |     1545   4655 |        0 |        0
231.34/231.45	c  231s |      23 |  3766316 |  2818538 |     1545   4684 |        0 |        0
233.34/233.45	c  233s |      23 |  3794436 |  2841038 |     1545   4713 |        0 |        0
235.35/235.46	c  235s |      23 |  3823600 |  2863538 |     1545   4742 |        0 |        0
237.34/237.47	c  237s |      23 |  3855302 |  2887338 |     1545   4772 |        0 |        0
239.34/239.47	c  239s |      23 |  3885122 |  2909638 |     1545   4801 |        0 |        0
241.34/241.47	c  241s |      23 |  3912528 |  2930338 |     1545   4828 |        0 |        0
243.34/243.47	c  243s |      23 |  3940453 |  2951938 |     1545   4855 |        0 |        0
245.34/245.47	c  245s |      23 |  3968054 |  2973138 |     1545   4883 |        0 |        0
247.34/247.48	c  247s |      23 |  3996594 |  2995538 |     1545   4911 |        0 |        0
249.33/249.48	c  249s |      23 |  4026656 |  3017738 |     1545   4940 |        0 |        0
251.33/251.49	c  251s |      23 |  4055449 |  3040038 |     1545   4969 |        0 |        0
253.33/253.49	c  253s |      23 |  4079545 |  3060338 |     1545   4995 |        0 |        0
255.44/255.50	c  255s |      23 |  4107773 |  3082338 |     1545   5023 |        0 |        0
257.45/257.50	c  257s |      23 |  4139126 |  3105438 |     1545   5053 |        0 |        0
259.44/259.51	c  259s |      23 |  4171143 |  3128938 |     1545   5083 |        0 |        0
261.44/261.51	c  261s |      23 |  4203003 |  3151938 |     1545   5113 |        0 |        0
263.44/263.52	c  263s |      23 |  4234096 |  3174638 |     1545   5142 |        0 |        0
265.44/265.53	c  265s |      23 |  4259933 |  3194938 |     1545   5168 |        0 |        0
267.44/267.53	c  267s |      23 |  4286502 |  3215838 |     1545   5195 |        0 |        0
269.44/269.53	c  269s |      23 |  4314362 |  3238238 |     1545   5224 |        0 |        0
271.43/271.54	c  271s |      23 |  4344239 |  3261138 |     1545   5253 |        0 |        0
273.43/273.54	c  273s |      23 |  4376161 |  3284538 |     1545   5284 |        0 |        0
275.43/275.55	c  275s |      23 |  4406943 |  3308338 |     1545   5314 |        0 |        0
277.43/277.55	c  277s |      23 |  4435448 |  3330438 |     1545   5343 |        0 |        0
279.44/279.55	c  279s |      23 |  4464265 |  3353038 |     1700   5372 |        0 |        0
281.43/281.56	c  281s |      23 |  4494903 |  3376138 |     1700   5399 |        0 |        0
281.54/281.61	c  281s |      24 |  4495498 |  3376662 |     1700   5399 |        0 |        0
283.53/283.61	c  283s |      24 |  4524561 |  3398962 |     1700   5425 |        0 |        0
285.53/285.62	c  285s |      24 |  4556099 |  3422362 |     1700   5453 |        0 |        0
287.53/287.62	c  287s |      24 |  4588924 |  3446662 |     1700   5481 |        0 |        0
289.53/289.62	c  289s |      24 |  4615940 |  3467662 |     1700   5506 |        0 |        0
291.53/291.63	c  291s |      24 |  4645065 |  3489662 |     1700   5532 |        0 |        0
293.53/293.63	c  293s |      24 |  4669463 |  3509962 |     1700   5555 |        0 |        0
295.53/295.63	c  295s |      24 |  4698807 |  3532262 |     1700   5582 |        0 |        0
297.53/297.64	c  297s |      24 |  4729087 |  3555362 |     1700   5609 |        0 |        0
299.52/299.64	c  299s |      24 |  4761395 |  3578762 |     1700   5636 |        0 |        0
301.52/301.64	c  301s |      24 |  4791907 |  3601862 |     1700   5663 |        0 |        0
303.53/303.65	c  303s |      24 |  4820166 |  3623462 |     1700   5688 |        0 |        0
305.52/305.65	c  305s |      24 |  4850672 |  3646362 |     1700   5715 |        0 |        0
307.52/307.65	c  307s |      24 |  4880275 |  3668962 |     1700   5742 |        0 |        0
309.52/309.65	c  309s |      24 |  4908183 |  3690862 |     1700   5767 |        0 |        0
311.52/311.66	c  311s |      24 |  4936096 |  3712162 |     1700   5792 |        0 |        0
313.52/313.66	c  313s |      24 |  4964675 |  3734262 |     1700   5818 |        0 |        0
315.51/315.66	c  315s |      24 |  4992980 |  3756162 |     1700   5844 |        0 |        0
317.51/317.67	c  317s |      24 |  5024520 |  3778662 |     1700   5870 |        0 |        0
319.52/319.67	c  319s |      24 |  5056075 |  3801762 |     1700   5897 |        0 |        0
321.52/321.67	c  321s |      24 |  5089015 |  3825762 |     1700   5925 |        0 |        0
323.52/323.68	c  323s |      24 |  5121964 |  3849562 |     1700   5953 |        0 |        0
325.53/325.68	c  325s |      24 |  5153481 |  3872762 |     1700   5980 |        0 |        0
327.52/327.68	c  327s |      24 |  5182661 |  3894362 |     1700   6006 |        0 |        0
329.51/329.69	c  329s |      24 |  5214303 |  3917562 |     1700   6033 |        0 |        0
331.51/331.69	c  331s |      24 |  5245720 |  3938562 |     1700   6057 |        0 |        0
333.61/333.70	c  333s |      24 |  5273849 |  3960062 |     1700   6083 |        0 |        0
335.61/335.72	c  335s |      24 |  5295863 |  3978662 |     1700   6104 |        0 |        0
337.62/337.72	c  337s |      24 |  5321992 |  3999062 |     1700   6128 |        0 |        0
339.61/339.72	c  339s |      24 |  5351460 |  4021462 |     1700   6155 |        0 |        0
341.61/341.73	c  341s |      24 |  5382682 |  4044962 |     1700   6182 |        0 |        0
343.61/343.74	c  343s |      24 |  5410814 |  4066762 |     1700   6208 |        0 |        0
345.61/345.75	c  345s |      24 |  5439863 |  4089362 |     1700   6234 |        0 |        0
347.61/347.75	c  347s |      24 |  5469146 |  4111862 |     1700   6260 |        0 |        0
349.60/349.75	c  349s |      24 |  5496725 |  4133462 |     1700   6286 |        0 |        0
351.60/351.76	c  351s |      24 |  5526217 |  4156462 |     1700   6313 |        0 |        0
353.60/353.76	c  353s |      24 |  5556161 |  4179362 |     1700   6340 |        0 |        0
355.60/355.76	c  355s |      24 |  5585472 |  4202062 |     1700   6366 |        0 |        0
357.60/357.76	c  357s |      24 |  5615797 |  4224362 |     1700   6393 |        0 |        0
359.60/359.76	c  359s |      24 |  5643969 |  4246062 |     1700   6418 |        0 |        0
361.59/361.77	c  361s |      24 |  5672579 |  4267662 |     1700   6443 |        0 |        0
363.60/363.77	c  363s |      24 |  5699205 |  4289162 |     1700   6469 |        0 |        0
365.60/365.78	c  365s |      24 |  5727698 |  4310562 |     1700   6494 |        0 |        0
367.60/367.78	c  367s |      24 |  5756163 |  4332262 |     1700   6519 |        0 |        0
369.60/369.79	c  369s |      24 |  5781894 |  4352062 |     1700   6542 |        0 |        0
371.59/371.79	c  371s |      24 |  5808569 |  4371562 |     1700   6565 |        0 |        0
373.59/373.79	c  373s |      24 |  5829874 |  4389562 |     1700   6586 |        0 |        0
375.69/375.80	c  375s |      24 |  5854131 |  4408262 |     1700   6608 |        0 |        0
377.69/377.80	c  377s |      24 |  5881006 |  4427162 |     1700   6630 |        0 |        0
379.69/379.80	c  379s |      24 |  5908517 |  4448262 |     1700   6655 |        0 |        0
381.59/381.80	c  381s |      24 |  5937403 |  4470362 |     1700   6680 |        0 |        0
383.69/383.81	c  383s |      24 |  5964105 |  4490862 |     1700   6704 |        0 |        0
385.69/385.81	c  385s |      24 |  5994569 |  4513262 |     1700   6731 |        0 |        0
387.69/387.81	c  387s |      24 |  6025379 |  4536262 |     1700   6758 |        0 |        0
389.68/389.82	c  389s |      24 |  6058184 |  4560262 |     1700   6786 |        0 |        0
391.68/391.82	c  391s |      24 |  6092274 |  4585562 |     1700   6815 |        0 |        0
393.69/393.83	c  393s |      24 |  6126179 |  4610562 |     1700   6844 |        0 |        0
395.68/395.83	c  395s |      24 |  6160888 |  4636062 |     1700   6874 |        0 |        0
397.68/397.84	c  397s |      24 |  6192350 |  4659662 |     1700   6902 |        0 |        0
399.67/399.84	c  399s |      24 |  6223753 |  4683162 |     1700   6929 |        0 |        0
401.67/401.85	c  401s |      24 |  6259509 |  4708662 |     1700   6959 |        0 |        0
403.68/403.86	c  403s |      24 |  6293849 |  4733662 |     1700   6989 |        0 |        0
405.67/405.86	c  405s |      24 |  6326606 |  4757662 |     1700   7017 |        0 |        0
407.67/407.86	c  407s |      24 |  6361158 |  4782962 |     1700   7046 |        0 |        0
409.67/409.86	c  409s |      24 |  6394939 |  4807762 |     1700   7075 |        0 |        0
411.67/411.87	c  411s |      24 |  6425559 |  4831562 |     1700   7103 |        0 |        0
413.67/413.87	c  413s |      24 |  6457794 |  4856162 |     1700   7132 |        0 |        0
415.68/415.87	c  415s |      24 |  6490786 |  4880662 |     1700   7161 |        0 |        0
417.67/417.88	c  417s |      24 |  6521751 |  4904362 |     1700   7188 |        0 |        0
419.67/419.89	c  419s |      24 |  6554019 |  4929062 |     1700   7217 |        0 |        0
421.77/421.90	c  421s |      24 |  6579922 |  4950662 |     1700   7243 |        0 |        0
423.77/423.90	c  423s |      24 |  6606262 |  4971562 |     1700   7267 |        0 |        0
425.77/425.90	c  425s |      24 |  6639074 |  4996562 |     1700   7296 |        0 |        0
427.67/427.90	c  427s |      24 |  6671824 |  5020562 |     1700   7324 |        0 |        0
429.77/429.90	c  429s |      24 |  6702151 |  5043762 |     1871   7350 |        0 |        0
431.47/431.67	c  431s |      25 |  6731695 |  5065098 |     1871   7372 |        0 |        0
433.47/433.68	c  433s |      25 |  6763000 |  5088298 |     1871   7397 |        0 |        0
435.48/435.68	c  435s |      25 |  6794157 |  5111398 |     1871   7422 |        0 |        0
437.47/437.69	c  437s |      25 |  6826084 |  5134398 |     1871   7446 |        0 |        0
439.46/439.69	c  439s |      25 |  6859059 |  5158298 |     1871   7472 |        0 |        0
441.56/441.70	c  441s |      25 |  6891470 |  5182398 |     1871   7497 |        0 |        0
443.56/443.71	c  443s |      25 |  6923350 |  5206098 |     1871   7523 |        0 |        0
445.56/445.72	c  445s |      25 |  6957995 |  5230598 |     1871   7549 |        0 |        0
447.57/447.72	c  447s |      25 |  6993260 |  5255598 |     1871   7575 |        0 |        0
449.56/449.72	c  449s |      25 |  7025771 |  5279398 |     1871   7600 |        0 |        0
451.56/451.73	c  451s |      25 |  7054106 |  5301298 |     1871   7624 |        0 |        0
453.56/453.74	c  453s |      25 |  7082007 |  5323598 |     1871   7648 |        0 |        0
455.56/455.74	c  455s |      25 |  7112044 |  5345998 |     1871   7671 |        0 |        0
457.56/457.75	c  457s |      25 |  7143300 |  5369498 |     1871   7696 |        0 |        0
459.55/459.76	c  459s |      25 |  7171045 |  5391098 |     1871   7719 |        0 |        0
461.55/461.76	c  461s |      25 |  7202585 |  5414898 |     1871   7745 |        0 |        0
463.55/463.76	c  463s |      25 |  7232467 |  5437798 |     1871   7769 |        0 |        0
465.55/465.76	c  465s |      25 |  7263085 |  5461098 |     1871   7794 |        0 |        0
467.55/467.77	c  467s |      25 |  7294769 |  5484698 |     1871   7819 |        0 |        0
469.55/469.78	c  469s |      25 |  7324315 |  5507498 |     1871   7842 |        1 |        4
471.55/471.78	c  471s |      25 |  7356848 |  5530898 |     1871   7867 |        1 |        4
473.55/473.78	c  473s |      25 |  7389091 |  5554698 |     1871   7892 |        1 |        4
475.55/475.79	c  475s |      25 |  7424290 |  5579498 |     1871   7919 |        1 |        4
477.55/477.79	c  477s |      25 |  7457865 |  5604498 |     1871   7945 |        1 |        4
479.55/479.79	c  479s |      25 |  7489046 |  5628398 |     1871   7971 |        1 |        4
481.54/481.80	c  481s |      25 |  7524025 |  5654098 |     1871   7998 |        1 |        4
483.64/483.81	c  483s |      25 |  7547233 |  5673198 |     1871   8018 |        1 |        4
485.64/485.81	c  485s |      25 |  7577694 |  5696098 |     1871   8043 |        1 |        4
487.64/487.81	c  487s |      25 |  7612182 |  5720898 |     1871   8069 |        1 |        4
489.64/489.82	c  489s |      25 |  7645605 |  5746098 |     1871   8095 |        2 |        8
491.64/491.82	c  491s |      25 |  7679093 |  5770598 |     1871   8121 |        2 |        8
493.63/493.82	c  493s |      25 |  7713553 |  5795698 |     1871   8148 |        2 |        8
495.63/495.82	c  495s |      25 |  7747967 |  5820698 |     1871   8174 |        2 |        8
497.63/497.82	c  497s |      25 |  7783316 |  5846098 |     1871   8201 |        2 |        8
499.63/499.83	c  499s |      25 |  7815462 |  5870298 |     1871   8227 |        2 |        8
501.63/501.83	c  501s |      25 |  7849434 |  5895198 |     1871   8254 |        2 |        8
503.63/503.83	c  503s |      25 |  7886070 |  5921398 |     1871   8281 |        3 |       12
505.63/505.84	c  505s |      25 |  7916396 |  5945098 |     1871   8306 |        3 |       12
507.62/507.85	c  507s |      25 |  7947689 |  5969198 |     1871   8332 |        3 |       12
509.62/509.85	c  509s |      25 |  7980951 |  5994198 |     1871   8358 |        3 |       12
511.62/511.86	c  511s |      25 |  8015209 |  6018998 |     1871   8384 |        4 |       16
513.63/513.86	c  513s |      25 |  8047101 |  6043598 |     1871   8410 |        4 |       16
515.63/515.87	c  515s |      25 |  8078446 |  6066998 |     1871   8435 |        4 |       16
517.63/517.87	c  517s |      25 |  8109283 |  6089998 |     1871   8459 |        4 |       16
519.62/519.87	c  519s |      25 |  8143044 |  6114598 |     1871   8484 |        5 |       20
521.62/521.88	c  521s |      25 |  8178193 |  6140198 |     1871   8510 |        6 |       24
523.62/523.88	c  523s |      25 |  8213390 |  6166398 |     1871   8537 |        7 |       28
524.72/524.97	c  524s |      25 |  8232047 |  6181289 |     1871   8549 |       24 |       80
524.72/524.97	c #cpu_time = 524.844s
524.72/524.97	c #wall_clock_time = 524.952s
524.72/524.97	c #decision = 8232047
524.72/524.97	c #random_decision = 40088
524.72/524.97	c #conflict = 6181289
524.72/524.97	c #restart = 25
524.72/524.97	s UNSATISFIABLE
524.72/524.97	c total CPU time = 524.864s
524.72/524.97	c total wall clock time = 524.972s

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

pid=16644
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.18 2.19 2.09 3/179 16647
/proc/meminfo: memFree=28014004/32872528 swapFree=1254912/1391860
[pid=16647] ppid=16644 vsize=778684 CPUtime=0 cores=0,2,4,6
/proc/16647/stat : 16647 (toysat) R 16644 16647 16091 0 -1 4202496 2914 0 0 0 0 0 0 0 20 0 4 0 12028748 797372416 3275 33554432000 4194304 16246674 140733658049152 140733658048576 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16647/statm: 195439 3283 441 2943 0 192333 0
[pid=16647/tid=16648] ppid=16644 vsize=796092 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16648/stat : 16648 (toysat) S 16644 16647 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12028748 815198208 3339 33554432000 4194304 16246674 140733658049152 139733338402032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16647/tid=16649] ppid=16644 vsize=800188 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16649/stat : 16649 (toysat) S 16644 16647 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12028748 819392512 3358 33554432000 4194304 16246674 140733658049152 139733327912176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16647/tid=16650] ppid=16644 vsize=805308 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16650/stat : 16650 (toysat) S 16644 16647 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12028748 824635392 3379 33554432000 4194304 16246674 140733658049152 139733317438640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.18 2.19 2.09 3/179 16647
/proc/meminfo: memFree=28014004/32872528 swapFree=1254912/1391860
[pid=16647] ppid=16644 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/16647/stat : 16647 (toysat) R 16644 16647 16091 0 -1 4202496 25735 0 0 0 5 4 0 0 20 0 4 0 12028748 1247350784 26085 33554432000 4194304 16246674 140733658049152 140733658048576 5828874 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16647/statm: 304529 26096 708 2943 0 301423 0
[pid=16647/tid=16648] ppid=16644 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16648/stat : 16648 (toysat) S 16644 16647 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12028748 1247350784 26104 33554432000 4194304 16246674 140733658049152 139733338402032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16647/tid=16649] ppid=16644 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16649/stat : 16649 (toysat) S 16644 16647 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12028748 1247350784 26110 33554432000 4194304 16246674 140733658049152 139733327912176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16647/tid=16650] ppid=16644 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16650/stat : 16650 (toysat) S 16644 16647 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12028748 1247350784 26117 33554432000 4194304 16246674 140733658049152 139733317438640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200393 s]
/proc/loadavg: 2.18 2.19 2.09 3/179 16647
/proc/meminfo: memFree=28014004/32872528 swapFree=1254912/1391860
[pid=16647] ppid=16644 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/16647/stat : 16647 (toysat) R 16644 16647 16091 0 -1 4202496 49918 0 0 0 12 7 0 0 20 0 4 0 12028748 1247350784 50267 33554432000 4194304 16246674 140733658049152 140733658048576 6021133 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16647/statm: 304529 50280 708 2943 0 301423 0
[pid=16647/tid=16648] ppid=16644 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16648/stat : 16648 (toysat) S 16644 16647 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12028748 1247350784 50287 33554432000 4194304 16246674 140733658049152 139733338402032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16647/tid=16649] ppid=16644 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16649/stat : 16649 (toysat) S 16644 16647 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12028748 1247350784 50295 33554432000 4194304 16246674 140733658049152 139733327912176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16647/tid=16650] ppid=16644 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16650/stat : 16650 (toysat) S 16644 16647 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12028748 1247350784 50300 33554432000 4194304 16246674 140733658049152 139733317438640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300459 s]
/proc/loadavg: 2.18 2.19 2.09 3/179 16647
/proc/meminfo: memFree=28014004/32872528 swapFree=1254912/1391860
[pid=16647] ppid=16644 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/16647/stat : 16647 (toysat) R 16644 16647 16091 0 -1 4202496 73700 0 0 0 18 11 0 0 20 0 4 0 12028748 1247350784 74049 33554432000 4194304 16246674 140733658049152 140733658031040 6011022 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16647/statm: 304529 74059 708 2943 0 301423 0
[pid=16647/tid=16648] ppid=16644 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16648/stat : 16648 (toysat) S 16644 16647 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12028748 1247350784 74064 33554432000 4194304 16246674 140733658049152 139733338402032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16647/tid=16649] ppid=16644 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16649/stat : 16649 (toysat) S 16644 16647 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12028748 1247350784 74068 33554432000 4194304 16246674 140733658049152 139733327912176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16647/tid=16650] ppid=16644 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16650/stat : 16650 (toysat) S 16644 16647 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12028748 1247350784 74074 33554432000 4194304 16246674 140733658049152 139733317438640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700353 s]
/proc/loadavg: 2.18 2.19 2.09 3/179 16647
/proc/meminfo: memFree=28014004/32872528 swapFree=1254912/1391860
[pid=16647] ppid=16644 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/16647/stat : 16647 (toysat) R 16644 16647 16091 0 -1 4202496 169092 0 0 0 45 24 0 0 20 0 4 0 12028748 1247350784 169442 33554432000 4194304 16246674 140733658049152 140733658031040 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16647/statm: 304529 169452 708 2943 0 301423 0
[pid=16647/tid=16648] ppid=16644 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16648/stat : 16648 (toysat) S 16644 16647 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12028748 1247350784 169461 33554432000 4194304 16246674 140733658049152 139733338402032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16647/tid=16649] ppid=16644 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16649/stat : 16649 (toysat) S 16644 16647 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12028748 1247350784 169466 33554432000 4194304 16246674 140733658049152 139733327912176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16647/tid=16650] ppid=16644 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16650/stat : 16650 (toysat) S 16644 16647 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12028748 1247350784 169476 33554432000 4194304 16246674 140733658049152 139733317438640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50036 s]
/proc/loadavg: 2.18 2.19 2.09 3/183 16651
/proc/meminfo: memFree=27031340/32872528 swapFree=1254912/1391860
[pid=16647] ppid=16644 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/16647/stat : 16647 (toysat) R 16644 16647 16091 0 -1 4202496 245604 0 0 0 112 37 0 0 20 0 4 0 12028748 1248399360 245933 33554432000 4194304 16246674 140733658049152 140733658032152 6021565 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16647/statm: 304785 245933 785 2943 0 301679 0
[pid=16647/tid=16648] ppid=16644 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16648/stat : 16648 (toysat) S 16644 16647 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12028748 1248399360 245933 33554432000 4194304 16246674 140733658049152 139733338402032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16647/tid=16649] ppid=16644 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16649/stat : 16649 (toysat) S 16644 16647 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12028748 1248399360 245933 33554432000 4194304 16246674 140733658049152 139733327912176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16647/tid=16650] ppid=16644 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16650/stat : 16650 (toysat) S 16644 16647 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12028748 1248399360 245933 33554432000 4194304 16246674 140733658049152 139733317438640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10035 s]
/proc/loadavg: 2.17 2.19 2.09 3/183 16651
/proc/meminfo: memFree=26944168/32872528 swapFree=1254912/1391860
[pid=16647] ppid=16644 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/16647/stat : 16647 (toysat) R 16644 16647 16091 0 -1 4202496 267432 0 0 0 269 40 0 0 20 0 4 0 12028748 1337528320 267761 33554432000 4194304 16246674 140733658049152 140733658031040 5572696 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16647/statm: 326545 267761 785 2943 0 323439 0
[pid=16647/tid=16648] ppid=16644 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16648/stat : 16648 (toysat) S 16644 16647 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12028748 1337528320 267761 33554432000 4194304 16246674 140733658049152 139733338402032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16647/tid=16649] ppid=16644 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16649/stat : 16649 (toysat) S 16644 16647 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12028748 1337528320 267761 33554432000 4194304 16246674 140733658049152 139733327912176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16647/tid=16650] ppid=16644 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16650/stat : 16650 (toysat) S 16644 16647 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12028748 1337528320 267761 33554432000 4194304 16246674 140733658049152 139733317438640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30036 s]
/proc/loadavg: 2.17 2.19 2.09 3/183 16651
/proc/meminfo: memFree=26943424/32872528 swapFree=1254912/1391860
[pid=16647] ppid=16644 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/16647/stat : 16647 (toysat) R 16644 16647 16091 0 -1 4202496 267435 0 0 0 589 40 0 0 20 0 4 0 12028748 1337528320 267764 33554432000 4194304 16246674 140733658049152 140733658031040 5675656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16647/statm: 326545 267764 786 2943 0 323439 0
[pid=16647/tid=16648] ppid=16644 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16648/stat : 16648 (toysat) S 16644 16647 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12028748 1337528320 267764 33554432000 4194304 16246674 140733658049152 139733338402032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16647/tid=16649] ppid=16644 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16649/stat : 16649 (toysat) S 16644 16647 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12028748 1337528320 267764 33554432000 4194304 16246674 140733658049152 139733327912176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16647/tid=16650] ppid=16644 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16650/stat : 16650 (toysat) S 16644 16647 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12028748 1337528320 267764 33554432000 4194304 16246674 140733658049152 139733317438640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.14 2.18 2.09 4/183 16651
/proc/meminfo: memFree=26943096/32872528 swapFree=1254912/1391860
[pid=16647] ppid=16644 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/16647/stat : 16647 (toysat) R 16644 16647 16091 0 -1 4202496 267577 0 0 0 1229 40 0 0 20 0 4 0 12028748 1338576896 267906 33554432000 4194304 16246674 140733658049152 140733658032152 5672971 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16647/statm: 326801 267906 788 2943 0 323695 0
[pid=16647/tid=16648] ppid=16644 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16648/stat : 16648 (toysat) S 16644 16647 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12028748 1338576896 267906 33554432000 4194304 16246674 140733658049152 139733338402032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16647/tid=16649] ppid=16644 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16649/stat : 16649 (toysat) S 16644 16647 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12028748 1338576896 267906 33554432000 4194304 16246674 140733658049152 139733327912176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16647/tid=16650] ppid=16644 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16650/stat : 16650 (toysat) S 16644 16647 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12028748 1338576896 267906 33554432000 4194304 16246674 140733658049152 139733317438640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.20 2.19 2.09 4/183 16651
/proc/meminfo: memFree=26942520/32872528 swapFree=1254912/1391860
[pid=16647] ppid=16644 vsize=1307204 CPUtime=25.49 cores=0,2,4,6
/proc/16647/stat : 16647 (toysat) R 16644 16647 16091 0 -1 4202496 267826 0 0 0 2509 40 0 0 20 0 4 0 12028748 1338576896 268155 33554432000 4194304 16246674 140733658049152 140733658032152 12483272 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16647/statm: 326801 268155 789 2943 0 323695 0
[pid=16647/tid=16648] ppid=16644 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16648/stat : 16648 (toysat) S 16644 16647 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12028748 1338576896 268155 33554432000 4194304 16246674 140733658049152 139733338402032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16647/tid=16649] ppid=16644 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16649/stat : 16649 (toysat) S 16644 16647 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12028748 1338576896 268155 33554432000 4194304 16246674 140733658049152 139733327912176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16647/tid=16650] ppid=16644 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16650/stat : 16650 (toysat) S 16644 16647 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12028748 1338576896 268155 33554432000 4194304 16246674 140733658049152 139733317438640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.13 2.17 2.09 4/183 16651
/proc/meminfo: memFree=26942612/32872528 swapFree=1254912/1391860
[pid=16647] ppid=16644 vsize=1307204 CPUtime=51.09 cores=0,2,4,6
/proc/16647/stat : 16647 (toysat) R 16644 16647 16091 0 -1 4202496 267826 0 0 0 5068 41 0 0 20 0 4 0 12028748 1338576896 268155 33554432000 4194304 16246674 140733658049152 140733658032152 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16647/statm: 326801 268155 789 2943 0 323695 0
[pid=16647/tid=16648] ppid=16644 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16648/stat : 16648 (toysat) S 16644 16647 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12028748 1338576896 268155 33554432000 4194304 16246674 140733658049152 139733338402032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16647/tid=16649] ppid=16644 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16649/stat : 16649 (toysat) S 16644 16647 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12028748 1338576896 268155 33554432000 4194304 16246674 140733658049152 139733327912176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16647/tid=16650] ppid=16644 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16650/stat : 16650 (toysat) S 16644 16647 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12028748 1338576896 268155 33554432000 4194304 16246674 140733658049152 139733317438640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.24 2.19 2.10 3/183 16652
/proc/meminfo: memFree=26940508/32872528 swapFree=1254912/1391860
[pid=16647] ppid=16644 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/16647/stat : 16647 (toysat) R 16644 16647 16091 0 -1 4202496 267827 0 0 0 10186 42 0 0 20 0 4 0 12028748 1338576896 268156 33554432000 4194304 16246674 140733658049152 140733658032152 5672838 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16647/statm: 326801 268156 790 2943 0 323695 0
[pid=16647/tid=16648] ppid=16644 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16648/stat : 16648 (toysat) S 16644 16647 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12028748 1338576896 268156 33554432000 4194304 16246674 140733658049152 139733338402032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16647/tid=16649] ppid=16644 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16649/stat : 16649 (toysat) S 16644 16647 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12028748 1338576896 268156 33554432000 4194304 16246674 140733658049152 139733327912176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16647/tid=16650] ppid=16644 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16650/stat : 16650 (toysat) S 16644 16647 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12028748 1338576896 268156 33554432000 4194304 16246674 140733658049152 139733317438640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204

[startup+162.3 s]
/proc/loadavg: 2.26 2.20 2.10 4/184 16755
/proc/meminfo: memFree=26944608/32872528 swapFree=1254912/1391860
[pid=16647] ppid=16644 vsize=1307204 CPUtime=162.26 cores=0,2,4,6
/proc/16647/stat : 16647 (toysat) R 16644 16647 16091 0 -1 4202496 267828 0 0 0 16183 43 0 0 20 0 4 0 12028748 1338576896 268159 33554432000 4194304 16246674 140733658049152 140733658032152 5754801 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16647/statm: 326801 268159 790 2943 0 323695 0
[pid=16647/tid=16648] ppid=16644 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16648/stat : 16648 (toysat) S 16644 16647 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12028748 1338576896 268159 33554432000 4194304 16246674 140733658049152 139733338402032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16647/tid=16649] ppid=16644 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16649/stat : 16649 (toysat) S 16644 16647 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12028748 1338576896 268159 33554432000 4194304 16246674 140733658049152 139733327912176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16647/tid=16650] ppid=16644 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16650/stat : 16650 (toysat) S 16644 16647 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12028748 1338576896 268159 33554432000 4194304 16246674 140733658049152 139733317438640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1307204

[startup+222.308 s]
/proc/loadavg: 2.24 2.20 2.11 3/183 16756
/proc/meminfo: memFree=26943720/32872528 swapFree=1254912/1391860
[pid=16647] ppid=16644 vsize=1307204 CPUtime=222.26 cores=0,2,4,6
/proc/16647/stat : 16647 (toysat) R 16644 16647 16091 0 -1 4202496 267834 0 0 0 22181 45 0 0 20 0 4 0 12028748 1338576896 268160 33554432000 4194304 16246674 140733658049152 140733658031040 13927305 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16647/statm: 326801 268160 791 2943 0 323695 0
[pid=16647/tid=16648] ppid=16644 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16648/stat : 16648 (toysat) S 16644 16647 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12028748 1338576896 268160 33554432000 4194304 16246674 140733658049152 139733338402032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16647/tid=16649] ppid=16644 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16649/stat : 16649 (toysat) S 16644 16647 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12028748 1338576896 268160 33554432000 4194304 16246674 140733658049152 139733327912176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16647/tid=16650] ppid=16644 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16650/stat : 16650 (toysat) S 16644 16647 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12028748 1338576896 268160 33554432000 4194304 16246674 140733658049152 139733317438640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1307204

[startup+282.3 s]
/proc/loadavg: 2.25 2.21 2.11 3/183 16757
/proc/meminfo: memFree=26943376/32872528 swapFree=1254912/1391860
[pid=16647] ppid=16644 vsize=1308228 CPUtime=282.23 cores=0,2,4,6
/proc/16647/stat : 16647 (toysat) R 16644 16647 16091 0 -1 4202496 267911 0 0 0 28177 46 0 0 20 0 4 0 12028748 1339625472 268213 33554432000 4194304 16246674 140733658049152 140733658031040 5822240 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16647/statm: 327057 268213 791 2943 0 323951 0
[pid=16647/tid=16648] ppid=16644 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16648/stat : 16648 (toysat) S 16644 16647 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12028748 1339625472 268213 33554432000 4194304 16246674 140733658049152 139733338402032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16647/tid=16649] ppid=16644 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16649/stat : 16649 (toysat) S 16644 16647 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12028748 1339625472 268213 33554432000 4194304 16246674 140733658049152 139733327912176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16647/tid=16650] ppid=16644 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16650/stat : 16650 (toysat) S 16644 16647 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12028748 1339625472 268213 33554432000 4194304 16246674 140733658049152 139733317438640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1308228

[startup+342.3 s]
/proc/loadavg: 2.19 2.20 2.11 3/183 16758
/proc/meminfo: memFree=26942908/32872528 swapFree=1254912/1391860
[pid=16647] ppid=16644 vsize=1308228 CPUtime=342.21 cores=0,2,4,6
/proc/16647/stat : 16647 (toysat) R 16644 16647 16091 0 -1 4202496 268032 0 0 0 34174 47 0 0 20 0 4 0 12028748 1339625472 268312 33554432000 4194304 16246674 140733658049152 140733658031040 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16647/statm: 327057 268312 791 2943 0 323951 0
[pid=16647/tid=16648] ppid=16644 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16648/stat : 16648 (toysat) S 16644 16647 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12028748 1339625472 268312 33554432000 4194304 16246674 140733658049152 139733338402032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16647/tid=16649] ppid=16644 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16649/stat : 16649 (toysat) S 16644 16647 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12028748 1339625472 268312 33554432000 4194304 16246674 140733658049152 139733327912176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16647/tid=16650] ppid=16644 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16650/stat : 16650 (toysat) S 16644 16647 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12028748 1339625472 268312 33554432000 4194304 16246674 140733658049152 139733317438640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1308228

[startup+402.3 s]
/proc/loadavg: 2.20 2.19 2.11 4/183 16759
/proc/meminfo: memFree=26942568/32872528 swapFree=1254912/1391860
[pid=16647] ppid=16644 vsize=1308228 CPUtime=402.17 cores=0,2,4,6
/proc/16647/stat : 16647 (toysat) R 16644 16647 16091 0 -1 4202496 268071 0 0 0 40169 48 0 0 20 0 4 0 12028748 1339625472 268312 33554432000 4194304 16246674 140733658049152 140733658031040 5677802 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16647/statm: 327057 268312 791 2943 0 323951 0
[pid=16647/tid=16648] ppid=16644 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16648/stat : 16648 (toysat) S 16644 16647 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12028748 1339625472 268312 33554432000 4194304 16246674 140733658049152 139733338402032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16647/tid=16649] ppid=16644 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16649/stat : 16649 (toysat) S 16644 16647 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12028748 1339625472 268312 33554432000 4194304 16246674 140733658049152 139733327912176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16647/tid=16650] ppid=16644 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16650/stat : 16650 (toysat) S 16644 16647 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12028748 1339625472 268312 33554432000 4194304 16246674 140733658049152 139733317438640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 1308228

[startup+462.3 s]
/proc/loadavg: 2.17 2.18 2.11 3/183 16761
/proc/meminfo: memFree=26940524/32872528 swapFree=1254912/1391860
[pid=16647] ppid=16644 vsize=1310276 CPUtime=462.15 cores=0,2,4,6
/proc/16647/stat : 16647 (toysat) R 16644 16647 16091 0 -1 4202496 268490 0 0 0 46166 49 0 0 20 0 4 0 12028748 1341722624 268705 33554432000 4194304 16246674 140733658049152 140733658031040 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16647/statm: 327569 268705 791 2943 0 324463 0
[pid=16647/tid=16648] ppid=16644 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16648/stat : 16648 (toysat) S 16644 16647 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12028748 1341722624 268705 33554432000 4194304 16246674 140733658049152 139733338402032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16647/tid=16649] ppid=16644 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16649/stat : 16649 (toysat) S 16644 16647 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12028748 1341722624 268705 33554432000 4194304 16246674 140733658049152 139733327912176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16647/tid=16650] ppid=16644 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16650/stat : 16650 (toysat) S 16644 16647 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12028748 1341722624 268705 33554432000 4194304 16246674 140733658049152 139733317438640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 1310276

[startup+522.3 s]
/proc/loadavg: 2.27 2.21 2.12 3/183 16762
/proc/meminfo: memFree=26940204/32872528 swapFree=1254912/1391860
[pid=16647] ppid=16644 vsize=1310276 CPUtime=522.12 cores=0,2,4,6
/proc/16647/stat : 16647 (toysat) R 16644 16647 16091 0 -1 4202496 268529 0 0 0 52161 51 0 0 20 0 4 0 12028748 1341722624 268705 33554432000 4194304 16246674 140733658049152 140733658031040 13198389 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16647/statm: 327569 268705 791 2943 0 324463 0
[pid=16647/tid=16648] ppid=16644 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16648/stat : 16648 (toysat) S 16644 16647 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12028748 1341722624 268705 33554432000 4194304 16246674 140733658049152 139733338402032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16647/tid=16649] ppid=16644 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16649/stat : 16649 (toysat) S 16644 16647 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12028748 1341722624 268705 33554432000 4194304 16246674 140733658049152 139733327912176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16647/tid=16650] ppid=16644 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16650/stat : 16650 (toysat) S 16644 16647 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12028748 1341722624 268705 33554432000 4194304 16246674 140733658049152 139733317438640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 1310276

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

[startup+523.2 s]
/proc/loadavg: 2.25 2.21 2.12 3/183 16762
/proc/meminfo: memFree=26940460/32872528 swapFree=1254912/1391860
[pid=16647] ppid=16644 vsize=1310276 CPUtime=523.02 cores=0,2,4,6
/proc/16647/stat : 16647 (toysat) R 16644 16647 16091 0 -1 4202496 268529 0 0 0 52251 51 0 0 20 0 4 0 12028748 1341722624 268705 33554432000 4194304 16246674 140733658049152 140733658031040 13198652 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16647/statm: 327569 268705 791 2943 0 324463 0
[pid=16647/tid=16648] ppid=16644 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16648/stat : 16648 (toysat) S 16644 16647 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12028748 1341722624 268705 33554432000 4194304 16246674 140733658049152 139733338402032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16647/tid=16649] ppid=16644 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16649/stat : 16649 (toysat) S 16644 16647 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12028748 1341722624 268705 33554432000 4194304 16246674 140733658049152 139733327912176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16647/tid=16650] ppid=16644 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16650/stat : 16650 (toysat) S 16644 16647 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12028748 1341722624 268705 33554432000 4194304 16246674 140733658049152 139733317438640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 523.02
Current children cumulated vsize (KiB) 1310276

[startup+524 s]
/proc/loadavg: 2.25 2.21 2.12 3/183 16762
/proc/meminfo: memFree=26940504/32872528 swapFree=1254912/1391860
[pid=16647] ppid=16644 vsize=1310276 CPUtime=523.82 cores=0,2,4,6
/proc/16647/stat : 16647 (toysat) R 16644 16647 16091 0 -1 4202496 268529 0 0 0 52331 51 0 0 20 0 4 0 12028748 1341722624 268705 33554432000 4194304 16246674 140733658049152 140733658031040 5546107 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16647/statm: 327569 268705 791 2943 0 324463 0
[pid=16647/tid=16648] ppid=16644 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16648/stat : 16648 (toysat) S 16644 16647 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12028748 1341722624 268705 33554432000 4194304 16246674 140733658049152 139733338402032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16647/tid=16649] ppid=16644 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16649/stat : 16649 (toysat) S 16644 16647 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12028748 1341722624 268705 33554432000 4194304 16246674 140733658049152 139733327912176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16647/tid=16650] ppid=16644 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16650/stat : 16650 (toysat) S 16644 16647 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12028748 1341722624 268705 33554432000 4194304 16246674 140733658049152 139733317438640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 523.82
Current children cumulated vsize (KiB) 1310276

[startup+524.807 s]
/proc/loadavg: 2.25 2.21 2.12 3/183 16762
/proc/meminfo: memFree=26940504/32872528 swapFree=1254912/1391860
[pid=16647] ppid=16644 vsize=1310276 CPUtime=524.63 cores=0,2,4,6
/proc/16647/stat : 16647 (toysat) R 16644 16647 16091 0 -1 4202496 268529 0 0 0 52412 51 0 0 20 0 4 0 12028748 1341722624 268705 33554432000 4194304 16246674 140733658049152 140733658031040 5823367 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16647/statm: 327569 268705 791 2943 0 324463 0
[pid=16647/tid=16648] ppid=16644 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16648/stat : 16648 (toysat) S 16644 16647 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12028748 1341722624 268705 33554432000 4194304 16246674 140733658049152 139733338402032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16647/tid=16649] ppid=16644 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16649/stat : 16649 (toysat) S 16644 16647 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12028748 1341722624 268705 33554432000 4194304 16246674 140733658049152 139733327912176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16647/tid=16650] ppid=16644 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16647/task/16650/stat : 16650 (toysat) S 16644 16647 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12028748 1341722624 268705 33554432000 4194304 16246674 140733658049152 139733317438640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 524.63
Current children cumulated vsize (KiB) 1310276

[startup+525 s]
/proc/loadavg: 2.25 2.21 2.12 3/183 16762
/proc/meminfo: memFree=26940504/32872528 swapFree=1254912/1391860
[pid=16647] ppid=16644 vsize=0 CPUtime=524.82 cores=0,2,4,6
/proc/16647/stat : 16647 (toysat) R 16644 16647 16091 0 -1 4202500 268534 0 0 0 52429 53 0 0 20 0 1 0 12028748 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16647/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 524.82
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 525.002
CPU time (s): 524.833
CPU user time (s): 524.291
CPU system time (s): 0.541917
CPU usage (%): 99.9678
Max. virtual memory (cumulated for all children) (KiB): 1310276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 524.291
system time used= 0.541917
maximum resident set size= 1074832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268534
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= 174
involuntary context switches= 571

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.38979 second user time and 2.01869 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-30 20:17:59
IDJOB=4120234
IDBENCH=109842
IDSOLVER=2542
FILE ID=node119/4120234-1467310679
RUNJOBID= node119-1467308805-16107
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-n92-d3-i1-r1.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-4120234-1467310679/watcher-4120234-1467310679 -o /tmp/evaluation-result-4120234-1467310679/solver-4120234-1467310679 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467308805-16107 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120234-1467310679.opb

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

MD5SUM BENCH= 2b5eccd64f0fa8389c9bc1072659d200
RANDOM SEED=1250122022

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:        28014556 kB
Buffers:          198352 kB
Cached:          1430592 kB
SwapCached:            0 kB
Active:          1345284 kB
Inactive:        1373668 kB
Active(anon):    1086548 kB
Inactive(anon):     5936 kB
Active(file):     258736 kB
Inactive(file):  1367732 kB
Unevictable:     1391860 kB
Mlocked:         1254912 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16320 kB
Writeback:             0 kB
AnonPages:       2559004 kB
Mapped:            17120 kB
Shmem:               204 kB
Slab:             611540 kB
SReclaimable:      55716 kB
SUnreclaim:       555824 kB
KernelStack:        1520 kB
PageTables:         8512 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2614500 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1046528 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 20:26:44