Trace number 3734700

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-29? (TO) 1806.86 779.917

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_2.opb
MD5SUM6c673f615af1912eadc68b4290958076
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables61
Total number of constraints15
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints14
Minimum length of a constraint1
Maximum length of a constraint60
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1648
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4944
Number of bits of the biggest sum of numbers13
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-3734700-1339247534.opb.
0.00/0.00	c Instance file HOME/instance-3734700-1339247534.opb
0.00/0.00	c File size is 6852 bytes.
0.00/0.00	c Highest Coefficient sum: 4944
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.01         s                                      |
0.00/0.00	c |  Number Variables:      61                                                  |
0.00/0.00	c |  Number Constraints:    15                                                  |
0.00/0.00	c ===============================================================================
1800.14/779.91	c Remaining time 1799.99 sec.
1800.14/779.91	c 
1800.14/779.91	c *** INTERRUPTED ***
1800.14/779.91	s UNKNOWN
1800.14/779.91	c Total CPU time              : 934.265 s
1800.14/779.91	c Memory used           : 119.21 MB
1800.14/779.91	c CPU time              : 934.265 s
1800.14/779.91	c 
1800.14/779.91	c *** INTERRUPTED ***

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-3734700-1339247534/watcher-3734700-1339247534 -o /tmp/evaluation-result-3734700-1339247534/solver-3734700-1339247534 -C 1800 -W 1900 -M 15500 run HOME/instance-3734700-1339247534.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: 5.39 5.40 3.04 4/177 30109
/proc/meminfo: memFree=29172356/32873844 swapFree=7628/7628
[pid=30109] ppid=30107 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30109/stat : 30109 (run) S 30107 30109 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390877761 9367552 269 33554432000 4194304 5064252 140733997363632 140733997362544 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30109/statm: 2287 269 229 213 0 72 0

[startup+0.0965491 s]
/proc/loadavg: 5.39 5.40 3.04 4/177 30109
/proc/meminfo: memFree=29172356/32873844 swapFree=7628/7628
[pid=30109] ppid=30107 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30109/stat : 30109 (run) S 30107 30109 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390877761 9367552 269 33554432000 4194304 5064252 140733997363632 140733997362544 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30109/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100208 s]
/proc/loadavg: 5.39 5.40 3.04 4/177 30109
/proc/meminfo: memFree=29172356/32873844 swapFree=7628/7628
[pid=30109] ppid=30107 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30109/stat : 30109 (run) S 30107 30109 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390877761 9367552 269 33554432000 4194304 5064252 140733997363632 140733997362544 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30109/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300121 s]
/proc/loadavg: 5.39 5.40 3.04 4/177 30109
/proc/meminfo: memFree=29172356/32873844 swapFree=7628/7628
[pid=30109] ppid=30107 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30109/stat : 30109 (run) S 30107 30109 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390877761 9367552 269 33554432000 4194304 5064252 140733997363632 140733997362544 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30109/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700253 s]
/proc/loadavg: 5.39 5.40 3.04 4/177 30109
/proc/meminfo: memFree=29172356/32873844 swapFree=7628/7628
[pid=30109] ppid=30107 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30109/stat : 30109 (run) S 30107 30109 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390877761 9367552 269 33554432000 4194304 5064252 140733997363632 140733997362544 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30109/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50032 s]
/proc/loadavg: 5.39 5.40 3.04 4/186 30132
/proc/meminfo: memFree=29166996/32873844 swapFree=7628/7628
[pid=30109] ppid=30107 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30109/stat : 30109 (run) S 30107 30109 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390877761 9367552 269 33554432000 4194304 5064252 140733997363632 140733997362544 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30109/statm: 2287 269 229 213 0 72 0
[pid=30110] ppid=30109 vsize=94568 CPUtime=3.17 cores=1,3,5,7
/proc/30110/stat : 30110 (pb_cplex) S 30109 30109 29579 0 -1 4202496 3217 0 0 0 171 146 0 0 20 0 8 0 390877761 96837632 2298 33554432000 134512640 146736320 4288416064 4288412432 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30110/statm: 23642 2298 948 2985 0 20576 0
[pid=30110/tid=30126] ppid=30109 vsize=94568 CPUtime=0.35 cores=1,3,5,7
/proc/30110/task/30126/stat : 30126 (pb_cplex) S 30109 30109 29579 0 -1 4202560 38 0 0 0 15 20 0 0 20 0 8 0 390877770 96837632 2298 33554432000 134512640 146736320 4288416064 4130975376 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30110/tid=30127] ppid=30109 vsize=94568 CPUtime=0.35 cores=1,3,5,7
/proc/30110/task/30127/stat : 30127 (pb_cplex) S 30109 30109 29579 0 -1 4202560 23 0 0 0 14 21 0 0 20 0 8 0 390877770 96837632 2298 33554432000 134512640 146736320 4288416064 4141461136 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30110/tid=30128] ppid=30109 vsize=94568 CPUtime=0.35 cores=1,3,5,7
/proc/30110/task/30128/stat : 30128 (pb_cplex) S 30109 30109 29579 0 -1 4202560 35 0 0 0 18 17 0 0 20 0 8 0 390877770 96837632 2298 33554432000 134512640 146736320 4288416064 4151946896 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30110/tid=30129] ppid=30109 vsize=94568 CPUtime=0.35 cores=1,3,5,7
/proc/30110/task/30129/stat : 30129 (pb_cplex) S 30109 30109 29579 0 -1 4202560 19 0 0 0 17 18 0 0 20 0 8 0 390877770 96837632 2298 33554432000 134512640 146736320 4288416064 4120489616 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30110/tid=30130] ppid=30109 vsize=94568 CPUtime=0.34 cores=1,3,5,7
/proc/30110/task/30130/stat : 30130 (pb_cplex) S 30109 30109 29579 0 -1 4202560 47 0 0 0 7 27 0 0 20 0 8 0 390877770 96837632 2298 33554432000 134512640 146736320 4288416064 4110003856 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30110/tid=30131] ppid=30109 vsize=94568 CPUtime=0.35 cores=1,3,5,7
/proc/30110/task/30131/stat : 30131 (pb_cplex) R 30109 30109 29579 0 -1 4202560 30 0 0 0 23 12 0 0 20 0 8 0 390877770 96837632 2298 33554432000 134512640 146736320 4288416064 4099518096 144580073 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=30110/tid=30132] ppid=30109 vsize=94568 CPUtime=0.35 cores=1,3,5,7
/proc/30110/task/30132/stat : 30132 (pb_cplex) S 30109 30109 29579 0 -1 4202560 36 0 0 0 21 14 0 0 20 0 8 0 390877770 96837632 2298 33554432000 134512640 146736320 4288416064 4089032336 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.17
Current children cumulated vsize (KiB) 103716

