Trace number 3743278

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
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)? (TO) 1802.29 1802.57

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null20mast_rapportOE1.0_TMAX180_K192_cod2.opb
MD5SUM1a988adb2582fdda2a937cfe38fb69f2
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-36224
Best CPU time to get the best result obtained on this benchmark989.98
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400896
Total number of constraints402763
Number of constraints which are clauses400785
Number of constraints which are cardinality constraints (but not clauses)194
Number of constraints which are nor clauses,nor cardinality constraints1784
Minimum length of a constraint2
Maximum length of a constraint58023
Number of terms in the objective function 1605
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 370186
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 1024
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 370186
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

4.08/4.17	c SCIP version 1.1.0.7
4.08/4.17	c LP-Solver SoPlex 1.4.1
4.08/4.17	c user parameter file <scip.set> not found - using default parameters
4.08/4.17	c read problem <HOME/instance-3743278-1338804215.opb>
4.08/4.17	c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
5.60/5.65	c start presolving problem
5.60/5.65	c presolving:
8.49/8.54	c (round 1) 0 del vars, 1977 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 398809 upgd conss, 67806 impls, 1977 clqs
11.69/11.72	c (round 2) 672 del vars, 1977 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 398809 upgd conss, 81776 impls, 1977 clqs
12.19/12.29	c (round 3) 675 del vars, 2645 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 81784 impls, 1977 clqs
66.48/66.59	c (round 4) 1350 del vars, 2645 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12206672 impls, 1977 clqs
66.78/66.81	c (round 5) 1350 del vars, 3320 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12210678 impls, 1977 clqs
67.68/67.70	c (round 6) 3354 del vars, 3320 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12231588 impls, 1977 clqs
67.88/67.91	c (round 7) 3354 del vars, 5324 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12231596 impls, 1977 clqs

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3743278-1338804215/watcher-3743278-1338804215 -o /tmp/evaluation-result-3743278-1338804215/solver-3743278-1338804215 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3743278-1338804215.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 31766
/proc/meminfo: memFree=27708696/32873844 swapFree=7108/7108
[pid=31766] ppid=31764 vsize=9128 CPUtime=0 cores=0,2,4,6
/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4202496 1619 0 0 0 0 0 0 0 20 0 1 0 346546116 9347072 1571 33554432000 4194304 7823515 140735179370752 140735543032264 5878822 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 2282 1573 349 887 0 1392 0

