Trace number 4121354

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 207.136 207.169

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-fixed-bandwidth-19.cnf.gz-plain.pb.metafix.opb
MD5SUMbf00f9ed6465a8d14e3cdebeaba4fcfe
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 benchmark49.8344
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables77
Total number of constraints164
Number of constraints which are clauses164
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-30T21:17:05+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-4121354-1467314225.opb"]
0.00/0.01	c use --random-gen="3873297674 2612838770 750052157 279667652 3336996814 3610242239 852023964 490615165 814196814 3121793849 621965127 25720945 3117487655 2398232534 1660860592 168636833 718182607 2945624968 2681132200 3700527538 3439483986 2198791917 3945218303 3910079698 1894161430 2667106770 2726128892 1699889884 866671136 3439133741 1123849002 2197170649 466411716 1810993346 920510257 3902246578 2368931551 7383131 836516223 2114157139 715027564 3542454225 1322295923 910265644 2464675957 2624277163 31355952 957845279 1452201154 154485549 125953313 4206372967 685971246 2980435247 3247182188 1102543165 3295856540 161576374 2212850347 3188193579 2618963178 1237442894 2598972628 1207935610 246562280 1732407363 2251072204 3974628445 3765277359 769341496 738783137 2921665245 3564134144 699116500 2646473510 2672804009 1375650978 1278514373 2589217689 3443812833 3633848278 1697949820 76875259 2333498927 2932081107 3876918523 3313251812 3713198543 4223613073 3977076198 1714475860 1795039877 2104032870 1722552285 1977671516 3303124944 2367816898 1063972814 3023465425 3943612583 1667601734 2439295576 3395689643 2805774098 2060962428 541076905 172150538 1480348667 711718424 1299230255 1200659191 1447274154 662772601 1918786649 3834381321 344553377 423600193 2490429306 1423410236 3272003153 2197550599 3757344884 3537040312 2104832518 1497928196 3357892249 1901860618 118280042 2382986807 1197536429 3324206667 609802253 4190699955 2106552927 1072989143 243404651 4123681224 1094427605 641281642 1304958955 44049573 691764594 2086441653 3839175495 3750050183 3338514089 2435016684 3579078533 775460949 1372035638 2823071742 883906932 1240830818 2771056883 1612897205 3920019913 777158795 1575779946 2770620406 153656667 1099636455 2411803744 299922590 2795262208 3169372356 1429780469 282339017 1916080023 2476433517 688256682 3836754419 2536106807 1271566995 1237935368 2880192422 1949378558 1043597968 2534503694 3126736644 446648672 2675245293 750967048 939682924 973432730 4239725605 2062067390 1107698194 1956456283 2821029147 2145535233 3742350939 78211133 3767436147 868097566 1609329836 2435494847 251369205 1846585953 533551308 1524641406 3495370956 736937815 3225009926 3211171718 2431575220 2794871971 1358147754 4189698328 2183666024 2393918365 1013342290 131964621 572908663 1155261011 2776418962 3704986038 2019318159 2880121224 965580771 659450189 3726215176 2867948586 2326802351 3702021555 3620612681 1207108318 176714846 1835687672 2376765382 2352888949 2381156951 2917900083 4048296009 2741048242 2487082308 1611576863 2799365167 1580956292 3783177778 246209191 3872585368 1286787113 1979025996 2483465514 999602119 427312157 3564522511 1677562361 1581359179 2273840452 1063111695 2247642523 2826689976 1545906987 1362624509 2870949051 255 362436" option to reproduce the execution
0.00/0.01	c #vars 77
0.00/0.01	c #constraints 164
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       80      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      121 |      100 |       80      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      336 |      250 |       88      3 |        0 |        0
0.00/0.06	c  0.0s |       3 |      639 |      475 |       97      7 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1111 |      813 |      107     12 |        0 |        0
0.09/0.15	c  0.1s |       5 |     1746 |     1320 |      118     20 |        0 |        0
0.19/0.23	c  0.2s |       6 |     2691 |     2081 |      143     30 |        0 |        0
0.29/0.33	c  0.3s |       7 |     4280 |     3223 |      158     44 |        0 |        0
0.49/0.51	c  0.5s |       8 |     6296 |     4936 |      174     63 |        0 |        0
0.69/0.77	c  0.8s |       9 |     9633 |     7506 |      192     90 |        0 |        0
1.09/1.12	c  1.1s |      10 |    14189 |    11361 |      212    127 |        0 |        0
1.49/1.54	c  1.5s |      11 |    21098 |    17144 |      234    177 |        0 |        0
2.20/2.20	c  2.2s |      12 |    31269 |    25819 |      258    246 |        0 |        0
3.09/3.16	c  3.1s |      13 |    48017 |    38832 |      284    342 |        0 |        0
4.50/4.58	c  4.6s |      14 |    73384 |    58352 |      313    472 |        0 |        0
6.49/6.58	c  6.6s |      14 |   103855 |    83752 |      313    626 |        0 |        0
6.79/6.86	c  6.8s |      15 |   108723 |    87632 |      345    649 |        0 |        0
8.80/8.87	c  8.9s |      15 |   139162 |   113432 |      345    793 |        0 |        0
10.29/10.36	c 10.3s |      16 |   159627 |   131552 |      380    893 |        0 |        0
12.29/12.37	c 12.4s |      16 |   189497 |   156352 |      380   1018 |        0 |        0
14.29/14.37	c 14.4s |      16 |   218734 |   180952 |      380   1143 |        0 |        0
15.69/15.78	c 15.8s |      17 |   238027 |   197432 |      419   1226 |        0 |        0
17.70/17.79	c 17.8s |      17 |   267577 |   222332 |      419   1341 |        0 |        0
19.69/19.79	c 19.8s |      17 |   295733 |   246332 |      419   1451 |        0 |        0
21.79/21.80	c 21.8s |      17 |   324967 |   270832 |      419   1564 |        0 |        0
23.69/23.75	c 23.7s |      18 |   356775 |   296252 |      461   1681 |        0 |        0
25.69/25.75	c 25.7s |      18 |   388602 |   321452 |      461   1788 |        0 |        0
27.69/27.75	c 27.7s |      18 |   422635 |   346752 |      461   1894 |        0 |        0
29.69/29.75	c 29.7s |      18 |   452407 |   371052 |      461   1997 |        0 |        0
31.68/31.76	c 31.7s |      18 |   481479 |   395152 |      461   2099 |        0 |        0
33.68/33.76	c 33.8s |      18 |   509278 |   418252 |      461   2196 |        0 |        0
35.68/35.77	c 35.8s |      18 |   534628 |   440252 |      461   2288 |        0 |        0
36.08/36.15	c 36.1s |      19 |   539628 |   444482 |      508   2305 |        0 |        0
38.08/38.15	c 38.1s |      19 |   567615 |   467582 |      508   2393 |        0 |        0
40.08/40.16	c 40.1s |      19 |   594887 |   490282 |      508   2480 |        0 |        0
42.08/42.16	c 42.1s |      19 |   624372 |   514282 |      508   2572 |        0 |        0
44.09/44.17	c 44.2s |      19 |   652228 |   537482 |      508   2662 |        0 |        0
46.08/46.17	c 46.2s |      19 |   682916 |   561682 |      508   2755 |        0 |        0
48.09/48.18	c 48.2s |      19 |   710355 |   584682 |      508   2844 |        0 |        0
50.09/50.18	c 50.2s |      19 |   739549 |   608282 |      508   2935 |        0 |        0
52.09/52.19	c 52.2s |      19 |   771237 |   632882 |      508   3030 |        0 |        0
54.08/54.19	c 54.2s |      19 |   802698 |   657982 |      508   3127 |        0 |        0
54.78/54.87	c 54.9s |      20 |   814188 |   666827 |      559   3160 |        0 |        0
56.78/56.88	c 56.9s |      20 |   842952 |   690827 |      559   3244 |        0 |        0
58.78/58.89	c 58.9s |      20 |   873727 |   715627 |      559   3332 |        0 |        0
60.78/60.89	c 60.9s |      20 |   903389 |   739427 |      559   3415 |        0 |        0
62.79/62.89	c 62.9s |      20 |   932410 |   763327 |      559   3499 |        0 |        0
64.78/64.89	c 64.9s |      20 |   958958 |   786027 |      559   3579 |        0 |        0
66.88/66.90	c 66.9s |      20 |   988730 |   810327 |      559   3664 |        0 |        0
68.88/68.90	c 68.9s |      20 |  1019902 |   834927 |      559   3752 |        0 |        0
70.88/70.90	c 70.9s |      20 |  1048001 |   858227 |      559   3833 |        0 |        0
72.88/72.91	c 72.9s |      20 |  1076050 |   881427 |      559   3914 |        0 |        0
74.88/74.92	c 74.9s |      20 |  1105591 |   905227 |      559   3998 |        0 |        0
76.88/76.92	c 76.9s |      20 |  1134870 |   929227 |      559   4082 |        0 |        0
78.88/78.92	c 78.9s |      20 |  1167110 |   954227 |      559   4170 |        0 |        0
80.88/80.93	c 80.9s |      20 |  1199858 |   979727 |      559   4260 |        0 |        0
82.48/82.59	c 82.6s |      21 |  1225477 |  1000345 |      615   4331 |        0 |        0
84.48/84.59	c 84.6s |      21 |  1253490 |  1023245 |      615   4403 |        0 |        0
86.47/86.60	c 86.6s |      21 |  1283899 |  1046845 |      615   4478 |        0 |        0
88.57/88.60	c 88.6s |      21 |  1314633 |  1070445 |      615   4554 |        0 |        0
90.57/90.61	c 90.6s |      21 |  1346013 |  1094845 |      615   4632 |        0 |        0
92.57/92.61	c 92.6s |      21 |  1376092 |  1118745 |      615   4708 |        0 |        0
94.58/94.62	c 94.6s |      21 |  1408606 |  1143645 |      615   4788 |        0 |        0
96.57/96.62	c 96.6s |      21 |  1443099 |  1169145 |      615   4869 |        0 |        0
98.57/98.62	c 98.6s |      21 |  1476869 |  1194845 |      615   4951 |        0 |        0
100.57/100.63	c  100s |      21 |  1506630 |  1219445 |      615   5030 |        0 |        0
102.57/102.63	c  102s |      21 |  1536297 |  1243845 |      615   5108 |        0 |        0
104.58/104.64	c  104s |      21 |  1565490 |  1267645 |      615   5184 |        0 |        0
106.57/106.64	c  106s |      21 |  1595510 |  1292045 |      615   5262 |        0 |        0
108.58/108.64	c  108s |      21 |  1625610 |  1316245 |      615   5338 |        1 |        6
110.58/110.64	c  110s |      21 |  1657153 |  1340245 |      615   5415 |        1 |        6
112.58/112.64	c  112s |      21 |  1688446 |  1364245 |      615   5492 |        1 |        6
114.58/114.65	c  114s |      21 |  1718262 |  1388645 |      615   5570 |        1 |        6
116.58/116.65	c  116s |      21 |  1747997 |  1412745 |      615   5646 |        1 |        6
118.58/118.66	c  118s |      21 |  1779271 |  1436845 |      615   5724 |        1 |        6
120.57/120.66	c  120s |      21 |  1807978 |  1460345 |      615   5799 |        1 |        6
122.57/122.67	c  122s |      21 |  1835309 |  1483545 |      615   5874 |        1 |        6
124.17/124.20	c  124s |      22 |  1855665 |  1500622 |      677   5925 |        1 |        6
126.17/126.21	c  126s |      22 |  1882735 |  1522822 |      677   5989 |        1 |        6
128.17/128.21	c  128s |      22 |  1913896 |  1546722 |      677   6059 |        1 |        6
130.17/130.21	c  130s |      22 |  1941412 |  1569222 |      677   6124 |        1 |        6
132.17/132.22	c  132s |      22 |  1971858 |  1592822 |      677   6193 |        1 |        6
134.17/134.22	c  134s |      22 |  2000436 |  1615722 |      677   6260 |        1 |        6
136.17/136.23	c  136s |      22 |  2029717 |  1639022 |      677   6327 |        1 |        6
138.17/138.23	c  138s |      22 |  2058194 |  1661522 |      677   6393 |        1 |        6
140.16/140.23	c  140s |      22 |  2083309 |  1682522 |      677   6454 |        1 |        6
142.16/142.24	c  142s |      22 |  2108289 |  1703722 |      677   6516 |        1 |        6
144.17/144.24	c  144s |      22 |  2134448 |  1725422 |      677   6579 |        1 |        6
146.16/146.24	c  146s |      22 |  2158500 |  1746122 |      677   6639 |        1 |        6
148.16/148.25	c  148s |      22 |  2187452 |  1768822 |      677   6706 |        1 |        6
150.16/150.25	c  150s |      22 |  2215582 |  1791322 |      677   6771 |        1 |        6
152.17/152.26	c  152s |      22 |  2241474 |  1813222 |      677   6835 |        1 |        6
154.17/154.27	c  154s |      22 |  2265990 |  1834122 |      677   6895 |        1 |        6
156.18/156.27	c  156s |      22 |  2293050 |  1856122 |      677   6958 |        1 |        6
158.17/158.28	c  158s |      22 |  2320591 |  1878422 |      677   7023 |        1 |        6
160.17/160.28	c  160s |      22 |  2349579 |  1901422 |      677   7090 |        1 |        6
162.16/162.28	c  162s |      22 |  2379614 |  1924422 |      677   7157 |        1 |        6
164.16/164.29	c  164s |      22 |  2410492 |  1948122 |      677   7225 |        1 |        6
166.17/166.29	c  166s |      22 |  2438899 |  1971222 |      677   7292 |        1 |        6
168.17/168.29	c  168s |      22 |  2469500 |  1994822 |      677   7361 |        1 |        6
170.27/170.30	c  170s |      22 |  2499799 |  2018522 |      677   7429 |        1 |        6
172.27/172.30	c  172s |      22 |  2527813 |  2041222 |      677   7495 |        2 |        9
174.26/174.31	c  174s |      22 |  2557335 |  2064522 |      677   7563 |        2 |        9
176.26/176.31	c  176s |      22 |  2587799 |  2088122 |      677   7632 |        2 |        9
178.27/178.31	c  178s |      22 |  2617303 |  2111922 |      677   7701 |        2 |        9
180.26/180.32	c  180s |      22 |  2647487 |  2135922 |      677   7771 |        2 |        9
182.26/182.33	c  182s |      22 |  2678066 |  2160222 |      677   7841 |        2 |        9
184.26/184.33	c  184s |      22 |  2708781 |  2184722 |      677   7912 |        3 |       12
186.26/186.34	c  186s |      22 |  2738104 |  2208122 |      677   7980 |        3 |       12
188.26/188.35	c  188s |      22 |  2768222 |  2232022 |      677   8049 |        3 |       12
189.96/190.04	c  190s |      23 |  2791739 |  2251038 |      745   8100 |        3 |       12
191.96/192.04	c  192s |      23 |  2821644 |  2274738 |      745   8163 |        3 |       12
193.96/194.04	c  194s |      23 |  2851380 |  2298338 |      745   8225 |        3 |       12
195.96/196.05	c  196s |      23 |  2878762 |  2321038 |      745   8283 |        4 |       15
197.97/198.05	c  198s |      23 |  2907021 |  2344238 |      745   8345 |        4 |       15
199.96/200.05	c  200s |      23 |  2936655 |  2368338 |      745   8408 |        4 |       15
201.96/202.06	c  202s |      23 |  2969520 |  2393538 |      745   8474 |        5 |       18
203.96/204.06	c  204s |      23 |  2998584 |  2417438 |      745   8537 |        6 |       24
205.96/206.06	c  206s |      23 |  3028797 |  2442038 |      745   8601 |        7 |       27
207.06/207.11	c  207s |      23 |  3045446 |  2455410 |      745   8634 |       32 |       76
207.06/207.11	c #cpu_time = 206.562s
207.06/207.11	c #wall_clock_time = 207.093s
207.06/207.11	c #decision = 3045446
207.06/207.11	c #random_decision = 12471
207.06/207.11	c #conflict = 2455410
207.06/207.11	c #restart = 23
207.06/207.11	s UNSATISFIABLE
207.06/207.11	c total CPU time = 206.577s
207.06/207.11	c total wall clock time = 207.108s

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

