Trace number 3728821

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.02MSAT (TO) 1800.55 900.45

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900557957--soft-0-100-0.wbo
MD5SUMc90222590d839243781a638355a39a56
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark66.65
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 136368
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 136367
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 717
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-3728821-1338674783.wbo.
0.00/0.00	c Instance file HOME/instance-3728821-1338674783.wbo
0.00/0.00	c File size is 96769 bytes.
0.00/0.01	c Highest Coefficient sum: 717
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 ===============================================================================
1800.10/900.31	o 1093
1800.10/900.31	o 629
1800.10/900.31	o 598
1800.10/900.31	o 592
1800.10/900.31	o 582
1800.10/900.31	o 564
1800.10/900.31	o 323
1800.10/900.31	o 317
1800.10/900.31	o 275
1800.10/900.31	o 268
1800.10/900.31	o 267
1800.10/900.31	o 250
1800.10/900.31	o 236
1800.10/900.31	o 231
1800.10/900.31	o 217
1800.10/900.31	o 207
1800.10/900.31	o 200
1800.10/900.31	o 197
1800.10/900.31	o 192
1800.10/900.31	o 185
1800.10/900.31	o 171
1800.10/900.31	o 170
1800.10/900.31	o 154
1800.10/900.31	o 153
1800.10/900.31	o 136
1800.10/900.31	o 134
1800.10/900.31	o 109
1800.10/900.31	o 86
1800.10/900.31	o 80
1800.10/900.31	o 78
1800.10/900.31	o 74
1800.10/900.31	o 54
1800.10/900.31	o 51
1800.10/900.31	o 50
1800.10/900.31	o 49
1800.10/900.31	o 38
1800.10/900.31	o 37
1800.10/900.31	o 31
1800.10/900.31	o 27
1800.10/900.31	o 25
1800.10/900.31	o 23
1800.10/900.31	o 22
1800.10/900.31	o 21
1800.10/900.31	o 17
1800.10/900.31	o 13
1800.10/900.31	o 12
1800.10/900.31	o 10
1800.10/900.31	o 7
1800.10/900.31	o 4
1800.10/900.31	c ===============================================================================
1800.10/900.31	c Wall Clock Time: 900.31 s
1800.10/900.31	c Best Solution: 4
1800.10/900.31	s SATISFIABLE
1800.10/900.31	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	4

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-3728821-1338674783/watcher-3728821-1338674783 -o /tmp/evaluation-result-3728821-1338674783/solver-3728821-1338674783 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728821-1338674783.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.77 3.87 3.21 4/178 24195
/proc/meminfo: memFree=28221332/32873844 swapFree=7116/7116
[pid=24195] ppid=24193 vsize=4432 CPUtime=0 cores=0,2,4,6
/proc/24195/stat : 24195 (pwbo2.02) R 24193 24195 23469 0 -1 4202496 413 0 0 0 0 0 0 0 20 0 1 0 333606856 4538368 365 33554432000 4194304 5964478 140736919301008 140736619996872 4395199 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/24195/statm: 1108 365 166 433 0 648 0

[startup+0.037121 s]
/proc/loadavg: 3.77 3.87 3.21 4/178 24195
/proc/meminfo: memFree=28221332/32873844 swapFree=7116/7116
[pid=24195] ppid=24193 vsize=164272 CPUtime=0.04 cores=0,2,4,6
/proc/24195/stat : 24195 (pwbo2.02) S 24193 24195 23469 0 -1 4202496 2230 0 0 0 4 0 0 0 20 0 3 0 333606856 168214528 2024 33554432000 4194304 5964478 140736919301008 140736919300528 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24195/statm: 41068 2024 198 433 0 40632 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 164272

[startup+0.10017 s]
/proc/loadavg: 3.77 3.87 3.21 4/178 24195
/proc/meminfo: memFree=28221332/32873844 swapFree=7116/7116
[pid=24195] ppid=24193 vsize=164272 CPUtime=0.17 cores=0,2,4,6
/proc/24195/stat : 24195 (pwbo2.02) S 24193 24195 23469 0 -1 4202496 3273 0 0 0 16 1 0 0 20 0 3 0 333606856 168214528 2563 33554432000 4194304 5964478 140736919301008 140736919300528 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24195/statm: 41068 2563 198 433 0 40632 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 164272

