Trace number 4109842

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 20.4669 20.4698

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900558106--soft-33-100-0.wbo
MD5SUMeba88192ede2bf17faa7af9ad7b0465e
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark20.4669
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 constraints1816
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 92461
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 92460
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 815
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-19T15:51:20+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-4109842-1466344280.wbo"]
0.00/0.01	c use --random-gen="3761656227 395638532 3398854249 2745429200 766776113 38039763 3604923395 185511708 25215936 2624201988 3884324291 3260080732 1586560313 4194408901 252386161 2072252790 3027889812 3679606701 1746908435 3407905098 4169200078 2126974305 2051815014 1505517443 2535747145 1890276203 3621410311 4263355669 2026380638 2094523417 3249295729 3437489058 3831425224 3809997798 591347377 2243705180 1827477356 2754957512 3858489316 2057454707 2249738715 873158094 1130687749 1659117271 410441851 2528123517 621047734 705801825 1438268718 1772891228 1937056469 1775241023 1039395839 3997465086 3046750674 4234839045 3011595153 827440910 408731948 354974213 2598648253 779856259 3401693166 768999150 981475337 1045052174 2589420924 3585584026 1960893880 2102474253 1081973964 2532260664 494468839 1187526890 1553393135 2552491675 1146535533 1737551758 1765857502 4185088522 1179800553 2060188601 2605964941 3374181433 1479092852 746031426 1886009551 3690223821 1363312139 874791434 2069861505 1586112817 676910133 419661777 1382227960 1684755527 3300000854 304865751 1944381114 4099482435 679990437 2295866767 19273656 4066518998 2760998145 3237200842 2300941760 184160652 3234838551 2931743803 3136746509 3315716760 1266739046 2049723860 1903913509 3292525134 3477207813 3700592076 533153664 2494235035 2150138437 1362698390 1471187317 3308090036 1982161597 1744072746 3091649449 4169936451 2859216742 3179195113 1555357187 284396308 1221729409 4150063930 643295910 4054516175 2555283420 2658361341 1392800954 2788437218 3565802741 1052307441 927210966 3438301436 393013791 1065911747 3452872898 1209325296 2553839784 330486869 3093105108 1139314757 3769082426 2037994633 1429095390 2660916668 1518357006 1407927361 2307359850 4145400842 1435394119 3708985011 632182957 1487748060 862497224 2005149730 2501411099 3142275063 1800218961 1689505596 247810533 2288030789 409408361 2749954233 4100511430 4163047519 2480009073 3059376253 3599123292 4266244837 4178942501 2846486520 1505485830 3140831738 2940271350 604990287 3427221421 3721500831 1840513740 713162257 694900693 2984487935 2218342796 3945935517 3150785120 86504303 3839730605 1568536094 3864166984 1809665275 3334879346 1896274683 1650451172 1314728487 3461962736 2616660630 2609113145 3795209102 2869774188 532364001 4219615615 3094919859 2992200089 926505399 1274302773 2008832496 3438212518 690400347 3922947275 1750625620 1940380021 2382954404 2059884036 2173658593 2023861426 391649239 514052658 1937017059 2676271076 2094108103 2026586031 1951691506 1907284844 3191593144 3032586702 4274451922 1001272212 4089286699 1833605766 2699888135 2668323127 1265548757 460783094 1176040401 3659989124 1374614332 1043635033 384562300 2861949867 1471566689 4030174282 1532041352 4116651411 3258353592 113701899 2379310749 255 362436" option to reproduce the execution
0.09/0.13	c #vars 231
0.09/0.13	c #constraints 2707
0.09/0.18	c BCD2: Hardening is enabled.
0.09/0.18	c BCD2: BiasedSearch is enabled.
0.09/0.18	c Solving starts ...
0.09/0.18	c ============================[ Search Statistics ]============================
0.09/0.18	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.18	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.18	c =============================================================================
0.09/0.18	c  0.0s |       0 |        0 |        0 |     1584      0 |        0 |        0
0.09/0.18	c  0.0s |       0 |     2080 |        3 |     1584      0 |        0 |        0
0.09/0.18	c #cpu_time = 0.006s
0.09/0.18	c #wall_clock_time = 0.006s
0.09/0.18	c #decision = 2080
0.09/0.18	c #random_decision = 10
0.09/0.18	c #conflict = 3
0.09/0.18	c #restart = 0
0.09/0.18	o 408
0.09/0.19	c BCD2: updating upper bound: 92460 -> 407
0.19/0.20	c BCD2: 0 <= obj <= 407
0.19/0.20	c BCD2: #cores=0, #unrelaxed=1816, #relaxed=0, #hardened=0
0.19/0.20	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.20	c Solving starts ...
0.19/0.20	c ============================[ Search Statistics ]============================
0.19/0.20	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.20	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.20	c =============================================================================
0.19/0.20	c  0.0s |       0 |        0 |        0 |     1584      0 |        0 |        0
0.19/0.23	c  0.0s |       1 |     2035 |      100 |     1743      0 |        0 |        0
0.19/0.28	c  0.1s |       2 |     4155 |      250 |     1918      0 |        0 |        0
0.29/0.36	c  0.2s |       3 |     6365 |      475 |     2110      0 |        0 |        0
0.39/0.45	c  0.3s |       4 |     8798 |      813 |     2321      0 |        0 |        0
0.49/0.59	c  0.4s |       5 |    11682 |     1320 |     2554      0 |        0 |        0
0.79/0.84	c  0.6s |       6 |    14863 |     2081 |     2810      0 |        0 |        0
1.29/1.35	c  1.2s |       7 |    18589 |     3223 |     3092      0 |        0 |        0
1.99/2.06	c  1.9s |       8 |    23310 |     4936 |     3402      1 |        0 |        0
3.79/3.82	c  3.6s |       9 |    29684 |     7506 |     3743      2 |        0 |        0
5.19/5.22	c  5.0s |       9 |    34322 |     9145 |     3743      2 |        0 |        0
5.19/5.22	c #cpu_time = 5.017s
5.19/5.22	c #wall_clock_time = 5.017s
5.19/5.22	c #decision = 34322
5.19/5.22	c #random_decision = 9
5.19/5.22	c #conflict = 9145
5.19/5.22	c #restart = 9
5.19/5.22	c BCD2: found a new core of size 1370: cost of the new core is >=1
5.19/5.22	c lower bound updated to 1
5.19/5.22	c BCD2: 1 <= obj <= 407
5.19/5.22	c BCD2: #cores=1, #unrelaxed=446, #relaxed=1370, #hardened=0
5.19/5.22	c BCD2: #sat=1 #unsat=2 bias=2/3
5.19/5.23	c Solving starts ...
5.19/5.23	c ============================[ Search Statistics ]============================
5.19/5.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
5.19/5.23	c       |         |          |          |    Limit     GC | Var      | Constra 
5.19/5.23	c =============================================================================
5.19/5.23	c  0.0s |       0 |        0 |        0 |     3743      0 |        0 |        0
5.29/5.35	c  0.1s |       0 |     1863 |        3 |     3743      1 |        0 |        0
5.29/5.35	c #cpu_time = 0.124s
5.29/5.35	c #wall_clock_time = 0.124s
5.29/5.35	c #decision = 1863
5.29/5.35	c #random_decision = 6
5.29/5.35	c #conflict = 3
5.29/5.35	c #restart = 0
5.29/5.35	o 81
5.29/5.36	c BCD2: hardening fixes 345 literals
5.29/5.36	c BCD2: updating upper bound: 407 -> 80
5.29/5.36	c BCD2: 1 <= obj <= 80
5.29/5.36	c BCD2: #cores=1, #unrelaxed=338, #relaxed=1133, #hardened=345
5.29/5.36	c BCD2: #sat=2 #unsat=2 bias=2/4
5.29/5.37	c Solving starts ...
5.29/5.37	c ============================[ Search Statistics ]============================
5.29/5.37	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
5.29/5.37	c       |         |          |          |    Limit     GC | Var      | Constra 
5.29/5.37	c =============================================================================
5.29/5.37	c  0.0s |       0 |        0 |        0 |     3743      0 |      345 |        1
5.39/5.45	c  0.1s |       1 |      902 |      100 |     3743      0 |      345 |        1
5.60/5.61	c  0.2s |       2 |     1577 |      250 |     3743      0 |      345 |        1
5.69/5.78	c  0.4s |       3 |     2281 |      475 |     3743      0 |      345 |        1
5.99/6.04	c  0.7s |       4 |     3185 |      813 |     3743      0 |      345 |        1
6.39/6.48	c  1.1s |       5 |     4494 |     1320 |     3743      0 |      345 |        1
7.19/7.22	c  1.8s |       6 |     6133 |     2081 |     3743      0 |      345 |        1
7.99/8.00	c  2.6s |       7 |     8286 |     3223 |     4118      1 |      345 |        1
9.19/9.26	c  3.9s |       8 |    11285 |     4936 |     4118      1 |      345 |        1
9.69/9.78	c  4.4s |       8 |    12765 |     5607 |     4118      2 |      345 |        1
9.69/9.78	c #cpu_time = 4.412s
9.69/9.78	c #wall_clock_time = 4.412s
9.69/9.78	c #decision = 12765
9.69/9.78	c #random_decision = 9
9.69/9.78	c #conflict = 5607
9.69/9.78	c #restart = 8
9.69/9.78	o 28
9.69/9.78	c BCD2: hardening fixes 1026 literals
9.69/9.78	c BCD2: updating upper bound: 80 -> 27
9.69/9.78	c BCD2: 1 <= obj <= 27
9.69/9.78	c BCD2: #cores=1, #unrelaxed=98, #relaxed=347, #hardened=1371
9.69/9.78	c BCD2: #sat=3 #unsat=2 bias=2/5
9.69/9.78	c Solving starts ...
9.69/9.78	c ============================[ Search Statistics ]============================
9.69/9.78	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
9.69/9.78	c       |         |          |          |    Limit     GC | Var      | Constra 
9.69/9.78	c =============================================================================
9.69/9.78	c  0.0s |       0 |        0 |        0 |     4118      0 |     1371 |        2
9.79/9.84	c  0.1s |       1 |      265 |      100 |     4118      0 |     1371 |        2
9.90/9.91	c  0.1s |       2 |      622 |      250 |     4118      0 |     1371 |        2
10.00/10.04	c  0.3s |       3 |     1062 |      475 |     4118      0 |     1371 |        2
10.19/10.20	c  0.4s |       4 |     1719 |      813 |     4118      0 |     1371 |        2
10.29/10.38	c  0.6s |       5 |     2857 |     1320 |     4118      0 |     1371 |        2
10.59/10.69	c  0.9s |       6 |     4373 |     2081 |     4118      0 |     1371 |        2
11.10/11.19	c  1.4s |       7 |     6391 |     3223 |     4530      1 |     1371 |        2
11.79/11.85	c  2.1s |       8 |     9434 |     4936 |     4530      1 |     1371 |        2
12.89/12.91	c  3.1s |       9 |    13957 |     7506 |     4530      2 |     1371 |        2
12.89/12.96	c  3.2s |       9 |    14211 |     7597 |     4530      2 |     1371 |        2
12.89/12.96	c #cpu_time = 3.178s
12.89/12.96	c #wall_clock_time = 3.178s
12.89/12.96	c #decision = 14211
12.89/12.96	c #random_decision = 19
12.89/12.96	c #conflict = 7597
12.89/12.96	c #restart = 9
12.89/12.96	o 17
12.89/12.96	c BCD2: hardening fixes 186 literals
12.89/12.96	c BCD2: updating upper bound: 27 -> 16
12.89/12.97	c BCD2: 1 <= obj <= 16
12.89/12.97	c BCD2: #cores=1, #unrelaxed=58, #relaxed=201, #hardened=1557
12.89/12.97	c BCD2: #sat=4 #unsat=2 bias=2/6
12.89/12.97	c Solving starts ...
12.89/12.97	c ============================[ Search Statistics ]============================
12.89/12.97	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
12.89/12.97	c       |         |          |          |    Limit     GC | Var      | Constra 
12.89/12.97	c =============================================================================
12.89/12.97	c  0.0s |       0 |        0 |        0 |     4530      0 |     1557 |        3
12.99/13.02	c  0.1s |       1 |      250 |      100 |     4530      0 |     1557 |        3
13.09/13.10	c  0.1s |       2 |      532 |      250 |     4530      0 |     1557 |        3
13.20/13.21	c  0.2s |       3 |      945 |      475 |     4530      0 |     1557 |        3
13.30/13.37	c  0.4s |       4 |     1526 |      813 |     4530      0 |     1557 |        3
13.59/13.60	c  0.6s |       5 |     2635 |     1320 |     4530      0 |     1557 |        3
13.99/14.01	c  1.0s |       6 |     3924 |     2081 |     4530      1 |     1557 |        3
14.49/14.54	c  1.6s |       7 |     5860 |     3223 |     4530      1 |     1557 |        3
15.19/15.28	c  2.3s |       8 |     8358 |     4936 |     4983      1 |     1557 |        3
15.79/15.89	c  2.9s |       8 |    10250 |     6164 |     4983      2 |     1557 |        3
15.79/15.89	c #cpu_time = 2.925s
15.79/15.89	c #wall_clock_time = 2.925s
15.79/15.89	c #decision = 10250
15.79/15.89	c #random_decision = 19
15.79/15.89	c #conflict = 6164
15.79/15.89	c #restart = 8
15.79/15.89	o 4
15.79/15.89	c BCD2: hardening fixes 216 literals
15.79/15.89	c BCD2: updating upper bound: 16 -> 3
15.79/15.89	c BCD2: 1 <= obj <= 3
15.79/15.89	c BCD2: #cores=1, #unrelaxed=6, #relaxed=37, #hardened=1773
15.79/15.89	c BCD2: #sat=5 #unsat=2 bias=2/7
15.79/15.89	c Solving starts ...
15.79/15.89	c ============================[ Search Statistics ]============================
15.79/15.89	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
15.79/15.89	c       |         |          |          |    Limit     GC | Var      | Constra 
15.79/15.89	c =============================================================================
15.79/15.89	c  0.0s |       0 |        0 |        0 |     4983      0 |     1773 |        4
15.89/15.95	c  0.1s |       1 |      179 |      100 |     4983      0 |     1773 |        5
15.99/16.04	c  0.1s |       2 |      402 |      250 |     4983      0 |     1773 |        5
16.09/16.14	c  0.2s |       3 |      728 |      475 |     4983      0 |     1773 |        5
16.19/16.29	c  0.4s |       4 |     1281 |      813 |     4983      0 |     1773 |        5
16.39/16.46	c  0.6s |       5 |     2154 |     1320 |     4983      0 |     1773 |        5
16.69/16.74	c  0.8s |       6 |     3554 |     2081 |     4983      0 |     1773 |        5
17.09/17.16	c  1.3s |       7 |     5439 |     3223 |     4983      1 |     1773 |        5
17.49/17.50	c  1.6s |       7 |     7259 |     4340 |     4983      1 |     1773 |        5
17.49/17.50	c #cpu_time = 1.610s
17.49/17.50	c #wall_clock_time = 1.610s
17.49/17.50	c #decision = 7259
17.49/17.50	c #random_decision = 8
17.49/17.50	c #conflict = 4340
17.49/17.50	c #restart = 7
17.49/17.50	c BCD2: relaxing 5 and merging with 1 cores into a new core of size 1375: cost of the new core is >=2
17.49/17.50	c lower bound updated to 2
17.49/17.51	c BCD2: hardening fixes 1 literals
17.49/17.51	c BCD2: 2 <= obj <= 3
17.49/17.51	c BCD2: #cores=1, #unrelaxed=0, #relaxed=42, #hardened=1774
17.49/17.51	c BCD2: #sat=5 #unsat=3 bias=3/8
17.49/17.51	c Solving starts ...
17.49/17.51	c ============================[ Search Statistics ]============================
17.49/17.51	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
17.49/17.51	c       |         |          |          |    Limit     GC | Var      | Constra 
17.49/17.51	c =============================================================================
17.49/17.51	c  0.0s |       0 |        0 |        0 |     4983      0 |     1779 |        5
17.49/17.59	c  0.1s |       1 |      166 |      100 |     4983      0 |     1779 |       13
17.59/17.67	c  0.2s |       2 |      483 |      250 |     4983      0 |     1779 |       13
17.69/17.73	c  0.2s |       3 |      855 |      475 |     4983      0 |     1779 |       13
17.79/17.85	c  0.3s |       4 |     1466 |      813 |     4983      0 |     1779 |       13
17.99/18.04	c  0.5s |       5 |     2214 |     1320 |     4983      0 |     1779 |       13
18.29/18.36	c  0.9s |       6 |     3365 |     2081 |     4983      0 |     1779 |       13
18.69/18.77	c  1.3s |       7 |     5231 |     3223 |     4983      0 |     1779 |       13
19.29/19.34	c  1.8s |       8 |     8038 |     4936 |     4983      1 |     1779 |       13
20.28/20.30	c  2.8s |       9 |    12205 |     7506 |     5482      2 |     1779 |       13
20.38/20.40	c  2.9s |       9 |    12507 |     7735 |     5482      2 |     1780 |       14
20.38/20.40	c #cpu_time = 2.897s
20.38/20.40	c #wall_clock_time = 2.896s
20.38/20.40	c #decision = 12507
20.38/20.40	c #random_decision = 35
20.38/20.40	c #conflict = 7735
20.38/20.40	c #restart = 9
20.38/20.40	c BCD2: updating lower bound of a core
20.38/20.40	c lower bound updated to 4
20.38/20.40	s OPTIMUM FOUND
20.38/20.40	v -x1 -x2 -x3 x4 -x5 -x6 x7 -x8 -x9 -x10
20.38/20.40	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
20.38/20.40	v -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
20.38/20.40	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40
20.38/20.40	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50
20.38/20.40	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
20.38/20.40	v -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 x69 -x70
20.38/20.40	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
20.38/20.40	v -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
20.38/20.40	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100
20.38/20.40	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110
20.38/20.40	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120
20.38/20.40	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
20.38/20.40	v -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140
20.38/20.40	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 -x150
20.38/20.40	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160
20.38/20.40	v -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170
20.38/20.40	v -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180
20.38/20.40	v -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
20.38/20.40	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
20.38/20.40	v x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
20.38/20.40	v -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220
20.38/20.40	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
20.38/20.40	v x231
20.38/20.40	c total CPU time = 20.408s
20.38/20.40	c total wall clock time = 20.407s

