Trace number 2697877

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 839.604 239.946

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900551864--soft-66-100-0.wbo
MD5SUMc0a37f516cf4d2739ccd6d05a55220be
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 benchmark21.1608
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 constraints906
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 44801
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 44800
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 687
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-2697877-1278054866.wbo.
0.00/0.00	c Instance file HOME/instance-2697877-1278054866.wbo
0.00/0.00	c File size is 87889 bytes.
0.00/0.17	c Highest Coefficient sum: 687
0.00/0.17	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.18	c ============================[ Problem Statistics ]=============================
0.00/0.18	c |                                                                             |
0.00/0.18	c |  Parsing time:          0.18         s                                      |
0.00/0.18	c |  Number Variables:      1137                                                |
0.00/0.18	c |  Number Constraints:    2708                                                |
0.00/0.18	c ===============================================================================
839.58/239.94	c Remaining time 1799.82 sec.
839.58/239.94	s OPTIMUM FOUND
839.58/239.94	c Solution value = 1.00
839.58/239.94	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
839.58/239.94	c Total CPU time              : 831.811 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-2697877-1278054866/watcher-2697877-1278054866 -o /tmp/evaluation-result-2697877-1278054866/solver-2697877-1278054866 -C 1800 -W 2000 -M 3800 run HOME/instance-2697877-1278054866.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: 0.00 0.00 0.00 3/177 22582
/proc/meminfo: memFree=31347748/32951132 swapFree=67111528/67111528
[pid=22582] ppid=22580 vsize=8700 CPUtime=0
/proc/22582/stat : 22582 (run) S 22580 22582 22333 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 146783003 8908800 249 4089446400 4194304 4922060 140736938828272 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/22582/statm: 2175 249 208 178 0 68 0

[startup+0.0431621 s]
/proc/loadavg: 0.00 0.00 0.00 3/177 22582
/proc/meminfo: memFree=31347748/32951132 swapFree=67111528/67111528
[pid=22582] ppid=22580 vsize=8700 CPUtime=0
/proc/22582/stat : 22582 (run) S 22580 22582 22333 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 146783003 8908800 249 4089446400 4194304 4922060 140736938828272 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/22582/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.10219 s]
/proc/loadavg: 0.00 0.00 0.00 3/177 22582
/proc/meminfo: memFree=31347748/32951132 swapFree=67111528/67111528
[pid=22582] ppid=22580 vsize=8700 CPUtime=0
/proc/22582/stat : 22582 (run) S 22580 22582 22333 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 146783003 8908800 249 4089446400 4194304 4922060 140736938828272 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/22582/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301125 s]
/proc/loadavg: 0.00 0.00 0.00 3/177 22582
/proc/meminfo: memFree=31347748/32951132 swapFree=67111528/67111528
[pid=22582] ppid=22580 vsize=8700 CPUtime=0
/proc/22582/stat : 22582 (run) S 22580 22582 22333 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 146783003 8908800 249 4089446400 4194304 4922060 140736938828272 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/22582/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701041 s]
/proc/loadavg: 0.00 0.00 0.00 3/177 22582
/proc/meminfo: memFree=31347748/32951132 swapFree=67111528/67111528
[pid=22582] ppid=22580 vsize=8700 CPUtime=0
/proc/22582/stat : 22582 (run) S 22580 22582 22333 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 146783003 8908800 249 4089446400 4194304 4922060 140736938828272 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/22582/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50087 s]
/proc/loadavg: 0.48 0.10 0.03 3/186 22626
/proc/meminfo: memFree=31323860/32951132 swapFree=67111528/67111528
[pid=22582] ppid=22580 vsize=8700 CPUtime=0
/proc/22582/stat : 22582 (run) S 22580 22582 22333 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 146783003 8908800 249 4089446400 4194304 4922060 140736938828272 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/22582/statm: 2175 249 208 178 0 68 0
[pid=22583] ppid=22582 vsize=113828 CPUtime=2.65
/proc/22583/stat : 22583 (pb_cplex) R 22582 22582 22333 0 -1 4202496 18067 0 0 0 259 6 0 0 19 0 8 0 146783003 116559872 6637 4089446400 134512640 146736320 4287359168 18446744073709551615 136403109 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/22583/statm: 28457 6637 1078 2985 0 24999 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 122528

