Trace number 4088665

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 445.593 445.662

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
EC_ODD_GRIDS/normalized-ECgrid3x80split.opb
MD5SUM169fa73c30239648665c3667f39677da
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.246962
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables481
Total number of constraints241
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)241
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-15T19:33:40+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-4088665-1466012020.opb"]
0.00/0.01	c use --random-gen="3414680540 78481190 3924648847 2184535422 2903404002 850844938 3208303346 283151069 666459101 2470694271 2556572574 3823583828 1244177828 2120065023 373609885 2616653818 34160082 2391915074 2646809135 1602840464 771764061 4209258468 3987496322 1685234813 1609213635 3254084935 4224728611 2729768047 3564852640 1972633957 179948515 667702162 4224994122 697887335 3583200994 3824032379 2261330241 4166307 799251494 1922449764 2266779663 3973643543 3537391227 721354803 1809057004 1657003020 301077081 2143508451 1391763938 443031494 2709308828 1773508761 3113809419 3978245606 969832436 1117200669 2632059566 3747254989 868095336 2059735433 355476463 230733397 1981987637 1229435101 2153181874 2350748747 3878922937 3732709687 2124759597 207717279 3784130847 450011695 201487848 267823760 1704696989 1112829865 553146583 379351552 2080291378 3735069473 2027138761 3515189404 3347765055 2784344169 2431387062 3087689426 1109972056 3161047176 3689585262 3080840424 1760261779 3935114180 2222277357 2812411361 2377876439 4240483443 2263644490 4210892476 2003599359 205254579 580989797 1407128801 3426218647 4185627856 2189977502 2445287792 1344452479 1756980642 3791634184 3963394531 1090284337 2113390372 913688036 162443436 190425499 1804003849 4102576585 709044337 3722137135 4146122929 3547733307 3628520934 1009319649 3247694424 970466992 1048667923 215660353 1329856831 2276118403 2476312151 4282345559 3927032045 2517626386 4056550049 1306653763 3262989072 34023142 639737294 4093051009 1161677336 3607234206 124499570 2428169157 3938006252 780291962 428405181 443936300 1465849396 922195821 1448910742 3507702047 1710292166 1515700766 3952658040 1675585899 2735728931 2278207473 2504852068 2817444401 4137295530 2079417812 711269227 4208819039 1054099262 3882348415 1344745018 3278347986 1416763214 3005553468 232624790 46659865 4067627413 875890133 3107186582 2186120137 2869821840 4280234223 3033417916 795315334 2921516386 3529595848 1925545667 4198403848 3011686755 473336258 2236133780 2221045213 2721648153 614084261 3950877214 2125409171 2074854590 3516757475 1485308329 875618199 3960260651 705405902 890066330 40046769 1826604888 3259869686 618937347 1932224956 2079058785 2494408347 4131122496 3460707314 532769976 599663609 1748033528 147406084 2421256712 1472218639 4141686051 2998140328 525925604 288735114 3447324432 3436295473 2556170859 3832290828 3775788722 3172344431 2383629415 4003391031 36029807 2822725845 3971351529 2678322715 1266203120 1020866599 350767337 1469280691 730042596 2716750656 408742390 543861220 1139092210 2416575438 2745062694 3848369706 554820117 1368499873 2472827698 821067914 3794300224 3522577724 1543690110 1045174939 1166506020 3159952053 2999374203 4003306314 3224942432 354359182 222439791 255 362436" option to reproduce the execution
0.00/0.01	c #vars 481
0.00/0.01	c #constraints 241
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      321      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      341 |      100 |      321      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      731 |      250 |      354      0 |        0 |        0
0.00/0.05	c  0.0s |       3 |     1175 |      475 |      390      0 |        0 |        0
0.00/0.07	c  0.0s |       4 |     1974 |      813 |      430      1 |        0 |        0
0.09/0.11	c  0.1s |       5 |     3047 |     1320 |      474      3 |        0 |        0
0.09/0.15	c  0.1s |       6 |     4460 |     2081 |      575      4 |        0 |        0
0.19/0.23	c  0.2s |       7 |     6648 |     3223 |      633      7 |        0 |        0
0.29/0.34	c  0.3s |       8 |     9994 |     4936 |      697     11 |        0 |        0
0.49/0.52	c  0.5s |       9 |    14437 |     7506 |      767     16 |        0 |        0
0.69/0.78	c  0.8s |      10 |    22206 |    11361 |      844     24 |        0 |        0
0.99/1.08	c  1.1s |      11 |    33390 |    17144 |      929     35 |        0 |        0
1.49/1.53	c  1.5s |      12 |    49644 |    25819 |     1022     50 |        0 |        0
2.09/2.19	c  2.2s |      13 |    74986 |    38832 |     1125     72 |        0 |        0
3.19/3.20	c  3.2s |      14 |   112410 |    58352 |     1238    102 |        0 |        0
4.69/4.73	c  4.7s |      15 |   166861 |    87632 |     1362    144 |        0 |        0
6.69/6.73	c  6.7s |      15 |   239807 |   126032 |     1362    194 |        0 |        0
6.98/7.03	c  7.0s |      16 |   249928 |   131552 |     1499    201 |        0 |        0
8.99/9.03	c  9.0s |      16 |   319978 |   169452 |     1499    246 |        0 |        0
10.49/10.55	c 10.5s |      17 |   375290 |   197432 |     1649    279 |        0 |        0
12.49/12.55	c 12.5s |      17 |   444866 |   233432 |     1649    319 |        0 |        0
14.49/14.55	c 14.5s |      17 |   511952 |   269132 |     1649    358 |        0 |        0
15.99/16.04	c 16.0s |      18 |   563191 |   296252 |     1814    388 |        0 |        0
17.99/18.05	c 18.0s |      18 |   629922 |   331152 |     1814    423 |        0 |        0
19.99/20.05	c 20.0s |      18 |   702607 |   368352 |     1814    461 |        0 |        0
21.99/22.06	c 22.0s |      18 |   772980 |   404052 |     1814    497 |        0 |        0
23.98/24.06	c 24.0s |      18 |   837736 |   438352 |     1814    531 |        0 |        0
24.38/24.41	c 24.4s |      19 |   850765 |   444482 |     1996    537 |        0 |        0
26.39/26.41	c 26.4s |      19 |   919931 |   480182 |     1996    571 |        0 |        0
28.38/28.42	c 28.4s |      19 |   986723 |   514682 |     1996    603 |        0 |        0
30.38/30.42	c 30.4s |      19 |  1057570 |   549582 |     1996    636 |        0 |        0
32.38/32.42	c 32.4s |      19 |  1132036 |   583482 |     1996    668 |        0 |        0
34.38/34.43	c 34.4s |      19 |  1207013 |   618882 |     1996    701 |        0 |        0
36.39/36.44	c 36.4s |      19 |  1289468 |   654282 |     1996    734 |        0 |        0
37.18/37.21	c 37.2s |      20 |  1315244 |   666827 |     2196    746 |        0 |        0
39.19/39.21	c 39.2s |      20 |  1383975 |   701827 |     2196    776 |        0 |        0
41.19/41.21	c 41.2s |      20 |  1454781 |   736927 |     2196    806 |        0 |        0
43.19/43.22	c 43.2s |      20 |  1524942 |   769827 |     2196    834 |        0 |        0
45.19/45.23	c 45.2s |      20 |  1591800 |   800027 |     2196    860 |        0 |        0
47.18/47.23	c 47.2s |      20 |  1660953 |   832227 |     2196    887 |        0 |        0
49.18/49.24	c 49.2s |      20 |  1728812 |   864327 |     2196    915 |        0 |        0
51.18/51.24	c 51.2s |      20 |  1793665 |   894227 |     2196    940 |        0 |        0
53.18/53.24	c 53.2s |      20 |  1852015 |   924427 |     2196    966 |        0 |        0
55.18/55.25	c 55.2s |      20 |  1919423 |   958727 |     2196    996 |        0 |        0
57.19/57.25	c 57.2s |      20 |  1988437 |   992627 |     2196   1024 |        0 |        0
57.68/57.75	c 57.7s |      21 |  2002775 |  1000345 |     2416   1031 |        0 |        0
59.68/59.76	c 59.7s |      21 |  2073973 |  1036545 |     2416   1058 |        0 |        0
61.69/61.76	c 61.7s |      21 |  2141052 |  1070345 |     2416   1085 |        0 |        0
63.68/63.77	c 63.7s |      21 |  2210258 |  1103545 |     2416   1111 |        0 |        0
65.68/65.77	c 65.7s |      21 |  2280478 |  1136645 |     2416   1138 |        0 |        0
67.68/67.77	c 67.7s |      21 |  2349063 |  1170445 |     2416   1164 |        0 |        0
69.68/69.77	c 69.8s |      21 |  2422724 |  1204645 |     2416   1191 |        0 |        0
71.68/71.78	c 71.8s |      21 |  2488611 |  1237645 |     2416   1217 |        0 |        0
73.68/73.78	c 73.8s |      21 |  2556000 |  1269645 |     2416   1243 |        0 |        0
75.68/75.79	c 75.8s |      21 |  2621158 |  1303245 |     2416   1269 |        0 |        0
77.68/77.79	c 77.8s |      21 |  2689290 |  1338545 |     2416   1296 |        0 |        0
79.67/79.79	c 79.8s |      21 |  2759688 |  1373445 |     2416   1323 |        0 |        0
81.68/81.79	c 81.8s |      21 |  2834537 |  1407545 |     2416   1350 |        0 |        0
83.69/83.79	c 83.8s |      21 |  2903167 |  1440045 |     2416   1376 |        0 |        0
85.68/85.79	c 85.8s |      21 |  2976601 |  1475145 |     2416   1404 |        0 |        0
87.18/87.24	c 87.2s |      22 |  3029671 |  1500622 |     2658   1423 |        0 |        0
89.18/89.25	c 89.2s |      22 |  3093793 |  1533822 |     2658   1446 |        0 |        0
91.18/91.25	c 91.2s |      22 |  3159063 |  1566822 |     2658   1470 |        0 |        0
93.18/93.26	c 93.2s |      22 |  3222428 |  1598622 |     2658   1493 |        0 |        0
95.18/95.26	c 95.2s |      22 |  3286892 |  1628822 |     2658   1515 |        0 |        0
97.18/97.26	c 97.2s |      22 |  3348896 |  1658422 |     2658   1536 |        0 |        0
99.18/99.26	c 99.2s |      22 |  3407260 |  1687822 |     2658   1558 |        0 |        0
101.18/101.26	c  101s |      22 |  3467868 |  1718922 |     2658   1580 |        0 |        0
103.18/103.26	c  103s |      22 |  3534348 |  1749722 |     2658   1602 |        0 |        0
105.18/105.27	c  105s |      22 |  3596650 |  1780722 |     2658   1625 |        0 |        0
107.17/107.27	c  107s |      22 |  3661762 |  1813222 |     2658   1648 |        0 |        0
109.17/109.28	c  109s |      22 |  3728113 |  1844722 |     2658   1671 |        0 |        0
111.18/111.28	c  111s |      22 |  3792823 |  1877222 |     2658   1694 |        0 |        0
113.17/113.28	c  113s |      22 |  3862767 |  1910622 |     2658   1718 |        0 |        0
115.17/115.28	c  115s |      22 |  3930005 |  1942922 |     2658   1741 |        0 |        0
117.17/117.29	c  117s |      22 |  3997042 |  1976022 |     2658   1765 |        0 |        0
119.17/119.29	c  119s |      22 |  4067204 |  2008422 |     2658   1789 |        0 |        0
121.17/121.29	c  121s |      22 |  4137474 |  2041322 |     2658   1812 |        0 |        0
123.18/123.30	c  123s |      22 |  4211596 |  2074322 |     2658   1836 |        0 |        0
125.27/125.30	c  125s |      22 |  4282192 |  2107922 |     2658   1860 |        0 |        0
127.27/127.31	c  127s |      22 |  4354245 |  2140722 |     2658   1884 |        0 |        0
129.27/129.31	c  129s |      22 |  4420481 |  2172222 |     2658   1907 |        0 |        0
131.27/131.31	c  131s |      22 |  4488318 |  2203922 |     2658   1929 |        0 |        0
133.27/133.32	c  133s |      22 |  4558352 |  2234922 |     2658   1952 |        0 |        0
134.28/134.33	c  134s |      23 |  4592402 |  2251038 |     2924   1962 |        0 |        0
136.27/136.34	c  136s |      23 |  4655234 |  2283738 |     2924   1984 |        0 |        0
138.27/138.34	c  138s |      23 |  4720071 |  2316638 |     2924   2005 |        0 |        0
140.27/140.34	c  140s |      23 |  4781809 |  2348038 |     2924   2026 |        0 |        0
142.27/142.35	c  142s |      23 |  4845935 |  2380438 |     2924   2046 |        0 |        0
144.27/144.35	c  144s |      23 |  4906153 |  2410938 |     2924   2066 |        0 |        0
146.27/146.35	c  146s |      23 |  4972785 |  2443438 |     2924   2088 |        0 |        0
148.26/148.36	c  148s |      23 |  5035961 |  2475238 |     2924   2109 |        0 |        0
150.26/150.37	c  150s |      23 |  5101710 |  2508238 |     2924   2130 |        0 |        0
152.26/152.37	c  152s |      23 |  5162270 |  2538838 |     2924   2150 |        0 |        0
154.26/154.37	c  154s |      23 |  5228252 |  2570038 |     2924   2171 |        0 |        0
156.27/156.37	c  156s |      23 |  5290129 |  2600538 |     2924   2191 |        0 |        0
158.26/158.37	c  158s |      23 |  5352204 |  2631138 |     2924   2211 |        0 |        0
160.26/160.37	c  160s |      23 |  5420784 |  2664138 |     2924   2233 |        0 |        0
162.26/162.38	c  162s |      23 |  5484805 |  2695438 |     2924   2254 |        0 |        0
164.26/164.38	c  164s |      23 |  5554249 |  2729438 |     2924   2276 |        0 |        0
166.27/166.38	c  166s |      23 |  5622049 |  2762738 |     2924   2298 |        0 |        0
168.27/168.38	c  168s |      23 |  5683493 |  2795338 |     2924   2319 |        0 |        0
170.27/170.39	c  170s |      23 |  5750746 |  2827138 |     2924   2340 |        0 |        0
172.26/172.39	c  172s |      23 |  5816877 |  2857338 |     2924   2360 |        0 |        0
174.26/174.39	c  174s |      23 |  5876520 |  2886038 |     2924   2379 |        0 |        0
176.26/176.39	c  176s |      23 |  5940076 |  2916638 |     2924   2398 |        0 |        0
178.27/178.39	c  178s |      23 |  6004738 |  2947838 |     2924   2419 |        0 |        0
180.26/180.39	c  180s |      23 |  6070110 |  2980738 |     2924   2441 |        0 |        0
182.36/182.40	c  182s |      23 |  6135568 |  3013238 |     2924   2462 |        0 |        0
184.36/184.40	c  184s |      23 |  6202744 |  3046938 |     2924   2483 |        0 |        0
186.36/186.40	c  186s |      23 |  6270036 |  3079438 |     2924   2504 |        0 |        0
188.36/188.41	c  188s |      23 |  6333493 |  3110238 |     2924   2525 |        0 |        0
190.36/190.42	c  190s |      23 |  6401797 |  3142038 |     2924   2546 |        0 |        0
192.36/192.42	c  192s |      23 |  6468515 |  3175738 |     2924   2567 |        0 |        0
194.36/194.43	c  194s |      23 |  6530025 |  3206538 |     2924   2588 |        0 |        0
196.36/196.44	c  196s |      23 |  6596959 |  3238938 |     2924   2609 |        0 |        0
198.35/198.44	c  198s |      23 |  6668344 |  3272238 |     2924   2631 |        0 |        0
200.35/200.44	c  200s |      23 |  6733746 |  3304138 |     2924   2652 |        0 |        0
202.37/202.44	c  202s |      23 |  6801305 |  3336438 |     2924   2673 |        0 |        0
204.36/204.45	c  204s |      23 |  6864473 |  3367138 |     3217   2692 |        0 |        0
205.06/205.11	c  205s |      24 |  6884432 |  3376662 |     3217   2698 |        0 |        0
207.06/207.12	c  207s |      24 |  6948308 |  3408562 |     3217   2717 |        0 |        0
209.07/209.12	c  209s |      24 |  7011013 |  3440462 |     3217   2735 |        0 |        0
211.06/211.13	c  211s |      24 |  7073332 |  3471462 |     3217   2754 |        0 |        0
213.06/213.13	c  213s |      24 |  7134940 |  3501562 |     3217   2772 |        0 |        0
215.06/215.13	c  215s |      24 |  7195616 |  3530662 |     3217   2789 |        0 |        0
217.06/217.13	c  217s |      24 |  7254018 |  3558062 |     3217   2806 |        0 |        0
219.06/219.14	c  219s |      24 |  7314290 |  3587062 |     3217   2823 |        0 |        0
221.06/221.14	c  221s |      24 |  7374126 |  3615462 |     3217   2840 |        0 |        0
223.05/223.15	c  223s |      24 |  7431896 |  3644462 |     3217   2858 |        0 |        0
225.05/225.15	c  225s |      24 |  7494863 |  3675662 |     3217   2876 |        0 |        0
227.05/227.15	c  227s |      24 |  7552128 |  3706262 |     3217   2894 |        0 |        0
229.05/229.15	c  229s |      24 |  7615125 |  3736362 |     3217   2912 |        0 |        0
231.06/231.15	c  231s |      24 |  7675303 |  3766862 |     3217   2930 |        0 |        0
233.05/233.16	c  233s |      24 |  7734534 |  3796662 |     3217   2948 |        0 |        0
235.05/235.16	c  235s |      24 |  7792873 |  3826562 |     3217   2966 |        0 |        0
237.05/237.16	c  237s |      24 |  7850553 |  3855262 |     3217   2983 |        0 |        0
239.06/239.17	c  239s |      24 |  7911639 |  3886062 |     3217   3002 |        0 |        0
241.06/241.17	c  241s |      24 |  7973828 |  3916862 |     3217   3020 |        0 |        0
243.06/243.17	c  243s |      24 |  8029754 |  3945462 |     3217   3037 |        0 |        0
245.05/245.17	c  245s |      24 |  8092960 |  3976762 |     3217   3056 |        0 |        0
247.05/247.18	c  247s |      24 |  8158573 |  4008162 |     3217   3075 |        0 |        0
249.05/249.18	c  249s |      24 |  8222083 |  4039562 |     3217   3093 |        0 |        0
251.05/251.18	c  251s |      24 |  8287776 |  4071662 |     3217   3112 |        0 |        0
253.05/253.19	c  253s |      24 |  8349436 |  4103462 |     3217   3131 |        0 |        0
255.05/255.19	c  255s |      24 |  8410643 |  4133762 |     3217   3150 |        0 |        0
257.05/257.19	c  257s |      24 |  8473558 |  4166362 |     3217   3169 |        0 |        0
259.15/259.20	c  259s |      24 |  8538643 |  4197362 |     3217   3188 |        0 |        0
261.15/261.21	c  261s |      24 |  8601026 |  4228462 |     3217   3206 |        0 |        0
263.15/263.21	c  263s |      24 |  8658772 |  4256862 |     3217   3223 |        0 |        0
265.16/265.21	c  265s |      24 |  8724933 |  4289562 |     3217   3243 |        0 |        0
267.15/267.22	c  267s |      24 |  8790229 |  4321362 |     3217   3262 |        0 |        0
269.15/269.22	c  269s |      24 |  8857485 |  4353462 |     3217   3281 |        0 |        0
271.15/271.23	c  271s |      24 |  8920823 |  4385262 |     3217   3300 |        0 |        0
273.15/273.23	c  273s |      24 |  8984837 |  4416962 |     3217   3319 |        0 |        0
275.15/275.23	c  275s |      24 |  9051504 |  4449662 |     3217   3338 |        0 |        0
277.15/277.24	c  277s |      24 |  9116006 |  4481462 |     3217   3357 |        0 |        0
279.14/279.24	c  279s |      24 |  9179309 |  4512562 |     3217   3376 |        0 |        0
281.14/281.24	c  281s |      24 |  9243804 |  4543062 |     3217   3394 |        0 |        0
283.14/283.24	c  283s |      24 |  9309480 |  4574862 |     3217   3413 |        0 |        0
285.14/285.25	c  285s |      24 |  9368974 |  4605962 |     3217   3431 |        0 |        0
287.15/287.25	c  287s |      24 |  9428542 |  4636962 |     3217   3450 |        0 |        0
289.14/289.26	c  289s |      24 |  9492143 |  4669362 |     3217   3469 |        0 |        0
291.14/291.26	c  291s |      24 |  9559623 |  4702062 |     3217   3488 |        0 |        0
293.15/293.27	c  293s |      24 |  9620345 |  4733262 |     3217   3507 |        0 |        0
295.15/295.27	c  295s |      24 |  9679882 |  4762962 |     3217   3525 |        0 |        0
297.15/297.28	c  297s |      24 |  9740137 |  4795062 |     3217   3544 |        0 |        0
299.16/299.28	c  299s |      24 |  9802809 |  4827562 |     3217   3563 |        0 |        0
301.15/301.28	c  301s |      24 |  9863680 |  4858562 |     3217   3581 |        0 |        0
303.15/303.28	c  303s |      24 |  9927896 |  4891162 |     3217   3600 |        0 |        0
305.15/305.28	c  305s |      24 |  9989708 |  4921862 |     3217   3619 |        0 |        0
307.14/307.29	c  307s |      24 | 10050454 |  4951162 |     3217   3636 |        0 |        0
309.15/309.29	c  309s |      24 | 10113279 |  4981062 |     3217   3654 |        0 |        0
311.14/311.29	c  311s |      24 | 10172546 |  5011062 |     3217   3672 |        0 |        0
313.14/313.29	c  313s |      24 | 10234101 |  5040762 |     3539   3690 |        0 |        0
314.74/314.85	c  314s |      25 | 10283500 |  5065098 |     3539   3703 |        0 |        0
316.75/316.85	c  316s |      25 | 10342120 |  5095698 |     3539   3719 |        0 |        0
318.74/318.85	c  318s |      25 | 10401315 |  5124998 |     3539   3735 |        0 |        0
320.74/320.85	c  320s |      25 | 10460593 |  5153498 |     3539   3751 |        0 |        0
322.74/322.86	c  322s |      25 | 10519145 |  5181798 |     3539   3766 |        0 |        0
324.74/324.86	c  324s |      25 | 10580571 |  5211098 |     3539   3782 |        0 |        0
326.74/326.87	c  326s |      25 | 10638275 |  5239798 |     3539   3798 |        0 |        0
328.74/328.87	c  328s |      25 | 10700521 |  5271198 |     3539   3815 |        0 |        0
330.73/330.88	c  330s |      25 | 10762742 |  5301698 |     3539   3832 |        0 |        0
332.74/332.88	c  332s |      25 | 10827861 |  5333498 |     3539   3849 |        0 |        0
334.74/334.88	c  334s |      25 | 10892372 |  5365398 |     3539   3867 |        0 |        0
336.74/336.89	c  336s |      25 | 10954787 |  5396098 |     3539   3884 |        0 |        0
338.75/338.89	c  338s |      25 | 11015268 |  5427098 |     3539   3900 |        0 |        0
340.74/340.89	c  340s |      25 | 11079388 |  5458198 |     3539   3917 |        0 |        0
342.74/342.89	c  342s |      25 | 11140884 |  5488898 |     3539   3934 |        0 |        0
344.74/344.90	c  344s |      25 | 11200334 |  5518598 |     3539   3950 |        0 |        0
346.84/346.90	c  346s |      25 | 11257815 |  5546598 |     3539   3966 |        0 |        0
348.84/348.90	c  348s |      25 | 11318003 |  5577998 |     3539   3983 |        0 |        0
350.74/350.90	c  350s |      25 | 11375288 |  5606398 |     3539   3998 |        0 |        0
352.84/352.90	c  352s |      25 | 11435444 |  5634998 |     3539   4014 |        0 |        0
354.83/354.90	c  354s |      25 | 11499798 |  5665498 |     3539   4031 |        0 |        0
356.83/356.90	c  356s |      25 | 11560270 |  5694298 |     3539   4046 |        0 |        0
358.83/358.91	c  358s |      25 | 11612534 |  5720198 |     3539   4060 |        0 |        0
360.84/360.91	c  360s |      25 | 11671188 |  5751498 |     3539   4077 |        0 |        0
362.83/362.92	c  362s |      25 | 11730269 |  5781698 |     3539   4094 |        0 |        0
364.83/364.92	c  364s |      25 | 11788065 |  5810398 |     3539   4110 |        0 |        0
366.83/366.92	c  366s |      25 | 11848614 |  5840698 |     3539   4126 |        0 |        0
368.84/368.93	c  368s |      25 | 11907507 |  5870198 |     3539   4142 |        0 |        0
370.83/370.93	c  370s |      25 | 11965279 |  5899898 |     3539   4158 |        0 |        0
372.84/372.94	c  372s |      25 | 12027431 |  5931598 |     3539   4176 |        0 |        0
374.83/374.94	c  374s |      25 | 12087054 |  5962198 |     3539   4192 |        0 |        0
376.83/376.94	c  376s |      25 | 12149056 |  5993098 |     3539   4209 |        0 |        0
378.83/378.94	c  378s |      25 | 12205731 |  6022498 |     3539   4225 |        0 |        0
380.83/380.95	c  380s |      25 | 12265735 |  6053698 |     3539   4242 |        0 |        0
382.84/382.95	c  382s |      25 | 12322516 |  6083398 |     3539   4258 |        0 |        0
384.83/384.95	c  384s |      25 | 12382717 |  6113098 |     3539   4274 |        0 |        0
386.83/386.96	c  386s |      25 | 12444747 |  6144998 |     3539   4292 |        0 |        0
388.83/388.96	c  388s |      25 | 12509984 |  6177498 |     3539   4309 |        0 |        0
390.83/390.96	c  390s |      25 | 12569998 |  6209198 |     3539   4326 |        0 |        0
392.83/392.96	c  392s |      25 | 12635285 |  6241298 |     3539   4343 |        0 |        0
394.83/394.97	c  394s |      25 | 12693731 |  6271198 |     3539   4360 |        0 |        0
396.83/396.97	c  396s |      25 | 12759775 |  6304098 |     3539   4378 |        0 |        0
398.83/398.97	c  398s |      25 | 12824643 |  6335898 |     3539   4395 |        0 |        0
400.83/400.99	c  400s |      25 | 12887718 |  6368198 |     3539   4413 |        0 |        0
402.83/402.99	c  402s |      25 | 12948287 |  6399298 |     3539   4429 |        0 |        0
404.93/405.00	c  404s |      25 | 13009928 |  6430298 |     3539   4446 |        0 |        0
406.83/407.00	c  406s |      25 | 13076645 |  6463598 |     3539   4464 |        1 |        0
408.92/409.00	c  408s |      25 | 13138571 |  6495498 |     3539   4481 |        1 |        0
410.92/411.01	c  410s |      25 | 13196342 |  6524898 |     3539   4497 |        1 |        0
412.92/413.01	c  412s |      25 | 13260657 |  6557398 |     3539   4515 |        1 |        0
414.92/415.01	c  414s |      25 | 13323674 |  6588398 |     3539   4532 |        1 |        0
416.93/417.02	c  416s |      25 | 13386785 |  6619998 |     3539   4549 |        1 |        0
418.92/419.02	c  419s |      25 | 13451716 |  6651698 |     3539   4566 |        1 |        0
420.92/421.02	c  421s |      25 | 13512567 |  6681898 |     3539   4583 |        1 |        0
422.93/423.02	c  423s |      25 | 13573491 |  6712398 |     3539   4599 |        1 |        0
424.93/425.02	c  425s |      25 | 13634480 |  6742198 |     3539   4616 |        1 |        0
426.93/427.03	c  427s |      25 | 13694980 |  6773298 |     3539   4632 |        1 |        0
428.93/429.03	c  429s |      25 | 13758002 |  6804298 |     3539   4649 |        1 |        0
430.93/431.04	c  431s |      25 | 13822621 |  6836198 |     3539   4667 |        1 |        0
432.92/433.04	c  433s |      25 | 13882317 |  6865598 |     3539   4682 |        1 |        0
434.92/435.05	c  435s |      25 | 13943170 |  6895898 |     3539   4699 |        1 |        0
436.92/437.05	c  437s |      25 | 14001526 |  6926298 |     3539   4716 |        1 |        0
438.93/439.06	c  439s |      25 | 14059314 |  6956698 |     3539   4732 |        2 |        0
440.92/441.06	c  441s |      25 | 14119154 |  6987798 |     3539   4748 |        2 |        0
442.92/443.06	c  443s |      25 | 14180403 |  7017698 |     3539   4765 |        2 |        0
444.92/445.06	c  445s |      25 | 14244445 |  7047798 |     3539   4781 |        2 |        0
445.53/445.60	c  445s |      25 | 14257955 |  7054994 |     3539   4785 |       18 |        0
445.53/445.60	c #cpu_time = 444.444s
445.53/445.60	c #wall_clock_time = 445.582s
445.53/445.60	c #decision = 14257955
445.53/445.60	c #random_decision = 67252
445.53/445.60	c #conflict = 7054994
445.53/445.60	c #restart = 25
445.53/445.60	s UNSATISFIABLE
445.53/445.60	c total CPU time = 444.467s
445.53/445.60	c total wall clock time = 445.606s

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

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

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


