Trace number 3734898

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
PB10: pb_cplex 2010-06-29OPT1 257.8 157.936

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_2.opb
MD5SUM031b0f629913e7cd5c934f00ec1a1885
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark11.1943
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved YES
Number of variables94
Total number of constraints8
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint44
Maximum length of a constraint46
Number of terms in the objective function 64
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2040
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 808
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2934
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c pb_cplex 1.0 - 20100701
0.00/0.00	c Parsing opb file format. File HOME/instance-3734898-1339247610.opb.
0.00/0.00	c Instance file HOME/instance-3734898-1339247610.opb
0.00/0.00	c File size is 3562 bytes.
0.00/0.00	c Highest Coefficient sum: 2934
0.00/0.00	c  IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ".
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      94                                                  |
0.00/0.00	c |  Number Constraints:    8                                                   |
0.00/0.00	c ===============================================================================
257.55/157.93	c Remaining time 1800.00 sec.
257.55/157.93	s OPTIMUM FOUND
257.55/157.93	c Solution value = 1.00
257.55/157.93	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 x67 x68 x70 -x71 x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 x83 -x84 -x85 x86 -x87 x88 x89 x90 x91 x92 -x93 x94 -x69
257.55/157.93	c Total CPU time              : 228.566 s

Verifier Data 

OK	1

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-3734898-1339247610/watcher-3734898-1339247610 -o /tmp/evaluation-result-3734898-1339247610/solver-3734898-1339247610 -C 1800 -W 1900 -M 15500 run HOME/instance-3734898-1339247610.opb 

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: 10.00 9.75 5.48 3/182 28915
/proc/meminfo: memFree=29729372/32873844 swapFree=7120/7120
[pid=28915] ppid=28913 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28915/stat : 28915 (run) S 28913 28915 26837 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390889575 9367552 270 33554432000 4194304 5064252 140736085701664 140736085700576 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28915/statm: 2287 270 229 213 0 72 0

[startup+0.0982651 s]
/proc/loadavg: 10.00 9.75 5.48 3/182 28915
/proc/meminfo: memFree=29729372/32873844 swapFree=7120/7120
[pid=28915] ppid=28913 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28915/stat : 28915 (run) S 28913 28915 26837 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390889575 9367552 270 33554432000 4194304 5064252 140736085701664 140736085700576 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28915/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100211 s]
/proc/loadavg: 10.00 9.75 5.48 3/182 28915
/proc/meminfo: memFree=29729372/32873844 swapFree=7120/7120
[pid=28915] ppid=28913 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28915/stat : 28915 (run) S 28913 28915 26837 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390889575 9367552 270 33554432000 4194304 5064252 140736085701664 140736085700576 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28915/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300123 s]
/proc/loadavg: 10.00 9.75 5.48 3/182 28915
/proc/meminfo: memFree=29729372/32873844 swapFree=7120/7120
[pid=28915] ppid=28913 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28915/stat : 28915 (run) S 28913 28915 26837 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390889575 9367552 270 33554432000 4194304 5064252 140736085701664 140736085700576 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28915/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700118 s]
/proc/loadavg: 10.00 9.75 5.48 3/182 28915
/proc/meminfo: memFree=29729372/32873844 swapFree=7120/7120
[pid=28915] ppid=28913 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28915/stat : 28915 (run) S 28913 28915 26837 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390889575 9367552 270 33554432000 4194304 5064252 140736085701664 140736085700576 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28915/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50032 s]
/proc/loadavg: 9.28 9.60 5.45 5/191 28966
/proc/meminfo: memFree=29721648/32873844 swapFree=7120/7120
[pid=28915] ppid=28913 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28915/stat : 28915 (run) S 28913 28915 26837 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390889575 9367552 270 33554432000 4194304 5064252 140736085701664 140736085700576 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28915/statm: 2287 270 229 213 0 72 0
[pid=28916] ppid=28915 vsize=94532 CPUtime=2.52 cores=1,3,5,7
/proc/28916/stat : 28916 (pb_cplex) S 28915 28915 26837 0 -1 4202496 8907 0 0 0 208 44 0 0 20 0 8 0 390889575 96800768 2798 33554432000 134512640 146736320 4292628704 4292625104 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28916/statm: 23633 2798 952 2985 0 20567 0
[pid=28916/tid=28960] ppid=28915 vsize=94532 CPUtime=0.24 cores=1,3,5,7
/proc/28916/task/28960/stat : 28960 (pb_cplex) R 28915 28915 26837 0 -1 4202560 173 0 0 0 21 3 0 0 20 0 8 0 390889603 96800768 2798 33554432000 134512640 146736320 4292628704 4130325916 144785853 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=28916/tid=28961] ppid=28915 vsize=94532 CPUtime=0.29 cores=1,3,5,7
/proc/28916/task/28961/stat : 28961 (pb_cplex) R 28915 28915 26837 0 -1 4202560 99 0 0 0 24 5 0 0 20 0 8 0 390889603 96800768 2798 33554432000 134512640 146736320 4292628704 4140811676 144785853 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=28916/tid=28962] ppid=28915 vsize=94532 CPUtime=0.2 cores=1,3,5,7
/proc/28916/task/28962/stat : 28962 (pb_cplex) S 28915 28915 26837 0 -1 4202560 279 0 0 0 15 5 0 0 20 0 8 0 390889603 96800768 2798 33554432000 134512640 146736320 4292628704 4151303824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28916/tid=28963] ppid=28915 vsize=94532 CPUtime=0.22 cores=1,3,5,7
/proc/28916/task/28963/stat : 28963 (pb_cplex) S 28915 28915 26837 0 -1 4202560 478 0 0 0 17 5 0 0 20 0 8 0 390889603 96800768 2798 33554432000 134512640 146736320 4292628704 4119846544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28916/tid=28964] ppid=28915 vsize=94532 CPUtime=0.21 cores=1,3,5,7
/proc/28916/task/28964/stat : 28964 (pb_cplex) S 28915 28915 26837 0 -1 4202560 377 0 0 0 17 4 0 0 20 0 8 0 390889603 96800768 2798 33554432000 134512640 146736320 4292628704 4107267728 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28916/tid=28965] ppid=28915 vsize=94532 CPUtime=0.25 cores=1,3,5,7
/proc/28916/task/28965/stat : 28965 (pb_cplex) S 28915 28915 26837 0 -1 4202560 630 0 0 0 22 3 0 0 20 0 8 0 390889603 96800768 2798 33554432000 134512640 146736320 4292628704 4096781968 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28916/tid=28966] ppid=28915 vsize=94532 CPUtime=0.23 cores=1,3,5,7
/proc/28916/task/28966/stat : 28966 (pb_cplex) S 28915 28915 26837 0 -1 4202560 431 0 0 0 18 5 0 0 20 0 8 0 390889603 96800768 2798 33554432000 134512640 146736320 4292628704 4069518992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 103680

