PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/submitted/sorensson/garden/normalized-g15x15.opb
MD5SUM	6a083b86cc55025d2acb3bcf68562064
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
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 numbers	8
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01784
Number of variables	225
Total number of constraints	225
Number of constraints which are clauses	225
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	3
Maximum length of a constraint	5
Trace number 35100

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-05-28 11:55:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24308 boxname=wulflinc23 idbench=382 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  6a083b86cc55025d2acb3bcf68562064  /oldhome/oroussel/tmp/wulflinc23/normalized-g15x15.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc23/normalized-g15x15.opb
IDLAUNCH: 24308
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 3
cpu MHz		: 451.037
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:        878368 kB
Buffers:         32568 kB
Cached:         103752 kB
SwapCached:        700 kB
Active:          46084 kB
Inactive:        92336 kB
HighTotal:      131008 kB
HighFree:        31948 kB
LowTotal:       903652 kB
LowFree:        846420 kB
SwapTotal:     2097136 kB
SwapFree:      2095556 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5028 kB
Slab:            12380 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 12:16:01 (client local time) WITH STATUS 10 IN 1200.32 SECONDS
stats: 24308 0 1200.32 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 8667/25887	Time: 1.88172/86400
Decision: 8667/25887	Time: 3.34049/86400c got solution with objective value: 86
c [startup+5.02644 s]  setting bit 7 to 1

