Trace number 3728824

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.02OPTIMUM 1384.76 692.62

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.02 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing wbo file format. File HOME/instance-3728824-1338674967.wbo.
0.00/0.00	c Instance file HOME/instance-3728824-1338674967.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.02	c |  Problem Type:          Optimization                                        |
0.00/0.02	c |  Objective Function:    PB Constraint                                       |
0.00/0.02	c |                                                                             |
0.00/0.02	c ===============================================================================
1384.42/692.52	o 385
1384.42/692.52	o 370
1384.42/692.52	o 316
1384.42/692.52	o 304
1384.42/692.52	o 294
1384.42/692.52	o 288
1384.42/692.52	o 271
1384.42/692.52	o 251
1384.42/692.52	o 237
1384.42/692.52	o 236
1384.42/692.52	o 234
1384.42/692.52	o 232
1384.42/692.52	o 227
1384.42/692.52	o 226
1384.42/692.52	o 212
1384.42/692.52	o 208
1384.42/692.52	o 200
1384.42/692.52	o 197
1384.42/692.52	o 195
1384.42/692.52	o 173
1384.42/692.52	o 171
1384.42/692.52	o 148
1384.42/692.52	o 147
1384.42/692.52	o 137
1384.42/692.52	o 131
1384.42/692.52	o 123
1384.42/692.52	o 121
1384.42/692.52	o 101
1384.42/692.52	o 94
1384.42/692.52	o 83
1384.42/692.52	o 72
1384.42/692.52	o 70
1384.42/692.52	o 69
1384.42/692.52	o 61
1384.42/692.52	o 56
1384.42/692.52	o 54
1384.42/692.52	o 51
1384.42/692.52	o 50
1384.42/692.52	o 45
1384.42/692.52	o 34
1384.42/692.52	o 33
1384.42/692.52	o 29
1384.42/692.52	o 26
1384.42/692.52	o 25
1384.42/692.52	o 23
1384.42/692.52	o 20
1384.42/692.52	o 19
1384.42/692.52	o 9
1384.42/692.52	o 7
1384.42/692.52	o 6
1384.42/692.52	o 3
1384.42/692.52	o 2
1384.42/692.52	c ===============================================================================
1384.42/692.52	c Wall Clock Time: 692.53 s
1384.42/692.52	c Best Solution: 2
1384.42/692.52	s OPTIMUM FOUND
1384.42/692.52	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-3728824-1338674967/watcher-3728824-1338674967 -o /tmp/evaluation-result-3728824-1338674967/solver-3728824-1338674967 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728824-1338674967.wbo 

running on 4 cores: 1,3,5,7

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: 2.00 2.00 2.00 3/174 18812
/proc/meminfo: memFree=27751444/32873844 swapFree=7628/7628
[pid=18812] ppid=18810 vsize=4572 CPUtime=0 cores=1,3,5,7
/proc/18812/stat : 18812 (pwbo2.02) R 18810 18812 17860 0 -1 4202496 437 0 0 0 0 0 0 0 20 0 1 0 333621634 4681728 389 33554432000 4194304 5964478 140734810754128 140734935674840 4395529 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/18812/statm: 1143 389 168 433 0 683 0