[startup+3.10034 s]
/proc/loadavg: 9.28 9.60 5.45 10/191 28966
/proc/meminfo: memFree=29720160/32873844 swapFree=7120/7120
[pid=28915] ppid=28913 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28915/stat : 28915 (run) S 28913 28915 26837 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390889575 9367552 270 33554432000 4194304 5064252 140736085701664 140736085700576 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28915/statm: 2287 270 229 213 0 72 0
[pid=28916] ppid=28915 vsize=96580 CPUtime=8.66 cores=1,3,5,7
/proc/28916/stat : 28916 (pb_cplex) R 28915 28915 26837 0 -1 4202496 14780 0 0 0 762 104 0 0 20 0 8 0 390889575 98897920 3156 33554432000 134512640 146736320 4292628704 4292618780 144785853 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28916/statm: 24145 3156 982 2985 0 21079 0
[pid=28916/tid=28960] ppid=28915 vsize=96580 CPUtime=1.1 cores=1,3,5,7
/proc/28916/task/28960/stat : 28960 (pb_cplex) R 28915 28915 26837 0 -1 4202560 697 0 0 0 95 15 0 0 20 0 8 0 390889603 98897920 3156 33554432000 134512640 146736320 4292628704 4130326180 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=28916/tid=28961] ppid=28915 vsize=96580 CPUtime=1.02 cores=1,3,5,7
/proc/28916/task/28961/stat : 28961 (pb_cplex) R 28915 28915 26837 0 -1 4202560 888 0 0 0 91 11 0 0 20 0 8 0 390889603 98897920 3156 33554432000 134512640 146736320 4292628704 4140809576 135196460 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=28916/tid=28962] ppid=28915 vsize=96580 CPUtime=0.9 cores=1,3,5,7
/proc/28916/task/28962/stat : 28962 (pb_cplex) R 28915 28915 26837 0 -1 4202560 895 0 0 0 76 14 0 0 20 0 8 0 390889603 98897920 3156 33554432000 134512640 146736320 4292628704 4151298012 144785853 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=28916/tid=28963] ppid=28915 vsize=96580 CPUtime=0.95 cores=1,3,5,7
/proc/28916/task/28963/stat : 28963 (pb_cplex) R 28915 28915 26837 0 -1 4202560 995 0 0 0 86 9 0 0 20 0 8 0 390889603 98897920 3156 33554432000 134512640 146736320 4292628704 4119841832 136730181 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=28916/tid=28964] ppid=28915 vsize=96580 CPUtime=1.01 cores=1,3,5,7
/proc/28916/task/28964/stat : 28964 (pb_cplex) R 28915 28915 26837 0 -1 4202560 842 0 0 0 90 11 0 0 20 0 8 0 390889603 98897920 3156 33554432000 134512640 146736320 4292628704 4107261616 137371876 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=28916/tid=28965] ppid=28915 vsize=96580 CPUtime=0.88 cores=1,3,5,7
/proc/28916/task/28965/stat : 28965 (pb_cplex) R 28915 28915 26837 0 -1 4202560 1196 0 0 0 78 10 0 0 20 0 8 0 390889603 98897920 3156 33554432000 134512640 146736320 4292628704 4096776164 144709940 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=28916/tid=28966] ppid=28915 vsize=96580 CPUtime=1.12 cores=1,3,5,7
/proc/28916/task/28966/stat : 28966 (pb_cplex) R 28915 28915 26837 0 -1 4202560 1480 0 0 0 96 16 0 0 20 0 8 0 390889603 98897920 3156 33554432000 134512640 146736320 4292628704 4069510812 144785853 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 8.66
Current children cumulated vsize (KiB) 105728

