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 in four parts:
  1. 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 provide some useful information on the computer.
  2. 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 !
  3. 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 1200 seconds. 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 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    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.
  4. 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.

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein45.opb
MD5SUM980dd801f0823d520b47724b99fabded
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 30
Optimality of the best value was proved YES
Number of terms in the objective function 45
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 45
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 22
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 67
Number of bits of the biggest sum of numbers7
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark78.4771
Number of variables45
Total number of constraints376
Number of constraints which are clauses330
Number of constraints which are cardinality constraints (but not clauses)46
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint45

Trace number 10428

Launcher Data

LAUNCH ON wulflinc31 THE 2005-09-23 17:58:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9134 boxname=wulflinc31 idbench=930 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  980dd801f0823d520b47724b99fabded  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-stein45.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-stein45.opb
IDLAUNCH: 9134
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.047
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.047
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        918160 kB
Buffers:         19552 kB
Cached:          78368 kB
SwapCached:          0 kB
Active:          41540 kB
Inactive:        59272 kB
HighTotal:      131008 kB
HighFree:        48748 kB
LowTotal:       903652 kB
LowFree:        869412 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:            10076 kB
Committed_AS:    63628 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 18:19:01 (client local time) WITH STATUS 10 IN 1205.72 SECONDS
stats: 9134 0 1205.72 10

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 45
c small objective detected
c [startup+0.199252 s]  setting bit 5 to 0

c Decision: 336/1661	Time: 4.93925/86400
c Decision: 336/1661	Time: 5.43517/86400
c Decision: 336/1661	Time: 5.98409/86400
c Decision: 336/1661	Time: 6.46302/86400
c Decision: 336/1661	Time: 7.05793/86400
c Decision: 336/1661	Time: 7.70883/86400
c Decision: 347/1661	Time: 8.45472/86400
c Decision: 347/1661	Time: 9.11861/86400
c Decision: 347/1661	Time: 9.76552/86400
c Decision: 347/1661	Time: 10.3944/86400
c Decision: 347/1661	Time: 11.0643/86400
c Decision: 347/1661	Time: 11.7592/86400
c Decision: 347/1661	Time: 12.5151/86400
c Decision: 347/1661	Time: 13.246/86400
c Decision: 347/1661	Time: 14.0169/86400
c Decision: 347/1661	Time: 14.8667/86400
c Decision: 347/1661	Time: 15.7216/86400
c Decision: 347/1661	Time: 16.5545/86400
c Decision: 347/1661	Time: 17.4244/86400
c Decision: 347/1661	Time: 18.3202/86400
c Decision: 347/1661	Time: 19.3511/86400
c Decision: 347/1661	Time: 20.2629/86400
c Decision: 347/1661	Time: 21.1188/86400
c Decision: 347/1661	Time: 22.1436/86400
c Decision: 347/1661	Time: 23.1375/86400
c Decision: 347/1661	Time: 24.1993/86400
c Decision: 347/1661	Time: 25.2272/86400
c Decision: 347/1661	Time: 26.165/86400
c Decision: 347/1661	Time: 27.2129/86400
c Decision: 347/1661	Time: 28.2367/86400
c Decision: 347/1661	Time: 29.3125/86400
c Decision: 347/1661	Time: 30.3664/86400
c Decision: 347/1661	Time: 31.5712/86400
c Decision: 347/1661	Time: 32.669/86400
c Decision: 347/1661	Time: 33.8459/86400
c Decision: 347/1661	Time: 35.1507/86400
c Decision: 347/1661	Time: 36.4595/86400
c Decision: 347/1661	Time: 37.6803/86400
c Decision: 347/1661	Time: 38.8651/86400
c Decision: 347/1661	Time: 40.0589/86400
c Decision: 347/1661	Time: 41.3807/86400
c Decision: 347/1661	Time: 42.5825/86400
c Decision: 347/1661	Time: 43.7044/86400
c Decision: 347/1661	Time: 44.9782/86400
c Decision: 347/1661	Time: 46.113/86400
c Decision: 347/1661	Time: 47.3578/86400
c Decision: 347/1661	Time: 48.7066/86400
c Decision: 347/1661	Time: 50.0494/86400
c Decision: 347/1661	Time: 51.3002/86400
c Decision: 347/1661	Time: 52.788/86400
c Decision: 347/1661	Time: 54.2248/86400
c Decision: 347/1661	Time: 55.5846/86400
c Decision: 347/1661	Time: 56.9123/86400
c Decision: 347/1661	Time: 58.2062/86400
c Decision: 347/1661	Time: 59.6829/86400
c Decision: 347/1661	Time: 61.1947/86400
c Decision: 347/1661	Time: 62.7305/86400
c Decision: 347/1661	Time: 64.2742/86400
c Decision: 347/1661	Time: 65.734/86400
c Decision: 347/1661	Time: 67.2188/86400
c Decision: 347/1661	Time: 68.8465/86400
c Decision: 347/1661	Time: 70.4213/86400
c Decision: 347/1661	Time: 71.8831/86400
c Decision: 347/1661	Time: 73.5488/86400
c Decision: 347/1661	Time: 75.1076/86400
c Decision: 347/1661	Time: 76.7723/86400
c Decision: 347/1661	Time: 78.3901/86400
c Decision: 347/1661	Time: 79.9169/86400
c Decision: 347/1661	Time: 81.4796/86400
c Decision: 347/1661	Time: 83.0404/86400
c Decision: 347/1661	Time: 84.9231/86400
c Decision: 347/1661	Time: 86.6328/86400
c Decision: 347/1661	Time: 88.2596/86400
c Decision: 347/1661	Time: 90.0683/86400
c Decision: 347/1661	Time: 91.5991/86400
c Decision: 347/1661	Time: 93.2588/86400
c Decision: 347/1661	Time: 95.0096/86400
c Decision: 347/1661	Time: 96.8983/86400
c Decision: 347/1661	Time: 98.658/86400
c Decision: 347/1661	Time: 100.279/86400
c Decision: 347/1661	Time: 102.072/86400
c Decision: 347/1661	Time: 103.946/86400
c Decision: 347/1661	Time: 106.139/86400
c Decision: 347/1661	Time: 107.808/86400
c Decision: 347/1661	Time: 109.513/86400
c Decision: 347/1661	Time: 111.421/86400
c Decision: 347/1661	Time: 113.304/86400
c Decision: 347/1661	Time: 115.181/86400
c Decision: 347/1661	Time: 116.986/86400
c Decision: 347/1661	Time: 118.713/86400
c Decision: 347/1661	Time: 120.857/86400
c Decision: 347/1661	Time: 122.678/86400
c Decision: 347/1661	Time: 124.595/86400
c Decision: 347/1661	Time: 126.472/86400
c Decision: 347/1661	Time: 128.489/86400
c Decision: 347/1661	Time: 130.487/86400
c Decision: 347/1661	Time: 132.37/86400
c Decision: 347/1661	Time: 134.212/86400
c Decision: 347/1661	Time: 136.071/86400
c Decision: 347/1661	Time: 137.938/86400
c Decision: 347/1661	Time: 140.127/86400
c Decision: 347/1661	Time: 141.876/86400
c Decision: 347/1661	Time: 143.711/86400
c Decision: 347/1661	Time: 145.548/86400
c Decision: 347/1661	Time: 147.318/86400
c Decision: 347/1661	Time: 149.048/86400
c Decision: 347/1661	Time: 151.054/86400
c Decision: 347/1661	Time: 153.213/86400
c Decision: 347/1661	Time: 155.441/86400
c Decision: 347/1661	Time: 157.84/86400
c Decision: 347/1661	Time: 159.729/86400
c Decision: 347/1661	Time: 161.619/86400
c Decision: 347/1661	Time: 163.445/86400
c Decision: 347/1661	Time: 165.282/86400
c Decision: 347/1661	Time: 167.23/86400
c Decision: 347/1661	Time: 169.368/86400
c Decision: 347/1661	Time: 171.343/86400
c Decision: 347/1661	Time: 173.451/86400
c Decision: 347/1661	Time: 175.523/86400
c Decision: 347/1661	Time: 177.535/86400
c Decision: 347/1661	Time: 179.766/86400
c Decision: 347/1661	Time: 181.731/86400
c Decision: 347/1661	Time: 183.956/86400
c Decision: 347/1661	Time: 185.952/86400
c Decision: 347/1661	Time: 188.069/86400
c Decision: 347/1661	Time: 190.425/86400
c Decision: 347/1661	Time: 192.44/86400
c Decision: 347/1661	Time: 194.549/86400
c Decision: 347/1661	Time: 196.702/86400
c Decision: 347/1661	Time: 198.617/86400
c Decision: 347/1661	Time: 200.954/86400
c Decision: 347/1661	Time: 202.922/86400
c Decision: 347/1661	Time: 205.384/86400
c Decision: 382/1661	Time: 209.269/86400
c Decision: 382/1661	Time: 211.332/86400
c Decision: 382/1661	Time: 213.121/86400
c Decision: 382/1661	Time: 214.864/86400
c Decision: 382/1661	Time: 216.773/86400
c Decision: 382/1661	Time: 218.78/86400
c Decision: 382/1661	Time: 220.685/86400
c Decision: 382/1661	Time: 222.837/86400
c Decision: 382/1661	Time: 224.661/86400
c Decision: 382/1661	Time: 226.474/86400
c Decision: 382/1661	Time: 228.345/86400
c Decision: 382/1661	Time: 230.205/86400
c Decision: 382/1661	Time: 232.374/86400
c Decision: 382/1661	Time: 234.462/86400
c Decision: 382/1661	Time: 236.387/86400
c Decision: 382/1661	Time: 238.405/86400
c Decision: 388/1661	Time: 241.955/86400
c Decision: 388/1661	Time: 244.077/86400
c Decision: 388/1661	Time: 245.741/86400
c Decision: 388/1661	Time: 247.956/86400
c Decision: 388/1661	Time: 249.747/86400
c Decision: 388/1661	Time: 252.01/86400
c Decision: 388/1661	Time: 254.702/86400
c Decision: 388/1661	Time: 256.905/86400
c Decision: 388/1661	Time: 259.157/86400
c Decision: 439/1661	Time: 263.928/86400
c Decision: 439/1661	Time: 265.626/86400
c Decision: 439/1661	Time: 267.53/86400
c Decision: 439/1661	Time: 269.353/86400
c Decision: 468/1661	Time: 271.354/86400
c Decision: 468/1661	Time: 272.981/86400
c Decision: 600/1661	Time: 274.898/86400
c [startup+282.938 s]  setting bit 4 to 0