[startup+3.10077 s]
/proc/loadavg: 5.39 5.40 3.04 3/186 30132
/proc/meminfo: memFree=29166200/32873844 swapFree=7628/7628
[pid=30109] ppid=30107 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30109/stat : 30109 (run) S 30107 30109 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390877761 9367552 269 33554432000 4194304 5064252 140733997363632 140733997362544 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30109/statm: 2287 269 229 213 0 72 0
[pid=30110] ppid=30109 vsize=94568 CPUtime=7 cores=1,3,5,7
/proc/30110/stat : 30110 (pb_cplex) R 30109 30109 29579 0 -1 4202496 3219 0 0 0 370 330 0 0 20 0 8 0 390877761 96837632 2300 33554432000 134512640 146736320 4288416064 4288409664 136226273 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30110/statm: 23642 2300 948 2985 0 20576 0
[pid=30110/tid=30126] ppid=30109 vsize=94568 CPUtime=0.83 cores=1,3,5,7
/proc/30110/task/30126/stat : 30126 (pb_cplex) R 30109 30109 29579 0 -1 4202560 38 0 0 0 30 53 0 0 20 0 8 0 390877770 96837632 2300 33554432000 134512640 146736320 4288416064 4130972648 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=30110/tid=30127] ppid=30109 vsize=94568 CPUtime=0.82 cores=1,3,5,7
/proc/30110/task/30127/stat : 30127 (pb_cplex) S 30109 30109 29579 0 -1 4202560 23 0 0 0 45 37 0 0 20 0 8 0 390877770 96837632 2300 33554432000 134512640 146736320 4288416064 4141461136 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30110/tid=30128] ppid=30109 vsize=94568 CPUtime=0.83 cores=1,3,5,7
/proc/30110/task/30128/stat : 30128 (pb_cplex) R 30109 30109 29579 0 -1 4202560 35 0 0 0 48 35 0 0 20 0 8 0 390877770 96837632 2300 33554432000 134512640 146736320 4288416064 4151943448 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=30110/tid=30129] ppid=30109 vsize=94568 CPUtime=0.81 cores=1,3,5,7
/proc/30110/task/30129/stat : 30129 (pb_cplex) R 30109 30109 29579 0 -1 4202560 19 0 0 0 47 34 0 0 20 0 8 0 390877770 96837632 2300 33554432000 134512640 146736320 4288416064 4120486888 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=30110/tid=30130] ppid=30109 vsize=94568 CPUtime=0.81 cores=1,3,5,7
/proc/30110/task/30130/stat : 30130 (pb_cplex) R 30109 30109 29579 0 -1 4202560 47 0 0 0 32 49 0 0 20 0 8 0 390877770 96837632 2300 33554432000 134512640 146736320 4288416064 4110001128 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=30110/tid=30131] ppid=30109 vsize=94568 CPUtime=0.81 cores=1,3,5,7
/proc/30110/task/30131/stat : 30131 (pb_cplex) R 30109 30109 29579 0 -1 4202560 31 0 0 0 51 30 0 0 20 0 8 0 390877770 96837632 2300 33554432000 134512640 146736320 4288416064 4099515368 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=30110/tid=30132] ppid=30109 vsize=94568 CPUtime=0.81 cores=1,3,5,7
/proc/30110/task/30132/stat : 30132 (pb_cplex) R 30109 30109 29579 0 -1 4202560 37 0 0 0 30 51 0 0 20 0 8 0 390877770 96837632 2300 33554432000 134512640 146736320 4288416064 4089032336 144580073 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7
Current children cumulated vsize (KiB) 103716

