Trace number 3703565

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 NameAnswerobjective functionCPU timeWall clock time
pwbo 2.0SAT (TO)58 1800.41 900.237

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g15x15.opb
MD5SUM28425c3b4907da9ba10ee31a4de63042
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark53
Best CPU time to get the best result obtained on this benchmark77.6872
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 53
Optimality of the best value was proved NO
Number of variables225
Total number of constraints225
Number of constraints which are clauses225
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 225
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 225
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 225
Number of bits of the biggest sum of numbers8
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.0 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3703565-1338090508.opb.
0.00/0.00	c Instance file HOME/instance-3703565-1338090508.opb
0.00/0.00	c File size is 11487 bytes.
0.00/0.00	c Cost Offset: 0
0.00/0.00	c Highest Coefficient sum: 6
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      225                                                 |
0.00/0.00	c |  Number Clauses:        225                                                 |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Problem Type:          Optimization                                        |
0.00/0.00	c |  Objective Function:    Cardinality Constraint                              |
0.00/0.00	c |                                                                             |
0.00/0.00	c ===============================================================================
1800.03/900.21	o 75
1800.03/900.21	o 74
1800.03/900.21	o 71
1800.03/900.21	o 70
1800.03/900.21	o 67
1800.03/900.21	o 66
1800.03/900.21	o 65
1800.03/900.21	o 64
1800.03/900.21	o 60
1800.03/900.21	o 59
1800.03/900.21	o 58
1800.03/900.21	c ===============================================================================
1800.03/900.21	c Wall Clock Time: 900.21 s
1800.03/900.21	c Best Solution: 58
1800.03/900.21	s SATISFIABLE
1800.03/900.21	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

Verifier Data 

OK	58

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-3703565-1338090508/watcher-3703565-1338090508 -o /tmp/evaluation-result-3703565-1338090508/solver-3703565-1338090508 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703565-1338090508.opb 

running on 4 cores: 1,3,5,7

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.03 3.99 3.92 4/180 17184
/proc/meminfo: memFree=29306648/32873844 swapFree=7372/7372
[pid=17184] ppid=17182 vsize=163384 CPUtime=0 cores=1,3,5,7
/proc/17184/stat : 17184 (pwbo2.0) S 17182 17184 15889 0 -1 4202496 1204 0 0 0 0 0 0 0 20 0 3 0 275175611 167305216 1153 33554432000 4194304 5965102 140734057735728 140734057735248 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17184/statm: 40846 1120 202 433 0 40410 0
[pid=17184/tid=17185] ppid=17182 vsize=163208 CPUtime=0 cores=1,3,5,7
/proc/17184/task/17185/stat : 17185 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 62 0 0 0 0 0 0 0 20 0 3 0 275175612 167124992 1125 33554432000 4194304 5965102 140734057735728 140637952174424 5122986 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17184/tid=17186] ppid=17182 vsize=163208 CPUtime=0 cores=1,3,5,7
/proc/17184/task/17186/stat : 17186 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 397 0 0 0 0 0 0 0 20 0 3 0 275175612 167124992 1127 33554432000 4194304 5965102 140734057735728 140637941683528 5137146 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0

[startup+0.0314091 s]
/proc/loadavg: 4.03 3.99 3.92 4/180 17184
/proc/meminfo: memFree=29306648/32873844 swapFree=7372/7372
[pid=17184] ppid=17182 vsize=163620 CPUtime=0.05 cores=1,3,5,7
/proc/17184/stat : 17184 (pwbo2.0) S 17182 17184 15889 0 -1 4202496 1467 0 0 0 5 0 0 0 20 0 3 0 275175611 167546880 1373 33554432000 4194304 5965102 140734057735728 140734057735248 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17184/statm: 40905 1373 206 433 0 40469 0
[pid=17184/tid=17185] ppid=17182 vsize=163620 CPUtime=0.01 cores=1,3,5,7
/proc/17184/task/17185/stat : 17185 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 124 0 0 0 1 0 0 0 20 0 3 0 275175612 167546880 1373 33554432000 4194304 5965102 140734057735728 140637952174616 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17184/tid=17186] ppid=17182 vsize=163620 CPUtime=0.01 cores=1,3,5,7
/proc/17184/task/17186/stat : 17186 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 581 0 0 0 1 0 0 0 20 0 3 0 275175612 167546880 1373 33554432000 4194304 5965102 140734057735728 140637941684152 4401146 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 163620

