Trace number 4080143

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-02OPT2 1.71274 1.71396

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_50_25_4.opb
MD5SUMa45f8d339393416b6aacc4f79e0ac23e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.093985
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
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)1466
Sum of products size (including duplicates)2932
Number of different products1466
Sum of products size2932

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-07T01:45:22+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-4080143-1465256722.opb"]
0.00/0.01	c use --random-gen="2610688058 3826909317 2127455053 1288277640 2850444650 1813066570 997064456 3622629885 3583995323 846230106 2195769707 799189822 384663765 3516441555 307403973 2357294213 502810111 3046636565 2706766366 222388008 2124001941 1364312734 2772583441 1642116835 2795921364 300121326 4150122649 4267834186 2449336824 4283807585 147169628 3342793372 1237761002 853921439 3083675451 2280087066 118386577 2252578525 2339809835 2144432781 847003385 2636460544 3774787920 3496026139 1561154740 1570343822 1239426726 1787055792 3168052112 2773790355 3796705922 106972222 2286690598 689077367 3113467219 598759643 455162268 535641892 3387562019 2992825543 2763956220 2221735736 74522992 2017962822 3751285592 2892837108 2242024962 2796099702 709845906 137582201 2653211151 2000580077 1386362043 1459731859 2535214252 1672135734 686495611 2539307053 243779530 4033004485 2007674002 2662806510 1202422352 2584382571 3853824306 106429245 549640413 4246937055 3344306652 4092128330 2068239013 4137757153 2075437552 424946824 4268492654 2244258792 372656127 1517249781 3408521629 3908889939 2551635237 1533757415 173135409 1907443052 432382379 2523387100 2976743271 172562691 1136203463 3025875874 2080296654 2510296398 947817910 2300927065 1014809064 2181924017 152513071 2976255410 2330836678 1051358599 3648094052 3132021258 1297970776 3315014266 2454216455 343063239 4100814727 246367487 3336049223 1777753424 1754792496 2555717772 598405563 2387585879 2851191518 1358836050 21611502 1709828877 3071321827 918870246 2272147325 1606991284 763916543 1085510197 1884180743 4286645191 3143872792 1212447239 590839602 1763789126 2789503038 2484577554 706747467 3401813797 1477389177 2846013523 3736953041 2696150359 2818595807 2137927579 1819710459 1216256562 1835877451 1794447393 3949785170 3190313250 3009372568 3603667492 1669479457 2853318112 2452634846 2347088520 4132560802 22601803 1344959164 1234160116 1916782698 64338207 4228060243 850930818 3291227205 1208897318 2162432371 2755914753 686072475 3083347497 47559478 3535199819 3151015347 4213324731 2360993020 3258191759 2961107813 3782299319 3135074852 1982566617 1964690894 3841322115 2385507123 2445367002 4157576739 475659872 391583117 29722895 271436286 1898224394 4280721689 3894861886 492275954 2170458518 2005449355 2655843774 2099757731 3337843469 2891749722 509401911 2748803137 842245034 3652431078 2288870245 3251494400 303481870 3285659604 3378097526 625263503 3259052795 2187607475 2500082561 3447416495 3644128072 1096853507 1109615949 4139690752 3362313601 2964821582 1627248926 2477290503 1524025734 2673068671 2505183335 416246912 3126108576 1650086348 3278876285 3363161202 415037111 3789275994 4181997983 1143686315 2638691400 3137929920 1836613498 2561310124 3421083803 1214982059 3349938649 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 |     1499      0 |        0 |        0
0.00/0.05	c  0.0s |       0 |      101 |        0 |     1499      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 = 101
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	o 46
0.00/0.05	c BCD2: updating upper bound: 50 -> 45
0.00/0.05	c BCD2: 0 <= obj <= 45
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 |     1499      0 |        0 |        0
0.00/0.05	c  0.0s |       0 |       44 |        0 |     1499      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 = 44
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 36: 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 <= 45
0.00/0.05	c BCD2: #cores=1, #unrelaxed=14, #relaxed=36, #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 |     1499      0 |        0 |        0
0.00/0.05	c  0.0s |       0 |      545 |        0 |     1499      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 = 545
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 10
0.00/0.05	c BCD2: updating upper bound: 45 -> 9
0.00/0.05	c BCD2: 1 <= obj <= 9
0.00/0.05	c BCD2: #cores=1, #unrelaxed=14, #relaxed=36, #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 |     1499      0 |        0 |        1
0.00/0.06	c  0.0s |       0 |      421 |        0 |     1499      0 |        0 |        1
0.00/0.06	c #cpu_time = 0.004s
0.00/0.06	c #wall_clock_time = 0.004s
0.00/0.06	c #decision = 421
0.00/0.06	c #random_decision = 1
0.00/0.06	c #conflict = 0
0.00/0.06	c #restart = 0
0.00/0.06	o 5
0.00/0.06	c BCD2: updating upper bound: 9 -> 4
0.00/0.06	c BCD2: 1 <= obj <= 4
0.00/0.06	c BCD2: #cores=1, #unrelaxed=14, #relaxed=36, #hardened=0
0.00/0.06	c BCD2: #sat=3 #unsat=2 bias=2/5
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 |     1499      0 |        0 |        2
0.08/0.12	c  0.1s |       1 |      191 |      100 |     1499      0 |        0 |        2
0.18/0.22	c  0.2s |       2 |      468 |      250 |     1649      0 |        0 |        2
0.28/0.38	c  0.3s |       3 |      827 |      475 |     1814      0 |        0 |        2
0.58/0.69	c  0.6s |       4 |     1358 |      813 |     1996      0 |        0 |        2
0.89/0.92	c  0.9s |       4 |     1649 |      993 |     2196      0 |        0 |        2
0.89/0.92	c #cpu_time = 0.858s
0.89/0.92	c #wall_clock_time = 0.858s
0.89/0.92	c #decision = 1649
0.89/0.92	c #random_decision = 2
0.89/0.92	c #conflict = 993
0.89/0.92	c #restart = 4
0.89/0.92	c BCD2: relaxing 14 and merging with 1 cores into a new core of size 50: cost of the new core is >=2
0.89/0.92	c lower bound updated to 2
0.89/0.92	c BCD2: 2 <= obj <= 4
0.89/0.92	c BCD2: #cores=1, #unrelaxed=0, #relaxed=50, #hardened=0
0.89/0.92	c BCD2: #sat=3 #unsat=3 bias=3/6
0.89/0.92	c Solving starts ...
0.89/0.92	c ============================[ Search Statistics ]============================
0.89/0.92	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.89/0.92	c       |         |          |          |    Limit     GC | Var      | Constra 
0.89/0.92	c =============================================================================
0.89/0.92	c  0.0s |       0 |        0 |        0 |     2196      0 |        3 |        2
0.99/1.02	c  0.1s |       1 |      174 |      100 |     2196      0 |        3 |        7
0.99/1.09	c  0.2s |       2 |      394 |      250 |     2196      0 |        3 |        7
1.19/1.21	c  0.3s |       3 |      947 |      475 |     2416      0 |        3 |        7
1.29/1.32	c  0.4s |       3 |     1389 |      703 |     2416      0 |        3 |        7
1.29/1.32	c #cpu_time = 0.402s
1.29/1.32	c #wall_clock_time = 0.402s
1.29/1.32	c #decision = 1389
1.29/1.32	c #random_decision = 6
1.29/1.32	c #conflict = 703
1.29/1.32	c #restart = 3
1.29/1.32	o 3
1.29/1.32	c BCD2: updating upper bound: 4 -> 2
1.29/1.32	c BCD2: 2 <= obj <= 2
1.29/1.32	c BCD2: #cores=1, #unrelaxed=0, #relaxed=50, #hardened=0
1.29/1.32	c BCD2: #sat=4 #unsat=3 bias=3/7
1.29/1.32	c Solving starts ...
1.29/1.32	c ============================[ Search Statistics ]============================
1.29/1.32	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.29/1.32	c       |         |          |          |    Limit     GC | Var      | Constra 
1.29/1.32	c =============================================================================
1.29/1.32	c  0.0s |       0 |        0 |        0 |     2416      0 |        3 |        9
1.29/1.39	c  0.1s |       1 |      173 |      100 |     2416      0 |        3 |        9
1.39/1.48	c  0.2s |       2 |      583 |      250 |     2416      0 |        3 |        9
1.59/1.61	c  0.3s |       3 |     1016 |      475 |     2658      0 |        3 |        9
1.59/1.65	c  0.3s |       3 |     1194 |      561 |     2658      0 |        3 |        9
1.59/1.65	c #cpu_time = 0.329s
1.59/1.65	c #wall_clock_time = 0.329s
1.59/1.65	c #decision = 1194
1.59/1.65	c #random_decision = 5
1.59/1.65	c #conflict = 561
1.59/1.65	c #restart = 3
1.59/1.65	o 2
1.59/1.65	s OPTIMUM FOUND
1.59/1.65	v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
1.59/1.65	v x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
1.59/1.65	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
1.59/1.65	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
1.59/1.65	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
1.59/1.65	c total CPU time = 1.657s
1.59/1.65	c total wall clock time = 1.657s

