Trace number 4110182

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-02OPTIMUM 33.4759 33.4834

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223004--soft-0-100-0.wbo
MD5SUMd14175b3b4719f4504fd05dae924b9b8
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark3.70344
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints101
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 4944
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 4943
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1227
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c 2016-06-19T15:58:30+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","--wbo","--search=bcd2","HOME/instance-4110182-1466344710.wbo"]
0.00/0.01	c use --random-gen="2422524220 3924938542 4233991469 2365668954 3119634650 4201236250 25098645 1637398274 1058193336 4154250675 2769788128 2337612726 1717633692 2149526954 4205745317 2553760123 2400988288 2578986518 3983848188 2516312883 4277814155 1902543751 3605695077 1460029283 3446494219 3853414126 2274685741 1295901774 3863930795 51001633 1878369619 2673747112 3383789256 2835532106 733326112 3709535684 4176781756 1212630412 4151675461 396695437 2648508215 4150420876 2138692490 1795337490 2294966534 738947667 1614907613 3131125759 442484351 2183559375 3568293542 2024352933 2035240467 3229375190 555546006 947192423 3929699458 2913171975 1691356334 2093499446 2842124210 2110412481 2983792857 3228227746 1423163413 4165069481 1225568730 3081021571 3255376576 636446669 2003651606 1875865111 3656814779 149341358 2505025048 902565057 1132125876 1465009842 3934092870 3379840454 2232812819 2290332825 4217396954 1217747760 2409398207 1311163918 3945693071 3292261469 4112356455 961251008 999127232 1751458443 267309168 2393195518 2864060388 2649320295 3930537697 2610052703 3147862869 3924472153 1079338981 2871805931 144107913 1848195605 3220796315 873738826 4179105074 294073547 3927101835 3853990080 1475428997 598907026 2811474853 1502449190 3231123740 2206326811 792401801 2277591730 4163405615 4004417027 2780614608 604928551 1271961035 3014241686 1700268772 3042071829 332988501 2736531157 2121221741 3667553766 2546284928 3387695119 360497313 3723134222 2382792593 3613688659 3741282084 2507975668 1596547865 4029758314 3262121188 1834036650 3831942577 3368080718 3492331081 2156173431 3419860643 735680780 3391257140 3202968790 1675948181 2838024534 2302361364 1950242136 2633923270 2018598254 1492283647 3851028124 1211188747 911059180 2810461532 2417999625 714578792 963621233 3684399099 2560696730 2602201145 3045203085 1118412868 1679569510 707620316 2731873134 3378942374 4245830276 4292986115 3021652306 1587160645 3225463986 652770205 3964714967 1024572998 3140006421 3673725203 3097231095 2884001210 1700415978 1708734766 742915877 1139441585 3246726718 2478358168 764989996 1762241166 2837282228 4269276842 1297483403 3123448915 2360398016 3403559260 86354522 2044471212 1437743669 3030452683 3741821817 882203953 1773805834 1903855967 3063464417 2756782916 674479189 1317051393 338311387 3616495701 1771458883 3561023698 787814687 720363046 443561826 4154226391 2761128193 1544893495 3604296111 1827591395 3948315149 3487493573 1480421814 786901186 808822424 910523494 3201437122 880763571 2706129044 1449802596 1471999773 1728431614 911198784 1267623196 1291147849 682538765 2216045876 2571825987 761508730 2795239420 3453551238 2407796917 2991798466 4283578709 3629785092 1606268251 4046214372 252928401 3609106129 3934750516 1417137314 180314707 1076617239 255 362436" option to reproduce the execution
0.19/0.24	c #vars 169
0.19/0.24	c #constraints 101
0.19/0.25	c BCD2: Hardening is enabled.
0.19/0.25	c BCD2: BiasedSearch is enabled.
0.19/0.25	c Solving starts ...
0.19/0.25	c ============================[ Search Statistics ]============================
0.19/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.25	c =============================================================================
0.19/0.25	c  0.0s |       0 |        0 |        0 |      123      0 |        0 |        0
0.19/0.25	c  0.0s |       0 |      106 |        0 |      123      0 |        0 |        0
0.19/0.25	c #cpu_time = 0.001s
0.19/0.25	c #wall_clock_time = 0.001s
0.19/0.25	c #decision = 106
0.19/0.25	c #random_decision = 0
0.19/0.25	c #conflict = 0
0.19/0.25	c #restart = 0
0.19/0.25	o 686
0.19/0.25	c BCD2: updating upper bound: 4943 -> 685
0.19/0.25	c BCD2: 0 <= obj <= 685
0.19/0.25	c BCD2: #cores=0, #unrelaxed=101, #relaxed=0, #hardened=0
0.19/0.25	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.25	c Solving starts ...
0.19/0.25	c ============================[ Search Statistics ]============================
0.19/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.25	c =============================================================================
0.19/0.25	c  0.0s |       0 |        0 |        0 |      123      0 |        0 |        0
0.19/0.27	c  0.0s |       1 |      290 |      100 |      123      0 |        0 |        0
0.19/0.30	c  0.0s |       2 |      602 |      250 |      136      0 |        0 |        0
0.28/0.34	c  0.1s |       3 |     1033 |      475 |      150      1 |        0 |        0
0.39/0.41	c  0.2s |       4 |     1632 |      813 |      165      4 |        0 |        0
0.48/0.51	c  0.3s |       5 |     2550 |     1320 |      182      7 |        0 |        0
0.59/0.66	c  0.4s |       6 |     3787 |     2081 |      222     11 |        0 |        0
0.89/0.91	c  0.7s |       7 |     5544 |     3223 |      245     17 |        0 |        0
1.19/1.29	c  1.0s |       8 |     8025 |     4936 |      270     25 |        0 |        0
1.69/1.70	c  1.5s |       9 |    11896 |     7506 |      297     36 |        0 |        0
2.29/2.34	c  2.1s |      10 |    17523 |    11361 |      327     52 |        0 |        0
3.18/3.24	c  3.0s |      11 |    25889 |    17144 |      360     75 |        0 |        0
4.58/4.61	c  4.4s |      12 |    37939 |    25819 |      397    107 |        0 |        0
6.60/6.63	c  6.4s |      12 |    55108 |    38319 |      397    151 |        0 |        0
6.70/6.71	c  6.5s |      13 |    55854 |    38832 |      437    152 |        0 |        0
8.69/8.72	c  8.5s |      13 |    73009 |    51132 |      437    193 |        0 |        0
9.90/9.92	c  9.7s |      14 |    83065 |    58352 |      481    216 |        0 |        0
11.89/11.93	c 11.7s |      14 |   101301 |    71152 |      481    256 |        0 |        0
13.89/13.95	c 13.7s |      14 |   115612 |    82052 |      481    289 |        0 |        0
14.99/15.04	c 14.8s |      15 |   123148 |    87632 |      530    306 |        0 |        0
16.99/17.05	c 16.8s |      15 |   139852 |    99632 |      530    340 |        0 |        0
18.99/19.06	c 18.8s |      15 |   156127 |   111232 |      530    373 |        0 |        0
20.99/21.07	c 20.8s |      15 |   169370 |   121332 |      530    403 |        0 |        0
22.99/23.07	c 22.8s |      15 |   181836 |   130532 |      530    430 |        0 |        0
23.29/23.32	c 23.1s |      16 |   183179 |   131552 |      583    432 |        0 |        0
25.29/25.33	c 25.1s |      16 |   199008 |   143352 |      583    463 |        0 |        0
27.28/27.34	c 27.1s |      16 |   214208 |   154852 |      583    494 |        0 |        0
29.28/29.36	c 29.1s |      16 |   228558 |   165552 |      583    523 |        0 |        0
31.28/31.37	c 31.1s |      16 |   240364 |   174452 |      583    547 |        0 |        0
32.08/32.10	c 31.9s |      16 |   243817 |   177093 |      583    555 |        0 |        0
32.08/32.10	c #cpu_time = 31.855s
32.08/32.10	c #wall_clock_time = 31.853s
32.08/32.10	c #decision = 243817
32.08/32.10	c #random_decision = 598
32.08/32.10	c #conflict = 177093
32.08/32.10	c #restart = 16
32.08/32.10	c BCD2: found a new core of size 101: cost of the new core is >=1
32.08/32.10	c lower bound updated to 1
32.08/32.10	c BCD2: 1 <= obj <= 685
32.08/32.10	c BCD2: #cores=1, #unrelaxed=0, #relaxed=101, #hardened=0
32.08/32.10	c BCD2: #sat=1 #unsat=2 bias=2/3
32.08/32.10	c Solving starts ...
32.08/32.10	c ============================[ Search Statistics ]============================
32.08/32.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
32.08/32.10	c       |         |          |          |    Limit     GC | Var      | Constra 
32.08/32.10	c =============================================================================
32.08/32.10	c  0.0s |       0 |        0 |        0 |      583      0 |        0 |        0
32.08/32.11	c  0.0s |       0 |      152 |       10 |      583      0 |        0 |        0
32.08/32.11	c #cpu_time = 0.004s
32.08/32.11	c #wall_clock_time = 0.004s
32.08/32.11	c #decision = 152
32.08/32.11	c #random_decision = 0
32.08/32.11	c #conflict = 10
32.08/32.11	c #restart = 0
32.08/32.11	o 80
32.08/32.11	c BCD2: hardening fixes 20 literals
32.08/32.11	c BCD2: updating upper bound: 685 -> 79
32.08/32.11	c BCD2: 1 <= obj <= 79
32.08/32.11	c BCD2: #cores=1, #unrelaxed=0, #relaxed=81, #hardened=20
32.08/32.11	c BCD2: #sat=2 #unsat=2 bias=2/4
32.08/32.11	c Solving starts ...
32.08/32.11	c ============================[ Search Statistics ]============================
32.08/32.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
32.08/32.11	c       |         |          |          |    Limit     GC | Var      | Constra 
32.08/32.11	c =============================================================================
32.08/32.11	c  0.0s |       0 |        0 |        0 |      583      0 |       20 |        2
32.08/32.13	c  0.0s |       1 |      177 |      100 |      583      0 |       20 |        2
32.08/32.15	c  0.0s |       2 |      428 |      250 |      583      1 |       20 |        2
32.08/32.19	c  0.1s |       3 |      813 |      475 |      583      1 |       20 |        2
32.18/32.24	c  0.1s |       4 |     1356 |      813 |      583      2 |       20 |        2
32.28/32.31	c  0.2s |       5 |     2201 |     1320 |      583      4 |       20 |        2
32.38/32.42	c  0.3s |       6 |     3423 |     2081 |      583      6 |       20 |        2
32.48/32.58	c  0.5s |       7 |     5126 |     3223 |      583      9 |       20 |        2
32.58/32.62	c  0.5s |       7 |     5538 |     3488 |      583     10 |       20 |        2
32.58/32.62	c #cpu_time = 0.515s
32.58/32.62	c #wall_clock_time = 0.515s
32.58/32.62	c #decision = 5538
32.58/32.62	c #random_decision = 18
32.58/32.62	c #conflict = 3488
32.58/32.62	c #restart = 7
32.58/32.63	o 28
32.58/32.63	c BCD2: hardening fixes 50 literals
32.58/32.63	c BCD2: updating upper bound: 79 -> 27
32.58/32.63	c BCD2: 1 <= obj <= 27
32.58/32.63	c BCD2: #cores=1, #unrelaxed=0, #relaxed=31, #hardened=70
32.58/32.63	c BCD2: #sat=3 #unsat=2 bias=2/5
32.58/32.63	c Solving starts ...
32.58/32.63	c ============================[ Search Statistics ]============================
32.58/32.63	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
32.58/32.63	c       |         |          |          |    Limit     GC | Var      | Constra 
32.58/32.63	c =============================================================================
32.58/32.63	c  0.0s |       0 |        0 |        0 |      583      0 |       70 |        4
32.58/32.64	c  0.0s |       1 |      180 |      100 |      583      0 |       70 |        4
32.58/32.66	c  0.0s |       2 |      402 |      250 |      583      0 |       70 |        4
32.58/32.68	c  0.1s |       3 |      766 |      475 |      583      1 |       70 |        4
32.68/32.73	c  0.1s |       4 |     1282 |      813 |      583      2 |       70 |        4
32.68/32.79	c  0.2s |       5 |     2080 |     1320 |      583      3 |       70 |        4
32.68/32.79	c  0.2s |       5 |     2137 |     1353 |      583      4 |       70 |        4
32.68/32.79	c #cpu_time = 0.167s
32.68/32.79	c #wall_clock_time = 0.167s
32.68/32.79	c #decision = 2137
32.68/32.79	c #random_decision = 4
32.68/32.79	c #conflict = 1353
32.68/32.79	c #restart = 5
32.68/32.79	o 7
32.68/32.79	c BCD2: hardening fixes 22 literals
32.68/32.79	c BCD2: updating upper bound: 27 -> 6
32.68/32.79	c BCD2: 1 <= obj <= 6
32.68/32.79	c BCD2: #cores=1, #unrelaxed=0, #relaxed=9, #hardened=92
32.68/32.79	c BCD2: #sat=4 #unsat=2 bias=2/6
32.68/32.79	c Solving starts ...
32.68/32.79	c ============================[ Search Statistics ]============================
32.68/32.79	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
32.68/32.79	c       |         |          |          |    Limit     GC | Var      | Constra 
32.68/32.79	c =============================================================================
32.68/32.79	c  0.0s |       0 |        0 |        0 |      583      0 |       92 |        6
32.78/32.81	c  0.0s |       1 |      146 |      100 |      583      0 |       92 |        6
32.78/32.82	c  0.0s |       2 |      365 |      250 |      583      0 |       92 |        6
32.78/32.86	c  0.1s |       3 |      668 |      475 |      583      1 |       92 |        6
32.78/32.88	c  0.1s |       3 |      976 |      707 |      583      1 |       92 |        6
32.78/32.88	c #cpu_time = 0.088s
32.78/32.88	c #wall_clock_time = 0.088s
32.78/32.88	c #decision = 976
32.78/32.88	c #random_decision = 0
32.78/32.88	c #conflict = 707
32.78/32.88	c #restart = 3
32.78/32.88	o 3
32.78/32.88	c BCD2: hardening fixes 7 literals
32.78/32.88	c BCD2: updating upper bound: 6 -> 2
32.78/32.88	c BCD2: 1 <= obj <= 2
32.78/32.88	c BCD2: #cores=1, #unrelaxed=0, #relaxed=2, #hardened=99
32.78/32.88	c BCD2: #sat=5 #unsat=2 bias=2/7
32.78/32.88	c Solving starts ...
32.78/32.88	c ============================[ Search Statistics ]============================
32.78/32.88	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
32.78/32.88	c       |         |          |          |    Limit     GC | Var      | Constra 
32.78/32.88	c =============================================================================
32.78/32.88	c  0.0s |       0 |        0 |        0 |      583      0 |       99 |        8
32.78/32.90	c  0.0s |       1 |      144 |      100 |      583      1 |       99 |        8
32.88/32.91	c  0.0s |       2 |      349 |      250 |      583      1 |       99 |        8
32.88/32.94	c  0.1s |       3 |      648 |      475 |      583      2 |       99 |        8
32.88/32.98	c  0.1s |       4 |     1108 |      813 |      583      2 |       99 |        8
32.99/33.03	c  0.1s |       5 |     1835 |     1320 |      583      4 |       99 |        8
33.09/33.11	c  0.2s |       6 |     2985 |     2081 |      583      6 |       99 |        8
33.18/33.23	c  0.4s |       7 |     4580 |     3223 |      583      9 |       99 |        8
33.38/33.42	c  0.5s |       7 |     6942 |     4909 |      583     13 |       99 |        8
33.38/33.42	c #cpu_time = 0.536s
33.38/33.42	c #wall_clock_time = 0.536s
33.38/33.42	c #decision = 6942
33.38/33.42	c #random_decision = 17
33.38/33.42	c #conflict = 4909
33.38/33.42	c #restart = 7
33.38/33.42	o 1
33.38/33.42	s OPTIMUM FOUND
33.38/33.42	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
33.38/33.42	v x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20
33.38/33.42	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30
33.38/33.42	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
33.38/33.42	v -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
33.38/33.42	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60
33.38/33.42	v -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70
33.38/33.42	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
33.38/33.42	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
33.38/33.42	v x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100
33.38/33.42	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
33.38/33.42	v -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120
33.38/33.42	v -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130
33.38/33.42	v -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140
33.38/33.42	v -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150
33.38/33.42	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
33.38/33.42	v -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169
33.38/33.42	c total CPU time = 33.424s
33.38/33.42	c total wall clock time = 33.422s

