Trace number 2697378

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 590.616 123.778

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900564824--soft-0-100-0.wbo
MD5SUM67acad5bcb13fd291a4cc974e7f18780
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark326.274
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 constraints2707
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 138262
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 138261
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 813
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-2697378-1278055501.wbo.
0.00/0.00	c Instance file HOME/instance-2697378-1278055501.wbo
0.00/0.00	c File size is 96777 bytes.
1.49/1.52	c Highest Coefficient sum: 813
1.49/1.52	c  IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ".
1.49/1.53	c ============================[ Problem Statistics ]=============================
1.49/1.53	c |                                                                             |
1.49/1.53	c |  Parsing time:          1.53         s                                      |
1.49/1.53	c |  Number Variables:      2938                                                |
1.49/1.53	c |  Number Constraints:    2708                                                |
1.49/1.53	c ===============================================================================
590.45/123.77	c Remaining time 1798.47 sec.
590.45/123.77	s OPTIMUM FOUND
590.45/123.77	c Solution value = 8.00
590.45/123.77	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
590.45/123.77	c Total CPU time              : 586.004 s

Verifier Data 

OK	8

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2697378-1278055501/watcher-2697378-1278055501 -o /tmp/evaluation-result-2697378-1278055501/solver-2697378-1278055501 -C 1800 -W 2000 -M 3800 run HOME/instance-2697378-1278055501.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: 5.41 7.29 4.29 3/179 23924
/proc/meminfo: memFree=30794696/32950928 swapFree=67111528/67111528
[pid=23924] ppid=23922 vsize=8700 CPUtime=0
/proc/23924/stat : 23924 (run) S 23922 23924 23098 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146844966 8908800 249 4089446400 4194304 4922060 140734851068992 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23924/statm: 2175 249 208 178 0 68 0

[startup+0.0237741 s]
/proc/loadavg: 5.41 7.29 4.29 3/179 23924
/proc/meminfo: memFree=30794696/32950928 swapFree=67111528/67111528
[pid=23924] ppid=23922 vsize=8700 CPUtime=0
/proc/23924/stat : 23924 (run) S 23922 23924 23098 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146844966 8908800 249 4089446400 4194304 4922060 140734851068992 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23924/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100644 s]
/proc/loadavg: 5.41 7.29 4.29 3/179 23924
/proc/meminfo: memFree=30794696/32950928 swapFree=67111528/67111528
[pid=23924] ppid=23922 vsize=8700 CPUtime=0
/proc/23924/stat : 23924 (run) S 23922 23924 23098 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146844966 8908800 249 4089446400 4194304 4922060 140734851068992 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23924/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300604 s]
/proc/loadavg: 5.41 7.29 4.29 3/179 23924
/proc/meminfo: memFree=30794696/32950928 swapFree=67111528/67111528
[pid=23924] ppid=23922 vsize=8700 CPUtime=0
/proc/23924/stat : 23924 (run) S 23922 23924 23098 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146844966 8908800 249 4089446400 4194304 4922060 140734851068992 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23924/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700584 s]
/proc/loadavg: 5.41 7.29 4.29 3/179 23924
/proc/meminfo: memFree=30794696/32950928 swapFree=67111528/67111528
[pid=23924] ppid=23922 vsize=8700 CPUtime=0
/proc/23924/stat : 23924 (run) S 23922 23924 23098 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146844966 8908800 249 4089446400 4194304 4922060 140734851068992 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23924/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50044 s]
/proc/loadavg: 5.13 7.20 4.28 3/181 23926
/proc/meminfo: memFree=30792820/32950928 swapFree=67111528/67111528
[pid=23924] ppid=23922 vsize=8700 CPUtime=0
/proc/23924/stat : 23924 (run) S 23922 23924 23098 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146844966 8908800 249 4089446400 4194304 4922060 140734851068992 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23924/statm: 2175 249 208 178 0 68 0
[pid=23925] ppid=23924 vsize=14012 CPUtime=1.49
/proc/23925/stat : 23925 (pb_cplex) R 23924 23924 23098 0 -1 4202496 712 0 0 0 149 0 0 0 25 0 1 0 146844967 14348288 665 4089446400 134512640 146736320 4290567072 18446744073709551615 140528780 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/23925/statm: 3503 665 309 2985 0 413 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22712

[startup+3.1011 s]
/proc/loadavg: 5.13 7.20 4.28 4/188 23940
/proc/meminfo: memFree=30751968/32950928 swapFree=67111528/67111528
[pid=23924] ppid=23922 vsize=8700 CPUtime=0
/proc/23924/stat : 23924 (run) S 23922 23924 23098 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146844966 8908800 249 4089446400 4194304 4922060 140734851068992 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23924/statm: 2175 249 208 178 0 68 0
[pid=23925] ppid=23924 vsize=99880 CPUtime=5.99
/proc/23925/stat : 23925 (pb_cplex) R 23924 23924 23098 0 -1 4202496 23449 0 0 0 592 7 0 0 16 0 1 0 146844967 102277120 10305 4089446400 134512640 146736320 4290567072 18446744073709551615 137707895 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/23925/statm: 24970 10305 1078 2985 0 21512 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 108580

