Trace number 3500445

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 1.1SAT (TO)6 1800.09 900.036

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_3.opb
MD5SUM8d16c34d0eecf3c16ca4b890652c15ca
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1798.37
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7
Optimality of the best value was proved NO
Number of variables146
Total number of constraints12
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints12
Minimum length of a constraint64
Maximum length of a constraint66
Number of terms in the objective function 96
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3060
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1270
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4321
Number of bits of the biggest sum of numbers13
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 pwbo 1.1 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3500445-1307995548.opb.
0.00/0.00	c Instance file HOME/instance-3500445-1307995548.opb
0.00/0.00	c File size is 7734 bytes.
0.00/0.00	c Highest Coefficient sum: 4321
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:      146                                                 |
0.00/0.00	c |  Number Clauses:        0                                                   |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 12                                                  |
0.00/0.00	c init lb 0
0.00/0.00	c init ub 3061
0.00/0.00	c ub 1114 (thread 1)
0.00/0.00	o 1114
0.00/0.00	c ub 976 (thread 1)
0.00/0.00	o 976
0.00/0.00	c ub 197 (thread 1)
0.00/0.00	o 197
0.00/0.00	c ub 182 (thread 1)
0.00/0.00	o 182
0.00/0.00	c ub 166 (thread 1)
0.00/0.00	o 166
0.00/0.00	c ub 164 (thread 1)
0.09/0.06	o 164
0.09/0.06	c ub 162 (thread 1)
0.19/0.10	o 162
0.19/0.10	c ub 131 (thread 1)
0.39/0.22	o 131
0.39/0.22	c ub 122 (thread 1)
0.39/0.24	o 122
0.39/0.24	c ub 70 (thread 1)
1.38/0.73	o 70
1.38/0.73	c ub 59 (thread 1)
1.79/0.91	o 59
1.79/0.91	c ub 58 (thread 1)
1.79/0.95	o 58
1.79/0.95	c ub 54 (thread 1)
1.79/0.95	o 54
1.79/0.95	c ub 52 (thread 1)
3.38/1.71	o 52
3.38/1.71	c ub 36 (thread 1)
9.59/4.89	o 36
9.59/4.89	c ub 19 (thread 1)
49.18/24.66	o 19
49.18/24.66	c ub 14 (thread 1)
150.99/75.52	o 14
150.99/75.52	c ub 12 (thread 1)
461.80/230.92	o 12
461.80/230.92	c ub 6 (thread 1)
1800.04/900.01	o 6
1800.04/900.01	s SATISFIABLE
1800.04/900.01	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
1800.04/900.01	c Memory used           : 652.80 MB
1800.04/900.01	c CPU time              : 1777.97 s

Verifier Data 

OK	6

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 /var/tmp/evaluation-result-3500445-1307995548/watcher-3500445-1307995548 -o /var/tmp/evaluation-result-3500445-1307995548/solver-3500445-1307995548 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500445-1307995548.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: 3.24 3.76 3.85 3/179 17239
/proc/meminfo: memFree=30084336/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=134856 CPUtime=0 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 422 0 0 0 0 0 0 0 25 0 3 0 911153585 138092544 372 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 33714 373 179 372 0 33339 0
[pid=17239/tid=17240] ppid=17237 vsize=134856 CPUtime=0 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 55 0 0 0 0 0 0 0 25 0 3 0 911153585 138092544 374 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=134856 CPUtime=0 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 22 0 0 0 0 0 0 0 25 0 3 0 911153585 138092544 375 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0

[startup+0.049642 s]
/proc/loadavg: 3.24 3.76 3.85 3/179 17239
/proc/meminfo: memFree=30084336/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=134856 CPUtime=0.09 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 634 0 0 0 9 0 0 0 25 0 3 0 911153585 138092544 584 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 33714 584 179 372 0 33339 0
[pid=17239/tid=17240] ppid=17237 vsize=134856 CPUtime=0.04 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 178 0 0 0 4 0 0 0 25 0 3 0 911153585 138092544 584 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=134856 CPUtime=0.04 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 108 0 0 0 4 0 0 0 25 0 3 0 911153585 138092544 584 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 134856

[startup+0.100633 s]
/proc/loadavg: 3.24 3.76 3.85 3/179 17239
/proc/meminfo: memFree=30084336/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=134856 CPUtime=0.19 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 837 0 0 0 19 0 0 0 25 0 3 0 911153585 138092544 787 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 33714 787 179 372 0 33339 0
[pid=17239/tid=17240] ppid=17237 vsize=134856 CPUtime=0.09 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 299 0 0 0 9 0 0 0 25 0 3 0 911153585 138092544 787 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=134856 CPUtime=0.09 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 190 0 0 0 9 0 0 0 25 0 3 0 911153585 138092544 787 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 134856