[startup+0.300128 s]
/proc/loadavg: 3.77 3.87 3.21 4/178 24195
/proc/meminfo: memFree=28221332/32873844 swapFree=7116/7116
[pid=24195] ppid=24193 vsize=164272 CPUtime=0.57 cores=0,2,4,6
/proc/24195/stat : 24195 (pwbo2.02) S 24193 24195 23469 0 -1 4202496 4408 0 0 0 54 3 0 0 20 0 3 0 333606856 168214528 3294 33554432000 4194304 5964478 140736919301008 140736919300528 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24195/statm: 41068 3294 198 433 0 40632 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 164272

[startup+0.700132 s]
/proc/loadavg: 3.77 3.87 3.21 4/178 24195
/proc/meminfo: memFree=28221332/32873844 swapFree=7116/7116
[pid=24195] ppid=24193 vsize=164272 CPUtime=1.37 cores=0,2,4,6
/proc/24195/stat : 24195 (pwbo2.02) S 24193 24195 23469 0 -1 4202496 5409 0 0 0 131 6 0 0 20 0 3 0 333606856 168214528 4191 33554432000 4194304 5964478 140736919301008 140736919300528 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24195/statm: 41068 4191 198 433 0 40632 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 164272

[startup+1.50025 s]
/proc/loadavg: 3.77 3.87 3.21 5/181 24198
/proc/meminfo: memFree=28189432/32873844 swapFree=7116/7116
[pid=24195] ppid=24193 vsize=164272 CPUtime=2.97 cores=0,2,4,6
/proc/24195/stat : 24195 (pwbo2.02) S 24193 24195 23469 0 -1 4202496 7738 0 0 0 289 8 0 0 20 0 3 0 333606856 168214528 5808 33554432000 4194304 5964478 140736919301008 140736919300528 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24195/statm: 41068 5808 198 433 0 40632 0
[pid=24195/tid=24197] ppid=24193 vsize=164272 CPUtime=1.47 cores=0,2,4,6
/proc/24195/task/24197/stat : 24197 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 3158 0 0 0 139 8 0 0 20 0 3 0 333606858 168214528 5808 33554432000 4194304 5964478 140736919301008 139657665128488 4399912 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24195/tid=24198] ppid=24193 vsize=164272 CPUtime=1.47 cores=0,2,4,6
/proc/24195/task/24198/stat : 24198 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 3488 0 0 0 147 0 0 0 20 0 3 0 333606858 168214528 5808 33554432000 4194304 5964478 140736919301008 139657654639112 4403698 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) 164272

[startup+3.10021 s]
/proc/loadavg: 3.77 3.87 3.21 5/181 24198
/proc/meminfo: memFree=28177156/32873844 swapFree=7116/7116
[pid=24195] ppid=24193 vsize=164272 CPUtime=6.17 cores=0,2,4,6
/proc/24195/stat : 24195 (pwbo2.02) S 24193 24195 23469 0 -1 4202496 10795 0 0 0 607 10 0 0 20 0 3 0 333606856 168214528 8659 33554432000 4194304 5964478 140736919301008 140736919300528 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24195/statm: 41068 8659 198 433 0 40632 0
[pid=24195/tid=24197] ppid=24193 vsize=164272 CPUtime=3.07 cores=0,2,4,6
/proc/24195/task/24197/stat : 24197 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 5700 0 0 0 297 10 0 0 20 0 3 0 333606858 168214528 8659 33554432000 4194304 5964478 140736919301008 139657665128440 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24195/tid=24198] ppid=24193 vsize=164272 CPUtime=3.07 cores=0,2,4,6
/proc/24195/task/24198/stat : 24198 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 4003 0 0 0 307 0 0 0 20 0 3 0 333606858 168214528 8659 33554432000 4194304 5964478 140736919301008 139657654638816 4403717 0 0 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 164272

[startup+6.30032 s]
/proc/loadavg: 3.79 3.87 3.22 5/181 24198
/proc/meminfo: memFree=28126928/32873844 swapFree=7116/7116
[pid=24195] ppid=24193 vsize=164272 CPUtime=12.56 cores=0,2,4,6
/proc/24195/stat : 24195 (pwbo2.02) S 24193 24195 23469 0 -1 4202496 18379 0 0 0 1244 12 0 0 20 0 3 0 333606856 168214528 15485 33554432000 4194304 5964478 140736919301008 140736919300528 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24195/statm: 41068 15485 198 433 0 40632 0
[pid=24195/tid=24197] ppid=24193 vsize=164272 CPUtime=6.27 cores=0,2,4,6
/proc/24195/task/24197/stat : 24197 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 12171 0 0 0 615 12 0 0 20 0 3 0 333606858 168214528 15485 33554432000 4194304 5964478 140736919301008 139657665128440 4400067 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24195/tid=24198] ppid=24193 vsize=164272 CPUtime=6.26 cores=0,2,4,6
/proc/24195/task/24198/stat : 24198 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 5116 0 0 0 626 0 0 0 20 0 3 0 333606858 168214528 15485 33554432000 4194304 5964478 140736919301008 139657654639256 4403500 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 164272