[startup+6.3004 s]
/proc/loadavg: 9.28 9.60 5.45 6/191 29001
/proc/meminfo: memFree=29723056/32873844 swapFree=7120/7120
[pid=28915] ppid=28913 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28915/stat : 28915 (run) S 28913 28915 26837 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390889575 9367552 270 33554432000 4194304 5064252 140736085701664 140736085700576 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28915/statm: 2287 270 229 213 0 72 0
[pid=28916] ppid=28915 vsize=100676 CPUtime=18.28 cores=1,3,5,7
/proc/28916/stat : 28916 (pb_cplex) R 28915 28915 26837 0 -1 4202496 27116 0 0 0 1626 202 0 0 20 0 8 0 390889575 103092224 4040 33554432000 134512640 146736320 4292628704 4292618332 144785853 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28916/statm: 25169 4040 983 2985 0 22103 0
[pid=28916/tid=28995] ppid=28915 vsize=100676 CPUtime=0.16 cores=1,3,5,7
/proc/28916/task/28995/stat : 28995 (pb_cplex) S 28915 28915 26837 0 -1 4202560 984 0 0 0 14 2 0 0 20 0 8 0 390890107 103092224 4040 33554432000 134512640 146736320 4292628704 4069518992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28916/tid=28996] ppid=28915 vsize=100676 CPUtime=0.2 cores=1,3,5,7
/proc/28916/task/28996/stat : 28996 (pb_cplex) S 28915 28915 26837 0 -1 4202560 1397 0 0 0 18 2 0 0 20 0 8 0 390890107 103092224 4040 33554432000 134512640 146736320 4292628704 4098875024 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28916/tid=28997] ppid=28915 vsize=100676 CPUtime=0.2 cores=1,3,5,7
/proc/28916/task/28997/stat : 28997 (pb_cplex) S 28915 28915 26837 0 -1 4202560 559 0 0 0 18 2 0 0 20 0 8 0 390890107 103092224 4040 33554432000 134512640 146736320 4292628704 4109360784 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28916/tid=28998] ppid=28915 vsize=100676 CPUtime=0.26 cores=1,3,5,7
/proc/28916/task/28998/stat : 28998 (pb_cplex) S 28915 28915 26837 0 -1 4202560 2171 0 0 0 22 4 0 0 20 0 8 0 390890107 103092224 4040 33554432000 134512640 146736320 4292628704 4119846544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28916/tid=28999] ppid=28915 vsize=100676 CPUtime=0.21 cores=1,3,5,7
/proc/28916/task/28999/stat : 28999 (pb_cplex) S 28915 28915 26837 0 -1 4202560 1328 0 0 0 19 2 0 0 20 0 8 0 390890107 103092224 4040 33554432000 134512640 146736320 4292628704 4151303824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28916/tid=29000] ppid=28915 vsize=100676 CPUtime=0.1 cores=1,3,5,7
/proc/28916/task/29000/stat : 29000 (pb_cplex) S 28915 28915 26837 0 -1 4202560 435 0 0 0 8 2 0 0 20 0 8 0 390890107 103092224 4040 33554432000 134512640 146736320 4292628704 4140818064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28916/tid=29001] ppid=28915 vsize=100676 CPUtime=0.16 cores=1,3,5,7
/proc/28916/task/29001/stat : 29001 (pb_cplex) S 28915 28915 26837 0 -1 4202560 632 0 0 0 14 2 0 0 20 0 8 0 390890107 103092224 4040 33554432000 134512640 146736320 4292628704 4130332304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 18.28
Current children cumulated vsize (KiB) 109824

[startup+12.7004 s]
/proc/loadavg: 8.08 9.34 5.41 3/191 29001
/proc/meminfo: memFree=29713488/32873844 swapFree=7120/7120
[pid=28915] ppid=28913 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28915/stat : 28915 (run) S 28913 28915 26837 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390889575 9367552 270 33554432000 4194304 5064252 140736085701664 140736085700576 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28915/statm: 2287 270 229 213 0 72 0
[pid=28916] ppid=28915 vsize=101120 CPUtime=26.7 cores=1,3,5,7
/proc/28916/stat : 28916 (pb_cplex) S 28915 28915 26837 0 -1 4202496 75208 0 0 0 2408 262 0 0 20 0 8 0 390889575 103546880 4304 33554432000 134512640 146736320 4292628704 4292625104 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28916/statm: 25280 4251 983 2985 0 22214 0
[pid=28916/tid=28995] ppid=28915 vsize=101120 CPUtime=1.01 cores=1,3,5,7
/proc/28916/task/28995/stat : 28995 (pb_cplex) S 28915 28915 26837 0 -1 4202560 6084 0 0 0 93 8 0 0 20 0 8 0 390890107 103546880 4251 33554432000 134512640 146736320 4292628704 4069518992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28916/tid=28996] ppid=28915 vsize=101120 CPUtime=1.03 cores=1,3,5,7
/proc/28916/task/28996/stat : 28996 (pb_cplex) S 28915 28915 26837 0 -1 4202560 6222 0 0 0 91 12 0 0 20 0 8 0 390890107 103546880 4227 33554432000 134512640 146736320 4292628704 4098875024 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28916/tid=28997] ppid=28915 vsize=101120 CPUtime=1.05 cores=1,3,5,7
/proc/28916/task/28997/stat : 28997 (pb_cplex) S 28915 28915 26837 0 -1 4202560 5250 0 0 0 95 10 0 0 20 0 8 0 390890107 103546880 4171 33554432000 134512640 146736320 4292628704 4109360784 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28916/tid=28998] ppid=28915 vsize=101120 CPUtime=1.41 cores=1,3,5,7
/proc/28916/task/28998/stat : 28998 (pb_cplex) S 28915 28915 26837 0 -1 4202560 6346 0 0 0 131 10 0 0 20 0 8 0 390890107 103546880 4171 33554432000 134512640 146736320 4292628704 4119846544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28916/tid=28999] ppid=28915 vsize=101120 CPUtime=1.5 cores=1,3,5,7
/proc/28916/task/28999/stat : 28999 (pb_cplex) S 28915 28915 26837 0 -1 4202560 11533 0 0 0 140 10 0 0 20 0 8 0 390890107 103546880 4171 33554432000 134512640 146736320 4292628704 4151303824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28916/tid=29000] ppid=28915 vsize=101120 CPUtime=1.31 cores=1,3,5,7
/proc/28916/task/29000/stat : 29000 (pb_cplex) R 28915 28915 26837 0 -1 4202560 9646 0 0 0 118 13 0 0 20 0 8 0 390890107 103546880 4171 33554432000 134512640 146736320 4292628704 4140815064 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=28916/tid=29001] ppid=28915 vsize=101120 CPUtime=0.93 cores=1,3,5,7
/proc/28916/task/29001/stat : 29001 (pb_cplex) S 28915 28915 26837 0 -1 4202560 3946 0 0 0 86 7 0 0 20 0 8 0 390890107 103546880 4171 33554432000 134512640 146736320 4292628704 4130332304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 26.7
Current children cumulated vsize (KiB) 110268

