Trace number 3703551

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)1602 1800.53 900.318

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cc.opb
MD5SUM2dad588c047f66368bead690393575a4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1567
Best CPU time to get the best result obtained on this benchmark0.015996
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1567
Optimality of the best value was proved YES
Number of variables133
Total number of constraints229
Number of constraints which are clauses229
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 constraint1
Maximum length of a constraint31
Number of terms in the objective function 133
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 5699
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 60
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 5699
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c ==============================[ 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-3703551-1338089604.opb.
0.00/0.00	c Instance file HOME/instance-3703551-1338089604.opb
0.00/0.00	c File size is 8927 bytes.
0.00/0.00	c Cost Offset: 0
0.00/0.00	c Highest Coefficient sum: 32
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:      133                                                 |
0.00/0.00	c |  Number Clauses:        229                                                 |
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.17/900.31	o 1846
1800.17/900.31	o 1842
1800.17/900.31	o 1768
1800.17/900.31	o 1752
1800.17/900.31	o 1751
1800.17/900.31	o 1743
1800.17/900.31	o 1736
1800.17/900.31	o 1728
1800.17/900.31	o 1722
1800.17/900.31	o 1721
1800.17/900.31	o 1708
1800.17/900.31	o 1629
1800.17/900.31	o 1620
1800.17/900.31	o 1611
1800.17/900.31	o 1602
1800.17/900.31	c ===============================================================================
1800.17/900.31	c Wall Clock Time: 900.31 s
1800.17/900.31	c Best Solution: 1602
1800.17/900.31	s SATISFIABLE
1800.17/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 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133

Verifier Data 

OK	1602

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-3703551-1338089604/watcher-3703551-1338089604 -o /tmp/evaluation-result-3703551-1338089604/solver-3703551-1338089604 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703551-1338089604.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.92 3.96 3.92 4/180 16974
/proc/meminfo: memFree=29194120/32873844 swapFree=7372/7372
[pid=16974] ppid=16972 vsize=162368 CPUtime=0 cores=1,3,5,7
/proc/16974/stat : 16974 (pwbo2.0) S 16972 16974 15889 0 -1 4202496 862 0 0 0 0 0 0 0 20 0 3 0 275085233 166264832 812 33554432000 4194304 5965102 140734055452192 140734055451712 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16974/statm: 40592 812 198 433 0 40156 0
[pid=16974/tid=16975] ppid=16972 vsize=162368 CPUtime=0 cores=1,3,5,7
/proc/16974/task/16975/stat : 16975 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 3 0 275085233 166264832 812 33554432000 4194304 5965102 140734055452192 140286574644272 5237527 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16974/tid=16976] ppid=16972 vsize=162368 CPUtime=0 cores=1,3,5,7
/proc/16974/task/16976/stat : 16976 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 65 0 0 0 0 0 0 0 20 0 3 0 275085233 166264832 816 33554432000 4194304 5965102 140734055452192 140286564153800 4326914 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0

[startup+0.0462171 s]
/proc/loadavg: 3.92 3.96 3.92 4/180 16974
/proc/meminfo: memFree=29194120/32873844 swapFree=7372/7372
[pid=16974] ppid=16972 vsize=162368 CPUtime=0.08 cores=1,3,5,7
/proc/16974/stat : 16974 (pwbo2.0) S 16972 16974 15889 0 -1 4202496 1185 0 0 0 8 0 0 0 20 0 3 0 275085233 166264832 1135 33554432000 4194304 5965102 140734055452192 140734055451712 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16974/statm: 40592 1135 200 433 0 40156 0
[pid=16974/tid=16975] ppid=16972 vsize=162368 CPUtime=0.03 cores=1,3,5,7
/proc/16974/task/16975/stat : 16975 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 209 0 0 0 3 0 0 0 20 0 3 0 275085233 166264832 1135 33554432000 4194304 5965102 140734055452192 140286574643736 4401146 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16974/tid=16976] ppid=16972 vsize=162368 CPUtime=0.03 cores=1,3,5,7
/proc/16974/task/16976/stat : 16976 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 226 0 0 0 3 0 0 0 20 0 3 0 275085233 166264832 1136 33554432000 4194304 5965102 140734055452192 140286564153176 5137076 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 162368

