Trace number 3712728

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.01MSAT (TO) 1800.62 900.482

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900548667--soft-0-100-0.wbo
MD5SUMfe10d6822f5aa7d11d2a88b2406ba570
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark125.61
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 137946
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 137945
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 625
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  pwbo:                    2.01 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing wbo file format. File HOME/instance-3712728-1338204905.wbo.
0.00/0.00	c Instance file HOME/instance-3712728-1338204905.wbo
0.00/0.00	c File size is 96763 bytes.
0.00/0.01	c Highest Coefficient sum: 625
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.17/900.41	o 507
1800.17/900.41	o 502
1800.17/900.41	o 490
1800.17/900.41	o 489
1800.17/900.41	o 488
1800.17/900.41	o 481
1800.17/900.41	o 461
1800.17/900.41	o 459
1800.17/900.41	o 438
1800.17/900.41	o 421
1800.17/900.41	o 404
1800.17/900.41	o 398
1800.17/900.41	o 376
1800.17/900.41	o 361
1800.17/900.41	o 356
1800.17/900.41	o 327
1800.17/900.41	o 316
1800.17/900.41	o 311
1800.17/900.41	o 296
1800.17/900.41	o 289
1800.17/900.41	o 288
1800.17/900.41	o 285
1800.17/900.41	o 273
1800.17/900.41	o 253
1800.17/900.41	o 239
1800.17/900.41	o 230
1800.17/900.41	o 218
1800.17/900.41	o 203
1800.17/900.41	o 194
1800.17/900.41	o 191
1800.17/900.41	o 185
1800.17/900.41	o 181
1800.17/900.41	o 180
1800.17/900.41	o 174
1800.17/900.41	o 168
1800.17/900.41	o 166
1800.17/900.41	o 160
1800.17/900.41	o 159
1800.17/900.41	o 155
1800.17/900.41	o 146
1800.17/900.41	o 130
1800.17/900.41	o 128
1800.17/900.41	o 116
1800.17/900.41	o 107
1800.17/900.41	o 106
1800.17/900.41	o 97
1800.17/900.41	o 93
1800.17/900.41	o 92
1800.17/900.41	o 91
1800.17/900.41	o 90
1800.17/900.41	o 89
1800.17/900.41	o 76
1800.17/900.41	o 74
1800.17/900.41	o 57
1800.17/900.41	o 52
1800.17/900.41	o 43
1800.17/900.41	o 25
1800.17/900.41	o 24
1800.17/900.41	o 18
1800.17/900.41	o 2
1800.17/900.41	o 1
1800.17/900.41	c ===============================================================================
1800.17/900.41	c Wall Clock Time: 900.41 s
1800.17/900.41	c Best Solution: 1
1800.17/900.41	s SATISFIABLE
1800.17/900.41	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	1

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-3712728-1338204905/watcher-3712728-1338204905 -o /tmp/evaluation-result-3712728-1338204905/solver-3712728-1338204905 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712728-1338204905.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: 4.00 4.00 4.00 4/178 23122
/proc/meminfo: memFree=27876508/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=4432 CPUtime=0 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) R 23120 23122 20320 0 -1 4202496 404 0 0 0 0 0 0 0 20 0 1 0 286614634 4538368 356 33554432000 4194304 5964478 140736378173072 140734367195160 5156190 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 1108 356 164 433 0 648 0

[startup+0.0334491 s]
/proc/loadavg: 4.00 4.00 4.00 4/178 23122
/proc/meminfo: memFree=27876508/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=164816 CPUtime=0.03 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 2048 0 0 0 3 0 0 0 20 0 3 0 286614634 168771584 1971 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 41204 1971 197 433 0 40768 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 164816

[startup+0.100181 s]
/proc/loadavg: 4.00 4.00 4.00 4/178 23122
/proc/meminfo: memFree=27876508/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=164272 CPUtime=0.17 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 3407 0 0 0 17 0 0 0 20 0 3 0 286614634 168214528 2579 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 41068 2579 198 433 0 40632 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 164272

[startup+0.300137 s]
/proc/loadavg: 4.00 4.00 4.00 4/178 23122
/proc/meminfo: memFree=27876508/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=164272 CPUtime=0.57 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 5412 0 0 0 56 1 0 0 20 0 3 0 286614634 168214528 3565 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 41068 3565 198 433 0 40632 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 164272

[startup+0.700157 s]
/proc/loadavg: 4.00 4.00 4.00 4/178 23122
/proc/meminfo: memFree=27876508/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=164272 CPUtime=1.36 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 8553 0 0 0 135 1 0 0 20 0 3 0 286614634 168214528 5271 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 41068 5271 198 433 0 40632 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 164272