[startup+25.5004 s]
/proc/loadavg: 7.14 9.09 5.37 4/191 29001
/proc/meminfo: memFree=29714140/32873844 swapFree=7120/7120
[pid=28915] ppid=28913 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28915/stat : 28915 (run) S 28913 28915 26837 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390889575 9367552 270 33554432000 4194304 5064252 140736085701664 140736085700576 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28915/statm: 2287 270 229 213 0 72 0
[pid=28916] ppid=28915 vsize=101024 CPUtime=45.01 cores=1,3,5,7
/proc/28916/stat : 28916 (pb_cplex) S 28915 28915 26837 0 -1 4202496 168671 0 0 0 4094 407 0 0 20 0 8 0 390889575 103448576 4327 33554432000 134512640 146736320 4292628704 4292625104 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28916/statm: 25256 4287 983 2985 0 22190 0
[pid=28916/tid=28995] ppid=28915 vsize=101024 CPUtime=3.7 cores=1,3,5,7
/proc/28916/task/28995/stat : 28995 (pb_cplex) S 28915 28915 26837 0 -1 4202560 22072 0 0 0 343 27 0 0 20 0 8 0 390890107 103448576 4287 33554432000 134512640 146736320 4292628704 4069518992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28916/tid=28996] ppid=28915 vsize=101024 CPUtime=3.01 cores=1,3,5,7
/proc/28916/task/28996/stat : 28996 (pb_cplex) S 28915 28915 26837 0 -1 4202560 10972 0 0 0 268 33 0 0 20 0 8 0 390890107 103448576 4287 33554432000 134512640 146736320 4292628704 4098875024 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28916/tid=28997] ppid=28915 vsize=101024 CPUtime=2.96 cores=1,3,5,7
/proc/28916/task/28997/stat : 28997 (pb_cplex) S 28915 28915 26837 0 -1 4202560 14127 0 0 0 271 25 0 0 20 0 8 0 390890107 103448576 4287 33554432000 134512640 146736320 4292628704 4109360784 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28916/tid=28998] ppid=28915 vsize=101024 CPUtime=3.48 cores=1,3,5,7
/proc/28916/task/28998/stat : 28998 (pb_cplex) S 28915 28915 26837 0 -1 4202560 16921 0 0 0 324 24 0 0 20 0 8 0 390890107 103448576 4287 33554432000 134512640 146736320 4292628704 4119846544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28916/tid=28999] ppid=28915 vsize=101024 CPUtime=4.65 cores=1,3,5,7
/proc/28916/task/28999/stat : 28999 (pb_cplex) S 28915 28915 26837 0 -1 4202560 32216 0 0 0 437 28 0 0 20 0 8 0 390890107 103448576 4287 33554432000 134512640 146736320 4292628704 4151303824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28916/tid=29000] ppid=28915 vsize=101024 CPUtime=3.17 cores=1,3,5,7
/proc/28916/task/29000/stat : 29000 (pb_cplex) S 28915 28915 26837 0 -1 4202560 18112 0 0 0 284 33 0 0 20 0 8 0 390890107 103448576 4287 33554432000 134512640 146736320 4292628704 4140818064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28916/tid=29001] ppid=28915 vsize=101024 CPUtime=2.78 cores=1,3,5,7
/proc/28916/task/29001/stat : 29001 (pb_cplex) R 28915 28915 26837 0 -1 4202560 11212 0 0 0 253 25 0 0 20 0 8 0 390890107 103448576 4298 33554432000 134512640 146736320 4292628704 4130324868 135850319 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 45.01
Current children cumulated vsize (KiB) 110172

[startup+51.1004 s]
/proc/loadavg: 5.26 8.49 5.27 3/191 29001
/proc/meminfo: memFree=29714636/32873844 swapFree=7120/7120
[pid=28915] ppid=28913 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28915/stat : 28915 (run) S 28913 28915 26837 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390889575 9367552 270 33554432000 4194304 5064252 140736085701664 140736085700576 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28915/statm: 2287 270 229 213 0 72 0

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

/proc/28916/task/29029/stat : 29029 (pb_cplex) S 28915 28915 26837 0 -1 4202560 6032 0 0 0 544 132 0 0 20 0 8 0 390899868 100159488 3318 33554432000 134512640 146736320 4292628704 4138724976 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28916/tid=29030] ppid=28915 vsize=97812 CPUtime=6.69 cores=1,3,5,7
/proc/28916/task/29030/stat : 29030 (pb_cplex) R 28915 28915 26837 0 -1 4202560 6713 0 0 0 543 126 0 0 20 0 8 0 390899868 100159488 3318 33554432000 134512640 146736320 4292628704 4059033100 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 231.71
Current children cumulated vsize (KiB) 106960

