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/een/normalized-stein45.opb
MD5SUM34647f6a75058de4a92f0ff94f3c9005
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 benchmark82.1775
Number of variables45
Total number of constraints331
Number of constraints which are clauses330
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint45

Trace number 9800

Launcher Data

LAUNCH ON wulflinc7 THE 2005-09-23 15:17:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8494 boxname=wulflinc7 idbench=290 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  34647f6a75058de4a92f0ff94f3c9005  /oldhome/oroussel/tmp/wulflinc7/normalized-stein45.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc7/normalized-stein45.opb
IDLAUNCH: 8494
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        930344 kB
Buffers:         12060 kB
Cached:          75388 kB
SwapCached:          0 kB
Active:          45616 kB
Inactive:        44744 kB
HighTotal:      131008 kB
HighFree:        51716 kB
LowTotal:       903652 kB
LowFree:        878628 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6972 kB
Slab:             8296 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 15:37:43 (client local time) WITH STATUS 10 IN 1205.67 SECONDS
stats: 8494 0 1205.67 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.187631 s]  setting bit 5 to 0

c Decision: 336/1661	Time: 4.89526/86400
c Decision: 336/1661	Time: 5.37418/86400
c Decision: 336/1661	Time: 5.89011/86400
c Decision: 336/1661	Time: 6.45102/86400
c Decision: 336/1661	Time: 7.05593/86400
c Decision: 336/1661	Time: 7.63884/86400
c Decision: 336/1661	Time: 8.25375/86400
c Decision: 336/1661	Time: 8.86465/86400
c Decision: 336/1661	Time: 9.45056/86400
c Decision: 336/1661	Time: 10.0675/86400
c Decision: 336/1661	Time: 10.7924/86400
c Decision: 336/1661	Time: 11.5183/86400
c Decision: 336/1661	Time: 12.1821/86400
c Decision: 336/1661	Time: 12.98/86400
c Decision: 336/1661	Time: 13.7499/86400
c Decision: 336/1661	Time: 14.5628/86400
c Decision: 336/1661	Time: 15.3697/86400
c Decision: 336/1661	Time: 16.2035/86400
c Decision: 336/1661	Time: 17.1374/86400
c Decision: 336/1661	Time: 18.0853/86400
c Decision: 336/1661	Time: 19.0161/86400
c Decision: 336/1661	Time: 19.91/86400
c Decision: 336/1661	Time: 20.8828/86400
c Decision: 336/1661	Time: 21.7467/86400
c Decision: 336/1661	Time: 22.8435/86400
c Decision: 336/1661	Time: 23.8074/86400
c Decision: 336/1661	Time: 24.7972/86400
c Decision: 336/1661	Time: 25.8391/86400
c Decision: 336/1661	Time: 26.9659/86400
c Decision: 336/1661	Time: 27.9687/86400
c Decision: 336/1661	Time: 29.0176/86400
c Decision: 336/1661	Time: 30.1614/86400
c Decision: 336/1661	Time: 31.3912/86400
c Decision: 336/1661	Time: 32.4291/86400
c Decision: 336/1661	Time: 33.5989/86400
c Decision: 336/1661	Time: 34.7467/86400
c Decision: 336/1661	Time: 35.8466/86400
c Decision: 336/1661	Time: 37.1773/86400
c Decision: 336/1661	Time: 38.4762/86400
c Decision: 336/1661	Time: 39.745/86400
c Decision: 336/1661	Time: 41.1617/86400
c Decision: 336/1661	Time: 42.2756/86400
c Decision: 336/1661	Time: 43.4824/86400
c Decision: 336/1661	Time: 44.6502/86400
c Decision: 336/1661	Time: 46.163/86400
c Decision: 336/1661	Time: 47.6818/86400
c Decision: 336/1661	Time: 49.0665/86400
c Decision: 336/1661	Time: 50.3553/86400
c Decision: 336/1661	Time: 51.6332/86400
c Decision: 336/1661	Time: 52.897/86400
c Decision: 336/1661	Time: 54.5077/86400
c Decision: 336/1661	Time: 55.8815/86400
c Decision: 336/1661	Time: 57.2633/86400
c Decision: 336/1661	Time: 58.7171/86400
c Decision: 336/1661	Time: 60.0929/86400
c Decision: 336/1661	Time: 61.5046/86400
c Decision: 336/1661	Time: 62.9984/86400
c Decision: 336/1661	Time: 64.6982/86400
c Decision: 336/1661	Time: 66.083/86400
c Decision: 336/1661	Time: 67.4927/86400
c Decision: 336/1661	Time: 68.9615/86400
c Decision: 336/1661	Time: 70.3213/86400
c Decision: 336/1661	Time: 71.9311/86400
c Decision: 336/1661	Time: 73.5288/86400
c Decision: 336/1661	Time: 74.9666/86400
c Decision: 336/1661	Time: 76.5304/86400
c Decision: 336/1661	Time: 78.0511/86400
c Decision: 336/1661	Time: 79.4929/86400
c Decision: 336/1661	Time: 81.1437/86400
c Decision: 336/1661	Time: 82.7614/86400
c Decision: 336/1661	Time: 84.4502/86400
c Decision: 336/1661	Time: 86.0359/86400
c Decision: 336/1661	Time: 87.5367/86400
c Decision: 336/1661	Time: 89.1155/86400
c Decision: 336/1661	Time: 91.0862/86400
c Decision: 336/1661	Time: 92.5739/86400
c Decision: 336/1661	Time: 94.2387/86400
c Decision: 336/1661	Time: 95.9484/86400
c Decision: 336/1661	Time: 97.4332/86400
c Decision: 336/1661	Time: 99.0189/86400
c Decision: 336/1661	Time: 100.823/86400
c Decision: 336/1661	Time: 102.513/86400
c Decision: 336/1661	Time: 104.219/86400
c Decision: 336/1661	Time: 105.935/86400
c Decision: 336/1661	Time: 107.53/86400
c Decision: 336/1661	Time: 109.442/86400
c Decision: 336/1661	Time: 111.091/86400
c Decision: 336/1661	Time: 112.676/86400
c Decision: 336/1661	Time: 114.538/86400
c Decision: 336/1661	Time: 116.134/86400
c Decision: 336/1661	Time: 117.861/86400
c Decision: 336/1661	Time: 119.541/86400
c Decision: 336/1661	Time: 121.289/86400
c Decision: 336/1661	Time: 123.013/86400
c Decision: 336/1661	Time: 124.843/86400
c Decision: 336/1661	Time: 126.581/86400
c Decision: 336/1661	Time: 128.47/86400
c Decision: 336/1661	Time: 130.324/86400
c Decision: 336/1661	Time: 132.367/86400
c Decision: 336/1661	Time: 134.372/86400
c Decision: 336/1661	Time: 136.309/86400
c Decision: 336/1661	Time: 138.123/86400
c Decision: 336/1661	Time: 139.825/86400
c Decision: 336/1661	Time: 141.597/86400
c Decision: 336/1661	Time: 143.608/86400
c Decision: 336/1661	Time: 145.542/86400
c Decision: 336/1661	Time: 147.304/86400
c Decision: 336/1661	Time: 149.172/86400
c Decision: 336/1661	Time: 150.861/86400
c Decision: 336/1661	Time: 152.996/86400
c Decision: 336/1661	Time: 155.152/86400
c Decision: 336/1661	Time: 157.135/86400
c Decision: 336/1661	Time: 158.882/86400
c Decision: 336/1661	Time: 160.894/86400
c Decision: 336/1661	Time: 162.821/86400
c Decision: 336/1661	Time: 165.284/86400
c Decision: 336/1661	Time: 167.372/86400
c Decision: 336/1661	Time: 169.425/86400
c Decision: 336/1661	Time: 171.41/86400
c Decision: 336/1661	Time: 173.314/86400
c Decision: 336/1661	Time: 175.577/86400
c Decision: 336/1661	Time: 177.783/86400
c Decision: 336/1661	Time: 179.976/86400
c Decision: 336/1661	Time: 182.07/86400
c Decision: 336/1661	Time: 184.153/86400
c Decision: 336/1661	Time: 186.414/86400
c Decision: 336/1661	Time: 188.44/86400
c Decision: 336/1661	Time: 190.248/86400
c Decision: 336/1661	Time: 192.35/86400
c Decision: 336/1661	Time: 194.31/86400
c Decision: 336/1661	Time: 196.471/86400
c Decision: 336/1661	Time: 198.54/86400
c Decision: 336/1661	Time: 200.651/86400
c Decision: 336/1661	Time: 202.878/86400
c Decision: 336/1661	Time: 204.874/86400
c Decision: 336/1661	Time: 207.195/86400
c Decision: 336/1661	Time: 209.436/86400
c Decision: 336/1661	Time: 211.539/86400
c Decision: 336/1661	Time: 213.647/86400
c Decision: 336/1661	Time: 215.548/86400
c Decision: 336/1661	Time: 218.385/86400
c Decision: 336/1661	Time: 220.59/86400
c Decision: 336/1661	Time: 222.583/86400
c Decision: 336/1661	Time: 224.562/86400
c Decision: 336/1661	Time: 226.774/86400
c Decision: 570/1661	Time: 232.109/86400
c Decision: 570/1661	Time: 233.929/86400
c Decision: 570/1661	Time: 235.6/86400
c Decision: 570/1661	Time: 237.446/86400
c Decision: 570/1661	Time: 239.133/86400
c Decision: 570/1661	Time: 241.272/86400
c Decision: 570/1661	Time: 243.02/86400
c Decision: 570/1661	Time: 245.06/86400
c Decision: 570/1661	Time: 246.915/86400
c Decision: 570/1661	Time: 248.871/86400
c Decision: 570/1661	Time: 251.103/86400
c Decision: 606/1661	Time: 253.409/86400
c Decision: 606/1661	Time: 255.293/86400
c Decision: 606/1661	Time: 257.032/86400
c Decision: 606/1661	Time: 258.787/86400
c Decision: 634/1661	Time: 261.626/86400
c Decision: 634/1661	Time: 263.151/86400
c Decision: 634/1661	Time: 264.707/86400
c Decision: 634/1661	Time: 266.307/86400
c Decision: 634/1661	Time: 268.131/86400
c Decision: 634/1661	Time: 269.963/86400
c Decision: 689/1661	Time: 274.523/86400
c Decision: 689/1661	Time: 275.996/86400
c Decision: 689/1661	Time: 277.571/86400
c [startup+285.916 s]  setting bit 4 to 0

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

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

