Trace number 3728546

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 1597.6 799.143

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552288--soft-66-100-0.wbo
MD5SUMaabd2abc5a32dbb90eb5074319abd403
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard 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 benchmark44.8542
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 constraints930
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 46532
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46531
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 727
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-3728546-1338672903.wbo.
0.00/0.00	c Instance file HOME/instance-3728546-1338672903.wbo
0.00/0.00	c File size is 88014 bytes.
0.00/0.01	c Highest Coefficient sum: 727
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:      1161                                                |
0.00/0.01	c |  Number Clauses:        2684                                                |
0.00/0.01	c |  Number Cardinality:    14                                                  |
0.00/0.01	c |  Number PB Constraints: 9                                                   |
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 ===============================================================================
1597.60/799.10	o 236
1597.60/799.10	o 217
1597.60/799.10	o 212
1597.60/799.10	o 204
1597.60/799.10	o 193
1597.60/799.10	o 157
1597.60/799.10	o 153
1597.60/799.10	o 142
1597.60/799.10	o 137
1597.60/799.10	o 121
1597.60/799.10	o 82
1597.60/799.10	o 46
1597.60/799.10	o 41
1597.60/799.10	o 24
1597.60/799.10	o 11
1597.60/799.10	o 4
1597.60/799.10	o 2
1597.60/799.10	c ===============================================================================
1597.60/799.10	c Wall Clock Time: 799.11 s
1597.60/799.10	c Best Solution: 2
1597.60/799.10	s OPTIMUM FOUND
1597.60/799.10	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-3728546-1338672903/watcher-3728546-1338672903 -o /tmp/evaluation-result-3728546-1338672903/solver-3728546-1338672903 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728546-1338672903.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.68 3.93 3.83 2/173 27313
/proc/meminfo: memFree=30121312/32873844 swapFree=7372/7372
[pid=27313] ppid=27310 vsize=4172 CPUtime=0 cores=0,2,4,6
/proc/27313/stat : 27313 (pwbo2.02) R 27310 27313 26396 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 333418860 4272128 309 33554432000 4194304 5964478 140736267013376 140735708692888 5136490 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/27313/statm: 1043 309 165 433 0 585 0

[startup+0.0723819 s]
/proc/loadavg: 3.68 3.93 3.83 2/173 27313
/proc/meminfo: memFree=30121312/32873844 swapFree=7372/7372
[pid=27313] ppid=27310 vsize=163348 CPUtime=0.12 cores=0,2,4,6
/proc/27313/stat : 27313 (pwbo2.02) S 27310 27313 26396 0 -1 4202496 1734 0 0 0 12 0 0 0 20 0 3 0 333418860 167268352 1548 33554432000 4194304 5964478 140736267013376 140736267012896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27313/statm: 40837 1548 198 433 0 40401 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 163348

[startup+0.100167 s]
/proc/loadavg: 3.68 3.93 3.83 2/173 27313
/proc/meminfo: memFree=30121312/32873844 swapFree=7372/7372
[pid=27313] ppid=27310 vsize=163348 CPUtime=0.17 cores=0,2,4,6
/proc/27313/stat : 27313 (pwbo2.02) S 27310 27313 26396 0 -1 4202496 1882 0 0 0 17 0 0 0 20 0 3 0 333418860 167268352 1695 33554432000 4194304 5964478 140736267013376 140736267012896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27313/statm: 40837 1695 198 433 0 40401 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 163348

[startup+0.300118 s]
/proc/loadavg: 3.68 3.93 3.83 2/173 27313
/proc/meminfo: memFree=30121312/32873844 swapFree=7372/7372
[pid=27313] ppid=27310 vsize=163348 CPUtime=0.58 cores=0,2,4,6
/proc/27313/stat : 27313 (pwbo2.02) S 27310 27313 26396 0 -1 4202496 2648 0 0 0 57 1 0 0 20 0 3 0 333418860 167268352 2401 33554432000 4194304 5964478 140736267013376 140736267012896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27313/statm: 40837 2401 198 433 0 40401 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 163348

[startup+0.700127 s]
/proc/loadavg: 3.68 3.93 3.83 2/173 27313
/proc/meminfo: memFree=30121312/32873844 swapFree=7372/7372
[pid=27313] ppid=27310 vsize=163612 CPUtime=1.37 cores=0,2,4,6
/proc/27313/stat : 27313 (pwbo2.02) S 27310 27313 26396 0 -1 4202496 3601 0 0 0 136 1 0 0 20 0 3 0 333418860 167538688 3353 33554432000 4194304 5964478 140736267013376 140736267012896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27313/statm: 40903 3353 198 433 0 40467 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 163612

