Trace number 2697971

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 NameAnswerCPU timeWall clock time
pb_cplex 2010-07-01OPTIMUM 1315.76 331.182

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900563250--soft-33-100-0.wbo
MD5SUM4dbce9c855a469b24d5770190ca01b65
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark300.057
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints1783
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 90636
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 90635
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 665
Number of bits of the biggest sum of numbers10
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 wbo file format. File HOME/instance-2697971-1278055125.wbo.
0.00/0.00	c Instance file HOME/instance-2697971-1278055125.wbo
0.00/0.00	c File size is 92228 bytes.
0.58/0.67	c Highest Coefficient sum: 665
0.58/0.67	c  IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ".
0.58/0.67	c ============================[ Problem Statistics ]=============================
0.58/0.67	c |                                                                             |
0.58/0.67	c |  Parsing time:          0.66         s                                      |
0.58/0.67	c |  Number Variables:      2014                                                |
0.58/0.67	c |  Number Constraints:    2708                                                |
0.58/0.67	c ===============================================================================
1315.60/331.17	c Remaining time 1799.34 sec.
1315.60/331.17	s OPTIMUM FOUND
1315.60/331.17	c Solution value = 1.00
1315.60/331.17	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 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231
1315.60/331.17	c Total CPU time              : 1303.01 s

Verifier Data 

OK	1

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2697971-1278055125/watcher-2697971-1278055125 -o /tmp/evaluation-result-2697971-1278055125/solver-2697971-1278055125 -C 1800 -W 2000 -M 3800 run HOME/instance-2697971-1278055125.wbo 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 9.74 5.57 2.31 12/187 23676
/proc/meminfo: memFree=30749512/32950928 swapFree=67111528/67111528
[pid=23675] ppid=23673 vsize=8700 CPUtime=0
/proc/23675/stat : 23675 (run) S 23673 23675 23089 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 146807437 8908800 249 4089446400 4194304 4922060 140734162972448 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23675/statm: 2175 249 208 178 0 68 0
[pid=23676] ppid=23675 vsize=8700 CPUtime=0
/proc/23676/stat : 23676 (run) R 23675 23675 23089 0 -1 4202560 44 0 0 0 0 0 0 0 18 0 1 0 146807437 8908800 72 4089446400 4194304 4922060 140734162972448 18446744073709551615 254500512759 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23676/statm: 2175 72 31 178 0 68 0

[startup+0.0311719 s]
/proc/loadavg: 9.74 5.57 2.31 12/187 23676
/proc/meminfo: memFree=30749512/32950928 swapFree=67111528/67111528
[pid=23675] ppid=23673 vsize=8700 CPUtime=0
/proc/23675/stat : 23675 (run) S 23673 23675 23089 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 146807437 8908800 249 4089446400 4194304 4922060 140734162972448 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23675/statm: 2175 249 208 178 0 68 0
[pid=23676] ppid=23675 vsize=12960 CPUtime=0.02
/proc/23676/stat : 23676 (pb_cplex) R 23675 23675 23089 0 -1 4202496 439 0 0 0 2 0 0 0 21 0 1 0 146807437 13271040 392 4089446400 134512640 146736320 4288979808 18446744073709551615 140679034 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/23676/statm: 3240 392 290 2985 0 151 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21660

[startup+0.100262 s]
/proc/loadavg: 9.74 5.57 2.31 12/187 23676
/proc/meminfo: memFree=30749512/32950928 swapFree=67111528/67111528
[pid=23675] ppid=23673 vsize=8700 CPUtime=0
/proc/23675/stat : 23675 (run) S 23673 23675 23089 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 146807437 8908800 249 4089446400 4194304 4922060 140734162972448 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23675/statm: 2175 249 208 178 0 68 0
[pid=23676] ppid=23675 vsize=13092 CPUtime=0.08
/proc/23676/stat : 23676 (pb_cplex) R 23675 23675 23089 0 -1 4202496 484 0 0 0 8 0 0 0 21 0 1 0 146807437 13406208 437 4089446400 134512640 146736320 4288979808 18446744073709551615 134814122 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/23676/statm: 3273 437 295 2985 0 184 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 21792

[startup+0.300119 s]
/proc/loadavg: 9.74 5.57 2.31 12/187 23676
/proc/meminfo: memFree=30749512/32950928 swapFree=67111528/67111528
[pid=23675] ppid=23673 vsize=8700 CPUtime=0
/proc/23675/stat : 23675 (run) S 23673 23675 23089 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 146807437 8908800 249 4089446400 4194304 4922060 140734162972448 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23675/statm: 2175 249 208 178 0 68 0
[pid=23676] ppid=23675 vsize=13384 CPUtime=0.28
/proc/23676/stat : 23676 (pb_cplex) R 23675 23675 23089 0 -1 4202496 559 0 0 0 28 0 0 0 21 0 1 0 146807437 13705216 512 4089446400 134512640 146736320 4288979808 18446744073709551615 140684656 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/23676/statm: 3346 512 301 2985 0 257 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 22084

[startup+0.701042 s]
/proc/loadavg: 9.74 5.57 2.31 12/187 23676
/proc/meminfo: memFree=30749512/32950928 swapFree=67111528/67111528
[pid=23675] ppid=23673 vsize=8700 CPUtime=0
/proc/23675/stat : 23675 (run) S 23673 23675 23089 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 146807437 8908800 249 4089446400 4194304 4922060 140734162972448 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23675/statm: 2175 249 208 178 0 68 0
[pid=23676] ppid=23675 vsize=21332 CPUtime=0.68
/proc/23676/stat : 23676 (pb_cplex) R 23675 23675 23089 0 -1 4202496 2555 0 0 0 68 0 0 0 22 0 1 0 146807437 21843968 2043 4089446400 134512640 146736320 4288979808 18446744073709551615 137362107 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/23676/statm: 5333 2043 964 2985 0 1875 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 30032

