Trace number 3703715

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)6 1800.02 900.23

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_30_30.r.opb
MD5SUM28e00d9d9bb0c4a536b74577b47a7849
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark0.399938
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses100
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 constraint30
Maximum length of a constraint30
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
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-3703715-1338093447.opb.
0.00/0.00	c Instance file HOME/instance-3703715-1338093447.opb
0.00/0.00	c File size is 22368 bytes.
0.00/0.00	c Cost Offset: 0
0.00/0.00	c Highest Coefficient sum: 31
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:      100                                                 |
0.00/0.00	c |  Number Clauses:        100                                                 |
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.02/900.21	o 9
1800.02/900.21	o 8
1800.02/900.21	o 7
1800.02/900.21	o 6
1800.02/900.21	c ===============================================================================
1800.02/900.21	c Wall Clock Time: 900.21 s
1800.02/900.21	c Best Solution: 6
1800.02/900.21	s SATISFIABLE
1800.02/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

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 /tmp/evaluation-result-3703715-1338093447/watcher-3703715-1338093447 -o /tmp/evaluation-result-3703715-1338093447/solver-3703715-1338093447 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703715-1338093447.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.85 4.00 3.98 3/176 25770
/proc/meminfo: memFree=30419580/32873648 swapFree=7108/7108
[pid=25770] ppid=25768 vsize=162348 CPUtime=0 cores=1,3,5,7
/proc/25770/stat : 25770 (pwbo2.0) S 25768 25770 25163 0 -1 4202496 883 0 0 0 0 0 0 0 20 0 3 0 275470134 166244352 829 33554432000 4194304 5965102 140737237474224 140737237473744 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25770/statm: 40587 829 200 433 0 40151 0
[pid=25770/tid=25771] ppid=25768 vsize=162348 CPUtime=0 cores=1,3,5,7
/proc/25770/task/25771/stat : 25771 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 3 0 275470135 166244352 829 33554432000 4194304 5965102 140737237474224 140344236690480 4401780 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25770/tid=25772] ppid=25768 vsize=162348 CPUtime=0 cores=1,3,5,7
/proc/25770/task/25772/stat : 25772 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 80 0 0 0 0 0 0 0 20 0 3 0 275470135 166244352 829 33554432000 4194304 5965102 140737237474224 140344226200536 5137076 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0

[startup+0.0124311 s]
/proc/loadavg: 3.85 4.00 3.98 3/176 25770
/proc/meminfo: memFree=30419580/32873648 swapFree=7108/7108
[pid=25770] ppid=25768 vsize=162348 CPUtime=0.01 cores=1,3,5,7
/proc/25770/stat : 25770 (pwbo2.0) S 25768 25770 25163 0 -1 4202496 930 0 0 0 1 0 0 0 20 0 3 0 275470134 166244352 876 33554432000 4194304 5965102 140737237474224 140737237473744 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25770/statm: 40587 876 201 433 0 40151 0
[pid=25770/tid=25771] ppid=25768 vsize=162348 CPUtime=0 cores=1,3,5,7
/proc/25770/task/25771/stat : 25771 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 78 0 0 0 0 0 0 0 20 0 3 0 275470135 166244352 876 33554432000 4194304 5965102 140737237474224 140344236690480 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25770/tid=25772] ppid=25768 vsize=162348 CPUtime=0 cores=1,3,5,7
/proc/25770/task/25772/stat : 25772 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 102 0 0 0 0 0 0 0 20 0 3 0 275470135 166244352 876 33554432000 4194304 5965102 140737237474224 140344226200536 4392822 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 162348

[startup+0.100275 s]
/proc/loadavg: 3.85 4.00 3.98 3/176 25770
/proc/meminfo: memFree=30419580/32873648 swapFree=7108/7108
[pid=25770] ppid=25768 vsize=162480 CPUtime=0.19 cores=1,3,5,7
/proc/25770/stat : 25770 (pwbo2.0) S 25768 25770 25163 0 -1 4202496 1337 0 0 0 19 0 0 0 20 0 3 0 275470134 166379520 1283 33554432000 4194304 5965102 140737237474224 140737237473744 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25770/statm: 40620 1283 202 433 0 40184 0
[pid=25770/tid=25771] ppid=25768 vsize=162480 CPUtime=0.08 cores=1,3,5,7
/proc/25770/task/25771/stat : 25771 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 307 0 0 0 8 0 0 0 20 0 3 0 275470135 166379520 1283 33554432000 4194304 5965102 140737237474224 140344236689336 5179915 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25770/tid=25772] ppid=25768 vsize=162480 CPUtime=0.08 cores=1,3,5,7
/proc/25770/task/25772/stat : 25772 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 280 0 0 0 8 0 0 0 20 0 3 0 275470135 166379520 1283 33554432000 4194304 5965102 140737237474224 140344226199864 4401611 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 162480