[startup+1.50024 s]
/proc/loadavg: 3.68 3.93 3.83 5/182 27327
/proc/meminfo: memFree=30090324/32873844 swapFree=7372/7372
[pid=27313] ppid=27310 vsize=163744 CPUtime=2.97 cores=0,2,4,6
/proc/27313/stat : 27313 (pwbo2.02) S 27310 27313 26396 0 -1 4202496 4449 0 0 0 295 2 0 0 20 0 3 0 333418860 167673856 4186 33554432000 4194304 5964478 140736267013376 140736267012896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27313/statm: 40936 4186 198 433 0 40500 0
[pid=27313/tid=27315] ppid=27310 vsize=163744 CPUtime=1.47 cores=0,2,4,6
/proc/27313/task/27315/stat : 27315 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 2175 0 0 0 145 2 0 0 20 0 3 0 333418862 167673856 4186 33554432000 4194304 5964478 140736267013376 139903310690288 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27313/tid=27316] ppid=27310 vsize=163744 CPUtime=1.46 cores=0,2,4,6
/proc/27313/task/27316/stat : 27316 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 1315 0 0 0 146 0 0 0 20 0 3 0 333418862 167673856 4186 33554432000 4194304 5964478 140736267013376 139903300200864 4373442 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 163744

[startup+3.10027 s]
/proc/loadavg: 3.68 3.93 3.83 5/182 27327
/proc/meminfo: memFree=30075412/32873844 swapFree=7372/7372
[pid=27313] ppid=27310 vsize=164012 CPUtime=6.16 cores=0,2,4,6
/proc/27313/stat : 27313 (pwbo2.02) S 27310 27313 26396 0 -1 4202496 7095 0 0 0 614 2 0 0 20 0 3 0 333418860 167948288 6832 33554432000 4194304 5964478 140736267013376 140736267012896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27313/statm: 41003 6832 198 433 0 40567 0
[pid=27313/tid=27315] ppid=27310 vsize=164012 CPUtime=3.06 cores=0,2,4,6
/proc/27313/task/27315/stat : 27315 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 4062 0 0 0 304 2 0 0 20 0 3 0 333418862 167948288 6832 33554432000 4194304 5964478 140736267013376 139903310690296 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27313/tid=27316] ppid=27310 vsize=164012 CPUtime=3.06 cores=0,2,4,6
/proc/27313/task/27316/stat : 27316 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 2074 0 0 0 306 0 0 0 20 0 3 0 333418862 167948288 6832 33554432000 4194304 5964478 140736267013376 139903300200864 4400628 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 164012

[startup+6.30029 s]
/proc/loadavg: 3.95 3.98 3.84 5/182 27327
/proc/meminfo: memFree=30029532/32873844 swapFree=7372/7372
[pid=27313] ppid=27310 vsize=164896 CPUtime=12.56 cores=0,2,4,6
/proc/27313/stat : 27313 (pwbo2.02) S 27310 27313 26396 0 -1 4202496 12206 0 0 0 1252 4 0 0 20 0 3 0 333418860 168853504 11943 33554432000 4194304 5964478 140736267013376 140736267012896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27313/statm: 41224 11943 198 433 0 40788 0
[pid=27313/tid=27315] ppid=27310 vsize=164896 CPUtime=6.25 cores=0,2,4,6
/proc/27313/task/27315/stat : 27315 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 7475 0 0 0 622 3 0 0 20 0 3 0 333418862 168853504 11943 33554432000 4194304 5964478 140736267013376 139903310690296 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27313/tid=27316] ppid=27310 vsize=164896 CPUtime=6.25 cores=0,2,4,6
/proc/27313/task/27316/stat : 27316 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 3772 0 0 0 625 0 0 0 20 0 3 0 333418862 168853504 11943 33554432000 4194304 5964478 140736267013376 139903300200864 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 164896

[startup+12.7003 s]
/proc/loadavg: 3.95 3.98 3.84 5/182 27327
/proc/meminfo: memFree=29940456/32873844 swapFree=7372/7372
[pid=27313] ppid=27310 vsize=166076 CPUtime=25.36 cores=0,2,4,6
/proc/27313/stat : 27313 (pwbo2.02) S 27310 27313 26396 0 -1 4202496 21262 0 0 0 2528 8 0 0 20 0 3 0 333418860 170061824 21284 33554432000 4194304 5964478 140736267013376 140736267012896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27313/statm: 41519 21284 198 433 0 41083 0
[pid=27313/tid=27315] ppid=27310 vsize=166076 CPUtime=12.64 cores=0,2,4,6
/proc/27313/task/27315/stat : 27315 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 11724 0 0 0 1259 5 0 0 20 0 3 0 333418862 170061824 21284 33554432000 4194304 5964478 140736267013376 139903310690288 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27313/tid=27316] ppid=27310 vsize=166076 CPUtime=12.62 cores=0,2,4,6
/proc/27313/task/27316/stat : 27316 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 8579 0 0 0 1260 2 0 0 20 0 3 0 333418862 170061824 21284 33554432000 4194304 5964478 140736267013376 139903300200760 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 166076

