Trace number 4093671

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 56.7074 56.7165

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900669797--soft-0-100-0.wbo
MD5SUMebbce1c4489027f4644c8b5f9031d297
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 benchmark36.35
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 135865
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135864
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 695
Number of bits of the biggest sum of numbers10
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-16T18:36:33+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-4093671-1466094993.wbo"]
0.00/0.01	c use --random-gen="3873902106 4198919149 3002272548 437839086 3756614336 707082352 697232213 1012716144 4067028050 40454194 1061048325 155992541 2176737350 3655232768 3676004155 149482467 2039924894 923436636 2508791317 1618797000 4124824673 2376198067 3847649567 3947847225 1019145513 1676613676 3909204596 901133585 143197194 3800229073 1483623245 2192215124 3111996906 3153387190 4099735674 1698998053 648284809 3768240150 2063908304 3406442920 3577950319 3093115695 829452388 502243753 1231401487 713044724 3045732149 1698803475 340515239 3390401175 1597393262 3790079949 736818222 2596408401 3401907335 345260896 2484946654 1120885101 765152170 1451833850 3864148993 3117469228 3193200243 1266182720 2289452769 1542358652 1268274854 2320241795 1126979079 3797226417 4254611436 4278250090 2032183202 813861216 2330836730 3981261196 663777427 4075650244 3018375995 4185202060 4009010156 3628966626 1625670057 4128632226 438252618 3027964367 3945429786 1967464042 3582828346 4019040803 3604077468 1091072772 1967629674 62526571 1450024796 2426957977 2155176711 2862169582 3541284517 2344566339 3231109613 635527695 32882696 1342207406 4066319185 4111043960 546889635 3822260169 3042388248 2941060816 1001410254 1273904841 4142960173 3101750481 3235821823 4083707582 1259457970 1311645571 3421606932 3697939903 1023706663 2623648549 2175564339 70507623 885665949 2618789215 3485185124 2136164687 3432421111 2182117448 1160856167 2795773529 1661666349 2854676037 1932565384 327869692 675711554 3517130814 3606799289 3787336334 1211093358 1861958421 30428548 2695292766 243589395 3471415738 3067358518 3492968005 143579040 2878257982 2930141501 2327488910 1140078127 329732197 241395556 3281504613 2954912191 4012050242 1222492932 1790800417 896724735 685723592 1820257847 335328416 1983032515 148392224 4217226112 3881516698 3835315598 1428940377 1986036510 420829587 3176950163 2239133882 2656719307 4107015643 2401410040 4064675267 353944036 1125287377 1404649332 3326374884 4106590894 441039353 2704943453 593436306 416978868 2902699773 2080833894 103263942 727417011 3032621029 1879735303 2464129888 2123624140 877335500 3460552968 4292508810 3489322557 1703988662 2836173472 2939305964 4121840434 2256525458 287264655 3160101799 4101542512 2646903722 1812288382 3737631594 1341791094 3594489723 838377169 352732139 1687264731 4237304055 1322155552 2013771552 2230968871 1353366798 2749366584 3101415122 3873397837 1322124872 4195385639 361077124 699712778 2638169930 231600850 2188593395 2934985867 4067916580 22487318 3325714704 2884905369 1732611786 3960260434 602841432 741634367 331916931 3270794661 412300068 1050300577 757324216 3882538503 129239687 2953043511 3116919899 3696116416 3715651373 2943014919 648205552 3067885997 862791535 258461329 3477344769 255 362436" option to reproduce the execution
0.09/0.17	c #vars 231
0.09/0.17	c #constraints 2707
0.19/0.21	c BCD2: Hardening is enabled.
0.19/0.21	c BCD2: BiasedSearch is enabled.
0.19/0.21	c Solving starts ...
0.19/0.21	c ============================[ Search Statistics ]============================
0.19/0.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.21	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.21	c =============================================================================
0.19/0.21	c  0.0s |       0 |        0 |        0 |     1881      0 |        0 |        0
0.19/0.23	c  0.0s |       0 |     2721 |        0 |     1881      0 |        0 |        0
0.19/0.23	c #cpu_time = 0.017s
0.19/0.23	c #wall_clock_time = 0.017s
0.19/0.23	c #decision = 2721
0.19/0.23	c #random_decision = 15
0.19/0.23	c #conflict = 0
0.19/0.23	c #restart = 0
0.19/0.23	o 574
0.19/0.24	c BCD2: updating upper bound: 135864 -> 573
0.19/0.25	c BCD2: 0 <= obj <= 573
0.19/0.25	c BCD2: #cores=0, #unrelaxed=2707, #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 |     1881      0 |        0 |        0
0.19/0.28	c  0.0s |       1 |     2880 |      100 |     1881      0 |        0 |        0
0.29/0.32	c  0.1s |       2 |     5811 |      250 |     2070      0 |        0 |        0
0.29/0.38	c  0.1s |       3 |     8875 |      475 |     2277      0 |        0 |        0
0.39/0.46	c  0.2s |       4 |    12176 |      813 |     2505      0 |        0 |        0
0.59/0.65	c  0.4s |       5 |    15719 |     1320 |     2756      0 |        0 |        0
0.89/0.97	c  0.7s |       6 |    19596 |     2081 |     3336      0 |        0 |        0
1.39/1.42	c  1.2s |       7 |    24117 |     3223 |     3670      0 |        0 |        0
2.49/2.55	c  2.3s |       8 |    29297 |     4936 |     4038      0 |        0 |        0
4.49/4.57	c  4.3s |       8 |    34877 |     6836 |     4038      1 |        0 |        0
4.79/4.89	c  4.6s |       9 |    35829 |     7506 |     4442      1 |        0 |        0
6.89/6.96	c  6.7s |       9 |    43621 |    10706 |     4442      2 |        0 |        0
7.39/7.45	c  7.2s |      10 |    44678 |    11361 |     4887      2 |        0 |        0
9.49/9.50	c  9.3s |      10 |    50581 |    13261 |     4887      3 |        0 |        0
11.68/11.70	c 11.4s |      10 |    54969 |    15861 |     4887      4 |        0 |        0
12.69/12.72	c 12.5s |      11 |    57213 |    17144 |     5376      4 |        0 |        0
14.79/14.85	c 14.6s |      11 |    62573 |    18644 |     5376      4 |        0 |        0
16.79/16.88	c 16.6s |      11 |    67305 |    21544 |     5376      5 |        0 |        0
18.89/18.93	c 18.7s |      11 |    71896 |    24144 |     5376      5 |        0 |        0
20.59/20.62	c 20.4s |      12 |    74688 |    25819 |     5914      6 |        0 |        0
22.69/22.74	c 22.5s |      12 |    80398 |    27519 |     5914      6 |        0 |        0
24.78/24.82	c 24.6s |      12 |    84040 |    29519 |     5914      7 |        0 |        0
26.79/26.86	c 26.6s |      12 |    86844 |    31019 |     5914      7 |        0 |        0
28.89/28.95	c 28.7s |      12 |    89081 |    32419 |     5914      7 |        0 |        0
30.99/31.05	c 30.8s |      12 |    92106 |    34219 |     5914      8 |        0 |        0
33.09/33.15	c 32.9s |      12 |    94679 |    35819 |     5914      8 |        0 |        0
35.19/35.23	c 35.0s |      12 |    97108 |    37219 |     5914      8 |        0 |        0
37.39/37.42	c 37.2s |      12 |    99310 |    38519 |     5914      9 |        0 |        0
38.08/38.11	c 37.9s |      13 |    99839 |    38832 |     6506      9 |        0 |        0
40.18/40.28	c 40.0s |      13 |   104603 |    40032 |     6506      9 |        0 |        0
42.28/42.33	c 42.1s |      13 |   106402 |    41232 |     6506      9 |        0 |        0
44.39/44.46	c 44.2s |      13 |   107806 |    42232 |     6506      9 |        0 |        0
46.58/46.62	c 46.4s |      13 |   109290 |    43132 |     6506     10 |        0 |        0
47.28/47.32	c 47.1s |      13 |   109747 |    43425 |     6506     10 |        0 |        0
47.28/47.32	c #cpu_time = 46.945s
47.28/47.32	c #wall_clock_time = 47.067s
47.28/47.32	c #decision = 109747
47.28/47.32	c #random_decision = 50
47.28/47.32	c #conflict = 43425
47.28/47.32	c #restart = 13
47.28/47.32	c BCD2: found a new core of size 2551: cost of the new core is >=1
47.28/47.32	c lower bound updated to 1
47.28/47.33	c BCD2: 1 <= obj <= 573
47.28/47.33	c BCD2: #cores=1, #unrelaxed=156, #relaxed=2551, #hardened=0
47.28/47.33	c BCD2: #sat=1 #unsat=2 bias=2/3
47.28/47.34	c Solving starts ...
47.28/47.34	c ============================[ Search Statistics ]============================
47.28/47.34	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
47.28/47.34	c       |         |          |          |    Limit     GC | Var      | Constra 
47.28/47.34	c =============================================================================
47.28/47.34	c  0.0s |       0 |        0 |        0 |     6506      0 |        0 |        0
47.39/47.47	c  0.1s |       0 |     2937 |        4 |     6506      0 |        0 |        0
47.39/47.47	c #cpu_time = 0.123s
47.39/47.47	c #wall_clock_time = 0.123s
47.39/47.47	c #decision = 2937
47.39/47.47	c #random_decision = 5
47.39/47.47	c #conflict = 4
47.39/47.47	c #restart = 0
47.39/47.47	o 61
47.39/47.47	c BCD2: hardening fixes 1086 literals
47.39/47.47	c BCD2: updating upper bound: 573 -> 60
47.39/47.48	c BCD2: 1 <= obj <= 60
47.39/47.48	c BCD2: #cores=1, #unrelaxed=97, #relaxed=1524, #hardened=1086
47.39/47.48	c BCD2: #sat=2 #unsat=2 bias=2/4
47.39/47.48	c Solving starts ...
47.39/47.48	c ============================[ Search Statistics ]============================
47.39/47.48	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
47.39/47.48	c       |         |          |          |    Limit     GC | Var      | Constra 
47.39/47.48	c =============================================================================
47.39/47.48	c  0.0s |       0 |        0 |        0 |     6506      0 |     1086 |        1
47.68/47.72	c  0.2s |       1 |      635 |      100 |     6506      0 |     1086 |        1
47.98/48.03	c  0.5s |       2 |     1077 |      250 |     6506      0 |     1086 |        1
48.38/48.40	c  0.9s |       3 |     1566 |      475 |     6506      0 |     1086 |        1
48.68/48.79	c  1.3s |       4 |     2320 |      813 |     6506      0 |     1086 |        1
49.28/49.32	c  1.8s |       5 |     3281 |     1320 |     6506      0 |     1086 |        1
49.88/49.96	c  2.5s |       5 |     4396 |     1849 |     6506      0 |     1086 |        1
49.88/49.96	c #cpu_time = 2.472s
49.88/49.96	c #wall_clock_time = 2.478s
49.88/49.96	c #decision = 4396
49.88/49.96	c #random_decision = 5
49.88/49.96	c #conflict = 1849
49.88/49.96	c #restart = 5
49.88/49.96	o 28
49.88/49.96	c BCD2: hardening fixes 858 literals
49.88/49.96	c BCD2: updating upper bound: 60 -> 27
49.88/49.97	c BCD2: 1 <= obj <= 27
49.88/49.97	c BCD2: #cores=1, #unrelaxed=47, #relaxed=716, #hardened=1944
49.88/49.97	c BCD2: #sat=3 #unsat=2 bias=2/5
49.88/49.97	c Solving starts ...
49.88/49.97	c ============================[ Search Statistics ]============================
49.88/49.97	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
49.88/49.97	c       |         |          |          |    Limit     GC | Var      | Constra 
49.88/49.97	c =============================================================================
49.88/49.97	c  0.0s |       0 |        0 |        0 |     6506      0 |     1944 |        2
50.09/50.16	c  0.2s |       1 |      183 |      100 |     6506      0 |     1944 |        2
50.29/50.38	c  0.4s |       2 |      447 |      250 |     6506      0 |     1944 |        2
50.59/50.63	c  0.7s |       3 |      829 |      475 |     6506      0 |     1944 |        2
50.89/50.92	c  0.9s |       4 |     1389 |      813 |     6506      0 |     1944 |        2
51.19/51.29	c  1.3s |       5 |     2343 |     1320 |     6506      0 |     1944 |        2
51.69/51.74	c  1.8s |       5 |     2818 |     1576 |     6506      1 |     1944 |        2
51.69/51.74	c #cpu_time = 1.759s
51.69/51.74	c #wall_clock_time = 1.763s
51.69/51.74	c #decision = 2818
51.69/51.74	c #random_decision = 3
51.69/51.74	c #conflict = 1576
51.69/51.74	c #restart = 5
51.69/51.74	o 8
51.69/51.74	c BCD2: hardening fixes 580 literals
51.69/51.74	c BCD2: updating upper bound: 27 -> 7
51.69/51.74	c BCD2: 1 <= obj <= 7
51.69/51.74	c BCD2: #cores=1, #unrelaxed=14, #relaxed=169, #hardened=2524
51.69/51.74	c BCD2: #sat=4 #unsat=2 bias=2/6
51.69/51.74	c Solving starts ...
51.69/51.74	c ============================[ Search Statistics ]============================
51.69/51.74	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
51.69/51.74	c       |         |          |          |    Limit     GC | Var      | Constra 
51.69/51.74	c =============================================================================
51.69/51.74	c  0.0s |       0 |        0 |        0 |     6506      0 |     2524 |        3
51.79/51.82	c  0.1s |       1 |      190 |      100 |     6506      0 |     2524 |        4
51.89/51.92	c  0.2s |       2 |      393 |      250 |     6506      0 |     2524 |        4
51.99/52.02	c  0.3s |       3 |      782 |      475 |     6506      0 |     2524 |        4
52.18/52.21	c  0.5s |       4 |     1404 |      813 |     6506      0 |     2524 |        4
52.48/52.51	c  0.8s |       5 |     2201 |     1320 |     6506      0 |     2524 |        4
52.89/52.95	c  1.2s |       6 |     3364 |     2081 |     6506      0 |     2524 |        4
53.48/53.50	c  1.8s |       7 |     5201 |     3223 |     6506      0 |     2524 |        4
54.38/54.41	c  2.7s |       7 |     7918 |     4901 |     6506      0 |     2524 |        4
54.38/54.41	c #cpu_time = 2.660s
54.38/54.41	c #wall_clock_time = 2.667s
54.38/54.41	c #decision = 7918
54.38/54.41	c #random_decision = 10
54.38/54.41	c #conflict = 4901
54.38/54.41	c #restart = 7
54.38/54.41	o 3
54.38/54.41	c BCD2: hardening fixes 123 literals
54.38/54.41	c BCD2: updating upper bound: 7 -> 2
54.38/54.41	c BCD2: 1 <= obj <= 2
54.38/54.41	c BCD2: #cores=1, #unrelaxed=2, #relaxed=58, #hardened=2647
54.38/54.41	c BCD2: #sat=5 #unsat=2 bias=2/7
54.38/54.41	c Solving starts ...
54.38/54.41	c ============================[ Search Statistics ]============================
54.38/54.41	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
54.38/54.41	c       |         |          |          |    Limit     GC | Var      | Constra 
54.38/54.41	c =============================================================================
54.38/54.41	c  0.0s |       0 |        0 |        0 |     6506      0 |     2647 |        5
54.48/54.55	c  0.1s |       1 |      216 |      100 |     6506      1 |     2647 |        5
54.58/54.64	c  0.2s |       2 |      410 |      250 |     6506      1 |     2647 |        5
54.68/54.76	c  0.4s |       3 |      695 |      475 |     6506      1 |     2647 |        5
54.88/54.92	c  0.5s |       4 |     1194 |      813 |     6506      1 |     2647 |        5
55.08/55.13	c  0.7s |       5 |     1913 |     1320 |     6506      1 |     2647 |        5
55.38/55.49	c  1.1s |       6 |     3058 |     2081 |     6506      1 |     2647 |        5
55.88/55.95	c  1.5s |       7 |     4900 |     3223 |     6506      1 |     2647 |        5
56.58/56.65	c  2.2s |       7 |     6793 |     4518 |     6506      1 |     2647 |        5
56.58/56.65	c #cpu_time = 2.234s
56.58/56.65	c #wall_clock_time = 2.240s
56.58/56.65	c #decision = 6793
56.58/56.65	c #random_decision = 15
56.58/56.65	c #conflict = 4518
56.58/56.65	c #restart = 7
56.58/56.65	o 1
56.58/56.65	s OPTIMUM FOUND
56.58/56.65	v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10
56.58/56.65	v -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20
56.58/56.65	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
56.58/56.65	v -x31 -x32 x33 -x34 -x35 x36 -x37 -x38 -x39 -x40
56.58/56.65	v -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50
56.58/56.65	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
56.58/56.65	v -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
56.58/56.65	v -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80
56.58/56.65	v -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 x90
56.58/56.65	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
56.58/56.65	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 -x109 -x110
56.58/56.65	v -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120
56.58/56.65	v -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
56.58/56.65	v -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140
56.58/56.65	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
56.58/56.65	v x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160
56.58/56.65	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
56.58/56.65	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180
56.58/56.65	v -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
56.58/56.65	v -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200
56.58/56.65	v -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
56.58/56.65	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220
56.58/56.65	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230
56.58/56.65	v -x231
56.58/56.65	c total CPU time = 56.505s
56.58/56.65	c total wall clock time = 56.653s

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

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.11 2.08 3/179 12728
/proc/meminfo: memFree=30642884/32872528 swapFree=240572/273276
[pid=12728] ppid=12725 vsize=680380 CPUtime=0 cores=1,3,5,7
/proc/12728/stat : 12728 (toysat) R 12725 12728 7549 0 -1 4202496 2524 0 0 0 0 0 0 0 20 0 4 0 11549322 696709120 3397 33554432000 4194304 16246674 140734362540944 140734362540368 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12728/statm: 170607 3407 441 2943 0 167501 0
[pid=12728/tid=12729] ppid=12725 vsize=697788 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12729/stat : 12729 (toysat) S 12725 12728 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11549322 714534912 3466 33554432000 4194304 16246674 140734362540944 140203253542128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12728/tid=12730] ppid=12725 vsize=701884 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12730/stat : 12730 (toysat) S 12725 12728 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11549322 718729216 3482 33554432000 4194304 16246674 140734362540944 140203167558896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12728/tid=12731] ppid=12725 vsize=705980 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12731/stat : 12731 (toysat) S 12725 12728 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11549322 722923520 3500 33554432000 4194304 16246674 140734362540944 140203157085360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100228 s]
/proc/loadavg: 2.01 2.11 2.08 3/179 12728
/proc/meminfo: memFree=30642884/32872528 swapFree=240572/273276
[pid=12728] ppid=12725 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/12728/stat : 12728 (toysat) R 12725 12728 7549 0 -1 4202496 24970 0 0 0 6 3 0 0 20 0 4 0 11549322 1247350784 25835 33554432000 4194304 16246674 140734362540944 140734362540368 12500869 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12728/statm: 304529 25842 614 2943 0 301423 0
[pid=12728/tid=12729] ppid=12725 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12729/stat : 12729 (toysat) S 12725 12728 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11549322 1247350784 25842 33554432000 4194304 16246674 140734362540944 140203253542128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12728/tid=12730] ppid=12725 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12730/stat : 12730 (toysat) S 12725 12728 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11549322 1247350784 25848 33554432000 4194304 16246674 140734362540944 140203167558896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12728/tid=12731] ppid=12725 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12731/stat : 12731 (toysat) S 12725 12728 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11549322 1247350784 25849 33554432000 4194304 16246674 140734362540944 140203157085360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200543 s]
/proc/loadavg: 2.01 2.11 2.08 3/179 12728
/proc/meminfo: memFree=30642884/32872528 swapFree=240572/273276
[pid=12728] ppid=12725 vsize=1223236 CPUtime=0.19 cores=1,3,5,7
/proc/12728/stat : 12728 (toysat) R 12725 12728 7549 0 -1 4202496 35803 0 0 0 14 5 0 0 20 0 4 0 11549322 1252593664 36622 33554432000 4194304 16246674 140734362540944 140734362540256 5927744 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12728/statm: 305809 36622 861 2943 0 302703 0
[pid=12728/tid=12729] ppid=12725 vsize=1223236 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12729/stat : 12729 (toysat) S 12725 12728 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11549322 1252593664 36622 33554432000 4194304 16246674 140734362540944 140203253542128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12728/tid=12730] ppid=12725 vsize=1223236 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12730/stat : 12730 (toysat) S 12725 12728 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11549322 1252593664 36622 33554432000 4194304 16246674 140734362540944 140203167558896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12728/tid=12731] ppid=12725 vsize=1223236 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12731/stat : 12731 (toysat) S 12725 12728 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11549322 1252593664 36622 33554432000 4194304 16246674 140734362540944 140203157085360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1223236