[startup+0.300174 s]
/proc/loadavg: 3.85 4.00 3.98 3/176 25770
/proc/meminfo: memFree=30419580/32873648 swapFree=7108/7108
[pid=25770] ppid=25768 vsize=162480 CPUtime=0.58 cores=1,3,5,7
/proc/25770/stat : 25770 (pwbo2.0) S 25768 25770 25163 0 -1 4202496 1990 0 0 0 58 0 0 0 20 0 3 0 275470134 166379520 1936 33554432000 4194304 5965102 140737237474224 140737237473744 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25770/statm: 40620 1936 202 433 0 40184 0
[pid=25770/tid=25771] ppid=25768 vsize=162480 CPUtime=0.28 cores=1,3,5,7
/proc/25770/task/25771/stat : 25771 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 712 0 0 0 28 0 0 0 20 0 3 0 275470135 166379520 1936 33554432000 4194304 5965102 140737237474224 140344236689000 4401143 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25770/tid=25772] ppid=25768 vsize=162480 CPUtime=0.28 cores=1,3,5,7
/proc/25770/task/25772/stat : 25772 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 528 0 0 0 28 0 0 0 20 0 3 0 275470135 166379520 1936 33554432000 4194304 5965102 140737237474224 140344226199672 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 162480

[startup+0.700166 s]
/proc/loadavg: 3.85 4.00 3.98 3/176 25770
/proc/meminfo: memFree=30419580/32873648 swapFree=7108/7108
[pid=25770] ppid=25768 vsize=162480 CPUtime=1.39 cores=1,3,5,7
/proc/25770/stat : 25770 (pwbo2.0) S 25768 25770 25163 0 -1 4202496 2925 0 0 0 138 1 0 0 20 0 3 0 275470134 166379520 2871 33554432000 4194304 5965102 140737237474224 140737237473744 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25770/statm: 40620 2871 202 433 0 40184 0
[pid=25770/tid=25771] ppid=25768 vsize=162480 CPUtime=0.68 cores=1,3,5,7
/proc/25770/task/25771/stat : 25771 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 1315 0 0 0 68 0 0 0 20 0 3 0 275470135 166379520 2871 33554432000 4194304 5965102 140737237474224 140344236689448 4401127 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25770/tid=25772] ppid=25768 vsize=162480 CPUtime=0.68 cores=1,3,5,7
/proc/25770/task/25772/stat : 25772 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 860 0 0 0 68 0 0 0 20 0 3 0 275470135 166379520 2871 33554432000 4194304 5965102 140737237474224 140344226199864 5137076 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 162480

[startup+1.5003 s]
/proc/loadavg: 3.85 4.00 3.98 5/181 25775
/proc/meminfo: memFree=30278148/32873648 swapFree=7108/7108
[pid=25770] ppid=25768 vsize=162624 CPUtime=2.98 cores=1,3,5,7
/proc/25770/stat : 25770 (pwbo2.0) S 25768 25770 25163 0 -1 4202496 3754 0 0 0 297 1 0 0 20 0 3 0 275470134 166526976 3700 33554432000 4194304 5965102 140737237474224 140737237473744 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25770/statm: 40656 3700 202 433 0 40220 0
[pid=25770/tid=25771] ppid=25768 vsize=162624 CPUtime=1.48 cores=1,3,5,7
/proc/25770/task/25771/stat : 25771 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 1935 0 0 0 147 1 0 0 20 0 3 0 275470135 166526976 3700 33554432000 4194304 5965102 140737237474224 140344236689208 4401597 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25770/tid=25772] ppid=25768 vsize=162624 CPUtime=1.48 cores=1,3,5,7
/proc/25770/task/25772/stat : 25772 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 1069 0 0 0 148 0 0 0 20 0 3 0 275470135 166526976 3700 33554432000 4194304 5965102 140737237474224 140344226199864 4220678 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 162624

