Trace number 3725853

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.02SAT (TO)696 1800.16 900.314

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cm42a.opb
MD5SUMfbb7284250700e8b461b63d83ddce719
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark694
Best CPU time to get the best result obtained on this benchmark0.008997
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 694
Optimality of the best value was proved YES
Number of variables99
Total number of constraints185
Number of constraints which are clauses185
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 constraint2
Maximum length of a constraint20
Number of terms in the objective function 99
Biggest coefficient in the objective function 60
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 4087
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 60
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 4087
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  pwbo:                     2.02 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3725853-1338653327.opb.
0.00/0.00	c Instance file HOME/instance-3725853-1338653327.opb
0.00/0.00	c File size is 6607 bytes.
0.00/0.00	c Cost Offset: 0
0.00/0.00	c Highest Coefficient sum: 21
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:      99                                                  |
0.00/0.00	c |  Number Clauses:        185                                                 |
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:    PB Constraint                                       |
0.00/0.00	c |                                                                             |
0.00/0.00	c ===============================================================================
1800.16/900.31	o 939
1800.16/900.31	o 894
1800.16/900.31	o 869
1800.16/900.31	o 847
1800.16/900.31	o 844
1800.16/900.31	o 810
1800.16/900.31	o 808
1800.16/900.31	o 795
1800.16/900.31	o 787
1800.16/900.31	o 773
1800.16/900.31	o 772
1800.16/900.31	o 762
1800.16/900.31	o 761
1800.16/900.31	o 757
1800.16/900.31	o 755
1800.16/900.31	o 750
1800.16/900.31	o 746
1800.16/900.31	o 739
1800.16/900.31	o 734
1800.16/900.31	o 732
1800.16/900.31	o 728
1800.16/900.31	o 721
1800.16/900.31	o 714
1800.16/900.31	o 712
1800.16/900.31	o 700
1800.16/900.31	o 696
1800.16/900.31	c ===============================================================================
1800.16/900.31	c Wall Clock Time: 900.31 s
1800.16/900.31	c Best Solution: 696
1800.16/900.31	s SATISFIABLE
1800.16/900.31	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

Verifier Data 

OK	696

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

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.84 3.96 3.66 1/171 32495
/proc/meminfo: memFree=29097908/32873844 swapFree=7644/7644
[pid=32495] ppid=32493 vsize=162344 CPUtime=0 cores=0,2,4,6
/proc/32495/stat : 32495 (pwbo2.02) S 32493 32495 30509 0 -1 4202496 851 0 0 0 0 0 0 0 20 0 3 0 331457103 166240256 801 33554432000 4194304 5964478 140734600239552 140734600239072 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32495/statm: 40586 801 196 433 0 40150 0
[pid=32495/tid=32496] ppid=32493 vsize=162344 CPUtime=0 cores=0,2,4,6
/proc/32495/task/32496/stat : 32496 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 3 0 331457103 166240256 801 33554432000 4194304 5964478 140734600239552 139735702740016 5236855 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32495/tid=32497] ppid=32493 vsize=162344 CPUtime=0 cores=0,2,4,6
/proc/32495/task/32497/stat : 32497 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 58 0 0 0 0 0 0 0 20 0 3 0 331457103 166240256 801 33554432000 4194304 5964478 140734600239552 139735692250072 4389172 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0

[startup+0.102259 s]
/proc/loadavg: 3.84 3.96 3.66 1/171 32495
/proc/meminfo: memFree=29097908/32873844 swapFree=7644/7644
[pid=32495] ppid=32493 vsize=162476 CPUtime=0.19 cores=0,2,4,6
/proc/32495/stat : 32495 (pwbo2.02) S 32493 32495 30509 0 -1 4202496 1421 0 0 0 19 0 0 0 20 0 3 0 331457103 166375424 1371 33554432000 4194304 5964478 140734600239552 140734600239072 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32495/statm: 40619 1371 198 433 0 40183 0
[pid=32495/tid=32496] ppid=32493 vsize=162476 CPUtime=0.08 cores=0,2,4,6
/proc/32495/task/32496/stat : 32496 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 388 0 0 0 8 0 0 0 20 0 3 0 331457103 166375424 1371 33554432000 4194304 5964478 140734600239552 139735702739480 18446744073699066235 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32495/tid=32497] ppid=32493 vsize=162476 CPUtime=0.08 cores=0,2,4,6
/proc/32495/task/32497/stat : 32497 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 289 0 0 0 8 0 0 0 20 0 3 0 331457103 166375424 1371 33554432000 4194304 5964478 140734600239552 139735692250072 4399969 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 162476