[startup+0.300499 s]
/proc/loadavg: 2.01 2.11 2.08 3/179 12728
/proc/meminfo: memFree=30642884/32872528 swapFree=240572/273276
[pid=12728] ppid=12725 vsize=1307204 CPUtime=0.29 cores=1,3,5,7
/proc/12728/stat : 12728 (toysat) R 12725 12728 7549 0 -1 4202496 48161 0 0 0 23 6 0 0 20 0 4 0 11549322 1338576896 48981 33554432000 4194304 16246674 140734362540944 140734362540256 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12728/statm: 326801 48990 918 2943 0 323695 0
[pid=12728/tid=12729] ppid=12725 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12729/stat : 12729 (toysat) S 12725 12728 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11549322 1338576896 48994 33554432000 4194304 16246674 140734362540944 140203253542128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12728/tid=12730] ppid=12725 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12730/stat : 12730 (toysat) S 12725 12728 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11549322 1338576896 48999 33554432000 4194304 16246674 140734362540944 140203167558896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12728/tid=12731] ppid=12725 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12731/stat : 12731 (toysat) S 12725 12728 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11549322 1338576896 49002 33554432000 4194304 16246674 140734362540944 140203157085360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1307204

[startup+0.700417 s]
/proc/loadavg: 2.01 2.11 2.08 3/179 12728
/proc/meminfo: memFree=30642884/32872528 swapFree=240572/273276
[pid=12728] ppid=12725 vsize=1308228 CPUtime=0.69 cores=1,3,5,7
/proc/12728/stat : 12728 (toysat) R 12725 12728 7549 0 -1 4202496 92511 0 0 0 55 14 0 0 20 0 4 0 11549322 1339625472 93330 33554432000 4194304 16246674 140734362540944 140734362522816 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12728/statm: 327057 93330 920 2943 0 323951 0
[pid=12728/tid=12729] ppid=12725 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12729/stat : 12729 (toysat) S 12725 12728 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11549322 1339625472 93330 33554432000 4194304 16246674 140734362540944 140203253542128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12728/tid=12730] ppid=12725 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12730/stat : 12730 (toysat) S 12725 12728 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11549322 1339625472 93330 33554432000 4194304 16246674 140734362540944 140203167558896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12728/tid=12731] ppid=12725 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12731/stat : 12731 (toysat) S 12725 12728 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11549322 1339625472 93330 33554432000 4194304 16246674 140734362540944 140203157085360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1308228