[startup+0 s]
/proc/loadavg: 0.95 1.10 1.64 3/175 5801
/proc/meminfo: memFree=31529936/32872528 swapFree=524788/557492
[pid=5801] ppid=5795 vsize=694716 CPUtime=0 cores=0,2,4,6
/proc/5801/stat : 5801 (toysat) R 5795 5801 5756 0 -1 4202496 2587 0 0 0 0 0 0 0 20 0 4 0 3252151 711389184 3459 33554432000 4194304 16246674 140735986291536 140735986290960 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5801/statm: 174447 3469 441 2943 0 171341 0
[pid=5801/tid=5802] ppid=5795 vsize=712124 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5802/stat : 5802 (toysat) S 5795 5801 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3252151 729214976 3527 33554432000 4194304 16246674 140735986291536 139777997253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5801/tid=5804] ppid=5795 vsize=716220 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5804/stat : 5804 (toysat) S 5795 5801 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 733409280 3543 33554432000 4194304 16246674 140735986291536 139777986764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5801/tid=5806] ppid=5795 vsize=720316 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5806/stat : 5806 (toysat) S 5795 5801 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3252151 737603584 3559 33554432000 4194304 16246674 140735986291536 139777898704048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 0.95 1.10 1.64 3/175 5801
/proc/meminfo: memFree=31529936/32872528 swapFree=524788/557492
[pid=5801] ppid=5795 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/5801/stat : 5801 (toysat) R 5795 5801 5756 0 -1 4202496 23447 0 0 0 6 3 0 0 20 0 4 0 3252151 1247350784 24308 33554432000 4194304 16246674 140735986291536 140735986290960 12474890 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5801/statm: 304529 24316 715 2943 0 301423 0
[pid=5801/tid=5802] ppid=5795 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5802/stat : 5802 (toysat) S 5795 5801 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3252151 1247350784 24321 33554432000 4194304 16246674 140735986291536 139777997253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5801/tid=5804] ppid=5795 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5804/stat : 5804 (toysat) S 5795 5801 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1247350784 24327 33554432000 4194304 16246674 140735986291536 139777986764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5801/tid=5806] ppid=5795 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5806/stat : 5806 (toysat) S 5795 5801 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3252151 1247350784 24333 33554432000 4194304 16246674 140735986291536 139777898704048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200448 s]
/proc/loadavg: 0.95 1.10 1.64 3/175 5801
/proc/meminfo: memFree=31529936/32872528 swapFree=524788/557492
[pid=5801] ppid=5795 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/5801/stat : 5801 (toysat) R 5795 5801 5756 0 -1 4202496 44238 0 0 0 12 7 0 0 20 0 4 0 3252151 1247350784 45100 33554432000 4194304 16246674 140735986291536 140735986274536 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5801/statm: 304529 45108 715 2943 0 301423 0
[pid=5801/tid=5802] ppid=5795 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5802/stat : 5802 (toysat) S 5795 5801 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3252151 1247350784 45114 33554432000 4194304 16246674 140735986291536 139777997253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5801/tid=5804] ppid=5795 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5804/stat : 5804 (toysat) S 5795 5801 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1247350784 45121 33554432000 4194304 16246674 140735986291536 139777986764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5801/tid=5806] ppid=5795 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5806/stat : 5806 (toysat) S 5795 5801 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3252151 1247350784 45127 33554432000 4194304 16246674 140735986291536 139777898704048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300418 s]
/proc/loadavg: 0.95 1.10 1.64 3/175 5801
/proc/meminfo: memFree=31529936/32872528 swapFree=524788/557492
[pid=5801] ppid=5795 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/5801/stat : 5801 (toysat) R 5795 5801 5756 0 -1 4202496 64617 0 0 0 19 10 0 0 20 0 4 0 3252151 1247350784 65478 33554432000 4194304 16246674 140735986291536 140735986274536 6020769 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5801/statm: 304529 65488 716 2943 0 301423 0
[pid=5801/tid=5802] ppid=5795 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5802/stat : 5802 (toysat) S 5795 5801 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3252151 1247350784 65493 33554432000 4194304 16246674 140735986291536 139777997253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5801/tid=5804] ppid=5795 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5804/stat : 5804 (toysat) S 5795 5801 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1247350784 65499 33554432000 4194304 16246674 140735986291536 139777986764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5801/tid=5806] ppid=5795 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5806/stat : 5806 (toysat) S 5795 5801 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3252151 1247350784 65505 33554432000 4194304 16246674 140735986291536 139777898704048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700406 s]
/proc/loadavg: 0.95 1.10 1.64 3/175 5801
/proc/meminfo: memFree=31529936/32872528 swapFree=524788/557492
[pid=5801] ppid=5795 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/5801/stat : 5801 (toysat) R 5795 5801 5756 0 -1 4202496 148052 0 0 0 47 22 0 0 20 0 4 0 3252151 1247350784 148914 33554432000 4194304 16246674 140735986291536 140735986274536 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5801/statm: 304529 148922 716 2943 0 301423 0
[pid=5801/tid=5802] ppid=5795 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5802/stat : 5802 (toysat) S 5795 5801 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3252151 1247350784 148928 33554432000 4194304 16246674 140735986291536 139777997253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5801/tid=5804] ppid=5795 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5804/stat : 5804 (toysat) S 5795 5801 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1247350784 148935 33554432000 4194304 16246674 140735986291536 139777986764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5801/tid=5806] ppid=5795 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5806/stat : 5806 (toysat) S 5795 5801 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3252151 1247350784 148942 33554432000 4194304 16246674 140735986291536 139777898704048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 0.88 1.08 1.63 4/183 5809
/proc/meminfo: memFree=30317524/32872528 swapFree=524788/557492
[pid=5801] ppid=5795 vsize=1305156 CPUtime=1.49 cores=0,2,4,6
/proc/5801/stat : 5801 (toysat) R 5795 5801 5756 0 -1 4202496 181726 0 0 0 122 27 0 0 20 0 4 0 3252151 1336479744 182567 33554432000 4194304 16246674 140735986291536 140735986274536 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5801/statm: 326289 182567 790 2943 0 323183 0
[pid=5801/tid=5802] ppid=5795 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5802/stat : 5802 (toysat) S 5795 5801 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3252151 1336479744 182567 33554432000 4194304 16246674 140735986291536 139777997253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5801/tid=5804] ppid=5795 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5804/stat : 5804 (toysat) S 5795 5801 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1336479744 182567 33554432000 4194304 16246674 140735986291536 139777986764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5801/tid=5806] ppid=5795 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5806/stat : 5806 (toysat) S 5795 5801 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3252151 1336479744 182567 33554432000 4194304 16246674 140735986291536 139777898704048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10036 s]
/proc/loadavg: 0.88 1.08 1.63 4/183 5809
/proc/meminfo: memFree=30112900/32872528 swapFree=524788/557492
[pid=5801] ppid=5795 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/5801/stat : 5801 (toysat) R 5795 5801 5756 0 -1 4202496 182192 0 0 0 282 27 0 0 20 0 4 0 3252151 1338576896 183033 33554432000 4194304 16246674 140735986291536 140735986274536 13808416 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5801/statm: 326801 183033 790 2943 0 323695 0
[pid=5801/tid=5802] ppid=5795 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5802/stat : 5802 (toysat) S 5795 5801 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3252151 1338576896 183033 33554432000 4194304 16246674 140735986291536 139777997253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5801/tid=5804] ppid=5795 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5804/stat : 5804 (toysat) S 5795 5801 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1338576896 183033 33554432000 4194304 16246674 140735986291536 139777986764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5801/tid=5806] ppid=5795 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5806/stat : 5806 (toysat) S 5795 5801 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3252151 1338576896 183033 33554432000 4194304 16246674 140735986291536 139777898704048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30036 s]
/proc/loadavg: 1.05 1.12 1.64 4/183 5809
/proc/meminfo: memFree=29892552/32872528 swapFree=524788/557492
[pid=5801] ppid=5795 vsize=1307204 CPUtime=6.28 cores=0,2,4,6
/proc/5801/stat : 5801 (toysat) R 5795 5801 5756 0 -1 4202496 196180 0 0 0 599 29 0 0 20 0 4 0 3252151 1338576896 197021 33554432000 4194304 16246674 140735986291536 140735986274536 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5801/statm: 326801 197021 790 2943 0 323695 0
[pid=5801/tid=5802] ppid=5795 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5802/stat : 5802 (toysat) S 5795 5801 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3252151 1338576896 197021 33554432000 4194304 16246674 140735986291536 139777997253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5801/tid=5804] ppid=5795 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5804/stat : 5804 (toysat) S 5795 5801 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1338576896 197021 33554432000 4194304 16246674 140735986291536 139777986764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5801/tid=5806] ppid=5795 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5806/stat : 5806 (toysat) S 5795 5801 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3252151 1338576896 197021 33554432000 4194304 16246674 140735986291536 139777898704048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 1.12 1.13 1.64 4/183 5809
/proc/meminfo: memFree=29677448/32872528 swapFree=524788/557492
[pid=5801] ppid=5795 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/5801/stat : 5801 (toysat) R 5795 5801 5756 0 -1 4202496 244231 0 0 0 1231 38 0 0 20 0 4 0 3252151 1338576896 245072 33554432000 4194304 16246674 140735986291536 140735986273408 5672184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5801/statm: 326801 245072 792 2943 0 323695 0
[pid=5801/tid=5802] ppid=5795 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5802/stat : 5802 (toysat) S 5795 5801 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3252151 1338576896 245072 33554432000 4194304 16246674 140735986291536 139777997253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5801/tid=5804] ppid=5795 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5804/stat : 5804 (toysat) S 5795 5801 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1338576896 245072 33554432000 4194304 16246674 140735986291536 139777986764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5801/tid=5806] ppid=5795 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5806/stat : 5806 (toysat) S 5795 5801 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3252151 1338576896 245072 33554432000 4194304 16246674 140735986291536 139777898704048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 1.32 1.17 1.65 4/183 5809
/proc/meminfo: memFree=29604748/32872528 swapFree=524788/557492
[pid=5801] ppid=5795 vsize=1307204 CPUtime=25.48 cores=0,2,4,6
/proc/5801/stat : 5801 (toysat) R 5795 5801 5756 0 -1 4202496 244231 0 0 0 2510 38 0 0 20 0 4 0 3252151 1338576896 245072 33554432000 4194304 16246674 140735986291536 140735986274536 13954595 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5801/statm: 326801 245072 792 2943 0 323695 0
[pid=5801/tid=5802] ppid=5795 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5802/stat : 5802 (toysat) S 5795 5801 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3252151 1338576896 245072 33554432000 4194304 16246674 140735986291536 139777997253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5801/tid=5804] ppid=5795 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5804/stat : 5804 (toysat) S 5795 5801 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1338576896 245072 33554432000 4194304 16246674 140735986291536 139777986764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5801/tid=5806] ppid=5795 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5806/stat : 5806 (toysat) S 5795 5801 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3252151 1338576896 245072 33554432000 4194304 16246674 140735986291536 139777898704048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 1.55 1.24 1.66 5/182 5809
/proc/meminfo: memFree=29605016/32872528 swapFree=524788/557492
[pid=5801] ppid=5795 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/5801/stat : 5801 (toysat) R 5795 5801 5756 0 -1 4202496 244233 0 0 0 5069 39 0 0 20 0 4 0 3252151 1338576896 245074 33554432000 4194304 16246674 140735986291536 140735986274536 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5801/statm: 326801 245074 792 2943 0 323695 0
[pid=5801/tid=5802] ppid=5795 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5802/stat : 5802 (toysat) S 5795 5801 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3252151 1338576896 245074 33554432000 4194304 16246674 140735986291536 139777997253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5801/tid=5804] ppid=5795 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5804/stat : 5804 (toysat) S 5795 5801 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1338576896 245074 33554432000 4194304 16246674 140735986291536 139777986764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5801/tid=5806] ppid=5795 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5806/stat : 5806 (toysat) S 5795 5801 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3252151 1338576896 245074 33554432000 4194304 16246674 140735986291536 139777898704048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 1.80 1.35 1.67 4/183 5811
/proc/meminfo: memFree=29603984/32872528 swapFree=524788/557492
[pid=5801] ppid=5795 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/5801/stat : 5801 (toysat) R 5795 5801 5756 0 -1 4202496 244336 0 0 0 10187 41 0 0 20 0 4 0 3252151 1338576896 245177 33554432000 4194304 16246674 140735986291536 140735986274536 13954582 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5801/statm: 326801 245177 792 2943 0 323695 0
[pid=5801/tid=5802] ppid=5795 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5802/stat : 5802 (toysat) S 5795 5801 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3252151 1338576896 245177 33554432000 4194304 16246674 140735986291536 139777997253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5801/tid=5804] ppid=5795 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5804/stat : 5804 (toysat) S 5795 5801 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1338576896 245177 33554432000 4194304 16246674 140735986291536 139777986764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5801/tid=5806] ppid=5795 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5806/stat : 5806 (toysat) S 5795 5801 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3252151 1338576896 245177 33554432000 4194304 16246674 140735986291536 139777898704048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/5801/stat : 5801 (toysat) R 5795 5801 5756 0 -1 4202496 244626 0 0 0 28178 46 0 0 20 0 4 0 3252151 1339625472 245467 33554432000 4194304 16246674 140735986291536 140735986274536 13906976 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5801/statm: 327057 245467 792 2943 0 323951 0
[pid=5801/tid=5802] ppid=5795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5802/stat : 5802 (toysat) S 5795 5801 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 245467 33554432000 4194304 16246674 140735986291536 139777997253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5801/tid=5804] ppid=5795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5804/stat : 5804 (toysat) S 5795 5801 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 245467 33554432000 4194304 16246674 140735986291536 139777986764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5801/tid=5806] ppid=5795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5806/stat : 5806 (toysat) S 5795 5801 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 245467 33554432000 4194304 16246674 140735986291536 139777898704048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1308228