Verifier Data 

OK	4

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

pid=5486
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.22 2.13 1.94 3/179 5489
/proc/meminfo: memFree=29923696/32872528 swapFree=163656/177964
[pid=5489] ppid=5486 vsize=712124 CPUtime=0 cores=0,2,4,6
/proc/5489/stat : 5489 (toysat) R 5486 5489 4845 0 -1 4202496 2654 0 0 0 0 0 0 0 20 0 4 0 36477908 729214976 3015 33554432000 4194304 16246674 140734461271152 140734461270576 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5489/statm: 178799 3023 441 2943 0 175693 0
[pid=5489/tid=5490] ppid=5486 vsize=729532 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5490/stat : 5490 (toysat) S 5486 5489 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36477909 747040768 3081 33554432000 4194304 16246674 140734461271152 140702331677936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5489/tid=5491] ppid=5486 vsize=734652 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5491/stat : 5491 (toysat) S 5486 5489 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477909 752283648 3100 33554432000 4194304 16246674 140734461271152 140702321188080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5489/tid=5492] ppid=5486 vsize=738748 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5492/stat : 5492 (toysat) S 5486 5489 4845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36477909 756477952 3117 33554432000 4194304 16246674 140734461271152 140702310714544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100127 s]
/proc/loadavg: 2.22 2.13 1.94 3/179 5489
/proc/meminfo: memFree=29923696/32872528 swapFree=163656/177964
[pid=5489] ppid=5486 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/5489/stat : 5489 (toysat) R 5486 5489 4845 0 -1 4202496 24786 0 0 0 6 3 0 0 20 0 4 0 36477908 1247350784 25140 33554432000 4194304 16246674 140734461271152 140734461270576 12500869 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5489/statm: 304529 25148 619 2943 0 301423 0
[pid=5489/tid=5490] ppid=5486 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5490/stat : 5490 (toysat) S 5486 5489 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36477909 1247350784 25155 33554432000 4194304 16246674 140734461271152 140702331677936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5489/tid=5491] ppid=5486 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5491/stat : 5491 (toysat) S 5486 5489 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477909 1247350784 25161 33554432000 4194304 16246674 140734461271152 140702321188080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5489/tid=5492] ppid=5486 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5492/stat : 5492 (toysat) S 5486 5489 4845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36477909 1247350784 25168 33554432000 4194304 16246674 140734461271152 140702310714544 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.2005 s]
/proc/loadavg: 2.22 2.13 1.94 3/179 5489
/proc/meminfo: memFree=29923696/32872528 swapFree=163656/177964
[pid=5489] ppid=5486 vsize=1258052 CPUtime=0.19 cores=0,2,4,6
/proc/5489/stat : 5489 (toysat) R 5486 5489 4845 0 -1 4202496 32056 0 0 0 15 4 0 0 20 0 4 0 36477908 1288245248 32365 33554432000 4194304 16246674 140734461271152 140734461270464 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5489/statm: 316049 32388 917 2943 0 312943 0
[pid=5489/tid=5490] ppid=5486 vsize=1267268 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5490/stat : 5490 (toysat) S 5486 5489 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36477909 1297682432 32401 33554432000 4194304 16246674 140734461271152 140702331677936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5489/tid=5491] ppid=5486 vsize=1271364 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5491/stat : 5491 (toysat) S 5486 5489 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477909 1301876736 32417 33554432000 4194304 16246674 140734461271152 140702321188080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5489/tid=5492] ppid=5486 vsize=1274436 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5492/stat : 5492 (toysat) S 5486 5489 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36477909 1305022464 32430 33554432000 4194304 16246674 140734461271152 140702310714544 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) 1258052