c got solution with objective value: 33
c [startup+282.971 s]  setting bit 3 to 1

c got solution with objective value: 32
c [startup+283.003 s]  setting bit 2 to 1

c Decision: 304/1661	Time: 7.33789/86400
c Decision: 304/1661	Time: 8.18476/86400
c Decision: 304/1661	Time: 8.98464/86400
c Decision: 304/1661	Time: 9.79051/86400
c Decision: 304/1661	Time: 10.5404/86400
c Decision: 304/1661	Time: 11.4413/86400
c Decision: 304/1661	Time: 12.2781/86400
c Decision: 304/1661	Time: 13.145/86400
c Decision: 304/1661	Time: 14.0929/86400
c Decision: 304/1661	Time: 15.0107/86400
c Decision: 304/1661	Time: 15.9166/86400
c Decision: 304/1661	Time: 16.8674/86400
c Decision: 304/1661	Time: 17.9083/86400
c Decision: 304/1661	Time: 18.8571/86400
c Decision: 304/1661	Time: 19.921/86400
c Decision: 304/1661	Time: 20.9838/86400
c Decision: 304/1661	Time: 22.0636/86400
c got solution with objective value: 30
c [startup+306.082 s]  setting bit 1 to 1

c Decision: 297/1661	Time: 10.9863/86400
c Decision: 297/1661	Time: 12.2071/86400
c Decision: 297/1661	Time: 13.247/86400
c Decision: 297/1661	Time: 14.4298/86400
c Decision: 297/1661	Time: 15.8956/86400
c Decision: 297/1661	Time: 17.3744/86400
c Decision: 297/1661	Time: 18.6172/86400
c Decision: 297/1661	Time: 20.0859/86400
c Decision: 297/1661	Time: 21.6237/86400
c Decision: 297/1661	Time: 22.9315/86400
c Decision: 297/1661	Time: 24.3333/86400
c Decision: 297/1661	Time: 25.8051/86400
c Decision: 297/1661	Time: 27.1739/86400
c Decision: 297/1661	Time: 28.7736/86400
c Decision: 297/1661	Time: 30.1694/86400
c Decision: 297/1661	Time: 31.7842/86400
c Decision: 297/1661	Time: 33.2829/86400
c Decision: 297/1661	Time: 34.8337/86400
c Decision: 297/1661	Time: 36.2715/86400
c Decision: 297/1661	Time: 37.8232/86400
c Decision: 297/1661	Time: 39.601/86400
c Decision: 297/1661	Time: 41.2637/86400
c Decision: 297/1661	Time: 42.8075/86400
c Decision: 297/1661	Time: 44.4362/86400
c Decision: 297/1661	Time: 46.135/86400
c Decision: 297/1661	Time: 47.9177/86400
c Decision: 297/1661	Time: 49.6165/86400
c Decision: 297/1661	Time: 51.2212/86400
c Decision: 297/1661	Time: 52.861/86400
c Decision: 297/1661	Time: 54.6087/86400
c Decision: 297/1661	Time: 56.4434/86400
c Decision: 297/1661	Time: 58.3021/86400
c Decision: 297/1661	Time: 59.8789/86400
c Decision: 297/1661	Time: 61.7336/86400
c Decision: 297/1661	Time: 63.4314/86400
c Decision: 297/1661	Time: 65.456/86400
c Decision: 297/1661	Time: 67.2108/86400
c Decision: 297/1661	Time: 69.4434/86400
c Decision: 297/1661	Time: 71.3652/86400
c Decision: 297/1661	Time: 73.3049/86400
c Decision: 297/1661	Time: 75.2986/86400
c Decision: 297/1661	Time: 76.9963/86400
c Decision: 297/1661	Time: 78.794/86400
c Decision: 297/1661	Time: 80.5688/86400
c Decision: 297/1661	Time: 82.7804/86400
c Decision: 297/1661	Time: 84.8711/86400
c Decision: 297/1661	Time: 86.6168/86400
c Decision: 297/1661	Time: 88.6095/86400
c Decision: 297/1661	Time: 90.7362/86400
c Decision: 297/1661	Time: 92.8979/86400
c Decision: 297/1661	Time: 95.0935/86400
c Decision: 297/1661	Time: 97.1202/86400
c Decision: 297/1661	Time: 99.0589/86400
c Decision: 297/1661	Time: 101.319/86400
c Decision: 297/1661	Time: 103.5/86400
c Decision: 297/1661	Time: 105.887/86400
c Decision: 297/1661	Time: 108.094/86400
c Decision: 297/1661	Time: 110.095/86400
c Decision: 297/1661	Time: 111.991/86400
c Decision: 297/1661	Time: 114.11/86400
c Decision: 297/1661	Time: 116.675/86400
c Decision: 297/1661	Time: 118.735/86400
c Decision: 297/1661	Time: 121.148/86400
c Decision: 297/1661	Time: 123.584/86400
c Decision: 297/1661	Time: 125.939/86400
c Decision: 297/1661	Time: 128.284/86400
c Decision: 297/1661	Time: 130.259/86400
c Decision: 297/1661	Time: 132.423/86400
c Decision: 297/1661	Time: 134.513/86400
c Decision: 297/1661	Time: 136.829/86400
c Decision: 297/1661	Time: 139.179/86400
c Decision: 297/1661	Time: 141.4/86400
c Decision: 297/1661	Time: 143.262/86400
c Decision: 297/1661	Time: 145.347/86400
c Decision: 297/1661	Time: 147.738/86400
c Decision: 297/1661	Time: 150.376/86400
c Decision: 297/1661	Time: 152.845/86400
c Decision: 297/1661	Time: 155.085/86400
c Decision: 297/1661	Time: 157.594/86400
c Decision: 297/1661	Time: 159.648/86400
c Decision: 297/1661	Time: 162.101/86400
c Decision: 297/1661	Time: 164.543/86400
c Decision: 297/1661	Time: 167.024/86400
c Decision: 297/1661	Time: 169.582/86400
c Decision: 297/1661	Time: 172.077/86400
c Decision: 297/1661	Time: 174.512/86400
c Decision: 297/1661	Time: 176.993/86400
c Decision: 297/1661	Time: 179.407/86400
c Decision: 297/1661	Time: 181.759/86400
c Decision: 297/1661	Time: 184.213/86400
c Decision: 297/1661	Time: 187.034/86400
c Decision: 297/1661	Time: 189.553/86400
c Decision: 297/1661	Time: 192.002/86400
c Decision: 297/1661	Time: 194.493/86400
c Decision: 297/1661	Time: 196.883/86400
c Decision: 297/1661	Time: 199.718/86400
c Decision: 297/1661	Time: 202.169/86400
c Decision: 297/1661	Time: 204.601/86400
c Decision: 297/1661	Time: 207.144/86400
c Decision: 297/1661	Time: 209.654/86400
c Decision: 297/1661	Time: 212.458/86400
c Decision: 297/1661	Time: 214.635/86400
c Decision: 297/1661	Time: 217.173/86400
c Decision: 297/1661	Time: 220.063/86400
c Decision: 297/1661	Time: 222.782/86400
c Decision: 297/1661	Time: 225.97/86400
c Decision: 297/1661	Time: 228.453/86400
c Decision: 297/1661	Time: 230.9/86400
c Decision: 297/1661	Time: 233.348/86400
c Decision: 297/1661	Time: 236.116/86400
c Decision: 297/1661	Time: 239.116/86400
c Decision: 297/1661	Time: 241.452/86400
c Decision: 297/1661	Time: 243.877/86400
c Decision: 297/1661	Time: 246.198/86400
c Decision: 297/1661	Time: 248.728/86400
c Decision: 297/1661	Time: 251.67/86400
c Decision: 297/1661	Time: 254.339/86400
c Decision: 297/1661	Time: 256.723/86400
c Decision: 297/1661	Time: 259.033/86400
c Decision: 297/1661	Time: 262.292/86400
c Decision: 297/1661	Time: 265.009/86400
c Decision: 297/1661	Time: 267.608/86400
c Decision: 297/1661	Time: 270.316/86400
c Decision: 297/1661	Time: 272.616/86400
c Decision: 297/1661	Time: 275.422/86400
c Decision: 297/1661	Time: 278.429/86400
c Decision: 297/1661	Time: 280.997/86400
c Decision: 297/1661	Time: 283.337/86400
c Decision: 297/1661	Time: 285.956/86400
c Decision: 297/1661	Time: 288.67/86400
c Decision: 297/1661	Time: 291.197/86400
c Decision: 297/1661	Time: 293.839/86400
c Decision: 297/1661	Time: 296.256/86400
c Decision: 297/1661	Time: 299.047/86400
c Decision: 297/1661	Time: 301.856/86400
c Decision: 297/1661	Time: 304.769/86400
c Decision: 297/1661	Time: 307.484/86400
c Decision: 297/1661	Time: 310.078/86400
c Decision: 297/1661	Time: 312.958/86400
c Decision: 297/1661	Time: 316.091/86400
c Decision: 297/1661	Time: 319.097/86400
c Decision: 297/1661	Time: 321.747/86400
c Decision: 297/1661	Time: 324.788/86400
c Decision: 297/1661	Time: 327.874/86400
c Decision: 297/1661	Time: 330.483/86400
c Decision: 297/1661	Time: 333.466/86400
c Decision: 297/1661	Time: 336.299/86400
c Decision: 297/1661	Time: 338.853/86400
c Decision: 297/1661	Time: 341.638/86400
c Decision: 297/1661	Time: 344.553/86400
c Decision: 297/1661	Time: 347.639/86400
c Decision: 297/1661	Time: 350.779/86400
c Decision: 297/1661	Time: 353.302/86400
c Decision: 297/1661	Time: 355.855/86400
c Decision: 297/1661	Time: 358.028/86400
c Decision: 297/1661	Time: 361.244/86400
c Decision: 297/1661	Time: 364.095/86400
c Decision: 297/1661	Time: 366.931/86400
c Decision: 297/1661	Time: 369.835/86400
c Decision: 297/1661	Time: 372.744/86400
c Decision: 297/1661	Time: 376.15/86400
c Decision: 297/1661	Time: 378.61/86400
c Decision: 297/1661	Time: 381.412/86400
c Decision: 297/1661	Time: 384.065/86400
c Decision: 297/1661	Time: 386.925/86400
c Decision: 297/1661	Time: 390.644/86400
c Decision: 297/1661	Time: 393.719/86400
c Decision: 297/1661	Time: 396.804/86400
c Decision: 297/1661	Time: 399.786/86400
c Decision: 297/1661	Time: 402.476/86400
c Decision: 297/1661	Time: 405.446/86400
c Decision: 297/1661	Time: 408.356/86400
c Decision: 297/1661	Time: 411.528/86400
c Decision: 297/1661	Time: 413.975/86400
c Decision: 297/1661	Time: 416.658/86400
c Decision: 297/1661	Time: 420.106/86400
c Decision: 297/1661	Time: 422.791/86400
c Decision: 297/1661	Time: 425.755/86400
c Decision: 297/1661	Time: 428.792/86400
c Decision: 297/1661	Time: 431.432/86400
c Decision: 297/1661	Time: 434.367/86400
c Decision: 297/1661	Time: 437.326/86400
c Decision: 297/1661	Time: 440.302/86400
c Decision: 297/1661	Time: 443.417/86400
c Decision: 297/1661	Time: 446.69/86400
c Decision: 297/1661	Time: 449.896/86400
c Decision: 297/1661	Time: 452.854/86400
c Decision: 297/1661	Time: 455.895/86400
c Decision: 297/1661	Time: 458.658/86400
c Decision: 297/1661	Time: 461.581/86400
c Decision: 297/1661	Time: 464.921/86400
c Decision: 297/1661	Time: 468.105/86400
c Decision: 297/1661	Time: 471.026/86400
c Decision: 297/1661	Time: 474.332/86400
c Decision: 297/1661	Time: 477.307/86400
c Decision: 297/1661	Time: 481.202/86400
c Decision: 297/1661	Time: 484.159/86400
c Decision: 297/1661	Time: 486.899/86400
c Decision: 297/1661	Time: 489.843/86400
c Decision: 297/1661	Time: 493.052/86400
c Decision: 297/1661	Time: 496.579/86400
c Decision: 297/1661	Time: 499.687/86400
c Decision: 297/1661	Time: 503.023/86400
c Decision: 297/1661	Time: 505.902/86400
c Decision: 297/1661	Time: 508.698/86400
c Decision: 297/1661	Time: 512.24/86400
c Decision: 297/1661	Time: 515.111/86400
c Decision: 297/1661	Time: 518.068/86400
c Decision: 297/1661	Time: 520.991/86400
c Decision: 297/1661	Time: 524.194/86400
c Decision: 297/1661	Time: 527.543/86400
c Decision: 297/1661	Time: 530.252/86400
c Decision: 297/1661	Time: 533.391/86400
c Decision: 297/1661	Time: 536.199/86400
c Decision: 297/1661	Time: 539.236/86400
c Decision: 297/1661	Time: 542.652/86400
c Decision: 297/1661	Time: 545.62/86400
c Decision: 297/1661	Time: 548.431/86400
c Decision: 297/1661	Time: 551.342/86400
c Decision: 297/1661	Time: 554.064/86400
c Decision: 297/1661	Time: 557.752/86400
c Decision: 297/1661	Time: 560.435/86400
c Decision: 297/1661	Time: 563.487/86400
c Decision: 297/1661	Time: 566.415/86400
c Decision: 297/1661	Time: 568.977/86400
c Decision: 297/1661	Time: 572.679/86400
c Decision: 297/1661	Time: 575.764/86400
c Decision: 297/1661	Time: 578.974/86400
c Decision: 297/1661	Time: 581.988/86400
c Decision: 297/1661	Time: 585.131/86400
c Decision: 297/1661	Time: 588.547/86400
c Decision: 297/1661	Time: 591.514/86400
c Decision: 297/1661	Time: 594.756/86400
c Decision: 297/1661	Time: 598.153/86400
c Decision: 489/1661	Time: 602.784/86400
c Decision: 489/1661	Time: 605.86/86400
c Decision: 489/1661	Time: 608.225/86400
c Decision: 489/1661	Time: 610.199/86400
c Decision: 489/1661	Time: 613.009/86400
c Decision: 489/1661	Time: 616.554/86400
c Decision: 489/1661	Time: 619.163/86400
c Decision: 489/1661	Time: 621.854/86400
c Decision: 489/1661	Time: 624.7/86400
c Decision: 489/1661	Time: 627.639/86400
c Decision: 489/1661	Time: 630.305/86400
c Decision: 489/1661	Time: 633.435/86400
c Decision: 489/1661	Time: 636.37/86400
c Decision: 489/1661	Time: 639.079/86400
c Decision: 489/1661	Time: 642.17/86400
c Decision: 489/1661	Time: 645.013/86400
c Decision: 489/1661	Time: 648.261/86400
c Decision: 489/1661	Time: 650.824/86400
c Decision: 489/1661	Time: 653.791/86400
c Decision: 489/1661	Time: 656.771/86400
c Decision: 489/1661	Time: 659.761/86400
c Decision: 489/1661	Time: 662.606/86400
c Decision: 489/1661	Time: 665.39/86400
c Decision: 489/1661	Time: 667.832/86400
c Decision: 489/1661	Time: 670.645/86400
c Decision: 489/1661	Time: 673.286/86400
c Decision: 489/1661	Time: 676.673/86400
c Decision: 489/1661	Time: 679.598/86400
c Decision: 489/1661	Time: 682.631/86400
c Decision: 489/1661	Time: 685.489/86400
c Decision: 489/1661	Time: 688.428/86400
c Decision: 489/1661	Time: 692.101/86400
c Decision: 489/1661	Time: 695.128/86400
c Decision: 489/1661	Time: 698.108/86400
c Decision: 489/1661	Time: 701.312/86400
c Decision: 489/1661	Time: 704.194/86400
c Decision: 489/1661	Time: 707.955/86400
c Decision: 489/1661	Time: 711.04/86400
c Decision: 489/1661	Time: 713.744/86400
c Decision: 489/1661	Time: 716.179/86400
c Decision: 489/1661	Time: 719.383/86400
c Decision: 489/1661	Time: 722.883/86400
c Decision: 489/1661	Time: 726.324/86400
c Decision: 489/1661	Time: 729.692/86400
c Decision: 489/1661	Time: 733.08/86400
c Decision: 489/1661	Time: 736.024/86400
c Decision: 489/1661	Time: 739.544/86400
c Decision: 489/1661	Time: 742.647/86400
c Decision: 489/1661	Time: 745.626/86400
c Decision: 489/1661	Time: 749.087/86400
c Decision: 489/1661	Time: 752.008/86400
c Decision: 489/1661	Time: 755.478/86400
c Decision: 489/1661	Time: 758.577/86400
c Decision: 489/1661	Time: 761.808/86400
c Decision: 489/1661	Time: 764.893/86400
c Decision: 489/1661	Time: 768.263/86400
c Decision: 489/1661	Time: 771.924/86400
c Decision: 489/1661	Time: 775.076/86400
c Decision: 489/1661	Time: 777.877/86400
c Decision: 489/1661	Time: 780.597/86400
c Decision: 489/1661	Time: 783.482/86400
c Decision: 489/1661	Time: 787.029/86400
c Decision: 489/1661	Time: 790.492/86400
c Decision: 489/1661	Time: 793.701/86400
c Decision: 489/1661	Time: 796.956/86400
c Decision: 489/1661	Time: 800.158/86400
c Decision: 489/1661	Time: 803.739/86400
c Decision: 489/1661	Time: 806.828/86400
c Decision: 489/1661	Time: 809.915/86400
c Decision: 489/1661	Time: 813.362/86400
c Decision: 489/1661	Time: 816.338/86400
c Decision: 489/1661	Time: 819.655/86400
c Decision: 489/1661	Time: 822.952/86400
c Decision: 489/1661	Time: 825.953/86400
c Decision: 489/1661	Time: 828.958/86400
c Decision: 489/1661	Time: 832.366/86400
c Decision: 489/1661	Time: 835.923/86400
c Decision: 512/1661	Time: 841.128/86400
c Decision: 589/1661	Time: 846.914/86400
c Decision: 589/1661	Time: 849.085/86400
c Decision: 589/1661	Time: 850.901/86400
c Decision: 589/1661	Time: 853.13/86400
c Decision: 589/1661	Time: 855.327/86400
c Decision: 589/1661	Time: 857.402/86400
c Decision: 589/1661	Time: 859.484/86400
c Decision: 589/1661	Time: 861.765/86400
c Decision: 589/1661	Time: 864.024/86400
c Decision: 589/1661	Time: 866.34/86400
c Decision: 589/1661	Time: 868.661/86400
c Decision: 589/1661	Time: 870.88/86400
c Decision: 589/1661	Time: 873.576/86400
c Decision: 589/1661	Time: 875.971/86400
c Decision: 589/1661	Time: 878.314/86400
c Decision: 589/1661	Time: 880.805/86400
c Decision: 589/1661	Time: 883.224/86400
c Decision: 589/1661	Time: 885.721/86400
c Decision: 589/1661	Time: 888.248/86400
c Decision: 589/1661	Time: 890.586/86400
c Decision: 589/1661	Time: 893.148/86400
c Decision: 589/1661	Time: 896.324/86400
c Decision: 589/1661	Time: 899.164/86400
c Decision: 589/1661	Time: 902.009/86400s SATISFIABLE
v V0001_bit0 V0002_bit0 V0003_bit0 V0004_bit0 -V0005_bit0 V0006_bit0 V0007_bit0 V0008_bit0 -V0009_bit0 V0010_bit0 V0011_bit0 -V0012_bit0 V0013_bit0 -V0014_bit0 V0015_bit0 V0016_bit0 V0017_bit0 -V0018_bit0 -V0019_bit0 -V0020_bit0 V0021_bit0 V0022_bit0 V0023_bit0 V0024_bit0 V0025_bit0 V0026_bit0 V0027_bit0 -V0028_bit0 -V0029_bit0 V0030_bit0 -V0031_bit0 -V0032_bit0 V0033_bit0 V0034_bit0 V0035_bit0 -V0036_bit0 V0037_bit0 -V0038_bit0 V0039_bit0 -V0040_bit0 V0041_bit0 V0042_bit0 V0043_bit0 V0044_bit0 -V0045_bit0

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22129062 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 373 2 364 364 0 9 0
[pid=10094] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-stein45.opb