[startup+1.50026 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23125
/proc/meminfo: memFree=27852924/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=164272 CPUtime=2.96 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 10805 0 0 0 294 2 0 0 20 0 3 0 286614634 168214528 6496 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 41068 6496 198 433 0 40632 0
[pid=23122/tid=23124] ppid=23120 vsize=164272 CPUtime=1.47 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 3098 0 0 0 146 1 0 0 20 0 3 0 286614635 168214528 6496 33554432000 4194304 5964478 140736378173072 139803656705848 5136404 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=164272 CPUtime=1.47 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 6616 0 0 0 145 2 0 0 20 0 3 0 286614635 168214528 6496 33554432000 4194304 5964478 140736378173072 139803646216416 4369727 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 164272

[startup+3.10028 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23125
/proc/meminfo: memFree=27845236/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=164404 CPUtime=6.16 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 14233 0 0 0 610 6 0 0 20 0 3 0 286614634 168349696 9757 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 41101 9757 198 433 0 40665 0
[pid=23122/tid=23124] ppid=23120 vsize=164404 CPUtime=3.07 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 4641 0 0 0 305 2 0 0 20 0 3 0 286614635 168349696 9757 33554432000 4194304 5964478 140736378173072 139803656706040 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=164404 CPUtime=3.07 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 8501 0 0 0 302 5 0 0 20 0 3 0 286614635 168349696 9757 33554432000 4194304 5964478 140736378173072 139803646216504 5136474 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 164404

[startup+6.30029 s]
/proc/loadavg: 4.00 4.00 4.00 3/177 23126
/proc/meminfo: memFree=29853404/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=164808 CPUtime=12.57 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 21999 0 0 0 1249 8 0 0 20 0 3 0 286614634 168763392 17386 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 41202 17386 198 433 0 40766 0
[pid=23122/tid=23124] ppid=23120 vsize=164808 CPUtime=6.27 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 11595 0 0 0 624 3 0 0 20 0 3 0 286614635 168763392 17386 33554432000 4194304 5964478 140736378173072 139803656706040 4400081 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=164808 CPUtime=6.27 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 9313 0 0 0 621 6 0 0 20 0 3 0 286614635 168763392 17386 33554432000 4194304 5964478 140736378173072 139803646216552 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 164808

[startup+12.7003 s]
/proc/loadavg: 3.85 3.97 3.99 5/181 23166
/proc/meminfo: memFree=29737520/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=231176 CPUtime=25.36 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 34463 0 0 0 2525 11 0 0 20 0 3 0 286614634 236724224 29850 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 57794 29850 198 433 0 57358 0
[pid=23122/tid=23124] ppid=23120 vsize=231176 CPUtime=12.67 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 17445 0 0 0 1262 5 0 0 20 0 3 0 286614635 236724224 29850 33554432000 4194304 5964478 140736378173072 139803656706088 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=231176 CPUtime=12.67 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 15927 0 0 0 1260 7 0 0 20 0 3 0 286614635 236724224 29850 33554432000 4194304 5964478 140736378173072 139803646216504 4399904 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) 231176

[startup+25.5003 s]
/proc/loadavg: 3.87 3.97 3.99 5/181 23166
/proc/meminfo: memFree=29524160/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=297732 CPUtime=50.95 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 62560 0 0 0 5075 20 0 0 20 0 3 0 286614634 304877568 58267 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 74433 58267 198 433 0 73997 0
[pid=23122/tid=23124] ppid=23120 vsize=297732 CPUtime=25.46 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 28068 0 0 0 2538 8 0 0 20 0 3 0 286614635 304877568 58267 33554432000 4194304 5964478 140736378173072 139803656706040 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=297732 CPUtime=25.47 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 33401 0 0 0 2535 12 0 0 20 0 3 0 286614635 304877568 58267 33554432000 4194304 5964478 140736378173072 139803646216504 5136404 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) 297732

[startup+51.1003 s]
/proc/loadavg: 3.97 3.99 3.99 5/181 23166
/proc/meminfo: memFree=29099548/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=562404 CPUtime=102.1 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 119300 0 0 0 10174 36 0 0 20 0 3 0 286614634 575901696 115029 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 140601 115029 198 433 0 140165 0
[pid=23122/tid=23124] ppid=23120 vsize=562404 CPUtime=51.04 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 53543 0 0 0 5088 16 0 0 20 0 3 0 286614635 575901696 115029 33554432000 4194304 5964478 140736378173072 139803656706040 4399994 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=562404 CPUtime=51.06 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 64666 0 0 0 5084 22 0 0 20 0 3 0 286614635 575901696 115029 33554432000 4194304 5964478 140736378173072 139803646216504 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.1
Current children cumulated vsize (KiB) 562404