[startup+342.3 s]
/proc/loadavg: 2.02 1.72 1.74 4/183 5815
/proc/meminfo: memFree=29529012/32872528 swapFree=524788/557492
[pid=5801] ppid=5795 vsize=1308228 CPUtime=342.24 cores=0,2,4,6
/proc/5801/stat : 5801 (toysat) R 5795 5801 5756 0 -1 4202496 244626 0 0 0 34176 48 0 0 20 0 4 0 3252151 1339625472 245467 33554432000 4194304 16246674 140735986291536 140735986273408 5522977 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5801/statm: 327057 245467 792 2943 0 323951 0
[pid=5801/tid=5802] ppid=5795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5802/stat : 5802 (toysat) S 5795 5801 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 245467 33554432000 4194304 16246674 140735986291536 139777997253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5801/tid=5804] ppid=5795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5804/stat : 5804 (toysat) S 5795 5801 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 245467 33554432000 4194304 16246674 140735986291536 139777986764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5801/tid=5806] ppid=5795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5806/stat : 5806 (toysat) S 5795 5801 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 245467 33554432000 4194304 16246674 140735986291536 139777898704048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1308228

[startup+402.3 s]
/proc/loadavg: 2.01 1.77 1.76 4/184 5820
/proc/meminfo: memFree=29452592/32872528 swapFree=524788/557492
[pid=5801] ppid=5795 vsize=1308228 CPUtime=402.23 cores=0,2,4,6
/proc/5801/stat : 5801 (toysat) R 5795 5801 5756 0 -1 4202496 244627 0 0 0 40173 50 0 0 20 0 4 0 3252151 1339625472 264462 33554432000 4194304 16246674 140735986291536 140735986274536 6021620 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5801/statm: 327057 264462 792 2943 0 323951 0
[pid=5801/tid=5802] ppid=5795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5802/stat : 5802 (toysat) S 5795 5801 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 264462 33554432000 4194304 16246674 140735986291536 139777997253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5801/tid=5804] ppid=5795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5804/stat : 5804 (toysat) S 5795 5801 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 264462 33554432000 4194304 16246674 140735986291536 139777986764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5801/tid=5806] ppid=5795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5806/stat : 5806 (toysat) S 5795 5801 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 264462 33554432000 4194304 16246674 140735986291536 139777898704048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1308228

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