Verifier Data 

OK	2

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

pid=4361
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: 1.13 1.25 1.71 2/179 4364
/proc/meminfo: memFree=30259704/32872528 swapFree=15644/1722384
[pid=4364] ppid=4361 vsize=685500 CPUtime=0 cores=1,3,5,7
/proc/4364/stat : 4364 (toysat) R 4361 4364 4315 0 -1 4202496 2552 0 0 0 0 0 0 0 20 0 4 0 107605754 701952000 2402 33554432000 4194304 16246674 140733649537920 140733649537344 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4364/statm: 171887 2410 441 2943 0 168781 0
[pid=4364/tid=4365] ppid=4361 vsize=702908 CPUtime=0 cores=1,3,5,7
/proc/4364/task/4365/stat : 4365 (toysat) S 4361 4364 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107605754 719777792 2469 33554432000 4194304 16246674 140733649537920 140550106754288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4364/tid=4366] ppid=4361 vsize=707004 CPUtime=0 cores=1,3,5,7
/proc/4364/task/4366/stat : 4366 (toysat) S 4361 4364 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107605754 723972096 2484 33554432000 4194304 16246674 140733649537920 140550096264432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4364/tid=4367] ppid=4361 vsize=711100 CPUtime=0 cores=1,3,5,7
/proc/4364/task/4367/stat : 4367 (toysat) S 4361 4364 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107605754 728166400 2500 33554432000 4194304 16246674 140733649537920 140550085790896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100104 s]
/proc/loadavg: 1.13 1.25 1.71 2/179 4364
/proc/meminfo: memFree=30259704/32872528 swapFree=15644/1722384
[pid=4364] ppid=4361 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/4364/stat : 4364 (toysat) R 4361 4364 4315 0 -1 4202496 24375 0 0 0 5 3 0 0 20 0 4 0 107605754 1247350784 24213 33554432000 4194304 16246674 140733649537920 140733649537344 5662075 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4364/statm: 304529 24222 785 2943 0 301423 0
[pid=4364/tid=4365] ppid=4361 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4364/task/4365/stat : 4365 (toysat) S 4361 4364 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107605754 1247350784 24226 33554432000 4194304 16246674 140733649537920 140550106754288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4364/tid=4366] ppid=4361 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4364/task/4366/stat : 4366 (toysat) S 4361 4364 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107605754 1247350784 24234 33554432000 4194304 16246674 140733649537920 140550096264432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4364/tid=4367] ppid=4361 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4364/task/4367/stat : 4367 (toysat) S 4361 4364 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107605754 1247350784 24244 33554432000 4194304 16246674 140733649537920 140550085790896 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.200476 s]
/proc/loadavg: 1.13 1.25 1.71 2/179 4364
/proc/meminfo: memFree=30259704/32872528 swapFree=15644/1722384
[pid=4364] ppid=4361 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/4364/stat : 4364 (toysat) R 4361 4364 4315 0 -1 4202496 46944 0 0 0 12 6 0 0 20 0 4 0 107605754 1247350784 46781 33554432000 4194304 16246674 140733649537920 140733649519808 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4364/statm: 304529 46794 785 2943 0 301423 0
[pid=4364/tid=4365] ppid=4361 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4364/task/4365/stat : 4365 (toysat) S 4361 4364 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107605754 1247350784 46800 33554432000 4194304 16246674 140733649537920 140550106754288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4364/tid=4366] ppid=4361 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4364/task/4366/stat : 4366 (toysat) S 4361 4364 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107605754 1247350784 46807 33554432000 4194304 16246674 140733649537920 140550096264432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4364/tid=4367] ppid=4361 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4364/task/4367/stat : 4367 (toysat) S 4361 4364 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107605754 1247350784 46811 33554432000 4194304 16246674 140733649537920 140550085790896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300445 s]
/proc/loadavg: 1.13 1.25 1.71 2/179 4364
/proc/meminfo: memFree=30259704/32872528 swapFree=15644/1722384
[pid=4364] ppid=4361 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/4364/stat : 4364 (toysat) R 4361 4364 4315 0 -1 4202496 70443 0 0 0 19 9 0 0 20 0 4 0 107605754 1247350784 70281 33554432000 4194304 16246674 140733649537920 140733649519808 12474613 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4364/statm: 304529 70296 785 2943 0 301423 0
[pid=4364/tid=4365] ppid=4361 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4364/task/4365/stat : 4365 (toysat) S 4361 4364 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107605754 1247350784 70303 33554432000 4194304 16246674 140733649537920 140550106754288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4364/tid=4366] ppid=4361 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4364/task/4366/stat : 4366 (toysat) S 4361 4364 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107605754 1247350784 70309 33554432000 4194304 16246674 140733649537920 140550096264432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4364/tid=4367] ppid=4361 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4364/task/4367/stat : 4367 (toysat) S 4361 4364 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107605754 1247350784 70316 33554432000 4194304 16246674 140733649537920 140550085790896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700361 s]
/proc/loadavg: 1.13 1.25 1.71 2/179 4364
/proc/meminfo: memFree=30259704/32872528 swapFree=15644/1722384
[pid=4364] ppid=4361 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/4364/stat : 4364 (toysat) R 4361 4364 4315 0 -1 4202496 172250 0 0 0 47 22 0 0 20 0 4 0 107605754 1247350784 172088 33554432000 4194304 16246674 140733649537920 140733649519808 5530837 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4364/statm: 304529 172106 787 2943 0 301423 0
[pid=4364/tid=4365] ppid=4361 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4364/task/4365/stat : 4365 (toysat) S 4361 4364 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107605754 1247350784 172115 33554432000 4194304 16246674 140733649537920 140550106754288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4364/tid=4366] ppid=4361 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4364/task/4366/stat : 4366 (toysat) S 4361 4364 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107605754 1247350784 172126 33554432000 4194304 16246674 140733649537920 140550096264432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4364/tid=4367] ppid=4361 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4364/task/4367/stat : 4367 (toysat) S 4361 4364 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107605754 1247350784 172137 33554432000 4194304 16246674 140733649537920 140550085790896 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.50037 s]
/proc/loadavg: 1.13 1.25 1.71 3/183 4368
/proc/meminfo: memFree=28394572/32872528 swapFree=15644/1722384
[pid=4364] ppid=4361 vsize=1221188 CPUtime=1.49 cores=1,3,5,7
/proc/4364/stat : 4364 (toysat) R 4361 4364 4315 0 -1 4202496 246233 0 0 0 118 31 0 0 20 0 4 0 107605754 1250496512 246048 33554432000 4194304 16246674 140733649537920 140733649519808 5677667 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4364/statm: 305297 246048 846 2943 0 302191 0
[pid=4364/tid=4365] ppid=4361 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/4364/task/4365/stat : 4365 (toysat) S 4361 4364 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107605754 1250496512 246048 33554432000 4194304 16246674 140733649537920 140550106754288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4364/tid=4366] ppid=4361 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/4364/task/4366/stat : 4366 (toysat) S 4361 4364 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107605754 1250496512 246048 33554432000 4194304 16246674 140733649537920 140550096264432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4364/tid=4367] ppid=4361 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/4364/task/4367/stat : 4367 (toysat) S 4361 4364 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107605754 1250496512 246048 33554432000 4194304 16246674 140733649537920 140550085790896 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) 1221188

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