pid=15907
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.09 1.25 1.59 4/172 15912
/proc/meminfo: memFree=28277516/32872528 swapFree=1555460/1718980
[pid=15912] ppid=15907 vsize=674236 CPUtime=0 cores=1,3,5,7
/proc/15912/stat : 15912 (toysat) R 15907 15912 11291 0 -1 4202496 2504 0 0 0 0 0 0 0 20 0 4 0 10450135 690417664 2865 33554432000 4194304 16246674 140736094791024 140736094790448 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15912/statm: 169071 2875 441 2943 0 165965 0
[pid=15912/tid=15913] ppid=15907 vsize=692668 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15913/stat : 15913 (toysat) S 15907 15912 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10450135 709292032 2940 33554432000 4194304 16246674 140736094791024 140142579789040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15912/tid=15914] ppid=15907 vsize=697788 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15914/stat : 15914 (toysat) S 15907 15912 11291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10450136 714534912 2957 33554432000 4194304 16246674 140736094791024 140142501145840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15912/tid=15915] ppid=15907 vsize=701884 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15915/stat : 15915 (toysat) S 15907 15912 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10450136 718729216 2974 33554432000 4194304 16246674 140736094791024 140142490672304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100214 s]
/proc/loadavg: 1.09 1.25 1.59 4/172 15912
/proc/meminfo: memFree=28277516/32872528 swapFree=1555460/1718980
[pid=15912] ppid=15907 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/15912/stat : 15912 (toysat) R 15907 15912 11291 0 -1 4202496 26092 0 0 0 5 4 0 0 20 0 4 0 10450135 1247350784 26442 33554432000 4194304 16246674 140736094791024 140736094790448 5674353 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15912/statm: 304529 26451 709 2943 0 301423 0
[pid=15912/tid=15913] ppid=15907 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15913/stat : 15913 (toysat) S 15907 15912 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10450135 1247350784 26458 33554432000 4194304 16246674 140736094791024 140142579789040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15912/tid=15914] ppid=15907 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15914/stat : 15914 (toysat) S 15907 15912 11291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10450136 1247350784 26466 33554432000 4194304 16246674 140736094791024 140142501145840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15912/tid=15915] ppid=15907 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15915/stat : 15915 (toysat) S 15907 15912 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10450136 1247350784 26472 33554432000 4194304 16246674 140736094791024 140142490672304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200479 s]
/proc/loadavg: 1.09 1.25 1.59 4/172 15912
/proc/meminfo: memFree=28277516/32872528 swapFree=1555460/1718980
[pid=15912] ppid=15907 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/15912/stat : 15912 (toysat) R 15907 15912 11291 0 -1 4202496 49798 0 0 0 11 8 0 0 20 0 4 0 10450135 1247350784 50149 33554432000 4194304 16246674 140736094791024 140736094790448 6023439 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15912/statm: 304529 50161 709 2943 0 301423 0
[pid=15912/tid=15913] ppid=15907 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15913/stat : 15913 (toysat) S 15907 15912 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10450135 1247350784 50168 33554432000 4194304 16246674 140736094791024 140142579789040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15912/tid=15914] ppid=15907 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15914/stat : 15914 (toysat) S 15907 15912 11291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10450136 1247350784 50175 33554432000 4194304 16246674 140736094791024 140142501145840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15912/tid=15915] ppid=15907 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15915/stat : 15915 (toysat) S 15907 15912 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10450136 1247350784 50181 33554432000 4194304 16246674 140736094791024 140142490672304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300479 s]
/proc/loadavg: 1.09 1.25 1.59 4/172 15912
/proc/meminfo: memFree=28277516/32872528 swapFree=1555460/1718980
[pid=15912] ppid=15907 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/15912/stat : 15912 (toysat) R 15907 15912 11291 0 -1 4202496 73627 0 0 0 18 11 0 0 20 0 4 0 10450135 1247350784 73977 33554432000 4194304 16246674 140736094791024 140736094790448 12460395 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15912/statm: 304529 73988 709 2943 0 301423 0
[pid=15912/tid=15913] ppid=15907 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15913/stat : 15913 (toysat) S 15907 15912 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10450135 1247350784 73996 33554432000 4194304 16246674 140736094791024 140142579789040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15912/tid=15914] ppid=15907 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15914/stat : 15914 (toysat) S 15907 15912 11291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10450136 1247350784 74004 33554432000 4194304 16246674 140736094791024 140142501145840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15912/tid=15915] ppid=15907 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15915/stat : 15915 (toysat) S 15907 15912 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10450136 1247350784 74011 33554432000 4194304 16246674 140736094791024 140142490672304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700411 s]
/proc/loadavg: 1.09 1.25 1.59 4/172 15912
/proc/meminfo: memFree=28277516/32872528 swapFree=1555460/1718980
[pid=15912] ppid=15907 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/15912/stat : 15912 (toysat) R 15907 15912 11291 0 -1 4202496 167334 0 0 0 44 25 0 0 20 0 4 0 10450135 1247350784 167684 33554432000 4194304 16246674 140736094791024 140736094774024 5997913 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15912/statm: 304529 167695 709 2943 0 301423 0
[pid=15912/tid=15913] ppid=15907 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15913/stat : 15913 (toysat) S 15907 15912 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10450135 1247350784 167702 33554432000 4194304 16246674 140736094791024 140142579789040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15912/tid=15914] ppid=15907 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15914/stat : 15914 (toysat) S 15907 15912 11291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10450136 1247350784 167710 33554432000 4194304 16246674 140736094791024 140142501145840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15912/tid=15915] ppid=15907 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15915/stat : 15915 (toysat) S 15907 15912 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10450136 1247350784 167716 33554432000 4194304 16246674 140736094791024 140142490672304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 1.09 1.25 1.59 4/183 15923
/proc/meminfo: memFree=26312760/32872528 swapFree=1555460/1718980
[pid=15912] ppid=15907 vsize=1218116 CPUtime=1.49 cores=1,3,5,7
/proc/15912/stat : 15912 (toysat) R 15907 15912 11291 0 -1 4202496 245484 0 0 0 114 35 0 0 20 0 4 0 10450135 1247350784 245814 33554432000 4194304 16246674 140736094791024 140736094774024 5723448 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15912/statm: 304529 245814 785 2943 0 301423 0
[pid=15912/tid=15913] ppid=15907 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15913/stat : 15913 (toysat) S 15907 15912 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10450135 1247350784 245814 33554432000 4194304 16246674 140736094791024 140142579789040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15912/tid=15914] ppid=15907 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15914/stat : 15914 (toysat) S 15907 15912 11291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10450136 1247350784 245814 33554432000 4194304 16246674 140736094791024 140142501145840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15912/tid=15915] ppid=15907 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15915/stat : 15915 (toysat) S 15907 15912 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10450136 1247350784 245814 33554432000 4194304 16246674 140736094791024 140142490672304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10042 s]
/proc/loadavg: 1.09 1.25 1.59 3/183 15923
/proc/meminfo: memFree=26136920/32872528 swapFree=1555460/1718980
[pid=15912] ppid=15907 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/15912/stat : 15912 (toysat) R 15907 15912 11291 0 -1 4202496 267387 0 0 0 271 38 0 0 20 0 4 0 10450135 1337528320 267717 33554432000 4194304 16246674 140736094791024 140736094774024 5676136 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15912/statm: 326545 267717 785 2943 0 323439 0
[pid=15912/tid=15913] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15913/stat : 15913 (toysat) S 15907 15912 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10450135 1337528320 267717 33554432000 4194304 16246674 140736094791024 140142579789040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15912/tid=15914] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15914/stat : 15914 (toysat) S 15907 15912 11291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10450136 1337528320 267717 33554432000 4194304 16246674 140736094791024 140142501145840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15912/tid=15915] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15915/stat : 15915 (toysat) S 15907 15912 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10450136 1337528320 267717 33554432000 4194304 16246674 140736094791024 140142490672304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 1.24 1.27 1.60 4/183 15923
/proc/meminfo: memFree=26135648/32872528 swapFree=1555460/1718980
[pid=15912] ppid=15907 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/15912/stat : 15912 (toysat) R 15907 15912 11291 0 -1 4202496 267400 0 0 0 591 38 0 0 20 0 4 0 10450135 1337528320 267730 33554432000 4194304 16246674 140736094791024 140736094774024 5808149 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15912/statm: 326545 267730 785 2943 0 323439 0
[pid=15912/tid=15913] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15913/stat : 15913 (toysat) S 15907 15912 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10450135 1337528320 267730 33554432000 4194304 16246674 140736094791024 140142579789040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15912/tid=15914] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15914/stat : 15914 (toysat) S 15907 15912 11291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10450136 1337528320 267730 33554432000 4194304 16246674 140736094791024 140142501145840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15912/tid=15915] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15915/stat : 15915 (toysat) S 15907 15912 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10450136 1337528320 267730 33554432000 4194304 16246674 140736094791024 140142490672304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 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.38 1.30 1.60 3/183 15923
/proc/meminfo: memFree=26135220/32872528 swapFree=1555460/1718980
[pid=15912] ppid=15907 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/15912/stat : 15912 (toysat) R 15907 15912 11291 0 -1 4202496 267409 0 0 0 1230 38 0 0 20 0 4 0 10450135 1337528320 267739 33554432000 4194304 16246674 140736094791024 140736094774024 6011784 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15912/statm: 326545 267739 785 2943 0 323439 0
[pid=15912/tid=15913] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15913/stat : 15913 (toysat) S 15907 15912 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10450135 1337528320 267739 33554432000 4194304 16246674 140736094791024 140142579789040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15912/tid=15914] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15914/stat : 15914 (toysat) S 15907 15912 11291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10450136 1337528320 267739 33554432000 4194304 16246674 140736094791024 140142501145840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15912/tid=15915] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15915/stat : 15915 (toysat) S 15907 15912 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10450136 1337528320 267739 33554432000 4194304 16246674 140736094791024 140142490672304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 1.52 1.34 1.61 3/183 15972
/proc/meminfo: memFree=26135776/32872528 swapFree=1555460/1718980
[pid=15912] ppid=15907 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/15912/stat : 15912 (toysat) R 15907 15912 11291 0 -1 4202496 267448 0 0 0 2510 39 0 0 20 0 4 0 10450135 1337528320 267778 33554432000 4194304 16246674 140736094791024 140736094774024 13191794 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15912/statm: 326545 267778 785 2943 0 323439 0
[pid=15912/tid=15913] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15913/stat : 15913 (toysat) S 15907 15912 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10450135 1337528320 267778 33554432000 4194304 16246674 140736094791024 140142579789040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15912/tid=15914] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15914/stat : 15914 (toysat) S 15907 15912 11291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10450136 1337528320 267778 33554432000 4194304 16246674 140736094791024 140142501145840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15912/tid=15915] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15915/stat : 15915 (toysat) S 15907 15912 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10450136 1337528320 267778 33554432000 4194304 16246674 140736094791024 140142490672304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 1.76 1.41 1.62 4/183 15972
/proc/meminfo: memFree=26136068/32872528 swapFree=1555460/1718980
[pid=15912] ppid=15907 vsize=1306180 CPUtime=51.09 cores=1,3,5,7
/proc/15912/stat : 15912 (toysat) R 15907 15912 11291 0 -1 4202496 267449 0 0 0 5069 40 0 0 20 0 4 0 10450135 1337528320 267779 33554432000 4194304 16246674 140736094791024 140736094774024 5661704 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15912/statm: 326545 267779 786 2943 0 323439 0
[pid=15912/tid=15913] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15913/stat : 15913 (toysat) S 15907 15912 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10450135 1337528320 267779 33554432000 4194304 16246674 140736094791024 140142579789040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15912/tid=15914] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15914/stat : 15914 (toysat) S 15907 15912 11291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10450136 1337528320 267779 33554432000 4194304 16246674 140736094791024 140142501145840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15912/tid=15915] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15915/stat : 15915 (toysat) S 15907 15912 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10450136 1337528320 267779 33554432000 4194304 16246674 140736094791024 140142490672304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.14 1.56 1.66 3/183 15973
/proc/meminfo: memFree=26135912/32872528 swapFree=1555460/1718980
[pid=15912] ppid=15907 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/15912/stat : 15912 (toysat) R 15907 15912 11291 0 -1 4202496 267453 0 0 0 10188 40 0 0 20 0 4 0 10450135 1337528320 267783 33554432000 4194304 16246674 140736094791024 140736094774024 5677888 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15912/statm: 326545 267783 789 2943 0 323439 0
[pid=15912/tid=15913] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15913/stat : 15913 (toysat) S 15907 15912 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10450135 1337528320 267783 33554432000 4194304 16246674 140736094791024 140142579789040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15912/tid=15914] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15914/stat : 15914 (toysat) S 15907 15912 11291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10450136 1337528320 267783 33554432000 4194304 16246674 140736094791024 140142501145840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15912/tid=15915] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15915/stat : 15915 (toysat) S 15907 15912 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10450136 1337528320 267783 33554432000 4194304 16246674 140736094791024 140142490672304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180