[startup+0.100319 s]
/proc/loadavg: 3.92 3.96 3.92 4/180 16974
/proc/meminfo: memFree=29194120/32873844 swapFree=7372/7372
[pid=16974] ppid=16972 vsize=162368 CPUtime=0.19 cores=1,3,5,7
/proc/16974/stat : 16974 (pwbo2.0) S 16972 16974 15889 0 -1 4202496 1502 0 0 0 19 0 0 0 20 0 3 0 275085233 166264832 1450 33554432000 4194304 5965102 140734055452192 140734055451712 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16974/statm: 40592 1450 200 433 0 40156 0
[pid=16974/tid=16975] ppid=16972 vsize=162368 CPUtime=0.08 cores=1,3,5,7
/proc/16974/task/16975/stat : 16975 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 357 0 0 0 8 0 0 0 20 0 3 0 275085233 166264832 1450 33554432000 4194304 5965102 140734055452192 140286574643656 4401559 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16974/tid=16976] ppid=16972 vsize=162368 CPUtime=0.08 cores=1,3,5,7
/proc/16974/task/16976/stat : 16976 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 394 0 0 0 8 0 0 0 20 0 3 0 275085233 166264832 1450 33554432000 4194304 5965102 140734055452192 140286564153800 5137076 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 162368

[startup+0.300268 s]
/proc/loadavg: 3.92 3.96 3.92 4/180 16974
/proc/meminfo: memFree=29194120/32873844 swapFree=7372/7372
[pid=16974] ppid=16972 vsize=162368 CPUtime=0.59 cores=1,3,5,7
/proc/16974/stat : 16974 (pwbo2.0) S 16972 16974 15889 0 -1 4202496 2051 0 0 0 59 0 0 0 20 0 3 0 275085233 166264832 1999 33554432000 4194304 5965102 140734055452192 140734055451712 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16974/statm: 40592 1999 200 433 0 40156 0
[pid=16974/tid=16975] ppid=16972 vsize=162368 CPUtime=0.28 cores=1,3,5,7
/proc/16974/task/16975/stat : 16975 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 570 0 0 0 28 0 0 0 20 0 3 0 275085233 166264832 1999 33554432000 4194304 5965102 140734055452192 140286574643656 5137146 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16974/tid=16976] ppid=16972 vsize=162368 CPUtime=0.28 cores=1,3,5,7
/proc/16974/task/16976/stat : 16976 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 730 0 0 0 28 0 0 0 20 0 3 0 275085233 166264832 1999 33554432000 4194304 5965102 140734055452192 140286564153800 5137146 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 162368

[startup+0.700282 s]
/proc/loadavg: 3.92 3.96 3.92 4/180 16974
/proc/meminfo: memFree=29194120/32873844 swapFree=7372/7372
[pid=16974] ppid=16972 vsize=162500 CPUtime=1.38 cores=1,3,5,7
/proc/16974/stat : 16974 (pwbo2.0) S 16972 16974 15889 0 -1 4202496 2579 0 0 0 138 0 0 0 20 0 3 0 275085233 166400000 2527 33554432000 4194304 5965102 140734055452192 140734055451712 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16974/statm: 40625 2527 200 433 0 40189 0
[pid=16974/tid=16975] ppid=16972 vsize=162500 CPUtime=0.68 cores=1,3,5,7
/proc/16974/task/16975/stat : 16975 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 967 0 0 0 68 0 0 0 20 0 3 0 275085233 166400000 2527 33554432000 4194304 5965102 140734055452192 140286574643000 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16974/tid=16976] ppid=16972 vsize=162500 CPUtime=0.68 cores=1,3,5,7
/proc/16974/task/16976/stat : 16976 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 861 0 0 0 68 0 0 0 20 0 3 0 275085233 166400000 2527 33554432000 4194304 5965102 140734055452192 140286564153464 4222474 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 162500

[startup+1.5003 s]
/proc/loadavg: 3.92 3.96 3.92 5/183 16977
/proc/meminfo: memFree=29183672/32873844 swapFree=7372/7372
[pid=16974] ppid=16972 vsize=162780 CPUtime=2.99 cores=1,3,5,7
/proc/16974/stat : 16974 (pwbo2.0) S 16972 16974 15889 0 -1 4202496 3250 0 0 0 298 1 0 0 20 0 3 0 275085233 166686720 3198 33554432000 4194304 5965102 140734055452192 140734055451712 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16974/statm: 40695 3198 200 433 0 40259 0
[pid=16974/tid=16975] ppid=16972 vsize=162780 CPUtime=1.48 cores=1,3,5,7
/proc/16974/task/16975/stat : 16975 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 1333 0 0 0 148 0 0 0 20 0 3 0 275085233 166686720 3198 33554432000 4194304 5965102 140734055452192 140286574643544 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16974/tid=16976] ppid=16972 vsize=162780 CPUtime=1.48 cores=1,3,5,7
/proc/16974/task/16976/stat : 16976 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 1166 0 0 0 148 0 0 0 20 0 3 0 275085233 166686720 3198 33554432000 4194304 5965102 140734055452192 140286564153416 5137076 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 162780