[startup+12.7003 s]
/proc/loadavg: 3.81 3.87 3.22 5/181 24198
/proc/meminfo: memFree=28029380/32873844 swapFree=7116/7116
[pid=24195] ppid=24193 vsize=229944 CPUtime=25.36 cores=0,2,4,6
/proc/24195/stat : 24195 (pwbo2.02) S 24193 24195 23469 0 -1 4202496 29734 0 0 0 2522 14 0 0 20 0 3 0 333606856 235462656 26838 33554432000 4194304 5964478 140736919301008 140736919300528 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24195/statm: 57486 26838 198 433 0 57050 0
[pid=24195/tid=24197] ppid=24193 vsize=229944 CPUtime=12.67 cores=0,2,4,6
/proc/24195/task/24197/stat : 24197 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 22381 0 0 0 1253 14 0 0 20 0 3 0 333606858 235462656 26838 33554432000 4194304 5964478 140736919301008 139657665128440 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24195/tid=24198] ppid=24193 vsize=229944 CPUtime=12.66 cores=0,2,4,6
/proc/24195/task/24198/stat : 24198 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 6261 0 0 0 1265 1 0 0 20 0 3 0 333606858 235462656 26838 33554432000 4194304 5964478 140736919301008 139657654638904 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 229944

[startup+25.5004 s]
/proc/loadavg: 3.85 3.88 3.23 5/181 24198
/proc/meminfo: memFree=27854408/32873844 swapFree=7116/7116
[pid=24195] ppid=24193 vsize=296028 CPUtime=50.95 cores=0,2,4,6
/proc/24195/stat : 24195 (pwbo2.02) S 24193 24195 23469 0 -1 4202496 52165 0 0 0 5074 21 0 0 20 0 3 0 333606856 303132672 48960 33554432000 4194304 5964478 140736919301008 140736919300528 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24195/statm: 74007 48960 198 433 0 73571 0
[pid=24195/tid=24197] ppid=24193 vsize=296028 CPUtime=25.47 cores=0,2,4,6
/proc/24195/task/24197/stat : 24197 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 43311 0 0 0 2527 20 0 0 20 0 3 0 333606858 303132672 48960 33554432000 4194304 5964478 140736919301008 139657665128440 4400091 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24195/tid=24198] ppid=24193 vsize=296028 CPUtime=25.46 cores=0,2,4,6
/proc/24195/task/24198/stat : 24198 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 7762 0 0 0 2544 2 0 0 20 0 3 0 333606858 303132672 48960 33554432000 4194304 5964478 140736919301008 139657654639112 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 296028

[startup+51.1004 s]
/proc/loadavg: 3.90 3.89 3.25 5/181 24198
/proc/meminfo: memFree=27601860/32873844 swapFree=7116/7116
[pid=24195] ppid=24193 vsize=429072 CPUtime=102.15 cores=0,2,4,6
/proc/24195/stat : 24195 (pwbo2.02) S 24193 24195 23469 0 -1 4202496 76045 0 0 0 10183 32 0 0 20 0 3 0 333606856 439369728 72839 33554432000 4194304 5964478 140736919301008 140736919300528 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24195/statm: 107268 72856 198 433 0 106832 0
[pid=24195/tid=24197] ppid=24193 vsize=429072 CPUtime=51.07 cores=0,2,4,6
/proc/24195/task/24197/stat : 24197 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 50528 0 0 0 5085 22 0 0 20 0 3 0 333606858 439369728 72868 33554432000 4194304 5964478 140736919301008 139657665128440 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24195/tid=24198] ppid=24193 vsize=429072 CPUtime=51.06 cores=0,2,4,6
/proc/24195/task/24198/stat : 24198 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 24469 0 0 0 5094 12 0 0 20 0 3 0 333606858 439369728 72883 33554432000 4194304 5964478 140736919301008 139657654638904 5179680 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 429072