[startup+0.300597 s]
/proc/loadavg: 3.24 3.76 3.85 3/179 17239
/proc/meminfo: memFree=30084336/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=134856 CPUtime=0.59 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 1418 0 0 0 58 1 0 0 25 0 3 0 911153585 138092544 1368 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 33714 1368 179 372 0 33339 0
[pid=17239/tid=17240] ppid=17237 vsize=134856 CPUtime=0.29 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 703 0 0 0 29 0 0 0 25 0 3 0 911153585 138092544 1368 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=134856 CPUtime=0.28 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 367 0 0 0 28 0 0 0 25 0 3 0 911153585 138092544 1368 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 134856

[startup+0.700526 s]
/proc/loadavg: 3.24 3.76 3.85 3/179 17239
/proc/meminfo: memFree=30084336/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=134856 CPUtime=1.38 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 2475 0 0 0 136 2 0 0 25 0 3 0 911153585 138092544 2425 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 33714 2425 179 372 0 33339 0
[pid=17239/tid=17240] ppid=17237 vsize=134856 CPUtime=0.69 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 1364 0 0 0 68 1 0 0 25 0 3 0 911153585 138092544 2425 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=134856 CPUtime=0.69 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 763 0 0 0 68 1 0 0 25 0 3 0 911153585 138092544 2425 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 134856

[startup+1.50038 s]
/proc/loadavg: 3.24 3.76 3.85 5/182 17242
/proc/meminfo: memFree=30073796/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=135000 CPUtime=2.99 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 3039 0 0 0 294 5 0 0 25 0 3 0 911153585 138240000 2989 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 33750 2989 179 372 0 33375 0
[pid=17239/tid=17240] ppid=17237 vsize=135000 CPUtime=1.49 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 1850 0 0 0 147 2 0 0 25 0 3 0 911153585 138240000 2989 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=135000 CPUtime=1.49 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 841 0 0 0 146 3 0 0 25 0 3 0 911153585 138240000 2989 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 135000

[startup+3.1011 s]
/proc/loadavg: 3.24 3.76 3.85 5/182 17242
/proc/meminfo: memFree=30069328/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=135144 CPUtime=6.19 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 3847 0 0 0 607 12 0 0 25 0 3 0 911153585 138387456 3797 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 33786 3797 180 372 0 33411 0
[pid=17239/tid=17240] ppid=17237 vsize=135144 CPUtime=3.09 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 2491 0 0 0 304 5 0 0 25 0 3 0 911153585 138387456 3797 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=135144 CPUtime=3.09 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 1008 0 0 0 302 7 0 0 25 0 3 0 911153585 138387456 3797 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 135144

[startup+6.30053 s]
/proc/loadavg: 3.30 3.77 3.85 5/182 17242
/proc/meminfo: memFree=30060212/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=135216 CPUtime=12.59 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 5292 0 0 0 1237 22 0 0 25 0 3 0 911153585 138461184 5213 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 33804 5213 180 372 0 33429 0
[pid=17239/tid=17240] ppid=17237 vsize=135216 CPUtime=6.29 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 3579 0 0 0 620 9 0 0 25 0 3 0 911153585 138461184 5213 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=135216 CPUtime=6.29 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 1365 0 0 0 617 12 0 0 25 0 3 0 911153585 138461184 5213 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 135216

[startup+12.7004 s]
/proc/loadavg: 3.36 3.77 3.85 5/182 17242
/proc/meminfo: memFree=30042928/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=135288 CPUtime=25.38 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 7636 0 0 0 2500 38 0 0 25 0 3 0 911153585 138534912 7557 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 33822 7557 180 372 0 33447 0
[pid=17239/tid=17240] ppid=17237 vsize=135288 CPUtime=12.69 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 5271 0 0 0 1251 18 0 0 25 0 3 0 911153585 138534912 7557 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=135288 CPUtime=12.69 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 2017 0 0 0 1249 20 0 0 25 0 3 0 911153585 138534912 7557 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 135288