[startup+0.0438911 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 18812
/proc/meminfo: memFree=27751444/32873844 swapFree=7628/7628
[pid=18812] ppid=18810 vsize=164272 CPUtime=0.05 cores=1,3,5,7
/proc/18812/stat : 18812 (pwbo2.02) S 18810 18812 17860 0 -1 4202496 2489 0 0 0 5 0 0 0 20 0 3 0 333621634 168214528 2426 33554432000 4194304 5964478 140734810754128 140734810753648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18812/statm: 41068 2426 198 433 0 40632 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 164272

[startup+0.100192 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 18812
/proc/meminfo: memFree=27751444/32873844 swapFree=7628/7628
[pid=18812] ppid=18810 vsize=164272 CPUtime=0.17 cores=1,3,5,7
/proc/18812/stat : 18812 (pwbo2.02) S 18810 18812 17860 0 -1 4202496 3301 0 0 0 17 0 0 0 20 0 3 0 333621634 168214528 2756 33554432000 4194304 5964478 140734810754128 140734810753648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18812/statm: 41068 2756 198 433 0 40632 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 164272

[startup+0.300131 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 18812
/proc/meminfo: memFree=27751444/32873844 swapFree=7628/7628
[pid=18812] ppid=18810 vsize=164272 CPUtime=0.56 cores=1,3,5,7
/proc/18812/stat : 18812 (pwbo2.02) S 18810 18812 17860 0 -1 4202496 4693 0 0 0 56 0 0 0 20 0 3 0 333621634 168214528 3644 33554432000 4194304 5964478 140734810754128 140734810753648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18812/statm: 41068 3644 198 433 0 40632 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 164272

[startup+0.700136 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 18812
/proc/meminfo: memFree=27751444/32873844 swapFree=7628/7628
[pid=18812] ppid=18810 vsize=164272 CPUtime=1.36 cores=1,3,5,7
/proc/18812/stat : 18812 (pwbo2.02) S 18810 18812 17860 0 -1 4202496 6698 0 0 0 135 1 0 0 20 0 3 0 333621634 168214528 4749 33554432000 4194304 5964478 140734810754128 140734810753648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18812/statm: 41068 4749 198 433 0 40632 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 164272

[startup+1.50036 s]
/proc/loadavg: 2.00 2.00 2.00 4/176 18875
/proc/meminfo: memFree=27729056/32873844 swapFree=7628/7628
[pid=18812] ppid=18810 vsize=164272 CPUtime=2.96 cores=1,3,5,7
/proc/18812/stat : 18812 (pwbo2.02) S 18810 18812 17860 0 -1 4202496 9082 0 0 0 293 3 0 0 20 0 3 0 333621634 168214528 6718 33554432000 4194304 5964478 140734810754128 140734810753648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18812/statm: 41068 6718 198 433 0 40632 0
[pid=18812/tid=18818] ppid=18810 vsize=164272 CPUtime=1.46 cores=1,3,5,7
/proc/18812/task/18818/stat : 18818 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 3533 0 0 0 144 2 0 0 20 0 3 0 333621635 168214528 6718 33554432000 4194304 5964478 140734810754128 140095482365992 4400089 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=18812/tid=18819] ppid=18810 vsize=164272 CPUtime=1.47 cores=1,3,5,7
/proc/18812/task/18819/stat : 18819 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 4457 0 0 0 147 0 0 0 20 0 3 0 333621635 168214528 6718 33554432000 4194304 5964478 140734810754128 140095471876552 5134765 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 164272

[startup+3.10034 s]
/proc/loadavg: 2.00 2.00 2.00 5/181 18902
/proc/meminfo: memFree=27692344/32873844 swapFree=7628/7628
[pid=18812] ppid=18810 vsize=164272 CPUtime=6.16 cores=1,3,5,7
/proc/18812/stat : 18812 (pwbo2.02) S 18810 18812 17860 0 -1 4202496 11925 0 0 0 612 4 0 0 20 0 3 0 333621634 168214528 9359 33554432000 4194304 5964478 140734810754128 140734810753648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18812/statm: 41068 9359 198 433 0 40632 0
[pid=18812/tid=18818] ppid=18810 vsize=164272 CPUtime=3.06 cores=1,3,5,7
/proc/18812/task/18818/stat : 18818 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 5975 0 0 0 302 4 0 0 20 0 3 0 333621635 168214528 9359 33554432000 4194304 5964478 140734810754128 140095482365944 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=18812/tid=18819] ppid=18810 vsize=164272 CPUtime=3.07 cores=1,3,5,7
/proc/18812/task/18819/stat : 18819 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 4858 0 0 0 307 0 0 0 20 0 3 0 333621635 168214528 9359 33554432000 4194304 5964478 140734810754128 140095471876616 4403717 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 164272

[startup+6.30035 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 19086
/proc/meminfo: memFree=27701760/32873844 swapFree=7628/7628
[pid=18812] ppid=18810 vsize=164272 CPUtime=12.56 cores=1,3,5,7
/proc/18812/stat : 18812 (pwbo2.02) S 18810 18812 17860 0 -1 4202496 16890 0 0 0 1249 7 0 0 20 0 3 0 333621634 168214528 14122 33554432000 4194304 5964478 140734810754128 140734810753648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18812/statm: 41068 14122 198 433 0 40632 0
[pid=18812/tid=18818] ppid=18810 vsize=164272 CPUtime=6.27 cores=1,3,5,7
/proc/18812/task/18818/stat : 18818 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 10528 0 0 0 620 7 0 0 20 0 3 0 333621635 168214528 14122 33554432000 4194304 5964478 140734810754128 140095482365944 4400067 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=18812/tid=18819] ppid=18810 vsize=164272 CPUtime=6.27 cores=1,3,5,7
/proc/18812/task/18819/stat : 18819 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 5270 0 0 0 626 1 0 0 20 0 3 0 333621635 168214528 14122 33554432000 4194304 5964478 140734810754128 140095471876616 4373589 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 164272

[startup+12.7004 s]
/proc/loadavg: 2.15 2.03 2.01 4/176 19438
/proc/meminfo: memFree=27640108/32873844 swapFree=7628/7628
[pid=18812] ppid=18810 vsize=229808 CPUtime=25.34 cores=1,3,5,7
/proc/18812/stat : 18812 (pwbo2.02) S 18810 18812 17860 0 -1 4202496 31201 0 0 0 2520 14 0 0 20 0 3 0 333621634 235323392 28000 33554432000 4194304 5964478 140734810754128 140734810753648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18812/statm: 57452 28000 198 433 0 57016 0
[pid=18812/tid=18818] ppid=18810 vsize=229808 CPUtime=12.65 cores=1,3,5,7
/proc/18812/task/18818/stat : 18818 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 23713 0 0 0 1252 13 0 0 20 0 3 0 333621635 235323392 28000 33554432000 4194304 5964478 140734810754128 140095482365944 4399938 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=18812/tid=18819] ppid=18810 vsize=229808 CPUtime=12.67 cores=1,3,5,7
/proc/18812/task/18819/stat : 18819 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 6396 0 0 0 1265 2 0 0 20 0 3 0 333621635 235323392 28000 33554432000 4194304 5964478 140734810754128 140095471876344 4392707 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 229808

[startup+25.5004 s]
/proc/loadavg: 2.52 2.11 2.04 4/174 19531
/proc/meminfo: memFree=27558728/32873844 swapFree=7628/7628
[pid=18812] ppid=18810 vsize=296180 CPUtime=50.94 cores=1,3,5,7
/proc/18812/stat : 18812 (pwbo2.02) S 18810 18812 17860 0 -1 4202496 51721 0 0 0 5072 22 0 0 20 0 3 0 333621634 303288320 48120 33554432000 4194304 5964478 140734810754128 140734810753648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18812/statm: 74045 48120 198 433 0 73609 0
[pid=18812/tid=18818] ppid=18810 vsize=296180 CPUtime=25.45 cores=1,3,5,7
/proc/18812/task/18818/stat : 18818 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 37583 0 0 0 2528 17 0 0 20 0 3 0 333621635 303288320 48120 33554432000 4194304 5964478 140734810754128 140095482365944 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=18812/tid=18819] ppid=18810 vsize=296180 CPUtime=25.46 cores=1,3,5,7
/proc/18812/task/18819/stat : 18819 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 13046 0 0 0 2540 6 0 0 20 0 3 0 333621635 303288320 48120 33554432000 4194304 5964478 140734810754128 140095471876408 4400097 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 296180