[startup+1.50042 s]
/proc/loadavg: 2.01 2.11 2.08 3/183 12732
/proc/meminfo: memFree=30271220/32872528 swapFree=240572/273276
[pid=12728] ppid=12725 vsize=1308228 CPUtime=1.49 cores=1,3,5,7
/proc/12728/stat : 12728 (toysat) R 12725 12728 7549 0 -1 4202496 92712 0 0 0 135 14 0 0 20 0 4 0 11549322 1339625472 93531 33554432000 4194304 16246674 140734362540944 140734362540120 12477752 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12728/statm: 327057 93531 923 2943 0 323951 0
[pid=12728/tid=12729] ppid=12725 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12729/stat : 12729 (toysat) S 12725 12728 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11549322 1339625472 93531 33554432000 4194304 16246674 140734362540944 140203253542128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12728/tid=12730] ppid=12725 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12730/stat : 12730 (toysat) S 12725 12728 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11549322 1339625472 93531 33554432000 4194304 16246674 140734362540944 140203167558896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12728/tid=12731] ppid=12725 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12731/stat : 12731 (toysat) S 12725 12728 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11549322 1339625472 93531 33554432000 4194304 16246674 140734362540944 140203157085360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1308228

[startup+3.10043 s]
/proc/loadavg: 2.01 2.11 2.08 4/183 12732
/proc/meminfo: memFree=30269856/32872528 swapFree=240572/273276
[pid=12728] ppid=12725 vsize=1308228 CPUtime=3.09 cores=1,3,5,7
/proc/12728/stat : 12728 (toysat) R 12725 12728 7549 0 -1 4202496 92720 0 0 0 295 14 0 0 20 0 4 0 11549322 1339625472 93539 33554432000 4194304 16246674 140734362540944 140734362523944 13927175 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12728/statm: 327057 93539 931 2943 0 323951 0
[pid=12728/tid=12729] ppid=12725 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12729/stat : 12729 (toysat) S 12725 12728 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11549322 1339625472 93539 33554432000 4194304 16246674 140734362540944 140203253542128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12728/tid=12730] ppid=12725 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12730/stat : 12730 (toysat) S 12725 12728 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11549322 1339625472 93539 33554432000 4194304 16246674 140734362540944 140203167558896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12728/tid=12731] ppid=12725 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12731/stat : 12731 (toysat) S 12725 12728 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11549322 1339625472 93539 33554432000 4194304 16246674 140734362540944 140203157085360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228