[startup+6.30033 s]
/proc/loadavg: 5.04 5.33 3.03 6/186 30132
/proc/meminfo: memFree=29165580/32873844 swapFree=7628/7628
[pid=30109] ppid=30107 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30109/stat : 30109 (run) S 30107 30109 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390877761 9367552 269 33554432000 4194304 5064252 140733997363632 140733997362544 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30109/statm: 2287 269 229 213 0 72 0
[pid=30110] ppid=30109 vsize=96084 CPUtime=14.29 cores=1,3,5,7
/proc/30110/stat : 30110 (pb_cplex) R 30109 30109 29579 0 -1 4202496 3602 0 0 0 767 662 0 0 20 0 8 0 390877761 98390016 2599 33554432000 134512640 146736320 4288416064 4288412460 144580332 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30110/statm: 24021 2599 948 2985 0 20955 0
[pid=30110/tid=30126] ppid=30109 vsize=96084 CPUtime=1.71 cores=1,3,5,7
/proc/30110/task/30126/stat : 30126 (pb_cplex) R 30109 30109 29579 0 -1 4202560 61 0 0 0 82 89 0 0 20 0 8 0 390877770 98390016 2599 33554432000 134512640 146736320 4288416064 4130971928 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=30110/tid=30127] ppid=30109 vsize=96084 CPUtime=1.72 cores=1,3,5,7
/proc/30110/task/30127/stat : 30127 (pb_cplex) R 30109 30109 29579 0 -1 4202560 59 0 0 0 85 87 0 0 20 0 8 0 390877770 98390016 2599 33554432000 134512640 146736320 4288416064 4141461136 144580073 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=30110/tid=30128] ppid=30109 vsize=96084 CPUtime=1.71 cores=1,3,5,7
/proc/30110/task/30128/stat : 30128 (pb_cplex) S 30109 30109 29579 0 -1 4202560 65 0 0 0 86 85 0 0 20 0 8 0 390877770 98390016 2599 33554432000 134512640 146736320 4288416064 4151946896 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30110/tid=30129] ppid=30109 vsize=96084 CPUtime=1.71 cores=1,3,5,7
/proc/30110/task/30129/stat : 30129 (pb_cplex) S 30109 30109 29579 0 -1 4202560 79 0 0 0 95 76 0 0 20 0 8 0 390877770 98390016 2599 33554432000 134512640 146736320 4288416064 4120489616 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30110/tid=30130] ppid=30109 vsize=96084 CPUtime=1.72 cores=1,3,5,7
/proc/30110/task/30130/stat : 30130 (pb_cplex) S 30109 30109 29579 0 -1 4202560 105 0 0 0 88 84 0 0 20 0 8 0 390877770 98390016 2599 33554432000 134512640 146736320 4288416064 4110003856 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30110/tid=30131] ppid=30109 vsize=96084 CPUtime=1.7 cores=1,3,5,7
/proc/30110/task/30131/stat : 30131 (pb_cplex) S 30109 30109 29579 0 -1 4202560 94 0 0 0 87 83 0 0 20 0 8 0 390877770 98390016 2599 33554432000 134512640 146736320 4288416064 4099518096 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30110/tid=30132] ppid=30109 vsize=96084 CPUtime=1.71 cores=1,3,5,7
/proc/30110/task/30132/stat : 30132 (pb_cplex) S 30109 30109 29579 0 -1 4202560 99 0 0 0 85 86 0 0 20 0 8 0 390877770 98390016 2599 33554432000 134512640 146736320 4288416064 4089032336 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 14.29
Current children cumulated vsize (KiB) 105232

[startup+12.7003 s]
/proc/loadavg: 4.72 5.26 3.02 3/186 30132
/proc/meminfo: memFree=29165624/32873844 swapFree=7628/7628
[pid=30109] ppid=30107 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30109/stat : 30109 (run) S 30107 30109 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390877761 9367552 269 33554432000 4194304 5064252 140733997363632 140733997362544 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30109/statm: 2287 269 229 213 0 72 0
[pid=30110] ppid=30109 vsize=96084 CPUtime=28.79 cores=1,3,5,7
/proc/30110/stat : 30110 (pb_cplex) S 30109 30109 29579 0 -1 4202496 3635 0 0 0 1531 1348 0 0 20 0 8 0 390877761 98390016 2625 33554432000 134512640 146736320 4288416064 4288412432 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30110/statm: 24021 2625 948 2985 0 20955 0
[pid=30110/tid=30126] ppid=30109 vsize=96084 CPUtime=3.47 cores=1,3,5,7
/proc/30110/task/30126/stat : 30126 (pb_cplex) S 30109 30109 29579 0 -1 4202560 65 0 0 0 150 197 0 0 20 0 8 0 390877770 98390016 2625 33554432000 134512640 146736320 4288416064 4130975376 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30110/tid=30127] ppid=30109 vsize=96084 CPUtime=3.52 cores=1,3,5,7
/proc/30110/task/30127/stat : 30127 (pb_cplex) S 30109 30109 29579 0 -1 4202560 66 0 0 0 194 158 0 0 20 0 8 0 390877770 98390016 2625 33554432000 134512640 146736320 4288416064 4141461136 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30110/tid=30128] ppid=30109 vsize=96084 CPUtime=3.48 cores=1,3,5,7
/proc/30110/task/30128/stat : 30128 (pb_cplex) S 30109 30109 29579 0 -1 4202560 72 0 0 0 195 153 0 0 20 0 8 0 390877770 98390016 2625 33554432000 134512640 146736320 4288416064 4151946896 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30110/tid=30129] ppid=30109 vsize=96084 CPUtime=3.5 cores=1,3,5,7
/proc/30110/task/30129/stat : 30129 (pb_cplex) S 30109 30109 29579 0 -1 4202560 80 0 0 0 166 184 0 0 20 0 8 0 390877770 98390016 2625 33554432000 134512640 146736320 4288416064 4120489616 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30110/tid=30130] ppid=30109 vsize=96084 CPUtime=3.46 cores=1,3,5,7
/proc/30110/task/30130/stat : 30130 (pb_cplex) S 30109 30109 29579 0 -1 4202560 109 0 0 0 198 148 0 0 20 0 8 0 390877770 98390016 2625 33554432000 134512640 146736320 4288416064 4110003856 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30110/tid=30131] ppid=30109 vsize=96084 CPUtime=3.53 cores=1,3,5,7
/proc/30110/task/30131/stat : 30131 (pb_cplex) S 30109 30109 29579 0 -1 4202560 101 0 0 0 180 173 0 0 20 0 8 0 390877770 98390016 2625 33554432000 134512640 146736320 4288416064 4099518096 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30110/tid=30132] ppid=30109 vsize=96084 CPUtime=3.47 cores=1,3,5,7
/proc/30110/task/30132/stat : 30132 (pb_cplex) R 30109 30109 29579 0 -1 4202560 100 0 0 0 163 184 0 0 20 0 8 0 390877770 98390016 2625 33554432000 134512640 146736320 4288416064 4089032336 144580073 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 28.79
Current children cumulated vsize (KiB) 105232