[startup+3.10034 s]
/proc/loadavg: 3.92 3.96 3.92 5/183 16977
/proc/meminfo: memFree=29179952/32873844 swapFree=7372/7372
[pid=16974] ppid=16972 vsize=163128 CPUtime=6.18 cores=1,3,5,7
/proc/16974/stat : 16974 (pwbo2.0) S 16972 16974 15889 0 -1 4202496 4457 0 0 0 617 1 0 0 20 0 3 0 275085233 167043072 4405 33554432000 4194304 5965102 140734055452192 140734055451712 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16974/statm: 40782 4405 200 433 0 40346 0
[pid=16974/tid=16975] ppid=16972 vsize=163128 CPUtime=3.08 cores=1,3,5,7
/proc/16974/task/16975/stat : 16975 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 1931 0 0 0 308 0 0 0 20 0 3 0 275085233 167043072 4405 33554432000 4194304 5965102 140734055452192 140286574643240 4222474 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16974/tid=16976] ppid=16972 vsize=163128 CPUtime=3.08 cores=1,3,5,7
/proc/16974/task/16976/stat : 16976 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 1775 0 0 0 307 1 0 0 20 0 3 0 275085233 167043072 4405 33554432000 4194304 5965102 140734055452192 140286564153704 4400972 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 163128

[startup+6.3004 s]
/proc/loadavg: 3.92 3.96 3.92 5/183 16977
/proc/meminfo: memFree=29170536/32873844 swapFree=7372/7372
[pid=16974] ppid=16972 vsize=163772 CPUtime=12.59 cores=1,3,5,7
/proc/16974/stat : 16974 (pwbo2.0) S 16972 16974 15889 0 -1 4202496 7297 0 0 0 1256 3 0 0 20 0 3 0 275085233 167702528 7245 33554432000 4194304 5965102 140734055452192 140734055451712 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16974/statm: 40943 7245 200 433 0 40507 0
[pid=16974/tid=16975] ppid=16972 vsize=163772 CPUtime=6.28 cores=1,3,5,7
/proc/16974/task/16975/stat : 16975 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 3419 0 0 0 627 1 0 0 20 0 3 0 275085233 167702528 7245 33554432000 4194304 5965102 140734055452192 140286574643240 4401127 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16974/tid=16976] ppid=16972 vsize=163772 CPUtime=6.29 cores=1,3,5,7
/proc/16974/task/16976/stat : 16976 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 3127 0 0 0 627 2 0 0 20 0 3 0 275085233 167702528 7245 33554432000 4194304 5965102 140734055452192 140286564153656 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 163772

[startup+12.7004 s]
/proc/loadavg: 3.93 3.96 3.92 5/183 16977
/proc/meminfo: memFree=29151944/32873844 swapFree=7372/7372
[pid=16974] ppid=16972 vsize=164412 CPUtime=25.38 cores=1,3,5,7
/proc/16974/stat : 16974 (pwbo2.0) S 16972 16974 15889 0 -1 4202496 10782 0 0 0 2533 5 0 0 20 0 3 0 275085233 168357888 10730 33554432000 4194304 5965102 140734055452192 140734055451712 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16974/statm: 41103 10730 200 433 0 40667 0
[pid=16974/tid=16975] ppid=16972 vsize=164412 CPUtime=12.68 cores=1,3,5,7
/proc/16974/task/16975/stat : 16975 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 5927 0 0 0 1265 3 0 0 20 0 3 0 275085233 168357888 10730 33554432000 4194304 5965102 140734055452192 140286574643000 4380160 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16974/tid=16976] ppid=16972 vsize=164412 CPUtime=12.68 cores=1,3,5,7
/proc/16974/task/16976/stat : 16976 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 4104 0 0 0 1266 2 0 0 20 0 3 0 275085233 168357888 10730 33554432000 4194304 5965102 140734055452192 140286564153416 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 164412

[startup+25.5004 s]
/proc/loadavg: 3.94 3.96 3.92 5/183 16977
/proc/meminfo: memFree=29139536/32873844 swapFree=7372/7372
[pid=16974] ppid=16972 vsize=165264 CPUtime=50.98 cores=1,3,5,7
/proc/16974/stat : 16974 (pwbo2.0) S 16972 16974 15889 0 -1 4202496 13572 0 0 0 5088 10 0 0 20 0 3 0 275085233 169230336 13461 33554432000 4194304 5965102 140734055452192 140734055451712 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16974/statm: 41316 13461 200 433 0 40880 0
[pid=16974/tid=16975] ppid=16972 vsize=165264 CPUtime=25.48 cores=1,3,5,7
/proc/16974/task/16975/stat : 16975 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 7982 0 0 0 2540 8 0 0 20 0 3 0 275085233 169230336 13461 33554432000 4194304 5965102 140734055452192 140286574643240 4401056 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16974/tid=16976] ppid=16972 vsize=165264 CPUtime=25.49 cores=1,3,5,7
/proc/16974/task/16976/stat : 16976 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 4839 0 0 0 2545 4 0 0 20 0 3 0 275085233 169230336 13461 33554432000 4194304 5965102 140734055452192 140286564153656 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 165264