[startup+6.30036 s]
/proc/loadavg: 2.01 2.11 2.08 3/183 12732
/proc/meminfo: memFree=30268352/32872528 swapFree=240572/273276
[pid=12728] ppid=12725 vsize=1309252 CPUtime=6.29 cores=1,3,5,7
/proc/12728/stat : 12728 (toysat) R 12725 12728 7549 0 -1 4202496 92891 0 0 0 615 14 0 0 20 0 4 0 11549322 1340674048 93710 33554432000 4194304 16246674 140734362540944 140734362540120 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12728/statm: 327313 93710 931 2943 0 324207 0
[pid=12728/tid=12729] ppid=12725 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12729/stat : 12729 (toysat) S 12725 12728 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11549322 1340674048 93710 33554432000 4194304 16246674 140734362540944 140203253542128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12728/tid=12730] ppid=12725 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12730/stat : 12730 (toysat) S 12725 12728 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11549322 1340674048 93710 33554432000 4194304 16246674 140734362540944 140203167558896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12728/tid=12731] ppid=12725 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12731/stat : 12731 (toysat) S 12725 12728 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11549322 1340674048 93710 33554432000 4194304 16246674 140734362540944 140203157085360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1309252

[startup+12.7004 s]
/proc/loadavg: 2.01 2.10 2.08 3/183 12732
/proc/meminfo: memFree=30228904/32872528 swapFree=240572/273276
[pid=12728] ppid=12725 vsize=1310276 CPUtime=12.69 cores=1,3,5,7
/proc/12728/stat : 12728 (toysat) R 12725 12728 7549 0 -1 4202496 102651 0 0 0 1252 17 0 0 20 0 4 0 11549322 1341722624 103470 33554432000 4194304 16246674 140734362540944 140734362540120 5722842 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12728/statm: 327569 103470 931 2943 0 324463 0
[pid=12728/tid=12729] ppid=12725 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12729/stat : 12729 (toysat) S 12725 12728 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11549322 1341722624 103470 33554432000 4194304 16246674 140734362540944 140203253542128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12728/tid=12730] ppid=12725 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12730/stat : 12730 (toysat) S 12725 12728 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11549322 1341722624 103470 33554432000 4194304 16246674 140734362540944 140203167558896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12728/tid=12731] ppid=12725 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12731/stat : 12731 (toysat) S 12725 12728 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11549322 1341722624 103470 33554432000 4194304 16246674 140734362540944 140203157085360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1310276

