Trace number 3712740

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
pwbo 2.01OPTIMUM 1462.66 731.473

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900564281--soft-0-100-0.wbo
MD5SUM504847a4e43d2b055735d72ea944fa39
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark33.8738
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 135865
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135864
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 705
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  pwbo:                    2.01 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing wbo file format. File HOME/instance-3712740-1338205808.wbo.
0.00/0.00	c Instance file HOME/instance-3712740-1338205808.wbo
0.00/0.00	c File size is 96755 bytes.
0.00/0.01	c Highest Coefficient sum: 705
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      2938                                                |
0.00/0.01	c |  Number Clauses:        2684                                                |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 23                                                  |
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Problem Type:          Optimization                                        |
0.00/0.01	c |  Objective Function:    PB Constraint                                       |
0.00/0.01	c |                                                                             |
0.00/0.01	c ===============================================================================
1462.11/731.38	o 385
1462.11/731.38	o 370
1462.11/731.38	o 316
1462.11/731.38	o 304
1462.11/731.38	o 294
1462.11/731.38	o 288
1462.11/731.38	o 271
1462.11/731.38	o 251
1462.11/731.38	o 237
1462.11/731.38	o 236
1462.11/731.38	o 234
1462.11/731.38	o 232
1462.11/731.38	o 227
1462.11/731.38	o 226
1462.11/731.38	o 212
1462.11/731.38	o 208
1462.11/731.38	o 200
1462.11/731.38	o 197
1462.11/731.38	o 195
1462.11/731.38	o 173
1462.11/731.38	o 171
1462.11/731.38	o 148
1462.11/731.38	o 147
1462.11/731.38	o 137
1462.11/731.38	o 131
1462.11/731.38	o 125
1462.11/731.38	o 123
1462.11/731.38	o 106
1462.11/731.38	o 105
1462.11/731.38	o 100
1462.11/731.38	o 79
1462.11/731.38	o 75
1462.11/731.38	o 70
1462.11/731.38	o 66
1462.11/731.38	o 64
1462.11/731.38	o 52
1462.11/731.38	o 49
1462.11/731.38	o 48
1462.11/731.38	o 40
1462.11/731.38	o 33
1462.11/731.38	o 31
1462.11/731.38	o 25
1462.11/731.38	o 23
1462.11/731.38	o 21
1462.11/731.38	o 18
1462.11/731.38	o 9
1462.11/731.38	o 4
1462.11/731.38	o 3
1462.11/731.38	o 2
1462.11/731.38	c ===============================================================================
1462.11/731.38	c Wall Clock Time: 731.39 s
1462.11/731.38	c Best Solution: 2
1462.11/731.38	s OPTIMUM FOUND
1462.11/731.38	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

Verifier Data

OK	2

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3712740-1338205808/watcher-3712740-1338205808 -o /tmp/evaluation-result-3712740-1338205808/solver-3712740-1338205808 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712740-1338205808.wbo 

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

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


[startup+0 s]
/proc/loadavg: 3.84 3.97 3.99 4/179 23253
/proc/meminfo: memFree=28309336/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=4572 CPUtime=0 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) R 23251 23253 20320 0 -1 4202496 434 0 0 0 0 0 0 0 20 0 1 0 286704894 4681728 387 33554432000 4194304 5964478 140733277553360 140735332127528 4395513 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 1143 387 168 433 0 683 0

[startup+0.0346821 s]
/proc/loadavg: 3.84 3.97 3.99 4/179 23253
/proc/meminfo: memFree=28309336/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=164272 CPUtime=0.04 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 2264 0 0 0 4 0 0 0 20 0 3 0 286704894 168214528 2060 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 41068 2060 198 433 0 40632 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 164272

[startup+0.100183 s]
/proc/loadavg: 3.84 3.97 3.99 4/179 23253
/proc/meminfo: memFree=28309336/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=164272 CPUtime=0.17 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 3307 0 0 0 16 1 0 0 20 0 3 0 286704894 168214528 2488 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 41068 2488 198 433 0 40632 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 164272

[startup+0.300122 s]
/proc/loadavg: 3.84 3.97 3.99 4/179 23253
/proc/meminfo: memFree=28309336/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=164272 CPUtime=0.57 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 4708 0 0 0 54 3 0 0 20 0 3 0 286704894 168214528 3385 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 41068 3385 198 433 0 40632 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 164272

