Trace number 3734744

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-29OPT0 305.689 199.781

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_3.opb
MD5SUM455599f2e36aed56b051b7169c43fa6c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark305.689
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of variables120
Total number of constraints10
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 constraints10
Minimum length of a constraint55
Maximum length of a constraint56
Number of terms in the objective function 80
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 2550
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1162
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3997
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-3734744-1339247538.opb.
0.00/0.00	c Instance file HOME/instance-3734744-1339247538.opb
0.00/0.00	c File size is 5435 bytes.
0.00/0.00	c Highest Coefficient sum: 3997
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:      120                                                 |
0.00/0.00	c |  Number Constraints:    10                                                  |
0.00/0.00	c ===============================================================================
305.37/199.78	c Remaining time 1800.00 sec.
305.37/199.78	s OPTIMUM FOUND
305.37/199.78	c Solution value = 0.00
305.37/199.78	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 -x69 -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 -x95 x96 x97 -x98 -x99 x100 -x101 x102 x103 -x104 x105 -x106 x107 x108 -x109 x110 -x111 -x112 -x113 -x114 x115 x116 -x117 x118 x119 -x120
305.37/199.78	c Total CPU time              : 281.893 s

Verifier Data 

OK	0

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

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

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


[startup+0 s]
/proc/loadavg: 11.03 9.73 5.14 10/183 28746
/proc/meminfo: memFree=29598136/32873844 swapFree=7120/7120
[pid=28746] ppid=28744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28746/stat : 28746 (run) S 28744 28746 26837 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390882328 9367552 270 33554432000 4194304 5064252 140735201033952 140735201032864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28746/statm: 2287 270 229 213 0 72 0

[startup+0.023803 s]
/proc/loadavg: 11.03 9.73 5.14 10/183 28746
/proc/meminfo: memFree=29598136/32873844 swapFree=7120/7120
[pid=28746] ppid=28744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28746/stat : 28746 (run) S 28744 28746 26837 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390882328 9367552 270 33554432000 4194304 5064252 140735201033952 140735201032864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28746/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100158 s]
/proc/loadavg: 11.03 9.73 5.14 10/183 28746
/proc/meminfo: memFree=29598136/32873844 swapFree=7120/7120
[pid=28746] ppid=28744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28746/stat : 28746 (run) S 28744 28746 26837 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390882328 9367552 270 33554432000 4194304 5064252 140735201033952 140735201032864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28746/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300141 s]
/proc/loadavg: 11.03 9.73 5.14 10/183 28746
/proc/meminfo: memFree=29598136/32873844 swapFree=7120/7120
[pid=28746] ppid=28744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28746/stat : 28746 (run) S 28744 28746 26837 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390882328 9367552 270 33554432000 4194304 5064252 140735201033952 140735201032864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28746/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700122 s]
/proc/loadavg: 11.03 9.73 5.14 10/183 28746
/proc/meminfo: memFree=29598136/32873844 swapFree=7120/7120
[pid=28746] ppid=28744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28746/stat : 28746 (run) S 28744 28746 26837 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390882328 9367552 270 33554432000 4194304 5064252 140735201033952 140735201032864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28746/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50031 s]
/proc/loadavg: 11.03 9.73 5.14 12/192 28797
/proc/meminfo: memFree=29584372/32873844 swapFree=7120/7120
[pid=28746] ppid=28744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28746/stat : 28746 (run) S 28744 28746 26837 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390882328 9367552 270 33554432000 4194304 5064252 140735201033952 140735201032864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28746/statm: 2287 270 229 213 0 72 0
[pid=28747] ppid=28746 vsize=96272 CPUtime=3.1 cores=0,2,4,6
/proc/28747/stat : 28747 (pb_cplex) S 28746 28746 26837 0 -1 4202496 10908 0 0 0 282 28 0 0 20 0 8 0 390882328 98582528 4779 33554432000 134512640 146736320 4294380464 4294376848 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28747/statm: 24068 4779 972 2985 0 21002 0
[pid=28747/tid=28791] ppid=28746 vsize=96272 CPUtime=0.27 cores=0,2,4,6
/proc/28747/task/28791/stat : 28791 (pb_cplex) S 28746 28746 26837 0 -1 4202560 424 0 0 0 24 3 0 0 20 0 8 0 390882377 98582528 4779 33554432000 134512640 146736320 4294380464 4130856592 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28747/tid=28792] ppid=28746 vsize=96272 CPUtime=0.22 cores=0,2,4,6
/proc/28747/task/28792/stat : 28792 (pb_cplex) S 28746 28746 26837 0 -1 4202560 476 0 0 0 20 2 0 0 20 0 8 0 390882377 98582528 4779 33554432000 134512640 146736320 4294380464 4141342352 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28747/tid=28793] ppid=28746 vsize=96272 CPUtime=0.2 cores=0,2,4,6
/proc/28747/task/28793/stat : 28793 (pb_cplex) R 28746 28746 26837 0 -1 4202560 150 0 0 0 18 2 0 0 20 0 8 0 390882377 98582528 4779 33554432000 134512640 146736320 4294380464 4151822720 136753034 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=28747/tid=28794] ppid=28746 vsize=96272 CPUtime=0.21 cores=0,2,4,6
/proc/28747/task/28794/stat : 28794 (pb_cplex) S 28746 28746 26837 0 -1 4202560 272 0 0 0 18 3 0 0 20 0 8 0 390882377 98582528 4779 33554432000 134512640 146736320 4294380464 4120370832 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28747/tid=28795] ppid=28746 vsize=96272 CPUtime=0.18 cores=0,2,4,6
/proc/28747/task/28795/stat : 28795 (pb_cplex) S 28746 28746 26837 0 -1 4202560 185 0 0 0 17 1 0 0 20 0 8 0 390882377 98582528 4779 33554432000 134512640 146736320 4294380464 4108316304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28747/tid=28796] ppid=28746 vsize=96272 CPUtime=0.22 cores=0,2,4,6
/proc/28747/task/28796/stat : 28796 (pb_cplex) S 28746 28746 26837 0 -1 4202560 258 0 0 0 20 2 0 0 20 0 8 0 390882377 98582528 4779 33554432000 134512640 146736320 4294380464 4097830544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28747/tid=28797] ppid=28746 vsize=96272 CPUtime=0.19 cores=0,2,4,6
/proc/28747/task/28797/stat : 28797 (pb_cplex) S 28746 28746 26837 0 -1 4202560 178 0 0 0 16 3 0 0 20 0 8 0 390882377 98582528 4779 33554432000 134512640 146736320 4294380464 4070567568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 105420