[startup+3.10033 s]
/proc/loadavg: 3.85 4.00 3.98 5/181 25775
/proc/meminfo: memFree=30269220/32873648 swapFree=7108/7108
[pid=25770] ppid=25768 vsize=162972 CPUtime=6.18 cores=1,3,5,7
/proc/25770/stat : 25770 (pwbo2.0) S 25768 25770 25163 0 -1 4202496 5362 0 0 0 617 1 0 0 20 0 3 0 275470134 166883328 5308 33554432000 4194304 5965102 140737237474224 140737237473744 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25770/statm: 40743 5308 202 433 0 40307 0
[pid=25770/tid=25771] ppid=25768 vsize=162972 CPUtime=3.07 cores=1,3,5,7
/proc/25770/task/25771/stat : 25771 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 3118 0 0 0 306 1 0 0 20 0 3 0 275470135 166883328 5308 33554432000 4194304 5965102 140737237474224 140344236689208 4401127 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25770/tid=25772] ppid=25768 vsize=162972 CPUtime=3.07 cores=1,3,5,7
/proc/25770/task/25772/stat : 25772 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 1494 0 0 0 307 0 0 0 20 0 3 0 275470135 166883328 5308 33554432000 4194304 5965102 140737237474224 140344226199672 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 162972

[startup+6.30035 s]
/proc/loadavg: 3.86 4.00 3.98 5/181 25775
/proc/meminfo: memFree=30248564/32873648 swapFree=7108/7108
[pid=25770] ppid=25768 vsize=162916 CPUtime=12.59 cores=1,3,5,7
/proc/25770/stat : 25770 (pwbo2.0) S 25768 25770 25163 0 -1 4202496 7412 0 0 0 1256 3 0 0 20 0 3 0 275470134 166825984 7316 33554432000 4194304 5965102 140737237474224 140737237473744 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25770/statm: 40729 7316 202 433 0 40293 0
[pid=25770/tid=25771] ppid=25768 vsize=162916 CPUtime=6.26 cores=1,3,5,7
/proc/25770/task/25771/stat : 25771 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 4491 0 0 0 625 1 0 0 20 0 3 0 275470135 166825984 7316 33554432000 4194304 5965102 140737237474224 140344236690360 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25770/tid=25772] ppid=25768 vsize=162916 CPUtime=6.26 cores=1,3,5,7
/proc/25770/task/25772/stat : 25772 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 2171 0 0 0 626 0 0 0 20 0 3 0 275470135 166825984 7316 33554432000 4194304 5965102 140737237474224 140344226199672 4380288 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 162916

[startup+12.7003 s]
/proc/loadavg: 3.87 4.00 3.98 5/181 25775
/proc/meminfo: memFree=30217536/32873648 swapFree=7108/7108
[pid=25770] ppid=25768 vsize=163300 CPUtime=25.38 cores=1,3,5,7
/proc/25770/stat : 25770 (pwbo2.0) S 25768 25770 25163 0 -1 4202496 10021 0 0 0 2534 4 0 0 20 0 3 0 275470134 167219200 9982 33554432000 4194304 5965102 140737237474224 140737237473744 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25770/statm: 40825 9982 202 433 0 40389 0
[pid=25770/tid=25771] ppid=25768 vsize=163300 CPUtime=12.64 cores=1,3,5,7
/proc/25770/task/25771/stat : 25771 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 6070 0 0 0 1262 2 0 0 20 0 3 0 275470135 167219200 9982 33554432000 4194304 5965102 140737237474224 140344236689208 4401078 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25770/tid=25772] ppid=25768 vsize=163300 CPUtime=12.64 cores=1,3,5,7
/proc/25770/task/25772/stat : 25772 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 3201 0 0 0 1263 1 0 0 20 0 3 0 275470135 167219200 9982 33554432000 4194304 5965102 140737237474224 140344226199672 4401009 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 163300

[startup+25.5004 s]
/proc/loadavg: 3.90 4.00 3.98 5/181 25775
/proc/meminfo: memFree=30159864/32873648 swapFree=7108/7108
[pid=25770] ppid=25768 vsize=164252 CPUtime=50.97 cores=1,3,5,7
/proc/25770/stat : 25770 (pwbo2.0) S 25768 25770 25163 0 -1 4202496 15213 0 0 0 5090 7 0 0 20 0 3 0 275470134 168194048 15178 33554432000 4194304 5965102 140737237474224 140737237473744 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25770/statm: 41063 15178 202 433 0 40627 0
[pid=25770/tid=25771] ppid=25768 vsize=164252 CPUtime=25.4 cores=1,3,5,7
/proc/25770/task/25771/stat : 25771 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 9503 0 0 0 2536 4 0 0 20 0 3 0 275470135 168194048 15178 33554432000 4194304 5965102 140737237474224 140344236689400 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25770/tid=25772] ppid=25768 vsize=164252 CPUtime=25.41 cores=1,3,5,7
/proc/25770/task/25772/stat : 25772 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 4960 0 0 0 2539 2 0 0 20 0 3 0 275470135 168194048 15178 33554432000 4194304 5965102 140737237474224 140344226199864 5137076 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 164252

