Trace number 4096001

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 520.817 520.938

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
subsetcard/normalized-subsetcard-geq-random4regular-25.opb
MD5SUM933cc7123cf73307cda6dcfa983bf2fb
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.009998
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables101
Total number of constraints50
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint5
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 8
Number of bits of the biggest sum of numbers4
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-16T20:11:51+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-4096001-1466100711.opb"]
0.00/0.01	c use --random-gen="698594022 991075014 4269453158 903356066 3164998070 1069897251 2793577608 2520403441 405456640 1254033732 1986771372 3296592244 576654724 2514924932 1642350104 2222808566 2863543938 3722491483 1462344717 2861243102 302476906 93324930 3829269561 3662354543 2501233759 3345176385 3681395308 1805163757 464674582 3130323911 2058281379 307059701 2707580590 2002355804 1430221499 3421771918 114302875 1106515868 116957301 2330358518 3490128289 3391499214 1022225516 3379771621 4104168332 573250867 1449900752 1764405488 2339959148 1674843066 1688405430 52031382 3230701708 2366955396 844217874 4028219962 3015419060 431701132 3327971764 732260592 652579732 4031113776 3400545525 162496831 2734842072 2245068864 2961125097 2073849182 2790122118 3221402643 685825471 1818461660 1234907391 1463548884 3667379259 4227150302 2751339303 2261457701 1022651007 1262945495 329302327 3745414537 2182080383 919763353 1060140353 2653093649 1674714166 3911738341 634144484 1059929330 499724621 1166837999 2597538511 1947103996 857462125 63035478 2058078142 2161229923 274203202 3049027467 4064881263 4264088761 901501958 2470161396 2370712690 1578723265 3435830854 1685149074 844860806 884429945 2831143595 496460910 232358270 2793571417 2208752291 2214138902 4233953822 1932518506 382072526 2476027207 2220077 3579205951 4059908826 1466044864 3859996793 2637946971 4215994227 3743912529 1070591461 4253841084 3754417759 2377365022 990740112 2272946716 230765982 1189856820 346664936 2233442674 2511267844 427037832 1326534940 3457569026 1203154642 3949036152 1470301583 929135348 2897611727 2047412988 3064653777 969707031 2372974360 4057819041 334763325 2980201646 2503906000 71767913 2015023392 3170019805 2172360251 3402051062 2055199689 1908760013 2612935223 3551100863 319212758 291245977 3474442871 1879567561 2882536288 1563463829 1869947034 2937314262 2121485382 433408948 183607117 2165050822 2222076834 3729651606 2705335985 3295995282 3490619391 2022859802 946693810 4010115513 576995962 1530510149 596652881 1150434576 3380795338 2149086874 3171871999 488757222 3284325250 3239913722 392093667 3293894338 3672652847 3942674238 1806978081 2217543956 1983338099 222507040 2300885879 3336820769 1983323035 3386782010 2859049706 1507966209 2668358881 2139870900 3281069139 1032488518 3997583695 4234735487 3909351789 2824184326 2539240746 4145097036 2469461526 2561642713 720311657 2020480538 2828093868 959800736 2153979997 2804726405 3860990988 3463347485 975754401 3881495667 204352078 1854877628 1658691713 902685267 3648207766 1495317649 166334541 3713611100 305365277 1539248583 2383703330 3859937019 2717871128 1558361648 2590968055 672148858 912602619 2133268237 300177570 520200716 1160420092 2708752465 971551704 3612889230 1069090636 2907661741 255 362436" option to reproduce the execution
0.00/0.01	c #vars 101
0.00/0.01	c #constraints 50
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 |       50      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      133 |      100 |       50      1 |        0 |        0
0.00/0.03	c  0.0s |       2 |      329 |      250 |       56      5 |        0 |        0
0.00/0.05	c  0.0s |       3 |      702 |      475 |       62     10 |        0 |        0
0.00/0.08	c  0.1s |       4 |     1153 |      813 |       69     16 |        0 |        0
0.09/0.12	c  0.1s |       5 |     1961 |     1320 |       76     25 |        0 |        0
0.09/0.19	c  0.2s |       6 |     3064 |     2081 |       93     39 |        0 |        0
0.19/0.29	c  0.3s |       7 |     4705 |     3223 |      103     59 |        0 |        0
0.39/0.43	c  0.4s |       8 |     7230 |     4936 |      114     85 |        0 |        0
0.59/0.65	c  0.6s |       9 |    10772 |     7506 |      126    122 |        0 |        0
0.89/0.99	c  1.0s |      10 |    15851 |    11361 |      139    174 |        0 |        0
1.29/1.35	c  1.3s |      11 |    24175 |    17144 |      153    246 |        0 |        0
1.79/1.83	c  1.8s |      12 |    37409 |    25819 |      169    347 |        0 |        0
2.59/2.66	c  2.7s |      13 |    55987 |    38832 |      186    485 |        0 |        0
3.89/3.95	c  3.9s |      14 |    81706 |    58352 |      205    673 |        0 |        0
5.79/5.80	c  5.8s |      15 |   121286 |    87632 |      226    932 |        0 |        0
7.79/7.81	c  7.8s |      15 |   160830 |   117432 |      226   1176 |        0 |        0
8.69/8.77	c  8.8s |      16 |   180022 |   131552 |      249   1292 |        0 |        0
10.69/10.77	c 10.8s |      16 |   226524 |   164552 |      249   1540 |        0 |        0
12.69/12.77	c 12.8s |      16 |   271483 |   197352 |      274   1787 |        0 |        0
12.69/12.78	c 12.8s |      17 |   271590 |   197432 |      274   1787 |        0 |        0
14.69/14.78	c 14.8s |      17 |   321834 |   230932 |      274   2018 |        0 |        0
16.69/16.79	c 16.8s |      17 |   371258 |   263532 |      274   2247 |        0 |        0
18.69/18.80	c 18.8s |      17 |   417667 |   296132 |      302   2472 |        0 |        0
18.79/18.80	c 18.8s |      18 |   417810 |   296252 |      302   2472 |        0 |        0
20.78/20.81	c 20.8s |      18 |   458227 |   326952 |      302   2666 |        0 |        0
22.78/22.81	c 22.8s |      18 |   498581 |   358052 |      302   2863 |        0 |        0
24.78/24.82	c 24.8s |      18 |   539585 |   389152 |      302   3062 |        0 |        0
26.78/26.82	c 26.8s |      18 |   580634 |   420752 |      302   3264 |        0 |        0
28.28/28.30	c 28.3s |      19 |   612779 |   444482 |      333   3413 |        0 |        0
30.28/30.30	c 30.3s |      19 |   655025 |   475882 |      333   3594 |        0 |        0
32.28/32.30	c 32.3s |      19 |   697888 |   506582 |      333   3771 |        0 |        0
34.28/34.30	c 34.3s |      19 |   744615 |   538982 |      333   3960 |        0 |        0
36.29/36.31	c 36.3s |      19 |   784102 |   568982 |      333   4133 |        0 |        0
38.29/38.32	c 38.3s |      19 |   824689 |   598982 |      333   4308 |        0 |        0
40.29/40.32	c 40.3s |      19 |   867915 |   630182 |      333   4489 |        0 |        0
42.28/42.32	c 42.3s |      19 |   910541 |   660982 |      333   4667 |        0 |        0
42.68/42.74	c 42.7s |      20 |   918150 |   666827 |      367   4699 |        0 |        0
44.68/44.75	c 44.7s |      20 |   952066 |   693927 |      367   4840 |        0 |        0
46.68/46.75	c 46.7s |      20 |   984770 |   720827 |      367   4979 |        0 |        0
48.68/48.76	c 48.7s |      20 |  1020989 |   748827 |      367   5126 |        0 |        0
50.69/50.76	c 50.8s |      20 |  1057597 |   776827 |      367   5271 |        0 |        0
52.69/52.77	c 52.8s |      20 |  1096606 |   805327 |      367   5420 |        0 |        0
54.69/54.77	c 54.8s |      20 |  1133887 |   833527 |      367   5567 |        0 |        0
56.68/56.77	c 56.8s |      20 |  1169894 |   861227 |      367   5711 |        0 |        0
58.68/58.78	c 58.8s |      20 |  1206568 |   889327 |      367   5857 |        0 |        0
60.68/60.78	c 60.8s |      20 |  1245496 |   918627 |      367   6010 |        0 |        0
62.69/62.78	c 62.8s |      20 |  1284293 |   947327 |      367   6160 |        0 |        0
64.68/64.78	c 64.8s |      20 |  1320744 |   975627 |      367   6308 |        0 |        0
66.48/66.50	c 66.5s |      21 |  1353632 |  1000345 |      404   6433 |        0 |        0
68.48/68.51	c 68.5s |      21 |  1398792 |  1032245 |      404   6586 |        0 |        0
70.48/70.51	c 70.5s |      21 |  1439678 |  1062045 |      404   6730 |        0 |        0
72.48/72.51	c 72.5s |      21 |  1481413 |  1092245 |      404   6875 |        0 |        0
74.48/74.52	c 74.5s |      21 |  1523987 |  1122745 |      404   7022 |        0 |        0
76.48/76.52	c 76.5s |      21 |  1560714 |  1151545 |      404   7161 |        0 |        0
78.48/78.53	c 78.5s |      21 |  1609386 |  1184145 |      404   7319 |        0 |        0
80.47/80.53	c 80.5s |      21 |  1657508 |  1216945 |      404   7477 |        0 |        0
82.48/82.53	c 82.5s |      21 |  1704427 |  1249245 |      404   7633 |        0 |        0
84.47/84.54	c 84.5s |      21 |  1748650 |  1280445 |      404   7785 |        0 |        0
86.48/86.54	c 86.5s |      21 |  1793135 |  1311745 |      404   7937 |        0 |        0
88.48/88.54	c 88.5s |      21 |  1838430 |  1342945 |      404   8087 |        0 |        0
90.48/90.55	c 90.5s |      21 |  1885087 |  1375245 |      404   8242 |        0 |        0
92.48/92.55	c 92.5s |      21 |  1932798 |  1406845 |      404   8394 |        0 |        0
94.47/94.55	c 94.5s |      21 |  1972625 |  1435845 |      404   8534 |        0 |        0
96.47/96.55	c 96.5s |      21 |  2010954 |  1464545 |      404   8672 |        0 |        0
98.47/98.56	c 98.5s |      21 |  2052924 |  1494045 |      445   8812 |        0 |        0
98.98/99.04	c 99.0s |      22 |  2062135 |  1500622 |      445   8841 |        0 |        0
100.97/101.04	c  101s |      22 |  2103433 |  1530922 |      445   8972 |        0 |        0
102.97/103.04	c  103s |      22 |  2140366 |  1558822 |      445   9092 |        0 |        0
104.97/105.04	c  105s |      22 |  2180319 |  1587522 |      445   9218 |        0 |        0
106.97/107.05	c  107s |      22 |  2217704 |  1615722 |      445   9341 |        0 |        0
108.98/109.05	c  109s |      22 |  2253319 |  1643122 |      445   9460 |        0 |        0
110.97/111.06	c  111s |      22 |  2294150 |  1672222 |      445   9587 |        0 |        0
112.97/113.06	c  113s |      22 |  2334735 |  1701622 |      445   9715 |        0 |        0
114.97/115.06	c  115s |      22 |  2375388 |  1730922 |      445   9843 |        0 |        0
116.97/117.07	c  117s |      22 |  2412688 |  1759422 |      445   9967 |        0 |        0
118.97/119.07	c  119s |      22 |  2451517 |  1788322 |      445  10093 |        0 |        0
120.97/121.07	c  121s |      22 |  2491011 |  1817322 |      445  10221 |        0 |        0
122.98/123.08	c  123s |      22 |  2527816 |  1844922 |      445  10341 |        0 |        0
124.98/125.08	c  125s |      22 |  2564008 |  1872322 |      445  10462 |        0 |        0
126.97/127.09	c  127s |      22 |  2598243 |  1898522 |      445  10576 |        0 |        0
128.97/129.09	c  129s |      22 |  2633674 |  1925722 |      445  10695 |        0 |        0
130.98/131.09	c  131s |      22 |  2669065 |  1952622 |      445  10814 |        0 |        0
132.97/133.09	c  133s |      22 |  2705401 |  1980422 |      445  10936 |        0 |        0
135.07/135.10	c  135s |      22 |  2743974 |  2008822 |      445  11060 |        0 |        0
137.07/137.10	c  137s |      22 |  2780830 |  2036422 |      445  11180 |        0 |        0
139.07/139.10	c  139s |      22 |  2816891 |  2063922 |      445  11301 |        0 |        0
141.07/141.10	c  141s |      22 |  2852559 |  2090622 |      445  11418 |        0 |        0
143.07/143.11	c  143s |      22 |  2884329 |  2116522 |      445  11530 |        0 |        0
145.06/145.11	c  145s |      22 |  2918888 |  2143622 |      445  11648 |        0 |        0
147.06/147.11	c  147s |      22 |  2954737 |  2170922 |      445  11768 |        0 |        0
149.06/149.11	c  149s |      22 |  2992486 |  2199022 |      445  11892 |        0 |        0
151.06/151.12	c  151s |      22 |  3030011 |  2227122 |      445  12015 |        0 |        0
152.87/152.92	c  152s |      23 |  3060443 |  2251038 |      490  12113 |        0 |        0
154.86/154.92	c  154s |      23 |  3096759 |  2278538 |      490  12222 |        0 |        0
156.87/156.93	c  156s |      23 |  3135408 |  2307238 |      490  12336 |        0 |        0
158.87/158.93	c  158s |      23 |  3171826 |  2335338 |      490  12448 |        0 |        0
160.87/160.93	c  160s |      23 |  3208189 |  2362538 |      490  12557 |        0 |        0
162.88/162.94	c  162s |      23 |  3243705 |  2389438 |      490  12664 |        0 |        0
164.87/164.94	c  164s |      23 |  3276090 |  2415038 |      490  12764 |        0 |        0
166.87/166.94	c  166s |      23 |  3309174 |  2441438 |      490  12869 |        0 |        0
168.87/168.94	c  168s |      23 |  3344407 |  2468638 |      490  12978 |        0 |        0
170.86/170.95	c  170s |      23 |  3382285 |  2496938 |      490  13092 |        0 |        0
172.86/172.96	c  172s |      23 |  3418741 |  2524638 |      490  13202 |        0 |        0
174.87/174.96	c  174s |      23 |  3454914 |  2551938 |      490  13312 |        0 |        0
176.86/176.97	c  176s |      23 |  3489389 |  2578438 |      490  13418 |        0 |        0
178.86/178.97	c  178s |      23 |  3527833 |  2606738 |      490  13531 |        0 |        0
180.86/180.97	c  180s |      23 |  3563967 |  2633938 |      490  13640 |        0 |        0
182.86/182.97	c  182s |      23 |  3600957 |  2662138 |      490  13754 |        0 |        0
184.87/184.98	c  184s |      23 |  3639206 |  2690338 |      490  13868 |        0 |        0
186.86/186.98	c  186s |      23 |  3677498 |  2718638 |      490  13982 |        0 |        0
188.86/188.99	c  188s |      23 |  3712308 |  2745938 |      490  14092 |        0 |        0
190.86/190.99	c  190s |      23 |  3746361 |  2772138 |      490  14196 |        0 |        0
192.86/192.99	c  192s |      23 |  3781841 |  2799238 |      490  14303 |        0 |        0
194.86/194.99	c  194s |      23 |  3819701 |  2826938 |      490  14414 |        0 |        0
196.86/196.99	c  196s |      23 |  3858293 |  2855238 |      490  14527 |        0 |        0
198.86/198.99	c  198s |      23 |  3895371 |  2882438 |      490  14635 |        0 |        0
200.85/201.00	c  200s |      23 |  3939957 |  2912238 |      490  14754 |        0 |        0
202.96/203.00	c  202s |      23 |  3978981 |  2940438 |      490  14867 |        0 |        0
204.96/205.00	c  204s |      23 |  4013983 |  2967238 |      490  14975 |        0 |        0
206.96/207.00	c  206s |      23 |  4053353 |  2995238 |      490  15086 |        0 |        0
208.97/209.01	c  208s |      23 |  4088345 |  3021838 |      490  15193 |        0 |        0
210.96/211.01	c  210s |      23 |  4127557 |  3050138 |      490  15306 |        0 |        0
212.96/213.01	c  213s |      23 |  4163795 |  3077138 |      490  15414 |        0 |        0
214.96/215.01	c  215s |      23 |  4198628 |  3103238 |      490  15518 |        0 |        0
216.96/217.02	c  217s |      23 |  4235839 |  3130938 |      490  15629 |        0 |        0
218.96/219.02	c  219s |      23 |  4271970 |  3158438 |      490  15740 |        0 |        0
220.95/221.02	c  221s |      23 |  4308133 |  3185638 |      490  15849 |        0 |        0
222.95/223.02	c  223s |      23 |  4348117 |  3213638 |      490  15961 |        0 |        0
224.95/225.02	c  225s |      23 |  4382669 |  3240138 |      490  16066 |        0 |        0
226.95/227.03	c  227s |      23 |  4417421 |  3266538 |      490  16172 |        0 |        0
228.96/229.03	c  229s |      23 |  4453214 |  3293338 |      490  16278 |        0 |        0
230.96/231.03	c  231s |      23 |  4491414 |  3321338 |      490  16390 |        0 |        0
232.96/233.04	c  233s |      23 |  4525205 |  3348038 |      490  16497 |        0 |        0
234.96/235.04	c  235s |      23 |  4556401 |  3373438 |      539  16592 |        0 |        0
235.26/235.30	c  235s |      24 |  4560548 |  3376662 |      539  16603 |        0 |        0
237.25/237.30	c  237s |      24 |  4588724 |  3399962 |      539  16687 |        0 |        0
239.25/239.31	c  239s |      24 |  4617650 |  3424162 |      539  16775 |        0 |        0
241.25/241.31	c  241s |      24 |  4645412 |  3447762 |      539  16860 |        0 |        0
243.25/243.32	c  243s |      24 |  4671726 |  3470362 |      539  16942 |        0 |        0
245.26/245.32	c  245s |      24 |  4697401 |  3493262 |      539  17025 |        0 |        0
247.25/247.32	c  247s |      24 |  4725295 |  3517162 |      539  17111 |        0 |        0
249.25/249.33	c  249s |      24 |  4754147 |  3541362 |      539  17199 |        0 |        0
251.25/251.33	c  251s |      24 |  4786720 |  3567262 |      539  17293 |        0 |        0
253.25/253.33	c  253s |      24 |  4818499 |  3592862 |      539  17386 |        0 |        0
255.26/255.34	c  255s |      24 |  4848260 |  3617762 |      539  17476 |        0 |        0
257.25/257.34	c  257s |      24 |  4879695 |  3642562 |      539  17566 |        0 |        0
259.25/259.35	c  259s |      24 |  4909967 |  3667062 |      539  17655 |        0 |        0
261.25/261.35	c  261s |      24 |  4940171 |  3691762 |      539  17745 |        0 |        0
263.25/263.35	c  263s |      24 |  4969253 |  3715862 |      539  17832 |        0 |        0
265.25/265.35	c  265s |      24 |  5002926 |  3742162 |      539  17928 |        0 |        0
267.25/267.36	c  267s |      24 |  5034555 |  3767262 |      539  18018 |        0 |        0
269.24/269.36	c  269s |      24 |  5064101 |  3791162 |      539  18104 |        0 |        0
271.24/271.37	c  271s |      24 |  5093861 |  3815262 |      539  18191 |        0 |        0
273.25/273.37	c  273s |      24 |  5124597 |  3839362 |      539  18277 |        0 |        0
275.25/275.37	c  275s |      24 |  5157162 |  3864162 |      539  18367 |        0 |        0
277.26/277.38	c  277s |      24 |  5190116 |  3888762 |      539  18455 |        0 |        0
279.25/279.38	c  279s |      24 |  5227384 |  3915562 |      539  18553 |        0 |        0
281.25/281.39	c  281s |      24 |  5267335 |  3943162 |      539  18653 |        0 |        0
283.25/283.39	c  283s |      24 |  5303905 |  3969162 |      539  18748 |        0 |        0
285.25/285.40	c  285s |      24 |  5341300 |  3995962 |      539  18845 |        0 |        0
287.24/287.40	c  287s |      24 |  5380421 |  4023062 |      539  18944 |        0 |        0
289.25/289.40	c  289s |      24 |  5418308 |  4050462 |      539  19043 |        0 |        0
291.34/291.40	c  291s |      24 |  5454473 |  4076962 |      539  19140 |        0 |        0
293.34/293.40	c  293s |      24 |  5492233 |  4104362 |      539  19240 |        0 |        0
295.34/295.41	c  295s |      24 |  5528147 |  4131362 |      539  19338 |        0 |        0
297.34/297.42	c  297s |      24 |  5565725 |  4158662 |      539  19438 |        0 |        0
299.34/299.42	c  299s |      24 |  5600902 |  4184962 |      539  19534 |        0 |        0
301.35/301.43	c  301s |      24 |  5635802 |  4211362 |      539  19630 |        0 |        0
303.35/303.43	c  303s |      24 |  5668730 |  4236862 |      539  19723 |        0 |        0
305.34/305.43	c  305s |      24 |  5706678 |  4264562 |      539  19823 |        0 |        0
307.34/307.43	c  307s |      24 |  5742635 |  4291862 |      539  19923 |        0 |        0
309.34/309.44	c  309s |      24 |  5779692 |  4319262 |      539  20023 |        0 |        0
311.35/311.45	c  311s |      24 |  5814279 |  4345162 |      539  20117 |        0 |        0
313.34/313.45	c  313s |      24 |  5850533 |  4371962 |      539  20215 |        0 |        0
315.34/315.45	c  315s |      24 |  5887076 |  4399362 |      539  20315 |        0 |        0
317.34/317.45	c  317s |      24 |  5922326 |  4425462 |      539  20410 |        0 |        0
319.34/319.45	c  319s |      24 |  5954509 |  4449962 |      539  20499 |        0 |        0
321.34/321.45	c  321s |      24 |  5984371 |  4474362 |      539  20588 |        0 |        0
323.34/323.46	c  323s |      24 |  6017515 |  4499762 |      539  20681 |        0 |        0
325.33/325.46	c  325s |      24 |  6049325 |  4525162 |      539  20774 |        0 |        0
327.33/327.46	c  327s |      24 |  6082209 |  4550762 |      539  20867 |        0 |        0
329.33/329.47	c  329s |      24 |  6117029 |  4576962 |      539  20962 |        0 |        0
331.34/331.47	c  331s |      24 |  6153544 |  4603462 |      539  21059 |        0 |        0
333.35/333.48	c  333s |      24 |  6188784 |  4629662 |      539  21155 |        0 |        0
335.34/335.48	c  335s |      24 |  6224610 |  4656262 |      539  21253 |        0 |        0
337.33/337.48	c  337s |      24 |  6259718 |  4682862 |      539  21350 |        0 |        0
339.33/339.49	c  339s |      24 |  6294327 |  4709162 |      539  21445 |        0 |        0
341.33/341.49	c  341s |      24 |  6331307 |  4736462 |      539  21545 |        0 |        0
343.33/343.49	c  343s |      24 |  6369173 |  4764262 |      539  21647 |        0 |        0
345.33/345.50	c  345s |      24 |  6404547 |  4791162 |      539  21745 |        0 |        0
347.43/347.51	c  347s |      24 |  6439830 |  4817562 |      539  21841 |        0 |        0
349.43/349.51	c  349s |      24 |  6477528 |  4844862 |      539  21940 |        0 |        0
351.43/351.52	c  351s |      24 |  6513647 |  4871762 |      539  22038 |        0 |        0
353.43/353.52	c  353s |      24 |  6546582 |  4897362 |      539  22130 |        0 |        0
355.43/355.52	c  355s |      24 |  6578389 |  4922762 |      539  22223 |        0 |        0
357.44/357.53	c  357s |      24 |  6612899 |  4949562 |      539  22322 |        0 |        0
359.43/359.53	c  359s |      24 |  6651541 |  4978262 |      539  22427 |        0 |        0
361.43/361.53	c  361s |      24 |  6686945 |  5005362 |      539  22526 |        0 |        0
363.43/363.53	c  363s |      24 |  6722701 |  5032062 |      593  22621 |        0 |        0
365.43/365.54	c  365s |      24 |  6758600 |  5058762 |      593  22709 |        0 |        0
365.93/366.04	c  366s |      25 |  6766719 |  5065098 |      593  22730 |        0 |        0
367.93/368.04	c  368s |      25 |  6802750 |  5091798 |      593  22818 |        0 |        0
369.93/370.05	c  370s |      25 |  6837229 |  5118398 |      593  22906 |        0 |        0
371.93/372.05	c  372s |      25 |  6870154 |  5144598 |      593  22993 |        0 |        0
373.93/374.06	c  374s |      25 |  6905394 |  5171498 |      593  23082 |        0 |        0
375.92/376.06	c  376s |      25 |  6942204 |  5199298 |      593  23174 |        0 |        0
377.92/378.07	c  378s |      25 |  6978200 |  5226798 |      593  23265 |        0 |        0
379.92/380.07	c  380s |      25 |  7015122 |  5254198 |      593  23356 |        0 |        0
381.92/382.07	c  382s |      25 |  7049076 |  5280698 |      593  23444 |        0 |        0
383.93/384.07	c  384s |      25 |  7087291 |  5308998 |      593  23538 |        0 |        0
385.92/386.08	c  386s |      25 |  7124934 |  5336698 |      593  23630 |        0 |        0
387.92/388.08	c  388s |      25 |  7165217 |  5365398 |      593  23725 |        0 |        0
389.93/390.08	c  390s |      25 |  7202999 |  5393398 |      593  23818 |        0 |        0
391.93/392.09	c  392s |      25 |  7240539 |  5421198 |      593  23911 |        0 |        0
393.92/394.09	c  394s |      25 |  7273990 |  5447698 |      593  23998 |        0 |        0
395.93/396.09	c  396s |      25 |  7306995 |  5473698 |      593  24084 |        0 |        0
397.92/398.09	c  398s |      25 |  7341041 |  5499998 |      593  24171 |        0 |        0
400.02/400.10	c  400s |      25 |  7372647 |  5525198 |      593  24255 |        0 |        0
402.02/402.10	c  402s |      25 |  7406455 |  5551498 |      593  24342 |        0 |        0
404.02/404.11	c  404s |      25 |  7438584 |  5577498 |      593  24428 |        0 |        0
406.02/406.12	c  406s |      25 |  7471769 |  5603698 |      593  24515 |        0 |        0
408.02/408.12	c  408s |      25 |  7503650 |  5629198 |      593  24600 |        0 |        0
410.02/410.12	c  410s |      25 |  7534002 |  5653998 |      593  24682 |        0 |        0
412.02/412.12	c  412s |      25 |  7564945 |  5678998 |      593  24765 |        0 |        0
414.02/414.12	c  414s |      25 |  7593640 |  5702798 |      593  24844 |        0 |        0
416.01/416.13	c  416s |      25 |  7623336 |  5727398 |      593  24925 |        0 |        0
418.02/418.13	c  418s |      25 |  7654119 |  5752698 |      593  25009 |        0 |        0
420.01/420.13	c  420s |      25 |  7685182 |  5777498 |      593  25091 |        0 |        0
422.01/422.14	c  422s |      25 |  7718027 |  5803598 |      593  25178 |        0 |        0
424.01/424.15	c  424s |      25 |  7753406 |  5830498 |      593  25267 |        0 |        0
426.00/426.15	c  426s |      25 |  7790195 |  5858798 |      593  25361 |        0 |        0
428.01/428.15	c  428s |      25 |  7827141 |  5886798 |      593  25454 |        0 |        0
430.01/430.16	c  430s |      25 |  7859717 |  5913098 |      593  25541 |        0 |        0
432.01/432.16	c  432s |      25 |  7893321 |  5940198 |      593  25631 |        0 |        0
434.00/434.17	c  434s |      25 |  7928204 |  5967398 |      593  25721 |        0 |        0
436.00/436.17	c  436s |      25 |  7963121 |  5993998 |      593  25809 |        0 |        0
438.00/438.17	c  438s |      25 |  7995409 |  6019898 |      593  25894 |        0 |        0
440.01/440.18	c  440s |      25 |  8027977 |  6046098 |      593  25981 |        0 |        0
442.00/442.18	c  442s |      25 |  8057021 |  6070198 |      593  26060 |        0 |        0
444.00/444.19	c  444s |      25 |  8086439 |  6094698 |      593  26141 |        0 |        0
446.00/446.19	c  446s |      25 |  8118640 |  6120898 |      593  26227 |        0 |        0
448.09/448.20	c  448s |      25 |  8150671 |  6147098 |      593  26314 |        0 |        0
450.09/450.20	c  450s |      25 |  8182024 |  6172498 |      593  26398 |        0 |        0
452.10/452.20	c  452s |      25 |  8215852 |  6199198 |      593  26486 |        0 |        0
454.09/454.21	c  454s |      25 |  8251194 |  6226298 |      593  26574 |        1 |        0
456.10/456.21	c  456s |      25 |  8286343 |  6253298 |      593  26663 |        1 |        0
458.10/458.21	c  458s |      25 |  8322208 |  6280598 |      593  26754 |        1 |        0
460.10/460.22	c  460s |      25 |  8361454 |  6309398 |      593  26849 |        1 |        0
462.09/462.22	c  462s |      25 |  8401220 |  6338198 |      593  26944 |        1 |        0
464.10/464.23	c  464s |      25 |  8440065 |  6366698 |      593  27039 |        1 |        0
466.09/466.24	c  466s |      25 |  8479431 |  6395298 |      593  27134 |        1 |        0
468.09/468.24	c  468s |      25 |  8519435 |  6424298 |      593  27231 |        1 |        0
470.09/470.24	c  470s |      25 |  8559254 |  6453298 |      593  27327 |        1 |        0
472.09/472.24	c  472s |      25 |  8598116 |  6482198 |      593  27423 |        1 |        0
474.09/474.25	c  474s |      25 |  8635611 |  6510198 |      593  27515 |        1 |        0
476.08/476.25	c  476s |      25 |  8672446 |  6538698 |      593  27610 |        1 |        0
478.08/478.25	c  478s |      25 |  8708700 |  6565898 |      593  27699 |        1 |        0
480.08/480.26	c  480s |      25 |  8747743 |  6594498 |      593  27794 |        1 |        0
482.09/482.26	c  482s |      25 |  8786085 |  6623398 |      593  27889 |        1 |        0
484.09/484.26	c  484s |      25 |  8822890 |  6651898 |      593  27982 |        1 |        0
486.10/486.27	c  486s |      25 |  8855071 |  6677298 |      593  28064 |        2 |        0
488.09/488.27	c  488s |      25 |  8890625 |  6704398 |      593  28154 |        2 |        0
490.09/490.27	c  490s |      25 |  8927413 |  6732298 |      593  28246 |        2 |        0
492.09/492.27	c  492s |      25 |  8968635 |  6761898 |      593  28344 |        2 |        0
494.08/494.28	c  494s |      25 |  9006719 |  6790598 |      593  28438 |        2 |        0
496.09/496.28	c  496s |      25 |  9044331 |  6818698 |      593  28530 |        3 |        0
498.08/498.28	c  498s |      25 |  9077651 |  6845198 |      593  28617 |        3 |        0
500.08/500.28	c  500s |      25 |  9109262 |  6870798 |      593  28702 |        3 |        0
502.08/502.28	c  502s |      25 |  9142288 |  6896398 |      593  28786 |        3 |        0
504.07/504.28	c  504s |      25 |  9173898 |  6921898 |      593  28870 |        3 |        0
506.07/506.29	c  506s |      25 |  9211034 |  6949998 |      593  28963 |        3 |        0
508.08/508.29	c  508s |      25 |  9245712 |  6977098 |      593  29052 |        3 |        0
510.08/510.29	c  510s |      25 |  9283469 |  7005198 |      593  29145 |        3 |        0
512.18/512.30	c  512s |      25 |  9319797 |  7032998 |      593  29236 |        3 |        0
514.18/514.30	c  514s |      25 |  9359516 |  7062398 |      593  29331 |        4 |        0
516.17/516.31	c  516s |      25 |  9399721 |  7092898 |      593  29431 |        5 |        0
518.17/518.31	c  518s |      25 |  9439068 |  7122398 |      593  29528 |        5 |        0
520.18/520.32	c  520s |      25 |  9476615 |  7151598 |      593  29623 |        7 |        0
520.67/520.89	c  520s |      25 |  9489030 |  7160798 |      593  29650 |       39 |        1
520.67/520.89	c #cpu_time = 519.511s
520.67/520.89	c #wall_clock_time = 520.882s
520.67/520.89	c #decision = 9489030
520.67/520.89	c #random_decision = 40495
520.67/520.89	c #conflict = 7160798
520.67/520.89	c #restart = 25
520.67/520.89	s UNSATISFIABLE
520.67/520.89	c total CPU time = 519.524s
520.67/520.89	c total wall clock time = 520.895s

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

