Trace number 4089309

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 462.653 462.724

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
vertexcover-instances/normalized-vertexcover-grid6x13-hard.opb
MD5SUMec34f338cdb702c36fe0f2656d588341
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.006998
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables78
Total number of constraints157
Number of constraints which are clauses156
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint78
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 41
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 119
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-15T23:10:47+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-4089309-1466025047.opb"]
0.00/0.01	c use --random-gen="3917555617 2766258824 643404366 179826116 3218746142 159688648 2763719355 4291059473 702148260 3903368294 938765548 1663655037 3128080438 438498749 4145790059 1025214515 1262069478 1471429504 51028304 870926489 2588049689 807991957 3291691553 172908382 2480512502 4104058740 201112074 734792270 2873328208 161718358 257576659 1506936439 822926038 1054709720 1682283383 3606103401 2864894155 3803902464 667176374 578986076 3140870567 404064302 4282596237 2700287659 2617024395 116247350 3146125508 2892877742 2044020599 1594063800 112776434 1039832859 1459329055 32771339 2921341326 3627572762 3458451763 2965336393 2095912981 3645871669 3949703539 1965233365 3871202566 14062516 3977347559 2604677988 1456340242 3674957539 2352879920 1172804922 3468194560 3255947778 117258589 3777420256 3815954356 1227772020 2803508529 899749946 2087001768 756388642 1415242189 4098722912 4170368301 3817745598 2898912742 2073812051 1791892783 3432488470 1649409222 369017245 580024221 2047339523 2569577424 810129175 781177737 2371601615 3570810347 3043646146 354917801 1603703237 489425379 2044268159 1407862368 2190311009 1025700609 2293738100 1280467017 2135094280 2215516065 355776686 3099103110 1325752901 2592830450 437996815 4040987923 2616845805 4257776128 619592419 818823178 2845685475 3595235706 935481590 3077747334 3764272892 4239856343 2458005283 3990049721 2785989025 2998381543 3167452915 1445197676 248929751 836540059 1744230934 3968218618 1326122275 4179447830 2583107542 4184141289 2927954141 2676473607 1676543918 3754102895 1108155755 3763052289 3044872897 2932822521 3629493482 1631860752 3454118768 2379176479 1360528351 942159571 524202384 2287450855 86486555 3114126992 2090754594 3026304147 2810917335 2369836958 1630935381 482995488 3991360960 1604387003 4232079811 3982842200 2632417864 1675430727 1037241605 3119573944 631149697 201890081 2411210193 4208118894 412803800 638380439 2932781512 1984531796 4189078143 119180600 2815400509 877875699 2562725965 3754402299 2191084253 3973834912 3227757349 1435948388 3840668466 2822935588 758140594 2268980149 856143487 693762357 4065053097 3881840148 1137312596 1324541351 4011702181 1330923397 3998179668 256072247 2601499660 110593409 3616817486 2528052320 3816772885 1428290144 2167076946 2238872998 2019609124 1113970250 4251806842 3141193462 872276107 2320688612 1285278953 1639638297 3593951734 817970565 3886844842 510205302 704156863 2452806487 3866321832 4214113977 1954865353 1923127329 3041275982 1060394622 3924005073 145334680 2758309282 739661085 2000994267 3649276707 3504116771 3336795716 3186555011 1683729594 803579273 1042361683 2317279830 2506711103 2223842590 262425403 707516982 3151966174 3378261671 3517189195 2068164833 3570006266 567779067 3692017660 619613310 255 362436" option to reproduce the execution
0.00/0.01	c #vars 78
0.00/0.01	c #constraints 157
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       78      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      133 |      100 |       78      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      316 |      250 |       86      3 |        0 |        0
0.00/0.06	c  0.0s |       3 |      590 |      475 |       95      6 |        0 |        0
0.09/0.10	c  0.1s |       4 |      961 |      813 |      105     11 |        0 |        0
0.09/0.15	c  0.1s |       5 |     1500 |     1320 |      116     18 |        0 |        0
0.19/0.24	c  0.2s |       6 |     2309 |     2081 |      141     28 |        0 |        0
0.29/0.37	c  0.4s |       7 |     3502 |     3223 |      156     41 |        0 |        0
0.49/0.56	c  0.5s |       8 |     5321 |     4936 |      172     59 |        0 |        0
0.69/0.85	c  0.8s |       9 |     7959 |     7506 |      190     84 |        0 |        0
1.09/1.15	c  1.1s |      10 |    11913 |    11361 |      210    119 |        0 |        0
1.59/1.61	c  1.6s |      11 |    17981 |    17144 |      232    167 |        0 |        0
2.19/2.26	c  2.2s |      12 |    26920 |    25819 |      256    232 |        0 |        0
3.19/3.22	c  3.2s |      13 |    40399 |    38832 |      282    323 |        0 |        0
4.60/4.69	c  4.7s |      14 |    60597 |    58352 |      311    448 |        0 |        0
6.59/6.69	c  6.7s |      14 |    88126 |    84652 |      311    602 |        0 |        0
6.89/6.92	c  6.9s |      15 |    91176 |    87632 |      343    619 |        0 |        0
8.89/8.92	c  8.9s |      15 |   117854 |   113432 |      343    758 |        0 |        0
10.29/10.31	c 10.3s |      16 |   136733 |   131552 |      378    855 |        0 |        0
12.29/12.32	c 12.3s |      16 |   163493 |   157352 |      378    981 |        0 |        0
14.28/14.32	c 14.3s |      16 |   190099 |   183152 |      378   1109 |        0 |        0
15.38/15.43	c 15.4s |      17 |   205242 |   197432 |      416   1178 |        0 |        0
17.38/17.43	c 17.4s |      17 |   231528 |   222432 |      416   1290 |        0 |        0
19.38/19.44	c 19.4s |      17 |   257521 |   247432 |      416   1403 |        0 |        0
21.38/21.44	c 21.4s |      17 |   284475 |   272532 |      416   1516 |        0 |        0
23.29/23.37	c 23.4s |      18 |   309358 |   296252 |      458   1622 |        0 |        0
25.28/25.37	c 25.4s |      18 |   335421 |   321252 |      458   1725 |        0 |        0
27.28/27.38	c 27.4s |      18 |   361911 |   346352 |      458   1828 |        0 |        0
29.29/29.38	c 29.4s |      18 |   389181 |   371552 |      458   1932 |        0 |        0
31.29/31.39	c 31.4s |      18 |   415760 |   396552 |      458   2035 |        0 |        0
33.28/33.39	c 33.4s |      18 |   441974 |   421352 |      458   2137 |        0 |        0
35.18/35.26	c 35.2s |      19 |   467030 |   444482 |      504   2231 |        0 |        0
37.18/37.26	c 37.2s |      19 |   492813 |   469082 |      504   2324 |        0 |        0
39.18/39.26	c 39.3s |      19 |   519030 |   493882 |      504   2417 |        0 |        0
41.18/41.26	c 41.3s |      19 |   545016 |   518382 |      504   2509 |        0 |        0
43.19/43.27	c 43.3s |      19 |   571599 |   543282 |      504   2603 |        0 |        0
45.19/45.27	c 45.3s |      19 |   597648 |   567782 |      504   2695 |        0 |        0
47.19/47.27	c 47.3s |      19 |   623936 |   592682 |      504   2789 |        0 |        0
49.18/49.28	c 49.3s |      19 |   650708 |   617682 |      504   2884 |        0 |        0
51.18/51.28	c 51.3s |      19 |   677619 |   642482 |      504   2977 |        0 |        0
53.18/53.27	c 53.3s |      20 |   704933 |   666827 |      555   3067 |        0 |        0
55.19/55.27	c 55.3s |      20 |   730617 |   691227 |      555   3150 |        0 |        0
57.18/57.27	c 57.3s |      20 |   756639 |   715827 |      555   3235 |        0 |        0
59.18/59.28	c 59.3s |      20 |   782027 |   740027 |      555   3318 |        0 |        0
61.18/61.28	c 61.3s |      20 |   808213 |   764927 |      555   3404 |        0 |        0
63.19/63.29	c 63.3s |      20 |   834736 |   790027 |      555   3490 |        0 |        0
65.18/65.29	c 65.3s |      20 |   860018 |   814027 |      555   3572 |        0 |        0
67.19/67.29	c 67.3s |      20 |   885908 |   838727 |      555   3658 |        0 |        0
69.28/69.30	c 69.3s |      20 |   912900 |   863527 |      555   3743 |        0 |        0
71.28/71.30	c 71.3s |      20 |   939285 |   888027 |      555   3827 |        0 |        0
73.28/73.30	c 73.3s |      20 |   965936 |   912727 |      555   3912 |        0 |        0
75.28/75.31	c 75.3s |      20 |   992054 |   937627 |      555   3998 |        0 |        0
77.28/77.31	c 77.3s |      20 |  1018634 |   962827 |      555   4085 |        0 |        0
79.28/79.32	c 79.3s |      20 |  1045422 |   988127 |      555   4172 |        0 |        0
80.18/80.28	c 80.3s |      21 |  1058213 |  1000345 |      611   4212 |        0 |        0
82.18/82.29	c 82.3s |      21 |  1084391 |  1024745 |      611   4288 |        0 |        0
84.18/84.29	c 84.3s |      21 |  1110667 |  1048645 |      611   4363 |        0 |        0
86.17/86.29	c 86.3s |      21 |  1136728 |  1073045 |      611   4439 |        0 |        0
88.18/88.29	c 88.3s |      21 |  1163462 |  1097745 |      611   4517 |        0 |        0
90.17/90.30	c 90.3s |      21 |  1189915 |  1122845 |      611   4596 |        0 |        0
92.27/92.30	c 92.3s |      21 |  1216763 |  1148345 |      611   4676 |        0 |        0
94.27/94.31	c 94.3s |      21 |  1241633 |  1172245 |      611   4751 |        0 |        0
96.27/96.31	c 96.3s |      21 |  1267627 |  1196945 |      611   4828 |        0 |        0
98.28/98.32	c 98.3s |      21 |  1294246 |  1222145 |      611   4908 |        0 |        0
100.28/100.32	c  100s |      21 |  1321168 |  1247645 |      611   4988 |        0 |        0
102.28/102.33	c  102s |      21 |  1348099 |  1273145 |      611   5068 |        0 |        0
104.28/104.33	c  104s |      21 |  1375533 |  1298445 |      611   5148 |        0 |        0
106.28/106.33	c  106s |      21 |  1402110 |  1322445 |      611   5223 |        0 |        0
108.27/108.34	c  108s |      21 |  1428495 |  1346845 |      611   5299 |        0 |        0
110.27/110.34	c  110s |      21 |  1454582 |  1371645 |      611   5377 |        0 |        0
112.28/112.34	c  112s |      21 |  1481172 |  1396645 |      611   5456 |        0 |        0
114.27/114.35	c  114s |      21 |  1507399 |  1421445 |      611   5534 |        0 |        0
116.27/116.35	c  116s |      21 |  1534499 |  1446545 |      611   5613 |        0 |        0
118.27/118.36	c  118s |      21 |  1561878 |  1472045 |      611   5693 |        0 |        0
120.28/120.36	c  120s |      21 |  1589028 |  1497845 |      673   5772 |        0 |        0
120.48/120.58	c  120s |      22 |  1591951 |  1500622 |      673   5780 |        0 |        0
122.47/122.59	c  122s |      22 |  1617996 |  1525522 |      673   5851 |        0 |        0
124.48/124.59	c  124s |      22 |  1643962 |  1550422 |      673   5923 |        0 |        0
126.47/126.60	c  126s |      22 |  1669711 |  1573922 |      673   5990 |        0 |        0
128.57/128.60	c  128s |      22 |  1695184 |  1597722 |      673   6058 |        0 |        0
130.57/130.60	c  130s |      22 |  1721447 |  1622022 |      673   6127 |        0 |        0
132.57/132.61	c  132s |      22 |  1748866 |  1647022 |      673   6199 |        0 |        0
134.57/134.61	c  134s |      22 |  1775433 |  1671922 |      673   6271 |        0 |        0
136.58/136.61	c  136s |      22 |  1800785 |  1696122 |      673   6340 |        0 |        0
138.57/138.62	c  138s |      22 |  1827420 |  1721022 |      673   6412 |        0 |        0
140.57/140.63	c  140s |      22 |  1854940 |  1746222 |      673   6484 |        0 |        0
142.57/142.63	c  142s |      22 |  1880393 |  1770222 |      673   6553 |        0 |        0
144.56/144.63	c  144s |      22 |  1906271 |  1794422 |      673   6622 |        0 |        0
146.56/146.64	c  146s |      22 |  1932194 |  1818522 |      673   6691 |        0 |        0
148.57/148.64	c  148s |      22 |  1958506 |  1842922 |      673   6761 |        0 |        0
150.56/150.65	c  150s |      22 |  1984955 |  1867722 |      673   6832 |        0 |        0
152.56/152.65	c  152s |      22 |  2012047 |  1893022 |      673   6905 |        0 |        0
154.57/154.66	c  154s |      22 |  2038797 |  1918122 |      673   6977 |        0 |        0
156.57/156.66	c  156s |      22 |  2066158 |  1943622 |      673   7050 |        0 |        0
158.58/158.66	c  158s |      22 |  2092879 |  1968722 |      673   7122 |        0 |        0
160.57/160.67	c  160s |      22 |  2120647 |  1994522 |      673   7196 |        0 |        0
162.57/162.67	c  162s |      22 |  2146528 |  2019022 |      673   7266 |        0 |        0
164.57/164.68	c  164s |      22 |  2171574 |  2043022 |      673   7335 |        0 |        0
166.57/166.69	c  166s |      22 |  2197940 |  2067322 |      673   7404 |        0 |        0
168.56/168.69	c  168s |      22 |  2223670 |  2091422 |      673   7473 |        0 |        0
170.57/170.70	c  170s |      22 |  2249265 |  2115622 |      673   7542 |        0 |        0
172.66/172.70	c  172s |      22 |  2275945 |  2140322 |      673   7613 |        0 |        0
174.66/174.71	c  174s |      22 |  2302663 |  2165422 |      673   7684 |        0 |        0
176.66/176.71	c  176s |      22 |  2329753 |  2190622 |      673   7757 |        0 |        0
178.66/178.72	c  178s |      22 |  2356946 |  2216322 |      673   7831 |        0 |        0
180.66/180.72	c  180s |      22 |  2383603 |  2241522 |      741   7901 |        0 |        0
181.36/181.47	c  181s |      23 |  2393549 |  2251038 |      741   7926 |        0 |        0
183.36/183.48	c  183s |      23 |  2419238 |  2275338 |      741   7989 |        0 |        0
185.36/185.48	c  185s |      23 |  2443493 |  2298238 |      741   8049 |        0 |        0
187.37/187.49	c  187s |      23 |  2468227 |  2321438 |      741   8109 |        0 |        0
189.37/189.49	c  189s |      23 |  2493530 |  2344938 |      741   8170 |        0 |        0
191.36/191.50	c  191s |      23 |  2518977 |  2368938 |      741   8233 |        0 |        0
193.46/193.50	c  193s |      23 |  2544419 |  2393038 |      741   8296 |        0 |        0
195.46/195.50	c  195s |      23 |  2570983 |  2417438 |      741   8359 |        0 |        0
197.46/197.51	c  197s |      23 |  2598036 |  2442138 |      741   8424 |        0 |        0
199.46/199.51	c  199s |      23 |  2623535 |  2465638 |      741   8485 |        0 |        0
201.46/201.52	c  201s |      23 |  2649264 |  2489538 |      741   8547 |        0 |        0
203.46/203.52	c  203s |      23 |  2674700 |  2513838 |      741   8610 |        0 |        0
205.45/205.53	c  205s |      23 |  2700835 |  2538738 |      741   8675 |        0 |        0
207.46/207.53	c  207s |      23 |  2726638 |  2563238 |      741   8739 |        0 |        0
209.46/209.53	c  209s |      23 |  2752895 |  2588338 |      741   8805 |        0 |        0
211.46/211.54	c  211s |      23 |  2778885 |  2612738 |      741   8868 |        0 |        0
213.47/213.54	c  213s |      23 |  2806129 |  2638238 |      741   8935 |        0 |        0
215.46/215.54	c  215s |      23 |  2832039 |  2662238 |      741   8997 |        0 |        0
217.46/217.55	c  217s |      23 |  2857129 |  2686038 |      741   9059 |        0 |        0
219.46/219.55	c  219s |      23 |  2882627 |  2710138 |      741   9122 |        0 |        0
221.46/221.55	c  221s |      23 |  2908328 |  2734238 |      741   9185 |        0 |        0
223.47/223.56	c  223s |      23 |  2934672 |  2758638 |      741   9249 |        0 |        0
225.46/225.56	c  225s |      23 |  2961220 |  2783338 |      741   9313 |        0 |        0
227.46/227.56	c  227s |      23 |  2987148 |  2807838 |      741   9377 |        0 |        0
229.46/229.57	c  229s |      23 |  3014481 |  2832738 |      741   9443 |        0 |        0
231.45/231.57	c  231s |      23 |  3041208 |  2857638 |      741   9508 |        0 |        0
233.45/233.58	c  233s |      23 |  3067592 |  2882438 |      741   9573 |        0 |        0
235.46/235.58	c  235s |      23 |  3095390 |  2907838 |      741   9639 |        0 |        0
237.45/237.59	c  237s |      23 |  3122007 |  2932538 |      741   9703 |        0 |        0
239.45/239.59	c  239s |      23 |  3148575 |  2957938 |      741   9770 |        0 |        0
241.55/241.60	c  241s |      23 |  3175483 |  2983438 |      741   9836 |        0 |        0
243.55/243.61	c  243s |      23 |  3202682 |  3009238 |      741   9903 |        0 |        0
245.56/245.61	c  245s |      23 |  3228893 |  3033438 |      741   9966 |        0 |        0
247.56/247.61	c  247s |      23 |  3253837 |  3056938 |      741  10027 |        0 |        0
249.55/249.62	c  249s |      23 |  3278889 |  3080538 |      741  10089 |        0 |        0
251.55/251.62	c  251s |      23 |  3304442 |  3104238 |      741  10150 |        0 |        0
253.55/253.63	c  253s |      23 |  3330192 |  3128238 |      741  10213 |        0 |        0
255.55/255.63	c  255s |      23 |  3356188 |  3152738 |      741  10277 |        0 |        0
257.56/257.64	c  257s |      23 |  3382257 |  3177138 |      741  10341 |        0 |        0
259.55/259.64	c  259s |      23 |  3409051 |  3201738 |      741  10405 |        0 |        0
261.55/261.65	c  261s |      23 |  3436417 |  3227038 |      741  10471 |        0 |        0
263.55/263.65	c  263s |      23 |  3462450 |  3251738 |      741  10536 |        0 |        0
265.55/265.65	c  265s |      23 |  3489042 |  3276638 |      741  10601 |        0 |        0
267.55/267.66	c  267s |      23 |  3516882 |  3302138 |      741  10668 |        0 |        0
269.56/269.67	c  269s |      23 |  3544012 |  3327338 |      741  10734 |        0 |        0
271.55/271.67	c  271s |      23 |  3570927 |  3352638 |      816  10800 |        0 |        0
273.45/273.56	c  273s |      24 |  3596102 |  3376662 |      816  10857 |        0 |        0
275.45/275.57	c  275s |      24 |  3619553 |  3398862 |      816  10910 |        0 |        0
277.44/277.57	c  277s |      24 |  3643763 |  3421662 |      816  10964 |        0 |        0
279.45/279.57	c  279s |      24 |  3669212 |  3444462 |      816  11018 |        0 |        0
281.44/281.58	c  281s |      24 |  3694278 |  3467562 |      816  11073 |        0 |        0
283.44/283.58	c  283s |      24 |  3718885 |  3490662 |      816  11128 |        0 |        0
285.44/285.58	c  285s |      24 |  3744172 |  3514162 |      816  11184 |        0 |        0
287.45/287.59	c  287s |      24 |  3769403 |  3537962 |      816  11240 |        0 |        0
289.46/289.59	c  289s |      24 |  3794497 |  3561962 |      816  11297 |        0 |        0
291.45/291.59	c  291s |      24 |  3819872 |  3586262 |      816  11355 |        0 |        0
293.55/293.60	c  293s |      24 |  3845228 |  3610462 |      816  11412 |        0 |        0
295.55/295.61	c  295s |      24 |  3871934 |  3635062 |      816  11471 |        0 |        0
297.55/297.61	c  297s |      24 |  3897573 |  3659062 |      816  11528 |        0 |        0
299.55/299.61	c  299s |      24 |  3923112 |  3683362 |      816  11586 |        0 |        0
301.55/301.61	c  301s |      24 |  3949949 |  3708362 |      816  11645 |        0 |        0
303.54/303.62	c  303s |      24 |  3975018 |  3732062 |      816  11701 |        0 |        0
305.54/305.62	c  305s |      24 |  3999122 |  3754662 |      816  11755 |        0 |        0
307.54/307.62	c  307s |      24 |  4023641 |  3777862 |      816  11810 |        0 |        0
309.54/309.63	c  309s |      24 |  4048669 |  3801462 |      816  11866 |        0 |        0
311.54/311.64	c  311s |      24 |  4073888 |  3825462 |      816  11923 |        0 |        0
313.55/313.64	c  313s |      24 |  4099400 |  3849362 |      816  11980 |        0 |        0
315.54/315.65	c  315s |      24 |  4125372 |  3873962 |      816  12039 |        0 |        0
317.54/317.66	c  317s |      24 |  4150913 |  3898162 |      816  12096 |        0 |        0
319.54/319.66	c  319s |      24 |  4176998 |  3922862 |      816  12155 |        0 |        0
321.54/321.66	c  321s |      24 |  4203496 |  3947762 |      816  12214 |        0 |        0
323.54/323.67	c  323s |      24 |  4228635 |  3971062 |      816  12270 |        0 |        0
325.54/325.67	c  325s |      24 |  4255116 |  3995662 |      816  12328 |        0 |        0
327.54/327.68	c  327s |      24 |  4281355 |  4020262 |      816  12387 |        0 |        0
329.54/329.69	c  329s |      24 |  4308251 |  4044962 |      816  12446 |        0 |        0
331.54/331.69	c  331s |      24 |  4335058 |  4070062 |      816  12506 |        0 |        0
333.54/333.70	c  333s |      24 |  4360101 |  4093462 |      816  12561 |        0 |        0
335.55/335.70	c  335s |      24 |  4386339 |  4117162 |      816  12618 |        0 |        0
337.64/337.70	c  337s |      24 |  4412449 |  4142162 |      816  12677 |        0 |        0
339.64/339.71	c  339s |      24 |  4439212 |  4167562 |      816  12738 |        0 |        0
341.64/341.71	c  341s |      24 |  4467194 |  4193562 |      816  12800 |        0 |        0
343.64/343.72	c  343s |      24 |  4491542 |  4216562 |      816  12854 |        0 |        0
345.64/345.72	c  345s |      24 |  4515691 |  4239462 |      816  12908 |        0 |        0
347.64/347.72	c  347s |      24 |  4540072 |  4262662 |      816  12963 |        0 |        0
349.63/349.73	c  349s |      24 |  4565554 |  4286362 |      816  13019 |        0 |        0
351.63/351.74	c  351s |      24 |  4591454 |  4310162 |      816  13076 |        0 |        0
353.63/353.74	c  353s |      24 |  4617161 |  4334262 |      816  13133 |        0 |        0
355.63/355.74	c  355s |      24 |  4642425 |  4358062 |      816  13189 |        0 |        0
357.64/357.75	c  357s |      24 |  4668850 |  4382462 |      816  13247 |        0 |        0
359.63/359.75	c  359s |      24 |  4694786 |  4406462 |      816  13304 |        0 |        0
361.63/361.75	c  361s |      24 |  4721264 |  4431262 |      816  13363 |        0 |        0
363.63/363.76	c  363s |      24 |  4747574 |  4455762 |      816  13421 |        0 |        0
365.64/365.76	c  365s |      24 |  4773344 |  4480362 |      816  13479 |        0 |        0
367.64/367.77	c  367s |      24 |  4800543 |  4506062 |      816  13540 |        0 |        0
369.64/369.77	c  369s |      24 |  4827156 |  4531262 |      816  13599 |        0 |        0
371.64/371.77	c  371s |      24 |  4852978 |  4555762 |      816  13657 |        0 |        0
373.63/373.78	c  373s |      24 |  4880206 |  4581462 |      816  13718 |        0 |        0
375.63/375.79	c  375s |      24 |  4907175 |  4607062 |      816  13779 |        0 |        0
377.63/377.79	c  377s |      24 |  4932908 |  4631662 |      816  13837 |        0 |        0
379.64/379.79	c  379s |      24 |  4958967 |  4656862 |      816  13897 |        0 |        0
381.63/381.79	c  381s |      24 |  4986325 |  4682862 |      816  13958 |        0 |        0
383.73/383.80	c  383s |      24 |  5013229 |  4708462 |      816  14019 |        0 |        0
385.73/385.80	c  385s |      24 |  5041236 |  4734362 |      816  14080 |        0 |        0
387.73/387.80	c  387s |      24 |  5070202 |  4761562 |      816  14144 |        5 |       16
389.73/389.81	c  389s |      24 |  5094827 |  4784362 |      816  14197 |        5 |       16
391.73/391.81	c  391s |      24 |  5119621 |  4807762 |      816  14252 |        5 |       16
393.73/393.81	c  393s |      24 |  5144802 |  4831562 |      816  14308 |        5 |       16
395.73/395.81	c  395s |      24 |  5170405 |  4855662 |      816  14365 |        5 |       16
397.73/397.82	c  397s |      24 |  5195851 |  4879862 |      816  14423 |        5 |       16
399.73/399.82	c  399s |      24 |  5222519 |  4904662 |      816  14481 |        5 |       16
401.73/401.82	c  401s |      24 |  5249641 |  4928762 |      816  14538 |        5 |       16
403.73/403.83	c  403s |      24 |  5275339 |  4952962 |      816  14596 |        5 |       16
405.73/405.83	c  405s |      24 |  5301510 |  4977662 |      816  14654 |        5 |       16
407.73/407.84	c  407s |      24 |  5327488 |  5001862 |      816  14712 |        5 |       16
409.72/409.84	c  409s |      24 |  5353710 |  5026662 |      816  14770 |        5 |       16
411.72/411.85	c  411s |      24 |  5379755 |  5051362 |      898  14824 |        6 |       20
412.82/412.97	c  412s |      25 |  5394211 |  5065098 |      898  14854 |        6 |       20
414.83/414.97	c  414s |      25 |  5420950 |  5090298 |      898  14908 |        6 |       20
416.83/416.98	c  416s |      25 |  5447290 |  5114898 |      898  14961 |        6 |       20
418.83/418.98	c  418s |      25 |  5474908 |  5140298 |      898  15016 |        6 |       20
420.83/420.99	c  420s |      25 |  5501378 |  5164698 |      898  15069 |        6 |       20
422.83/422.99	c  422s |      25 |  5528346 |  5189898 |      898  15123 |        6 |       20
424.93/425.00	c  424s |      25 |  5556087 |  5215798 |      898  15179 |        6 |       20
426.84/427.00	c  426s |      25 |  5584345 |  5241798 |      898  15235 |        6 |       20
428.93/429.00	c  428s |      25 |  5610430 |  5265798 |      898  15287 |        6 |       20
430.93/431.01	c  430s |      25 |  5638906 |  5290998 |      898  15342 |        6 |       20
432.93/433.01	c  433s |      25 |  5666456 |  5316798 |      898  15398 |        6 |       20
434.92/435.01	c  435s |      25 |  5694356 |  5342598 |      898  15454 |        6 |       20
436.92/437.02	c  437s |      25 |  5722603 |  5368798 |      898  15510 |        6 |       20
438.93/439.02	c  439s |      25 |  5751434 |  5394598 |      898  15566 |        6 |       20
440.92/441.02	c  441s |      25 |  5782375 |  5421198 |      898  15624 |        6 |       20
442.92/443.03	c  443s |      25 |  5810897 |  5446998 |      898  15680 |        6 |       20
444.92/445.03	c  445s |      25 |  5837887 |  5472198 |      898  15734 |        6 |       20
446.92/447.03	c  447s |      25 |  5865639 |  5498098 |      898  15790 |        6 |       20
448.92/449.03	c  449s |      25 |  5894742 |  5525198 |      898  15848 |        6 |       20
450.92/451.04	c  451s |      25 |  5921909 |  5550898 |      898  15902 |       11 |       36
452.92/453.05	c  453s |      25 |  5949666 |  5576998 |      898  15958 |       11 |       36
454.92/455.05	c  455s |      25 |  5978954 |  5604298 |      898  16017 |       12 |       40
456.92/457.06	c  457s |      25 |  6008310 |  5632098 |      898  16076 |       12 |       40
458.92/459.06	c  459s |      25 |  6038671 |  5660398 |      898  16136 |       16 |       52
460.93/461.06	c  461s |      25 |  6069556 |  5689198 |      898  16197 |       17 |       56
462.52/462.66	c  462s |      25 |  6096725 |  5714413 |      898  16246 |       70 |      134
462.52/462.66	c #cpu_time = 461.466s
462.52/462.66	c #wall_clock_time = 462.648s
462.52/462.66	c #decision = 6096725
462.52/462.66	c #random_decision = 26705
462.52/462.66	c #conflict = 5714413
462.52/462.66	c #restart = 25
462.52/462.66	s UNSATISFIABLE
462.52/462.66	c total CPU time = 461.480s
462.52/462.66	c total wall clock time = 462.663s

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