[startup+1.50088 s]
/proc/loadavg: 9.74 5.57 2.31 3/188 23677
/proc/meminfo: memFree=30741196/32950928 swapFree=67111528/67111528
[pid=23675] ppid=23673 vsize=8700 CPUtime=0
/proc/23675/stat : 23675 (run) S 23673 23675 23089 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 146807437 8908800 249 4089446400 4194304 4922060 140734162972448 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23675/statm: 2175 249 208 178 0 68 0
[pid=23676] ppid=23675 vsize=121252 CPUtime=1.35
/proc/23676/stat : 23676 (pb_cplex) R 23675 23675 23089 0 -1 4202496 15675 0 0 0 132 3 0 0 18 0 8 0 146807437 124162048 7949 4089446400 134512640 146736320 4288979808 18446744073709551615 136017495 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0
/proc/23676/statm: 30313 7949 1063 2985 0 26855 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 129952

[startup+3.13755 s]
/proc/loadavg: 9.84 5.66 2.36 7/195 23698
/proc/meminfo: memFree=30713068/32950928 swapFree=67111528/67111528
[pid=23675] ppid=23673 vsize=8700 CPUtime=0
/proc/23675/stat : 23675 (run) S 23673 23675 23089 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 146807437 8908800 249 4089446400 4194304 4922060 140734162972448 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23675/statm: 2175 249 208 178 0 68 0
[pid=23676] ppid=23675 vsize=92932 CPUtime=3.9
/proc/23676/stat : 23676 (pb_cplex) R 23675 23675 23089 0 -1 4202496 20000 0 0 0 383 7 0 0 16 0 1 0 146807437 95162368 8966 4089446400 134512640 146736320 4288979808 18446744073709551615 136016707 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/23676/statm: 23233 8966 1072 2985 0 19775 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 101632

[startup+6.30092 s]
/proc/loadavg: 9.84 5.66 2.36 3/195 23719
/proc/meminfo: memFree=30712944/32950928 swapFree=67111528/67111528
[pid=23675] ppid=23673 vsize=8700 CPUtime=0
/proc/23675/stat : 23675 (run) S 23673 23675 23089 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 146807437 8908800 249 4089446400 4194304 4922060 140734162972448 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23675/statm: 2175 249 208 178 0 68 0
[pid=23676] ppid=23675 vsize=140696 CPUtime=8.2
/proc/23676/stat : 23676 (pb_cplex) R 23675 23675 23089 0 -1 4202496 32673 0 0 0 810 10 0 0 18 0 8 0 146807437 144072704 12467 4089446400 134512640 146736320 4288979808 18446744073709551615 136007605 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23676/statm: 35174 12467 1080 2985 0 31716 0
[pid=23676/tid=23713] ppid=23675 vsize=140696 CPUtime=0.52
/proc/23676/task/23713/stat : 23713 (pb_cplex) R 23675 23675 23089 0 -1 4202560 925 0 0 0 52 0 0 0 18 0 8 0 146807847 144072704 12467 4089446400 134512640 146736320 4288979808 18446744073709551615 136007616 0 2 4096 16387 0 0 0 -1 0 0 0 0
[pid=23676/tid=23714] ppid=23675 vsize=140696 CPUtime=0.48
/proc/23676/task/23714/stat : 23714 (pb_cplex) R 23675 23675 23089 0 -1 4202560 34 0 0 0 48 0 0 0 18 0 8 0 146807847 144072704 12467 4089446400 134512640 146736320 4288979808 18446744073709551615 136403109 0 2 4096 16387 0 0 0 -1 7 0 0 0
[pid=23676/tid=23715] ppid=23675 vsize=140696 CPUtime=0.46
/proc/23676/task/23715/stat : 23715 (pb_cplex) R 23675 23675 23089 0 -1 4202560 80 0 0 0 46 0 0 0 17 0 8 0 146807847 144072704 12467 4089446400 134512640 146736320 4288979808 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0
[pid=23676/tid=23716] ppid=23675 vsize=140696 CPUtime=0.04
/proc/23676/task/23716/stat : 23716 (pb_cplex) R 23675 23675 23089 0 -1 4202560 683 0 0 0 4 0 0 0 16 0 8 0 146807847 144072704 12467 4089446400 134512640 146736320 4288979808 18446744073709551615 136007627 0 2 4096 16387 0 0 0 -1 6 0 0 0
[pid=23676/tid=23717] ppid=23675 vsize=140696 CPUtime=0.3
/proc/23676/task/23717/stat : 23717 (pb_cplex) R 23675 23675 23089 0 -1 4202560 632 0 0 0 30 0 0 0 15 0 8 0 146807847 144072704 12467 4089446400 134512640 146736320 4288979808 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0
[pid=23676/tid=23718] ppid=23675 vsize=140696 CPUtime=0.31
/proc/23676/task/23718/stat : 23718 (pb_cplex) R 23675 23675 23089 0 -1 4202560 311 0 0 0 31 0 0 0 16 0 8 0 146807847 144072704 12467 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 5 0 0 0
[pid=23676/tid=23719] ppid=23675 vsize=140696 CPUtime=0.28
/proc/23676/task/23719/stat : 23719 (pb_cplex) R 23675 23675 23089 0 -1 4202560 439 0 0 0 28 0 0 0 16 0 8 0 146807847 144072704 12467 4089446400 134512640 146736320 4288979808 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 8.2
Current children cumulated vsize (KiB) 149396