[startup+0.045518 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 31766
/proc/meminfo: memFree=27708696/32873844 swapFree=7108/7108
[pid=31766] ppid=31764 vsize=19528 CPUtime=0.04 cores=0,2,4,6
/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4202496 4225 0 0 0 4 0 0 0 20 0 1 0 346546116 19996672 4177 33554432000 4194304 7823515 140735179370752 140735179235368 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 4882 4177 354 887 0 3992 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 19528

[startup+0.10031 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 31766
/proc/meminfo: memFree=27708696/32873844 swapFree=7108/7108
[pid=31766] ppid=31764 vsize=29136 CPUtime=0.09 cores=0,2,4,6
/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4202496 6658 0 0 0 9 0 0 0 20 0 1 0 346546116 29835264 6610 33554432000 4194304 7823515 140735179370752 140735179235368 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 7284 6610 354 887 0 6394 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29136

[startup+0.300218 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 31766
/proc/meminfo: memFree=27708696/32873844 swapFree=7108/7108
[pid=31766] ppid=31764 vsize=54052 CPUtime=0.29 cores=0,2,4,6
/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4202496 12850 0 0 0 28 1 0 0 20 0 1 0 346546116 55349248 12802 33554432000 4194304 7823515 140735179370752 140735179235368 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 13513 12802 354 887 0 12623 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54052

[startup+0.700257 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 31766
/proc/meminfo: memFree=27708696/32873844 swapFree=7108/7108
[pid=31766] ppid=31764 vsize=91248 CPUtime=0.69 cores=0,2,4,6
/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4202496 22126 0 0 0 67 2 0 0 20 0 1 0 346546116 93437952 22079 33554432000 4194304 7823515 140735179370752 140735179236856 5878822 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 22812 22112 354 887 0 21922 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 91248

[startup+1.50025 s]
/proc/loadavg: 2.07 2.02 2.00 4/177 31767
/proc/meminfo: memFree=27469988/32873844 swapFree=7108/7108
[pid=31766] ppid=31764 vsize=195048 CPUtime=1.49 cores=0,2,4,6
/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4202496 48050 0 0 0 143 6 0 0 20 0 1 0 346546116 199729152 48002 33554432000 4194304 7823515 140735179370752 140735179236856 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 48762 48002 354 887 0 47872 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 195048

[startup+3.10027 s]
/proc/loadavg: 2.23 2.05 2.02 4/177 31767
/proc/meminfo: memFree=26981736/32873844 swapFree=7108/7108
[pid=31766] ppid=31764 vsize=390084 CPUtime=3.09 cores=0,2,4,6
/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4202496 96761 0 0 0 296 13 0 0 20 0 1 0 346546116 399446016 96713 33554432000 4194304 7823515 140735179370752 140735179236856 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 97521 96713 354 887 0 96631 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 390084

[startup+6.30028 s]
/proc/loadavg: 2.23 2.05 2.02 3/177 31767
/proc/meminfo: memFree=25680680/32873844 swapFree=7108/7108
[pid=31766] ppid=31764 vsize=1071632 CPUtime=6.29 cores=0,2,4,6
/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4202496 266714 0 0 0 579 50 0 0 20 0 1 0 346546116 1097351168 266785 33554432000 4194304 7823515 140735179370752 140735179368344 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 267908 266785 419 887 0 267018 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1071632

[startup+12.7002 s]
/proc/loadavg: 2.19 2.05 2.01 4/177 31767
/proc/meminfo: memFree=25060164/32873844 swapFree=7108/7108
[pid=31766] ppid=31764 vsize=1482648 CPUtime=12.69 cores=0,2,4,6
/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4202496 370842 0 0 0 1166 103 0 0 20 0 1 0 346546116 1518231552 369261 33554432000 4194304 7823515 140735179370752 140735179366936 5808604 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 370662 369261 460 887 0 369772 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1482648

[startup+25.5003 s]
/proc/loadavg: 2.16 2.04 2.01 4/177 31767
/proc/meminfo: memFree=25014748/32873844 swapFree=7108/7108
[pid=31766] ppid=31764 vsize=1515212 CPUtime=25.48 cores=0,2,4,6
/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4202496 378837 0 0 0 2443 105 0 0 20 0 1 0 346546116 1551577088 377256 33554432000 4194304 7823515 140735179370752 140735179367448 5422761 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 378803 377256 461 887 0 377913 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1515212

[startup+51.1005 s]
/proc/loadavg: 2.11 2.04 2.01 4/177 31767
/proc/meminfo: memFree=24567572/32873844 swapFree=7108/7108
[pid=31766] ppid=31764 vsize=1755932 CPUtime=51.08 cores=0,2,4,6
/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4202496 437757 0 0 0 4993 115 0 0 20 0 1 0 346546116 1798074368 436176 33554432000 4194304 7823515 140735179370752 140735179367448 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 438983 436176 462 887 0 438093 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1755932

[startup+102.3 s]
/proc/loadavg: 2.04 2.03 2.01 3/177 31768
/proc/meminfo: memFree=24033300/32873844 swapFree=7108/7108
[pid=31766] ppid=31764 vsize=2035532 CPUtime=102.28 cores=0,2,4,6
/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4202496 507723 0 0 0 10071 157 0 0 20 0 1 0 346546116 2084384768 504338 33554432000 4194304 7823515 140735179370752 140735179367448 4243696 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 508883 504338 462 887 0 507993 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2035532

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 4/177 31768
/proc/meminfo: memFree=23589196/32873844 swapFree=7108/7108
[pid=31766] ppid=31764 vsize=2236880 CPUtime=162.27 cores=0,2,4,6
/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4202496 538373 0 0 0 16063 164 0 0 20 0 1 0 346546116 2290565120 553895 33554432000 4194304 7823515 140735179370752 140735179366808 5803635 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 559220 553895 462 887 0 558330 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 2236880

[startup+222.307 s]
/proc/loadavg: 2.00 2.02 2.00 4/177 31768
/proc/meminfo: memFree=23432108/32873844 swapFree=7108/7108
[pid=31766] ppid=31764 vsize=2378272 CPUtime=222.27 cores=0,2,4,6
/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4202496 570749 0 0 0 22058 169 0 0 20 0 1 0 346546116 2435350528 587293 33554432000 4194304 7823515 140735179370752 140735179366616 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 594568 587293 462 887 0 593678 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 2378272

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 5/177 31768
/proc/meminfo: memFree=22891744/32873844 swapFree=7108/7108
[pid=31766] ppid=31764 vsize=2625656 CPUtime=282.25 cores=0,2,4,6
/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4202496 631332 0 0 0 28043 182 0 0 20 0 1 0 346546116 2688671744 647876 33554432000 4194304 7823515 140735179370752 140735179366616 5803619 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 656414 647876 462 887 0 655524 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 2625656

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/177 31768
/proc/meminfo: memFree=22613020/32873844 swapFree=7108/7108
[pid=31766] ppid=31764 vsize=2785284 CPUtime=342.24 cores=0,2,4,6
/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4202496 669149 0 0 0 34035 189 0 0 20 0 1 0 346546116 2852130816 685693 33554432000 4194304 7823515 140735179370752 140735179366616 5803600 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 696321 685693 462 887 0 695431 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 2785284

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 31772
/proc/meminfo: memFree=22381664/32873844 swapFree=7108/7108
[pid=31766] ppid=31764 vsize=2907028 CPUtime=402.23 cores=0,2,4,6
/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4202496 700888 0 0 0 40027 196 0 0 20 0 1 0 346546116 2976796672 717432 33554432000 4194304 7823515 140735179370752 140735179366616 4237136 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 726757 717432 462 887 0 725867 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 2907028

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 31772
/proc/meminfo: memFree=22129980/32873844 swapFree=7108/7108
[pid=31766] ppid=31764 vsize=3044956 CPUtime=462.22 cores=0,2,4,6
/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4202496 735866 0 0 0 46020 202 0 0 20 0 1 0 346546116 3118034944 752410 33554432000 4194304 7823515 140735179370752 140735179366616 5803635 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 761239 752410 462 887 0 760349 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 3044956

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 31772
/proc/meminfo: memFree=21838856/32873844 swapFree=7108/7108
[pid=31766] ppid=31764 vsize=3201060 CPUtime=522.21 cores=0,2,4,6
/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4202496 774076 0 0 0 52010 211 0 0 20 0 1 0 346546116 3277885440 790620 33554432000 4194304 7823515 140735179370752 140735179366616 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 800265 790620 462 887 0 799375 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 3201060

[startup+582.3 s]
/proc/loadavg: 2.03 2.01 2.00 4/177 31772
/proc/meminfo: memFree=21543020/32873844 swapFree=7108/7108
[pid=31766] ppid=31764 vsize=3365044 CPUtime=582.2 cores=0,2,4,6
/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4202496 810877 0 0 0 58002 218 0 0 20 0 1 0 346546116 3445805056 827421 33554432000 4194304 7823515 140735179370752 140735179366616 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 841261 827421 462 887 0 840371 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 3365044

[startup+642.3 s]

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

/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4202496 932042 0 0 0 99967 246 0 0 20 0 1 0 346546116 3945771008 948586 33554432000 4194304 7823515 140735179370752 140735179366616 5803616 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 963323 948586 462 887 0 962433 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 3853292

[startup+1062.3 s]
/proc/loadavg: 2.08 2.03 2.01 4/177 31777
/proc/meminfo: memFree=20393516/32873844 swapFree=7108/7108
[pid=31766] ppid=31764 vsize=3866604 CPUtime=1062.13 cores=0,2,4,6
/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4202496 937747 0 0 0 105964 249 0 0 20 0 1 0 346546116 3959402496 954291 33554432000 4194304 7823515 140735179370752 140735179366616 5803635 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 966651 954291 462 887 0 965761 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 3866604

[startup+1122.3 s]
/proc/loadavg: 2.03 2.02 2.00 4/177 31777
/proc/meminfo: memFree=20361800/32873844 swapFree=7108/7108
[pid=31766] ppid=31764 vsize=3878888 CPUtime=1122.11 cores=0,2,4,6
/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4202496 942820 0 0 0 111960 251 0 0 20 0 1 0 346546116 3971981312 959364 33554432000 4194304 7823515 140735179370752 140735179366616 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 969722 959364 462 887 0 968832 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 3878888

[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.00 4/177 31777
/proc/meminfo: memFree=20109240/32873844 swapFree=7108/7108
[pid=31766] ppid=31764 vsize=4150412 CPUtime=1182.11 cores=0,2,4,6
/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4202496 1001703 0 0 0 117951 260 0 0 20 0 1 0 346546116 4250021888 1018247 33554432000 4194304 7823515 140735179370752 140735179366616 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 1037603 1018247 462 887 0 1036713 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 4150412

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/177 31777
/proc/meminfo: memFree=20073556/32873844 swapFree=7108/7108
[pid=31766] ppid=31764 vsize=4159628 CPUtime=1242.1 cores=0,2,4,6
/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4202496 1005822 0 0 0 123948 262 0 0 20 0 1 0 346546116 4259459072 1022366 33554432000 4194304 7823515 140735179370752 140735179366616 5803600 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 1039907 1022366 462 887 0 1039017 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 4159628

[startup+1302.3 s]
/proc/loadavg: 2.10 2.04 2.01 4/177 31778
/proc/meminfo: memFree=20041096/32873844 swapFree=7108/7108
[pid=31766] ppid=31764 vsize=4168840 CPUtime=1302.09 cores=0,2,4,6
/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4202496 1009805 0 0 0 129944 265 0 0 20 0 1 0 346546116 4268892160 1026349 33554432000 4194304 7823515 140735179370752 140735179366616 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 1042210 1026349 462 887 0 1041320 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 4168840

[startup+1362.3 s]
/proc/loadavg: 2.03 2.03 2.00 4/177 31778
/proc/meminfo: memFree=20012108/32873844 swapFree=7108/7108
[pid=31766] ppid=31764 vsize=4177032 CPUtime=1362.09 cores=0,2,4,6
/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4202496 1013192 0 0 0 135942 267 0 0 20 0 1 0 346546116 4277280768 1029736 33554432000 4194304 7823515 140735179370752 140735179366616 5803600 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 1044258 1029736 462 887 0 1043368 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 4177032

[startup+1422.3 s]
/proc/loadavg: 2.01 2.02 2.00 4/177 31778
/proc/meminfo: memFree=19764012/32873844 swapFree=7108/7108
[pid=31766] ppid=31764 vsize=4184200 CPUtime=1422.08 cores=0,2,4,6
/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4202496 1016295 0 0 0 141940 268 0 0 20 0 1 0 346546116 4284620800 1032839 33554432000 4194304 7823515 140735179370752 140735179366616 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 1046050 1032839 462 887 0 1045160 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 4184200

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/177 31778
/proc/meminfo: memFree=19736884/32873844 swapFree=7108/7108
[pid=31766] ppid=31764 vsize=4192388 CPUtime=1482.06 cores=0,2,4,6
/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4202496 1019733 0 0 0 147937 269 0 0 20 0 1 0 346546116 4293005312 1036277 33554432000 4194304 7823515 140735179370752 140735179366616 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 1048097 1036277 462 887 0 1047207 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 4192388

[startup+1542.31 s]
/proc/loadavg: 2.08 2.04 2.01 4/177 31778
/proc/meminfo: memFree=19707276/32873844 swapFree=7108/7108
[pid=31766] ppid=31764 vsize=4201604 CPUtime=1542.06 cores=0,2,4,6
/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4202496 1023704 0 0 0 153935 271 0 0 20 0 1 0 346546116 4302442496 1040248 33554432000 4194304 7823515 140735179370752 140735179366616 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 1050401 1040248 462 887 0 1049511 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 4201604

[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 2.00 4/178 31782
/proc/meminfo: memFree=19691052/32873844 swapFree=7108/7108
[pid=31766] ppid=31764 vsize=4205700 CPUtime=1602.04 cores=0,2,4,6
/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4202496 1025408 0 0 0 159932 272 0 0 20 0 1 0 346546116 4306636800 1041952 33554432000 4194304 7823515 140735179370752 140735179366616 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 1051425 1041952 462 887 0 1050535 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 4205700

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 4/177 31782
/proc/meminfo: memFree=19401052/32873844 swapFree=7108/7108
[pid=31766] ppid=31764 vsize=4530608 CPUtime=1662.04 cores=0,2,4,6
/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4202496 1095033 0 0 0 165920 284 0 0 20 0 1 0 346546116 4639342592 1111577 33554432000 4194304 7823515 140735179370752 140735179366616 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 1132652 1111577 462 887 0 1131762 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 4530608

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/177 31782
/proc/meminfo: memFree=19374544/32873844 swapFree=7108/7108
[pid=31766] ppid=31764 vsize=4537776 CPUtime=1722.03 cores=0,2,4,6
/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4202496 1098170 0 0 0 171917 286 0 0 20 0 1 0 346546116 4646682624 1114714 33554432000 4194304 7823515 140735179370752 140735179366616 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 1134444 1114714 462 887 0 1133554 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 4537776

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/176 31782
/proc/meminfo: memFree=19350896/32873844 swapFree=7108/7108
[pid=31766] ppid=31764 vsize=4545968 CPUtime=1782.02 cores=0,2,4,6
/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4202496 1101451 0 0 0 177915 287 0 0 20 0 1 0 346546116 4655071232 1117995 33554432000 4194304 7823515 140735179370752 140735179366616 5803639 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 1136492 1117995 462 887 0 1135602 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 4545968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/173 31811
/proc/meminfo: memFree=23562100/32873844 swapFree=7108/7108
[pid=31766] ppid=31764 vsize=4546988 CPUtime=1800.02 cores=0,2,4,6
/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4202496 1102134 0 0 0 179715 287 0 0 20 0 1 0 346546116 4656115712 1118678 33554432000 4194304 7823515 140735179370752 140735179366616 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 1136747 1118678 462 887 0 1135857 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 4546988

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -31766

Solver just ended. Dumping a history of the last processes samples

[startup+1801.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/174 31812
/proc/meminfo: memFree=23544600/32873844 swapFree=7108/7108
[pid=31766] ppid=31764 vsize=4546988 CPUtime=1801.21 cores=0,2,4,6
/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4202496 1102168 0 0 0 179834 287 0 0 20 0 1 0 346546116 4656115712 1118712 33554432000 4194304 7823515 140735179370752 140735179366080 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 1136747 1118712 462 887 0 1135857 0
Current children cumulated CPU time (s) 1801.21
Current children cumulated vsize (KiB) 4546988

[startup+1802.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31822
/proc/meminfo: memFree=23438448/32873844 swapFree=7108/7108
[pid=31766] ppid=31764 vsize=4546988 CPUtime=1802.01 cores=0,2,4,6
/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4202496 1102192 0 0 0 179914 287 0 0 20 0 1 0 346546116 4656115712 1118736 33554432000 4194304 7823515 140735179370752 140735179366080 5803600 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 1136747 1118736 462 887 0 1135857 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 4546988

[startup+1802.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31822
/proc/meminfo: memFree=23438448/32873844 swapFree=7108/7108
[pid=31766] ppid=31764 vsize=0 CPUtime=1802.22 cores=0,2,4,6
/proc/31766/stat : 31766 (pbscip.linux.x8) R 31764 31766 30579 0 -1 4203524 1102192 0 0 0 179915 307 0 0 20 0 1 0 346546116 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31766/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.22
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.57
CPU time (s): 1802.29
CPU user time (s): 1799.15
CPU system time (s): 3.13852
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 4546988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.15
system time used= 3.13852
maximum resident set size= 4474944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1102192
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= 3
involuntary context switches= 1859

runsolver used 7.31589 second user time and 16.1125 second system time

The end

Launcher Data

Begin job on node139 at 2012-06-04 12:03:36
IDJOB=3743278
IDBENCH=90949
IDSOLVER=2321
FILE ID=node139/3743278-1338804215
RUNJOBID= node139-1338784461-30595
PBS_JOBID= 14636850
Free space on /tmp= 71036 MiB

SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_10null20mast_rapportOE1.0_TMAX180_K192_cod2.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3743278-1338804215/watcher-3743278-1338804215 -o /tmp/evaluation-result-3743278-1338804215/solver-3743278-1338804215 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3743278-1338804215.opb

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

MD5SUM BENCH= 1a988adb2582fdda2a937cfe38fb69f2
RANDOM SEED=1038470576

node139.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.750
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.50
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.750
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	: 5331.91
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.750
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	: 5331.90
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.750
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	: 5331.91
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.750
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	: 5331.92
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.750
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	: 5331.91
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.750
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	: 5331.91
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.750
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27711572 kB
Buffers:          520376 kB
Cached:          3448924 kB
SwapCached:          828 kB
Active:          2123296 kB
Inactive:        2159792 kB
Active(anon):     307724 kB
Inactive(anon):     7952 kB
Active(file):    1815572 kB
Inactive(file):  2151840 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67104688 kB
Dirty:             74596 kB
Writeback:             0 kB
AnonPages:        321732 kB
Mapped:            12912 kB
Shmem:                 8 kB
Slab:             737568 kB
SReclaimable:     179124 kB
SUnreclaim:       558444 kB
KernelStack:        1448 kB
PageTables:         4564 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     431656 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71028 MiB
End job on node139 at 2012-06-04 12:33:38