pid=10732
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.20 2.25 2.26 3/182 10735
/proc/meminfo: memFree=29321952/32872528 swapFree=1481856/1661728
[pid=10735] ppid=10732 vsize=754108 CPUtime=0 cores=1,3,5,7
/proc/10735/stat : 10735 (toysat) R 10732 10735 6232 0 -1 4202496 2817 0 0 0 0 0 0 0 20 0 4 0 4551097 772206592 3179 33554432000 4194304 16246674 140733281352224 140733281351648 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10735/statm: 189039 3188 441 2943 0 185933 0
[pid=10735/tid=10736] ppid=10732 vsize=771516 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10736/stat : 10736 (toysat) S 10732 10735 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4551097 790032384 3248 33554432000 4194304 16246674 140733281352224 140305805323504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10735/tid=10737] ppid=10732 vsize=776636 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10737/stat : 10737 (toysat) S 10732 10735 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4551097 795275264 3265 33554432000 4194304 16246674 140733281352224 140305794833648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10735/tid=10738] ppid=10732 vsize=780732 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10738/stat : 10738 (toysat) S 10732 10735 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4551097 799469568 3282 33554432000 4194304 16246674 140733281352224 140305709919408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100154 s]
/proc/loadavg: 2.20 2.25 2.26 3/182 10735
/proc/meminfo: memFree=29321952/32872528 swapFree=1481856/1661728
[pid=10735] ppid=10732 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/10735/stat : 10735 (toysat) R 10732 10735 6232 0 -1 4202496 28498 0 0 0 5 4 0 0 20 0 4 0 4551097 1247350784 28849 33554432000 4194304 16246674 140733281352224 140733281351648 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10735/statm: 304529 28863 711 2943 0 301423 0
[pid=10735/tid=10736] ppid=10732 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10736/stat : 10736 (toysat) S 10732 10735 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4551097 1247350784 28868 33554432000 4194304 16246674 140733281352224 140305805323504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10735/tid=10737] ppid=10732 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10737/stat : 10737 (toysat) S 10732 10735 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4551097 1247350784 28873 33554432000 4194304 16246674 140733281352224 140305794833648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10735/tid=10738] ppid=10732 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10738/stat : 10738 (toysat) S 10732 10735 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4551097 1247350784 28884 33554432000 4194304 16246674 140733281352224 140305709919408 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.200533 s]
/proc/loadavg: 2.20 2.25 2.26 3/182 10735
/proc/meminfo: memFree=29321952/32872528 swapFree=1481856/1661728
[pid=10735] ppid=10732 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/10735/stat : 10735 (toysat) R 10732 10735 6232 0 -1 4202496 55689 0 0 0 11 8 0 0 20 0 4 0 4551097 1247350784 56040 33554432000 4194304 16246674 140733281352224 140733281351648 6023439 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10735/statm: 304529 56055 711 2943 0 301423 0
[pid=10735/tid=10736] ppid=10732 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10736/stat : 10736 (toysat) S 10732 10735 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4551097 1247350784 56062 33554432000 4194304 16246674 140733281352224 140305805323504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10735/tid=10737] ppid=10732 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10737/stat : 10737 (toysat) S 10732 10735 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4551097 1247350784 56067 33554432000 4194304 16246674 140733281352224 140305794833648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10735/tid=10738] ppid=10732 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10738/stat : 10738 (toysat) S 10732 10735 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4551097 1247350784 56073 33554432000 4194304 16246674 140733281352224 140305709919408 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.300498 s]
/proc/loadavg: 2.20 2.25 2.26 3/182 10735
/proc/meminfo: memFree=29321952/32872528 swapFree=1481856/1661728
[pid=10735] ppid=10732 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/10735/stat : 10735 (toysat) R 10732 10735 6232 0 -1 4202496 83169 0 0 0 17 12 0 0 20 0 4 0 4551097 1247350784 83520 33554432000 4194304 16246674 140733281352224 140733281351648 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10735/statm: 304529 83533 711 2943 0 301423 0
[pid=10735/tid=10736] ppid=10732 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10736/stat : 10736 (toysat) S 10732 10735 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4551097 1247350784 83541 33554432000 4194304 16246674 140733281352224 140305805323504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10735/tid=10737] ppid=10732 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10737/stat : 10737 (toysat) S 10732 10735 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4551097 1247350784 83552 33554432000 4194304 16246674 140733281352224 140305794833648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10735/tid=10738] ppid=10732 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10738/stat : 10738 (toysat) S 10732 10735 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4551097 1247350784 83560 33554432000 4194304 16246674 140733281352224 140305709919408 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.700412 s]
/proc/loadavg: 2.20 2.25 2.26 3/182 10735
/proc/meminfo: memFree=29321952/32872528 swapFree=1481856/1661728
[pid=10735] ppid=10732 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/10735/stat : 10735 (toysat) R 10732 10735 6232 0 -1 4202496 193837 0 0 0 43 26 0 0 20 0 4 0 4551097 1247350784 194188 33554432000 4194304 16246674 140733281352224 140733281351648 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10735/statm: 304529 194203 712 2943 0 301423 0
[pid=10735/tid=10736] ppid=10732 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10736/stat : 10736 (toysat) S 10732 10735 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4551097 1247350784 194209 33554432000 4194304 16246674 140733281352224 140305805323504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10735/tid=10737] ppid=10732 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10737/stat : 10737 (toysat) S 10732 10735 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4551097 1247350784 194218 33554432000 4194304 16246674 140733281352224 140305794833648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10735/tid=10738] ppid=10732 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10738/stat : 10738 (toysat) S 10732 10735 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4551097 1247350784 194227 33554432000 4194304 16246674 140733281352224 140305709919408 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.50043 s]
/proc/loadavg: 2.20 2.25 2.26 4/186 10739
/proc/meminfo: memFree=28338808/32872528 swapFree=1481856/1661728
[pid=10735] ppid=10732 vsize=1305156 CPUtime=1.49 cores=1,3,5,7
/proc/10735/stat : 10735 (toysat) R 10732 10735 6232 0 -1 4202496 259489 0 0 0 114 35 0 0 20 0 4 0 4551097 1336479744 259819 33554432000 4194304 16246674 140733281352224 140733281351536 5516309 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10735/statm: 326289 259831 789 2943 0 323183 0
[pid=10735/tid=10736] ppid=10732 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10736/stat : 10736 (toysat) S 10732 10735 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4551097 1336479744 259842 33554432000 4194304 16246674 140733281352224 140305805323504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10735/tid=10737] ppid=10732 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10737/stat : 10737 (toysat) S 10732 10735 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4551097 1336479744 259851 33554432000 4194304 16246674 140733281352224 140305794833648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10735/tid=10738] ppid=10732 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10738/stat : 10738 (toysat) S 10732 10735 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4551097 1336479744 259856 33554432000 4194304 16246674 140733281352224 140305709919408 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) 1305156

