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/miplib3/normalized-mps-v2-13-7-stein45.opb
MD5SUM5c72b08d2dc855d07dab2f619386e796
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 benchmark79.065
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 10550

Launcher Data

LAUNCH ON wulflinc13 THE 2005-09-23 18:39:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9255 boxname=wulflinc13 idbench=1051 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  5c72b08d2dc855d07dab2f619386e796  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-stein45.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-stein45.opb
IDLAUNCH: 9255
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.180
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	: 2
cpu MHz		: 451.180
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        967084 kB
Buffers:           920 kB
Cached:          49944 kB
SwapCached:          0 kB
Active:          15416 kB
Inactive:        38292 kB
HighTotal:      131008 kB
HighFree:        76832 kB
LowTotal:       903652 kB
LowFree:        890252 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8268 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 18:59:32 (client local time) WITH STATUS 10 IN 1205.14 SECONDS
stats: 9255 0 1205.14 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.200836 s]  setting bit 5 to 0

c Decision: 336/1661	Time: 4.94925/86400
c Decision: 336/1661	Time: 5.43917/86400
c Decision: 336/1661	Time: 5.98709/86400
c Decision: 336/1661	Time: 6.46602/86400
c Decision: 336/1661	Time: 7.06992/86400
c Decision: 336/1661	Time: 7.72083/86400
c Decision: 347/1661	Time: 8.46871/86400
c Decision: 347/1661	Time: 9.13961/86400
c Decision: 347/1661	Time: 9.78751/86400
c Decision: 347/1661	Time: 10.4284/86400
c Decision: 347/1661	Time: 11.1013/86400
c Decision: 347/1661	Time: 11.7912/86400
c Decision: 347/1661	Time: 12.5561/86400
c Decision: 347/1661	Time: 13.292/86400
c Decision: 347/1661	Time: 14.0689/86400
c Decision: 347/1661	Time: 14.9167/86400
c Decision: 347/1661	Time: 15.7816/86400
c Decision: 347/1661	Time: 16.6315/86400
c Decision: 347/1661	Time: 17.5093/86400
c Decision: 347/1661	Time: 18.4082/86400
c Decision: 347/1661	Time: 19.444/86400
c Decision: 347/1661	Time: 20.3589/86400
c Decision: 347/1661	Time: 21.2178/86400
c Decision: 347/1661	Time: 22.2486/86400
c Decision: 347/1661	Time: 23.2555/86400
c Decision: 347/1661	Time: 24.3203/86400
c Decision: 347/1661	Time: 25.3491/86400
c Decision: 347/1661	Time: 26.293/86400
c Decision: 347/1661	Time: 27.3328/86400
c Decision: 347/1661	Time: 28.3587/86400
c Decision: 347/1661	Time: 29.4345/86400
c Decision: 347/1661	Time: 30.4864/86400
c Decision: 347/1661	Time: 31.6722/86400
c Decision: 347/1661	Time: 32.739/86400
c Decision: 347/1661	Time: 33.8918/86400
c Decision: 347/1661	Time: 35.1757/86400
c Decision: 347/1661	Time: 36.4535/86400
c Decision: 347/1661	Time: 37.6733/86400
c Decision: 347/1661	Time: 38.8711/86400
c Decision: 347/1661	Time: 40.0809/86400
c Decision: 347/1661	Time: 41.3987/86400
c Decision: 347/1661	Time: 42.6155/86400
c Decision: 347/1661	Time: 43.7533/86400
c Decision: 347/1661	Time: 45.0202/86400
c Decision: 347/1661	Time: 46.15/86400
c Decision: 347/1661	Time: 47.3998/86400
c Decision: 347/1661	Time: 48.7446/86400
c Decision: 347/1661	Time: 50.0524/86400
c Decision: 347/1661	Time: 51.3062/86400
c Decision: 347/1661	Time: 52.777/86400
c Decision: 347/1661	Time: 54.2138/86400
c Decision: 347/1661	Time: 55.5706/86400
c Decision: 347/1661	Time: 56.8944/86400
c Decision: 347/1661	Time: 58.1842/86400
c Decision: 347/1661	Time: 59.6259/86400
c Decision: 347/1661	Time: 61.1287/86400
c Decision: 347/1661	Time: 62.6495/86400
c Decision: 347/1661	Time: 64.1872/86400
c Decision: 347/1661	Time: 65.647/86400
c Decision: 347/1661	Time: 67.1498/86400
c Decision: 347/1661	Time: 68.7575/86400
c Decision: 347/1661	Time: 70.3363/86400
c Decision: 347/1661	Time: 71.7981/86400
c Decision: 347/1661	Time: 73.4608/86400
c Decision: 347/1661	Time: 75.0176/86400
c Decision: 347/1661	Time: 76.6803/86400
c Decision: 347/1661	Time: 78.2901/86400
c Decision: 347/1661	Time: 79.8169/86400
c Decision: 347/1661	Time: 81.3736/86400
c Decision: 347/1661	Time: 82.9154/86400
c Decision: 347/1661	Time: 84.6901/86400
c Decision: 347/1661	Time: 86.3769/86400
c Decision: 347/1661	Time: 87.9786/86400
c Decision: 347/1661	Time: 89.7724/86400
c Decision: 347/1661	Time: 91.3041/86400
c Decision: 347/1661	Time: 92.9569/86400
c Decision: 347/1661	Time: 94.7036/86400
c Decision: 347/1661	Time: 96.5803/86400
c Decision: 347/1661	Time: 98.344/86400
c Decision: 347/1661	Time: 99.9628/86400
c Decision: 347/1661	Time: 101.755/86400
c Decision: 347/1661	Time: 103.614/86400
c Decision: 347/1661	Time: 105.79/86400
c Decision: 347/1661	Time: 107.444/86400
c Decision: 347/1661	Time: 109.141/86400
c Decision: 347/1661	Time: 111.019/86400
c Decision: 347/1661	Time: 112.895/86400
c Decision: 347/1661	Time: 114.759/86400
c Decision: 347/1661	Time: 116.542/86400
c Decision: 347/1661	Time: 118.258/86400
c Decision: 347/1661	Time: 120.399/86400
c Decision: 347/1661	Time: 122.214/86400
c Decision: 347/1661	Time: 124.118/86400
c Decision: 347/1661	Time: 125.981/86400
c Decision: 347/1661	Time: 127.978/86400
c Decision: 347/1661	Time: 129.974/86400
c Decision: 347/1661	Time: 131.839/86400
c Decision: 347/1661	Time: 133.666/86400
c Decision: 347/1661	Time: 135.505/86400
c Decision: 347/1661	Time: 137.363/86400
c Decision: 347/1661	Time: 139.538/86400
c Decision: 347/1661	Time: 141.271/86400
c Decision: 347/1661	Time: 143.098/86400
c Decision: 347/1661	Time: 144.912/86400
c Decision: 347/1661	Time: 146.674/86400
c Decision: 347/1661	Time: 148.386/86400
c Decision: 347/1661	Time: 150.382/86400
c Decision: 347/1661	Time: 152.513/86400
c Decision: 347/1661	Time: 154.721/86400
c Decision: 347/1661	Time: 157.079/86400
c Decision: 347/1661	Time: 158.953/86400
c Decision: 347/1661	Time: 160.842/86400
c Decision: 347/1661	Time: 162.652/86400
c Decision: 347/1661	Time: 164.479/86400
c Decision: 347/1661	Time: 166.413/86400
c Decision: 347/1661	Time: 168.534/86400
c Decision: 347/1661	Time: 170.493/86400
c Decision: 347/1661	Time: 172.58/86400
c Decision: 347/1661	Time: 174.632/86400
c Decision: 347/1661	Time: 176.631/86400
c Decision: 347/1661	Time: 178.84/86400
c Decision: 347/1661	Time: 180.792/86400
c Decision: 347/1661	Time: 183.002/86400
c Decision: 347/1661	Time: 184.978/86400
c Decision: 347/1661	Time: 187.078/86400
c Decision: 347/1661	Time: 189.408/86400
c Decision: 347/1661	Time: 191.42/86400
c Decision: 347/1661	Time: 193.506/86400
c Decision: 347/1661	Time: 195.643/86400
c Decision: 347/1661	Time: 197.528/86400
c Decision: 347/1661	Time: 199.842/86400
c Decision: 347/1661	Time: 201.786/86400
c Decision: 347/1661	Time: 204.228/86400
c Decision: 382/1661	Time: 208.057/86400
c Decision: 382/1661	Time: 210.094/86400
c Decision: 382/1661	Time: 211.876/86400
c Decision: 382/1661	Time: 213.608/86400
c Decision: 382/1661	Time: 215.493/86400
c Decision: 382/1661	Time: 217.454/86400
c Decision: 382/1661	Time: 219.347/86400
c Decision: 382/1661	Time: 221.484/86400
c Decision: 382/1661	Time: 223.298/86400
c Decision: 382/1661	Time: 225.106/86400
c Decision: 382/1661	Time: 226.961/86400
c Decision: 382/1661	Time: 228.8/86400
c Decision: 382/1661	Time: 230.951/86400
c Decision: 382/1661	Time: 233.026/86400
c Decision: 382/1661	Time: 234.944/86400
c Decision: 382/1661	Time: 236.935/86400
c Decision: 388/1661	Time: 240.393/86400
c Decision: 388/1661	Time: 242.482/86400
c Decision: 388/1661	Time: 244.127/86400
c Decision: 388/1661	Time: 246.321/86400
c Decision: 388/1661	Time: 248.081/86400
c Decision: 388/1661	Time: 250.329/86400
c Decision: 388/1661	Time: 252.987/86400
c Decision: 388/1661	Time: 255.171/86400
c Decision: 388/1661	Time: 257.397/86400
c Decision: 439/1661	Time: 262.121/86400
c Decision: 439/1661	Time: 263.815/86400
c Decision: 439/1661	Time: 265.714/86400
c Decision: 439/1661	Time: 267.532/86400
c Decision: 468/1661	Time: 269.522/86400
c Decision: 468/1661	Time: 271.146/86400
c Decision: 600/1661	Time: 273.056/86400
c [startup+281.201 s]  setting bit 4 to 0

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

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