[startup+3.10032 s]
/proc/loadavg: 11.03 9.73 5.14 11/192 28797
/proc/meminfo: memFree=29583140/32873844 swapFree=7120/7120
[pid=28746] ppid=28744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28746/stat : 28746 (run) S 28744 28746 26837 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390882328 9367552 270 33554432000 4194304 5064252 140735201033952 140735201032864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28746/statm: 2287 270 229 213 0 72 0
[pid=28747] ppid=28746 vsize=99344 CPUtime=7.76 cores=0,2,4,6
/proc/28747/stat : 28747 (pb_cplex) R 28746 28746 26837 0 -1 4202496 15129 0 0 0 720 56 0 0 20 0 8 0 390882328 101728256 5246 33554432000 134512640 146736320 4294380464 4294371136 137149045 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/28747/statm: 24836 5246 982 2985 0 21770 0
[pid=28747/tid=28791] ppid=28746 vsize=99344 CPUtime=0.9 cores=0,2,4,6
/proc/28747/task/28791/stat : 28791 (pb_cplex) R 28746 28746 26837 0 -1 4202560 1088 0 0 0 83 7 0 0 20 0 8 0 390882377 101728256 5246 33554432000 134512640 146736320 4294380464 4130850468 144757825 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=28747/tid=28792] ppid=28746 vsize=99344 CPUtime=0.76 cores=0,2,4,6
/proc/28747/task/28792/stat : 28792 (pb_cplex) R 28746 28746 26837 0 -1 4202560 1041 0 0 0 71 5 0 0 20 0 8 0 390882377 101728256 5246 33554432000 134512640 146736320 4294380464 4141334620 144785853 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28747/tid=28793] ppid=28746 vsize=99344 CPUtime=0.77 cores=0,2,4,6
/proc/28747/task/28793/stat : 28793 (pb_cplex) R 28746 28746 26837 0 -1 4202560 758 0 0 0 71 6 0 0 20 0 8 0 390882377 101728256 5246 33554432000 134512640 146736320 4294380464 4151820548 135850252 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28747/tid=28794] ppid=28746 vsize=99344 CPUtime=0.81 cores=0,2,4,6
/proc/28747/task/28794/stat : 28794 (pb_cplex) R 28746 28746 26837 0 -1 4202560 923 0 0 0 75 6 0 0 20 0 8 0 390882377 101728256 5246 33554432000 134512640 146736320 4294380464 4120368156 144785853 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=28747/tid=28795] ppid=28746 vsize=99344 CPUtime=0.74 cores=0,2,4,6
/proc/28747/task/28795/stat : 28795 (pb_cplex) R 28746 28746 26837 0 -1 4202560 598 0 0 0 69 5 0 0 20 0 8 0 390882377 101728256 5246 33554432000 134512640 146736320 4294380464 4108309996 135534271 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28747/tid=28796] ppid=28746 vsize=99344 CPUtime=0.77 cores=0,2,4,6
/proc/28747/task/28796/stat : 28796 (pb_cplex) R 28746 28746 26837 0 -1 4202560 968 0 0 0 72 5 0 0 20 0 8 0 390882377 101728256 5246 33554432000 134512640 146736320 4294380464 4097826276 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28747/tid=28797] ppid=28746 vsize=99344 CPUtime=0.74 cores=0,2,4,6
/proc/28747/task/28797/stat : 28797 (pb_cplex) R 28746 28746 26837 0 -1 4202560 493 0 0 0 68 6 0 0 20 0 8 0 390882377 101728256 5246 33554432000 134512640 146736320 4294380464 4070558884 139027609 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.76
Current children cumulated vsize (KiB) 108492