pid=25038
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.08 2.14 2.15 2/173 25041
/proc/meminfo: memFree=30788808/32872528 swapFree=1103228/1182944
[pid=25041] ppid=25038 vsize=702908 CPUtime=0 cores=1,3,5,7
/proc/25041/stat : 25041 (toysat) R 25038 25041 24719 0 -1 4202496 2612 0 0 0 0 0 0 0 20 0 4 0 12120043 719777792 3485 33554432000 4194304 16246674 140733692244048 140733692243472 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25041/statm: 176239 3493 441 2943 0 173133 0
[pid=25041/tid=25042] ppid=25038 vsize=720316 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (toysat) S 25038 25041 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120043 737603584 3552 33554432000 4194304 16246674 140733692244048 140049106578672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25041/tid=25043] ppid=25038 vsize=724412 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (toysat) S 25038 25041 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12120043 741797888 3569 33554432000 4194304 16246674 140733692244048 140049018498288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25041/tid=25044] ppid=25038 vsize=728508 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25044/stat : 25044 (toysat) S 25038 25041 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12120043 745992192 3585 33554432000 4194304 16246674 140733692244048 140049008024752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100128 s]
/proc/loadavg: 2.08 2.14 2.15 2/173 25041
/proc/meminfo: memFree=30788808/32872528 swapFree=1103228/1182944
[pid=25041] ppid=25038 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/25041/stat : 25041 (toysat) R 25038 25041 24719 0 -1 4202496 24522 0 0 0 6 3 0 0 20 0 4 0 12120043 1247350784 25383 33554432000 4194304 16246674 140733692244048 140733692243472 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25041/statm: 304529 25392 707 2943 0 301423 0
[pid=25041/tid=25042] ppid=25038 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (toysat) S 25038 25041 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120043 1247350784 25399 33554432000 4194304 16246674 140733692244048 140049106578672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25041/tid=25043] ppid=25038 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (toysat) S 25038 25041 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12120043 1247350784 25409 33554432000 4194304 16246674 140733692244048 140049018498288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25041/tid=25044] ppid=25038 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25044/stat : 25044 (toysat) S 25038 25041 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12120043 1247350784 25415 33554432000 4194304 16246674 140733692244048 140049008024752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200488 s]
/proc/loadavg: 2.08 2.14 2.15 2/173 25041
/proc/meminfo: memFree=30788808/32872528 swapFree=1103228/1182944
[pid=25041] ppid=25038 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/25041/stat : 25041 (toysat) R 25038 25041 24719 0 -1 4202496 47051 0 0 0 13 6 0 0 20 0 4 0 12120043 1247350784 47913 33554432000 4194304 16246674 140733692244048 140733692243472 13195385 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25041/statm: 304529 47921 708 2943 0 301423 0
[pid=25041/tid=25042] ppid=25038 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (toysat) S 25038 25041 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120043 1247350784 47927 33554432000 4194304 16246674 140733692244048 140049106578672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25041/tid=25043] ppid=25038 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (toysat) S 25038 25041 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12120043 1247350784 47932 33554432000 4194304 16246674 140733692244048 140049018498288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25041/tid=25044] ppid=25038 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25044/stat : 25044 (toysat) S 25038 25041 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12120043 1247350784 47938 33554432000 4194304 16246674 140733692244048 140049008024752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300449 s]
/proc/loadavg: 2.08 2.14 2.15 2/173 25041
/proc/meminfo: memFree=30788808/32872528 swapFree=1103228/1182944
[pid=25041] ppid=25038 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/25041/stat : 25041 (toysat) R 25038 25041 24719 0 -1 4202496 69650 0 0 0 21 8 0 0 20 0 4 0 12120043 1247350784 70512 33554432000 4194304 16246674 140733692244048 140733692225920 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25041/statm: 304529 70521 708 2943 0 301423 0
[pid=25041/tid=25042] ppid=25038 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (toysat) S 25038 25041 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120043 1247350784 70529 33554432000 4194304 16246674 140733692244048 140049106578672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25041/tid=25043] ppid=25038 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (toysat) S 25038 25041 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12120043 1247350784 70534 33554432000 4194304 16246674 140733692244048 140049018498288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25041/tid=25044] ppid=25038 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25044/stat : 25044 (toysat) S 25038 25041 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12120043 1247350784 70540 33554432000 4194304 16246674 140733692244048 140049008024752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700374 s]
/proc/loadavg: 2.08 2.14 2.15 2/173 25041
/proc/meminfo: memFree=30788808/32872528 swapFree=1103228/1182944
[pid=25041] ppid=25038 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/25041/stat : 25041 (toysat) R 25038 25041 24719 0 -1 4202496 158725 0 0 0 50 19 0 0 20 0 4 0 12120043 1247350784 159586 33554432000 4194304 16246674 140733692244048 140733692225920 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25041/statm: 304529 159599 708 2943 0 301423 0
[pid=25041/tid=25042] ppid=25038 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (toysat) S 25038 25041 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120043 1247350784 159604 33554432000 4194304 16246674 140733692244048 140049106578672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25041/tid=25043] ppid=25038 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (toysat) S 25038 25041 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12120043 1247350784 159611 33554432000 4194304 16246674 140733692244048 140049018498288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25041/tid=25044] ppid=25038 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25044/stat : 25044 (toysat) S 25038 25041 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12120043 1247350784 159618 33554432000 4194304 16246674 140733692244048 140049008024752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.08 2.14 2.15 3/183 25080
/proc/meminfo: memFree=29038160/32872528 swapFree=1103228/1182944
[pid=25041] ppid=25038 vsize=1218116 CPUtime=1.49 cores=1,3,5,7
/proc/25041/stat : 25041 (toysat) R 25038 25041 24719 0 -1 4202496 245450 0 0 0 119 30 0 0 20 0 4 0 12120043 1247350784 246291 33554432000 4194304 16246674 140733692244048 140733692227048 13950199 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25041/statm: 304529 246291 782 2943 0 301423 0
[pid=25041/tid=25042] ppid=25038 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (toysat) S 25038 25041 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120043 1247350784 246291 33554432000 4194304 16246674 140733692244048 140049106578672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25041/tid=25043] ppid=25038 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (toysat) S 25038 25041 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12120043 1247350784 246291 33554432000 4194304 16246674 140733692244048 140049018498288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25041/tid=25044] ppid=25038 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25044/stat : 25044 (toysat) S 25038 25041 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12120043 1247350784 246291 33554432000 4194304 16246674 140733692244048 140049008024752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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: 2.08 2.14 2.15 4/183 25080
/proc/meminfo: memFree=28648552/32872528 swapFree=1103228/1182944
[pid=25041] ppid=25038 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/25041/stat : 25041 (toysat) R 25038 25041 24719 0 -1 4202496 267380 0 0 0 276 33 0 0 20 0 4 0 12120043 1337528320 268221 33554432000 4194304 16246674 140733692244048 140733692227048 12483337 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25041/statm: 326545 268221 782 2943 0 323439 0
[pid=25041/tid=25042] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (toysat) S 25038 25041 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268221 33554432000 4194304 16246674 140733692244048 140049106578672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25041/tid=25043] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (toysat) S 25038 25041 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268221 33554432000 4194304 16246674 140733692244048 140049018498288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25041/tid=25044] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25044/stat : 25044 (toysat) S 25038 25041 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268221 33554432000 4194304 16246674 140733692244048 140049008024752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30038 s]
/proc/loadavg: 2.15 2.15 2.15 3/183 25080
/proc/meminfo: memFree=28647484/32872528 swapFree=1103228/1182944
[pid=25041] ppid=25038 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/25041/stat : 25041 (toysat) R 25038 25041 24719 0 -1 4202496 267390 0 0 0 596 33 0 0 20 0 4 0 12120043 1337528320 268231 33554432000 4194304 16246674 140733692244048 140733692227048 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25041/statm: 326545 268231 782 2943 0 323439 0
[pid=25041/tid=25042] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (toysat) S 25038 25041 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268231 33554432000 4194304 16246674 140733692244048 140049106578672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25041/tid=25043] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (toysat) S 25038 25041 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268231 33554432000 4194304 16246674 140733692244048 140049018498288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25041/tid=25044] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25044/stat : 25044 (toysat) S 25038 25041 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268231 33554432000 4194304 16246674 140733692244048 140049008024752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.14 2.15 2.15 3/183 25080
/proc/meminfo: memFree=28645828/32872528 swapFree=1103228/1182944
[pid=25041] ppid=25038 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/25041/stat : 25041 (toysat) R 25038 25041 24719 0 -1 4202496 267394 0 0 0 1236 33 0 0 20 0 4 0 12120043 1337528320 268235 33554432000 4194304 16246674 140733692244048 140733692227048 5523241 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25041/statm: 326545 268235 782 2943 0 323439 0
[pid=25041/tid=25042] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (toysat) S 25038 25041 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268235 33554432000 4194304 16246674 140733692244048 140049106578672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25041/tid=25043] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (toysat) S 25038 25041 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268235 33554432000 4194304 16246674 140733692244048 140049018498288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25041/tid=25044] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25044/stat : 25044 (toysat) S 25038 25041 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268235 33554432000 4194304 16246674 140733692244048 140049008024752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.11 2.14 2.15 3/183 25080
/proc/meminfo: memFree=28646640/32872528 swapFree=1103228/1182944
[pid=25041] ppid=25038 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/25041/stat : 25041 (toysat) R 25038 25041 24719 0 -1 4202496 267395 0 0 0 2515 33 0 0 20 0 4 0 12120043 1337528320 268236 33554432000 4194304 16246674 140733692244048 140733692227048 6011852 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25041/statm: 326545 268236 782 2943 0 323439 0
[pid=25041/tid=25042] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (toysat) S 25038 25041 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268236 33554432000 4194304 16246674 140733692244048 140049106578672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25041/tid=25043] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (toysat) S 25038 25041 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268236 33554432000 4194304 16246674 140733692244048 140049018498288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25041/tid=25044] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25044/stat : 25044 (toysat) S 25038 25041 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268236 33554432000 4194304 16246674 140733692244048 140049008024752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.15 2.15 2.15 4/183 25080
/proc/meminfo: memFree=28645656/32872528 swapFree=1103228/1182944
[pid=25041] ppid=25038 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/25041/stat : 25041 (toysat) R 25038 25041 24719 0 -1 4202496 267410 0 0 0 5074 34 0 0 20 0 4 0 12120043 1337528320 268251 33554432000 4194304 16246674 140733692244048 140733692227048 6022524 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25041/statm: 326545 268251 783 2943 0 323439 0
[pid=25041/tid=25042] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (toysat) S 25038 25041 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268251 33554432000 4194304 16246674 140733692244048 140049106578672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25041/tid=25043] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (toysat) S 25038 25041 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268251 33554432000 4194304 16246674 140733692244048 140049018498288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25041/tid=25044] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25044/stat : 25044 (toysat) S 25038 25041 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268251 33554432000 4194304 16246674 140733692244048 140049008024752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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.19 2.15 2.15 3/183 25081
/proc/meminfo: memFree=28645772/32872528 swapFree=1103228/1182944
[pid=25041] ppid=25038 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/25041/stat : 25041 (toysat) R 25038 25041 24719 0 -1 4202496 267425 0 0 0 10192 36 0 0 20 0 4 0 12120043 1337528320 268266 33554432000 4194304 16246674 140733692244048 140733692227048 5822536 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25041/statm: 326545 268266 786 2943 0 323439 0
[pid=25041/tid=25042] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (toysat) S 25038 25041 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268266 33554432000 4194304 16246674 140733692244048 140049106578672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25041/tid=25043] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (toysat) S 25038 25041 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268266 33554432000 4194304 16246674 140733692244048 140049018498288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25041/tid=25044] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25044/stat : 25044 (toysat) S 25038 25041 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268266 33554432000 4194304 16246674 140733692244048 140049008024752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