[startup+102.3 s]
/proc/loadavg: 3.95 3.90 3.29 5/181 24198
/proc/meminfo: memFree=27173076/32873844 swapFree=7116/7116
[pid=24195] ppid=24193 vsize=628020 CPUtime=204.52 cores=0,2,4,6
/proc/24195/stat : 24195 (pwbo2.02) S 24193 24195 23469 0 -1 4202496 135198 0 0 0 20341 111 0 0 20 0 3 0 333606856 643092480 132085 33554432000 4194304 5964478 140736919301008 140736919300528 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24195/statm: 157005 132085 198 433 0 156569 0
[pid=24195/tid=24197] ppid=24193 vsize=628020 CPUtime=102.26 cores=0,2,4,6
/proc/24195/task/24197/stat : 24197 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 77733 0 0 0 10165 61 0 0 20 0 3 0 333606858 643092480 132085 33554432000 4194304 5964478 140736919301008 139657665128472 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24195/tid=24198] ppid=24193 vsize=628020 CPUtime=102.26 cores=0,2,4,6
/proc/24195/task/24198/stat : 24198 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 56373 0 0 0 10173 53 0 0 20 0 3 0 333606858 643092480 132085 33554432000 4194304 5964478 140736919301008 139657654638952 4403692 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.52
Current children cumulated vsize (KiB) 628020

[startup+162.3 s]
/proc/loadavg: 3.98 3.92 3.33 5/181 24198
/proc/meminfo: memFree=26673012/32873844 swapFree=7116/7116
[pid=24195] ppid=24193 vsize=957500 CPUtime=324.46 cores=0,2,4,6
/proc/24195/stat : 24195 (pwbo2.02) S 24193 24195 23469 0 -1 4202496 206380 0 0 0 32214 232 0 0 20 0 3 0 333606856 980480000 203222 33554432000 4194304 5964478 140736919301008 140736919300528 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24195/statm: 239375 203222 198 433 0 238939 0
[pid=24195/tid=24197] ppid=24193 vsize=957500 CPUtime=162.24 cores=0,2,4,6
/proc/24195/task/24197/stat : 24197 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 134230 0 0 0 16061 163 0 0 20 0 3 0 333606858 980480000 203222 33554432000 4194304 5964478 140736919301008 139657665128440 4400078 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24195/tid=24198] ppid=24193 vsize=957500 CPUtime=162.23 cores=0,2,4,6
/proc/24195/task/24198/stat : 24198 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 71058 0 0 0 16149 74 0 0 20 0 3 0 333606858 980480000 203222 33554432000 4194304 5964478 140736919301008 139657654638904 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.46
Current children cumulated vsize (KiB) 957500

[startup+222.307 s]
/proc/loadavg: 3.99 3.93 3.37 5/182 24202
/proc/meminfo: memFree=26576800/32873844 swapFree=7116/7116
[pid=24195] ppid=24193 vsize=957832 CPUtime=444.42 cores=0,2,4,6
/proc/24195/stat : 24195 (pwbo2.02) S 24193 24195 23469 0 -1 4202496 208541 0 0 0 44208 234 0 0 20 0 3 0 333606856 980819968 205147 33554432000 4194304 5964478 140736919301008 140736919300528 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24195/statm: 239458 205147 198 433 0 239022 0
[pid=24195/tid=24197] ppid=24193 vsize=957832 CPUtime=222.24 cores=0,2,4,6
/proc/24195/task/24197/stat : 24197 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 134286 0 0 0 22060 164 0 0 20 0 3 0 333606858 980819968 205147 33554432000 4194304 5964478 140736919301008 139657665128472 4400091 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24195/tid=24198] ppid=24193 vsize=957832 CPUtime=222.21 cores=0,2,4,6
/proc/24195/task/24198/stat : 24198 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 73163 0 0 0 22143 78 0 0 20 0 3 0 333606858 980819968 205147 33554432000 4194304 5964478 140736919301008 139657654638664 4400097 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.42
Current children cumulated vsize (KiB) 957832

[startup+282.3 s]
/proc/loadavg: 3.99 3.94 3.41 5/181 24202
/proc/meminfo: memFree=26239812/32873844 swapFree=7116/7116
[pid=24195] ppid=24193 vsize=1089928 CPUtime=564.35 cores=0,2,4,6
/proc/24195/stat : 24195 (pwbo2.02) S 24193 24195 23469 0 -1 4202496 248660 0 0 0 56158 277 0 0 20 0 3 0 333606856 1116086272 245235 33554432000 4194304 5964478 140736919301008 140736919300528 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24195/statm: 272482 245235 198 433 0 272046 0
[pid=24195/tid=24197] ppid=24193 vsize=1089928 CPUtime=282.2 cores=0,2,4,6
/proc/24195/task/24197/stat : 24197 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 154872 0 0 0 28027 193 0 0 20 0 3 0 333606858 1116086272 245235 33554432000 4194304 5964478 140736919301008 139657665128440 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24195/tid=24198] ppid=24193 vsize=1089928 CPUtime=282.2 cores=0,2,4,6
/proc/24195/task/24198/stat : 24198 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 92696 0 0 0 28127 93 0 0 20 0 3 0 333606858 1116086272 245235 33554432000 4194304 5964478 140736919301008 139657654638904 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.35
Current children cumulated vsize (KiB) 1089928