c Decision: 304/1661	Time: 7.40187/86400
c Decision: 304/1661	Time: 8.25574/86400
c Decision: 304/1661	Time: 9.04163/86400
c Decision: 304/1661	Time: 9.82351/86400
c Decision: 304/1661	Time: 10.5704/86400
c Decision: 304/1661	Time: 11.4743/86400
c Decision: 304/1661	Time: 12.3101/86400
c Decision: 304/1661	Time: 13.184/86400
c Decision: 304/1661	Time: 14.1319/86400
c Decision: 304/1661	Time: 15.0607/86400
c Decision: 304/1661	Time: 15.9696/86400
c Decision: 304/1661	Time: 16.9164/86400
c Decision: 304/1661	Time: 17.9573/86400
c Decision: 304/1661	Time: 18.9131/86400
c Decision: 304/1661	Time: 19.957/86400
c Decision: 304/1661	Time: 21.0198/86400
c Decision: 304/1661	Time: 22.1116/86400
c got solution with objective value: 30
c [startup+304.432 s]  setting bit 1 to 1

c Decision: 297/1661	Time: 10.9963/86400
c Decision: 297/1661	Time: 12.2251/86400
c Decision: 297/1661	Time: 13.26/86400
c Decision: 297/1661	Time: 14.4438/86400
c Decision: 297/1661	Time: 15.9036/86400
c Decision: 297/1661	Time: 17.3824/86400
c Decision: 297/1661	Time: 18.6192/86400
c Decision: 297/1661	Time: 20.0789/86400
c Decision: 297/1661	Time: 21.6017/86400
c Decision: 297/1661	Time: 22.9045/86400
c Decision: 297/1661	Time: 24.3013/86400
c Decision: 297/1661	Time: 25.7661/86400
c Decision: 297/1661	Time: 27.1299/86400
c Decision: 297/1661	Time: 28.7356/86400
c Decision: 297/1661	Time: 30.1254/86400
c Decision: 297/1661	Time: 31.7382/86400
c Decision: 297/1661	Time: 33.2409/86400
c Decision: 297/1661	Time: 34.7847/86400
c Decision: 297/1661	Time: 36.2195/86400
c Decision: 297/1661	Time: 37.7693/86400
c Decision: 297/1661	Time: 39.513/86400
c Decision: 297/1661	Time: 41.1387/86400
c Decision: 297/1661	Time: 42.6715/86400
c Decision: 297/1661	Time: 44.2883/86400
c Decision: 297/1661	Time: 45.973/86400
c Decision: 297/1661	Time: 47.7457/86400
c Decision: 297/1661	Time: 49.4395/86400
c Decision: 297/1661	Time: 51.0382/86400
c Decision: 297/1661	Time: 52.675/86400
c Decision: 297/1661	Time: 54.4167/86400
c Decision: 297/1661	Time: 56.2385/86400
c Decision: 297/1661	Time: 58.0842/86400
c Decision: 297/1661	Time: 59.6549/86400
c Decision: 297/1661	Time: 61.4907/86400
c Decision: 297/1661	Time: 63.1694/86400
c Decision: 297/1661	Time: 65.1691/86400
c Decision: 297/1661	Time: 66.9078/86400
c Decision: 297/1661	Time: 69.1205/86400
c Decision: 297/1661	Time: 71.0322/86400
c Decision: 297/1661	Time: 72.9549/86400
c Decision: 297/1661	Time: 74.9396/86400
c Decision: 297/1661	Time: 76.6373/86400
c Decision: 297/1661	Time: 78.4401/86400
c Decision: 297/1661	Time: 80.2008/86400
c Decision: 297/1661	Time: 82.3895/86400
c Decision: 297/1661	Time: 84.4692/86400
c Decision: 297/1661	Time: 86.2079/86400
c Decision: 297/1661	Time: 88.1846/86400
c Decision: 297/1661	Time: 90.2953/86400
c Decision: 297/1661	Time: 92.4429/86400
c Decision: 297/1661	Time: 94.6206/86400
c Decision: 297/1661	Time: 96.6253/86400
c Decision: 297/1661	Time: 98.545/86400
c Decision: 297/1661	Time: 100.787/86400
c Decision: 297/1661	Time: 102.957/86400
c Decision: 297/1661	Time: 105.31/86400
c Decision: 297/1661	Time: 107.495/86400
c Decision: 297/1661	Time: 109.48/86400
c Decision: 297/1661	Time: 111.374/86400
c Decision: 297/1661	Time: 113.473/86400
c Decision: 297/1661	Time: 115.998/86400
c Decision: 297/1661	Time: 118.029/86400
c Decision: 297/1661	Time: 120.399/86400
c Decision: 297/1661	Time: 122.818/86400
c Decision: 297/1661	Time: 125.148/86400
c Decision: 297/1661	Time: 127.476/86400
c Decision: 297/1661	Time: 129.426/86400
c Decision: 297/1661	Time: 131.543/86400
c Decision: 297/1661	Time: 133.608/86400
c Decision: 297/1661	Time: 135.912/86400
c Decision: 297/1661	Time: 138.225/86400
c Decision: 297/1661	Time: 140.428/86400
c Decision: 297/1661	Time: 142.275/86400
c Decision: 297/1661	Time: 144.325/86400
c Decision: 297/1661	Time: 146.654/86400
c Decision: 297/1661	Time: 149.224/86400
c Decision: 297/1661	Time: 151.636/86400
c Decision: 297/1661	Time: 153.825/86400
c Decision: 297/1661	Time: 156.281/86400
c Decision: 297/1661	Time: 158.286/86400
c Decision: 297/1661	Time: 160.677/86400
c Decision: 297/1661	Time: 163.077/86400
c Decision: 297/1661	Time: 165.536/86400
c Decision: 297/1661	Time: 168.059/86400
c Decision: 297/1661	Time: 170.532/86400
c Decision: 297/1661	Time: 172.929/86400
c Decision: 297/1661	Time: 175.375/86400
c Decision: 297/1661	Time: 177.754/86400
c Decision: 297/1661	Time: 180.077/86400
c Decision: 297/1661	Time: 182.51/86400
c Decision: 297/1661	Time: 185.293/86400
c Decision: 297/1661	Time: 187.786/86400
c Decision: 297/1661	Time: 190.211/86400
c Decision: 297/1661	Time: 192.68/86400
c Decision: 297/1661	Time: 195.053/86400
c Decision: 297/1661	Time: 197.845/86400
c Decision: 297/1661	Time: 200.279/86400
c Decision: 297/1661	Time: 202.686/86400
c Decision: 297/1661	Time: 205.188/86400
c Decision: 297/1661	Time: 207.672/86400
c Decision: 297/1661	Time: 210.435/86400
c Decision: 297/1661	Time: 212.572/86400
c Decision: 297/1661	Time: 215.079/86400
c Decision: 297/1661	Time: 217.927/86400
c Decision: 297/1661	Time: 220.606/86400
c Decision: 297/1661	Time: 223.747/86400
c Decision: 297/1661	Time: 226.205/86400
c Decision: 297/1661	Time: 228.623/86400
c Decision: 297/1661	Time: 231.05/86400
c Decision: 297/1661	Time: 233.796/86400
c Decision: 297/1661	Time: 236.756/86400
c Decision: 297/1661	Time: 239.078/86400
c Decision: 297/1661	Time: 241.479/86400
c Decision: 297/1661	Time: 243.766/86400
c Decision: 297/1661	Time: 246.257/86400
c Decision: 297/1661	Time: 249.118/86400
c Decision: 297/1661	Time: 251.748/86400
c Decision: 297/1661	Time: 254.106/86400
c Decision: 297/1661	Time: 256.391/86400
c Decision: 297/1661	Time: 259.602/86400
c Decision: 297/1661	Time: 262.286/86400
c Decision: 297/1661	Time: 264.857/86400
c Decision: 297/1661	Time: 267.529/86400
c Decision: 297/1661	Time: 269.812/86400
c Decision: 297/1661	Time: 272.58/86400
c Decision: 297/1661	Time: 275.526/86400
c Decision: 297/1661	Time: 278.076/86400
c Decision: 297/1661	Time: 280.4/86400
c Decision: 297/1661	Time: 282.996/86400
c Decision: 297/1661	Time: 285.672/86400
c Decision: 297/1661	Time: 288.187/86400
c Decision: 297/1661	Time: 290.788/86400
c Decision: 297/1661	Time: 293.185/86400
c Decision: 297/1661	Time: 295.935/86400
c Decision: 297/1661	Time: 298.71/86400
c Decision: 297/1661	Time: 301.559/86400
c Decision: 297/1661	Time: 304.225/86400
c Decision: 297/1661	Time: 306.775/86400
c Decision: 297/1661	Time: 309.593/86400
c Decision: 297/1661	Time: 312.671/86400
c Decision: 297/1661	Time: 315.647/86400
c Decision: 297/1661	Time: 318.252/86400
c Decision: 297/1661	Time: 321.248/86400
c Decision: 297/1661	Time: 324.283/86400
c Decision: 297/1661	Time: 326.87/86400
c Decision: 297/1661	Time: 329.809/86400
c Decision: 297/1661	Time: 332.61/86400
c Decision: 297/1661	Time: 335.15/86400
c Decision: 297/1661	Time: 337.886/86400
c Decision: 297/1661	Time: 340.767/86400
c Decision: 297/1661	Time: 343.802/86400
c Decision: 297/1661	Time: 346.899/86400
c Decision: 297/1661	Time: 349.397/86400
c Decision: 297/1661	Time: 351.923/86400
c Decision: 297/1661	Time: 354.072/86400
c Decision: 297/1661	Time: 357.248/86400
c Decision: 297/1661	Time: 360.052/86400
c Decision: 297/1661	Time: 362.843/86400
c Decision: 297/1661	Time: 365.71/86400
c Decision: 297/1661	Time: 368.575/86400
c Decision: 297/1661	Time: 371.93/86400
c Decision: 297/1661	Time: 374.351/86400
c Decision: 297/1661	Time: 377.122/86400
c Decision: 297/1661	Time: 379.746/86400
c Decision: 297/1661	Time: 382.575/86400
c Decision: 297/1661	Time: 386.241/86400
c Decision: 297/1661	Time: 389.272/86400
c Decision: 297/1661	Time: 392.327/86400
c Decision: 297/1661	Time: 395.27/86400
c Decision: 297/1661	Time: 397.917/86400
c Decision: 297/1661	Time: 400.852/86400
c Decision: 297/1661	Time: 403.67/86400
c Decision: 297/1661	Time: 406.747/86400
c Decision: 297/1661	Time: 409.132/86400
c Decision: 297/1661	Time: 411.784/86400
c Decision: 297/1661	Time: 415.18/86400
c Decision: 297/1661	Time: 417.838/86400
c Decision: 297/1661	Time: 420.765/86400
c Decision: 297/1661	Time: 423.767/86400
c Decision: 297/1661	Time: 426.385/86400
c Decision: 297/1661	Time: 429.274/86400
c Decision: 297/1661	Time: 432.194/86400
c Decision: 297/1661	Time: 435.126/86400
c Decision: 297/1661	Time: 438.21/86400
c Decision: 297/1661	Time: 441.441/86400
c Decision: 297/1661	Time: 444.595/86400
c Decision: 297/1661	Time: 447.511/86400
c Decision: 297/1661	Time: 450.504/86400
c Decision: 297/1661	Time: 453.235/86400
c Decision: 297/1661	Time: 456.117/86400
c Decision: 297/1661	Time: 459.41/86400
c Decision: 297/1661	Time: 462.555/86400
c Decision: 297/1661	Time: 465.442/86400
c Decision: 297/1661	Time: 468.682/86400
c Decision: 297/1661	Time: 471.588/86400
c Decision: 297/1661	Time: 475.353/86400
c Decision: 297/1661	Time: 478.238/86400
c Decision: 297/1661	Time: 480.951/86400
c Decision: 297/1661	Time: 483.814/86400
c Decision: 297/1661	Time: 486.963/86400
c Decision: 297/1661	Time: 490.39/86400
c Decision: 297/1661	Time: 493.427/86400
c Decision: 297/1661	Time: 496.717/86400
c Decision: 297/1661	Time: 499.561/86400
c Decision: 297/1661	Time: 502.33/86400
c Decision: 297/1661	Time: 505.823/86400
c Decision: 297/1661	Time: 508.665/86400
c Decision: 297/1661	Time: 511.601/86400
c Decision: 297/1661	Time: 514.502/86400
c Decision: 297/1661	Time: 517.656/86400
c Decision: 297/1661	Time: 520.97/86400
c Decision: 297/1661	Time: 523.638/86400
c Decision: 297/1661	Time: 526.719/86400
c Decision: 297/1661	Time: 529.484/86400
c Decision: 297/1661	Time: 532.474/86400
c Decision: 297/1661	Time: 535.828/86400
c Decision: 297/1661	Time: 538.742/86400
c Decision: 297/1661	Time: 541.502/86400
c Decision: 297/1661	Time: 544.373/86400
c Decision: 297/1661	Time: 547.055/86400
c Decision: 297/1661	Time: 550.673/86400
c Decision: 297/1661	Time: 553.314/86400
c Decision: 297/1661	Time: 556.315/86400
c Decision: 297/1661	Time: 559.199/86400
c Decision: 297/1661	Time: 561.726/86400
c Decision: 297/1661	Time: 565.362/86400
c Decision: 297/1661	Time: 568.407/86400
c Decision: 297/1661	Time: 571.581/86400
c Decision: 297/1661	Time: 574.539/86400
c Decision: 297/1661	Time: 577.63/86400
c Decision: 297/1661	Time: 580.99/86400
c Decision: 297/1661	Time: 583.916/86400
c Decision: 297/1661	Time: 587.124/86400
c Decision: 297/1661	Time: 590.485/86400
c Decision: 489/1661	Time: 595.055/86400
c Decision: 489/1661	Time: 598.076/86400
c Decision: 489/1661	Time: 600.403/86400
c Decision: 489/1661	Time: 602.36/86400
c Decision: 489/1661	Time: 605.134/86400
c Decision: 489/1661	Time: 608.622/86400
c Decision: 489/1661	Time: 611.186/86400
c Decision: 489/1661	Time: 613.858/86400
c Decision: 489/1661	Time: 616.671/86400
c Decision: 489/1661	Time: 619.565/86400
c Decision: 489/1661	Time: 622.187/86400
c Decision: 489/1661	Time: 625.233/86400
c Decision: 489/1661	Time: 628.086/86400
c Decision: 489/1661	Time: 630.734/86400
c Decision: 489/1661	Time: 633.784/86400
c Decision: 489/1661	Time: 636.584/86400
c Decision: 489/1661	Time: 639.755/86400
c Decision: 489/1661	Time: 642.245/86400
c Decision: 489/1661	Time: 645.175/86400
c Decision: 489/1661	Time: 648.125/86400
c Decision: 489/1661	Time: 651.056/86400
c Decision: 489/1661	Time: 653.873/86400
c Decision: 489/1661	Time: 656.615/86400
c Decision: 489/1661	Time: 659.021/86400
c Decision: 489/1661	Time: 661.791/86400
c Decision: 489/1661	Time: 664.403/86400
c Decision: 489/1661	Time: 667.727/86400
c Decision: 489/1661	Time: 670.61/86400
c Decision: 489/1661	Time: 673.61/86400
c Decision: 489/1661	Time: 676.431/86400
c Decision: 489/1661	Time: 679.347/86400
c Decision: 489/1661	Time: 682.956/86400
c Decision: 489/1661	Time: 685.928/86400
c Decision: 489/1661	Time: 688.863/86400
c Decision: 489/1661	Time: 692.012/86400
c Decision: 489/1661	Time: 694.85/86400
c Decision: 489/1661	Time: 698.552/86400
c Decision: 489/1661	Time: 701.589/86400
c Decision: 489/1661	Time: 704.254/86400
c Decision: 489/1661	Time: 706.658/86400
c Decision: 489/1661	Time: 709.825/86400
c Decision: 489/1661	Time: 713.259/86400
c Decision: 489/1661	Time: 716.649/86400
c Decision: 489/1661	Time: 719.971/86400
c Decision: 489/1661	Time: 723.297/86400
c Decision: 489/1661	Time: 726.207/86400
c Decision: 489/1661	Time: 729.668/86400
c Decision: 489/1661	Time: 732.728/86400
c Decision: 489/1661	Time: 735.685/86400
c Decision: 489/1661	Time: 739.074/86400
c Decision: 489/1661	Time: 741.937/86400
c Decision: 489/1661	Time: 745.349/86400
c Decision: 489/1661	Time: 748.398/86400
c Decision: 489/1661	Time: 751.582/86400
c Decision: 489/1661	Time: 754.62/86400
c Decision: 489/1661	Time: 757.937/86400
c Decision: 489/1661	Time: 761.537/86400
c Decision: 489/1661	Time: 764.643/86400
c Decision: 489/1661	Time: 767.399/86400
c Decision: 489/1661	Time: 770.104/86400
c Decision: 489/1661	Time: 772.948/86400
c Decision: 489/1661	Time: 776.414/86400
c Decision: 489/1661	Time: 779.795/86400
c Decision: 489/1661	Time: 782.964/86400
c Decision: 489/1661	Time: 786.171/86400
c Decision: 489/1661	Time: 789.323/86400
c Decision: 489/1661	Time: 792.84/86400
c Decision: 489/1661	Time: 795.897/86400
c Decision: 489/1661	Time: 798.947/86400
c Decision: 489/1661	Time: 802.339/86400
c Decision: 489/1661	Time: 805.285/86400
c Decision: 489/1661	Time: 808.532/86400
c Decision: 489/1661	Time: 811.774/86400
c Decision: 489/1661	Time: 814.738/86400
c Decision: 489/1661	Time: 817.694/86400
c Decision: 489/1661	Time: 821.016/86400
c Decision: 489/1661	Time: 824.489/86400
c Decision: 512/1661	Time: 829.636/86400
c Decision: 589/1661	Time: 835.341/86400
c Decision: 589/1661	Time: 837.453/86400
c Decision: 589/1661	Time: 839.231/86400
c Decision: 589/1661	Time: 841.41/86400
c Decision: 589/1661	Time: 843.559/86400
c Decision: 589/1661	Time: 845.585/86400
c Decision: 589/1661	Time: 847.651/86400
c Decision: 589/1661	Time: 849.911/86400
c Decision: 589/1661	Time: 852.142/86400
c Decision: 589/1661	Time: 854.439/86400
c Decision: 589/1661	Time: 856.737/86400
c Decision: 589/1661	Time: 858.899/86400
c Decision: 589/1661	Time: 861.533/86400
c Decision: 589/1661	Time: 863.868/86400
c Decision: 589/1661	Time: 866.169/86400
c Decision: 589/1661	Time: 868.6/86400
c Decision: 589/1661	Time: 870.961/86400
c Decision: 589/1661	Time: 873.399/86400
c Decision: 589/1661	Time: 875.868/86400
c Decision: 589/1661	Time: 878.159/86400
c Decision: 589/1661	Time: 880.666/86400
c Decision: 589/1661	Time: 883.793/86400
c Decision: 589/1661	Time: 886.602/86400
c Decision: 589/1661	Time: 889.416/86400
c Decision: 589/1661	Time: 892.516/86400
c Decision: 589/1661	Time: 894.82/86400
c Decision: 589/1661	Time: 897.56/86400
c Decision: 589/1661	Time: 900.502/86400
c Decision: 589/1661	Time: 903.133/86400
c Decision: 589/1661	Time: 905.529/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/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22413048 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 373 2 364 364 0 9 0
[pid=9854] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-stein45.opb