[startup+51.1004 s]
/proc/loadavg: 3.96 3.96 3.92 5/182 16977
/proc/meminfo: memFree=29123076/32873844 swapFree=7372/7372
[pid=16974] ppid=16972 vsize=164904 CPUtime=102.17 cores=1,3,5,7
/proc/16974/stat : 16974 (pwbo2.0) S 16972 16974 15889 0 -1 4202496 17565 0 0 0 10204 13 0 0 20 0 3 0 275085233 168861696 17224 33554432000 4194304 5965102 140734055452192 140734055451712 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16974/statm: 41226 17224 200 433 0 40790 0
[pid=16974/tid=16975] ppid=16972 vsize=164904 CPUtime=51.08 cores=1,3,5,7
/proc/16974/task/16975/stat : 16975 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 10654 0 0 0 5099 9 0 0 20 0 3 0 275085233 168861696 17224 33554432000 4194304 5965102 140734055452192 140286574644152 4401597 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16974/tid=16976] ppid=16972 vsize=164904 CPUtime=51.08 cores=1,3,5,7
/proc/16974/task/16976/stat : 16976 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 6160 0 0 0 5103 5 0 0 20 0 3 0 275085233 168861696 17224 33554432000 4194304 5965102 140734055452192 140286564153416 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 164904

[startup+102.307 s]
/proc/loadavg: 3.98 3.97 3.92 5/184 16979
/proc/meminfo: memFree=29080948/32873844 swapFree=7372/7372
[pid=16974] ppid=16972 vsize=168308 CPUtime=204.56 cores=1,3,5,7
/proc/16974/stat : 16974 (pwbo2.0) S 16972 16974 15889 0 -1 4202496 23735 0 0 0 20438 18 0 0 20 0 3 0 275085233 172347392 23393 33554432000 4194304 5965102 140734055452192 140734055451712 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16974/statm: 42077 23393 200 433 0 41641 0
[pid=16974/tid=16975] ppid=16972 vsize=168308 CPUtime=102.29 cores=1,3,5,7
/proc/16974/task/16975/stat : 16975 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 14111 0 0 0 10215 14 0 0 20 0 3 0 275085233 172347392 23393 33554432000 4194304 5965102 140734055452192 140286574643064 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16974/tid=16976] ppid=16972 vsize=168308 CPUtime=102.29 cores=1,3,5,7
/proc/16974/task/16976/stat : 16976 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 8873 0 0 0 10221 8 0 0 20 0 3 0 275085233 172347392 23393 33554432000 4194304 5965102 140734055452192 140286564153464 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 204.56
Current children cumulated vsize (KiB) 168308

[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.92 5/183 17061
/proc/meminfo: memFree=29749900/32873844 swapFree=7372/7372
[pid=16974] ppid=16972 vsize=235236 CPUtime=324.48 cores=1,3,5,7
/proc/16974/stat : 16974 (pwbo2.0) S 16972 16974 15889 0 -1 4202496 33963 0 0 0 32413 35 0 0 20 0 3 0 275085233 240881664 33929 33554432000 4194304 5965102 140734055452192 140734055451712 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16974/statm: 58809 33929 200 433 0 58373 0
[pid=16974/tid=16975] ppid=16972 vsize=235236 CPUtime=162.24 cores=1,3,5,7
/proc/16974/task/16975/stat : 16975 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 21938 0 0 0 16195 29 0 0 20 0 3 0 275085233 240881664 33929 33554432000 4194304 5965102 140734055452192 140286574643192 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16974/tid=16976] ppid=16972 vsize=235236 CPUtime=162.28 cores=1,3,5,7
/proc/16974/task/16976/stat : 16976 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 11274 0 0 0 16217 11 0 0 20 0 3 0 275085233 240881664 33929 33554432000 4194304 5965102 140734055452192 140286564153688 4401582 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 324.48
Current children cumulated vsize (KiB) 235236