[startup+0.200356 s]
/proc/loadavg: 3.84 3.96 3.66 1/171 32495
/proc/meminfo: memFree=29097908/32873844 swapFree=7644/7644
[pid=32495] ppid=32493 vsize=162476 CPUtime=0.38 cores=0,2,4,6
/proc/32495/stat : 32495 (pwbo2.02) S 32493 32495 30509 0 -1 4202496 1729 0 0 0 38 0 0 0 20 0 3 0 331457103 166375424 1672 33554432000 4194304 5964478 140734600239552 140734600239072 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32495/statm: 40619 1672 198 433 0 40183 0
[pid=32495/tid=32496] ppid=32493 vsize=162476 CPUtime=0.18 cores=0,2,4,6
/proc/32495/task/32496/stat : 32496 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 599 0 0 0 18 0 0 0 20 0 3 0 331457103 166375424 1672 33554432000 4194304 5964478 140734600239552 139735702739288 5143808 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32495/tid=32497] ppid=32493 vsize=162476 CPUtime=0.18 cores=0,2,4,6
/proc/32495/task/32497/stat : 32497 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 386 0 0 0 18 0 0 0 20 0 3 0 331457103 166375424 1672 33554432000 4194304 5964478 140734600239552 139735692248920 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 162476

[startup+0.300335 s]
/proc/loadavg: 3.84 3.96 3.66 1/171 32495
/proc/meminfo: memFree=29097908/32873844 swapFree=7644/7644
[pid=32495] ppid=32493 vsize=162608 CPUtime=0.58 cores=0,2,4,6
/proc/32495/stat : 32495 (pwbo2.02) S 32493 32495 30509 0 -1 4202496 1896 0 0 0 58 0 0 0 20 0 3 0 331457103 166510592 1839 33554432000 4194304 5964478 140734600239552 140734600239072 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32495/statm: 40652 1839 198 433 0 40216 0
[pid=32495/tid=32496] ppid=32493 vsize=162608 CPUtime=0.28 cores=0,2,4,6
/proc/32495/task/32496/stat : 32496 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 626 0 0 0 28 0 0 0 20 0 3 0 331457103 166510592 1839 33554432000 4194304 5964478 140734600239552 139735702739288 4222314 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32495/tid=32497] ppid=32493 vsize=162608 CPUtime=0.28 cores=0,2,4,6
/proc/32495/task/32497/stat : 32497 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 526 0 0 0 28 0 0 0 20 0 3 0 331457103 166510592 1839 33554432000 4194304 5964478 140734600239552 139735692248920 4403677 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 162608

[startup+0.700283 s]
/proc/loadavg: 3.84 3.96 3.66 1/171 32495
/proc/meminfo: memFree=29097908/32873844 swapFree=7644/7644
[pid=32495] ppid=32493 vsize=162892 CPUtime=1.39 cores=0,2,4,6
/proc/32495/stat : 32495 (pwbo2.02) S 32493 32495 30509 0 -1 4202496 2543 0 0 0 138 1 0 0 20 0 3 0 331457103 166801408 2486 33554432000 4194304 5964478 140734600239552 140734600239072 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32495/statm: 40723 2486 198 433 0 40287 0
[pid=32495/tid=32496] ppid=32493 vsize=162892 CPUtime=0.68 cores=0,2,4,6
/proc/32495/task/32496/stat : 32496 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 962 0 0 0 68 0 0 0 20 0 3 0 331457103 166801408 2486 33554432000 4194304 5964478 140734600239552 139735702739272 4399881 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32495/tid=32497] ppid=32493 vsize=162892 CPUtime=0.68 cores=0,2,4,6
/proc/32495/task/32497/stat : 32497 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 837 0 0 0 68 0 0 0 20 0 3 0 331457103 166801408 2486 33554432000 4194304 5964478 140734600239552 139735692249400 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 162892

[startup+1.50026 s]
/proc/loadavg: 3.84 3.96 3.66 5/181 32556
/proc/meminfo: memFree=29095208/32873844 swapFree=7644/7644
[pid=32495] ppid=32493 vsize=163024 CPUtime=2.99 cores=0,2,4,6
/proc/32495/stat : 32495 (pwbo2.02) S 32493 32495 30509 0 -1 4202496 2918 0 0 0 298 1 0 0 20 0 3 0 331457103 166936576 2861 33554432000 4194304 5964478 140734600239552 140734600239072 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32495/statm: 40756 2861 198 433 0 40320 0
[pid=32495/tid=32496] ppid=32493 vsize=163024 CPUtime=1.48 cores=0,2,4,6
/proc/32495/task/32496/stat : 32496 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 1312 0 0 0 147 1 0 0 20 0 3 0 331457103 166936576 2861 33554432000 4194304 5964478 140734600239552 139735702738984 4400435 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32495/tid=32497] ppid=32493 vsize=163024 CPUtime=1.48 cores=0,2,4,6
/proc/32495/task/32497/stat : 32497 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 862 0 0 0 148 0 0 0 20 0 3 0 331457103 166936576 2861 33554432000 4194304 5964478 140734600239552 139735692249400 4400044 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 163024