[startup+3.10069 s]
/proc/loadavg: 0.48 0.10 0.03 8/193 22640
/proc/meminfo: memFree=31306196/32951132 swapFree=67111528/67111528
[pid=22582] ppid=22580 vsize=8700 CPUtime=0
/proc/22582/stat : 22582 (run) S 22580 22582 22333 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 146783003 8908800 249 4089446400 4194304 4922060 140736938828272 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/22582/statm: 2175 249 208 178 0 68 0
[pid=22583] ppid=22582 vsize=129544 CPUtime=5.79
/proc/22583/stat : 22583 (pb_cplex) S 22582 22582 22333 0 -1 4202496 26200 0 0 0 563 16 0 0 19 0 8 0 146783003 132653056 10129 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/22583/statm: 32386 10129 1081 2985 0 28928 0
[pid=22583/tid=22634] ppid=22582 vsize=129544 CPUtime=0.32
/proc/22583/task/22634/stat : 22634 (pb_cplex) S 22582 22582 22333 0 -1 4202560 305 0 0 0 32 0 0 0 16 0 8 0 146783135 132653056 10129 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 4 0 0 0
[pid=22583/tid=22635] ppid=22582 vsize=129544 CPUtime=0.51
/proc/22583/task/22635/stat : 22635 (pb_cplex) S 22582 22582 22333 0 -1 4202560 837 0 0 0 51 0 0 0 16 0 8 0 146783135 132653056 10129 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 1 0 0 0
[pid=22583/tid=22636] ppid=22582 vsize=129544 CPUtime=0.42
/proc/22583/task/22636/stat : 22636 (pb_cplex) S 22582 22582 22333 0 -1 4202560 334 0 0 0 42 0 0 0 15 0 8 0 146783135 132653056 10129 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 7 0 0 0
[pid=22583/tid=22637] ppid=22582 vsize=129544 CPUtime=0.13
/proc/22583/task/22637/stat : 22637 (pb_cplex) S 22582 22582 22333 0 -1 4202560 1237 0 0 0 9 4 0 0 16 0 8 0 146783135 132653056 10129 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 4 0 0 0
[pid=22583/tid=22638] ppid=22582 vsize=129544 CPUtime=0.07
/proc/22583/task/22638/stat : 22638 (pb_cplex) S 22582 22582 22333 0 -1 4202560 356 0 0 0 7 0 0 0 15 0 8 0 146783135 132653056 10129 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 1 0 0 0
[pid=22583/tid=22639] ppid=22582 vsize=129544 CPUtime=0.29
/proc/22583/task/22639/stat : 22639 (pb_cplex) R 22582 22582 22333 0 -1 4202560 933 0 0 0 28 1 0 0 16 0 8 0 146783135 132653056 10129 4089446400 134512640 146736320 4287359168 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0
[pid=22583/tid=22640] ppid=22582 vsize=129544 CPUtime=0.43
/proc/22583/task/22640/stat : 22640 (pb_cplex) S 22582 22582 22333 0 -1 4202560 2741 0 0 0 41 2 0 0 16 0 8 0 146783135 132653056 10129 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.79
Current children cumulated vsize (KiB) 138244

[startup+6.30104 s]
/proc/loadavg: 0.48 0.10 0.03 10/193 22640
/proc/meminfo: memFree=31290836/32951132 swapFree=67111528/67111528
[pid=22582] ppid=22580 vsize=8700 CPUtime=0
/proc/22582/stat : 22582 (run) S 22580 22582 22333 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 146783003 8908800 249 4089446400 4194304 4922060 140736938828272 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/22582/statm: 2175 249 208 178 0 68 0
[pid=22583] ppid=22582 vsize=130568 CPUtime=11.64
/proc/22583/stat : 22583 (pb_cplex) S 22582 22582 22333 0 -1 4202496 30890 0 0 0 1107 57 0 0 15 0 8 0 146783003 133701632 10531 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/22583/statm: 32642 10531 1084 2985 0 29184 0
[pid=22583/tid=22634] ppid=22582 vsize=130568 CPUtime=1.31
/proc/22583/task/22634/stat : 22634 (pb_cplex) R 22582 22582 22333 0 -1 4202560 306 0 0 0 128 3 0 0 17 0 8 0 146783135 133701632 10531 4089446400 134512640 146736320 4287359168 18446744073709551615 136017845 0 2 4096 16387 0 0 0 -1 6 0 0 0
[pid=22583/tid=22635] ppid=22582 vsize=130568 CPUtime=1.05
/proc/22583/task/22635/stat : 22635 (pb_cplex) S 22582 22582 22333 0 -1 4202560 963 0 0 0 104 1 0 0 15 0 8 0 146783135 133701632 10531 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 4 0 0 0
[pid=22583/tid=22636] ppid=22582 vsize=130568 CPUtime=1.13
/proc/22583/task/22636/stat : 22636 (pb_cplex) S 22582 22582 22333 0 -1 4202560 771 0 0 0 105 8 0 0 15 0 8 0 146783135 133701632 10531 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 5 0 0 0
[pid=22583/tid=22637] ppid=22582 vsize=130568 CPUtime=1.12
/proc/22583/task/22637/stat : 22637 (pb_cplex) S 22582 22582 22333 0 -1 4202560 3184 0 0 0 102 10 0 0 15 0 8 0 146783135 133701632 10531 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 1 0 0 0
[pid=22583/tid=22638] ppid=22582 vsize=130568 CPUtime=0.71
/proc/22583/task/22638/stat : 22638 (pb_cplex) S 22582 22582 22333 0 -1 4202560 615 0 0 0 63 8 0 0 15 0 8 0 146783135 133701632 10531 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 3 0 0 0
[pid=22583/tid=22639] ppid=22582 vsize=130568 CPUtime=0.99
/proc/22583/task/22639/stat : 22639 (pb_cplex) S 22582 22582 22333 0 -1 4202560 1025 0 0 0 96 3 0 0 15 0 8 0 146783135 133701632 10531 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 0 0 0 0
[pid=22583/tid=22640] ppid=22582 vsize=130568 CPUtime=1.1
/proc/22583/task/22640/stat : 22640 (pb_cplex) S 22582 22582 22333 0 -1 4202560 4567 0 0 0 98 12 0 0 15 0 8 0 146783135 133701632 10531 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.64
Current children cumulated vsize (KiB) 139268

