Trace number 4110262

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 21.4277 21.4377

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966688--soft-0-100-0.wbo
MD5SUMe22981c06c33638df25ec23a309ffad8
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark9
Best CPU time to get the best result obtained on this benchmark7.1949
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 5180
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 5179
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1237
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-19T16:00:28+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-4110262-1466344828.wbo"]
0.00/0.01	c use --random-gen="1159215941 3641976369 3629944742 3859140445 2253561178 343810270 3877372322 4053149033 2847385376 2147343063 424651789 522725905 583816124 1080560097 932311206 766519161 543296494 1431360945 1949828785 2977264999 2455591057 4167236695 1960586574 28150897 1970734224 1721961102 3438674315 1043892757 434355754 3546730107 2209477019 691647524 3868823767 4160858810 1119970187 1849053093 242785865 826996516 1528089389 3820161808 2444664098 162880644 1385001230 672975660 1938669711 3780165660 1634648811 3580837547 4190431251 1084206084 3167159201 667355108 879658080 1139544134 3401217826 2967492614 437055141 113002747 755909618 1402360441 1848214265 3118004298 2634631197 123009006 1142908013 1444723883 3376101124 161762092 1294104093 4138612402 3049520500 1571115166 1705341203 846573911 630021932 1570064311 779559270 1327891770 2630712732 1986391209 2149331439 950593112 2525737749 2140493151 2252336969 3675373724 2353328770 867982331 2461702816 2366839143 874301520 1450677568 1118195397 3010347206 2803043553 1445174417 844473147 2949618973 3957907687 352516525 3923387145 1385248255 1083169848 1908595088 2592824115 175239552 3788961858 408848529 1533093024 4190149342 687849094 2943177505 3157432684 1897838236 187751466 701907355 4244123132 1283576139 811911925 1062384244 2366350982 2778916895 1582546022 684344923 617178934 3397429826 3925141472 107902109 4194304717 1709905465 1028282973 2759546669 1520133290 3067835029 3001516670 2495802474 2071206227 2348893878 2331230553 2246838906 3574392676 3803031989 573161537 2775448353 952397706 1997463151 1912155121 3718283831 3328096371 1291349864 2806223807 3617314659 3563557774 417857282 4284904178 2126404925 1864768361 3939617608 861321408 1648680492 2321366660 3829211427 2824298515 3923169004 693178650 791192658 1700819788 4008476715 2824503358 1349345159 2727026985 3780011301 2176059125 652317878 3178842008 3326512698 1514023237 3102694970 897229186 662460350 1598813655 1623586974 1404500082 3220371830 2552698652 1559844650 2588062784 847272228 346299882 3321865716 3997666285 3700080000 677028673 4067879953 4141439771 3731170149 2861604315 1755396631 1710158978 2679025474 3519300269 1822467599 348586689 1009327012 1862111120 734782198 4116221834 1739402118 2562546787 4095655756 2030996621 3346944588 3749052027 2393022470 2942839040 631001426 4038747275 3182037185 167980192 313975357 786630438 2791605701 2556485161 3906355370 626892700 2773403834 2831600055 1018307519 392038399 3969322913 3489224396 2895798584 809834898 1473454515 2543674546 2423018407 2580980503 1237958312 4075753929 3235129220 699723162 937394896 3479237781 200230859 827714444 3298102062 4022652182 1604882190 2663170575 3351026291 201544219 2761442541 375698941 726615421 2854314336 3560276723 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 |      108 |        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 = 108
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 626
0.19/0.25	c BCD2: updating upper bound: 5179 -> 625
0.19/0.25	c BCD2: 0 <= obj <= 625
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 |      268 |      100 |      123      0 |        0 |        0
0.29/0.30	c  0.0s |       2 |      620 |      250 |      136      0 |        0 |        0
0.29/0.35	c  0.1s |       3 |     1093 |      475 |      150      2 |        0 |        0
0.39/0.42	c  0.2s |       4 |     1738 |      813 |      165      4 |        0 |        0
0.49/0.52	c  0.3s |       5 |     2690 |     1320 |      182      7 |        0 |        0
0.59/0.69	c  0.4s |       6 |     3845 |     2081 |      222     11 |        0 |        0
0.89/0.93	c  0.7s |       7 |     5588 |     3223 |      245     17 |        0 |        0
1.19/1.29	c  1.0s |       8 |     8193 |     4936 |      270     25 |        0 |        0
1.58/1.68	c  1.4s |       9 |    11976 |     7506 |      297     37 |        0 |        0
2.19/2.24	c  2.0s |      10 |    17698 |    11361 |      327     53 |        0 |        0
2.99/3.06	c  2.8s |      11 |    26533 |    17144 |      360     76 |        0 |        0
4.29/4.32	c  4.1s |      12 |    39502 |    25819 |      397    109 |        0 |        0
6.29/6.33	c  6.1s |      12 |    57752 |    38619 |      437    154 |        0 |        0
6.29/6.38	c  6.1s |      13 |    58039 |    38832 |      437    155 |        0 |        0
8.28/8.38	c  8.1s |      13 |    75054 |    50532 |      437    194 |        0 |        0
9.89/9.92	c  9.7s |      14 |    86618 |    58352 |      481    221 |        0 |        0
10.18/10.25	c 10.0s |      14 |    88687 |    59728 |      481    225 |        0 |        0
10.18/10.25	c #cpu_time = 9.968s
10.18/10.25	c #wall_clock_time = 9.995s
10.18/10.25	c #decision = 88687
10.18/10.25	c #random_decision = 221
10.18/10.25	c #conflict = 59728
10.18/10.25	c #restart = 14
10.18/10.25	c BCD2: found a new core of size 100: cost of the new core is >=1
10.18/10.25	c lower bound updated to 1
10.18/10.25	c BCD2: 1 <= obj <= 625
10.18/10.25	c BCD2: #cores=1, #unrelaxed=1, #relaxed=100, #hardened=0
10.18/10.25	c BCD2: #sat=1 #unsat=2 bias=2/3
10.18/10.25	c Solving starts ...
10.18/10.25	c ============================[ Search Statistics ]============================
10.18/10.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.18/10.25	c       |         |          |          |    Limit     GC | Var      | Constra 
10.18/10.25	c =============================================================================
10.18/10.25	c  0.0s |       0 |        0 |        0 |      481      0 |        0 |        0
10.18/10.25	c  0.0s |       0 |      151 |       10 |      481      1 |        0 |        0
10.18/10.25	c #cpu_time = 0.006s
10.18/10.25	c #wall_clock_time = 0.006s
10.18/10.25	c #decision = 151
10.18/10.25	c #random_decision = 0
10.18/10.25	c #conflict = 10
10.18/10.25	c #restart = 0
10.18/10.25	o 49
10.18/10.25	c BCD2: hardening fixes 55 literals
10.18/10.25	c BCD2: updating upper bound: 625 -> 48
10.18/10.25	c BCD2: 1 <= obj <= 48
10.18/10.25	c BCD2: #cores=1, #unrelaxed=0, #relaxed=46, #hardened=55
10.18/10.25	c BCD2: #sat=2 #unsat=2 bias=2/4
10.18/10.25	c Solving starts ...
10.18/10.25	c ============================[ Search Statistics ]============================
10.18/10.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.18/10.25	c       |         |          |          |    Limit     GC | Var      | Constra 
10.18/10.25	c =============================================================================
10.18/10.25	c  0.0s |       0 |        0 |        0 |      481      0 |       55 |        2
10.18/10.27	c  0.0s |       1 |      196 |      100 |      481      0 |       55 |        2
10.18/10.29	c  0.0s |       2 |      469 |      250 |      481      0 |       55 |        2
10.28/10.32	c  0.1s |       3 |      863 |      475 |      481      1 |       55 |        2
10.28/10.36	c  0.1s |       4 |     1392 |      813 |      481      2 |       55 |        2
10.38/10.43	c  0.2s |       5 |     2143 |     1320 |      481      4 |       55 |        2
10.48/10.52	c  0.3s |       6 |     3386 |     2081 |      481      6 |       55 |        2
10.58/10.66	c  0.4s |       7 |     5181 |     3223 |      481      9 |       55 |        2
10.78/10.87	c  0.6s |       8 |     7968 |     4936 |      481     15 |       55 |        2
11.09/11.20	c  0.9s |       9 |    11917 |     7506 |      481     23 |       55 |        2
11.58/11.65	c  1.4s |      10 |    18320 |    11361 |      481     35 |       55 |        2
12.28/12.32	c  2.1s |      11 |    27649 |    17144 |      481     53 |       55 |        2
13.19/13.21	c  3.0s |      11 |    39266 |    24622 |      481     77 |       55 |        2
13.19/13.21	c #cpu_time = 2.952s
13.19/13.21	c #wall_clock_time = 2.960s
13.19/13.21	c #decision = 39266
13.19/13.21	c #random_decision = 112
13.19/13.21	c #conflict = 24622
13.19/13.21	c #restart = 11
13.19/13.21	o 23
13.19/13.21	c BCD2: hardening fixes 27 literals
13.19/13.21	c BCD2: updating upper bound: 48 -> 22
13.19/13.21	c BCD2: 1 <= obj <= 22
13.19/13.21	c BCD2: #cores=1, #unrelaxed=0, #relaxed=19, #hardened=82
13.19/13.21	c BCD2: #sat=3 #unsat=2 bias=2/5
13.19/13.21	c Solving starts ...
13.19/13.21	c ============================[ Search Statistics ]============================
13.19/13.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
13.19/13.21	c       |         |          |          |    Limit     GC | Var      | Constra 
13.19/13.21	c =============================================================================
13.19/13.21	c  0.0s |       0 |        0 |        0 |      481      0 |       82 |        4
13.19/13.23	c  0.0s |       1 |      150 |      100 |      481      0 |       82 |        4
13.19/13.25	c  0.0s |       2 |      377 |      250 |      481      1 |       82 |        4
13.19/13.27	c  0.1s |       3 |      701 |      475 |      481      1 |       82 |        4
13.29/13.31	c  0.1s |       4 |     1283 |      813 |      481      2 |       82 |        4
13.29/13.37	c  0.2s |       5 |     2057 |     1320 |      481      4 |       82 |        4
13.38/13.45	c  0.2s |       6 |     3084 |     2081 |      481      6 |       82 |        4
13.48/13.59	c  0.4s |       7 |     4841 |     3223 |      530     10 |       82 |        4
13.68/13.78	c  0.6s |       8 |     7215 |     4936 |      530     14 |       82 |        4
13.88/13.99	c  0.8s |       8 |     9557 |     6591 |      530     19 |       82 |        4
13.88/13.99	c #cpu_time = 0.769s
13.88/13.99	c #wall_clock_time = 0.771s
13.88/13.99	c #decision = 9557
13.88/13.99	c #random_decision = 19
13.88/13.99	c #conflict = 6591
13.88/13.99	c #restart = 8
13.88/13.99	o 9
13.88/13.99	c BCD2: hardening fixes 14 literals
13.88/13.99	c BCD2: updating upper bound: 22 -> 8
13.88/13.99	c BCD2: 1 <= obj <= 8
13.88/13.99	c BCD2: #cores=1, #unrelaxed=0, #relaxed=5, #hardened=96
13.88/13.99	c BCD2: #sat=4 #unsat=2 bias=2/6
13.88/13.99	c Solving starts ...
13.88/13.99	c ============================[ Search Statistics ]============================
13.88/13.99	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
13.88/13.99	c       |         |          |          |    Limit     GC | Var      | Constra 
13.88/13.99	c =============================================================================
13.88/13.99	c  0.0s |       0 |        0 |        0 |      530      0 |       96 |        6
13.98/14.00	c  0.0s |       1 |      140 |      100 |      530      0 |       96 |        6
13.98/14.02	c  0.0s |       2 |      341 |      250 |      530      1 |       96 |        6
13.98/14.04	c  0.1s |       3 |      634 |      475 |      530      1 |       96 |        6
13.98/14.08	c  0.1s |       4 |     1097 |      813 |      530      2 |       96 |        6
14.08/14.13	c  0.1s |       5 |     1875 |     1320 |      530      4 |       96 |        6
14.18/14.22	c  0.2s |       6 |     2946 |     2081 |      530      6 |       96 |        6
14.29/14.34	c  0.4s |       7 |     4589 |     3223 |      530      9 |       96 |        6
14.48/14.53	c  0.5s |       8 |     7022 |     4936 |      530     14 |       96 |        6
14.78/14.81	c  0.8s |       9 |    10447 |     7506 |      530     21 |       96 |        6
15.18/15.25	c  1.3s |      10 |    16245 |    11361 |      530     32 |       96 |        6
15.88/15.93	c  1.9s |      11 |    24575 |    17144 |      530     49 |       96 |        6
15.98/16.05	c  2.1s |      11 |    25771 |    18048 |      530     52 |       97 |        8
15.98/16.05	c #cpu_time = 2.063s
15.98/16.05	c #wall_clock_time = 2.069s
15.98/16.05	c #decision = 25771
15.98/16.05	c #random_decision = 57
15.98/16.05	c #conflict = 18048
15.98/16.05	c #restart = 11
15.98/16.05	c BCD2: updating lower bound of a core
15.98/16.05	c BCD2: refineLB: 4 -> 5
15.98/16.05	c lower bound updated to 5
15.98/16.05	c BCD2: 5 <= obj <= 8
15.98/16.05	c BCD2: #cores=1, #unrelaxed=0, #relaxed=5, #hardened=96
15.98/16.05	c BCD2: #sat=4 #unsat=3 bias=3/7
15.98/16.05	c Solving starts ...
15.98/16.05	c ============================[ Search Statistics ]============================
15.98/16.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
15.98/16.05	c       |         |          |          |    Limit     GC | Var      | Constra 
15.98/16.05	c =============================================================================
15.98/16.06	c  0.0s |       0 |        0 |        0 |      530      0 |       97 |        8
15.98/16.07	c  0.0s |       1 |      163 |      100 |      530      0 |       97 |        8
15.98/16.09	c  0.0s |       2 |      359 |      250 |      530      1 |       97 |        8
16.08/16.11	c  0.1s |       3 |      637 |      475 |      530      1 |       97 |        8
16.08/16.15	c  0.1s |       4 |     1123 |      813 |      530      2 |       97 |        8
16.18/16.20	c  0.1s |       5 |     1777 |     1320 |      530      3 |       97 |        8
16.18/16.29	c  0.2s |       6 |     2811 |     2081 |      530      6 |       97 |        8
16.38/16.41	c  0.4s |       7 |     4437 |     3223 |      530      9 |       97 |        8
16.59/16.61	c  0.6s |       8 |     6946 |     4936 |      530     13 |       97 |        8
16.78/16.89	c  0.8s |       9 |    10622 |     7506 |      530     21 |       97 |        8
17.28/17.32	c  1.3s |      10 |    15895 |    11361 |      530     31 |       97 |        8
17.88/17.97	c  1.9s |      11 |    24279 |    17144 |      530     48 |       97 |        8
18.88/18.98	c  2.9s |      12 |    36970 |    25819 |      583     72 |       97 |        8
19.18/19.21	c  3.2s |      12 |    39349 |    27598 |      583     77 |       98 |       10
19.18/19.21	c #cpu_time = 3.149s
19.18/19.21	c #wall_clock_time = 3.157s
19.18/19.21	c #decision = 39349
19.18/19.21	c #random_decision = 88
19.18/19.21	c #conflict = 27598
19.18/19.21	c #restart = 12
19.18/19.21	c BCD2: updating lower bound of a core
19.18/19.21	c lower bound updated to 7
19.18/19.21	c BCD2: 7 <= obj <= 8
19.18/19.21	c BCD2: #cores=1, #unrelaxed=0, #relaxed=5, #hardened=96
19.18/19.21	c BCD2: #sat=4 #unsat=4 bias=4/8
19.18/19.21	c Solving starts ...
19.18/19.21	c ============================[ Search Statistics ]============================
19.18/19.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
19.18/19.21	c       |         |          |          |    Limit     GC | Var      | Constra 
19.18/19.21	c =============================================================================
19.18/19.21	c  0.0s |       0 |        0 |        0 |      583      0 |       98 |       10
19.18/19.23	c  0.0s |       1 |      148 |      100 |      583      0 |       98 |       10
19.18/19.24	c  0.0s |       2 |      344 |      250 |      583      0 |       98 |       10
19.18/19.27	c  0.1s |       3 |      675 |      475 |      583      1 |       98 |       10
19.28/19.31	c  0.1s |       4 |     1209 |      813 |      583      2 |       98 |       10
19.28/19.36	c  0.2s |       5 |     1967 |     1320 |      583      3 |       98 |       10
19.38/19.45	c  0.2s |       6 |     3076 |     2081 |      583      5 |       98 |       10
19.48/19.58	c  0.4s |       7 |     4756 |     3223 |      583      8 |       98 |       10
19.68/19.77	c  0.6s |       8 |     7256 |     4936 |      583     13 |       98 |       10
19.98/20.07	c  0.9s |       9 |    10852 |     7506 |      583     19 |       98 |       10
20.48/20.51	c  1.3s |      10 |    16121 |    11361 |      583     29 |       98 |       10
21.08/21.18	c  2.0s |      11 |    24716 |    17144 |      583     45 |       98 |       10
21.28/21.37	c  2.2s |      11 |    26855 |    18636 |      583     49 |       99 |       12
21.28/21.37	c #cpu_time = 2.149s
21.28/21.37	c #wall_clock_time = 2.155s
21.28/21.37	c #decision = 26855
21.28/21.37	c #random_decision = 69
21.28/21.37	c #conflict = 18636
21.28/21.37	c #restart = 11
21.28/21.37	c BCD2: updating lower bound of a core
21.28/21.37	c lower bound updated to 9
21.28/21.37	s OPTIMUM FOUND
21.28/21.37	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
21.28/21.37	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20
21.28/21.37	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
21.28/21.37	v -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 x40
21.28/21.37	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
21.28/21.37	v -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60
21.28/21.37	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
21.28/21.37	v -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80
21.28/21.37	v -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90
21.28/21.37	v -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100
21.28/21.37	v -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110
21.28/21.37	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
21.28/21.37	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130
21.28/21.37	v -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140
21.28/21.37	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
21.28/21.37	v -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160
21.28/21.37	v x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169
21.28/21.37	c total CPU time = 21.315s
21.28/21.37	c total wall clock time = 21.371s

