Trace number 4105622

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
Open-WBO PB16SAT (TO)11 1800.06 1800.4

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_1.opb
MD5SUMfb11ff2665aef67f0842a460a5ea3114
Bench CategoryOPT-SMALLINT (optimisation, small integers)
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 benchmark342.91
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 variables94
Total number of constraints8
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 constraints8
Minimum length of a constraint45
Maximum length of a constraint46
Number of terms in the objective function 64
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2040
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 851
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 3063
Number of bits of the biggest sum of numbers12
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
0.00/0.00	c Open-WBO:	 a Modular MaxSAT Solver -- based on Glucose4.0 (core version)
0.00/0.00	c Version:	 Pseudo-Boolean Evaluation 2016
0.00/0.00	c Authors:	 Ruben Martins, Vasco Manquinho, Ines Lynce
0.00/0.00	c Contributors:	 Miguel Neves, Saurabh Joshi, Mikolas Janota
0.00/0.00	c Contact:	 open-wbo@sat.inesc-id.pt -- http://sat.inesc-id.pt/open-wbo/
0.00/0.00	c
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Instance file HOME/instance-4105622-1466255644.opb
0.00/0.00	c File size is 3580 bytes.
1800.04/1800.40	c Sum of soft weights:         2040
1800.04/1800.40	c |                                                                                                       |
1800.04/1800.40	c ========================================[ Problem Statistics ]===========================================
1800.04/1800.40	c |                                                                                                       |
1800.04/1800.40	c |  Problem Type:             Weighted                                                                   |
1800.04/1800.40	c |  Number of variables:            94                                                                   |
1800.04/1800.40	c |  Number of hard clauses:          0                                                                   |
1800.04/1800.40	c |  Number of soft clauses:         64                                                                   |
1800.04/1800.40	c |  Number of cardinality:           0                                                                   |
1800.04/1800.40	c |  Number of PB :                   8                                                                   |
1800.04/1800.40	c |  Parse time:                   0.00 s                                                                 |
1800.04/1800.40	c |                                                                                                       |
1800.04/1800.40	o 853
1800.04/1800.40	o 402
1800.04/1800.40	o 176
1800.04/1800.40	o 112
1800.04/1800.40	o 63
1800.04/1800.40	o 33
1800.04/1800.40	o 11
1800.04/1800.40	s SATISFIABLE
1800.04/1800.40	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 x66 x67 x68 x69 -x70 -x71 x72 x73 x74 x75 -x76 -x77 x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 x90 x91 -x92 -x93 x94

Verifier Data 

OK	11

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-4105622-1466255644/watcher-4105622-1466255644 -o /tmp/evaluation-result-4105622-1466255644/solver-4105622-1466255644 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1466240166-29917 --watchdog 1960 open-wbo HOME/instance-4105622-1466255644.opb 

pid=1741
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.25 2.21 2.18 4/176 1744
/proc/meminfo: memFree=28050656/32872528 swapFree=1400172/1569824
[pid=1744] ppid=1741 vsize=7276 CPUtime=0 cores=1,3,5,7
/proc/1744/stat : 1744 (open-wbo) R 1741 1744 29900 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 27609642 7450624 455 33554432000 4194304 6059633 140733911562896 140736464586728 4294854 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1744/statm: 1819 462 161 456 0 1355 0

[startup+0.100165 s]
/proc/loadavg: 2.25 2.21 2.18 4/176 1744
/proc/meminfo: memFree=28050656/32872528 swapFree=1400172/1569824
[pid=1744] ppid=1741 vsize=24856 CPUtime=0.09 cores=1,3,5,7
/proc/1744/stat : 1744 (open-wbo) R 1741 1744 29900 0 -1 4202496 4333 0 0 0 9 0 0 0 20 0 1 0 27609642 25452544 5513 33554432000 4194304 6059633 140733911562896 140736464586728 5047405 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1744/statm: 6214 5514 161 456 0 5750 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24856