[startup+25.5065 s]
/proc/loadavg: 3.89 5.05 2.98 3/186 30132
/proc/meminfo: memFree=29165904/32873844 swapFree=7628/7628
[pid=30109] ppid=30107 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30109/stat : 30109 (run) S 30107 30109 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390877761 9367552 269 33554432000 4194304 5064252 140733997363632 140733997362544 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30109/statm: 2287 269 229 213 0 72 0
[pid=30110] ppid=30109 vsize=96084 CPUtime=59.52 cores=1,3,5,7
/proc/30110/stat : 30110 (pb_cplex) R 30109 30109 29579 0 -1 4202496 3684 0 0 0 3174 2778 0 0 20 0 8 0 390877761 98390016 2674 33554432000 134512640 146736320 4288416064 4288409704 144757825 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30110/statm: 24021 2674 948 2985 0 20955 0
[pid=30110/tid=30126] ppid=30109 vsize=96084 CPUtime=7.23 cores=1,3,5,7
/proc/30110/task/30126/stat : 30126 (pb_cplex) R 30109 30109 29579 0 -1 4202560 77 0 0 0 320 403 0 0 20 0 8 0 390877770 98390016 2674 33554432000 134512640 146736320 4288416064 4130972648 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=30110/tid=30127] ppid=30109 vsize=96084 CPUtime=7.23 cores=1,3,5,7
/proc/30110/task/30127/stat : 30127 (pb_cplex) S 30109 30109 29579 0 -1 4202560 73 0 0 0 422 301 0 0 20 0 8 0 390877770 98390016 2674 33554432000 134512640 146736320 4288416064 4141461136 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30110/tid=30128] ppid=30109 vsize=96084 CPUtime=7.19 cores=1,3,5,7
/proc/30110/task/30128/stat : 30128 (pb_cplex) R 30109 30109 29579 0 -1 4202560 83 0 0 0 420 299 0 0 20 0 8 0 390877770 98390016 2674 33554432000 134512640 146736320 4288416064 4151942968 138440361 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=30110/tid=30129] ppid=30109 vsize=96084 CPUtime=7.25 cores=1,3,5,7
/proc/30110/task/30129/stat : 30129 (pb_cplex) S 30109 30109 29579 0 -1 4202560 81 0 0 0 320 405 0 0 20 0 8 0 390877770 98390016 2674 33554432000 134512640 146736320 4288416064 4120489616 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30110/tid=30130] ppid=30109 vsize=96084 CPUtime=7.18 cores=1,3,5,7
/proc/30110/task/30130/stat : 30130 (pb_cplex) S 30109 30109 29579 0 -1 4202560 119 0 0 0 379 339 0 0 20 0 8 0 390877770 98390016 2674 33554432000 134512640 146736320 4288416064 4110003856 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30110/tid=30131] ppid=30109 vsize=96084 CPUtime=7.23 cores=1,3,5,7
/proc/30110/task/30131/stat : 30131 (pb_cplex) S 30109 30109 29579 0 -1 4202560 103 0 0 0 349 374 0 0 20 0 8 0 390877770 98390016 2674 33554432000 134512640 146736320 4288416064 4099518096 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30110/tid=30132] ppid=30109 vsize=96084 CPUtime=7.27 cores=1,3,5,7
/proc/30110/task/30132/stat : 30132 (pb_cplex) R 30109 30109 29579 0 -1 4202560 100 0 0 0 360 367 0 0 20 0 8 0 390877770 98390016 2674 33554432000 134512640 146736320 4288416064 4089030168 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 59.52
Current children cumulated vsize (KiB) 105232

[startup+51.1003 s]
/proc/loadavg: 2.91 4.72 2.93 3/186 30132
/proc/meminfo: memFree=29164416/32873844 swapFree=7628/7628
[pid=30109] ppid=30107 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30109/stat : 30109 (run) S 30107 30109 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390877761 9367552 269 33554432000 4194304 5064252 140733997363632 140733997362544 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30109/statm: 2287 269 229 213 0 72 0

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

[pid=30110/tid=30131] ppid=30109 vsize=121276 CPUtime=146.28 cores=1,3,5,7
/proc/30110/task/30131/stat : 30131 (pb_cplex) R 30109 30109 29579 0 -1 4202560 598 0 0 0 7546 7082 0 0 20 0 8 0 390877770 124186624 6706 33554432000 134512640 146736320 4288416064 4099515368 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=30110/tid=30132] ppid=30109 vsize=121276 CPUtime=148.24 cores=1,3,5,7
/proc/30110/task/30132/stat : 30132 (pb_cplex) R 30109 30109 29579 0 -1 4202560 633 0 0 0 7433 7391 0 0 20 0 8 0 390877770 124186624 6706 33554432000 134512640 146736320 4288416064 4089032336 144580073 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1205.72
Current children cumulated vsize (KiB) 130424