[startup+25.5011 s]
/proc/loadavg: 3.50 3.78 3.85 5/182 17242
/proc/meminfo: memFree=30013904/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=135288 CPUtime=50.98 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 11576 0 0 0 5032 66 0 0 25 0 3 0 911153585 138534912 11457 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 33822 11457 180 372 0 33447 0
[pid=17239/tid=17240] ppid=17237 vsize=135288 CPUtime=25.49 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 8788 0 0 0 2516 33 0 0 20 0 3 0 911153585 138534912 11457 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=135288 CPUtime=25.49 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 2440 0 0 0 2516 33 0 0 25 0 3 0 911153585 138534912 11457 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 135288

[startup+51.1005 s]
/proc/loadavg: 3.67 3.80 3.85 5/182 17243
/proc/meminfo: memFree=29968348/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=135396 CPUtime=102.18 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 17778 0 0 0 10071 147 0 0 25 0 3 0 911153585 138645504 17659 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 33849 17659 180 372 0 33474 0
[pid=17239/tid=17240] ppid=17237 vsize=135396 CPUtime=51.09 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 14413 0 0 0 5040 69 0 0 25 0 3 0 911153585 138645504 17659 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=135396 CPUtime=51.09 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 3017 0 0 0 5031 78 0 0 25 0 3 0 911153585 138645504 17659 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 135396

[startup+102.306 s]
/proc/loadavg: 3.85 3.83 3.86 5/182 17244
/proc/meminfo: memFree=29883232/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=201184 CPUtime=204.6 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 28164 0 0 0 20197 263 0 0 25 0 3 0 911153585 206012416 28045 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 50296 28045 180 372 0 49921 0
[pid=17239/tid=17240] ppid=17237 vsize=201184 CPUtime=102.3 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 24323 0 0 0 10107 123 0 0 25 0 3 0 911153585 206012416 28045 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=201184 CPUtime=102.3 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 3493 0 0 0 10090 140 0 0 25 0 3 0 911153585 206012416 28045 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 201184

[startup+162.301 s]
/proc/loadavg: 3.94 3.86 3.86 5/182 17246
/proc/meminfo: memFree=29795640/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=267296 CPUtime=324.59 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 39451 0 0 0 32054 405 0 0 25 0 3 0 911153585 273711104 39247 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 66824 39247 180 372 0 66449 0
[pid=17239/tid=17240] ppid=17237 vsize=267296 CPUtime=162.29 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 35001 0 0 0 16036 193 0 0 25 0 3 0 911153585 273711104 39247 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=267296 CPUtime=162.29 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 4102 0 0 0 16017 212 0 0 25 0 3 0 911153585 273711104 39247 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 267296

[startup+222.301 s]
/proc/loadavg: 3.98 3.88 3.87 5/182 17248
/proc/meminfo: memFree=29713744/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=267872 CPUtime=444.6 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 50175 0 0 0 43900 560 0 0 25 0 3 0 911153585 274300928 49956 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 66968 49956 180 372 0 66593 0
[pid=17239/tid=17240] ppid=17237 vsize=267872 CPUtime=222.29 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 45334 0 0 0 21962 267 0 0 25 0 3 0 911153585 274300928 49956 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=267872 CPUtime=222.29 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 4493 0 0 0 21937 292 0 0 25 0 3 0 911153585 274300928 49956 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 444.6
Current children cumulated vsize (KiB) 267872

[startup+282.3 s]
/proc/loadavg: 4.05 3.91 3.88 5/182 17249
/proc/meminfo: memFree=29635948/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=334416 CPUtime=564.6 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 60063 0 0 0 55736 724 0 0 25 0 3 0 911153585 342441984 59746 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 83604 59746 180 372 0 83229 0
[pid=17239/tid=17240] ppid=17237 vsize=334416 CPUtime=282.29 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 55156 0 0 0 27886 343 0 0 25 0 3 0 911153585 342441984 59746 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=334416 CPUtime=282.3 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 4559 0 0 0 27850 380 0 0 25 0 3 0 911153585 342441984 59746 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 564.6
Current children cumulated vsize (KiB) 334416

[startup+342.301 s]
/proc/loadavg: 4.02 3.93 3.89 6/182 17251
/proc/meminfo: memFree=29555676/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=335152 CPUtime=684.6 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 70460 0 0 0 67575 885 0 0 25 0 3 0 911153585 343195648 69973 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 83788 69974 180 372 0 83413 0
[pid=17239/tid=17240] ppid=17237 vsize=335152 CPUtime=342.29 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 65069 0 0 0 33812 417 0 0 25 0 3 0 911153585 343195648 69974 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=335152 CPUtime=342.3 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 5044 0 0 0 33762 468 0 0 25 0 3 0 911153585 343195648 69974 33554432000 4194304 5714118 140736921665808 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 684.6
Current children cumulated vsize (KiB) 335152