[startup+0.200402 s]
/proc/loadavg: 2.25 2.21 2.18 4/176 1744
/proc/meminfo: memFree=28050656/32872528 swapFree=1400172/1569824
[pid=1744] ppid=1741 vsize=55600 CPUtime=0.19 cores=1,3,5,7
/proc/1744/stat : 1744 (open-wbo) R 1741 1744 29900 0 -1 4202496 8034 0 0 0 18 1 0 0 20 0 1 0 27609642 56934400 10747 33554432000 4194304 6059633 140733911562896 140736464586728 5047405 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1744/statm: 13900 10748 162 456 0 13436 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 55600

[startup+0.300354 s]
/proc/loadavg: 2.25 2.21 2.18 4/176 1744
/proc/meminfo: memFree=28050656/32872528 swapFree=1400172/1569824
[pid=1744] ppid=1741 vsize=67192 CPUtime=0.29 cores=1,3,5,7
/proc/1744/stat : 1744 (open-wbo) R 1741 1744 29900 0 -1 4202496 11279 0 0 0 28 1 0 0 20 0 1 0 27609642 68804608 15989 33554432000 4194304 6059633 140733911562896 140733911560616 4294931 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1744/statm: 16798 15991 162 456 0 16334 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 67192

[startup+0.700305 s]
/proc/loadavg: 2.25 2.21 2.18 4/176 1744
/proc/meminfo: memFree=28050656/32872528 swapFree=1400172/1569824
[pid=1744] ppid=1741 vsize=157612 CPUtime=0.69 cores=1,3,5,7
/proc/1744/stat : 1744 (open-wbo) R 1741 1744 29900 0 -1 4202496 22133 0 0 0 65 4 0 0 20 0 1 0 27609642 161394688 36221 33554432000 4194304 6059633 140733911562896 140733911560616 4295055 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1744/statm: 39403 36221 162 456 0 38939 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 157612

[startup+1.50033 s]
/proc/loadavg: 2.25 2.21 2.18 4/177 1745
/proc/meminfo: memFree=27822728/32872528 swapFree=1400172/1569824
[pid=1744] ppid=1741 vsize=276332 CPUtime=1.49 cores=1,3,5,7
/proc/1744/stat : 1744 (open-wbo) R 1741 1744 29900 0 -1 4202496 38929 0 0 0 142 7 0 0 20 0 1 0 27609642 282963968 63716 33554432000 4194304 6059633 140733911562896 140733911560936 4277855 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1744/statm: 69083 63716 182 456 0 68619 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 276332

[startup+3.10033 s]
/proc/loadavg: 2.25 2.21 2.18 4/177 1745
/proc/meminfo: memFree=27786908/32872528 swapFree=1400172/1569824
[pid=1744] ppid=1741 vsize=285844 CPUtime=3.08 cores=1,3,5,7
/proc/1744/stat : 1744 (open-wbo) R 1741 1744 29900 0 -1 4202496 41320 0 0 0 301 7 0 0 20 0 1 0 27609642 292704256 66107 33554432000 4194304 6059633 140733911562896 140733911560936 4277855 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1744/statm: 71461 66107 184 456 0 70997 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 285844

[startup+6.30031 s]
/proc/loadavg: 2.23 2.21 2.18 3/177 1745
/proc/meminfo: memFree=27784676/32872528 swapFree=1400172/1569824
[pid=1744] ppid=1741 vsize=286240 CPUtime=6.28 cores=1,3,5,7
/proc/1744/stat : 1744 (open-wbo) R 1741 1744 29900 0 -1 4202496 41435 0 0 0 621 7 0 0 20 0 1 0 27609642 293109760 66222 33554432000 4194304 6059633 140733911562896 140733911561656 4277900 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1744/statm: 71560 66222 185 456 0 71096 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 286240