[startup+0.100319 s]
/proc/loadavg: 4.03 3.99 3.92 4/180 17184
/proc/meminfo: memFree=29306648/32873844 swapFree=7372/7372
[pid=17184] ppid=17182 vsize=163620 CPUtime=0.18 cores=1,3,5,7
/proc/17184/stat : 17184 (pwbo2.0) S 17182 17184 15889 0 -1 4202496 1725 0 0 0 18 0 0 0 20 0 3 0 275175611 167546880 1631 33554432000 4194304 5965102 140734057735728 140734057735248 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17184/statm: 40905 1631 206 433 0 40469 0
[pid=17184/tid=17185] ppid=17182 vsize=163620 CPUtime=0.08 cores=1,3,5,7
/proc/17184/task/17185/stat : 17185 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 329 0 0 0 8 0 0 0 20 0 3 0 275175612 167546880 1631 33554432000 4194304 5965102 140734057735728 140637952174072 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17184/tid=17186] ppid=17182 vsize=163620 CPUtime=0.08 cores=1,3,5,7
/proc/17184/task/17186/stat : 17186 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 634 0 0 0 8 0 0 0 20 0 3 0 275175612 167546880 1631 33554432000 4194304 5965102 140734057735728 140637941684536 4401050 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 163620

[startup+0.300259 s]
/proc/loadavg: 4.03 3.99 3.92 4/180 17184
/proc/meminfo: memFree=29306648/32873844 swapFree=7372/7372
[pid=17184] ppid=17182 vsize=163620 CPUtime=0.58 cores=1,3,5,7
/proc/17184/stat : 17184 (pwbo2.0) S 17182 17184 15889 0 -1 4202496 2083 0 0 0 58 0 0 0 20 0 3 0 275175611 167546880 1989 33554432000 4194304 5965102 140734057735728 140734057735248 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17184/statm: 40905 1989 206 433 0 40469 0
[pid=17184/tid=17185] ppid=17182 vsize=163620 CPUtime=0.28 cores=1,3,5,7
/proc/17184/task/17185/stat : 17185 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 537 0 0 0 28 0 0 0 20 0 3 0 275175612 167546880 1990 33554432000 4194304 5965102 140734057735728 140637952174136 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17184/tid=17186] ppid=17182 vsize=163620 CPUtime=0.28 cores=1,3,5,7
/proc/17184/task/17186/stat : 17186 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 785 0 0 0 28 0 0 0 20 0 3 0 275175612 167546880 1990 33554432000 4194304 5965102 140734057735728 140637941684536 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 163620

[startup+0.700275 s]
/proc/loadavg: 4.03 3.99 3.92 4/180 17184
/proc/meminfo: memFree=29306648/32873844 swapFree=7372/7372
[pid=17184] ppid=17182 vsize=163620 CPUtime=1.39 cores=1,3,5,7
/proc/17184/stat : 17184 (pwbo2.0) S 17182 17184 15889 0 -1 4202496 3024 0 0 0 138 1 0 0 20 0 3 0 275175611 167546880 2930 33554432000 4194304 5965102 140734057735728 140734057735248 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17184/statm: 40905 2930 206 433 0 40469 0
[pid=17184/tid=17185] ppid=17182 vsize=163620 CPUtime=0.68 cores=1,3,5,7
/proc/17184/task/17185/stat : 17185 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 1328 0 0 0 68 0 0 0 20 0 3 0 275175612 167546880 2930 33554432000 4194304 5965102 140734057735728 140637952173880 4401127 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17184/tid=17186] ppid=17182 vsize=163620 CPUtime=0.68 cores=1,3,5,7
/proc/17184/task/17186/stat : 17186 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 934 0 0 0 68 0 0 0 20 0 3 0 275175612 167546880 2930 33554432000 4194304 5965102 140734057735728 140637941684680 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 163620

[startup+1.50027 s]
/proc/loadavg: 4.03 3.99 3.92 5/183 17187
/proc/meminfo: memFree=29293108/32873844 swapFree=7372/7372
[pid=17184] ppid=17182 vsize=163620 CPUtime=2.98 cores=1,3,5,7
/proc/17184/stat : 17184 (pwbo2.0) S 17182 17184 15889 0 -1 4202496 4291 0 0 0 297 1 0 0 20 0 3 0 275175611 167546880 4172 33554432000 4194304 5965102 140734057735728 140734057735248 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17184/statm: 40905 4172 206 433 0 40469 0
[pid=17184/tid=17185] ppid=17182 vsize=163620 CPUtime=1.48 cores=1,3,5,7
/proc/17184/task/17185/stat : 17185 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 2249 0 0 0 147 1 0 0 20 0 3 0 275175612 167546880 4172 33554432000 4194304 5965102 140734057735728 140637952173880 4404341 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17184/tid=17186] ppid=17182 vsize=163620 CPUtime=1.48 cores=1,3,5,7
/proc/17184/task/17186/stat : 17186 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 1280 0 0 0 148 0 0 0 20 0 3 0 275175612 167546880 4172 33554432000 4194304 5965102 140734057735728 140637941684680 4410269 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 163620