[startup+6.30031 s]
/proc/loadavg: 11.42 9.83 5.20 17/192 28797
/proc/meminfo: memFree=29582112/32873844 swapFree=7120/7120
[pid=28746] ppid=28744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28746/stat : 28746 (run) S 28744 28746 26837 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390882328 9367552 270 33554432000 4194304 5064252 140735201033952 140735201032864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28746/statm: 2287 270 229 213 0 72 0
[pid=28747] ppid=28746 vsize=97296 CPUtime=20.52 cores=0,2,4,6
/proc/28747/stat : 28747 (pb_cplex) R 28746 28746 26837 0 -1 4202496 23680 0 0 0 1939 113 0 0 20 0 8 0 390882328 99631104 4941 33554432000 134512640 146736320 4294380464 4294369948 144785853 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28747/statm: 24324 4941 982 2985 0 21258 0
[pid=28747/tid=28791] ppid=28746 vsize=97296 CPUtime=2.39 cores=0,2,4,6
/proc/28747/task/28791/stat : 28791 (pb_cplex) S 28746 28746 26837 0 -1 4202560 1815 0 0 0 227 12 0 0 20 0 8 0 390882377 99631104 4941 33554432000 134512640 146736320 4294380464 4130856592 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28747/tid=28792] ppid=28746 vsize=97296 CPUtime=2.39 cores=0,2,4,6
/proc/28747/task/28792/stat : 28792 (pb_cplex) S 28746 28746 26837 0 -1 4202560 1803 0 0 0 228 11 0 0 20 0 8 0 390882377 99631104 4941 33554432000 134512640 146736320 4294380464 4141342352 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28747/tid=28793] ppid=28746 vsize=97296 CPUtime=2.46 cores=0,2,4,6
/proc/28747/task/28793/stat : 28793 (pb_cplex) S 28746 28746 26837 0 -1 4202560 2443 0 0 0 233 13 0 0 20 0 8 0 390882377 99631104 4941 33554432000 134512640 146736320 4294380464 4151828112 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28747/tid=28794] ppid=28746 vsize=97296 CPUtime=2.23 cores=0,2,4,6
/proc/28747/task/28794/stat : 28794 (pb_cplex) S 28746 28746 26837 0 -1 4202560 1297 0 0 0 209 14 0 0 20 0 8 0 390882377 99631104 4941 33554432000 134512640 146736320 4294380464 4120370832 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28747/tid=28795] ppid=28746 vsize=97296 CPUtime=2.37 cores=0,2,4,6
/proc/28747/task/28795/stat : 28795 (pb_cplex) R 28746 28746 26837 0 -1 4202560 1799 0 0 0 223 14 0 0 20 0 8 0 390882377 99631104 4941 33554432000 134512640 146736320 4294380464 4108308124 144785853 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28747/tid=28796] ppid=28746 vsize=97296 CPUtime=2.41 cores=0,2,4,6
/proc/28747/task/28796/stat : 28796 (pb_cplex) R 28746 28746 26837 0 -1 4202560 2282 0 0 0 229 12 0 0 20 0 8 0 390882377 99631104 4941 33554432000 134512640 146736320 4294380464 4097825300 135917476 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=28747/tid=28797] ppid=28746 vsize=97296 CPUtime=2.36 cores=0,2,4,6
/proc/28747/task/28797/stat : 28797 (pb_cplex) S 28746 28746 26837 0 -1 4202560 1538 0 0 0 222 14 0 0 20 0 8 0 390882377 99631104 4941 33554432000 134512640 146736320 4294380464 4070567568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 20.52
Current children cumulated vsize (KiB) 106444

[startup+12.7003 s]
/proc/loadavg: 11.23 9.82 5.22 14/192 28832
/proc/meminfo: memFree=29572204/32873844 swapFree=7120/7120
[pid=28746] ppid=28744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28746/stat : 28746 (run) S 28744 28746 26837 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390882328 9367552 270 33554432000 4194304 5064252 140735201033952 140735201032864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28746/statm: 2287 270 229 213 0 72 0
[pid=28747] ppid=28746 vsize=96392 CPUtime=30.17 cores=0,2,4,6
/proc/28747/stat : 28747 (pb_cplex) S 28746 28746 26837 0 -1 4202496 32849 0 0 0 2790 227 0 0 20 0 8 0 390882328 98705408 6192 33554432000 134512640 146736320 4294380464 4294376848 144580073 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28747/statm: 24098 6192 983 2985 0 21032 0
[pid=28747/tid=28826] ppid=28746 vsize=96392 CPUtime=1.03 cores=0,2,4,6
/proc/28747/task/28826/stat : 28826 (pb_cplex) R 28746 28746 26837 0 -1 4202560 1132 0 0 0 90 13 0 0 20 0 8 0 390882975 98705408 6192 33554432000 134512640 146736320 4294380464 4070561180 144785853 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28747/tid=28827] ppid=28746 vsize=96392 CPUtime=1.07 cores=0,2,4,6
/proc/28747/task/28827/stat : 28827 (pb_cplex) S 28746 28746 26837 0 -1 4202560 861 0 0 0 93 14 0 0 20 0 8 0 390882975 98705408 6192 33554432000 134512640 146736320 4294380464 4097830544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28747/tid=28828] ppid=28746 vsize=96392 CPUtime=1.05 cores=0,2,4,6
/proc/28747/task/28828/stat : 28828 (pb_cplex) S 28746 28746 26837 0 -1 4202560 919 0 0 0 93 12 0 0 20 0 8 0 390882975 98705408 6192 33554432000 134512640 146736320 4294380464 4108316304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28747/tid=28829] ppid=28746 vsize=96392 CPUtime=1.14 cores=0,2,4,6
/proc/28747/task/28829/stat : 28829 (pb_cplex) S 28746 28746 26837 0 -1 4202560 876 0 0 0 100 14 0 0 20 0 8 0 390882975 98705408 6192 33554432000 134512640 146736320 4294380464 4120370832 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28747/tid=28830] ppid=28746 vsize=96392 CPUtime=1.13 cores=0,2,4,6
/proc/28747/task/28830/stat : 28830 (pb_cplex) S 28746 28746 26837 0 -1 4202560 1106 0 0 0 102 11 0 0 20 0 8 0 390882975 98705408 6192 33554432000 134512640 146736320 4294380464 4150259344 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28747/tid=28831] ppid=28746 vsize=96392 CPUtime=1.17 cores=0,2,4,6
/proc/28747/task/28831/stat : 28831 (pb_cplex) S 28746 28746 26837 0 -1 4202560 1508 0 0 0 105 12 0 0 20 0 8 0 390882975 98705408 6192 33554432000 134512640 146736320 4294380464 4139773584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28747/tid=28832] ppid=28746 vsize=96392 CPUtime=1.14 cores=0,2,4,6
/proc/28747/task/28832/stat : 28832 (pb_cplex) S 28746 28746 26837 0 -1 4202560 869 0 0 0 101 13 0 0 20 0 8 0 390882975 98705408 6192 33554432000 134512640 146736320 4294380464 4060081808 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 30.17
Current children cumulated vsize (KiB) 105540