[startup+12.7027 s]
/proc/loadavg: 9.11 5.64 2.39 9/195 23720
/proc/meminfo: memFree=30697568/32950928 swapFree=67111528/67111528
[pid=23675] ppid=23673 vsize=8700 CPUtime=0
/proc/23675/stat : 23675 (run) S 23673 23675 23089 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 146807437 8908800 249 4089446400 4194304 4922060 140734162972448 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23675/statm: 2175 249 208 178 0 68 0
[pid=23676] ppid=23675 vsize=143924 CPUtime=29.52
/proc/23676/stat : 23676 (pb_cplex) R 23675 23675 23089 0 -1 4202496 35514 0 0 0 2921 31 0 0 16 0 8 0 146807437 147378176 13442 4089446400 134512640 146736320 4288979808 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23676/statm: 35981 13442 1080 2985 0 32523 0
[pid=23676/tid=23713] ppid=23675 vsize=143924 CPUtime=3.09
/proc/23676/task/23713/stat : 23713 (pb_cplex) R 23675 23675 23089 0 -1 4202560 980 0 0 0 307 2 0 0 15 0 8 0 146807847 147378176 13442 4089446400 134512640 146736320 4288979808 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 6 0 0 0
[pid=23676/tid=23714] ppid=23675 vsize=143924 CPUtime=3.12
/proc/23676/task/23714/stat : 23714 (pb_cplex) R 23675 23675 23089 0 -1 4202560 133 0 0 0 310 2 0 0 15 0 8 0 146807847 147378176 13442 4089446400 134512640 146736320 4288979808 18446744073709551615 136002764 0 2 4096 16387 0 0 0 -1 4 0 0 0
[pid=23676/tid=23715] ppid=23675 vsize=143924 CPUtime=3.09
/proc/23676/task/23715/stat : 23715 (pb_cplex) R 23675 23675 23089 0 -1 4202560 998 0 0 0 307 2 0 0 15 0 8 0 146807847 147378176 13442 4089446400 134512640 146736320 4288979808 18446744073709551615 139043579 0 2 4096 16387 0 0 0 -1 1 0 0 0
[pid=23676/tid=23716] ppid=23675 vsize=143924 CPUtime=2.73
/proc/23676/task/23716/stat : 23716 (pb_cplex) R 23675 23675 23089 0 -1 4202560 1072 0 0 0 270 3 0 0 15 0 8 0 146807847 147378176 13442 4089446400 134512640 146736320 4288979808 18446744073709551615 136004854 0 2 4096 16387 0 0 0 -1 2 0 0 0
[pid=23676/tid=23717] ppid=23675 vsize=143924 CPUtime=2.83
/proc/23676/task/23717/stat : 23717 (pb_cplex) R 23675 23675 23089 0 -1 4202560 819 0 0 0 281 2 0 0 15 0 8 0 146807847 147378176 13442 4089446400 134512640 146736320 4288979808 18446744073709551615 136403112 0 2 4096 16387 0 0 0 -1 5 0 0 0
[pid=23676/tid=23718] ppid=23675 vsize=143924 CPUtime=2.93
/proc/23676/task/23718/stat : 23718 (pb_cplex) R 23675 23675 23089 0 -1 4202560 340 0 0 0 291 2 0 0 15 0 8 0 146807847 147378176 13442 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 6 0 0 0
[pid=23676/tid=23719] ppid=23675 vsize=143924 CPUtime=2.88
/proc/23676/task/23719/stat : 23719 (pb_cplex) S 23675 23675 23089 0 -1 4202560 561 0 0 0 286 2 0 0 15 0 8 0 146807847 147378176 13442 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 2 4096 16387 18446604453982542592 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 29.52
Current children cumulated vsize (KiB) 152624

[startup+25.5551 s]
/proc/loadavg: 8.73 5.67 2.43 8/195 23721
/proc/meminfo: memFree=30698332/32950928 swapFree=67111528/67111528
[pid=23675] ppid=23673 vsize=8700 CPUtime=0
/proc/23675/stat : 23675 (run) S 23673 23675 23089 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 146807437 8908800 249 4089446400 4194304 4922060 140734162972448 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23675/statm: 2175 249 208 178 0 68 0
[pid=23676] ppid=23675 vsize=144792 CPUtime=67.57
/proc/23676/stat : 23676 (pb_cplex) S 23675 23675 23089 0 -1 4202496 43822 0 0 0 6682 75 0 0 15 0 8 0 146807437 148267008 13640 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/23676/statm: 36198 13640 1082 2985 0 32740 0
[pid=23676/tid=23713] ppid=23675 vsize=144792 CPUtime=7.74
/proc/23676/task/23713/stat : 23713 (pb_cplex) S 23675 23675 23089 0 -1 4202560 1142 0 0 0 766 8 0 0 15 0 8 0 146807847 148267008 13640 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 2 4096 16387 18446604453982542592 0 0 -1 7 0 0 0
[pid=23676/tid=23714] ppid=23675 vsize=144792 CPUtime=7.83
/proc/23676/task/23714/stat : 23714 (pb_cplex) S 23675 23675 23089 0 -1 4202560 427 0 0 0 775 8 0 0 15 0 8 0 146807847 148267008 13640 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 2 4096 16387 18446604453982542592 0 0 -1 5 0 0 0
[pid=23676/tid=23715] ppid=23675 vsize=144792 CPUtime=7.92
/proc/23676/task/23715/stat : 23715 (pb_cplex) R 23675 23675 23089 0 -1 4202560 1426 0 0 0 785 7 0 0 15 0 8 0 146807847 148267008 13640 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 6 0 0 0
[pid=23676/tid=23716] ppid=23675 vsize=144792 CPUtime=7.29
/proc/23676/task/23716/stat : 23716 (pb_cplex) S 23675 23675 23089 0 -1 4202560 3536 0 0 0 721 8 0 0 15 0 8 0 146807847 148267008 13640 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 2 4096 16387 18446604453982542592 0 0 -1 6 0 0 0
[pid=23676/tid=23717] ppid=23675 vsize=144792 CPUtime=7.37
/proc/23676/task/23717/stat : 23717 (pb_cplex) S 23675 23675 23089 0 -1 4202560 996 0 0 0 730 7 0 0 16 0 8 0 146807847 148267008 13640 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 2 4096 16387 18446604453982542592 0 0 -1 3 0 0 0
[pid=23676/tid=23718] ppid=23675 vsize=144792 CPUtime=7.61
/proc/23676/task/23718/stat : 23718 (pb_cplex) S 23675 23675 23089 0 -1 4202560 2743 0 0 0 753 8 0 0 16 0 8 0 146807847 148267008 13640 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 2 4096 16387 18446604453982542592 0 0 -1 4 0 0 0
[pid=23676/tid=23719] ppid=23675 vsize=144792 CPUtime=7.57
/proc/23676/task/23719/stat : 23719 (pb_cplex) S 23675 23675 23089 0 -1 4202560 2277 0 0 0 749 8 0 0 15 0 8 0 146807847 148267008 13640 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 2 4096 16387 18446604453982542592 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 67.57
Current children cumulated vsize (KiB) 153492