[startup+51.1004 s]
/proc/loadavg: 3.93 4.00 3.98 5/181 25775
/proc/meminfo: memFree=30089712/32873648 swapFree=7108/7108
[pid=25770] ppid=25768 vsize=165744 CPUtime=102.14 cores=1,3,5,7
/proc/25770/stat : 25770 (pwbo2.0) S 25768 25770 25163 0 -1 4202496 23158 0 0 0 10202 12 0 0 20 0 3 0 275470134 169721856 23867 33554432000 4194304 5965102 140737237474224 140737237473744 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25770/statm: 41436 23867 202 433 0 41000 0
[pid=25770/tid=25771] ppid=25768 vsize=165744 CPUtime=50.92 cores=1,3,5,7
/proc/25770/task/25771/stat : 25771 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 15562 0 0 0 5084 8 0 0 20 0 3 0 275470135 169721856 23867 33554432000 4194304 5965102 140737237474224 140344236689208 4401118 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25770/tid=25772] ppid=25768 vsize=165744 CPUtime=50.94 cores=1,3,5,7
/proc/25770/task/25772/stat : 25772 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 6846 0 0 0 5091 3 0 0 20 0 3 0 275470135 169721856 23867 33554432000 4194304 5965102 140737237474224 140344226199912 4401058 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 165744

[startup+102.307 s]
/proc/loadavg: 3.97 4.00 3.98 5/181 25775
/proc/meminfo: memFree=29967804/32873648 swapFree=7108/7108
[pid=25770] ppid=25768 vsize=234156 CPUtime=204.54 cores=1,3,5,7
/proc/25770/stat : 25770 (pwbo2.0) S 25768 25770 25163 0 -1 4202496 35139 0 0 0 20431 23 0 0 20 0 3 0 275470134 239775744 36541 33554432000 4194304 5965102 140737237474224 140737237473744 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25770/statm: 58539 36541 202 433 0 58103 0
[pid=25770/tid=25771] ppid=25768 vsize=234156 CPUtime=102 cores=1,3,5,7
/proc/25770/task/25771/stat : 25771 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 24789 0 0 0 10183 17 0 0 20 0 3 0 275470135 239775744 36541 33554432000 4194304 5965102 140737237474224 140344236689208 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25770/tid=25772] ppid=25768 vsize=234156 CPUtime=102.02 cores=1,3,5,7
/proc/25770/task/25772/stat : 25772 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 9600 0 0 0 10195 7 0 0 20 0 3 0 275470135 239775744 36541 33554432000 4194304 5965102 140737237474224 140344226199672 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 204.54
Current children cumulated vsize (KiB) 234156

[startup+162.3 s]
/proc/loadavg: 3.99 4.00 3.98 5/182 25778
/proc/meminfo: memFree=29889264/32873648 swapFree=7108/7108
[pid=25770] ppid=25768 vsize=241648 CPUtime=324.51 cores=1,3,5,7
/proc/25770/stat : 25770 (pwbo2.0) S 25768 25770 25163 0 -1 4202496 44238 0 0 0 32420 31 0 0 20 0 3 0 275470134 247447552 45533 33554432000 4194304 5965102 140737237474224 140737237473744 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25770/statm: 60412 45533 202 433 0 59976 0
[pid=25770/tid=25771] ppid=25768 vsize=241648 CPUtime=161.84 cores=1,3,5,7
/proc/25770/task/25771/stat : 25771 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 32999 0 0 0 16159 25 0 0 20 0 3 0 275470135 247447552 45533 33554432000 4194304 5965102 140737237474224 140344236689448 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25770/tid=25772] ppid=25768 vsize=241648 CPUtime=161.86 cores=1,3,5,7
/proc/25770/task/25772/stat : 25772 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 10489 0 0 0 16177 9 0 0 20 0 3 0 275470135 247447552 45533 33554432000 4194304 5965102 140737237474224 140344226199672 5137076 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 324.51
Current children cumulated vsize (KiB) 241648