[startup+25.5004 s]
/proc/loadavg: 10.88 9.81 5.29 10/192 28832
/proc/meminfo: memFree=29570596/32873844 swapFree=7120/7120
[pid=28746] ppid=28744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28746/stat : 28746 (run) S 28744 28746 26837 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390882328 9367552 270 33554432000 4194304 5064252 140735201033952 140735201032864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28746/statm: 2287 270 229 213 0 72 0
[pid=28747] ppid=28746 vsize=96392 CPUtime=48.23 cores=0,2,4,6
/proc/28747/stat : 28747 (pb_cplex) S 28746 28746 26837 0 -1 4202496 39831 0 0 0 4394 429 0 0 20 0 8 0 390882328 98705408 6371 33554432000 134512640 146736320 4294380464 4294376848 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28747/statm: 24098 6371 983 2985 0 21032 0
[pid=28747/tid=28826] ppid=28746 vsize=96392 CPUtime=3.09 cores=0,2,4,6
/proc/28747/task/28826/stat : 28826 (pb_cplex) S 28746 28746 26837 0 -1 4202560 2075 0 0 0 271 38 0 0 20 0 8 0 390882975 98705408 6371 33554432000 134512640 146736320 4294380464 4070567568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28747/tid=28827] ppid=28746 vsize=96392 CPUtime=3.43 cores=0,2,4,6
/proc/28747/task/28827/stat : 28827 (pb_cplex) S 28746 28746 26837 0 -1 4202560 1879 0 0 0 302 41 0 0 20 0 8 0 390882975 98705408 6371 33554432000 134512640 146736320 4294380464 4097830544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28747/tid=28828] ppid=28746 vsize=96392 CPUtime=3.02 cores=0,2,4,6
/proc/28747/task/28828/stat : 28828 (pb_cplex) S 28746 28746 26837 0 -1 4202560 1791 0 0 0 264 38 0 0 20 0 8 0 390882975 98705408 6371 33554432000 134512640 146736320 4294380464 4108316304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28747/tid=28829] ppid=28746 vsize=96392 CPUtime=3.13 cores=0,2,4,6
/proc/28747/task/28829/stat : 28829 (pb_cplex) S 28746 28746 26837 0 -1 4202560 1580 0 0 0 276 37 0 0 20 0 8 0 390882975 98705408 6371 33554432000 134512640 146736320 4294380464 4120370832 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28747/tid=28830] ppid=28746 vsize=96392 CPUtime=3.43 cores=0,2,4,6
/proc/28747/task/28830/stat : 28830 (pb_cplex) S 28746 28746 26837 0 -1 4202560 2148 0 0 0 304 39 0 0 20 0 8 0 390882975 98705408 6371 33554432000 134512640 146736320 4294380464 4150259344 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28747/tid=28831] ppid=28746 vsize=96392 CPUtime=3.03 cores=0,2,4,6
/proc/28747/task/28831/stat : 28831 (pb_cplex) R 28746 28746 26837 0 -1 4202560 2060 0 0 0 268 35 0 0 20 0 8 0 390882975 98705408 6371 33554432000 134512640 146736320 4294380464 4139767972 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28747/tid=28832] ppid=28746 vsize=96392 CPUtime=3.11 cores=0,2,4,6
/proc/28747/task/28832/stat : 28832 (pb_cplex) S 28746 28746 26837 0 -1 4202560 1523 0 0 0 275 36 0 0 20 0 8 0 390882975 98705408 6371 33554432000 134512640 146736320 4294380464 4060081808 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 48.23
Current children cumulated vsize (KiB) 105540

[startup+51.1004 s]
/proc/loadavg: 10.74 9.86 5.42 14/191 28867
/proc/meminfo: memFree=29573532/32873844 swapFree=7120/7120
[pid=28746] ppid=28744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28746/stat : 28746 (run) S 28744 28746 26837 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390882328 9367552 270 33554432000 4194304 5064252 140735201033952 140735201032864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28746/statm: 2287 270 229 213 0 72 0

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

[pid=28747/tid=28862] ppid=28746 vsize=102392 CPUtime=22.71 cores=0,2,4,6
/proc/28747/task/28862/stat : 28862 (pb_cplex) S 28746 28746 26837 0 -1 4202560 52520 0 0 0 2096 175 0 0 20 0 8 0 390886533 104849408 6182 33554432000 134512640 146736320 4294380464 4141342352 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28747/tid=28863] ppid=28746 vsize=102392 CPUtime=23.41 cores=0,2,4,6
/proc/28747/task/28863/stat : 28863 (pb_cplex) S 28746 28746 26837 0 -1 4202560 52539 0 0 0 2159 182 0 0 20 0 8 0 390886533 104849408 6182 33554432000 134512640 146736320 4294380464 4151828112 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28747/tid=28864] ppid=28746 vsize=102392 CPUtime=22.82 cores=0,2,4,6
/proc/28747/task/28864/stat : 28864 (pb_cplex) S 28746 28746 26837 0 -1 4202560 51925 0 0 0 2092 190 0 0 20 0 8 0 390886533 104849408 6182 33554432000 134512640 146736320 4294380464 4120370832 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28747/tid=28865] ppid=28746 vsize=102392 CPUtime=23.1 cores=0,2,4,6
/proc/28747/task/28865/stat : 28865 (pb_cplex) R 28746 28746 26837 0 -1 4202560 56166 0 0 0 2131 179 0 0 20 0 8 0 390886533 104849408 6182 33554432000 134512640 146736320 4294380464 4108307072 135468718 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=28747/tid=28866] ppid=28746 vsize=102392 CPUtime=23.37 cores=0,2,4,6
/proc/28747/task/28866/stat : 28866 (pb_cplex) S 28746 28746 26837 0 -1 4202560 56199 0 0 0 2154 183 0 0 20 0 8 0 390886533 104849408 6182 33554432000 134512640 146736320 4294380464 4097830544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28747/tid=28867] ppid=28746 vsize=102392 CPUtime=23.39 cores=0,2,4,6
/proc/28747/task/28867/stat : 28867 (pb_cplex) S 28746 28746 26837 0 -1 4202560 54466 0 0 0 2159 180 0 0 20 0 8 0 390886533 104849408 6182 33554432000 134512640 146736320 4294380464 4070567568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 277.32
Current children cumulated vsize (KiB) 111540