################
# More data... #
################

Current children cumulated vsize (KiB) 1306180

[startup+402.3 s]
/proc/loadavg: 2.19 2.18 2.16 3/183 25087
/proc/meminfo: memFree=28641148/32872528 swapFree=1103228/1182944
[pid=25041] ppid=25038 vsize=1306180 CPUtime=402.22 cores=1,3,5,7
/proc/25041/stat : 25041 (toysat) R 25038 25041 24719 0 -1 4202496 267467 0 0 0 40176 46 0 0 20 0 4 0 12120043 1337528320 268296 33554432000 4194304 16246674 140733692244048 140733692227048 5829844 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25041/statm: 326545 268296 787 2943 0 323439 0
[pid=25041/tid=25042] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (toysat) S 25038 25041 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268296 33554432000 4194304 16246674 140733692244048 140049106578672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25041/tid=25043] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (toysat) S 25038 25041 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268296 33554432000 4194304 16246674 140733692244048 140049018498288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25041/tid=25044] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25044/stat : 25044 (toysat) S 25038 25041 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268296 33554432000 4194304 16246674 140733692244048 140049008024752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1306180

[startup+462.3 s]
/proc/loadavg: 2.26 2.20 2.17 3/183 25088
/proc/meminfo: memFree=28639808/32872528 swapFree=1103228/1182944
[pid=25041] ppid=25038 vsize=1306180 CPUtime=462.19 cores=1,3,5,7
/proc/25041/stat : 25041 (toysat) R 25038 25041 24719 0 -1 4202496 267508 0 0 0 46171 48 0 0 20 0 4 0 12120043 1337528320 268308 33554432000 4194304 16246674 140733692244048 140733692227048 6042849 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25041/statm: 326545 268308 787 2943 0 323439 0
[pid=25041/tid=25042] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (toysat) S 25038 25041 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268308 33554432000 4194304 16246674 140733692244048 140049106578672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25041/tid=25043] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (toysat) S 25038 25041 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268308 33554432000 4194304 16246674 140733692244048 140049018498288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25041/tid=25044] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25044/stat : 25044 (toysat) S 25038 25041 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268308 33554432000 4194304 16246674 140733692244048 140049008024752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 1306180

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

