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

Namesubmitted/sorensson/garden/normalized-g15x15.opb
MD5SUM6a083b86cc55025d2acb3bcf68562064
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 54
Optimality of the best value was proved NO
Number of terms in the objective function 225
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 225
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 225
Number of bits of the biggest sum of numbers8
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.11
Number of variables225
Total number of constraints225
Number of constraints which are clauses225
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint5

Trace number 9795

Launcher Data

LAUNCH ON wulflinc4 THE 2005-09-23 15:13:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8471 boxname=wulflinc4 idbench=267 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  6a083b86cc55025d2acb3bcf68562064  /oldhome/oroussel/tmp/wulflinc4/normalized-g15x15.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc4/normalized-g15x15.opb
IDLAUNCH: 8471
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        935864 kB
Buffers:         11916 kB
Cached:          70092 kB
SwapCached:          0 kB
Active:          44048 kB
Inactive:        40820 kB
HighTotal:      131008 kB
HighFree:        56644 kB
LowTotal:       903652 kB
LowFree:        879220 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8376 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 15:33:51 (client local time) WITH STATUS 10 IN 1202.84 SECONDS
stats: 8471 0 1202.84 10

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 225
c small objective detected

c Decision: 8739/25887	Time: 1.45878/86400
c Decision: 8739/25887	Time: 2.32965/86400
c Decision: 9150/25887	Time: 3.65244/86400
c Decision: 9150/25887	Time: 4.41233/86400
c got solution with objective value: 96
c [startup+6.21266 s]  setting bit 7 to 1

c Decision: 20726/25887	Time: 3.79042/86400
c Decision: 20726/25887	Time: 5.46217/86400
c Decision: 21118/25887	Time: 7.38188/86400
c Decision: 21118/25887	Time: 8.36573/86400
c Decision: 21118/25887	Time: 10.0665/86400
c Decision: 21118/25887	Time: 11.1753/86400
c Decision: 21118/25887	Time: 13.16/86400
c Decision: 21897/25887	Time: 15.9246/86400
c Decision: 21897/25887	Time: 17.9783/86400
c Decision: 21897/25887	Time: 20.001/86400
c Decision: 21897/25887	Time: 21.8957/86400
c Decision: 21897/25887	Time: 24.0443/86400
c Decision: 21897/25887	Time: 26.223/86400
c Decision: 21897/25887	Time: 28.5657/86400
c Decision: 21897/25887	Time: 30.9313/86400
c Decision: 21897/25887	Time: 33.2709/86400
c Decision: 21897/25887	Time: 35.4556/86400
c Decision: 22009/25887	Time: 39.483/86400
c Decision: 22137/25887	Time: 43.3104/86400
c Decision: 22137/25887	Time: 45.6691/86400
c Decision: 22151/25887	Time: 48.9486/86400
c Decision: 22151/25887	Time: 51.5942/86400
c Decision: 22151/25887	Time: 54.1808/86400
c Decision: 22151/25887	Time: 57.0073/86400
c Decision: 22151/25887	Time: 60.0109/86400
c Decision: 22151/25887	Time: 63.1804/86400
c Decision: 22151/25887	Time: 66.1809/86400
c Decision: 22151/25887	Time: 69.1625/86400
c Decision: 22151/25887	Time: 72.252/86400
c Decision: 22151/25887	Time: 75.5915/86400
c Decision: 22156/25887	Time: 79.6009/86400
c Decision: 22157/25887	Time: 83.9422/86400
c Decision: 22157/25887	Time: 87.5097/86400
c Decision: 22157/25887	Time: 91.1651/86400
c Decision: 22157/25887	Time: 95.0066/86400
c Decision: 22160/25887	Time: 100.866/86400
c Decision: 22160/25887	Time: 104.128/86400
c Decision: 22160/25887	Time: 107.63/86400
c Decision: 22160/25887	Time: 111.167/86400
c Decision: 22160/25887	Time: 115.57/86400
c Decision: 22160/25887	Time: 119.927/86400
c Decision: 22160/25887	Time: 123.914/86400
c Decision: 22160/25887	Time: 128.476/86400
c Decision: 22160/25887	Time: 132.31/86400
c Decision: 22160/25887	Time: 136.081/86400
c Decision: 22160/25887	Time: 140.719/86400
c Decision: 22160/25887	Time: 145.018/86400
c Decision: 22160/25887	Time: 150.068/86400
c Decision: 22160/25887	Time: 154.66/86400
c Decision: 22160/25887	Time: 159.047/86400
c Decision: 22214/25887	Time: 168.67/86400
c Decision: 22214/25887	Time: 173.947/86400
c Decision: 22214/25887	Time: 178.329/86400
c Decision: 22215/25887	Time: 187.59/86400
c Decision: 22215/25887	Time: 192.73/86400
c Decision: 22215/25887	Time: 197.811/86400
c Decision: 22219/25887	Time: 206.349/86400
c Decision: 22219/25887	Time: 210.623/86400
c Decision: 22220/25887	Time: 217.088/86400
c Decision: 22220/25887	Time: 221.641/86400
c [startup+240.159 s]  setting bit 6 to 0

c Decision: 15175/25887	Time: 2.37564/86400
c Decision: 15175/25887	Time: 4.53131/86400
c Decision: 15201/25887	Time: 6.17006/86400
c Decision: 15264/25887	Time: 9.58854/86400
c Decision: 15264/25887	Time: 10.5574/86400
c Decision: 15264/25887	Time: 12.3961/86400
c Decision: 15264/25887	Time: 14.1918/86400
c Decision: 15264/25887	Time: 15.9786/86400
c Decision: 15264/25887	Time: 17.2404/86400
c Decision: 15410/25887	Time: 19.2531/86400
c Decision: 15410/25887	Time: 20.7059/86400
c Decision: 15410/25887	Time: 21.5217/86400
c Decision: 15410/25887	Time: 23.5844/86400
c Decision: 15410/25887	Time: 25.5801/86400
c Decision: 15410/25887	Time: 26.8779/86400
c Decision: 15410/25887	Time: 29.1086/86400
c Decision: 15410/25887	Time: 30.0834/86400
c Decision: 15410/25887	Time: 32.0901/86400
c Decision: 15410/25887	Time: 33.6199/86400
c Decision: 15410/25887	Time: 35.1407/86400
c Decision: 15410/25887	Time: 37.2573/86400
c Decision: 15410/25887	Time: 38.5261/86400
c Decision: 15410/25887	Time: 40.6388/86400
c Decision: 15410/25887	Time: 42.0616/86400
c Decision: 15410/25887	Time: 44.0863/86400
c Decision: 15410/25887	Time: 45.836/86400
c Decision: 15410/25887	Time: 47.5178/86400
c Decision: 15410/25887	Time: 49.2165/86400
c Decision: 15410/25887	Time: 50.2554/86400
c Decision: 15410/25887	Time: 52.294/86400
c Decision: 15410/25887	Time: 53.9038/86400
c Decision: 15410/25887	Time: 56.0245/86400
c Decision: 15410/25887	Time: 57.6182/86400
c Decision: 15410/25887	Time: 59.7819/86400
c Decision: 15410/25887	Time: 61.7096/86400
c Decision: 15410/25887	Time: 63.2014/86400
c Decision: 15410/25887	Time: 65.72/86400
c Decision: 15410/25887	Time: 67.3668/86400
c Decision: 15410/25887	Time: 69.8334/86400
c Decision: 15410/25887	Time: 71.1682/86400
c Decision: 15410/25887	Time: 73.9428/86400
c Decision: 15410/25887	Time: 75.3006/86400
c Decision: 15410/25887	Time: 77.6652/86400
c Decision: 15410/25887	Time: 79.3629/86400
c Decision: 15410/25887	Time: 81.5726/86400
c Decision: 15410/25887	Time: 83.1214/86400
c Decision: 15410/25887	Time: 85.0331/86400
c Decision: 15410/25887	Time: 86.3809/86400
c Decision: 15410/25887	Time: 88.1286/86400
c Decision: 15410/25887	Time: 89.7114/86400
c Decision: 15410/25887	Time: 92.19/86400
c Decision: 15410/25887	Time: 93.7377/86400
c Decision: 15410/25887	Time: 95.7564/86400
c Decision: 15410/25887	Time: 97.2322/86400
c Decision: 15410/25887	Time: 99.5809/86400
c Decision: 15410/25887	Time: 101.617/86400
c Decision: 15410/25887	Time: 103.568/86400
c Decision: 15410/25887	Time: 105.735/86400
c Decision: 15410/25887	Time: 108.059/86400
c Decision: 15410/25887	Time: 109.473/86400
c Decision: 15410/25887	Time: 112.345/86400
c Decision: 15410/25887	Time: 114.034/86400
c Decision: 15410/25887	Time: 116.525/86400
c Decision: 15410/25887	Time: 117.875/86400
c Decision: 15410/25887	Time: 119.745/86400
c Decision: 15410/25887	Time: 122.463/86400
c Decision: 15410/25887	Time: 124.85/86400
c Decision: 15410/25887	Time: 127.238/86400
c Decision: 15410/25887	Time: 129.312/86400
c Decision: 15410/25887	Time: 131.5/86400
c Decision: 15410/25887	Time: 133.376/86400
c Decision: 15410/25887	Time: 135.599/86400
c Decision: 15410/25887	Time: 138.101/86400
c Decision: 15410/25887	Time: 140.56/86400
c got solution with objective value: 64
c [startup+386.442 s]  setting bit 5 to 1