[startup+3.10033 s]
/proc/loadavg: 4.03 3.99 3.92 5/183 17187
/proc/meminfo: memFree=29289016/32873844 swapFree=7372/7372
[pid=17184] ppid=17182 vsize=163836 CPUtime=6.19 cores=1,3,5,7
/proc/17184/stat : 17184 (pwbo2.0) S 17182 17184 15889 0 -1 4202496 5406 0 0 0 616 3 0 0 20 0 3 0 275175611 167768064 5287 33554432000 4194304 5965102 140734057735728 140734057735248 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17184/statm: 40959 5287 206 433 0 40523 0
[pid=17184/tid=17185] ppid=17182 vsize=163836 CPUtime=3.08 cores=1,3,5,7
/proc/17184/task/17185/stat : 17185 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 2890 0 0 0 306 2 0 0 20 0 3 0 275175612 167768064 5287 33554432000 4194304 5965102 140734057735728 140637952173880 4483602 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17184/tid=17186] ppid=17182 vsize=163836 CPUtime=3.08 cores=1,3,5,7
/proc/17184/task/17186/stat : 17186 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 1754 0 0 0 308 0 0 0 20 0 3 0 275175612 167768064 5287 33554432000 4194304 5965102 140734057735728 140637941684536 4389804 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 163836

[startup+6.30032 s]
/proc/loadavg: 4.03 3.99 3.92 5/183 17187
/proc/meminfo: memFree=29281812/32873844 swapFree=7372/7372
[pid=17184] ppid=17182 vsize=163836 CPUtime=12.58 cores=1,3,5,7
/proc/17184/stat : 17184 (pwbo2.0) S 17182 17184 15889 0 -1 4202496 7047 0 0 0 1255 3 0 0 20 0 3 0 275175611 167768064 6309 33554432000 4194304 5965102 140734057735728 140734057735248 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17184/statm: 40959 6309 206 433 0 40523 0
[pid=17184/tid=17185] ppid=17182 vsize=163836 CPUtime=6.28 cores=1,3,5,7
/proc/17184/task/17185/stat : 17185 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 4350 0 0 0 625 3 0 0 20 0 3 0 275175612 167768064 6309 33554432000 4194304 5965102 140734057735728 140637952174072 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17184/tid=17186] ppid=17182 vsize=163836 CPUtime=6.28 cores=1,3,5,7
/proc/17184/task/17186/stat : 17186 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 1935 0 0 0 628 0 0 0 20 0 3 0 275175612 167768064 6309 33554432000 4194304 5965102 140734057735728 140637941684584 4400955 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 163836

[startup+12.7003 s]
/proc/loadavg: 4.03 3.99 3.92 5/183 17187
/proc/meminfo: memFree=29250984/32873844 swapFree=7372/7372
[pid=17184] ppid=17182 vsize=164292 CPUtime=25.39 cores=1,3,5,7
/proc/17184/stat : 17184 (pwbo2.0) S 17182 17184 15889 0 -1 4202496 14107 0 0 0 2532 7 0 0 20 0 3 0 275175611 168235008 13369 33554432000 4194304 5965102 140734057735728 140734057735248 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17184/statm: 41073 13369 206 433 0 40637 0
[pid=17184/tid=17185] ppid=17182 vsize=164292 CPUtime=12.68 cores=1,3,5,7
/proc/17184/task/17185/stat : 17185 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 9183 0 0 0 1263 5 0 0 20 0 3 0 275175612 168235008 13369 33554432000 4194304 5965102 140734057735728 140637952174072 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17184/tid=17186] ppid=17182 vsize=164292 CPUtime=12.68 cores=1,3,5,7
/proc/17184/task/17186/stat : 17186 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 4162 0 0 0 1266 2 0 0 20 0 3 0 275175612 168235008 13369 33554432000 4194304 5965102 140734057735728 140637941684536 4389645 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 164292

[startup+25.5004 s]
/proc/loadavg: 4.02 3.99 3.92 5/183 17187
/proc/meminfo: memFree=29217480/32873844 swapFree=7372/7372
[pid=17184] ppid=17182 vsize=164836 CPUtime=50.98 cores=1,3,5,7
/proc/17184/stat : 17184 (pwbo2.0) S 17182 17184 15889 0 -1 4202496 20674 0 0 0 5083 15 0 0 20 0 3 0 275175611 168792064 19936 33554432000 4194304 5965102 140734057735728 140734057735248 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17184/statm: 41209 19936 206 433 0 40773 0
[pid=17184/tid=17185] ppid=17182 vsize=164836 CPUtime=25.48 cores=1,3,5,7
/proc/17184/task/17185/stat : 17185 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 14018 0 0 0 2535 13 0 0 20 0 3 0 275175612 168792064 19936 33554432000 4194304 5965102 140734057735728 140637952173880 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17184/tid=17186] ppid=17182 vsize=164836 CPUtime=25.48 cores=1,3,5,7
/proc/17184/task/17186/stat : 17186 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 5894 0 0 0 2545 3 0 0 20 0 3 0 275175612 168792064 19936 33554432000 4194304 5965102 140734057735728 140637941684584 4401118 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 164836