[startup+486.4 s]
/proc/loadavg: 2.23 2.20 2.17 3/183 25089
/proc/meminfo: memFree=28639628/32872528 swapFree=1103228/1182944
[pid=25041] ppid=25038 vsize=1306180 CPUtime=486.29 cores=1,3,5,7
/proc/25041/stat : 25041 (toysat) R 25038 25041 24719 0 -1 4202496 267518 0 0 0 48580 49 0 0 20 0 4 0 12120043 1337528320 268308 33554432000 4194304 16246674 140733692244048 140733692227048 5822472 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25041/statm: 326545 268308 787 2943 0 323439 0
[pid=25041/tid=25042] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (toysat) S 25038 25041 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268308 33554432000 4194304 16246674 140733692244048 140049106578672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25041/tid=25043] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (toysat) S 25038 25041 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268308 33554432000 4194304 16246674 140733692244048 140049018498288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25041/tid=25044] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25044/stat : 25044 (toysat) S 25038 25041 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268308 33554432000 4194304 16246674 140733692244048 140049008024752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 486.29
Current children cumulated vsize (KiB) 1306180

[startup+499.2 s]
/proc/loadavg: 2.19 2.20 2.17 3/184 25093
/proc/meminfo: memFree=28639924/32872528 swapFree=1103228/1182944
[pid=25041] ppid=25038 vsize=1306180 CPUtime=499.08 cores=1,3,5,7
/proc/25041/stat : 25041 (toysat) R 25038 25041 24719 0 -1 4202496 267526 0 0 0 49859 49 0 0 20 0 4 0 12120043 1337528320 268309 33554432000 4194304 16246674 140733692244048 140733692225920 13198652 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25041/statm: 326545 268309 788 2943 0 323439 0
[pid=25041/tid=25042] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (toysat) S 25038 25041 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268309 33554432000 4194304 16246674 140733692244048 140049106578672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25041/tid=25043] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (toysat) S 25038 25041 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268309 33554432000 4194304 16246674 140733692244048 140049018498288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25041/tid=25044] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25044/stat : 25044 (toysat) S 25038 25041 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268309 33554432000 4194304 16246674 140733692244048 140049008024752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 499.08
Current children cumulated vsize (KiB) 1306180