[startup+51.1003 s]
/proc/loadavg: 2.84 2.22 2.07 5/182 20145
/proc/meminfo: memFree=27281956/32873844 swapFree=7628/7628
[pid=18812] ppid=18810 vsize=429168 CPUtime=102.09 cores=1,3,5,7
/proc/18812/stat : 18812 (pwbo2.02) S 18810 18812 17860 0 -1 4202496 88257 0 0 0 10171 38 0 0 20 0 3 0 333621634 439468032 84592 33554432000 4194304 5964478 140734810754128 140734810753648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18812/statm: 107292 84592 198 433 0 106856 0
[pid=18812/tid=18818] ppid=18810 vsize=429168 CPUtime=51.03 cores=1,3,5,7
/proc/18812/task/18818/stat : 18818 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 54572 0 0 0 5080 23 0 0 20 0 3 0 333621635 439468032 84592 33554432000 4194304 5964478 140734810754128 140095482365976 4400103 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=18812/tid=18819] ppid=18810 vsize=429168 CPUtime=51.05 cores=1,3,5,7
/proc/18812/task/18819/stat : 18819 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 32593 0 0 0 5088 17 0 0 20 0 3 0 333621635 439468032 84592 33554432000 4194304 5964478 140734810754128 140095471876408 4400091 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.09
Current children cumulated vsize (KiB) 429168

[startup+102.307 s]
/proc/loadavg: 3.59 2.53 2.18 5/181 20345
/proc/meminfo: memFree=27221340/32873844 swapFree=7628/7628
[pid=18812] ppid=18810 vsize=626812 CPUtime=204.48 cores=1,3,5,7
/proc/18812/stat : 18812 (pwbo2.02) S 18810 18812 17860 0 -1 4202496 129264 0 0 0 20397 51 0 0 20 0 3 0 333621634 641855488 125906 33554432000 4194304 5964478 140734810754128 140734810753648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18812/statm: 156703 125906 200 433 0 156267 0
[pid=18812/tid=18818] ppid=18810 vsize=626812 CPUtime=102.23 cores=1,3,5,7
/proc/18812/task/18818/stat : 18818 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 66376 0 0 0 10196 27 0 0 20 0 3 0 333621635 641855488 125906 33554432000 4194304 5964478 140734810754128 140095482366904 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=18812/tid=18819] ppid=18810 vsize=626812 CPUtime=102.26 cores=1,3,5,7
/proc/18812/task/18819/stat : 18819 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 61796 0 0 0 10198 28 0 0 20 0 3 0 333621635 641855488 125906 33554432000 4194304 5964478 140734810754128 140095471876440 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.48
Current children cumulated vsize (KiB) 626812