[startup+0.300462 s]
/proc/loadavg: 2.22 2.13 1.94 3/179 5489
/proc/meminfo: memFree=29923696/32872528 swapFree=163656/177964
[pid=5489] ppid=5486 vsize=1303108 CPUtime=0.29 cores=0,2,4,6
/proc/5489/stat : 5489 (toysat) R 5486 5489 4845 0 -1 4202496 52219 0 0 0 22 7 0 0 20 0 4 0 36477908 1334382592 52527 33554432000 4194304 16246674 140734461271152 140734461270464 6843259 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5489/statm: 325777 52527 921 2943 0 322671 0
[pid=5489/tid=5490] ppid=5486 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5490/stat : 5490 (toysat) S 5486 5489 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36477909 1334382592 52527 33554432000 4194304 16246674 140734461271152 140702331677936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5489/tid=5491] ppid=5486 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5491/stat : 5491 (toysat) S 5486 5489 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477909 1334382592 52527 33554432000 4194304 16246674 140734461271152 140702321188080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5489/tid=5492] ppid=5486 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5492/stat : 5492 (toysat) S 5486 5489 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36477909 1334382592 52527 33554432000 4194304 16246674 140734461271152 140702310714544 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) 1303108

[startup+0.700391 s]
/proc/loadavg: 2.22 2.13 1.94 3/179 5489
/proc/meminfo: memFree=29923696/32872528 swapFree=163656/177964
[pid=5489] ppid=5486 vsize=1307204 CPUtime=0.69 cores=0,2,4,6
/proc/5489/stat : 5489 (toysat) R 5486 5489 4845 0 -1 4202496 76813 0 0 0 58 11 0 0 20 0 4 0 36477908 1338576896 77121 33554432000 4194304 16246674 140734461271152 140734461253056 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5489/statm: 326801 77127 926 2943 0 323695 0
[pid=5489/tid=5490] ppid=5486 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5490/stat : 5490 (toysat) S 5486 5489 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36477909 1338576896 77131 33554432000 4194304 16246674 140734461271152 140702331677936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5489/tid=5491] ppid=5486 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5491/stat : 5491 (toysat) S 5486 5489 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477909 1338576896 77134 33554432000 4194304 16246674 140734461271152 140702321188080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5489/tid=5492] ppid=5486 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5492/stat : 5492 (toysat) S 5486 5489 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36477909 1338576896 77139 33554432000 4194304 16246674 140734461271152 140702310714544 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) 1307204

