Trace number 4106586

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02OPT3 1.77973 1.78216

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_50_25_1.opb
MD5SUM3c8b2b83a32c4c8e761f030b6789f3c6
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.111982
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables50
Total number of constraints50
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints50
Minimum length of a constraint26
Maximum length of a constraint38
Number of terms in the objective function 50
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 50
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)1498
Sum of products size (including duplicates)2996
Number of different products1498
Sum of products size2996

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-18T20:19:54+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4106586-1466273994.opb"]
0.00/0.01	c use --random-gen="585023848 1970619170 1585552209 1009831154 2319156520 1792690317 3703120968 564893389 3883639756 3909820837 1035846426 2905285147 683569980 1067076762 1828245305 1450979320 3443809879 267492051 104077379 4274209218 566069401 3736500976 3720175237 2691960158 2707029329 690798476 632092771 3257499563 851579386 396236844 2585396571 4278713260 1231775906 1967373684 85901232 3107764983 3560445569 100013468 2351827170 4275590486 1885715120 4027695240 1408204869 1906963160 1026711041 2724750122 3574454876 2674504010 3765164006 2870820855 3581385543 950711494 2649080411 2520149757 3347033824 3857451013 525147667 89114284 2705117766 3182243868 3093450572 2458128252 3190987306 2797309915 2231861031 1753876320 2696921094 4132546217 2609634763 353556496 1100420695 440454633 2160101459 3477410335 1621430093 1470124653 199401984 352761951 3244585827 2862030841 4213976932 1478556348 3649870249 3927611810 4043584835 2559454754 4132180044 3737867529 1104427490 3300895401 1175023275 702842954 44147746 2841135440 1977787268 252032746 2305665362 343507364 542966297 1438745965 172982172 3109005437 1058072202 2485742643 1161145309 758962989 2277176021 3882932254 1342448595 3950756942 1849852938 478312477 3916908594 555266290 3513963818 690738812 1835641105 4045150733 1826185831 2653090224 1829606348 3124940996 1380649930 1122478262 935284284 1439303362 439523864 2647553049 3229024322 1645002831 1895537971 1937819864 31003591 652393929 3861282233 466609770 2388742553 1380051499 572244235 2273346286 2625590216 2688852301 2288887288 2015986514 1669070258 3014172177 257890519 2840075515 439355755 1066401473 3260989217 4272492930 1826979388 731683768 2824845901 3892418476 2763246911 126135088 2185488565 1159002618 1924835420 2919618788 3258070848 1605119314 1540329201 1731561503 3835371464 1428976919 2720900427 4107372693 3691139353 239930749 1986778048 644849154 3908684634 1379096019 572722738 1041304223 2582103861 3619063905 1214731371 2960833778 1275510325 3596084262 1761824215 260922251 2371344369 2933526108 1329385609 3084908994 2821547580 2157733090 2839275622 747158288 4098030521 2453736912 237283911 2277777499 3059445828 1452481287 2184172649 1692330039 1983732243 2990781423 1771857741 4191750786 2690553907 2813408079 3059592069 309630673 2351648106 3134164619 1638079700 3955333473 109250517 549111848 2465029481 2493883571 4028418421 3673155442 3853856943 2377103961 527717702 325000504 1274641987 1567447645 966440787 3094301502 4164028495 2906421214 3002427633 4276166238 753427996 3943258419 1607169773 3787911260 289158433 1997148854 3794433967 1815327149 2203274047 890330974 1310625896 3626278554 1870935815 1130101592 293824622 2347703386 3167624377 1454679689 3778176191 4197287890 3788093750 1852270108 4117417155 2956032338 255 362436" option to reproduce the execution
0.00/0.01	c #vars 50
0.00/0.01	c #constraints 50
0.00/0.04	c BCD2: Hardening is enabled.
0.00/0.04	c BCD2: BiasedSearch is enabled.
0.00/0.04	c Solving starts ...
0.00/0.04	c ============================[ Search Statistics ]============================
0.00/0.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.04	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.04	c =============================================================================
0.00/0.04	c  0.0s |       0 |        0 |        0 |     1531      0 |        0 |        0
0.00/0.04	c  0.0s |       0 |      134 |        0 |     1531      0 |        0 |        0
0.00/0.04	c #cpu_time = 0.004s
0.00/0.04	c #wall_clock_time = 0.004s
0.00/0.04	c #decision = 134
0.00/0.04	c #random_decision = 1
0.00/0.04	c #conflict = 0
0.00/0.04	c #restart = 0
0.00/0.04	o 45
0.00/0.04	c BCD2: updating upper bound: 50 -> 44
0.00/0.05	c BCD2: 0 <= obj <= 44
0.00/0.05	c BCD2: #cores=0, #unrelaxed=50, #relaxed=0, #hardened=0
0.00/0.05	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.05	c Solving starts ...
0.00/0.05	c ============================[ Search Statistics ]============================
0.00/0.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.05	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.05	c =============================================================================
0.00/0.05	c  0.0s |       0 |        0 |        0 |     1531      0 |        0 |        0
0.00/0.05	c  0.0s |       0 |       47 |        0 |     1531      0 |        0 |        0
0.00/0.05	c #cpu_time = 0.003s
0.00/0.05	c #wall_clock_time = 0.003s
0.00/0.05	c #decision = 47
0.00/0.05	c #random_decision = 0
0.00/0.05	c #conflict = 0
0.00/0.05	c #restart = 0
0.00/0.05	c BCD2: found a new core of size 27: cost of the new core is >=1
0.00/0.05	c lower bound updated to 1
0.00/0.05	c BCD2: 1 <= obj <= 44
0.00/0.05	c BCD2: #cores=1, #unrelaxed=23, #relaxed=27, #hardened=0
0.00/0.05	c BCD2: #sat=1 #unsat=2 bias=2/3
0.00/0.05	c Solving starts ...
0.00/0.05	c ============================[ Search Statistics ]============================
0.00/0.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.05	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.05	c =============================================================================
0.00/0.05	c  0.0s |       0 |        0 |        0 |     1531      0 |        0 |        0
0.00/0.05	c  0.0s |       0 |      406 |        0 |     1531      0 |        0 |        0
0.00/0.05	c #cpu_time = 0.004s
0.00/0.05	c #wall_clock_time = 0.004s
0.00/0.05	c #decision = 406
0.00/0.05	c #random_decision = 1
0.00/0.05	c #conflict = 0
0.00/0.05	c #restart = 0
0.00/0.05	o 5
0.00/0.05	c BCD2: updating upper bound: 44 -> 4
0.00/0.05	c BCD2: 1 <= obj <= 4
0.00/0.05	c BCD2: #cores=1, #unrelaxed=23, #relaxed=27, #hardened=0
0.00/0.05	c BCD2: #sat=2 #unsat=2 bias=2/4
0.00/0.06	c Solving starts ...
0.00/0.06	c ============================[ Search Statistics ]============================
0.00/0.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.06	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.06	c =============================================================================
0.00/0.06	c  0.0s |       0 |        0 |        0 |     1531      0 |        0 |        1
0.00/0.08	c  0.0s |       0 |      227 |       54 |     1531      0 |        0 |        1
0.00/0.08	c #cpu_time = 0.028s
0.00/0.08	c #wall_clock_time = 0.029s
0.00/0.08	c #decision = 227
0.00/0.08	c #random_decision = 0
0.00/0.08	c #conflict = 54
0.00/0.08	c #restart = 0
0.00/0.08	o 3
0.00/0.08	c BCD2: updating upper bound: 4 -> 2
0.00/0.09	c BCD2: 1 <= obj <= 2
0.00/0.09	c BCD2: #cores=1, #unrelaxed=23, #relaxed=27, #hardened=0
0.00/0.09	c BCD2: #sat=3 #unsat=2 bias=2/5
0.00/0.09	c Solving starts ...
0.00/0.09	c ============================[ Search Statistics ]============================
0.00/0.09	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.09	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.09	c =============================================================================
0.00/0.09	c  0.0s |       0 |        0 |        0 |     1531      0 |        0 |        2
0.08/0.12	c  0.0s |       0 |       94 |       47 |     1685      0 |        0 |        2
0.08/0.12	c #cpu_time = 0.030s
0.08/0.12	c #wall_clock_time = 0.030s
0.08/0.12	c #decision = 94
0.08/0.12	c #random_decision = 0
0.08/0.12	c #conflict = 47
0.08/0.12	c #restart = 0
0.08/0.12	c BCD2: relaxing 23 and merging with 1 cores into a new core of size 50: cost of the new core is >=2
0.08/0.12	c lower bound updated to 2
0.08/0.12	c BCD2: 2 <= obj <= 2
0.08/0.12	c BCD2: #cores=1, #unrelaxed=0, #relaxed=50, #hardened=0
0.08/0.12	c BCD2: #sat=3 #unsat=3 bias=3/6
0.08/0.12	c Solving starts ...
0.08/0.12	c ============================[ Search Statistics ]============================
0.08/0.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.12	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.12	c =============================================================================
0.08/0.12	c  0.0s |       0 |        0 |        0 |     1685      0 |        3 |        2
0.19/0.20	c  0.1s |       1 |      292 |      100 |     1685      0 |        3 |        7
0.29/0.32	c  0.2s |       2 |      630 |      250 |     1854      0 |        3 |        7
0.39/0.49	c  0.4s |       3 |     1039 |      475 |     2040      0 |        3 |        7
0.69/0.72	c  0.6s |       4 |     1576 |      813 |     2244      0 |        3 |        7
0.99/1.10	c  1.0s |       5 |     2458 |     1320 |     2469      0 |        3 |        7
1.39/1.48	c  1.4s |       6 |     3732 |     2081 |     2716      0 |        3 |        7
1.69/1.72	c  1.6s |       6 |     4257 |     2456 |     2716      0 |        4 |        8
1.69/1.72	c #cpu_time = 1.600s
1.69/1.72	c #wall_clock_time = 1.605s
1.69/1.72	c #decision = 4257
1.69/1.72	c #random_decision = 13
1.69/1.72	c #conflict = 2456
1.69/1.72	c #restart = 6
1.69/1.72	c BCD2: updating lower bound of a core
1.69/1.72	c lower bound updated to 3
1.69/1.72	s OPTIMUM FOUND
1.69/1.72	v -x1 -x2 x3 -x4 x5 -x6 -x7 -x8 -x9 -x10
1.69/1.72	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
1.69/1.72	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
1.69/1.72	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
1.69/1.72	v -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50
1.69/1.72	c total CPU time = 1.721s
1.69/1.72	c total wall clock time = 1.725s