[startup+162.3 s]
/proc/loadavg: 3.89 2.81 2.30 5/181 20868
/proc/meminfo: memFree=26929768/32873844 swapFree=7628/7628
[pid=18812] ppid=18810 vsize=760244 CPUtime=324.45 cores=1,3,5,7
/proc/18812/stat : 18812 (pwbo2.02) S 18810 18812 17860 0 -1 4202496 175986 0 0 0 32364 81 0 0 20 0 3 0 333621634 778489856 172628 33554432000 4194304 5964478 140734810754128 140734810753648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18812/statm: 190061 172628 200 433 0 189625 0
[pid=18812/tid=18818] ppid=18810 vsize=760244 CPUtime=162.22 cores=1,3,5,7
/proc/18812/task/18818/stat : 18818 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 98037 0 0 0 16170 52 0 0 20 0 3 0 333621635 778489856 172628 33554432000 4194304 5964478 140734810754128 140095482365944 4400097 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=18812/tid=18819] ppid=18810 vsize=760244 CPUtime=162.25 cores=1,3,5,7
/proc/18812/task/18819/stat : 18819 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 76857 0 0 0 16191 34 0 0 20 0 3 0 333621635 778489856 172628 33554432000 4194304 5964478 140734810754128 140095471876168 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.45
Current children cumulated vsize (KiB) 760244

[startup+222.3 s]
/proc/loadavg: 3.96 3.02 2.40 5/181 20868
/proc/meminfo: memFree=26566848/32873844 swapFree=7628/7628
[pid=18812] ppid=18810 vsize=957072 CPUtime=444.42 cores=1,3,5,7
/proc/18812/stat : 18812 (pwbo2.02) S 18810 18812 17860 0 -1 4202496 221882 0 0 0 44346 96 0 0 20 0 3 0 333621634 980041728 218524 33554432000 4194304 5964478 140734810754128 140734810753648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18812/statm: 239268 218524 200 433 0 238832 0
[pid=18812/tid=18818] ppid=18810 vsize=957072 CPUtime=222.21 cores=1,3,5,7
/proc/18812/task/18818/stat : 18818 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 129424 0 0 0 22157 64 0 0 20 0 3 0 333621635 980041728 218524 33554432000 4194304 5964478 140734810754128 140095482365944 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=18812/tid=18819] ppid=18810 vsize=957072 CPUtime=222.25 cores=1,3,5,7
/proc/18812/task/18819/stat : 18819 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 91366 0 0 0 22185 40 0 0 20 0 3 0 333621635 980041728 218524 33554432000 4194304 5964478 140734810754128 140095471876320 4400097 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.42
Current children cumulated vsize (KiB) 957072

[startup+282.3 s]
/proc/loadavg: 3.98 3.20 2.50 5/181 20868
/proc/meminfo: memFree=26319840/32873844 swapFree=7628/7628
[pid=18812] ppid=18810 vsize=1154568 CPUtime=564.39 cores=1,3,5,7
/proc/18812/stat : 18812 (pwbo2.02) S 18810 18812 17860 0 -1 4202496 268441 0 0 0 56294 145 0 0 20 0 3 0 333621634 1182277632 265431 33554432000 4194304 5964478 140734810754128 140734810753648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18812/statm: 288642 265431 200 433 0 288206 0
[pid=18812/tid=18818] ppid=18810 vsize=1154568 CPUtime=282.21 cores=1,3,5,7
/proc/18812/task/18818/stat : 18818 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 175908 0 0 0 28107 114 0 0 20 0 3 0 333621635 1182277632 265431 33554432000 4194304 5964478 140734810754128 140095482365944 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=18812/tid=18819] ppid=18810 vsize=1154568 CPUtime=282.25 cores=1,3,5,7
/proc/18812/task/18819/stat : 18819 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 91441 0 0 0 28184 41 0 0 20 0 3 0 333621635 1182277632 265431 33554432000 4194304 5964478 140734810754128 140095471876168 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.39
Current children cumulated vsize (KiB) 1154568

[startup+342.3 s]
/proc/loadavg: 3.99 3.34 2.59 5/181 20868
/proc/meminfo: memFree=26225256/32873844 swapFree=7628/7628
[pid=18812] ppid=18810 vsize=1154568 CPUtime=684.34 cores=1,3,5,7
/proc/18812/stat : 18812 (pwbo2.02) S 18810 18812 17860 0 -1 4202496 272590 0 0 0 68287 147 0 0 20 0 3 0 333621634 1182277632 269589 33554432000 4194304 5964478 140734810754128 140734810753648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18812/statm: 288642 269589 200 433 0 288206 0

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

Current children cumulated vsize (KiB) 1220532