[startup+1.5004 s]
/proc/loadavg: 2.22 2.13 1.94 3/183 5493
/proc/meminfo: memFree=29198316/32872528 swapFree=163656/177964
[pid=5489] ppid=5486 vsize=1308228 CPUtime=1.49 cores=0,2,4,6
/proc/5489/stat : 5489 (toysat) R 5486 5489 4845 0 -1 4202496 223808 0 0 0 119 30 0 0 20 0 4 0 36477908 1339625472 224116 33554432000 4194304 16246674 140734461271152 140734461253056 5677392 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5489/statm: 327057 224116 929 2943 0 323951 0
[pid=5489/tid=5490] ppid=5486 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5490/stat : 5490 (toysat) S 5486 5489 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36477909 1339625472 224116 33554432000 4194304 16246674 140734461271152 140702331677936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5489/tid=5491] ppid=5486 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5491/stat : 5491 (toysat) S 5486 5489 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477909 1339625472 224116 33554432000 4194304 16246674 140734461271152 140702321188080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5489/tid=5492] ppid=5486 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5492/stat : 5492 (toysat) S 5486 5489 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36477909 1339625472 224116 33554432000 4194304 16246674 140734461271152 140702310714544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1308228

[startup+3.1004 s]
/proc/loadavg: 2.22 2.13 1.94 3/183 5493
/proc/meminfo: memFree=29027688/32872528 swapFree=163656/177964
[pid=5489] ppid=5486 vsize=1308228 CPUtime=3.09 cores=0,2,4,6
/proc/5489/stat : 5489 (toysat) R 5486 5489 4845 0 -1 4202496 223979 0 0 0 278 31 0 0 20 0 4 0 36477908 1339625472 224287 33554432000 4194304 16246674 140734461271152 140734461270328 5545840 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5489/statm: 327057 224287 929 2943 0 323951 0
[pid=5489/tid=5490] ppid=5486 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5490/stat : 5490 (toysat) S 5486 5489 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36477909 1339625472 224287 33554432000 4194304 16246674 140734461271152 140702331677936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5489/tid=5491] ppid=5486 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5491/stat : 5491 (toysat) S 5486 5489 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477909 1339625472 224287 33554432000 4194304 16246674 140734461271152 140702321188080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5489/tid=5492] ppid=5486 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5492/stat : 5492 (toysat) S 5486 5489 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36477909 1339625472 224287 33554432000 4194304 16246674 140734461271152 140702310714544 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) 1308228