[startup+147.1 s]
/proc/loadavg: 3.88 7.04 5.07 6/191 29163
/proc/meminfo: memFree=29706544/32873844 swapFree=7120/7120
[pid=28915] ppid=28913 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28915/stat : 28915 (run) S 28913 28915 26837 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390889575 9367552 270 33554432000 4194304 5064252 140736085701664 140736085700576 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28915/statm: 2287 270 229 213 0 72 0
[pid=28916] ppid=28915 vsize=97812 CPUtime=241.3 cores=1,3,5,7
/proc/28916/stat : 28916 (pb_cplex) S 28915 28915 26837 0 -1 4202496 799269 0 0 0 21551 2579 0 0 20 0 8 0 390889575 100159488 3293 33554432000 134512640 146736320 4292628704 4292625104 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28916/statm: 24453 3293 985 2985 0 21387 0
[pid=28916/tid=29024] ppid=28915 vsize=97812 CPUtime=8.24 cores=1,3,5,7
/proc/28916/task/29024/stat : 29024 (pb_cplex) S 28915 28915 26837 0 -1 4202560 8216 0 0 0 660 164 0 0 20 0 8 0 390899868 100159488 3293 33554432000 134512640 146736320 4292628704 4069518992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28916/tid=29025] ppid=28915 vsize=97812 CPUtime=7.46 cores=1,3,5,7
/proc/28916/task/29025/stat : 29025 (pb_cplex) S 28915 28915 26837 0 -1 4202560 5995 0 0 0 589 157 0 0 20 0 8 0 390899868 100159488 3293 33554432000 134512640 146736320 4292628704 4098875024 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28916/tid=29026] ppid=28915 vsize=97812 CPUtime=7.37 cores=1,3,5,7
/proc/28916/task/29026/stat : 29026 (pb_cplex) R 28915 28915 26837 0 -1 4202560 6701 0 0 0 578 159 0 0 20 0 8 0 390899868 100159488 3293 33554432000 134512640 146736320 4292628704 4109355612 135535460 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=28916/tid=29027] ppid=28915 vsize=97812 CPUtime=7.54 cores=1,3,5,7
/proc/28916/task/29027/stat : 29027 (pb_cplex) S 28915 28915 26837 0 -1 4202560 6891 0 0 0 598 156 0 0 20 0 8 0 390899868 100159488 3293 33554432000 134512640 146736320 4292628704 4119846544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28916/tid=29028] ppid=28915 vsize=97812 CPUtime=7.93 cores=1,3,5,7
/proc/28916/task/29028/stat : 29028 (pb_cplex) S 28915 28915 26837 0 -1 4202560 6964 0 0 0 647 146 0 0 20 0 8 0 390899868 100159488 3293 33554432000 134512640 146736320 4292628704 4149210768 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28916/tid=29029] ppid=28915 vsize=97812 CPUtime=7.94 cores=1,3,5,7
/proc/28916/task/29029/stat : 29029 (pb_cplex) S 28915 28915 26837 0 -1 4202560 7137 0 0 0 636 158 0 0 20 0 8 0 390899868 100159488 3293 33554432000 134512640 146736320 4292628704 4138725008 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28916/tid=29030] ppid=28915 vsize=97812 CPUtime=7.82 cores=1,3,5,7
/proc/28916/task/29030/stat : 29030 (pb_cplex) S 28915 28915 26837 0 -1 4202560 7950 0 0 0 634 148 0 0 20 0 8 0 390899868 100159488 3293 33554432000 134512640 146736320 4292628704 4059033232 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 241.3
Current children cumulated vsize (KiB) 106960

[startup+153.5 s]
/proc/loadavg: 3.97 7.00 5.07 6/191 29163
/proc/meminfo: memFree=29699848/32873844 swapFree=7120/7120
[pid=28915] ppid=28913 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28915/stat : 28915 (run) S 28913 28915 26837 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390889575 9367552 270 33554432000 4194304 5064252 140736085701664 140736085700576 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28915/statm: 2287 270 229 213 0 72 0
[pid=28916] ppid=28915 vsize=97812 CPUtime=250.92 cores=1,3,5,7
/proc/28916/stat : 28916 (pb_cplex) S 28915 28915 26837 0 -1 4202496 806291 0 0 0 22318 2774 0 0 20 0 8 0 390889575 100159488 3316 33554432000 134512640 146736320 4292628704 4292625104 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28916/statm: 24453 3316 985 2985 0 21387 0
[pid=28916/tid=29024] ppid=28915 vsize=97812 CPUtime=9.37 cores=1,3,5,7
/proc/28916/task/29024/stat : 29024 (pb_cplex) S 28915 28915 26837 0 -1 4202560 9204 0 0 0 747 190 0 0 20 0 8 0 390899868 100159488 3316 33554432000 134512640 146736320 4292628704 4069518992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28916/tid=29025] ppid=28915 vsize=97812 CPUtime=8.58 cores=1,3,5,7
/proc/28916/task/29025/stat : 29025 (pb_cplex) R 28915 28915 26837 0 -1 4202560 6827 0 0 0 676 182 0 0 20 0 8 0 390899868 100159488 3316 33554432000 134512640 146736320 4292628704 4098868636 144785853 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=28916/tid=29026] ppid=28915 vsize=97812 CPUtime=8.42 cores=1,3,5,7
/proc/28916/task/29026/stat : 29026 (pb_cplex) S 28915 28915 26837 0 -1 4202560 7279 0 0 0 660 182 0 0 20 0 8 0 390899868 100159488 3316 33554432000 134512640 146736320 4292628704 4109360784 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28916/tid=29027] ppid=28915 vsize=97812 CPUtime=8.73 cores=1,3,5,7
/proc/28916/task/29027/stat : 29027 (pb_cplex) S 28915 28915 26837 0 -1 4202560 7832 0 0 0 692 181 0 0 20 0 8 0 390899868 100159488 3316 33554432000 134512640 146736320 4292628704 4119846544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28916/tid=29028] ppid=28915 vsize=97812 CPUtime=9.2 cores=1,3,5,7
/proc/28916/task/29028/stat : 29028 (pb_cplex) S 28915 28915 26837 0 -1 4202560 7746 0 0 0 751 169 0 0 20 0 8 0 390899868 100159488 3316 33554432000 134512640 146736320 4292628704 4149210768 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28916/tid=29029] ppid=28915 vsize=97812 CPUtime=9.14 cores=1,3,5,7
/proc/28916/task/29029/stat : 29029 (pb_cplex) S 28915 28915 26837 0 -1 4202560 7978 0 0 0 731 183 0 0 20 0 8 0 390899868 100159488 3316 33554432000 134512640 146736320 4292628704 4138725008 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28916/tid=29030] ppid=28915 vsize=97812 CPUtime=8.91 cores=1,3,5,7
/proc/28916/task/29030/stat : 29030 (pb_cplex) S 28915 28915 26837 0 -1 4202560 8820 0 0 0 719 172 0 0 20 0 8 0 390899868 100159488 3316 33554432000 134512640 146736320 4292628704 4059033232 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 250.92
Current children cumulated vsize (KiB) 106960