[startup+191.9 s]
/proc/loadavg: 4.12 7.43 5.13 6/191 29030
/proc/meminfo: memFree=29717424/32873844 swapFree=7120/7120
[pid=28746] ppid=28744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28746/stat : 28746 (run) S 28744 28746 26837 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390882328 9367552 270 33554432000 4194304 5064252 140735201033952 140735201032864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28746/statm: 2287 270 229 213 0 72 0
[pid=28747] ppid=28746 vsize=102392 CPUtime=294.54 cores=0,2,4,6
/proc/28747/stat : 28747 (pb_cplex) S 28746 28746 26837 0 -1 4202496 528770 0 0 0 27161 2293 0 0 20 0 8 0 390882328 104849408 6162 33554432000 134512640 146736320 4294380464 4294376848 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28747/statm: 25598 6162 983 2985 0 22532 0
[pid=28747/tid=28861] ppid=28746 vsize=102392 CPUtime=26.32 cores=0,2,4,6
/proc/28747/task/28861/stat : 28861 (pb_cplex) S 28746 28746 26837 0 -1 4202560 61179 0 0 0 2436 196 0 0 20 0 8 0 390886533 104849408 6162 33554432000 134512640 146736320 4294380464 4130856592 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28747/tid=28862] ppid=28746 vsize=102392 CPUtime=24.99 cores=0,2,4,6
/proc/28747/task/28862/stat : 28862 (pb_cplex) S 28746 28746 26837 0 -1 4202560 59080 0 0 0 2310 189 0 0 20 0 8 0 390886533 104849408 6162 33554432000 134512640 146736320 4294380464 4141342352 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28747/tid=28863] ppid=28746 vsize=102392 CPUtime=25.14 cores=0,2,4,6
/proc/28747/task/28863/stat : 28863 (pb_cplex) S 28746 28746 26837 0 -1 4202560 56645 0 0 0 2320 194 0 0 20 0 8 0 390886533 104849408 6162 33554432000 134512640 146736320 4294380464 4151828112 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28747/tid=28864] ppid=28746 vsize=102392 CPUtime=24.87 cores=0,2,4,6
/proc/28747/task/28864/stat : 28864 (pb_cplex) S 28746 28746 26837 0 -1 4202560 56469 0 0 0 2282 205 0 0 20 0 8 0 390886533 104849408 6162 33554432000 134512640 146736320 4294380464 4120370832 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28747/tid=28865] ppid=28746 vsize=102392 CPUtime=25.23 cores=0,2,4,6
/proc/28747/task/28865/stat : 28865 (pb_cplex) S 28746 28746 26837 0 -1 4202560 60269 0 0 0 2329 194 0 0 20 0 8 0 390886533 104849408 6162 33554432000 134512640 146736320 4294380464 4108316304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28747/tid=28866] ppid=28746 vsize=102392 CPUtime=25.49 cores=0,2,4,6
/proc/28747/task/28866/stat : 28866 (pb_cplex) S 28746 28746 26837 0 -1 4202560 62211 0 0 0 2351 198 0 0 20 0 8 0 390886533 104849408 6162 33554432000 134512640 146736320 4294380464 4097830544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28747/tid=28867] ppid=28746 vsize=102392 CPUtime=25.32 cores=0,2,4,6
/proc/28747/task/28867/stat : 28867 (pb_cplex) R 28746 28746 26837 0 -1 4202560 58431 0 0 0 2336 196 0 0 20 0 8 0 390886533 104849408 6162 33554432000 134512640 146736320 4294380464 4070561180 144785853 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 294.54
Current children cumulated vsize (KiB) 111540

[startup+195.1 s]
/proc/loadavg: 3.87 7.32 5.11 3/191 29030
/proc/meminfo: memFree=29716804/32873844 swapFree=7120/7120
[pid=28746] ppid=28744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28746/stat : 28746 (run) S 28744 28746 26837 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390882328 9367552 270 33554432000 4194304 5064252 140735201033952 140735201032864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28746/statm: 2287 270 229 213 0 72 0
[pid=28747] ppid=28746 vsize=102392 CPUtime=298.76 cores=0,2,4,6
/proc/28747/stat : 28747 (pb_cplex) S 28746 28746 26837 0 -1 4202496 537945 0 0 0 27555 2321 0 0 20 0 8 0 390882328 104849408 6275 33554432000 134512640 146736320 4294380464 4294376848 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28747/statm: 25598 6275 983 2985 0 22532 0
[pid=28747/tid=28861] ppid=28746 vsize=102392 CPUtime=26.85 cores=0,2,4,6
/proc/28747/task/28861/stat : 28861 (pb_cplex) S 28746 28746 26837 0 -1 4202560 62372 0 0 0 2486 199 0 0 20 0 8 0 390886533 104849408 6275 33554432000 134512640 146736320 4294380464 4130856592 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28747/tid=28862] ppid=28746 vsize=102392 CPUtime=25.56 cores=0,2,4,6
/proc/28747/task/28862/stat : 28862 (pb_cplex) S 28746 28746 26837 0 -1 4202560 60435 0 0 0 2364 192 0 0 20 0 8 0 390886533 104849408 6275 33554432000 134512640 146736320 4294380464 4141342352 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28747/tid=28863] ppid=28746 vsize=102392 CPUtime=25.61 cores=0,2,4,6
/proc/28747/task/28863/stat : 28863 (pb_cplex) S 28746 28746 26837 0 -1 4202560 58015 0 0 0 2365 196 0 0 20 0 8 0 390886533 104849408 6275 33554432000 134512640 146736320 4294380464 4151828112 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28747/tid=28864] ppid=28746 vsize=102392 CPUtime=25.58 cores=0,2,4,6
/proc/28747/task/28864/stat : 28864 (pb_cplex) R 28746 28746 26837 0 -1 4202560 58634 0 0 0 2349 209 0 0 20 0 8 0 390886533 104849408 6275 33554432000 134512640 146736320 4294380464 4120364444 144785853 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28747/tid=28865] ppid=28746 vsize=102392 CPUtime=25.75 cores=0,2,4,6
/proc/28747/task/28865/stat : 28865 (pb_cplex) S 28746 28746 26837 0 -1 4202560 61395 0 0 0 2377 198 0 0 20 0 8 0 390886533 104849408 6275 33554432000 134512640 146736320 4294380464 4108316304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28747/tid=28866] ppid=28746 vsize=102392 CPUtime=25.89 cores=0,2,4,6
/proc/28747/task/28866/stat : 28866 (pb_cplex) S 28746 28746 26837 0 -1 4202560 62448 0 0 0 2387 202 0 0 20 0 8 0 390886533 104849408 6275 33554432000 134512640 146736320 4294380464 4097830544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28747/tid=28867] ppid=28746 vsize=102392 CPUtime=25.65 cores=0,2,4,6
/proc/28747/task/28867/stat : 28867 (pb_cplex) S 28746 28746 26837 0 -1 4202560 59015 0 0 0 2366 199 0 0 20 0 8 0 390886533 104849408 6275 33554432000 134512640 146736320 4294380464 4070567568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 298.76
Current children cumulated vsize (KiB) 111540