[startup+25.5003 s]
/proc/loadavg: 4.03 4.00 3.85 5/182 27327
/proc/meminfo: memFree=29853456/32873844 swapFree=7372/7372
[pid=27313] ppid=27310 vsize=232992 CPUtime=50.94 cores=0,2,4,6
/proc/27313/stat : 27313 (pwbo2.02) S 27310 27313 26396 0 -1 4202496 35079 0 0 0 5080 14 0 0 20 0 3 0 333418860 238583808 35093 33554432000 4194304 5964478 140736267013376 140736267012896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27313/statm: 58248 35094 198 433 0 57812 0
[pid=27313/tid=27315] ppid=27310 vsize=232992 CPUtime=25.4 cores=0,2,4,6
/proc/27313/task/27315/stat : 27315 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 18199 0 0 0 2533 7 0 0 20 0 3 0 333418862 238583808 35094 33554432000 4194304 5964478 140736267013376 139903310690208 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27313/tid=27316] ppid=27310 vsize=232992 CPUtime=25.38 cores=0,2,4,6
/proc/27313/task/27316/stat : 27316 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 15922 0 0 0 2533 5 0 0 20 0 3 0 333418862 238583808 35094 33554432000 4194304 5964478 140736267013376 139903300200864 4392955 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 232992

[startup+51.1004 s]
/proc/loadavg: 4.02 4.00 3.85 5/181 27327
/proc/meminfo: memFree=29710816/32873844 swapFree=7372/7372
[pid=27313] ppid=27310 vsize=300296 CPUtime=102.11 cores=0,2,4,6
/proc/27313/stat : 27313 (pwbo2.02) S 27310 27313 26396 0 -1 4202496 52502 0 0 0 10176 35 0 0 20 0 3 0 333418860 307503104 52493 33554432000 4194304 5964478 140736267013376 140736267012896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27313/statm: 75074 52493 198 433 0 74638 0
[pid=27313/tid=27315] ppid=27310 vsize=300296 CPUtime=50.93 cores=0,2,4,6
/proc/27313/task/27315/stat : 27315 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 27781 0 0 0 5078 15 0 0 20 0 3 0 333418862 307503104 52493 33554432000 4194304 5964478 140736267013376 139903310690296 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27313/tid=27316] ppid=27310 vsize=300296 CPUtime=50.89 cores=0,2,4,6
/proc/27313/task/27316/stat : 27316 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 23762 0 0 0 5070 19 0 0 20 0 3 0 333418862 307503104 52493 33554432000 4194304 5964478 140736267013376 139903300200760 4400097 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 300296

[startup+102.3 s]
/proc/loadavg: 4.01 4.00 3.86 5/181 27328
/proc/meminfo: memFree=29508020/32873844 swapFree=7372/7372
[pid=27313] ppid=27310 vsize=367116 CPUtime=204.47 cores=0,2,4,6
/proc/27313/stat : 27313 (pwbo2.02) S 27310 27313 26396 0 -1 4202496 70184 0 0 0 20372 75 0 0 20 0 3 0 333418860 375926784 71281 33554432000 4194304 5964478 140736267013376 140736267012896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27313/statm: 91779 71281 198 433 0 91343 0
[pid=27313/tid=27315] ppid=27310 vsize=367116 CPUtime=101.98 cores=0,2,4,6
/proc/27313/task/27315/stat : 27315 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 43136 0 0 0 10148 50 0 0 20 0 3 0 333418862 375926784 71281 33554432000 4194304 5964478 140736267013376 139903310690208 4400056 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27313/tid=27316] ppid=27310 vsize=367116 CPUtime=101.96 cores=0,2,4,6
/proc/27313/task/27316/stat : 27316 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 26089 0 0 0 10170 26 0 0 20 0 3 0 333418862 375926784 71281 33554432000 4194304 5964478 140736267013376 139903300200864 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 204.47
Current children cumulated vsize (KiB) 367116