[startup+12.701 s]
/proc/loadavg: 2.09 0.46 0.15 10/193 22642
/proc/meminfo: memFree=31285884/32951132 swapFree=67111528/67111528
[pid=22582] ppid=22580 vsize=8700 CPUtime=0
/proc/22582/stat : 22582 (run) S 22580 22582 22333 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 146783003 8908800 249 4089446400 4194304 4922060 140736938828272 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/22582/statm: 2175 249 208 178 0 68 0
[pid=22583] ppid=22582 vsize=132844 CPUtime=32.02
/proc/22583/stat : 22583 (pb_cplex) S 22582 22582 22333 0 -1 4202496 39272 0 0 0 3101 101 0 0 16 0 8 0 146783003 136032256 11146 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22583/statm: 33211 11146 1080 2985 0 29753 0
[pid=22583/tid=22634] ppid=22582 vsize=132844 CPUtime=3.86
/proc/22583/task/22634/stat : 22634 (pb_cplex) S 22582 22582 22333 0 -1 4202560 308 0 0 0 379 7 0 0 15 0 8 0 146783135 136032256 11146 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 3 0 0 0
[pid=22583/tid=22635] ppid=22582 vsize=132844 CPUtime=3.59
/proc/22583/task/22635/stat : 22635 (pb_cplex) S 22582 22582 22333 0 -1 4202560 2452 0 0 0 352 7 0 0 15 0 8 0 146783135 136032256 11146 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 6 0 0 0
[pid=22583/tid=22636] ppid=22582 vsize=132844 CPUtime=3.62
/proc/22583/task/22636/stat : 22636 (pb_cplex) S 22582 22582 22333 0 -1 4202560 1242 0 0 0 349 13 0 0 15 0 8 0 146783135 136032256 11146 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 7 0 0 0
[pid=22583/tid=22637] ppid=22582 vsize=132844 CPUtime=3.57
/proc/22583/task/22637/stat : 22637 (pb_cplex) S 22582 22582 22333 0 -1 4202560 6225 0 0 0 342 15 0 0 16 0 8 0 146783135 136032256 11146 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 4 0 0 0
[pid=22583/tid=22638] ppid=22582 vsize=132844 CPUtime=3.45
/proc/22583/task/22638/stat : 22638 (pb_cplex) R 22582 22582 22333 0 -1 4202560 1473 0 0 0 330 15 0 0 16 0 8 0 146783135 136032256 11146 4089446400 134512640 146736320 4287359168 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0
[pid=22583/tid=22639] ppid=22582 vsize=132844 CPUtime=3.52
/proc/22583/task/22639/stat : 22639 (pb_cplex) S 22582 22582 22333 0 -1 4202560 1480 0 0 0 343 9 0 0 15 0 8 0 146783135 136032256 11146 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 2 0 0 0
[pid=22583/tid=22640] ppid=22582 vsize=132844 CPUtime=3.61
/proc/22583/task/22640/stat : 22640 (pb_cplex) S 22582 22582 22333 0 -1 4202560 6627 0 0 0 341 20 0 0 15 0 8 0 146783135 136032256 11146 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 32.02
Current children cumulated vsize (KiB) 141544

[startup+25.5007 s]
/proc/loadavg: 2.91 0.69 0.23 3/193 22670
/proc/meminfo: memFree=31284520/32951132 swapFree=67111528/67111528
[pid=22582] ppid=22580 vsize=8700 CPUtime=0
/proc/22582/stat : 22582 (run) S 22580 22582 22333 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 146783003 8908800 249 4089446400 4194304 4922060 140736938828272 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/22582/statm: 2175 249 208 178 0 68 0
[pid=22583] ppid=22582 vsize=134072 CPUtime=74.54
/proc/22583/stat : 22583 (pb_cplex) R 22582 22582 22333 0 -1 4202496 58973 0 0 0 7317 137 0 0 17 0 8 0 146783003 137289728 11176 4089446400 134512640 146736320 4287359168 18446744073709551615 136674344 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/22583/statm: 33518 11176 1081 2985 0 30060 0
[pid=22583/tid=22664] ppid=22582 vsize=134072 CPUtime=1.22
/proc/22583/task/22664/stat : 22664 (pb_cplex) S 22582 22582 22333 0 -1 4202560 106 0 0 0 122 0 0 0 17 0 8 0 146785041 137289728 11176 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 3 0 0 0
[pid=22583/tid=22665] ppid=22582 vsize=134072 CPUtime=0.48
/proc/22583/task/22665/stat : 22665 (pb_cplex) S 22582 22582 22333 0 -1 4202560 486 0 0 0 48 0 0 0 15 0 8 0 146785041 137289728 11176 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 7 0 0 0
[pid=22583/tid=22666] ppid=22582 vsize=134072 CPUtime=1.28
/proc/22583/task/22666/stat : 22666 (pb_cplex) R 22582 22582 22333 0 -1 4202560 140 0 0 0 128 0 0 0 17 0 8 0 146785041 137289728 11176 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 7 0 0 0
[pid=22583/tid=22667] ppid=22582 vsize=134072 CPUtime=2.01
/proc/22583/task/22667/stat : 22667 (pb_cplex) S 22582 22582 22333 0 -1 4202560 42 0 0 0 201 0 0 0 17 0 8 0 146785041 137289728 11176 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 3 0 0 0
[pid=22583/tid=22668] ppid=22582 vsize=134072 CPUtime=0.69
/proc/22583/task/22668/stat : 22668 (pb_cplex) S 22582 22582 22333 0 -1 4202560 511 0 0 0 69 0 0 0 17 0 8 0 146785041 137289728 11176 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 3 0 0 0
[pid=22583/tid=22669] ppid=22582 vsize=134072 CPUtime=3.23
/proc/22583/task/22669/stat : 22669 (pb_cplex) R 22582 22582 22333 0 -1 4202560 217 0 0 0 323 0 0 0 23 0 8 0 146785041 137289728 11176 4089446400 134512640 146736320 4287359168 18446744073709551615 144580332 0 2 4096 16387 0 0 0 -1 1 0 0 0
[pid=22583/tid=22670] ppid=22582 vsize=134072 CPUtime=0.95
/proc/22583/task/22670/stat : 22670 (pb_cplex) S 22582 22582 22333 0 -1 4202560 1367 0 0 0 95 0 0 0 15 0 8 0 146785041 137289728 11176 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 74.54
Current children cumulated vsize (KiB) 142772