[startup+1.60045 s]
/proc/loadavg: 1.13 1.25 1.71 3/183 4368
/proc/meminfo: memFree=28394572/32872528 swapFree=15644/1722384
[pid=4364] ppid=4361 vsize=1221188 CPUtime=1.59 cores=1,3,5,7
/proc/4364/stat : 4364 (toysat) R 4361 4364 4315 0 -1 4202496 246233 0 0 0 128 31 0 0 20 0 4 0 107605754 1250496512 246048 33554432000 4194304 16246674 140733649537920 140733649519808 5823218 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4364/statm: 305297 246048 846 2943 0 302191 0
[pid=4364/tid=4365] ppid=4361 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/4364/task/4365/stat : 4365 (toysat) S 4361 4364 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107605754 1250496512 246048 33554432000 4194304 16246674 140733649537920 140550106754288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4364/tid=4366] ppid=4361 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/4364/task/4366/stat : 4366 (toysat) S 4361 4364 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107605754 1250496512 246048 33554432000 4194304 16246674 140733649537920 140550096264432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4364/tid=4367] ppid=4361 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/4364/task/4367/stat : 4367 (toysat) S 4361 4364 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107605754 1250496512 246048 33554432000 4194304 16246674 140733649537920 140550085790896 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) 1221188

[startup+1.70037 s]
/proc/loadavg: 1.13 1.25 1.71 3/183 4368
/proc/meminfo: memFree=28394572/32872528 swapFree=15644/1722384
[pid=4364] ppid=4361 vsize=0 CPUtime=1.68 cores=1,3,5,7
/proc/4364/stat : 4364 (toysat) R 4361 4364 4315 0 -1 4202500 246238 0 0 0 133 35 0 0 20 0 1 0 107605754 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4364/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1.71396
CPU time (s): 1.71274
CPU user time (s): 1.3398
CPU system time (s): 0.372943
CPU usage (%): 99.9286
Max. virtual memory (cumulated for all children) (KiB): 1221188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.3398
system time used= 0.372943
maximum resident set size= 984208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 246238
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= 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 node120 at 2016-06-07 01:45:22
IDJOB=4080143
IDBENCH=48137
IDSOLVER=2542
FILE ID=node120/4080143-1465256722
RUNJOBID= node120-1465256721-4332
PBS_JOBID= 19843284
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_4.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080143-1465256722/watcher-4080143-1465256722 -o /tmp/evaluation-result-4080143-1465256722/solver-4080143-1465256722 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1465256721-4332 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080143-1465256722.opb

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

MD5SUM BENCH= a45f8d339393416b6aacc4f79e0ac23e
RANDOM SEED=41856034

node120.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.425
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	: 5332.85
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.425
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.425
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.425
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.425
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.425
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.425
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.425
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:        30282524 kB
Buffers:           32596 kB
Cached:           113096 kB
SwapCached:         1468 kB
Active:           103164 kB
Inactive:          46464 kB
Active(anon):       2840 kB
Inactive(anon):     3200 kB
Active(file):     100324 kB
Inactive(file):    43264 kB
Unevictable:     1722384 kB
Mlocked:           15644 kB
SwapTotal:      67108856 kB
SwapFree:       67099624 kB
Dirty:             32660 kB
Writeback:             0 kB
AnonPages:       1724740 kB
Mapped:             7808 kB
Shmem:                 0 kB
Slab:             585104 kB
SReclaimable:      29704 kB
SUnreclaim:       555400 kB
KernelStack:        1336 kB
PageTables:         7240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1820020 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1710080 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 node120 at 2016-06-07 01:45:24