[startup+10.001 s]
Raw data (loadavg): 0.88 1.01 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 991 0 0 0 931 24 0 0 25 0 1 0 22413048 5713920 822 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 1395 822 364 364 0 1031 0
[pid=9854] vsize: 5580
Current children cumulated CPU time (s) 9.55
Current children cumulated vsize (Kb) 5580

[startup+20.0017 s]
Raw data (loadavg): 0.90 1.01 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 1338 0 0 0 1885 41 0 0 25 0 1 0 22413048 6254592 1169 4294967295 134512640 135987407 3221224560 3221223104 134812000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 1527 1169 364 364 0 1163 0
[pid=9854] vsize: 6108
Current children cumulated CPU time (s) 19.26
Current children cumulated vsize (Kb) 6108

[startup+30.0024 s]
Raw data (loadavg): 0.91 1.01 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 1787 0 0 0 2850 53 0 0 25 0 1 0 22413048 9555968 1425 4294967295 134512640 135987407 3221224560 3221222976 134788483 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 2333 1425 364 364 0 1969 0
[pid=9854] vsize: 9332
Current children cumulated CPU time (s) 29.03
Current children cumulated vsize (Kb) 9332

[startup+40.003 s]
Raw data (loadavg): 0.93 1.01 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 1994 0 0 0 3817 64 0 0 25 0 1 0 22413048 9846784 1632 4294967295 134512640 135987407 3221224560 3221223232 134824465 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 2404 1632 364 364 0 2040 0
[pid=9854] vsize: 9616
Current children cumulated CPU time (s) 38.81
Current children cumulated vsize (Kb) 9616