[startup+409.6 s]
/proc/loadavg: 2.09 1.79 1.76 4/184 5820
/proc/meminfo: memFree=29436580/32872528 swapFree=524788/557492
[pid=5801] ppid=5795 vsize=1308228 CPUtime=409.52 cores=0,2,4,6
/proc/5801/stat : 5801 (toysat) R 5795 5801 5756 0 -1 4202496 244627 0 0 0 40902 50 0 0 20 0 4 0 3252151 1339625472 268494 33554432000 4194304 16246674 140735986291536 140735986274536 5995233 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5801/statm: 327057 268494 792 2943 0 323951 0
[pid=5801/tid=5802] ppid=5795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5802/stat : 5802 (toysat) S 5795 5801 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268494 33554432000 4194304 16246674 140735986291536 139777997253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5801/tid=5804] ppid=5795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5804/stat : 5804 (toysat) S 5795 5801 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268494 33554432000 4194304 16246674 140735986291536 139777986764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5801/tid=5806] ppid=5795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5806/stat : 5806 (toysat) S 5795 5801 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268494 33554432000 4194304 16246674 140735986291536 139777898704048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 409.52
Current children cumulated vsize (KiB) 1308228

[startup+422.4 s]
/proc/loadavg: 2.07 1.80 1.77 4/184 5821
/proc/meminfo: memFree=29433972/32872528 swapFree=524788/557492
[pid=5801] ppid=5795 vsize=1308228 CPUtime=422.34 cores=0,2,4,6
/proc/5801/stat : 5801 (toysat) R 5795 5801 5756 0 -1 4202496 244627 0 0 0 42183 51 0 0 20 0 4 0 3252151 1339625472 268928 33554432000 4194304 16246674 140735986291536 140735986273408 5672890 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5801/statm: 327057 268928 792 2943 0 323951 0
[pid=5801/tid=5802] ppid=5795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5802/stat : 5802 (toysat) S 5795 5801 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268928 33554432000 4194304 16246674 140735986291536 139777997253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5801/tid=5804] ppid=5795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5804/stat : 5804 (toysat) S 5795 5801 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268928 33554432000 4194304 16246674 140735986291536 139777986764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5801/tid=5806] ppid=5795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5806/stat : 5806 (toysat) S 5795 5801 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268928 33554432000 4194304 16246674 140735986291536 139777898704048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 422.34
Current children cumulated vsize (KiB) 1308228

