Trace number 3728565

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.13 900.462

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576927--soft-33-100-0.wbo
MD5SUMb0bcd9e760e7f0ffa9653d41066a148b
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard 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 benchmark55.5366
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 constraints1785
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 88246
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 88245
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 671
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-3728565-1338672664.wbo.
0.00/0.00	c Instance file HOME/instance-3728565-1338672664.wbo
0.00/0.00	c File size is 92233 bytes.
0.00/0.01	c Highest Coefficient sum: 671
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:      2016                                                |
0.00/0.01	c |  Number Clauses:        2684                                                |
0.00/0.01	c |  Number Cardinality:    11                                                  |
0.00/0.01	c |  Number PB Constraints: 12                                                  |
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Problem Type:          Optimization                                        |
0.00/0.01	c |  Objective Function:    PB Constraint                                       |
0.00/0.01	c |                                                                             |
0.00/0.01	c ===============================================================================
1800.13/900.41	o 493
1800.13/900.41	o 471
1800.13/900.41	o 215
1800.13/900.41	o 180
1800.13/900.41	o 161
1800.13/900.41	o 160
1800.13/900.41	o 149
1800.13/900.41	o 132
1800.13/900.41	o 127
1800.13/900.41	o 121
1800.13/900.41	o 119
1800.13/900.41	o 117
1800.13/900.41	o 114
1800.13/900.41	o 111
1800.13/900.41	o 93
1800.13/900.41	o 84
1800.13/900.41	o 76
1800.13/900.41	o 65
1800.13/900.41	o 60
1800.13/900.41	o 52
1800.13/900.41	o 51
1800.13/900.41	o 47
1800.13/900.41	o 46
1800.13/900.41	o 25
1800.13/900.41	o 21
1800.13/900.41	o 11
1800.13/900.41	o 8
1800.13/900.41	o 5
1800.13/900.41	o 4
1800.13/900.41	o 1
1800.13/900.41	c ===============================================================================
1800.13/900.41	c Wall Clock Time: 900.41 s
1800.13/900.41	c Best Solution: 1
1800.13/900.41	s SATISFIABLE
1800.13/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-3728565-1338672664/watcher-3728565-1338672664 -o /tmp/evaluation-result-3728565-1338672664/solver-3728565-1338672664 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728565-1338672664.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.99 3.96 3.86 4/178 20334
/proc/meminfo: memFree=28162344/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=4456 CPUtime=0 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) R 20332 20334 19426 0 -1 4202496 428 0 0 0 0 0 0 0 20 0 1 0 333390933 4562944 380 33554432000 4194304 5964478 140735788651696 140736861501944 5179607 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 1114 380 167 433 0 655 0

[startup+0.0109929 s]
/proc/loadavg: 3.99 3.96 3.86 4/178 20334
/proc/meminfo: memFree=28162344/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=163408 CPUtime=0 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 1056 0 0 0 0 0 0 0 20 0 3 0 333390933 167329792 985 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 40852 985 178 433 0 40416 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 163408

[startup+0.100147 s]
/proc/loadavg: 3.99 3.96 3.86 4/178 20334
/proc/meminfo: memFree=28162344/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=163772 CPUtime=0.17 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 2824 0 0 0 17 0 0 0 20 0 3 0 333390933 167702528 2175 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 40943 2175 198 433 0 40507 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 163772

[startup+0.300121 s]
/proc/loadavg: 3.99 3.96 3.86 4/178 20334
/proc/meminfo: memFree=28162344/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=163772 CPUtime=0.58 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 3826 0 0 0 57 1 0 0 20 0 3 0 333390933 167702528 2904 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 40943 2904 198 433 0 40507 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 163772

[startup+0.700139 s]
/proc/loadavg: 3.99 3.96 3.86 4/178 20334
/proc/meminfo: memFree=28162344/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=163772 CPUtime=1.37 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 5316 0 0 0 136 1 0 0 20 0 3 0 333390933 167702528 3956 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 40943 3956 198 433 0 40507 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 163772