[startup+462.3 s]
/proc/loadavg: 4.03 3.57 2.76 5/181 20869
/proc/meminfo: memFree=25901056/32873844 swapFree=7628/7628
[pid=18812] ppid=18810 vsize=1483104 CPUtime=924.25 cores=1,3,5,7
/proc/18812/stat : 18812 (pwbo2.02) S 18810 18812 17860 0 -1 4202496 350295 0 0 0 92234 191 0 0 20 0 3 0 333621634 1518698496 347237 33554432000 4194304 5964478 140734810754128 140734810753648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18812/statm: 370776 347237 200 433 0 370340 0
[pid=18812/tid=18818] ppid=18810 vsize=1483104 CPUtime=462.11 cores=1,3,5,7
/proc/18812/task/18818/stat : 18818 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 234914 0 0 0 46063 148 0 0 20 0 3 0 333621635 1518698496 347237 33554432000 4194304 5964478 140734810754128 140095482365944 4400516 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18812/tid=18819] ppid=18810 vsize=1483104 CPUtime=462.24 cores=1,3,5,7
/proc/18812/task/18819/stat : 18819 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 114289 0 0 0 46166 58 0 0 20 0 3 0 333621635 1518698496 347237 33554432000 4194304 5964478 140734810754128 140095471876408 4400097 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.25
Current children cumulated vsize (KiB) 1483104

[startup+522.3 s]
/proc/loadavg: 4.01 3.64 2.84 5/181 20869
/proc/meminfo: memFree=25658168/32873844 swapFree=7628/7628
[pid=18812] ppid=18810 vsize=1680112 CPUtime=1044.21 cores=1,3,5,7
/proc/18812/stat : 18812 (pwbo2.02) S 18810 18812 17860 0 -1 4202496 396929 0 0 0 104203 218 0 0 20 0 3 0 333621634 1720434688 393856 33554432000 4194304 5964478 140734810754128 140734810753648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18812/statm: 420028 393856 200 433 0 419592 0
[pid=18812/tid=18818] ppid=18810 vsize=1680112 CPUtime=522.07 cores=1,3,5,7
/proc/18812/task/18818/stat : 18818 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 268636 0 0 0 52041 166 0 0 20 0 3 0 333621635 1720434688 393856 33554432000 4194304 5964478 140734810754128 140095482365944 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18812/tid=18819] ppid=18810 vsize=1680112 CPUtime=522.23 cores=1,3,5,7
/proc/18812/task/18819/stat : 18819 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 127201 0 0 0 52155 68 0 0 20 0 3 0 333621635 1720434688 393856 33554432000 4194304 5964478 140734810754128 140095471876168 4400078 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.21
Current children cumulated vsize (KiB) 1680112

[startup+582.3 s]
/proc/loadavg: 4.00 3.71 2.91 5/181 20869
/proc/meminfo: memFree=25505924/32873844 swapFree=7628/7628
[pid=18812] ppid=18810 vsize=1811612 CPUtime=1164.14 cores=1,3,5,7
/proc/18812/stat : 18812 (pwbo2.02) S 18810 18812 17860 0 -1 4202496 434272 0 0 0 116171 243 0 0 20 0 3 0 333621634 1855090688 431182 33554432000 4194304 5964478 140734810754128 140734810753648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18812/statm: 452903 431182 200 433 0 452467 0
[pid=18812/tid=18818] ppid=18810 vsize=1811612 CPUtime=582.06 cores=1,3,5,7
/proc/18812/task/18818/stat : 18818 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 303105 0 0 0 58016 190 0 0 20 0 3 0 333621635 1855090688 431182 33554432000 4194304 5964478 140734810754128 140095482365944 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18812/tid=18819] ppid=18810 vsize=1811612 CPUtime=582.19 cores=1,3,5,7
/proc/18812/task/18819/stat : 18819 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 130075 0 0 0 58148 71 0 0 20 0 3 0 333621635 1855090688 431182 33554432000 4194304 5964478 140734810754128 140095471876408 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.14
Current children cumulated vsize (KiB) 1811612

[startup+642.3 s]
/proc/loadavg: 4.00 3.76 2.97 5/182 20872
/proc/meminfo: memFree=25381068/32873844 swapFree=7628/7628
[pid=18812] ppid=18810 vsize=1943644 CPUtime=1284.09 cores=1,3,5,7
/proc/18812/stat : 18812 (pwbo2.02) S 18810 18812 17860 0 -1 4202496 462874 0 0 0 128147 262 0 0 20 0 3 0 333621634 1990291456 459744 33554432000 4194304 5964478 140734810754128 140734810753648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18812/statm: 485911 459744 200 433 0 485475 0
[pid=18812/tid=18818] ppid=18810 vsize=1943644 CPUtime=642.06 cores=1,3,5,7
/proc/18812/task/18818/stat : 18818 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 331610 0 0 0 63997 209 0 0 20 0 3 0 333621635 1990291456 459744 33554432000 4194304 5964478 140734810754128 140095482365944 4400078 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18812/tid=18819] ppid=18810 vsize=1943644 CPUtime=642.16 cores=1,3,5,7
/proc/18812/task/18819/stat : 18819 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 130172 0 0 0 64144 72 0 0 20 0 3 0 333621635 1990291456 459744 33554432000 4194304 5964478 140734810754128 140095471876408 4381720 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.09
Current children cumulated vsize (KiB) 1943644

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