[startup+51.102 s]
/proc/loadavg: 9.01 5.99 2.62 9/195 23735
/proc/meminfo: memFree=30698044/32950928 swapFree=67111528/67111528
[pid=23675] ppid=23673 vsize=8700 CPUtime=0
/proc/23675/stat : 23675 (run) S 23673 23675 23089 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 146807437 8908800 249 4089446400 4194304 4922060 140734162972448 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23675/statm: 2175 249 208 178 0 68 0
[pid=23676] ppid=23675 vsize=143548 CPUtime=166.39
/proc/23676/stat : 23676 (pb_cplex) R 23675 23675 23089 0 -1 4202496 75591 0 0 0 16490 149 0 0 16 0 8 0 146807437 146993152 13661 4089446400 134512640 146736320 4288979808 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/23676/statm: 35887 13661 1086 2985 0 32429 0
[pid=23676/tid=23729] ppid=23675 vsize=143548 CPUtime=11.49
/proc/23676/task/23729/stat : 23729 (pb_cplex) R 23675 23675 23089 0 -1 4202560 2523 0 0 0 1142 7 0 0 15 0 8 0 146810068 146993152 13661 4089446400 134512640 146736320 4288979808 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0
[pid=23676/tid=23730] ppid=23675 vsize=143548 CPUtime=10.96
/proc/23676/task/23730/stat : 23730 (pb_cplex) R 23675 23675 23089 0 -1 4202560 1862 0 0 0 1087 9 0 0 15 0 8 0 146810068 146993152 13661 4089446400 134512640 146736320 4288979808 18446744073709551615 135450661 0 2 4096 16387 0 0 0 -1 2 0 0 0
[pid=23676/tid=23731] ppid=23675 vsize=143548 CPUtime=12.46
/proc/23676/task/23731/stat : 23731 (pb_cplex) R 23675 23675 23089 0 -1 4202560 5291 0 0 0 1237 9 0 0 15 0 8 0 146810068 146993152 13661 4089446400 134512640 146736320 4288979808 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0
[pid=23676/tid=23732] ppid=23675 vsize=143548 CPUtime=11.45
/proc/23676/task/23732/stat : 23732 (pb_cplex) R 23675 23675 23089 0 -1 4202560 2599 0 0 0 1135 10 0 0 15 0 8 0 146810068 146993152 13661 4089446400 134512640 146736320 4288979808 18446744073709551615 137342031 0 2 4096 16387 0 0 0 -1 6 0 0 0
[pid=23676/tid=23733] ppid=23675 vsize=143548 CPUtime=12.92
/proc/23676/task/23733/stat : 23733 (pb_cplex) R 23675 23675 23089 0 -1 4202560 2103 0 0 0 1283 9 0 0 15 0 8 0 146810068 146993152 13661 4089446400 134512640 146736320 4288979808 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0
[pid=23676/tid=23734] ppid=23675 vsize=143548 CPUtime=12.93
/proc/23676/task/23734/stat : 23734 (pb_cplex) R 23675 23675 23089 0 -1 4202560 4898 0 0 0 1285 8 0 0 15 0 8 0 146810068 146993152 13661 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 7 0 0 0
[pid=23676/tid=23735] ppid=23675 vsize=143548 CPUtime=11.67
/proc/23676/task/23735/stat : 23735 (pb_cplex) S 23675 23675 23089 0 -1 4202560 3759 0 0 0 1159 8 0 0 15 0 8 0 146810068 146993152 13661 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 2 4096 16387 18446604453982542592 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 166.39
Current children cumulated vsize (KiB) 152248

[startup+102.315 s]
/proc/loadavg: 9.16 6.52 3.00 12/195 23737

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