[startup+342.3 s]
/proc/loadavg: 3.99 3.95 3.44 5/181 24202
/proc/meminfo: memFree=25826300/32873844 swapFree=7116/7116
[pid=24195] ppid=24193 vsize=1287104 CPUtime=684.29 cores=0,2,4,6
/proc/24195/stat : 24195 (pwbo2.02) S 24193 24195 23469 0 -1 4202496 300404 0 0 0 68077 352 0 0 20 0 3 0 333606856 1317994496 296553 33554432000 4194304 5964478 140736919301008 140736919300528 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24195/statm: 321776 296553 198 433 0 321340 0
[pid=24195/tid=24197] ppid=24193 vsize=1287104 CPUtime=342.19 cores=0,2,4,6
/proc/24195/task/24197/stat : 24197 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 188804 0 0 0 33975 244 0 0 20 0 3 0 333606858 1317994496 296553 33554432000 4194304 5964478 140736919301008 139657665128440 4400067 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24195/tid=24198] ppid=24193 vsize=1287104 CPUtime=342.17 cores=0,2,4,6
/proc/24195/task/24198/stat : 24198 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 110508 0 0 0 34098 119 0 0 20 0 3 0 333606858 1317994496 296553 33554432000 4194304 5964478 140736919301008 139657654638904 4388769 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.29
Current children cumulated vsize (KiB) 1287104

[startup+402.3 s]
/proc/loadavg: 3.99 3.95 3.47 5/181 24202
/proc/meminfo: memFree=25523432/32873844 swapFree=7116/7116
[pid=24195] ppid=24193 vsize=1419192 CPUtime=804.25 cores=0,2,4,6
/proc/24195/stat : 24195 (pwbo2.02) S 24193 24195 23469 0 -1 4202496 330628 0 0 0 80036 389 0 0 20 0 3 0 333606856 1453252608 327695 33554432000 4194304 5964478 140736919301008 140736919300528 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24195/statm: 354798 327695 198 433 0 354362 0
[pid=24195/tid=24197] ppid=24193 vsize=1419192 CPUtime=402.17 cores=0,2,4,6
/proc/24195/task/24197/stat : 24197 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 218908 0 0 0 39934 283 0 0 20 0 3 0 333606858 1453252608 327695 33554432000 4194304 5964478 140736919301008 139657665128440 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24195/tid=24198] ppid=24193 vsize=1419192 CPUtime=402.17 cores=0,2,4,6
/proc/24195/task/24198/stat : 24198 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 110628 0 0 0 40097 120 0 0 20 0 3 0 333606858 1453252608 327695 33554432000 4194304 5964478 140736919301008 139657654638936 4390770 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.25
Current children cumulated vsize (KiB) 1419192

[startup+462.3 s]
/proc/loadavg: 4.03 3.97 3.51 5/181 24202
/proc/meminfo: memFree=25248252/32873844 swapFree=7116/7116
[pid=24195] ppid=24193 vsize=1616376 CPUtime=924.23 cores=0,2,4,6
/proc/24195/stat : 24195 (pwbo2.02) S 24193 24195 23469 0 -1 4202496 377991 0 0 0 91963 460 0 0 20 0 3 0 333606856 1655169024 375058 33554432000 4194304 5964478 140736919301008 140736919300528 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24195/statm: 404094 375058 198 433 0 403658 0
[pid=24195/tid=24197] ppid=24193 vsize=1616376 CPUtime=462.17 cores=0,2,4,6
/proc/24195/task/24197/stat : 24197 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 247478 0 0 0 45889 328 0 0 20 0 3 0 333606858 1655169024 375058 33554432000 4194304 5964478 140736919301008 139657665128440 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24195/tid=24198] ppid=24193 vsize=1616376 CPUtime=462.17 cores=0,2,4,6
/proc/24195/task/24198/stat : 24198 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 129421 0 0 0 46071 146 0 0 20 0 3 0 333606858 1655169024 375058 33554432000 4194304 5964478 140736919301008 139657654638904 4400103 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.23
Current children cumulated vsize (KiB) 1616376