[startup+6.30044 s]
/proc/loadavg: 5.13 7.20 4.28 10/188 23961
/proc/meminfo: memFree=30740572/32950928 swapFree=67111528/67111528
[pid=23924] ppid=23922 vsize=8700 CPUtime=0
/proc/23924/stat : 23924 (run) S 23922 23924 23098 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146844966 8908800 249 4089446400 4194304 4922060 140734851068992 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23924/statm: 2175 249 208 178 0 68 0
[pid=23925] ppid=23924 vsize=146900 CPUtime=16.89
/proc/23925/stat : 23925 (pb_cplex) R 23924 23924 23098 0 -1 4202496 46139 0 0 0 1673 16 0 0 17 0 8 0 146844967 150425600 14351 4089446400 134512640 146736320 4290567072 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/23925/statm: 36725 14351 1079 2985 0 33267 0
[pid=23925/tid=23955] ppid=23924 vsize=146900 CPUtime=0.98
/proc/23925/task/23955/stat : 23955 (pb_cplex) S 23924 23924 23098 0 -1 4202560 1246 0 0 0 97 1 0 0 16 0 8 0 146845339 150425600 14351 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 6 0 0 0
[pid=23925/tid=23956] ppid=23924 vsize=146900 CPUtime=1.39
/proc/23925/task/23956/stat : 23956 (pb_cplex) R 23924 23924 23098 0 -1 4202560 443 0 0 0 139 0 0 0 16 0 8 0 146845339 150425600 14351 4089446400 134512640 146736320 4290567072 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0
[pid=23925/tid=23957] ppid=23924 vsize=146900 CPUtime=1.26
/proc/23925/task/23957/stat : 23957 (pb_cplex) S 23924 23924 23098 0 -1 4202560 2055 0 0 0 125 1 0 0 15 0 8 0 146845339 150425600 14351 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 2 0 0 0
[pid=23925/tid=23958] ppid=23924 vsize=146900 CPUtime=1.14
/proc/23925/task/23958/stat : 23958 (pb_cplex) S 23924 23924 23098 0 -1 4202560 1664 0 0 0 114 0 0 0 16 0 8 0 146845339 150425600 14351 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 4 0 0 0
[pid=23925/tid=23959] ppid=23924 vsize=146900 CPUtime=1.34
/proc/23925/task/23959/stat : 23959 (pb_cplex) S 23924 23924 23098 0 -1 4202560 2103 0 0 0 134 0 0 0 15 0 8 0 146845339 150425600 14351 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 0 0 0 0
[pid=23925/tid=23960] ppid=23924 vsize=146900 CPUtime=1.04
/proc/23925/task/23960/stat : 23960 (pb_cplex) S 23924 23924 23098 0 -1 4202560 1571 0 0 0 103 1 0 0 15 0 8 0 146845339 150425600 14351 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 3 0 0 0
[pid=23925/tid=23961] ppid=23924 vsize=146900 CPUtime=1.31
/proc/23925/task/23961/stat : 23961 (pb_cplex) S 23924 23924 23098 0 -1 4202560 619 0 0 0 131 0 0 0 16 0 8 0 146845339 150425600 14351 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 16.89
Current children cumulated vsize (KiB) 155600

[startup+12.7011 s]
/proc/loadavg: 4.97 7.09 4.28 10/188 23962
/proc/meminfo: memFree=30735892/32950928 swapFree=67111528/67111528
[pid=23924] ppid=23922 vsize=8700 CPUtime=0
/proc/23924/stat : 23924 (run) S 23922 23924 23098 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146844966 8908800 249 4089446400 4194304 4922060 140734851068992 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23924/statm: 2175 249 208 178 0 68 0
[pid=23925] ppid=23924 vsize=147924 CPUtime=44.86
/proc/23925/stat : 23925 (pb_cplex) R 23924 23924 23098 0 -1 4202496 50476 0 0 0 4443 43 0 0 17 0 8 0 146844967 151474176 14550 4089446400 134512640 146736320 4290567072 18446744073709551615 136384857 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/23925/statm: 36981 14550 1079 2985 0 33523 0
[pid=23925/tid=23955] ppid=23924 vsize=147924 CPUtime=4.5
/proc/23925/task/23955/stat : 23955 (pb_cplex) R 23924 23924 23098 0 -1 4202560 1598 0 0 0 446 4 0 0 15 0 8 0 146845339 151474176 14550 4089446400 134512640 146736320 4290567072 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 6 0 0 0
[pid=23925/tid=23956] ppid=23924 vsize=147924 CPUtime=4.76
/proc/23925/task/23956/stat : 23956 (pb_cplex) R 23924 23924 23098 0 -1 4202560 806 0 0 0 472 4 0 0 16 0 8 0 146845339 151474176 14550 4089446400 134512640 146736320 4290567072 18446744073709551615 139042974 0 2 4096 16387 0 0 0 -1 4 0 0 0
[pid=23925/tid=23957] ppid=23924 vsize=147924 CPUtime=4.7
/proc/23925/task/23957/stat : 23957 (pb_cplex) R 23924 23924 23098 0 -1 4202560 3367 0 0 0 467 3 0 0 15 0 8 0 146845339 151474176 14550 4089446400 134512640 146736320 4290567072 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0
[pid=23925/tid=23958] ppid=23924 vsize=147924 CPUtime=4.6
/proc/23925/task/23958/stat : 23958 (pb_cplex) R 23924 23924 23098 0 -1 4202560 1775 0 0 0 457 3 0 0 15 0 8 0 146845339 151474176 14550 4089446400 134512640 146736320 4290567072 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0
[pid=23925/tid=23959] ppid=23924 vsize=147924 CPUtime=4.82
/proc/23925/task/23959/stat : 23959 (pb_cplex) R 23924 23924 23098 0 -1 4202560 3123 0 0 0 478 4 0 0 16 0 8 0 146845339 151474176 14550 4089446400 134512640 146736320 4290567072 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0
[pid=23925/tid=23960] ppid=23924 vsize=147924 CPUtime=4.52
/proc/23925/task/23960/stat : 23960 (pb_cplex) R 23924 23924 23098 0 -1 4202560 2635 0 0 0 447 5 0 0 15 0 8 0 146845339 151474176 14550 4089446400 134512640 146736320 4290567072 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0
[pid=23925/tid=23961] ppid=23924 vsize=147924 CPUtime=4.83
/proc/23925/task/23961/stat : 23961 (pb_cplex) R 23924 23924 23098 0 -1 4202560 678 0 0 0 479 4 0 0 15 0 8 0 146845339 151474176 14550 4089446400 134512640 146736320 4290567072 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 44.86
Current children cumulated vsize (KiB) 156624