[pid=23676/tid=23730] ppid=23675 vsize=143548 CPUtime=138.26
/proc/23676/task/23730/stat : 23730 (pb_cplex) R 23675 23675 23089 0 -1 4202560 7038 0 0 0 13690 136 0 0 15 0 8 0 146810068 146993152 13770 4089446400 134512640 146736320 4288979808 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0
[pid=23676/tid=23731] ppid=23675 vsize=143548 CPUtime=139.01
/proc/23676/task/23731/stat : 23731 (pb_cplex) R 23675 23675 23089 0 -1 4202560 9458 0 0 0 13764 137 0 0 16 0 8 0 146810068 146993152 13770 4089446400 134512640 146736320 4288979808 18446744073709551615 136403117 0 2 4096 16387 0 0 0 -1 6 0 0 0
[pid=23676/tid=23732] ppid=23675 vsize=143548 CPUtime=138.43
/proc/23676/task/23732/stat : 23732 (pb_cplex) R 23675 23675 23089 0 -1 4202560 8226 0 0 0 13713 130 0 0 15 0 8 0 146810068 146993152 13770 4089446400 134512640 146736320 4288979808 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0
[pid=23676/tid=23733] ppid=23675 vsize=143548 CPUtime=140.37
/proc/23676/task/23733/stat : 23733 (pb_cplex) R 23675 23675 23089 0 -1 4202560 7856 0 0 0 13896 141 0 0 15 0 8 0 146810068 146993152 13770 4089446400 134512640 146736320 4288979808 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0
[pid=23676/tid=23734] ppid=23675 vsize=143548 CPUtime=140.71
/proc/23676/task/23734/stat : 23734 (pb_cplex) R 23675 23675 23089 0 -1 4202560 11138 0 0 0 13944 127 0 0 15 0 8 0 146810068 146993152 13770 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 7 0 0 0
[pid=23676/tid=23735] ppid=23675 vsize=143548 CPUtime=139.57
/proc/23676/task/23735/stat : 23735 (pb_cplex) S 23675 23675 23089 0 -1 4202560 8288 0 0 0 13821 136 0 0 16 0 8 0 146810068 146993152 13770 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 2 4096 16387 18446604453982542592 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1194.3
Current children cumulated vsize (KiB) 152248

[startup+320.101 s]
/proc/loadavg: 9.52 8.17 4.38 10/188 23813
/proc/meminfo: memFree=30708480/32950928 swapFree=67111528/67111528
[pid=23675] ppid=23673 vsize=8700 CPUtime=0
/proc/23675/stat : 23675 (run) S 23673 23675 23089 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 146807437 8908800 249 4089446400 4194304 4922060 140734162972448 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23675/statm: 2175 249 208 178 0 68 0
[pid=23676] ppid=23675 vsize=142524 CPUtime=1259.2
/proc/23676/stat : 23676 (pb_cplex) R 23675 23675 23089 0 -1 4202496 117546 0 0 0 124707 1213 0 0 15 0 8 0 146807437 145944576 13650 4089446400 134512640 146736320 4288979808 18446744073709551615 136403109 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/23676/statm: 35631 13650 1088 2985 0 32173 0
[pid=23676/tid=23729] ppid=23675 vsize=142524 CPUtime=146.41
/proc/23676/task/23729/stat : 23729 (pb_cplex) R 23675 23675 23089 0 -1 4202560 7684 0 0 0 14506 135 0 0 16 0 8 0 146810068 145944576 13650 4089446400 134512640 146736320 4288979808 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0
[pid=23676/tid=23730] ppid=23675 vsize=142524 CPUtime=146.22
/proc/23676/task/23730/stat : 23730 (pb_cplex) R 23675 23675 23089 0 -1 4202560 7398 0 0 0 14477 145 0 0 15 0 8 0 146810068 145944576 13650 4089446400 134512640 146736320 4288979808 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 6 0 0 0
[pid=23676/tid=23731] ppid=23675 vsize=142524 CPUtime=147.14
/proc/23676/task/23731/stat : 23731 (pb_cplex) R 23675 23675 23089 0 -1 4202560 9522 0 0 0 14568 146 0 0 16 0 8 0 146810068 145944576 13650 4089446400 134512640 146736320 4288979808 18446744073709551615 139028333 0 2 4096 16387 0 0 0 -1 7 0 0 0
[pid=23676/tid=23732] ppid=23675 vsize=142524 CPUtime=146.54
/proc/23676/task/23732/stat : 23732 (pb_cplex) R 23675 23675 23089 0 -1 4202560 8237 0 0 0 14517 137 0 0 15 0 8 0 146810068 145944576 13650 4089446400 134512640 146736320 4288979808 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0
[pid=23676/tid=23733] ppid=23675 vsize=142524 CPUtime=148.53
/proc/23676/task/23733/stat : 23733 (pb_cplex) R 23675 23675 23089 0 -1 4202560 8010 0 0 0 14703 150 0 0 16 0 8 0 146810068 145944576 13650 4089446400 134512640 146736320 4288979808 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0
[pid=23676/tid=23734] ppid=23675 vsize=142524 CPUtime=148.8
/proc/23676/task/23734/stat : 23734 (pb_cplex) R 23675 23675 23089 0 -1 4202560 11522 0 0 0 14747 133 0 0 16 0 8 0 146810068 145944576 13650 4089446400 134512640 146736320 4288979808 18446744073709551615 136403116 0 2 4096 16387 0 0 0 -1 3 0 0 0
[pid=23676/tid=23735] ppid=23675 vsize=142524 CPUtime=147.82
/proc/23676/task/23735/stat : 23735 (pb_cplex) R 23675 23675 23089 0 -1 4202560 8387 0 0 0 14637 145 0 0 16 0 8 0 146810068 145944576 13650 4089446400 134512640 146736320 4288979808 18446744073709551615 137344505 0 2 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1259.2
Current children cumulated vsize (KiB) 151224