c got solution with objective value: 30
c [startup+290.158 s]  setting bit 1 to 1

c Decision: 297/1661	Time: 8.67668/86400
c Decision: 297/1661	Time: 9.64153/86400
c Decision: 297/1661	Time: 10.5484/86400
c Decision: 297/1661	Time: 11.6432/86400
c Decision: 297/1661	Time: 12.6651/86400
c Decision: 297/1661	Time: 13.7579/86400
c Decision: 297/1661	Time: 14.7908/86400
c Decision: 297/1661	Time: 15.9616/86400
c Decision: 297/1661	Time: 17.1514/86400
c Decision: 297/1661	Time: 18.2052/86400
c Decision: 297/1661	Time: 19.64/86400
c Decision: 297/1661	Time: 20.6919/86400
c Decision: 297/1661	Time: 21.8397/86400
c Decision: 297/1661	Time: 22.9795/86400
c Decision: 297/1661	Time: 24.1603/86400
c Decision: 297/1661	Time: 25.3062/86400
c Decision: 297/1661	Time: 26.6899/86400
c Decision: 297/1661	Time: 28.1027/86400
c Decision: 297/1661	Time: 29.4755/86400
c Decision: 297/1661	Time: 30.7153/86400
c Decision: 297/1661	Time: 32.1981/86400
c Decision: 297/1661	Time: 33.5019/86400
c Decision: 297/1661	Time: 34.6807/86400
c Decision: 297/1661	Time: 36.0125/86400
c Decision: 297/1661	Time: 37.3143/86400
c Decision: 297/1661	Time: 38.9891/86400
c Decision: 297/1661	Time: 40.4189/86400
c Decision: 297/1661	Time: 41.8146/86400
c Decision: 297/1661	Time: 43.3204/86400
c Decision: 297/1661	Time: 44.7352/86400
c Decision: 297/1661	Time: 46.368/86400
c Decision: 297/1661	Time: 47.9667/86400
c Decision: 297/1661	Time: 49.4285/86400
c Decision: 297/1661	Time: 51.0082/86400
c Decision: 297/1661	Time: 52.655/86400
c Decision: 297/1661	Time: 54.3047/86400
c Decision: 297/1661	Time: 55.7685/86400
c Decision: 297/1661	Time: 57.2403/86400
c Decision: 297/1661	Time: 58.925/86400
c Decision: 297/1661	Time: 60.5058/86400
c Decision: 297/1661	Time: 62.4165/86400
c Decision: 297/1661	Time: 63.8123/86400
c Decision: 297/1661	Time: 65.513/86400
c Decision: 297/1661	Time: 67.2838/86400
c Decision: 297/1661	Time: 68.9505/86400
c Decision: 297/1661	Time: 71.2192/86400
c Decision: 297/1661	Time: 72.9159/86400
c Decision: 297/1661	Time: 74.7176/86400
c Decision: 297/1661	Time: 76.3824/86400
c Decision: 297/1661	Time: 78.4501/86400
c Decision: 297/1661	Time: 80.3118/86400
c Decision: 297/1661	Time: 82.0795/86400
c Decision: 297/1661	Time: 84.2042/86400
c Decision: 297/1661	Time: 86.1759/86400
c Decision: 297/1661	Time: 88.1266/86400
c Decision: 297/1661	Time: 90.2143/86400
c Decision: 297/1661	Time: 92.082/86400
c Decision: 297/1661	Time: 93.9317/86400
c Decision: 297/1661	Time: 95.9704/86400
c Decision: 297/1661	Time: 97.8981/86400
c Decision: 297/1661	Time: 99.9068/86400
c Decision: 297/1661	Time: 101.957/86400
c Decision: 297/1661	Time: 103.923/86400
c Decision: 297/1661	Time: 105.942/86400
c Decision: 297/1661	Time: 107.696/86400
c Decision: 297/1661	Time: 109.647/86400
c Decision: 297/1661	Time: 111.756/86400
c Decision: 297/1661	Time: 113.626/86400
c Decision: 297/1661	Time: 115.787/86400
c Decision: 297/1661	Time: 117.966/86400
c Decision: 297/1661	Time: 120.224/86400
c Decision: 297/1661	Time: 122.272/86400
c Decision: 297/1661	Time: 124.56/86400
c Decision: 297/1661	Time: 126.471/86400
c Decision: 297/1661	Time: 128.478/86400
c Decision: 297/1661	Time: 130.756/86400
c Decision: 297/1661	Time: 133.054/86400
c Decision: 297/1661	Time: 134.834/86400
c Decision: 297/1661	Time: 137.144/86400
c Decision: 297/1661	Time: 139.26/86400
c Decision: 297/1661	Time: 141.432/86400
c Decision: 297/1661	Time: 143.549/86400
c Decision: 297/1661	Time: 145.647/86400
c Decision: 297/1661	Time: 147.719/86400
c Decision: 297/1661	Time: 149.952/86400
c Decision: 297/1661	Time: 152.238/86400
c Decision: 297/1661	Time: 154.482/86400
c Decision: 297/1661	Time: 156.758/86400
c Decision: 297/1661	Time: 159.133/86400
c Decision: 297/1661	Time: 161.375/86400
c Decision: 297/1661	Time: 163.825/86400
c Decision: 297/1661	Time: 166.002/86400
c Decision: 297/1661	Time: 168.179/86400
c Decision: 297/1661	Time: 170.355/86400
c Decision: 297/1661	Time: 172.868/86400
c Decision: 297/1661	Time: 175.693/86400
c Decision: 297/1661	Time: 177.67/86400
c Decision: 297/1661	Time: 180.158/86400
c Decision: 297/1661	Time: 182.38/86400
c Decision: 297/1661	Time: 184.611/86400
c Decision: 297/1661	Time: 187.147/86400
c Decision: 297/1661	Time: 189.44/86400
c Decision: 297/1661	Time: 191.822/86400
c Decision: 297/1661	Time: 194.139/86400
c Decision: 297/1661	Time: 196.194/86400
c Decision: 297/1661	Time: 198.795/86400
c Decision: 297/1661	Time: 201.722/86400
c Decision: 297/1661	Time: 204.299/86400
c Decision: 297/1661	Time: 206.585/86400
c Decision: 297/1661	Time: 209.51/86400
c Decision: 297/1661	Time: 212.165/86400
c Decision: 297/1661	Time: 214.614/86400
c Decision: 297/1661	Time: 216.734/86400
c Decision: 297/1661	Time: 219.328/86400
c Decision: 297/1661	Time: 222.353/86400
c Decision: 297/1661	Time: 225.239/86400
c Decision: 297/1661	Time: 227.219/86400
c Decision: 297/1661	Time: 229.641/86400
c Decision: 297/1661	Time: 232.222/86400
c Decision: 297/1661	Time: 234.684/86400
c Decision: 297/1661	Time: 237.139/86400
c Decision: 297/1661	Time: 239.651/86400
c Decision: 297/1661	Time: 241.972/86400
c Decision: 297/1661	Time: 244.686/86400
c Decision: 297/1661	Time: 247.36/86400
c Decision: 297/1661	Time: 250.126/86400
c Decision: 297/1661	Time: 252.528/86400
c Decision: 297/1661	Time: 255.057/86400
c Decision: 297/1661	Time: 257.716/86400
c Decision: 297/1661	Time: 260.342/86400
c Decision: 297/1661	Time: 263.183/86400
c Decision: 297/1661	Time: 266.063/86400
c Decision: 297/1661	Time: 268.655/86400
c Decision: 297/1661	Time: 271.056/86400
c Decision: 297/1661	Time: 273.543/86400
c Decision: 297/1661	Time: 276.584/86400
c Decision: 297/1661	Time: 279.236/86400
c Decision: 297/1661	Time: 281.52/86400
c Decision: 297/1661	Time: 283.893/86400
c Decision: 297/1661	Time: 286.365/86400
c Decision: 297/1661	Time: 289.239/86400
c Decision: 297/1661	Time: 291.734/86400
c Decision: 297/1661	Time: 294.482/86400
c Decision: 297/1661	Time: 296.723/86400
c Decision: 297/1661	Time: 299.504/86400
c Decision: 297/1661	Time: 302.524/86400
c Decision: 297/1661	Time: 305.043/86400
c Decision: 297/1661	Time: 307.748/86400
c Decision: 297/1661	Time: 310.473/86400
c Decision: 297/1661	Time: 313.164/86400
c Decision: 297/1661	Time: 316.038/86400
c Decision: 297/1661	Time: 318.602/86400
c Decision: 297/1661	Time: 321.493/86400
c Decision: 297/1661	Time: 324.584/86400
c Decision: 297/1661	Time: 327.288/86400
c Decision: 297/1661	Time: 330.152/86400
c Decision: 297/1661	Time: 332.781/86400
c Decision: 297/1661	Time: 336.01/86400
c Decision: 297/1661	Time: 338.671/86400
c Decision: 297/1661	Time: 341.101/86400
c Decision: 297/1661	Time: 344.073/86400
c Decision: 297/1661	Time: 346.761/86400
c Decision: 297/1661	Time: 349.411/86400
c Decision: 297/1661	Time: 352.662/86400
c Decision: 297/1661	Time: 355.568/86400
c Decision: 297/1661	Time: 358.535/86400
c Decision: 297/1661	Time: 361.482/86400
c Decision: 297/1661	Time: 364.245/86400
c Decision: 297/1661	Time: 366.963/86400
c Decision: 297/1661	Time: 369.895/86400
c Decision: 297/1661	Time: 373.148/86400
c Decision: 297/1661	Time: 376.167/86400
c Decision: 297/1661	Time: 379.043/86400
c Decision: 297/1661	Time: 381.828/86400
c Decision: 297/1661	Time: 384.574/86400
c Decision: 297/1661	Time: 387.729/86400
c Decision: 297/1661	Time: 390.38/86400
c Decision: 297/1661	Time: 393.405/86400
c Decision: 297/1661	Time: 396.334/86400
c Decision: 297/1661	Time: 399.243/86400
c Decision: 297/1661	Time: 402.821/86400
c Decision: 297/1661	Time: 405.866/86400
c Decision: 297/1661	Time: 409.045/86400
c Decision: 297/1661	Time: 411.82/86400
c Decision: 297/1661	Time: 414.745/86400
c Decision: 297/1661	Time: 418.038/86400
c Decision: 297/1661	Time: 420.847/86400
c Decision: 297/1661	Time: 423.713/86400
c Decision: 297/1661	Time: 426.511/86400
c Decision: 297/1661	Time: 429.23/86400
c Decision: 297/1661	Time: 432.114/86400
c Decision: 297/1661	Time: 434.905/86400
c Decision: 297/1661	Time: 437.915/86400
c Decision: 297/1661	Time: 440.607/86400
c Decision: 297/1661	Time: 443.476/86400
c Decision: 297/1661	Time: 446.864/86400
c Decision: 297/1661	Time: 450.04/86400
c Decision: 297/1661	Time: 453.099/86400
c Decision: 297/1661	Time: 455.757/86400
c Decision: 297/1661	Time: 458.522/86400
c Decision: 297/1661	Time: 461.863/86400
c Decision: 297/1661	Time: 464.571/86400
c Decision: 297/1661	Time: 467.23/86400
c Decision: 297/1661	Time: 469.631/86400
c Decision: 297/1661	Time: 472.249/86400
c Decision: 297/1661	Time: 475.459/86400
c Decision: 297/1661	Time: 478.323/86400
c Decision: 297/1661	Time: 481.364/86400
c Decision: 297/1661	Time: 484.014/86400
c Decision: 297/1661	Time: 486.874/86400
c Decision: 297/1661	Time: 490.382/86400
c Decision: 297/1661	Time: 493.119/86400
c Decision: 297/1661	Time: 495.928/86400
c Decision: 297/1661	Time: 498.811/86400
c Decision: 297/1661	Time: 501.515/86400
c Decision: 297/1661	Time: 505.121/86400
c Decision: 297/1661	Time: 508.293/86400
c Decision: 297/1661	Time: 511.065/86400
c Decision: 297/1661	Time: 513.868/86400
c Decision: 297/1661	Time: 516.441/86400
c Decision: 297/1661	Time: 519.349/86400
c Decision: 297/1661	Time: 522.057/86400
c Decision: 297/1661	Time: 524.707/86400
c Decision: 297/1661	Time: 527.252/86400
c Decision: 297/1661	Time: 529.951/86400
c Decision: 297/1661	Time: 533.258/86400
c Decision: 297/1661	Time: 536.05/86400
c Decision: 297/1661	Time: 538.998/86400
c Decision: 297/1661	Time: 542.351/86400
c Decision: 297/1661	Time: 544.893/86400
c Decision: 297/1661	Time: 548.169/86400
c Decision: 297/1661	Time: 552.003/86400
c Decision: 297/1661	Time: 555.055/86400
c Decision: 297/1661	Time: 558.068/86400
c Decision: 297/1661	Time: 561.231/86400
c Decision: 297/1661	Time: 564.2/86400
c Decision: 297/1661	Time: 567.176/86400
c Decision: 297/1661	Time: 570.603/86400
c Decision: 297/1661	Time: 573.272/86400
c Decision: 297/1661	Time: 576.525/86400
c Decision: 297/1661	Time: 579.834/86400
c Decision: 297/1661	Time: 582.995/86400
c Decision: 297/1661	Time: 586.052/86400
c Decision: 297/1661	Time: 589.241/86400
c Decision: 297/1661	Time: 592.131/86400
c Decision: 297/1661	Time: 595.945/86400
c Decision: 297/1661	Time: 599.026/86400
c Decision: 297/1661	Time: 602.175/86400
c Decision: 297/1661	Time: 605.317/86400
c Decision: 297/1661	Time: 608.234/86400
c Decision: 297/1661	Time: 611.716/86400
c Decision: 297/1661	Time: 614.625/86400
c Decision: 297/1661	Time: 617.404/86400
c Decision: 297/1661	Time: 620.29/86400
c Decision: 297/1661	Time: 623.407/86400
c Decision: 297/1661	Time: 627.119/86400
c Decision: 297/1661	Time: 630.215/86400
c Decision: 297/1661	Time: 633.906/86400
c Decision: 297/1661	Time: 636.725/86400
c Decision: 297/1661	Time: 639.779/86400
c Decision: 297/1661	Time: 643.361/86400
c Decision: 297/1661	Time: 646.363/86400
c Decision: 297/1661	Time: 649.274/86400
c Decision: 297/1661	Time: 652.394/86400
c Decision: 297/1661	Time: 655.329/86400
c Decision: 297/1661	Time: 658.643/86400
c Decision: 297/1661	Time: 661.494/86400
c Decision: 297/1661	Time: 664.804/86400
c Decision: 297/1661	Time: 667.612/86400
c Decision: 297/1661	Time: 670.685/86400
c Decision: 297/1661	Time: 674.344/86400
c Decision: 297/1661	Time: 676.887/86400
c Decision: 297/1661	Time: 679.834/86400
c Decision: 297/1661	Time: 683.206/86400
c Decision: 297/1661	Time: 686.327/86400
c Decision: 297/1661	Time: 690.1/86400
c Decision: 297/1661	Time: 693.206/86400
c Decision: 297/1661	Time: 696.233/86400
c Decision: 297/1661	Time: 699.507/86400
c Decision: 297/1661	Time: 702.779/86400
c Decision: 297/1661	Time: 706.337/86400
c Decision: 297/1661	Time: 709.776/86400
c Decision: 297/1661	Time: 713.019/86400
c Decision: 297/1661	Time: 715.947/86400
c Decision: 297/1661	Time: 719.022/86400
c Decision: 297/1661	Time: 722.92/86400
c Decision: 297/1661	Time: 725.967/86400
c Decision: 297/1661	Time: 729.342/86400
c Decision: 297/1661	Time: 732.844/86400
c Decision: 297/1661	Time: 736.276/86400
c Decision: 297/1661	Time: 739.973/86400
c Decision: 297/1661	Time: 743.331/86400
c Decision: 297/1661	Time: 746.609/86400
c Decision: 297/1661	Time: 749.94/86400
c Decision: 297/1661	Time: 753.049/86400
c Decision: 297/1661	Time: 756.86/86400
c Decision: 297/1661	Time: 760.112/86400
c Decision: 515/1661	Time: 765.693/86400
c Decision: 515/1661	Time: 768.865/86400
c Decision: 515/1661	Time: 771.789/86400
c Decision: 515/1661	Time: 774.69/86400
c Decision: 515/1661	Time: 777.851/86400
c Decision: 515/1661	Time: 780.977/86400
c Decision: 515/1661	Time: 784.407/86400
c Decision: 515/1661	Time: 787.643/86400
c Decision: 515/1661	Time: 791.612/86400
c Decision: 515/1661	Time: 794.726/86400
c Decision: 515/1661	Time: 797.963/86400
c Decision: 515/1661	Time: 801.266/86400
c Decision: 515/1661	Time: 804.488/86400
c Decision: 515/1661	Time: 808.321/86400
c Decision: 515/1661	Time: 811.538/86400
c Decision: 515/1661	Time: 814.856/86400
c Decision: 515/1661	Time: 818.52/86400
c Decision: 515/1661	Time: 821.419/86400
c Decision: 515/1661	Time: 824.963/86400
c Decision: 515/1661	Time: 828.078/86400
c Decision: 515/1661	Time: 830.944/86400
c Decision: 515/1661	Time: 834.313/86400
c Decision: 515/1661	Time: 837.425/86400
c Decision: 515/1661	Time: 841.396/86400
c Decision: 515/1661	Time: 845.022/86400
c Decision: 515/1661	Time: 848.326/86400
c Decision: 515/1661	Time: 851.74/86400
c Decision: 515/1661	Time: 855.346/86400
c Decision: 515/1661	Time: 859.228/86400
c Decision: 515/1661	Time: 862.372/86400
c Decision: 515/1661	Time: 865.369/86400
c Decision: 515/1661	Time: 868.537/86400
c Decision: 515/1661	Time: 872.486/86400
c Decision: 515/1661	Time: 876.097/86400
c Decision: 515/1661	Time: 879.44/86400
c Decision: 515/1661	Time: 882.922/86400
c Decision: 552/1661	Time: 888.359/86400
c Decision: 552/1661	Time: 891.14/86400
c Decision: 552/1661	Time: 894.378/86400
c Decision: 552/1661	Time: 897.458/86400
c Decision: 552/1661	Time: 900.455/86400
c Decision: 552/1661	Time: 903.698/86400
c Decision: 552/1661	Time: 906.479/86400
c Decision: 552/1661	Time: 909.852/86400
c Decision: 552/1661	Time: 912.753/86400
c Decision: 552/1661	Time: 916.169/86400
c Decision: 552/1661	Time: 919.72/86400s SATISFIABLE
v x0 x1 x10 x11 x12 x13 x14 x15 x16 x17 -x18 -x19 x2 -x20 x21 x22 -x23 x24 x25 x26 -x27 -x28 x29 -x3 -x30 -x31 x32 x33 x34 x35 x36 -x37 x38 -x39 x4 -x40 -x41 x42 x43 x44 x5 -x6 x7 -x8 x9

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