[startup+512 s]
/proc/loadavg: 2.29 2.22 2.18 3/184 25093
/proc/meminfo: memFree=28640180/32872528 swapFree=1103228/1182944
[pid=25041] ppid=25038 vsize=1306180 CPUtime=511.88 cores=1,3,5,7
/proc/25041/stat : 25041 (toysat) R 25038 25041 24719 0 -1 4202496 267532 0 0 0 51138 50 0 0 20 0 4 0 12120043 1337528320 268309 33554432000 4194304 16246674 140733692244048 140733692225920 6024936 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25041/statm: 326545 268309 788 2943 0 323439 0
[pid=25041/tid=25042] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (toysat) S 25038 25041 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268309 33554432000 4194304 16246674 140733692244048 140049106578672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25041/tid=25043] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (toysat) S 25038 25041 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268309 33554432000 4194304 16246674 140733692244048 140049018498288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25041/tid=25044] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25044/stat : 25044 (toysat) S 25038 25041 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268309 33554432000 4194304 16246674 140733692244048 140049008024752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 511.88
Current children cumulated vsize (KiB) 1306180

[startup+515.2 s]
/proc/loadavg: 2.27 2.21 2.18 3/184 25093
/proc/meminfo: memFree=28640304/32872528 swapFree=1103228/1182944
[pid=25041] ppid=25038 vsize=1306180 CPUtime=515.07 cores=1,3,5,7
/proc/25041/stat : 25041 (toysat) R 25038 25041 24719 0 -1 4202496 267537 0 0 0 51457 50 0 0 20 0 4 0 12120043 1337528320 268309 33554432000 4194304 16246674 140733692244048 140733692225920 6022344 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25041/statm: 326545 268309 788 2943 0 323439 0
[pid=25041/tid=25042] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (toysat) S 25038 25041 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268309 33554432000 4194304 16246674 140733692244048 140049106578672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25041/tid=25043] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (toysat) S 25038 25041 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268309 33554432000 4194304 16246674 140733692244048 140049018498288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25041/tid=25044] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25044/stat : 25044 (toysat) S 25038 25041 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268309 33554432000 4194304 16246674 140733692244048 140049008024752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 515.07
Current children cumulated vsize (KiB) 1306180