[startup+222.3 s]
/proc/loadavg: 3.99 4.00 3.98 5/181 25778
/proc/meminfo: memFree=29816228/32873648 swapFree=7108/7108
[pid=25770] ppid=25768 vsize=310940 CPUtime=444.49 cores=1,3,5,7
/proc/25770/stat : 25770 (pwbo2.0) S 25768 25770 25163 0 -1 4202496 55537 0 0 0 44406 43 0 0 20 0 3 0 275470134 318402560 56742 33554432000 4194304 5965102 140737237474224 140737237473744 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25770/statm: 77735 56742 202 433 0 77299 0
[pid=25770/tid=25771] ppid=25768 vsize=310940 CPUtime=221.69 cores=1,3,5,7
/proc/25770/task/25771/stat : 25771 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 42242 0 0 0 22132 37 0 0 20 0 3 0 275470135 318402560 56742 33554432000 4194304 5965102 140737237474224 140344236689208 4401127 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25770/tid=25772] ppid=25768 vsize=310940 CPUtime=221.7 cores=1,3,5,7
/proc/25770/task/25772/stat : 25772 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 12545 0 0 0 22158 12 0 0 20 0 3 0 275470135 318402560 56742 33554432000 4194304 5965102 140737237474224 140344226199736 4401041 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 444.49
Current children cumulated vsize (KiB) 310940

################
# More data... #
################

[pid=25770/tid=25772] ppid=25768 vsize=316468 CPUtime=281.55 cores=1,3,5,7
/proc/25770/task/25772/stat : 25772 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 14140 0 0 0 28139 16 0 0 20 0 3 0 275470135 324063232 63712 33554432000 4194304 5965102 140737237474224 140344226199864 4401096 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 564.44
Current children cumulated vsize (KiB) 316468

[startup+342.3 s]
/proc/loadavg: 3.99 4.00 3.98 5/181 25779
/proc/meminfo: memFree=29581732/32873648 swapFree=7108/7108
[pid=25770] ppid=25768 vsize=385960 CPUtime=684.39 cores=1,3,5,7
/proc/25770/stat : 25770 (pwbo2.0) S 25768 25770 25163 0 -1 4202496 70068 0 0 0 68378 61 0 0 20 0 3 0 275470134 395223040 71959 33554432000 4194304 5965102 140737237474224 140737237473744 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25770/statm: 96490 71959 202 433 0 96054 0
[pid=25770/tid=25771] ppid=25768 vsize=385960 CPUtime=341.33 cores=1,3,5,7
/proc/25770/task/25771/stat : 25771 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 54802 0 0 0 34080 53 0 0 20 0 3 0 275470135 395223040 71959 33554432000 4194304 5965102 140737237474224 140344236689400 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25770/tid=25772] ppid=25768 vsize=385960 CPUtime=341.38 cores=1,3,5,7
/proc/25770/task/25772/stat : 25772 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 14516 0 0 0 34121 17 0 0 20 0 3 0 275470135 395223040 71959 33554432000 4194304 5965102 140737237474224 140344226199672 4401131 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 684.39
Current children cumulated vsize (KiB) 385960

[startup+402.3 s]
/proc/loadavg: 4.04 4.01 3.98 5/181 25779
/proc/meminfo: memFree=29498408/32873648 swapFree=7108/7108
[pid=25770] ppid=25768 vsize=388944 CPUtime=804.36 cores=1,3,5,7
/proc/25770/stat : 25770 (pwbo2.0) S 25768 25770 25163 0 -1 4202496 77949 0 0 0 80365 71 0 0 20 0 3 0 275470134 398278656 80025 33554432000 4194304 5965102 140737237474224 140737237473744 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25770/statm: 97236 80025 202 433 0 96800 0
[pid=25770/tid=25771] ppid=25768 vsize=388944 CPUtime=401.16 cores=1,3,5,7
/proc/25770/task/25771/stat : 25771 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 62407 0 0 0 40052 64 0 0 20 0 3 0 275470135 398278656 80025 33554432000 4194304 5965102 140737237474224 140344236689448 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25770/tid=25772] ppid=25768 vsize=388944 CPUtime=401.22 cores=1,3,5,7
/proc/25770/task/25772/stat : 25772 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 14792 0 0 0 40104 18 0 0 20 0 3 0 275470135 398278656 80025 33554432000 4194304 5965102 140737237474224 140344226199672 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 804.36
Current children cumulated vsize (KiB) 388944