Verifier Data 

OK	9

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

pid=3045
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.26 2.24 2.15 3/178 3048
/proc/meminfo: memFree=28879428/32872528 swapFree=1316768/1463936
[pid=3048] ppid=3045 vsize=656964 CPUtime=0 cores=0,2,4,6
/proc/3048/stat : 3048 (toysat) R 3045 3048 1219 0 -1 4202496 2441 0 0 0 0 0 0 0 20 0 4 0 36529705 672731136 2801 33554432000 4194304 16246674 140734340644848 140734340644272 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3048/statm: 165009 2810 442 2943 0 161903 0
[pid=3048/tid=3049] ppid=3045 vsize=675396 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3049/stat : 3049 (toysat) S 3045 3048 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36529705 691605504 2870 33554432000 4194304 16246674 140734340644848 139805296930032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3048/tid=3050] ppid=3045 vsize=679492 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3050/stat : 3050 (toysat) S 3045 3048 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36529705 695799808 2887 33554432000 4194304 16246674 140734340644848 139805211995376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3048/tid=3051] ppid=3045 vsize=683588 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3051/stat : 3051 (toysat) S 3045 3048 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36529705 699994112 2903 33554432000 4194304 16246674 140734340644848 139805201521840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10016 s]
/proc/loadavg: 2.26 2.24 2.15 3/178 3048
/proc/meminfo: memFree=28879428/32872528 swapFree=1316768/1463936
[pid=3048] ppid=3045 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/3048/stat : 3048 (toysat) R 3045 3048 1219 0 -1 4202496 18472 0 0 0 7 2 0 0 20 0 4 0 36529705 1247350784 18825 33554432000 4194304 16246674 140734340644848 140734340644272 12501467 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3048/statm: 304529 18827 616 2943 0 301423 0
[pid=3048/tid=3049] ppid=3045 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3049/stat : 3049 (toysat) S 3045 3048 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36529705 1247350784 18830 33554432000 4194304 16246674 140734340644848 139805296930032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3048/tid=3050] ppid=3045 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3050/stat : 3050 (toysat) S 3045 3048 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36529705 1247350784 18833 33554432000 4194304 16246674 140734340644848 139805211995376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3048/tid=3051] ppid=3045 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3051/stat : 3051 (toysat) S 3045 3048 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36529705 1247350784 18835 33554432000 4194304 16246674 140734340644848 139805201521840 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.200461 s]
/proc/loadavg: 2.26 2.24 2.15 3/178 3048
/proc/meminfo: memFree=28879428/32872528 swapFree=1316768/1463936
[pid=3048] ppid=3045 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/3048/stat : 3048 (toysat) R 3045 3048 1219 0 -1 4202496 26426 0 0 0 16 3 0 0 20 0 4 0 36529705 1247350784 26779 33554432000 4194304 16246674 140734340644848 140734340644272 6144396 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3048/statm: 304529 26779 616 2943 0 301423 0
[pid=3048/tid=3049] ppid=3045 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3049/stat : 3049 (toysat) S 3045 3048 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36529705 1247350784 26779 33554432000 4194304 16246674 140734340644848 139805296930032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3048/tid=3050] ppid=3045 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3050/stat : 3050 (toysat) S 3045 3048 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36529705 1247350784 26780 33554432000 4194304 16246674 140734340644848 139805211995376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3048/tid=3051] ppid=3045 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3051/stat : 3051 (toysat) S 3045 3048 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36529705 1247350784 26780 33554432000 4194304 16246674 140734340644848 139805201521840 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.300452 s]
/proc/loadavg: 2.26 2.24 2.15 3/178 3048
/proc/meminfo: memFree=28879428/32872528 swapFree=1316768/1463936
[pid=3048] ppid=3045 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/3048/stat : 3048 (toysat) R 3045 3048 1219 0 -1 4202496 38890 0 0 0 23 6 0 0 20 0 4 0 36529705 1247350784 39236 33554432000 4194304 16246674 140734340644848 140734340644272 6021007 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3048/statm: 304529 39241 809 2943 0 301423 0
[pid=3048/tid=3049] ppid=3045 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3049/stat : 3049 (toysat) S 3045 3048 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36529705 1247350784 39246 33554432000 4194304 16246674 140734340644848 139805296930032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3048/tid=3050] ppid=3045 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3050/stat : 3050 (toysat) S 3045 3048 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36529705 1247350784 39252 33554432000 4194304 16246674 140734340644848 139805211995376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3048/tid=3051] ppid=3045 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3051/stat : 3051 (toysat) S 3045 3048 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36529705 1247350784 39260 33554432000 4194304 16246674 140734340644848 139805201521840 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.700437 s]
/proc/loadavg: 2.26 2.24 2.15 3/178 3048
/proc/meminfo: memFree=28879428/32872528 swapFree=1316768/1463936
[pid=3048] ppid=3045 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/3048/stat : 3048 (toysat) R 3045 3048 1219 0 -1 4202496 116324 0 0 0 53 16 0 0 20 0 4 0 36529705 1247350784 116670 33554432000 4194304 16246674 140734340644848 140734340626752 5828874 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3048/statm: 304529 116677 815 2943 0 301423 0
[pid=3048/tid=3049] ppid=3045 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3049/stat : 3049 (toysat) S 3045 3048 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36529705 1247350784 116682 33554432000 4194304 16246674 140734340644848 139805296930032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3048/tid=3050] ppid=3045 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3050/stat : 3050 (toysat) S 3045 3048 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36529705 1247350784 116686 33554432000 4194304 16246674 140734340644848 139805211995376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3048/tid=3051] ppid=3045 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3051/stat : 3051 (toysat) S 3045 3048 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36529705 1247350784 116687 33554432000 4194304 16246674 140734340644848 139805201521840 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.50044 s]
/proc/loadavg: 2.31 2.25 2.15 3/182 3052
/proc/meminfo: memFree=28096800/32872528 swapFree=1316768/1463936
[pid=3048] ppid=3045 vsize=1219140 CPUtime=1.48 cores=0,2,4,6
/proc/3048/stat : 3048 (toysat) R 3045 3048 1219 0 -1 4202496 245815 0 0 0 114 34 0 0 20 0 4 0 36529705 1248399360 246139 33554432000 4194304 16246674 140734340644848 140734340644160 13191420 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3048/statm: 304785 246139 873 2943 0 301679 0
[pid=3048/tid=3049] ppid=3045 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3049/stat : 3049 (toysat) S 3045 3048 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36529705 1248399360 246139 33554432000 4194304 16246674 140734340644848 139805296930032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3048/tid=3050] ppid=3045 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3050/stat : 3050 (toysat) S 3045 3048 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36529705 1248399360 246139 33554432000 4194304 16246674 140734340644848 139805211995376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3048/tid=3051] ppid=3045 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3051/stat : 3051 (toysat) S 3045 3048 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36529705 1248399360 246139 33554432000 4194304 16246674 140734340644848 139805201521840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1219140