[startup+25.5005 s]
/proc/loadavg: 5.74 7.19 4.34 6/188 23963
/proc/meminfo: memFree=30716796/32950928 swapFree=67111528/67111528
[pid=23924] ppid=23922 vsize=8700 CPUtime=0
/proc/23924/stat : 23924 (run) S 23922 23924 23098 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146844966 8908800 249 4089446400 4194304 4922060 140734851068992 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23924/statm: 2175 249 208 178 0 68 0
[pid=23925] ppid=23924 vsize=163004 CPUtime=119.49
/proc/23925/stat : 23925 (pb_cplex) R 23924 23924 23098 0 -1 4202496 85972 0 0 0 11852 97 0 0 22 0 8 0 146844967 166916096 18130 4089446400 134512640 146736320 4290567072 18446744073709551615 137707891 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23925/statm: 40751 18130 1091 2985 0 37293 0
[pid=23925/tid=23955] ppid=23924 vsize=163004 CPUtime=15.51
/proc/23925/task/23955/stat : 23955 (pb_cplex) R 23924 23924 23098 0 -1 4202560 5260 0 0 0 1540 11 0 0 22 0 8 0 146845339 166916096 18130 4089446400 134512640 146736320 4290567072 18446744073709551615 136004865 0 2 4096 16387 0 0 0 -1 7 0 0 0
[pid=23925/tid=23956] ppid=23924 vsize=163004 CPUtime=11.64
/proc/23925/task/23956/stat : 23956 (pb_cplex) S 23924 23924 23098 0 -1 4202560 6521 0 0 0 1154 10 0 0 21 0 8 0 146845339 166916096 18130 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 2 0 0 0
[pid=23925/tid=23957] ppid=23924 vsize=163004 CPUtime=11.19
/proc/23925/task/23957/stat : 23957 (pb_cplex) S 23924 23924 23098 0 -1 4202560 5802 0 0 0 1108 11 0 0 20 0 8 0 146845339 166916096 18130 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 6 0 0 0
[pid=23925/tid=23958] ppid=23924 vsize=163004 CPUtime=14.16
/proc/23925/task/23958/stat : 23958 (pb_cplex) S 23924 23924 23098 0 -1 4202560 5613 0 0 0 1408 8 0 0 25 0 8 0 146845339 166916096 18130 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 0 0 0 0
[pid=23925/tid=23959] ppid=23924 vsize=163004 CPUtime=15.84
/proc/23925/task/23959/stat : 23959 (pb_cplex) R 23924 23924 23098 0 -1 4202560 9649 0 0 0 1573 11 0 0 23 0 8 0 146845339 166916096 18130 4089446400 134512640 146736320 4290567072 18446744073709551615 136008256 0 2 4096 16387 0 0 0 -1 4 0 0 0
[pid=23925/tid=23960] ppid=23924 vsize=163004 CPUtime=12.31
/proc/23925/task/23960/stat : 23960 (pb_cplex) S 23924 23924 23098 0 -1 4202560 5032 0 0 0 1221 10 0 0 18 0 8 0 146845339 166916096 18130 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 3 0 0 0
[pid=23925/tid=23961] ppid=23924 vsize=163004 CPUtime=15.78
/proc/23925/task/23961/stat : 23961 (pb_cplex) S 23924 23924 23098 0 -1 4202560 6399 0 0 0 1566 12 0 0 25 0 8 0 146845339 166916096 18130 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 119.49
Current children cumulated vsize (KiB) 171704