[startup+102.307 s]
/proc/loadavg: 4.05 4.00 4.00 5/181 23166
/proc/meminfo: memFree=28613284/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=760416 CPUtime=204.46 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 172051 0 0 0 20387 59 0 0 20 0 3 0 286614634 778665984 167676 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 190104 167676 198 433 0 189668 0
[pid=23122/tid=23124] ppid=23120 vsize=760416 CPUtime=102.22 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 85209 0 0 0 10193 29 0 0 20 0 3 0 286614635 778665984 167676 33554432000 4194304 5964478 140736378173072 139803656706040 4400073 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=760416 CPUtime=102.24 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 85751 0 0 0 10191 33 0 0 20 0 3 0 286614635 778665984 167676 33554432000 4194304 5964478 140736378173072 139803646216504 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.46
Current children cumulated vsize (KiB) 760416

[startup+162.3 s]
/proc/loadavg: 4.02 4.00 4.00 5/181 23167
/proc/meminfo: memFree=28202504/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=958252 CPUtime=324.38 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 210700 0 0 0 32358 80 0 0 20 0 3 0 286614634 981250048 206280 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 239563 206280 198 433 0 239127 0
[pid=23122/tid=23124] ppid=23120 vsize=958252 CPUtime=162.19 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 99148 0 0 0 16183 36 0 0 20 0 3 0 286614635 981250048 206280 33554432000 4194304 5964478 140736378173072 139803656706040 4381585 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=958252 CPUtime=162.22 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 110461 0 0 0 16173 49 0 0 20 0 3 0 286614635 981250048 206280 33554432000 4194304 5964478 140736378173072 139803646216504 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.38
Current children cumulated vsize (KiB) 958252