[startup+582.3 s]
/proc/loadavg: 1.08 1.66 2.09 3/186 30137
/proc/meminfo: memFree=29147112/32873844 swapFree=7628/7628
[pid=30109] ppid=30107 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30109/stat : 30109 (run) S 30107 30109 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390877761 9367552 269 33554432000 4194304 5064252 140733997363632 140733997362544 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30109/statm: 2287 269 229 213 0 72 0
[pid=30110] ppid=30109 vsize=121276 CPUtime=1344.87 cores=1,3,5,7
/proc/30110/stat : 30110 (pb_cplex) S 30109 30109 29579 0 -1 4202496 8358 0 0 0 69803 64684 0 0 20 0 8 0 390877761 124186624 7088 33554432000 134512640 146736320 4288416064 4288412432 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30110/statm: 30319 7088 948 2985 0 27253 0
[pid=30110/tid=30126] ppid=30109 vsize=121276 CPUtime=163.83 cores=1,3,5,7
/proc/30110/task/30126/stat : 30126 (pb_cplex) R 30109 30109 29579 0 -1 4202560 717 0 0 0 8228 8155 0 0 20 0 8 0 390877770 124186624 7088 33554432000 134512640 146736320 4288416064 4130972648 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=30110/tid=30127] ppid=30109 vsize=121276 CPUtime=164.63 cores=1,3,5,7
/proc/30110/task/30127/stat : 30127 (pb_cplex) S 30109 30109 29579 0 -1 4202560 649 0 0 0 8538 7925 0 0 20 0 8 0 390877770 124186624 7088 33554432000 134512640 146736320 4288416064 4141461136 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30110/tid=30128] ppid=30109 vsize=121276 CPUtime=164.03 cores=1,3,5,7
/proc/30110/task/30128/stat : 30128 (pb_cplex) S 30109 30109 29579 0 -1 4202560 633 0 0 0 8380 8023 0 0 20 0 8 0 390877770 124186624 7088 33554432000 134512640 146736320 4288416064 4151946896 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30110/tid=30129] ppid=30109 vsize=121276 CPUtime=163.64 cores=1,3,5,7
/proc/30110/task/30129/stat : 30129 (pb_cplex) S 30109 30109 29579 0 -1 4202560 733 0 0 0 8191 8173 0 0 20 0 8 0 390877770 124186624 7088 33554432000 134512640 146736320 4288416064 4120489616 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30110/tid=30130] ppid=30109 vsize=121276 CPUtime=163.06 cores=1,3,5,7
/proc/30110/task/30130/stat : 30130 (pb_cplex) S 30109 30109 29579 0 -1 4202560 651 0 0 0 8210 8096 0 0 20 0 8 0 390877770 124186624 7088 33554432000 134512640 146736320 4288416064 4110003856 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30110/tid=30131] ppid=30109 vsize=121276 CPUtime=163.09 cores=1,3,5,7
/proc/30110/task/30131/stat : 30131 (pb_cplex) S 30109 30109 29579 0 -1 4202560 649 0 0 0 8350 7959 0 0 20 0 8 0 390877770 124186624 7088 33554432000 134512640 146736320 4288416064 4099518096 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30110/tid=30132] ppid=30109 vsize=121276 CPUtime=165.4 cores=1,3,5,7
/proc/30110/task/30132/stat : 30132 (pb_cplex) S 30109 30109 29579 0 -1 4202560 676 0 0 0 8282 8258 0 0 20 0 8 0 390877770 124186624 7088 33554432000 134512640 146736320 4288416064 4089032336 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1344.87
Current children cumulated vsize (KiB) 130424

[startup+642.3 s]
/proc/loadavg: 1.03 1.54 2.02 3/186 30137
/proc/meminfo: memFree=29097676/32873844 swapFree=7628/7628
[pid=30109] ppid=30107 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30109/stat : 30109 (run) S 30107 30109 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390877761 9367552 269 33554432000 4194304 5064252 140733997363632 140733997362544 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30109/statm: 2287 269 229 213 0 72 0
[pid=30110] ppid=30109 vsize=121276 CPUtime=1482.1 cores=1,3,5,7
/proc/30110/stat : 30110 (pb_cplex) R 30109 30109 29579 0 -1 4202496 8721 0 0 0 76954 71256 0 0 20 0 8 0 390877761 124186624 7449 33554432000 134512640 146736320 4288416064 4288410824 137021752 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30110/statm: 30319 7449 948 2985 0 27253 0
[pid=30110/tid=30126] ppid=30109 vsize=121276 CPUtime=180.47 cores=1,3,5,7
/proc/30110/task/30126/stat : 30126 (pb_cplex) S 30109 30109 29579 0 -1 4202560 758 0 0 0 9038 9009 0 0 20 0 8 0 390877770 124186624 7449 33554432000 134512640 146736320 4288416064 4130975376 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30110/tid=30127] ppid=30109 vsize=121276 CPUtime=181.36 cores=1,3,5,7
/proc/30110/task/30127/stat : 30127 (pb_cplex) S 30109 30109 29579 0 -1 4202560 691 0 0 0 9362 8774 0 0 20 0 8 0 390877770 124186624 7449 33554432000 134512640 146736320 4288416064 4141461136 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30110/tid=30128] ppid=30109 vsize=121276 CPUtime=180.78 cores=1,3,5,7
/proc/30110/task/30128/stat : 30128 (pb_cplex) S 30109 30109 29579 0 -1 4202560 678 0 0 0 9280 8798 0 0 20 0 8 0 390877770 124186624 7449 33554432000 134512640 146736320 4288416064 4151946896 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30110/tid=30129] ppid=30109 vsize=121276 CPUtime=180.26 cores=1,3,5,7
/proc/30110/task/30129/stat : 30129 (pb_cplex) S 30109 30109 29579 0 -1 4202560 782 0 0 0 9063 8963 0 0 20 0 8 0 390877770 124186624 7449 33554432000 134512640 146736320 4288416064 4120489616 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30110/tid=30130] ppid=30109 vsize=121276 CPUtime=179.77 cores=1,3,5,7
/proc/30110/task/30130/stat : 30130 (pb_cplex) R 30109 30109 29579 0 -1 4202560 695 0 0 0 9083 8894 0 0 20 0 8 0 390877770 124186624 7449 33554432000 134512640 146736320 4288416064 4110001128 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=30110/tid=30131] ppid=30109 vsize=121276 CPUtime=179.72 cores=1,3,5,7
/proc/30110/task/30131/stat : 30131 (pb_cplex) R 30109 30109 29579 0 -1 4202560 702 0 0 0 9221 8751 0 0 20 0 8 0 390877770 124186624 7449 33554432000 134512640 146736320 4288416064 4099515368 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=30110/tid=30132] ppid=30109 vsize=121276 CPUtime=182.35 cores=1,3,5,7
/proc/30110/task/30132/stat : 30132 (pb_cplex) R 30109 30109 29579 0 -1 4202560 721 0 0 0 9141 9094 0 0 20 0 8 0 390877770 124186624 7449 33554432000 134512640 146736320 4288416064 4089029608 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.1
Current children cumulated vsize (KiB) 130424