[startup+3.10026 s]
/proc/loadavg: 3.85 3.96 3.66 5/181 32556
/proc/meminfo: memFree=29087520/32873844 swapFree=7644/7644
[pid=32495] ppid=32493 vsize=163380 CPUtime=6.18 cores=0,2,4,6
/proc/32495/stat : 32495 (pwbo2.02) S 32493 32495 30509 0 -1 4202496 3797 0 0 0 617 1 0 0 20 0 3 0 331457103 167301120 3740 33554432000 4194304 5964478 140734600239552 140734600239072 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32495/statm: 40845 3740 198 433 0 40409 0
[pid=32495/tid=32496] ppid=32493 vsize=163380 CPUtime=3.07 cores=0,2,4,6
/proc/32495/task/32496/stat : 32496 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 2048 0 0 0 306 1 0 0 20 0 3 0 331457103 167301120 3740 33554432000 4194304 5964478 140734600239552 139735702738936 18446744073699066235 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32495/tid=32497] ppid=32493 vsize=163380 CPUtime=3.07 cores=0,2,4,6
/proc/32495/task/32497/stat : 32497 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 1005 0 0 0 307 0 0 0 20 0 3 0 331457103 167301120 3740 33554432000 4194304 5964478 140734600239552 139735692249448 4403370 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 163380

[startup+6.30028 s]
/proc/loadavg: 3.85 3.96 3.66 5/181 32556
/proc/meminfo: memFree=29063140/32873844 swapFree=7644/7644
[pid=32495] ppid=32493 vsize=163984 CPUtime=12.58 cores=0,2,4,6
/proc/32495/stat : 32495 (pwbo2.02) S 32493 32495 30509 0 -1 4202496 6532 0 0 0 1255 3 0 0 20 0 3 0 331457103 167919616 6477 33554432000 4194304 5964478 140734600239552 140734600239072 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32495/statm: 40996 6477 198 433 0 40560 0
[pid=32495/tid=32496] ppid=32493 vsize=163984 CPUtime=6.26 cores=0,2,4,6
/proc/32495/task/32496/stat : 32496 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 3996 0 0 0 624 2 0 0 20 0 3 0 331457103 167919616 6477 33554432000 4194304 5964478 140734600239552 139735702738936 4399854 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32495/tid=32497] ppid=32493 vsize=163984 CPUtime=6.26 cores=0,2,4,6
/proc/32495/task/32497/stat : 32497 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 1792 0 0 0 626 0 0 0 20 0 3 0 331457103 167919616 6477 33554432000 4194304 5964478 140734600239552 139735692249400 4379311 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 163984

[startup+12.7003 s]
/proc/loadavg: 3.87 3.96 3.67 5/181 32556
/proc/meminfo: memFree=29028648/32873844 swapFree=7644/7644
[pid=32495] ppid=32493 vsize=164788 CPUtime=25.37 cores=0,2,4,6
/proc/32495/stat : 32495 (pwbo2.02) S 32493 32495 30509 0 -1 4202496 9172 0 0 0 2533 4 0 0 20 0 3 0 331457103 168742912 9043 33554432000 4194304 5964478 140734600239552 140734600239072 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32495/statm: 41197 9043 198 433 0 40761 0
[pid=32495/tid=32496] ppid=32493 vsize=164788 CPUtime=12.64 cores=0,2,4,6
/proc/32495/task/32496/stat : 32496 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 6051 0 0 0 1261 3 0 0 20 0 3 0 331457103 168742912 9043 33554432000 4194304 5964478 140734600239552 139735702739896 4400416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32495/tid=32497] ppid=32493 vsize=164788 CPUtime=12.64 cores=0,2,4,6
/proc/32495/task/32497/stat : 32497 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 2377 0 0 0 1264 0 0 0 20 0 3 0 331457103 168742912 9043 33554432000 4194304 5964478 140734600239552 139735692248920 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 164788