[startup+50.0037 s]
Raw data (loadavg): 0.94 1.01 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 2222 0 0 0 4787 76 0 0 25 0 1 0 22413048 10326016 1860 4294967295 134512640 135987407 3221224560 3221223104 134811896 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 2521 1860 364 364 0 2157 0
[pid=9854] vsize: 10084
Current children cumulated CPU time (s) 48.63
Current children cumulated vsize (Kb) 10084

[startup+60.0033 s]
Raw data (loadavg): 0.95 1.01 0.98 1/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) T 9853 9854 4060 0 -1 0 2400 0 0 0 5759 85 0 0 21 0 1 0 22413048 10473472 2038 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9854/statm): 2557 2038 364 364 0 2193 0
[pid=9854] vsize: 10228
Current children cumulated CPU time (s) 58.44
Current children cumulated vsize (Kb) 10228

[startup+70.004 s]
Raw data (loadavg): 0.95 1.01 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 2635 0 0 0 6730 97 0 0 25 0 1 0 22413048 10985472 2273 4294967295 134512640 135987407 3221224560 3221223104 134811790 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 2682 2273 364 364 0 2318 0
[pid=9854] vsize: 10728
Current children cumulated CPU time (s) 68.27
Current children cumulated vsize (Kb) 10728

[startup+80.0047 s]
Raw data (loadavg): 0.96 1.00 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 2803 0 0 0 7703 107 0 0 25 0 1 0 22413048 15511552 2441 4294967295 134512640 135987407 3221224560 3221223104 134811933 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 3787 2441 364 364 0 3423 0
[pid=9854] vsize: 15148
Current children cumulated CPU time (s) 78.1
Current children cumulated vsize (Kb) 15148

[startup+90.0053 s]
Raw data (loadavg): 0.97 1.00 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 2950 0 0 0 8679 117 0 0 25 0 1 0 22413048 15511552 2588 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 3787 2588 364 364 0 3423 0
[pid=9854] vsize: 15148
Current children cumulated CPU time (s) 87.96
Current children cumulated vsize (Kb) 15148

[startup+100.006 s]
Raw data (loadavg): 0.97 1.00 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 3527 0 0 0 9655 126 0 0 25 0 1 0 22413048 17510400 2780 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 4275 2780 364 364 0 3911 0
[pid=9854] vsize: 17100
Current children cumulated CPU time (s) 97.81
Current children cumulated vsize (Kb) 17100

[startup+110.007 s]
Raw data (loadavg): 0.97 1.00 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 3698 0 0 0 10632 134 0 0 25 0 1 0 22413048 17793024 2951 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 4344 2951 364 364 0 3980 0
[pid=9854] vsize: 17376
Current children cumulated CPU time (s) 107.66
Current children cumulated vsize (Kb) 17376

[startup+120.007 s]
Raw data (loadavg): 0.98 1.00 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 3885 0 0 0 11609 142 0 0 25 0 1 0 22413048 18219008 3138 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 4448 3138 364 364 0 4084 0
[pid=9854] vsize: 17792
Current children cumulated CPU time (s) 117.51
Current children cumulated vsize (Kb) 17792

[startup+130.007 s]
Raw data (loadavg): 0.98 1.00 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 4027 0 0 0 12586 151 0 0 25 0 1 0 22413048 18354176 3280 4294967295 134512640 135987407 3221224560 3221223104 134811879 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 4481 3280 364 364 0 4117 0
[pid=9854] vsize: 17924
Current children cumulated CPU time (s) 127.37
Current children cumulated vsize (Kb) 17924

[startup+140.008 s]
Raw data (loadavg): 0.98 1.00 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 4126 0 0 0 13566 159 0 0 25 0 1 0 22413048 18599936 3379 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 4541 3379 364 364 0 4177 0
[pid=9854] vsize: 18164
Current children cumulated CPU time (s) 137.25
Current children cumulated vsize (Kb) 18164