[startup+155.106 s]
/proc/loadavg: 3.97 7.00 5.07 5/191 29163
/proc/meminfo: memFree=29697988/32873844 swapFree=7120/7120
[pid=28915] ppid=28913 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28915/stat : 28915 (run) S 28913 28915 26837 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390889575 9367552 270 33554432000 4194304 5064252 140736085701664 140736085700576 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28915/statm: 2287 270 229 213 0 72 0
[pid=28916] ppid=28915 vsize=97812 CPUtime=253.38 cores=1,3,5,7
/proc/28916/stat : 28916 (pb_cplex) R 28915 28915 26837 0 -1 4202496 808304 0 0 0 22511 2827 0 0 20 0 8 0 390889575 100159488 3292 33554432000 134512640 146736320 4292628704 4292621380 144580332 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28916/statm: 24453 3292 985 2985 0 21387 0
[pid=28916/tid=29024] ppid=28915 vsize=97812 CPUtime=9.63 cores=1,3,5,7
/proc/28916/task/29024/stat : 29024 (pb_cplex) S 28915 28915 26837 0 -1 4202560 9492 0 0 0 766 197 0 0 20 0 8 0 390899868 100159488 3292 33554432000 134512640 146736320 4292628704 4069518992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28916/tid=29025] ppid=28915 vsize=97812 CPUtime=8.87 cores=1,3,5,7
/proc/28916/task/29025/stat : 29025 (pb_cplex) R 28915 28915 26837 0 -1 4202560 6997 0 0 0 697 190 0 0 20 0 8 0 390899868 100159488 3292 33554432000 134512640 146736320 4292628704 4098874112 136653156 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=28916/tid=29026] ppid=28915 vsize=97812 CPUtime=8.68 cores=1,3,5,7
/proc/28916/task/29026/stat : 29026 (pb_cplex) R 28915 28915 26837 0 -1 4202560 7539 0 0 0 678 190 0 0 20 0 8 0 390899868 100159488 3292 33554432000 134512640 146736320 4292628704 4109359468 144580073 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=28916/tid=29027] ppid=28915 vsize=97812 CPUtime=8.99 cores=1,3,5,7
/proc/28916/task/29027/stat : 29027 (pb_cplex) R 28915 28915 26837 0 -1 4202560 8002 0 0 0 712 187 0 0 20 0 8 0 390899868 100159488 3292 33554432000 134512640 146736320 4292628704 4119844376 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=28916/tid=29028] ppid=28915 vsize=97812 CPUtime=9.55 cores=1,3,5,7
/proc/28916/task/29028/stat : 29028 (pb_cplex) S 28915 28915 26837 0 -1 4202560 8086 0 0 0 780 175 0 0 20 0 8 0 390899868 100159488 3292 33554432000 134512640 146736320 4292628704 4149210768 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28916/tid=29029] ppid=28915 vsize=97812 CPUtime=9.45 cores=1,3,5,7
/proc/28916/task/29029/stat : 29029 (pb_cplex) R 28915 28915 26837 0 -1 4202560 8149 0 0 0 756 189 0 0 20 0 8 0 390899868 100159488 3292 33554432000 134512640 146736320 4292628704 4138722456 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=28916/tid=29030] ppid=28915 vsize=97812 CPUtime=9.14 cores=1,3,5,7
/proc/28916/task/29030/stat : 29030 (pb_cplex) R 28915 28915 26837 0 -1 4202560 9091 0 0 0 737 177 0 0 20 0 8 0 390899868 100159488 3292 33554432000 134512640 146736320 4292628704 4059031892 144580073 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 253.38
Current children cumulated vsize (KiB) 106960