[startup+51.1004 s]
/proc/loadavg: 4.01 3.99 3.92 5/183 17187
/proc/meminfo: memFree=29176032/32873844 swapFree=7372/7372
[pid=17184] ppid=17182 vsize=232152 CPUtime=102.17 cores=1,3,5,7
/proc/17184/stat : 17184 (pwbo2.0) S 17182 17184 15889 0 -1 4202496 28357 0 0 0 10196 21 0 0 20 0 3 0 275175611 237723648 27616 33554432000 4194304 5965102 140734057735728 140734057735248 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17184/statm: 58038 27616 206 433 0 57602 0
[pid=17184/tid=17185] ppid=17182 vsize=232152 CPUtime=51.08 cores=1,3,5,7
/proc/17184/task/17185/stat : 17185 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 20421 0 0 0 5090 18 0 0 20 0 3 0 275175612 237723648 27616 33554432000 4194304 5965102 140734057735728 140637952174072 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17184/tid=17186] ppid=17182 vsize=232152 CPUtime=51.08 cores=1,3,5,7
/proc/17184/task/17186/stat : 17186 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 7174 0 0 0 5104 4 0 0 20 0 3 0 275175612 237723648 27616 33554432000 4194304 5965102 140734057735728 140637941684536 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 232152

[startup+102.307 s]
/proc/loadavg: 4.00 3.99 3.92 3/180 17191
/proc/meminfo: memFree=29882520/32873844 swapFree=7372/7372
[pid=17184] ppid=17182 vsize=235700 CPUtime=204.56 cores=1,3,5,7
/proc/17184/stat : 17184 (pwbo2.0) S 17182 17184 15889 0 -1 4202496 41857 0 0 0 20424 32 0 0 20 0 3 0 275175611 241356800 41116 33554432000 4194304 5965102 140734057735728 140734057735248 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17184/statm: 58925 41116 206 433 0 58489 0
[pid=17184/tid=17185] ppid=17182 vsize=235700 CPUtime=102.29 cores=1,3,5,7
/proc/17184/task/17185/stat : 17185 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 32335 0 0 0 10200 29 0 0 20 0 3 0 275175612 241356800 41116 33554432000 4194304 5965102 140734057735728 140637952173880 4401107 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17184/tid=17186] ppid=17182 vsize=235700 CPUtime=102.29 cores=1,3,5,7
/proc/17184/task/17186/stat : 17186 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 8760 0 0 0 10223 6 0 0 20 0 3 0 275175612 241356800 41116 33554432000 4194304 5965102 140734057735728 140637941684344 4401472 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 204.56
Current children cumulated vsize (KiB) 235700

[startup+162.3 s]
/proc/loadavg: 3.94 3.96 3.91 5/183 17231
/proc/meminfo: memFree=29005220/32873844 swapFree=7372/7372
[pid=17184] ppid=17182 vsize=303964 CPUtime=324.49 cores=1,3,5,7
/proc/17184/stat : 17184 (pwbo2.0) S 17182 17184 15889 0 -1 4202496 49856 0 0 0 32411 38 0 0 20 0 3 0 275175611 311259136 49399 33554432000 4194304 5965102 140734057735728 140734057735248 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17184/statm: 75991 49399 206 433 0 75555 0
[pid=17184/tid=17185] ppid=17182 vsize=303964 CPUtime=162.24 cores=1,3,5,7
/proc/17184/task/17185/stat : 17185 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 38150 0 0 0 16190 34 0 0 20 0 3 0 275175612 311259136 49399 33554432000 4194304 5965102 140734057735728 140637952174120 4401096 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17184/tid=17186] ppid=17182 vsize=303964 CPUtime=162.28 cores=1,3,5,7
/proc/17184/task/17186/stat : 17186 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 10944 0 0 0 16219 9 0 0 20 0 3 0 275175612 311259136 49399 33554432000 4194304 5965102 140734057735728 140637941684344 4401129 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 324.49
Current children cumulated vsize (KiB) 303964