[startup+25.5003 s]
/proc/loadavg: 3.89 3.96 3.67 5/181 32556
/proc/meminfo: memFree=28992456/32873844 swapFree=7644/7644
[pid=32495] ppid=32493 vsize=166032 CPUtime=50.97 cores=0,2,4,6
/proc/32495/stat : 32495 (pwbo2.02) S 32493 32495 30509 0 -1 4202496 10385 0 0 0 5092 5 0 0 20 0 3 0 331457103 170016768 11446 33554432000 4194304 5964478 140734600239552 140734600239072 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32495/statm: 41508 11446 198 433 0 41072 0
[pid=32495/tid=32496] ppid=32493 vsize=166032 CPUtime=25.41 cores=0,2,4,6
/proc/32495/task/32496/stat : 32496 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 6428 0 0 0 2538 3 0 0 20 0 3 0 331457103 170016768 11446 33554432000 4194304 5964478 140734600239552 139735702738744 4393139 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32495/tid=32497] ppid=32493 vsize=166032 CPUtime=25.41 cores=0,2,4,6
/proc/32495/task/32497/stat : 32497 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 3213 0 0 0 2540 1 0 0 20 0 3 0 331457103 170016768 11446 33554432000 4194304 5964478 140734600239552 139735692249160 5143823 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 166032

[startup+51.1004 s]
/proc/loadavg: 3.93 3.97 3.68 5/181 32556
/proc/meminfo: memFree=28935880/32873844 swapFree=7644/7644
[pid=32495] ppid=32493 vsize=167600 CPUtime=102.15 cores=0,2,4,6
/proc/32495/stat : 32495 (pwbo2.02) S 32493 32495 30509 0 -1 4202496 17537 0 0 0 10206 9 0 0 20 0 3 0 331457103 171622400 18598 33554432000 4194304 5964478 140734600239552 140734600239072 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32495/statm: 41900 18598 198 433 0 41464 0
[pid=32495/tid=32496] ppid=32493 vsize=167600 CPUtime=50.94 cores=0,2,4,6
/proc/32495/task/32496/stat : 32496 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 12675 0 0 0 5087 7 0 0 20 0 3 0 331457103 171622400 18598 33554432000 4194304 5964478 140734600239552 139735702738744 4400115 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32495/tid=32497] ppid=32493 vsize=167600 CPUtime=50.94 cores=0,2,4,6
/proc/32495/task/32497/stat : 32497 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 4118 0 0 0 5093 1 0 0 20 0 3 0 331457103 171622400 18598 33554432000 4194304 5964478 140734600239552 139735692249160 4400042 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 167600

[startup+102.3 s]
/proc/loadavg: 3.97 3.97 3.69 5/182 32559
/proc/meminfo: memFree=28867364/32873844 swapFree=7644/7644
[pid=32495] ppid=32493 vsize=235968 CPUtime=204.54 cores=0,2,4,6
/proc/32495/stat : 32495 (pwbo2.02) S 32493 32495 30509 0 -1 4202496 28850 0 0 0 20428 26 0 0 20 0 3 0 331457103 241631232 29910 33554432000 4194304 5964478 140734600239552 140734600239072 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32495/statm: 58992 29910 198 433 0 58556 0
[pid=32495/tid=32496] ppid=32493 vsize=235968 CPUtime=102.02 cores=0,2,4,6
/proc/32495/task/32496/stat : 32496 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 21884 0 0 0 10180 22 0 0 20 0 3 0 331457103 241631232 29910 33554432000 4194304 5964478 140734600239552 139735702738936 4409217 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32495/tid=32497] ppid=32493 vsize=235968 CPUtime=102.01 cores=0,2,4,6
/proc/32495/task/32497/stat : 32497 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 6222 0 0 0 10195 6 0 0 20 0 3 0 331457103 241631232 29910 33554432000 4194304 5964478 140734600239552 139735692249448 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.54
Current children cumulated vsize (KiB) 235968

[startup+162.3 s]
/proc/loadavg: 4.03 3.99 3.71 5/181 32559
/proc/meminfo: memFree=28793892/32873844 swapFree=7644/7644
[pid=32495] ppid=32493 vsize=237676 CPUtime=324.48 cores=0,2,4,6
/proc/32495/stat : 32495 (pwbo2.02) S 32493 32495 30509 0 -1 4202496 38830 0 0 0 32411 37 0 0 20 0 3 0 331457103 243380224 40181 33554432000 4194304 5964478 140734600239552 140734600239072 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32495/statm: 59419 40181 198 433 0 58983 0
[pid=32495/tid=32496] ppid=32493 vsize=237676 CPUtime=161.82 cores=0,2,4,6
/proc/32495/task/32496/stat : 32496 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 31502 0 0 0 16149 33 0 0 20 0 3 0 331457103 243380224 40181 33554432000 4194304 5964478 140734600239552 139735702738984 4400076 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32495/tid=32497] ppid=32493 vsize=237676 CPUtime=161.85 cores=0,2,4,6
/proc/32495/task/32497/stat : 32497 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 6584 0 0 0 16178 7 0 0 20 0 3 0 331457103 243380224 40181 33554432000 4194304 5964478 140734600239552 139735692249160 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.48
Current children cumulated vsize (KiB) 237676