[startup+10.0023 s]
Raw data (loadavg): 0.92 0.94 0.91 2/55 10094
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 992 0 0 0 932 25 0 0 25 0 1 0 22129062 5713920 823 4294967295 134512640 135987407 3221224560 3221223104 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 1395 823 364 364 0 1031 0
[pid=10094] vsize: 5580
Current children cumulated CPU time (s) 9.57
Current children cumulated vsize (Kb) 5580

[startup+20.0042 s]
Raw data (loadavg): 0.93 0.94 0.91 2/55 10094
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 1340 0 0 0 1885 42 0 0 25 0 1 0 22129062 6254592 1171 4294967295 134512640 135987407 3221224560 3221223104 134811915 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 1527 1171 364 364 0 1163 0
[pid=10094] vsize: 6108
Current children cumulated CPU time (s) 19.27
Current children cumulated vsize (Kb) 6108

[startup+30.0051 s]
Raw data (loadavg): 0.94 0.94 0.91 2/55 10094
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 1791 0 0 0 2848 57 0 0 25 0 1 0 22129062 9555968 1429 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 2333 1429 364 364 0 1969 0
[pid=10094] vsize: 9332
Current children cumulated CPU time (s) 29.05
Current children cumulated vsize (Kb) 9332

[startup+40.0051 s]
Raw data (loadavg): 0.95 0.94 0.91 2/55 10094
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 1996 0 0 0 3818 68 0 0 25 0 1 0 22129062 9846784 1634 4294967295 134512640 135987407 3221224560 3221223104 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 2404 1634 364 364 0 2040 0
[pid=10094] vsize: 9616
Current children cumulated CPU time (s) 38.86
Current children cumulated vsize (Kb) 9616