[startup+3.1004 s]
/proc/loadavg: 2.20 2.25 2.26 4/186 10739
/proc/meminfo: memFree=28250768/32872528 swapFree=1481856/1661728
[pid=10735] ppid=10732 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/10735/stat : 10735 (toysat) R 10732 10735 6232 0 -1 4202496 267401 0 0 0 273 36 0 0 20 0 4 0 4551097 1337528320 267731 33554432000 4194304 16246674 140733281352224 140733281335224 13950232 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10735/statm: 326545 267731 789 2943 0 323439 0
[pid=10735/tid=10736] ppid=10732 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10736/stat : 10736 (toysat) S 10732 10735 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4551097 1337528320 267731 33554432000 4194304 16246674 140733281352224 140305805323504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10735/tid=10737] ppid=10732 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10737/stat : 10737 (toysat) S 10732 10735 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4551097 1337528320 267731 33554432000 4194304 16246674 140733281352224 140305794833648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10735/tid=10738] ppid=10732 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10738/stat : 10738 (toysat) S 10732 10735 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4551097 1337528320 267731 33554432000 4194304 16246674 140733281352224 140305709919408 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: 2.27 2.26 2.26 3/186 10739
/proc/meminfo: memFree=28250848/32872528 swapFree=1481856/1661728
[pid=10735] ppid=10732 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/10735/stat : 10735 (toysat) R 10732 10735 6232 0 -1 4202496 267445 0 0 0 593 36 0 0 20 0 4 0 4551097 1337528320 267775 33554432000 4194304 16246674 140733281352224 140733281334144 13950230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10735/statm: 326545 267775 789 2943 0 323439 0
[pid=10735/tid=10736] ppid=10732 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10736/stat : 10736 (toysat) S 10732 10735 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4551097 1337528320 267775 33554432000 4194304 16246674 140733281352224 140305805323504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10735/tid=10737] ppid=10732 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10737/stat : 10737 (toysat) S 10732 10735 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4551097 1337528320 267775 33554432000 4194304 16246674 140733281352224 140305794833648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10735/tid=10738] ppid=10732 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10738/stat : 10738 (toysat) S 10732 10735 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4551097 1337528320 267775 33554432000 4194304 16246674 140733281352224 140305709919408 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: 2.25 2.26 2.26 3/186 10739
/proc/meminfo: memFree=28250536/32872528 swapFree=1481856/1661728
[pid=10735] ppid=10732 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/10735/stat : 10735 (toysat) R 10732 10735 6232 0 -1 4202496 267447 0 0 0 1233 36 0 0 20 0 4 0 4551097 1337528320 267777 33554432000 4194304 16246674 140733281352224 140733281334144 6022224 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10735/statm: 326545 267777 791 2943 0 323439 0
[pid=10735/tid=10736] ppid=10732 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10736/stat : 10736 (toysat) S 10732 10735 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4551097 1337528320 267777 33554432000 4194304 16246674 140733281352224 140305805323504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10735/tid=10737] ppid=10732 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10737/stat : 10737 (toysat) S 10732 10735 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4551097 1337528320 267777 33554432000 4194304 16246674 140733281352224 140305794833648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10735/tid=10738] ppid=10732 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10738/stat : 10738 (toysat) S 10732 10735 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4551097 1337528320 267777 33554432000 4194304 16246674 140733281352224 140305709919408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5074 s]
/proc/loadavg: 2.27 2.26 2.26 4/185 10739
/proc/meminfo: memFree=28250220/32872528 swapFree=1481856/1661728
[pid=10735] ppid=10732 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/10735/stat : 10735 (toysat) R 10732 10735 6232 0 -1 4202496 267525 0 0 0 2513 36 0 0 20 0 4 0 4551097 1337528320 267855 33554432000 4194304 16246674 140733281352224 140733281335224 5829700 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10735/statm: 326545 267855 791 2943 0 323439 0
[pid=10735/tid=10736] ppid=10732 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10736/stat : 10736 (toysat) S 10732 10735 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4551097 1337528320 267855 33554432000 4194304 16246674 140733281352224 140305805323504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10735/tid=10737] ppid=10732 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10737/stat : 10737 (toysat) S 10732 10735 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4551097 1337528320 267855 33554432000 4194304 16246674 140733281352224 140305794833648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10735/tid=10738] ppid=10732 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10738/stat : 10738 (toysat) S 10732 10735 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4551097 1337528320 267855 33554432000 4194304 16246674 140733281352224 140305709919408 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.1004 s]
/proc/loadavg: 2.32 2.27 2.26 3/185 10739
/proc/meminfo: memFree=28249976/32872528 swapFree=1481856/1661728
[pid=10735] ppid=10732 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/10735/stat : 10735 (toysat) R 10732 10735 6232 0 -1 4202496 267537 0 0 0 5070 38 0 0 20 0 4 0 4551097 1337528320 267867 33554432000 4194304 16246674 140733281352224 140733281334144 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10735/statm: 326545 267867 791 2943 0 323439 0
[pid=10735/tid=10736] ppid=10732 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10736/stat : 10736 (toysat) S 10732 10735 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4551097 1337528320 267867 33554432000 4194304 16246674 140733281352224 140305805323504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10735/tid=10737] ppid=10732 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10737/stat : 10737 (toysat) S 10732 10735 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4551097 1337528320 267867 33554432000 4194304 16246674 140733281352224 140305794833648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10735/tid=10738] ppid=10732 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10738/stat : 10738 (toysat) S 10732 10735 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4551097 1337528320 267867 33554432000 4194304 16246674 140733281352224 140305709919408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.34 2.27 2.27 3/185 10740
/proc/meminfo: memFree=28249248/32872528 swapFree=1481856/1661728
[pid=10735] ppid=10732 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/10735/stat : 10735 (toysat) R 10732 10735 6232 0 -1 4202496 267571 0 0 0 10188 40 0 0 20 0 4 0 4551097 1337528320 267901 33554432000 4194304 16246674 140733281352224 140733281335224 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10735/statm: 326545 267901 792 2943 0 323439 0
[pid=10735/tid=10736] ppid=10732 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10736/stat : 10736 (toysat) S 10732 10735 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4551097 1337528320 267901 33554432000 4194304 16246674 140733281352224 140305805323504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10735/tid=10737] ppid=10732 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10737/stat : 10737 (toysat) S 10732 10735 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4551097 1337528320 267901 33554432000 4194304 16246674 140733281352224 140305794833648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10735/tid=10738] ppid=10732 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10738/stat : 10738 (toysat) S 10732 10735 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4551097 1337528320 267901 33554432000 4194304 16246674 140733281352224 140305709919408 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.31 2.27 2.26 3/185 10741
/proc/meminfo: memFree=28247908/32872528 swapFree=1481856/1661728
[pid=10735] ppid=10732 vsize=1307204 CPUtime=162.27 cores=1,3,5,7
/proc/10735/stat : 10735 (toysat) R 10732 10735 6232 0 -1 4202496 267707 0 0 0 16185 42 0 0 20 0 4 0 4551097 1338576896 268037 33554432000 4194304 16246674 140733281352224 140733281335224 6012147 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10735/statm: 326801 268037 792 2943 0 323695 0
[pid=10735/tid=10736] ppid=10732 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10736/stat : 10736 (toysat) S 10732 10735 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4551097 1338576896 268037 33554432000 4194304 16246674 140733281352224 140305805323504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10735/tid=10737] ppid=10732 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10737/stat : 10737 (toysat) S 10732 10735 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4551097 1338576896 268037 33554432000 4194304 16246674 140733281352224 140305794833648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10735/tid=10738] ppid=10732 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10738/stat : 10738 (toysat) S 10732 10735 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4551097 1338576896 268037 33554432000 4194304 16246674 140733281352224 140305709919408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1307204