[startup+162.3 s]
/proc/loadavg: 4.04 4.01 3.87 5/181 27328
/proc/meminfo: memFree=29313876/32873844 swapFree=7372/7372
[pid=27313] ppid=27310 vsize=499300 CPUtime=324.44 cores=0,2,4,6
/proc/27313/stat : 27313 (pwbo2.02) S 27310 27313 26396 0 -1 4202496 103026 0 0 0 32339 105 0 0 20 0 3 0 333418860 511283200 104123 33554432000 4194304 5964478 140736267013376 140736267012896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27313/statm: 124825 104123 198 433 0 124389 0
[pid=27313/tid=27315] ppid=27310 vsize=499300 CPUtime=161.82 cores=0,2,4,6
/proc/27313/task/27315/stat : 27315 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 64089 0 0 0 16108 74 0 0 20 0 3 0 333418862 511283200 104123 33554432000 4194304 5964478 140736267013376 139903310690296 4400401 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27313/tid=27316] ppid=27310 vsize=499300 CPUtime=161.79 cores=0,2,4,6
/proc/27313/task/27316/stat : 27316 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 37978 0 0 0 16144 35 0 0 20 0 3 0 333418862 511283200 104123 33554432000 4194304 5964478 140736267013376 139903300200760 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.44
Current children cumulated vsize (KiB) 499300

[startup+222.307 s]
/proc/loadavg: 4.14 4.04 3.88 5/181 27328
/proc/meminfo: memFree=29145512/32873844 swapFree=7372/7372
[pid=27313] ppid=27310 vsize=567060 CPUtime=444.42 cores=0,2,4,6
/proc/27313/stat : 27313 (pwbo2.02) S 27310 27313 26396 0 -1 4202496 117115 0 0 0 44326 116 0 0 20 0 3 0 333418860 580669440 118212 33554432000 4194304 5964478 140736267013376 140736267012896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27313/statm: 141765 118212 198 433 0 141329 0
[pid=27313/tid=27315] ppid=27310 vsize=567060 CPUtime=221.67 cores=0,2,4,6
/proc/27313/task/27315/stat : 27315 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 70743 0 0 0 22087 80 0 0 20 0 3 0 333418862 580669440 118212 33554432000 4194304 5964478 140736267013376 139903310690208 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27313/tid=27316] ppid=27310 vsize=567060 CPUtime=221.63 cores=0,2,4,6
/proc/27313/task/27316/stat : 27316 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 45413 0 0 0 22121 42 0 0 20 0 3 0 333418862 580669440 118212 33554432000 4194304 5964478 140736267013376 139903300200864 4399854 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 444.42
Current children cumulated vsize (KiB) 567060

[startup+282.3 s]
/proc/loadavg: 4.05 4.03 3.89 5/181 27328
/proc/meminfo: memFree=29067172/32873844 swapFree=7372/7372
[pid=27313] ppid=27310 vsize=567968 CPUtime=564.38 cores=0,2,4,6
/proc/27313/stat : 27313 (pwbo2.02) S 27310 27313 26396 0 -1 4202496 124668 0 0 0 56316 122 0 0 20 0 3 0 333418860 581599232 125746 33554432000 4194304 5964478 140736267013376 140736267012896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27313/statm: 141992 125746 198 433 0 141556 0
[pid=27313/tid=27315] ppid=27310 vsize=567968 CPUtime=281.51 cores=0,2,4,6
/proc/27313/task/27315/stat : 27315 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 72449 0 0 0 28068 83 0 0 20 0 3 0 333418862 581599232 125746 33554432000 4194304 5964478 140736267013376 139903310690296 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27313/tid=27316] ppid=27310 vsize=567968 CPUtime=281.46 cores=0,2,4,6
/proc/27313/task/27316/stat : 27316 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 51260 0 0 0 28099 47 0 0 20 0 3 0 333418862 581599232 125746 33554432000 4194304 5964478 140736267013376 139903300200792 4400016 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 564.38
Current children cumulated vsize (KiB) 567968

[startup+342.3 s]
/proc/loadavg: 4.02 4.02 3.90 5/182 27331
/proc/meminfo: memFree=28969684/32873844 swapFree=7372/7372
[pid=27313] ppid=27310 vsize=635760 CPUtime=684.37 cores=0,2,4,6
/proc/27313/stat : 27313 (pwbo2.02) S 27310 27313 26396 0 -1 4202496 147250 0 0 0 68291 146 0 0 20 0 3 0 333418860 651018240 148463 33554432000 4194304 5964478 140736267013376 140736267012896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27313/statm: 158940 148463 198 433 0 158504 0

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