[startup+222.3 s]
/proc/loadavg: 3.99 3.97 3.92 5/183 17061
/proc/meminfo: memFree=29668492/32873844 swapFree=7372/7372
[pid=16974] ppid=16972 vsize=235452 CPUtime=444.45 cores=1,3,5,7
/proc/16974/stat : 16974 (pwbo2.0) S 16972 16974 15889 0 -1 4202496 39258 0 0 0 44404 41 0 0 20 0 3 0 275085233 241102848 40557 33554432000 4194304 5965102 140734055452192 140734055451712 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16974/statm: 58863 40557 200 433 0 58427 0
[pid=16974/tid=16975] ppid=16972 vsize=235452 CPUtime=222.24 cores=1,3,5,7
/proc/16974/task/16975/stat : 16975 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 27178 0 0 0 22189 35 0 0 20 0 3 0 275085233 241102848 40557 33554432000 4194304 5965102 140734055452192 140286574643000 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16974/tid=16976] ppid=16972 vsize=235452 CPUtime=222.26 cores=1,3,5,7
/proc/16974/task/16976/stat : 16976 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 11329 0 0 0 22214 12 0 0 20 0 3 0 275085233 241102848 40557 33554432000 4194304 5965102 140734055452192 140286564153416 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 444.45
Current children cumulated vsize (KiB) 235452

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

/proc/16974/task/16975/stat : 16975 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 31606 0 0 0 28183 42 0 0 20 0 3 0 275085233 242941952 45318 33554432000 4194304 5965102 140734055452192 140286574643000 4401149 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16974/tid=16976] ppid=16972 vsize=237248 CPUtime=282.27 cores=1,3,5,7
/proc/16974/task/16976/stat : 16976 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 11665 0 0 0 28213 14 0 0 20 0 3 0 275085233 242941952 45318 33554432000 4194304 5965102 140734055452192 140286564153416 4400978 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 564.43
Current children cumulated vsize (KiB) 237248

[startup+342.3 s]
/proc/loadavg: 3.99 3.97 3.92 5/183 17061
/proc/meminfo: memFree=29480952/32873844 swapFree=7372/7372
[pid=16974] ppid=16972 vsize=303720 CPUtime=684.42 cores=1,3,5,7
/proc/16974/stat : 16974 (pwbo2.0) S 16972 16974 15889 0 -1 4202496 50266 0 0 0 68386 56 0 0 20 0 3 0 275085233 311009280 51551 33554432000 4194304 5965102 140734055452192 140734055451712 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16974/statm: 75930 51551 200 433 0 75494 0
[pid=16974/tid=16975] ppid=16972 vsize=303720 CPUtime=342.25 cores=1,3,5,7
/proc/16974/task/16975/stat : 16975 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 37301 0 0 0 34173 52 0 0 20 0 3 0 275085233 311009280 51551 33554432000 4194304 5965102 140734055452192 140286574643192 4400978 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16974/tid=16976] ppid=16972 vsize=303720 CPUtime=342.27 cores=1,3,5,7
/proc/16974/task/16976/stat : 16976 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 12214 0 0 0 34212 15 0 0 20 0 3 0 275085233 311009280 51551 33554432000 4194304 5965102 140734055452192 140286564153416 4401668 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 684.42
Current children cumulated vsize (KiB) 303720

[startup+402.3 s]
/proc/loadavg: 3.99 3.97 3.92 5/184 17064
/proc/meminfo: memFree=29405564/32873844 swapFree=7372/7372
[pid=16974] ppid=16972 vsize=304316 CPUtime=804.38 cores=1,3,5,7
/proc/16974/stat : 16974 (pwbo2.0) S 16972 16974 15889 0 -1 4202496 55031 0 0 0 80372 66 0 0 20 0 3 0 275085233 311619584 56625 33554432000 4194304 5965102 140734055452192 140734055451712 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16974/statm: 76079 56625 200 433 0 75643 0
[pid=16974/tid=16975] ppid=16972 vsize=304316 CPUtime=402.24 cores=1,3,5,7
/proc/16974/task/16975/stat : 16975 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 41055 0 0 0 40162 62 0 0 20 0 3 0 275085233 311619584 56625 33554432000 4194304 5965102 140734055452192 140286574643192 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16974/tid=16976] ppid=16972 vsize=304316 CPUtime=402.27 cores=1,3,5,7
/proc/16974/task/16976/stat : 16976 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 13225 0 0 0 40210 17 0 0 20 0 3 0 275085233 311619584 56625 33554432000 4194304 5965102 140734055452192 140286564153464 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 804.38
Current children cumulated vsize (KiB) 304316