[startup+25.5075 s]
/proc/loadavg: 2.00 2.10 2.08 3/183 12732
/proc/meminfo: memFree=30218240/32872528 swapFree=240572/273276
[pid=12728] ppid=12725 vsize=1314372 CPUtime=25.49 cores=1,3,5,7
/proc/12728/stat : 12728 (toysat) R 12725 12728 7549 0 -1 4202496 103675 0 0 0 2530 19 0 0 20 0 4 0 11549322 1345916928 104494 33554432000 4194304 16246674 140734362540944 140734362540120 6020678 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12728/statm: 328593 104494 931 2943 0 325487 0
[pid=12728/tid=12729] ppid=12725 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12729/stat : 12729 (toysat) S 12725 12728 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11549322 1345916928 104494 33554432000 4194304 16246674 140734362540944 140203253542128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12728/tid=12730] ppid=12725 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12730/stat : 12730 (toysat) S 12725 12728 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11549322 1345916928 104494 33554432000 4194304 16246674 140734362540944 140203167558896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12728/tid=12731] ppid=12725 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12731/stat : 12731 (toysat) S 12725 12728 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11549322 1345916928 104494 33554432000 4194304 16246674 140734362540944 140203157085360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1314372

[startup+51.1004 s]
/proc/loadavg: 2.08 2.11 2.08 3/183 12782
/proc/meminfo: memFree=30941812/32872528 swapFree=240572/273276
[pid=12728] ppid=12725 vsize=1318468 CPUtime=51.09 cores=1,3,5,7
/proc/12728/stat : 12728 (toysat) R 12725 12728 7549 0 -1 4202496 115332 0 0 0 5085 24 0 0 20 0 4 0 11549322 1350111232 116151 33554432000 4194304 16246674 140734362540944 140734362540120 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12728/statm: 329617 116151 941 2943 0 326511 0
[pid=12728/tid=12729] ppid=12725 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12729/stat : 12729 (toysat) S 12725 12728 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11549322 1350111232 116151 33554432000 4194304 16246674 140734362540944 140203253542128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12728/tid=12730] ppid=12725 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12730/stat : 12730 (toysat) S 12725 12728 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11549322 1350111232 116151 33554432000 4194304 16246674 140734362540944 140203167558896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12728/tid=12731] ppid=12725 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12731/stat : 12731 (toysat) S 12725 12728 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11549322 1350111232 116151 33554432000 4194304 16246674 140734362540944 140203157085360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1318468

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