Verifier Data 

OK	1

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-4110182-1466344710/watcher-4110182-1466344710 -o /tmp/evaluation-result-4110182-1466344710/solver-4110182-1466344710 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466341824-4861 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4110182-1466344710.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.05 2.07 1.97 3/179 5838
/proc/meminfo: memFree=30502060/32872528 swapFree=163656/177964
[pid=5838] ppid=5835 vsize=712124 CPUtime=0 cores=0,2,4,6
/proc/5838/stat : 5838 (toysat) R 5835 5838 4845 0 -1 4202496 2654 0 0 0 0 0 0 0 20 0 4 0 36520945 729214976 3015 33554432000 4194304 16246674 140735925896880 140735925896304 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5838/statm: 178543 3024 441 2943 0 175437 0
[pid=5838/tid=5839] ppid=5835 vsize=729532 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5839/stat : 5839 (toysat) S 5835 5838 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36520946 747040768 3085 33554432000 4194304 16246674 140735925896880 140232774102256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5838/tid=5840] ppid=5835 vsize=734652 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5840/stat : 5840 (toysat) S 5835 5838 4845 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36520946 752283648 3102 33554432000 4194304 16246674 140735925896880 140232695459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5838/tid=5841] ppid=5835 vsize=737724 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5841/stat : 5841 (toysat) S 5835 5838 4845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36520946 755429376 3117 33554432000 4194304 16246674 140735925896880 140232684985520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.05 2.07 1.97 3/179 5838
/proc/meminfo: memFree=30502060/32872528 swapFree=163656/177964
[pid=5838] ppid=5835 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/5838/stat : 5838 (toysat) R 5835 5838 4845 0 -1 4202496 18355 0 0 0 6 3 0 0 20 0 4 0 36520945 1247350784 18708 33554432000 4194304 16246674 140735925896880 140735925896304 12500869 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5838/statm: 304529 18710 602 2943 0 301423 0
[pid=5838/tid=5839] ppid=5835 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5839/stat : 5839 (toysat) S 5835 5838 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36520946 1247350784 18713 33554432000 4194304 16246674 140735925896880 140232774102256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5838/tid=5840] ppid=5835 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5840/stat : 5840 (toysat) S 5835 5838 4845 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36520946 1247350784 18715 33554432000 4194304 16246674 140735925896880 140232695459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5838/tid=5841] ppid=5835 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5841/stat : 5841 (toysat) S 5835 5838 4845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36520946 1247350784 18716 33554432000 4194304 16246674 140735925896880 140232684985520 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.200496 s]
/proc/loadavg: 2.05 2.07 1.97 3/179 5838
/proc/meminfo: memFree=30502060/32872528 swapFree=163656/177964
[pid=5838] ppid=5835 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/5838/stat : 5838 (toysat) R 5835 5838 4845 0 -1 4202496 26252 0 0 0 15 4 0 0 20 0 4 0 36520945 1247350784 26605 33554432000 4194304 16246674 140735925896880 140735925896304 12459048 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5838/statm: 304529 26606 602 2943 0 301423 0
[pid=5838/tid=5839] ppid=5835 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5839/stat : 5839 (toysat) S 5835 5838 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36520946 1247350784 26611 33554432000 4194304 16246674 140735925896880 140232774102256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5838/tid=5840] ppid=5835 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5840/stat : 5840 (toysat) S 5835 5838 4845 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36520946 1247350784 26612 33554432000 4194304 16246674 140735925896880 140232695459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5838/tid=5841] ppid=5835 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5841/stat : 5841 (toysat) S 5835 5838 4845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36520946 1247350784 26615 33554432000 4194304 16246674 140735925896880 140232684985520 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.300462 s]
/proc/loadavg: 2.05 2.07 1.97 3/179 5838
/proc/meminfo: memFree=30502060/32872528 swapFree=163656/177964
[pid=5838] ppid=5835 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/5838/stat : 5838 (toysat) R 5835 5838 4845 0 -1 4202496 39060 0 0 0 23 5 0 0 20 0 4 0 36520945 1247350784 39407 33554432000 4194304 16246674 140735925896880 140735925878784 5531437 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5838/statm: 304529 39420 808 2943 0 301423 0
[pid=5838/tid=5839] ppid=5835 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5839/stat : 5839 (toysat) S 5835 5838 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36520946 1247350784 39431 33554432000 4194304 16246674 140735925896880 140232774102256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5838/tid=5840] ppid=5835 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5840/stat : 5840 (toysat) S 5835 5838 4845 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36520946 1247350784 39439 33554432000 4194304 16246674 140735925896880 140232695459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5838/tid=5841] ppid=5835 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5841/stat : 5841 (toysat) S 5835 5838 4845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36520946 1247350784 39448 33554432000 4194304 16246674 140735925896880 140232684985520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700388 s]
/proc/loadavg: 2.05 2.07 1.97 3/179 5838
/proc/meminfo: memFree=30502060/32872528 swapFree=163656/177964
[pid=5838] ppid=5835 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/5838/stat : 5838 (toysat) R 5835 5838 4845 0 -1 4202496 118611 0 0 0 52 16 0 0 20 0 4 0 36520945 1247350784 118958 33554432000 4194304 16246674 140735925896880 140735925878784 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5838/statm: 304529 118966 815 2943 0 301423 0
[pid=5838/tid=5839] ppid=5835 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5839/stat : 5839 (toysat) S 5835 5838 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36520946 1247350784 118969 33554432000 4194304 16246674 140735925896880 140232774102256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5838/tid=5840] ppid=5835 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5840/stat : 5840 (toysat) S 5835 5838 4845 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36520946 1247350784 118971 33554432000 4194304 16246674 140735925896880 140232695459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5838/tid=5841] ppid=5835 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5841/stat : 5841 (toysat) S 5835 5838 4845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36520946 1247350784 118980 33554432000 4194304 16246674 140735925896880 140232684985520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50039 s]
/proc/loadavg: 2.05 2.07 1.97 3/183 5842
/proc/meminfo: memFree=29686920/32872528 swapFree=163656/177964
[pid=5838] ppid=5835 vsize=1220164 CPUtime=1.49 cores=0,2,4,6
/proc/5838/stat : 5838 (toysat) R 5835 5838 4845 0 -1 4202496 245907 0 0 0 115 34 0 0 20 0 4 0 36520945 1249447936 246231 33554432000 4194304 16246674 140735925896880 140735925896192 5661200 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5838/statm: 305041 246231 872 2943 0 301935 0
[pid=5838/tid=5839] ppid=5835 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5839/stat : 5839 (toysat) S 5835 5838 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36520946 1249447936 246231 33554432000 4194304 16246674 140735925896880 140232774102256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5838/tid=5840] ppid=5835 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5840/stat : 5840 (toysat) S 5835 5838 4845 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36520946 1249447936 246231 33554432000 4194304 16246674 140735925896880 140232695459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5838/tid=5841] ppid=5835 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5841/stat : 5841 (toysat) S 5835 5838 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36520946 1249447936 246231 33554432000 4194304 16246674 140735925896880 140232684985520 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) 1220164