[startup+12.7003 s]
/proc/loadavg: 2.21 2.21 2.18 3/177 1745
/proc/meminfo: memFree=27782440/32872528 swapFree=1400172/1569824
[pid=1744] ppid=1741 vsize=286376 CPUtime=12.69 cores=1,3,5,7
/proc/1744/stat : 1744 (open-wbo) R 1741 1744 29900 0 -1 4202496 41461 0 0 0 1261 8 0 0 20 0 1 0 27609642 293249024 66759 33554432000 4194304 6059633 140733911562896 140733911560936 4277900 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1744/statm: 71594 66759 185 456 0 71130 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 286376

[startup+25.5004 s]
/proc/loadavg: 2.23 2.21 2.18 3/177 1745
/proc/meminfo: memFree=27781308/32872528 swapFree=1400172/1569824
[pid=1744] ppid=1741 vsize=286696 CPUtime=25.49 cores=1,3,5,7
/proc/1744/stat : 1744 (open-wbo) R 1741 1744 29900 0 -1 4202496 41523 0 0 0 2541 8 0 0 20 0 1 0 27609642 293576704 66821 33554432000 4194304 6059633 140733911562896 140733911561048 4277900 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1744/statm: 71674 66821 185 456 0 71210 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 286696

[startup+51.1005 s]
/proc/loadavg: 2.37 2.24 2.19 3/177 1745
/proc/meminfo: memFree=27777744/32872528 swapFree=1400172/1569824
[pid=1744] ppid=1741 vsize=287000 CPUtime=51.09 cores=1,3,5,7
/proc/1744/stat : 1744 (open-wbo) R 1741 1744 29900 0 -1 4202496 41626 0 0 0 5101 8 0 0 20 0 1 0 27609642 293888000 67435 33554432000 4194304 6059633 140733911562896 140733911561656 4277832 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1744/statm: 71750 67435 185 456 0 71286 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 287000

[startup+102.3 s]
/proc/loadavg: 2.32 2.25 2.19 3/176 1746
/proc/meminfo: memFree=27768168/32872528 swapFree=1400172/1569824
[pid=1744] ppid=1741 vsize=287896 CPUtime=102.28 cores=1,3,5,7
/proc/1744/stat : 1744 (open-wbo) R 1741 1744 29900 0 -1 4202496 41843 0 0 0 10220 8 0 0 20 0 1 0 27609642 294805504 69185 33554432000 4194304 6059633 140733911562896 140733911560936 4277570 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1744/statm: 71974 69185 185 456 0 71510 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 287896

[startup+162.3 s]
/proc/loadavg: 2.29 2.25 2.19 3/176 1748
/proc/meminfo: memFree=27754828/32872528 swapFree=1400172/1569824
[pid=1744] ppid=1741 vsize=288928 CPUtime=162.26 cores=1,3,5,7
/proc/1744/stat : 1744 (open-wbo) R 1741 1744 29900 0 -1 4202496 42074 0 0 0 16218 8 0 0 20 0 1 0 27609642 295862272 71460 33554432000 4194304 6059633 140733911562896 140733911560936 4277900 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1744/statm: 72232 71460 185 456 0 71768 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 288928

[startup+222.308 s]
/proc/loadavg: 2.15 2.21 2.18 4/177 1750
/proc/meminfo: memFree=27744680/32872528 swapFree=1400172/1569824
[pid=1744] ppid=1741 vsize=370860 CPUtime=222.26 cores=1,3,5,7
/proc/1744/stat : 1744 (open-wbo) R 1741 1744 29900 0 -1 4202496 42392 0 0 0 22217 9 0 0 20 0 1 0 27609642 379760640 73305 33554432000 4194304 6059633 140733911562896 140733911560936 4277900 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1744/statm: 92715 73305 185 456 0 92251 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 370860

[startup+282.3 s]
/proc/loadavg: 2.20 2.22 2.18 3/177 1751
/proc/meminfo: memFree=27762316/32872528 swapFree=1400172/1569824
[pid=1744] ppid=1741 vsize=290248 CPUtime=282.24 cores=1,3,5,7
/proc/1744/stat : 1744 (open-wbo) R 1741 1744 29900 0 -1 4202496 42733 0 0 0 28213 11 0 0 20 0 1 0 27609642 297213952 67619 33554432000 4194304 6059633 140733911562896 140733911560936 4246291 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1744/statm: 72562 67619 186 456 0 72098 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 290248