c Decision: 17991/25887	Time: 13.7349/86400
c Decision: 17991/25887	Time: 15.2797/86400
c Decision: 17991/25887	Time: 17.0034/86400
c Decision: 17991/25887	Time: 18.6102/86400
c Decision: 17991/25887	Time: 20.3019/86400
c Decision: 17991/25887	Time: 22.4846/86400
c Decision: 17991/25887	Time: 24.1933/86400
c Decision: 17991/25887	Time: 25.9601/86400
c Decision: 17991/25887	Time: 27.7828/86400
c Decision: 18153/25887	Time: 30.0854/86400
c Decision: 18289/25887	Time: 34.3218/86400
c Decision: 18289/25887	Time: 36.4215/86400
c Decision: 18289/25887	Time: 38.1592/86400
c Decision: 18289/25887	Time: 40.0989/86400
c Decision: 18289/25887	Time: 41.9836/86400
c Decision: 18289/25887	Time: 44.1673/86400
c Decision: 18289/25887	Time: 46.06/86400
c Decision: 18289/25887	Time: 48.0517/86400
c Decision: 18289/25887	Time: 49.5705/86400
c Decision: 18289/25887	Time: 51.4682/86400
c Decision: 18289/25887	Time: 53.6408/86400
c Decision: 18289/25887	Time: 55.6575/86400
c Decision: 18289/25887	Time: 57.6902/86400
c Decision: 18289/25887	Time: 59.8149/86400
c Decision: 18289/25887	Time: 61.7216/86400
c Decision: 18289/25887	Time: 63.6383/86400
c Decision: 18309/25887	Time: 66.2649/86400
c Decision: 18309/25887	Time: 68.5356/86400
c Decision: 18309/25887	Time: 70.4743/86400
c Decision: 18309/25887	Time: 72.615/86400
c Decision: 18309/25887	Time: 74.6636/86400
c Decision: 18309/25887	Time: 77.0723/86400
c Decision: 18309/25887	Time: 79.2829/86400
c Decision: 18309/25887	Time: 81.4926/86400
c Decision: 18309/25887	Time: 83.7553/86400
c Decision: 18309/25887	Time: 85.68/86400
c Decision: 18309/25887	Time: 88.1776/86400
c Decision: 18309/25887	Time: 89.7674/86400
c Decision: 18309/25887	Time: 92.218/86400
c Decision: 18309/25887	Time: 94.0697/86400
c Decision: 18309/25887	Time: 96.8883/86400
c Decision: 18309/25887	Time: 99.1739/86400
c Decision: 18309/25887	Time: 101.542/86400
c Decision: 18309/25887	Time: 104.083/86400
c Decision: 18309/25887	Time: 106.209/86400
c Decision: 18309/25887	Time: 108.844/86400
c Decision: 18309/25887	Time: 110.87/86400
c Decision: 18309/25887	Time: 113.352/86400
c Decision: 18309/25887	Time: 115.501/86400
c Decision: 18309/25887	Time: 118.133/86400
c Decision: 18309/25887	Time: 120.632/86400
c Decision: 18309/25887	Time: 122.956/86400
c Decision: 18309/25887	Time: 125.212/86400
c Decision: 18309/25887	Time: 127.594/86400
c Decision: 18309/25887	Time: 130.123/86400
c Decision: 18309/25887	Time: 133.313/86400
c Decision: 18309/25887	Time: 135.637/86400
c Decision: 18309/25887	Time: 137.241/86400
c Decision: 18309/25887	Time: 140.042/86400
c Decision: 18309/25887	Time: 142.194/86400
c Decision: 18309/25887	Time: 144.849/86400
c Decision: 18309/25887	Time: 147.949/86400
c Decision: 18309/25887	Time: 150.114/86400
c Decision: 18309/25887	Time: 153.105/86400
c Decision: 18309/25887	Time: 155.55/86400
c Decision: 18309/25887	Time: 158.971/86400
c Decision: 18309/25887	Time: 161.799/86400
c Decision: 18309/25887	Time: 164.728/86400
c Decision: 18309/25887	Time: 168.112/86400
c Decision: 18309/25887	Time: 170.643/86400
c Decision: 18309/25887	Time: 173.736/86400
c Decision: 18309/25887	Time: 176.25/86400
c Decision: 18309/25887	Time: 179.134/86400
c Decision: 18309/25887	Time: 182.361/86400
c Decision: 18309/25887	Time: 185.21/86400
c Decision: 18309/25887	Time: 188.628/86400
c Decision: 18309/25887	Time: 191.008/86400
c Decision: 18309/25887	Time: 194.252/86400
c Decision: 18309/25887	Time: 196.996/86400
c Decision: 18309/25887	Time: 199.536/86400
c Decision: 18309/25887	Time: 202.72/86400
c Decision: 18309/25887	Time: 205.104/86400
c Decision: 18309/25887	Time: 208.274/86400
c Decision: 18309/25887	Time: 211.188/86400
c Decision: 18309/25887	Time: 214.038/86400
c Decision: 18309/25887	Time: 217.198/86400
c Decision: 18309/25887	Time: 220.261/86400
c Decision: 18309/25887	Time: 223.541/86400
c Decision: 18309/25887	Time: 226.178/86400
c Decision: 18309/25887	Time: 229.348/86400
c Decision: 18309/25887	Time: 232.696/86400
c Decision: 18309/25887	Time: 236.122/86400
c Decision: 18309/25887	Time: 239.374/86400
c Decision: 18309/25887	Time: 242.107/86400
c Decision: 18309/25887	Time: 245.612/86400
c Decision: 18309/25887	Time: 248.484/86400
c Decision: 18309/25887	Time: 251.514/86400
c Decision: 18309/25887	Time: 253.703/86400
c Decision: 18309/25887	Time: 256.556/86400
c Decision: 18893/25887	Time: 262.368/86400
c Decision: 18893/25887	Time: 265.312/86400
c Decision: 18893/25887	Time: 268.814/86400
c Decision: 18893/25887	Time: 271.835/86400
c Decision: 18900/25887	Time: 276.506/86400
c Decision: 18900/25887	Time: 279.61/86400
c Decision: 18900/25887	Time: 283.211/86400
c Decision: 18900/25887	Time: 286.663/86400
c Decision: 18900/25887	Time: 289.326/86400
c Decision: 18900/25887	Time: 292.293/86400
c Decision: 18900/25887	Time: 295.501/86400
c Decision: 18900/25887	Time: 298.601/86400
c Decision: 18900/25887	Time: 302.336/86400
c Decision: 18900/25887	Time: 304.949/86400
c Decision: 18900/25887	Time: 308.462/86400
c Decision: 18900/25887	Time: 311.549/86400
c Decision: 18900/25887	Time: 315.138/86400
c Decision: 18900/25887	Time: 317.905/86400
c Decision: 18900/25887	Time: 321.711/86400
c Decision: 18900/25887	Time: 324.943/86400
c Decision: 18900/25887	Time: 327.579/86400
c Decision: 18900/25887	Time: 331.819/86400
c Decision: 18900/25887	Time: 335.272/86400
c Decision: 18900/25887	Time: 338.258/86400
c Decision: 18900/25887	Time: 341.782/86400
c Decision: 18900/25887	Time: 345.244/86400
c Decision: 18900/25887	Time: 348.487/86400
c Decision: 18900/25887	Time: 352.458/86400
c Decision: 18900/25887	Time: 356.257/86400
c Decision: 18900/25887	Time: 360.302/86400
c Decision: 18900/25887	Time: 364.223/86400
c Decision: 18900/25887	Time: 367.621/86400
c Decision: 18900/25887	Time: 370.22/86400
c Decision: 18900/25887	Time: 373.705/86400
c Decision: 18900/25887	Time: 376.765/86400
c Decision: 18900/25887	Time: 380.005/86400
c Decision: 18900/25887	Time: 384.636/86400
c Decision: 18900/25887	Time: 387.474/86400
c Decision: 18900/25887	Time: 390.346/86400
c Decision: 18900/25887	Time: 393.895/86400
c Decision: 18900/25887	Time: 397.607/86400
c Decision: 18900/25887	Time: 402.002/86400
c Decision: 18900/25887	Time: 405.163/86400
c Decision: 18900/25887	Time: 409.137/86400
c Decision: 18900/25887	Time: 412.088/86400
c Decision: 18900/25887	Time: 415.79/86400
c Decision: 18900/25887	Time: 419.185/86400
c Decision: 18900/25887	Time: 421.885/86400
c Decision: 18900/25887	Time: 425.066/86400
c Decision: 18900/25887	Time: 428.915/86400
c Decision: 18900/25887	Time: 431.847/86400
c Decision: 18900/25887	Time: 436.413/86400
c Decision: 18900/25887	Time: 439.509/86400
c Decision: 18900/25887	Time: 443.091/86400
c Decision: 18900/25887	Time: 447.149/86400
c Decision: 18900/25887	Time: 450.437/86400
c Decision: 18900/25887	Time: 454.887/86400
c Decision: 18900/25887	Time: 459.092/86400
c Decision: 18900/25887	Time: 463.573/86400
c Decision: 18900/25887	Time: 467.401/86400
c Decision: 18900/25887	Time: 470.889/86400
c Decision: 18900/25887	Time: 475.313/86400
c Decision: 18900/25887	Time: 480.109/86400
c Decision: 18900/25887	Time: 483.256/86400
c Decision: 18900/25887	Time: 487.315/86400
c Decision: 18900/25887	Time: 491.014/86400
c Decision: 18900/25887	Time: 494.602/86400
c Decision: 18900/25887	Time: 497.711/86400
c Decision: 18900/25887	Time: 501.669/86400
c Decision: 18900/25887	Time: 504.854/86400
c Decision: 18900/25887	Time: 508.313/86400
c Decision: 18900/25887	Time: 512.318/86400
c Decision: 18900/25887	Time: 515.662/86400
c Decision: 18900/25887	Time: 520.015/86400
c Decision: 18900/25887	Time: 524.545/86400
c Decision: 18900/25887	Time: 528.868/86400
c Decision: 18900/25887	Time: 533.327/86400
c Decision: 18900/25887	Time: 537.255/86400
c Decision: 18900/25887	Time: 541.388/86400
c Decision: 18900/25887	Time: 545.506/86400
c Decision: 18900/25887	Time: 549.082/86400
c Decision: 18900/25887	Time: 554.12/86400
c Decision: 18900/25887	Time: 556.648/86400
c Decision: 18900/25887	Time: 560.953/86400
c Decision: 18900/25887	Time: 564.957/86400
c Decision: 18900/25887	Time: 569.001/86400
c Decision: 18900/25887	Time: 572.918/86400
c Decision: 18900/25887	Time: 576.59/86400
c Decision: 18900/25887	Time: 579.504/86400
c Decision: 18900/25887	Time: 583.025/86400
c Decision: 18900/25887	Time: 585.709/86400
c Decision: 18900/25887	Time: 590.385/86400
c Decision: 18900/25887	Time: 594.989/86400
c Decision: 18900/25887	Time: 598.442/86400
c Decision: 18900/25887	Time: 603.249/86400
c Decision: 18900/25887	Time: 607.511/86400
c Decision: 18900/25887	Time: 612.605/86400
c Decision: 18900/25887	Time: 616.92/86400
c Decision: 18900/25887	Time: 620.391/86400
c Decision: 18900/25887	Time: 624.616/86400
c Decision: 18900/25887	Time: 629.234/86400
c Decision: 18900/25887	Time: 633.212/86400
c Decision: 18900/25887	Time: 636.585/86400
c Decision: 18900/25887	Time: 640.982/86400
c Decision: 18900/25887	Time: 643.804/86400
c Decision: 18900/25887	Time: 648.473/86400
c Decision: 18900/25887	Time: 652.754/86400
c Decision: 18900/25887	Time: 656.253/86400
c Decision: 18900/25887	Time: 659.978/86400
c Decision: 18900/25887	Time: 665.094/86400
c Decision: 18924/25887	Time: 672.001/86400
c Decision: 18924/25887	Time: 676.264/86400
c Decision: 18924/25887	Time: 679.955/86400
c Decision: 18924/25887	Time: 683.664/86400
c Decision: 18924/25887	Time: 688.03/86400
c Decision: 18924/25887	Time: 691.224/86400
c Decision: 18924/25887	Time: 696.125/86400
c Decision: 18924/25887	Time: 700.147/86400
c Decision: 18924/25887	Time: 704.519/86400
c Decision: 18924/25887	Time: 708.206/86400
c Decision: 18924/25887	Time: 712.205/86400
c Decision: 18942/25887	Time: 717.604/86400
c Decision: 18942/25887	Time: 722.703/86400
c Decision: 18942/25887	Time: 726.555/86400
c Decision: 18942/25887	Time: 730.431/86400
c Decision: 18942/25887	Time: 734.407/86400
c Decision: 18942/25887	Time: 740.115/86400
c Decision: 18942/25887	Time: 745.018/86400
c Decision: 18942/25887	Time: 748.666/86400
c Decision: 18942/25887	Time: 753.19/86400
c Decision: 18942/25887	Time: 758.888/86400
c Decision: 18942/25887	Time: 762.823/86400
c Decision: 18942/25887	Time: 766.753/86400
c Decision: 18942/25887	Time: 770.292/86400
c Decision: 18942/25887	Time: 774.441/86400
c Decision: 18942/25887	Time: 779.794/86400
c Decision: 18942/25887	Time: 785.883/86400
c Decision: 18942/25887	Time: 789.25/86400
c Decision: 18942/25887	Time: 794.165/86400
c Decision: 18942/25887	Time: 797.961/86400
c Decision: 18942/25887	Time: 803.396/86400
c Decision: 18942/25887	Time: 809.168/86400
c Decision: 18942/25887	Time: 813.474/86400
c Decision: 18942/25887	Time: 818.373/86400s SATISFIABLE
v x1 -x10 -x100 x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x11 x110 -x111 -x112 -x113 x114 -x115 -x116 x117 -x118 -x119 x12 -x120 -x121 x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x13 x130 -x131 -x132 x133 -x134 x135 -x136 -x137 -x138 x139 -x14 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 -x15 -x150 x151 -x152 -x153 -x154 -x155 x156 -x157 x158 -x159 -x16 -x160 -x161 x162 -x163 x164 -x165 x166 -x167 x168 -x169 -x17 -x170 -x171 x172 -x173 -x174 x175 -x176 -x177 x178 -x179 x18 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 x188 -x189 x19 -x190 -x191 -x192 -x193 -x194 x195 -x196 x197 -x198 -x199 -x2 -x20 -x200 x201 -x202 -x203 -x204 -x205 x206 x207 -x208 -x209 -x21 -x210 x211 -x212 -x213 x214 -x215 x216 -x217 -x218 x219 -x22 -x220 -x221 -x222 -x223 x224 -x225 x23 x24 x25 -x26 -x27 -x28 x29 -x3 x30 -x31 -x32 x33 x34 -x35 x36 -x37 -x38 -x39 -x4 -x40 -x41 x42 -x43 -x44 -x45 x46 -x47 x48 -x49 -x5 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 x59 x6 -x60 -x61 -x62 -x63 -x64 x65 -x66 x67 -x68 -x69 -x7 -x70 x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x8 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 x88 -x89 -x9 x90 x91 -x92 x93 x94 -x95 x96 -x97 x98 -x99

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/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21196562 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 373 2 364 364 0 9 0
[pid=8451] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc4/normalized-g15x15.opb