[startup+6.3004 s]
/proc/loadavg: 2.20 2.13 1.94 3/183 5493
/proc/meminfo: memFree=29027220/32872528 swapFree=163656/177964
[pid=5489] ppid=5486 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/5489/stat : 5489 (toysat) R 5486 5489 4845 0 -1 4202496 223992 0 0 0 598 31 0 0 20 0 4 0 36477908 1339625472 224300 33554432000 4194304 16246674 140734461271152 140734461253056 13781202 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5489/statm: 327057 224300 942 2943 0 323951 0
[pid=5489/tid=5490] ppid=5486 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5490/stat : 5490 (toysat) S 5486 5489 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36477909 1339625472 224300 33554432000 4194304 16246674 140734461271152 140702331677936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5489/tid=5491] ppid=5486 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5491/stat : 5491 (toysat) S 5486 5489 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477909 1339625472 224300 33554432000 4194304 16246674 140734461271152 140702321188080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5489/tid=5492] ppid=5486 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5492/stat : 5492 (toysat) S 5486 5489 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36477909 1339625472 224300 33554432000 4194304 16246674 140734461271152 140702310714544 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) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.18 2.12 1.94 3/183 5493
/proc/meminfo: memFree=28847096/32872528 swapFree=163656/177964
[pid=5489] ppid=5486 vsize=1311300 CPUtime=12.69 cores=0,2,4,6
/proc/5489/stat : 5489 (toysat) R 5486 5489 4845 0 -1 4202496 269047 0 0 0 1233 36 0 0 20 0 4 0 36477908 1342771200 269355 33554432000 4194304 16246674 140734461271152 140734461253056 13808304 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5489/statm: 327825 269355 943 2943 0 324719 0
[pid=5489/tid=5490] ppid=5486 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5490/stat : 5490 (toysat) S 5486 5489 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36477909 1342771200 269355 33554432000 4194304 16246674 140734461271152 140702331677936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5489/tid=5491] ppid=5486 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5491/stat : 5491 (toysat) S 5486 5489 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477909 1342771200 269355 33554432000 4194304 16246674 140734461271152 140702321188080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5489/tid=5492] ppid=5486 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5492/stat : 5492 (toysat) S 5486 5489 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36477909 1342771200 269355 33554432000 4194304 16246674 140734461271152 140702310714544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1311300

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