[startup+518.4 s]
/proc/loadavg: 2.27 2.21 2.18 3/184 25093
/proc/meminfo: memFree=28640288/32872528 swapFree=1103228/1182944
[pid=25041] ppid=25038 vsize=1306180 CPUtime=518.27 cores=1,3,5,7
/proc/25041/stat : 25041 (toysat) R 25038 25041 24719 0 -1 4202496 267537 0 0 0 51777 50 0 0 20 0 4 0 12120043 1337528320 268309 33554432000 4194304 16246674 140733692244048 140733692227048 6023775 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25041/statm: 326545 268309 788 2943 0 323439 0
[pid=25041/tid=25042] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (toysat) S 25038 25041 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268309 33554432000 4194304 16246674 140733692244048 140049106578672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25041/tid=25043] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (toysat) S 25038 25041 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268309 33554432000 4194304 16246674 140733692244048 140049018498288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25041/tid=25044] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25044/stat : 25044 (toysat) S 25038 25041 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268309 33554432000 4194304 16246674 140733692244048 140049008024752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 518.27
Current children cumulated vsize (KiB) 1306180

[startup+520 s]
/proc/loadavg: 2.24 2.21 2.18 3/184 25093
/proc/meminfo: memFree=28640288/32872528 swapFree=1103228/1182944
[pid=25041] ppid=25038 vsize=1306180 CPUtime=519.87 cores=1,3,5,7
/proc/25041/stat : 25041 (toysat) R 25038 25041 24719 0 -1 4202496 267537 0 0 0 51937 50 0 0 20 0 4 0 12120043 1337528320 268309 33554432000 4194304 16246674 140733692244048 140733692225920 5754969 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25041/statm: 326545 268309 788 2943 0 323439 0
[pid=25041/tid=25042] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (toysat) S 25038 25041 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268309 33554432000 4194304 16246674 140733692244048 140049106578672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25041/tid=25043] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (toysat) S 25038 25041 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268309 33554432000 4194304 16246674 140733692244048 140049018498288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25041/tid=25044] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25044/stat : 25044 (toysat) S 25038 25041 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268309 33554432000 4194304 16246674 140733692244048 140049008024752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 519.87
Current children cumulated vsize (KiB) 1306180