Verifier Data 

OK	3

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

pid=28922
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.27 2.28 2.24 3/178 28925
/proc/meminfo: memFree=29381704/32872528 swapFree=1191052/1305516
[pid=28925] ppid=28922 vsize=774588 CPUtime=0 cores=1,3,5,7
/proc/28925/stat : 28925 (toysat) R 28922 28925 26736 0 -1 4202496 2898 0 0 0 0 0 0 0 20 0 4 0 29446009 793178112 2747 33554432000 4194304 16246674 140736241060432 140736241059856 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28925/statm: 194159 2757 441 2943 0 191053 0
[pid=28925/tid=28926] ppid=28922 vsize=793020 CPUtime=0 cores=1,3,5,7
/proc/28925/task/28926/stat : 28926 (toysat) S 28922 28925 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29446009 812052480 2820 33554432000 4194304 16246674 140736241060432 139908967542000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28925/tid=28927] ppid=28922 vsize=797116 CPUtime=0 cores=1,3,5,7
/proc/28925/task/28927/stat : 28927 (toysat) S 28922 28925 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29446009 816246784 2837 33554432000 4194304 16246674 140736241060432 139908957052144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28925/tid=28928] ppid=28922 vsize=801212 CPUtime=0 cores=1,3,5,7
/proc/28925/task/28928/stat : 28928 (toysat) S 28922 28925 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29446009 820441088 2851 33554432000 4194304 16246674 140736241060432 139908946578608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.27 2.28 2.24 3/178 28925
/proc/meminfo: memFree=29381704/32872528 swapFree=1191052/1305516
[pid=28925] ppid=28922 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/28925/stat : 28925 (toysat) R 28922 28925 26736 0 -1 4202496 24643 0 0 0 6 2 0 0 20 0 4 0 29446009 1247350784 24479 33554432000 4194304 16246674 140736241060432 140736241059856 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28925/statm: 304529 24492 784 2943 0 301423 0
[pid=28925/tid=28926] ppid=28922 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28925/task/28926/stat : 28926 (toysat) S 28922 28925 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29446009 1247350784 24500 33554432000 4194304 16246674 140736241060432 139908967542000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28925/tid=28927] ppid=28922 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28925/task/28927/stat : 28927 (toysat) S 28922 28925 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29446009 1247350784 24507 33554432000 4194304 16246674 140736241060432 139908957052144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28925/tid=28928] ppid=28922 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28925/task/28928/stat : 28928 (toysat) S 28922 28925 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29446009 1247350784 24512 33554432000 4194304 16246674 140736241060432 139908946578608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200536 s]
/proc/loadavg: 2.27 2.28 2.24 3/178 28925
/proc/meminfo: memFree=29381704/32872528 swapFree=1191052/1305516
[pid=28925] ppid=28922 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/28925/stat : 28925 (toysat) R 28922 28925 26736 0 -1 4202496 45919 0 0 0 14 5 0 0 20 0 4 0 29446009 1247350784 45755 33554432000 4194304 16246674 140736241060432 140736241059856 5828874 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28925/statm: 304529 45765 786 2943 0 301423 0
[pid=28925/tid=28926] ppid=28922 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28925/task/28926/stat : 28926 (toysat) S 28922 28925 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29446009 1247350784 45767 33554432000 4194304 16246674 140736241060432 139908967542000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28925/tid=28927] ppid=28922 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28925/task/28927/stat : 28927 (toysat) S 28922 28925 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29446009 1247350784 45769 33554432000 4194304 16246674 140736241060432 139908957052144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28925/tid=28928] ppid=28922 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28925/task/28928/stat : 28928 (toysat) S 28922 28925 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29446009 1247350784 45772 33554432000 4194304 16246674 140736241060432 139908946578608 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) 1218116