[startup+222.3 s]
/proc/loadavg: 4.03 3.98 3.92 5/183 17232
/proc/meminfo: memFree=28329460/32873844 swapFree=7372/7372
[pid=17184] ppid=17182 vsize=311036 CPUtime=444.42 cores=1,3,5,7
/proc/17184/stat : 17184 (pwbo2.0) S 17182 17184 15889 0 -1 4202496 62279 0 0 0 44391 51 0 0 20 0 3 0 275175611 318500864 62112 33554432000 4194304 5965102 140734057735728 140734057735248 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17184/statm: 77759 62112 206 433 0 77323 0
[pid=17184/tid=17185] ppid=17182 vsize=311036 CPUtime=222.22 cores=1,3,5,7
/proc/17184/task/17185/stat : 17185 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 47258 0 0 0 22177 45 0 0 20 0 3 0 275175612 318500864 62112 33554432000 4194304 5965102 140734057735728 140637952174072 4380048 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17184/tid=17186] ppid=17182 vsize=311036 CPUtime=222.26 cores=1,3,5,7
/proc/17184/task/17186/stat : 17186 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 14259 0 0 0 22213 13 0 0 20 0 3 0 275175612 318500864 62112 33554432000 4194304 5965102 140734057735728 140637941684296 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 444.42
Current children cumulated vsize (KiB) 311036

[startup+282.3 s]
/proc/loadavg: 4.01 3.98 3.92 5/183 17232
/proc/meminfo: memFree=28025644/32873844 swapFree=7372/7372
[pid=17184] ppid=17182 vsize=389284 CPUtime=564.4 cores=1,3,5,7
/proc/17184/stat : 17184 (pwbo2.0) S 17182 17184 15889 0 -1 4202496 75166 0 0 0 56377 63 0 0 20 0 3 0 275175611 398626816 76163 33554432000 4194304 5965102 140734057735728 140734057735248 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17184/statm: 97321 76163 206 433 0 96885 0
[pid=17184/tid=17185] ppid=17182 vsize=389284 CPUtime=282.22 cores=1,3,5,7
/proc/17184/task/17185/stat : 17185 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 56701 0 0 0 28168 54 0 0 20 0 3 0 275175612 398626816 76163 33554432000 4194304 5965102 140734057735728 140637952173880 4401064 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17184/tid=17186] ppid=17182 vsize=389284 CPUtime=282.26 cores=1,3,5,7
/proc/17184/task/17186/stat : 17186 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 17703 0 0 0 28208 18 0 0 20 0 3 0 275175612 398626816 76163 33554432000 4194304 5965102 140734057735728 140637941684296 4401137 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 564.4
Current children cumulated vsize (KiB) 389284

[startup+342.3 s]
/proc/loadavg: 4.00 3.98 3.92 5/183 17232
/proc/meminfo: memFree=27879104/32873844 swapFree=7372/7372
[pid=17184] ppid=17182 vsize=433176 CPUtime=684.38 cores=1,3,5,7
/proc/17184/stat : 17184 (pwbo2.0) S 17182 17184 15889 0 -1 4202496 82303 0 0 0 68359 79 0 0 20 0 3 0 275175611 443572224 78415 33554432000 4194304 5965102 140734057735728 140734057735248 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17184/statm: 108294 78415 206 433 0 107858 0
[pid=17184/tid=17185] ppid=17182 vsize=433176 CPUtime=342.23 cores=1,3,5,7
/proc/17184/task/17185/stat : 17185 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 62530 0 0 0 34153 70 0 0 20 0 3 0 275175612 443572224 78415 33554432000 4194304 5965102 140734057735728 140637952175032 4401107 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17184/tid=17186] ppid=17182 vsize=433176 CPUtime=342.26 cores=1,3,5,7
/proc/17184/task/17186/stat : 17186 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 19011 0 0 0 34205 21 0 0 20 0 3 0 275175612 443572224 78415 33554432000 4194304 5965102 140734057735728 140637941684296 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 684.38
Current children cumulated vsize (KiB) 433176

[startup+402.3 s]
/proc/loadavg: 4.00 3.98 3.92 5/183 17232
/proc/meminfo: memFree=27872188/32873844 swapFree=7372/7372
[pid=17184] ppid=17182 vsize=433472 CPUtime=804.36 cores=1,3,5,7
/proc/17184/stat : 17184 (pwbo2.0) S 17182 17184 15889 0 -1 4202496 86686 0 0 0 80353 83 0 0 20 0 3 0 275175611 443875328 82798 33554432000 4194304 5965102 140734057735728 140734057735248 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17184/statm: 108368 82798 206 433 0 107932 0
[pid=17184/tid=17185] ppid=17182 vsize=433472 CPUtime=402.23 cores=1,3,5,7
/proc/17184/task/17185/stat : 17185 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 62734 0 0 0 40152 71 0 0 20 0 3 0 275175612 443875328 82798 33554432000 4194304 5965102 140734057735728 140637952175032 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17184/tid=17186] ppid=17182 vsize=433472 CPUtime=402.27 cores=1,3,5,7
/proc/17184/task/17186/stat : 17186 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 23190 0 0 0 40201 26 0 0 20 0 3 0 275175612 443875328 82798 33554432000 4194304 5965102 140734057735728 140637941684584 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 804.36
Current children cumulated vsize (KiB) 433472