/proc/loadavg: 4.00 4.00 3.91 5/181 27332
/proc/meminfo: memFree=28201528/32873844 swapFree=7372/7372
[pid=27313] ppid=27310 vsize=1041276 CPUtime=1284.06 cores=0,2,4,6
/proc/27313/stat : 27313 (pwbo2.02) S 27310 27313 26396 0 -1 4202496 246772 0 0 0 128171 235 0 0 20 0 3 0 333418860 1066266624 248208 33554432000 4194304 5964478 140736267013376 140736267012896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27313/statm: 260319 248208 198 433 0 259883 0
[pid=27313/tid=27315] ppid=27310 vsize=1041276 CPUtime=640.44 cores=0,2,4,6
/proc/27313/task/27315/stat : 27315 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 161243 0 0 0 63868 176 0 0 20 0 3 0 333418862 1066266624 248208 33554432000 4194304 5964478 140736267013376 139903310690296 4400097 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27313/tid=27316] ppid=27310 vsize=1041276 CPUtime=640.46 cores=0,2,4,6
/proc/27313/task/27316/stat : 27316 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 84570 0 0 0 63970 76 0 0 20 0 3 0 333418862 1066266624 248208 33554432000 4194304 5964478 140736267013376 139903300200760 4400106 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1284.06
Current children cumulated vsize (KiB) 1041276

[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 27333
/proc/meminfo: memFree=28112732/32873844 swapFree=7372/7372
[pid=27313] ppid=27310 vsize=1109648 CPUtime=1404.04 cores=0,2,4,6
/proc/27313/stat : 27313 (pwbo2.02) S 27310 27313 26396 0 -1 4202496 259792 0 0 0 140154 250 0 0 20 0 3 0 333418860 1136279552 261222 33554432000 4194304 5964478 140736267013376 140736267012896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27313/statm: 277412 261222 198 433 0 276976 0
[pid=27313/tid=27315] ppid=27310 vsize=1109648 CPUtime=700.28 cores=0,2,4,6
/proc/27313/task/27315/stat : 27315 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 174085 0 0 0 69836 192 0 0 20 0 3 0 333418862 1136279552 261222 33554432000 4194304 5964478 140736267013376 139903310690296 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27313/tid=27316] ppid=27310 vsize=1109648 CPUtime=700.3 cores=0,2,4,6
/proc/27313/task/27316/stat : 27316 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 84748 0 0 0 69952 78 0 0 20 0 3 0 333418862 1136279552 261222 33554432000 4194304 5964478 140736267013376 139903300200568 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1404.04
Current children cumulated vsize (KiB) 1109648

[startup+762.3 s]
/proc/loadavg: 4.06 4.02 3.91 5/181 27373
/proc/meminfo: memFree=28892464/32873844 swapFree=7372/7372
[pid=27313] ppid=27310 vsize=1178152 CPUtime=1524.03 cores=0,2,4,6
/proc/27313/stat : 27313 (pwbo2.02) S 27310 27313 26396 0 -1 4202496 270634 0 0 0 152141 262 0 0 20 0 3 0 333418860 1206427648 272203 33554432000 4194304 5964478 140736267013376 140736267012896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27313/statm: 294538 272203 198 433 0 294102 0
[pid=27313/tid=27315] ppid=27310 vsize=1178152 CPUtime=760.14 cores=0,2,4,6
/proc/27313/task/27315/stat : 27315 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 184826 0 0 0 75810 204 0 0 20 0 3 0 333418862 1206427648 272203 33554432000 4194304 5964478 140736267013376 139903310690296 4400091 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27313/tid=27316] ppid=27310 vsize=1178152 CPUtime=760.15 cores=0,2,4,6
/proc/27313/task/27316/stat : 27316 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 84849 0 0 0 75936 79 0 0 20 0 3 0 333418862 1206427648 272203 33554432000 4194304 5964478 140736267013376 139903300200520 4400106 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1524.03
Current children cumulated vsize (KiB) 1178152

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

[startup+768 s]
/proc/loadavg: 4.06 4.01 3.91 5/181 27373
/proc/meminfo: memFree=28871260/32873844 swapFree=7372/7372
[pid=27313] ppid=27310 vsize=1178312 CPUtime=1535.41 cores=0,2,4,6
/proc/27313/stat : 27313 (pwbo2.02) S 27310 27313 26396 0 -1 4202496 271469 0 0 0 153278 263 0 0 20 0 3 0 333418860 1206591488 273038 33554432000 4194304 5964478 140736267013376 140736267012896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27313/statm: 294578 273038 198 433 0 294142 0
[pid=27313/tid=27315] ppid=27310 vsize=1178312 CPUtime=765.81 cores=0,2,4,6
/proc/27313/task/27315/stat : 27315 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 185661 0 0 0 76375 206 0 0 20 0 3 0 333418862 1206591488 273038 33554432000 4194304 5964478 140736267013376 139903310690344 4381601 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27313/tid=27316] ppid=27310 vsize=1178312 CPUtime=765.83 cores=0,2,4,6
/proc/27313/task/27316/stat : 27316 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 84849 0 0 0 76504 79 0 0 20 0 3 0 333418862 1206591488 273038 33554432000 4194304 5964478 140736267013376 139903300200520 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1535.41
Current children cumulated vsize (KiB) 1178312