[startup+10.0019 s]
Raw data (loadavg): 0.92 0.95 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 969 0 0 0 930 24 0 0 25 0 1 0 21217130 5566464 800 4294967295 134512640 135987407 3221224576 3221223184 134801210 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 1359 800 364 364 0 995 0
[pid=9232] vsize: 5436
Current children cumulated CPU time (s) 9.54
Current children cumulated vsize (Kb) 5436

[startup+20.0025 s]
Raw data (loadavg): 0.93 0.96 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 1351 0 0 0 1882 42 0 0 25 0 1 0 21217130 6258688 1182 4294967295 134512640 135987407 3221224576 3221223248 134824238 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 1528 1182 364 364 0 1164 0
[pid=9232] vsize: 6112
Current children cumulated CPU time (s) 19.24
Current children cumulated vsize (Kb) 6112

[startup+30.0032 s]
Raw data (loadavg): 0.94 0.96 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 1806 0 0 0 2844 55 0 0 25 0 1 0 21217130 9441280 1444 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9232/statm): 2305 1444 364 364 0 1941 0
[pid=9232] vsize: 9220
Current children cumulated CPU time (s) 28.99
Current children cumulated vsize (Kb) 9220

[startup+40.0028 s]
Raw data (loadavg): 0.95 0.96 0.94 1/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) T 9231 9232 4059 0 -1 0 2041 0 0 0 3813 67 0 0 25 0 1 0 21217130 9900032 1679 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9232/statm): 2417 1679 364 364 0 2053 0
[pid=9232] vsize: 9668
Current children cumulated CPU time (s) 38.8
Current children cumulated vsize (Kb) 9668