[startup+1.50031 s]
/proc/loadavg: 3.99 3.96 3.86 5/181 20337
/proc/meminfo: memFree=28144696/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=163904 CPUtime=2.98 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 6419 0 0 0 294 4 0 0 20 0 3 0 333390933 167837696 5058 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 40976 5058 198 433 0 40540 0
[pid=20334/tid=20336] ppid=20332 vsize=163904 CPUtime=1.47 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 2306 0 0 0 145 2 0 0 20 0 3 0 333390934 167837696 5058 33554432000 4194304 5964478 140735788651696 139755267618808 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=163904 CPUtime=1.47 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 3093 0 0 0 145 2 0 0 20 0 3 0 333390934 167837696 5058 33554432000 4194304 5964478 140735788651696 139755257129208 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 163904

[startup+3.10033 s]
/proc/loadavg: 3.99 3.96 3.86 5/181 20337
/proc/meminfo: memFree=28136380/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=164036 CPUtime=6.17 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 8811 0 0 0 607 10 0 0 20 0 3 0 333390933 167972864 7449 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 41009 7449 198 433 0 40573 0
[pid=20334/tid=20336] ppid=20332 vsize=164036 CPUtime=3.06 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 4432 0 0 0 299 7 0 0 20 0 3 0 333390934 167972864 7449 33554432000 4194304 5964478 140735788651696 139755267618616 4400557 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=164036 CPUtime=3.06 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 3359 0 0 0 304 2 0 0 20 0 3 0 333390934 167972864 7449 33554432000 4194304 5964478 140735788651696 139755257129320 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 164036

[startup+6.30033 s]
/proc/loadavg: 3.99 3.96 3.87 5/181 20337
/proc/meminfo: memFree=28106508/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=164716 CPUtime=12.56 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 14972 0 0 0 1230 26 0 0 20 0 3 0 333390933 168669184 13610 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 41179 13610 198 433 0 40743 0
[pid=20334/tid=20336] ppid=20332 vsize=164716 CPUtime=6.25 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 8671 0 0 0 608 17 0 0 20 0 3 0 333390934 168669184 13612 33554432000 4194304 5964478 140735788651696 139755267618808 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=164716 CPUtime=6.25 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 5283 0 0 0 617 8 0 0 20 0 3 0 333390934 168669184 13612 33554432000 4194304 5964478 140735788651696 139755257129320 4399920 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) 164716

[startup+12.7003 s]
/proc/loadavg: 3.99 3.96 3.87 5/181 20337
/proc/meminfo: memFree=28034636/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=165324 CPUtime=25.35 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 28395 0 0 0 2480 55 0 0 20 0 3 0 333390933 169291776 27033 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 41331 27033 198 433 0 40895 0
[pid=20334/tid=20336] ppid=20332 vsize=165324 CPUtime=12.64 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 14479 0 0 0 1232 32 0 0 20 0 3 0 333390934 169291776 27033 33554432000 4194304 5964478 140735788651696 139755267618808 5139166 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=165324 CPUtime=12.64 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 12896 0 0 0 1242 22 0 0 20 0 3 0 333390934 169291776 27033 33554432000 4194304 5964478 140735788651696 139755257129272 4388326 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 165324

[startup+25.5003 s]
/proc/loadavg: 3.99 3.96 3.87 5/181 20337
/proc/meminfo: memFree=27924624/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=298248 CPUtime=50.93 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 48121 0 0 0 4997 96 0 0 20 0 3 0 333390933 305405952 46759 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 74562 46759 198 433 0 74126 0
[pid=20334/tid=20336] ppid=20332 vsize=298248 CPUtime=25.4 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 22713 0 0 0 2487 53 0 0 20 0 3 0 333390934 305405952 46759 33554432000 4194304 5964478 140735788651696 139755267618808 4400097 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=298248 CPUtime=25.4 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 24388 0 0 0 2498 42 0 0 20 0 3 0 333390934 305405952 46759 33554432000 4194304 5964478 140735788651696 139755257129272 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 298248