[startup+10.0023 s]
Raw data (loadavg): 0.92 0.95 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 4859 0 0 0 948 22 0 0 25 0 1 0 21196562 15405056 3188 4294967295 134512640 135987407 3221224576 3221223248 134876948 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8451/statm): 3761 3188 364 364 0 3397 0
[pid=8451] vsize: 15044
Current children cumulated CPU time (s) 9.7
Current children cumulated vsize (Kb) 15044

[startup+20.0032 s]
Raw data (loadavg): 0.93 0.95 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 5355 0 0 0 1915 32 0 0 25 0 1 0 21196562 17907712 3378 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 4372 3378 364 364 0 4008 0
[pid=8451] vsize: 17488
Current children cumulated CPU time (s) 19.47
Current children cumulated vsize (Kb) 17488

[startup+30.0041 s]
Raw data (loadavg): 0.94 0.95 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 5743 0 0 0 2890 42 0 0 25 0 1 0 21196562 18186240 3562 4294967295 134512640 135987407 3221224576 3221223120 134812033 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8451/statm): 4440 3562 364 364 0 4076 0
[pid=8451] vsize: 17760
Current children cumulated CPU time (s) 29.32
Current children cumulated vsize (Kb) 17760

[startup+40.004 s]
Raw data (loadavg): 0.95 0.95 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 6155 0 0 0 3865 51 0 0 25 0 1 0 21196562 18321408 3719 4294967295 134512640 135987407 3221224576 3221223248 134876948 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 4473 3719 364 364 0 4109 0
[pid=8451] vsize: 17892
Current children cumulated CPU time (s) 39.16
Current children cumulated vsize (Kb) 17892