[startup+50.0034 s]
Raw data (loadavg): 0.96 0.96 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 2267 0 0 0 4784 77 0 0 25 0 1 0 21217130 10436608 1905 4294967295 134512640 135987407 3221224576 3221223120 134812005 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 2548 1905 364 364 0 2184 0
[pid=9232] vsize: 10192
Current children cumulated CPU time (s) 48.61
Current children cumulated vsize (Kb) 10192

[startup+60.0031 s]
Raw data (loadavg): 0.96 0.96 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 2457 0 0 0 5758 87 0 0 25 0 1 0 21217130 10768384 2095 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 2629 2095 364 364 0 2265 0
[pid=9232] vsize: 10516
Current children cumulated CPU time (s) 58.45
Current children cumulated vsize (Kb) 10516

[startup+70.0027 s]
Raw data (loadavg): 0.97 0.96 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 2678 0 0 0 6730 96 0 0 25 0 1 0 21217130 15310848 2316 4294967295 134512640 135987407 3221224576 3221223120 134811986 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 3738 2316 364 364 0 3374 0
[pid=9232] vsize: 14952
Current children cumulated CPU time (s) 68.26
Current children cumulated vsize (Kb) 14952

[startup+80.0034 s]
Raw data (loadavg): 0.97 0.96 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 2827 0 0 0 7705 105 0 0 25 0 1 0 21217130 15310848 2465 4294967295 134512640 135987407 3221224576 3221223152 134813813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 3738 2465 364 364 0 3374 0
[pid=9232] vsize: 14952
Current children cumulated CPU time (s) 78.1
Current children cumulated vsize (Kb) 14952

[startup+90.003 s]
Raw data (loadavg): 0.98 0.96 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 3029 0 0 0 8680 114 0 0 25 0 1 0 21217130 15777792 2667 4294967295 134512640 135987407 3221224576 3221223120 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 3852 2667 364 364 0 3488 0
[pid=9232] vsize: 15408
Current children cumulated CPU time (s) 87.94
Current children cumulated vsize (Kb) 15408

[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.94 1/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) T 9231 9232 4059 0 -1 0 3581 0 0 0 9653 123 0 0 25 0 1 0 21217130 17489920 2834 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9232/statm): 4270 2834 364 364 0 3906 0
[pid=9232] vsize: 17080
Current children cumulated CPU time (s) 97.76
Current children cumulated vsize (Kb) 17080

[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 3761 0 0 0 10628 133 0 0 25 0 1 0 21217130 17645568 3014 4294967295 134512640 135987407 3221224576 3221223152 134813818 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9232/statm): 4308 3014 364 364 0 3944 0
[pid=9232] vsize: 17232
Current children cumulated CPU time (s) 107.61
Current children cumulated vsize (Kb) 17232