[startup+3.1004 s]
/proc/loadavg: 2.05 2.07 1.97 3/183 5842
/proc/meminfo: memFree=29432596/32872528 swapFree=163656/177964
[pid=5838] ppid=5835 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/5838/stat : 5838 (toysat) R 5835 5838 4845 0 -1 4202496 267544 0 0 0 272 36 0 0 20 0 4 0 36520945 1337528320 267868 33554432000 4194304 16246674 140735925896880 140735925878784 13774460 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5838/statm: 326545 267868 872 2943 0 323439 0
[pid=5838/tid=5839] ppid=5835 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5839/stat : 5839 (toysat) S 5835 5838 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36520946 1337528320 267868 33554432000 4194304 16246674 140735925896880 140232774102256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5838/tid=5840] ppid=5835 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5840/stat : 5840 (toysat) S 5835 5838 4845 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36520946 1337528320 267868 33554432000 4194304 16246674 140735925896880 140232695459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5838/tid=5841] ppid=5835 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5841/stat : 5841 (toysat) S 5835 5838 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36520946 1337528320 267868 33554432000 4194304 16246674 140735925896880 140232684985520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.3004 s]
/proc/loadavg: 2.04 2.07 1.97 3/183 5842
/proc/meminfo: memFree=29430964/32872528 swapFree=163656/177964
[pid=5838] ppid=5835 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/5838/stat : 5838 (toysat) R 5835 5838 4845 0 -1 4202496 267633 0 0 0 592 37 0 0 20 0 4 0 36520945 1337528320 267957 33554432000 4194304 16246674 140735925896880 140735925878784 5832402 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5838/statm: 326545 267957 873 2943 0 323439 0
[pid=5838/tid=5839] ppid=5835 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5839/stat : 5839 (toysat) S 5835 5838 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36520946 1337528320 267957 33554432000 4194304 16246674 140735925896880 140232774102256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5838/tid=5840] ppid=5835 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5840/stat : 5840 (toysat) S 5835 5838 4845 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36520946 1337528320 267957 33554432000 4194304 16246674 140735925896880 140232695459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5838/tid=5841] ppid=5835 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5841/stat : 5841 (toysat) S 5835 5838 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36520946 1337528320 267957 33554432000 4194304 16246674 140735925896880 140232684985520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.04 2.07 1.97 3/183 5842
/proc/meminfo: memFree=29430684/32872528 swapFree=163656/177964
[pid=5838] ppid=5835 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/5838/stat : 5838 (toysat) R 5835 5838 4845 0 -1 4202496 267687 0 0 0 1232 37 0 0 20 0 4 0 36520945 1338576896 268011 33554432000 4194304 16246674 140735925896880 140735925879880 5677584 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5838/statm: 326801 268011 873 2943 0 323695 0
[pid=5838/tid=5839] ppid=5835 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5839/stat : 5839 (toysat) S 5835 5838 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36520946 1338576896 268011 33554432000 4194304 16246674 140735925896880 140232774102256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5838/tid=5840] ppid=5835 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5840/stat : 5840 (toysat) S 5835 5838 4845 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36520946 1338576896 268011 33554432000 4194304 16246674 140735925896880 140232695459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5838/tid=5841] ppid=5835 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5841/stat : 5841 (toysat) S 5835 5838 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36520946 1338576896 268011 33554432000 4194304 16246674 140735925896880 140232684985520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.03 2.06 1.97 3/183 5842
/proc/meminfo: memFree=29422976/32872528 swapFree=163656/177964
[pid=5838] ppid=5835 vsize=1307204 CPUtime=25.48 cores=0,2,4,6
/proc/5838/stat : 5838 (toysat) R 5835 5838 4845 0 -1 4202496 267687 0 0 0 2511 37 0 0 20 0 4 0 36520945 1338576896 268011 33554432000 4194304 16246674 140735925896880 140735925878784 13949808 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5838/statm: 326801 268011 873 2943 0 323695 0
[pid=5838/tid=5839] ppid=5835 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5839/stat : 5839 (toysat) S 5835 5838 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36520946 1338576896 268011 33554432000 4194304 16246674 140735925896880 140232774102256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5838/tid=5840] ppid=5835 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5840/stat : 5840 (toysat) S 5835 5838 4845 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36520946 1338576896 268011 33554432000 4194304 16246674 140735925896880 140232695459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5838/tid=5841] ppid=5835 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5841/stat : 5841 (toysat) S 5835 5838 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36520946 1338576896 268011 33554432000 4194304 16246674 140735925896880 140232684985520 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

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