[startup+198.3 s]
/proc/loadavg: 3.87 7.32 5.11 4/191 29030
/proc/meminfo: memFree=29716804/32873844 swapFree=7120/7120
[pid=28746] ppid=28744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28746/stat : 28746 (run) S 28744 28746 26837 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390882328 9367552 270 33554432000 4194304 5064252 140735201033952 140735201032864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28746/statm: 2287 270 229 213 0 72 0
[pid=28747] ppid=28746 vsize=102392 CPUtime=303.29 cores=0,2,4,6
/proc/28747/stat : 28747 (pb_cplex) S 28746 28746 26837 0 -1 4202496 545575 0 0 0 27974 2355 0 0 20 0 8 0 390882328 104849408 6309 33554432000 134512640 146736320 4294380464 4294376848 144580073 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/28747/statm: 25598 6309 983 2985 0 22532 0
[pid=28747/tid=28861] ppid=28746 vsize=102392 CPUtime=27.48 cores=0,2,4,6
/proc/28747/task/28861/stat : 28861 (pb_cplex) S 28746 28746 26837 0 -1 4202560 63530 0 0 0 2545 203 0 0 20 0 8 0 390886533 104849408 6309 33554432000 134512640 146736320 4294380464 4130856592 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28747/tid=28862] ppid=28746 vsize=102392 CPUtime=26 cores=0,2,4,6
/proc/28747/task/28862/stat : 28862 (pb_cplex) S 28746 28746 26837 0 -1 4202560 61150 0 0 0 2403 197 0 0 20 0 8 0 390886533 104849408 6309 33554432000 134512640 146736320 4294380464 4141342352 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28747/tid=28863] ppid=28746 vsize=102392 CPUtime=26.22 cores=0,2,4,6
/proc/28747/task/28863/stat : 28863 (pb_cplex) S 28746 28746 26837 0 -1 4202560 58891 0 0 0 2421 201 0 0 20 0 8 0 390886533 104849408 6309 33554432000 134512640 146736320 4294380464 4151828112 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28747/tid=28864] ppid=28746 vsize=102392 CPUtime=26.13 cores=0,2,4,6
/proc/28747/task/28864/stat : 28864 (pb_cplex) S 28746 28746 26837 0 -1 4202560 59488 0 0 0 2400 213 0 0 20 0 8 0 390886533 104849408 6309 33554432000 134512640 146736320 4294380464 4120370832 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28747/tid=28865] ppid=28746 vsize=102392 CPUtime=26.27 cores=0,2,4,6
/proc/28747/task/28865/stat : 28865 (pb_cplex) R 28746 28746 26837 0 -1 4202560 62487 0 0 0 2425 202 0 0 20 0 8 0 390886533 104849408 6309 33554432000 134512640 146736320 4294380464 4108308636 144785853 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28747/tid=28866] ppid=28746 vsize=102392 CPUtime=26.45 cores=0,2,4,6
/proc/28747/task/28866/stat : 28866 (pb_cplex) S 28746 28746 26837 0 -1 4202560 63307 0 0 0 2439 206 0 0 20 0 8 0 390886533 104849408 6309 33554432000 134512640 146736320 4294380464 4097830544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28747/tid=28867] ppid=28746 vsize=102392 CPUtime=26.31 cores=0,2,4,6
/proc/28747/task/28867/stat : 28867 (pb_cplex) S 28746 28746 26837 0 -1 4202560 60378 0 0 0 2428 203 0 0 20 0 8 0 390886533 104849408 6309 33554432000 134512640 146736320 4294380464 4070567568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 303.29
Current children cumulated vsize (KiB) 111540

