Trace number 3743432

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_20null10mast_rapportOE1.0_TMAX180_K192_cod2.opb
MD5SUMd26c1c744a6cc6b94bc88bd85095e6b9
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-36160
Best CPU time to get the best result obtained on this benchmark746.157
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 1427
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 187909
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 1024
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 187909
Number of bits of the biggest sum of numbers18
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

4.09/4.12	c SCIP version 1.1.0.7
4.09/4.12	c LP-Solver SoPlex 1.4.1
4.09/4.12	c user parameter file <scip.set> not found - using default parameters
4.09/4.12	c read problem <HOME/instance-3743432-1338806018.opb>
4.09/4.12	c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
5.59/5.60	c start presolving problem
5.59/5.60	c presolving:
8.49/8.50	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.39/11.48	c (round 2) 671 del vars, 1977 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 398809 upgd conss, 81778 impls, 1977 clqs
11.99/12.04	c (round 3) 674 del vars, 2644 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 81786 impls, 1977 clqs
66.38/66.47	c (round 4) 1350 del vars, 2644 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12227162 impls, 1977 clqs
66.58/66.68	c (round 5) 1350 del vars, 3320 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12231168 impls, 1977 clqs
67.58/67.62	c (round 6) 3354 del vars, 3320 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12256858 impls, 1977 clqs
67.78/67.84	c (round 7) 3354 del vars, 5324 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12256866 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-3743432-1338806018/watcher-3743432-1338806018 -o /tmp/evaluation-result-3743432-1338806018/solver-3743432-1338806018 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3743432-1338806018.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.00 2.01 2.00 3/175 31859
/proc/meminfo: memFree=27713416/32873844 swapFree=7108/7108
[pid=31859] ppid=31857 vsize=8948 CPUtime=0 cores=0,2,4,6
/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4202496 1548 0 0 0 0 0 0 0 20 0 1 0 346726465 9162752 1501 33554432000 4194304 7823515 140734667161568 140734667093480 5878822 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 2237 1514 349 887 0 1347 0