[startup+665.507 s]
/proc/loadavg: 4.00 3.77 2.99 5/182 20872
/proc/meminfo: memFree=25295856/32873844 swapFree=7628/7628
[pid=18812] ppid=18810 vsize=2009560 CPUtime=1330.47 cores=1,3,5,7
/proc/18812/stat : 18812 (pwbo2.02) S 18810 18812 17860 0 -1 4202496 477450 0 0 0 132774 273 0 0 20 0 3 0 333621634 2057789440 474309 33554432000 4194304 5964478 140734810754128 140734810753648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18812/statm: 502390 474309 200 433 0 501954 0
[pid=18812/tid=18818] ppid=18810 vsize=2009560 CPUtime=665.26 cores=1,3,5,7
/proc/18812/task/18818/stat : 18818 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 331611 0 0 0 66316 210 0 0 20 0 3 0 333621635 2057789440 474309 33554432000 4194304 5964478 140734810754128 140095482365944 4400106 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18812/tid=18819] ppid=18810 vsize=2009560 CPUtime=665.35 cores=1,3,5,7
/proc/18812/task/18819/stat : 18819 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 144747 0 0 0 66450 85 0 0 20 0 3 0 333621635 2057789440 474309 33554432000 4194304 5964478 140734810754128 140095471876408 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1330.47
Current children cumulated vsize (KiB) 2009560

[startup+678.3 s]
/proc/loadavg: 4.00 3.78 3.01 5/182 20872
/proc/meminfo: memFree=25253432/32873844 swapFree=7628/7628
[pid=18812] ppid=18810 vsize=2009560 CPUtime=1356.04 cores=1,3,5,7
/proc/18812/stat : 18812 (pwbo2.02) S 18810 18812 17860 0 -1 4202496 485197 0 0 0 135328 276 0 0 20 0 3 0 333621634 2057789440 482048 33554432000 4194304 5964478 140734810754128 140734810753648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18812/statm: 502390 482048 200 433 0 501954 0
[pid=18812/tid=18818] ppid=18810 vsize=2009560 CPUtime=678.05 cores=1,3,5,7
/proc/18812/task/18818/stat : 18818 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 331611 0 0 0 67595 210 0 0 20 0 3 0 333621635 2057789440 482048 33554432000 4194304 5964478 140734810754128 140095482365944 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18812/tid=18819] ppid=18810 vsize=2009560 CPUtime=678.13 cores=1,3,5,7
/proc/18812/task/18819/stat : 18819 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 152494 0 0 0 67726 87 0 0 20 0 3 0 333621635 2057789440 482048 33554432000 4194304 5964478 140734810754128 140095471876408 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1356.04
Current children cumulated vsize (KiB) 2009560

[startup+684.7 s]
/proc/loadavg: 4.00 3.79 3.01 5/182 20872
/proc/meminfo: memFree=25241760/32873844 swapFree=7628/7628
[pid=18812] ppid=18810 vsize=2009560 CPUtime=1368.83 cores=1,3,5,7
/proc/18812/stat : 18812 (pwbo2.02) S 18810 18812 17860 0 -1 4202496 485204 0 0 0 136607 276 0 0 20 0 3 0 333621634 2057789440 482065 33554432000 4194304 5964478 140734810754128 140734810753648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18812/statm: 502390 482065 200 433 0 501954 0
[pid=18812/tid=18818] ppid=18810 vsize=2009560 CPUtime=684.44 cores=1,3,5,7
/proc/18812/task/18818/stat : 18818 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 331618 0 0 0 68234 210 0 0 20 0 3 0 333621635 2057789440 482065 33554432000 4194304 5964478 140734810754128 140095482365944 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18812/tid=18819] ppid=18810 vsize=2009560 CPUtime=684.53 cores=1,3,5,7
/proc/18812/task/18819/stat : 18819 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 152494 0 0 0 68366 87 0 0 20 0 3 0 333621635 2057789440 482065 33554432000 4194304 5964478 140734810754128 140095471876408 4400067 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1368.83
Current children cumulated vsize (KiB) 2009560