[startup+520.407 s]
/proc/loadavg: 2.24 2.21 2.18 3/184 25093
/proc/meminfo: memFree=28640288/32872528 swapFree=1103228/1182944
[pid=25041] ppid=25038 vsize=1306180 CPUtime=520.28 cores=1,3,5,7
/proc/25041/stat : 25041 (toysat) R 25038 25041 24719 0 -1 4202496 267537 0 0 0 51978 50 0 0 20 0 4 0 12120043 1337528320 268309 33554432000 4194304 16246674 140733692244048 140733692225920 5827950 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25041/statm: 326545 268309 788 2943 0 323439 0
[pid=25041/tid=25042] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (toysat) S 25038 25041 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268309 33554432000 4194304 16246674 140733692244048 140049106578672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25041/tid=25043] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (toysat) S 25038 25041 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268309 33554432000 4194304 16246674 140733692244048 140049018498288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25041/tid=25044] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25044/stat : 25044 (toysat) S 25038 25041 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268309 33554432000 4194304 16246674 140733692244048 140049008024752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 520.28
Current children cumulated vsize (KiB) 1306180

[startup+520.8 s]
/proc/loadavg: 2.24 2.21 2.18 3/184 25093
/proc/meminfo: memFree=28640288/32872528 swapFree=1103228/1182944
[pid=25041] ppid=25038 vsize=1306180 CPUtime=520.67 cores=1,3,5,7
/proc/25041/stat : 25041 (toysat) R 25038 25041 24719 0 -1 4202496 267537 0 0 0 52017 50 0 0 20 0 4 0 12120043 1337528320 268309 33554432000 4194304 16246674 140733692244048 140733692225920 5522986 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25041/statm: 326545 268309 788 2943 0 323439 0
[pid=25041/tid=25042] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (toysat) S 25038 25041 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268309 33554432000 4194304 16246674 140733692244048 140049106578672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25041/tid=25043] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (toysat) S 25038 25041 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268309 33554432000 4194304 16246674 140733692244048 140049018498288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25041/tid=25044] ppid=25038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25044/stat : 25044 (toysat) S 25038 25041 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12120043 1337528320 268309 33554432000 4194304 16246674 140733692244048 140049008024752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 520.67
Current children cumulated vsize (KiB) 1306180