[startup+51.1004 s]
/proc/loadavg: 3.99 3.97 3.87 5/181 20337
/proc/meminfo: memFree=27779636/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=430848 CPUtime=102.11 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 76060 0 0 0 10064 147 0 0 20 0 3 0 333390933 441188352 74698 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 107712 74698 198 433 0 107276 0
[pid=20334/tid=20336] ppid=20332 vsize=430848 CPUtime=50.94 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 38213 0 0 0 5007 87 0 0 20 0 3 0 333390934 441188352 74698 33554432000 4194304 5964478 140735788651696 139755267618808 4400542 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=430848 CPUtime=50.94 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 36827 0 0 0 5035 59 0 0 20 0 3 0 333390934 441188352 74698 33554432000 4194304 5964478 140735788651696 139755257129032 4400078 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 430848

[startup+102.307 s]
/proc/loadavg: 4.06 3.99 3.88 5/182 20339
/proc/meminfo: memFree=27555064/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=629500 CPUtime=204.5 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 131330 0 0 0 20216 234 0 0 20 0 3 0 333390933 644608000 129761 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 157375 129761 198 433 0 156939 0
[pid=20334/tid=20336] ppid=20332 vsize=629500 CPUtime=102.01 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 74015 0 0 0 10051 150 0 0 20 0 3 0 333390934 644608000 129761 33554432000 4194304 5964478 140735788651696 139755267618808 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=629500 CPUtime=102.01 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 56295 0 0 0 10116 85 0 0 20 0 3 0 333390934 644608000 129761 33554432000 4194304 5964478 140735788651696 139755257129376 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.5
Current children cumulated vsize (KiB) 629500

[startup+162.3 s]
/proc/loadavg: 4.14 4.02 3.90 5/181 20339
/proc/meminfo: memFree=27302616/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=762524 CPUtime=324.47 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 171836 0 0 0 32133 314 0 0 20 0 3 0 333390933 780824576 170267 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 190631 170267 198 433 0 190195 0
[pid=20334/tid=20336] ppid=20332 vsize=762524 CPUtime=161.85 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 95201 0 0 0 15985 200 0 0 20 0 3 0 333390934 780824576 170267 33554432000 4194304 5964478 140735788651696 139755267618808 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=762524 CPUtime=161.85 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 75615 0 0 0 16067 118 0 0 20 0 3 0 333390934 780824576 170267 33554432000 4194304 5964478 140735788651696 139755257129272 4400115 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.47
Current children cumulated vsize (KiB) 762524

[startup+222.3 s]
/proc/loadavg: 4.15 4.04 3.91 5/181 20339
/proc/meminfo: memFree=27128592/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=895172 CPUtime=444.45 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 201225 0 0 0 44065 380 0 0 20 0 3 0 333390933 916656128 199656 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 223793 199656 198 433 0 223357 0
[pid=20334/tid=20336] ppid=20332 vsize=895172 CPUtime=221.7 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 112495 0 0 0 21927 243 0 0 20 0 3 0 333390934 916656128 199656 33554432000 4194304 5964478 140735788651696 139755267618808 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=895172 CPUtime=221.7 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 87710 0 0 0 22028 142 0 0 20 0 3 0 333390934 916656128 199656 33554432000 4194304 5964478 140735788651696 139755257129272 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.45
Current children cumulated vsize (KiB) 895172