[startup+522.3 s]
/proc/loadavg: 4.01 3.97 3.54 5/181 24203
/proc/meminfo: memFree=25021608/32873844 swapFree=7116/7116
[pid=24195] ppid=24193 vsize=1815052 CPUtime=1044.2 cores=0,2,4,6
/proc/24195/stat : 24195 (pwbo2.02) S 24193 24195 23469 0 -1 4202496 431426 0 0 0 103884 536 0 0 20 0 3 0 333606856 1858613248 428493 33554432000 4194304 5964478 140736919301008 140736919300528 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24195/statm: 453763 428493 198 433 0 453327 0
[pid=24195/tid=24197] ppid=24193 vsize=1815052 CPUtime=522.17 cores=0,2,4,6
/proc/24195/task/24197/stat : 24197 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 271860 0 0 0 51845 372 0 0 20 0 3 0 333606858 1858613248 428493 33554432000 4194304 5964478 140736919301008 139657665128440 4400115 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24195/tid=24198] ppid=24193 vsize=1815052 CPUtime=522.16 cores=0,2,4,6
/proc/24195/task/24198/stat : 24198 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 158474 0 0 0 52036 180 0 0 20 0 3 0 333606858 1858613248 428493 33554432000 4194304 5964478 140736919301008 139657654638904 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.2
Current children cumulated vsize (KiB) 1815052

[startup+582.3 s]
/proc/loadavg: 4.00 3.97 3.56 5/181 24203
/proc/meminfo: memFree=24920144/32873844 swapFree=7116/7116
[pid=24195] ppid=24193 vsize=1815052 CPUtime=1164.18 cores=0,2,4,6
/proc/24195/stat : 24195 (pwbo2.02) S 24193 24195 23469 0 -1 4202496 431536 0 0 0 115882 536 0 0 20 0 3 0 333606856 1858613248 427557 33554432000 4194304 5964478 140736919301008 140736919300528 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24195/statm: 453763 427557 198 433 0 453327 0
[pid=24195/tid=24197] ppid=24193 vsize=1815052 CPUtime=582.18 cores=0,2,4,6
/proc/24195/task/24197/stat : 24197 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 271867 0 0 0 57845 373 0 0 20 0 3 0 333606858 1858613248 427557 33554432000 4194304 5964478 140736919301008 139657665128440 4400067 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24195/tid=24198] ppid=24193 vsize=1815052 CPUtime=582.16 cores=0,2,4,6
/proc/24195/task/24198/stat : 24198 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 158577 0 0 0 58035 181 0 0 20 0 3 0 333606858 1858613248 427557 33554432000 4194304 5964478 140736919301008 139657654638936 4400542 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.18
Current children cumulated vsize (KiB) 1815052

[startup+642.3 s]
/proc/loadavg: 4.00 3.97 3.59 5/181 24203
/proc/meminfo: memFree=24891900/32873844 swapFree=7116/7116
[pid=24195] ppid=24193 vsize=1815644 CPUtime=1284.17 cores=0,2,4,6
/proc/24195/stat : 24195 (pwbo2.02) S 24193 24195 23469 0 -1 4202496 431685 0 0 0 127880 537 0 0 20 0 3 0 333606856 1859219456 427704 33554432000 4194304 5964478 140736919301008 140736919300528 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24195/statm: 453911 427704 198 433 0 453475 0
[pid=24195/tid=24197] ppid=24193 vsize=1815644 CPUtime=642.18 cores=0,2,4,6
/proc/24195/task/24197/stat : 24197 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 271879 0 0 0 63844 374 0 0 20 0 3 0 333606858 1859219456 427704 33554432000 4194304 5964478 140736919301008 139657665128440 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24195/tid=24198] ppid=24193 vsize=1815644 CPUtime=642.16 cores=0,2,4,6
/proc/24195/task/24198/stat : 24198 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 158714 0 0 0 64034 182 0 0 20 0 3 0 333606858 1859219456 427704 33554432000 4194304 5964478 140736919301008 139657654638936 4400097 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.17
Current children cumulated vsize (KiB) 1815644