[startup+25.6005 s]
/proc/loadavg: 2.03 2.06 1.97 3/183 5842
/proc/meminfo: memFree=29422976/32872528 swapFree=163656/177964
[pid=5838] ppid=5835 vsize=1307204 CPUtime=25.58 cores=0,2,4,6
/proc/5838/stat : 5838 (toysat) R 5835 5838 4845 0 -1 4202496 267687 0 0 0 2521 37 0 0 20 0 4 0 36520945 1338576896 268011 33554432000 4194304 16246674 140735925896880 140735925878784 5600136 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5838/statm: 326801 268011 873 2943 0 323695 0
[pid=5838/tid=5839] ppid=5835 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5839/stat : 5839 (toysat) S 5835 5838 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36520946 1338576896 268011 33554432000 4194304 16246674 140735925896880 140232774102256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5838/tid=5840] ppid=5835 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5840/stat : 5840 (toysat) S 5835 5838 4845 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36520946 1338576896 268011 33554432000 4194304 16246674 140735925896880 140232695459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5838/tid=5841] ppid=5835 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5841/stat : 5841 (toysat) S 5835 5838 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36520946 1338576896 268011 33554432000 4194304 16246674 140735925896880 140232684985520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 1307204

[startup+28.8004 s]
/proc/loadavg: 2.03 2.06 1.97 3/183 5842
/proc/meminfo: memFree=29423100/32872528 swapFree=163656/177964
[pid=5838] ppid=5835 vsize=1307204 CPUtime=28.78 cores=0,2,4,6
/proc/5838/stat : 5838 (toysat) R 5835 5838 4845 0 -1 4202496 267710 0 0 0 2841 37 0 0 20 0 4 0 36520945 1338576896 268034 33554432000 4194304 16246674 140735925896880 140735925878784 5519832 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5838/statm: 326801 268034 873 2943 0 323695 0
[pid=5838/tid=5839] ppid=5835 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5839/stat : 5839 (toysat) S 5835 5838 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36520946 1338576896 268034 33554432000 4194304 16246674 140735925896880 140232774102256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5838/tid=5840] ppid=5835 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5840/stat : 5840 (toysat) S 5835 5838 4845 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36520946 1338576896 268034 33554432000 4194304 16246674 140735925896880 140232695459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5838/tid=5841] ppid=5835 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5841/stat : 5841 (toysat) S 5835 5838 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36520946 1338576896 268034 33554432000 4194304 16246674 140735925896880 140232684985520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 28.78
Current children cumulated vsize (KiB) 1307204

