Trace number 3743295

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
PB11: SCIP spx E_2 2011-06-10 (fixed)? (TO) 1802.28 1802.56

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_50null50mast_rapportOE1.0_TMAX300_K192_cod2.opb
MD5SUMb2e2f53405c70867914e951ebcc4a7e3
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-1888
Best CPU time to get the best result obtained on this benchmark1146.44
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 892
Biggest coefficient in the objective function 32
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 28513
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 64167
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3743295-1338797196.opb>
3.59/3.69	c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
3.59/3.69	c problem read
3.59/3.69	c presolving settings loaded
5.89/5.97	c presolving:
10.09/10.10	c (round 1) 0 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 398809 upgd conss, 67806 impls, 1977 clqs
11.29/11.36	c (round 2) 0 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 67806 impls, 1977 clqs
134.47/134.50	c (round 3) 679 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 17190162 impls, 1977 clqs
134.97/135.02	c (round 4) 679 del vars, 2653 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 17195504 impls, 1977 clqs
136.87/136.98	c (round 5) 2685 del vars, 2653 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 17228896 impls, 1977 clqs
137.38/137.49	c (round 6) 2685 del vars, 4659 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 17228904 impls, 1977 clqs
264.74/264.87	c (round 7) 3355 del vars, 4659 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 19823854 impls, 1977 clqs
265.24/265.39	c (round 8) 3355 del vars, 5326 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 19823862 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-3743295-1338797196/watcher-3743295-1338797196 -o /tmp/evaluation-result-3743295-1338797196/solver-3743295-1338797196 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3743295-1338797196.opb -t 1800 -m 15500 

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.02 2.01 2.00 3/176 14301
/proc/meminfo: memFree=23734904/32873844 swapFree=7628/7628
[pid=14301] ppid=14299 vsize=9588 CPUtime=0 cores=1,3,5,7
/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4202496 1510 0 0 0 0 0 0 0 20 0 1 0 345848269 9818112 1465 33554432000 4194304 9016284 140735204069472 140736686073048 7824814 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14301/statm: 2397 1467 311 1178 0 1215 0