[startup+222.307 s]
/proc/loadavg: 4.01 3.99 3.73 5/181 32559
/proc/meminfo: memFree=28720540/32873844 swapFree=7644/7644
[pid=32495] ppid=32493 vsize=304380 CPUtime=444.44 cores=0,2,4,6
/proc/32495/stat : 32495 (pwbo2.02) S 32493 32495 30509 0 -1 4202496 45505 0 0 0 44402 42 0 0 20 0 3 0 331457103 311685120 47091 33554432000 4194304 5964478 140734600239552 140734600239072 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32495/statm: 76095 47091 198 433 0 75659 0
[pid=32495/tid=32496] ppid=32493 vsize=304380 CPUtime=221.64 cores=0,2,4,6
/proc/32495/task/32496/stat : 32496 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 37748 0 0 0 22125 39 0 0 20 0 3 0 331457103 311685120 47091 33554432000 4194304 5964478 140734600239552 139735702738744 4400038 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32495/tid=32497] ppid=32493 vsize=304380 CPUtime=221.7 cores=0,2,4,6
/proc/32495/task/32497/stat : 32497 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 7013 0 0 0 22162 8 0 0 20 0 3 0 331457103 311685120 47091 33554432000 4194304 5964478 140734600239552 139735692249208 4399923 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.44
Current children cumulated vsize (KiB) 304380

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

[pid=32495/tid=32497] ppid=32493 vsize=306600 CPUtime=281.54 cores=0,2,4,6
/proc/32495/task/32497/stat : 32497 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 8198 0 0 0 28144 10 0 0 20 0 3 0 331457103 313958400 58397 33554432000 4194304 5964478 140734600239552 139735692249160 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.41
Current children cumulated vsize (KiB) 306600

[startup+342.3 s]
/proc/loadavg: 4.00 3.99 3.75 5/181 32680
/proc/meminfo: memFree=28729760/32873844 swapFree=7644/7644
[pid=32495] ppid=32493 vsize=374092 CPUtime=684.39 cores=0,2,4,6
/proc/32495/stat : 32495 (pwbo2.02) S 32493 32495 30509 0 -1 4202496 61079 0 0 0 68382 57 0 0 20 0 3 0 331457103 383070208 62661 33554432000 4194304 5964478 140734600239552 140734600239072 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32495/statm: 93523 62661 198 433 0 93087 0
[pid=32495/tid=32496] ppid=32493 vsize=374092 CPUtime=341.33 cores=0,2,4,6
/proc/32495/task/32496/stat : 32496 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 50276 0 0 0 34080 53 0 0 20 0 3 0 331457103 383070208 62661 33554432000 4194304 5964478 140734600239552 139735702738744 4373453 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32495/tid=32497] ppid=32493 vsize=374092 CPUtime=341.38 cores=0,2,4,6
/proc/32495/task/32497/stat : 32497 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 10059 0 0 0 34125 13 0 0 20 0 3 0 331457103 383070208 62661 33554432000 4194304 5964478 140734600239552 139735692249400 4379316 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.39
Current children cumulated vsize (KiB) 374092

[startup+402.3 s]
/proc/loadavg: 4.00 3.99 3.77 5/181 32680
/proc/meminfo: memFree=28594148/32873844 swapFree=7644/7644
[pid=32495] ppid=32493 vsize=375548 CPUtime=804.33 cores=0,2,4,6
/proc/32495/stat : 32495 (pwbo2.02) S 32493 32495 30509 0 -1 4202496 67901 0 0 0 80371 62 0 0 20 0 3 0 331457103 384561152 69547 33554432000 4194304 5964478 140734600239552 140734600239072 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32495/statm: 93887 69547 198 433 0 93451 0
[pid=32495/tid=32496] ppid=32493 vsize=375548 CPUtime=401.14 cores=0,2,4,6
/proc/32495/task/32496/stat : 32496 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 55965 0 0 0 40055 59 0 0 20 0 3 0 331457103 384561152 69547 33554432000 4194304 5964478 140734600239552 139735702739896 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32495/tid=32497] ppid=32493 vsize=375548 CPUtime=401.23 cores=0,2,4,6
/proc/32495/task/32497/stat : 32497 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 11192 0 0 0 40109 14 0 0 20 0 3 0 331457103 384561152 69547 33554432000 4194304 5964478 140734600239552 139735692249160 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.33
Current children cumulated vsize (KiB) 375548