[startup+12.8005 s]
/proc/loadavg: 2.18 2.12 1.94 3/183 5493
/proc/meminfo: memFree=28847096/32872528 swapFree=163656/177964
[pid=5489] ppid=5486 vsize=1311300 CPUtime=12.79 cores=0,2,4,6
/proc/5489/stat : 5489 (toysat) R 5486 5489 4845 0 -1 4202496 269047 0 0 0 1243 36 0 0 20 0 4 0 36477908 1342771200 269355 33554432000 4194304 16246674 140734461271152 140734461253056 5709701 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5489/statm: 327825 269355 943 2943 0 324719 0
[pid=5489/tid=5490] ppid=5486 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5490/stat : 5490 (toysat) S 5486 5489 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36477909 1342771200 269355 33554432000 4194304 16246674 140734461271152 140702331677936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5489/tid=5491] ppid=5486 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5491/stat : 5491 (toysat) S 5486 5489 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477909 1342771200 269355 33554432000 4194304 16246674 140734461271152 140702321188080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5489/tid=5492] ppid=5486 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5492/stat : 5492 (toysat) S 5486 5489 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36477909 1342771200 269355 33554432000 4194304 16246674 140734461271152 140702310714544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 1311300

[startup+16.0004 s]
/proc/loadavg: 2.17 2.12 1.94 3/183 5493
/proc/meminfo: memFree=28847344/32872528 swapFree=163656/177964
[pid=5489] ppid=5486 vsize=1311300 CPUtime=15.99 cores=0,2,4,6
/proc/5489/stat : 5489 (toysat) R 5486 5489 4845 0 -1 4202496 269047 0 0 0 1563 36 0 0 20 0 4 0 36477908 1342771200 269355 33554432000 4194304 16246674 140734461271152 140734461253056 5822938 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5489/statm: 327825 269355 943 2943 0 324719 0
[pid=5489/tid=5490] ppid=5486 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5490/stat : 5490 (toysat) S 5486 5489 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36477909 1342771200 269355 33554432000 4194304 16246674 140734461271152 140702331677936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5489/tid=5491] ppid=5486 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5491/stat : 5491 (toysat) S 5486 5489 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477909 1342771200 269355 33554432000 4194304 16246674 140734461271152 140702321188080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5489/tid=5492] ppid=5486 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5492/stat : 5492 (toysat) S 5486 5489 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36477909 1342771200 269355 33554432000 4194304 16246674 140734461271152 140702310714544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 15.99
Current children cumulated vsize (KiB) 1311300