[startup+0.0927441 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 14301
/proc/meminfo: memFree=23734904/32873844 swapFree=7628/7628
[pid=14301] ppid=14299 vsize=34640 CPUtime=0.08 cores=1,3,5,7
/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4202496 7662 0 0 0 7 1 0 0 20 0 1 0 345848269 35471360 7617 33554432000 4194304 9016284 140735204069472 140736686073048 7928096 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14301/statm: 8660 7617 360 1178 0 7478 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 34640

[startup+0.100335 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 14301
/proc/meminfo: memFree=23734904/32873844 swapFree=7628/7628
[pid=14301] ppid=14299 vsize=35892 CPUtime=0.09 cores=1,3,5,7
/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4202496 7936 0 0 0 8 1 0 0 20 0 1 0 345848269 36753408 7891 33554432000 4194304 9016284 140735204069472 140736686073048 7928096 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14301/statm: 8973 7891 360 1178 0 7791 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35892

[startup+0.300297 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 14301
/proc/meminfo: memFree=23734904/32873844 swapFree=7628/7628
[pid=14301] ppid=14299 vsize=61880 CPUtime=0.29 cores=1,3,5,7
/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4202496 14464 0 0 0 27 2 0 0 20 0 1 0 345848269 63365120 14419 33554432000 4194304 9016284 140735204069472 140736686073048 6418703 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14301/statm: 15470 14419 360 1178 0 14288 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 61880

[startup+0.700309 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 14301
/proc/meminfo: memFree=23734904/32873844 swapFree=7628/7628
[pid=14301] ppid=14299 vsize=114456 CPUtime=0.68 cores=1,3,5,7
/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4202496 27570 0 0 0 64 4 0 0 20 0 1 0 345848269 117202944 27525 33554432000 4194304 9016284 140735204069472 140736686073048 7870448 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14301/statm: 28614 27525 360 1178 0 27432 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 114456

[startup+1.50028 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 14302
/proc/meminfo: memFree=23577772/32873844 swapFree=7628/7628
[pid=14301] ppid=14299 vsize=234108 CPUtime=1.49 cores=1,3,5,7
/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4202496 57399 0 0 0 139 10 0 0 20 0 1 0 345848269 239726592 57354 33554432000 4194304 9016284 140735204069472 140735203933368 4447120 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14301/statm: 58527 57354 360 1178 0 57345 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 234108

[startup+3.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 14302
/proc/meminfo: memFree=23412728/32873844 swapFree=7628/7628
[pid=14301] ppid=14299 vsize=450456 CPUtime=3.09 cores=1,3,5,7
/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4202496 111569 0 0 0 291 18 0 0 20 0 1 0 345848269 461266944 111524 33554432000 4194304 9016284 140735204069472 140735203933368 4992855 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14301/statm: 112614 111524 360 1178 0 111432 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 450456

[startup+6.30031 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 14302
/proc/meminfo: memFree=22507084/32873844 swapFree=7628/7628
[pid=14301] ppid=14299 vsize=1175068 CPUtime=6.29 cores=1,3,5,7
/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4202496 290857 0 0 0 585 44 0 0 20 0 1 0 345848269 1203269632 291270 33554432000 4194304 9016284 140735204069472 140735204065144 5215747 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14301/statm: 293767 291270 474 1178 0 292585 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1175068

[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 14302
/proc/meminfo: memFree=22118800/32873844 swapFree=7628/7628
[pid=14301] ppid=14299 vsize=1495020 CPUtime=12.69 cores=1,3,5,7
/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4202496 407924 0 0 0 1207 62 0 0 20 0 1 0 345848269 1530900480 370272 33554432000 4194304 9016284 140735204069472 140735204065224 6480393 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14301/statm: 373755 370272 529 1178 0 372573 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1495020

[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 14302
/proc/meminfo: memFree=22064872/32873844 swapFree=7628/7628
[pid=14301] ppid=14299 vsize=1567356 CPUtime=25.49 cores=1,3,5,7
/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4202496 425087 0 0 0 2484 65 0 0 20 0 1 0 345848269 1604972544 387435 33554432000 4194304 9016284 140735204069472 140735204064584 6480389 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14301/statm: 391839 387435 529 1178 0 390657 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1567356

[startup+51.1003 s]
/proc/loadavg: 2.09 2.02 2.01 3/177 14302
/proc/meminfo: memFree=21862828/32873844 swapFree=7628/7628
[pid=14301] ppid=14299 vsize=1766988 CPUtime=51.08 cores=1,3,5,7
/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4202496 474417 0 0 0 5036 72 0 0 20 0 1 0 345848269 1809395712 436765 33554432000 4194304 9016284 140735204069472 140735204064920 4222927 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14301/statm: 441747 436765 529 1178 0 440565 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1766988

[startup+102.307 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 14303
/proc/meminfo: memFree=21629752/32873844 swapFree=7628/7628
[pid=14301] ppid=14299 vsize=1991688 CPUtime=102.28 cores=1,3,5,7
/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4202496 529597 0 0 0 10148 80 0 0 20 0 1 0 345848269 2039488512 491945 33554432000 4194304 9016284 140735204069472 140735204065064 4222983 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14301/statm: 497922 491945 529 1178 0 496740 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1991688

[startup+162.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 14303
/proc/meminfo: memFree=20976160/32873844 swapFree=7628/7628
[pid=14301] ppid=14299 vsize=2356416 CPUtime=162.26 cores=1,3,5,7
/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4202496 601298 0 0 0 16132 94 0 0 20 0 1 0 345848269 2412969984 581528 33554432000 4194304 9016284 140735204069472 140735204064648 6480376 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14301/statm: 589104 581528 529 1178 0 587922 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 2356416

[startup+222.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 14306
/proc/meminfo: memFree=20729792/32873844 swapFree=7628/7628
[pid=14301] ppid=14299 vsize=2372648 CPUtime=222.26 cores=1,3,5,7
/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4202496 605001 0 0 0 22131 95 0 0 20 0 1 0 345848269 2429591552 585231 33554432000 4194304 9016284 140735204069472 140735204065064 6480376 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14301/statm: 593162 585231 529 1178 0 591980 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 2372648

[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 14306
/proc/meminfo: memFree=20428260/32873844 swapFree=7628/7628
[pid=14301] ppid=14299 vsize=2555080 CPUtime=282.24 cores=1,3,5,7
/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4202496 648360 0 0 0 28121 103 0 0 20 0 1 0 345848269 2616401920 628199 33554432000 4194304 9016284 140735204069472 140735204064856 6480372 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14301/statm: 638770 628199 529 1178 0 637588 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 2555080

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14306
/proc/meminfo: memFree=19920012/32873844 swapFree=7628/7628
[pid=14301] ppid=14299 vsize=2822576 CPUtime=342.24 cores=1,3,5,7
/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4202496 712859 0 0 0 34107 117 0 0 20 0 1 0 345848269 2890317824 692698 33554432000 4194304 9016284 140735204069472 140735204064856 6480360 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14301/statm: 705644 692698 529 1178 0 704462 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 2822576

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14307
/proc/meminfo: memFree=19807696/32873844 swapFree=7628/7628
[pid=14301] ppid=14299 vsize=2914100 CPUtime=402.23 cores=1,3,5,7
/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4202496 735484 0 0 0 40101 122 0 0 20 0 1 0 345848269 2984038400 715323 33554432000 4194304 9016284 140735204069472 140735204064856 6480425 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14301/statm: 728525 715323 529 1178 0 727343 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 2914100

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14307
/proc/meminfo: memFree=19517316/32873844 swapFree=7628/7628
[pid=14301] ppid=14299 vsize=3039712 CPUtime=462.22 cores=1,3,5,7
/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4202496 768608 0 0 0 46091 131 0 0 20 0 1 0 345848269 3112665088 748447 33554432000 4194304 9016284 140735204069472 140735204064856 6480407 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14301/statm: 759928 748447 529 1178 0 758746 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 3039712

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14307
/proc/meminfo: memFree=19366188/32873844 swapFree=7628/7628
[pid=14301] ppid=14299 vsize=3161252 CPUtime=522.21 cores=1,3,5,7
/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4202496 797504 0 0 0 52084 137 0 0 20 0 1 0 345848269 3237122048 777343 33554432000 4194304 9016284 140735204069472 140735204064856 6480403 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14301/statm: 790313 777343 529 1178 0 789131 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 3161252

[startup+582.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 14307
/proc/meminfo: memFree=19038236/32873844 swapFree=7628/7628
[pid=14301] ppid=14299 vsize=3306092 CPUtime=582.2 cores=1,3,5,7
/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4202496 831874 0 0 0 58075 145 0 0 20 0 1 0 345848269 3385438208 811713 33554432000 4194304 9016284 140735204069472 140735204064856 6480403 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14301/statm: 826523 811713 529 1178 0 825341 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 3306092

[startup+642.3 s]

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

/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4202496 993188 0 0 0 106026 187 0 0 20 0 1 0 345848269 4062064640 973027 33554432000 4194304 9016284 140735204069472 140735204064856 6480376 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14301/statm: 991715 973027 529 1178 0 990533 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 3966860

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14312
/proc/meminfo: memFree=17806204/32873844 swapFree=7628/7628
[pid=14301] ppid=14299 vsize=3971980 CPUtime=1122.12 cores=1,3,5,7
/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4202496 995451 0 0 0 112024 188 0 0 20 0 1 0 345848269 4067307520 975290 33554432000 4194304 9016284 140735204069472 140735204064856 6480389 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14301/statm: 992995 975290 529 1178 0 991813 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 3971980

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14312
/proc/meminfo: memFree=17772812/32873844 swapFree=7628/7628
[pid=14301] ppid=14299 vsize=3979148 CPUtime=1182.11 cores=1,3,5,7
/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4202496 998311 0 0 0 118022 189 0 0 20 0 1 0 345848269 4074647552 978150 33554432000 4194304 9016284 140735204069472 140735204064856 6480421 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14301/statm: 994787 978150 529 1178 0 993605 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 3979148

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14312
/proc/meminfo: memFree=17737076/32873844 swapFree=7628/7628
[pid=14301] ppid=14299 vsize=3988360 CPUtime=1242.1 cores=1,3,5,7
/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4202496 1002443 0 0 0 124019 191 0 0 20 0 1 0 345848269 4084080640 982282 33554432000 4194304 9016284 140735204069472 140735204064856 6480407 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14301/statm: 997090 982282 529 1178 0 995908 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 3988360

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14313
/proc/meminfo: memFree=17706012/32873844 swapFree=7628/7628
[pid=14301] ppid=14299 vsize=3998600 CPUtime=1302.1 cores=1,3,5,7
/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4202496 1006707 0 0 0 130016 194 0 0 20 0 1 0 345848269 4094566400 986546 33554432000 4194304 9016284 140735204069472 140735204064856 6480372 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14301/statm: 999650 986546 529 1178 0 998468 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 3998600

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14313
/proc/meminfo: memFree=17685944/32873844 swapFree=7628/7628
[pid=14301] ppid=14299 vsize=4007816 CPUtime=1362.08 cores=1,3,5,7
/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4202496 1010503 0 0 0 136012 196 0 0 20 0 1 0 345848269 4104003584 990342 33554432000 4194304 9016284 140735204069472 140735204064856 6480393 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14301/statm: 1001954 990342 529 1178 0 1000772 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 4007816

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14316
/proc/meminfo: memFree=17443560/32873844 swapFree=7628/7628
[pid=14301] ppid=14299 vsize=4279340 CPUtime=1422.08 cores=1,3,5,7
/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4202496 1069362 0 0 0 142001 207 0 0 20 0 1 0 345848269 4382044160 1049201 33554432000 4194304 9016284 140735204069472 140735204064856 6480429 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14301/statm: 1069835 1049201 529 1178 0 1068653 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 4279340

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14316
/proc/meminfo: memFree=17419940/32873844 swapFree=7628/7628
[pid=14301] ppid=14299 vsize=4287416 CPUtime=1482.06 cores=1,3,5,7
/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4202496 1072798 0 0 0 147997 209 0 0 20 0 1 0 345848269 4390313984 1052637 33554432000 4194304 9016284 140735204069472 140735204064856 6480393 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14301/statm: 1071854 1052637 529 1178 0 1070672 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 4287416

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14316
/proc/meminfo: memFree=17392308/32873844 swapFree=7628/7628
[pid=14301] ppid=14299 vsize=4296632 CPUtime=1542.05 cores=1,3,5,7
/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4202496 1076613 0 0 0 153994 211 0 0 20 0 1 0 345848269 4399751168 1056452 33554432000 4194304 9016284 140735204069472 140735204064856 6480372 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14301/statm: 1074158 1056452 529 1178 0 1072976 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 4296632

[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 14317
/proc/meminfo: memFree=17096884/32873844 swapFree=7628/7628
[pid=14301] ppid=14299 vsize=4305848 CPUtime=1602.04 cores=1,3,5,7
/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4202496 1080364 0 0 0 159991 213 0 0 20 0 1 0 345848269 4409188352 1060203 33554432000 4194304 9016284 140735204069472 140735204064856 6480389 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14301/statm: 1076462 1060203 529 1178 0 1075280 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 4305848

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 14356
/proc/meminfo: memFree=20126532/32873844 swapFree=7628/7628
[pid=14301] ppid=14299 vsize=4310964 CPUtime=1662.03 cores=1,3,5,7
/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4202496 1082842 0 0 0 165989 214 0 0 20 0 1 0 345848269 4414427136 1062740 33554432000 4194304 9016284 140735204069472 140735204064856 6480407 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14301/statm: 1077741 1062740 529 1178 0 1076559 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 4310964

[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 14357
/proc/meminfo: memFree=19751328/32873844 swapFree=7628/7628
[pid=14301] ppid=14299 vsize=4317108 CPUtime=1722.02 cores=1,3,5,7
/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4202496 1085347 0 0 0 171987 215 0 0 20 0 1 0 345848269 4420718592 1065617 33554432000 4194304 9016284 140735204069472 140735204064856 6480384 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14301/statm: 1079277 1065617 529 1178 0 1078095 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 4317108

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 14357
/proc/meminfo: memFree=19527668/32873844 swapFree=7628/7628
[pid=14301] ppid=14299 vsize=4324276 CPUtime=1782.01 cores=1,3,5,7
/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4202496 1088461 0 0 0 177985 216 0 0 20 0 1 0 345848269 4428058624 1069087 33554432000 4194304 9016284 140735204069472 140735204064856 6480372 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14301/statm: 1081069 1069087 529 1178 0 1079887 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 4324276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 14357
/proc/meminfo: memFree=19462552/32873844 swapFree=7628/7628
[pid=14301] ppid=14299 vsize=4327348 CPUtime=1800.02 cores=1,3,5,7
/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4202496 1089720 0 0 0 179785 217 0 0 20 0 1 0 345848269 4431204352 1070396 33554432000 4194304 9016284 140735204069472 140735204064856 6480407 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14301/statm: 1081837 1070396 529 1178 0 1080655 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 4327348

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -14301

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

[startup+1801.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 14358
/proc/meminfo: memFree=19462180/32873844 swapFree=7628/7628
[pid=14301] ppid=14299 vsize=4327348 CPUtime=1801.11 cores=1,3,5,7
/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4202496 1089742 0 0 0 179894 217 0 0 20 0 1 0 345848269 4431204352 1070472 33554432000 4194304 9016284 140735204069472 140735204064320 6480425 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14301/statm: 1081837 1070472 529 1178 0 1080655 0
Current children cumulated CPU time (s) 1801.11
Current children cumulated vsize (KiB) 4327348

[startup+1802.2 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 14358
/proc/meminfo: memFree=19459552/32873844 swapFree=7628/7628
[pid=14301] ppid=14299 vsize=4327348 CPUtime=1801.91 cores=1,3,5,7
/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4202496 1089779 0 0 0 179974 217 0 0 20 0 1 0 345848269 4431204352 1070509 33554432000 4194304 9016284 140735204069472 140735204064320 6480372 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14301/statm: 1081837 1070509 529 1178 0 1080655 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 4327348

[startup+1802.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 14358
/proc/meminfo: memFree=19459552/32873844 swapFree=7628/7628
[pid=14301] ppid=14299 vsize=0 CPUtime=1802.11 cores=1,3,5,7
/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4203524 1089780 0 0 0 179985 226 0 0 20 0 1 0 345848269 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14301/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 14358
/proc/meminfo: memFree=19459552/32873844 swapFree=7628/7628
[pid=14301] ppid=14299 vsize=0 CPUtime=1802.21 cores=1,3,5,7
/proc/14301/stat : 14301 (scip-2.0.1.4b_2) R 14299 14301 13522 0 -1 4203524 1089780 0 0 0 179985 236 0 0 20 0 1 0 345848269 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14301/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.56
CPU time (s): 1802.28
CPU user time (s): 1799.85
CPU system time (s): 2.42663
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 4327348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 2.42663
maximum resident set size= 4282040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1089780
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= 9
involuntary context switches= 1873

runsolver used 3.22951 second user time and 9.28459 second system time

The end

Launcher Data 

Begin job on node107 at 2012-06-04 10:06:37
IDJOB=3743295
IDBENCH=90950
IDSOLVER=2329
FILE ID=node107/3743295-1338797196
RUNJOBID= node107-1338784591-13539
PBS_JOBID= 14636851
Free space on /tmp= 70536 MiB

SOLVER NAME= PB11: SCIP spx E_2 2011-06-10 (fixed)
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_50null50mast_rapportOE1.0_TMAX300_K192_cod2.opb
COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3743295-1338797196/watcher-3743295-1338797196 -o /tmp/evaluation-result-3743295-1338797196/solver-3743295-1338797196 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3743295-1338797196.opb -t 1800 -m 15500

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

MD5SUM BENCH= b2e2f53405c70867914e951ebcc4a7e3
RANDOM SEED=1131342756

node107.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.760
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.52
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.760
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.760
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.92
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.760
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.760
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.91
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.760
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.760
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.86
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.760
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:        23735292 kB
Buffers:         1024296 kB
Cached:          5045408 kB
SwapCached:           76 kB
Active:          5039088 kB
Inactive:        3196180 kB
Active(anon):    2155792 kB
Inactive(anon):    11060 kB
Active(file):    2883296 kB
Inactive(file):  3185120 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108780 kB
Dirty:             44248 kB
Writeback:             0 kB
AnonPages:       2159140 kB
Mapped:            16432 kB
Shmem:               184 kB
Slab:             752396 kB
SReclaimable:     194604 kB
SUnreclaim:       557792 kB
KernelStack:        1480 kB
PageTables:         8784 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2306292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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= 70520 MiB
End job on node107 at 2012-06-04 10:36:40