[startup+3.10044 s]
/proc/loadavg: 2.31 2.25 2.15 3/182 3052
/proc/meminfo: memFree=27809104/32872528 swapFree=1316768/1463936
[pid=3048] ppid=3045 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/3048/stat : 3048 (toysat) R 3045 3048 1219 0 -1 4202496 267515 0 0 0 272 37 0 0 20 0 4 0 36529705 1337528320 267839 33554432000 4194304 16246674 140734340644848 140734340626752 5722180 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3048/statm: 326545 267839 873 2943 0 323439 0
[pid=3048/tid=3049] ppid=3045 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3049/stat : 3049 (toysat) S 3045 3048 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36529705 1337528320 267839 33554432000 4194304 16246674 140734340644848 139805296930032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3048/tid=3050] ppid=3045 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3050/stat : 3050 (toysat) S 3045 3048 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36529705 1337528320 267839 33554432000 4194304 16246674 140734340644848 139805211995376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3048/tid=3051] ppid=3045 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3051/stat : 3051 (toysat) S 3045 3048 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36529705 1337528320 267839 33554432000 4194304 16246674 140734340644848 139805201521840 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) 1306180

[startup+6.30046 s]
/proc/loadavg: 2.31 2.25 2.15 4/182 3052
/proc/meminfo: memFree=27808140/32872528 swapFree=1316768/1463936
[pid=3048] ppid=3045 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/3048/stat : 3048 (toysat) R 3045 3048 1219 0 -1 4202496 267553 0 0 0 592 37 0 0 20 0 4 0 36529705 1337528320 267877 33554432000 4194304 16246674 140734340644848 140734340626752 5514824 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3048/statm: 326545 267877 874 2943 0 323439 0
[pid=3048/tid=3049] ppid=3045 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3049/stat : 3049 (toysat) S 3045 3048 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36529705 1337528320 267877 33554432000 4194304 16246674 140734340644848 139805296930032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3048/tid=3050] ppid=3045 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3050/stat : 3050 (toysat) S 3045 3048 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36529705 1337528320 267877 33554432000 4194304 16246674 140734340644848 139805211995376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3048/tid=3051] ppid=3045 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3051/stat : 3051 (toysat) S 3045 3048 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36529705 1337528320 267877 33554432000 4194304 16246674 140734340644848 139805201521840 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.27 2.25 2.15 3/182 3052
/proc/meminfo: memFree=27808032/32872528 swapFree=1316768/1463936
[pid=3048] ppid=3045 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/3048/stat : 3048 (toysat) R 3045 3048 1219 0 -1 4202496 267569 0 0 0 1231 37 0 0 20 0 4 0 36529705 1337528320 267893 33554432000 4194304 16246674 140734340644848 140734340626752 6078152 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3048/statm: 326545 267893 883 2943 0 323439 0
[pid=3048/tid=3049] ppid=3045 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3049/stat : 3049 (toysat) S 3045 3048 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36529705 1337528320 267893 33554432000 4194304 16246674 140734340644848 139805296930032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3048/tid=3050] ppid=3045 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3050/stat : 3050 (toysat) S 3045 3048 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36529705 1337528320 267893 33554432000 4194304 16246674 140734340644848 139805211995376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3048/tid=3051] ppid=3045 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3051/stat : 3051 (toysat) S 3045 3048 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36529705 1337528320 267893 33554432000 4194304 16246674 140734340644848 139805201521840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

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