[startup+462.3 s]
/proc/loadavg: 4.00 3.99 3.78 5/181 32680
/proc/meminfo: memFree=28523196/32873844 swapFree=7644/7644
[pid=32495] ppid=32493 vsize=376188 CPUtime=924.3 cores=0,2,4,6
/proc/32495/stat : 32495 (pwbo2.02) S 32493 32495 30509 0 -1 4202496 69284 0 0 0 92367 63 0 0 20 0 3 0 331457103 385216512 70996 33554432000 4194304 5964478 140734600239552 140734600239072 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32495/statm: 94047 70996 198 433 0 93611 0
[pid=32495/tid=32496] ppid=32493 vsize=376188 CPUtime=460.98 cores=0,2,4,6
/proc/32495/task/32496/stat : 32496 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 55977 0 0 0 46039 59 0 0 20 0 3 0 331457103 385216512 70996 33554432000 4194304 5964478 140734600239552 139735702739896 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32495/tid=32497] ppid=32493 vsize=376188 CPUtime=461.07 cores=0,2,4,6
/proc/32495/task/32497/stat : 32497 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 12563 0 0 0 46090 17 0 0 20 0 3 0 331457103 385216512 70996 33554432000 4194304 5964478 140734600239552 139735692249208 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.3
Current children cumulated vsize (KiB) 376188

[startup+522.3 s]
/proc/loadavg: 4.00 3.99 3.79 5/181 32680
/proc/meminfo: memFree=28467316/32873844 swapFree=7644/7644
[pid=32495] ppid=32493 vsize=378916 CPUtime=1044.27 cores=0,2,4,6
/proc/32495/stat : 32495 (pwbo2.02) S 32493 32495 30509 0 -1 4202496 70628 0 0 0 104363 64 0 0 20 0 3 0 331457103 388009984 72538 33554432000 4194304 5964478 140734600239552 140734600239072 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32495/statm: 94729 72538 198 433 0 94293 0
[pid=32495/tid=32496] ppid=32493 vsize=378916 CPUtime=520.82 cores=0,2,4,6
/proc/32495/task/32496/stat : 32496 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 55977 0 0 0 52022 60 0 0 20 0 3 0 331457103 388009984 72538 33554432000 4194304 5964478 140734600239552 139735702739896 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32495/tid=32497] ppid=32493 vsize=378916 CPUtime=520.91 cores=0,2,4,6
/proc/32495/task/32497/stat : 32497 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 13907 0 0 0 52074 17 0 0 20 0 3 0 331457103 388009984 72538 33554432000 4194304 5964478 140734600239552 139735692249272 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.27
Current children cumulated vsize (KiB) 378916

[startup+582.3 s]
/proc/loadavg: 4.00 3.99 3.80 5/181 32680
/proc/meminfo: memFree=28409024/32873844 swapFree=7644/7644
[pid=32495] ppid=32493 vsize=380116 CPUtime=1164.25 cores=0,2,4,6
/proc/32495/stat : 32495 (pwbo2.02) S 32493 32495 30509 0 -1 4202496 71074 0 0 0 116361 64 0 0 20 0 3 0 331457103 389238784 72984 33554432000 4194304 5964478 140734600239552 140734600239072 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32495/statm: 95029 72984 198 433 0 94593 0
[pid=32495/tid=32496] ppid=32493 vsize=380116 CPUtime=580.67 cores=0,2,4,6
/proc/32495/task/32496/stat : 32496 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 55978 0 0 0 58006 61 0 0 20 0 3 0 331457103 389238784 72984 33554432000 4194304 5964478 140734600239552 139735702739896 4379232 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32495/tid=32497] ppid=32493 vsize=380116 CPUtime=580.76 cores=0,2,4,6
/proc/32495/task/32497/stat : 32497 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 14352 0 0 0 58058 18 0 0 20 0 3 0 331457103 389238784 72984 33554432000 4194304 5964478 140734600239552 139735692249208 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.25
Current children cumulated vsize (KiB) 380116

[startup+642.3 s]
/proc/loadavg: 4.00 3.99 3.81 5/181 32681
/proc/meminfo: memFree=28332296/32873844 swapFree=7644/7644
[pid=32495] ppid=32493 vsize=380116 CPUtime=1284.23 cores=0,2,4,6
/proc/32495/stat : 32495 (pwbo2.02) S 32493 32495 30509 0 -1 4202496 71211 0 0 0 128359 64 0 0 20 0 3 0 331457103 389238784 73120 33554432000 4194304 5964478 140734600239552 140734600239072 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32495/statm: 95029 73120 198 433 0 94593 0
[pid=32495/tid=32496] ppid=32493 vsize=380116 CPUtime=640.52 cores=0,2,4,6
/proc/32495/task/32496/stat : 32496 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 55979 0 0 0 63990 62 0 0 20 0 3 0 331457103 389238784 73120 33554432000 4194304 5964478 140734600239552 139735702739896 4389072 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32495/tid=32497] ppid=32493 vsize=380116 CPUtime=640.6 cores=0,2,4,6
/proc/32495/task/32497/stat : 32497 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 14488 0 0 0 64040 20 0 0 20 0 3 0 331457103 389238784 73120 33554432000 4194304 5964478 140734600239552 139735692249208 4400542 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.23
Current children cumulated vsize (KiB) 380116