[startup+162.3 s]
/proc/loadavg: 2.17 1.67 1.69 3/183 15974
/proc/meminfo: memFree=26135916/32872528 swapFree=1555460/1718980
[pid=15912] ppid=15907 vsize=1306180 CPUtime=162.26 cores=1,3,5,7
/proc/15912/stat : 15912 (toysat) R 15907 15912 11291 0 -1 4202496 267467 0 0 0 16184 42 0 0 20 0 4 0 10450135 1337528320 267797 33554432000 4194304 16246674 140736094791024 140736094774024 5672257 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15912/statm: 326545 267797 790 2943 0 323439 0
[pid=15912/tid=15913] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15913/stat : 15913 (toysat) S 15907 15912 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10450135 1337528320 267797 33554432000 4194304 16246674 140736094791024 140142579789040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15912/tid=15914] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15914/stat : 15914 (toysat) S 15907 15912 11291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10450136 1337528320 267797 33554432000 4194304 16246674 140736094791024 140142501145840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15912/tid=15915] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15915/stat : 15915 (toysat) S 15907 15912 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10450136 1337528320 267797 33554432000 4194304 16246674 140736094791024 140142490672304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1306180

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

[startup+179.2 s]
/proc/loadavg: 2.20 1.70 1.70 3/184 15978
/proc/meminfo: memFree=26135264/32872528 swapFree=1555460/1718980
[pid=15912] ppid=15907 vsize=1306180 CPUtime=179.16 cores=1,3,5,7
/proc/15912/stat : 15912 (toysat) R 15907 15912 11291 0 -1 4202496 267467 0 0 0 17873 43 0 0 20 0 4 0 10450135 1337528320 267797 33554432000 4194304 16246674 140736094791024 140736094774024 13954595 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15912/statm: 326545 267797 790 2943 0 323439 0
[pid=15912/tid=15913] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15913/stat : 15913 (toysat) S 15907 15912 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10450135 1337528320 267797 33554432000 4194304 16246674 140736094791024 140142579789040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15912/tid=15914] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15914/stat : 15914 (toysat) S 15907 15912 11291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10450136 1337528320 267797 33554432000 4194304 16246674 140736094791024 140142501145840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15912/tid=15915] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15915/stat : 15915 (toysat) S 15907 15912 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10450136 1337528320 267797 33554432000 4194304 16246674 140736094791024 140142490672304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 179.16
Current children cumulated vsize (KiB) 1306180