[startup+462.3 s]
/proc/loadavg: 4.00 3.98 3.92 5/183 17232
/proc/meminfo: memFree=27844748/32873844 swapFree=7372/7372
[pid=17184] ppid=17182 vsize=433768 CPUtime=924.35 cores=1,3,5,7
/proc/17184/stat : 17184 (pwbo2.0) S 17182 17184 15889 0 -1 4202496 86773 0 0 0 92352 83 0 0 20 0 3 0 275175611 444178432 82885 33554432000 4194304 5965102 140734057735728 140734057735248 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17184/statm: 108442 82885 206 433 0 108006 0
[pid=17184/tid=17185] ppid=17182 vsize=433768 CPUtime=462.23 cores=1,3,5,7
/proc/17184/task/17185/stat : 17185 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 62736 0 0 0 46151 72 0 0 20 0 3 0 275175612 444178432 82885 33554432000 4194304 5965102 140734057735728 140637952175032 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17184/tid=17186] ppid=17182 vsize=433768 CPUtime=462.27 cores=1,3,5,7
/proc/17184/task/17186/stat : 17186 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 23275 0 0 0 46200 27 0 0 20 0 3 0 275175612 444178432 82885 33554432000 4194304 5965102 140734057735728 140637941684296 4401058 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 924.35
Current children cumulated vsize (KiB) 433768

[startup+522.3 s]
/proc/loadavg: 4.00 3.98 3.92 5/183 17233
/proc/meminfo: memFree=27780484/32873844 swapFree=7372/7372
[pid=17184] ppid=17182 vsize=434860 CPUtime=1044.33 cores=1,3,5,7
/proc/17184/stat : 17184 (pwbo2.0) S 17182 17184 15889 0 -1 4202496 93952 0 0 0 104335 98 0 0 20 0 3 0 275175611 445296640 90064 33554432000 4194304 5965102 140734057735728 140734057735248 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17184/statm: 108715 90064 206 433 0 108279 0
[pid=17184/tid=17185] ppid=17182 vsize=434860 CPUtime=522.24 cores=1,3,5,7
/proc/17184/task/17185/stat : 17185 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 67142 0 0 0 52142 82 0 0 20 0 3 0 275175612 445296640 90064 33554432000 4194304 5965102 140734057735728 140637952174072 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17184/tid=17186] ppid=17182 vsize=434860 CPUtime=522.27 cores=1,3,5,7
/proc/17184/task/17186/stat : 17186 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 26048 0 0 0 52196 31 0 0 20 0 3 0 275175612 445296640 90064 33554432000 4194304 5965102 140734057735728 140637941684536 4401626 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1044.33
Current children cumulated vsize (KiB) 434860

[startup+582.3 s]
/proc/loadavg: 4.00 3.98 3.92 5/183 17233
/proc/meminfo: memFree=27755216/32873844 swapFree=7372/7372
[pid=17184] ppid=17182 vsize=434860 CPUtime=1164.32 cores=1,3,5,7
/proc/17184/stat : 17184 (pwbo2.0) S 17182 17184 15889 0 -1 4202496 95235 0 0 0 116333 99 0 0 20 0 3 0 275175611 445296640 91343 33554432000 4194304 5965102 140734057735728 140734057735248 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17184/statm: 108715 91343 206 433 0 108279 0
[pid=17184/tid=17185] ppid=17182 vsize=434860 CPUtime=582.24 cores=1,3,5,7
/proc/17184/task/17185/stat : 17185 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 68392 0 0 0 58140 84 0 0 20 0 3 0 275175612 445296640 91343 33554432000 4194304 5965102 140734057735728 140637952173944 4401064 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17184/tid=17186] ppid=17182 vsize=434860 CPUtime=582.27 cores=1,3,5,7
/proc/17184/task/17186/stat : 17186 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 26081 0 0 0 58195 32 0 0 20 0 3 0 275175612 445296640 91343 33554432000 4194304 5965102 140734057735728 140637941684344 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1164.32
Current children cumulated vsize (KiB) 434860