[startup+222.3 s]
/proc/loadavg: 2.27 2.26 2.26 3/185 10791
/proc/meminfo: memFree=28248992/32872528 swapFree=1481856/1661728
[pid=10735] ppid=10732 vsize=1307204 CPUtime=222.27 cores=1,3,5,7
/proc/10735/stat : 10735 (toysat) R 10732 10735 6232 0 -1 4202496 267743 0 0 0 22183 44 0 0 20 0 4 0 4551097 1338576896 268073 33554432000 4194304 16246674 140733281352224 140733281335224 5545704 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10735/statm: 326801 268073 792 2943 0 323695 0
[pid=10735/tid=10736] ppid=10732 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10736/stat : 10736 (toysat) S 10732 10735 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4551097 1338576896 268073 33554432000 4194304 16246674 140733281352224 140305805323504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10735/tid=10737] ppid=10732 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10737/stat : 10737 (toysat) S 10732 10735 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4551097 1338576896 268073 33554432000 4194304 16246674 140733281352224 140305794833648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10735/tid=10738] ppid=10732 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10738/stat : 10738 (toysat) S 10732 10735 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4551097 1338576896 268073 33554432000 4194304 16246674 140733281352224 140305709919408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 1307204

[startup+282.3 s]
/proc/loadavg: 2.27 2.26 2.26 3/185 10792
/proc/meminfo: memFree=28248020/32872528 swapFree=1481856/1661728
[pid=10735] ppid=10732 vsize=1307204 CPUtime=282.24 cores=1,3,5,7
/proc/10735/stat : 10735 (toysat) R 10732 10735 6232 0 -1 4202496 267744 0 0 0 28179 45 0 0 20 0 4 0 4551097 1338576896 268074 33554432000 4194304 16246674 140733281352224 140733281335224 13927401 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10735/statm: 326801 268074 793 2943 0 323695 0
[pid=10735/tid=10736] ppid=10732 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10736/stat : 10736 (toysat) S 10732 10735 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4551097 1338576896 268074 33554432000 4194304 16246674 140733281352224 140305805323504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10735/tid=10737] ppid=10732 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10737/stat : 10737 (toysat) S 10732 10735 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4551097 1338576896 268074 33554432000 4194304 16246674 140733281352224 140305794833648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10735/tid=10738] ppid=10732 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10738/stat : 10738 (toysat) S 10732 10735 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4551097 1338576896 268074 33554432000 4194304 16246674 140733281352224 140305709919408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1307204