[startup+51.1344 s]
/proc/loadavg: 6.16 7.16 4.40 9/188 23984
/proc/meminfo: memFree=30731280/32950928 swapFree=67111528/67111528
[pid=23924] ppid=23922 vsize=8700 CPUtime=0
/proc/23924/stat : 23924 (run) S 23922 23924 23098 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146844966 8908800 249 4089446400 4194304 4922060 140734851068992 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23924/statm: 2175 249 208 178 0 68 0
[pid=23925] ppid=23924 vsize=146984 CPUtime=227.36
/proc/23925/stat : 23925 (pb_cplex) R 23924 23924 23098 0 -1 4202496 123859 0 0 0 22564 172 0 0 15 0 8 0 146844967 150511616 14834 4089446400 134512640 146736320 4290567072 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/23925/statm: 36746 14834 1092 2985 0 33288 0
[pid=23925/tid=23978] ppid=23924 vsize=146984 CPUtime=12.48
/proc/23925/task/23978/stat : 23978 (pb_cplex) R 23924 23924 23098 0 -1 4202560 2037 0 0 0 1240 8 0 0 15 0 8 0 146847796 150511616 14834 4089446400 134512640 146736320 4290567072 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0
[pid=23925/tid=23979] ppid=23924 vsize=146984 CPUtime=13.01
/proc/23925/task/23979/stat : 23979 (pb_cplex) S 23924 23924 23098 0 -1 4202560 4029 0 0 0 1292 9 0 0 16 0 8 0 146847796 150511616 14834 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 3 0 0 0
[pid=23925/tid=23980] ppid=23924 vsize=146984 CPUtime=12.96
/proc/23925/task/23980/stat : 23980 (pb_cplex) R 23924 23924 23098 0 -1 4202560 5653 0 0 0 1290 6 0 0 16 0 8 0 146847796 150511616 14834 4089446400 134512640 146736320 4290567072 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0
[pid=23925/tid=23981] ppid=23924 vsize=146984 CPUtime=13.04
/proc/23925/task/23981/stat : 23981 (pb_cplex) R 23924 23924 23098 0 -1 4202560 3063 0 0 0 1297 7 0 0 16 0 8 0 146847796 150511616 14834 4089446400 134512640 146736320 4290567072 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0
[pid=23925/tid=23982] ppid=23924 vsize=146984 CPUtime=13.14
/proc/23925/task/23982/stat : 23982 (pb_cplex) R 23924 23924 23098 0 -1 4202560 5294 0 0 0 1305 9 0 0 15 0 8 0 146847796 150511616 14834 4089446400 134512640 146736320 4290567072 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 6 0 0 0
[pid=23925/tid=23983] ppid=23924 vsize=146984 CPUtime=12.2
/proc/23925/task/23983/stat : 23983 (pb_cplex) R 23924 23924 23098 0 -1 4202560 9772 0 0 0 1211 9 0 0 15 0 8 0 146847796 150511616 14834 4089446400 134512640 146736320 4290567072 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0
[pid=23925/tid=23984] ppid=23924 vsize=146984 CPUtime=12.06
/proc/23925/task/23984/stat : 23984 (pb_cplex) R 23924 23924 23098 0 -1 4202560 451 0 0 0 1198 8 0 0 16 0 8 0 146847796 150511616 14834 4089446400 134512640 146736320 4290567072 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 227.36
Current children cumulated vsize (KiB) 155684

[startup+102.301 s]
/proc/loadavg: 6.69 7.11 4.54 3/188 23986
/proc/meminfo: memFree=30672452/32950928 swapFree=67111528/67111528
[pid=23924] ppid=23922 vsize=8700 CPUtime=0
/proc/23924/stat : 23924 (run) S 23922 23924 23098 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146844966 8908800 249 4089446400 4194304 4922060 140734851068992 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23924/statm: 2175 249 208 178 0 68 0
[pid=23925] ppid=23924 vsize=151080 CPUtime=494.06
/proc/23925/stat : 23925 (pb_cplex) S 23924 23924 23098 0 -1 4202496 132058 0 0 0 49034 372 0 0 15 0 8 0 146844967 154705920 15819 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/23925/statm: 37770 15819 1092 2985 0 34312 0
[pid=23925/tid=23978] ppid=23924 vsize=151080 CPUtime=45.88
/proc/23925/task/23978/stat : 23978 (pb_cplex) S 23924 23924 23098 0 -1 4202560 2589 0 0 0 4555 33 0 0 15 0 8 0 146847796 154705920 15819 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 1 0 0 0
[pid=23925/tid=23979] ppid=23924 vsize=151080 CPUtime=46.17
/proc/23925/task/23979/stat : 23979 (pb_cplex) S 23924 23924 23098 0 -1 4202560 5929 0 0 0 4583 34 0 0 16 0 8 0 146847796 154705920 15819 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 5 0 0 0
[pid=23925/tid=23980] ppid=23924 vsize=151080 CPUtime=46.39
/proc/23925/task/23980/stat : 23980 (pb_cplex) S 23924 23924 23098 0 -1 4202560 7756 0 0 0 4605 34 0 0 15 0 8 0 146847796 154705920 15819 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 3 0 0 0
[pid=23925/tid=23981] ppid=23924 vsize=151080 CPUtime=46.52
/proc/23925/task/23981/stat : 23981 (pb_cplex) S 23924 23924 23098 0 -1 4202560 3717 0 0 0 4619 33 0 0 16 0 8 0 146847796 154705920 15819 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 4 0 0 0

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

[pid=23925/tid=23979] ppid=23924 vsize=148008 CPUtime=53.55
/proc/23925/task/23979/stat : 23979 (pb_cplex) R 23924 23924 23098 0 -1 4202560 6058 0 0 0 5315 40 0 0 16 0 8 0 146847796 151560192 15137 4089446400 134512640 146736320 4290567072 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0
[pid=23925/tid=23980] ppid=23924 vsize=148008 CPUtime=53.73
/proc/23925/task/23980/stat : 23980 (pb_cplex) R 23924 23924 23098 0 -1 4202560 7779 0 0 0 5332 41 0 0 16 0 8 0 146847796 151560192 15137 4089446400 134512640 146736320 4290567072 18446744073709551615 136387518 0 2 4096 16387 0 0 0 -1 1 0 0 0
[pid=23925/tid=23981] ppid=23924 vsize=148008 CPUtime=53.95
/proc/23925/task/23981/stat : 23981 (pb_cplex) R 23924 23924 23098 0 -1 4202560 3721 0 0 0 5355 40 0 0 16 0 8 0 146847796 151560192 15137 4089446400 134512640 146736320 4290567072 18446744073709551615 135450735 0 2 4096 16387 0 0 0 -1 3 0 0 0
[pid=23925/tid=23982] ppid=23924 vsize=148008 CPUtime=53.87
/proc/23925/task/23982/stat : 23982 (pb_cplex) R 23924 23924 23098 0 -1 4202560 5863 0 0 0 5346 41 0 0 15 0 8 0 146847796 151560192 15137 4089446400 134512640 146736320 4290567072 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 7 0 0 0
[pid=23925/tid=23983] ppid=23924 vsize=148008 CPUtime=52.93
/proc/23925/task/23983/stat : 23983 (pb_cplex) R 23924 23924 23098 0 -1 4202560 11266 0 0 0 5254 39 0 0 15 0 8 0 146847796 151560192 15137 4089446400 134512640 146736320 4290567072 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0
[pid=23925/tid=23984] ppid=23924 vsize=148008 CPUtime=52.65
/proc/23925/task/23984/stat : 23984 (pb_cplex) R 23924 23924 23098 0 -1 4202560 1322 0 0 0 5228 37 0 0 16 0 8 0 146847796 151560192 15137 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 553.26
Current children cumulated vsize (KiB) 156708