[startup+51.1463 s]
/proc/loadavg: 5.11 1.39 0.47 13/193 22670
/proc/meminfo: memFree=31273472/32951132 swapFree=67111528/67111528
[pid=22582] ppid=22580 vsize=8700 CPUtime=0
/proc/22582/stat : 22582 (run) S 22580 22582 22333 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 146783003 8908800 249 4089446400 4194304 4922060 140736938828272 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/22582/statm: 2175 249 208 178 0 68 0
[pid=22583] ppid=22582 vsize=140728 CPUtime=165.35
/proc/22583/stat : 22583 (pb_cplex) R 22582 22582 22333 0 -1 4202496 108560 0 0 0 16324 211 0 0 16 0 8 0 146783003 144105472 12791 4089446400 134512640 146736320 4287359168 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/22583/statm: 35182 12791 1081 2985 0 31724 0
[pid=22583/tid=22664] ppid=22582 vsize=140728 CPUtime=12.31
/proc/22583/task/22664/stat : 22664 (pb_cplex) R 22582 22582 22333 0 -1 4202560 864 0 0 0 1223 8 0 0 15 0 8 0 146785041 144105472 12791 4089446400 134512640 146736320 4287359168 18446744073709551615 136007073 0 2 4096 16387 0 0 0 -1 6 0 0 0
[pid=22583/tid=22665] ppid=22582 vsize=140728 CPUtime=11.71
/proc/22583/task/22665/stat : 22665 (pb_cplex) R 22582 22582 22333 0 -1 4202560 3297 0 0 0 1162 9 0 0 15 0 8 0 146785041 144105472 12791 4089446400 134512640 146736320 4287359168 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 7 0 0 0
[pid=22583/tid=22666] ppid=22582 vsize=140728 CPUtime=12.46
/proc/22583/task/22666/stat : 22666 (pb_cplex) R 22582 22582 22333 0 -1 4202560 5394 0 0 0 1236 10 0 0 15 0 8 0 146785041 144105472 12791 4089446400 134512640 146736320 4287359168 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0
[pid=22583/tid=22667] ppid=22582 vsize=140728 CPUtime=13.24
/proc/22583/task/22667/stat : 22667 (pb_cplex) S 22582 22582 22333 0 -1 4202560 8919 0 0 0 1315 9 0 0 15 0 8 0 146785041 144105472 12791 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 2 0 0 0
[pid=22583/tid=22668] ppid=22582 vsize=140728 CPUtime=11.8
/proc/22583/task/22668/stat : 22668 (pb_cplex) R 22582 22582 22333 0 -1 4202560 3034 0 0 0 1171 9 0 0 15 0 8 0 146785041 144105472 12791 4089446400 134512640 146736320 4287359168 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0
[pid=22583/tid=22669] ppid=22582 vsize=140728 CPUtime=14.52
/proc/22583/task/22669/stat : 22669 (pb_cplex) R 22582 22582 22333 0 -1 4202560 2170 0 0 0 1444 8 0 0 15 0 8 0 146785041 144105472 12791 4089446400 134512640 146736320 4287359168 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0
[pid=22583/tid=22670] ppid=22582 vsize=140728 CPUtime=12.03
/proc/22583/task/22670/stat : 22670 (pb_cplex) R 22582 22582 22333 0 -1 4202560 4478 0 0 0 1196 7 0 0 15 0 8 0 146785041 144105472 12791 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 165.35
Current children cumulated vsize (KiB) 149428

[startup+102.311 s]
/proc/loadavg: 7.50 2.69 0.97 9/193 22672
/proc/meminfo: memFree=31268956/32951132 swapFree=67111528/67111528

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

[pid=22583/tid=22665] ppid=22582 vsize=142776 CPUtime=90.61
/proc/22583/task/22665/stat : 22665 (pb_cplex) R 22582 22582 22333 0 -1 4202560 11405 0 0 0 8987 74 0 0 15 0 8 0 146785041 146202624 13348 4089446400 134512640 146736320 4287359168 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0
[pid=22583/tid=22666] ppid=22582 vsize=142776 CPUtime=91.8
/proc/22583/task/22666/stat : 22666 (pb_cplex) R 22582 22582 22333 0 -1 4202560 13015 0 0 0 9102 78 0 0 15 0 8 0 146785041 146202624 13348 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 6 0 0 0
[pid=22583/tid=22667] ppid=22582 vsize=142776 CPUtime=91.88
/proc/22583/task/22667/stat : 22667 (pb_cplex) S 22582 22582 22333 0 -1 4202560 15932 0 0 0 9113 75 0 0 15 0 8 0 146785041 146202624 13348 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 6 0 0 0
[pid=22583/tid=22668] ppid=22582 vsize=142776 CPUtime=90.88
/proc/22583/task/22668/stat : 22668 (pb_cplex) S 22582 22582 22333 0 -1 4202560 10664 0 0 0 9015 73 0 0 15 0 8 0 146785041 146202624 13348 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 6 0 0 0
[pid=22583/tid=22669] ppid=22582 vsize=142776 CPUtime=93.81
/proc/22583/task/22669/stat : 22669 (pb_cplex) S 22582 22582 22333 0 -1 4202560 13584 0 0 0 9304 77 0 0 16 0 8 0 146785041 146202624 13348 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 5 0 0 0
[pid=22583/tid=22670] ppid=22582 vsize=142776 CPUtime=91.04
/proc/22583/task/22670/stat : 22670 (pb_cplex) S 22582 22582 22333 0 -1 4202560 14379 0 0 0 9023 81 0 0 15 0 8 0 146785041 146202624 13348 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 804.78
Current children cumulated vsize (KiB) 151476