[startup+342.3 s]
/proc/loadavg: 2.25 2.22 2.18 3/177 1752
/proc/meminfo: memFree=27748952/32872528 swapFree=1400172/1569824
[pid=1744] ppid=1741 vsize=290656 CPUtime=342.24 cores=1,3,5,7
/proc/1744/stat : 1744 (open-wbo) R 1741 1744 29900 0 -1 4202496 42850 0 0 0 34212 12 0 0 20 0 1 0 27609642 297631744 69780 33554432000 4194304 6059633 140733911562896 140733911560936 4277855 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1744/statm: 72664 69780 186 456 0 72200 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 290656

[startup+402.3 s]
/proc/loadavg: 2.20 2.21 2.18 4/178 1756
/proc/meminfo: memFree=27738796/32872528 swapFree=1400172/1569824
[pid=1744] ppid=1741 vsize=291348 CPUtime=402.23 cores=1,3,5,7
/proc/1744/stat : 1744 (open-wbo) R 1741 1744 29900 0 -1 4202496 43022 0 0 0 40211 12 0 0 20 0 1 0 27609642 298340352 71996 33554432000 4194304 6059633 140733911562896 140733911560936 4277570 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1744/statm: 72837 71996 186 456 0 72373 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 291348

[startup+462.3 s]
/proc/loadavg: 2.17 2.20 2.18 3/177 1757
/proc/meminfo: memFree=27726416/32872528 swapFree=1400172/1569824
[pid=1744] ppid=1741 vsize=373180 CPUtime=462.22 cores=1,3,5,7
/proc/1744/stat : 1744 (open-wbo) R 1741 1744 29900 0 -1 4202496 43843 0 0 0 46208 14 0 0 20 0 1 0 27609642 382136320 73819 33554432000 4194304 6059633 140733911562896 140733911560936 4255169 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1744/statm: 93295 73819 186 456 0 92831 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 373180

[startup+522.3 s]
/proc/loadavg: 2.28 2.22 2.18 3/177 1759
/proc/meminfo: memFree=27720116/32872528 swapFree=1400172/1569824
[pid=1744] ppid=1741 vsize=373660 CPUtime=522.21 cores=1,3,5,7
/proc/1744/stat : 1744 (open-wbo) R 1741 1744 29900 0 -1 4202496 43945 0 0 0 52207 14 0 0 20 0 1 0 27609642 382627840 75454 33554432000 4194304 6059633 140733911562896 140733911560936 4277900 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1744/statm: 93415 75454 186 456 0 92951 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 373660

[startup+582.3 s]
/proc/loadavg: 2.20 2.21 2.18 4/177 1760
/proc/meminfo: memFree=27740380/32872528 swapFree=1400172/1569824
[pid=1744] ppid=1741 vsize=292840 CPUtime=582.2 cores=1,3,5,7
/proc/1744/stat : 1744 (open-wbo) R 1741 1744 29900 0 -1 4202496 44249 0 0 0 58203 17 0 0 20 0 1 0 27609642 299868160 69792 33554432000 4194304 6059633 140733911562896 140733911560936 4277855 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1744/statm: 73210 69792 186 456 0 72746 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 292840


################
# More data... #
################


[startup+882.307 s]
/proc/loadavg: 2.15 2.18 2.18 3/177 1766
/proc/meminfo: memFree=27725660/32872528 swapFree=1400172/1569824
[pid=1744] ppid=1741 vsize=295436 CPUtime=882.16 cores=1,3,5,7
/proc/1744/stat : 1744 (open-wbo) R 1741 1744 29900 0 -1 4202496 45776 0 0 0 88194 22 0 0 20 0 1 0 27609642 302526464 71977 33554432000 4194304 6059633 140733911562896 140733911560936 4277855 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1744/statm: 73859 71977 186 456 0 73395 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 295436