[startup+462.3 s]
/proc/loadavg: 3.99 3.97 3.92 5/182 17064
/proc/meminfo: memFree=29369032/32873844 swapFree=7372/7372
[pid=16974] ppid=16972 vsize=305252 CPUtime=924.34 cores=1,3,5,7
/proc/16974/stat : 16974 (pwbo2.0) S 16972 16974 15889 0 -1 4202496 59148 0 0 0 92361 73 0 0 20 0 3 0 275085233 312578048 61060 33554432000 4194304 5965102 140734055452192 140734055451712 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16974/statm: 76313 61060 200 433 0 75877 0
[pid=16974/tid=16975] ppid=16972 vsize=305252 CPUtime=462.22 cores=1,3,5,7
/proc/16974/task/16975/stat : 16975 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 43952 0 0 0 46154 68 0 0 20 0 3 0 275085233 312578048 61060 33554432000 4194304 5965102 140734055452192 140286574643000 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16974/tid=16976] ppid=16972 vsize=305252 CPUtime=462.27 cores=1,3,5,7
/proc/16974/task/16976/stat : 16976 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 14445 0 0 0 46207 20 0 0 20 0 3 0 275085233 312578048 61060 33554432000 4194304 5965102 140734055452192 140286564153416 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 924.34
Current children cumulated vsize (KiB) 305252

[startup+522.3 s]
/proc/loadavg: 3.99 3.97 3.92 5/183 17065
/proc/meminfo: memFree=29271460/32873844 swapFree=7372/7372
[pid=16974] ppid=16972 vsize=306460 CPUtime=1044.32 cores=1,3,5,7
/proc/16974/stat : 16974 (pwbo2.0) S 16972 16974 15889 0 -1 4202496 62749 0 0 0 104357 75 0 0 20 0 3 0 275085233 313815040 64734 33554432000 4194304 5965102 140734055452192 140734055451712 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16974/statm: 76615 64734 200 433 0 76179 0
[pid=16974/tid=16975] ppid=16972 vsize=306460 CPUtime=522.22 cores=1,3,5,7
/proc/16974/task/16975/stat : 16975 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 45928 0 0 0 52152 70 0 0 20 0 3 0 275085233 313815040 64734 33554432000 4194304 5965102 140734055452192 140286574643000 4401475 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16974/tid=16976] ppid=16972 vsize=306460 CPUtime=522.27 cores=1,3,5,7
/proc/16974/task/16976/stat : 16976 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 16070 0 0 0 52207 20 0 0 20 0 3 0 275085233 313815040 64734 33554432000 4194304 5965102 140734055452192 140286564153656 4401073 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1044.32
Current children cumulated vsize (KiB) 306460

[startup+582.3 s]
/proc/loadavg: 3.99 3.97 3.92 5/183 17065
/proc/meminfo: memFree=29242040/32873844 swapFree=7372/7372
[pid=16974] ppid=16972 vsize=376692 CPUtime=1164.3 cores=1,3,5,7
/proc/16974/stat : 16974 (pwbo2.0) S 16972 16974 15889 0 -1 4202496 69164 0 0 0 116345 85 0 0 20 0 3 0 275085233 385732608 71146 33554432000 4194304 5965102 140734055452192 140734055451712 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16974/statm: 94173 71146 200 433 0 93737 0
[pid=16974/tid=16975] ppid=16972 vsize=376692 CPUtime=582.22 cores=1,3,5,7
/proc/16974/task/16975/stat : 16975 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 49458 0 0 0 58145 77 0 0 20 0 3 0 275085233 385732608 71146 33554432000 4194304 5965102 140734055452192 140286574643192 4401129 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16974/tid=16976] ppid=16972 vsize=376692 CPUtime=582.27 cores=1,3,5,7
/proc/16974/task/16976/stat : 16976 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 18955 0 0 0 58201 26 0 0 20 0 3 0 275085233 385732608 71146 33554432000 4194304 5965102 140734055452192 140286564153704 4400986 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1164.3
Current children cumulated vsize (KiB) 376692

[startup+642.3 s]
/proc/loadavg: 3.99 3.97 3.92 5/183 17065
/proc/meminfo: memFree=29221984/32873844 swapFree=7372/7372
[pid=16974] ppid=16972 vsize=378316 CPUtime=1284.29 cores=1,3,5,7
/proc/16974/stat : 16974 (pwbo2.0) S 16972 16974 15889 0 -1 4202496 73877 0 0 0 128339 90 0 0 20 0 3 0 275085233 387395584 75709 33554432000 4194304 5965102 140734055452192 140734055451712 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16974/statm: 94579 75709 200 433 0 94143 0
[pid=16974/tid=16975] ppid=16972 vsize=378316 CPUtime=642.23 cores=1,3,5,7
/proc/16974/task/16975/stat : 16975 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 53726 0 0 0 64140 83 0 0 20 0 3 0 275085233 387395584 75709 33554432000 4194304 5965102 140734055452192 140286574643000 4400978 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16974/tid=16976] ppid=16972 vsize=378316 CPUtime=642.28 cores=1,3,5,7
/proc/16974/task/16976/stat : 16976 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 19400 0 0 0 64201 27 0 0 20 0 3 0 275085233 387395584 75709 33554432000 4194304 5965102 140734055452192 140286564153688 4400978 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1284.29
Current children cumulated vsize (KiB) 378316