[startup+199.106 s]
/proc/loadavg: 3.64 7.22 5.09 8/191 29030
/proc/meminfo: memFree=29716680/32873844 swapFree=7120/7120
[pid=28746] ppid=28744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28746/stat : 28746 (run) S 28744 28746 26837 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390882328 9367552 270 33554432000 4194304 5064252 140735201033952 140735201032864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28746/statm: 2287 270 229 213 0 72 0
[pid=28747] ppid=28746 vsize=102392 CPUtime=304.54 cores=0,2,4,6
/proc/28747/stat : 28747 (pb_cplex) S 28746 28746 26837 0 -1 4202496 547748 0 0 0 28090 2364 0 0 20 0 8 0 390882328 104849408 6422 33554432000 134512640 146736320 4294380464 4294376848 144580073 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/28747/statm: 25598 6422 983 2985 0 22532 0
[pid=28747/tid=28861] ppid=28746 vsize=102392 CPUtime=27.66 cores=0,2,4,6
/proc/28747/task/28861/stat : 28861 (pb_cplex) S 28746 28746 26837 0 -1 4202560 63902 0 0 0 2562 204 0 0 20 0 8 0 390886533 104849408 6422 33554432000 134512640 146736320 4294380464 4130856592 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28747/tid=28862] ppid=28746 vsize=102392 CPUtime=26.24 cores=0,2,4,6
/proc/28747/task/28862/stat : 28862 (pb_cplex) R 28746 28746 26837 0 -1 4202560 61931 0 0 0 2425 199 0 0 20 0 8 0 390886533 104849408 6422 33554432000 134512640 146736320 4294380464 4141334684 144785853 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28747/tid=28863] ppid=28746 vsize=102392 CPUtime=26.38 cores=0,2,4,6
/proc/28747/task/28863/stat : 28863 (pb_cplex) S 28746 28746 26837 0 -1 4202560 59098 0 0 0 2436 202 0 0 20 0 8 0 390886533 104849408 6422 33554432000 134512640 146736320 4294380464 4151828112 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28747/tid=28864] ppid=28746 vsize=102392 CPUtime=26.38 cores=0,2,4,6
/proc/28747/task/28864/stat : 28864 (pb_cplex) S 28746 28746 26837 0 -1 4202560 60024 0 0 0 2424 214 0 0 20 0 8 0 390886533 104849408 6422 33554432000 134512640 146736320 4294380464 4120370832 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28747/tid=28865] ppid=28746 vsize=102392 CPUtime=26.37 cores=0,2,4,6
/proc/28747/task/28865/stat : 28865 (pb_cplex) R 28746 28746 26837 0 -1 4202560 62565 0 0 0 2433 204 0 0 20 0 8 0 390886533 104849408 6422 33554432000 134512640 146736320 4294380464 4108309916 144785853 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=28747/tid=28866] ppid=28746 vsize=102392 CPUtime=26.59 cores=0,2,4,6
/proc/28747/task/28866/stat : 28866 (pb_cplex) S 28746 28746 26837 0 -1 4202560 63378 0 0 0 2452 207 0 0 20 0 8 0 390886533 104849408 6422 33554432000 134512640 146736320 4294380464 4097830544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28747/tid=28867] ppid=28746 vsize=102392 CPUtime=26.34 cores=0,2,4,6
/proc/28747/task/28867/stat : 28867 (pb_cplex) S 28746 28746 26837 0 -1 4202560 60378 0 0 0 2430 204 0 0 20 0 8 0 390886533 104849408 6422 33554432000 134512640 146736320 4294380464 4070567568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 304.54
Current children cumulated vsize (KiB) 111540

[startup+199.5 s]
/proc/loadavg: 3.64 7.22 5.09 8/191 29030
/proc/meminfo: memFree=29716680/32873844 swapFree=7120/7120
[pid=28746] ppid=28744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28746/stat : 28746 (run) S 28744 28746 26837 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390882328 9367552 270 33554432000 4194304 5064252 140735201033952 140735201032864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28746/statm: 2287 270 229 213 0 72 0
[pid=28747] ppid=28746 vsize=102392 CPUtime=305.14 cores=0,2,4,6
/proc/28747/stat : 28747 (pb_cplex) R 28746 28746 26837 0 -1 4202496 548776 0 0 0 28146 2368 0 0 20 0 8 0 390882328 104849408 6290 33554432000 134512640 146736320 4294380464 4294374120 138298570 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28747/statm: 25598 6290 983 2985 0 22532 0
[pid=28747/tid=28861] ppid=28746 vsize=102392 CPUtime=27.79 cores=0,2,4,6
/proc/28747/task/28861/stat : 28861 (pb_cplex) S 28746 28746 26837 0 -1 4202560 64365 0 0 0 2574 205 0 0 20 0 8 0 390886533 104849408 6290 33554432000 134512640 146736320 4294380464 4130856592 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28747/tid=28862] ppid=28746 vsize=102392 CPUtime=26.31 cores=0,2,4,6
/proc/28747/task/28862/stat : 28862 (pb_cplex) S 28746 28746 26837 0 -1 4202560 62120 0 0 0 2431 200 0 0 20 0 8 0 390886533 104849408 6294 33554432000 134512640 146736320 4294380464 4141342352 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28747/tid=28863] ppid=28746 vsize=102392 CPUtime=26.46 cores=0,2,4,6
/proc/28747/task/28863/stat : 28863 (pb_cplex) R 28746 28746 26837 0 -1 4202560 59319 0 0 0 2443 203 0 0 20 0 8 0 390886533 104849408 6294 33554432000 134512640 146736320 4294380464 4151820300 144716444 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28747/tid=28864] ppid=28746 vsize=102392 CPUtime=26.45 cores=0,2,4,6
/proc/28747/task/28864/stat : 28864 (pb_cplex) S 28746 28746 26837 0 -1 4202560 60116 0 0 0 2430 215 0 0 20 0 8 0 390886533 104849408 6294 33554432000 134512640 146736320 4294380464 4120370832 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28747/tid=28865] ppid=28746 vsize=102392 CPUtime=26.45 cores=0,2,4,6
/proc/28747/task/28865/stat : 28865 (pb_cplex) S 28746 28746 26837 0 -1 4202560 62566 0 0 0 2441 204 0 0 20 0 8 0 390886533 104849408 6294 33554432000 134512640 146736320 4294380464 4108316304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28747/tid=28866] ppid=28746 vsize=102392 CPUtime=26.65 cores=0,2,4,6
/proc/28747/task/28866/stat : 28866 (pb_cplex) S 28746 28746 26837 0 -1 4202560 63407 0 0 0 2458 207 0 0 20 0 8 0 390886533 104849408 6294 33554432000 134512640 146736320 4294380464 4097830544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28747/tid=28867] ppid=28746 vsize=102392 CPUtime=26.36 cores=0,2,4,6
/proc/28747/task/28867/stat : 28867 (pb_cplex) S 28746 28746 26837 0 -1 4202560 60378 0 0 0 2432 204 0 0 20 0 8 0 390886533 104849408 6294 33554432000 134512640 146736320 4294380464 4070567568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 305.14
Current children cumulated vsize (KiB) 111540