[startup+0.300501 s]
/proc/loadavg: 2.27 2.28 2.24 3/178 28925
/proc/meminfo: memFree=29381704/32872528 swapFree=1191052/1305516
[pid=28925] ppid=28922 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/28925/stat : 28925 (toysat) R 28922 28925 26736 0 -1 4202496 66436 0 0 0 21 8 0 0 20 0 4 0 29446009 1247350784 66272 33554432000 4194304 16246674 140736241060432 140736241059856 5675010 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28925/statm: 304529 66287 786 2943 0 301423 0
[pid=28925/tid=28926] ppid=28922 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28925/task/28926/stat : 28926 (toysat) S 28922 28925 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29446009 1247350784 66296 33554432000 4194304 16246674 140736241060432 139908967542000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28925/tid=28927] ppid=28922 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28925/task/28927/stat : 28927 (toysat) S 28922 28925 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29446009 1247350784 66304 33554432000 4194304 16246674 140736241060432 139908957052144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28925/tid=28928] ppid=28922 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28925/task/28928/stat : 28928 (toysat) S 28922 28925 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29446009 1247350784 66312 33554432000 4194304 16246674 140736241060432 139908946578608 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) 1218116

[startup+0.700413 s]
/proc/loadavg: 2.27 2.28 2.24 3/178 28925
/proc/meminfo: memFree=29381704/32872528 swapFree=1191052/1305516
[pid=28925] ppid=28922 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/28925/stat : 28925 (toysat) R 28922 28925 26736 0 -1 4202496 149369 0 0 0 51 18 0 0 20 0 4 0 29446009 1247350784 149206 33554432000 4194304 16246674 140736241060432 140736241042304 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28925/statm: 304529 149216 786 2943 0 301423 0
[pid=28925/tid=28926] ppid=28922 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28925/task/28926/stat : 28926 (toysat) S 28922 28925 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29446009 1247350784 149218 33554432000 4194304 16246674 140736241060432 139908967542000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28925/tid=28927] ppid=28922 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28925/task/28927/stat : 28927 (toysat) S 28922 28925 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29446009 1247350784 149220 33554432000 4194304 16246674 140736241060432 139908957052144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28925/tid=28928] ppid=28922 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28925/task/28928/stat : 28928 (toysat) S 28922 28925 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29446009 1247350784 149222 33554432000 4194304 16246674 140736241060432 139908946578608 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) 1218116