[startup+435.2 s]
/proc/loadavg: 2.13 1.82 1.77 4/184 5821
/proc/meminfo: memFree=29434348/32872528 swapFree=524788/557492
[pid=5801] ppid=5795 vsize=1308228 CPUtime=435.12 cores=0,2,4,6
/proc/5801/stat : 5801 (toysat) R 5795 5801 5756 0 -1 4202496 244627 0 0 0 43461 51 0 0 20 0 4 0 3252151 1339625472 268928 33554432000 4194304 16246674 140735986291536 140735986274536 13943668 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5801/statm: 327057 268928 792 2943 0 323951 0
[pid=5801/tid=5802] ppid=5795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5802/stat : 5802 (toysat) S 5795 5801 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268928 33554432000 4194304 16246674 140735986291536 139777997253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5801/tid=5804] ppid=5795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5804/stat : 5804 (toysat) S 5795 5801 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268928 33554432000 4194304 16246674 140735986291536 139777986764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5801/tid=5806] ppid=5795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5806/stat : 5806 (toysat) S 5795 5801 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268928 33554432000 4194304 16246674 140735986291536 139777898704048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 435.12
Current children cumulated vsize (KiB) 1308228

[startup+441.6 s]
/proc/loadavg: 2.11 1.83 1.77 4/183 5821
/proc/meminfo: memFree=29433924/32872528 swapFree=524788/557492
[pid=5801] ppid=5795 vsize=1308228 CPUtime=441.52 cores=0,2,4,6
/proc/5801/stat : 5801 (toysat) R 5795 5801 5756 0 -1 4202496 244627 0 0 0 44101 51 0 0 20 0 4 0 3252151 1339625472 268928 33554432000 4194304 16246674 140735986291536 140735986274536 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5801/statm: 327057 268928 792 2943 0 323951 0
[pid=5801/tid=5802] ppid=5795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5802/stat : 5802 (toysat) S 5795 5801 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268928 33554432000 4194304 16246674 140735986291536 139777997253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5801/tid=5804] ppid=5795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5804/stat : 5804 (toysat) S 5795 5801 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268928 33554432000 4194304 16246674 140735986291536 139777986764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5801/tid=5806] ppid=5795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5806/stat : 5806 (toysat) S 5795 5801 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268928 33554432000 4194304 16246674 140735986291536 139777898704048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 441.52
Current children cumulated vsize (KiB) 1308228