[startup+780.8 s]
/proc/loadavg: 4.04 4.01 3.91 5/181 27373
/proc/meminfo: memFree=28838616/32873844 swapFree=7372/7372
[pid=27313] ppid=27310 vsize=1178860 CPUtime=1561.02 cores=0,2,4,6
/proc/27313/stat : 27313 (pwbo2.02) S 27310 27313 26396 0 -1 4202496 273939 0 0 0 155835 267 0 0 20 0 3 0 333418860 1207152640 275508 33554432000 4194304 5964478 140736267013376 140736267012896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27313/statm: 294715 275508 198 433 0 294279 0
[pid=27313/tid=27315] ppid=27310 vsize=1178860 CPUtime=778.58 cores=0,2,4,6
/proc/27313/task/27315/stat : 27315 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 188072 0 0 0 77649 209 0 0 20 0 3 0 333418862 1207152640 275508 33554432000 4194304 5964478 140736267013376 139903310690296 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27313/tid=27316] ppid=27310 vsize=1178860 CPUtime=778.59 cores=0,2,4,6
/proc/27313/task/27316/stat : 27316 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 84908 0 0 0 77780 79 0 0 20 0 3 0 333418862 1207152640 275508 33554432000 4194304 5964478 140736267013376 139903300200520 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1561.02
Current children cumulated vsize (KiB) 1178860

[startup+787.2 s]
/proc/loadavg: 4.04 4.01 3.91 5/181 27373
/proc/meminfo: memFree=28808856/32873844 swapFree=7372/7372
[pid=27313] ppid=27310 vsize=1179000 CPUtime=1573.81 cores=0,2,4,6
/proc/27313/stat : 27313 (pwbo2.02) S 27310 27313 26396 0 -1 4202496 275312 0 0 0 157114 267 0 0 20 0 3 0 333418860 1207296000 276881 33554432000 4194304 5964478 140736267013376 140736267012896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27313/statm: 294750 276881 198 433 0 294314 0
[pid=27313/tid=27315] ppid=27310 vsize=1179000 CPUtime=784.97 cores=0,2,4,6
/proc/27313/task/27315/stat : 27315 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 189397 0 0 0 78287 210 0 0 20 0 3 0 333418862 1207296000 276881 33554432000 4194304 5964478 140736267013376 139903310690296 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27313/tid=27316] ppid=27310 vsize=1179000 CPUtime=784.98 cores=0,2,4,6
/proc/27313/task/27316/stat : 27316 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 84956 0 0 0 78419 79 0 0 20 0 3 0 333418862 1207296000 276881 33554432000 4194304 5964478 140736267013376 139903300200520 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1573.81
Current children cumulated vsize (KiB) 1179000

[startup+793.6 s]
/proc/loadavg: 4.04 4.01 3.91 5/181 27373
/proc/meminfo: memFree=28771268/32873844 swapFree=7372/7372
[pid=27313] ppid=27310 vsize=1179808 CPUtime=1586.61 cores=0,2,4,6
/proc/27313/stat : 27313 (pwbo2.02) S 27310 27313 26396 0 -1 4202496 276528 0 0 0 158392 269 0 0 20 0 3 0 333418860 1208123392 278097 33554432000 4194304 5964478 140736267013376 140736267012896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27313/statm: 294952 278097 198 433 0 294516 0
[pid=27313/tid=27315] ppid=27310 vsize=1179808 CPUtime=791.35 cores=0,2,4,6
/proc/27313/task/27315/stat : 27315 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 190613 0 0 0 78924 211 0 0 20 0 3 0 333418862 1208123392 278097 33554432000 4194304 5964478 140736267013376 139903310690296 4400078 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27313/tid=27316] ppid=27310 vsize=1179808 CPUtime=791.36 cores=0,2,4,6
/proc/27313/task/27316/stat : 27316 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 84956 0 0 0 79056 80 0 0 20 0 3 0 333418862 1208123392 278097 33554432000 4194304 5964478 140736267013376 139903300200864 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1586.61
Current children cumulated vsize (KiB) 1179808