[startup+222.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23167
/proc/meminfo: memFree=27988048/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=1025508 CPUtime=444.35 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 233697 0 0 0 44332 103 0 0 20 0 3 0 286614634 1050120192 229909 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 256377 229909 198 433 0 255941 0
[pid=23122/tid=23124] ppid=23120 vsize=1025508 CPUtime=222.2 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 99173 0 0 0 22183 37 0 0 20 0 3 0 286614635 1050120192 229909 33554432000 4194304 5964478 140736378173072 139803656706072 4400075 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=1025508 CPUtime=222.21 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 133433 0 0 0 22148 73 0 0 20 0 3 0 286614635 1050120192 229909 33554432000 4194304 5964478 140736378173072 139803646216264 4400503 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.35
Current children cumulated vsize (KiB) 1025508

[startup+282.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23167
/proc/meminfo: memFree=27553828/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=1157288 CPUtime=564.33 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 272111 0 0 0 56297 136 0 0 20 0 3 0 286614634 1185062912 268323 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 289322 268323 198 433 0 288886 0
[pid=23122/tid=23124] ppid=23120 vsize=1157288 CPUtime=282.2 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 137510 0 0 0 28149 71 0 0 20 0 3 0 286614635 1185062912 268323 33554432000 4194304 5964478 140736378173072 139803656706040 4381686 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=1157288 CPUtime=282.22 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 133510 0 0 0 28148 74 0 0 20 0 3 0 286614635 1185062912 268323 33554432000 4194304 5964478 140736378173072 139803646216264 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.33
Current children cumulated vsize (KiB) 1157288

[startup+342.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/182 23210
/proc/meminfo: memFree=28606092/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=1157764 CPUtime=684.31 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 272262 0 0 0 68295 136 0 0 20 0 3 0 286614634 1185550336 268474 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 289441 268474 198 433 0 289005 0
[pid=23122/tid=23124] ppid=23120 vsize=1157764 CPUtime=342.2 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 137520 0 0 0 34148 72 0 0 20 0 3 0 286614635 1185550336 268474 33554432000 4194304 5964478 140736378173072 139803656705952 4391678 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=1157764 CPUtime=342.22 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 133651 0 0 0 34147 75 0 0 20 0 3 0 286614635 1185550336 268474 33554432000 4194304 5964478 140736378173072 139803646216608 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.31
Current children cumulated vsize (KiB) 1157764

[startup+402.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23210
/proc/meminfo: memFree=28349948/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=1158912 CPUtime=804.29 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 273917 0 0 0 80292 137 0 0 20 0 3 0 286614634 1186725888 270129 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 289728 270129 198 433 0 289292 0
[pid=23122/tid=23124] ppid=23120 vsize=1158912 CPUtime=402.21 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 138912 0 0 0 40147 74 0 0 20 0 3 0 286614635 1186725888 270129 33554432000 4194304 5964478 140736378173072 139803656706040 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=1158912 CPUtime=402.22 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 133914 0 0 0 40146 76 0 0 20 0 3 0 286614635 1186725888 270129 33554432000 4194304 5964478 140736378173072 139803646216264 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.29
Current children cumulated vsize (KiB) 1158912

[startup+462.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23211
/proc/meminfo: memFree=27842144/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=1422164 CPUtime=924.28 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 320606 0 0 0 92270 158 0 0 20 0 3 0 286614634 1456295936 316818 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 355541 316818 198 433 0 355105 0
[pid=23122/tid=23124] ppid=23120 vsize=1422164 CPUtime=462.21 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 180744 0 0 0 46127 94 0 0 20 0 3 0 286614635 1456295936 316818 33554432000 4194304 5964478 140736378173072 139803656706040 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=1422164 CPUtime=462.23 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 138771 0 0 0 46144 79 0 0 20 0 3 0 286614635 1456295936 316818 33554432000 4194304 5964478 140736378173072 139803646216504 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.28
Current children cumulated vsize (KiB) 1422164

[startup+522.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23211
/proc/meminfo: memFree=27509508/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=1619152 CPUtime=1044.25 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 380143 0 0 0 104242 183 0 0 20 0 3 0 286614634 1658011648 376661 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 404788 376661 198 433 0 404352 0
[pid=23122/tid=23124] ppid=23120 vsize=1619152 CPUtime=522.2 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 219386 0 0 0 52109 111 0 0 20 0 3 0 286614635 1658011648 376661 33554432000 4194304 5964478 140736378173072 139803656706040 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=1619152 CPUtime=522.23 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 159666 0 0 0 52136 87 0 0 20 0 3 0 286614635 1658011648 376661 33554432000 4194304 5964478 140736378173072 139803646216264 4400416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.25
Current children cumulated vsize (KiB) 1619152

[startup+582.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23211
/proc/meminfo: memFree=27168784/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=1752288 CPUtime=1164.2 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 416734 0 0 0 116217 203 0 0 20 0 3 0 286614634 1794342912 413266 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 438072 413266 198 433 0 437636 0
[pid=23122/tid=23124] ppid=23120 vsize=1752288 CPUtime=582.18 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 254050 0 0 0 58086 132 0 0 20 0 3 0 286614635 1794342912 413266 33554432000 4194304 5964478 140736378173072 139803656706040 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=1752288 CPUtime=582.22 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 161593 0 0 0 58134 88 0 0 20 0 3 0 286614635 1794342912 413266 33554432000 4194304 5964478 140736378173072 139803646216504 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.2
Current children cumulated vsize (KiB) 1752288

[startup+642.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23211
/proc/meminfo: memFree=26822236/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=1949816 CPUtime=1284.18 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 454094 0 0 0 128196 222 0 0 20 0 3 0 286614634 1996611584 450635 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 487454 450635 198 433 0 487018 0
[pid=23122/tid=23124] ppid=23120 vsize=1949816 CPUtime=642.17 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 280903 0 0 0 64069 148 0 0 20 0 3 0 286614635 1996611584 450635 33554432000 4194304 5964478 140736378173072 139803656706040 4381585 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=1949816 CPUtime=642.22 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 172100 0 0 0 64129 93 0 0 20 0 3 0 286614635 1996611584 450635 33554432000 4194304 5964478 140736378173072 139803646216608 4388475 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.18
Current children cumulated vsize (KiB) 1949816

[startup+702.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23211
/proc/meminfo: memFree=26674220/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=2081692 CPUtime=1404.13 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 491472 0 0 0 140176 237 0 0 20 0 3 0 286614634 2131652608 488025 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 520423 488025 198 433 0 519987 0
[pid=23122/tid=23124] ppid=23120 vsize=2081692 CPUtime=702.16 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 280917 0 0 0 70067 149 0 0 20 0 3 0 286614635 2131652608 488025 33554432000 4194304 5964478 140736378173072 139803656706040 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=2081692 CPUtime=702.21 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 209464 0 0 0 70111 110 0 0 20 0 3 0 286614635 2131652608 488025 33554432000 4194304 5964478 140736378173072 139803646216504 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.13
Current children cumulated vsize (KiB) 2081692

[startup+762.307 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23212
/proc/meminfo: memFree=26658148/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=2081904 CPUtime=1524.09 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 494509 0 0 0 152171 238 0 0 20 0 3 0 286614634 2131869696 491023 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 520476 491023 198 433 0 520040 0
[pid=23122/tid=23124] ppid=23120 vsize=2081904 CPUtime=762.16 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 280948 0 0 0 76066 150 0 0 20 0 3 0 286614635 2131869696 491023 33554432000 4194304 5964478 140736378173072 139803656706040 4399910 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=2081904 CPUtime=762.2 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 212470 0 0 0 76109 111 0 0 20 0 3 0 286614635 2131869696 491023 33554432000 4194304 5964478 140736378173072 139803646216536 4400062 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.09
Current children cumulated vsize (KiB) 2081904

[startup+822.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23212
/proc/meminfo: memFree=26657180/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=2081904 CPUtime=1644.03 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 494554 0 0 0 164165 238 0 0 20 0 3 0 286614634 2131869696 491068 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 520476 491068 198 433 0 520040 0
[pid=23122/tid=23124] ppid=23120 vsize=2081904 CPUtime=822.13 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 280988 0 0 0 82062 151 0 0 20 0 3 0 286614635 2131869696 491068 33554432000 4194304 5964478 140736378173072 139803656706040 4400051 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=2081904 CPUtime=822.2 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 212475 0 0 0 82108 112 0 0 20 0 3 0 286614635 2131869696 491068 33554432000 4194304 5964478 140736378173072 139803646216536 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.03
Current children cumulated vsize (KiB) 2081904

[startup+882.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23212
/proc/meminfo: memFree=26448168/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=2082260 CPUtime=1763.97 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 494675 0 0 0 176159 238 0 0 20 0 3 0 286614634 2132234240 491144 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 520565 491144 198 433 0 520129 0
[pid=23122/tid=23124] ppid=23120 vsize=2082260 CPUtime=882.11 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 281013 0 0 0 88059 152 0 0 20 0 3 0 286614635 2132234240 491144 33554432000 4194304 5964478 140736378173072 139803656706040 4400053 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=2082260 CPUtime=882.18 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 212571 0 0 0 88105 113 0 0 20 0 3 0 286614635 2132234240 491144 33554432000 4194304 5964478 140736378173072 139803646216264 4400062 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1763.97
Current children cumulated vsize (KiB) 2082260



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.4 s]
/proc/loadavg: 4.00 4.00 4.00 5/182 23215
/proc/meminfo: memFree=26347176/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=2082260 CPUtime=1800.17 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 494970 0 0 0 179779 238 0 0 20 0 3 0 286614634 2132234240 491432 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 520565 491432 198 433 0 520129 0
[pid=23122/tid=23124] ppid=23120 vsize=2082260 CPUtime=900.22 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 281022 0 0 0 89870 152 0 0 20 0 3 0 286614635 2132234240 491432 33554432000 4194304 5964478 140736378173072 139803656706040 4400051 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=2082260 CPUtime=900.29 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 212857 0 0 0 89915 114 0 0 20 0 3 0 286614635 2132234240 491432 33554432000 4194304 5964478 140736378173072 139803646216504 4388310 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 2082260

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

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

Child status: 0
Real time (s): 900.482
CPU time (s): 1800.62
CPU user time (s): 1797.87
CPU system time (s): 2.75158
CPU usage (%): 199.962
Max. virtual memory (cumulated for all children) (KiB): 2082260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.87
system time used= 2.75158
maximum resident set size= 1965736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 494972
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= 1022
involuntary context switches= 2028

runsolver used 1.79173 second user time and 5.06423 second system time

The end

Launcher Data

Begin job on node149 at 2012-05-28 13:35:05
IDJOB=3712728
IDBENCH=79297
IDSOLVER=2292
FILE ID=node149/3712728-1338204905
RUNJOBID= node149-1338191256-20336
PBS_JOBID= 14624573
Free space on /tmp= 71692 MiB

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

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

MD5SUM BENCH= fe10d6822f5aa7d11d2a88b2406ba570
RANDOM SEED=1830556100

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27876772 kB
Buffers:          386340 kB
Cached:          1742468 kB
SwapCached:         2448 kB
Active:          2893700 kB
Inactive:        1280204 kB
Active(anon):    2036340 kB
Inactive(anon):     9340 kB
Active(file):     857360 kB
Inactive(file):  1270864 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104880 kB
Dirty:              5464 kB
Writeback:             0 kB
AnonPages:       2048608 kB
Mapped:            15028 kB
Shmem:                96 kB
Slab:             681376 kB
SReclaimable:     125772 kB
SUnreclaim:       555604 kB
KernelStack:        1472 kB
PageTables:         7964 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     171672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    970752 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71688 MiB
End job on node149 at 2012-05-28 13:50:08