[startup+702.3 s]
/proc/loadavg: 3.99 3.97 3.92 5/183 17065
/proc/meminfo: memFree=29123260/32873844 swapFree=7372/7372
[pid=16974] ppid=16972 vsize=379596 CPUtime=1404.26 cores=1,3,5,7
/proc/16974/stat : 16974 (pwbo2.0) S 16972 16974 15889 0 -1 4202496 76236 0 0 0 140332 94 0 0 20 0 3 0 275085233 388706304 78064 33554432000 4194304 5965102 140734055452192 140734055451712 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16974/statm: 94899 78064 200 433 0 94463 0
[pid=16974/tid=16975] ppid=16972 vsize=379596 CPUtime=702.23 cores=1,3,5,7
/proc/16974/task/16975/stat : 16975 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 55811 0 0 0 70135 88 0 0 20 0 3 0 275085233 388706304 78064 33554432000 4194304 5965102 140734055452192 140286574643064 4400978 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16974/tid=16976] ppid=16972 vsize=379596 CPUtime=702.28 cores=1,3,5,7
/proc/16974/task/16976/stat : 16976 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 19674 0 0 0 70200 28 0 0 20 0 3 0 275085233 388706304 78064 33554432000 4194304 5965102 140734055452192 140286564153416 4401041 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1404.26
Current children cumulated vsize (KiB) 379596

[startup+762.307 s]
/proc/loadavg: 3.99 3.97 3.92 5/183 17065
/proc/meminfo: memFree=29063492/32873844 swapFree=7372/7372
[pid=16974] ppid=16972 vsize=379596 CPUtime=1524.26 cores=1,3,5,7
/proc/16974/stat : 16974 (pwbo2.0) S 16972 16974 15889 0 -1 4202496 79890 0 0 0 152322 104 0 0 20 0 3 0 275085233 388706304 81718 33554432000 4194304 5965102 140734055452192 140734055451712 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16974/statm: 94899 81718 200 433 0 94463 0
[pid=16974/tid=16975] ppid=16972 vsize=379596 CPUtime=762.24 cores=1,3,5,7
/proc/16974/task/16975/stat : 16975 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 59362 0 0 0 76126 98 0 0 20 0 3 0 275085233 388706304 81718 33554432000 4194304 5965102 140734055452192 140286574643000 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16974/tid=16976] ppid=16972 vsize=379596 CPUtime=762.29 cores=1,3,5,7
/proc/16974/task/16976/stat : 16976 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 19777 0 0 0 76200 29 0 0 20 0 3 0 275085233 388706304 81718 33554432000 4194304 5965102 140734055452192 140286564153416 4401009 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1524.26
Current children cumulated vsize (KiB) 379596

[startup+822.3 s]
/proc/loadavg: 3.99 3.97 3.92 5/183 17066
/proc/meminfo: memFree=29014168/32873844 swapFree=7372/7372
[pid=16974] ppid=16972 vsize=445132 CPUtime=1644.21 cores=1,3,5,7
/proc/16974/stat : 16974 (pwbo2.0) S 16972 16974 15889 0 -1 4202496 81707 0 0 0 164315 106 0 0 20 0 3 0 275085233 455815168 84098 33554432000 4194304 5965102 140734055452192 140734055451712 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16974/statm: 111283 84098 200 433 0 110847 0
[pid=16974/tid=16975] ppid=16972 vsize=445132 CPUtime=822.22 cores=1,3,5,7
/proc/16974/task/16975/stat : 16975 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 59739 0 0 0 82122 100 0 0 20 0 3 0 275085233 455815168 84098 33554432000 4194304 5965102 140734055452192 140286574643000 4401131 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16974/tid=16976] ppid=16972 vsize=445132 CPUtime=822.28 cores=1,3,5,7
/proc/16974/task/16976/stat : 16976 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 21217 0 0 0 82196 32 0 0 20 0 3 0 275085233 455815168 84098 33554432000 4194304 5965102 140734055452192 140286564153656 4374499 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1644.21
Current children cumulated vsize (KiB) 445132