[startup+702.3 s]
/proc/loadavg: 1.01 1.44 1.95 5/186 30137
/proc/meminfo: memFree=29093772/32873844 swapFree=7628/7628
[pid=30109] ppid=30107 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30109/stat : 30109 (run) S 30107 30109 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390877761 9367552 269 33554432000 4194304 5064252 140733997363632 140733997362544 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30109/statm: 2287 269 229 213 0 72 0
[pid=30110] ppid=30109 vsize=122068 CPUtime=1620.13 cores=1,3,5,7
/proc/30110/stat : 30110 (pb_cplex) S 30109 30109 29579 0 -1 4202496 9295 0 0 0 84106 77907 0 0 20 0 8 0 390877761 124997632 7900 33554432000 134512640 146736320 4288416064 4288412432 144580073 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30110/statm: 30517 7900 948 2985 0 27451 0
[pid=30110/tid=30126] ppid=30109 vsize=122068 CPUtime=197.41 cores=1,3,5,7
/proc/30110/task/30126/stat : 30126 (pb_cplex) S 30109 30109 29579 0 -1 4202560 810 0 0 0 9894 9847 0 0 20 0 8 0 390877770 124997632 7900 33554432000 134512640 146736320 4288416064 4130975376 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30110/tid=30127] ppid=30109 vsize=122068 CPUtime=198.16 cores=1,3,5,7
/proc/30110/task/30127/stat : 30127 (pb_cplex) S 30109 30109 29579 0 -1 4202560 746 0 0 0 10313 9503 0 0 20 0 8 0 390877770 124997632 7900 33554432000 134512640 146736320 4288416064 4141461136 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30110/tid=30128] ppid=30109 vsize=122068 CPUtime=197.68 cores=1,3,5,7
/proc/30110/task/30128/stat : 30128 (pb_cplex) S 30109 30109 29579 0 -1 4202560 727 0 0 0 10137 9631 0 0 20 0 8 0 390877770 124997632 7900 33554432000 134512640 146736320 4288416064 4151946896 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30110/tid=30129] ppid=30109 vsize=122068 CPUtime=197.1 cores=1,3,5,7
/proc/30110/task/30129/stat : 30129 (pb_cplex) R 30109 30109 29579 0 -1 4202560 837 0 0 0 9850 9860 0 0 20 0 8 0 390877770 124997632 7900 33554432000 134512640 146736320 4288416064 4120489616 144580073 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=30110/tid=30130] ppid=30109 vsize=122068 CPUtime=196.44 cores=1,3,5,7
/proc/30110/task/30130/stat : 30130 (pb_cplex) S 30109 30109 29579 0 -1 4202560 893 0 0 0 9895 9749 0 0 20 0 8 0 390877770 124997632 7900 33554432000 134512640 146736320 4288416064 4110003856 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30110/tid=30131] ppid=30109 vsize=122068 CPUtime=196.45 cores=1,3,5,7
/proc/30110/task/30131/stat : 30131 (pb_cplex) S 30109 30109 29579 0 -1 4202560 761 0 0 0 10104 9541 0 0 20 0 8 0 390877770 124997632 7900 33554432000 134512640 146736320 4288416064 4099518096 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30110/tid=30132] ppid=30109 vsize=122068 CPUtime=199.33 cores=1,3,5,7
/proc/30110/task/30132/stat : 30132 (pb_cplex) S 30109 30109 29579 0 -1 4202560 771 0 0 0 10012 9921 0 0 20 0 8 0 390877770 124997632 7900 33554432000 134512640 146736320 4288416064 4089032336 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1620.13
Current children cumulated vsize (KiB) 131216