[startup+32.0074 s]
/proc/loadavg: 2.03 2.06 1.97 3/183 5842
/proc/meminfo: memFree=29407092/32872528 swapFree=163656/177964
[pid=5838] ppid=5835 vsize=1307204 CPUtime=31.99 cores=0,2,4,6
/proc/5838/stat : 5838 (toysat) R 5835 5838 4845 0 -1 4202496 267710 0 0 0 3162 37 0 0 20 0 4 0 36520945 1338576896 268034 33554432000 4194304 16246674 140735925896880 140735925878784 13927384 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5838/statm: 326801 268034 873 2943 0 323695 0
[pid=5838/tid=5839] ppid=5835 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5839/stat : 5839 (toysat) S 5835 5838 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36520946 1338576896 268034 33554432000 4194304 16246674 140735925896880 140232774102256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5838/tid=5840] ppid=5835 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5840/stat : 5840 (toysat) S 5835 5838 4845 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36520946 1338576896 268034 33554432000 4194304 16246674 140735925896880 140232695459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5838/tid=5841] ppid=5835 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5841/stat : 5841 (toysat) S 5835 5838 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36520946 1338576896 268034 33554432000 4194304 16246674 140735925896880 140232684985520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 31.99
Current children cumulated vsize (KiB) 1307204