[startup+342.307 s]
/proc/loadavg: 2.21 2.24 2.25 3/185 10794
/proc/meminfo: memFree=28247756/32872528 swapFree=1481856/1661728
[pid=10735] ppid=10732 vsize=1307204 CPUtime=342.25 cores=1,3,5,7
/proc/10735/stat : 10735 (toysat) R 10732 10735 6232 0 -1 4202496 267744 0 0 0 34178 47 0 0 20 0 4 0 4551097 1338576896 268074 33554432000 4194304 16246674 140733281352224 140733281335216 5721616 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10735/statm: 326801 268074 793 2943 0 323695 0
[pid=10735/tid=10736] ppid=10732 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10736/stat : 10736 (toysat) S 10732 10735 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4551097 1338576896 268074 33554432000 4194304 16246674 140733281352224 140305805323504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10735/tid=10737] ppid=10732 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10737/stat : 10737 (toysat) S 10732 10735 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4551097 1338576896 268074 33554432000 4194304 16246674 140733281352224 140305794833648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10735/tid=10738] ppid=10732 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10738/stat : 10738 (toysat) S 10732 10735 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4551097 1338576896 268074 33554432000 4194304 16246674 140733281352224 140305709919408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 1307204

[startup+402.3 s]
/proc/loadavg: 2.12 2.21 2.24 3/185 10795
/proc/meminfo: memFree=28247368/32872528 swapFree=1481856/1661728
[pid=10735] ppid=10732 vsize=1307204 CPUtime=402.23 cores=1,3,5,7
/proc/10735/stat : 10735 (toysat) R 10732 10735 6232 0 -1 4202496 267818 0 0 0 40174 49 0 0 20 0 4 0 4551097 1338576896 268148 33554432000 4194304 16246674 140733281352224 140733281335224 5722535 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10735/statm: 326801 268148 793 2943 0 323695 0
[pid=10735/tid=10736] ppid=10732 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10736/stat : 10736 (toysat) S 10732 10735 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4551097 1338576896 268148 33554432000 4194304 16246674 140733281352224 140305805323504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10735/tid=10737] ppid=10732 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10737/stat : 10737 (toysat) S 10732 10735 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4551097 1338576896 268148 33554432000 4194304 16246674 140733281352224 140305794833648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10735/tid=10738] ppid=10732 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10738/stat : 10738 (toysat) S 10732 10735 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4551097 1338576896 268148 33554432000 4194304 16246674 140733281352224 140305709919408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1307204