[startup+118.401 s]
/proc/loadavg: 7.36 7.23 4.62 3/188 23986
/proc/meminfo: memFree=30673048/32950928 swapFree=67111528/67111528
[pid=23924] ppid=23922 vsize=8700 CPUtime=0
/proc/23924/stat : 23924 (run) S 23922 23924 23098 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146844966 8908800 249 4089446400 4194304 4922060 140734851068992 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23924/statm: 2175 249 208 178 0 68 0
[pid=23925] ppid=23924 vsize=148008 CPUtime=568.36
/proc/23925/stat : 23925 (pb_cplex) S 23924 23924 23098 0 -1 4202496 134643 0 0 0 56395 441 0 0 15 0 8 0 146844967 151560192 15149 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23925/statm: 37002 15149 1092 2985 0 33544 0
[pid=23925/tid=23978] ppid=23924 vsize=148008 CPUtime=55.22
/proc/23925/task/23978/stat : 23978 (pb_cplex) S 23924 23924 23098 0 -1 4202560 2774 0 0 0 5480 42 0 0 15 0 8 0 146847796 151560192 15149 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 1 0 0 0
[pid=23925/tid=23979] ppid=23924 vsize=148008 CPUtime=55.4
/proc/23925/task/23979/stat : 23979 (pb_cplex) S 23924 23924 23098 0 -1 4202560 6058 0 0 0 5499 41 0 0 15 0 8 0 146847796 151560192 15149 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 5 0 0 0
[pid=23925/tid=23980] ppid=23924 vsize=148008 CPUtime=55.59
/proc/23925/task/23980/stat : 23980 (pb_cplex) S 23924 23924 23098 0 -1 4202560 7779 0 0 0 5517 42 0 0 15 0 8 0 146847796 151560192 15149 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 2 0 0 0
[pid=23925/tid=23981] ppid=23924 vsize=148008 CPUtime=55.83
/proc/23925/task/23981/stat : 23981 (pb_cplex) S 23924 23924 23098 0 -1 4202560 3994 0 0 0 5540 43 0 0 15 0 8 0 146847796 151560192 15149 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 1 0 0 0
[pid=23925/tid=23982] ppid=23924 vsize=148008 CPUtime=55.77
/proc/23925/task/23982/stat : 23982 (pb_cplex) S 23924 23924 23098 0 -1 4202560 6039 0 0 0 5535 42 0 0 15 0 8 0 146847796 151560192 15149 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 0 0 0 0
[pid=23925/tid=23983] ppid=23924 vsize=148008 CPUtime=54.8
/proc/23925/task/23983/stat : 23983 (pb_cplex) S 23924 23924 23098 0 -1 4202560 11357 0 0 0 5439 41 0 0 15 0 8 0 146847796 151560192 15149 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 4 0 0 0
[pid=23925/tid=23984] ppid=23924 vsize=148008 CPUtime=54.55
/proc/23925/task/23984/stat : 23984 (pb_cplex) R 23924 23924 23098 0 -1 4202560 1323 0 0 0 5416 39 0 0 15 0 8 0 146847796 151560192 15149 4089446400 134512640 146736320 4290567072 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 568.36
Current children cumulated vsize (KiB) 156708