[startup+687.9 s]
/proc/loadavg: 4.00 3.79 3.02 5/182 20872
/proc/meminfo: memFree=25235932/32873844 swapFree=7628/7628
[pid=18812] ppid=18810 vsize=2009560 CPUtime=1375.23 cores=1,3,5,7
/proc/18812/stat : 18812 (pwbo2.02) S 18810 18812 17860 0 -1 4202496 485205 0 0 0 137247 276 0 0 20 0 3 0 333621634 2057789440 482066 33554432000 4194304 5964478 140734810754128 140734810753648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18812/statm: 502390 482066 200 433 0 501954 0
[pid=18812/tid=18818] ppid=18810 vsize=2009560 CPUtime=687.64 cores=1,3,5,7
/proc/18812/task/18818/stat : 18818 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 331619 0 0 0 68554 210 0 0 20 0 3 0 333621635 2057789440 482066 33554432000 4194304 5964478 140734810754128 140095482365944 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18812/tid=18819] ppid=18810 vsize=2009560 CPUtime=687.73 cores=1,3,5,7
/proc/18812/task/18819/stat : 18819 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 152494 0 0 0 68686 87 0 0 20 0 3 0 333621635 2057789440 482066 33554432000 4194304 5964478 140734810754128 140095471876408 4403721 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1375.23
Current children cumulated vsize (KiB) 2009560

[startup+691.1 s]
/proc/loadavg: 4.00 3.79 3.02 5/182 20872
/proc/meminfo: memFree=25231948/32873844 swapFree=7628/7628
[pid=18812] ppid=18810 vsize=2009748 CPUtime=1381.63 cores=1,3,5,7
/proc/18812/stat : 18812 (pwbo2.02) S 18810 18812 17860 0 -1 4202496 485232 0 0 0 137887 276 0 0 20 0 3 0 333621634 2057981952 482085 33554432000 4194304 5964478 140734810754128 140734810753648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18812/statm: 502437 482085 200 433 0 502001 0
[pid=18812/tid=18818] ppid=18810 vsize=2009748 CPUtime=690.84 cores=1,3,5,7
/proc/18812/task/18818/stat : 18818 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 331627 0 0 0 68874 210 0 0 20 0 3 0 333621635 2057981952 482085 33554432000 4194304 5964478 140734810754128 140095482365944 4391379 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18812/tid=18819] ppid=18810 vsize=2009748 CPUtime=690.93 cores=1,3,5,7
/proc/18812/task/18819/stat : 18819 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 152513 0 0 0 69006 87 0 0 20 0 3 0 333621635 2057981952 482085 33554432000 4194304 5964478 140734810754128 140095471876408 4400056 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1381.63
Current children cumulated vsize (KiB) 2009748

[startup+691.907 s]
/proc/loadavg: 4.00 3.79 3.02 5/182 20872
/proc/meminfo: memFree=25230708/32873844 swapFree=7628/7628
[pid=18812] ppid=18810 vsize=2009748 CPUtime=1383.24 cores=1,3,5,7
/proc/18812/stat : 18812 (pwbo2.02) S 18810 18812 17860 0 -1 4202496 485232 0 0 0 138048 276 0 0 20 0 3 0 333621634 2057981952 482085 33554432000 4194304 5964478 140734810754128 140734810753648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18812/statm: 502437 482085 200 433 0 502001 0
[pid=18812/tid=18818] ppid=18810 vsize=2009748 CPUtime=691.64 cores=1,3,5,7
/proc/18812/task/18818/stat : 18818 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 331627 0 0 0 68954 210 0 0 20 0 3 0 333621635 2057981952 482085 33554432000 4194304 5964478 140734810754128 140095482365944 4400067 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18812/tid=18819] ppid=18810 vsize=2009748 CPUtime=691.74 cores=1,3,5,7
/proc/18812/task/18819/stat : 18819 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 152513 0 0 0 69087 87 0 0 20 0 3 0 333621635 2057981952 482085 33554432000 4194304 5964478 140734810754128 140095471876168 4400628 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1383.24
Current children cumulated vsize (KiB) 2009748

[startup+692.3 s]
/proc/loadavg: 4.00 3.79 3.02 5/182 20872
/proc/meminfo: memFree=25230708/32873844 swapFree=7628/7628
[pid=18812] ppid=18810 vsize=2009748 CPUtime=1384.03 cores=1,3,5,7
/proc/18812/stat : 18812 (pwbo2.02) S 18810 18812 17860 0 -1 4202496 485232 0 0 0 138127 276 0 0 20 0 3 0 333621634 2057981952 482085 33554432000 4194304 5964478 140734810754128 140734810753648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18812/statm: 502437 482085 200 433 0 502001 0
[pid=18812/tid=18818] ppid=18810 vsize=2009748 CPUtime=692.04 cores=1,3,5,7
/proc/18812/task/18818/stat : 18818 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 331627 0 0 0 68994 210 0 0 20 0 3 0 333621635 2057981952 482085 33554432000 4194304 5964478 140734810754128 140095482365944 4400091 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18812/tid=18819] ppid=18810 vsize=2009748 CPUtime=692.13 cores=1,3,5,7
/proc/18812/task/18819/stat : 18819 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 152513 0 0 0 69126 87 0 0 20 0 3 0 333621635 2057981952 482085 33554432000 4194304 5964478 140734810754128 140095471876168 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1384.03
Current children cumulated vsize (KiB) 2009748