[startup+236.801 s]
/proc/loadavg: 9.52 5.17 2.11 10/193 22676
/proc/meminfo: memFree=31272156/32951132 swapFree=67111528/67111528
[pid=22582] ppid=22580 vsize=8700 CPUtime=0
/proc/22582/stat : 22582 (run) S 22580 22582 22333 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 146783003 8908800 249 4089446400 4194304 4922060 140736938828272 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/22582/statm: 2175 249 208 178 0 68 0
[pid=22583] ppid=22582 vsize=140728 CPUtime=828.72
/proc/22583/stat : 22583 (pb_cplex) S 22582 22582 22333 0 -1 4202496 175771 0 0 0 82103 769 0 0 16 0 8 0 146783003 144105472 13044 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/22583/statm: 35182 13044 1098 2985 0 31724 0
[pid=22583/tid=22664] ppid=22582 vsize=140728 CPUtime=94.15
/proc/22583/task/22664/stat : 22664 (pb_cplex) S 22582 22582 22333 0 -1 4202560 5841 0 0 0 9338 77 0 0 15 0 8 0 146785041 144105472 13044 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 5 0 0 0
[pid=22583/tid=22665] ppid=22582 vsize=140728 CPUtime=93.56
/proc/22583/task/22665/stat : 22665 (pb_cplex) S 22582 22582 22333 0 -1 4202560 12789 0 0 0 9280 76 0 0 15 0 8 0 146785041 144105472 13044 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 3 0 0 0
[pid=22583/tid=22666] ppid=22582 vsize=140728 CPUtime=94.73
/proc/22583/task/22666/stat : 22666 (pb_cplex) S 22582 22582 22333 0 -1 4202560 13023 0 0 0 9392 81 0 0 16 0 8 0 146785041 144105472 13044 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 1 0 0 0
[pid=22583/tid=22667] ppid=22582 vsize=140728 CPUtime=94.88
/proc/22583/task/22667/stat : 22667 (pb_cplex) S 22582 22582 22333 0 -1 4202560 15938 0 0 0 9409 79 0 0 15 0 8 0 146785041 144105472 13044 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 2 0 0 0
[pid=22583/tid=22668] ppid=22582 vsize=140728 CPUtime=93.84
/proc/22583/task/22668/stat : 22668 (pb_cplex) S 22582 22582 22333 0 -1 4202560 10774 0 0 0 9309 75 0 0 15 0 8 0 146785041 144105472 13044 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 7 0 0 0
[pid=22583/tid=22669] ppid=22582 vsize=140728 CPUtime=96.85
/proc/22583/task/22669/stat : 22669 (pb_cplex) R 22582 22582 22333 0 -1 4202560 13826 0 0 0 9605 80 0 0 15 0 8 0 146785041 144105472 13044 4089446400 134512640 146736320 4287359168 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 6 0 0 0
[pid=22583/tid=22670] ppid=22582 vsize=140728 CPUtime=94.03
/proc/22583/task/22670/stat : 22670 (pb_cplex) R 22582 22582 22333 0 -1 4202560 14577 0 0 0 9320 83 0 0 15 0 8 0 146785041 144105472 13044 4089446400 134512640 146736320 4287359168 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 828.72
Current children cumulated vsize (KiB) 149428