[startup+462.3 s]
/proc/loadavg: 2.26 2.23 2.25 3/185 10796
/proc/meminfo: memFree=28246608/32872528 swapFree=1481856/1661728
[pid=10735] ppid=10732 vsize=1307204 CPUtime=462.22 cores=1,3,5,7
/proc/10735/stat : 10735 (toysat) R 10732 10735 6232 0 -1 4202496 267818 0 0 0 46171 51 0 0 20 0 4 0 4551097 1338576896 268148 33554432000 4194304 16246674 140733281352224 140733281335224 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10735/statm: 326801 268148 793 2943 0 323695 0
[pid=10735/tid=10736] ppid=10732 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10736/stat : 10736 (toysat) S 10732 10735 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4551097 1338576896 268148 33554432000 4194304 16246674 140733281352224 140305805323504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10735/tid=10737] ppid=10732 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10737/stat : 10737 (toysat) S 10732 10735 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4551097 1338576896 268148 33554432000 4194304 16246674 140733281352224 140305794833648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10735/tid=10738] ppid=10732 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10738/stat : 10738 (toysat) S 10732 10735 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4551097 1338576896 268148 33554432000 4194304 16246674 140733281352224 140305709919408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1307204

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

[startup+462.5 s]
/proc/loadavg: 2.26 2.23 2.25 3/185 10796
/proc/meminfo: memFree=28246608/32872528 swapFree=1481856/1661728
[pid=10735] ppid=10732 vsize=1307204 CPUtime=462.42 cores=1,3,5,7
/proc/10735/stat : 10735 (toysat) R 10732 10735 6232 0 -1 4202496 267818 0 0 0 46191 51 0 0 20 0 4 0 4551097 1338576896 268148 33554432000 4194304 16246674 140733281352224 140733281334144 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10735/statm: 326801 268148 793 2943 0 323695 0
[pid=10735/tid=10736] ppid=10732 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10736/stat : 10736 (toysat) S 10732 10735 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4551097 1338576896 268148 33554432000 4194304 16246674 140733281352224 140305805323504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10735/tid=10737] ppid=10732 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10737/stat : 10737 (toysat) S 10732 10735 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4551097 1338576896 268148 33554432000 4194304 16246674 140733281352224 140305794833648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10735/tid=10738] ppid=10732 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10735/task/10738/stat : 10738 (toysat) S 10732 10735 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4551097 1338576896 268148 33554432000 4194304 16246674 140733281352224 140305709919408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 462.42
Current children cumulated vsize (KiB) 1307204