[startup+192 s]
/proc/loadavg: 2.30 1.74 1.72 4/184 15978
/proc/meminfo: memFree=26135584/32872528 swapFree=1555460/1718980
[pid=15912] ppid=15907 vsize=1306180 CPUtime=191.96 cores=1,3,5,7
/proc/15912/stat : 15912 (toysat) R 15907 15912 11291 0 -1 4202496 267502 0 0 0 19153 43 0 0 20 0 4 0 10450135 1337528320 267832 33554432000 4194304 16246674 140736094791024 140736094774024 6837324 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15912/statm: 326545 267832 790 2943 0 323439 0
[pid=15912/tid=15913] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15913/stat : 15913 (toysat) S 15907 15912 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10450135 1337528320 267832 33554432000 4194304 16246674 140736094791024 140142579789040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15912/tid=15914] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15914/stat : 15914 (toysat) S 15907 15912 11291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10450136 1337528320 267832 33554432000 4194304 16246674 140736094791024 140142501145840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15912/tid=15915] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15915/stat : 15915 (toysat) S 15907 15912 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10450136 1337528320 267832 33554432000 4194304 16246674 140736094791024 140142490672304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 191.96
Current children cumulated vsize (KiB) 1306180

[startup+198.4 s]
/proc/loadavg: 2.27 1.75 1.72 3/184 15978
/proc/meminfo: memFree=26135584/32872528 swapFree=1555460/1718980
[pid=15912] ppid=15907 vsize=1306180 CPUtime=198.36 cores=1,3,5,7
/proc/15912/stat : 15912 (toysat) R 15907 15912 11291 0 -1 4202496 267502 0 0 0 19792 44 0 0 20 0 4 0 10450135 1337528320 267832 33554432000 4194304 16246674 140736094791024 140736094774024 5672160 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15912/statm: 326545 267832 790 2943 0 323439 0
[pid=15912/tid=15913] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15913/stat : 15913 (toysat) S 15907 15912 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10450135 1337528320 267832 33554432000 4194304 16246674 140736094791024 140142579789040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15912/tid=15914] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15914/stat : 15914 (toysat) S 15907 15912 11291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10450136 1337528320 267832 33554432000 4194304 16246674 140736094791024 140142501145840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15912/tid=15915] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15915/stat : 15915 (toysat) S 15907 15912 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10450136 1337528320 267832 33554432000 4194304 16246674 140736094791024 140142490672304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 198.36
Current children cumulated vsize (KiB) 1306180