[startup+12.8005 s]
/proc/loadavg: 2.27 2.25 2.15 3/182 3052
/proc/meminfo: memFree=27808032/32872528 swapFree=1316768/1463936
[pid=3048] ppid=3045 vsize=1306180 CPUtime=12.78 cores=0,2,4,6
/proc/3048/stat : 3048 (toysat) R 3045 3048 1219 0 -1 4202496 267569 0 0 0 1241 37 0 0 20 0 4 0 36529705 1337528320 267893 33554432000 4194304 16246674 140734340644848 140734340626752 12483484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3048/statm: 326545 267893 883 2943 0 323439 0
[pid=3048/tid=3049] ppid=3045 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3049/stat : 3049 (toysat) S 3045 3048 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36529705 1337528320 267893 33554432000 4194304 16246674 140734340644848 139805296930032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3048/tid=3050] ppid=3045 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3050/stat : 3050 (toysat) S 3045 3048 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36529705 1337528320 267893 33554432000 4194304 16246674 140734340644848 139805211995376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3048/tid=3051] ppid=3045 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3051/stat : 3051 (toysat) S 3045 3048 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36529705 1337528320 267893 33554432000 4194304 16246674 140734340644848 139805201521840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.78
Current children cumulated vsize (KiB) 1306180

[startup+16.0005 s]
/proc/loadavg: 2.27 2.25 2.15 3/182 3052
/proc/meminfo: memFree=27808528/32872528 swapFree=1316768/1463936
[pid=3048] ppid=3045 vsize=1306180 CPUtime=15.98 cores=0,2,4,6
/proc/3048/stat : 3048 (toysat) R 3045 3048 1219 0 -1 4202496 267579 0 0 0 1561 37 0 0 20 0 4 0 36529705 1337528320 267903 33554432000 4194304 16246674 140734340644848 140734340626752 12874961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3048/statm: 326545 267903 885 2943 0 323439 0
[pid=3048/tid=3049] ppid=3045 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3049/stat : 3049 (toysat) S 3045 3048 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36529705 1337528320 267903 33554432000 4194304 16246674 140734340644848 139805296930032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3048/tid=3050] ppid=3045 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3050/stat : 3050 (toysat) S 3045 3048 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36529705 1337528320 267903 33554432000 4194304 16246674 140734340644848 139805211995376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3048/tid=3051] ppid=3045 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3051/stat : 3051 (toysat) S 3045 3048 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36529705 1337528320 267903 33554432000 4194304 16246674 140734340644848 139805201521840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 15.98
Current children cumulated vsize (KiB) 1306180