[startup+51.3004 s]
/proc/loadavg: 2.08 2.11 2.08 3/183 12782
/proc/meminfo: memFree=30941812/32872528 swapFree=240572/273276
[pid=12728] ppid=12725 vsize=1318468 CPUtime=51.29 cores=1,3,5,7
/proc/12728/stat : 12728 (toysat) R 12725 12728 7549 0 -1 4202496 115332 0 0 0 5105 24 0 0 20 0 4 0 11549322 1350111232 116151 33554432000 4194304 16246674 140734362540944 140734362540120 5531040 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12728/statm: 329617 116151 941 2943 0 326511 0
[pid=12728/tid=12729] ppid=12725 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12729/stat : 12729 (toysat) S 12725 12728 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11549322 1350111232 116151 33554432000 4194304 16246674 140734362540944 140203253542128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12728/tid=12730] ppid=12725 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12730/stat : 12730 (toysat) S 12725 12728 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11549322 1350111232 116151 33554432000 4194304 16246674 140734362540944 140203167558896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12728/tid=12731] ppid=12725 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12731/stat : 12731 (toysat) S 12725 12728 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11549322 1350111232 116151 33554432000 4194304 16246674 140734362540944 140203157085360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.29
Current children cumulated vsize (KiB) 1318468

[startup+54.5004 s]
/proc/loadavg: 2.08 2.11 2.08 3/183 12782
/proc/meminfo: memFree=29831896/32872528 swapFree=240572/273276
[pid=12728] ppid=12725 vsize=1318468 CPUtime=54.48 cores=1,3,5,7
/proc/12728/stat : 12728 (toysat) R 12725 12728 7549 0 -1 4202496 270833 0 0 0 5405 43 0 0 20 0 4 0 11549322 1350111232 271652 33554432000 4194304 16246674 140734362540944 140734362522816 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12728/statm: 329617 271652 941 2943 0 326511 0
[pid=12728/tid=12729] ppid=12725 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12729/stat : 12729 (toysat) S 12725 12728 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11549322 1350111232 271652 33554432000 4194304 16246674 140734362540944 140203253542128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12728/tid=12730] ppid=12725 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12730/stat : 12730 (toysat) S 12725 12728 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11549322 1350111232 271652 33554432000 4194304 16246674 140734362540944 140203167558896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12728/tid=12731] ppid=12725 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12731/stat : 12731 (toysat) S 12725 12728 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11549322 1350111232 271652 33554432000 4194304 16246674 140734362540944 140203157085360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 54.48
Current children cumulated vsize (KiB) 1318468