Decision: 18988/25887	Time: 22.8925/86400
Decision: 19748/25887	Time: 27.5218/86400
Decision: 19748/25887	Time: 29.4895/86400
Decision: 19793/25887	Time: 33.4219/86400
Decision: 19793/25887	Time: 35.2756/86400
Decision: 19793/25887	Time: 37.7823/86400
Decision: 19793/25887	Time: 40.4539/86400
Decision: 19793/25887	Time: 42.4046/86400
Decision: 19793/25887	Time: 44.3703/86400
Decision: 19793/25887	Time: 46.7399/86400
Decision: 19793/25887	Time: 49.0345/86400
Decision: 19793/25887	Time: 51.1522/86400
Decision: 19793/25887	Time: 53.2459/86400
Decision: 19793/25887	Time: 55.6605/86400
Decision: 19793/25887	Time: 57.9772/86400
Decision: 19793/25887	Time: 61.4727/86400
Decision: 19793/25887	Time: 63.7733/86400
Decision: 19793/25887	Time: 65.978/86400
Decision: 19793/25887	Time: 68.4196/86400
Decision: 19793/25887	Time: 70.5603/86400
Decision: 19793/25887	Time: 73.5468/86400
Decision: 19793/25887	Time: 76.0014/86400
Decision: 19793/25887	Time: 78.704/86400
Decision: 19793/25887	Time: 80.8597/86400
Decision: 19793/25887	Time: 82.9914/86400
Decision: 19793/25887	Time: 85.361/86400
Decision: 19793/25887	Time: 88.0226/86400
Decision: 19793/25887	Time: 90.5052/86400
Decision: 19793/25887	Time: 93.3218/86400
Decision: 19793/25887	Time: 95.6455/86400
Decision: 19793/25887	Time: 98.358/86400
Decision: 19793/25887	Time: 101.165/86400
Decision: 19793/25887	Time: 103.506/86400
Decision: 19793/25887	Time: 106.025/86400
Decision: 19793/25887	Time: 108.181/86400
Decision: 19793/25887	Time: 110.941/86400
Decision: 19793/25887	Time: 114.061/86400
Decision: 19793/25887	Time: 116.689/86400
Decision: 19793/25887	Time: 119.586/86400
Decision: 19793/25887	Time: 121.914/86400
Decision: 19793/25887	Time: 125.156/86400
Decision: 19793/25887	Time: 128.159/86400
Decision: 19793/25887	Time: 130.992/86400
Decision: 19793/25887	Time: 133.527/86400
Decision: 19793/25887	Time: 136.876/86400
Decision: 19793/25887	Time: 139.657/86400
Decision: 19793/25887	Time: 142.01/86400
Decision: 19793/25887	Time: 144.878/86400
Decision: 19793/25887	Time: 147.915/86400
Decision: 19793/25887	Time: 150.564/86400
Decision: 19793/25887	Time: 153.145/86400
Decision: 19793/25887	Time: 156.039/86400
Decision: 19793/25887	Time: 158.669/86400
Decision: 19793/25887	Time: 161.549/86400
Decision: 19793/25887	Time: 164.594/86400
Decision: 19793/25887	Time: 167.787/86400
Decision: 19793/25887	Time: 170.491/86400
Decision: 19793/25887	Time: 173.108/86400
Decision: 19793/25887	Time: 175.343/86400
Decision: 19793/25887	Time: 177.931/86400
Decision: 19807/25887	Time: 180.984/86400
Decision: 19807/25887	Time: 183.899/86400
Decision: 20366/25887	Time: 186.348/86400
Decision: 20366/25887	Time: 188.648/86400
Decision: 20366/25887	Time: 191.549/86400
Decision: 20366/25887	Time: 194.537/86400
Decision: 20366/25887	Time: 196.664/86400
Decision: 20366/25887	Time: 199.776/86400
Decision: 20366/25887	Time: 202.308/86400
Decision: 20366/25887	Time: 205.567/86400
Decision: 20366/25887	Time: 208.494/86400
Decision: 20366/25887	Time: 211.245/86400
Decision: 20366/25887	Time: 214.255/86400
Decision: 20366/25887	Time: 217.413/86400
Decision: 20366/25887	Time: 220.672/86400
Decision: 20366/25887	Time: 224.329/86400
Decision: 20366/25887	Time: 226.406/86400
Decision: 20366/25887	Time: 229.676/86400
Decision: 20366/25887	Time: 233.026/86400
Decision: 20366/25887	Time: 236.25/86400
Decision: 20366/25887	Time: 238.922/86400
Decision: 21638/25887	Time: 242.608/86400
Decision: 21638/25887	Time: 245.873/86400
Decision: 21638/25887	Time: 249.501/86400
Decision: 21638/25887	Time: 253.218/86400
Decision: 21638/25887	Time: 256.735/86400
Decision: 21638/25887	Time: 259.709/86400
Decision: 21638/25887	Time: 262.98/86400
Decision: 21638/25887	Time: 266.417/86400
Decision: 21638/25887	Time: 270.22/86400
Decision: 21638/25887	Time: 274.035/86400
Decision: 21638/25887	Time: 277.751/86400
Decision: 21638/25887	Time: 280.416/86400
Decision: 21638/25887	Time: 283.645/86400
Decision: 21638/25887	Time: 286.949/86400
Decision: 21638/25887	Time: 291.203/86400
Decision: 21638/25887	Time: 295.653/86400
Decision: 21638/25887	Time: 300.087/86400
Decision: 21638/25887	Time: 304.65/86400
Decision: 21638/25887	Time: 308.82/86400
Decision: 21638/25887	Time: 313.173/86400
Decision: 21638/25887	Time: 318.21/86400
Decision: 21638/25887	Time: 323.168/86400
Decision: 21638/25887	Time: 328.688/86400
Decision: 21638/25887	Time: 332.843/86400
Decision: 21638/25887	Time: 337.411/86400
Decision: 21638/25887	Time: 341.942/86400
Decision: 21638/25887	Time: 346.215/86400
Decision: 21638/25887	Time: 350.572/86400
Decision: 21638/25887	Time: 354.501/86400
Decision: 21638/25887	Time: 359.023/86400
Decision: 21638/25887	Time: 363.556/86400
Decision: 21638/25887	Time: 366.932/86400
Decision: 21638/25887	Time: 370.446/86400
Decision: 21638/25887	Time: 373.977/86400
Decision: 21638/25887	Time: 377.331/86400
Decision: 22049/25887	Time: 383.586/86400
Decision: 22049/25887	Time: 388.051/86400
Decision: 22049/25887	Time: 393.2/86400
Decision: 22049/25887	Time: 397.249/86400
Decision: 22049/25887	Time: 401.752/86400
Decision: 22049/25887	Time: 406.49/86400
Decision: 22049/25887	Time: 411.822/86400
Decision: 22297/25887	Time: 417.9/86400
Decision: 22297/25887	Time: 422.554/86400
Decision: 22297/25887	Time: 426.317/86400
Decision: 22297/25887	Time: 429.99/86400
Decision: 22297/25887	Time: 434.641/86400
Decision: 22297/25887	Time: 438.704/86400
Decision: 22297/25887	Time: 443.312/86400
Decision: 22297/25887	Time: 448.69/86400
Decision: 22297/25887	Time: 452.813/86400
Decision: 22297/25887	Time: 456.456/86400
Decision: 22297/25887	Time: 460.81/86400
Decision: 22297/25887	Time: 465.656/86400
Decision: 22297/25887	Time: 470.313/86400
Decision: 22297/25887	Time: 474.746/86400
Decision: 22297/25887	Time: 479.31/86400
Decision: 22297/25887	Time: 483.719/86400
Decision: 22297/25887	Time: 487.922/86400
Decision: 22297/25887	Time: 492.786/86400
Decision: 22297/25887	Time: 497.643/86400
Decision: 22297/25887	Time: 502.086/86400
Decision: 22297/25887	Time: 507.284/86400
Decision: 22297/25887	Time: 512.049/86400
Decision: 22297/25887	Time: 517.152/86400
Decision: 22297/25887	Time: 521.919/86400
Decision: 22297/25887	Time: 526.633/86400
Decision: 22297/25887	Time: 531.387/86400
Decision: 22297/25887	Time: 535.971/86400
Decision: 22297/25887	Time: 541.516/86400
Decision: 22297/25887	Time: 546.202/86400
Decision: 22297/25887	Time: 551.126/86400
Decision: 22297/25887	Time: 555.718/86400
Decision: 22297/25887	Time: 560.221/86400
Decision: 22297/25887	Time: 565.437/86400
Decision: 22297/25887	Time: 570.421/86400
Decision: 22297/25887	Time: 575.528/86400
Decision: 22322/25887	Time: 581.46/86400
Decision: 22322/25887	Time: 586.067/86400
Decision: 22322/25887	Time: 591.049/86400
Decision: 22322/25887	Time: 595.62/86400
Decision: 22322/25887	Time: 600.242/86400
Decision: 22322/25887	Time: 604.699/86400
Decision: 22490/25887	Time: 612.258/86400
Decision: 22490/25887	Time: 616.804/86400
Decision: 22490/25887	Time: 621.393/86400
Decision: 22490/25887	Time: 626.179/86400
Decision: 22490/25887	Time: 630.98/86400
Decision: 22490/25887	Time: 635.594/86400
Decision: 22576/25887	Time: 644.31/86400c [startup+662.886 s]  setting bit 6 to 0

Decision: 14369/25887	Time: 2.58561/86400
Decision: 14369/25887	Time: 5.01624/86400
Decision: 14369/25887	Time: 6.73198/86400
Decision: 14369/25887	Time: 7.84681/86400
Decision: 14369/25887	Time: 10.0295/86400
Decision: 14369/25887	Time: 11.2673/86400
Decision: 14369/25887	Time: 12.6351/86400
Decision: 14369/25887	Time: 14.8987/86400
Decision: 14369/25887	Time: 16.4085/86400
Decision: 14369/25887	Time: 18.3472/86400
Decision: 14369/25887	Time: 19.777/86400
Decision: 14369/25887	Time: 21.8277/86400
Decision: 14369/25887	Time: 23.5044/86400
Decision: 14369/25887	Time: 25.1792/86400
Decision: 14369/25887	Time: 27.3968/86400
Decision: 14369/25887	Time: 29.0386/86400
Decision: 14369/25887	Time: 31.0763/86400
Decision: 14369/25887	Time: 32.3091/86400
Decision: 14369/25887	Time: 34.1748/86400
Decision: 14369/25887	Time: 36.1575/86400
Decision: 14369/25887	Time: 37.7533/86400
Decision: 14369/25887	Time: 39.25/86400
Decision: 14369/25887	Time: 40.8508/86400
Decision: 14369/25887	Time: 42.3566/86400
Decision: 14369/25887	Time: 44.3403/86400
Decision: 14369/25887	Time: 46.281/86400
Decision: 14369/25887	Time: 48.6686/86400
Decision: 14369/25887	Time: 50.5153/86400c got solution with objective value: 65
c [startup+715.397 s]  setting bit 5 to 1