[startup+121.638 s]
/proc/loadavg: 7.49 7.26 4.64 3/188 23986
/proc/meminfo: memFree=30675020/32950928 swapFree=67111528/67111528
[pid=23924] ppid=23922 vsize=8700 CPUtime=0
/proc/23924/stat : 23924 (run) S 23922 23924 23098 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146844966 8908800 249 4089446400 4194304 4922060 140734851068992 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23924/statm: 2175 249 208 178 0 68 0
[pid=23925] ppid=23924 vsize=146984 CPUtime=581.79
/proc/23925/stat : 23925 (pb_cplex) R 23924 23924 23098 0 -1 4202496 135682 0 0 0 57727 452 0 0 16 0 8 0 146844967 150511616 14897 4089446400 134512640 146736320 4290567072 18446744073709551615 138462747 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23925/statm: 36746 14897 1092 2985 0 33288 0
[pid=23925/tid=23978] ppid=23924 vsize=146984 CPUtime=56.85
/proc/23925/task/23978/stat : 23978 (pb_cplex) S 23924 23924 23098 0 -1 4202560 2774 0 0 0 5642 43 0 0 15 0 8 0 146847796 150511616 14897 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 7 0 0 0
[pid=23925/tid=23979] ppid=23924 vsize=146984 CPUtime=57.08
/proc/23925/task/23979/stat : 23979 (pb_cplex) R 23924 23924 23098 0 -1 4202560 6058 0 0 0 5666 42 0 0 15 0 8 0 146847796 150511616 14897 4089446400 134512640 146736320 4290567072 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0
[pid=23925/tid=23980] ppid=23924 vsize=146984 CPUtime=57.29
/proc/23925/task/23980/stat : 23980 (pb_cplex) R 23924 23924 23098 0 -1 4202560 8496 0 0 0 5685 44 0 0 15 0 8 0 146847796 150511616 14897 4089446400 134512640 146736320 4290567072 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0
[pid=23925/tid=23981] ppid=23924 vsize=146984 CPUtime=57.52
/proc/23925/task/23981/stat : 23981 (pb_cplex) R 23924 23924 23098 0 -1 4202560 3996 0 0 0 5707 45 0 0 15 0 8 0 146847796 150511616 14897 4089446400 134512640 146736320 4290567072 18446744073709551615 137341988 0 2 4096 16387 0 0 0 -1 3 0 0 0
[pid=23925/tid=23982] ppid=23924 vsize=146984 CPUtime=57.51
/proc/23925/task/23982/stat : 23982 (pb_cplex) R 23924 23924 23098 0 -1 4202560 6040 0 0 0 5707 44 0 0 16 0 8 0 146847796 150511616 14897 4089446400 134512640 146736320 4290567072 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0
[pid=23925/tid=23983] ppid=23924 vsize=146984 CPUtime=56.38
/proc/23925/task/23983/stat : 23983 (pb_cplex) R 23924 23924 23098 0 -1 4202560 11561 0 0 0 5596 42 0 0 15 0 8 0 146847796 150511616 14897 4089446400 134512640 146736320 4290567072 18446744073709551615 135846510 0 2 4096 16387 0 0 0 -1 5 0 0 0
[pid=23925/tid=23984] ppid=23924 vsize=146984 CPUtime=56.24
/proc/23925/task/23984/stat : 23984 (pb_cplex) R 23924 23924 23098 0 -1 4202560 1436 0 0 0 5585 39 0 0 15 0 8 0 146847796 150511616 14897 4089446400 134512640 146736320 4290567072 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 581.79
Current children cumulated vsize (KiB) 155684

[startup+122.409 s]
/proc/loadavg: 7.49 7.26 4.64 8/188 23986
/proc/meminfo: memFree=30674524/32950928 swapFree=67111528/67111528
[pid=23924] ppid=23922 vsize=8700 CPUtime=0
/proc/23924/stat : 23924 (run) S 23922 23924 23098 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146844966 8908800 249 4089446400 4194304 4922060 140734851068992 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23924/statm: 2175 249 208 178 0 68 0
[pid=23925] ppid=23924 vsize=146984 CPUtime=585.14
/proc/23925/stat : 23925 (pb_cplex) R 23924 23924 23098 0 -1 4202496 136209 0 0 0 58059 455 0 0 15 0 8 0 146844967 150511616 14896 4089446400 134512640 146736320 4290567072 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23925/statm: 36746 14896 1092 2985 0 33288 0
[pid=23925/tid=23978] ppid=23924 vsize=146984 CPUtime=57.2
/proc/23925/task/23978/stat : 23978 (pb_cplex) R 23924 23924 23098 0 -1 4202560 2774 0 0 0 5676 44 0 0 16 0 8 0 146847796 150511616 14896 4089446400 134512640 146736320 4290567072 18446744073709551615 136004905 0 2 4096 16387 0 0 0 -1 3 0 0 0
[pid=23925/tid=23979] ppid=23924 vsize=146984 CPUtime=57.52
/proc/23925/task/23979/stat : 23979 (pb_cplex) S 23924 23924 23098 0 -1 4202560 6058 0 0 0 5709 43 0 0 15 0 8 0 146847796 150511616 14896 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 7 0 0 0
[pid=23925/tid=23980] ppid=23924 vsize=146984 CPUtime=57.73
/proc/23925/task/23980/stat : 23980 (pb_cplex) R 23924 23924 23098 0 -1 4202560 8619 0 0 0 5728 45 0 0 15 0 8 0 146847796 150511616 14896 4089446400 134512640 146736320 4290567072 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0
[pid=23925/tid=23981] ppid=23924 vsize=146984 CPUtime=57.94
/proc/23925/task/23981/stat : 23981 (pb_cplex) S 23924 23924 23098 0 -1 4202560 3996 0 0 0 5749 45 0 0 15 0 8 0 146847796 150511616 14896 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 3 0 0 0
[pid=23925/tid=23982] ppid=23924 vsize=146984 CPUtime=57.94
/proc/23925/task/23982/stat : 23982 (pb_cplex) R 23924 23924 23098 0 -1 4202560 6040 0 0 0 5749 45 0 0 15 0 8 0 146847796 150511616 14896 4089446400 134512640 146736320 4290567072 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0
[pid=23925/tid=23983] ppid=23924 vsize=146984 CPUtime=56.77
/proc/23925/task/23983/stat : 23983 (pb_cplex) R 23924 23924 23098 0 -1 4202560 11561 0 0 0 5635 42 0 0 15 0 8 0 146847796 150511616 14896 4089446400 134512640 146736320 4290567072 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0
[pid=23925/tid=23984] ppid=23924 vsize=146984 CPUtime=56.74
/proc/23925/task/23984/stat : 23984 (pb_cplex) R 23924 23924 23098 0 -1 4202560 1840 0 0 0 5634 40 0 0 16 0 8 0 146847796 150511616 14896 4089446400 134512640 146736320 4290567072 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 585.14
Current children cumulated vsize (KiB) 155684