[startup+238.438 s]
/proc/loadavg: 9.52 5.17 2.11 10/193 22676
/proc/meminfo: memFree=31272156/32951132 swapFree=67111528/67111528
[pid=22582] ppid=22580 vsize=8700 CPUtime=0
/proc/22582/stat : 22582 (run) S 22580 22582 22333 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 146783003 8908800 249 4089446400 4194304 4922060 140736938828272 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/22582/statm: 2175 249 208 178 0 68 0
[pid=22583] ppid=22582 vsize=140728 CPUtime=834.75
/proc/22583/stat : 22583 (pb_cplex) S 22582 22582 22333 0 -1 4202496 176209 0 0 0 82701 774 0 0 15 0 8 0 146783003 144105472 13046 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0
/proc/22583/statm: 35182 13046 1098 2985 0 31724 0
[pid=22583/tid=22664] ppid=22582 vsize=140728 CPUtime=94.87
/proc/22583/task/22664/stat : 22664 (pb_cplex) S 22582 22582 22333 0 -1 4202560 5841 0 0 0 9410 77 0 0 15 0 8 0 146785041 144105472 13046 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 2 0 0 0
[pid=22583/tid=22665] ppid=22582 vsize=140728 CPUtime=94.3
/proc/22583/task/22665/stat : 22665 (pb_cplex) S 22582 22582 22333 0 -1 4202560 12790 0 0 0 9353 77 0 0 16 0 8 0 146785041 144105472 13046 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 2 0 0 0
[pid=22583/tid=22666] ppid=22582 vsize=140728 CPUtime=95.42
/proc/22583/task/22666/stat : 22666 (pb_cplex) S 22582 22582 22333 0 -1 4202560 13023 0 0 0 9460 82 0 0 15 0 8 0 146785041 144105472 13046 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 6 0 0 0
[pid=22583/tid=22667] ppid=22582 vsize=140728 CPUtime=95.61
/proc/22583/task/22667/stat : 22667 (pb_cplex) S 22582 22582 22333 0 -1 4202560 15938 0 0 0 9482 79 0 0 15 0 8 0 146785041 144105472 13046 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 6 0 0 0
[pid=22583/tid=22668] ppid=22582 vsize=140728 CPUtime=94.53
/proc/22583/task/22668/stat : 22668 (pb_cplex) S 22582 22582 22333 0 -1 4202560 10790 0 0 0 9378 75 0 0 15 0 8 0 146785041 144105472 13046 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 6 0 0 0
[pid=22583/tid=22669] ppid=22582 vsize=140728 CPUtime=97.73
/proc/22583/task/22669/stat : 22669 (pb_cplex) S 22582 22582 22333 0 -1 4202560 14032 0 0 0 9692 81 0 0 15 0 8 0 146785041 144105472 13046 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 1 0 0 0
[pid=22583/tid=22670] ppid=22582 vsize=140728 CPUtime=94.82
/proc/22583/task/22670/stat : 22670 (pb_cplex) R 22582 22582 22333 0 -1 4202560 14789 0 0 0 9398 84 0 0 15 0 8 0 146785041 144105472 13046 4089446400 134512640 146736320 4287359168 18446744073709551615 136017645 0 2 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 834.75
Current children cumulated vsize (KiB) 149428

[startup+239.205 s]
/proc/loadavg: 9.52 5.17 2.11 10/193 22676
/proc/meminfo: memFree=31272404/32951132 swapFree=67111528/67111528
[pid=22582] ppid=22580 vsize=8700 CPUtime=0
/proc/22582/stat : 22582 (run) S 22580 22582 22333 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 146783003 8908800 249 4089446400 4194304 4922060 140736938828272 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/22582/statm: 2175 249 208 178 0 68 0
[pid=22583] ppid=22582 vsize=139704 CPUtime=837.54
/proc/22583/stat : 22583 (pb_cplex) R 22582 22582 22333 0 -1 4202496 176554 0 0 0 82977 777 0 0 16 0 8 0 146783003 143056896 12899 4089446400 134512640 146736320 4287359168 18446744073709551615 136017846 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/22583/statm: 34926 12899 1098 2985 0 31468 0
[pid=22583/tid=22664] ppid=22582 vsize=139704 CPUtime=95.25
/proc/22583/task/22664/stat : 22664 (pb_cplex) R 22582 22582 22333 0 -1 4202560 5987 0 0 0 9447 78 0 0 15 0 8 0 146785041 143056896 12899 4089446400 134512640 146736320 4287359168 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 7 0 0 0
[pid=22583/tid=22665] ppid=22582 vsize=139704 CPUtime=94.64
/proc/22583/task/22665/stat : 22665 (pb_cplex) R 22582 22582 22333 0 -1 4202560 12790 0 0 0 9387 77 0 0 15 0 8 0 146785041 143056896 12899 4089446400 134512640 146736320 4287359168 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0
[pid=22583/tid=22666] ppid=22582 vsize=139704 CPUtime=95.69
/proc/22583/task/22666/stat : 22666 (pb_cplex) R 22582 22582 22333 0 -1 4202560 13023 0 0 0 9487 82 0 0 15 0 8 0 146785041 143056896 12899 4089446400 134512640 146736320 4287359168 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0
[pid=22583/tid=22667] ppid=22582 vsize=139704 CPUtime=95.98
/proc/22583/task/22667/stat : 22667 (pb_cplex) R 22582 22582 22333 0 -1 4202560 15938 0 0 0 9519 79 0 0 15 0 8 0 146785041 143056896 12899 4089446400 134512640 146736320 4287359168 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0
[pid=22583/tid=22668] ppid=22582 vsize=139704 CPUtime=94.87
/proc/22583/task/22668/stat : 22668 (pb_cplex) R 22582 22582 22333 0 -1 4202560 10790 0 0 0 9412 75 0 0 15 0 8 0 146785041 143056896 12900 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 7 0 0 0
[pid=22583/tid=22669] ppid=22582 vsize=139704 CPUtime=98.05
/proc/22583/task/22669/stat : 22669 (pb_cplex) S 22582 22582 22333 0 -1 4202560 14231 0 0 0 9724 81 0 0 16 0 8 0 146785041 143056896 12900 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 5 0 0 0
[pid=22583/tid=22670] ppid=22582 vsize=139704 CPUtime=95.16
/proc/22583/task/22670/stat : 22670 (pb_cplex) S 22582 22582 22333 0 -1 4202560 14789 0 0 0 9431 85 0 0 15 0 8 0 146785041 143056896 12900 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 837.54
Current children cumulated vsize (KiB) 148404