[startup+443.2 s]
/proc/loadavg: 2.11 1.83 1.77 4/183 5821
/proc/meminfo: memFree=29433808/32872528 swapFree=524788/557492
[pid=5801] ppid=5795 vsize=1308228 CPUtime=443.12 cores=0,2,4,6
/proc/5801/stat : 5801 (toysat) R 5795 5801 5756 0 -1 4202496 244627 0 0 0 44261 51 0 0 20 0 4 0 3252151 1339625472 268928 33554432000 4194304 16246674 140735986291536 140735986273408 5822255 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5801/statm: 327057 268928 792 2943 0 323951 0
[pid=5801/tid=5802] ppid=5795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5802/stat : 5802 (toysat) S 5795 5801 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268928 33554432000 4194304 16246674 140735986291536 139777997253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5801/tid=5804] ppid=5795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5804/stat : 5804 (toysat) S 5795 5801 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268928 33554432000 4194304 16246674 140735986291536 139777986764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5801/tid=5806] ppid=5795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5806/stat : 5806 (toysat) S 5795 5801 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268928 33554432000 4194304 16246674 140735986291536 139777898704048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 443.12
Current children cumulated vsize (KiB) 1308228

[startup+444.8 s]
/proc/loadavg: 2.11 1.83 1.77 4/183 5821
/proc/meminfo: memFree=29433808/32872528 swapFree=524788/557492
[pid=5801] ppid=5795 vsize=1308228 CPUtime=444.72 cores=0,2,4,6
/proc/5801/stat : 5801 (toysat) R 5795 5801 5756 0 -1 4202496 244627 0 0 0 44421 51 0 0 20 0 4 0 3252151 1339625472 268928 33554432000 4194304 16246674 140735986291536 140735986274536 5706685 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5801/statm: 327057 268928 792 2943 0 323951 0
[pid=5801/tid=5802] ppid=5795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5802/stat : 5802 (toysat) S 5795 5801 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268928 33554432000 4194304 16246674 140735986291536 139777997253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5801/tid=5804] ppid=5795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5804/stat : 5804 (toysat) S 5795 5801 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268928 33554432000 4194304 16246674 140735986291536 139777986764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5801/tid=5806] ppid=5795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5806/stat : 5806 (toysat) S 5795 5801 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268928 33554432000 4194304 16246674 140735986291536 139777898704048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 444.72
Current children cumulated vsize (KiB) 1308228