[startup+402.301 s]
/proc/loadavg: 4.08 3.95 3.90 5/182 17252
/proc/meminfo: memFree=29478880/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=401840 CPUtime=804.6 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 80458 0 0 0 79429 1031 0 0 25 0 3 0 911153585 411484160 79530 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 100460 79530 180 372 0 100085 0
[pid=17239/tid=17240] ppid=17237 vsize=401840 CPUtime=402.29 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 74204 0 0 0 39740 489 0 0 25 0 3 0 911153585 411484160 79530 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=401840 CPUtime=402.3 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 5906 0 0 0 39688 542 0 0 25 0 3 0 911153585 411484160 79530 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 401840

[startup+462.3 s]
/proc/loadavg: 4.03 3.96 3.90 5/182 17254
/proc/meminfo: memFree=29402928/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=469248 CPUtime=924.61 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 89949 0 0 0 91282 1179 0 0 25 0 3 0 911153585 480509952 88678 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 117312 88678 180 372 0 116937 0
[pid=17239/tid=17240] ppid=17237 vsize=469248 CPUtime=462.3 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 83237 0 0 0 45667 563 0 0 25 0 3 0 911153585 480509952 88678 33554432000 4194304 5714118 140736921665808 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=469248 CPUtime=462.29 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 6364 0 0 0 45614 615 0 0 25 0 3 0 911153585 480509952 88678 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 924.61
Current children cumulated vsize (KiB) 469248

[startup+522.301 s]
/proc/loadavg: 4.01 3.97 3.91 5/182 17256
/proc/meminfo: memFree=29330572/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=469696 CPUtime=1044.61 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 99570 0 0 0 103133 1328 0 0 25 0 3 0 911153585 480968704 98011 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 117424 98011 180 372 0 117049 0
[pid=17239/tid=17240] ppid=17237 vsize=469696 CPUtime=522.3 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 92153 0 0 0 51591 639 0 0 25 0 3 0 911153585 480968704 98011 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=469696 CPUtime=522.3 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 7069 0 0 0 51541 689 0 0 25 0 3 0 911153585 480968704 98011 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1044.61
Current children cumulated vsize (KiB) 469696