[startup+326.501 s]
/proc/loadavg: 9.47 8.18 4.40 3/188 23842
/proc/meminfo: memFree=30747372/32950928 swapFree=67111528/67111528
[pid=23675] ppid=23673 vsize=8700 CPUtime=0
/proc/23675/stat : 23675 (run) S 23673 23675 23089 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 146807437 8908800 249 4089446400 4194304 4922060 140734162972448 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23675/statm: 2175 249 208 178 0 68 0
[pid=23676] ppid=23675 vsize=140476 CPUtime=1292.62
/proc/23676/stat : 23676 (pb_cplex) S 23675 23675 23089 0 -1 4202496 118547 0 0 0 128011 1251 0 0 16 0 8 0 146807437 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23676/statm: 35119 13383 1088 2985 0 31661 0
[pid=23676/tid=23729] ppid=23675 vsize=140476 CPUtime=150.55
/proc/23676/task/23729/stat : 23729 (pb_cplex) S 23675 23675 23089 0 -1 4202560 7815 0 0 0 14915 140 0 0 15 0 8 0 146810068 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 2 4096 16387 18446604453982542592 0 0 -1 0 0 0 0
[pid=23676/tid=23730] ppid=23675 vsize=140476 CPUtime=150.44
/proc/23676/task/23730/stat : 23730 (pb_cplex) S 23675 23675 23089 0 -1 4202560 7426 0 0 0 14893 151 0 0 16 0 8 0 146810068 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 2 4096 16387 18446604453982542592 0 0 -1 7 0 0 0
[pid=23676/tid=23731] ppid=23675 vsize=140476 CPUtime=151.26
/proc/23676/task/23731/stat : 23731 (pb_cplex) S 23675 23675 23089 0 -1 4202560 9527 0 0 0 14976 150 0 0 16 0 8 0 146810068 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 2 4096 16387 18446604453982542592 0 0 -1 7 0 0 0
[pid=23676/tid=23732] ppid=23675 vsize=140476 CPUtime=150.74
/proc/23676/task/23732/stat : 23732 (pb_cplex) S 23675 23675 23089 0 -1 4202560 8582 0 0 0 14932 142 0 0 15 0 8 0 146810068 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 2 4096 16387 18446604453982542592 0 0 -1 3 0 0 0
[pid=23676/tid=23733] ppid=23675 vsize=140476 CPUtime=152.83
/proc/23676/task/23733/stat : 23733 (pb_cplex) S 23675 23675 23089 0 -1 4202560 8125 0 0 0 15128 155 0 0 15 0 8 0 146810068 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 2 4096 16387 18446604453982542592 0 0 -1 6 0 0 0
[pid=23676/tid=23734] ppid=23675 vsize=140476 CPUtime=152.95
/proc/23676/task/23734/stat : 23734 (pb_cplex) S 23675 23675 23089 0 -1 4202560 11674 0 0 0 15158 137 0 0 15 0 8 0 146810068 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 2 4096 16387 18446604453982542592 0 0 -1 1 0 0 0
[pid=23676/tid=23735] ppid=23675 vsize=140476 CPUtime=151.97
/proc/23676/task/23735/stat : 23735 (pb_cplex) R 23675 23675 23089 0 -1 4202560 8607 0 0 0 15048 149 0 0 15 0 8 0 146810068 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 139044509 0 2 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1292.62
Current children cumulated vsize (KiB) 149176

[startup+329.701 s]
/proc/loadavg: 9.04 8.12 4.40 11/188 23842
/proc/meminfo: memFree=30745452/32950928 swapFree=67111528/67111528
[pid=23675] ppid=23673 vsize=8700 CPUtime=0
/proc/23675/stat : 23675 (run) S 23673 23675 23089 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 146807437 8908800 249 4089446400 4194304 4922060 140734162972448 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23675/statm: 2175 249 208 178 0 68 0
[pid=23676] ppid=23675 vsize=140476 CPUtime=1308.25
/proc/23676/stat : 23676 (pb_cplex) S 23675 23675 23089 0 -1 4202496 120235 0 0 0 129558 1267 0 0 15 0 8 0 146807437 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23676/statm: 35119 13383 1088 2985 0 31661 0
[pid=23676/tid=23729] ppid=23675 vsize=140476 CPUtime=152.48
/proc/23676/task/23729/stat : 23729 (pb_cplex) S 23675 23675 23089 0 -1 4202560 8524 0 0 0 15106 142 0 0 15 0 8 0 146810068 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 2 4096 16387 18446604453982542592 0 0 -1 0 0 0 0
[pid=23676/tid=23730] ppid=23675 vsize=140476 CPUtime=152.35
/proc/23676/task/23730/stat : 23730 (pb_cplex) S 23675 23675 23089 0 -1 4202560 7426 0 0 0 15082 153 0 0 15 0 8 0 146810068 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 2 4096 16387 18446604453982542592 0 0 -1 3 0 0 0
[pid=23676/tid=23731] ppid=23675 vsize=140476 CPUtime=153.31
/proc/23676/task/23731/stat : 23731 (pb_cplex) S 23675 23675 23089 0 -1 4202560 9753 0 0 0 15180 151 0 0 16 0 8 0 146810068 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 2 4096 16387 18446604453982542592 0 0 -1 2 0 0 0
[pid=23676/tid=23732] ppid=23675 vsize=140476 CPUtime=152.65
/proc/23676/task/23732/stat : 23732 (pb_cplex) S 23675 23675 23089 0 -1 4202560 8602 0 0 0 15120 145 0 0 15 0 8 0 146810068 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 2 4096 16387 18446604453982542592 0 0 -1 7 0 0 0
[pid=23676/tid=23733] ppid=23675 vsize=140476 CPUtime=154.83
/proc/23676/task/23733/stat : 23733 (pb_cplex) S 23675 23675 23089 0 -1 4202560 8589 0 0 0 15325 158 0 0 16 0 8 0 146810068 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 2 4096 16387 18446604453982542592 0 0 -1 1 0 0 0
[pid=23676/tid=23734] ppid=23675 vsize=140476 CPUtime=154.88
/proc/23676/task/23734/stat : 23734 (pb_cplex) S 23675 23675 23089 0 -1 4202560 11714 0 0 0 15348 140 0 0 16 0 8 0 146810068 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 2 4096 16387 18446604453982542592 0 0 -1 5 0 0 0
[pid=23676/tid=23735] ppid=23675 vsize=140476 CPUtime=153.94
/proc/23676/task/23735/stat : 23735 (pb_cplex) R 23675 23675 23089 0 -1 4202560 8611 0 0 0 15243 151 0 0 15 0 8 0 146810068 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1308.25
Current children cumulated vsize (KiB) 149176