[startup+692.5 s]
/proc/loadavg: 4.00 3.79 3.02 5/182 20872
/proc/meminfo: memFree=25230708/32873844 swapFree=7628/7628
[pid=18812] ppid=18810 vsize=2009748 CPUtime=1384.42 cores=1,3,5,7
/proc/18812/stat : 18812 (pwbo2.02) S 18810 18812 17860 0 -1 4202496 485232 0 0 0 138166 276 0 0 20 0 3 0 333621634 2057981952 482085 33554432000 4194304 5964478 140734810754128 140734810753648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18812/statm: 502437 482085 200 433 0 502001 0
[pid=18812/tid=18818] ppid=18810 vsize=2009748 CPUtime=692.24 cores=1,3,5,7
/proc/18812/task/18818/stat : 18818 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 331627 0 0 0 69014 210 0 0 20 0 3 0 333621635 2057981952 482085 33554432000 4194304 5964478 140734810754128 140095482365944 4400097 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18812/tid=18819] ppid=18810 vsize=2009748 CPUtime=692.33 cores=1,3,5,7
/proc/18812/task/18819/stat : 18819 (pwbo2.02) R 18810 18812 17860 0 -1 4202560 152513 0 0 0 69146 87 0 0 20 0 3 0 333621635 2057981952 482085 33554432000 4194304 5964478 140734810754128 140095471876168 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1384.42
Current children cumulated vsize (KiB) 2009748

[startup+692.6 s]
/proc/loadavg: 4.00 3.79 3.02 5/182 20872
/proc/meminfo: memFree=25230708/32873844 swapFree=7628/7628
[pid=18812] ppid=18810 vsize=0 CPUtime=1384.63 cores=1,3,5,7
/proc/18812/stat : 18812 (pwbo2.02) Z 18810 18812 17860 0 -1 4203532 485237 0 0 0 138169 294 0 0 20 0 2 0 333621634 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18812/statm: 0 0 0 0 0 0 0
[pid=18812/tid=18818] ppid=18810 vsize=0 CPUtime=692.34 cores=1,3,5,7
/proc/18812/task/18818/stat : 18818 (pwbo2.02) R 18810 18812 17860 0 -1 4203588 331627 0 0 0 69017 217 0 0 20 0 2 0 333621635 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1384.63
Current children cumulated vsize (KiB) 0

Child status: 255
Real time (s): 692.62
CPU time (s): 1384.76
CPU user time (s): 1381.68
CPU system time (s): 3.08053
CPU usage (%): 199.931
Max. virtual memory (cumulated for all children) (KiB): 2009748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1381.68
system time used= 3.08053
maximum resident set size= 1928360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 485237
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= 889
involuntary context switches= 2527

runsolver used 1.38979 second user time and 3.53746 second system time

The end

Launcher Data 

Begin job on node144 at 2012-06-03 00:09:27
IDJOB=3728824
IDBENCH=79313
IDSOLVER=2316
FILE ID=node144/3728824-1338674967
RUNJOBID= node144-1338674967-18790
PBS_JOBID= 14636488
Free space on /tmp= 70836 MiB

SOLVER NAME= pwbo 2.02
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.02 -file-format=wbo -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3728824-1338674967/watcher-3728824-1338674967 -o /tmp/evaluation-result-3728824-1338674967/solver-3728824-1338674967 -C 1800 -W 1900 -M 15500  pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728824-1338674967.wbo

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

MD5SUM BENCH= 504847a4e43d2b055735d72ea944fa39
RANDOM SEED=57519697

node144.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.196
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.39
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.196
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.196
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.54
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.196
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.196
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.90
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.196
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
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.196
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.196
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:       32873844 kB
MemFree:        27752444 kB
Buffers:          622856 kB
Cached:          3614996 kB
SwapCached:          464 kB
Active:          2394864 kB
Inactive:        1862716 kB
Active(anon):       1984 kB
Inactive(anon):    11196 kB
Active(file):    2392880 kB
Inactive(file):  1851520 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108376 kB
Dirty:             11256 kB
Writeback:             4 kB
AnonPages:         17816 kB
Mapped:            13500 kB
Shmem:               172 kB
Slab:             724328 kB
SReclaimable:     166072 kB
SUnreclaim:       558256 kB
KernelStack:        1392 kB
PageTables:         4124 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     104548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70828 MiB
End job on node144 at 2012-06-03 00:21:00