[startup+462.3 s]
/proc/loadavg: 4.01 4.01 3.98 5/181 25779
/proc/meminfo: memFree=29339888/32873648 swapFree=7108/7108
[pid=25770] ppid=25768 vsize=393468 CPUtime=924.34 cores=1,3,5,7
/proc/25770/stat : 25770 (pwbo2.0) S 25768 25770 25163 0 -1 4202496 81051 0 0 0 92360 74 0 0 20 0 3 0 275470134 402911232 83610 33554432000 4194304 5965102 140737237474224 140737237473744 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25770/statm: 98367 83610 202 433 0 97931 0
[pid=25770/tid=25771] ppid=25768 vsize=393468 CPUtime=461.01 cores=1,3,5,7
/proc/25770/task/25771/stat : 25771 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 64098 0 0 0 46035 66 0 0 20 0 3 0 275470135 402911232 83610 33554432000 4194304 5965102 140737237474224 140344236689448 4392200 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25770/tid=25772] ppid=25768 vsize=393468 CPUtime=461.07 cores=1,3,5,7
/proc/25770/task/25772/stat : 25772 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 16203 0 0 0 46086 21 0 0 20 0 3 0 275470135 402911232 83610 33554432000 4194304 5965102 140737237474224 140344226199672 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 924.34
Current children cumulated vsize (KiB) 393468

[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.98 5/181 25779
/proc/meminfo: memFree=29287340/32873648 swapFree=7108/7108
[pid=25770] ppid=25768 vsize=464972 CPUtime=1044.33 cores=1,3,5,7
/proc/25770/stat : 25770 (pwbo2.0) S 25768 25770 25163 0 -1 4202496 87994 0 0 0 104351 82 0 0 20 0 3 0 275470134 476131328 90479 33554432000 4194304 5965102 140737237474224 140737237473744 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25770/statm: 116243 90479 202 433 0 115807 0
[pid=25770/tid=25771] ppid=25768 vsize=464972 CPUtime=520.85 cores=1,3,5,7
/proc/25770/task/25771/stat : 25771 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 69590 0 0 0 52012 73 0 0 20 0 3 0 275470135 476131328 90479 33554432000 4194304 5965102 140737237474224 140344236689400 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25770/tid=25772] ppid=25768 vsize=464972 CPUtime=520.91 cores=1,3,5,7
/proc/25770/task/25772/stat : 25772 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 17654 0 0 0 52069 22 0 0 20 0 3 0 275470135 476131328 90479 33554432000 4194304 5965102 140737237474224 140344226199864 4380356 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1044.33
Current children cumulated vsize (KiB) 464972

[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.98 5/181 25780
/proc/meminfo: memFree=29225616/32873648 swapFree=7108/7108
[pid=25770] ppid=25768 vsize=469556 CPUtime=1164.3 cores=1,3,5,7
/proc/25770/stat : 25770 (pwbo2.0) S 25768 25770 25163 0 -1 4202496 94747 0 0 0 116341 89 0 0 20 0 3 0 275470134 480825344 97165 33554432000 4194304 5965102 140737237474224 140737237473744 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25770/statm: 117389 97165 202 433 0 116953 0
[pid=25770/tid=25771] ppid=25768 vsize=469556 CPUtime=580.7 cores=1,3,5,7
/proc/25770/task/25771/stat : 25771 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 76112 0 0 0 57988 82 0 0 20 0 3 0 275470135 480825344 97165 33554432000 4194304 5965102 140737237474224 140344236689208 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25770/tid=25772] ppid=25768 vsize=469556 CPUtime=580.76 cores=1,3,5,7
/proc/25770/task/25772/stat : 25772 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 17885 0 0 0 58053 23 0 0 20 0 3 0 275470135 480825344 97165 33554432000 4194304 5965102 140737237474224 140344226199912 4401475 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1164.3
Current children cumulated vsize (KiB) 469556

[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.98 5/181 25780
/proc/meminfo: memFree=29046840/32873648 swapFree=7108/7108
[pid=25770] ppid=25768 vsize=476480 CPUtime=1284.3 cores=1,3,5,7
/proc/25770/stat : 25770 (pwbo2.0) S 25768 25770 25163 0 -1 4202496 103725 0 0 0 128330 100 0 0 20 0 3 0 275470134 487915520 106094 33554432000 4194304 5965102 140737237474224 140737237473744 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25770/statm: 119120 106094 202 433 0 118684 0
[pid=25770/tid=25771] ppid=25768 vsize=476480 CPUtime=640.55 cores=1,3,5,7
/proc/25770/task/25771/stat : 25771 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 84836 0 0 0 63962 93 0 0 20 0 3 0 275470135 487915520 106094 33554432000 4194304 5965102 140737237474224 140344236689448 5137146 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25770/tid=25772] ppid=25768 vsize=476480 CPUtime=640.61 cores=1,3,5,7
/proc/25770/task/25772/stat : 25772 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 18139 0 0 0 64037 24 0 0 20 0 3 0 275470135 487915520 106094 33554432000 4194304 5965102 140737237474224 140344226199912 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1284.3
Current children cumulated vsize (KiB) 476480