[startup+17.6004 s]
/proc/loadavg: 2.17 2.12 1.94 3/183 5542
/proc/meminfo: memFree=29790212/32872528 swapFree=163656/177964
[pid=5489] ppid=5486 vsize=1311300 CPUtime=17.59 cores=0,2,4,6
/proc/5489/stat : 5489 (toysat) R 5486 5489 4845 0 -1 4202496 269047 0 0 0 1723 36 0 0 20 0 4 0 36477908 1342771200 269355 33554432000 4194304 16246674 140734461271152 140734461253056 5823037 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5489/statm: 327825 269355 943 2943 0 324719 0
[pid=5489/tid=5490] ppid=5486 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5490/stat : 5490 (toysat) S 5486 5489 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36477909 1342771200 269355 33554432000 4194304 16246674 140734461271152 140702331677936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5489/tid=5491] ppid=5486 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5491/stat : 5491 (toysat) S 5486 5489 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477909 1342771200 269355 33554432000 4194304 16246674 140734461271152 140702321188080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5489/tid=5492] ppid=5486 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5492/stat : 5492 (toysat) S 5486 5489 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36477909 1342771200 269355 33554432000 4194304 16246674 140734461271152 140702310714544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 17.59
Current children cumulated vsize (KiB) 1311300

[startup+19.2004 s]
/proc/loadavg: 2.17 2.12 1.94 3/183 5542
/proc/meminfo: memFree=29721996/32872528 swapFree=163656/177964
[pid=5489] ppid=5486 vsize=1312324 CPUtime=19.19 cores=0,2,4,6
/proc/5489/stat : 5489 (toysat) R 5486 5489 4845 0 -1 4202496 269253 0 0 0 1883 36 0 0 20 0 4 0 36477908 1343819776 269561 33554432000 4194304 16246674 140734461271152 140734461253056 5676609 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5489/statm: 328081 269561 943 2943 0 324975 0
[pid=5489/tid=5490] ppid=5486 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5490/stat : 5490 (toysat) S 5486 5489 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36477909 1343819776 269561 33554432000 4194304 16246674 140734461271152 140702331677936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5489/tid=5491] ppid=5486 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5491/stat : 5491 (toysat) S 5486 5489 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477909 1343819776 269561 33554432000 4194304 16246674 140734461271152 140702321188080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5489/tid=5492] ppid=5486 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5492/stat : 5492 (toysat) S 5486 5489 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36477909 1343819776 269561 33554432000 4194304 16246674 140734461271152 140702310714544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 19.19
Current children cumulated vsize (KiB) 1312324