[startup+796.8 s]
/proc/loadavg: 4.03 4.01 3.91 5/181 27373
/proc/meminfo: memFree=28759984/32873844 swapFree=7372/7372
[pid=27313] ppid=27310 vsize=1180048 CPUtime=1593.01 cores=0,2,4,6
/proc/27313/stat : 27313 (pwbo2.02) S 27310 27313 26396 0 -1 4202496 277161 0 0 0 159032 269 0 0 20 0 3 0 333418860 1208369152 278730 33554432000 4194304 5964478 140736267013376 140736267012896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27313/statm: 295012 278730 198 433 0 294576 0
[pid=27313/tid=27315] ppid=27310 vsize=1180048 CPUtime=794.54 cores=0,2,4,6
/proc/27313/task/27315/stat : 27315 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 191246 0 0 0 79241 213 0 0 20 0 3 0 333418862 1208369152 278730 33554432000 4194304 5964478 140736267013376 139903310690296 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27313/tid=27316] ppid=27310 vsize=1180048 CPUtime=794.55 cores=0,2,4,6
/proc/27313/task/27316/stat : 27316 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 84956 0 0 0 79375 80 0 0 20 0 3 0 333418862 1208369152 278730 33554432000 4194304 5964478 140736267013376 139903300200864 4400024 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1593.01
Current children cumulated vsize (KiB) 1180048

[startup+798.4 s]
/proc/loadavg: 4.03 4.01 3.91 5/181 27373
/proc/meminfo: memFree=28758248/32873844 swapFree=7372/7372
[pid=27313] ppid=27310 vsize=1180048 CPUtime=1596.2 cores=0,2,4,6
/proc/27313/stat : 27313 (pwbo2.02) S 27310 27313 26396 0 -1 4202496 277514 0 0 0 159351 269 0 0 20 0 3 0 333418860 1208369152 279083 33554432000 4194304 5964478 140736267013376 140736267012896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27313/statm: 295012 279083 198 433 0 294576 0
[pid=27313/tid=27315] ppid=27310 vsize=1180048 CPUtime=796.14 cores=0,2,4,6
/proc/27313/task/27315/stat : 27315 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 191599 0 0 0 79401 213 0 0 20 0 3 0 333418862 1208369152 279083 33554432000 4194304 5964478 140736267013376 139903310690296 4400097 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27313/tid=27316] ppid=27310 vsize=1180048 CPUtime=796.15 cores=0,2,4,6
/proc/27313/task/27316/stat : 27316 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 84956 0 0 0 79535 80 0 0 20 0 3 0 333418862 1208369152 279083 33554432000 4194304 5964478 140736267013376 139903300200864 4400097 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1596.2
Current children cumulated vsize (KiB) 1180048

[startup+798.8 s]
/proc/loadavg: 4.03 4.01 3.91 5/181 27373
/proc/meminfo: memFree=28754636/32873844 swapFree=7372/7372
[pid=27313] ppid=27310 vsize=1180048 CPUtime=1597 cores=0,2,4,6
/proc/27313/stat : 27313 (pwbo2.02) S 27310 27313 26396 0 -1 4202496 277603 0 0 0 159431 269 0 0 20 0 3 0 333418860 1208369152 279172 33554432000 4194304 5964478 140736267013376 140736267012896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27313/statm: 295012 279172 198 433 0 294576 0
[pid=27313/tid=27315] ppid=27310 vsize=1180048 CPUtime=796.54 cores=0,2,4,6
/proc/27313/task/27315/stat : 27315 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 191688 0 0 0 79441 213 0 0 20 0 3 0 333418862 1208369152 279172 33554432000 4194304 5964478 140736267013376 139903310690296 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27313/tid=27316] ppid=27310 vsize=1180048 CPUtime=796.55 cores=0,2,4,6
/proc/27313/task/27316/stat : 27316 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 84956 0 0 0 79575 80 0 0 20 0 3 0 333418862 1208369152 279172 33554432000 4194304 5964478 140736267013376 139903300200864 4400087 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1597
Current children cumulated vsize (KiB) 1180048