[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.98 5/181 25780
/proc/meminfo: memFree=28890268/32873648 swapFree=7108/7108
[pid=25770] ppid=25768 vsize=479140 CPUtime=1404.26 cores=1,3,5,7
/proc/25770/stat : 25770 (pwbo2.0) S 25768 25770 25163 0 -1 4202496 106948 0 0 0 140321 105 0 0 20 0 3 0 275470134 490639360 109317 33554432000 4194304 5965102 140737237474224 140737237473744 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25770/statm: 119785 109317 202 433 0 119349 0
[pid=25770/tid=25771] ppid=25768 vsize=479140 CPUtime=700.39 cores=1,3,5,7
/proc/25770/task/25771/stat : 25771 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 86858 0 0 0 69942 97 0 0 20 0 3 0 275470135 490639360 109317 33554432000 4194304 5965102 140737237474224 140344236689448 4380032 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25770/tid=25772] ppid=25768 vsize=479140 CPUtime=700.45 cores=1,3,5,7
/proc/25770/task/25772/stat : 25772 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 19340 0 0 0 70018 27 0 0 20 0 3 0 275470135 490639360 109317 33554432000 4194304 5965102 140737237474224 140344226199864 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1404.26
Current children cumulated vsize (KiB) 479140

[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.98 5/182 25783
/proc/meminfo: memFree=28833772/32873648 swapFree=7108/7108
[pid=25770] ppid=25768 vsize=548928 CPUtime=1524.26 cores=1,3,5,7
/proc/25770/stat : 25770 (pwbo2.0) S 25768 25770 25163 0 -1 4202496 110075 0 0 0 152316 110 0 0 20 0 3 0 275470134 562102272 112401 33554432000 4194304 5965102 140737237474224 140737237473744 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25770/statm: 137232 112401 202 433 0 136796 0
[pid=25770/tid=25771] ppid=25768 vsize=548928 CPUtime=760.25 cores=1,3,5,7
/proc/25770/task/25771/stat : 25771 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 87945 0 0 0 75925 100 0 0 20 0 3 0 275470135 562102272 112401 33554432000 4194304 5965102 140737237474224 140344236689400 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25770/tid=25772] ppid=25768 vsize=548928 CPUtime=760.3 cores=1,3,5,7
/proc/25770/task/25772/stat : 25772 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 21380 0 0 0 75998 32 0 0 20 0 3 0 275470135 562102272 112401 33554432000 4194304 5965102 140737237474224 140344226199912 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1524.26
Current children cumulated vsize (KiB) 548928

[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.98 5/181 25783
/proc/meminfo: memFree=28795864/32873648 swapFree=7108/7108
[pid=25770] ppid=25768 vsize=618252 CPUtime=1644.23 cores=1,3,5,7
/proc/25770/stat : 25770 (pwbo2.0) S 25768 25770 25163 0 -1 4202496 114525 0 0 0 164306 117 0 0 20 0 3 0 275470134 633090048 116849 33554432000 4194304 5965102 140737237474224 140737237473744 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25770/statm: 154563 116849 202 433 0 154127 0
[pid=25770/tid=25771] ppid=25768 vsize=618252 CPUtime=820.09 cores=1,3,5,7
/proc/25770/task/25771/stat : 25771 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 92174 0 0 0 81901 108 0 0 20 0 3 0 275470135 633090048 116849 33554432000 4194304 5965102 140737237474224 140344236689208 4389366 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25770/tid=25772] ppid=25768 vsize=618252 CPUtime=820.14 cores=1,3,5,7
/proc/25770/task/25772/stat : 25772 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 21601 0 0 0 81981 33 0 0 20 0 3 0 275470135 633090048 116849 33554432000 4194304 5965102 140737237474224 140344226199912 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1644.23
Current children cumulated vsize (KiB) 618252