[startup+50.0048 s]
Raw data (loadavg): 0.96 0.95 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 6436 0 0 0 4843 60 0 0 25 0 1 0 21196562 18604032 3898 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8451/statm): 4542 3898 364 364 0 4178 0
[pid=8451] vsize: 18168
Current children cumulated CPU time (s) 49.03
Current children cumulated vsize (Kb) 18168

[startup+60.0057 s]
Raw data (loadavg): 0.96 0.96 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 6793 0 0 0 5817 70 0 0 25 0 1 0 21196562 18874368 4051 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 4608 4051 364 364 0 4244 0
[pid=8451] vsize: 18432
Current children cumulated CPU time (s) 58.87
Current children cumulated vsize (Kb) 18432

[startup+70.0066 s]
Raw data (loadavg): 0.97 0.96 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 7108 0 0 0 6792 80 0 0 25 0 1 0 21196562 19021824 4213 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 4644 4213 364 364 0 4280 0
[pid=8451] vsize: 18576
Current children cumulated CPU time (s) 68.72
Current children cumulated vsize (Kb) 18576

[startup+80.0074 s]
Raw data (loadavg): 0.97 0.96 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 7424 0 0 0 7762 90 0 0 25 0 1 0 21196562 23486464 4325 4294967295 134512640 135987407 3221224576 3221223280 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 5734 4325 364 364 0 5370 0
[pid=8451] vsize: 22936
Current children cumulated CPU time (s) 78.52
Current children cumulated vsize (Kb) 22936

[startup+90.0083 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 7665 0 0 0 8736 100 0 0 25 0 1 0 21196562 23621632 4464 4294967295 134512640 135987407 3221224576 3221223280 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 5767 4464 364 364 0 5403 0
[pid=8451] vsize: 23068
Current children cumulated CPU time (s) 88.36
Current children cumulated vsize (Kb) 23068

[startup+100.008 s]
Raw data (loadavg): 0.98 0.96 0.97 1/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) T 8450 8451 4060 0 -1 0 8770 0 0 0 9702 114 0 0 25 0 1 0 21196562 26902528 4647 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8451/statm): 6568 4647 364 364 0 6204 0
[pid=8451] vsize: 26272
Current children cumulated CPU time (s) 98.16
Current children cumulated vsize (Kb) 26272

[startup+110.009 s]
Raw data (loadavg): 0.98 0.96 0.97 1/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) T 8450 8451 4060 0 -1 0 9080 0 0 0 10682 121 0 0 25 0 1 0 21196562 27201536 4855 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8451/statm): 6641 4855 364 364 0 6277 0
[pid=8451] vsize: 26564
Current children cumulated CPU time (s) 108.03
Current children cumulated vsize (Kb) 26564