[startup+282.3 s]
/proc/loadavg: 4.15 4.06 3.92 5/181 20339
/proc/meminfo: memFree=26872348/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=1093080 CPUtime=564.41 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 251432 0 0 0 55950 491 0 0 20 0 3 0 333390933 1119313920 250214 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 273270 250214 198 433 0 272834 0
[pid=20334/tid=20336] ppid=20332 vsize=1093080 CPUtime=281.54 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 144899 0 0 0 27828 326 0 0 20 0 3 0 333390934 1119313920 250215 33554432000 4194304 5964478 140735788651696 139755267618808 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=1093080 CPUtime=281.54 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 105514 0 0 0 27981 173 0 0 20 0 3 0 333390934 1119313920 250215 33554432000 4194304 5964478 140735788651696 139755257129272 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.41
Current children cumulated vsize (KiB) 1093080

[startup+342.3 s]
/proc/loadavg: 3.97 4.03 3.92 5/181 20819
/proc/meminfo: memFree=27245432/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=1225824 CPUtime=684.37 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 289389 0 0 0 67881 556 0 0 20 0 3 0 333390933 1255243776 288244 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 306456 288244 198 433 0 306020 0
[pid=20334/tid=20336] ppid=20332 vsize=1225824 CPUtime=341.36 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 176343 0 0 0 33758 378 0 0 20 0 3 0 333390934 1255243776 288244 33554432000 4194304 5964478 140735788651696 139755267618808 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=1225824 CPUtime=341.39 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 112026 0 0 0 33952 187 0 0 20 0 3 0 333390934 1255243776 288244 33554432000 4194304 5964478 140735788651696 139755257129032 4400042 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.37
Current children cumulated vsize (KiB) 1225824

[startup+402.3 s]
/proc/loadavg: 3.99 4.02 3.92 5/181 20820
/proc/meminfo: memFree=27017852/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=1291988 CPUtime=804.32 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 311500 0 0 0 79829 603 0 0 20 0 3 0 333390933 1322995712 310362 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 322997 310362 198 433 0 322561 0
[pid=20334/tid=20336] ppid=20332 vsize=1291988 CPUtime=401.2 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 196786 0 0 0 39697 423 0 0 20 0 3 0 333390934 1322995712 310362 33554432000 4194304 5964478 140735788651696 139755267618720 4400069 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=1291988 CPUtime=401.21 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 113694 0 0 0 39930 191 0 0 20 0 3 0 333390934 1322995712 310362 33554432000 4194304 5964478 140735788651696 139755257129376 4400069 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.32
Current children cumulated vsize (KiB) 1291988

[startup+462.3 s]
/proc/loadavg: 3.77 3.95 3.90 5/181 21260
/proc/meminfo: memFree=27081384/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=1292816 CPUtime=924.28 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 311736 0 0 0 91825 603 0 0 20 0 3 0 333390933 1323843584 310612 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 323204 310612 198 433 0 322768 0
[pid=20334/tid=20336] ppid=20332 vsize=1292816 CPUtime=461.03 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 196827 0 0 0 45679 424 0 0 20 0 3 0 333390934 1323843584 310612 33554432000 4194304 5964478 140735788651696 139755267618720 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=1292816 CPUtime=461.06 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 113889 0 0 0 45915 191 0 0 20 0 3 0 333390934 1323843584 310612 33554432000 4194304 5964478 140735788651696 139755257129032 4400097 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) 1292816

[startup+522.3 s]
/proc/loadavg: 3.95 3.97 3.91 5/181 21260
/proc/meminfo: memFree=26945136/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=1293272 CPUtime=1044.23 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 311853 0 0 0 103820 603 0 0 20 0 3 0 333390933 1324310528 310559 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 323318 310559 198 433 0 322882 0
[pid=20334/tid=20336] ppid=20332 vsize=1293272 CPUtime=520.87 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 196846 0 0 0 51662 425 0 0 20 0 3 0 333390934 1324310528 310559 33554432000 4194304 5964478 140735788651696 139755267618720 4400097 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=1293272 CPUtime=520.88 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 113987 0 0 0 51896 192 0 0 20 0 3 0 333390934 1324310528 310559 33554432000 4194304 5964478 140735788651696 139755257129032 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.23
Current children cumulated vsize (KiB) 1293272