[startup+445.2 s]
/proc/loadavg: 2.11 1.83 1.77 4/183 5821
/proc/meminfo: memFree=29433808/32872528 swapFree=524788/557492
[pid=5801] ppid=5795 vsize=1308228 CPUtime=445.12 cores=0,2,4,6
/proc/5801/stat : 5801 (toysat) R 5795 5801 5756 0 -1 4202496 244627 0 0 0 44461 51 0 0 20 0 4 0 3252151 1339625472 268928 33554432000 4194304 16246674 140735986291536 140735986274536 12483387 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5801/statm: 327057 268928 792 2943 0 323951 0
[pid=5801/tid=5802] ppid=5795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5802/stat : 5802 (toysat) S 5795 5801 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268928 33554432000 4194304 16246674 140735986291536 139777997253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5801/tid=5804] ppid=5795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5804/stat : 5804 (toysat) S 5795 5801 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268928 33554432000 4194304 16246674 140735986291536 139777986764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5801/tid=5806] ppid=5795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5806/stat : 5806 (toysat) S 5795 5801 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268928 33554432000 4194304 16246674 140735986291536 139777898704048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 445.12
Current children cumulated vsize (KiB) 1308228

[startup+445.608 s]
/proc/loadavg: 2.10 1.83 1.78 4/183 5821
/proc/meminfo: memFree=29434056/32872528 swapFree=524788/557492
[pid=5801] ppid=5795 vsize=1308228 CPUtime=445.53 cores=0,2,4,6
/proc/5801/stat : 5801 (toysat) R 5795 5801 5756 0 -1 4202496 244627 0 0 0 44502 51 0 0 20 0 4 0 3252151 1339625472 268928 33554432000 4194304 16246674 140735986291536 140735986274536 5530740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5801/statm: 327057 268928 792 2943 0 323951 0
[pid=5801/tid=5802] ppid=5795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5802/stat : 5802 (toysat) S 5795 5801 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268928 33554432000 4194304 16246674 140735986291536 139777997253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5801/tid=5804] ppid=5795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5804/stat : 5804 (toysat) S 5795 5801 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268928 33554432000 4194304 16246674 140735986291536 139777986764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5801/tid=5806] ppid=5795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5801/task/5806/stat : 5806 (toysat) S 5795 5801 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3252151 1339625472 268928 33554432000 4194304 16246674 140735986291536 139777898704048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 445.53
Current children cumulated vsize (KiB) 1308228