[startup+330.531 s]
/proc/loadavg: 9.04 8.12 4.40 10/188 23842
/proc/meminfo: memFree=30745980/32950928 swapFree=67111528/67111528
[pid=23675] ppid=23673 vsize=8700 CPUtime=0
/proc/23675/stat : 23675 (run) S 23673 23675 23089 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 146807437 8908800 249 4089446400 4194304 4922060 140734162972448 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23675/statm: 2175 249 208 178 0 68 0
[pid=23676] ppid=23675 vsize=140476 CPUtime=1312.58
/proc/23676/stat : 23676 (pb_cplex) S 23675 23675 23089 0 -1 4202496 120660 0 0 0 129986 1272 0 0 15 0 8 0 146807437 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23676/statm: 35119 13383 1088 2985 0 31661 0
[pid=23676/tid=23729] ppid=23675 vsize=140476 CPUtime=152.94
/proc/23676/task/23729/stat : 23729 (pb_cplex) R 23675 23675 23089 0 -1 4202560 8556 0 0 0 15152 142 0 0 16 0 8 0 146810068 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 137381090 0 2 4096 16387 0 0 0 -1 6 0 0 0
[pid=23676/tid=23730] ppid=23675 vsize=140476 CPUtime=152.91
/proc/23676/task/23730/stat : 23730 (pb_cplex) R 23675 23675 23089 0 -1 4202560 7427 0 0 0 15138 153 0 0 15 0 8 0 146810068 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0
[pid=23676/tid=23731] ppid=23675 vsize=140476 CPUtime=153.85
/proc/23676/task/23731/stat : 23731 (pb_cplex) R 23675 23675 23089 0 -1 4202560 10131 0 0 0 15233 152 0 0 15 0 8 0 146810068 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0
[pid=23676/tid=23732] ppid=23675 vsize=140476 CPUtime=153.18
/proc/23676/task/23732/stat : 23732 (pb_cplex) R 23675 23675 23089 0 -1 4202560 8602 0 0 0 15172 146 0 0 15 0 8 0 146810068 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 7 0 0 0
[pid=23676/tid=23733] ppid=23675 vsize=140476 CPUtime=155.36
/proc/23676/task/23733/stat : 23733 (pb_cplex) R 23675 23675 23089 0 -1 4202560 8590 0 0 0 15378 158 0 0 15 0 8 0 146810068 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 139042902 0 2 4096 16387 0 0 0 -1 6 0 0 0
[pid=23676/tid=23734] ppid=23675 vsize=140476 CPUtime=155.42
/proc/23676/task/23734/stat : 23734 (pb_cplex) R 23675 23675 23089 0 -1 4202560 11715 0 0 0 15402 140 0 0 15 0 8 0 146810068 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0
[pid=23676/tid=23735] ppid=23675 vsize=140476 CPUtime=154.53
/proc/23676/task/23735/stat : 23735 (pb_cplex) R 23675 23675 23089 0 -1 4202560 8622 0 0 0 15302 151 0 0 16 0 8 0 146810068 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1312.58
Current children cumulated vsize (KiB) 149176

[startup+330.902 s]
/proc/loadavg: 9.04 8.12 4.40 10/188 23842
/proc/meminfo: memFree=30745980/32950928 swapFree=67111528/67111528
[pid=23675] ppid=23673 vsize=8700 CPUtime=0
/proc/23675/stat : 23675 (run) S 23673 23675 23089 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 146807437 8908800 249 4089446400 4194304 4922060 140734162972448 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23675/statm: 2175 249 208 178 0 68 0
[pid=23676] ppid=23675 vsize=140476 CPUtime=1314.38
/proc/23676/stat : 23676 (pb_cplex) S 23675 23675 23089 0 -1 4202496 120829 0 0 0 130165 1273 0 0 15 0 8 0 146807437 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23676/statm: 35119 13383 1088 2985 0 31661 0
[pid=23676/tid=23729] ppid=23675 vsize=140476 CPUtime=153.21
/proc/23676/task/23729/stat : 23729 (pb_cplex) S 23675 23675 23089 0 -1 4202560 8725 0 0 0 15179 142 0 0 15 0 8 0 146810068 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 2 4096 16387 18446604453982542592 0 0 -1 5 0 0 0
[pid=23676/tid=23730] ppid=23675 vsize=140476 CPUtime=153.13
/proc/23676/task/23730/stat : 23730 (pb_cplex) S 23675 23675 23089 0 -1 4202560 7427 0 0 0 15159 154 0 0 16 0 8 0 146810068 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 2 4096 16387 18446604453982542592 0 0 -1 0 0 0 0
[pid=23676/tid=23731] ppid=23675 vsize=140476 CPUtime=154.06
/proc/23676/task/23731/stat : 23731 (pb_cplex) R 23675 23675 23089 0 -1 4202560 10131 0 0 0 15254 152 0 0 15 0 8 0 146810068 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 137022516 0 2 4096 16387 0 0 0 -1 2 0 0 0
[pid=23676/tid=23732] ppid=23675 vsize=140476 CPUtime=153.4
/proc/23676/task/23732/stat : 23732 (pb_cplex) S 23675 23675 23089 0 -1 4202560 8602 0 0 0 15194 146 0 0 16 0 8 0 146810068 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 2 4096 16387 18446604453982542592 0 0 -1 7 0 0 0
[pid=23676/tid=23733] ppid=23675 vsize=140476 CPUtime=155.63
/proc/23676/task/23733/stat : 23733 (pb_cplex) S 23675 23675 23089 0 -1 4202560 8590 0 0 0 15405 158 0 0 16 0 8 0 146810068 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 2 4096 16387 18446604453982542592 0 0 -1 6 0 0 0
[pid=23676/tid=23734] ppid=23675 vsize=140476 CPUtime=155.6
/proc/23676/task/23734/stat : 23734 (pb_cplex) S 23675 23675 23089 0 -1 4202560 11715 0 0 0 15420 140 0 0 15 0 8 0 146810068 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 2 4096 16387 18446604453982542592 0 0 -1 1 0 0 0
[pid=23676/tid=23735] ppid=23675 vsize=140476 CPUtime=154.74
/proc/23676/task/23735/stat : 23735 (pb_cplex) S 23675 23675 23089 0 -1 4202560 8622 0 0 0 15323 151 0 0 15 0 8 0 146810068 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 2 4096 16387 18446604453982542592 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1314.38
Current children cumulated vsize (KiB) 149176