[startup+120.01 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 9342 0 0 0 11658 128 0 0 25 0 1 0 21196562 27336704 4964 4294967295 134512640 135987407 3221224576 3221223120 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 6674 4964 364 364 0 6310 0
[pid=8451] vsize: 26696
Current children cumulated CPU time (s) 117.86
Current children cumulated vsize (Kb) 26696

[startup+130.011 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 9630 0 0 0 12637 136 0 0 25 0 1 0 21196562 27336704 5150 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 6674 5150 364 364 0 6310 0
[pid=8451] vsize: 26696
Current children cumulated CPU time (s) 127.73
Current children cumulated vsize (Kb) 26696

[startup+140.011 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 9895 0 0 0 13615 143 0 0 25 0 1 0 21196562 27471872 5313 4294967295 134512640 135987407 3221224576 3221223048 134892723 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 6707 5313 364 364 0 6343 0
[pid=8451] vsize: 26828
Current children cumulated CPU time (s) 137.58
Current children cumulated vsize (Kb) 26828

[startup+150.011 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 10219 0 0 0 14598 149 0 0 25 0 1 0 21196562 27623424 5484 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 6744 5484 364 364 0 6380 0
[pid=8451] vsize: 26976
Current children cumulated CPU time (s) 147.47
Current children cumulated vsize (Kb) 26976

[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 10450 0 0 0 15582 156 0 0 25 0 1 0 21196562 27758592 5613 4294967295 134512640 135987407 3221224576 3221222928 134878186 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 6777 5613 364 364 0 6413 0
[pid=8451] vsize: 27108
Current children cumulated CPU time (s) 157.38
Current children cumulated vsize (Kb) 27108

[startup+170.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 10757 0 0 0 16565 163 0 0 25 0 1 0 21196562 36331520 5818 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 8870 5818 364 364 0 8506 0
[pid=8451] vsize: 35480
Current children cumulated CPU time (s) 167.28
Current children cumulated vsize (Kb) 35480

[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 10955 0 0 0 17553 166 0 0 25 0 1 0 21196562 36495360 5965 4294967295 134512640 135987407 3221224576 3221223120 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 8910 5965 364 364 0 8546 0
[pid=8451] vsize: 35640
Current children cumulated CPU time (s) 177.19
Current children cumulated vsize (Kb) 35640

[startup+190.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 11239 0 0 0 18539 172 0 0 25 0 1 0 21196562 36495360 6147 4294967295 134512640 135987407 3221224576 3221223120 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8451/statm): 8910 6147 364 364 0 8546 0
[pid=8451] vsize: 35640
Current children cumulated CPU time (s) 187.11
Current children cumulated vsize (Kb) 35640

[startup+200.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 11539 0 0 0 19518 179 0 0 25 0 1 0 21196562 36913152 6396 4294967295 134512640 135987407 3221224576 3221223072 134821141 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 9012 6396 364 364 0 8648 0
[pid=8451] vsize: 36048
Current children cumulated CPU time (s) 196.97
Current children cumulated vsize (Kb) 36048

[startup+210.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 11767 0 0 0 20507 182 0 0 25 0 1 0 21196562 36913152 6522 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 9012 6522 364 364 0 8648 0
[pid=8451] vsize: 36048
Current children cumulated CPU time (s) 206.89
Current children cumulated vsize (Kb) 36048

[startup+220.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 11942 0 0 0 21491 189 0 0 25 0 1 0 21196562 37183488 6595 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 9078 6595 364 364 0 8714 0
[pid=8451] vsize: 36312
Current children cumulated CPU time (s) 216.8
Current children cumulated vsize (Kb) 36312

[startup+230.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 12023 0 0 0 22481 193 0 0 25 0 1 0 21196562 37318656 6625 4294967295 134512640 135987407 3221224576 3221223120 134812025 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 9111 6625 364 364 0 8747 0
[pid=8451] vsize: 36444
Current children cumulated CPU time (s) 226.74
Current children cumulated vsize (Kb) 36444

[startup+240.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 12102 0 0 0 23471 196 0 0 25 0 1 0 21196562 37466112 6653 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 9147 6653 364 364 0 8783 0
[pid=8451] vsize: 36588
Current children cumulated CPU time (s) 236.67
Current children cumulated vsize (Kb) 36588

[startup+250.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 12428 0 0 0 24428 212 0 0 25 0 1 0 21196562 37601280 6724 4294967295 134512640 135987407 3221224576 3221223072 134789619 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8451/statm): 9180 6724 364 364 0 8816 0
[pid=8451] vsize: 36720
Current children cumulated CPU time (s) 246.4
Current children cumulated vsize (Kb) 36720

[startup+260.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 12688 0 0 0 25376 229 0 0 25 0 1 0 21196562 37957632 6831 4294967295 134512640 135987407 3221224576 3221222816 134828930 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8451/statm): 9267 6831 364 364 0 8903 0
[pid=8451] vsize: 37068
Current children cumulated CPU time (s) 256.05
Current children cumulated vsize (Kb) 37068

[startup+270.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 12861 0 0 0 26335 242 0 0 25 0 1 0 21196562 37883904 6851 4294967295 134512640 135987407 3221224576 3221223248 134876948 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 9249 6851 364 364 0 8885 0
[pid=8451] vsize: 36996
Current children cumulated CPU time (s) 265.77
Current children cumulated vsize (Kb) 36996

[startup+280.019 s]
Raw data (loadavg): 0.99 0.97 0.97 1/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) T 8450 8451 4060 0 -1 0 13086 0 0 0 27293 256 0 0 25 0 1 0 21196562 38154240 6923 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8451/statm): 9315 6923 364 364 0 8951 0
[pid=8451] vsize: 37260
Current children cumulated CPU time (s) 275.49
Current children cumulated vsize (Kb) 37260

[startup+290.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 13224 0 0 0 28251 269 0 0 25 0 1 0 21196562 38424576 7010 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 9381 7010 364 364 0 9017 0
[pid=8451] vsize: 37524
Current children cumulated CPU time (s) 285.2
Current children cumulated vsize (Kb) 37524

[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.97 1/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) T 8450 8451 4060 0 -1 0 13396 0 0 0 29212 284 0 0 25 0 1 0 21196562 38559744 7080 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8451/statm): 9414 7080 364 364 0 9050 0
[pid=8451] vsize: 37656
Current children cumulated CPU time (s) 294.96
Current children cumulated vsize (Kb) 37656

[startup+310.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 13670 0 0 0 30174 299 0 0 25 0 1 0 21196562 38825984 7150 4294967295 134512640 135987407 3221224576 3221222956 135499901 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 9479 7150 364 364 0 9115 0
[pid=8451] vsize: 37916
Current children cumulated CPU time (s) 304.73
Current children cumulated vsize (Kb) 37916

[startup+320.02 s]
Raw data (loadavg): 0.99 0.97 0.97 1/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) T 8450 8451 4060 0 -1 0 13937 0 0 0 31140 311 0 0 25 0 1 0 21196562 38965248 7213 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8451/statm): 9513 7213 364 364 0 9149 0
[pid=8451] vsize: 38052
Current children cumulated CPU time (s) 314.51
Current children cumulated vsize (Kb) 38052

[startup+330.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 14204 0 0 0 32108 323 0 0 25 0 1 0 21196562 39100416 7276 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8451/statm): 9546 7276 364 364 0 9182 0
[pid=8451] vsize: 38184
Current children cumulated CPU time (s) 324.31
Current children cumulated vsize (Kb) 38184

[startup+340.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 14543 0 0 0 33078 334 0 0 25 0 1 0 21196562 39370752 7360 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 9612 7360 364 364 0 9248 0
[pid=8451] vsize: 38448
Current children cumulated CPU time (s) 334.12
Current children cumulated vsize (Kb) 38448

[startup+350.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 14767 0 0 0 34042 347 0 0 25 0 1 0 21196562 39641088 7431 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 9678 7431 364 364 0 9314 0
[pid=8451] vsize: 38712
Current children cumulated CPU time (s) 343.89
Current children cumulated vsize (Kb) 38712

[startup+360.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 15022 0 0 0 35015 356 0 0 25 0 1 0 21196562 39776256 7482 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8451/statm): 9711 7482 364 364 0 9347 0
[pid=8451] vsize: 38844
Current children cumulated CPU time (s) 353.71
Current children cumulated vsize (Kb) 38844

[startup+370.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 15241 0 0 0 35982 368 0 0 25 0 1 0 21196562 39911424 7548 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 9744 7548 364 364 0 9380 0
[pid=8451] vsize: 38976
Current children cumulated CPU time (s) 363.5
Current children cumulated vsize (Kb) 38976

[startup+380.023 s]
Raw data (loadavg): 0.99 0.97 0.97 1/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) T 8450 8451 4060 0 -1 0 15473 0 0 0 36947 381 0 0 25 0 1 0 21196562 40185856 7627 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8451/statm): 9811 7627 364 364 0 9447 0
[pid=8451] vsize: 39244
Current children cumulated CPU time (s) 373.28
Current children cumulated vsize (Kb) 39244

[startup+390.023 s]
Raw data (loadavg): 0.99 0.97 0.97 1/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) T 8450 8451 4060 0 -1 0 15649 0 0 0 37911 392 0 0 25 0 1 0 21196562 40321024 7701 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8451/statm): 9844 7701 364 364 0 9480 0
[pid=8451] vsize: 39376
Current children cumulated CPU time (s) 383.03
Current children cumulated vsize (Kb) 39376

[startup+400.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 15945 0 0 0 38874 406 0 0 25 0 1 0 21196562 40726528 7997 4294967295 134512640 135987407 3221224576 3221223152 134813842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 9943 7997 364 364 0 9579 0
[pid=8451] vsize: 39772
Current children cumulated CPU time (s) 392.8
Current children cumulated vsize (Kb) 39772

[startup+410.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 16404 0 0 0 39844 418 0 0 25 0 1 0 21196562 41267200 8150 4294967295 134512640 135987407 3221224576 3221223184 134801245 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 10075 8150 364 364 0 9711 0
[pid=8451] vsize: 40300
Current children cumulated CPU time (s) 402.62
Current children cumulated vsize (Kb) 40300

[startup+420.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 16595 0 0 0 40809 430 0 0 25 0 1 0 21196562 41537536 8239 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 10141 8239 364 364 0 9777 0
[pid=8451] vsize: 40564
Current children cumulated CPU time (s) 412.39
Current children cumulated vsize (Kb) 40564

[startup+430.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 16860 0 0 0 41782 440 0 0 25 0 1 0 21196562 41807872 8300 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 10207 8300 364 364 0 9843 0
[pid=8451] vsize: 40828
Current children cumulated CPU time (s) 422.22
Current children cumulated vsize (Kb) 40828

[startup+440.025 s]
Raw data (loadavg): 0.99 0.97 0.97 1/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) T 8450 8451 4060 0 -1 0 16990 0 0 0 42756 449 0 0 25 0 1 0 21196562 41943040 8379 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8451/statm): 10240 8379 364 364 0 9876 0
[pid=8451] vsize: 40960
Current children cumulated CPU time (s) 432.05
Current children cumulated vsize (Kb) 40960

[startup+450.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) T 8450 8451 4060 0 -1 0 17155 0 0 0 43729 459 0 0 25 0 1 0 21196562 42213376 8493 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8451/statm): 10306 8493 364 364 0 9942 0
[pid=8451] vsize: 41224
Current children cumulated CPU time (s) 441.88
Current children cumulated vsize (Kb) 41224

[startup+460.024 s]
Raw data (loadavg): 0.99 0.97 0.97 1/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) T 8450 8451 4060 0 -1 0 17438 0 0 0 44706 468 0 0 25 0 1 0 21196562 42348544 8623 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8451/statm): 10339 8623 364 364 0 9975 0
[pid=8451] vsize: 41356
Current children cumulated CPU time (s) 451.74
Current children cumulated vsize (Kb) 41356

[startup+470.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 17582 0 0 0 45683 475 0 0 25 0 1 0 21196562 42618880 8716 4294967295 134512640 135987407 3221224576 3221223120 134812000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 10405 8716 364 364 0 10041 0
[pid=8451] vsize: 41620
Current children cumulated CPU time (s) 461.58
Current children cumulated vsize (Kb) 41620

[startup+480.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 17727 0 0 0 46657 485 0 0 25 0 1 0 21196562 42618880 8861 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 10405 8861 364 364 0 10041 0
[pid=8451] vsize: 41620
Current children cumulated CPU time (s) 471.42
Current children cumulated vsize (Kb) 41620

[startup+490.026 s]
Raw data (loadavg): 0.99 0.97 0.97 1/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) T 8450 8451 4060 0 -1 0 18014 0 0 0 47632 494 0 0 25 0 1 0 21196562 43020288 9046 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8451/statm): 10503 9046 364 364 0 10139 0
[pid=8451] vsize: 42012
Current children cumulated CPU time (s) 481.26
Current children cumulated vsize (Kb) 42012

[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 18236 0 0 0 48608 503 0 0 25 0 1 0 21196562 43155456 9166 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 10536 9166 364 364 0 10172 0
[pid=8451] vsize: 42144
Current children cumulated CPU time (s) 491.11
Current children cumulated vsize (Kb) 42144

[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 18353 0 0 0 49585 513 0 0 25 0 1 0 21196562 43290624 9232 4294967295 134512640 135987407 3221224576 3221223120 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 10569 9232 364 364 0 10205 0
[pid=8451] vsize: 42276
Current children cumulated CPU time (s) 500.98
Current children cumulated vsize (Kb) 42276

[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 18505 0 0 0 50567 519 0 0 25 0 1 0 21196562 43425792 9282 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 10602 9282 364 364 0 10238 0
[pid=8451] vsize: 42408
Current children cumulated CPU time (s) 510.86
Current children cumulated vsize (Kb) 42408

[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 18671 0 0 0 51544 527 0 0 25 0 1 0 21196562 43700224 9346 4294967295 134512640 135987407 3221224576 3221223120 134811873 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 10669 9346 364 364 0 10305 0
[pid=8451] vsize: 42676
Current children cumulated CPU time (s) 520.71
Current children cumulated vsize (Kb) 42676

[startup+540.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 18903 0 0 0 52523 534 0 0 25 0 1 0 21196562 43991040 9425 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 10740 9425 364 364 0 10376 0
[pid=8451] vsize: 42960
Current children cumulated CPU time (s) 530.57
Current children cumulated vsize (Kb) 42960

[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 20675 0 0 0 53496 546 0 0 25 0 1 0 21196562 50417664 9507 4294967295 134512640 135987407 3221224576 3221223120 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 12309 9507 364 364 0 11945 0
[pid=8451] vsize: 49236
Current children cumulated CPU time (s) 540.42
Current children cumulated vsize (Kb) 49236

[startup+560.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 21037 0 0 0 54472 556 0 0 25 0 1 0 21196562 50688000 9665 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 12375 9665 364 364 0 12011 0
[pid=8451] vsize: 49500
Current children cumulated CPU time (s) 550.28
Current children cumulated vsize (Kb) 49500

[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 21279 0 0 0 55445 566 0 0 25 0 1 0 21196562 50827264 9754 4294967295 134512640 135987407 3221224576 3221223280 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 12409 9754 364 364 0 12045 0
[pid=8451] vsize: 49636
Current children cumulated CPU time (s) 560.11
Current children cumulated vsize (Kb) 49636

[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.97 1/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) T 8450 8451 4060 0 -1 0 21499 0 0 0 56420 575 0 0 25 0 1 0 21196562 51097600 9821 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8451/statm): 12475 9821 364 364 0 12111 0
[pid=8451] vsize: 49900
Current children cumulated CPU time (s) 569.95
Current children cumulated vsize (Kb) 49900

[startup+590.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 21759 0 0 0 57400 582 0 0 25 0 1 0 21196562 51245056 9877 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 12511 9877 364 364 0 12147 0
[pid=8451] vsize: 50044
Current children cumulated CPU time (s) 579.82
Current children cumulated vsize (Kb) 50044

[startup+600.028 s]
Raw data (loadavg): 0.99 0.97 0.97 1/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) T 8450 8451 4060 0 -1 0 22009 0 0 0 58378 591 0 0 25 0 1 0 21196562 51245056 9974 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8451/statm): 12511 9974 364 364 0 12147 0
[pid=8451] vsize: 50044
Current children cumulated CPU time (s) 589.69
Current children cumulated vsize (Kb) 50044

[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 22280 0 0 0 59356 599 0 0 25 0 1 0 21196562 51380224 10092 4294967295 134512640 135987407 3221224576 3221223152 134813796 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 12544 10092 364 364 0 12180 0
[pid=8451] vsize: 50176
Current children cumulated CPU time (s) 599.55
Current children cumulated vsize (Kb) 50176

[startup+620.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 22616 0 0 0 60336 605 0 0 25 0 1 0 21196562 51515392 10224 4294967295 134512640 135987407 3221224576 3221223120 134811741 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 12577 10224 364 364 0 12213 0
[pid=8451] vsize: 50308
Current children cumulated CPU time (s) 609.41
Current children cumulated vsize (Kb) 50308

[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 22868 0 0 0 61316 613 0 0 25 0 1 0 21196562 51650560 10323 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 12610 10323 364 364 0 12246 0
[pid=8451] vsize: 50440
Current children cumulated CPU time (s) 619.29
Current children cumulated vsize (Kb) 50440

[startup+640.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 23156 0 0 0 62298 619 0 0 25 0 1 0 21196562 51798016 10458 4294967295 134512640 135987407 3221224576 3221223120 134788831 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 12646 10458 364 364 0 12282 0
[pid=8451] vsize: 50584
Current children cumulated CPU time (s) 629.17
Current children cumulated vsize (Kb) 50584

[startup+650.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 23451 0 0 0 63274 629 0 0 25 0 1 0 21196562 52219904 10600 4294967295 134512640 135987407 3221224576 3221223280 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 12749 10600 364 364 0 12385 0
[pid=8451] vsize: 50996
Current children cumulated CPU time (s) 639.03
Current children cumulated vsize (Kb) 50996

[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 23748 0 0 0 64254 636 0 0 25 0 1 0 21196562 52490240 10744 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 12815 10744 364 364 0 12451 0
[pid=8451] vsize: 51260
Current children cumulated CPU time (s) 648.9
Current children cumulated vsize (Kb) 51260

[startup+670.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 23896 0 0 0 65230 644 0 0 25 0 1 0 21196562 52625408 10790 4294967295 134512640 135987407 3221224576 3221223120 134788898 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 12848 10790 364 364 0 12484 0
[pid=8451] vsize: 51392
Current children cumulated CPU time (s) 658.74
Current children cumulated vsize (Kb) 51392

[startup+680.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 24149 0 0 0 66210 650 0 0 25 0 1 0 21196562 53030912 10890 4294967295 134512640 135987407 3221224576 3221223152 134813845 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 12947 10890 364 364 0 12583 0
[pid=8451] vsize: 51788
Current children cumulated CPU time (s) 668.6
Current children cumulated vsize (Kb) 51788

[startup+690.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 24435 0 0 0 67192 657 0 0 25 0 1 0 21196562 53170176 10972 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 12981 10972 364 364 0 12617 0
[pid=8451] vsize: 51924
Current children cumulated CPU time (s) 678.49
Current children cumulated vsize (Kb) 51924

[startup+700.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 24628 0 0 0 68171 664 0 0 25 0 1 0 21196562 53309440 11012 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 13015 11012 364 364 0 12651 0
[pid=8451] vsize: 52060
Current children cumulated CPU time (s) 688.35
Current children cumulated vsize (Kb) 52060

[startup+710.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 24847 0 0 0 69153 671 0 0 25 0 1 0 21196562 53448704 11078 4294967295 134512640 135987407 3221224576 3221223120 134811784 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 13049 11078 364 364 0 12685 0
[pid=8451] vsize: 52196
Current children cumulated CPU time (s) 698.24
Current children cumulated vsize (Kb) 52196

[startup+720.035 s]
Raw data (loadavg): 0.99 0.97 0.97 1/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) T 8450 8451 4060 0 -1 0 25130 0 0 0 70136 676 0 0 25 0 1 0 21196562 53780480 11208 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8451/statm): 13130 11208 364 364 0 12766 0
[pid=8451] vsize: 52520
Current children cumulated CPU time (s) 708.12
Current children cumulated vsize (Kb) 52520

[startup+730.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 25349 0 0 0 71118 682 0 0 25 0 1 0 21196562 53915648 11274 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8451/statm): 13163 11274 364 364 0 12799 0
[pid=8451] vsize: 52652
Current children cumulated CPU time (s) 718
Current children cumulated vsize (Kb) 52652

[startup+740.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 25592 0 0 0 72097 689 0 0 25 0 1 0 21196562 54050816 11364 4294967295 134512640 135987407 3221224576 3221223248 134876772 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 13196 11364 364 364 0 12832 0
[pid=8451] vsize: 52784
Current children cumulated CPU time (s) 727.86
Current children cumulated vsize (Kb) 52784

[startup+750.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 25757 0 0 0 73076 696 0 0 25 0 1 0 21196562 54321152 11427 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 13262 11427 364 364 0 12898 0
[pid=8451] vsize: 53048
Current children cumulated CPU time (s) 737.72
Current children cumulated vsize (Kb) 53048

[startup+760.037 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 26010 0 0 0 74060 702 0 0 25 0 1 0 21196562 54456320 11527 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 13295 11527 364 364 0 12931 0
[pid=8451] vsize: 53180
Current children cumulated CPU time (s) 747.62
Current children cumulated vsize (Kb) 53180

[startup+770.038 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 26252 0 0 0 75039 710 0 0 25 0 1 0 21196562 71368704 11616 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 17424 11616 364 364 0 17060 0
[pid=8451] vsize: 69696
Current children cumulated CPU time (s) 757.49
Current children cumulated vsize (Kb) 69696

[startup+780.039 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 26509 0 0 0 76022 716 0 0 25 0 1 0 21196562 71503872 11720 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 17457 11720 364 364 0 17093 0
[pid=8451] vsize: 69828
Current children cumulated CPU time (s) 767.38
Current children cumulated vsize (Kb) 69828

[startup+790.039 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 26747 0 0 0 77002 723 0 0 25 0 1 0 21196562 71643136 11805 4294967295 134512640 135987407 3221224576 3221223120 134811920 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8451/statm): 17491 11805 364 364 0 17127 0
[pid=8451] vsize: 69964
Current children cumulated CPU time (s) 777.25
Current children cumulated vsize (Kb) 69964

[startup+800.038 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 26935 0 0 0 77983 729 0 0 25 0 1 0 21196562 71778304 11891 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8451/statm): 17524 11891 364 364 0 17160 0
[pid=8451] vsize: 70096
Current children cumulated CPU time (s) 787.12
Current children cumulated vsize (Kb) 70096

[startup+810.038 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 27213 0 0 0 78964 735 0 0 25 0 1 0 21196562 71913472 12016 4294967295 134512640 135987407 3221224576 3221222996 134788428 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 17557 12016 364 364 0 17193 0
[pid=8451] vsize: 70228
Current children cumulated CPU time (s) 796.99
Current children cumulated vsize (Kb) 70228

[startup+820.039 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 27435 0 0 0 79946 741 0 0 25 0 1 0 21196562 72052736 12085 4294967295 134512640 135987407 3221224576 3221223008 134801578 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 17591 12085 364 364 0 17227 0
[pid=8451] vsize: 70364
Current children cumulated CPU time (s) 806.87
Current children cumulated vsize (Kb) 70364

[startup+830.041 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 27705 0 0 0 80923 749 0 0 25 0 1 0 21196562 72323072 12202 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8451/statm): 17657 12202 364 364 0 17293 0
[pid=8451] vsize: 70628
Current children cumulated CPU time (s) 816.72
Current children cumulated vsize (Kb) 70628

[startup+840.041 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 27892 0 0 0 81906 757 0 0 25 0 1 0 21196562 72458240 12287 4294967295 134512640 135987407 3221224576 3221223152 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8451/statm): 17690 12287 364 364 0 17326 0
[pid=8451] vsize: 70760
Current children cumulated CPU time (s) 826.63
Current children cumulated vsize (Kb) 70760

[startup+850.041 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 28153 0 0 0 82886 764 0 0 25 0 1 0 21196562 72593408 12395 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8451/statm): 17723 12395 364 364 0 17359 0
[pid=8451] vsize: 70892
Current children cumulated CPU time (s) 836.5
Current children cumulated vsize (Kb) 70892

[startup+860.041 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 28307 0 0 0 83868 770 0 0 25 0 1 0 21196562 72867840 12447 4294967295 134512640 135987407 3221224576 3221223248 134824238 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8451/statm): 17790 12447 364 364 0 17426 0
[pid=8451] vsize: 71160
Current children cumulated CPU time (s) 846.38
Current children cumulated vsize (Kb) 71160

[startup+870.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 28544 0 0 0 84850 778 0 0 25 0 1 0 21196562 72867840 12531 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8451/statm): 17790 12531 364 364 0 17426 0
[pid=8451] vsize: 71160
Current children cumulated CPU time (s) 856.28
Current children cumulated vsize (Kb) 71160

[startup+880.041 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 28742 0 0 0 85833 784 0 0 25 0 1 0 21196562 73003008 12627 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8451/statm): 17823 12627 364 364 0 17459 0
[pid=8451] vsize: 71292
Current children cumulated CPU time (s) 866.17
Current children cumulated vsize (Kb) 71292

[startup+890.042 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 29014 0 0 0 86817 790 0 0 25 0 1 0 21196562 73322496 12746 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8451/statm): 17901 12746 364 364 0 17537 0
[pid=8451] vsize: 71604
Current children cumulated CPU time (s) 876.07
Current children cumulated vsize (Kb) 71604

[startup+900.042 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 29269 0 0 0 87801 797 0 0 25 0 1 0 21196562 73457664 12848 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8451/statm): 17934 12848 364 364 0 17570 0
[pid=8451] vsize: 71736
Current children cumulated CPU time (s) 885.98
Current children cumulated vsize (Kb) 71736

[startup+910.042 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 29519 0 0 0 88782 804 0 0 25 0 1 0 21196562 73592832 12945 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8451/statm): 17967 12945 364 364 0 17603 0
[pid=8451] vsize: 71868
Current children cumulated CPU time (s) 895.86
Current children cumulated vsize (Kb) 71868

[startup+920.042 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 29689 0 0 0 89766 811 0 0 25 0 1 0 21196562 73732096 13013 4294967295 134512640 135987407 3221224576 3221223184 134801140 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8451/statm): 18001 13013 364 364 0 17637 0
[pid=8451] vsize: 72004
Current children cumulated CPU time (s) 905.77
Current children cumulated vsize (Kb) 72004

[startup+930.043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 29870 0 0 0 90749 817 0 0 25 0 1 0 21196562 73867264 13092 4294967295 134512640 135987407 3221224576 3221223120 134811855 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8451/statm): 18034 13092 364 364 0 17670 0
[pid=8451] vsize: 72136
Current children cumulated CPU time (s) 915.66
Current children cumulated vsize (Kb) 72136

[startup+940.042 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 30129 0 0 0 91730 825 0 0 25 0 1 0 21196562 74002432 13198 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8451/statm): 18067 13198 364 364 0 17703 0
[pid=8451] vsize: 72268
Current children cumulated CPU time (s) 925.55
Current children cumulated vsize (Kb) 72268

[startup+950.043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 30350 0 0 0 92714 832 0 0 25 0 1 0 21196562 74182656 13317 4294967295 134512640 135987407 3221224576 3221223248 134816659 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8451/statm): 18111 13317 364 364 0 17747 0
[pid=8451] vsize: 72444
Current children cumulated CPU time (s) 935.46
Current children cumulated vsize (Kb) 72444

[startup+960.043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 30531 0 0 0 93700 837 0 0 25 0 1 0 21196562 74317824 13345 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8451/statm): 18144 13345 364 364 0 17780 0
[pid=8451] vsize: 72576
Current children cumulated CPU time (s) 945.37
Current children cumulated vsize (Kb) 72576

[startup+970.043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 30715 0 0 0 94685 843 0 0 25 0 1 0 21196562 74457088 13427 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8451/statm): 18178 13427 364 364 0 17814 0
[pid=8451] vsize: 72712
Current children cumulated CPU time (s) 955.28
Current children cumulated vsize (Kb) 72712

[startup+980.044 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 30951 0 0 0 95665 850 0 0 25 0 1 0 21196562 74457088 13510 4294967295 134512640 135987407 3221224576 3221223152 134813813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8451/statm): 18178 13510 364 364 0 17814 0
[pid=8451] vsize: 72712
Current children cumulated CPU time (s) 965.15
Current children cumulated vsize (Kb) 72712

[startup+990.045 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 31183 0 0 0 96649 857 0 0 25 0 1 0 21196562 74592256 13589 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 18211 13589 364 364 0 17847 0
[pid=8451] vsize: 72844
Current children cumulated CPU time (s) 975.06
Current children cumulated vsize (Kb) 72844

[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 31353 0 0 0 97630 864 0 0 25 0 1 0 21196562 74788864 13657 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 18259 13657 364 364 0 17895 0
[pid=8451] vsize: 73036
Current children cumulated CPU time (s) 984.94
Current children cumulated vsize (Kb) 73036

[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 31529 0 0 0 98614 870 0 0 25 0 1 0 21196562 74924032 13731 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 18292 13731 364 364 0 17928 0
[pid=8451] vsize: 73168
Current children cumulated CPU time (s) 994.84
Current children cumulated vsize (Kb) 73168

[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 31779 0 0 0 99600 875 0 0 25 0 1 0 21196562 75059200 13828 4294967295 134512640 135987407 3221224576 3221223296 134812576 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 18325 13828 364 364 0 17961 0
[pid=8451] vsize: 73300
Current children cumulated CPU time (s) 1004.75
Current children cumulated vsize (Kb) 73300

[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 32024 0 0 0 100585 881 0 0 25 0 1 0 21196562 75194368 13971 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8451/statm): 18358 13971 364 364 0 17994 0
[pid=8451] vsize: 73432
Current children cumulated CPU time (s) 1014.66
Current children cumulated vsize (Kb) 73432

[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 32228 0 0 0 101566 890 0 0 25 0 1 0 21196562 75329536 14022 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8451/statm): 18391 14022 364 364 0 18027 0
[pid=8451] vsize: 73564
Current children cumulated CPU time (s) 1024.56
Current children cumulated vsize (Kb) 73564

[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 32366 0 0 0 102550 895 0 0 25 0 1 0 21196562 75472896 14058 4294967295 134512640 135987407 3221224576 3221223120 134811790 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8451/statm): 18426 14058 364 364 0 18062 0
[pid=8451] vsize: 73704
Current children cumulated CPU time (s) 1034.45
Current children cumulated vsize (Kb) 73704

[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 32566 0 0 0 103533 901 0 0 25 0 1 0 21196562 75608064 14156 4294967295 134512640 135987407 3221224576 3221223152 134813829 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8451/statm): 18459 14156 364 364 0 18095 0
[pid=8451] vsize: 73836
Current children cumulated CPU time (s) 1044.34
Current children cumulated vsize (Kb) 73836

[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 32799 0 0 0 104516 908 0 0 25 0 1 0 21196562 75743232 14287 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8451/statm): 18492 14287 364 364 0 18128 0
[pid=8451] vsize: 73968
Current children cumulated CPU time (s) 1054.24
Current children cumulated vsize (Kb) 73968

[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 32998 0 0 0 105503 913 0 0 25 0 1 0 21196562 75878400 14333 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8451/statm): 18525 14333 364 364 0 18161 0
[pid=8451] vsize: 74100
Current children cumulated CPU time (s) 1064.16
Current children cumulated vsize (Kb) 74100

[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 33155 0 0 0 106485 919 0 0 25 0 1 0 21196562 76013568 14388 4294967295 134512640 135987407 3221224576 3221223120 134812018 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 18558 14388 364 364 0 18194 0
[pid=8451] vsize: 74232
Current children cumulated CPU time (s) 1074.04
Current children cumulated vsize (Kb) 74232

[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 33281 0 0 0 107471 924 0 0 25 0 1 0 21196562 76152832 14412 4294967295 134512640 135987407 3221224576 3221223152 134813813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 18592 14412 364 364 0 18228 0
[pid=8451] vsize: 74368
Current children cumulated CPU time (s) 1083.95
Current children cumulated vsize (Kb) 74368

[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 33522 0 0 0 108453 930 0 0 25 0 1 0 21196562 76353536 14500 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 18641 14500 364 364 0 18277 0
[pid=8451] vsize: 74564
Current children cumulated CPU time (s) 1093.83
Current children cumulated vsize (Kb) 74564

[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 33689 0 0 0 109436 937 0 0 25 0 1 0 21196562 76353536 14565 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 18641 14565 364 364 0 18277 0
[pid=8451] vsize: 74564
Current children cumulated CPU time (s) 1103.73
Current children cumulated vsize (Kb) 74564

[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 33878 0 0 0 110419 943 0 0 25 0 1 0 21196562 76648448 14652 4294967295 134512640 135987407 3221224576 3221223152 134813836 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 18713 14652 364 364 0 18349 0
[pid=8451] vsize: 74852
Current children cumulated CPU time (s) 1113.62
Current children cumulated vsize (Kb) 74852

[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 34064 0 0 0 111402 950 0 0 25 0 1 0 21196562 76783616 14736 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8451/statm): 18746 14736 364 364 0 18382 0
[pid=8451] vsize: 74984
Current children cumulated CPU time (s) 1123.52
Current children cumulated vsize (Kb) 74984

[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 34264 0 0 0 112386 957 0 0 25 0 1 0 21196562 77058048 14783 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 18813 14783 364 364 0 18449 0
[pid=8451] vsize: 75252
Current children cumulated CPU time (s) 1133.43
Current children cumulated vsize (Kb) 75252

[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 34435 0 0 0 113369 962 0 0 25 0 1 0 21196562 77193216 14852 4294967295 134512640 135987407 3221224576 3221223120 134812033 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 18846 14852 364 364 0 18482 0
[pid=8451] vsize: 75384
Current children cumulated CPU time (s) 1143.31
Current children cumulated vsize (Kb) 75384

[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 34574 0 0 0 114351 969 0 0 25 0 1 0 21196562 77340672 14889 4294967295 134512640 135987407 3221224576 3221223120 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 18882 14889 364 364 0 18518 0
[pid=8451] vsize: 75528
Current children cumulated CPU time (s) 1153.2
Current children cumulated vsize (Kb) 75528

[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 34759 0 0 0 115335 974 0 0 25 0 1 0 21196562 77496320 14972 4294967295 134512640 135987407 3221224576 3221223120 134811855 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 18920 14972 364 364 0 18556 0
[pid=8451] vsize: 75680
Current children cumulated CPU time (s) 1163.09
Current children cumulated vsize (Kb) 75680

[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 34911 0 0 0 116319 980 0 0 25 0 1 0 21196562 77647872 15022 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 18957 15022 364 364 0 18593 0
[pid=8451] vsize: 75828
Current children cumulated CPU time (s) 1172.99
Current children cumulated vsize (Kb) 75828

[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 35110 0 0 0 117306 985 0 0 25 0 1 0 21196562 77787136 15119 4294967295 134512640 135987407 3221224576 3221223072 134789452 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 18991 15119 364 364 0 18627 0
[pid=8451] vsize: 75964
Current children cumulated CPU time (s) 1182.91
Current children cumulated vsize (Kb) 75964

[startup+1210.06 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 35289 0 0 0 118292 989 0 0 25 0 1 0 21196562 77983744 15196 4294967295 134512640 135987407 3221224576 3221223152 134813856 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 19039 15196 364 364 0 18675 0
[pid=8451] vsize: 76156
Current children cumulated CPU time (s) 1192.81
Current children cumulated vsize (Kb) 76156

[startup+1220.06 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 35423 0 0 0 119276 995 0 0 25 0 1 0 21196562 77983744 15228 4294967295 134512640 135987407 3221224576 3221223152 134814273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 19039 15228 364 364 0 18675 0
[pid=8451] vsize: 76156
Current children cumulated CPU time (s) 1202.71
Current children cumulated vsize (Kb) 76156



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.06 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8451
Raw data (/proc/8451/stat): 8451 (pb2sat) R 8450 8451 4060 0 -1 0 35423 0 0 0 119276 995 0 0 25 0 1 0 21196562 77983744 15228 4294967295 134512640 135987407 3221224576 3221223152 134814273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8451/statm): 19039 15228 364 364 0 18675 0
[pid=8451] vsize: 76156
Current children cumulated CPU time (s) 1202.71
Current children cumulated vsize (Kb) 76156

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

Child status: 10
Real time (s): 1220.18
CPU time (s): 1202.84
CPU user time (s): 1192.85
CPU system time (s): 9.98548
CPU usage (%): 98.5787
Max. virtual memory (cumulated for all children) (Kb): 76156

Verifier Data

Verifier:	OK	64