[startup+201.6 s]
/proc/loadavg: 2.25 1.75 1.72 3/184 15979
/proc/meminfo: memFree=26135088/32872528 swapFree=1555460/1718980
[pid=15912] ppid=15907 vsize=1306180 CPUtime=201.56 cores=1,3,5,7
/proc/15912/stat : 15912 (toysat) R 15907 15912 11291 0 -1 4202496 267502 0 0 0 20112 44 0 0 20 0 4 0 10450135 1337528320 267832 33554432000 4194304 16246674 140736094791024 140736094774024 6012316 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15912/statm: 326545 267832 790 2943 0 323439 0
[pid=15912/tid=15913] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15913/stat : 15913 (toysat) S 15907 15912 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10450135 1337528320 267832 33554432000 4194304 16246674 140736094791024 140142579789040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15912/tid=15914] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15914/stat : 15914 (toysat) S 15907 15912 11291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10450136 1337528320 267832 33554432000 4194304 16246674 140736094791024 140142501145840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15912/tid=15915] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15915/stat : 15915 (toysat) S 15907 15912 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10450136 1337528320 267832 33554432000 4194304 16246674 140736094791024 140142490672304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 201.56
Current children cumulated vsize (KiB) 1306180

[startup+204.8 s]
/proc/loadavg: 2.23 1.76 1.72 3/184 15979
/proc/meminfo: memFree=26135216/32872528 swapFree=1555460/1718980
[pid=15912] ppid=15907 vsize=1306180 CPUtime=204.76 cores=1,3,5,7
/proc/15912/stat : 15912 (toysat) R 15907 15912 11291 0 -1 4202496 267502 0 0 0 20432 44 0 0 20 0 4 0 10450135 1337528320 267832 33554432000 4194304 16246674 140736094791024 140736094774024 12483481 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15912/statm: 326545 267832 790 2943 0 323439 0
[pid=15912/tid=15913] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15913/stat : 15913 (toysat) S 15907 15912 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10450135 1337528320 267832 33554432000 4194304 16246674 140736094791024 140142579789040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15912/tid=15914] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15914/stat : 15914 (toysat) S 15907 15912 11291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10450136 1337528320 267832 33554432000 4194304 16246674 140736094791024 140142501145840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15912/tid=15915] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15915/stat : 15915 (toysat) S 15907 15912 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10450136 1337528320 267832 33554432000 4194304 16246674 140736094791024 140142490672304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.76
Current children cumulated vsize (KiB) 1306180