[startup+20.0004 s]
/proc/loadavg: 2.16 2.12 1.94 3/183 5542
/proc/meminfo: memFree=29721048/32872528 swapFree=163656/177964
[pid=5489] ppid=5486 vsize=1312324 CPUtime=19.99 cores=0,2,4,6
/proc/5489/stat : 5489 (toysat) R 5486 5489 4845 0 -1 4202496 269253 0 0 0 1963 36 0 0 20 0 4 0 36477908 1343819776 269561 33554432000 4194304 16246674 140734461271152 140734461253056 5754966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5489/statm: 328081 269561 943 2943 0 324975 0
[pid=5489/tid=5490] ppid=5486 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5490/stat : 5490 (toysat) S 5486 5489 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36477909 1343819776 269561 33554432000 4194304 16246674 140734461271152 140702331677936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5489/tid=5491] ppid=5486 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5491/stat : 5491 (toysat) S 5486 5489 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477909 1343819776 269561 33554432000 4194304 16246674 140734461271152 140702321188080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5489/tid=5492] ppid=5486 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5492/stat : 5492 (toysat) S 5486 5489 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36477909 1343819776 269561 33554432000 4194304 16246674 140734461271152 140702310714544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (KiB) 1312324

[startup+20.4004 s]
/proc/loadavg: 2.16 2.12 1.94 3/183 5542
/proc/meminfo: memFree=29721048/32872528 swapFree=163656/177964
[pid=5489] ppid=5486 vsize=1312324 CPUtime=20.38 cores=0,2,4,6
/proc/5489/stat : 5489 (toysat) R 5486 5489 4845 0 -1 4202496 269303 0 0 0 2002 36 0 0 20 0 4 0 36477908 1343819776 269611 33554432000 4194304 16246674 140734461271152 140734461253056 13927320 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5489/statm: 328081 269611 943 2943 0 324975 0
[pid=5489/tid=5490] ppid=5486 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5490/stat : 5490 (toysat) S 5486 5489 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36477909 1343819776 269611 33554432000 4194304 16246674 140734461271152 140702331677936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5489/tid=5491] ppid=5486 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5491/stat : 5491 (toysat) S 5486 5489 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477909 1343819776 269611 33554432000 4194304 16246674 140734461271152 140702321188080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5489/tid=5492] ppid=5486 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/5489/task/5492/stat : 5492 (toysat) S 5486 5489 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36477909 1343819776 269611 33554432000 4194304 16246674 140734461271152 140702310714544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 20.38
Current children cumulated vsize (KiB) 1312324

Child status: 0
Real time (s): 20.4698
CPU time (s): 20.4669
CPU user time (s): 20.04
CPU system time (s): 0.426935
CPU usage (%): 99.9859
Max. virtual memory (cumulated for all children) (KiB): 1312324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.04
system time used= 0.426935
maximum resident set size= 1078448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269305
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= 18
involuntary context switches= 23

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045993 second user time and 0.088986 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-19 15:51:20
IDJOB=4109842
IDBENCH=78941
IDSOLVER=2553
FILE ID=node105/4109842-1466344280
RUNJOBID= node105-1466341824-4861
PBS_JOBID= 19922043
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900558106--soft-33-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-4109842-1466344280/watcher-4109842-1466344280 -o /tmp/evaluation-result-4109842-1466344280/solver-4109842-1466344280 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466341824-4861 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109842-1466344280.wbo

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

MD5SUM BENCH= eba88192ede2bf17faa7af9ad7b0465e
RANDOM SEED=2109493281

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29924572 kB
Buffers:          127564 kB
Cached:           346232 kB
SwapCached:         1696 kB
Active:          1702728 kB
Inactive:         325240 kB
Active(anon):    1553068 kB
Inactive(anon):     3096 kB
Active(file):     149660 kB
Inactive(file):   322144 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67099304 kB
Dirty:             16372 kB
Writeback:             0 kB
AnonPages:       1733856 kB
Mapped:            10732 kB
Shmem:                 0 kB
Slab:             609420 kB
SReclaimable:      53160 kB
SUnreclaim:       556260 kB
KernelStack:        1520 kB
PageTables:         7092 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1875484 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1175552 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node105 at 2016-06-19 15:51:40