[startup+156.701 s]
/proc/loadavg: 3.73 6.90 5.05 3/191 29163
/proc/meminfo: memFree=29697988/32873844 swapFree=7120/7120
[pid=28915] ppid=28913 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28915/stat : 28915 (run) S 28913 28915 26837 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390889575 9367552 270 33554432000 4194304 5064252 140736085701664 140736085700576 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28915/statm: 2287 270 229 213 0 72 0
[pid=28916] ppid=28915 vsize=97812 CPUtime=255.75 cores=1,3,5,7
/proc/28916/stat : 28916 (pb_cplex) R 28915 28915 26837 0 -1 4202496 810141 0 0 0 22700 2875 0 0 20 0 8 0 390889575 100159488 3333 33554432000 134512640 146736320 4292628704 4292623868 136959654 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28916/statm: 24453 3333 985 2985 0 21387 0
[pid=28916/tid=29024] ppid=28915 vsize=97812 CPUtime=9.94 cores=1,3,5,7
/proc/28916/task/29024/stat : 29024 (pb_cplex) R 28915 28915 26837 0 -1 4202560 9848 0 0 0 789 205 0 0 20 0 8 0 390899868 100159488 3333 33554432000 134512640 146736320 4292628704 4069517336 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=28916/tid=29025] ppid=28915 vsize=97812 CPUtime=9.2 cores=1,3,5,7
/proc/28916/task/29025/stat : 29025 (pb_cplex) S 28915 28915 26837 0 -1 4202560 7227 0 0 0 725 195 0 0 20 0 8 0 390899868 100159488 3333 33554432000 134512640 146736320 4292628704 4098875024 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28916/tid=29026] ppid=28915 vsize=97812 CPUtime=8.96 cores=1,3,5,7
/proc/28916/task/29026/stat : 29026 (pb_cplex) S 28915 28915 26837 0 -1 4202560 7874 0 0 0 699 197 0 0 20 0 8 0 390899868 100159488 3333 33554432000 134512640 146736320 4292628704 4109360784 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28916/tid=29027] ppid=28915 vsize=97812 CPUtime=9.34 cores=1,3,5,7
/proc/28916/task/29027/stat : 29027 (pb_cplex) S 28915 28915 26837 0 -1 4202560 8392 0 0 0 744 190 0 0 20 0 8 0 390899868 100159488 3333 33554432000 134512640 146736320 4292628704 4119846544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28916/tid=29028] ppid=28915 vsize=97812 CPUtime=9.86 cores=1,3,5,7
/proc/28916/task/29028/stat : 29028 (pb_cplex) S 28915 28915 26837 0 -1 4202560 8353 0 0 0 805 181 0 0 20 0 8 0 390899868 100159488 3333 33554432000 134512640 146736320 4292628704 4149210768 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28916/tid=29029] ppid=28915 vsize=97812 CPUtime=9.69 cores=1,3,5,7
/proc/28916/task/29029/stat : 29029 (pb_cplex) R 28915 28915 26837 0 -1 4202560 8339 0 0 0 773 196 0 0 20 0 8 0 390899868 100159488 3333 33554432000 134512640 146736320 4292628704 4138722280 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=28916/tid=29030] ppid=28915 vsize=97812 CPUtime=9.37 cores=1,3,5,7
/proc/28916/task/29030/stat : 29030 (pb_cplex) R 28915 28915 26837 0 -1 4202560 9154 0 0 0 754 183 0 0 20 0 8 0 390899868 100159488 3333 33554432000 134512640 146736320 4292628704 4059033232 144580073 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 255.75
Current children cumulated vsize (KiB) 106960

[startup+157.5 s]
/proc/loadavg: 3.73 6.90 5.05 8/191 29163
/proc/meminfo: memFree=29697120/32873844 swapFree=7120/7120
[pid=28915] ppid=28913 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28915/stat : 28915 (run) S 28913 28915 26837 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390889575 9367552 270 33554432000 4194304 5064252 140736085701664 140736085700576 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28915/statm: 2287 270 229 213 0 72 0
[pid=28916] ppid=28915 vsize=97812 CPUtime=256.9 cores=1,3,5,7
/proc/28916/stat : 28916 (pb_cplex) S 28915 28915 26837 0 -1 4202496 811122 0 0 0 22793 2897 0 0 20 0 8 0 390889575 100159488 3295 33554432000 134512640 146736320 4292628704 4292625104 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28916/statm: 24453 3295 985 2985 0 21387 0
[pid=28916/tid=29024] ppid=28915 vsize=97812 CPUtime=10.08 cores=1,3,5,7
/proc/28916/task/29024/stat : 29024 (pb_cplex) S 28915 28915 26837 0 -1 4202560 9994 0 0 0 800 208 0 0 20 0 8 0 390899868 100159488 3295 33554432000 134512640 146736320 4292628704 4069518992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28916/tid=29025] ppid=28915 vsize=97812 CPUtime=9.32 cores=1,3,5,7
/proc/28916/task/29025/stat : 29025 (pb_cplex) S 28915 28915 26837 0 -1 4202560 7282 0 0 0 735 197 0 0 20 0 8 0 390899868 100159488 3295 33554432000 134512640 146736320 4292628704 4098875024 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28916/tid=29026] ppid=28915 vsize=97812 CPUtime=9.08 cores=1,3,5,7
/proc/28916/task/29026/stat : 29026 (pb_cplex) S 28915 28915 26837 0 -1 4202560 8014 0 0 0 708 200 0 0 20 0 8 0 390899868 100159488 3295 33554432000 134512640 146736320 4292628704 4109360784 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28916/tid=29027] ppid=28915 vsize=97812 CPUtime=9.47 cores=1,3,5,7
/proc/28916/task/29027/stat : 29027 (pb_cplex) S 28915 28915 26837 0 -1 4202560 8603 0 0 0 755 192 0 0 20 0 8 0 390899868 100159488 3295 33554432000 134512640 146736320 4292628704 4119846544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28916/tid=29028] ppid=28915 vsize=97812 CPUtime=10.02 cores=1,3,5,7
/proc/28916/task/29028/stat : 29028 (pb_cplex) S 28915 28915 26837 0 -1 4202560 8509 0 0 0 818 184 0 0 20 0 8 0 390899868 100159488 3295 33554432000 134512640 146736320 4292628704 4149210768 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28916/tid=29029] ppid=28915 vsize=97812 CPUtime=9.82 cores=1,3,5,7
/proc/28916/task/29029/stat : 29029 (pb_cplex) S 28915 28915 26837 0 -1 4202560 8449 0 0 0 783 199 0 0 20 0 8 0 390899868 100159488 3295 33554432000 134512640 146736320 4292628704 4138725008 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28916/tid=29030] ppid=28915 vsize=97812 CPUtime=9.48 cores=1,3,5,7
/proc/28916/task/29030/stat : 29030 (pb_cplex) R 28915 28915 26837 0 -1 4202560 9257 0 0 0 763 185 0 0 20 0 8 0 390899868 100159488 3295 33554432000 134512640 146736320 4292628704 4059033100 144757827 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 256.9
Current children cumulated vsize (KiB) 106960