[startup+120.004 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 3892 0 0 0 11608 141 0 0 25 0 1 0 21217130 17891328 3145 4294967295 134512640 135987407 3221224576 3221223296 134812703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 4368 3145 364 364 0 4004 0
[pid=9232] vsize: 17472
Current children cumulated CPU time (s) 117.49
Current children cumulated vsize (Kb) 17472

[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 4049 0 0 0 12582 152 0 0 25 0 1 0 21217130 18145280 3302 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 4430 3302 364 364 0 4066 0
[pid=9232] vsize: 17720
Current children cumulated CPU time (s) 127.34
Current children cumulated vsize (Kb) 17720

[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 4246 0 0 0 13563 158 0 0 25 0 1 0 21217130 18591744 3499 4294967295 134512640 135987407 3221224576 3221223120 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 4539 3499 364 364 0 4175 0
[pid=9232] vsize: 18156
Current children cumulated CPU time (s) 137.21
Current children cumulated vsize (Kb) 18156

[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 4372 0 0 0 14543 167 0 0 25 0 1 0 21217130 18837504 3625 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 4599 3625 364 364 0 4235 0
[pid=9232] vsize: 18396
Current children cumulated CPU time (s) 147.1
Current children cumulated vsize (Kb) 18396

[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 4525 0 0 0 15524 175 0 0 25 0 1 0 21217130 18972672 3778 4294967295 134512640 135987407 3221224576 3221223120 134788703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 4632 3778 364 364 0 4268 0
[pid=9232] vsize: 18528
Current children cumulated CPU time (s) 156.99
Current children cumulated vsize (Kb) 18528

[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 4670 0 0 0 16504 183 0 0 25 0 1 0 21217130 19214336 3923 4294967295 134512640 135987407 3221224576 3221223120 134811790 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 4691 3923 364 364 0 4327 0
[pid=9232] vsize: 18764
Current children cumulated CPU time (s) 166.87
Current children cumulated vsize (Kb) 18764

[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 4832 0 0 0 17484 191 0 0 25 0 1 0 21217130 19603456 4085 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 4786 4085 364 364 0 4422 0
[pid=9232] vsize: 19144
Current children cumulated CPU time (s) 176.75
Current children cumulated vsize (Kb) 19144

[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 4995 0 0 0 18465 199 0 0 25 0 1 0 21217130 28282880 4248 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 6905 4248 364 364 0 6541 0
[pid=9232] vsize: 27620
Current children cumulated CPU time (s) 186.64
Current children cumulated vsize (Kb) 27620

[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 5105 0 0 0 19445 206 0 0 25 0 1 0 21217130 28282880 4358 4294967295 134512640 135987407 3221224576 3221223248 134876933 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 6905 4358 364 364 0 6541 0
[pid=9232] vsize: 27620
Current children cumulated CPU time (s) 196.51
Current children cumulated vsize (Kb) 27620

[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 5211 0 0 0 20427 213 0 0 25 0 1 0 21217130 28282880 4464 4294967295 134512640 135987407 3221224576 3221223120 134811948 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 6905 4464 364 364 0 6541 0
[pid=9232] vsize: 27620
Current children cumulated CPU time (s) 206.4
Current children cumulated vsize (Kb) 27620

[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 5313 0 0 0 21408 220 0 0 25 0 1 0 21217130 28454912 4566 4294967295 134512640 135987407 3221224576 3221223120 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 6947 4566 364 364 0 6583 0
[pid=9232] vsize: 27788
Current children cumulated CPU time (s) 216.28
Current children cumulated vsize (Kb) 27788

[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 5398 0 0 0 22390 227 0 0 25 0 1 0 21217130 28454912 4651 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 6947 4651 364 364 0 6583 0
[pid=9232] vsize: 27788
Current children cumulated CPU time (s) 226.17
Current children cumulated vsize (Kb) 27788

[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 5854 0 0 0 23370 234 0 0 25 0 1 0 21217130 29966336 5107 4294967295 134512640 135987407 3221224576 3221223184 134801371 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 7316 5107 364 364 0 6952 0
[pid=9232] vsize: 29264
Current children cumulated CPU time (s) 236.04
Current children cumulated vsize (Kb) 29264

[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 5894 0 0 0 24349 241 0 0 25 0 1 0 21217130 30101504 5147 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 7349 5147 364 364 0 6985 0
[pid=9232] vsize: 29396
Current children cumulated CPU time (s) 245.9
Current children cumulated vsize (Kb) 29396

[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 6052 0 0 0 25327 250 0 0 25 0 1 0 21217130 30642176 5305 4294967295 134512640 135987407 3221224576 3221223120 134811829 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 7481 5305 364 364 0 7117 0
[pid=9232] vsize: 29924
Current children cumulated CPU time (s) 255.77
Current children cumulated vsize (Kb) 29924

[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 6190 0 0 0 26303 258 0 0 25 0 1 0 21217130 31182848 5443 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 7613 5443 364 364 0 7249 0
[pid=9232] vsize: 30452
Current children cumulated CPU time (s) 265.61
Current children cumulated vsize (Kb) 30452

[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.94 1/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) T 9231 9232 4059 0 -1 0 7151 0 0 0 27276 270 0 0 25 0 1 0 21217130 35004416 5635 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9232/statm): 8546 5635 364 364 0 8182 0
[pid=9232] vsize: 34184
Current children cumulated CPU time (s) 275.46
Current children cumulated vsize (Kb) 34184

[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) T 9231 9232 4059 0 -1 0 7214 0 0 0 28237 283 0 0 25 0 1 0 21217130 35155968 5698 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9232/statm): 8583 5698 364 364 0 8219 0
[pid=9232] vsize: 34332
Current children cumulated CPU time (s) 285.2
Current children cumulated vsize (Kb) 34332

[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 7275 0 0 0 29195 296 0 0 25 0 1 0 21217130 35155968 5759 4294967295 134512640 135987407 3221224576 3221223248 134824330 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9232/statm): 8583 5759 364 364 0 8219 0
[pid=9232] vsize: 34332
Current children cumulated CPU time (s) 294.91
Current children cumulated vsize (Kb) 34332

[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 7326 0 0 0 30157 312 0 0 25 0 1 0 21217130 35295232 5810 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 8617 5810 364 364 0 8253 0
[pid=9232] vsize: 34468
Current children cumulated CPU time (s) 304.69
Current children cumulated vsize (Kb) 34468

[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 7365 0 0 0 31130 322 0 0 25 0 1 0 21217130 35295232 5849 4294967295 134512640 135987407 3221224576 3221223120 134788738 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 8617 5849 364 364 0 8253 0
[pid=9232] vsize: 34468
Current children cumulated CPU time (s) 314.52
Current children cumulated vsize (Kb) 34468

[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 7398 0 0 0 32101 332 0 0 25 0 1 0 21217130 35295232 5882 4294967295 134512640 135987407 3221224576 3221223248 134876866 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 8617 5882 364 364 0 8253 0
[pid=9232] vsize: 34468
Current children cumulated CPU time (s) 324.33
Current children cumulated vsize (Kb) 34468

[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 7440 0 0 0 33078 341 0 0 25 0 1 0 21217130 35475456 5924 4294967295 134512640 135987407 3221224576 3221223120 134812163 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 8661 5924 364 364 0 8297 0
[pid=9232] vsize: 34644
Current children cumulated CPU time (s) 334.19
Current children cumulated vsize (Kb) 34644

[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 7480 0 0 0 34053 351 0 0 25 0 1 0 21217130 35475456 5964 4294967295 134512640 135987407 3221224576 3221223280 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 8661 5964 364 364 0 8297 0
[pid=9232] vsize: 34644
Current children cumulated CPU time (s) 344.04
Current children cumulated vsize (Kb) 34644

[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 7507 0 0 0 35032 357 0 0 25 0 1 0 21217130 35475456 5991 4294967295 134512640 135987407 3221224576 3221223280 134790060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 8661 5991 364 364 0 8297 0
[pid=9232] vsize: 34644
Current children cumulated CPU time (s) 353.89
Current children cumulated vsize (Kb) 34644

[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 7536 0 0 0 36011 365 0 0 25 0 1 0 21217130 35475456 6020 4294967295 134512640 135987407 3221224576 3221223152 134813850 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9232/statm): 8661 6020 364 364 0 8297 0
[pid=9232] vsize: 34644
Current children cumulated CPU time (s) 363.76
Current children cumulated vsize (Kb) 34644

[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 7579 0 0 0 36991 373 0 0 25 0 1 0 21217130 35602432 6063 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9232/statm): 8692 6063 364 364 0 8328 0
[pid=9232] vsize: 34768
Current children cumulated CPU time (s) 373.64
Current children cumulated vsize (Kb) 34768

[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.94 1/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) T 9231 9232 4059 0 -1 0 7609 0 0 0 37970 379 0 0 25 0 1 0 21217130 35602432 6093 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9232/statm): 8692 6093 364 364 0 8328 0
[pid=9232] vsize: 34768
Current children cumulated CPU time (s) 383.49
Current children cumulated vsize (Kb) 34768

[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 7652 0 0 0 38948 387 0 0 25 0 1 0 21217130 35733504 6136 4294967295 134512640 135987407 3221224576 3221222992 134788483 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 8724 6136 364 364 0 8360 0
[pid=9232] vsize: 34896
Current children cumulated CPU time (s) 393.35
Current children cumulated vsize (Kb) 34896

[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 7691 0 0 0 39929 393 0 0 25 0 1 0 21217130 35909632 6175 4294967295 134512640 135987407 3221224576 3221223152 134813815 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 8767 6175 364 364 0 8403 0
[pid=9232] vsize: 35068
Current children cumulated CPU time (s) 403.22
Current children cumulated vsize (Kb) 35068

[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 7734 0 0 0 40912 400 0 0 25 0 1 0 21217130 35909632 6218 4294967295 134512640 135987407 3221224576 3221222892 135481941 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9232/statm): 8767 6218 364 364 0 8403 0
[pid=9232] vsize: 35068
Current children cumulated CPU time (s) 413.12
Current children cumulated vsize (Kb) 35068

[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 7777 0 0 0 41895 406 0 0 25 0 1 0 21217130 36081664 6261 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 8809 6261 364 364 0 8445 0
[pid=9232] vsize: 35236
Current children cumulated CPU time (s) 423.01
Current children cumulated vsize (Kb) 35236

[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 7831 0 0 0 42875 413 0 0 25 0 1 0 21217130 36282368 6315 4294967295 134512640 135987407 3221224576 3221223152 134813836 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 8858 6315 364 364 0 8494 0
[pid=9232] vsize: 35432
Current children cumulated CPU time (s) 432.88
Current children cumulated vsize (Kb) 35432

[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 7866 0 0 0 43858 418 0 0 25 0 1 0 21217130 36282368 6350 4294967295 134512640 135987407 3221224576 3221223280 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 8858 6350 364 364 0 8494 0
[pid=9232] vsize: 35432
Current children cumulated CPU time (s) 442.76
Current children cumulated vsize (Kb) 35432

[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 7937 0 0 0 44839 425 0 0 25 0 1 0 21217130 36552704 6421 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 8924 6421 364 364 0 8560 0
[pid=9232] vsize: 35696
Current children cumulated CPU time (s) 452.64
Current children cumulated vsize (Kb) 35696

[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 8064 0 0 0 45819 433 0 0 25 0 1 0 21217130 36687872 6548 4294967295 134512640 135987407 3221224576 3221223072 134821461 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 8957 6548 364 364 0 8593 0
[pid=9232] vsize: 35828
Current children cumulated CPU time (s) 462.52
Current children cumulated vsize (Kb) 35828

[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 8250 0 0 0 46802 439 0 0 25 0 1 0 21217130 37179392 6734 4294967295 134512640 135987407 3221224576 3221223248 134876845 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 9077 6734 364 364 0 8713 0
[pid=9232] vsize: 36308
Current children cumulated CPU time (s) 472.41
Current children cumulated vsize (Kb) 36308

[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 8399 0 0 0 47779 448 0 0 25 0 1 0 21217130 37482496 6883 4294967295 134512640 135987407 3221224576 3221223184 134801205 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 9151 6883 364 364 0 8787 0
[pid=9232] vsize: 36604
Current children cumulated CPU time (s) 482.27
Current children cumulated vsize (Kb) 36604

[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 8503 0 0 0 48763 454 0 0 25 0 1 0 21217130 37650432 6987 4294967295 134512640 135987407 3221224576 3221223120 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 9192 6987 364 364 0 8828 0
[pid=9232] vsize: 36768
Current children cumulated CPU time (s) 492.17
Current children cumulated vsize (Kb) 36768

[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 8595 0 0 0 49744 460 0 0 25 0 1 0 21217130 37650432 7079 4294967295 134512640 135987407 3221224576 3221223152 134814003 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 9192 7079 364 364 0 8828 0
[pid=9232] vsize: 36768
Current children cumulated CPU time (s) 502.04
Current children cumulated vsize (Kb) 36768

[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 8725 0 0 0 50728 466 0 0 25 0 1 0 21217130 37785600 7209 4294967295 134512640 135987407 3221224576 3221223120 134811855 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 9225 7209 364 364 0 8861 0
[pid=9232] vsize: 36900
Current children cumulated CPU time (s) 511.94
Current children cumulated vsize (Kb) 36900

[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 8900 0 0 0 51712 471 0 0 25 0 1 0 21217130 38400000 7384 4294967295 134512640 135987407 3221224576 3221223120 134811948 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 9375 7384 364 364 0 9011 0
[pid=9232] vsize: 37500
Current children cumulated CPU time (s) 521.83
Current children cumulated vsize (Kb) 37500

[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 9023 0 0 0 52697 477 0 0 25 0 1 0 21217130 38850560 7507 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 9485 7507 364 364 0 9121 0
[pid=9232] vsize: 37940
Current children cumulated CPU time (s) 531.74
Current children cumulated vsize (Kb) 37940

[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 9087 0 0 0 53682 483 0 0 25 0 1 0 21217130 38850560 7571 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 9485 7571 364 364 0 9121 0
[pid=9232] vsize: 37940
Current children cumulated CPU time (s) 541.65
Current children cumulated vsize (Kb) 37940

[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 9235 0 0 0 54667 489 0 0 25 0 1 0 21217130 39215104 7686 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 9574 7686 364 364 0 9210 0
[pid=9232] vsize: 38296
Current children cumulated CPU time (s) 551.56
Current children cumulated vsize (Kb) 38296

[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 9330 0 0 0 55648 495 0 0 25 0 1 0 21217130 39215104 7781 4294967295 134512640 135987407 3221224576 3221223152 134814035 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 9574 7781 364 364 0 9210 0
[pid=9232] vsize: 38296
Current children cumulated CPU time (s) 561.43
Current children cumulated vsize (Kb) 38296

[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 9407 0 0 0 56632 501 0 0 25 0 1 0 21217130 39215104 7858 4294967295 134512640 135987407 3221224576 3221223120 134811842 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9232/statm): 9574 7858 364 364 0 9210 0
[pid=9232] vsize: 38296
Current children cumulated CPU time (s) 571.33
Current children cumulated vsize (Kb) 38296

[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 9457 0 0 0 57614 508 0 0 25 0 1 0 21217130 39215104 7908 4294967295 134512640 135987407 3221224576 3221223120 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9232/statm): 9574 7908 364 364 0 9210 0
[pid=9232] vsize: 38296
Current children cumulated CPU time (s) 581.22
Current children cumulated vsize (Kb) 38296

[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 9611 0 0 0 58598 515 0 0 25 0 1 0 21217130 39612416 8029 4294967295 134512640 135987407 3221224576 3221223120 134812025 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9232/statm): 9671 8029 364 364 0 9307 0
[pid=9232] vsize: 38684
Current children cumulated CPU time (s) 591.13
Current children cumulated vsize (Kb) 38684

[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 9689 0 0 0 59582 521 0 0 25 0 1 0 21217130 39612416 8107 4294967295 134512640 135987407 3221224576 3221223152 134814108 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9232/statm): 9671 8107 364 364 0 9307 0
[pid=9232] vsize: 38684
Current children cumulated CPU time (s) 601.03
Current children cumulated vsize (Kb) 38684

[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 9868 0 0 0 60567 526 0 0 25 0 1 0 21217130 40173568 8212 4294967295 134512640 135987407 3221224576 3221223120 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9232/statm): 9808 8212 364 364 0 9444 0
[pid=9232] vsize: 39232
Current children cumulated CPU time (s) 610.93
Current children cumulated vsize (Kb) 39232

[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 9945 0 0 0 61551 532 0 0 25 0 1 0 21217130 40173568 8289 4294967295 134512640 135987407 3221224576 3221223120 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9232/statm): 9808 8289 364 364 0 9444 0
[pid=9232] vsize: 39232
Current children cumulated CPU time (s) 620.83
Current children cumulated vsize (Kb) 39232

[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 10024 0 0 0 62536 538 0 0 25 0 1 0 21217130 40173568 8368 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9232/statm): 9808 8368 364 364 0 9444 0
[pid=9232] vsize: 39232
Current children cumulated CPU time (s) 630.74
Current children cumulated vsize (Kb) 39232

[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 10121 0 0 0 63520 544 0 0 25 0 1 0 21217130 40173568 8465 4294967295 134512640 135987407 3221224576 3221223152 134813795 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9232/statm): 9808 8465 364 364 0 9444 0
[pid=9232] vsize: 39232
Current children cumulated CPU time (s) 640.64
Current children cumulated vsize (Kb) 39232

[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 11744 0 0 0 64502 553 0 0 25 0 1 0 21217130 46600192 8551 4294967295 134512640 135987407 3221224576 3221223120 134811842 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9232/statm): 11377 8551 364 364 0 11013 0
[pid=9232] vsize: 45508
Current children cumulated CPU time (s) 650.55
Current children cumulated vsize (Kb) 45508

[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 11828 0 0 0 65486 559 0 0 25 0 1 0 21217130 46600192 8635 4294967295 134512640 135987407 3221224576 3221223120 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9232/statm): 11377 8635 364 364 0 11013 0
[pid=9232] vsize: 45508
Current children cumulated CPU time (s) 660.45
Current children cumulated vsize (Kb) 45508

[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 11932 0 0 0 66472 565 0 0 25 0 1 0 21217130 46858240 8739 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9232/statm): 11440 8739 364 364 0 11076 0
[pid=9232] vsize: 45760
Current children cumulated CPU time (s) 670.37
Current children cumulated vsize (Kb) 45760

[startup+690.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 12001 0 0 0 67456 570 0 0 25 0 1 0 21217130 46858240 8808 4294967295 134512640 135987407 3221224576 3221223120 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9232/statm): 11440 8808 364 364 0 11076 0
[pid=9232] vsize: 45760
Current children cumulated CPU time (s) 680.26
Current children cumulated vsize (Kb) 45760

[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.94 1/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) T 9231 9232 4059 0 -1 0 12153 0 0 0 68442 575 0 0 25 0 1 0 21217130 47443968 8925 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9232/statm): 11583 8925 364 364 0 11219 0
[pid=9232] vsize: 46332
Current children cumulated CPU time (s) 690.17
Current children cumulated vsize (Kb) 46332

[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 12251 0 0 0 69427 580 0 0 25 0 1 0 21217130 47443968 9023 4294967295 134512640 135987407 3221224576 3221223152 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9232/statm): 11583 9023 364 364 0 11219 0
[pid=9232] vsize: 46332
Current children cumulated CPU time (s) 700.07
Current children cumulated vsize (Kb) 46332

[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 12373 0 0 0 70414 586 0 0 25 0 1 0 21217130 47931392 9112 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9232/statm): 11702 9112 364 364 0 11338 0
[pid=9232] vsize: 46808
Current children cumulated CPU time (s) 710
Current children cumulated vsize (Kb) 46808

[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 12422 0 0 0 71400 590 0 0 25 0 1 0 21217130 47931392 9161 4294967295 134512640 135987407 3221224576 3221223152 134813813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 11702 9161 364 364 0 11338 0
[pid=9232] vsize: 46808
Current children cumulated CPU time (s) 719.9
Current children cumulated vsize (Kb) 46808

[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 12539 0 0 0 72385 596 0 0 25 0 1 0 21217130 47931392 9278 4294967295 134512640 135987407 3221224576 3221223296 134812603 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 11702 9278 364 364 0 11338 0
[pid=9232] vsize: 46808
Current children cumulated CPU time (s) 729.81
Current children cumulated vsize (Kb) 46808

[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 12583 0 0 0 73371 602 0 0 25 0 1 0 21217130 48070656 9322 4294967295 134512640 135987407 3221224576 3221223120 134811907 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 11736 9322 364 364 0 11372 0
[pid=9232] vsize: 46944
Current children cumulated CPU time (s) 739.73
Current children cumulated vsize (Kb) 46944

[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 12649 0 0 0 74356 606 0 0 25 0 1 0 21217130 48070656 9388 4294967295 134512640 135987407 3221224576 3221223152 134813744 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 11736 9388 364 364 0 11372 0
[pid=9232] vsize: 46944
Current children cumulated CPU time (s) 749.62
Current children cumulated vsize (Kb) 46944

[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 12762 0 0 0 75338 612 0 0 25 0 1 0 21217130 48201728 9468 4294967295 134512640 135987407 3221224576 3221223120 134811850 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 11768 9468 364 364 0 11404 0
[pid=9232] vsize: 47072
Current children cumulated CPU time (s) 759.5
Current children cumulated vsize (Kb) 47072

[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 12811 0 0 0 76324 617 0 0 25 0 1 0 21217130 48201728 9517 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 11768 9517 364 364 0 11404 0
[pid=9232] vsize: 47072
Current children cumulated CPU time (s) 769.41
Current children cumulated vsize (Kb) 47072

[startup+790.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 12887 0 0 0 77309 622 0 0 25 0 1 0 21217130 48377856 9593 4294967295 134512640 135987407 3221224576 3221223120 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 11811 9593 364 364 0 11447 0
[pid=9232] vsize: 47244
Current children cumulated CPU time (s) 779.31
Current children cumulated vsize (Kb) 47244

[startup+800.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 12993 0 0 0 78294 628 0 0 25 0 1 0 21217130 65155072 9699 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 15907 9699 364 364 0 15543 0
[pid=9232] vsize: 63628
Current children cumulated CPU time (s) 789.22
Current children cumulated vsize (Kb) 63628

[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 13095 0 0 0 79281 632 0 0 25 0 1 0 21217130 65421312 9801 4294967295 134512640 135987407 3221224576 3221223152 134814103 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 15972 9801 364 364 0 15608 0
[pid=9232] vsize: 63888
Current children cumulated CPU time (s) 799.13
Current children cumulated vsize (Kb) 63888

[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 13199 0 0 0 80264 638 0 0 25 0 1 0 21217130 65552384 9872 4294967295 134512640 135987407 3221224576 3221223120 134812144 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 16004 9872 364 364 0 15640 0
[pid=9232] vsize: 64016
Current children cumulated CPU time (s) 809.02
Current children cumulated vsize (Kb) 64016

[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 13375 0 0 0 81250 644 0 0 25 0 1 0 21217130 65880064 9966 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9232/statm): 16084 9966 364 364 0 15720 0
[pid=9232] vsize: 64336
Current children cumulated CPU time (s) 818.94
Current children cumulated vsize (Kb) 64336

[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 13455 0 0 0 82235 649 0 0 25 0 1 0 21217130 65880064 10046 4294967295 134512640 135987407 3221224576 3221223184 134801258 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9232/statm): 16084 10046 364 364 0 15720 0
[pid=9232] vsize: 64336
Current children cumulated CPU time (s) 828.84
Current children cumulated vsize (Kb) 64336

[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 13643 0 0 0 83222 654 0 0 25 0 1 0 21217130 66453504 10185 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 16224 10185 364 364 0 15860 0
[pid=9232] vsize: 64896
Current children cumulated CPU time (s) 838.76
Current children cumulated vsize (Kb) 64896

[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 13737 0 0 0 84206 660 0 0 25 0 1 0 21217130 66453504 10279 4294967295 134512640 135987407 3221224576 3221223152 134813802 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 16224 10279 364 364 0 15860 0
[pid=9232] vsize: 64896
Current children cumulated CPU time (s) 848.66
Current children cumulated vsize (Kb) 64896

[startup+870.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 13791 0 0 0 85193 664 0 0 25 0 1 0 21217130 66453504 10333 4294967295 134512640 135987407 3221224576 3221223152 134814035 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 16224 10333 364 364 0 15860 0
[pid=9232] vsize: 64896
Current children cumulated CPU time (s) 858.57
Current children cumulated vsize (Kb) 64896

[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 13862 0 0 0 86180 668 0 0 25 0 1 0 21217130 66453504 10404 4294967295 134512640 135987407 3221224576 3221223120 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 16224 10404 364 364 0 15860 0
[pid=9232] vsize: 64896
Current children cumulated CPU time (s) 868.48
Current children cumulated vsize (Kb) 64896

[startup+890.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 14012 0 0 0 87166 673 0 0 25 0 1 0 21217130 66584576 10521 4294967295 134512640 135987407 3221224576 3221223276 134812764 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 16256 10521 364 364 0 15892 0
[pid=9232] vsize: 65024
Current children cumulated CPU time (s) 878.39
Current children cumulated vsize (Kb) 65024

[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 14084 0 0 0 88153 677 0 0 25 0 1 0 21217130 66584576 10593 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 16256 10593 364 364 0 15892 0
[pid=9232] vsize: 65024
Current children cumulated CPU time (s) 888.3
Current children cumulated vsize (Kb) 65024

[startup+910.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 14168 0 0 0 89139 682 0 0 25 0 1 0 21217130 66707456 10677 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 16286 10677 364 364 0 15922 0
[pid=9232] vsize: 65144
Current children cumulated CPU time (s) 898.21
Current children cumulated vsize (Kb) 65144

[startup+920.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 14240 0 0 0 90125 687 0 0 25 0 1 0 21217130 66707456 10749 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 16286 10749 364 364 0 15922 0
[pid=9232] vsize: 65144
Current children cumulated CPU time (s) 908.12
Current children cumulated vsize (Kb) 65144

[startup+930.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 14405 0 0 0 91112 691 0 0 25 0 1 0 21217130 67362816 10914 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 16446 10914 364 364 0 16082 0
[pid=9232] vsize: 65784
Current children cumulated CPU time (s) 918.03
Current children cumulated vsize (Kb) 65784

[startup+940.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 14510 0 0 0 92098 695 0 0 25 0 1 0 21217130 67362816 11019 4294967295 134512640 135987407 3221224576 3221223152 134813826 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 16446 11019 364 364 0 16082 0
[pid=9232] vsize: 65784
Current children cumulated CPU time (s) 927.93
Current children cumulated vsize (Kb) 65784

[startup+950.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 14542 0 0 0 93083 701 0 0 25 0 1 0 21217130 67362816 11051 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 16446 11051 364 364 0 16082 0
[pid=9232] vsize: 65784
Current children cumulated CPU time (s) 937.84
Current children cumulated vsize (Kb) 65784

[startup+960.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 14610 0 0 0 94068 707 0 0 25 0 1 0 21217130 67362816 11119 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 16446 11119 364 364 0 16082 0
[pid=9232] vsize: 65784
Current children cumulated CPU time (s) 947.75
Current children cumulated vsize (Kb) 65784

[startup+970.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 14699 0 0 0 95052 712 0 0 25 0 1 0 21217130 67362816 11208 4294967295 134512640 135987407 3221224576 3221223120 134811835 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 16446 11208 364 364 0 16082 0
[pid=9232] vsize: 65784
Current children cumulated CPU time (s) 957.64
Current children cumulated vsize (Kb) 65784

[startup+980.025 s]
Raw data (loadavg): 0.99 0.97 0.94 1/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) T 9231 9232 4059 0 -1 0 14757 0 0 0 96038 717 0 0 25 0 1 0 21217130 67362816 11266 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9232/statm): 16446 11266 364 364 0 16082 0
[pid=9232] vsize: 65784
Current children cumulated CPU time (s) 967.55
Current children cumulated vsize (Kb) 65784

[startup+990.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 14871 0 0 0 97025 722 0 0 25 0 1 0 21217130 67526656 11339 4294967295 134512640 135987407 3221224576 3221223120 134812163 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 16486 11339 364 364 0 16122 0
[pid=9232] vsize: 65944
Current children cumulated CPU time (s) 977.47
Current children cumulated vsize (Kb) 65944

[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 14952 0 0 0 98012 727 0 0 25 0 1 0 21217130 67526656 11420 4294967295 134512640 135987407 3221224576 3221223120 134811907 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 16486 11420 364 364 0 16122 0
[pid=9232] vsize: 65944
Current children cumulated CPU time (s) 987.39
Current children cumulated vsize (Kb) 65944

[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 15000 0 0 0 99000 732 0 0 25 0 1 0 21217130 67723264 11468 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 16534 11468 364 364 0 16170 0
[pid=9232] vsize: 66136
Current children cumulated CPU time (s) 997.32
Current children cumulated vsize (Kb) 66136

[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 15095 0 0 0 99985 738 0 0 25 0 1 0 21217130 67723264 11563 4294967295 134512640 135987407 3221224576 3221223152 134814134 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 16534 11563 364 364 0 16170 0
[pid=9232] vsize: 66136
Current children cumulated CPU time (s) 1007.23
Current children cumulated vsize (Kb) 66136

[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 15184 0 0 0 100972 742 0 0 25 0 1 0 21217130 68075520 11652 4294967295 134512640 135987407 3221224576 3221223120 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 16620 11652 364 364 0 16256 0
[pid=9232] vsize: 66480
Current children cumulated CPU time (s) 1017.14
Current children cumulated vsize (Kb) 66480

[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 15249 0 0 0 101960 746 0 0 25 0 1 0 21217130 68075520 11717 4294967295 134512640 135987407 3221224576 3221223120 134812038 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9232/statm): 16620 11717 364 364 0 16256 0
[pid=9232] vsize: 66480
Current children cumulated CPU time (s) 1027.06
Current children cumulated vsize (Kb) 66480

[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 15331 0 0 0 102947 750 0 0 25 0 1 0 21217130 68075520 11799 4294967295 134512640 135987407 3221224576 3221223120 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 16620 11799 364 364 0 16256 0
[pid=9232] vsize: 66480
Current children cumulated CPU time (s) 1036.97
Current children cumulated vsize (Kb) 66480

[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 15414 0 0 0 103938 754 0 0 25 0 1 0 21217130 68243456 11882 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 16661 11882 364 364 0 16297 0
[pid=9232] vsize: 66644
Current children cumulated CPU time (s) 1046.92
Current children cumulated vsize (Kb) 66644

[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 15875 0 0 0 104920 760 0 0 25 0 1 0 21217130 69730304 12343 4294967295 134512640 135987407 3221224576 3221223152 134814145 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9232/statm): 17024 12343 364 364 0 16660 0
[pid=9232] vsize: 68096
Current children cumulated CPU time (s) 1056.8
Current children cumulated vsize (Kb) 68096

[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 15912 0 0 0 105906 764 0 0 25 0 1 0 21217130 69730304 12380 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9232/statm): 17024 12380 364 364 0 16660 0
[pid=9232] vsize: 68096
Current children cumulated CPU time (s) 1066.7
Current children cumulated vsize (Kb) 68096

[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 15940 0 0 0 106892 770 0 0 25 0 1 0 21217130 69730304 12408 4294967295 134512640 135987407 3221224576 3221223248 134876948 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9232/statm): 17024 12408 364 364 0 16660 0
[pid=9232] vsize: 68096
Current children cumulated CPU time (s) 1076.62
Current children cumulated vsize (Kb) 68096

[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 15953 0 0 0 107879 774 0 0 25 0 1 0 21217130 69730304 12421 4294967295 134512640 135987407 3221224576 3221223152 134813747 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9232/statm): 17024 12421 364 364 0 16660 0
[pid=9232] vsize: 68096
Current children cumulated CPU time (s) 1086.53
Current children cumulated vsize (Kb) 68096

[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 15970 0 0 0 108867 779 0 0 25 0 1 0 21217130 69730304 12438 4294967295 134512640 135987407 3221224576 3221223152 134813813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9232/statm): 17024 12438 364 364 0 16660 0
[pid=9232] vsize: 68096
Current children cumulated CPU time (s) 1096.46
Current children cumulated vsize (Kb) 68096

[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 15998 0 0 0 109853 783 0 0 25 0 1 0 21217130 69894144 12466 4294967295 134512640 135987407 3221224576 3221223152 134813813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9232/statm): 17064 12466 364 364 0 16700 0
[pid=9232] vsize: 68256
Current children cumulated CPU time (s) 1106.36
Current children cumulated vsize (Kb) 68256

[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 16010 0 0 0 110840 788 0 0 25 0 1 0 21217130 69894144 12478 4294967295 134512640 135987407 3221224576 3221223152 134814271 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9232/statm): 17064 12478 364 364 0 16700 0
[pid=9232] vsize: 68256
Current children cumulated CPU time (s) 1116.28
Current children cumulated vsize (Kb) 68256

[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 16022 0 0 0 111827 793 0 0 25 0 1 0 21217130 69894144 12490 4294967295 134512640 135987407 3221224576 3221223152 134813833 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9232/statm): 17064 12490 364 364 0 16700 0
[pid=9232] vsize: 68256
Current children cumulated CPU time (s) 1126.2
Current children cumulated vsize (Kb) 68256

[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 16034 0 0 0 112814 798 0 0 25 0 1 0 21217130 69894144 12502 4294967295 134512640 135987407 3221224576 3221223120 134812010 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9232/statm): 17064 12502 364 364 0 16700 0
[pid=9232] vsize: 68256
Current children cumulated CPU time (s) 1136.12
Current children cumulated vsize (Kb) 68256

[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 16049 0 0 0 113801 802 0 0 25 0 1 0 21217130 69894144 12517 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9232/statm): 17064 12517 364 364 0 16700 0
[pid=9232] vsize: 68256
Current children cumulated CPU time (s) 1146.03
Current children cumulated vsize (Kb) 68256

[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 16064 0 0 0 114787 808 0 0 25 0 1 0 21217130 69894144 12532 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9232/statm): 17064 12532 364 364 0 16700 0
[pid=9232] vsize: 68256
Current children cumulated CPU time (s) 1155.95
Current children cumulated vsize (Kb) 68256

[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 16076 0 0 0 115776 813 0 0 25 0 1 0 21217130 69894144 12544 4294967295 134512640 135987407 3221224576 3221223296 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9232/statm): 17064 12544 364 364 0 16700 0
[pid=9232] vsize: 68256
Current children cumulated CPU time (s) 1165.89
Current children cumulated vsize (Kb) 68256

[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 16515 0 0 0 116762 818 0 0 25 0 1 0 21217130 71700480 12983 4294967295 134512640 135987407 3221224576 3221223120 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9232/statm): 17505 12983 364 364 0 17141 0
[pid=9232] vsize: 70020
Current children cumulated CPU time (s) 1175.8
Current children cumulated vsize (Kb) 70020

[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 16530 0 0 0 117748 824 0 0 25 0 1 0 21217130 71700480 12998 4294967295 134512640 135987407 3221224576 3221223152 134814131 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9232/statm): 17505 12998 364 364 0 17141 0
[pid=9232] vsize: 70020
Current children cumulated CPU time (s) 1185.72
Current children cumulated vsize (Kb) 70020

[startup+1210.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) R 9231 9232 4059 0 -1 0 16542 0 0 0 118734 829 0 0 25 0 1 0 21217130 71700480 13010 4294967295 134512640 135987407 3221224576 3221223120 134811832 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9232/statm): 17505 13010 364 364 0 17141 0
[pid=9232] vsize: 70020
Current children cumulated CPU time (s) 1195.63
Current children cumulated vsize (Kb) 70020

[startup+1220.03 s]
Raw data (loadavg): 0.99 0.97 0.94 1/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) T 9231 9232 4059 0 -1 0 16557 0 0 0 119719 835 0 0 25 0 1 0 21217130 71700480 13025 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9232/statm): 17505 13025 364 364 0 17141 0
[pid=9232] vsize: 70020
Current children cumulated CPU time (s) 1205.54
Current children cumulated vsize (Kb) 70020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.03 s]
Raw data (loadavg): 0.99 0.97 0.94 1/55 9232
Raw data (/proc/9232/stat): 9232 (pb2sat) T 9231 9232 4059 0 -1 0 16557 0 0 0 119719 835 0 0 25 0 1 0 21217130 71700480 13025 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9232/statm): 17505 13025 364 364 0 17141 0
[pid=9232] vsize: 70020
Current children cumulated CPU time (s) 1205.54
Current children cumulated vsize (Kb) 70020

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

Child status: 10
Real time (s): 1220.16
CPU time (s): 1205.67
CPU user time (s): 1197.29
CPU system time (s): 8.38172
CPU usage (%): 98.8129
Max. virtual memory (cumulated for all children) (Kb): 70020

Verifier Data

Verifier:	OK	30