Decision: 17080/25887	Time: 21.8447/86400
Decision: 17080/25887	Time: 23.0335/86400
Decision: 17080/25887	Time: 25.4241/86400
Decision: 17080/25887	Time: 27.4958/86400
Decision: 17361/25887	Time: 29.9564/86400
Decision: 17361/25887	Time: 32.919/86400
Decision: 17361/25887	Time: 34.9877/86400
Decision: 17361/25887	Time: 36.9714/86400
Decision: 17361/25887	Time: 39.0361/86400
Decision: 17361/25887	Time: 41.0908/86400
Decision: 17361/25887	Time: 43.7813/86400
Decision: 17361/25887	Time: 45.2641/86400
Decision: 17361/25887	Time: 47.5648/86400
Decision: 17361/25887	Time: 49.5435/86400
Decision: 17361/25887	Time: 51.8751/86400
Decision: 17361/25887	Time: 54.4547/86400
Decision: 17361/25887	Time: 56.9014/86400
Decision: 17361/25887	Time: 58.4881/86400
Decision: 17361/25887	Time: 61.0277/86400
Decision: 17361/25887	Time: 62.5955/86400
Decision: 17361/25887	Time: 65.7/86400
Decision: 17361/25887	Time: 67.0818/86400
Decision: 17361/25887	Time: 69.1005/86400
Decision: 17361/25887	Time: 70.5923/86400
Decision: 17361/25887	Time: 72.9499/86400
Decision: 17361/25887	Time: 75.1236/86400
Decision: 17361/25887	Time: 77.1843/86400
Decision: 17361/25887	Time: 80.1388/86400
Decision: 17361/25887	Time: 81.6076/86400
Decision: 17361/25887	Time: 83.5773/86400
Decision: 17361/25887	Time: 86.4989/86400
Decision: 17361/25887	Time: 88.2606/86400
Decision: 17361/25887	Time: 90.9312/86400
Decision: 17361/25887	Time: 92.7449/86400
Decision: 17361/25887	Time: 95.6465/86400
Decision: 17361/25887	Time: 98.739/86400
Decision: 17361/25887	Time: 102.073/86400
Decision: 17361/25887	Time: 103.744/86400
Decision: 17361/25887	Time: 106.437/86400
Decision: 17361/25887	Time: 107.981/86400
Decision: 17361/25887	Time: 110.711/86400
Decision: 17361/25887	Time: 112.975/86400
Decision: 17361/25887	Time: 115.828/86400
Decision: 17361/25887	Time: 118.092/86400
Decision: 17361/25887	Time: 120.697/86400
Decision: 17361/25887	Time: 122.99/86400
Decision: 17361/25887	Time: 125.945/86400
Decision: 17361/25887	Time: 128.063/86400
Decision: 17361/25887	Time: 130.663/86400
Decision: 17361/25887	Time: 133.435/86400
Decision: 17361/25887	Time: 136.602/86400
Decision: 17361/25887	Time: 139.285/86400
Decision: 17361/25887	Time: 141.384/86400
Decision: 17361/25887	Time: 143.84/86400
Decision: 17361/25887	Time: 146.816/86400
Decision: 17361/25887	Time: 149.336/86400
Decision: 17361/25887	Time: 152.258/86400
Decision: 17361/25887	Time: 154.829/86400
Decision: 17361/25887	Time: 156.713/86400
Decision: 17361/25887	Time: 158.663/86400
Decision: 17361/25887	Time: 162.139/86400
Decision: 17361/25887	Time: 163.92/86400
Decision: 17361/25887	Time: 166.312/86400
Decision: 17361/25887	Time: 168.529/86400
Decision: 17361/25887	Time: 171.154/86400
Decision: 17361/25887	Time: 173.554/86400
Decision: 17361/25887	Time: 176.338/86400
Decision: 17361/25887	Time: 178.386/86400
Decision: 17361/25887	Time: 181.152/86400
Decision: 17361/25887	Time: 184.005/86400
Decision: 17361/25887	Time: 186.707/86400
Decision: 17361/25887	Time: 189.456/86400
Decision: 17361/25887	Time: 191.711/86400
Decision: 17361/25887	Time: 195.238/86400
Decision: 17361/25887	Time: 197.365/86400
Decision: 17361/25887	Time: 199.747/86400
Decision: 17361/25887	Time: 203.023/86400
Decision: 17361/25887	Time: 205.157/86400
Decision: 17361/25887	Time: 208.631/86400
Decision: 17361/25887	Time: 210.721/86400
Decision: 17361/25887	Time: 214.482/86400
Decision: 17361/25887	Time: 217.108/86400
Decision: 17361/25887	Time: 220.408/86400
Decision: 17361/25887	Time: 222.493/86400
Decision: 17361/25887	Time: 226.123/86400
Decision: 17361/25887	Time: 228.645/86400
Decision: 17361/25887	Time: 232.325/86400
Decision: 17361/25887	Time: 234.568/86400
Decision: 17361/25887	Time: 238.035/86400
Decision: 17361/25887	Time: 241.237/86400
Decision: 17361/25887	Time: 244.223/86400
Decision: 17361/25887	Time: 247.593/86400
Decision: 17361/25887	Time: 250.071/86400
Decision: 17361/25887	Time: 253.602/86400
Decision: 17361/25887	Time: 256.086/86400
Decision: 17361/25887	Time: 259.769/86400
Decision: 17361/25887	Time: 262.18/86400
Decision: 17361/25887	Time: 265.629/86400
Decision: 17361/25887	Time: 269.21/86400
Decision: 17361/25887	Time: 271.433/86400
Decision: 17361/25887	Time: 275.768/86400
Decision: 17361/25887	Time: 279.13/86400
Decision: 17361/25887	Time: 282.645/86400
Decision: 17361/25887	Time: 285.367/86400
Decision: 17361/25887	Time: 288.805/86400
Decision: 17361/25887	Time: 291.903/86400
Decision: 17361/25887	Time: 295.684/86400
Decision: 17361/25887	Time: 299.031/86400
Decision: 17361/25887	Time: 301.857/86400
Decision: 17361/25887	Time: 305.126/86400
Decision: 17361/25887	Time: 308.209/86400
Decision: 17361/25887	Time: 311.674/86400
Decision: 17361/25887	Time: 314.924/86400
Decision: 17361/25887	Time: 318.967/86400
Decision: 17361/25887	Time: 321.911/86400
Decision: 17361/25887	Time: 325.027/86400
Decision: 17361/25887	Time: 328.539/86400
Decision: 17361/25887	Time: 331.551/86400
Decision: 17361/25887	Time: 335.46/86400
Decision: 17361/25887	Time: 338.836/86400
Decision: 17361/25887	Time: 341.935/86400
Decision: 17361/25887	Time: 343.941/86400
Decision: 17361/25887	Time: 347.846/86400
Decision: 17361/25887	Time: 351.95/86400
Decision: 17361/25887	Time: 356.384/86400
Decision: 17361/25887	Time: 359.142/86400
Decision: 17361/25887	Time: 362.294/86400
Decision: 17361/25887	Time: 365.976/86400
Decision: 17361/25887	Time: 368.834/86400
Decision: 17361/25887	Time: 372.504/86400
Decision: 17361/25887	Time: 375.415/86400
Decision: 17361/25887	Time: 379.069/86400
Decision: 17361/25887	Time: 381.481/86400
Decision: 17361/25887	Time: 383.609/86400
Decision: 17361/25887	Time: 388.455/86400
Decision: 17361/25887	Time: 391.831/86400
Decision: 17361/25887	Time: 395.135/86400
Decision: 17361/25887	Time: 397.894/86400
Decision: 17361/25887	Time: 401.324/86400
Decision: 17361/25887	Time: 403.847/86400
Decision: 17361/25887	Time: 407.173/86400
Decision: 17361/25887	Time: 411.297/86400
Decision: 17361/25887	Time: 414.232/86400
Decision: 17361/25887	Time: 417.483/86400
Decision: 17361/25887	Time: 421.016/86400
Decision: 17361/25887	Time: 424.656/86400
Decision: 17361/25887	Time: 428.049/86400
Decision: 17361/25887	Time: 431.869/86400
Decision: 17361/25887	Time: 434.55/86400
Decision: 17361/25887	Time: 437.531/86400
Decision: 17361/25887	Time: 440.162/86400
Decision: 17361/25887	Time: 443.451/86400
Decision: 17361/25887	Time: 447.204/86400
Decision: 17361/25887	Time: 450.597/86400
Decision: 17361/25887	Time: 453.613/86400
Decision: 17361/25887	Time: 457.31/86400
Decision: 17361/25887	Time: 460.81/86400
Decision: 17361/25887	Time: 463.231/86400
Decision: 17361/25887	Time: 467.125/86400
Decision: 17361/25887	Time: 469.724/86400
Decision: 17361/25887	Time: 472.827/86400
Decision: 17361/25887	Time: 475.365/86400
Decision: 17361/25887	Time: 479.091/86400
Decision: 17361/25887	Time: 482.474/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 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.85 0.93 0.90 2/54 8242
Raw data (stat): 8242 (runsolver) D 8241 5562 5561 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864611582 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 8242
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 4257 0 0 0 987 12 0 0 25 0 1 0 864611582 13533184 2748 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3304 2748 300 300 0 3004 0
vsize: 13216
[startup+20.001 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 8242
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 4431 0 0 0 1985 13 0 0 25 0 1 0 864611582 15765504 2922 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3849 2922 300 300 0 3549 0
vsize: 15396
[startup+30.0015 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 8242
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 4627 0 0 0 2983 14 0 0 25 0 1 0 864611582 16048128 3067 4294967295 134512640 135726644 3221224592 3221223248 134731177 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3918 3067 300 300 0 3618 0
vsize: 15672
[startup+40.0015 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 8242
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 4952 0 0 0 3981 16 0 0 25 0 1 0 864611582 16318464 3239 4294967295 134512640 135726644 3221224592 3221223088 134744145 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3984 3239 300 300 0 3684 0
vsize: 15936
[startup+50.0021 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 8242
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 5278 0 0 0 4979 19 0 0 25 0 1 0 864611582 16457728 3310 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4018 3310 300 300 0 3718 0
vsize: 16072
[startup+60.0024 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 8242
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 5619 0 0 0 5977 21 0 0 25 0 1 0 864611582 16605184 3447 4294967295 134512640 135726644 3221224592 3221223088 134744142 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4054 3447 300 300 0 3754 0
vsize: 16216
[startup+70.0024 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 8242
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 5928 0 0 0 6974 23 0 0 25 0 1 0 864611582 16875520 3552 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4120 3552 300 300 0 3820 0
vsize: 16480
[startup+80.0031 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 8242
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 6244 0 0 0 7971 27 0 0 25 0 1 0 864611582 17006592 3664 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4152 3664 300 300 0 3852 0
vsize: 16608
[startup+90.0033 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 8242
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 6560 0 0 0 8969 29 0 0 25 0 1 0 864611582 17276928 3776 4294967295 134512640 135726644 3221224592 3221223280 134744977 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4218 3776 300 300 0 3918 0
vsize: 16872
[startup+100.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 8242
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 7626 0 0 0 9965 32 0 0 25 0 1 0 864611582 20557824 3869 4294967295 134512640 135726644 3221224592 3221222912 134729202 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5019 3869 300 300 0 4719 0
vsize: 20076
[startup+110.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 8242
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 7930 0 0 0 10964 33 0 0 25 0 1 0 864611582 20705280 3969 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5055 3969 300 300 0 4755 0
vsize: 20220
[startup+120.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 8242
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 8237 0 0 0 11963 35 0 0 25 0 1 0 864611582 25038848 4072 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6113 4072 300 300 0 5813 0
vsize: 24452
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 8242
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 8466 0 0 0 12961 37 0 0 25 0 1 0 864611582 25382912 4148 4294967295 134512640 135726644 3221224592 3221222928 134763608 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6197 4148 300 300 0 5897 0
vsize: 24788
[startup+140.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 8242
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 8714 0 0 0 13960 38 0 0 25 0 1 0 864611582 25309184 4192 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6179 4192 300 300 0 5879 0
vsize: 24716
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 8242
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 8992 0 0 0 14958 40 0 0 25 0 1 0 864611582 25448448 4266 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6213 4266 300 300 0 5913 0
vsize: 24852
[startup+160.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8242
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 9203 0 0 0 15957 42 0 0 25 0 1 0 864611582 25583616 4324 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6246 4324 300 300 0 5946 0
vsize: 24984
[startup+170.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8242
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 9489 0 0 0 16955 44 0 0 25 0 1 0 864611582 25862144 4406 4294967295 134512640 135726644 3221224592 3221223216 134744678 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6314 4406 300 300 0 6014 0
vsize: 25256
[startup+180.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8242
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 9710 0 0 0 17953 45 0 0 25 0 1 0 864611582 25997312 4474 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6347 4474 300 300 0 6047 0
vsize: 25388
[startup+190.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8242
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 9959 0 0 0 18952 47 0 0 25 0 1 0 864611582 26128384 4519 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6379 4519 300 300 0 6079 0
vsize: 25516
[startup+200.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8242
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 10238 0 0 0 19950 48 0 0 25 0 1 0 864611582 26263552 4594 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6412 4594 300 300 0 6112 0
vsize: 25648
[startup+210.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8242
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 10423 0 0 0 20950 49 0 0 25 0 1 0 864611582 26394624 4626 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6444 4626 300 300 0 6144 0
vsize: 25776
[startup+220.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8242
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 10655 0 0 0 21948 51 0 0 25 0 1 0 864611582 26394624 4654 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6444 4654 300 300 0 6144 0
vsize: 25776
[startup+230.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8242
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 10845 0 0 0 22946 53 0 0 25 0 1 0 864611582 26525696 4691 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6476 4691 300 300 0 6176 0
vsize: 25904
[startup+240.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8242
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 11028 0 0 0 23945 55 0 0 25 0 1 0 864611582 26660864 4721 4294967295 134512640 135726644 3221224592 3221223216 134744578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6509 4721 300 300 0 6209 0
vsize: 26036
[startup+250.01 s]
Raw data (loadavg): 1.07 0.98 0.91 2/57 8286
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 11219 0 0 0 24943 56 0 0 25 0 1 0 864611582 26660864 4759 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6509 4759 300 300 0 6209 0
vsize: 26036
[startup+260.026 s]
Raw data (loadavg): 1.06 0.98 0.91 2/54 8295
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 11474 0 0 0 25942 59 0 0 25 0 1 0 864611582 26804224 4861 4294967295 134512640 135726644 3221224592 3221223088 134744260 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6544 4861 300 300 0 6244 0
vsize: 26176
[startup+270.026 s]
Raw data (loadavg): 1.05 0.98 0.91 2/54 8295
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 11686 0 0 0 26940 61 0 0 25 0 1 0 864611582 26939392 4920 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6577 4920 300 300 0 6277 0
vsize: 26308
[startup+280.026 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 8295
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 11910 0 0 0 27939 62 0 0 25 0 1 0 864611582 27074560 4991 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6610 4991 300 300 0 6310 0
vsize: 26440
[startup+290.027 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 8295
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 12096 0 0 0 28939 63 0 0 25 0 1 0 864611582 27074560 5024 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6610 5024 300 300 0 6310 0
vsize: 26440
[startup+300.027 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 8295
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 12274 0 0 0 29936 65 0 0 25 0 1 0 864611582 27209728 5100 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6643 5100 300 300 0 6343 0
vsize: 26572
[startup+310.026 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 8295
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 12518 0 0 0 30935 67 0 0 25 0 1 0 864611582 27348992 5191 4294967295 134512640 135726644 3221224592 3221223088 134744223 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6677 5191 300 300 0 6377 0
vsize: 26708
[startup+320.026 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 8297
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 12716 0 0 0 31933 68 0 0 25 0 1 0 864611582 27496448 5287 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6713 5287 300 300 0 6413 0
vsize: 26852
[startup+330.027 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 8297
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 12856 0 0 0 32932 70 0 0 25 0 1 0 864611582 27496448 5325 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6713 5325 300 300 0 6413 0
vsize: 26852
[startup+340.027 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 8297
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 13060 0 0 0 33930 72 0 0 25 0 1 0 864611582 27631616 5427 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6746 5427 300 300 0 6446 0
vsize: 26984
[startup+350.027 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 8297
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 13212 0 0 0 34929 73 0 0 25 0 1 0 864611582 27631616 5477 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6746 5477 300 300 0 6446 0
vsize: 26984
[startup+360.027 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 8297
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 13391 0 0 0 35928 75 0 0 25 0 1 0 864611582 27774976 5503 4294967295 134512640 135726644 3221224592 3221223088 134744295 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6781 5503 300 300 0 6481 0
vsize: 27124
[startup+370.027 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 8297
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 13541 0 0 0 36927 76 0 0 25 0 1 0 864611582 27774976 5551 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6781 5551 300 300 0 6481 0
vsize: 27124
[startup+380.028 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 8297
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 13737 0 0 0 37925 78 0 0 25 0 1 0 864611582 27930624 5594 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6819 5594 300 300 0 6519 0
vsize: 27276
[startup+390.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8297
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 13894 0 0 0 38924 79 0 0 25 0 1 0 864611582 27930624 5649 4294967295 134512640 135726644 3221224592 3221223088 134744382 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6819 5649 300 300 0 6519 0
vsize: 27276
[startup+400.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8297
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 14097 0 0 0 39923 80 0 0 25 0 1 0 864611582 28065792 5750 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6852 5750 300 300 0 6552 0
vsize: 27408
[startup+410.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8297
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 14296 0 0 0 40922 81 0 0 25 0 1 0 864611582 28188672 5847 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6882 5847 300 300 0 6582 0
vsize: 27528
[startup+420.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8297
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 14431 0 0 0 41921 82 0 0 25 0 1 0 864611582 28188672 5880 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6882 5880 300 300 0 6582 0
vsize: 27528
[startup+430.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8297
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 14559 0 0 0 42920 83 0 0 25 0 1 0 864611582 28323840 5906 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6915 5906 300 300 0 6615 0
vsize: 27660
[startup+440.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8297
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 14735 0 0 0 43919 84 0 0 25 0 1 0 864611582 28323840 5929 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6915 5929 300 300 0 6615 0
vsize: 27660
[startup+450.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8297
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 14957 0 0 0 44918 86 0 0 25 0 1 0 864611582 28459008 6049 4294967295 134512640 135726644 3221224592 3221223136 134736726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6948 6049 300 300 0 6648 0
vsize: 27792
[startup+460.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8297
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 15189 0 0 0 45917 87 0 0 25 0 1 0 864611582 28594176 6179 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6981 6179 300 300 0 6681 0
vsize: 27924
[startup+470.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8297
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 15463 0 0 0 46916 88 0 0 25 0 1 0 864611582 37146624 6351 4294967295 134512640 135726644 3221224592 3221223088 134744056 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9069 6351 300 300 0 8769 0
vsize: 36276
[startup+480.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8297
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 15738 0 0 0 47915 90 0 0 25 0 1 0 864611582 37335040 6473 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9115 6473 300 300 0 8815 0
vsize: 36460
[startup+490.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8297
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 16047 0 0 0 48914 91 0 0 25 0 1 0 864611582 37335040 6680 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9115 6680 300 300 0 8815 0
vsize: 36460
[startup+500.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8297
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 16289 0 0 0 49913 92 0 0 25 0 1 0 864611582 37531648 6820 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9163 6820 300 300 0 8863 0
vsize: 36652
[startup+510.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8297
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 16402 0 0 0 50911 94 0 0 25 0 1 0 864611582 37531648 6831 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9163 6831 300 300 0 8863 0
vsize: 36652
[startup+520.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8297
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 16671 0 0 0 51911 95 0 0 25 0 1 0 864611582 37531648 6998 4294967295 134512640 135726644 3221224592 3221223088 134744257 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9163 6998 300 300 0 8863 0
vsize: 36652
[startup+530.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8297
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 16827 0 0 0 52910 96 0 0 25 0 1 0 864611582 37670912 7052 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9197 7052 300 300 0 8897 0
vsize: 36788
[startup+540.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8297
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 17020 0 0 0 53909 97 0 0 25 0 1 0 864611582 37670912 7143 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9197 7143 300 300 0 8897 0
vsize: 36788
[startup+550.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8297
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 17283 0 0 0 54908 98 0 0 25 0 1 0 864611582 37863424 7304 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9244 7304 300 300 0 8944 0
vsize: 36976
[startup+560.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8297
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 17577 0 0 0 55907 100 0 0 25 0 1 0 864611582 37863424 7496 4294967295 134512640 135726644 3221224592 3221223088 134744182 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9244 7496 300 300 0 8944 0
vsize: 36976
[startup+570.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8297
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 17860 0 0 0 56907 100 0 0 25 0 1 0 864611582 37863424 7677 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9244 7677 300 300 0 8944 0
vsize: 36976
[startup+580.037 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8297
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 18063 0 0 0 57906 101 0 0 25 0 1 0 864611582 38060032 7778 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9292 7778 300 300 0 8992 0
vsize: 37168
[startup+590.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8297
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 18427 0 0 0 58905 102 0 0 25 0 1 0 864611582 38330368 8040 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9358 8040 300 300 0 9058 0
vsize: 37432
[startup+600.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8297
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 18637 0 0 0 59904 103 0 0 25 0 1 0 864611582 38469632 8148 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9392 8148 300 300 0 9092 0
vsize: 37568
[startup+610.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8297
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 18758 0 0 0 60903 104 0 0 25 0 1 0 864611582 38469632 8167 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9392 8167 300 300 0 9092 0
vsize: 37568
[startup+620.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8297
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 18885 0 0 0 61902 105 0 0 25 0 1 0 864611582 38739968 8243 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9458 8243 300 300 0 9158 0
vsize: 37832
[startup+630.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 18997 0 0 0 62901 106 0 0 25 0 1 0 864611582 38739968 8253 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9458 8253 300 300 0 9158 0
vsize: 37832
[startup+640.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 19108 0 0 0 63901 107 0 0 25 0 1 0 864611582 38739968 8262 4294967295 134512640 135726644 3221224592 3221223088 134744156 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9458 8262 300 300 0 9158 0
vsize: 37832
[startup+650.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 19208 0 0 0 64900 108 0 0 25 0 1 0 864611582 38875136 8311 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9491 8311 300 300 0 9191 0
vsize: 37964
[startup+660.042 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 19220 0 0 0 65901 108 0 0 25 0 1 0 864611582 38875136 8323 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9491 8323 300 300 0 9191 0
vsize: 37964
[startup+670.041 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 19388 0 0 0 66899 109 0 0 25 0 1 0 864611582 39170048 8389 4294967295 134512640 135726644 3221224592 3221223248 134731258 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9563 8389 300 300 0 9263 0
vsize: 38252
[startup+680.042 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 19565 0 0 0 67897 112 0 0 25 0 1 0 864611582 39309312 8464 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9597 8464 300 300 0 9297 0
vsize: 38388
[startup+690.042 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 19624 0 0 0 68885 114 0 0 25 0 1 0 864611582 39440384 8523 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9629 8523 300 300 0 9329 0
vsize: 38516
[startup+700.042 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 19737 0 0 0 69883 116 0 0 25 0 1 0 864611582 39702528 8585 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9693 8585 300 300 0 9393 0
vsize: 38772
[startup+710.042 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 19818 0 0 0 70882 117 0 0 25 0 1 0 864611582 39837696 8666 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9726 8666 300 300 0 9426 0
vsize: 38904
[startup+720.042 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 20008 0 0 0 71879 120 0 0 25 0 1 0 864611582 40247296 8754 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9826 8754 300 300 0 9526 0
vsize: 39304
[startup+730.042 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 20059 0 0 0 72879 120 0 0 25 0 1 0 864611582 40247296 8805 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9826 8805 300 300 0 9526 0
vsize: 39304
[startup+740.042 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 21767 0 0 0 73874 125 0 0 25 0 1 0 864611582 46809088 8874 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11428 8874 300 300 0 11128 0
vsize: 45712
[startup+750.042 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 21977 0 0 0 74873 127 0 0 25 0 1 0 864611582 46944256 8931 4294967295 134512640 135726644 3221224592 3221223088 134744002 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11461 8931 300 300 0 11161 0
vsize: 45844
[startup+760.042 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 22090 0 0 0 75871 129 0 0 25 0 1 0 864611582 47214592 8993 4294967295 134512640 135726644 3221224592 3221223088 134744195 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11527 8993 300 300 0 11227 0
vsize: 46108
[startup+770.042 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 22359 0 0 0 76870 130 0 0 25 0 1 0 864611582 47349760 9058 4294967295 134512640 135726644 3221224592 3221223088 134744009 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11560 9058 300 300 0 11260 0
vsize: 46240
[startup+780.042 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 22463 0 0 0 77869 132 0 0 25 0 1 0 864611582 47480832 9111 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11592 9111 300 300 0 11292 0
vsize: 46368
[startup+790.042 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 22582 0 0 0 78867 134 0 0 25 0 1 0 864611582 47616000 9179 4294967295 134512640 135726644 3221224592 3221223104 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11625 9179 300 300 0 11325 0
vsize: 46500
[startup+800.043 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 22794 0 0 0 79865 136 0 0 25 0 1 0 864611582 47882240 9238 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11690 9238 300 300 0 11390 0
vsize: 46760
[startup+810.043 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 22899 0 0 0 80864 137 0 0 25 0 1 0 864611582 48021504 9292 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11724 9292 300 300 0 11424 0
vsize: 46896
[startup+820.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 23122 0 0 0 81863 138 0 0 25 0 1 0 864611582 48295936 9362 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11791 9362 300 300 0 11491 0
vsize: 47164
[startup+830.059 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 23223 0 0 0 82862 139 0 0 25 0 1 0 864611582 48431104 9412 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11824 9412 300 300 0 11524 0
vsize: 47296
[startup+840.059 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 23375 0 0 0 83861 140 0 0 25 0 1 0 864611582 48566272 9462 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11857 9462 300 300 0 11557 0
vsize: 47428
[startup+850.058 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 23485 0 0 0 84860 141 0 0 25 0 1 0 864611582 48701440 9521 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11890 9521 300 300 0 11590 0
vsize: 47560
[startup+860.059 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 23526 0 0 0 85859 143 0 0 25 0 1 0 864611582 48832512 9562 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11922 9562 300 300 0 11622 0
vsize: 47688
[startup+870.06 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 23689 0 0 0 86858 144 0 0 25 0 1 0 864611582 48967680 9623 4294967295 134512640 135726644 3221224592 3221223104 134742637 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11955 9623 300 300 0 11655 0
vsize: 47820
[startup+880.059 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 24018 0 0 0 87857 145 0 0 25 0 1 0 864611582 49106944 9748 4294967295 134512640 135726644 3221224592 3221223216 134744578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11989 9748 300 300 0 11689 0
vsize: 47956
[startup+890.058 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 24232 0 0 0 88855 147 0 0 25 0 1 0 864611582 49246208 9809 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12023 9809 300 300 0 11723 0
vsize: 48092
[startup+900.06 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 24486 0 0 0 89854 148 0 0 25 0 1 0 864611582 49385472 9859 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12057 9859 300 300 0 11757 0
vsize: 48228
[startup+910.06 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 24693 0 0 0 90853 149 0 0 25 0 1 0 864611582 49528832 9913 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12092 9913 300 300 0 11792 0
vsize: 48368
[startup+920.059 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 24951 0 0 0 91853 150 0 0 25 0 1 0 864611582 49799168 9967 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12158 9967 300 300 0 11858 0
vsize: 48632
[startup+930.06 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 25198 0 0 0 92852 151 0 0 25 0 1 0 864611582 49934336 10010 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12191 10010 300 300 0 11891 0
vsize: 48764
[startup+940.06 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 25412 0 0 0 93851 152 0 0 25 0 1 0 864611582 50081792 10071 4294967295 134512640 135726644 3221224592 3221223088 134744145 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12227 10071 300 300 0 11927 0
vsize: 48908
[startup+950.059 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 25667 0 0 0 94850 153 0 0 25 0 1 0 864611582 50221056 10122 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12261 10122 300 300 0 11961 0
vsize: 49044
[startup+960.059 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 25860 0 0 0 95849 154 0 0 25 0 1 0 864611582 50356224 10162 4294967295 134512640 135726644 3221224592 3221223088 134744377 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12294 10162 300 300 0 11994 0
vsize: 49176
[startup+970.06 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 26085 0 0 0 96848 156 0 0 25 0 1 0 864611582 50655232 10234 4294967295 134512640 135726644 3221224592 3221223088 134744295 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12367 10234 300 300 0 12067 0
vsize: 49468
[startup+980.059 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 26275 0 0 0 97847 157 0 0 25 0 1 0 864611582 50655232 10271 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12367 10271 300 300 0 12067 0
vsize: 49468
[startup+990.061 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 26457 0 0 0 98847 158 0 0 25 0 1 0 864611582 50790400 10300 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12400 10300 300 300 0 12100 0
vsize: 49600
[startup+1000.06 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 26662 0 0 0 99846 158 0 0 25 0 1 0 864611582 50937856 10352 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12436 10352 300 300 0 12136 0
vsize: 49744
[startup+1010.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 26916 0 0 0 100846 159 0 0 25 0 1 0 864611582 51073024 10453 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12469 10453 300 300 0 12169 0
vsize: 49876
[startup+1020.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 27182 0 0 0 101845 161 0 0 25 0 1 0 864611582 51208192 10566 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12502 10566 300 300 0 12202 0
vsize: 50008
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 27404 0 0 0 102843 162 0 0 25 0 1 0 864611582 51343360 10635 4294967295 134512640 135726644 3221224592 3221223104 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12535 10635 300 300 0 12235 0
vsize: 50140
[startup+1040.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 27731 0 0 0 103841 164 0 0 25 0 1 0 864611582 51478528 10758 4294967295 134512640 135726644 3221224592 3221223216 134779440 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12568 10758 300 300 0 12268 0
vsize: 50272
[startup+1050.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 27888 0 0 0 104841 165 0 0 25 0 1 0 864611582 51752960 10813 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12635 10813 300 300 0 12335 0
vsize: 50540
[startup+1060.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 28180 0 0 0 105840 166 0 0 25 0 1 0 864611582 51752960 10901 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12635 10901 300 300 0 12335 0
vsize: 50540
[startup+1070.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 28341 0 0 0 106838 168 0 0 25 0 1 0 864611582 52023296 10960 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12701 10960 300 300 0 12401 0
vsize: 50804
[startup+1080.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 28551 0 0 0 107837 169 0 0 25 0 1 0 864611582 52023296 11017 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12701 11017 300 300 0 12401 0
vsize: 50804
[startup+1090.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 28813 0 0 0 108836 171 0 0 25 0 1 0 864611582 52158464 11126 4294967295 134512640 135726644 3221224592 3221223104 134742913 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12734 11126 300 300 0 12434 0
vsize: 50936
[startup+1100.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 29095 0 0 0 109835 172 0 0 25 0 1 0 864611582 52293632 11204 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12767 11204 300 300 0 12467 0
vsize: 51068
[startup+1110.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 29313 0 0 0 110834 173 0 0 25 0 1 0 864611582 52428800 11320 4294967295 134512640 135726644 3221224592 3221223104 134742194 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12800 11320 300 300 0 12500 0
vsize: 51200
[startup+1120.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 29600 0 0 0 111833 174 0 0 25 0 1 0 864611582 52572160 11403 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12835 11403 300 300 0 12535 0
vsize: 51340
[startup+1130.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 29810 0 0 0 112832 175 0 0 25 0 1 0 864611582 52711424 11460 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12869 11460 300 300 0 12569 0
vsize: 51476
[startup+1140.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 30010 0 0 0 113831 176 0 0 25 0 1 0 864611582 52846592 11507 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12902 11507 300 300 0 12602 0
vsize: 51608
[startup+1150.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 30204 0 0 0 114830 178 0 0 25 0 1 0 864611582 52985856 11548 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12936 11548 300 300 0 12636 0
vsize: 51744
[startup+1160.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 30422 0 0 0 115829 179 0 0 25 0 1 0 864611582 53121024 11613 4294967295 134512640 135726644 3221224592 3221223136 134736590 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12969 11613 300 300 0 12669 0
vsize: 51876
[startup+1170.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 30631 0 0 0 116828 181 0 0 25 0 1 0 864611582 70037504 11669 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17099 11669 300 300 0 16799 0
vsize: 68396
[startup+1180.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 30872 0 0 0 117826 182 0 0 25 0 1 0 864611582 70037504 11757 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17099 11757 300 300 0 16799 0
vsize: 68396
[startup+1190.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 31115 0 0 0 118826 183 0 0 25 0 1 0 864611582 70172672 11847 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17132 11847 300 300 0 16832 0
vsize: 68528
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8299
Raw data (stat): 8242 (pb2sat) R 8241 5562 5561 0 -1 0 31264 0 0 0 119825 184 0 0 25 0 1 0 864611582 70324224 11894 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17169 11894 300 300 0 16869 0
vsize: 68676
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.29 s]
Raw data (loadavg): 1.00 0.98 0.91 1/54 8299
Raw data (stat): 8242 (pb2sat) Z 8241 5562 5561 0 -1 12 31265 0 0 0 119844 187 0 0 25 0 1 0 864611582 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.29
CPU time (s): 1200.32
CPU user time (s): 1198.45
CPU system time (s): 1.87071
CPU usage (%): 100.002
Max. virtual memory (Kb): 68676
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	65
#### END VERIFIER DATA ####