[startup+0.700129 s]
/proc/loadavg: 3.84 3.97 3.99 4/179 23253
/proc/meminfo: memFree=28309336/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=164272 CPUtime=1.37 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 6784 0 0 0 131 6 0 0 20 0 3 0 286704894 168214528 4557 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 41068 4557 198 433 0 40632 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 164272

[startup+1.50031 s]
/proc/loadavg: 3.84 3.97 3.99 5/182 23256
/proc/meminfo: memFree=28287208/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=164272 CPUtime=2.97 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 8811 0 0 0 289 8 0 0 20 0 3 0 286704894 168214528 6156 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 41068 6156 198 433 0 40632 0
[pid=23253/tid=23255] ppid=23251 vsize=164272 CPUtime=1.47 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 3307 0 0 0 139 8 0 0 20 0 3 0 286704895 168214528 6156 33554432000 4194304 5964478 140733277553360 140466204506104 4381980 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=164272 CPUtime=1.47 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 4414 0 0 0 147 0 0 0 20 0 3 0 286704895 168214528 6156 33554432000 4194304 5964478 140733277553360 140466194016776 4400572 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 164272

[startup+3.10031 s]
/proc/loadavg: 3.84 3.97 3.99 5/182 23256
/proc/meminfo: memFree=28277412/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=164272 CPUtime=6.17 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 12273 0 0 0 608 9 0 0 20 0 3 0 286704894 168214528 9212 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 41068 9212 198 433 0 40632 0
[pid=23253/tid=23255] ppid=23251 vsize=164272 CPUtime=3.07 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 6076 0 0 0 298 9 0 0 20 0 3 0 286704895 168214528 9212 33554432000 4194304 5964478 140733277553360 140466204506104 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=164272 CPUtime=3.07 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 5107 0 0 0 307 0 0 0 20 0 3 0 286704895 168214528 9212 33554432000 4194304 5964478 140733277553360 140466194016776 4403701 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 164272

[startup+6.30032 s]
/proc/loadavg: 3.85 3.97 3.99 5/182 23256
/proc/meminfo: memFree=28239272/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=164272 CPUtime=12.57 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 19390 0 0 0 1247 10 0 0 20 0 3 0 286704894 168214528 15796 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 41068 15796 198 433 0 40632 0
[pid=23253/tid=23255] ppid=23251 vsize=164272 CPUtime=6.27 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 12379 0 0 0 617 10 0 0 20 0 3 0 286704895 168214528 15796 33554432000 4194304 5964478 140733277553360 140466204506104 4400062 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=164272 CPUtime=6.27 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 5921 0 0 0 626 1 0 0 20 0 3 0 286704895 168214528 15796 33554432000 4194304 5964478 140733277553360 140466194016920 4389154 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 164272

[startup+12.7003 s]
/proc/loadavg: 3.86 3.97 3.99 5/182 23256
/proc/meminfo: memFree=28174712/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=229808 CPUtime=25.37 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 32984 0 0 0 2523 14 0 0 20 0 3 0 286704894 235323392 29285 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 57452 29285 198 433 0 57016 0
[pid=23253/tid=23255] ppid=23251 vsize=229808 CPUtime=12.67 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 25205 0 0 0 1254 13 0 0 20 0 3 0 286704895 235323392 29285 33554432000 4194304 5964478 140733277553360 140466204506104 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=229808 CPUtime=12.67 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 6689 0 0 0 1266 1 0 0 20 0 3 0 286704895 235323392 29285 33554432000 4194304 5964478 140733277553360 140466194016560 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 229808

[startup+25.5003 s]
/proc/loadavg: 3.89 3.97 3.99 5/182 23256
/proc/meminfo: memFree=28070192/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=296288 CPUtime=50.96 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 51745 0 0 0 5076 20 0 0 20 0 3 0 286704894 303398912 47945 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 74072 47945 198 433 0 73636 0
[pid=23253/tid=23255] ppid=23251 vsize=296288 CPUtime=25.47 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 41042 0 0 0 2529 18 0 0 20 0 3 0 286704895 303398912 47945 33554432000 4194304 5964478 140733277553360 140466204506104 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=296288 CPUtime=25.48 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 9613 0 0 0 2545 3 0 0 20 0 3 0 286704895 303398912 47945 33554432000 4194304 5964478 140733277553360 140466194016328 4403705 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 296288

