Trace number 3712487

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.09 900.458

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670167--soft-33-100-0.wbo
MD5SUMcbb94832f8cf89251c53c05bd4717107
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark22.8045
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 constraints1788
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 89002
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 89001
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 707
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-3712487-1338197303.wbo.
0.00/0.00	c Instance file HOME/instance-3712487-1338197303.wbo
0.00/0.00	c File size is 92231 bytes.
0.00/0.01	c Highest Coefficient sum: 707
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:      2019                                                |
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.09/900.41	o 641
1800.09/900.41	o 527
1800.09/900.41	o 512
1800.09/900.41	o 487
1800.09/900.41	o 241
1800.09/900.41	o 213
1800.09/900.41	o 212
1800.09/900.41	o 209
1800.09/900.41	o 207
1800.09/900.41	o 191
1800.09/900.41	o 188
1800.09/900.41	o 187
1800.09/900.41	o 169
1800.09/900.41	o 168
1800.09/900.41	o 164
1800.09/900.41	o 156
1800.09/900.41	o 147
1800.09/900.41	o 142
1800.09/900.41	o 137
1800.09/900.41	o 131
1800.09/900.41	o 130
1800.09/900.41	o 121
1800.09/900.41	o 119
1800.09/900.41	o 100
1800.09/900.41	o 89
1800.09/900.41	o 54
1800.09/900.41	o 45
1800.09/900.41	o 34
1800.09/900.41	o 32
1800.09/900.41	o 13
1800.09/900.41	o 12
1800.09/900.41	o 11
1800.09/900.41	o 10
1800.09/900.41	o 9
1800.09/900.41	o 6
1800.09/900.41	o 4
1800.09/900.41	o 2
1800.09/900.41	c ===============================================================================
1800.09/900.41	c Wall Clock Time: 900.41 s
1800.09/900.41	c Best Solution: 2
1800.09/900.41	s SATISFIABLE
1800.09/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	2

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3712487-1338197303/watcher-3712487-1338197303 -o /tmp/evaluation-result-3712487-1338197303/solver-3712487-1338197303 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712487-1338197303.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 3.99 3.92 4/178 21163
/proc/meminfo: memFree=30590852/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=4320 CPUtime=0 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) R 21161 21163 20249 0 -1 4202496 393 0 0 0 0 0 0 0 20 0 1 0 285854830 4423680 345 33554432000 4194304 5964478 140736038813840 140736160607688 4344643 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 1080 345 166 433 0 621 0

[startup+0.086967 s]
/proc/loadavg: 4.00 3.99 3.92 4/178 21163
/proc/meminfo: memFree=30590852/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=163768 CPUtime=0.14 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 2878 0 0 0 14 0 0 0 20 0 3 0 285854830 167698432 2102 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 40942 2102 198 433 0 40506 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 163768

[startup+0.100176 s]
/proc/loadavg: 4.00 3.99 3.92 4/178 21163
/proc/meminfo: memFree=30590852/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=163768 CPUtime=0.17 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 3126 0 0 0 17 0 0 0 20 0 3 0 285854830 167698432 2241 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 40942 2241 198 433 0 40506 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 163768

[startup+0.300119 s]
/proc/loadavg: 4.00 3.99 3.92 4/178 21163
/proc/meminfo: memFree=30590852/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=163768 CPUtime=0.58 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 4199 0 0 0 57 1 0 0 20 0 3 0 285854830 167698432 2931 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 40942 2931 198 433 0 40506 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 163768

[startup+0.700133 s]
/proc/loadavg: 4.00 3.99 3.92 4/178 21163
/proc/meminfo: memFree=30590852/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=163768 CPUtime=1.37 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 5594 0 0 0 136 1 0 0 20 0 3 0 285854830 167698432 3978 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 40942 3978 198 433 0 40506 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 163768