[startup+32.8004 s]
/proc/loadavg: 2.03 2.06 1.97 3/183 5842
/proc/meminfo: memFree=29407092/32872528 swapFree=163656/177964
[pid=5838] ppid=5835 vsize=1307204 CPUtime=32.78 cores=0,2,4,6
/proc/5838/stat : 5838 (toysat) R 5835 5838 4845 0 -1 4202496 267719 0 0 0 3241 37 0 0 20 0 4 0 36520945 1338576896 268043 33554432000 4194304 16246674 140735925896880 140735925879880 13965488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5838/statm: 326801 268043 882 2943 0 323695 0
[pid=5838/tid=5839] ppid=5835 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5839/stat : 5839 (toysat) S 5835 5838 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36520946 1338576896 268043 33554432000 4194304 16246674 140735925896880 140232774102256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5838/tid=5840] ppid=5835 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5840/stat : 5840 (toysat) S 5835 5838 4845 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36520946 1338576896 268043 33554432000 4194304 16246674 140735925896880 140232695459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5838/tid=5841] ppid=5835 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5841/stat : 5841 (toysat) S 5835 5838 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36520946 1338576896 268043 33554432000 4194304 16246674 140735925896880 140232684985520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 32.78
Current children cumulated vsize (KiB) 1307204