[startup+56.1004 s]
/proc/loadavg: 2.08 2.10 2.08 3/183 12782
/proc/meminfo: memFree=29565544/32872528 swapFree=240572/273276
[pid=12728] ppid=12725 vsize=1318468 CPUtime=56.08 cores=1,3,5,7
/proc/12728/stat : 12728 (toysat) R 12725 12728 7549 0 -1 4202496 270833 0 0 0 5565 43 0 0 20 0 4 0 11549322 1350111232 271652 33554432000 4194304 16246674 140734362540944 140734362523944 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12728/statm: 329617 271652 941 2943 0 326511 0
[pid=12728/tid=12729] ppid=12725 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12729/stat : 12729 (toysat) S 12725 12728 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11549322 1350111232 271652 33554432000 4194304 16246674 140734362540944 140203253542128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12728/tid=12730] ppid=12725 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12730/stat : 12730 (toysat) S 12725 12728 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11549322 1350111232 271652 33554432000 4194304 16246674 140734362540944 140203167558896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12728/tid=12731] ppid=12725 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12731/stat : 12731 (toysat) S 12725 12728 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11549322 1350111232 271652 33554432000 4194304 16246674 140734362540944 140203157085360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 56.08
Current children cumulated vsize (KiB) 1318468

[startup+56.5004 s]
/proc/loadavg: 2.08 2.10 2.08 3/183 12782
/proc/meminfo: memFree=29565420/32872528 swapFree=240572/273276
[pid=12728] ppid=12725 vsize=1318468 CPUtime=56.48 cores=1,3,5,7
/proc/12728/stat : 12728 (toysat) R 12725 12728 7549 0 -1 4202496 270833 0 0 0 5605 43 0 0 20 0 4 0 11549322 1350111232 271652 33554432000 4194304 16246674 140734362540944 140734362522816 5827838 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12728/statm: 329617 271652 941 2943 0 326511 0
[pid=12728/tid=12729] ppid=12725 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12729/stat : 12729 (toysat) S 12725 12728 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11549322 1350111232 271652 33554432000 4194304 16246674 140734362540944 140203253542128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12728/tid=12730] ppid=12725 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12730/stat : 12730 (toysat) S 12725 12728 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11549322 1350111232 271652 33554432000 4194304 16246674 140734362540944 140203167558896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12728/tid=12731] ppid=12725 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12731/stat : 12731 (toysat) S 12725 12728 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11549322 1350111232 271652 33554432000 4194304 16246674 140734362540944 140203157085360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 56.48
Current children cumulated vsize (KiB) 1318468