[startup+331.102 s]
/proc/loadavg: 9.04 8.12 4.40 10/188 23842
/proc/meminfo: memFree=30745980/32950928 swapFree=67111528/67111528
[pid=23675] ppid=23673 vsize=8700 CPUtime=0
/proc/23675/stat : 23675 (run) S 23673 23675 23089 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 146807437 8908800 249 4089446400 4194304 4922060 140734162972448 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23675/statm: 2175 249 208 178 0 68 0
[pid=23676] ppid=23675 vsize=140476 CPUtime=1315.6
/proc/23676/stat : 23676 (pb_cplex) S 23675 23675 23089 0 -1 4202496 120829 0 0 0 130286 1274 0 0 15 0 8 0 146807437 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23676/statm: 35119 13383 1088 2985 0 31661 0
[pid=23676/tid=23729] ppid=23675 vsize=140476 CPUtime=153.37
/proc/23676/task/23729/stat : 23729 (pb_cplex) R 23675 23675 23089 0 -1 4202560 8725 0 0 0 15195 142 0 0 15 0 8 0 146810068 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0
[pid=23676/tid=23730] ppid=23675 vsize=140476 CPUtime=153.3
/proc/23676/task/23730/stat : 23730 (pb_cplex) R 23675 23675 23089 0 -1 4202560 7427 0 0 0 15176 154 0 0 15 0 8 0 146810068 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 136400570 0 2 4096 16387 0 0 0 -1 0 0 0 0
[pid=23676/tid=23731] ppid=23675 vsize=140476 CPUtime=154.23
/proc/23676/task/23731/stat : 23731 (pb_cplex) R 23675 23675 23089 0 -1 4202560 10131 0 0 0 15271 152 0 0 15 0 8 0 146810068 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0
[pid=23676/tid=23732] ppid=23675 vsize=140476 CPUtime=153.54
/proc/23676/task/23732/stat : 23732 (pb_cplex) S 23675 23675 23089 0 -1 4202560 8602 0 0 0 15208 146 0 0 15 0 8 0 146810068 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 2 4096 16387 18446604453982542592 0 0 -1 7 0 0 0
[pid=23676/tid=23733] ppid=23675 vsize=140476 CPUtime=155.81
/proc/23676/task/23733/stat : 23733 (pb_cplex) S 23675 23675 23089 0 -1 4202560 8590 0 0 0 15423 158 0 0 16 0 8 0 146810068 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 2 4096 16387 18446604453982542592 0 0 -1 6 0 0 0
[pid=23676/tid=23734] ppid=23675 vsize=140476 CPUtime=155.71
/proc/23676/task/23734/stat : 23734 (pb_cplex) S 23675 23675 23089 0 -1 4202560 11715 0 0 0 15431 140 0 0 15 0 8 0 146810068 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 144580073 0 2 4096 16387 18446604453982542592 0 0 -1 1 0 0 0
[pid=23676/tid=23735] ppid=23675 vsize=140476 CPUtime=154.91
/proc/23676/task/23735/stat : 23735 (pb_cplex) R 23675 23675 23089 0 -1 4202560 8622 0 0 0 15339 152 0 0 15 0 8 0 146810068 143847424 13383 4089446400 134512640 146736320 4288979808 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1315.6
Current children cumulated vsize (KiB) 149176

Child status: 0
Real time (s): 331.182
CPU time (s): 1315.76
CPU user time (s): 1303.01
CPU system time (s): 12.7531
CPU usage (%): 397.292
Max. virtual memory (cumulated for all children) (KiB): 155320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1303.01
system time used= 12.7531
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121224
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= 274248
involuntary context switches= 17542

runsolver used 0.632903 second user time and 1.2838 second system time

The end

Launcher Data 

Begin job on node149 at 2010-07-02 09:18:45
IDJOB=2697971
IDBENCH=78973
IDSOLVER=1210
FILE ID=node149/2697971-1278055125
PBS_JOBID= 11198883
Free space on /tmp= 74004 MiB

SOLVER NAME= pb_cplex 2010-07-01
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900563250--soft-33-100-0.wbo
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2697971-1278055125/watcher-2697971-1278055125 -o /tmp/evaluation-result-2697971-1278055125/solver-2697971-1278055125 -C 1800 -W 2000 -M 3800  run HOME/instance-2697971-1278055125.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 4dbce9c855a469b24d5770190ca01b65
RANDOM SEED=1097187445

node149.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30750544 kB
Buffers:        225572 kB
Cached:        1702996 kB
SwapCached:          0 kB
Active:         740088 kB
Inactive:      1304072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30750544 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           16716 kB
Writeback:           0 kB
AnonPages:      115960 kB
Mapped:          18828 kB
Slab:            90320 kB
PageTables:       5296 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   336944 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73988 MiB
End job on node149 at 2010-07-02 09:24:17