[startup+1.50038 s]
/proc/loadavg: 2.27 2.28 2.24 3/183 28930
/proc/meminfo: memFree=28451060/32872528 swapFree=1191052/1305516
[pid=28925] ppid=28922 vsize=1222212 CPUtime=1.49 cores=1,3,5,7
/proc/28925/stat : 28925 (toysat) R 28922 28925 26736 0 -1 4202496 246372 0 0 0 118 31 0 0 20 0 4 0 29446009 1251545088 246186 33554432000 4194304 16246674 140736241060432 140736241059744 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28925/statm: 305553 246186 844 2943 0 302447 0
[pid=28925/tid=28926] ppid=28922 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/28925/task/28926/stat : 28926 (toysat) S 28922 28925 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29446009 1251545088 246186 33554432000 4194304 16246674 140736241060432 139908967542000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28925/tid=28927] ppid=28922 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/28925/task/28927/stat : 28927 (toysat) S 28922 28925 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29446009 1251545088 246186 33554432000 4194304 16246674 140736241060432 139908957052144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28925/tid=28928] ppid=28922 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/28925/task/28928/stat : 28928 (toysat) S 28922 28925 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29446009 1251545088 246186 33554432000 4194304 16246674 140736241060432 139908946578608 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) 1222212

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

[startup+1.60049 s]
/proc/loadavg: 2.27 2.28 2.24 3/183 28930
/proc/meminfo: memFree=28451060/32872528 swapFree=1191052/1305516
[pid=28925] ppid=28922 vsize=1222212 CPUtime=1.59 cores=1,3,5,7
/proc/28925/stat : 28925 (toysat) R 28922 28925 26736 0 -1 4202496 246372 0 0 0 128 31 0 0 20 0 4 0 29446009 1251545088 246186 33554432000 4194304 16246674 140736241060432 140736241042304 6021972 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28925/statm: 305553 246186 844 2943 0 302447 0
[pid=28925/tid=28926] ppid=28922 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/28925/task/28926/stat : 28926 (toysat) S 28922 28925 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29446009 1251545088 246186 33554432000 4194304 16246674 140736241060432 139908967542000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28925/tid=28927] ppid=28922 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/28925/task/28927/stat : 28927 (toysat) S 28922 28925 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29446009 1251545088 246186 33554432000 4194304 16246674 140736241060432 139908957052144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28925/tid=28928] ppid=28922 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/28925/task/28928/stat : 28928 (toysat) S 28922 28925 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29446009 1251545088 246186 33554432000 4194304 16246674 140736241060432 139908946578608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 1222212