[startup+520.9 s]
/proc/loadavg: 2.24 2.21 2.18 3/184 25093
/proc/meminfo: memFree=28640288/32872528 swapFree=1103228/1182944
[pid=25041] ppid=25038 vsize=0 CPUtime=520.77 cores=1,3,5,7
/proc/25041/stat : 25041 (toysat) R 25038 25041 24719 0 -1 4202500 267542 0 0 0 52027 50 0 0 20 0 1 0 12120043 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25041/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 520.77
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 520.938
CPU time (s): 520.817
CPU user time (s): 520.273
CPU system time (s): 0.543917
CPU usage (%): 99.9767
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 520.273
system time used= 0.543917
maximum resident set size= 1073248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267542
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= 90
involuntary context switches= 540

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.39079 second user time and 1.9767 second system time

The end

Launcher Data 

Begin job on node115 at 2016-06-16 20:11:51
IDJOB=4096001
IDBENCH=107552
IDSOLVER=2542
FILE ID=node115/4096001-1466100711
RUNJOBID= node115-1466097108-24736
PBS_JOBID= 19904041
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/subsetcard/normalized-subsetcard-geq-random4regular-25.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4096001-1466100711/watcher-4096001-1466100711 -o /tmp/evaluation-result-4096001-1466100711/solver-4096001-1466100711 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466097108-24736 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096001-1466100711.opb

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

MD5SUM BENCH= 933cc7123cf73307cda6dcfa983bf2fb
RANDOM SEED=2134718014

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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.103
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:        30789452 kB
Buffers:           52176 kB
Cached:           141448 kB
SwapCached:         2104 kB
Active:           105456 kB
Inactive:          92328 kB
Active(anon):       4532 kB
Inactive(anon):     1636 kB
Active(file):     100924 kB
Inactive(file):    90692 kB
Unevictable:     1182944 kB
Mlocked:         1103228 kB
SwapTotal:      67108856 kB
SwapFree:       67099112 kB
Dirty:             16332 kB
Writeback:             0 kB
AnonPages:       1335456 kB
Mapped:             7180 kB
Shmem:                 0 kB
Slab:             569072 kB
SReclaimable:      13200 kB
SUnreclaim:       555872 kB
KernelStack:        1520 kB
PageTables:         6148 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1290220 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    229376 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= 71712 MiB
End job on node115 at 2016-06-16 20:20:32