[startup+50.006 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 10094
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 2222 0 0 0 4786 78 0 0 25 0 1 0 22129062 10326016 1860 4294967295 134512640 135987407 3221224560 3221223104 134788831 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 2521 1860 364 364 0 2157 0
[pid=10094] vsize: 10084
Current children cumulated CPU time (s) 48.64
Current children cumulated vsize (Kb) 10084

[startup+60.0059 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 10094
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 2400 0 0 0 5759 88 0 0 25 0 1 0 22129062 10473472 2038 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 2557 2038 364 364 0 2193 0
[pid=10094] vsize: 10228
Current children cumulated CPU time (s) 58.47
Current children cumulated vsize (Kb) 10228

[startup+70.0079 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 10094
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 2635 0 0 0 6731 98 0 0 25 0 1 0 22129062 10985472 2273 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 2682 2273 364 364 0 2318 0
[pid=10094] vsize: 10728
Current children cumulated CPU time (s) 68.29
Current children cumulated vsize (Kb) 10728

[startup+80.0088 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 10094
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 2803 0 0 0 7707 107 0 0 25 0 1 0 22129062 15511552 2441 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 3787 2441 364 364 0 3423 0
[pid=10094] vsize: 15148
Current children cumulated CPU time (s) 78.14
Current children cumulated vsize (Kb) 15148

[startup+90.0087 s]
Raw data (loadavg): 1.06 0.97 0.92 2/55 10149
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 2945 0 0 0 8680 118 0 0 25 0 1 0 22129062 15511552 2583 4294967295 134512640 135987407 3221224560 3221223240 134812453 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10094/statm): 3787 2583 364 364 0 3423 0
[pid=10094] vsize: 15148
Current children cumulated CPU time (s) 87.98
Current children cumulated vsize (Kb) 15148

[startup+100.01 s]
Raw data (loadavg): 1.05 0.97 0.92 2/55 10149
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 3522 0 0 0 9655 127 0 0 25 0 1 0 22129062 17510400 2775 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 4275 2775 364 364 0 3911 0
[pid=10094] vsize: 17100
Current children cumulated CPU time (s) 97.82
Current children cumulated vsize (Kb) 17100

[startup+110.011 s]
Raw data (loadavg): 1.04 0.97 0.92 2/55 10149
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 3694 0 0 0 10632 136 0 0 25 0 1 0 22129062 17793024 2947 4294967295 134512640 135987407 3221224560 3221222976 135480413 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 4344 2947 364 364 0 3980 0
[pid=10094] vsize: 17376
Current children cumulated CPU time (s) 107.68
Current children cumulated vsize (Kb) 17376

[startup+120.013 s]
Raw data (loadavg): 1.03 0.97 0.92 2/55 10149
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 3877 0 0 0 11611 144 0 0 25 0 1 0 22129062 18219008 3130 4294967295 134512640 135987407 3221224560 3221223104 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 4448 3130 364 364 0 4084 0
[pid=10094] vsize: 17792
Current children cumulated CPU time (s) 117.55
Current children cumulated vsize (Kb) 17792

[startup+130.013 s]
Raw data (loadavg): 1.03 0.97 0.92 2/55 10149
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 4021 0 0 0 12590 151 0 0 25 0 1 0 22129062 18354176 3274 4294967295 134512640 135987407 3221224560 3221223280 134812703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 4481 3274 364 364 0 4117 0
[pid=10094] vsize: 17924
Current children cumulated CPU time (s) 127.41
Current children cumulated vsize (Kb) 17924

[startup+140.013 s]
Raw data (loadavg): 1.02 0.97 0.92 2/55 10151
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 4118 0 0 0 13567 161 0 0 25 0 1 0 22129062 18599936 3371 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 4541 3371 364 364 0 4177 0
[pid=10094] vsize: 18164
Current children cumulated CPU time (s) 137.28
Current children cumulated vsize (Kb) 18164

[startup+150.014 s]
Raw data (loadavg): 1.02 0.97 0.92 2/55 10153
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 4235 0 0 0 14547 167 0 0 25 0 1 0 22129062 18599936 3488 4294967295 134512640 135987407 3221224560 3221223104 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 4541 3488 364 364 0 4177 0
[pid=10094] vsize: 18164
Current children cumulated CPU time (s) 147.14
Current children cumulated vsize (Kb) 18164

[startup+160.014 s]
Raw data (loadavg): 1.02 0.97 0.92 2/55 10155
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 4379 0 0 0 15527 175 0 0 25 0 1 0 22129062 18948096 3632 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 4626 3632 364 364 0 4262 0
[pid=10094] vsize: 18504
Current children cumulated CPU time (s) 157.02
Current children cumulated vsize (Kb) 18504

[startup+170.014 s]
Raw data (loadavg): 1.01 0.97 0.92 2/55 10155
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 4496 0 0 0 16506 181 0 0 25 0 1 0 22129062 18948096 3749 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 4626 3749 364 364 0 4262 0
[pid=10094] vsize: 18504
Current children cumulated CPU time (s) 166.87
Current children cumulated vsize (Kb) 18504

[startup+180.015 s]
Raw data (loadavg): 1.01 0.97 0.92 2/55 10155
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 4625 0 0 0 17487 188 0 0 25 0 1 0 22129062 19218432 3878 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 4692 3878 364 364 0 4328 0
[pid=10094] vsize: 18768
Current children cumulated CPU time (s) 176.75
Current children cumulated vsize (Kb) 18768

[startup+190.016 s]
Raw data (loadavg): 1.01 0.97 0.92 2/55 10155
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 4740 0 0 0 18468 196 0 0 25 0 1 0 22129062 19218432 3993 4294967295 134512640 135987407 3221224560 3221223104 134811915 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 4692 3993 364 364 0 4328 0
[pid=10094] vsize: 18768
Current children cumulated CPU time (s) 186.64
Current children cumulated vsize (Kb) 18768

[startup+200.017 s]
Raw data (loadavg): 1.01 0.97 0.92 2/55 10155
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 4885 0 0 0 19449 202 0 0 25 0 1 0 22129062 19554304 4138 4294967295 134512640 135987407 3221224560 3221223104 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 4774 4138 364 364 0 4410 0
[pid=10094] vsize: 19096
Current children cumulated CPU time (s) 196.51
Current children cumulated vsize (Kb) 19096

[startup+210.017 s]
Raw data (loadavg): 1.00 0.97 0.92 1/55 10155
Raw data (/proc/10094/stat): 10094 (pb2sat) T 10093 10094 4005 0 -1 0 5002 0 0 0 20431 209 0 0 25 0 1 0 22129062 28155904 4255 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10094/statm): 6874 4255 364 364 0 6510 0
[pid=10094] vsize: 27496
Current children cumulated CPU time (s) 206.4
Current children cumulated vsize (Kb) 27496

[startup+220.018 s]
Raw data (loadavg): 1.00 0.97 0.92 2/55 10155
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 5308 0 0 0 21409 218 0 0 25 0 1 0 22129062 29102080 4561 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 7105 4561 364 364 0 6741 0
[pid=10094] vsize: 28420
Current children cumulated CPU time (s) 216.27
Current children cumulated vsize (Kb) 28420

[startup+230.019 s]
Raw data (loadavg): 1.00 0.97 0.92 2/55 10155
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 5334 0 0 0 22389 226 0 0 25 0 1 0 22129062 29102080 4587 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 7105 4587 364 364 0 6741 0
[pid=10094] vsize: 28420
Current children cumulated CPU time (s) 226.15
Current children cumulated vsize (Kb) 28420

[startup+240.019 s]
Raw data (loadavg): 1.00 0.97 0.92 2/55 10155
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 5357 0 0 0 23368 233 0 0 25 0 1 0 22129062 29102080 4610 4294967295 134512640 135987407 3221224560 3221223200 134812358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 7105 4610 364 364 0 6741 0
[pid=10094] vsize: 28420
Current children cumulated CPU time (s) 236.01
Current children cumulated vsize (Kb) 28420

[startup+250.02 s]
Raw data (loadavg): 1.00 0.97 0.92 2/55 10155
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 5579 0 0 0 24348 242 0 0 25 0 1 0 22129062 29913088 4832 4294967295 134512640 135987407 3221224560 3221223136 134814120 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 7303 4832 364 364 0 6939 0
[pid=10094] vsize: 29212
Current children cumulated CPU time (s) 245.9
Current children cumulated vsize (Kb) 29212

[startup+260.021 s]
Raw data (loadavg): 1.00 0.97 0.92 2/55 10155
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 5616 0 0 0 25330 248 0 0 25 0 1 0 22129062 30044160 4869 4294967295 134512640 135987407 3221224560 3221223104 134811829 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 7335 4869 364 364 0 6971 0
[pid=10094] vsize: 29340
Current children cumulated CPU time (s) 255.78
Current children cumulated vsize (Kb) 29340

[startup+270.021 s]
Raw data (loadavg): 1.08 0.99 0.92 2/55 10155
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 5869 0 0 0 26310 257 0 0 25 0 1 0 22129062 30990336 5122 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 7566 5122 364 364 0 7202 0
[pid=10094] vsize: 30264
Current children cumulated CPU time (s) 265.67
Current children cumulated vsize (Kb) 30264

[startup+280.022 s]
Raw data (loadavg): 1.07 0.99 0.92 2/55 10155
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 6877 0 0 0 27288 267 0 0 25 0 1 0 22129062 35078144 5361 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 8564 5361 364 364 0 8200 0
[pid=10094] vsize: 34256
Current children cumulated CPU time (s) 275.55
Current children cumulated vsize (Kb) 34256

[startup+290.022 s]
Raw data (loadavg): 1.06 0.99 0.92 2/55 10155
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 6933 0 0 0 28248 283 0 0 25 0 1 0 22129062 35078144 5417 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 8564 5417 364 364 0 8200 0
[pid=10094] vsize: 34256
Current children cumulated CPU time (s) 285.31
Current children cumulated vsize (Kb) 34256

[startup+300.023 s]
Raw data (loadavg): 1.05 0.99 0.92 2/55 10155
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 6989 0 0 0 29207 297 0 0 25 0 1 0 22129062 35078144 5473 4294967295 134512640 135987407 3221224560 3221223104 134811741 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 8564 5473 364 364 0 8200 0
[pid=10094] vsize: 34256
Current children cumulated CPU time (s) 295.04
Current children cumulated vsize (Kb) 34256

[startup+310.024 s]
Raw data (loadavg): 1.04 0.99 0.92 2/55 10155
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 7031 0 0 0 30172 309 0 0 25 0 1 0 22129062 35078144 5515 4294967295 134512640 135987407 3221224560 3221223104 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 8564 5515 364 364 0 8200 0
[pid=10094] vsize: 34256
Current children cumulated CPU time (s) 304.81
Current children cumulated vsize (Kb) 34256

[startup+320.025 s]
Raw data (loadavg): 1.03 0.99 0.92 2/55 10155
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 7080 0 0 0 31140 322 0 0 25 0 1 0 22129062 35213312 5564 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 8597 5564 364 364 0 8233 0
[pid=10094] vsize: 34388
Current children cumulated CPU time (s) 314.62
Current children cumulated vsize (Kb) 34388

[startup+330.026 s]
Raw data (loadavg): 1.03 0.99 0.92 2/55 10155
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 7135 0 0 0 32113 331 0 0 25 0 1 0 22129062 35381248 5619 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 8638 5619 364 364 0 8274 0
[pid=10094] vsize: 34552
Current children cumulated CPU time (s) 324.44
Current children cumulated vsize (Kb) 34552

[startup+340.026 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 10155
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 7191 0 0 0 33087 339 0 0 25 0 1 0 22129062 35536896 5675 4294967295 134512640 135987407 3221224560 3221223104 134811920 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 8676 5675 364 364 0 8312 0
[pid=10094] vsize: 34704
Current children cumulated CPU time (s) 334.26
Current children cumulated vsize (Kb) 34704

[startup+350.027 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 10155
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 7237 0 0 0 34060 348 0 0 25 0 1 0 22129062 35536896 5721 4294967295 134512640 135987407 3221224560 3221223104 134811850 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 8676 5721 364 364 0 8312 0
[pid=10094] vsize: 34704
Current children cumulated CPU time (s) 344.08
Current children cumulated vsize (Kb) 34704

[startup+360.028 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 10155
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 7285 0 0 0 35036 357 0 0 25 0 1 0 22129062 35713024 5769 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 8719 5769 364 364 0 8355 0
[pid=10094] vsize: 34876
Current children cumulated CPU time (s) 353.93
Current children cumulated vsize (Kb) 34876

[startup+370.029 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 10155
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 7329 0 0 0 36016 364 0 0 25 0 1 0 22129062 35876864 5813 4294967295 134512640 135987407 3221224560 3221223104 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 8759 5813 364 364 0 8395 0
[pid=10094] vsize: 35036
Current children cumulated CPU time (s) 363.8
Current children cumulated vsize (Kb) 35036

[startup+380.03 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 10155
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 7366 0 0 0 36996 371 0 0 25 0 1 0 22129062 35876864 5850 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 8759 5850 364 364 0 8395 0
[pid=10094] vsize: 35036
Current children cumulated CPU time (s) 373.67
Current children cumulated vsize (Kb) 35036

[startup+390.031 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 10155
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 7411 0 0 0 37978 377 0 0 25 0 1 0 22129062 36012032 5895 4294967295 134512640 135987407 3221224560 3221223104 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 8792 5895 364 364 0 8428 0
[pid=10094] vsize: 35168
Current children cumulated CPU time (s) 383.55
Current children cumulated vsize (Kb) 35168

[startup+400.032 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 10155
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 7437 0 0 0 38959 383 0 0 25 0 1 0 22129062 36012032 5921 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 8792 5921 364 364 0 8428 0
[pid=10094] vsize: 35168
Current children cumulated CPU time (s) 393.42
Current children cumulated vsize (Kb) 35168

[startup+410.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10155
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 7459 0 0 0 39941 390 0 0 25 0 1 0 22129062 36012032 5943 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 8792 5943 364 364 0 8428 0
[pid=10094] vsize: 35168
Current children cumulated CPU time (s) 403.31
Current children cumulated vsize (Kb) 35168

[startup+420.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 7502 0 0 0 40923 395 0 0 25 0 1 0 22129062 36208640 5986 4294967295 134512640 135987407 3221224560 3221223104 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 8840 5986 364 364 0 8476 0
[pid=10094] vsize: 35360
Current children cumulated CPU time (s) 413.18
Current children cumulated vsize (Kb) 35360

[startup+430.032 s]
Raw data (loadavg): 1.08 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 7554 0 0 0 41909 400 0 0 25 0 1 0 22129062 36368384 6038 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 8879 6038 364 364 0 8515 0
[pid=10094] vsize: 35516
Current children cumulated CPU time (s) 423.09
Current children cumulated vsize (Kb) 35516

[startup+440.032 s]
Raw data (loadavg): 1.07 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 7618 0 0 0 42889 408 0 0 25 0 1 0 22129062 36597760 6102 4294967295 134512640 135987407 3221224560 3221223104 134811912 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10094/statm): 8935 6102 364 364 0 8571 0
[pid=10094] vsize: 35740
Current children cumulated CPU time (s) 432.97
Current children cumulated vsize (Kb) 35740

[startup+450.033 s]
Raw data (loadavg): 1.06 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 7701 0 0 0 43872 413 0 0 25 0 1 0 22129062 36597760 6185 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 8935 6185 364 364 0 8571 0
[pid=10094] vsize: 35740
Current children cumulated CPU time (s) 442.85
Current children cumulated vsize (Kb) 35740

[startup+460.034 s]
Raw data (loadavg): 1.05 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 7851 0 0 0 44854 421 0 0 25 0 1 0 22129062 36790272 6335 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 8982 6335 364 364 0 8618 0
[pid=10094] vsize: 35928
Current children cumulated CPU time (s) 452.75
Current children cumulated vsize (Kb) 35928

[startup+470.034 s]
Raw data (loadavg): 1.04 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 8016 0 0 0 45835 427 0 0 25 0 1 0 22129062 36999168 6500 4294967295 134512640 135987407 3221224560 3221223136 134814101 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 9033 6500 364 364 0 8669 0
[pid=10094] vsize: 36132
Current children cumulated CPU time (s) 462.62
Current children cumulated vsize (Kb) 36132

[startup+480.035 s]
Raw data (loadavg): 1.03 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 8155 0 0 0 46818 433 0 0 25 0 1 0 22129062 37384192 6639 4294967295 134512640 135987407 3221224560 3221223104 134811832 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 9127 6639 364 364 0 8763 0
[pid=10094] vsize: 36508
Current children cumulated CPU time (s) 472.51
Current children cumulated vsize (Kb) 36508

[startup+490.036 s]
Raw data (loadavg): 1.03 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 8244 0 0 0 47804 439 0 0 25 0 1 0 22129062 37384192 6728 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 9127 6728 364 364 0 8763 0
[pid=10094] vsize: 36508
Current children cumulated CPU time (s) 482.43
Current children cumulated vsize (Kb) 36508

[startup+500.037 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 8344 0 0 0 48787 445 0 0 25 0 1 0 22129062 37384192 6828 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 9127 6828 364 364 0 8763 0
[pid=10094] vsize: 36508
Current children cumulated CPU time (s) 492.32
Current children cumulated vsize (Kb) 36508

[startup+510.037 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 8451 0 0 0 49770 451 0 0 25 0 1 0 22129062 37543936 6935 4294967295 134512640 135987407 3221224560 3221223232 134824256 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 9166 6935 364 364 0 8802 0
[pid=10094] vsize: 36664
Current children cumulated CPU time (s) 502.21
Current children cumulated vsize (Kb) 36664

[startup+520.037 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 8607 0 0 0 50750 458 0 0 25 0 1 0 22129062 37928960 7091 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 9260 7091 364 364 0 8896 0
[pid=10094] vsize: 37040
Current children cumulated CPU time (s) 512.08
Current children cumulated vsize (Kb) 37040

[startup+530.038 s]
Raw data (loadavg): 1.01 1.00 0.93 1/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) T 10093 10094 4005 0 -1 0 8725 0 0 0 51737 462 0 0 25 0 1 0 22129062 38060032 7176 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10094/statm): 9292 7176 364 364 0 8928 0
[pid=10094] vsize: 37168
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (Kb) 37168

[startup+540.038 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 8799 0 0 0 52722 468 0 0 25 0 1 0 22129062 38060032 7250 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 9292 7250 364 364 0 8928 0
[pid=10094] vsize: 37168
Current children cumulated CPU time (s) 531.9
Current children cumulated vsize (Kb) 37168

[startup+550.039 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 8907 0 0 0 53706 473 0 0 25 0 1 0 22129062 38227968 7358 4294967295 134512640 135987407 3221224560 3221223104 134811901 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 9333 7358 364 364 0 8969 0
[pid=10094] vsize: 37332
Current children cumulated CPU time (s) 541.79
Current children cumulated vsize (Kb) 37332

[startup+560.04 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 9051 0 0 0 54688 480 0 0 25 0 1 0 22129062 38494208 7469 4294967295 134512640 135987407 3221224560 3221223104 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 9398 7469 364 364 0 9034 0
[pid=10094] vsize: 37592
Current children cumulated CPU time (s) 551.68
Current children cumulated vsize (Kb) 37592

[startup+570.04 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 9167 0 0 0 55672 486 0 0 25 0 1 0 22129062 38670336 7585 4294967295 134512640 135987407 3221224560 3221223104 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 9441 7585 364 364 0 9077 0
[pid=10094] vsize: 37764
Current children cumulated CPU time (s) 561.58
Current children cumulated vsize (Kb) 37764

[startup+580.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 9289 0 0 0 56656 493 0 0 25 0 1 0 22129062 39137280 7707 4294967295 134512640 135987407 3221224560 3221223104 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 9555 7707 364 364 0 9191 0
[pid=10094] vsize: 38220
Current children cumulated CPU time (s) 571.49
Current children cumulated vsize (Kb) 38220

[startup+590.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 9332 0 0 0 57637 499 0 0 25 0 1 0 22129062 39137280 7750 4294967295 134512640 135987407 3221224560 3221223104 134811910 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 9555 7750 364 364 0 9191 0
[pid=10094] vsize: 38220
Current children cumulated CPU time (s) 581.36
Current children cumulated vsize (Kb) 38220

[startup+600.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 9463 0 0 0 58619 506 0 0 25 0 1 0 22129062 39337984 7881 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 9604 7881 364 364 0 9240 0
[pid=10094] vsize: 38416
Current children cumulated CPU time (s) 591.25
Current children cumulated vsize (Kb) 38416

[startup+610.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 9621 0 0 0 59601 512 0 0 25 0 1 0 22129062 39968768 8006 4294967295 134512640 135987407 3221224560 3221222876 135481570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 9758 8006 364 364 0 9394 0
[pid=10094] vsize: 39032
Current children cumulated CPU time (s) 601.13
Current children cumulated vsize (Kb) 39032

[startup+620.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 9686 0 0 0 60585 519 0 0 25 0 1 0 22129062 39968768 8071 4294967295 134512640 135987407 3221224560 3221223136 134814275 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 9758 8071 364 364 0 9394 0
[pid=10094] vsize: 39032
Current children cumulated CPU time (s) 611.04
Current children cumulated vsize (Kb) 39032

[startup+630.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 9800 0 0 0 61570 524 0 0 25 0 1 0 22129062 40169472 8185 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 9807 8185 364 364 0 9443 0
[pid=10094] vsize: 39228
Current children cumulated CPU time (s) 620.94
Current children cumulated vsize (Kb) 39228

[startup+640.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 9921 0 0 0 62556 529 0 0 25 0 1 0 22129062 40554496 8306 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 9901 8306 364 364 0 9537 0
[pid=10094] vsize: 39604
Current children cumulated CPU time (s) 630.85
Current children cumulated vsize (Kb) 39604

[startup+650.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 9983 0 0 0 63541 534 0 0 25 0 1 0 22129062 40554496 8368 4294967295 134512640 135987407 3221224560 3221223104 134811800 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 9901 8368 364 364 0 9537 0
[pid=10094] vsize: 39604
Current children cumulated CPU time (s) 640.75
Current children cumulated vsize (Kb) 39604

[startup+660.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 11624 0 0 0 64526 542 0 0 25 0 1 0 22129062 46997504 8472 4294967295 134512640 135987407 3221224560 3221223104 134788812 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 11474 8472 364 364 0 11110 0
[pid=10094] vsize: 45896
Current children cumulated CPU time (s) 650.68
Current children cumulated vsize (Kb) 45896

[startup+670.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 11709 0 0 0 65509 547 0 0 25 0 1 0 22129062 46997504 8557 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 11474 8557 364 364 0 11110 0
[pid=10094] vsize: 45896
Current children cumulated CPU time (s) 660.56
Current children cumulated vsize (Kb) 45896

[startup+680.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 11804 0 0 0 66494 553 0 0 25 0 1 0 22129062 47255552 8652 4294967295 134512640 135987407 3221224560 3221223136 134814142 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 11537 8652 364 364 0 11173 0
[pid=10094] vsize: 46148
Current children cumulated CPU time (s) 670.47
Current children cumulated vsize (Kb) 46148

[startup+690.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 11877 0 0 0 67481 559 0 0 25 0 1 0 22129062 47255552 8725 4294967295 134512640 135987407 3221224560 3221223104 134812197 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 11537 8725 364 364 0 11173 0
[pid=10094] vsize: 46148
Current children cumulated CPU time (s) 680.4
Current children cumulated vsize (Kb) 46148

[startup+700.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 11987 0 0 0 68465 564 0 0 25 0 1 0 22129062 47398912 8835 4294967295 134512640 135987407 3221224560 3221223104 134788738 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 11572 8835 364 364 0 11208 0
[pid=10094] vsize: 46288
Current children cumulated CPU time (s) 690.29
Current children cumulated vsize (Kb) 46288

[startup+710.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 12083 0 0 0 69451 569 0 0 25 0 1 0 22129062 47665152 8931 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 11637 8931 364 364 0 11273 0
[pid=10094] vsize: 46548
Current children cumulated CPU time (s) 700.2
Current children cumulated vsize (Kb) 46548

[startup+720.047 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) T 10093 10094 4005 0 -1 0 12182 0 0 0 70438 574 0 0 25 0 1 0 22129062 47923200 9030 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10094/statm): 11700 9030 364 364 0 11336 0
[pid=10094] vsize: 46800
Current children cumulated CPU time (s) 710.12
Current children cumulated vsize (Kb) 46800

[startup+730.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 12267 0 0 0 71421 581 0 0 25 0 1 0 22129062 47923200 9115 4294967295 134512640 135987407 3221224560 3221223104 134811832 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 11700 9115 364 364 0 11336 0
[pid=10094] vsize: 46800
Current children cumulated CPU time (s) 720.02
Current children cumulated vsize (Kb) 46800

[startup+740.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 12345 0 0 0 72406 586 0 0 25 0 1 0 22129062 48119808 9144 4294967295 134512640 135987407 3221224560 3221222992 134788918 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 11748 9144 364 364 0 11384 0
[pid=10094] vsize: 46992
Current children cumulated CPU time (s) 729.92
Current children cumulated vsize (Kb) 46992

[startup+750.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 12361 0 0 0 73392 591 0 0 25 0 1 0 22129062 48119808 9160 4294967295 134512640 135987407 3221224560 3221223104 134812126 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 11748 9160 364 364 0 11384 0
[pid=10094] vsize: 46992
Current children cumulated CPU time (s) 739.83
Current children cumulated vsize (Kb) 46992

[startup+760.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 12407 0 0 0 74378 595 0 0 25 0 1 0 22129062 48119808 9206 4294967295 134512640 135987407 3221224560 3221223104 134811933 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 11748 9206 364 364 0 11384 0
[pid=10094] vsize: 46992
Current children cumulated CPU time (s) 749.73
Current children cumulated vsize (Kb) 46992

[startup+770.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 12471 0 0 0 75365 601 0 0 25 0 1 0 22129062 48254976 9270 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 11781 9270 364 364 0 11417 0
[pid=10094] vsize: 47124
Current children cumulated CPU time (s) 759.66
Current children cumulated vsize (Kb) 47124

[startup+780.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) T 10093 10094 4005 0 -1 0 12581 0 0 0 76353 604 0 0 25 0 1 0 22129062 48590848 9380 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222298933 0 0 17 1 0 0
Raw data (/proc/10094/statm): 11863 9380 364 364 0 11499 0
[pid=10094] vsize: 47452
Current children cumulated CPU time (s) 769.57
Current children cumulated vsize (Kb) 47452

[startup+790.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 12669 0 0 0 77338 610 0 0 25 0 1 0 22129062 48590848 9468 4294967295 134512640 135987407 3221224560 3221223104 134811768 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 11863 9468 364 364 0 11499 0
[pid=10094] vsize: 47452
Current children cumulated CPU time (s) 779.48
Current children cumulated vsize (Kb) 47452

[startup+800.053 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) T 10093 10094 4005 0 -1 0 12745 0 0 0 78324 615 0 0 25 0 1 0 22129062 48590848 9544 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10094/statm): 11863 9544 364 364 0 11499 0
[pid=10094] vsize: 47452
Current children cumulated CPU time (s) 789.39
Current children cumulated vsize (Kb) 47452

[startup+810.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 12819 0 0 0 79311 619 0 0 25 0 1 0 22129062 48590848 9618 4294967295 134512640 135987407 3221224560 3221223104 134811927 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 11863 9618 364 364 0 11499 0
[pid=10094] vsize: 47452
Current children cumulated CPU time (s) 799.3
Current children cumulated vsize (Kb) 47452

[startup+820.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 12915 0 0 0 80297 624 0 0 25 0 1 0 22129062 48590848 9714 4294967295 134512640 135987407 3221224560 3221223136 134813813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 11863 9714 364 364 0 11499 0
[pid=10094] vsize: 47452
Current children cumulated CPU time (s) 809.21
Current children cumulated vsize (Kb) 47452

[startup+830.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 12982 0 0 0 81283 629 0 0 25 0 1 0 22129062 48775168 9781 4294967295 134512640 135987407 3221224560 3221223104 134811827 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 11908 9781 364 364 0 11544 0
[pid=10094] vsize: 47632
Current children cumulated CPU time (s) 819.12
Current children cumulated vsize (Kb) 47632

[startup+840.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 13069 0 0 0 82268 634 0 0 25 0 1 0 22129062 65552384 9868 4294967295 134512640 135987407 3221224560 3221223104 134811873 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 16004 9868 364 364 0 15640 0
[pid=10094] vsize: 64016
Current children cumulated CPU time (s) 829.02
Current children cumulated vsize (Kb) 64016

[startup+850.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 13146 0 0 0 83255 639 0 0 25 0 1 0 22129062 65552384 9945 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 16004 9945 364 364 0 15640 0
[pid=10094] vsize: 64016
Current children cumulated CPU time (s) 838.94
Current children cumulated vsize (Kb) 64016

[startup+860.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 13248 0 0 0 84242 645 0 0 25 0 1 0 22129062 65802240 10047 4294967295 134512640 135987407 3221224560 3221223104 134811832 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 16065 10047 364 364 0 15701 0
[pid=10094] vsize: 64260
Current children cumulated CPU time (s) 848.87
Current children cumulated vsize (Kb) 64260

[startup+870.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 13330 0 0 0 85228 650 0 0 25 0 1 0 22129062 65802240 10129 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 16065 10129 364 364 0 15701 0
[pid=10094] vsize: 64260
Current children cumulated CPU time (s) 858.78
Current children cumulated vsize (Kb) 64260

[startup+880.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 13417 0 0 0 86214 657 0 0 25 0 1 0 22129062 65921024 10216 4294967295 134512640 135987407 3221224560 3221223104 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 16094 10216 364 364 0 15730 0
[pid=10094] vsize: 64376
Current children cumulated CPU time (s) 868.71
Current children cumulated vsize (Kb) 64376

[startup+890.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 13500 0 0 0 87203 660 0 0 25 0 1 0 22129062 65921024 10299 4294967295 134512640 135987407 3221224560 3221223168 134801164 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 16094 10299 364 364 0 15730 0
[pid=10094] vsize: 64376
Current children cumulated CPU time (s) 878.63
Current children cumulated vsize (Kb) 64376

[startup+900.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 13555 0 0 0 88190 666 0 0 25 0 1 0 22129062 66052096 10354 4294967295 134512640 135987407 3221224560 3221223104 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 16126 10354 364 364 0 15762 0
[pid=10094] vsize: 64504
Current children cumulated CPU time (s) 888.56
Current children cumulated vsize (Kb) 64504

[startup+910.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 13616 0 0 0 89177 669 0 0 25 0 1 0 22129062 66199552 10378 4294967295 134512640 135987407 3221224560 3221223104 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 16162 10378 364 364 0 15798 0
[pid=10094] vsize: 64648
Current children cumulated CPU time (s) 898.46
Current children cumulated vsize (Kb) 64648

[startup+920.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 14087 0 0 0 90162 676 0 0 25 0 1 0 22129062 67944448 10849 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 16588 10849 364 364 0 16224 0
[pid=10094] vsize: 66352
Current children cumulated CPU time (s) 908.38
Current children cumulated vsize (Kb) 66352

[startup+930.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 14119 0 0 0 91146 682 0 0 25 0 1 0 22129062 67944448 10881 4294967295 134512640 135987407 3221224560 3221223264 134812761 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 16588 10881 364 364 0 16224 0
[pid=10094] vsize: 66352
Current children cumulated CPU time (s) 918.28
Current children cumulated vsize (Kb) 66352

[startup+940.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 14134 0 0 0 92131 687 0 0 25 0 1 0 22129062 67944448 10896 4294967295 134512640 135987407 3221224560 3221223104 134811879 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 16588 10896 364 364 0 16224 0
[pid=10094] vsize: 66352
Current children cumulated CPU time (s) 928.18
Current children cumulated vsize (Kb) 66352

[startup+950.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 14147 0 0 0 93117 692 0 0 25 0 1 0 22129062 67944448 10909 4294967295 134512640 135987407 3221224560 3221223104 134811988 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 16588 10909 364 364 0 16224 0
[pid=10094] vsize: 66352
Current children cumulated CPU time (s) 938.09
Current children cumulated vsize (Kb) 66352

[startup+960.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 14162 0 0 0 94103 698 0 0 25 0 1 0 22129062 67944448 10924 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 16588 10924 364 364 0 16224 0
[pid=10094] vsize: 66352
Current children cumulated CPU time (s) 948.01
Current children cumulated vsize (Kb) 66352

[startup+970.063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 14176 0 0 0 95088 702 0 0 25 0 1 0 22129062 67944448 10938 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 16588 10938 364 364 0 16224 0
[pid=10094] vsize: 66352
Current children cumulated CPU time (s) 957.9
Current children cumulated vsize (Kb) 66352

[startup+980.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 14191 0 0 0 96073 707 0 0 25 0 1 0 22129062 67944448 10953 4294967295 134512640 135987407 3221224560 3221223104 134811855 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 16588 10953 364 364 0 16224 0
[pid=10094] vsize: 66352
Current children cumulated CPU time (s) 967.8
Current children cumulated vsize (Kb) 66352

[startup+990.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 14206 0 0 0 97059 712 0 0 25 0 1 0 22129062 67944448 10968 4294967295 134512640 135987407 3221224560 3221223104 134811891 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 16588 10968 364 364 0 16224 0
[pid=10094] vsize: 66352
Current children cumulated CPU time (s) 977.71
Current children cumulated vsize (Kb) 66352

[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 14223 0 0 0 98044 717 0 0 25 0 1 0 22129062 67944448 10985 4294967295 134512640 135987407 3221224560 3221223104 134811915 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 16588 10985 364 364 0 16224 0
[pid=10094] vsize: 66352
Current children cumulated CPU time (s) 987.61
Current children cumulated vsize (Kb) 66352

[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) T 10093 10094 4005 0 -1 0 14257 0 0 0 99031 722 0 0 25 0 1 0 22129062 68083712 11019 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10094/statm): 16622 11019 364 364 0 16258 0
[pid=10094] vsize: 66488
Current children cumulated CPU time (s) 997.53
Current children cumulated vsize (Kb) 66488

[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 14293 0 0 0 100018 726 0 0 25 0 1 0 22129062 68288512 11055 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 16672 11055 364 364 0 16308 0
[pid=10094] vsize: 66688
Current children cumulated CPU time (s) 1007.44
Current children cumulated vsize (Kb) 66688

[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 14338 0 0 0 101007 730 0 0 25 0 1 0 22129062 68521984 11100 4294967295 134512640 135987407 3221224560 3221223104 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 16729 11100 364 364 0 16365 0
[pid=10094] vsize: 66916
Current children cumulated CPU time (s) 1017.37
Current children cumulated vsize (Kb) 66916

[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 14363 0 0 0 101994 734 0 0 25 0 1 0 22129062 68521984 11125 4294967295 134512640 135987407 3221224560 3221223136 134814273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 16729 11125 364 364 0 16365 0
[pid=10094] vsize: 66916
Current children cumulated CPU time (s) 1027.28
Current children cumulated vsize (Kb) 66916

[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 14434 0 0 0 102981 739 0 0 25 0 1 0 22129062 68755456 11196 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 16786 11196 364 364 0 16422 0
[pid=10094] vsize: 67144
Current children cumulated CPU time (s) 1037.2
Current children cumulated vsize (Kb) 67144

[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 14450 0 0 0 103967 743 0 0 25 0 1 0 22129062 68755456 11212 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 16786 11212 364 364 0 16422 0
[pid=10094] vsize: 67144
Current children cumulated CPU time (s) 1047.1
Current children cumulated vsize (Kb) 67144

[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 14513 0 0 0 104956 747 0 0 25 0 1 0 22129062 68919296 11234 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 16826 11234 364 364 0 16462 0
[pid=10094] vsize: 67304
Current children cumulated CPU time (s) 1057.03
Current children cumulated vsize (Kb) 67304

[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) T 10093 10094 4005 0 -1 0 14580 0 0 0 105942 752 0 0 25 0 1 0 22129062 69099520 11256 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10094/statm): 16870 11256 364 364 0 16506 0
[pid=10094] vsize: 67480
Current children cumulated CPU time (s) 1066.94
Current children cumulated vsize (Kb) 67480

[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 14595 0 0 0 106930 755 0 0 25 0 1 0 22129062 69099520 11271 4294967295 134512640 135987407 3221224560 3221223104 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 16870 11271 364 364 0 16506 0
[pid=10094] vsize: 67480
Current children cumulated CPU time (s) 1076.85
Current children cumulated vsize (Kb) 67480

[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 14610 0 0 0 107914 760 0 0 25 0 1 0 22129062 69099520 11286 4294967295 134512640 135987407 3221224560 3221223104 134811888 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10094/statm): 16870 11286 364 364 0 16506 0
[pid=10094] vsize: 67480
Current children cumulated CPU time (s) 1086.74
Current children cumulated vsize (Kb) 67480

[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 14626 0 0 0 108902 764 0 0 25 0 1 0 22129062 69099520 11302 4294967295 134512640 135987407 3221224560 3221223104 134811829 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 16870 11302 364 364 0 16506 0
[pid=10094] vsize: 67480
Current children cumulated CPU time (s) 1096.66
Current children cumulated vsize (Kb) 67480

[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 14645 0 0 0 109889 769 0 0 25 0 1 0 22129062 69099520 11321 4294967295 134512640 135987407 3221224560 3221223104 134811937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 16870 11321 364 364 0 16506 0
[pid=10094] vsize: 67480
Current children cumulated CPU time (s) 1106.58
Current children cumulated vsize (Kb) 67480

[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) T 10093 10094 4005 0 -1 0 14735 0 0 0 110875 773 0 0 25 0 1 0 22129062 69234688 11411 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10094/statm): 16903 11411 364 364 0 16539 0
[pid=10094] vsize: 67612
Current children cumulated CPU time (s) 1116.48
Current children cumulated vsize (Kb) 67612

[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 14789 0 0 0 111862 778 0 0 25 0 1 0 22129062 69234688 11465 4294967295 134512640 135987407 3221224560 3221223136 134813744 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 16903 11465 364 364 0 16539 0
[pid=10094] vsize: 67612
Current children cumulated CPU time (s) 1126.4
Current children cumulated vsize (Kb) 67612

[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 14896 0 0 0 112850 782 0 0 25 0 1 0 22129062 69369856 11572 4294967295 134512640 135987407 3221224560 3221223136 134813795 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 16936 11572 364 364 0 16572 0
[pid=10094] vsize: 67744
Current children cumulated CPU time (s) 1136.32
Current children cumulated vsize (Kb) 67744

[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 15344 0 0 0 113835 787 0 0 25 0 1 0 22129062 70991872 12020 4294967295 134512640 135987407 3221224560 3221223104 134811942 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 17332 12020 364 364 0 16968 0
[pid=10094] vsize: 69328
Current children cumulated CPU time (s) 1146.22
Current children cumulated vsize (Kb) 69328

[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 16192 0 0 0 114815 795 0 0 25 0 1 0 22129062 74100736 12868 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 18091 12868 364 364 0 17727 0
[pid=10094] vsize: 72364
Current children cumulated CPU time (s) 1156.1
Current children cumulated vsize (Kb) 72364

[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 16211 0 0 0 115797 800 0 0 25 0 1 0 22129062 74100736 12887 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 18091 12887 364 364 0 17727 0
[pid=10094] vsize: 72364
Current children cumulated CPU time (s) 1165.97
Current children cumulated vsize (Kb) 72364

[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 16229 0 0 0 116779 806 0 0 25 0 1 0 22129062 74100736 12905 4294967295 134512640 135987407 3221224560 3221223104 134811803 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 18091 12905 364 364 0 17727 0
[pid=10094] vsize: 72364
Current children cumulated CPU time (s) 1175.85
Current children cumulated vsize (Kb) 72364

[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 16245 0 0 0 117764 811 0 0 25 0 1 0 22129062 74100736 12921 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 18091 12921 364 364 0 17727 0
[pid=10094] vsize: 72364
Current children cumulated CPU time (s) 1185.75
Current children cumulated vsize (Kb) 72364

[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 16261 0 0 0 118750 815 0 0 25 0 1 0 22129062 74100736 12937 4294967295 134512640 135987407 3221224560 3221223104 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 18091 12937 364 364 0 17727 0
[pid=10094] vsize: 72364
Current children cumulated CPU time (s) 1195.65
Current children cumulated vsize (Kb) 72364

[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 16275 0 0 0 119735 821 0 0 25 0 1 0 22129062 74100736 12951 4294967295 134512640 135987407 3221224560 3221223280 134812703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 18091 12951 364 364 0 17727 0
[pid=10094] vsize: 72364
Current children cumulated CPU time (s) 1205.56
Current children cumulated vsize (Kb) 72364



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10157
Raw data (/proc/10094/stat): 10094 (pb2sat) R 10093 10094 4005 0 -1 0 16275 0 0 0 119735 821 0 0 25 0 1 0 22129062 74100736 12951 4294967295 134512640 135987407 3221224560 3221223280 134812703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10094/statm): 18091 12951 364 364 0 17727 0
[pid=10094] vsize: 72364
Current children cumulated CPU time (s) 1205.56
Current children cumulated vsize (Kb) 72364

Sending SIGTERM to -10094
Sleeping 2 seconds
One traced child (pid=10094) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1220.23
CPU time (s): 1205.72
CPU user time (s): 1197.48
CPU system time (s): 8.24475
CPU usage (%): 98.8108
Max. virtual memory (cumulated for all children) (Kb): 72364

Verifier Data

Verifier:	OK	30