[startup+702.3 s]
/proc/loadavg: 4.00 3.97 3.61 5/181 24203
/proc/meminfo: memFree=24760860/32873844 swapFree=7116/7116
[pid=24195] ppid=24193 vsize=1815884 CPUtime=1404.15 cores=0,2,4,6
/proc/24195/stat : 24195 (pwbo2.02) S 24193 24195 23469 0 -1 4202496 431772 0 0 0 139878 537 0 0 20 0 3 0 333606856 1859465216 427791 33554432000 4194304 5964478 140736919301008 140736919300528 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24195/statm: 453971 427791 198 433 0 453535 0
[pid=24195/tid=24197] ppid=24193 vsize=1815884 CPUtime=702.18 cores=0,2,4,6
/proc/24195/task/24197/stat : 24197 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 271899 0 0 0 69843 375 0 0 20 0 3 0 333606858 1859465216 427791 33554432000 4194304 5964478 140736919301008 139657665128440 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24195/tid=24198] ppid=24193 vsize=1815884 CPUtime=702.16 cores=0,2,4,6
/proc/24195/task/24198/stat : 24198 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 158781 0 0 0 70033 183 0 0 20 0 3 0 333606858 1859465216 427791 33554432000 4194304 5964478 140736919301008 139657654638664 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.15
Current children cumulated vsize (KiB) 1815884

[startup+762.3 s]
/proc/loadavg: 4.00 3.97 3.63 5/181 24203
/proc/meminfo: memFree=24556164/32873844 swapFree=7116/7116
[pid=24195] ppid=24193 vsize=1882360 CPUtime=1524.14 cores=0,2,4,6
/proc/24195/stat : 24195 (pwbo2.02) S 24193 24195 23469 0 -1 4202496 451224 0 0 0 151851 563 0 0 20 0 3 0 333606856 1927536640 447243 33554432000 4194304 5964478 140736919301008 140736919300528 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24195/statm: 470590 447243 198 433 0 470154 0
[pid=24195/tid=24197] ppid=24193 vsize=1882360 CPUtime=762.19 cores=0,2,4,6
/proc/24195/task/24197/stat : 24197 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 271927 0 0 0 75843 376 0 0 20 0 3 0 333606858 1927536640 447243 33554432000 4194304 5964478 140736919301008 139657665128440 4400470 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24195/tid=24198] ppid=24193 vsize=1882360 CPUtime=762.17 cores=0,2,4,6
/proc/24195/task/24198/stat : 24198 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 178205 0 0 0 76007 210 0 0 20 0 3 0 333606858 1927536640 447243 33554432000 4194304 5964478 140736919301008 139657654638904 4391512 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.14
Current children cumulated vsize (KiB) 1882360

[startup+822.3 s]
/proc/loadavg: 4.00 3.97 3.65 5/181 24206
/proc/meminfo: memFree=24446444/32873844 swapFree=7116/7116
[pid=24195] ppid=24193 vsize=1882784 CPUtime=1644.11 cores=0,2,4,6
/proc/24195/stat : 24195 (pwbo2.02) S 24193 24195 23469 0 -1 4202496 451339 0 0 0 163848 563 0 0 20 0 3 0 333606856 1927970816 447358 33554432000 4194304 5964478 140736919301008 140736919300528 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24195/statm: 470696 447358 198 433 0 470260 0
[pid=24195/tid=24197] ppid=24193 vsize=1882784 CPUtime=822.19 cores=0,2,4,6
/proc/24195/task/24197/stat : 24197 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 271946 0 0 0 81842 377 0 0 20 0 3 0 333606858 1927970816 447358 33554432000 4194304 5964478 140736919301008 139657665128352 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24195/tid=24198] ppid=24193 vsize=1882784 CPUtime=822.16 cores=0,2,4,6
/proc/24195/task/24198/stat : 24198 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 178301 0 0 0 82005 211 0 0 20 0 3 0 333606858 1927970816 447358 33554432000 4194304 5964478 140736919301008 139657654638664 4400106 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.11
Current children cumulated vsize (KiB) 1882784