[startup+33.2004 s]
/proc/loadavg: 2.03 2.06 1.97 3/183 5842
/proc/meminfo: memFree=29407092/32872528 swapFree=163656/177964
[pid=5838] ppid=5835 vsize=1307204 CPUtime=33.18 cores=0,2,4,6
/proc/5838/stat : 5838 (toysat) R 5835 5838 4845 0 -1 4202496 267719 0 0 0 3281 37 0 0 20 0 4 0 36520945 1338576896 268043 33554432000 4194304 16246674 140735925896880 140735925879880 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5838/statm: 326801 268043 882 2943 0 323695 0
[pid=5838/tid=5839] ppid=5835 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5839/stat : 5839 (toysat) S 5835 5838 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36520946 1338576896 268043 33554432000 4194304 16246674 140735925896880 140232774102256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5838/tid=5840] ppid=5835 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5840/stat : 5840 (toysat) S 5835 5838 4845 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36520946 1338576896 268043 33554432000 4194304 16246674 140735925896880 140232695459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5838/tid=5841] ppid=5835 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5841/stat : 5841 (toysat) S 5835 5838 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36520946 1338576896 268043 33554432000 4194304 16246674 140735925896880 140232684985520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 33.18
Current children cumulated vsize (KiB) 1307204

[startup+33.4004 s]
/proc/loadavg: 2.03 2.06 1.97 3/183 5842
/proc/meminfo: memFree=29407092/32872528 swapFree=163656/177964
[pid=5838] ppid=5835 vsize=1307204 CPUtime=33.38 cores=0,2,4,6
/proc/5838/stat : 5838 (toysat) R 5835 5838 4845 0 -1 4202496 267719 0 0 0 3301 37 0 0 20 0 4 0 36520945 1338576896 268043 33554432000 4194304 16246674 140735925896880 140735925879872 5711318 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5838/statm: 326801 268043 882 2943 0 323695 0
[pid=5838/tid=5839] ppid=5835 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5839/stat : 5839 (toysat) S 5835 5838 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36520946 1338576896 268043 33554432000 4194304 16246674 140735925896880 140232774102256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5838/tid=5840] ppid=5835 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5840/stat : 5840 (toysat) S 5835 5838 4845 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36520946 1338576896 268043 33554432000 4194304 16246674 140735925896880 140232695459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5838/tid=5841] ppid=5835 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5838/task/5841/stat : 5841 (toysat) S 5835 5838 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36520946 1338576896 268043 33554432000 4194304 16246674 140735925896880 140232684985520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 33.38
Current children cumulated vsize (KiB) 1307204