[startup+51.1004 s]
/proc/loadavg: 3.93 3.97 3.99 5/182 23256
/proc/meminfo: memFree=27825368/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=428700 CPUtime=102.15 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 97938 0 0 0 10181 34 0 0 20 0 3 0 286704894 438988800 94022 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 107175 94022 198 433 0 106739 0
[pid=23253/tid=23255] ppid=23251 vsize=428700 CPUtime=51.07 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 63101 0 0 0 5081 26 0 0 20 0 3 0 286704895 438988800 94024 33554432000 4194304 5964478 140733277553360 140466204506104 4400051 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=428700 CPUtime=51.08 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 33749 0 0 0 5099 9 0 0 20 0 3 0 286704895 438988800 94024 33554432000 4194304 5964478 140733277553360 140466194016568 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 428700

[startup+102.306 s]
/proc/loadavg: 3.97 3.97 3.99 5/181 23256
/proc/meminfo: memFree=27467556/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=693756 CPUtime=204.55 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 149103 0 0 0 20406 49 0 0 20 0 3 0 286704894 710406144 145187 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 173439 145187 198 433 0 173003 0
[pid=23253/tid=23255] ppid=23251 vsize=693756 CPUtime=102.28 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 82287 0 0 0 10194 34 0 0 20 0 3 0 286704895 710406144 145187 33554432000 4194304 5964478 140733277553360 140466204505912 4400040 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=693756 CPUtime=102.29 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 65726 0 0 0 10210 19 0 0 20 0 3 0 286704895 710406144 145187 33554432000 4194304 5964478 140733277553360 140466194016328 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.55
Current children cumulated vsize (KiB) 693756