[startup+19.2004 s]
/proc/loadavg: 2.24 2.24 2.15 3/182 3052
/proc/meminfo: memFree=27808684/32872528 swapFree=1316768/1463936
[pid=3048] ppid=3045 vsize=1306180 CPUtime=19.18 cores=0,2,4,6
/proc/3048/stat : 3048 (toysat) R 3045 3048 1219 0 -1 4202496 267579 0 0 0 1881 37 0 0 20 0 4 0 36529705 1337528320 267903 33554432000 4194304 16246674 140734340644848 140734340626752 6012116 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3048/statm: 326545 267903 885 2943 0 323439 0
[pid=3048/tid=3049] ppid=3045 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3049/stat : 3049 (toysat) S 3045 3048 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36529705 1337528320 267903 33554432000 4194304 16246674 140734340644848 139805296930032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3048/tid=3050] ppid=3045 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3050/stat : 3050 (toysat) S 3045 3048 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36529705 1337528320 267903 33554432000 4194304 16246674 140734340644848 139805211995376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3048/tid=3051] ppid=3045 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3051/stat : 3051 (toysat) S 3045 3048 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36529705 1337528320 267903 33554432000 4194304 16246674 140734340644848 139805201521840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 19.18
Current children cumulated vsize (KiB) 1306180