[startup+206.4 s]
/proc/loadavg: 2.23 1.76 1.72 3/184 15979
/proc/meminfo: memFree=26135216/32872528 swapFree=1555460/1718980
[pid=15912] ppid=15907 vsize=1306180 CPUtime=206.36 cores=1,3,5,7
/proc/15912/stat : 15912 (toysat) R 15907 15912 11291 0 -1 4202496 267502 0 0 0 20592 44 0 0 20 0 4 0 10450135 1337528320 267832 33554432000 4194304 16246674 140736094791024 140736094774024 5546868 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15912/statm: 326545 267832 790 2943 0 323439 0
[pid=15912/tid=15913] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15913/stat : 15913 (toysat) S 15907 15912 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10450135 1337528320 267832 33554432000 4194304 16246674 140736094791024 140142579789040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15912/tid=15914] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15914/stat : 15914 (toysat) S 15907 15912 11291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10450136 1337528320 267832 33554432000 4194304 16246674 140736094791024 140142501145840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15912/tid=15915] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15915/stat : 15915 (toysat) S 15907 15912 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10450136 1337528320 267832 33554432000 4194304 16246674 140736094791024 140142490672304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 206.36
Current children cumulated vsize (KiB) 1306180

[startup+206.8 s]
/proc/loadavg: 2.23 1.76 1.72 3/184 15979
/proc/meminfo: memFree=26135232/32872528 swapFree=1555460/1718980
[pid=15912] ppid=15907 vsize=1306180 CPUtime=206.77 cores=1,3,5,7
/proc/15912/stat : 15912 (toysat) R 15907 15912 11291 0 -1 4202496 267502 0 0 0 20633 44 0 0 20 0 4 0 10450135 1337528320 267832 33554432000 4194304 16246674 140736094791024 140736094774024 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15912/statm: 326545 267832 790 2943 0 323439 0
[pid=15912/tid=15913] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15913/stat : 15913 (toysat) S 15907 15912 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10450135 1337528320 267832 33554432000 4194304 16246674 140736094791024 140142579789040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15912/tid=15914] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15914/stat : 15914 (toysat) S 15907 15912 11291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10450136 1337528320 267832 33554432000 4194304 16246674 140736094791024 140142501145840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15912/tid=15915] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15915/stat : 15915 (toysat) S 15907 15912 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10450136 1337528320 267832 33554432000 4194304 16246674 140736094791024 140142490672304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 206.77
Current children cumulated vsize (KiB) 1306180