Child status: 0
Real time (s): 33.4834
CPU time (s): 33.4759
CPU user time (s): 33.041
CPU system time (s): 0.434933
CPU usage (%): 99.9777
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.041
system time used= 0.434933
maximum resident set size= 1072180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267723
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= 22
involuntary context switches= 38

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.131979 second user time and 0.149977 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-19 15:58:30
IDJOB=4110182
IDBENCH=79191
IDSOLVER=2553
FILE ID=node105/4110182-1466344710
RUNJOBID= node105-1466341824-4861
PBS_JOBID= 19922043
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111223004--soft-0-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4110182-1466344710/watcher-4110182-1466344710 -o /tmp/evaluation-result-4110182-1466344710/solver-4110182-1466344710 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466341824-4861 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4110182-1466344710.wbo

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

MD5SUM BENCH= d14175b3b4719f4504fd05dae924b9b8
RANDOM SEED=1693741084

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30503092 kB
Buffers:          128252 kB
Cached:           348756 kB
SwapCached:         1696 kB
Active:          1121128 kB
Inactive:         326048 kB
Active(anon):     969064 kB
Inactive(anon):     3096 kB
Active(file):     152064 kB
Inactive(file):   322952 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67099304 kB
Dirty:             16320 kB
Writeback:             0 kB
AnonPages:       1204504 kB
Mapped:            10996 kB
Shmem:                 0 kB
Slab:             609360 kB
SReclaimable:      53000 kB
SUnreclaim:       556360 kB
KernelStack:        1520 kB
PageTables:         6268 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1454620 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 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= 71716 MiB
End job on node105 at 2016-06-19 15:59:04