[startup+20.8004 s]
/proc/loadavg: 2.24 2.24 2.15 3/182 3101
/proc/meminfo: memFree=28524380/32872528 swapFree=1316768/1463936
[pid=3048] ppid=3045 vsize=1306180 CPUtime=20.78 cores=0,2,4,6
/proc/3048/stat : 3048 (toysat) R 3045 3048 1219 0 -1 4202496 267579 0 0 0 2041 37 0 0 20 0 4 0 36529705 1337528320 267903 33554432000 4194304 16246674 140734340644848 140734340626752 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3048/statm: 326545 267903 885 2943 0 323439 0
[pid=3048/tid=3049] ppid=3045 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3049/stat : 3049 (toysat) S 3045 3048 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36529705 1337528320 267903 33554432000 4194304 16246674 140734340644848 139805296930032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3048/tid=3050] ppid=3045 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3050/stat : 3050 (toysat) S 3045 3048 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36529705 1337528320 267903 33554432000 4194304 16246674 140734340644848 139805211995376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3048/tid=3051] ppid=3045 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3051/stat : 3051 (toysat) S 3045 3048 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36529705 1337528320 267903 33554432000 4194304 16246674 140734340644848 139805201521840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 20.78
Current children cumulated vsize (KiB) 1306180

[startup+21.2004 s]
/proc/loadavg: 2.24 2.24 2.15 3/182 3101
/proc/meminfo: memFree=27896692/32872528 swapFree=1316768/1463936
[pid=3048] ppid=3045 vsize=1306180 CPUtime=21.18 cores=0,2,4,6
/proc/3048/stat : 3048 (toysat) R 3045 3048 1219 0 -1 4202496 267579 0 0 0 2081 37 0 0 20 0 4 0 36529705 1337528320 267903 33554432000 4194304 16246674 140734340644848 140734340626752 5717664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3048/statm: 326545 267903 885 2943 0 323439 0
[pid=3048/tid=3049] ppid=3045 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3049/stat : 3049 (toysat) S 3045 3048 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36529705 1337528320 267903 33554432000 4194304 16246674 140734340644848 139805296930032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3048/tid=3050] ppid=3045 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3050/stat : 3050 (toysat) S 3045 3048 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36529705 1337528320 267903 33554432000 4194304 16246674 140734340644848 139805211995376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3048/tid=3051] ppid=3045 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3048/task/3051/stat : 3051 (toysat) S 3045 3048 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36529705 1337528320 267903 33554432000 4194304 16246674 140734340644848 139805201521840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 21.18
Current children cumulated vsize (KiB) 1306180