[startup+582.3 s]
/proc/loadavg: 4.01 3.99 3.91 5/182 21263
/proc/meminfo: memFree=26874992/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=1359612 CPUtime=1164.18 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 326762 0 0 0 115788 630 0 0 20 0 3 0 333390933 1392242688 325430 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 339903 325430 198 433 0 339467 0
[pid=20334/tid=20336] ppid=20332 vsize=1359612 CPUtime=580.7 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 196877 0 0 0 57644 426 0 0 20 0 3 0 333390934 1392242688 325430 33554432000 4194304 5964478 140735788651696 139755267618720 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=1359612 CPUtime=580.71 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 128865 0 0 0 57851 220 0 0 20 0 3 0 333390934 1392242688 325430 33554432000 4194304 5964478 140735788651696 139755257129272 4400103 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) 1359612

[startup+642.3 s]
/proc/loadavg: 4.10 4.02 3.93 5/181 21263
/proc/meminfo: memFree=26635708/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=1425972 CPUtime=1284.14 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 338713 0 0 0 127759 655 0 0 20 0 3 0 333390933 1460195328 337338 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 356493 337338 198 433 0 356057 0
[pid=20334/tid=20336] ppid=20332 vsize=1425972 CPUtime=640.55 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 196917 0 0 0 63628 427 0 0 20 0 3 0 333390934 1460195328 337338 33554432000 4194304 5964478 140735788651696 139755267618720 4399964 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=1425972 CPUtime=640.54 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 140776 0 0 0 63808 246 0 0 20 0 3 0 333390934 1460195328 337338 33554432000 4194304 5964478 140735788651696 139755257129272 4400089 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.14
Current children cumulated vsize (KiB) 1425972

[startup+702.3 s]
/proc/loadavg: 4.04 4.01 3.93 5/180 21263
/proc/meminfo: memFree=26614788/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=1492356 CPUtime=1404.07 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 342977 0 0 0 139745 662 0 0 20 0 3 0 333390933 1528172544 341563 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 373089 341563 198 433 0 372653 0
[pid=20334/tid=20336] ppid=20332 vsize=1492356 CPUtime=700.37 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 200993 0 0 0 69602 435 0 0 20 0 3 0 333390934 1528172544 341563 33554432000 4194304 5964478 140735788651696 139755267618808 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=1492356 CPUtime=700.37 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 140964 0 0 0 69790 247 0 0 20 0 3 0 333390934 1528172544 341563 33554432000 4194304 5964478 140735788651696 139755257129032 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.07
Current children cumulated vsize (KiB) 1492356

[startup+762.307 s]
/proc/loadavg: 4.01 4.00 3.93 5/181 21264
/proc/meminfo: memFree=26481264/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=1558176 CPUtime=1524.04 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 359116 0 0 0 151702 702 0 0 20 0 3 0 333390933 1595572224 357671 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 389544 357671 198 433 0 389108 0
[pid=20334/tid=20336] ppid=20332 vsize=1558176 CPUtime=760.2 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 217063 0 0 0 75546 474 0 0 20 0 3 0 333390934 1595572224 357671 33554432000 4194304 5964478 140735788651696 139755267618808 4400097 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=1558176 CPUtime=760.21 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 141033 0 0 0 75773 248 0 0 20 0 3 0 333390934 1595572224 357671 33554432000 4194304 5964478 140735788651696 139755257129032 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.04
Current children cumulated vsize (KiB) 1558176