[startup+582.301 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 17257
/proc/meminfo: memFree=29259100/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=535232 CPUtime=1164.62 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 108579 0 0 0 114980 1482 0 0 25 0 3 0 911153585 548077568 106990 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 133808 106990 180 372 0 133433 0
[pid=17239/tid=17240] ppid=17237 vsize=535232 CPUtime=582.31 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 100968 0 0 0 57518 713 0 0 25 0 3 0 911153585 548077568 106990 33554432000 4194304 5714118 140736921665808 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=535232 CPUtime=582.3 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 7263 0 0 0 57462 768 0 0 25 0 3 0 911153585 548077568 106990 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1164.62
Current children cumulated vsize (KiB) 535232

[startup+642.3 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 17259
/proc/meminfo: memFree=29191580/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=535376 CPUtime=1284.63 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 116696 0 0 0 126839 1624 0 0 25 0 3 0 911153585 548225024 115107 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 133844 115107 180 372 0 133469 0
[pid=17239/tid=17240] ppid=17237 vsize=535376 CPUtime=642.31 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 108990 0 0 0 63447 784 0 0 25 0 3 0 911153585 548225024 115107 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=535376 CPUtime=642.31 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 7358 0 0 0 63391 840 0 0 25 0 3 0 911153585 548225024 115107 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1284.63
Current children cumulated vsize (KiB) 535376

[startup+702.3 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 17260
/proc/meminfo: memFree=29120848/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=601344 CPUtime=1404.63 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 125348 0 0 0 138699 1764 0 0 25 0 3 0 911153585 615776256 123681 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 150336 123681 180 372 0 149961 0
[pid=17239/tid=17240] ppid=17237 vsize=601344 CPUtime=702.31 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 117119 0 0 0 69378 853 0 0 25 0 3 0 911153585 615776256 123681 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=601344 CPUtime=702.3 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 7881 0 0 0 69320 910 0 0 25 0 3 0 911153585 615776256 123681 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1404.63
Current children cumulated vsize (KiB) 601344

[startup+762.307 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 17262
/proc/meminfo: memFree=29050484/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=601848 CPUtime=1524.64 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 134255 0 0 0 150548 1916 0 0 25 0 3 0 911153585 616292352 132304 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 150462 132304 180 372 0 150087 0
[pid=17239/tid=17240] ppid=17237 vsize=601848 CPUtime=762.31 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 125611 0 0 0 75302 929 0 0 25 0 3 0 911153585 616292352 132304 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=601848 CPUtime=762.32 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 8296 0 0 0 75246 986 0 0 25 0 3 0 911153585 616292352 132304 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1524.64
Current children cumulated vsize (KiB) 601848

[startup+822.301 s]
/proc/loadavg: 4.08 3.99 3.91 5/182 17264
/proc/meminfo: memFree=28985576/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=667744 CPUtime=1644.62 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 143639 0 0 0 162402 2060 0 0 25 0 3 0 911153585 683769856 141472 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 166936 141472 180 372 0 166561 0
[pid=17239/tid=17240] ppid=17237 vsize=667744 CPUtime=822.31 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 134645 0 0 0 81229 1002 0 0 25 0 3 0 911153585 683769856 141472 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=667744 CPUtime=822.31 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 8646 0 0 0 81173 1058 0 0 25 0 3 0 911153585 683769856 141472 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1644.62
Current children cumulated vsize (KiB) 667744

[startup+882.3 s]
/proc/loadavg: 3.89 3.95 3.90 5/182 17346
/proc/meminfo: memFree=29433408/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=668464 CPUtime=1764.63 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 151202 0 0 0 174280 2183 0 0 25 0 3 0 911153585 684507136 148895 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 167116 148895 180 372 0 166741 0
[pid=17239/tid=17240] ppid=17237 vsize=668464 CPUtime=882.31 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 141988 0 0 0 87168 1063 0 0 25 0 3 0 911153585 684507136 148895 33554432000 4194304 5714118 140736921665808 18446744073709551615 4319710 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=668464 CPUtime=882.31 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 8866 0 0 0 87112 1119 0 0 25 0 3 0 911153585 684507136 148895 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1764.63
Current children cumulated vsize (KiB) 668464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900 s]
/proc/loadavg: 3.92 3.96 3.91 5/182 17347
/proc/meminfo: memFree=29420396/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=668464 CPUtime=1800.04 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 153501 0 0 0 177795 2209 0 0 25 0 3 0 911153585 684507136 151194 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 167116 151194 180 372 0 166741 0
[pid=17239/tid=17240] ppid=17237 vsize=668464 CPUtime=900.01 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 144262 0 0 0 88926 1075 0 0 25 0 3 0 911153585 684507136 151194 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=668464 CPUtime=900.02 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 8891 0 0 0 88868 1134 0 0 25 0 3 0 911153585 684507136 151194 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 668464

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.036
CPU time (s): 1800.09
CPU user time (s): 1777.97
CPU system time (s): 22.1216
CPU usage (%): 200.002
Max. virtual memory (cumulated for all children) (KiB): 668464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1777.97
system time used= 22.1216
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153507
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= 51
involuntary context switches= 5665

runsolver used 1.2828 second user time and 3.14252 second system time

The end

Launcher Data 

Begin job on node122 at 2011-06-13 22:05:48
IDJOB=3500445
IDBENCH=2910
IDSOLVER=1954
FILE ID=node122/3500445-1307995548
RUNJOBID= node122-1307989672-15977
PBS_JOBID= 13559733
Free space on /var/tmp= 2888 MiB

SOLVER NAME= pwbo 1.1
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_3.opb
COMMAND LINE= pwbo1.1 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500445-1307995548/watcher-3500445-1307995548 -o /var/tmp/evaluation-result-3500445-1307995548/solver-3500445-1307995548 -C 1800 -W 1900 -M 15500  pwbo1.1 -file-format=opb HOME/instance-3500445-1307995548.opb

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

MD5SUM BENCH= 8d16c34d0eecf3c16ca4b890652c15ca
RANDOM SEED=1137990973

node122.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30084392 kB
Buffers:         55788 kB
Cached:        2539864 kB
SwapCached:      15172 kB
Active:         230336 kB
Inactive:      2435436 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30084392 kB
SwapTotal:    67111528 kB
SwapFree:     67048888 kB
Dirty:            8812 kB
Writeback:           0 kB
AnonPages:       67792 kB
Mapped:           9952 kB
Slab:           135512 kB
PageTables:       4712 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   261976 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2884 MiB
End job on node122 at 2011-06-13 22:20:50