[startup+123.223 s]
/proc/loadavg: 7.49 7.26 4.64 10/188 23986
/proc/meminfo: memFree=30667236/32950928 swapFree=67111528/67111528
[pid=23924] ppid=23922 vsize=8700 CPUtime=0
/proc/23924/stat : 23924 (run) S 23922 23924 23098 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146844966 8908800 249 4089446400 4194304 4922060 140734851068992 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23924/statm: 2175 249 208 178 0 68 0
[pid=23925] ppid=23924 vsize=145960 CPUtime=588.57
/proc/23925/stat : 23925 (pb_cplex) S 23924 23924 23098 0 -1 4202496 136211 0 0 0 58399 458 0 0 15 0 8 0 146844967 149463040 14609 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23925/statm: 36490 14609 1092 2985 0 33032 0
[pid=23925/tid=23978] ppid=23924 vsize=145960 CPUtime=57.6
/proc/23925/task/23978/stat : 23978 (pb_cplex) R 23924 23924 23098 0 -1 4202560 2774 0 0 0 5716 44 0 0 16 0 8 0 146847796 149463040 14609 4089446400 134512640 146736320 4290567072 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0
[pid=23925/tid=23979] ppid=23924 vsize=145960 CPUtime=57.94
/proc/23925/task/23979/stat : 23979 (pb_cplex) S 23924 23924 23098 0 -1 4202560 6058 0 0 0 5751 43 0 0 15 0 8 0 146847796 149463040 14609 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 7 0 0 0
[pid=23925/tid=23980] ppid=23924 vsize=145960 CPUtime=58.16
/proc/23925/task/23980/stat : 23980 (pb_cplex) S 23924 23924 23098 0 -1 4202560 8620 0 0 0 5771 45 0 0 15 0 8 0 146847796 149463040 14609 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 4 0 0 0
[pid=23925/tid=23981] ppid=23924 vsize=145960 CPUtime=58.37
/proc/23925/task/23981/stat : 23981 (pb_cplex) S 23924 23924 23098 0 -1 4202560 3996 0 0 0 5791 46 0 0 15 0 8 0 146847796 149463040 14609 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 3 0 0 0
[pid=23925/tid=23982] ppid=23924 vsize=145960 CPUtime=58.38
/proc/23925/task/23982/stat : 23982 (pb_cplex) S 23924 23924 23098 0 -1 4202560 6040 0 0 0 5793 45 0 0 15 0 8 0 146847796 149463040 14609 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 2 0 0 0
[pid=23925/tid=23983] ppid=23924 vsize=145960 CPUtime=57.2
/proc/23925/task/23983/stat : 23983 (pb_cplex) R 23924 23924 23098 0 -1 4202560 11562 0 0 0 5677 43 0 0 15 0 8 0 146847796 149463040 14609 4089446400 134512640 146736320 4290567072 18446744073709551615 136403112 0 2 4096 16387 0 0 0 -1 5 0 0 0
[pid=23925/tid=23984] ppid=23924 vsize=145960 CPUtime=57.17
/proc/23925/task/23984/stat : 23984 (pb_cplex) R 23924 23924 23098 0 -1 4202560 1840 0 0 0 5677 40 0 0 16 0 8 0 146847796 149463040 14609 4089446400 134512640 146736320 4290567072 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 588.57
Current children cumulated vsize (KiB) 154660

[startup+123.601 s]
/proc/loadavg: 7.49 7.26 4.64 10/188 23986
/proc/meminfo: memFree=30667236/32950928 swapFree=67111528/67111528
[pid=23924] ppid=23922 vsize=8700 CPUtime=0
/proc/23924/stat : 23924 (run) S 23922 23924 23098 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146844966 8908800 249 4089446400 4194304 4922060 140734851068992 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23924/statm: 2175 249 208 178 0 68 0
[pid=23925] ppid=23924 vsize=145960 CPUtime=590.08
/proc/23925/stat : 23925 (pb_cplex) S 23924 23924 23098 0 -1 4202496 136212 0 0 0 58548 460 0 0 16 0 8 0 146844967 149463040 14609 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23925/statm: 36490 14609 1092 2985 0 33032 0
[pid=23925/tid=23978] ppid=23924 vsize=145960 CPUtime=57.85
/proc/23925/task/23978/stat : 23978 (pb_cplex) S 23924 23924 23098 0 -1 4202560 2774 0 0 0 5741 44 0 0 16 0 8 0 146847796 149463040 14609 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 2 0 0 0
[pid=23925/tid=23979] ppid=23924 vsize=145960 CPUtime=58.12
/proc/23925/task/23979/stat : 23979 (pb_cplex) S 23924 23924 23098 0 -1 4202560 6058 0 0 0 5769 43 0 0 15 0 8 0 146847796 149463040 14609 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 7 0 0 0
[pid=23925/tid=23980] ppid=23924 vsize=145960 CPUtime=58.35
/proc/23925/task/23980/stat : 23980 (pb_cplex) S 23924 23924 23098 0 -1 4202560 8620 0 0 0 5789 46 0 0 15 0 8 0 146847796 149463040 14609 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 0 0 0 0
[pid=23925/tid=23981] ppid=23924 vsize=145960 CPUtime=58.54
/proc/23925/task/23981/stat : 23981 (pb_cplex) S 23924 23924 23098 0 -1 4202560 3996 0 0 0 5808 46 0 0 16 0 8 0 146847796 149463040 14609 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 3 0 0 0
[pid=23925/tid=23982] ppid=23924 vsize=145960 CPUtime=58.55
/proc/23925/task/23982/stat : 23982 (pb_cplex) S 23924 23924 23098 0 -1 4202560 6040 0 0 0 5810 45 0 0 15 0 8 0 146847796 149463040 14609 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 2 0 0 0
[pid=23925/tid=23983] ppid=23924 vsize=145960 CPUtime=57.38
/proc/23925/task/23983/stat : 23983 (pb_cplex) S 23924 23924 23098 0 -1 4202560 11562 0 0 0 5695 43 0 0 15 0 8 0 146847796 149463040 14609 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 4 0 0 0
[pid=23925/tid=23984] ppid=23924 vsize=145960 CPUtime=57.36
/proc/23925/task/23984/stat : 23984 (pb_cplex) R 23924 23924 23098 0 -1 4202560 1841 0 0 0 5696 40 0 0 15 0 8 0 146847796 149463040 14609 4089446400 134512640 146736320 4290567072 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 590.08
Current children cumulated vsize (KiB) 154660