[startup+239.604 s]
/proc/loadavg: 9.52 5.17 2.11 10/193 22676
/proc/meminfo: memFree=31272404/32951132 swapFree=67111528/67111528
[pid=22582] ppid=22580 vsize=8700 CPUtime=0
/proc/22582/stat : 22582 (run) S 22580 22582 22333 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 146783003 8908800 249 4089446400 4194304 4922060 140736938828272 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/22582/statm: 2175 249 208 178 0 68 0
[pid=22583] ppid=22582 vsize=139704 CPUtime=839.22
/proc/22583/stat : 22583 (pb_cplex) S 22582 22582 22333 0 -1 4202496 176836 0 0 0 83144 778 0 0 16 0 8 0 146783003 143056896 12899 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22583/statm: 34926 12899 1098 2985 0 31468 0
[pid=22583/tid=22664] ppid=22582 vsize=139704 CPUtime=95.45
/proc/22583/task/22664/stat : 22664 (pb_cplex) R 22582 22582 22333 0 -1 4202560 6185 0 0 0 9467 78 0 0 15 0 8 0 146785041 143056896 12899 4089446400 134512640 146736320 4287359168 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 7 0 0 0
[pid=22583/tid=22665] ppid=22582 vsize=139704 CPUtime=94.84
/proc/22583/task/22665/stat : 22665 (pb_cplex) R 22582 22582 22333 0 -1 4202560 12811 0 0 0 9407 77 0 0 15 0 8 0 146785041 143056896 12899 4089446400 134512640 146736320 4287359168 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0
[pid=22583/tid=22666] ppid=22582 vsize=139704 CPUtime=95.94
/proc/22583/task/22666/stat : 22666 (pb_cplex) R 22582 22582 22333 0 -1 4202560 13057 0 0 0 9512 82 0 0 15 0 8 0 146785041 143056896 12899 4089446400 134512640 146736320 4287359168 18446744073709551615 137342054 0 2 4096 16387 0 0 0 -1 0 0 0 0
[pid=22583/tid=22667] ppid=22582 vsize=139704 CPUtime=96.19
/proc/22583/task/22667/stat : 22667 (pb_cplex) R 22582 22582 22333 0 -1 4202560 15938 0 0 0 9540 79 0 0 15 0 8 0 146785041 143056896 12899 4089446400 134512640 146736320 4287359168 18446744073709551615 135468104 0 2 4096 16387 0 0 0 -1 4 0 0 0
[pid=22583/tid=22668] ppid=22582 vsize=139704 CPUtime=95.12
/proc/22583/task/22668/stat : 22668 (pb_cplex) R 22582 22582 22333 0 -1 4202560 10790 0 0 0 9436 76 0 0 15 0 8 0 146785041 143056896 12899 4089446400 134512640 146736320 4287359168 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0
[pid=22583/tid=22669] ppid=22582 vsize=139704 CPUtime=98.21
/proc/22583/task/22669/stat : 22669 (pb_cplex) S 22582 22582 22333 0 -1 4202560 14260 0 0 0 9740 81 0 0 15 0 8 0 146785041 143056896 12899 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 6 0 0 0
[pid=22583/tid=22670] ppid=22582 vsize=139704 CPUtime=95.36
/proc/22583/task/22670/stat : 22670 (pb_cplex) R 22582 22582 22333 0 -1 4202560 14789 0 0 0 9451 85 0 0 15 0 8 0 146785041 143056896 12899 4089446400 134512640 146736320 4287359168 18446744073709551615 135450809 0 2 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 839.22
Current children cumulated vsize (KiB) 148404

[startup+239.843 s]
/proc/loadavg: 9.52 5.17 2.11 10/193 22676
/proc/meminfo: memFree=31272528/32951132 swapFree=67111528/67111528
[pid=22582] ppid=22580 vsize=8700 CPUtime=0
/proc/22582/stat : 22582 (run) S 22580 22582 22333 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 146783003 8908800 249 4089446400 4194304 4922060 140736938828272 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/22582/statm: 2175 249 208 178 0 68 0
[pid=22583] ppid=22582 vsize=139704 CPUtime=839.56
/proc/22583/stat : 22583 (pb_cplex) S 22582 22582 22333 0 -1 4202496 176836 0 0 0 83178 778 0 0 15 0 8 0 146783003 143056896 12899 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/22583/statm: 34926 12899 1098 2985 0 31468 0
[pid=22583/tid=22664] ppid=22582 vsize=139704 CPUtime=95.48
/proc/22583/task/22664/stat : 22664 (pb_cplex) R 22582 22582 22333 0 -1 4202560 6185 0 0 0 9470 78 0 0 15 0 8 0 146785041 143056896 12899 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 5 0 0 0
[pid=22583/tid=22665] ppid=22582 vsize=139704 CPUtime=94.89
/proc/22583/task/22665/stat : 22665 (pb_cplex) S 22582 22582 22333 0 -1 4202560 12811 0 0 0 9412 77 0 0 15 0 8 0 146785041 143056896 12899 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 5 0 0 0
[pid=22583/tid=22666] ppid=22582 vsize=139704 CPUtime=95.97
/proc/22583/task/22666/stat : 22666 (pb_cplex) S 22582 22582 22333 0 -1 4202560 13057 0 0 0 9515 82 0 0 16 0 8 0 146785041 143056896 12899 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 5 0 0 0
[pid=22583/tid=22667] ppid=22582 vsize=139704 CPUtime=96.29
/proc/22583/task/22667/stat : 22667 (pb_cplex) S 22582 22582 22333 0 -1 4202560 15938 0 0 0 9549 80 0 0 16 0 8 0 146785041 143056896 12899 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 6 0 0 0
[pid=22583/tid=22668] ppid=22582 vsize=139704 CPUtime=95.19
/proc/22583/task/22668/stat : 22668 (pb_cplex) S 22582 22582 22333 0 -1 4202560 10790 0 0 0 9443 76 0 0 15 0 8 0 146785041 143056896 12899 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 7 0 0 0
[pid=22583/tid=22669] ppid=22582 vsize=139704 CPUtime=98.22
/proc/22583/task/22669/stat : 22669 (pb_cplex) S 22582 22582 22333 0 -1 4202560 14260 0 0 0 9741 81 0 0 15 0 8 0 146785041 143056896 12899 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 7 0 0 0
[pid=22583/tid=22670] ppid=22582 vsize=139704 CPUtime=95.38
/proc/22583/task/22670/stat : 22670 (pb_cplex) S 22582 22582 22333 0 -1 4202560 14789 0 0 0 9453 85 0 0 15 0 8 0 146785041 143056896 12899 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 839.56
Current children cumulated vsize (KiB) 148404