[startup+462.7 s]
/proc/loadavg: 2.26 2.23 2.25 3/185 10796
/proc/meminfo: memFree=28246608/32872528 swapFree=1481856/1661728
[pid=10735] ppid=10732 vsize=0 CPUtime=462.62 cores=1,3,5,7
/proc/10735/stat : 10735 (toysat) R 10732 10735 6232 0 -1 4202500 267823 0 0 0 46208 54 0 0 20 0 1 0 4551097 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10735/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 462.62
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 462.724
CPU time (s): 462.653
CPU user time (s): 462.082
CPU system time (s): 0.570913
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 462.082
system time used= 0.570913
maximum resident set size= 1072604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267823
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= 23
involuntary context switches= 509

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.3278 second user time and 1.64475 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-15 23:10:47
IDJOB=4089309
IDBENCH=107388
IDSOLVER=2542
FILE ID=node134/4089309-1466025047
RUNJOBID= node134-1466019588-9689
PBS_JOBID= 19902814
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= ec34f338cdb702c36fe0f2656d588341
RANDOM SEED=1171040150

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
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:        29321860 kB
Buffers:           21240 kB
Cached:            78564 kB
SwapCached:        17324 kB
Active:          1137488 kB
Inactive:          51292 kB
Active(anon):    1073364 kB
Inactive(anon):    17972 kB
Active(file):      64124 kB
Inactive(file):    33320 kB
Unevictable:     1661728 kB
Mlocked:         1481856 kB
SwapTotal:      67108856 kB
SwapFree:       67083700 kB
Dirty:             16532 kB
Writeback:             0 kB
AnonPages:       2733672 kB
Mapped:            10436 kB
Shmem:                 0 kB
Slab:             567304 kB
SReclaimable:      10996 kB
SUnreclaim:       556308 kB
KernelStack:        1512 kB
PageTables:         9672 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2878352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    182272 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= 71704 MiB
End job on node134 at 2016-06-15 23:18:30