[startup+942.3 s]
/proc/loadavg: 2.13 2.17 2.17 3/177 1767
/proc/meminfo: memFree=27717744/32872528 swapFree=1400172/1569824
[pid=1744] ppid=1741 vsize=376988 CPUtime=942.14 cores=1,3,5,7
/proc/1744/stat : 1744 (open-wbo) R 1741 1744 29900 0 -1 4202496 46379 0 0 0 94190 24 0 0 20 0 1 0 27609642 386035712 73590 33554432000 4194304 6059633 140733911562896 140733911560936 4277832 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1744/statm: 94247 73590 186 456 0 93783 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 376988

[startup+1002.3 s]
/proc/loadavg: 2.28 2.20 2.18 3/178 1772
/proc/meminfo: memFree=27705472/32872528 swapFree=1400172/1569824
[pid=1744] ppid=1741 vsize=377132 CPUtime=1002.14 cores=1,3,5,7
/proc/1744/stat : 1744 (open-wbo) R 1741 1744 29900 0 -1 4202496 46527 0 0 0 100189 25 0 0 20 0 1 0 27609642 386183168 75781 33554432000 4194304 6059633 140733911562896 140733911560936 4277900 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1744/statm: 94283 75781 186 456 0 93819 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 377132

[startup+1062.3 s]
/proc/loadavg: 2.27 2.21 2.19 3/177 1773
/proc/meminfo: memFree=27721384/32872528 swapFree=1400172/1569824
[pid=1744] ppid=1741 vsize=297136 CPUtime=1062.13 cores=1,3,5,7
/proc/1744/stat : 1744 (open-wbo) R 1741 1744 29900 0 -1 4202496 46974 0 0 0 106185 28 0 0 20 0 1 0 27609642 304267264 71280 33554432000 4194304 6059633 140733911562896 140733911560936 4277855 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1744/statm: 74284 71280 186 456 0 73820 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 297136

[startup+1122.3 s]
/proc/loadavg: 2.19 2.20 2.18 4/177 1776
/proc/meminfo: memFree=27711104/32872528 swapFree=1400172/1569824
[pid=1744] ppid=1741 vsize=297412 CPUtime=1122.12 cores=1,3,5,7
/proc/1744/stat : 1744 (open-wbo) R 1741 1744 29900 0 -1 4202496 47061 0 0 0 112184 28 0 0 20 0 1 0 27609642 304549888 73411 33554432000 4194304 6059633 140733911562896 140733911560936 4277832 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1744/statm: 74353 73411 186 456 0 73889 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 297412

[startup+1182.3 s]
/proc/loadavg: 2.23 2.20 2.18 3/177 1777
/proc/meminfo: memFree=27701424/32872528 swapFree=1400172/1569824
[pid=1744] ppid=1741 vsize=379424 CPUtime=1182.11 cores=1,3,5,7
/proc/1744/stat : 1744 (open-wbo) R 1741 1744 29900 0 -1 4202496 47905 0 0 0 118182 29 0 0 20 0 1 0 27609642 388530176 75780 33554432000 4194304 6059633 140733911562896 140733911560936 4277900 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1744/statm: 94856 75780 186 456 0 94392 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 379424

[startup+1242.3 s]
/proc/loadavg: 2.28 2.21 2.18 3/177 1778
/proc/meminfo: memFree=27688308/32872528 swapFree=1400172/1569824
[pid=1744] ppid=1741 vsize=379980 CPUtime=1242.1 cores=1,3,5,7
/proc/1744/stat : 1744 (open-wbo) R 1741 1744 29900 0 -1 4202496 48025 0 0 0 124181 29 0 0 20 0 1 0 27609642 389099520 78455 33554432000 4194304 6059633 140733911562896 140733911560936 4277847 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1744/statm: 94995 78455 186 456 0 94531 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 379980