[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 21264
/proc/meminfo: memFree=26286988/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=1755496 CPUtime=1643.96 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 405624 0 0 0 163599 797 0 0 20 0 3 0 333390933 1797627904 404136 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 438874 404136 198 433 0 438438 0
[pid=20334/tid=20336] ppid=20332 vsize=1755496 CPUtime=820.01 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 232215 0 0 0 81487 514 0 0 20 0 3 0 333390934 1797627904 404136 33554432000 4194304 5964478 140735788651696 139755267618808 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=1755496 CPUtime=820.05 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 172389 0 0 0 81699 306 0 0 20 0 3 0 333390934 1797627904 404136 33554432000 4194304 5964478 140735788651696 139755257129272 4400069 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1643.96
Current children cumulated vsize (KiB) 1755496

[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 21264
/proc/meminfo: memFree=26191304/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=1755708 CPUtime=1763.92 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 425880 0 0 0 175548 844 0 0 20 0 3 0 333390933 1797844992 425309 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 438927 425309 198 433 0 438491 0
[pid=20334/tid=20336] ppid=20332 vsize=1755708 CPUtime=879.85 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 246164 0 0 0 87436 549 0 0 20 0 3 0 333390934 1797844992 425309 33554432000 4194304 5964478 140735788651696 139755267618808 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=1755708 CPUtime=879.87 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 178696 0 0 0 87667 320 0 0 20 0 3 0 333390934 1797844992 425309 33554432000 4194304 5964478 140735788651696 139755257129376 4400103 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1763.92
Current children cumulated vsize (KiB) 1755708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.4 s]
/proc/loadavg: 4.08 4.02 3.93 5/181 21264
/proc/meminfo: memFree=26174472/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=1821244 CPUtime=1800.13 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 429659 0 0 0 179159 854 0 0 20 0 3 0 333390933 1864953856 429329 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 455311 429329 198 433 0 454875 0
[pid=20334/tid=20336] ppid=20332 vsize=1821244 CPUtime=897.91 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 249937 0 0 0 89233 558 0 0 20 0 3 0 333390934 1864953856 429329 33554432000 4194304 5964478 140735788651696 139755267618808 4400103 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=1821244 CPUtime=897.93 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 178702 0 0 0 89473 320 0 0 20 0 3 0 333390934 1864953856 429329 33554432000 4194304 5964478 140735788651696 139755257129376 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 1821244

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

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20334 and gives
#  childrusage.ru_utime.tv_sec=1787
#  childrusage.ru_utime.tv_usec=88321
#  childrusage.ru_stime.tv_sec=8
#  childrusage.ru_stime.tv_usec=848654
# CPU time returned by wait4() is 1795.94
# while last known CPU time is 1800.13
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.462
CPU time (s): 1800.13
CPU user time (s): 1791.59
CPU system time (s): 8.54
CPU usage (%): 199.912
Max. virtual memory (cumulated for all children) (KiB): 1821244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.09
system time used= 8.84865
maximum resident set size= 1717324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 429661
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= 1332
involuntary context switches= 1930

runsolver used 1.76073 second user time and 5.01524 second system time

The end

Launcher Data 

Begin job on node148 at 2012-06-02 23:31:04
IDJOB=3728565
IDBENCH=78946
IDSOLVER=2316
FILE ID=node148/3728565-1338672664
RUNJOBID= node148-1338669340-19565
PBS_JOBID= 14636523
Free space on /tmp= 71328 MiB

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

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

MD5SUM BENCH= b0bcd9e760e7f0ffa9653d41066a148b
RANDOM SEED=894528400

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
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.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
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		: 2667.284
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28162608 kB
Buffers:          581236 kB
Cached:          2838808 kB
SwapCached:          628 kB
Active:          1768416 kB
Inactive:        2041280 kB
Active(anon):     378744 kB
Inactive(anon):    10672 kB
Active(file):    1389672 kB
Inactive(file):  2030608 kB
Unevictable:        7388 kB
Mlocked:            7388 kB
SwapTotal:      67108856 kB
SwapFree:       67107564 kB
Dirty:              5444 kB
Writeback:             0 kB
AnonPages:        394168 kB
Mapped:            11664 kB
Shmem:                36 kB
Slab:             764996 kB
SReclaimable:     209284 kB
SUnreclaim:       555712 kB
KernelStack:        1504 kB
PageTables:         4988 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     166272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71320 MiB
End job on node148 at 2012-06-02 23:46:07