[startup+150.008 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 4241 0 0 0 14543 167 0 0 25 0 1 0 22413048 18599936 3494 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 4541 3494 364 364 0 4177 0
[pid=9854] vsize: 18164
Current children cumulated CPU time (s) 147.1
Current children cumulated vsize (Kb) 18164

[startup+160.009 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 4391 0 0 0 15520 174 0 0 25 0 1 0 22413048 18948096 3644 4294967295 134512640 135987407 3221224560 3221223104 134811937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 4626 3644 364 364 0 4262 0
[pid=9854] vsize: 18504
Current children cumulated CPU time (s) 156.94
Current children cumulated vsize (Kb) 18504

[startup+170.01 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 4506 0 0 0 16500 181 0 0 25 0 1 0 22413048 18948096 3759 4294967295 134512640 135987407 3221224560 3221223104 134811867 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 4626 3759 364 364 0 4262 0
[pid=9854] vsize: 18504
Current children cumulated CPU time (s) 166.81
Current children cumulated vsize (Kb) 18504

[startup+180.01 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 4636 0 0 0 17479 189 0 0 25 0 1 0 22413048 19218432 3889 4294967295 134512640 135987407 3221224560 3221223136 134814101 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 4692 3889 364 364 0 4328 0
[pid=9854] vsize: 18768
Current children cumulated CPU time (s) 176.68
Current children cumulated vsize (Kb) 18768

[startup+190.011 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 4755 0 0 0 18459 197 0 0 25 0 1 0 22413048 19218432 4008 4294967295 134512640 135987407 3221224560 3221223104 134812028 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 4692 4008 364 364 0 4328 0
[pid=9854] vsize: 18768
Current children cumulated CPU time (s) 186.56
Current children cumulated vsize (Kb) 18768

[startup+200.011 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 4894 0 0 0 19439 204 0 0 25 0 1 0 22413048 19554304 4147 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 4774 4147 364 364 0 4410 0
[pid=9854] vsize: 19096
Current children cumulated CPU time (s) 196.43
Current children cumulated vsize (Kb) 19096

[startup+210.01 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 5018 0 0 0 20418 211 0 0 25 0 1 0 22413048 28155904 4271 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 6874 4271 364 364 0 6510 0
[pid=9854] vsize: 27496
Current children cumulated CPU time (s) 206.29
Current children cumulated vsize (Kb) 27496

[startup+220.011 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 5310 0 0 0 21397 219 0 0 25 0 1 0 22413048 29102080 4563 4294967295 134512640 135987407 3221224560 3221223168 134801245 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 7105 4563 364 364 0 6741 0
[pid=9854] vsize: 28420
Current children cumulated CPU time (s) 216.16
Current children cumulated vsize (Kb) 28420

[startup+230.011 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 5337 0 0 0 22377 226 0 0 25 0 1 0 22413048 29102080 4590 4294967295 134512640 135987407 3221224560 3221223104 134811832 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 7105 4590 364 364 0 6741 0
[pid=9854] vsize: 28420
Current children cumulated CPU time (s) 226.03
Current children cumulated vsize (Kb) 28420

[startup+240.011 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 5359 0 0 0 23358 232 0 0 25 0 1 0 22413048 29102080 4612 4294967295 134512640 135987407 3221224560 3221223104 134811824 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 7105 4612 364 364 0 6741 0
[pid=9854] vsize: 28420
Current children cumulated CPU time (s) 235.9
Current children cumulated vsize (Kb) 28420

[startup+250.012 s]
Raw data (loadavg): 0.99 1.00 0.98 1/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) T 9853 9854 4060 0 -1 0 5584 0 0 0 24336 240 0 0 25 0 1 0 22413048 29913088 4837 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9854/statm): 7303 4837 364 364 0 6939 0
[pid=9854] vsize: 29212
Current children cumulated CPU time (s) 245.76
Current children cumulated vsize (Kb) 29212

[startup+260.012 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 5619 0 0 0 25318 246 0 0 25 0 1 0 22413048 30044160 4872 4294967295 134512640 135987407 3221224560 3221223104 134811894 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 7335 4872 364 364 0 6971 0
[pid=9854] vsize: 29340
Current children cumulated CPU time (s) 255.64
Current children cumulated vsize (Kb) 29340

[startup+270.012 s]
Raw data (loadavg): 0.99 1.00 0.98 1/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) T 9853 9854 4060 0 -1 0 5873 0 0 0 26296 255 0 0 25 0 1 0 22413048 30990336 5126 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9854/statm): 7566 5126 364 364 0 7202 0
[pid=9854] vsize: 30264
Current children cumulated CPU time (s) 265.51
Current children cumulated vsize (Kb) 30264

[startup+280.013 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 6882 0 0 0 27271 265 0 0 25 0 1 0 22413048 35078144 5366 4294967295 134512640 135987407 3221224560 3221223104 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 8564 5366 364 364 0 8200 0
[pid=9854] vsize: 34256
Current children cumulated CPU time (s) 275.36
Current children cumulated vsize (Kb) 34256

[startup+290.014 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 6944 0 0 0 28227 281 0 0 20 0 1 0 22413048 35078144 5428 4294967295 134512640 135987407 3221224560 3221223104 134811800 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 8564 5428 364 364 0 8200 0
[pid=9854] vsize: 34256
Current children cumulated CPU time (s) 285.08
Current children cumulated vsize (Kb) 34256

[startup+300.013 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 6999 0 0 0 29182 298 0 0 25 0 1 0 22413048 35078144 5483 4294967295 134512640 135987407 3221224560 3221223104 134811975 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 8564 5483 364 364 0 8200 0
[pid=9854] vsize: 34256
Current children cumulated CPU time (s) 294.8
Current children cumulated vsize (Kb) 34256

[startup+310.014 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 7038 0 0 0 30147 310 0 0 25 0 1 0 22413048 35078144 5522 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 8564 5522 364 364 0 8200 0
[pid=9854] vsize: 34256
Current children cumulated CPU time (s) 304.57
Current children cumulated vsize (Kb) 34256

[startup+320.015 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 7093 0 0 0 31112 322 0 0 25 0 1 0 22413048 35213312 5577 4294967295 134512640 135987407 3221224560 3221223104 134811800 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 8597 5577 364 364 0 8233 0
[pid=9854] vsize: 34388
Current children cumulated CPU time (s) 314.34
Current children cumulated vsize (Kb) 34388

[startup+330.014 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 7140 0 0 0 32082 333 0 0 25 0 1 0 22413048 35381248 5624 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 8638 5624 364 364 0 8274 0
[pid=9854] vsize: 34552
Current children cumulated CPU time (s) 324.15
Current children cumulated vsize (Kb) 34552

[startup+340.016 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 7196 0 0 0 33057 342 0 0 25 0 1 0 22413048 35536896 5680 4294967295 134512640 135987407 3221224560 3221223104 134811768 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 8676 5680 364 364 0 8312 0
[pid=9854] vsize: 34704
Current children cumulated CPU time (s) 333.99
Current children cumulated vsize (Kb) 34704

[startup+350.015 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 7242 0 0 0 34032 351 0 0 25 0 1 0 22413048 35536896 5726 4294967295 134512640 135987407 3221224560 3221223104 134811858 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 8676 5726 364 364 0 8312 0
[pid=9854] vsize: 34704
Current children cumulated CPU time (s) 343.83
Current children cumulated vsize (Kb) 34704

[startup+360.015 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 7308 0 0 0 35011 359 0 0 25 0 1 0 22413048 35876864 5792 4294967295 134512640 135987407 3221224560 3221222876 135481949 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 8759 5792 364 364 0 8395 0
[pid=9854] vsize: 35036
Current children cumulated CPU time (s) 353.7
Current children cumulated vsize (Kb) 35036

[startup+370.016 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 7333 0 0 0 35986 368 0 0 25 0 1 0 22413048 35876864 5817 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 8759 5817 364 364 0 8395 0
[pid=9854] vsize: 35036
Current children cumulated CPU time (s) 363.54
Current children cumulated vsize (Kb) 35036

[startup+380.015 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 7374 0 0 0 36965 376 0 0 25 0 1 0 22413048 35876864 5858 4294967295 134512640 135987407 3221224560 3221223104 134812028 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 8759 5858 364 364 0 8395 0
[pid=9854] vsize: 35036
Current children cumulated CPU time (s) 373.41
Current children cumulated vsize (Kb) 35036

[startup+390.016 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 7417 0 0 0 37946 384 0 0 25 0 1 0 22413048 36012032 5901 4294967295 134512640 135987407 3221224560 3221223136 134813850 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 8792 5901 364 364 0 8428 0
[pid=9854] vsize: 35168
Current children cumulated CPU time (s) 383.3
Current children cumulated vsize (Kb) 35168

[startup+400.017 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 7441 0 0 0 38926 391 0 0 25 0 1 0 22413048 36012032 5925 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 8792 5925 364 364 0 8428 0
[pid=9854] vsize: 35168
Current children cumulated CPU time (s) 393.17
Current children cumulated vsize (Kb) 35168

[startup+410.016 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 7463 0 0 0 39907 397 0 0 25 0 1 0 22413048 36012032 5947 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 8792 5947 364 364 0 8428 0
[pid=9854] vsize: 35168
Current children cumulated CPU time (s) 403.04
Current children cumulated vsize (Kb) 35168

[startup+420.017 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 7508 0 0 0 40888 404 0 0 25 0 1 0 22413048 36208640 5992 4294967295 134512640 135987407 3221224560 3221223104 134811975 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 8840 5992 364 364 0 8476 0
[pid=9854] vsize: 35360
Current children cumulated CPU time (s) 412.92
Current children cumulated vsize (Kb) 35360

[startup+430.018 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 7593 0 0 0 41868 412 0 0 25 0 1 0 22413048 36597760 6077 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 8935 6077 364 364 0 8571 0
[pid=9854] vsize: 35740
Current children cumulated CPU time (s) 422.8
Current children cumulated vsize (Kb) 35740

[startup+440.018 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 7624 0 0 0 42846 418 0 0 25 0 1 0 22413048 36597760 6108 4294967295 134512640 135987407 3221224560 3221223136 134813813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 8935 6108 364 364 0 8571 0
[pid=9854] vsize: 35740
Current children cumulated CPU time (s) 432.64
Current children cumulated vsize (Kb) 35740

[startup+450.018 s]
Raw data (loadavg): 1.07 1.02 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 7746 0 0 0 43824 426 0 0 25 0 1 0 22413048 36597760 6230 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 8935 6230 364 364 0 8571 0
[pid=9854] vsize: 35740
Current children cumulated CPU time (s) 442.5
Current children cumulated vsize (Kb) 35740

[startup+460.019 s]
Raw data (loadavg): 1.06 1.02 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 7887 0 0 0 44807 432 0 0 25 0 1 0 22413048 36790272 6371 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 8982 6371 364 364 0 8618 0
[pid=9854] vsize: 35928
Current children cumulated CPU time (s) 452.39
Current children cumulated vsize (Kb) 35928

[startup+470.018 s]
Raw data (loadavg): 1.05 1.01 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 8027 0 0 0 45788 439 0 0 25 0 1 0 22413048 36999168 6511 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 9033 6511 364 364 0 8669 0
[pid=9854] vsize: 36132
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (Kb) 36132

[startup+480.018 s]
Raw data (loadavg): 1.04 1.01 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 8190 0 0 0 46771 445 0 0 25 0 1 0 22413048 37384192 6674 4294967295 134512640 135987407 3221224560 3221223280 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 9127 6674 364 364 0 8763 0
[pid=9854] vsize: 36508
Current children cumulated CPU time (s) 472.16
Current children cumulated vsize (Kb) 36508

[startup+490.019 s]
Raw data (loadavg): 1.04 1.01 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 8272 0 0 0 47754 451 0 0 25 0 1 0 22413048 37384192 6756 4294967295 134512640 135987407 3221224560 3221223104 134812013 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 9127 6756 364 364 0 8763 0
[pid=9854] vsize: 36508
Current children cumulated CPU time (s) 482.05
Current children cumulated vsize (Kb) 36508

[startup+500.018 s]
Raw data (loadavg): 1.03 1.01 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 8376 0 0 0 48736 457 0 0 25 0 1 0 22413048 37384192 6860 4294967295 134512640 135987407 3221224560 3221223200 134812293 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 9127 6860 364 364 0 8763 0
[pid=9854] vsize: 36508
Current children cumulated CPU time (s) 491.93
Current children cumulated vsize (Kb) 36508

[startup+510.018 s]
Raw data (loadavg): 1.03 1.01 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 8512 0 0 0 49717 465 0 0 25 0 1 0 22413048 37761024 6996 4294967295 134512640 135987407 3221224560 3221223104 134811803 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 9219 6996 364 364 0 8855 0
[pid=9854] vsize: 36876
Current children cumulated CPU time (s) 501.82
Current children cumulated vsize (Kb) 36876

[startup+520.019 s]
Raw data (loadavg): 1.02 1.01 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 8627 0 0 0 50699 470 0 0 25 0 1 0 22413048 37928960 7111 4294967295 134512640 135987407 3221224560 3221223104 134811855 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 9260 7111 364 364 0 8896 0
[pid=9854] vsize: 37040
Current children cumulated CPU time (s) 511.69
Current children cumulated vsize (Kb) 37040

[startup+530.018 s]
Raw data (loadavg): 1.02 1.01 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 8766 0 0 0 51683 476 0 0 25 0 1 0 22413048 38060032 7217 4294967295 134512640 135987407 3221224560 3221223104 134812002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 9292 7217 364 364 0 8928 0
[pid=9854] vsize: 37168
Current children cumulated CPU time (s) 521.59
Current children cumulated vsize (Kb) 37168

[startup+540.019 s]
Raw data (loadavg): 1.01 1.01 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 8834 0 0 0 52668 481 0 0 25 0 1 0 22413048 38060032 7285 4294967295 134512640 135987407 3221224560 3221223104 134811885 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 9292 7285 364 364 0 8928 0
[pid=9854] vsize: 37168
Current children cumulated CPU time (s) 531.49
Current children cumulated vsize (Kb) 37168

[startup+550.02 s]
Raw data (loadavg): 1.01 1.01 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 8930 0 0 0 53652 488 0 0 25 0 1 0 22413048 38227968 7381 4294967295 134512640 135987407 3221224560 3221223208 134801318 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 9333 7381 364 364 0 8969 0
[pid=9854] vsize: 37332
Current children cumulated CPU time (s) 541.4
Current children cumulated vsize (Kb) 37332

[startup+560.02 s]
Raw data (loadavg): 1.01 1.01 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 9081 0 0 0 54634 495 0 0 25 0 1 0 22413048 38670336 7499 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 9441 7499 364 364 0 9077 0
[pid=9854] vsize: 37764
Current children cumulated CPU time (s) 551.29
Current children cumulated vsize (Kb) 37764

[startup+570.021 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 9242 0 0 0 55615 502 0 0 25 0 1 0 22413048 38936576 7660 4294967295 134512640 135987407 3221224560 3221223232 134876948 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 9506 7660 364 364 0 9142 0
[pid=9854] vsize: 38024
Current children cumulated CPU time (s) 561.17
Current children cumulated vsize (Kb) 38024

[startup+580.022 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 9302 0 0 0 56599 507 0 0 25 0 1 0 22413048 39137280 7720 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 9555 7720 364 364 0 9191 0
[pid=9854] vsize: 38220
Current children cumulated CPU time (s) 571.06
Current children cumulated vsize (Kb) 38220

[startup+590.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 9388 0 0 0 57584 512 0 0 25 0 1 0 22413048 39337984 7806 4294967295 134512640 135987407 3221224560 3221223104 134811885 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 9604 7806 364 364 0 9240 0
[pid=9854] vsize: 38416
Current children cumulated CPU time (s) 580.96
Current children cumulated vsize (Kb) 38416

[startup+600.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 9520 0 0 0 58569 518 0 0 25 0 1 0 22413048 39469056 7905 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 9636 7905 364 364 0 9272 0
[pid=9854] vsize: 38544
Current children cumulated CPU time (s) 590.87
Current children cumulated vsize (Kb) 38544

[startup+610.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 9660 0 0 0 59554 522 0 0 25 0 1 0 22413048 39968768 8045 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 9758 8045 364 364 0 9394 0
[pid=9854] vsize: 39032
Current children cumulated CPU time (s) 600.76
Current children cumulated vsize (Kb) 39032

[startup+620.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 9758 0 0 0 60538 528 0 0 25 0 1 0 22413048 40169472 8143 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 9807 8143 364 364 0 9443 0
[pid=9854] vsize: 39228
Current children cumulated CPU time (s) 610.66
Current children cumulated vsize (Kb) 39228

[startup+630.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 9863 0 0 0 61522 535 0 0 25 0 1 0 22413048 40554496 8248 4294967295 134512640 135987407 3221224560 3221223104 134811765 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 9901 8248 364 364 0 9537 0
[pid=9854] vsize: 39604
Current children cumulated CPU time (s) 620.57
Current children cumulated vsize (Kb) 39604

[startup+640.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 9961 0 0 0 62507 541 0 0 25 0 1 0 22413048 40554496 8346 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 9901 8346 364 364 0 9537 0
[pid=9854] vsize: 39604
Current children cumulated CPU time (s) 630.48
Current children cumulated vsize (Kb) 39604

[startup+650.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 11568 0 0 0 63488 549 0 0 25 0 1 0 22413048 46845952 8416 4294967295 134512640 135987407 3221224560 3221223216 134824800 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 11437 8416 364 364 0 11073 0
[pid=9854] vsize: 45748
Current children cumulated CPU time (s) 640.37
Current children cumulated vsize (Kb) 45748

[startup+660.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 11657 0 0 0 64472 554 0 0 25 0 1 0 22413048 46997504 8505 4294967295 134512640 135987407 3221224560 3221223168 134801180 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 11474 8505 364 364 0 11110 0
[pid=9854] vsize: 45896
Current children cumulated CPU time (s) 650.26
Current children cumulated vsize (Kb) 45896

[startup+670.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 11765 0 0 0 65454 560 0 0 25 0 1 0 22413048 47255552 8613 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 11537 8613 364 364 0 11173 0
[pid=9854] vsize: 46148
Current children cumulated CPU time (s) 660.14
Current children cumulated vsize (Kb) 46148

[startup+680.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 11861 0 0 0 66439 565 0 0 25 0 1 0 22413048 47255552 8709 4294967295 134512640 135987407 3221224560 3221223104 134811803 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 11537 8709 364 364 0 11173 0
[pid=9854] vsize: 46148
Current children cumulated CPU time (s) 670.04
Current children cumulated vsize (Kb) 46148

[startup+690.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 11948 0 0 0 67424 570 0 0 25 0 1 0 22413048 47398912 8796 4294967295 134512640 135987407 3221224560 3221223104 134812018 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 11572 8796 364 364 0 11208 0
[pid=9854] vsize: 46288
Current children cumulated CPU time (s) 679.94
Current children cumulated vsize (Kb) 46288

[startup+700.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 12004 0 0 0 68411 575 0 0 25 0 1 0 22413048 47398912 8852 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 11572 8852 364 364 0 11208 0
[pid=9854] vsize: 46288
Current children cumulated CPU time (s) 689.86
Current children cumulated vsize (Kb) 46288

[startup+710.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 12176 0 0 0 69398 579 0 0 25 0 1 0 22413048 47923200 9024 4294967295 134512640 135987407 3221224560 3221223232 134876948 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 11700 9024 364 364 0 11336 0
[pid=9854] vsize: 46800
Current children cumulated CPU time (s) 699.77
Current children cumulated vsize (Kb) 46800

[startup+720.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 12232 0 0 0 70381 586 0 0 25 0 1 0 22413048 47923200 9080 4294967295 134512640 135987407 3221224560 3221223104 134812010 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 11700 9080 364 364 0 11336 0
[pid=9854] vsize: 46800
Current children cumulated CPU time (s) 709.67
Current children cumulated vsize (Kb) 46800

[startup+730.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 12289 0 0 0 71365 591 0 0 25 0 1 0 22413048 47923200 9137 4294967295 134512640 135987407 3221224560 3221223136 134813852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 11700 9137 364 364 0 11336 0
[pid=9854] vsize: 46800
Current children cumulated CPU time (s) 719.56
Current children cumulated vsize (Kb) 46800

[startup+740.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 12355 0 0 0 72350 597 0 0 25 0 1 0 22413048 48119808 9154 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 11748 9154 364 364 0 11384 0
[pid=9854] vsize: 46992
Current children cumulated CPU time (s) 729.47
Current children cumulated vsize (Kb) 46992

[startup+750.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 12377 0 0 0 73337 602 0 0 25 0 1 0 22413048 48119808 9176 4294967295 134512640 135987407 3221224560 3221223104 134811910 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 11748 9176 364 364 0 11384 0
[pid=9854] vsize: 46992
Current children cumulated CPU time (s) 739.39
Current children cumulated vsize (Kb) 46992

[startup+760.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 12440 0 0 0 74322 607 0 0 25 0 1 0 22413048 48254976 9239 4294967295 134512640 135987407 3221224560 3221223136 134814142 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 11781 9239 364 364 0 11417 0
[pid=9854] vsize: 47124
Current children cumulated CPU time (s) 749.29
Current children cumulated vsize (Kb) 47124

[startup+770.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 12528 0 0 0 75309 612 0 0 25 0 1 0 22413048 48254976 9327 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 11781 9327 364 364 0 11417 0
[pid=9854] vsize: 47124
Current children cumulated CPU time (s) 759.21
Current children cumulated vsize (Kb) 47124

[startup+780.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 12646 0 0 0 76298 616 0 0 25 0 1 0 22413048 48590848 9445 4294967295 134512640 135987407 3221224560 3221223104 134811803 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 11863 9445 364 364 0 11499 0
[pid=9854] vsize: 47452
Current children cumulated CPU time (s) 769.14
Current children cumulated vsize (Kb) 47452

[startup+790.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 12722 0 0 0 77283 622 0 0 25 0 1 0 22413048 48590848 9521 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 11863 9521 364 364 0 11499 0
[pid=9854] vsize: 47452
Current children cumulated CPU time (s) 779.05
Current children cumulated vsize (Kb) 47452

[startup+800.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 12813 0 0 0 78270 626 0 0 25 0 1 0 22413048 48590848 9612 4294967295 134512640 135987407 3221224560 3221223136 134814142 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 11863 9612 364 364 0 11499 0
[pid=9854] vsize: 47452
Current children cumulated CPU time (s) 788.96
Current children cumulated vsize (Kb) 47452

[startup+810.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 12890 0 0 0 79258 630 0 0 25 0 1 0 22413048 48590848 9689 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 11863 9689 364 364 0 11499 0
[pid=9854] vsize: 47452
Current children cumulated CPU time (s) 798.88
Current children cumulated vsize (Kb) 47452

[startup+820.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 12971 0 0 0 80245 636 0 0 25 0 1 0 22413048 48775168 9770 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 11908 9770 364 364 0 11544 0
[pid=9854] vsize: 47632
Current children cumulated CPU time (s) 808.81
Current children cumulated vsize (Kb) 47632

[startup+830.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 13057 0 0 0 81229 643 0 0 25 0 1 0 22413048 65552384 9856 4294967295 134512640 135987407 3221224560 3221223104 134811885 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 16004 9856 364 364 0 15640 0
[pid=9854] vsize: 64016
Current children cumulated CPU time (s) 818.72
Current children cumulated vsize (Kb) 64016

[startup+840.033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 13129 0 0 0 82215 649 0 0 25 0 1 0 22413048 65552384 9928 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 16004 9928 364 364 0 15640 0
[pid=9854] vsize: 64016
Current children cumulated CPU time (s) 828.64
Current children cumulated vsize (Kb) 64016

[startup+850.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 13233 0 0 0 83201 653 0 0 25 0 1 0 22413048 65802240 10032 4294967295 134512640 135987407 3221224560 3221223104 134811975 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 16065 10032 364 364 0 15701 0
[pid=9854] vsize: 64260
Current children cumulated CPU time (s) 838.54
Current children cumulated vsize (Kb) 64260

[startup+860.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 13324 0 0 0 84183 659 0 0 25 0 1 0 22413048 65802240 10123 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 16065 10123 364 364 0 15701 0
[pid=9854] vsize: 64260
Current children cumulated CPU time (s) 848.42
Current children cumulated vsize (Kb) 64260

[startup+870.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 13399 0 0 0 85168 665 0 0 25 0 1 0 22413048 65921024 10198 4294967295 134512640 135987407 3221224560 3221223104 134811824 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 16094 10198 364 364 0 15730 0
[pid=9854] vsize: 64376
Current children cumulated CPU time (s) 858.33
Current children cumulated vsize (Kb) 64376

[startup+880.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 13496 0 0 0 86155 670 0 0 25 0 1 0 22413048 65921024 10295 4294967295 134512640 135987407 3221224560 3221223104 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 16094 10295 364 364 0 15730 0
[pid=9854] vsize: 64376
Current children cumulated CPU time (s) 868.25
Current children cumulated vsize (Kb) 64376

[startup+890.036 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 13543 0 0 0 87141 676 0 0 25 0 1 0 22413048 66052096 10342 4294967295 134512640 135987407 3221224560 3221223232 134824327 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 16126 10342 364 364 0 15762 0
[pid=9854] vsize: 64504
Current children cumulated CPU time (s) 878.17
Current children cumulated vsize (Kb) 64504

[startup+900.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 13614 0 0 0 88129 680 0 0 25 0 1 0 22413048 66199552 10376 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 16162 10376 364 364 0 15798 0
[pid=9854] vsize: 64648
Current children cumulated CPU time (s) 888.09
Current children cumulated vsize (Kb) 64648

[startup+910.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 14086 0 0 0 89116 685 0 0 25 0 1 0 22413048 67944448 10848 4294967295 134512640 135987407 3221224560 3221223104 134811885 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 16588 10848 364 364 0 16224 0
[pid=9854] vsize: 66352
Current children cumulated CPU time (s) 898.01
Current children cumulated vsize (Kb) 66352

[startup+920.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 14118 0 0 0 90101 690 0 0 25 0 1 0 22413048 67944448 10880 4294967295 134512640 135987407 3221224560 3221223104 134812002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 16588 10880 364 364 0 16224 0
[pid=9854] vsize: 66352
Current children cumulated CPU time (s) 907.91
Current children cumulated vsize (Kb) 66352

[startup+930.038 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 14133 0 0 0 91085 695 0 0 25 0 1 0 22413048 67944448 10895 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 16588 10895 364 364 0 16224 0
[pid=9854] vsize: 66352
Current children cumulated CPU time (s) 917.8
Current children cumulated vsize (Kb) 66352

[startup+940.038 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 14147 0 0 0 92070 700 0 0 25 0 1 0 22413048 67944448 10909 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 16588 10909 364 364 0 16224 0
[pid=9854] vsize: 66352
Current children cumulated CPU time (s) 927.7
Current children cumulated vsize (Kb) 66352

[startup+950.038 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 14162 0 0 0 93052 707 0 0 25 0 1 0 22413048 67944448 10924 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 16588 10924 364 364 0 16224 0
[pid=9854] vsize: 66352
Current children cumulated CPU time (s) 937.59
Current children cumulated vsize (Kb) 66352

[startup+960.038 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 14176 0 0 0 94038 712 0 0 25 0 1 0 22413048 67944448 10938 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 16588 10938 364 364 0 16224 0
[pid=9854] vsize: 66352
Current children cumulated CPU time (s) 947.5
Current children cumulated vsize (Kb) 66352

[startup+970.038 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 14192 0 0 0 95020 718 0 0 25 0 1 0 22413048 67944448 10954 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 16588 10954 364 364 0 16224 0
[pid=9854] vsize: 66352
Current children cumulated CPU time (s) 957.38
Current children cumulated vsize (Kb) 66352

[startup+980.038 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 14206 0 0 0 96004 724 0 0 25 0 1 0 22413048 67944448 10968 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 16588 10968 364 364 0 16224 0
[pid=9854] vsize: 66352
Current children cumulated CPU time (s) 967.28
Current children cumulated vsize (Kb) 66352

[startup+990.039 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 14224 0 0 0 96992 729 0 0 25 0 1 0 22413048 67944448 10986 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 16588 10986 364 364 0 16224 0
[pid=9854] vsize: 66352
Current children cumulated CPU time (s) 977.21
Current children cumulated vsize (Kb) 66352

[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 14258 0 0 0 97976 735 0 0 25 0 1 0 22413048 68083712 11020 4294967295 134512640 135987407 3221224560 3221223104 134811927 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 16622 11020 364 364 0 16258 0
[pid=9854] vsize: 66488
Current children cumulated CPU time (s) 987.11
Current children cumulated vsize (Kb) 66488

[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 14295 0 0 0 98961 740 0 0 25 0 1 0 22413048 68288512 11057 4294967295 134512640 135987407 3221224560 3221223136 134813850 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 16672 11057 364 364 0 16308 0
[pid=9854] vsize: 66688
Current children cumulated CPU time (s) 997.01
Current children cumulated vsize (Kb) 66688

[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 14341 0 0 0 99947 746 0 0 25 0 1 0 22413048 68521984 11103 4294967295 134512640 135987407 3221224560 3221223104 134811842 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 16729 11103 364 364 0 16365 0
[pid=9854] vsize: 66916
Current children cumulated CPU time (s) 1006.93
Current children cumulated vsize (Kb) 66916

[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 14398 0 0 0 100933 751 0 0 25 0 1 0 22413048 68755456 11160 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 16786 11160 364 364 0 16422 0
[pid=9854] vsize: 67144
Current children cumulated CPU time (s) 1016.84
Current children cumulated vsize (Kb) 67144

[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 14436 0 0 0 101918 756 0 0 25 0 1 0 22413048 68755456 11198 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 16786 11198 364 364 0 16422 0
[pid=9854] vsize: 67144
Current children cumulated CPU time (s) 1026.74
Current children cumulated vsize (Kb) 67144

[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 14453 0 0 0 102906 761 0 0 17 0 1 0 22413048 68755456 11215 4294967295 134512640 135987407 3221224560 3221223104 134811855 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 16786 11215 364 364 0 16422 0
[pid=9854] vsize: 67144
Current children cumulated CPU time (s) 1036.67
Current children cumulated vsize (Kb) 67144

[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 14516 0 0 0 103894 765 0 0 25 0 1 0 22413048 68919296 11237 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 16826 11237 364 364 0 16462 0
[pid=9854] vsize: 67304
Current children cumulated CPU time (s) 1046.59
Current children cumulated vsize (Kb) 67304

[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 14583 0 0 0 104879 770 0 0 25 0 1 0 22413048 69099520 11259 4294967295 134512640 135987407 3221224560 3221223104 134811894 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 16870 11259 364 364 0 16506 0
[pid=9854] vsize: 67480
Current children cumulated CPU time (s) 1056.49
Current children cumulated vsize (Kb) 67480

[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 14598 0 0 0 105863 776 0 0 25 0 1 0 22413048 69099520 11274 4294967295 134512640 135987407 3221224560 3221223136 134813813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 16870 11274 364 364 0 16506 0
[pid=9854] vsize: 67480
Current children cumulated CPU time (s) 1066.39
Current children cumulated vsize (Kb) 67480

[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 14614 0 0 0 106849 781 0 0 25 0 1 0 22413048 69099520 11290 4294967295 134512640 135987407 3221224560 3221223104 134811907 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 16870 11290 364 364 0 16506 0
[pid=9854] vsize: 67480
Current children cumulated CPU time (s) 1076.3
Current children cumulated vsize (Kb) 67480

[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 14629 0 0 0 107836 786 0 0 25 0 1 0 22413048 69099520 11305 4294967295 134512640 135987407 3221224560 3221223104 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 16870 11305 364 364 0 16506 0
[pid=9854] vsize: 67480
Current children cumulated CPU time (s) 1086.22
Current children cumulated vsize (Kb) 67480

[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 14649 0 0 0 108821 792 0 0 25 0 1 0 22413048 69099520 11325 4294967295 134512640 135987407 3221224560 3221223104 134811827 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 16870 11325 364 364 0 16506 0
[pid=9854] vsize: 67480
Current children cumulated CPU time (s) 1096.13
Current children cumulated vsize (Kb) 67480

[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 14758 0 0 0 109809 796 0 0 25 0 1 0 22413048 69234688 11434 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 16903 11434 364 364 0 16539 0
[pid=9854] vsize: 67612
Current children cumulated CPU time (s) 1106.05
Current children cumulated vsize (Kb) 67612

[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 14834 0 0 0 110794 800 0 0 25 0 1 0 22413048 69369856 11510 4294967295 134512640 135987407 3221224560 3221223104 134811832 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 16936 11510 364 364 0 16572 0
[pid=9854] vsize: 67744
Current children cumulated CPU time (s) 1115.94
Current children cumulated vsize (Kb) 67744

[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 14899 0 0 0 111783 805 0 0 25 0 1 0 22413048 69369856 11575 4294967295 134512640 135987407 3221224560 3221223104 134811915 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 16936 11575 364 364 0 16572 0
[pid=9854] vsize: 67744
Current children cumulated CPU time (s) 1125.88
Current children cumulated vsize (Kb) 67744

[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 16130 0 0 0 112764 813 0 0 25 0 1 0 22413048 74100736 12806 4294967295 134512640 135987407 3221224560 3221223104 134811829 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 18091 12806 364 364 0 17727 0
[pid=9854] vsize: 72364
Current children cumulated CPU time (s) 1135.77
Current children cumulated vsize (Kb) 72364

[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 16198 0 0 0 113744 820 0 0 25 0 1 0 22413048 74100736 12874 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 18091 12874 364 364 0 17727 0
[pid=9854] vsize: 72364
Current children cumulated CPU time (s) 1145.64
Current children cumulated vsize (Kb) 72364

[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) T 9853 9854 4060 0 -1 0 16217 0 0 0 114726 826 0 0 25 0 1 0 22413048 74100736 12893 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9854/statm): 18091 12893 364 364 0 17727 0
[pid=9854] vsize: 72364
Current children cumulated CPU time (s) 1155.52
Current children cumulated vsize (Kb) 72364

[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 16235 0 0 0 115707 833 0 0 25 0 1 0 22413048 74100736 12911 4294967295 134512640 135987407 3221224560 3221223104 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 18091 12911 364 364 0 17727 0
[pid=9854] vsize: 72364
Current children cumulated CPU time (s) 1165.4
Current children cumulated vsize (Kb) 72364

[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.99 1/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) T 9853 9854 4060 0 -1 0 16252 0 0 0 116691 838 0 0 25 0 1 0 22413048 74100736 12928 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9854/statm): 18091 12928 364 364 0 17727 0
[pid=9854] vsize: 72364
Current children cumulated CPU time (s) 1175.29
Current children cumulated vsize (Kb) 72364

[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 16267 0 0 0 117673 845 0 0 25 0 1 0 22413048 74100736 12943 4294967295 134512640 135987407 3221224560 3221223104 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 18091 12943 364 364 0 17727 0
[pid=9854] vsize: 72364
Current children cumulated CPU time (s) 1185.18
Current children cumulated vsize (Kb) 72364

[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 16282 0 0 0 118657 851 0 0 25 0 1 0 22413048 74100736 12958 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 18091 12958 364 364 0 17727 0
[pid=9854] vsize: 72364
Current children cumulated CPU time (s) 1195.08
Current children cumulated vsize (Kb) 72364

[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 16297 0 0 0 119641 858 0 0 25 0 1 0 22413048 74100736 12973 4294967295 134512640 135987407 3221224560 3221223168 134801215 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 18091 12973 364 364 0 17727 0
[pid=9854] vsize: 72364
Current children cumulated CPU time (s) 1204.99
Current children cumulated vsize (Kb) 72364



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4060 0 -1 0 16297 0 0 0 119641 858 0 0 25 0 1 0 22413048 74100736 12973 4294967295 134512640 135987407 3221224560 3221223168 134801215 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 18091 12973 364 364 0 17727 0
[pid=9854] vsize: 72364
Current children cumulated CPU time (s) 1204.99
Current children cumulated vsize (Kb) 72364

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

Child status: 10
Real time (s): 1220.2
CPU time (s): 1205.14
CPU user time (s): 1196.53
CPU system time (s): 8.60969
CPU usage (%): 98.766
Max. virtual memory (cumulated for all children) (Kb): 72364

Verifier Data

Verifier:	OK	30