[startup+21.4003 s]
/proc/loadavg: 2.24 2.24 2.15 3/182 3101
/proc/meminfo: memFree=27896692/32872528 swapFree=1316768/1463936
[pid=3048] ppid=3045 vsize=0 CPUtime=21.38 cores=0,2,4,6
/proc/3048/stat : 3048 (toysat) Z 3045 3048 1219 0 -1 4202508 267583 0 0 0 2098 40 0 0 20 0 2 0 36529705 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3048/statm: 0 0 0 0 0 0 0
[pid=3048/tid=3050] ppid=3045 vsize=0 CPUtime=0.01 cores=0,2,4,6
/proc/3048/task/3050/stat : 3050 (toysat) R 3045 3048 1219 0 -1 4203588 7 0 0 0 0 1 0 0 20 0 2 0 36529705 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 21.38
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 21.4377
CPU time (s): 21.4277
CPU user time (s): 20.9888
CPU system time (s): 0.438933
CPU usage (%): 99.9536
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.9888
system time used= 0.438933
maximum resident set size= 1071620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267583
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= 17
involuntary context switches= 22

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.06399 second user time and 0.067989 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-19 16:00:28
IDJOB=4110262
IDBENCH=79220
IDSOLVER=2553
FILE ID=node121/4110262-1466344828
RUNJOBID= node121-1466341819-1235
PBS_JOBID= 19922032
Free space on /tmp= 71704 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110966688--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-4110262-1466344828/watcher-4110262-1466344828 -o /tmp/evaluation-result-4110262-1466344828/solver-4110262-1466344828 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466341819-1235 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4110262-1466344828.wbo

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

MD5SUM BENCH= e22981c06c33638df25ec23a309ffad8
RANDOM SEED=1072284073

node121.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.691
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.38
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.691
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.691
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.691
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.691
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.691
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.691
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.56
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.691
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:        28880228 kB
Buffers:          204056 kB
Cached:           483828 kB
SwapCached:         1944 kB
Active:          1280436 kB
Inactive:         485388 kB
Active(anon):    1077392 kB
Inactive(anon):     2900 kB
Active(file):     203044 kB
Inactive(file):   482488 kB
Unevictable:     1463936 kB
Mlocked:         1316768 kB
SwapTotal:      67108856 kB
SwapFree:       67101196 kB
Dirty:             16664 kB
Writeback:             0 kB
AnonPages:       2542436 kB
Mapped:            12368 kB
Shmem:                 0 kB
Slab:             628988 kB
SReclaimable:      73088 kB
SUnreclaim:       555900 kB
KernelStack:        1512 kB
PageTables:         8992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2669672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    157696 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= 71688 MiB
End job on node121 at 2016-06-19 16:00:49