[startup+1302.3 s]
/proc/loadavg: 2.19 2.20 2.18 3/177 1780
/proc/meminfo: memFree=27714580/32872528 swapFree=1400172/1569824
[pid=1744] ppid=1741 vsize=298964 CPUtime=1302.1 cores=1,3,5,7
/proc/1744/stat : 1744 (open-wbo) R 1741 1744 29900 0 -1 4202496 48307 0 0 0 130177 33 0 0 20 0 1 0 27609642 306139136 71747 33554432000 4194304 6059633 140733911562896 140733911561384 4277847 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1744/statm: 74741 71747 186 456 0 74277 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 298964

[startup+1362.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/177 1781
/proc/meminfo: memFree=27704200/32872528 swapFree=1400172/1569824
[pid=1744] ppid=1741 vsize=299148 CPUtime=1362.09 cores=1,3,5,7
/proc/1744/stat : 1744 (open-wbo) R 1741 1744 29900 0 -1 4202496 48343 0 0 0 136176 33 0 0 20 0 1 0 27609642 306327552 73827 33554432000 4194304 6059633 140733911562896 140733911560936 4278360 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1744/statm: 74787 73827 186 456 0 74323 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 299148

[startup+1422.3 s]
/proc/loadavg: 2.17 2.20 2.18 4/177 1783
/proc/meminfo: memFree=27690968/32872528 swapFree=1400172/1569824
[pid=1744] ppid=1741 vsize=381052 CPUtime=1422.08 cores=1,3,5,7
/proc/1744/stat : 1744 (open-wbo) R 1741 1744 29900 0 -1 4202496 49162 0 0 0 142173 35 0 0 20 0 1 0 27609642 390197248 76674 33554432000 4194304 6059633 140733911562896 140733911560936 4277900 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1744/statm: 95263 76674 186 456 0 94799 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 381052

[startup+1482.3 s]
/proc/loadavg: 2.10 2.17 2.17 4/177 1784
/proc/meminfo: memFree=27680056/32872528 swapFree=1400172/1569824
[pid=1744] ppid=1741 vsize=381528 CPUtime=1482.07 cores=1,3,5,7
/proc/1744/stat : 1744 (open-wbo) R 1741 1744 29900 0 -1 4202496 49290 0 0 0 148172 35 0 0 20 0 1 0 27609642 390684672 78846 33554432000 4194304 6059633 140733911562896 140733911560936 4277855 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1744/statm: 95382 78846 186 456 0 94918 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 381528

[startup+1542.31 s]
/proc/loadavg: 2.25 2.20 2.18 4/177 1785
/proc/meminfo: memFree=27671648/32872528 swapFree=1400172/1569824
[pid=1744] ppid=1741 vsize=381792 CPUtime=1542.06 cores=1,3,5,7
/proc/1744/stat : 1744 (open-wbo) R 1741 1744 29900 0 -1 4202496 49359 0 0 0 154171 35 0 0 20 0 1 0 27609642 390955008 80448 33554432000 4194304 6059633 140733911562896 140733911560936 4277855 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1744/statm: 95448 80448 186 456 0 94984 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 381792

[startup+1602.3 s]
/proc/loadavg: 2.23 2.20 2.18 3/178 2629
/proc/meminfo: memFree=29944888/32872528 swapFree=1400172/1569824
[pid=1744] ppid=1741 vsize=300668 CPUtime=1602.03 cores=1,3,5,7
/proc/1744/stat : 1744 (open-wbo) R 1741 1744 29900 0 -1 4202496 49590 0 0 0 160166 37 0 0 20 0 1 0 27609642 307884032 72655 33554432000 4194304 6059633 140733911562896 140733911560936 4277900 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1744/statm: 75167 72655 186 456 0 74703 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 300668

[startup+1662.3 s]
/proc/loadavg: 2.16 2.19 2.18 4/177 2675
/proc/meminfo: memFree=29688128/32872528 swapFree=1400172/1569824
[pid=1744] ppid=1741 vsize=300804 CPUtime=1662.01 cores=1,3,5,7
/proc/1744/stat : 1744 (open-wbo) R 1741 1744 29900 0 -1 4202496 49688 0 0 0 166163 38 0 0 20 0 1 0 27609642 308023296 74247 33554432000 4194304 6059633 140733911562896 140733911560936 4277855 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1744/statm: 75201 74247 186 456 0 74737 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 300804

[startup+1722.3 s]
/proc/loadavg: 2.09 2.17 2.17 3/177 2677
/proc/meminfo: memFree=29687872/32872528 swapFree=1400172/1569824
[pid=1744] ppid=1741 vsize=382192 CPUtime=1721.97 cores=1,3,5,7
/proc/1744/stat : 1744 (open-wbo) R 1741 1744 29900 0 -1 4202496 50430 0 0 0 172158 39 0 0 20 0 1 0 27609642 391364608 76055 33554432000 4194304 6059633 140733911562896 140733911561352 4277900 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1744/statm: 95548 76055 186 456 0 95084 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 382192

[startup+1782.3 s]
/proc/loadavg: 2.08 2.15 2.16 3/177 2678
/proc/meminfo: memFree=29674784/32872528 swapFree=1400172/1569824
[pid=1744] ppid=1741 vsize=382456 CPUtime=1781.95 cores=1,3,5,7
/proc/1744/stat : 1744 (open-wbo) R 1741 1744 29900 0 -1 4202496 50514 0 0 0 178156 39 0 0 20 0 1 0 27609642 391634944 77650 33554432000 4194304 6059633 140733911562896 140733911560936 4277900 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1744/statm: 95614 77650 186 456 0 95150 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 382456



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.14 2.16 2.17 4/177 2679
/proc/meminfo: memFree=29670724/32872528 swapFree=1400172/1569824
[pid=1744] ppid=1741 vsize=382456 CPUtime=1800.04 cores=1,3,5,7
/proc/1744/stat : 1744 (open-wbo) R 1741 1744 29900 0 -1 4202496 50529 0 0 0 179965 39 0 0 20 0 1 0 27609642 391634944 78176 33554432000 4194304 6059633 140733911562896 140733911560936 4277847 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1744/statm: 95614 78176 186 456 0 95150 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 382456

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 40
Real time (s): 1800.4
CPU time (s): 1800.06
CPU user time (s): 1799.66
CPU system time (s): 0.402938
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 512152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.66
system time used= 0.402938
maximum resident set size= 438996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50532
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= 118
involuntary context switches= 1862

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.8562 second user time and 11.5882 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-18 15:14:04
IDJOB=4105622
IDBENCH=2927
IDSOLVER=2547
FILE ID=node140/4105622-1466255644
RUNJOBID= node140-1466240166-29917
PBS_JOBID= 19918185
Free space on /tmp= 71736 MiB

SOLVER NAME= Open-WBO PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_1.opb
COMMAND LINE= open-wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105622-1466255644/watcher-4105622-1466255644 -o /tmp/evaluation-result-4105622-1466255644/solver-4105622-1466255644 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1466240166-29917 --watchdog 1960  open-wbo HOME/instance-4105622-1466255644.opb

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

MD5SUM BENCH= fb11ff2665aef67f0842a460a5ea3114
RANDOM SEED=377593385

node140.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.714
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.42
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.714
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.714
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.714
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.714
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.714
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.714
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.54
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.714
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:        28050936 kB
Buffers:          125364 kB
Cached:           187008 kB
SwapCached:         2476 kB
Active:          2277476 kB
Inactive:         233804 kB
Active(anon):    2198788 kB
Inactive(anon):     2472 kB
Active(file):      78688 kB
Inactive(file):   231332 kB
Unevictable:     1569824 kB
Mlocked:         1400172 kB
SwapTotal:      67108856 kB
SwapFree:       67097016 kB
Dirty:              4664 kB
Writeback:             0 kB
AnonPages:       3664796 kB
Mapped:             7800 kB
Shmem:                 0 kB
Slab:             604580 kB
SReclaimable:      48656 kB
SUnreclaim:       555924 kB
KernelStack:        1472 kB
PageTables:        11668 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4479616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    184320 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= 71728 MiB
End job on node140 at 2016-06-18 15:44:05