[startup+0.0414629 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 31859
/proc/meminfo: memFree=27713416/32873844 swapFree=7108/7108
[pid=31859] ppid=31857 vsize=18412 CPUtime=0.03 cores=0,2,4,6
/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4202496 3967 0 0 0 3 0 0 0 20 0 1 0 346726465 18853888 3920 33554432000 4194304 7823515 140734667161568 140734667027672 4403136 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 4603 3920 354 887 0 3713 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18412

[startup+0.100321 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 31859
/proc/meminfo: memFree=27713416/32873844 swapFree=7108/7108
[pid=31859] ppid=31857 vsize=29144 CPUtime=0.08 cores=0,2,4,6
/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4202496 6657 0 0 0 8 0 0 0 20 0 1 0 346726465 29843456 6610 33554432000 4194304 7823515 140734667161568 140734667027672 4512305 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 7286 6610 354 887 0 6396 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 29144

[startup+0.300313 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 31859
/proc/meminfo: memFree=27713416/32873844 swapFree=7108/7108
[pid=31859] ppid=31857 vsize=54060 CPUtime=0.29 cores=0,2,4,6
/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4202496 12849 0 0 0 28 1 0 0 20 0 1 0 346726465 55357440 12802 33554432000 4194304 7823515 140734667161568 140734667027672 6908082 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 13515 12803 354 887 0 12625 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54060

[startup+0.700319 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 31859
/proc/meminfo: memFree=27713416/32873844 swapFree=7108/7108
[pid=31859] ppid=31857 vsize=92280 CPUtime=0.69 cores=0,2,4,6
/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4202496 22418 0 0 0 66 3 0 0 20 0 1 0 346726465 94494720 22371 33554432000 4194304 7823515 140734667161568 140734667027672 4511625 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 23070 22371 354 887 0 22180 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92280

[startup+1.50031 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 31860
/proc/meminfo: memFree=27470864/32873844 swapFree=7108/7108
[pid=31859] ppid=31857 vsize=195380 CPUtime=1.49 cores=0,2,4,6
/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4202496 48134 0 0 0 143 6 0 0 20 0 1 0 346726465 200069120 48087 33554432000 4194304 7823515 140734667161568 140734667027672 6908057 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 48845 48087 354 887 0 47955 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 195380

[startup+3.10033 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 31860
/proc/meminfo: memFree=27123168/32873844 swapFree=7108/7108
[pid=31859] ppid=31857 vsize=394516 CPUtime=3.09 cores=0,2,4,6
/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4202496 97848 0 0 0 297 12 0 0 20 0 1 0 346726465 403984384 97801 33554432000 4194304 7823515 140734667161568 140734667027672 6908057 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 98629 97801 354 887 0 97739 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 394516

[startup+6.30032 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 31860
/proc/meminfo: memFree=25736720/32873844 swapFree=7108/7108
[pid=31859] ppid=31857 vsize=1072016 CPUtime=6.29 cores=0,2,4,6
/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4202496 266775 0 0 0 581 48 0 0 20 0 1 0 346726465 1097744384 266847 33554432000 4194304 7823515 140734667161568 140734667158504 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 268004 266847 419 887 0 267114 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1072016

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 31860
/proc/meminfo: memFree=25056416/32873844 swapFree=7108/7108
[pid=31859] ppid=31857 vsize=1482648 CPUtime=12.69 cores=0,2,4,6
/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4202496 370840 0 0 0 1168 101 0 0 20 0 1 0 346726465 1518231552 369260 33554432000 4194304 7823515 140734667161568 140734667157272 5803658 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 370662 369260 461 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.00 2.01 2.00 3/177 31861
/proc/meminfo: memFree=25013868/32873844 swapFree=7108/7108
[pid=31859] ppid=31857 vsize=1519504 CPUtime=25.48 cores=0,2,4,6
/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4202496 379618 0 0 0 2445 103 0 0 20 0 1 0 346726465 1555972096 378038 33554432000 4194304 7823515 140734667161568 140734667158264 4787339 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 379876 378038 461 887 0 378986 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1519504

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31861
/proc/meminfo: memFree=24555408/32873844 swapFree=7108/7108
[pid=31859] ppid=31857 vsize=1757460 CPUtime=51.08 cores=0,2,4,6
/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4202496 438087 0 0 0 4994 114 0 0 20 0 1 0 346726465 1799639040 436507 33554432000 4194304 7823515 140734667161568 140734667158264 4241312 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 439365 436507 462 887 0 438475 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1757460

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31863
/proc/meminfo: memFree=23937800/32873844 swapFree=7108/7108
[pid=31859] ppid=31857 vsize=2036840 CPUtime=102.28 cores=0,2,4,6
/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4202496 508012 0 0 0 10075 153 0 0 20 0 1 0 346726465 2085724160 504628 33554432000 4194304 7823515 140734667161568 140734667158264 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 509210 504628 462 887 0 508320 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2036840

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31863
/proc/meminfo: memFree=23524644/32873844 swapFree=7108/7108
[pid=31859] ppid=31857 vsize=2238868 CPUtime=162.27 cores=0,2,4,6
/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4202496 538365 0 0 0 16067 160 0 0 20 0 1 0 346726465 2292600832 553888 33554432000 4194304 7823515 140734667161568 140734667157624 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 559717 553888 462 887 0 558827 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 2238868

[startup+222.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 31863
/proc/meminfo: memFree=23170584/32873844 swapFree=7108/7108
[pid=31859] ppid=31857 vsize=2380260 CPUtime=222.25 cores=0,2,4,6
/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4202496 570873 0 0 0 22061 164 0 0 20 0 1 0 346726465 2437386240 587418 33554432000 4194304 7823515 140734667161568 140734667157432 5803612 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 595065 587418 462 887 0 594175 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 2380260

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 31863
/proc/meminfo: memFree=22709332/32873844 swapFree=7108/7108
[pid=31859] ppid=31857 vsize=2622220 CPUtime=282.24 cores=0,2,4,6
/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4202496 630096 0 0 0 28050 174 0 0 20 0 1 0 346726465 2685153280 646641 33554432000 4194304 7823515 140734667161568 140734667157432 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 655555 646641 462 887 0 654665 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 2622220

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31863
/proc/meminfo: memFree=22364640/32873844 swapFree=7108/7108
[pid=31859] ppid=31857 vsize=2783284 CPUtime=342.24 cores=0,2,4,6
/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4202496 668464 0 0 0 34043 181 0 0 20 0 1 0 346726465 2850082816 685009 33554432000 4194304 7823515 140734667161568 140734667157432 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 695821 685009 462 887 0 694931 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 2783284

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31867
/proc/meminfo: memFree=22202964/32873844 swapFree=7108/7108
[pid=31859] ppid=31857 vsize=2906052 CPUtime=402.22 cores=0,2,4,6
/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4202496 700514 0 0 0 40034 188 0 0 20 0 1 0 346726465 2975797248 717059 33554432000 4194304 7823515 140734667161568 140734667157432 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 726513 717059 462 887 0 725623 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 2906052

[startup+462.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 31867
/proc/meminfo: memFree=21824428/32873844 swapFree=7108/7108
[pid=31859] ppid=31857 vsize=3174484 CPUtime=462.22 cores=0,2,4,6
/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4202496 763415 0 0 0 46021 201 0 0 20 0 1 0 346726465 3250671616 779960 33554432000 4194304 7823515 140734667161568 140734667157432 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 793621 779960 462 887 0 792731 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 3174484

[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 31867
/proc/meminfo: memFree=21639572/32873844 swapFree=7108/7108
[pid=31859] ppid=31857 vsize=3201104 CPUtime=522.21 cores=0,2,4,6
/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4202496 774089 0 0 0 52016 205 0 0 20 0 1 0 346726465 3277930496 790634 33554432000 4194304 7823515 140734667161568 140734667157432 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 800276 790634 462 887 0 799386 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 3201104

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31867
/proc/meminfo: memFree=21348324/32873844 swapFree=7108/7108
[pid=31859] ppid=31857 vsize=3363044 CPUtime=582.2 cores=0,2,4,6
/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4202496 810076 0 0 0 58009 211 0 0 20 0 1 0 346726465 3443757056 826621 33554432000 4194304 7823515 140734667161568 140734667157432 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 840761 826621 462 887 0 839871 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 3363044

[startup+642.3 s]

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

/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4202496 937718 0 0 0 105973 240 0 0 20 0 1 0 346726465 3959447552 954263 33554432000 4194304 7823515 140734667161568 140734667157432 5803616 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 966662 954263 462 887 0 965772 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 3866648

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31872
/proc/meminfo: memFree=20314788/32873844 swapFree=7108/7108
[pid=31859] ppid=31857 vsize=3876888 CPUtime=1122.11 cores=0,2,4,6
/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4202496 942031 0 0 0 111970 241 0 0 20 0 1 0 346726465 3969933312 958576 33554432000 4194304 7823515 140734667161568 140734667157432 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 969222 958576 462 887 0 968332 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 3876888

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31872
/proc/meminfo: memFree=20065080/32873844 swapFree=7108/7108
[pid=31859] ppid=31857 vsize=4149436 CPUtime=1182.11 cores=0,2,4,6
/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4202496 1001320 0 0 0 117960 251 0 0 20 0 1 0 346726465 4249022464 1017865 33554432000 4194304 7823515 140734667161568 140734667157432 5803600 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 1037359 1017865 462 887 0 1036469 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 4149436

[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 31872
/proc/meminfo: memFree=20035348/32873844 swapFree=7108/7108
[pid=31859] ppid=31857 vsize=4159672 CPUtime=1242.1 cores=0,2,4,6
/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4202496 1005715 0 0 0 123958 252 0 0 20 0 1 0 346726465 4259504128 1022260 33554432000 4194304 7823515 140734667161568 140734667157432 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 1039918 1022260 462 887 0 1039028 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 4159672

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 31872
/proc/meminfo: memFree=20002152/32873844 swapFree=7108/7108
[pid=31859] ppid=31857 vsize=4168888 CPUtime=1302.1 cores=0,2,4,6
/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4202496 1009737 0 0 0 129955 255 0 0 20 0 1 0 346726465 4268941312 1026282 33554432000 4194304 7823515 140734667161568 140734667157432 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 1042222 1026282 462 887 0 1041332 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 4168888

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31873
/proc/meminfo: memFree=19969684/32873844 swapFree=7108/7108
[pid=31859] ppid=31857 vsize=4178100 CPUtime=1362.09 cores=0,2,4,6
/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4202496 1013683 0 0 0 135952 257 0 0 20 0 1 0 346726465 4278374400 1030228 33554432000 4194304 7823515 140734667161568 140734667157432 5803612 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 1044525 1030228 462 887 0 1043635 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 4178100

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31873
/proc/meminfo: memFree=19938712/32873844 swapFree=7108/7108
[pid=31859] ppid=31857 vsize=4187316 CPUtime=1422.08 cores=0,2,4,6
/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4202496 1017471 0 0 0 141949 259 0 0 20 0 1 0 346726465 4287811584 1034016 33554432000 4194304 7823515 140734667161568 140734667157432 5803619 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 1046829 1034016 462 887 0 1045939 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 4187316

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31873
/proc/meminfo: memFree=19696072/32873844 swapFree=7108/7108
[pid=31859] ppid=31857 vsize=4195508 CPUtime=1482.06 cores=0,2,4,6
/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4202496 1020930 0 0 0 147946 260 0 0 20 0 1 0 346726465 4296200192 1037475 33554432000 4194304 7823515 140734667161568 140734667157432 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 1048877 1037475 462 887 0 1047987 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 4195508

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31873
/proc/meminfo: memFree=19671796/32873844 swapFree=7108/7108
[pid=31859] ppid=31857 vsize=4201652 CPUtime=1542.06 cores=0,2,4,6
/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4202496 1023573 0 0 0 153944 262 0 0 20 0 1 0 346726465 4302491648 1040118 33554432000 4194304 7823515 140734667161568 140734667157432 5803658 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 1050413 1040118 462 887 0 1049523 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 4201652

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31876
/proc/meminfo: memFree=19650488/32873844 swapFree=7108/7108
[pid=31859] ppid=31857 vsize=4204720 CPUtime=1602.05 cores=0,2,4,6
/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4202496 1025084 0 0 0 159942 263 0 0 20 0 1 0 346726465 4305633280 1041629 33554432000 4194304 7823515 140734667161568 140734667157432 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 1051180 1041629 462 887 0 1050290 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 4204720

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31900
/proc/meminfo: memFree=19363456/32873844 swapFree=7108/7108
[pid=31859] ppid=31857 vsize=4527584 CPUtime=1662.04 cores=0,2,4,6
/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4202496 1093661 0 0 0 165931 273 0 0 20 0 1 0 346726465 4636246016 1110206 33554432000 4194304 7823515 140734667161568 140734667157432 5803612 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 1131896 1110206 462 887 0 1131006 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 4527584

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 31900
/proc/meminfo: memFree=19339436/32873844 swapFree=7108/7108
[pid=31859] ppid=31857 vsize=4534752 CPUtime=1722.03 cores=0,2,4,6
/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4202496 1096904 0 0 0 171928 275 0 0 20 0 1 0 346726465 4643586048 1113449 33554432000 4194304 7823515 140734667161568 140734667157432 5803600 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 1133688 1113449 462 887 0 1132798 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 4534752

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 31900
/proc/meminfo: memFree=19316028/32873844 swapFree=7108/7108
[pid=31859] ppid=31857 vsize=4542940 CPUtime=1782.02 cores=0,2,4,6
/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4202496 1100212 0 0 0 177926 276 0 0 20 0 1 0 346726465 4651970560 1116757 33554432000 4194304 7823515 140734667161568 140734667157432 5803639 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 1135735 1116757 462 887 0 1134845 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 4542940



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/174 31929
/proc/meminfo: memFree=23566472/32873844 swapFree=7108/7108
[pid=31859] ppid=31857 vsize=4544988 CPUtime=1800.02 cores=0,2,4,6
/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4202496 1101147 0 0 0 179726 276 0 0 20 0 1 0 346726465 4654067712 1117692 33554432000 4194304 7823515 140734667161568 140734667157432 5803647 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 1136247 1117692 462 887 0 1135357 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 4544988

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -31859

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

[startup+1801.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 31930
/proc/meminfo: memFree=23555312/32873844 swapFree=7108/7108
[pid=31859] ppid=31857 vsize=4546012 CPUtime=1801.11 cores=0,2,4,6
/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4202496 1101476 0 0 0 179835 276 0 0 20 0 1 0 346726465 4655116288 1118021 33554432000 4194304 7823515 140734667161568 140734667157432 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 1136503 1118021 462 887 0 1135613 0
Current children cumulated CPU time (s) 1801.11
Current children cumulated vsize (KiB) 4546012

[startup+1802.2 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 31940
/proc/meminfo: memFree=23433744/32873844 swapFree=7108/7108
[pid=31859] ppid=31857 vsize=4546012 CPUtime=1801.91 cores=0,2,4,6
/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4202496 1101531 0 0 0 179915 276 0 0 20 0 1 0 346726465 4655116288 1118076 33554432000 4194304 7823515 140734667161568 140734667157432 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 1136503 1118076 462 887 0 1135613 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 4546012

[startup+1802.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 31940
/proc/meminfo: memFree=23433744/32873844 swapFree=7108/7108
[pid=31859] ppid=31857 vsize=0 CPUtime=1802.11 cores=0,2,4,6
/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4203524 1101532 0 0 0 179926 285 0 0 20 0 1 0 346726465 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.11
Current children cumulated vsize (KiB) 0

[startup+1802.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 31940
/proc/meminfo: memFree=23433744/32873844 swapFree=7108/7108
[pid=31859] ppid=31857 vsize=0 CPUtime=1802.21 cores=0,2,4,6
/proc/31859/stat : 31859 (pbscip.linux.x8) R 31857 31859 30579 0 -1 4203524 1101532 0 0 0 179926 295 0 0 20 0 1 0 346726465 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.21
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.27
CPU system time (s): 3.02454
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 4546012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.27
system time used= 3.02454
maximum resident set size= 4472308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1101532
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= 1870

runsolver used 3.65844 second user time and 9.98148 second system time

The end

Launcher Data 

Begin job on node139 at 2012-06-04 12:33:39
IDJOB=3743432
IDBENCH=91122
IDSOLVER=2321
FILE ID=node139/3743432-1338806018
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_20null10mast_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-3743432-1338806018/watcher-3743432-1338806018 -o /tmp/evaluation-result-3743432-1338806018/solver-3743432-1338806018 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3743432-1338806018.opb

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

MD5SUM BENCH= d26c1c744a6cc6b94bc88bd85095e6b9
RANDOM SEED=32897250

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:        27713844 kB
Buffers:          520624 kB
Cached:          3454416 kB
SwapCached:          828 kB
Active:          2115536 kB
Inactive:        2165048 kB
Active(anon):     299704 kB
Inactive(anon):     7952 kB
Active(file):    1815832 kB
Inactive(file):  2157096 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67104688 kB
Dirty:             74680 kB
Writeback:             0 kB
AnonPages:        395084 kB
Mapped:            12764 kB
Shmem:                 8 kB
Slab:             738704 kB
SReclaimable:     179236 kB
SUnreclaim:       559468 kB
KernelStack:        1464 kB
PageTables:         4248 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     423452 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     83968 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= 71044 MiB
End job on node139 at 2012-06-04 13:03:42