[startup+207 s]
/proc/loadavg: 2.23 1.76 1.72 3/184 15979
/proc/meminfo: memFree=26135232/32872528 swapFree=1555460/1718980
[pid=15912] ppid=15907 vsize=1306180 CPUtime=206.96 cores=1,3,5,7
/proc/15912/stat : 15912 (toysat) R 15907 15912 11291 0 -1 4202496 267502 0 0 0 20652 44 0 0 20 0 4 0 10450135 1337528320 267832 33554432000 4194304 16246674 140736094791024 140736094774024 13950192 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15912/statm: 326545 267832 790 2943 0 323439 0
[pid=15912/tid=15913] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15913/stat : 15913 (toysat) S 15907 15912 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10450135 1337528320 267832 33554432000 4194304 16246674 140736094791024 140142579789040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15912/tid=15914] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15914/stat : 15914 (toysat) S 15907 15912 11291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10450136 1337528320 267832 33554432000 4194304 16246674 140736094791024 140142501145840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15912/tid=15915] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15915/stat : 15915 (toysat) S 15907 15912 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10450136 1337528320 267832 33554432000 4194304 16246674 140736094791024 140142490672304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 206.96
Current children cumulated vsize (KiB) 1306180

[startup+207.1 s]
/proc/loadavg: 2.23 1.76 1.72 3/184 15979
/proc/meminfo: memFree=26135232/32872528 swapFree=1555460/1718980
[pid=15912] ppid=15907 vsize=1306180 CPUtime=207.06 cores=1,3,5,7
/proc/15912/stat : 15912 (toysat) R 15907 15912 11291 0 -1 4202496 267502 0 0 0 20662 44 0 0 20 0 4 0 10450135 1337528320 267832 33554432000 4194304 16246674 140736094791024 140736094774024 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15912/statm: 326545 267832 790 2943 0 323439 0
[pid=15912/tid=15913] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15913/stat : 15913 (toysat) S 15907 15912 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10450135 1337528320 267832 33554432000 4194304 16246674 140736094791024 140142579789040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15912/tid=15914] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15914/stat : 15914 (toysat) S 15907 15912 11291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10450136 1337528320 267832 33554432000 4194304 16246674 140736094791024 140142501145840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15912/tid=15915] ppid=15907 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15912/task/15915/stat : 15915 (toysat) S 15907 15912 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10450136 1337528320 267832 33554432000 4194304 16246674 140736094791024 140142490672304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 207.06
Current children cumulated vsize (KiB) 1306180