[startup+1.70036 s]
/proc/loadavg: 2.27 2.28 2.24 3/183 28930
/proc/meminfo: memFree=28451060/32872528 swapFree=1191052/1305516
[pid=28925] ppid=28922 vsize=1222212 CPUtime=1.69 cores=1,3,5,7
/proc/28925/stat : 28925 (toysat) R 28922 28925 26736 0 -1 4202496 246372 0 0 0 138 31 0 0 20 0 4 0 29446009 1251545088 246186 33554432000 4194304 16246674 140736241060432 140736241042304 5572254 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28925/statm: 305553 246186 844 2943 0 302447 0
[pid=28925/tid=28926] ppid=28922 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/28925/task/28926/stat : 28926 (toysat) S 28922 28925 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29446009 1251545088 246186 33554432000 4194304 16246674 140736241060432 139908967542000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28925/tid=28927] ppid=28922 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/28925/task/28927/stat : 28927 (toysat) S 28922 28925 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29446009 1251545088 246186 33554432000 4194304 16246674 140736241060432 139908957052144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28925/tid=28928] ppid=28922 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/28925/task/28928/stat : 28928 (toysat) S 28922 28925 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29446009 1251545088 246186 33554432000 4194304 16246674 140736241060432 139908946578608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 1222212

Child status: 0
Real time (s): 1.78216
CPU time (s): 1.77973
CPU user time (s): 1.40679
CPU system time (s): 0.372943
CPU usage (%): 99.8638
Max. virtual memory (cumulated for all children) (KiB): 1222212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.40679
system time used= 0.372943
maximum resident set size= 984760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 246377
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17
involuntary context switches= 3

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.005999 second user time and 0.010998 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-18 20:19:54
IDJOB=4106586
IDBENCH=48119
IDSOLVER=2542
FILE ID=node127/4106586-1466273994
RUNJOBID= node127-1466265123-26753
PBS_JOBID= 19918231
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_50_25_1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106586-1466273994/watcher-4106586-1466273994 -o /tmp/evaluation-result-4106586-1466273994/solver-4106586-1466273994 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466265123-26753 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106586-1466273994.opb

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

MD5SUM BENCH= 3c8b2b83a32c4c8e761f030b6789f3c6
RANDOM SEED=1264833697

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29382356 kB
Buffers:           94060 kB
Cached:           261312 kB
SwapCached:          516 kB
Active:          1182152 kB
Inactive:         263228 kB
Active(anon):    1090192 kB
Inactive(anon):     2184 kB
Active(file):      91960 kB
Inactive(file):   261044 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100260 kB
Dirty:             16332 kB
Writeback:             0 kB
AnonPages:       2399260 kB
Mapped:            10428 kB
Shmem:                 0 kB
Slab:             604392 kB
SReclaimable:      48552 kB
SUnreclaim:       555840 kB
KernelStack:        1512 kB
PageTables:         9136 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2538824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    120832 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node127 at 2016-06-18 20:19:56