Child status: 0
Real time (s): 445.662
CPU time (s): 445.593
CPU user time (s): 445.02
CPU system time (s): 0.572912
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 445.02
system time used= 0.572912
maximum resident set size= 1075724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 244632
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= 512

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.10383 second user time and 1.76173 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-15 19:33:40
IDJOB=4088665
IDBENCH=107296
IDSOLVER=2542
FILE ID=node106/4088665-1466012020
RUNJOBID= node106-1466012020-5772
PBS_JOBID= 19902815
Free space on /tmp= 71740 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/EC_ODD_GRIDS/normalized-ECgrid3x80split.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088665-1466012020/watcher-4088665-1466012020 -o /tmp/evaluation-result-4088665-1466012020/solver-4088665-1466012020 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5772 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088665-1466012020.opb

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

MD5SUM BENCH= 169fa73c30239648665c3667f39677da
RANDOM SEED=1830382910

node106.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.073
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.14
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.073
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.073
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.073
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.56
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.073
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.073
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.56
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.073
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.38
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.073
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:        31533240 kB
Buffers:            7748 kB
Cached:            61824 kB
SwapCached:         1416 kB
Active:            63164 kB
Inactive:           8532 kB
Active(anon):       3744 kB
Inactive(anon):     1180 kB
Active(file):      59420 kB
Inactive(file):     7352 kB
Unevictable:      557492 kB
Mlocked:          524788 kB
SwapTotal:      67108856 kB
SwapFree:       67099192 kB
Dirty:             32700 kB
Writeback:             0 kB
AnonPages:        558884 kB
Mapped:             6072 kB
Shmem:                 0 kB
Slab:             576428 kB
SReclaimable:      20528 kB
SUnreclaim:       555900 kB
KernelStack:        1360 kB
PageTables:         5004 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     653740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 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= 71708 MiB
End job on node106 at 2016-06-15 19:41:06