[startup+799 s]
/proc/loadavg: 4.03 4.01 3.91 5/181 27373
/proc/meminfo: memFree=28754636/32873844 swapFree=7372/7372
[pid=27313] ppid=27310 vsize=1180048 CPUtime=1597.4 cores=0,2,4,6
/proc/27313/stat : 27313 (pwbo2.02) S 27310 27313 26396 0 -1 4202496 277638 0 0 0 159471 269 0 0 20 0 3 0 333418860 1208369152 279207 33554432000 4194304 5964478 140736267013376 140736267012896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27313/statm: 295012 279207 198 433 0 294576 0
[pid=27313/tid=27315] ppid=27310 vsize=1180048 CPUtime=796.74 cores=0,2,4,6
/proc/27313/task/27315/stat : 27315 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 191723 0 0 0 79461 213 0 0 20 0 3 0 333418862 1208369152 279207 33554432000 4194304 5964478 140736267013376 139903310690296 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27313/tid=27316] ppid=27310 vsize=1180048 CPUtime=796.75 cores=0,2,4,6
/proc/27313/task/27316/stat : 27316 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 84956 0 0 0 79595 80 0 0 20 0 3 0 333418862 1208369152 279207 33554432000 4194304 5964478 140736267013376 139903300200864 4400067 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1597.4
Current children cumulated vsize (KiB) 1180048

[startup+799.1 s]
/proc/loadavg: 4.03 4.01 3.91 5/181 27373
/proc/meminfo: memFree=28754636/32873844 swapFree=7372/7372
[pid=27313] ppid=27310 vsize=1180048 CPUtime=1597.6 cores=0,2,4,6
/proc/27313/stat : 27313 (pwbo2.02) S 27310 27313 26396 0 -1 4202496 277657 0 0 0 159491 269 0 0 20 0 3 0 333418860 1208369152 279226 33554432000 4194304 5964478 140736267013376 140736267012896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27313/statm: 295012 279226 198 433 0 294576 0
[pid=27313/tid=27315] ppid=27310 vsize=1180048 CPUtime=796.84 cores=0,2,4,6
/proc/27313/task/27315/stat : 27315 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 191742 0 0 0 79471 213 0 0 20 0 3 0 333418862 1208369152 279226 33554432000 4194304 5964478 140736267013376 139903310690296 4400097 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27313/tid=27316] ppid=27310 vsize=1180048 CPUtime=796.85 cores=0,2,4,6
/proc/27313/task/27316/stat : 27316 (pwbo2.02) R 27310 27313 26396 0 -1 4202560 84956 0 0 0 79605 80 0 0 20 0 3 0 333418862 1208369152 279226 33554432000 4194304 5964478 140736267013376 139903300200864 4400087 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1597.6
Current children cumulated vsize (KiB) 1180048

Child status: 255

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27313 and gives
#  childrusage.ru_utime.tv_sec=1590
#  childrusage.ru_utime.tv_usec=797162
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=981546
# CPU time returned by wait4() is 1593.78
# while last known CPU time is 1597.6
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 799.143
CPU time (s): 1597.6
CPU user time (s): 1594.91
CPU system time (s): 2.69
CPU usage (%): 199.914
Max. virtual memory (cumulated for all children) (KiB): 1180048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1590.8
system time used= 2.98155
maximum resident set size= 1116928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277663
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= 911
involuntary context switches= 1912

runsolver used 1.18482 second user time and 3.18152 second system time

The end

Launcher Data 

Begin job on node109 at 2012-06-02 23:35:03
IDJOB=3728546
IDBENCH=78978
IDSOLVER=2316
FILE ID=node109/3728546-1338672903
RUNJOBID= node109-1338670195-26999
PBS_JOBID= 14636486
Free space on /tmp= 70716 MiB

SOLVER NAME= pwbo 2.02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900552288--soft-66-100-0.wbo
COMMAND LINE= pwbo2.02 -file-format=wbo -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3728546-1338672903/watcher-3728546-1338672903 -o /tmp/evaluation-result-3728546-1338672903/solver-3728546-1338672903 -C 1800 -W 1900 -M 15500  pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728546-1338672903.wbo

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

MD5SUM BENCH= aabd2abc5a32dbb90eb5074319abd403
RANDOM SEED=309119440

node109.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		: 2667.264
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	: 5334.52
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		: 2667.264
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		: 2667.264
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	: 5331.91
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		: 2667.264
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		: 2667.264
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		: 2667.264
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.91
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		: 2667.264
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		: 2667.264
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30121816 kB
Buffers:          326788 kB
Cached:          1541432 kB
SwapCached:          944 kB
Active:           891028 kB
Inactive:         985868 kB
Active(anon):       3124 kB
Inactive(anon):     7796 kB
Active(file):     887904 kB
Inactive(file):   978072 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67105492 kB
Dirty:              5544 kB
Writeback:             0 kB
AnonPages:         15144 kB
Mapped:             9344 kB
Shmem:                 4 kB
Slab:             735876 kB
SReclaimable:     178168 kB
SUnreclaim:       557708 kB
KernelStack:        1456 kB
PageTables:         3604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     102936 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= 70704 MiB
End job on node109 at 2012-06-02 23:48:22