[startup+882.307 s]
/proc/loadavg: 4.00 3.97 3.67 5/181 24207
/proc/meminfo: memFree=24307228/32873844 swapFree=7116/7116
[pid=24195] ppid=24193 vsize=1949068 CPUtime=1764.1 cores=0,2,4,6
/proc/24195/stat : 24195 (pwbo2.02) S 24193 24195 23469 0 -1 4202496 464420 0 0 0 175825 585 0 0 20 0 3 0 333606856 1995845632 460439 33554432000 4194304 5964478 140736919301008 140736919300528 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24195/statm: 487267 460439 198 433 0 486831 0
[pid=24195/tid=24197] ppid=24193 vsize=1949068 CPUtime=882.19 cores=0,2,4,6
/proc/24195/task/24197/stat : 24197 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 282396 0 0 0 87822 397 0 0 20 0 3 0 333606858 1995845632 460439 33554432000 4194304 5964478 140736919301008 139657665128440 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24195/tid=24198] ppid=24193 vsize=1949068 CPUtime=882.16 cores=0,2,4,6
/proc/24195/task/24198/stat : 24198 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 180932 0 0 0 88001 215 0 0 20 0 3 0 333606858 1995845632 460439 33554432000 4194304 5964478 140736919301008 139657654638904 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.1
Current children cumulated vsize (KiB) 1949068



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.08 3.99 3.68 4/181 24208
/proc/meminfo: memFree=24776792/32873844 swapFree=7116/7116
[pid=24195] ppid=24193 vsize=1949068 CPUtime=1800.1 cores=0,2,4,6
/proc/24195/stat : 24195 (pwbo2.02) S 24193 24195 23469 0 -1 4202496 474616 0 0 0 179413 597 0 0 20 0 3 0 333606856 1995845632 470635 33554432000 4194304 5964478 140736919301008 140736919300528 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24195/statm: 487267 470635 198 433 0 486831 0
[pid=24195/tid=24197] ppid=24193 vsize=1949068 CPUtime=900.2 cores=0,2,4,6
/proc/24195/task/24197/stat : 24197 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 292592 0 0 0 89611 409 0 0 20 0 3 0 333606858 1995845632 470635 33554432000 4194304 5964478 140736919301008 139657665128440 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24195/tid=24198] ppid=24193 vsize=1949068 CPUtime=900.16 cores=0,2,4,6
/proc/24195/task/24198/stat : 24198 (pwbo2.02) R 24193 24195 23469 0 -1 4202560 180932 0 0 0 89801 215 0 0 20 0 3 0 333606858 1995845632 470635 33554432000 4194304 5964478 140736919301008 139657654638904 4400470 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1949068

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+900.411 s]
/proc/loadavg: 4.08 3.99 3.68 4/181 24208
/proc/meminfo: memFree=24776792/32873844 swapFree=7116/7116
[pid=24195] ppid=24193 vsize=0 CPUtime=1800.49 cores=0,2,4,6
/proc/24195/stat : 24195 (pwbo2.02) R 24193 24195 23469 0 -1 4202500 474652 0 0 0 179414 635 0 0 20 0 1 0 333606856 0 0 33554432000 0 0 0 0 0 0 16384 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24195/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.49
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 900.45
CPU time (s): 1800.55
CPU user time (s): 1794.15
CPU system time (s): 6.39803
CPU usage (%): 199.961
Max. virtual memory (cumulated for all children) (KiB): 1949068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.15
system time used= 6.39803
maximum resident set size= 1882684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 474652
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= 688
involuntary context switches= 1891

runsolver used 1.9507 second user time and 4.84526 second system time

The end

Launcher Data 

Begin job on node108 at 2012-06-03 00:06:23
IDJOB=3728821
IDBENCH=79293
IDSOLVER=2316
FILE ID=node108/3728821-1338674783
RUNJOBID= node108-1338673880-24042
PBS_JOBID= 14636525
Free space on /tmp= 71468 MiB

SOLVER NAME= pwbo 2.02
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557957--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-3728821-1338674783/watcher-3728821-1338674783 -o /tmp/evaluation-result-3728821-1338674783/solver-3728821-1338674783 -C 1800 -W 1900 -M 15500  pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728821-1338674783.wbo

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

MD5SUM BENCH= c90222590d839243781a638355a39a56
RANDOM SEED=1744124616

node108.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.273
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.54
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.273
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.273
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		: 2666.273
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.273
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
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.90
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.273
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:        28222712 kB
Buffers:          317820 kB
Cached:          3509540 kB
SwapCached:           80 kB
Active:          1885988 kB
Inactive:        1964752 kB
Active(anon):      10532 kB
Inactive(anon):    13064 kB
Active(file):    1875456 kB
Inactive(file):  1951688 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108548 kB
Dirty:             11000 kB
Writeback:             0 kB
AnonPages:         27772 kB
Mapped:            14584 kB
Shmem:               172 kB
Slab:             662736 kB
SReclaimable:     104940 kB
SUnreclaim:       557796 kB
KernelStack:        1448 kB
PageTables:         4508 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     157428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 71464 MiB
End job on node108 at 2012-06-03 00:21:25