[startup+702.3 s]
/proc/loadavg: 4.00 3.99 3.82 5/182 32684
/proc/meminfo: memFree=28296740/32873844 swapFree=7644/7644
[pid=32495] ppid=32493 vsize=381292 CPUtime=1404.22 cores=0,2,4,6
/proc/32495/stat : 32495 (pwbo2.02) S 32493 32495 30509 0 -1 4202496 71916 0 0 0 140357 65 0 0 20 0 3 0 331457103 390443008 73825 33554432000 4194304 5964478 140734600239552 140734600239072 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32495/statm: 95323 73825 198 433 0 94887 0
[pid=32495/tid=32496] ppid=32493 vsize=381292 CPUtime=700.36 cores=0,2,4,6
/proc/32495/task/32496/stat : 32496 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 55979 0 0 0 69973 63 0 0 20 0 3 0 331457103 390443008 73825 33554432000 4194304 5964478 140734600239552 139735702739896 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32495/tid=32497] ppid=32493 vsize=381292 CPUtime=700.45 cores=0,2,4,6
/proc/32495/task/32497/stat : 32497 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 15193 0 0 0 70024 21 0 0 20 0 3 0 331457103 390443008 73825 33554432000 4194304 5964478 140734600239552 139735692249160 4399975 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.22
Current children cumulated vsize (KiB) 381292

[startup+762.3 s]
/proc/loadavg: 4.08 4.00 3.83 5/181 32684
/proc/meminfo: memFree=28225396/32873844 swapFree=7644/7644
[pid=32495] ppid=32493 vsize=382412 CPUtime=1524.21 cores=0,2,4,6
/proc/32495/stat : 32495 (pwbo2.02) S 32493 32495 30509 0 -1 4202496 73770 0 0 0 152355 66 0 0 20 0 3 0 331457103 391589888 75678 33554432000 4194304 5964478 140734600239552 140734600239072 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32495/statm: 95603 75678 198 433 0 95167 0
[pid=32495/tid=32496] ppid=32493 vsize=382412 CPUtime=760.21 cores=0,2,4,6
/proc/32495/task/32496/stat : 32496 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 55979 0 0 0 75957 64 0 0 20 0 3 0 331457103 391589888 75678 33554432000 4194304 5964478 140734600239552 139735702739896 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32495/tid=32497] ppid=32493 vsize=382412 CPUtime=760.3 cores=0,2,4,6
/proc/32495/task/32497/stat : 32497 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 17047 0 0 0 76006 24 0 0 20 0 3 0 331457103 391589888 75678 33554432000 4194304 5964478 140734600239552 139735692249208 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.21
Current children cumulated vsize (KiB) 382412

[startup+822.3 s]
/proc/loadavg: 4.03 4.00 3.84 5/181 32684
/proc/meminfo: memFree=28129592/32873844 swapFree=7644/7644
[pid=32495] ppid=32493 vsize=384932 CPUtime=1644.18 cores=0,2,4,6
/proc/32495/stat : 32495 (pwbo2.02) S 32493 32495 30509 0 -1 4202496 74620 0 0 0 164351 67 0 0 20 0 3 0 331457103 394170368 76956 33554432000 4194304 5964478 140734600239552 140734600239072 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32495/statm: 96233 76956 198 433 0 95797 0
[pid=32495/tid=32496] ppid=32493 vsize=384932 CPUtime=820.06 cores=0,2,4,6
/proc/32495/task/32496/stat : 32496 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 55979 0 0 0 81941 65 0 0 20 0 3 0 331457103 394170368 76956 33554432000 4194304 5964478 140734600239552 139735702739896 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32495/tid=32497] ppid=32493 vsize=384932 CPUtime=820.14 cores=0,2,4,6
/proc/32495/task/32497/stat : 32497 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 17897 0 0 0 81989 25 0 0 20 0 3 0 331457103 394170368 76956 33554432000 4194304 5964478 140734600239552 139735692249272 4400490 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.18
Current children cumulated vsize (KiB) 384932