Child status: 0
Real time (s): 207.169
CPU time (s): 207.136
CPU user time (s): 206.637
CPU system time (s): 0.498924
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 206.637
system time used= 0.498924
maximum resident set size= 1071340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267507
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= 24
involuntary context switches= 219

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.514921 second user time and 0.811876 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-30 21:17:05
IDJOB=4121354
IDBENCH=110426
IDSOLVER=2542
FILE ID=node117/4121354-1467314225
RUNJOBID= node117-1467314225-15887
PBS_JOBID= 20005275
Free space on /tmp= 71628 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-19.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-4121354-1467314225/watcher-4121354-1467314225 -o /tmp/evaluation-result-4121354-1467314225/solver-4121354-1467314225 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467314225-15887 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121354-1467314225.opb

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

MD5SUM BENCH= bf00f9ed6465a8d14e3cdebeaba4fcfe
RANDOM SEED=1511507323

node117.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.714
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.42
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.714
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.714
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.45
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.714
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.714
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.714
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.714
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.714
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:        28278348 kB
Buffers:          150316 kB
Cached:          1963064 kB
SwapCached:            0 kB
Active:           309360 kB
Inactive:        1817068 kB
Active(anon):      15964 kB
Inactive(anon):        4 kB
Active(file):     293396 kB
Inactive(file):  1817064 kB
Unevictable:     1718980 kB
Mlocked:         1555460 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             32528 kB
Writeback:             0 kB
AnonPages:       1822504 kB
Mapped:            13788 kB
Shmem:               204 kB
Slab:             615696 kB
SReclaimable:      60236 kB
SUnreclaim:       555460 kB
KernelStack:        1416 kB
PageTables:         7312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1817840 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    256000 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= 71592 MiB
End job on node117 at 2016-06-30 21:20:32