[startup+762.3 s]
/proc/loadavg: 1.00 1.36 1.89 6/186 30137
/proc/meminfo: memFree=29088668/32873844 swapFree=7628/7628
[pid=30109] ppid=30107 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30109/stat : 30109 (run) S 30107 30109 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390877761 9367552 269 33554432000 4194304 5064252 140733997363632 140733997362544 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30109/statm: 2287 269 229 213 0 72 0
[pid=30110] ppid=30109 vsize=122068 CPUtime=1759.93 cores=1,3,5,7
/proc/30110/stat : 30110 (pb_cplex) R 30109 30109 29579 0 -1 4202496 9716 0 0 0 91335 84658 0 0 20 0 8 0 390877761 124997632 8321 33554432000 134512640 146736320 4288416064 4288412300 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30110/statm: 30517 8321 948 2985 0 27451 0
[pid=30110/tid=30126] ppid=30109 vsize=122068 CPUtime=214.4 cores=1,3,5,7
/proc/30110/task/30126/stat : 30126 (pb_cplex) R 30109 30109 29579 0 -1 4202560 860 0 0 0 10720 10720 0 0 20 0 8 0 390877770 124997632 8321 33554432000 134512640 146736320 4288416064 4130975344 144580073 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=30110/tid=30127] ppid=30109 vsize=122068 CPUtime=215.47 cores=1,3,5,7
/proc/30110/task/30127/stat : 30127 (pb_cplex) S 30109 30109 29579 0 -1 4202560 803 0 0 0 11144 10403 0 0 20 0 8 0 390877770 124997632 8321 33554432000 134512640 146736320 4288416064 4141461104 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30110/tid=30128] ppid=30109 vsize=122068 CPUtime=214.75 cores=1,3,5,7
/proc/30110/task/30128/stat : 30128 (pb_cplex) S 30109 30109 29579 0 -1 4202560 776 0 0 0 10989 10486 0 0 20 0 8 0 390877770 124997632 8321 33554432000 134512640 146736320 4288416064 4151946864 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30110/tid=30129] ppid=30109 vsize=122068 CPUtime=214.08 cores=1,3,5,7
/proc/30110/task/30129/stat : 30129 (pb_cplex) S 30109 30109 29579 0 -1 4202560 895 0 0 0 10812 10596 0 0 20 0 8 0 390877770 124997632 8321 33554432000 134512640 146736320 4288416064 4120489584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30110/tid=30130] ppid=30109 vsize=122068 CPUtime=213.32 cores=1,3,5,7
/proc/30110/task/30130/stat : 30130 (pb_cplex) S 30109 30109 29579 0 -1 4202560 944 0 0 0 10715 10617 0 0 20 0 8 0 390877770 124997632 8321 33554432000 134512640 146736320 4288416064 4110003824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30110/tid=30131] ppid=30109 vsize=122068 CPUtime=213.32 cores=1,3,5,7
/proc/30110/task/30131/stat : 30131 (pb_cplex) S 30109 30109 29579 0 -1 4202560 811 0 0 0 10984 10348 0 0 20 0 8 0 390877770 124997632 8321 33554432000 134512640 146736320 4288416064 4099518064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30110/tid=30132] ppid=30109 vsize=122068 CPUtime=216.44 cores=1,3,5,7
/proc/30110/task/30132/stat : 30132 (pb_cplex) S 30109 30109 29579 0 -1 4202560 822 0 0 0 10839 10805 0 0 20 0 8 0 390877770 124997632 8321 33554432000 134512640 146736320 4288416064 4089032304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1759.93
Current children cumulated vsize (KiB) 131216



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+779.901 s]
/proc/loadavg: 1.00 1.33 1.87 5/186 30137
/proc/meminfo: memFree=29088352/32873844 swapFree=7628/7628
[pid=30109] ppid=30107 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30109/stat : 30109 (run) S 30107 30109 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390877761 9367552 269 33554432000 4194304 5064252 140733997363632 140733997362544 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30109/statm: 2287 269 229 213 0 72 0
[pid=30110] ppid=30109 vsize=122068 CPUtime=1800.14 cores=1,3,5,7
/proc/30110/stat : 30110 (pb_cplex) R 30109 30109 29579 0 -1 4202496 9828 0 0 0 93426 86588 0 0 20 0 8 0 390877761 124997632 8433 33554432000 134512640 146736320 4288416064 4288412460 144580332 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30110/statm: 30517 8433 948 2985 0 27451 0
[pid=30110/tid=30126] ppid=30109 vsize=122068 CPUtime=219.31 cores=1,3,5,7
/proc/30110/task/30126/stat : 30126 (pb_cplex) R 30109 30109 29579 0 -1 4202560 875 0 0 0 10953 10978 0 0 20 0 8 0 390877770 124997632 8433 33554432000 134512640 146736320 4288416064 4130974296 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=30110/tid=30127] ppid=30109 vsize=122068 CPUtime=220.41 cores=1,3,5,7
/proc/30110/task/30127/stat : 30127 (pb_cplex) S 30109 30109 29579 0 -1 4202560 818 0 0 0 11374 10667 0 0 20 0 8 0 390877770 124997632 8433 33554432000 134512640 146736320 4288416064 4141461136 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30110/tid=30128] ppid=30109 vsize=122068 CPUtime=219.64 cores=1,3,5,7
/proc/30110/task/30128/stat : 30128 (pb_cplex) S 30109 30109 29579 0 -1 4202560 789 0 0 0 11305 10659 0 0 20 0 8 0 390877770 124997632 8433 33554432000 134512640 146736320 4288416064 4151946896 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30110/tid=30129] ppid=30109 vsize=122068 CPUtime=218.97 cores=1,3,5,7
/proc/30110/task/30129/stat : 30129 (pb_cplex) S 30109 30109 29579 0 -1 4202560 908 0 0 0 11042 10855 0 0 20 0 8 0 390877770 124997632 8433 33554432000 134512640 146736320 4288416064 4120489616 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30110/tid=30130] ppid=30109 vsize=122068 CPUtime=218.15 cores=1,3,5,7
/proc/30110/task/30130/stat : 30130 (pb_cplex) S 30109 30109 29579 0 -1 4202560 956 0 0 0 10942 10873 0 0 20 0 8 0 390877770 124997632 8433 33554432000 134512640 146736320 4288416064 4110003856 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30110/tid=30131] ppid=30109 vsize=122068 CPUtime=218.17 cores=1,3,5,7
/proc/30110/task/30131/stat : 30131 (pb_cplex) S 30109 30109 29579 0 -1 4202560 823 0 0 0 11253 10564 0 0 20 0 8 0 390877770 124997632 8433 33554432000 134512640 146736320 4288416064 4099518096 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30110/tid=30132] ppid=30109 vsize=122068 CPUtime=221.45 cores=1,3,5,7
/proc/30110/task/30132/stat : 30132 (pb_cplex) R 30109 30109 29579 0 -1 4202560 840 0 0 0 11084 11061 0 0 20 0 8 0 390877770 124997632 8433 33554432000 134512640 146736320 4288416064 4089029608 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 131216