[startup+157.9 s]
/proc/loadavg: 3.73 6.90 5.05 8/191 29163
/proc/meminfo: memFree=29697120/32873844 swapFree=7120/7120
[pid=28915] ppid=28913 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28915/stat : 28915 (run) S 28913 28915 26837 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390889575 9367552 270 33554432000 4194304 5064252 140736085701664 140736085700576 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28915/statm: 2287 270 229 213 0 72 0
[pid=28916] ppid=28915 vsize=97812 CPUtime=257.55 cores=1,3,5,7
/proc/28916/stat : 28916 (pb_cplex) S 28915 28915 26837 0 -1 4202496 811593 0 0 0 22844 2911 0 0 20 0 8 0 390889575 100159488 3292 33554432000 134512640 146736320 4292628704 4292625104 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28916/statm: 24453 3292 985 2985 0 21387 0
[pid=28916/tid=29024] ppid=28915 vsize=97812 CPUtime=10.14 cores=1,3,5,7
/proc/28916/task/29024/stat : 29024 (pb_cplex) S 28915 28915 26837 0 -1 4202560 10106 0 0 0 805 209 0 0 20 0 8 0 390899868 100159488 3292 33554432000 134512640 146736320 4292628704 4069518992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28916/tid=29025] ppid=28915 vsize=97812 CPUtime=9.38 cores=1,3,5,7
/proc/28916/task/29025/stat : 29025 (pb_cplex) S 28915 28915 26837 0 -1 4202560 7284 0 0 0 740 198 0 0 20 0 8 0 390899868 100159488 3292 33554432000 134512640 146736320 4292628704 4098875024 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28916/tid=29026] ppid=28915 vsize=97812 CPUtime=9.18 cores=1,3,5,7
/proc/28916/task/29026/stat : 29026 (pb_cplex) R 28915 28915 26837 0 -1 4202560 8079 0 0 0 716 202 0 0 20 0 8 0 390899868 100159488 3292 33554432000 134512640 146736320 4292628704 4109354396 144785853 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=28916/tid=29027] ppid=28915 vsize=97812 CPUtime=9.53 cores=1,3,5,7
/proc/28916/task/29027/stat : 29027 (pb_cplex) S 28915 28915 26837 0 -1 4202560 8702 0 0 0 758 195 0 0 20 0 8 0 390899868 100159488 3292 33554432000 134512640 146736320 4292628704 4119846544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28916/tid=29028] ppid=28915 vsize=97812 CPUtime=10.11 cores=1,3,5,7
/proc/28916/task/29028/stat : 29028 (pb_cplex) R 28915 28915 26837 0 -1 4202560 8641 0 0 0 825 186 0 0 20 0 8 0 390899868 100159488 3292 33554432000 134512640 146736320 4292628704 4149204380 144785853 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=28916/tid=29029] ppid=28915 vsize=97812 CPUtime=9.93 cores=1,3,5,7
/proc/28916/task/29029/stat : 29029 (pb_cplex) S 28915 28915 26837 0 -1 4202560 8452 0 0 0 792 201 0 0 20 0 8 0 390899868 100159488 3292 33554432000 134512640 146736320 4292628704 4138725008 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28916/tid=29030] ppid=28915 vsize=97812 CPUtime=9.59 cores=1,3,5,7
/proc/28916/task/29030/stat : 29030 (pb_cplex) S 28915 28915 26837 0 -1 4202560 9262 0 0 0 773 186 0 0 20 0 8 0 390899868 100159488 3292 33554432000 134512640 146736320 4292628704 4059033232 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 257.55
Current children cumulated vsize (KiB) 106960

Child status: 0

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.0100098
#  lost CPU user time (s): 0.0700073
#  lost CPU system time (s): -0.0600004

Real time (s): 157.936
CPU time (s): 257.8
CPU user time (s): 228.636
CPU system time (s): 29.1636
CPU usage (%): 163.231
Max. virtual memory (cumulated for all children) (KiB): 121544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 228.566
system time used= 29.2236
maximum resident set size= 26672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 811980
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= 1063224
involuntary context switches= 145477

runsolver used 0.39394 second user time and 0.963853 second system time

The end

Launcher Data 

Begin job on node104 at 2012-06-09 15:13:30
IDJOB=3734898
IDBENCH=2916
IDSOLVER=2325
FILE ID=node104/3734898-1339247610
RUNJOBID= node104-1339246834-26854
PBS_JOBID= 14644377
Free space on /tmp= 69492 MiB

SOLVER NAME= PB10: pb_cplex 2010-06-29
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_2.opb
COMMAND LINE= run BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734898-1339247610/watcher-3734898-1339247610 -o /tmp/evaluation-result-3734898-1339247610/solver-3734898-1339247610 -C 1800 -W 1900 -M 15500  run HOME/instance-3734898-1339247610.opb

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

MD5SUM BENCH= 031b0f629913e7cd5c934f00ec1a1885
RANDOM SEED=1816892596

node104.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.266
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.53
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.266
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.266
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.91
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.266
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.92
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.266
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.266
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.266
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.266
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29730636 kB
Buffers:          709584 kB
Cached:          1450208 kB
SwapCached:         1864 kB
Active:          2091400 kB
Inactive:          95860 kB
Active(anon):      23016 kB
Inactive(anon):     5824 kB
Active(file):    2068384 kB
Inactive(file):    90036 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67102148 kB
Dirty:             16352 kB
Writeback:            20 kB
AnonPages:        109824 kB
Mapped:            13160 kB
Shmem:                 4 kB
Slab:             815884 kB
SReclaimable:     257416 kB
SUnreclaim:       558468 kB
KernelStack:        1560 kB
PageTables:         4020 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     192532 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

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3734898-1339247610.opb

Free space on /tmp at the end= 69476 MiB
End job on node104 at 2012-06-09 15:16:08