[startup+642.3 s]
/proc/loadavg: 4.00 3.98 3.92 5/183 17233
/proc/meminfo: memFree=27718416/32873844 swapFree=7372/7372
[pid=17184] ppid=17182 vsize=500396 CPUtime=1284.31 cores=1,3,5,7
/proc/17184/stat : 17184 (pwbo2.0) S 17182 17184 15889 0 -1 4202496 101926 0 0 0 128316 115 0 0 20 0 3 0 275175611 512405504 98032 33554432000 4194304 5965102 140734057735728 140734057735248 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17184/statm: 125099 98032 206 433 0 124663 0
[pid=17184/tid=17185] ppid=17182 vsize=500396 CPUtime=642.25 cores=1,3,5,7
/proc/17184/task/17185/stat : 17185 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 75083 0 0 0 64124 101 0 0 20 0 3 0 275175612 512405504 98032 33554432000 4194304 5965102 140734057735728 140637952173880 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17184/tid=17186] ppid=17182 vsize=500396 CPUtime=642.28 cores=1,3,5,7
/proc/17184/task/17186/stat : 17186 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 26081 0 0 0 64195 33 0 0 20 0 3 0 275175612 512405504 98032 33554432000 4194304 5965102 140734057735728 140637941684344 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1284.31
Current children cumulated vsize (KiB) 500396

[startup+702.3 s]
/proc/loadavg: 4.00 3.98 3.92 5/184 17236
/proc/meminfo: memFree=27649980/32873844 swapFree=7372/7372
[pid=17184] ppid=17182 vsize=500916 CPUtime=1404.28 cores=1,3,5,7
/proc/17184/stat : 17184 (pwbo2.0) S 17182 17184 15889 0 -1 4202496 112141 0 0 0 140290 138 0 0 20 0 3 0 275175611 512937984 108246 33554432000 4194304 5965102 140734057735728 140734057735248 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17184/statm: 125229 108246 206 433 0 124793 0
[pid=17184/tid=17185] ppid=17182 vsize=500916 CPUtime=702.24 cores=1,3,5,7
/proc/17184/task/17185/stat : 17185 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 85175 0 0 0 70099 125 0 0 20 0 3 0 275175612 512937984 108246 33554432000 4194304 5965102 140734057735728 140637952174120 4401109 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17184/tid=17186] ppid=17182 vsize=500916 CPUtime=702.28 cores=1,3,5,7
/proc/17184/task/17186/stat : 17186 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 26204 0 0 0 70194 34 0 0 20 0 3 0 275175612 512937984 108246 33554432000 4194304 5965102 140734057735728 140637941684296 4401009 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1404.28
Current children cumulated vsize (KiB) 500916

[startup+762.307 s]
/proc/loadavg: 4.00 3.98 3.92 5/184 17258
/proc/meminfo: memFree=27616396/32873844 swapFree=7372/7372
[pid=17184] ppid=17182 vsize=501336 CPUtime=1524.27 cores=1,3,5,7
/proc/17184/stat : 17184 (pwbo2.0) S 17182 17184 15889 0 -1 4202496 113355 0 0 0 152288 139 0 0 20 0 3 0 275175611 513368064 109456 33554432000 4194304 5965102 140734057735728 140734057735248 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17184/statm: 125334 109456 206 433 0 124898 0
[pid=17184/tid=17185] ppid=17182 vsize=501336 CPUtime=762.25 cores=1,3,5,7
/proc/17184/task/17185/stat : 17185 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 86291 0 0 0 76098 127 0 0 20 0 3 0 275175612 513368064 109456 33554432000 4194304 5965102 140734057735728 140637952173880 4401116 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17184/tid=17186] ppid=17182 vsize=501336 CPUtime=762.29 cores=1,3,5,7
/proc/17184/task/17186/stat : 17186 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 26302 0 0 0 76194 35 0 0 20 0 3 0 275175612 513368064 109456 33554432000 4194304 5965102 140734057735728 140637941684296 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1524.27
Current children cumulated vsize (KiB) 501336

[startup+822.3 s]
/proc/loadavg: 4.00 3.98 3.92 5/183 17259
/proc/meminfo: memFree=27529028/32873844 swapFree=7372/7372
[pid=17184] ppid=17182 vsize=632852 CPUtime=1644.24 cores=1,3,5,7
/proc/17184/stat : 17184 (pwbo2.0) S 17182 17184 15889 0 -1 4202496 129899 0 0 0 164254 170 0 0 20 0 3 0 275175611 648040448 125993 33554432000 4194304 5965102 140734057735728 140734057735248 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17184/statm: 158213 125993 206 433 0 157777 0
[pid=17184/tid=17185] ppid=17182 vsize=632852 CPUtime=822.25 cores=1,3,5,7
/proc/17184/task/17185/stat : 17185 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 102734 0 0 0 82066 159 0 0 20 0 3 0 275175612 648040448 125993 33554432000 4194304 5965102 140734057735728 140637952174072 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17184/tid=17186] ppid=17182 vsize=632852 CPUtime=822.28 cores=1,3,5,7
/proc/17184/task/17186/stat : 17186 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 26403 0 0 0 82192 36 0 0 20 0 3 0 275175612 648040448 125993 33554432000 4194304 5965102 140734057735728 140637941684296 4400978 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1644.24
Current children cumulated vsize (KiB) 632852