[startup+56.7004 s]
/proc/loadavg: 2.08 2.10 2.08 3/183 12782
/proc/meminfo: memFree=29565420/32872528 swapFree=240572/273276
[pid=12728] ppid=12725 vsize=0 CPUtime=56.68 cores=1,3,5,7
/proc/12728/stat : 12728 (toysat) R 12725 12728 7549 0 -1 4202500 270835 0 0 0 5620 48 0 0 20 0 1 0 11549322 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12728/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 56.68
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 56.7165
CPU time (s): 56.7074
CPU user time (s): 56.2075
CPU system time (s): 0.499924
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 1318468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 56.2075
system time used= 0.499924
maximum resident set size= 1086612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270835
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= 20
involuntary context switches= 63

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.133979 second user time and 0.232964 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-16 18:36:33
IDJOB=4093671
IDBENCH=79305
IDSOLVER=2553
FILE ID=node107/4093671-1466094993
RUNJOBID= node107-1466074715-9714
PBS_JOBID= 19904025
Free space on /tmp= 71696 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900669797--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-4093671-1466094993/watcher-4093671-1466094993 -o /tmp/evaluation-result-4093671-1466094993/solver-4093671-1466094993 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466074715-9714 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093671-1466094993.wbo

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

MD5SUM BENCH= ebbce1c4489027f4644c8b5f9031d297
RANDOM SEED=269669531

node107.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.953
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.90
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.953
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.953
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.56
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.953
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30643396 kB
Buffers:           49444 kB
Cached:           118056 kB
SwapCached:         2508 kB
Active:          1166568 kB
Inactive:          88744 kB
Active(anon):    1087624 kB
Inactive(anon):     2156 kB
Active(file):      78944 kB
Inactive(file):    86588 kB
Unevictable:      273276 kB
Mlocked:          240572 kB
SwapTotal:      67108856 kB
SwapFree:       67099244 kB
Dirty:             16348 kB
Writeback:             0 kB
AnonPages:       1359316 kB
Mapped:            10720 kB
Shmem:                 0 kB
Slab:             567828 kB
SReclaimable:      11580 kB
SUnreclaim:       556248 kB
KernelStack:        1520 kB
PageTables:         7100 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1500896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    104448 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= 71680 MiB
End job on node107 at 2016-06-16 18:37:30