[startup+882.307 s]
/proc/loadavg: 4.01 4.00 3.84 5/181 32684
/proc/meminfo: memFree=28046636/32873844 swapFree=7644/7644
[pid=32495] ppid=32493 vsize=384932 CPUtime=1764.16 cores=0,2,4,6
/proc/32495/stat : 32495 (pwbo2.02) S 32493 32495 30509 0 -1 4202496 76656 0 0 0 176348 68 0 0 20 0 3 0 331457103 394170368 78992 33554432000 4194304 5964478 140734600239552 140734600239072 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32495/statm: 96233 78992 198 433 0 95797 0
[pid=32495/tid=32496] ppid=32493 vsize=384932 CPUtime=879.91 cores=0,2,4,6
/proc/32495/task/32496/stat : 32496 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 58015 0 0 0 87923 68 0 0 20 0 3 0 331457103 394170368 78992 33554432000 4194304 5964478 140734600239552 139735702738744 4388228 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32495/tid=32497] ppid=32493 vsize=384932 CPUtime=879.99 cores=0,2,4,6
/proc/32495/task/32497/stat : 32497 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 17897 0 0 0 87973 26 0 0 20 0 3 0 331457103 394170368 78992 33554432000 4194304 5964478 140734600239552 139735692249272 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.16
Current children cumulated vsize (KiB) 384932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.01 4.00 3.85 5/181 32685
/proc/meminfo: memFree=28039692/32873844 swapFree=7644/7644
[pid=32495] ppid=32493 vsize=384932 CPUtime=1800.16 cores=0,2,4,6
/proc/32495/stat : 32495 (pwbo2.02) S 32493 32495 30509 0 -1 4202496 76740 0 0 0 179948 68 0 0 20 0 3 0 331457103 394170368 79075 33554432000 4194304 5964478 140734600239552 140734600239072 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32495/statm: 96233 79075 198 433 0 95797 0
[pid=32495/tid=32496] ppid=32493 vsize=384932 CPUtime=897.86 cores=0,2,4,6
/proc/32495/task/32496/stat : 32496 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 58099 0 0 0 89718 68 0 0 20 0 3 0 331457103 394170368 79075 33554432000 4194304 5964478 140734600239552 139735702738744 4389164 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32495/tid=32497] ppid=32493 vsize=384932 CPUtime=897.95 cores=0,2,4,6
/proc/32495/task/32497/stat : 32497 (pwbo2.02) R 32493 32495 30509 0 -1 4202560 17897 0 0 0 89769 26 0 0 20 0 3 0 331457103 394170368 79075 33554432000 4194304 5964478 140734600239552 139735692249272 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 384932

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 32495 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=888135
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=961853
# CPU time returned by wait4() is 1795.85
# while last known CPU time is 1800.16
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.314
CPU time (s): 1800.16
CPU user time (s): 1799.48
CPU system time (s): 0.68
CPU usage (%): 199.948
Max. virtual memory (cumulated for all children) (KiB): 384932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.89
system time used= 0.961853
maximum resident set size= 316304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76741
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= 166
involuntary context switches= 2108

runsolver used 1.85172 second user time and 4.86426 second system time

The end

Launcher Data 

Begin job on node147 at 2012-06-02 18:08:47
IDJOB=3725853
IDBENCH=2019
IDSOLVER=2309
FILE ID=node147/3725853-1338653327
RUNJOBID= node147-1338651516-32281
PBS_JOBID= 14636433
Free space on /tmp= 70764 MiB

SOLVER NAME= pwbo 2.02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-cm42a.opb
COMMAND LINE= pwbo2.02 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725853-1338653327/watcher-3725853-1338653327 -o /tmp/evaluation-result-3725853-1338653327/solver-3725853-1338653327 -C 1800 -W 1900 -M 15500  pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725853-1338653327.opb

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

MD5SUM BENCH= fbb7284250700e8b461b63d83ddce719
RANDOM SEED=1469233546

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29098808 kB
Buffers:          423932 kB
Cached:          2485608 kB
SwapCached:         3380 kB
Active:          1434724 kB
Inactive:        1481640 kB
Active(anon):       2728 kB
Inactive(anon):     5920 kB
Active(file):    1431996 kB
Inactive(file):  1475720 kB
Unevictable:        7644 kB
Mlocked:            7644 kB
SwapTotal:      67108856 kB
SwapFree:       67100236 kB
Dirty:              5696 kB
Writeback:             0 kB
AnonPages:         11376 kB
Mapped:             8828 kB
Shmem:                 0 kB
Slab:             719884 kB
SReclaimable:     160868 kB
SUnreclaim:       559016 kB
KernelStack:        1432 kB
PageTables:         3652 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     104928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70776 MiB
End job on node147 at 2012-06-02 18:23:49