[startup+123.703 s]
/proc/loadavg: 7.49 7.26 4.64 10/188 23986
/proc/meminfo: memFree=30667236/32950928 swapFree=67111528/67111528
[pid=23924] ppid=23922 vsize=8700 CPUtime=0
/proc/23924/stat : 23924 (run) S 23922 23924 23098 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146844966 8908800 249 4089446400 4194304 4922060 140734851068992 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23924/statm: 2175 249 208 178 0 68 0
[pid=23925] ppid=23924 vsize=145960 CPUtime=590.45
/proc/23925/stat : 23925 (pb_cplex) R 23924 23924 23098 0 -1 4202496 136213 0 0 0 58585 460 0 0 15 0 8 0 146844967 149463040 14609 4089446400 134512640 146736320 4290567072 18446744073709551615 136019067 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23925/statm: 36490 14609 1092 2985 0 33032 0
[pid=23925/tid=23978] ppid=23924 vsize=145960 CPUtime=57.88
/proc/23925/task/23978/stat : 23978 (pb_cplex) S 23924 23924 23098 0 -1 4202560 2774 0 0 0 5744 44 0 0 15 0 8 0 146847796 149463040 14609 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 2 0 0 0
[pid=23925/tid=23979] ppid=23924 vsize=145960 CPUtime=58.19
/proc/23925/task/23979/stat : 23979 (pb_cplex) R 23924 23924 23098 0 -1 4202560 6058 0 0 0 5776 43 0 0 16 0 8 0 146847796 149463040 14609 4089446400 134512640 146736320 4290567072 18446744073709551615 137461852 0 2 4096 16387 0 0 0 -1 7 0 0 0
[pid=23925/tid=23980] ppid=23924 vsize=145960 CPUtime=58.42
/proc/23925/task/23980/stat : 23980 (pb_cplex) R 23924 23924 23098 0 -1 4202560 8620 0 0 0 5796 46 0 0 15 0 8 0 146847796 149463040 14609 4089446400 134512640 146736320 4290567072 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0
[pid=23925/tid=23981] ppid=23924 vsize=145960 CPUtime=58.55
/proc/23925/task/23981/stat : 23981 (pb_cplex) S 23924 23924 23098 0 -1 4202560 3996 0 0 0 5809 46 0 0 16 0 8 0 146847796 149463040 14609 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 3 0 0 0
[pid=23925/tid=23982] ppid=23924 vsize=145960 CPUtime=58.58
/proc/23925/task/23982/stat : 23982 (pb_cplex) S 23924 23924 23098 0 -1 4202560 6040 0 0 0 5813 45 0 0 15 0 8 0 146847796 149463040 14609 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 5 0 0 0
[pid=23925/tid=23983] ppid=23924 vsize=145960 CPUtime=57.43
/proc/23925/task/23983/stat : 23983 (pb_cplex) R 23924 23924 23098 0 -1 4202560 11562 0 0 0 5700 43 0 0 15 0 8 0 146847796 149463040 14609 4089446400 134512640 146736320 4290567072 18446744073709551615 135854505 0 2 4096 16387 0 0 0 -1 1 0 0 0
[pid=23925/tid=23984] ppid=23924 vsize=145960 CPUtime=57.39
/proc/23925/task/23984/stat : 23984 (pb_cplex) S 23924 23924 23098 0 -1 4202560 1841 0 0 0 5699 40 0 0 15 0 8 0 146847796 149463040 14609 4089446400 134512640 146736320 4290567072 18446744073709551615 144580073 0 2 4096 16387 18446604471160711168 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 590.45
Current children cumulated vsize (KiB) 154660

Child status: 0
Real time (s): 123.778
CPU time (s): 590.616
CPU user time (s): 586.004
CPU system time (s): 4.6123
CPU usage (%): 477.156
Max. virtual memory (cumulated for all children) (KiB): 184180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 586.004
system time used= 4.6123
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136609
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= 86288
involuntary context switches= 3904

runsolver used 0.220966 second user time and 0.483926 second system time

The end

Launcher Data 

Begin job on node149 at 2010-07-02 09:25:01
IDJOB=2697378
IDBENCH=79264
IDSOLVER=1210
FILE ID=node149/2697378-1278055501
PBS_JOBID= 11198884
Free space on /tmp= 74004 MiB

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

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

MD5SUM BENCH= 67acad5bcb13fd291a4cc974e7f18780
RANDOM SEED=1357701692

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:      30795224 kB
Buffers:        226168 kB
Cached:        1704532 kB
SwapCached:          0 kB
Active:         697444 kB
Inactive:      1305128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30795224 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           34364 kB
Writeback:           0 kB
AnonPages:       71544 kB
Mapped:          16204 kB
Slab:            90264 kB
PageTables:       5112 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   215840 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:27:05