[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.98 5/180 25783
/proc/meminfo: memFree=28741612/32873648 swapFree=7108/7108
[pid=25770] ppid=25768 vsize=620592 CPUtime=1764.21 cores=1,3,5,7
/proc/25770/stat : 25770 (pwbo2.0) S 25768 25770 25163 0 -1 4202496 122395 0 0 0 176294 127 0 0 20 0 3 0 275470134 635486208 124697 33554432000 4194304 5965102 140737237474224 140737237473744 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25770/statm: 155148 124697 202 433 0 154712 0
[pid=25770/tid=25771] ppid=25768 vsize=620592 CPUtime=879.93 cores=1,3,5,7
/proc/25770/task/25771/stat : 25771 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 99671 0 0 0 87875 118 0 0 20 0 3 0 275470135 635486208 124697 33554432000 4194304 5965102 140737237474224 140344236689400 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25770/tid=25772] ppid=25768 vsize=620592 CPUtime=879.99 cores=1,3,5,7
/proc/25770/task/25772/stat : 25772 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 21974 0 0 0 87965 34 0 0 20 0 3 0 275470135 635486208 124697 33554432000 4194304 5965102 140737237474224 140344226199864 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1764.21
Current children cumulated vsize (KiB) 620592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.2 s]
/proc/loadavg: 4.00 4.00 3.98 5/181 25784
/proc/meminfo: memFree=28725856/32873648 swapFree=7108/7108
[pid=25770] ppid=25768 vsize=621724 CPUtime=1800.02 cores=1,3,5,7
/proc/25770/stat : 25770 (pwbo2.0) S 25768 25770 25163 0 -1 4202496 124917 0 0 0 179871 131 0 0 20 0 3 0 275470134 636645376 127219 33554432000 4194304 5965102 140737237474224 140737237473744 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25770/statm: 155431 127219 202 433 0 154995 0
[pid=25770/tid=25771] ppid=25768 vsize=621724 CPUtime=897.79 cores=1,3,5,7
/proc/25770/task/25771/stat : 25771 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 102146 0 0 0 89657 122 0 0 20 0 3 0 275470135 636645376 127219 33554432000 4194304 5965102 140737237474224 140344236689400 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25770/tid=25772] ppid=25768 vsize=621724 CPUtime=897.85 cores=1,3,5,7
/proc/25770/task/25772/stat : 25772 (pwbo2.0) R 25768 25770 25163 0 -1 4202560 22021 0 0 0 89751 34 0 0 20 0 3 0 275470135 636645376 127219 33554432000 4194304 5965102 140737237474224 140344226199912 4401559 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 621724

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

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25770 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=99255
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=600756
# CPU time returned by wait4() is 1795.7
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.23
CPU time (s): 1800.02
CPU user time (s): 1798.71
CPU system time (s): 1.31
CPU usage (%): 199.951
Max. virtual memory (cumulated for all children) (KiB): 621724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.1
system time used= 1.60076
maximum resident set size= 508884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124919
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= 185
involuntary context switches= 2158

runsolver used 1.85372 second user time and 5.37118 second system time

The end

Launcher Data 

Begin job on node123 at 2012-05-27 06:37:27
IDJOB=3703715
IDBENCH=2891
IDSOLVER=2279
FILE ID=node123/3703715-1338093447
RUNJOBID= node123-1338088025-25180
PBS_JOBID= 14624452
Free space on /tmp= 71676 MiB

SOLVER NAME= pwbo 2.0
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_30_30.r.opb
COMMAND LINE= pwbo2.0 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3703715-1338093447/watcher-3703715-1338093447 -o /tmp/evaluation-result-3703715-1338093447/solver-3703715-1338093447 -C 1800 -W 1900 -M 15500  pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703715-1338093447.opb

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

MD5SUM BENCH= 28e00d9d9bb0c4a536b74577b47a7849
RANDOM SEED=1561238862

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30420596 kB
Buffers:          274592 kB
Cached:          1367640 kB
SwapCached:         1808 kB
Active:           690716 kB
Inactive:         966812 kB
Active(anon):       5804 kB
Inactive(anon):    10968 kB
Active(file):     684912 kB
Inactive(file):   955844 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67104820 kB
Dirty:             20660 kB
Writeback:             0 kB
AnonPages:         19656 kB
Mapped:            14872 kB
Shmem:               100 kB
Slab:             658232 kB
SReclaimable:     102512 kB
SUnreclaim:       555720 kB
KernelStack:        1440 kB
PageTables:         4012 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     129960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71672 MiB
End job on node123 at 2012-05-27 06:52:29