[startup+239.934 s]
/proc/loadavg: 9.52 5.17 2.11 10/193 22676
/proc/meminfo: memFree=31272528/32951132 swapFree=67111528/67111528
[pid=22582] ppid=22580 vsize=8700 CPUtime=0
/proc/22582/stat : 22582 (run) S 22580 22582 22333 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 146783003 8908800 249 4089446400 4194304 4922060 140736938828272 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/22582/statm: 2175 249 208 178 0 68 0
[pid=22583] ppid=22582 vsize=139704 CPUtime=839.58
/proc/22583/stat : 22583 (pb_cplex) S 22582 22582 22333 0 -1 4202496 176836 0 0 0 83180 778 0 0 15 0 8 0 146783003 143056896 12899 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/22583/statm: 34926 12899 1098 2985 0 31468 0
[pid=22583/tid=22664] ppid=22582 vsize=139704 CPUtime=95.49
/proc/22583/task/22664/stat : 22664 (pb_cplex) S 22582 22582 22333 0 -1 4202560 6185 0 0 0 9471 78 0 0 15 0 8 0 146785041 143056896 12899 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 3 0 0 0
[pid=22583/tid=22665] ppid=22582 vsize=139704 CPUtime=94.89
/proc/22583/task/22665/stat : 22665 (pb_cplex) S 22582 22582 22333 0 -1 4202560 12811 0 0 0 9412 77 0 0 15 0 8 0 146785041 143056896 12899 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 3 0 0 0
[pid=22583/tid=22666] ppid=22582 vsize=139704 CPUtime=95.97
/proc/22583/task/22666/stat : 22666 (pb_cplex) S 22582 22582 22333 0 -1 4202560 13057 0 0 0 9515 82 0 0 15 0 8 0 146785041 143056896 12899 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 3 0 0 0
[pid=22583/tid=22667] ppid=22582 vsize=139704 CPUtime=96.29
/proc/22583/task/22667/stat : 22667 (pb_cplex) S 22582 22582 22333 0 -1 4202560 15938 0 0 0 9549 80 0 0 15 0 8 0 146785041 143056896 12899 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 6 0 0 0
[pid=22583/tid=22668] ppid=22582 vsize=139704 CPUtime=95.19
/proc/22583/task/22668/stat : 22668 (pb_cplex) R 22582 22582 22333 0 -1 4202560 10790 0 0 0 9443 76 0 0 15 0 8 0 146785041 143056896 12899 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 5 0 0 0
[pid=22583/tid=22669] ppid=22582 vsize=139704 CPUtime=98.22
/proc/22583/task/22669/stat : 22669 (pb_cplex) S 22582 22582 22333 0 -1 4202560 14260 0 0 0 9741 81 0 0 15 0 8 0 146785041 143056896 12899 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 5 0 0 0
[pid=22583/tid=22670] ppid=22582 vsize=139704 CPUtime=95.38
/proc/22583/task/22670/stat : 22670 (pb_cplex) S 22582 22582 22333 0 -1 4202560 14789 0 0 0 9453 85 0 0 15 0 8 0 146785041 143056896 12899 4089446400 134512640 146736320 4287359168 18446744073709551615 144580073 0 2 4096 16387 18446604471103425600 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 839.58
Current children cumulated vsize (KiB) 148404

Child status: 0
Real time (s): 239.946
CPU time (s): 839.604
CPU user time (s): 831.811
CPU system time (s): 7.79381
CPU usage (%): 349.914
Max. virtual memory (cumulated for all children) (KiB): 158644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 831.811
system time used= 7.79382
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177231
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= 155165
involuntary context switches= 12436

runsolver used 0.506922 second user time and 0.966853 second system time

The end

Launcher Data 

Begin job on node128 at 2010-07-02 09:14:27
IDJOB=2697877
IDBENCH=78926
IDSOLVER=1210
FILE ID=node128/2697877-1278054866
PBS_JOBID= 11198925
Free space on /tmp= 74152 MiB

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

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

MD5SUM BENCH= c0a37f516cf4d2739ccd6d05a55220be
RANDOM SEED=1934137626

node128.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.853
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.70
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.853
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	: 5332.75
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.853
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.83
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.853
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.74
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.853
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.853
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.75
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.853
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.853
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:     32951132 kB
MemFree:      31348160 kB
Buffers:        220988 kB
Cached:        1143180 kB
SwapCached:          0 kB
Active:         626528 kB
Inactive:       827356 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      31348160 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           33624 kB
Writeback:           0 kB
AnonPages:       89780 kB
Mapped:          19012 kB
Slab:            84728 kB
PageTables:       5008 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   281236 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74136 MiB
End job on node128 at 2010-07-02 09:18:27