[startup+882.3 s]
/proc/loadavg: 4.05 3.99 3.92 5/183 17066
/proc/meminfo: memFree=28957812/32873844 swapFree=7372/7372
[pid=16974] ppid=16972 vsize=446092 CPUtime=1764.16 cores=1,3,5,7
/proc/16974/stat : 16974 (pwbo2.0) S 16972 16974 15889 0 -1 4202496 85952 0 0 0 176302 114 0 0 20 0 3 0 275085233 456798208 88892 33554432000 4194304 5965102 140734055452192 140734055451712 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16974/statm: 111523 88892 200 433 0 111087 0
[pid=16974/tid=16975] ppid=16972 vsize=446092 CPUtime=882.19 cores=1,3,5,7
/proc/16974/task/16975/stat : 16975 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 62306 0 0 0 88114 105 0 0 20 0 3 0 275085233 456798208 88892 33554432000 4194304 5965102 140734055452192 140286574643240 4401107 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16974/tid=16976] ppid=16972 vsize=446092 CPUtime=882.28 cores=1,3,5,7
/proc/16974/task/16976/stat : 16976 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 22895 0 0 0 88192 36 0 0 20 0 3 0 275085233 456798208 88892 33554432000 4194304 5965102 140734055452192 140286564153416 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1764.16
Current children cumulated vsize (KiB) 446092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.04 3.99 3.92 5/183 17066
/proc/meminfo: memFree=28944916/32873844 swapFree=7372/7372
[pid=16974] ppid=16972 vsize=448264 CPUtime=1800.17 cores=1,3,5,7
/proc/16974/stat : 16974 (pwbo2.0) S 16972 16974 15889 0 -1 4202496 87552 0 0 0 179900 117 0 0 20 0 3 0 275085233 459022336 90492 33554432000 4194304 5965102 140734055452192 140734055451712 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16974/statm: 112066 90492 200 433 0 111630 0
[pid=16974/tid=16975] ppid=16972 vsize=448264 CPUtime=900.2 cores=1,3,5,7
/proc/16974/task/16975/stat : 16975 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 63881 0 0 0 89912 108 0 0 20 0 3 0 275085233 459022336 90492 33554432000 4194304 5965102 140734055452192 140286574643192 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16974/tid=16976] ppid=16972 vsize=448264 CPUtime=900.29 cores=1,3,5,7
/proc/16974/task/16976/stat : 16976 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 22920 0 0 0 89993 36 0 0 20 0 3 0 275085233 459022336 90492 33554432000 4194304 5965102 140734055452192 140286564153416 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 448264

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

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

[startup+900.3 s]
/proc/loadavg: 4.04 3.99 3.92 5/183 17066
/proc/meminfo: memFree=28944916/32873844 swapFree=7372/7372
[pid=16974] ppid=16972 vsize=448264 CPUtime=1800.17 cores=1,3,5,7
/proc/16974/stat : 16974 (pwbo2.0) S 16972 16974 15889 0 -1 4202496 87552 0 0 0 179900 117 0 0 20 0 3 0 275085233 459022336 90492 33554432000 4194304 5965102 140734055452192 140734055451712 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16974/statm: 112066 90492 200 433 0 111630 0
[pid=16974/tid=16975] ppid=16972 vsize=448264 CPUtime=900.2 cores=1,3,5,7
/proc/16974/task/16975/stat : 16975 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 63881 0 0 0 89912 108 0 0 20 0 3 0 275085233 459022336 90492 33554432000 4194304 5965102 140734055452192 140286574643192 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16974/tid=16976] ppid=16972 vsize=448264 CPUtime=900.29 cores=1,3,5,7
/proc/16974/task/16976/stat : 16976 (pwbo2.0) R 16972 16974 15889 0 -1 4202560 22920 0 0 0 89993 36 0 0 20 0 3 0 275085233 459022336 90492 33554432000 4194304 5965102 140734055452192 140286564153416 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 448264

Child status: 0
Real time (s): 900.318
CPU time (s): 1800.53
CPU user time (s): 1799.06
CPU system time (s): 1.47178
CPU usage (%): 199.988
Max. virtual memory (cumulated for all children) (KiB): 448264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.06
system time used= 1.47178
maximum resident set size= 361976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87554
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= 206
involuntary context switches= 2108

runsolver used 1.75173 second user time and 5.9451 second system time

The end

Launcher Data 

Begin job on node133 at 2012-05-27 05:33:24
IDJOB=3703551
IDBENCH=2023
IDSOLVER=2279
FILE ID=node133/3703551-1338089604
RUNJOBID= node133-1338084137-15906
PBS_JOBID= 14624424
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 2dad588c047f66368bead690393575a4
RANDOM SEED=1313526056

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29194748 kB
Buffers:          316556 kB
Cached:          1667400 kB
SwapCached:          104 kB
Active:          1416500 kB
Inactive:        1437288 kB
Active(anon):     860896 kB
Inactive(anon):    11368 kB
Active(file):     555604 kB
Inactive(file):  1425920 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108752 kB
Dirty:              5440 kB
Writeback:             0 kB
AnonPages:        876388 kB
Mapped:            15216 kB
Shmem:               212 kB
Slab:             684428 kB
SReclaimable:     126596 kB
SUnreclaim:       557832 kB
KernelStack:        1520 kB
PageTables:         5536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     184880 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    675840 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node133 at 2012-05-27 05:48:27