Sending SIGTERM to process tree (bottom up)

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

[startup+779.901 s]
/proc/loadavg: 1.00 1.33 1.87 5/186 30137
/proc/meminfo: memFree=29088352/32873844 swapFree=7628/7628
[pid=30109] ppid=30107 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30109/stat : 30109 (run) S 30107 30109 29579 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390877761 9367552 269 33554432000 4194304 5064252 140733997363632 140733997362544 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30109/statm: 2287 269 229 213 0 72 0
[pid=30110] ppid=30109 vsize=122068 CPUtime=1800.14 cores=1,3,5,7
/proc/30110/stat : 30110 (pb_cplex) R 30109 30109 29579 0 -1 4202496 9828 0 0 0 93426 86588 0 0 20 0 8 0 390877761 124997632 8433 33554432000 134512640 146736320 4288416064 4288412460 144580332 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30110/statm: 30517 8433 948 2985 0 27451 0
[pid=30110/tid=30126] ppid=30109 vsize=122068 CPUtime=219.31 cores=1,3,5,7
/proc/30110/task/30126/stat : 30126 (pb_cplex) R 30109 30109 29579 0 -1 4202560 875 0 0 0 10953 10978 0 0 20 0 8 0 390877770 124997632 8433 33554432000 134512640 146736320 4288416064 4130974296 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=30110/tid=30127] ppid=30109 vsize=122068 CPUtime=220.41 cores=1,3,5,7
/proc/30110/task/30127/stat : 30127 (pb_cplex) S 30109 30109 29579 0 -1 4202560 818 0 0 0 11374 10667 0 0 20 0 8 0 390877770 124997632 8433 33554432000 134512640 146736320 4288416064 4141461136 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30110/tid=30128] ppid=30109 vsize=122068 CPUtime=219.64 cores=1,3,5,7
/proc/30110/task/30128/stat : 30128 (pb_cplex) S 30109 30109 29579 0 -1 4202560 789 0 0 0 11305 10659 0 0 20 0 8 0 390877770 124997632 8433 33554432000 134512640 146736320 4288416064 4151946896 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30110/tid=30129] ppid=30109 vsize=122068 CPUtime=218.97 cores=1,3,5,7
/proc/30110/task/30129/stat : 30129 (pb_cplex) S 30109 30109 29579 0 -1 4202560 908 0 0 0 11042 10855 0 0 20 0 8 0 390877770 124997632 8433 33554432000 134512640 146736320 4288416064 4120489616 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30110/tid=30130] ppid=30109 vsize=122068 CPUtime=218.15 cores=1,3,5,7
/proc/30110/task/30130/stat : 30130 (pb_cplex) S 30109 30109 29579 0 -1 4202560 956 0 0 0 10942 10873 0 0 20 0 8 0 390877770 124997632 8433 33554432000 134512640 146736320 4288416064 4110003856 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30110/tid=30131] ppid=30109 vsize=122068 CPUtime=218.17 cores=1,3,5,7
/proc/30110/task/30131/stat : 30131 (pb_cplex) S 30109 30109 29579 0 -1 4202560 823 0 0 0 11253 10564 0 0 20 0 8 0 390877770 124997632 8433 33554432000 134512640 146736320 4288416064 4099518096 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30110/tid=30132] ppid=30109 vsize=122068 CPUtime=221.45 cores=1,3,5,7
/proc/30110/task/30132/stat : 30132 (pb_cplex) R 30109 30109 29579 0 -1 4202560 840 0 0 0 11084 11061 0 0 20 0 8 0 390877770 124997632 8433 33554432000 134512640 146736320 4288416064 4089029608 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 131216

Child status: 0
Real time (s): 779.917
CPU time (s): 1806.86
CPU user time (s): 937.572
CPU system time (s): 869.283
CPU usage (%): 231.673
Max. virtual memory (cumulated for all children) (KiB): 131216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 937.572
system time used= 869.283
maximum resident set size= 33736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10193
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= 37320261
involuntary context switches= 5737430

runsolver used 1.23981 second user time and 3.23851 second system time

The end

Launcher Data 

Begin job on node143 at 2012-06-09 15:12:14
IDJOB=3734700
IDBENCH=2894
IDSOLVER=2325
FILE ID=node143/3734700-1339247534
RUNJOBID= node143-1339246834-29597
PBS_JOBID= 14644338
Free space on /tmp= 70084 MiB

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

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

MD5SUM BENCH= 6c673f615af1912eadc68b4290958076
RANDOM SEED=806659204

node143.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.787
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.57
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.787
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.787
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.787
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.787
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.90
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.787
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	: 5298.57
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.787
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.787
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:        29173140 kB
Buffers:         1929580 kB
Cached:           441420 kB
SwapCached:          196 kB
Active:          2466144 kB
Inactive:         187176 kB
Active(anon):     269956 kB
Inactive(anon):    11452 kB
Active(file):    2196188 kB
Inactive(file):   175724 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108460 kB
Dirty:             16400 kB
Writeback:             0 kB
AnonPages:        286612 kB
Mapped:            12204 kB
Shmem:               160 kB
Slab:             905784 kB
SReclaimable:     346568 kB
SUnreclaim:       559216 kB
KernelStack:        1448 kB
PageTables:         4940 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     583616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    227328 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-3734700-1339247534.opb

Free space on /tmp at the end= 70068 MiB
End job on node143 at 2012-06-09 15:25:14