[startup+882.3 s]
/proc/loadavg: 4.00 3.98 3.92 5/183 17259
/proc/meminfo: memFree=27504752/32873844 swapFree=7372/7372
[pid=17184] ppid=17182 vsize=633656 CPUtime=1764.23 cores=1,3,5,7
/proc/17184/stat : 17184 (pwbo2.0) S 17182 17184 15889 0 -1 4202496 134922 0 0 0 176247 176 0 0 20 0 3 0 275175611 648863744 131015 33554432000 4194304 5965102 140734057735728 140734057735248 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17184/statm: 158414 131015 206 433 0 157978 0
[pid=17184/tid=17185] ppid=17182 vsize=633656 CPUtime=882.25 cores=1,3,5,7
/proc/17184/task/17185/stat : 17185 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 103915 0 0 0 88064 161 0 0 20 0 3 0 275175612 648863744 131015 33554432000 4194304 5965102 140734057735728 140637952173880 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17184/tid=17186] ppid=17182 vsize=633656 CPUtime=882.29 cores=1,3,5,7
/proc/17184/task/17186/stat : 17186 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 30245 0 0 0 88187 42 0 0 20 0 3 0 275175612 648863744 131015 33554432000 4194304 5965102 140734057735728 140637941684296 4400894 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1764.23
Current children cumulated vsize (KiB) 633656



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.2 s]
/proc/loadavg: 4.00 3.98 3.92 5/183 17259
/proc/meminfo: memFree=27441480/32873844 swapFree=7372/7372
[pid=17184] ppid=17182 vsize=634700 CPUtime=1800.03 cores=1,3,5,7
/proc/17184/stat : 17184 (pwbo2.0) S 17182 17184 15889 0 -1 4202496 135173 0 0 0 179827 176 0 0 20 0 3 0 275175611 649932800 131266 33554432000 4194304 5965102 140734057735728 140734057735248 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17184/statm: 158675 131266 206 433 0 158239 0
[pid=17184/tid=17185] ppid=17182 vsize=634700 CPUtime=900.16 cores=1,3,5,7
/proc/17184/task/17185/stat : 17185 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 103980 0 0 0 89855 161 0 0 20 0 3 0 275175612 649932800 131266 33554432000 4194304 5965102 140734057735728 140637952173880 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17184/tid=17186] ppid=17182 vsize=634700 CPUtime=900.19 cores=1,3,5,7
/proc/17184/task/17186/stat : 17186 (pwbo2.0) R 17182 17184 15889 0 -1 4202560 30431 0 0 0 89977 42 0 0 20 0 3 0 275175612 649932800 131266 33554432000 4194304 5965102 140734057735728 140637941684296 4388991 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 634700

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

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

Child status: 0
Real time (s): 900.237
CPU time (s): 1800.41
CPU user time (s): 1798.33
CPU system time (s): 2.08168
CPU usage (%): 199.993
Max. virtual memory (cumulated for all children) (KiB): 634700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.33
system time used= 2.08168
maximum resident set size= 525076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135176
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= 237
involuntary context switches= 2120

runsolver used 3.54046 second user time and 3.9664 second system time

The end

Launcher Data 

Begin job on node133 at 2012-05-27 05:48:28
IDJOB=3703565
IDBENCH=2214
IDSOLVER=2279
FILE ID=node133/3703565-1338090508
RUNJOBID= node133-1338084137-15906
PBS_JOBID= 14624424
Free space on /tmp= 71724 MiB

SOLVER NAME= pwbo 2.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g15x15.opb
COMMAND LINE= pwbo2.0 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3703565-1338090508/watcher-3703565-1338090508 -o /tmp/evaluation-result-3703565-1338090508/solver-3703565-1338090508 -C 1800 -W 1900 -M 15500  pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703565-1338090508.opb

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

MD5SUM BENCH= 28425c3b4907da9ba10ee31a4de63042
RANDOM SEED=1164146070

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
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.90
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.540
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.540
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:        29306540 kB
Buffers:          316932 kB
Cached:          1667596 kB
SwapCached:          104 kB
Active:          1304160 kB
Inactive:        1437628 kB
Active(anon):     748328 kB
Inactive(anon):    11368 kB
Active(file):     555832 kB
Inactive(file):  1426260 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108752 kB
Dirty:              5688 kB
Writeback:             0 kB
AnonPages:        763792 kB
Mapped:            15240 kB
Shmem:               212 kB
Slab:             684904 kB
SReclaimable:     126796 kB
SUnreclaim:       558108 kB
KernelStack:        1520 kB
PageTables:         5548 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     200516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    462848 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= 71716 MiB
End job on node133 at 2012-05-27 06:03:30