[startup+199.7 s]
/proc/loadavg: 3.64 7.22 5.09 8/191 29030
/proc/meminfo: memFree=29716680/32873844 swapFree=7120/7120
[pid=28746] ppid=28744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28746/stat : 28746 (run) S 28744 28746 26837 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390882328 9367552 270 33554432000 4194304 5064252 140735201033952 140735201032864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28746/statm: 2287 270 229 213 0 72 0
[pid=28747] ppid=28746 vsize=102392 CPUtime=305.37 cores=0,2,4,6
/proc/28747/stat : 28747 (pb_cplex) S 28746 28746 26837 0 -1 4202496 549211 0 0 0 28168 2369 0 0 20 0 8 0 390882328 104849408 6289 33554432000 134512640 146736320 4294380464 4294376848 144580073 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/28747/statm: 25598 6289 983 2985 0 22532 0
[pid=28747/tid=28861] ppid=28746 vsize=102392 CPUtime=27.8 cores=0,2,4,6
/proc/28747/task/28861/stat : 28861 (pb_cplex) S 28746 28746 26837 0 -1 4202560 64365 0 0 0 2575 205 0 0 20 0 8 0 390886533 104849408 6289 33554432000 134512640 146736320 4294380464 4130856592 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28747/tid=28862] ppid=28746 vsize=102392 CPUtime=26.32 cores=0,2,4,6
/proc/28747/task/28862/stat : 28862 (pb_cplex) S 28746 28746 26837 0 -1 4202560 62120 0 0 0 2432 200 0 0 20 0 8 0 390886533 104849408 6292 33554432000 134512640 146736320 4294380464 4141342352 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28747/tid=28863] ppid=28746 vsize=102392 CPUtime=26.52 cores=0,2,4,6
/proc/28747/task/28863/stat : 28863 (pb_cplex) S 28746 28746 26837 0 -1 4202560 59485 0 0 0 2449 203 0 0 20 0 8 0 390886533 104849408 6292 33554432000 134512640 146736320 4294380464 4151828112 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28747/tid=28864] ppid=28746 vsize=102392 CPUtime=26.52 cores=0,2,4,6
/proc/28747/task/28864/stat : 28864 (pb_cplex) S 28746 28746 26837 0 -1 4202560 60298 0 0 0 2437 215 0 0 20 0 8 0 390886533 104849408 6292 33554432000 134512640 146736320 4294380464 4120370832 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28747/tid=28865] ppid=28746 vsize=102392 CPUtime=26.47 cores=0,2,4,6
/proc/28747/task/28865/stat : 28865 (pb_cplex) R 28746 28746 26837 0 -1 4202560 62607 0 0 0 2443 204 0 0 20 0 8 0 390886533 104849408 6292 33554432000 134512640 146736320 4294380464 4108308800 144785853 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=28747/tid=28866] ppid=28746 vsize=102392 CPUtime=26.66 cores=0,2,4,6
/proc/28747/task/28866/stat : 28866 (pb_cplex) S 28746 28746 26837 0 -1 4202560 63407 0 0 0 2459 207 0 0 20 0 8 0 390886533 104849408 6292 33554432000 134512640 146736320 4294380464 4097830544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28747/tid=28867] ppid=28746 vsize=102392 CPUtime=26.36 cores=0,2,4,6
/proc/28747/task/28867/stat : 28867 (pb_cplex) S 28746 28746 26837 0 -1 4202560 60378 0 0 0 2432 204 0 0 20 0 8 0 390886533 104849408 6292 33554432000 134512640 146736320 4294380464 4070567568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 305.37
Current children cumulated vsize (KiB) 111540

Child status: 0
Real time (s): 199.781
CPU time (s): 305.689
CPU user time (s): 281.893
CPU system time (s): 23.7954
CPU usage (%): 153.012
Max. virtual memory (cumulated for all children) (KiB): 112564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 281.893
system time used= 23.7954
maximum resident set size= 27396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 549673
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= 1093898
involuntary context switches= 145096

runsolver used 0.471928 second user time and 1.10483 second system time

The end

Launcher Data 

Begin job on node104 at 2012-06-09 15:12:18
IDJOB=3734744
IDBENCH=2899
IDSOLVER=2325
FILE ID=node104/3734744-1339247538
RUNJOBID= node104-1339246834-26853
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_5_40_3.opb
COMMAND LINE= run BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734744-1339247538/watcher-3734744-1339247538 -o /tmp/evaluation-result-3734744-1339247538/solver-3734744-1339247538 -C 1800 -W 1900 -M 15500  run HOME/instance-3734744-1339247538.opb

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

MD5SUM BENCH= 455599f2e36aed56b051b7169c43fa6c
RANDOM SEED=1880750197

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:        29598788 kB
Buffers:          709472 kB
Cached:          1450448 kB
SwapCached:         1864 kB
Active:          2223056 kB
Inactive:          95744 kB
Active(anon):     154696 kB
Inactive(anon):     5824 kB
Active(file):    2068360 kB
Inactive(file):    89920 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67102148 kB
Dirty:             17812 kB
Writeback:             0 kB
AnonPages:        163396 kB
Mapped:            13212 kB
Shmem:                 4 kB
Slab:             816940 kB
SReclaimable:     257672 kB
SUnreclaim:       559268 kB
KernelStack:        1536 kB
PageTables:         4136 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     282904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 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-3734744-1339247538.opb

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