[startup+1.50029 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21166
/proc/meminfo: memFree=30573924/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=163768 CPUtime=2.97 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 6493 0 0 0 296 1 0 0 20 0 3 0 285854830 167698432 4822 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 40942 4822 198 433 0 40506 0
[pid=21163/tid=21165] ppid=21161 vsize=163768 CPUtime=1.47 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 2268 0 0 0 147 0 0 0 20 0 3 0 285854831 167698432 4822 33554432000 4194304 5964478 140736038813840 140601561094240 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=163768 CPUtime=1.46 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 3203 0 0 0 146 0 0 0 20 0 3 0 285854831 167698432 4822 33554432000 4194304 5964478 140736038813840 140601550604512 4399910 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 163768

[startup+3.10031 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21166
/proc/meminfo: memFree=30567888/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=164032 CPUtime=6.16 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 8990 0 0 0 614 2 0 0 20 0 3 0 285854830 167968768 7263 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 41008 7264 198 433 0 40572 0
[pid=21163/tid=21165] ppid=21161 vsize=164032 CPUtime=3.06 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 4238 0 0 0 305 1 0 0 20 0 3 0 285854831 167968768 7264 33554432000 4194304 5964478 140736038813840 140601561094136 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=164032 CPUtime=3.06 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 3731 0 0 0 306 0 0 0 20 0 3 0 285854831 167968768 7264 33554432000 4194304 5964478 140736038813840 140601550604952 4399904 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) 164032

[startup+6.30032 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21166
/proc/meminfo: memFree=30550288/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=164300 CPUtime=12.57 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 13268 0 0 0 1253 4 0 0 20 0 3 0 285854830 168243200 11540 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 41075 11540 198 433 0 40639 0
[pid=21163/tid=21165] ppid=21161 vsize=164300 CPUtime=6.25 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 8106 0 0 0 623 2 0 0 20 0 3 0 285854831 168243200 11540 33554432000 4194304 5964478 140736038813840 140601561094128 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=164300 CPUtime=6.25 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 4140 0 0 0 625 0 0 0 20 0 3 0 285854831 168243200 11540 33554432000 4194304 5964478 140736038813840 140601550604704 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) 164300

[startup+12.7003 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21166
/proc/meminfo: memFree=30492620/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=230376 CPUtime=25.36 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 28147 0 0 0 2528 8 0 0 20 0 3 0 285854830 235905024 26355 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 57594 26355 198 433 0 57158 0
[pid=21163/tid=21165] ppid=21161 vsize=230376 CPUtime=12.64 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 19025 0 0 0 1259 5 0 0 20 0 3 0 285854831 235905024 26355 33554432000 4194304 5964478 140736038813840 140601561094136 4400060 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=230376 CPUtime=12.64 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 8100 0 0 0 1262 2 0 0 20 0 3 0 285854831 235905024 26355 33554432000 4194304 5964478 140736038813840 140601550604600 4221120 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) 230376

[startup+25.5003 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21166
/proc/meminfo: memFree=30419824/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=231420 CPUtime=50.95 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 43980 0 0 0 5081 14 0 0 20 0 3 0 285854830 236974080 42131 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 57855 42131 198 433 0 57419 0
[pid=21163/tid=21165] ppid=21161 vsize=231420 CPUtime=25.4 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 27089 0 0 0 2531 9 0 0 20 0 3 0 285854831 236974080 42131 33554432000 4194304 5964478 140736038813840 140601561094136 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=231420 CPUtime=25.4 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 15869 0 0 0 2536 4 0 0 20 0 3 0 285854831 236974080 42131 33554432000 4194304 5964478 140736038813840 140601550604704 4388310 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) 231420

[startup+51.1003 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21166
/proc/meminfo: memFree=30281408/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=364348 CPUtime=102.15 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 69497 0 0 0 10185 30 0 0 20 0 3 0 285854830 373092352 67542 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 91087 67542 198 433 0 90651 0
[pid=21163/tid=21165] ppid=21161 vsize=364348 CPUtime=50.94 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 42665 0 0 0 5073 21 0 0 20 0 3 0 285854831 373092352 67542 33554432000 4194304 5964478 140736038813840 140601561094136 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=364348 CPUtime=50.93 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 25810 0 0 0 5085 8 0 0 20 0 3 0 285854831 373092352 67542 33554432000 4194304 5964478 140736038813840 140601550604704 4400022 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 364348

[startup+102.306 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21169
/proc/meminfo: memFree=29967832/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=628776 CPUtime=204.55 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 135010 0 0 0 20396 59 0 0 20 0 3 0 285854830 643866624 133055 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 157194 133055 198 433 0 156758 0
[pid=21163/tid=21165] ppid=21161 vsize=628776 CPUtime=102.01 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 77655 0 0 0 10164 37 0 0 20 0 3 0 285854831 643866624 133055 33554432000 4194304 5964478 140736038813840 140601561094136 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=628776 CPUtime=102 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 56333 0 0 0 10178 22 0 0 20 0 3 0 285854831 643866624 133055 33554432000 4194304 5964478 140736038813840 140601550604704 4400081 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.55
Current children cumulated vsize (KiB) 628776

[startup+162.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21170
/proc/meminfo: memFree=29831840/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=695304 CPUtime=324.52 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 151459 0 0 0 32387 65 0 0 20 0 3 0 285854830 711991296 149432 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 173826 149432 198 433 0 173390 0
[pid=21163/tid=21165] ppid=21161 vsize=695304 CPUtime=161.85 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 86457 0 0 0 16143 42 0 0 20 0 3 0 285854831 711991296 149432 33554432000 4194304 5964478 140736038813840 140601561094048 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=695304 CPUtime=161.84 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 63980 0 0 0 16158 26 0 0 20 0 3 0 285854831 711991296 149432 33554432000 4194304 5964478 140736038813840 140601550604600 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.52
Current children cumulated vsize (KiB) 695304

[startup+222.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21170
/proc/meminfo: memFree=29591944/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=827356 CPUtime=444.45 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 187458 0 0 0 44363 82 0 0 20 0 3 0 285854830 847212544 185855 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 206839 185855 198 433 0 206403 0
[pid=21163/tid=21165] ppid=21161 vsize=827356 CPUtime=221.68 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 110570 0 0 0 22112 56 0 0 20 0 3 0 285854831 847212544 185855 33554432000 4194304 5964478 140736038813840 140601561094136 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=827356 CPUtime=221.67 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 75866 0 0 0 22135 32 0 0 20 0 3 0 285854831 847212544 185855 33554432000 4194304 5964478 140736038813840 140601550604360 4221120 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) 827356

[startup+282.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21170
/proc/meminfo: memFree=29421968/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=961048 CPUtime=564.39 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 208755 0 0 0 56347 92 0 0 20 0 3 0 285854830 984113152 207154 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 240262 207154 198 433 0 239826 0
[pid=21163/tid=21165] ppid=21161 vsize=961048 CPUtime=281.51 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 121045 0 0 0 28089 62 0 0 20 0 3 0 285854831 984113152 207154 33554432000 4194304 5964478 140736038813840 140601561094048 4400040 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=961048 CPUtime=281.48 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 86688 0 0 0 28110 38 0 0 20 0 3 0 285854831 984113152 207154 33554432000 4194304 5964478 140736038813840 140601550604360 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.39
Current children cumulated vsize (KiB) 961048

[startup+342.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21170
/proc/meminfo: memFree=29248644/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=1028420 CPUtime=684.32 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 234177 0 0 0 68327 105 0 0 20 0 3 0 285854830 1053102080 232548 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 257105 232548 198 433 0 256669 0
[pid=21163/tid=21165] ppid=21161 vsize=1028420 CPUtime=341.33 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 121216 0 0 0 34070 63 0 0 20 0 3 0 285854831 1053102080 232548 33554432000 4194304 5964478 140736038813840 140601561093704 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=1028420 CPUtime=341.29 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 111939 0 0 0 34078 51 0 0 20 0 3 0 285854831 1053102080 232548 33554432000 4194304 5964478 140736038813840 140601550604632 4400512 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.32
Current children cumulated vsize (KiB) 1028420

[startup+402.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/182 21171
/proc/meminfo: memFree=29150208/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=1094116 CPUtime=804.24 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 248721 0 0 0 80307 117 0 0 20 0 3 0 285854830 1120374784 246981 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 273529 246981 198 433 0 273093 0
[pid=21163/tid=21165] ppid=21161 vsize=1094116 CPUtime=401.14 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 135688 0 0 0 40038 76 0 0 20 0 3 0 285854831 1120374784 246981 33554432000 4194304 5964478 140736038813840 140601561094136 4400040 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=1094116 CPUtime=401.12 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 112011 0 0 0 40060 52 0 0 20 0 3 0 285854831 1120374784 246981 33554432000 4194304 5964478 140736038813840 140601550604632 4400081 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.24
Current children cumulated vsize (KiB) 1094116

[startup+462.3 s]
/proc/loadavg: 4.03 4.00 3.92 5/181 21172
/proc/meminfo: memFree=28975032/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=1225772 CPUtime=924.17 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 283140 0 0 0 92280 137 0 0 20 0 3 0 285854830 1255190528 281371 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 306443 281371 198 433 0 306007 0
[pid=21163/tid=21165] ppid=21161 vsize=1225772 CPUtime=460.94 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 166165 0 0 0 46000 94 0 0 20 0 3 0 285854831 1255190528 281371 33554432000 4194304 5964478 140736038813840 140601561094136 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=1225772 CPUtime=460.95 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 115953 0 0 0 46041 54 0 0 20 0 3 0 285854831 1255190528 281371 33554432000 4194304 5964478 140736038813840 140601550604600 4400051 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.17
Current children cumulated vsize (KiB) 1225772

[startup+522.3 s]
/proc/loadavg: 4.05 4.01 3.93 5/181 21212
/proc/meminfo: memFree=29734184/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=1357768 CPUtime=1044.1 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 315080 0 0 0 104253 157 0 0 20 0 3 0 285854830 1390354432 313273 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 339442 313273 198 433 0 339006 0
[pid=21163/tid=21165] ppid=21161 vsize=1357768 CPUtime=520.74 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 190202 0 0 0 51964 110 0 0 20 0 3 0 285854831 1390354432 313273 33554432000 4194304 5964478 140736038813840 140601561094136 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=1357768 CPUtime=520.79 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 123856 0 0 0 52019 60 0 0 20 0 3 0 285854831 1390354432 313273 33554432000 4194304 5964478 140736038813840 140601550604360 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.1
Current children cumulated vsize (KiB) 1357768

[startup+582.3 s]
/proc/loadavg: 4.07 4.02 3.94 5/181 21212
/proc/meminfo: memFree=29512748/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=1425000 CPUtime=1164.03 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 340150 0 0 0 116228 175 0 0 20 0 3 0 285854830 1459200000 338299 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 356250 338299 198 433 0 355814 0
[pid=21163/tid=21165] ppid=21161 vsize=1425000 CPUtime=580.58 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 210191 0 0 0 57932 126 0 0 20 0 3 0 285854831 1459200000 338299 33554432000 4194304 5964478 140736038813840 140601561094136 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=1425000 CPUtime=580.59 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 128937 0 0 0 57994 65 0 0 20 0 3 0 285854831 1459200000 338299 33554432000 4194304 5964478 140736038813840 140601550604600 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.03
Current children cumulated vsize (KiB) 1425000

[startup+642.3 s]
/proc/loadavg: 4.02 4.02 3.94 5/181 21212
/proc/meminfo: memFree=29435276/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=1425144 CPUtime=1283.97 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 340245 0 0 0 128222 175 0 0 20 0 3 0 285854830 1459347456 338361 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 356286 338361 198 433 0 355850 0
[pid=21163/tid=21165] ppid=21161 vsize=1425144 CPUtime=640.4 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 210228 0 0 0 63913 127 0 0 20 0 3 0 285854831 1459347456 338361 33554432000 4194304 5964478 140736038813840 140601561094240 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=1425144 CPUtime=640.42 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 128995 0 0 0 63976 66 0 0 20 0 3 0 285854831 1459347456 338361 33554432000 4194304 5964478 140736038813840 140601550604360 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1283.97
Current children cumulated vsize (KiB) 1425144

[startup+702.3 s]
/proc/loadavg: 4.01 4.01 3.94 5/182 21215
/proc/meminfo: memFree=29331712/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=1422484 CPUtime=1403.94 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 344081 0 0 0 140215 179 0 0 20 0 3 0 285854830 1456623616 341127 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 355621 341127 200 433 0 355185 0
[pid=21163/tid=21165] ppid=21161 vsize=1422484 CPUtime=700.24 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 210246 0 0 0 69896 128 0 0 20 0 3 0 285854831 1456623616 341127 33554432000 4194304 5964478 140736038813840 140601561094008 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=1422484 CPUtime=700.26 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 132813 0 0 0 69956 70 0 0 20 0 3 0 285854831 1456623616 341127 33554432000 4194304 5964478 140736038813840 140601550604360 4400073 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1403.94
Current children cumulated vsize (KiB) 1422484

[startup+762.307 s]
/proc/loadavg: 4.00 4.01 3.94 5/181 21216
/proc/meminfo: memFree=29263688/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=1423880 CPUtime=1523.94 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 344293 0 0 0 152215 179 0 0 20 0 3 0 285854830 1458053120 341339 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 355970 341339 200 433 0 355534 0
[pid=21163/tid=21165] ppid=21161 vsize=1423880 CPUtime=760.1 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 210255 0 0 0 75881 129 0 0 20 0 3 0 285854831 1458053120 341339 33554432000 4194304 5964478 140736038813840 140601561094048 4400081 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=1423880 CPUtime=760.1 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 133016 0 0 0 75939 71 0 0 20 0 3 0 285854831 1458053120 341339 33554432000 4194304 5964478 140736038813840 140601550604704 4400062 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1523.94
Current children cumulated vsize (KiB) 1423880

[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/181 21216
/proc/meminfo: memFree=29194152/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=1424256 CPUtime=1643.91 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 346382 0 0 0 164208 183 0 0 20 0 3 0 285854830 1458438144 343428 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 356064 343428 200 433 0 355628 0
[pid=21163/tid=21165] ppid=21161 vsize=1424256 CPUtime=819.93 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 210300 0 0 0 81863 130 0 0 20 0 3 0 285854831 1458438144 343428 33554432000 4194304 5964478 140736038813840 140601561094240 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=1424256 CPUtime=819.94 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 135060 0 0 0 81919 75 0 0 20 0 3 0 285854831 1458438144 343428 33554432000 4194304 5964478 140736038813840 140601550604600 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1643.91
Current children cumulated vsize (KiB) 1424256

[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/181 21216
/proc/meminfo: memFree=29101676/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=1490300 CPUtime=1763.88 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 354765 0 0 0 176193 195 0 0 20 0 3 0 285854830 1526067200 351811 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 372575 351811 200 433 0 372139 0
[pid=21163/tid=21165] ppid=21161 vsize=1490300 CPUtime=879.78 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 210331 0 0 0 87847 131 0 0 20 0 3 0 285854831 1526067200 351811 33554432000 4194304 5964478 140736038813840 140601561094240 4400406 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=1490300 CPUtime=879.78 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 143412 0 0 0 87889 89 0 0 20 0 3 0 285854831 1526067200 351811 33554432000 4194304 5964478 140736038813840 140601550604360 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1763.88
Current children cumulated vsize (KiB) 1490300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.4 s]
/proc/loadavg: 4.00 4.00 3.94 5/181 21216
/proc/meminfo: memFree=29082192/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=1490692 CPUtime=1800.09 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 354806 0 0 0 179814 195 0 0 20 0 3 0 285854830 1526468608 351852 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 372673 351852 200 433 0 372237 0
[pid=21163/tid=21165] ppid=21161 vsize=1490692 CPUtime=897.84 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 210368 0 0 0 89653 131 0 0 20 0 3 0 285854831 1526468608 351852 33554432000 4194304 5964478 140736038813840 140601561094240 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=1490692 CPUtime=897.84 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 143416 0 0 0 89695 89 0 0 20 0 3 0 285854831 1526468608 351852 33554432000 4194304 5964478 140736038813840 140601550604360 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1490692

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 21163 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=503346
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=274654
# CPU time returned by wait4() is 1795.78
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.458
CPU time (s): 1800.09
CPU user time (s): 1798.14
CPU system time (s): 1.95
CPU usage (%): 199.908
Max. virtual memory (cumulated for all children) (KiB): 1490692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.5
system time used= 2.27465
maximum resident set size= 1407412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 354807
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= 999
involuntary context switches= 1886

runsolver used 1.75973 second user time and 4.90725 second system time

The end

Launcher Data 

Begin job on node139 at 2012-05-28 11:28:23
IDJOB=3712487
IDBENCH=78958
IDSOLVER=2292
FILE ID=node139/3712487-1338197303
RUNJOBID= node139-1338192730-20265
PBS_JOBID= 14624580
Free space on /tmp= 71648 MiB

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

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

MD5SUM BENCH= cbb94832f8cf89251c53c05bd4717107
RANDOM SEED=971641631

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30590852 kB
Buffers:          425628 kB
Cached:           451620 kB
SwapCached:          828 kB
Active:          1223588 kB
Inactive:         202476 kB
Active(anon):     542276 kB
Inactive(anon):     7968 kB
Active(file):     681312 kB
Inactive(file):   194508 kB
Unevictable:        6080 kB
Mlocked:            6080 kB
SwapTotal:      67108856 kB
SwapFree:       67104692 kB
Dirty:              5440 kB
Writeback:             0 kB
AnonPages:        559216 kB
Mapped:            12664 kB
Shmem:                 8 kB
Slab:             716740 kB
SReclaimable:     159096 kB
SUnreclaim:       557644 kB
KernelStack:        1504 kB
PageTables:         5132 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     168704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    202752 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71640 MiB
End job on node139 at 2012-05-28 11:43:25