[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.99 5/181 23257
/proc/meminfo: memFree=27244760/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=825152 CPUtime=324.52 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 183572 0 0 0 32394 58 0 0 20 0 3 0 286704894 844955648 179241 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 206288 179241 200 433 0 205852 0
[pid=23253/tid=23255] ppid=23251 vsize=825152 CPUtime=162.27 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 88523 0 0 0 16192 35 0 0 20 0 3 0 286704895 844955648 179241 33554432000 4194304 5964478 140733277553360 140466204507064 4400099 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=825152 CPUtime=162.28 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 93959 0 0 0 16200 28 0 0 20 0 3 0 286704895 844955648 179241 33554432000 4194304 5964478 140733277553360 140466194016568 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.52
Current children cumulated vsize (KiB) 825152

[startup+222.3 s]
/proc/loadavg: 4.12 4.00 4.00 5/181 23257
/proc/meminfo: memFree=27126988/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=826120 CPUtime=444.5 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 188137 0 0 0 44390 60 0 0 20 0 3 0 286704894 845946880 183806 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 206530 183806 200 433 0 206094 0
[pid=23253/tid=23255] ppid=23251 vsize=826120 CPUtime=222.28 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 88611 0 0 0 22192 36 0 0 20 0 3 0 286704895 845946880 183806 33554432000 4194304 5964478 140733277553360 140466204506208 4388843 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=826120 CPUtime=222.29 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 98436 0 0 0 22198 31 0 0 20 0 3 0 286704895 845946880 183806 33554432000 4194304 5964478 140733277553360 140466194016328 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.5
Current children cumulated vsize (KiB) 826120

[startup+282.3 s]
/proc/loadavg: 4.04 4.00 4.00 5/181 23257
/proc/meminfo: memFree=26909148/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=958436 CPUtime=564.48 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 219495 0 0 0 56379 69 0 0 20 0 3 0 286704894 981438464 214272 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 239609 214272 200 433 0 239173 0
[pid=23253/tid=23255] ppid=23251 vsize=958436 CPUtime=282.28 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 119918 0 0 0 28181 47 0 0 20 0 3 0 286704895 981438464 214272 33554432000 4194304 5964478 140733277553360 140466204506104 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=958436 CPUtime=282.29 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 98487 0 0 0 28197 32 0 0 20 0 3 0 286704895 981438464 214272 33554432000 4194304 5964478 140733277553360 140466194016600 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.48
Current children cumulated vsize (KiB) 958436

[startup+342.3 s]
/proc/loadavg: 3.98 3.99 3.99 5/181 23298
/proc/meminfo: memFree=28802784/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=1089676 CPUtime=684.46 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 261369 0 0 0 68361 85 0 0 20 0 3 0 286704894 1115828224 256506 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 272419 256506 200 433 0 271983 0

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

Current children cumulated vsize (KiB) 1221724

[startup+462.3 s]
/proc/loadavg: 4.02 4.00 4.00 5/181 23499
/proc/meminfo: memFree=28670564/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=1222104 CPUtime=924.37 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 296405 0 0 0 92335 102 0 0 20 0 3 0 286704894 1251434496 291481 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 305526 291481 200 433 0 305090 0
[pid=23253/tid=23255] ppid=23251 vsize=1222104 CPUtime=462.22 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 193153 0 0 0 46141 81 0 0 20 0 3 0 286704895 1251434496 291481 33554432000 4194304 5964478 140733277553360 140466204506016 4388204 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=1222104 CPUtime=462.3 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 102162 0 0 0 46194 36 0 0 20 0 3 0 286704895 1251434496 291481 33554432000 4194304 5964478 140733277553360 140466194016672 4400075 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.37
Current children cumulated vsize (KiB) 1222104

[startup+522.3 s]
/proc/loadavg: 4.01 4.00 4.00 5/181 23499
/proc/meminfo: memFree=28547336/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=1353652 CPUtime=1044.32 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 321031 0 0 0 104301 131 0 0 20 0 3 0 286704894 1386139648 316070 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 338413 316070 200 433 0 337977 0
[pid=23253/tid=23255] ppid=23251 vsize=1353652 CPUtime=522.2 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 194818 0 0 0 52138 82 0 0 20 0 3 0 286704895 1386139648 316070 33554432000 4194304 5964478 140733277553360 140466204505912 4400075 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=1353652 CPUtime=522.27 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 125123 0 0 0 52163 64 0 0 20 0 3 0 286704895 1386139648 316070 33554432000 4194304 5964478 140733277553360 140466194016568 4399994 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.32
Current children cumulated vsize (KiB) 1353652

[startup+582.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23499
/proc/meminfo: memFree=28326148/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=1550260 CPUtime=1164.26 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 364858 0 0 0 116252 174 0 0 20 0 3 0 286704894 1587466240 359866 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 387565 359866 200 433 0 387129 0
[pid=23253/tid=23255] ppid=23251 vsize=1550260 CPUtime=582.19 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 237940 0 0 0 58093 126 0 0 20 0 3 0 286704895 1587466240 359866 33554432000 4194304 5964478 140733277553360 140466204506104 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=1550260 CPUtime=582.25 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 125828 0 0 0 58160 65 0 0 20 0 3 0 286704895 1587466240 359866 33554432000 4194304 5964478 140733277553360 140466194016568 4400040 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.26
Current children cumulated vsize (KiB) 1550260

[startup+642.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/182 23502
/proc/meminfo: memFree=28100852/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=1747912 CPUtime=1284.23 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 413262 0 0 0 128214 209 0 0 20 0 3 0 286704894 1789861888 408247 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 436978 408247 200 433 0 436542 0
[pid=23253/tid=23255] ppid=23251 vsize=1747912 CPUtime=642.17 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 267918 0 0 0 64063 154 0 0 20 0 3 0 286704895 1789861888 408247 33554432000 4194304 5964478 140733277553360 140466204506104 4400081 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=1747912 CPUtime=642.25 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 144254 0 0 0 64151 74 0 0 20 0 3 0 286704895 1789861888 408247 33554432000 4194304 5964478 140733277553360 140466194016568 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.23
Current children cumulated vsize (KiB) 1747912

[startup+702.3 s]
/proc/loadavg: 4.08 4.02 4.01 5/182 23525
/proc/meminfo: memFree=27911068/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=1880360 CPUtime=1404.14 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 453346 0 0 0 140173 241 0 0 20 0 3 0 286704894 1925488640 448293 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 470090 448293 200 433 0 469654 0
[pid=23253/tid=23255] ppid=23251 vsize=1880360 CPUtime=702.15 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 300368 0 0 0 70032 183 0 0 20 0 3 0 286704895 1925488640 448293 33554432000 4194304 5964478 140733277553360 140466204506104 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=1880360 CPUtime=702.22 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 151888 0 0 0 70142 80 0 0 20 0 3 0 286704895 1925488640 448293 33554432000 4194304 5964478 140733277553360 140466194016568 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.14
Current children cumulated vsize (KiB) 1880360

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

[startup+716.7 s]
/proc/loadavg: 4.06 4.02 4.00 5/181 23525
/proc/meminfo: memFree=27798220/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=1946276 CPUtime=1432.94 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 479721 0 0 0 143044 250 0 0 20 0 3 0 286704894 1992986624 474660 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 486569 474660 200 433 0 486133 0
[pid=23253/tid=23255] ppid=23251 vsize=1946276 CPUtime=716.55 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 308161 0 0 0 71470 185 0 0 20 0 3 0 286704895 1992986624 474660 33554432000 4194304 5964478 140733277553360 140466204506104 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=1946276 CPUtime=716.61 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 170470 0 0 0 71575 86 0 0 20 0 3 0 286704895 1992986624 474660 33554432000 4194304 5964478 140733277553360 140466194016568 4379280 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1432.94
Current children cumulated vsize (KiB) 1946276

[startup+723.1 s]
/proc/loadavg: 4.06 4.01 4.00 5/181 23525
/proc/meminfo: memFree=27779732/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=2011812 CPUtime=1445.73 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 483283 0 0 0 144319 254 0 0 20 0 3 0 286704894 2060095488 478216 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 502953 478216 200 433 0 502517 0
[pid=23253/tid=23255] ppid=23251 vsize=2011812 CPUtime=722.95 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 311717 0 0 0 72106 189 0 0 20 0 3 0 286704895 2060095488 478216 33554432000 4194304 5964478 140733277553360 140466204506104 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=2011812 CPUtime=723.01 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 170476 0 0 0 72215 86 0 0 20 0 3 0 286704895 2060095488 478216 33554432000 4194304 5964478 140733277553360 140466194016568 4399959 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1445.73
Current children cumulated vsize (KiB) 2011812

[startup+726.3 s]
/proc/loadavg: 4.05 4.01 4.00 5/181 23525
/proc/meminfo: memFree=27771300/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=2011812 CPUtime=1452.12 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 484882 0 0 0 144955 257 0 0 20 0 3 0 286704894 2060095488 479815 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 502953 479815 200 433 0 502517 0
[pid=23253/tid=23255] ppid=23251 vsize=2011812 CPUtime=726.15 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 313316 0 0 0 72422 193 0 0 20 0 3 0 286704895 2060095488 479815 33554432000 4194304 5964478 140733277553360 140466204506104 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=2011812 CPUtime=726.21 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 170476 0 0 0 72534 87 0 0 20 0 3 0 286704895 2060095488 479815 33554432000 4194304 5964478 140733277553360 140466194016568 4399910 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1452.12
Current children cumulated vsize (KiB) 2011812

[startup+729.5 s]
/proc/loadavg: 4.05 4.01 4.00 5/181 23525
/proc/meminfo: memFree=27759008/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=2011812 CPUtime=1458.51 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 487121 0 0 0 145592 259 0 0 20 0 3 0 286704894 2060095488 482046 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 502953 482046 200 433 0 502517 0
[pid=23253/tid=23255] ppid=23251 vsize=2011812 CPUtime=729.35 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 315547 0 0 0 72739 196 0 0 20 0 3 0 286704895 2060095488 482046 33554432000 4194304 5964478 140733277553360 140466204506104 4400051 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=2011812 CPUtime=729.4 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 170484 0 0 0 72853 87 0 0 20 0 3 0 286704895 2060095488 482046 33554432000 4194304 5964478 140733277553360 140466194016568 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1458.51
Current children cumulated vsize (KiB) 2011812

[startup+730.3 s]
/proc/loadavg: 4.05 4.01 4.00 5/181 23525
/proc/meminfo: memFree=27760620/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=2011812 CPUtime=1460.13 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 487374 0 0 0 145753 260 0 0 20 0 3 0 286704894 2060095488 481024 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 502953 481024 200 433 0 502517 0
[pid=23253/tid=23255] ppid=23251 vsize=2011812 CPUtime=730.16 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 315800 0 0 0 72820 196 0 0 20 0 3 0 286704895 2060095488 481024 33554432000 4194304 5964478 140733277553360 140466204506104 4400073 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=2011812 CPUtime=730.21 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 170484 0 0 0 72934 87 0 0 20 0 3 0 286704895 2060095488 481024 33554432000 4194304 5964478 140733277553360 140466194016568 4400051 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1460.13
Current children cumulated vsize (KiB) 2011812

[startup+731.1 s]
/proc/loadavg: 4.05 4.01 4.00 5/181 23525
/proc/meminfo: memFree=27760620/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=2011812 CPUtime=1461.72 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 487722 0 0 0 145912 260 0 0 20 0 3 0 286704894 2060095488 481372 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 502953 481372 200 433 0 502517 0
[pid=23253/tid=23255] ppid=23251 vsize=2011812 CPUtime=730.95 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 316148 0 0 0 72899 196 0 0 20 0 3 0 286704895 2060095488 481372 33554432000 4194304 5964478 140733277553360 140466204506104 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=2011812 CPUtime=731 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 170484 0 0 0 73013 87 0 0 20 0 3 0 286704895 2060095488 481372 33554432000 4194304 5964478 140733277553360 140466194016600 4388713 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1461.72
Current children cumulated vsize (KiB) 2011812

[startup+731.3 s]
/proc/loadavg: 4.05 4.01 4.00 5/181 23525
/proc/meminfo: memFree=27760620/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=2011812 CPUtime=1462.11 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 487807 0 0 0 145951 260 0 0 20 0 3 0 286704894 2060095488 481457 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 502953 481457 200 433 0 502517 0
[pid=23253/tid=23255] ppid=23251 vsize=2011812 CPUtime=731.15 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 316233 0 0 0 72919 196 0 0 20 0 3 0 286704895 2060095488 481457 33554432000 4194304 5964478 140733277553360 140466204506104 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=2011812 CPUtime=731.2 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 170484 0 0 0 73033 87 0 0 20 0 3 0 286704895 2060095488 481457 33554432000 4194304 5964478 140733277553360 140466194016600 4400526 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1462.11
Current children cumulated vsize (KiB) 2011812

[startup+731.4 s]
/proc/loadavg: 4.05 4.01 4.00 4/180 23525
/proc/meminfo: memFree=27955616/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=0 CPUtime=1462.47 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) Z 23251 23253 20320 0 -1 4203532 487832 0 0 0 145973 274 0 0 20 0 2 0 286704894 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 0 0 0 0 0 0 0
[pid=23253/tid=23255] ppid=23251 vsize=0 CPUtime=731.26 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4203588 316253 0 0 0 72928 198 0 0 20 0 2 0 286704895 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1462.47
Current children cumulated vsize (KiB) 0

Child status: 255
Real time (s): 731.473
CPU time (s): 1462.66
CPU user time (s): 1459.73
CPU system time (s): 2.93155
CPU usage (%): 199.961
Max. virtual memory (cumulated for all children) (KiB): 2011812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1459.73
system time used= 2.93155
maximum resident set size= 1928772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 487832
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= 853
involuntary context switches= 1703

runsolver used 1.41179 second user time and 3.14352 second system time

The end

Launcher Data

Begin job on node149 at 2012-05-28 13:50:08
IDJOB=3712740
IDBENCH=79313
IDSOLVER=2292
FILE ID=node149/3712740-1338205808
RUNJOBID= node149-1338191256-20336
PBS_JOBID= 14624573
Free space on /tmp= 71692 MiB

SOLVER NAME= pwbo 2.01
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900564281--soft-0-100-0.wbo
COMMAND LINE= pwbo2.01 -file-format=wbo -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3712740-1338205808/watcher-3712740-1338205808 -o /tmp/evaluation-result-3712740-1338205808/solver-3712740-1338205808 -C 1800 -W 1900 -M 15500  pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712740-1338205808.wbo

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

MD5SUM BENCH= 504847a4e43d2b055735d72ea944fa39
RANDOM SEED=316049186

node149.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28309608 kB
Buffers:          386612 kB
Cached:          1742556 kB
SwapCached:         2448 kB
Active:          2459836 kB
Inactive:        1280352 kB
Active(anon):    1602300 kB
Inactive(anon):     9340 kB
Active(file):     857536 kB
Inactive(file):  1271012 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104880 kB
Dirty:              5492 kB
Writeback:             0 kB
AnonPages:       1614560 kB
Mapped:            15028 kB
Shmem:                96 kB
Slab:             681544 kB
SReclaimable:     125812 kB
SUnreclaim:       555732 kB
KernelStack:        1488 kB
PageTables:         6780 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     173112 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    204800 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71688 MiB
End job on node149 at 2012-05-28 14:02:20