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/aloul/FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb
MD5SUM	6c328ef6f9d8d5a179eec9bf3550b7fd
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	26
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.027995
Number of variables	1000
Total number of constraints	90
Number of constraints which are clauses	50
Number of constraints which are cardinality constraints (but not clauses)	40
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	25
Trace number 41891

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-15 19:12:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25107 boxname=wulflinc4 idbench=9 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  6c328ef6f9d8d5a179eec9bf3550b7fd  /oldhome/oroussel/tmp/wulflinc4/normalized-chnl20_25_pb.cnf.cr.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-chnl20_25_pb.cnf.cr.opb
IDLAUNCH: 25107
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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.169
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:        735752 kB
Buffers:         33252 kB
Cached:         243856 kB
SwapCached:        944 kB
Active:          52524 kB
Inactive:       226684 kB
HighTotal:      131008 kB
HighFree:        10780 kB
LowTotal:       903652 kB
LowFree:        724972 kB
SwapTotal:     2097136 kB
SwapFree:      2095208 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4992 kB
Slab:            13856 kB
Committed_AS:    71908 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 19:32:10 (client local time) WITH STATUS 0 IN 1200.45 SECONDS
stats: 25107 7 1200.45 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 960/2920	Time: 24.6982/86400
c Decision: 960/2920	Time: 25.6611/86400
c Decision: 960/2920	Time: 26.525/86400
c Decision: 960/2920	Time: 27.4538/86400
c Decision: 960/2920	Time: 28.4957/86400
c Decision: 960/2920	Time: 29.6775/86400
c Decision: 960/2920	Time: 30.8533/86400
c Decision: 960/2920	Time: 32.0071/86400
c Decision: 960/2920	Time: 33.058/86400
c Decision: 960/2920	Time: 34.2378/86400
c Decision: 960/2920	Time: 35.5976/86400
c Decision: 960/2920	Time: 36.7634/86400
c Decision: 960/2920	Time: 37.8622/86400
c Decision: 960/2920	Time: 39.1291/86400
c Decision: 960/2920	Time: 40.3769/86400
c Decision: 960/2920	Time: 41.6507/86400
c Decision: 960/2920	Time: 42.6295/86400
c Decision: 960/2920	Time: 43.6534/86400
c Decision: 960/2920	Time: 44.6562/86400
c Decision: 960/2920	Time: 45.784/86400
c Decision: 960/2920	Time: 46.9989/86400
c Decision: 960/2920	Time: 48.1427/86400
c Decision: 960/2920	Time: 49.3335/86400
c Decision: 960/2920	Time: 50.5403/86400
c Decision: 960/2920	Time: 51.8441/86400
c Decision: 960/2920	Time: 53.4699/86400
c Decision: 960/2920	Time: 54.7597/86400
c Decision: 960/2920	Time: 56.1295/86400
c Decision: 960/2920	Time: 57.5413/86400
c Decision: 960/2920	Time: 58.965/86400
c Decision: 960/2920	Time: 60.5488/86400
c Decision: 960/2920	Time: 62.0676/86400
c Decision: 960/2920	Time: 63.4274/86400
c Decision: 960/2920	Time: 64.7901/86400
c Decision: 960/2920	Time: 66.093/86400
c Decision: 960/2920	Time: 67.6407/86400
c Decision: 960/2920	Time: 69.0685/86400
c Decision: 960/2920	Time: 70.4813/86400
c Decision: 960/2920	Time: 71.9361/86400
c Decision: 960/2920	Time: 73.2589/86400
c Decision: 960/2920	Time: 74.7636/86400
c Decision: 960/2920	Time: 76.2094/86400
c Decision: 960/2920	Time: 77.6302/86400
c Decision: 960/2920	Time: 78.916/86400
c Decision: 960/2920	Time: 80.3938/86400
c Decision: 960/2920	Time: 82.0305/86400
c Decision: 960/2920	Time: 83.5143/86400
c Decision: 960/2920	Time: 85.0891/86400
c Decision: 960/2920	Time: 86.8098/86400
c Decision: 960/2920	Time: 88.2586/86400
c Decision: 960/2920	Time: 90.0313/86400
c Decision: 960/2920	Time: 91.4761/86400
c Decision: 960/2920	Time: 92.9979/86400
c Decision: 960/2920	Time: 94.4716/86400
c Decision: 960/2920	Time: 95.8794/86400
c Decision: 960/2920	Time: 97.6692/86400
c Decision: 960/2920	Time: 99.2789/86400
c Decision: 960/2920	Time: 100.823/86400
c Decision: 960/2920	Time: 102.491/86400
c Decision: 960/2920	Time: 104.035/86400
c Decision: 960/2920	Time: 105.894/86400
c Decision: 960/2920	Time: 107.385/86400
c Decision: 960/2920	Time: 108.947/86400
c Decision: 960/2920	Time: 110.619/86400
c Decision: 960/2920	Time: 112.285/86400
c Decision: 960/2920	Time: 114.247/86400
c Decision: 960/2920	Time: 115.826/86400
c Decision: 960/2920	Time: 117.452/86400
c Decision: 960/2920	Time: 119.032/86400
c Decision: 960/2920	Time: 120.808/86400
c Decision: 960/2920	Time: 122.692/86400
c Decision: 960/2920	Time: 124.35/86400
c Decision: 960/2920	Time: 125.915/86400
c Decision: 960/2920	Time: 127.593/86400
c Decision: 960/2920	Time: 129.245/86400
c Decision: 960/2920	Time: 131.299/86400
c Decision: 960/2920	Time: 132.871/86400
c Decision: 960/2920	Time: 134.461/86400
c Decision: 960/2920	Time: 136.164/86400
c Decision: 960/2920	Time: 137.979/86400
c Decision: 960/2920	Time: 139.976/86400
c Decision: 960/2920	Time: 141.69/86400
c Decision: 960/2920	Time: 143.533/86400
c Decision: 960/2920	Time: 145.225/86400
c Decision: 960/2920	Time: 146.947/86400
c Decision: 960/2920	Time: 148.918/86400
c Decision: 960/2920	Time: 150.779/86400
c Decision: 960/2920	Time: 152.501/86400
c Decision: 960/2920	Time: 154.211/86400
c Decision: 960/2920	Time: 155.908/86400
c Decision: 960/2920	Time: 157.982/86400
c Decision: 960/2920	Time: 159.783/86400
c Decision: 960/2920	Time: 161.626/86400
c Decision: 960/2920	Time: 163.386/86400
c Decision: 960/2920	Time: 165.285/86400
c Decision: 960/2920	Time: 167.493/86400
c Decision: 960/2920	Time: 169.447/86400
c Decision: 960/2920	Time: 171.437/86400
c Decision: 960/2920	Time: 173.292/86400
c Decision: 960/2920	Time: 175.223/86400
c Decision: 960/2920	Time: 177.493/86400
c Decision: 960/2920	Time: 179.278/86400
c Decision: 960/2920	Time: 181.135/86400
c Decision: 960/2920	Time: 183.06/86400
c Decision: 960/2920	Time: 184.957/86400
c Decision: 960/2920	Time: 187.187/86400
c Decision: 960/2920	Time: 189.154/86400
c Decision: 960/2920	Time: 191.113/86400
c Decision: 960/2920	Time: 192.955/86400
c Decision: 960/2920	Time: 194.702/86400
c Decision: 960/2920	Time: 197.182/86400
c Decision: 960/2920	Time: 199.066/86400
c Decision: 960/2920	Time: 200.934/86400
c Decision: 960/2920	Time: 202.789/86400
c Decision: 960/2920	Time: 204.654/86400
c Decision: 960/2920	Time: 206.991/86400
c Decision: 960/2920	Time: 208.878/86400
c Decision: 960/2920	Time: 210.753/86400
c Decision: 960/2920	Time: 212.651/86400
c Decision: 960/2920	Time: 214.536/86400
c Decision: 960/2920	Time: 216.799/86400
c Decision: 960/2920	Time: 218.589/86400
c Decision: 960/2920	Time: 220.54/86400
c Decision: 960/2920	Time: 222.5/86400
c Decision: 960/2920	Time: 224.38/86400
c Decision: 960/2920	Time: 226.818/86400
c Decision: 960/2920	Time: 228.7/86400
c Decision: 960/2920	Time: 230.643/86400
c Decision: 960/2920	Time: 232.547/86400
c Decision: 960/2920	Time: 234.524/86400
c Decision: 960/2920	Time: 236.769/86400
c Decision: 960/2920	Time: 238.763/86400
c Decision: 960/2920	Time: 240.738/86400
c Decision: 960/2920	Time: 242.899/86400
c Decision: 960/2920	Time: 244.763/86400
c Decision: 960/2920	Time: 247.148/86400
c Decision: 960/2920	Time: 249.045/86400
c Decision: 960/2920	Time: 250.906/86400
c Decision: 960/2920	Time: 252.814/86400
c Decision: 960/2920	Time: 254.749/86400
c Decision: 960/2920	Time: 257.053/86400
c Decision: 960/2920	Time: 259.069/86400
c Decision: 960/2920	Time: 260.954/86400
c Decision: 960/2920	Time: 262.818/86400
c Decision: 960/2920	Time: 264.69/86400
c Decision: 960/2920	Time: 267.14/86400
c Decision: 960/2920	Time: 269.159/86400
c Decision: 960/2920	Time: 271.212/86400
c Decision: 960/2920	Time: 273.033/86400
c Decision: 960/2920	Time: 274.971/86400
c Decision: 960/2920	Time: 277.235/86400
c Decision: 960/2920	Time: 279.343/86400
c Decision: 960/2920	Time: 281.311/86400
c Decision: 960/2920	Time: 283.223/86400
c Decision: 960/2920	Time: 285.12/86400
c Decision: 960/2920	Time: 287.502/86400
c Decision: 960/2920	Time: 289.642/86400
c Decision: 960/2920	Time: 291.636/86400
c Decision: 960/2920	Time: 293.761/86400
c Decision: 960/2920	Time: 295.465/86400
c Decision: 960/2920	Time: 297.935/86400
c Decision: 960/2920	Time: 299.96/86400
c Decision: 960/2920	Time: 301.921/86400
c Decision: 960/2920	Time: 303.831/86400
c Decision: 960/2920	Time: 305.795/86400
c Decision: 960/2920	Time: 308.209/86400
c Decision: 960/2920	Time: 310.231/86400
c Decision: 960/2920	Time: 312.293/86400
c Decision: 960/2920	Time: 314.484/86400
c Decision: 960/2920	Time: 316.639/86400
c Decision: 960/2920	Time: 319.326/86400
c Decision: 960/2920	Time: 321.37/86400
c Decision: 960/2920	Time: 323.536/86400
c Decision: 960/2920	Time: 325.576/86400
c Decision: 960/2920	Time: 327.703/86400
c Decision: 960/2920	Time: 330.124/86400
c Decision: 960/2920	Time: 332.157/86400
c Decision: 960/2920	Time: 334.132/86400
c Decision: 960/2920	Time: 336.222/86400
c Decision: 960/2920	Time: 338.267/86400
c Decision: 960/2920	Time: 340.792/86400
c Decision: 960/2920	Time: 342.793/86400
c Decision: 960/2920	Time: 344.743/86400
c Decision: 960/2920	Time: 346.949/86400
c Decision: 960/2920	Time: 348.938/86400
c Decision: 960/2920	Time: 351.523/86400
c Decision: 960/2920	Time: 353.538/86400
c Decision: 960/2920	Time: 355.579/86400
c Decision: 960/2920	Time: 357.69/86400
c Decision: 960/2920	Time: 359.818/86400
c Decision: 960/2920	Time: 362.352/86400
c Decision: 960/2920	Time: 364.427/86400
c Decision: 960/2920	Time: 366.573/86400
c Decision: 960/2920	Time: 368.746/86400
c Decision: 960/2920	Time: 370.681/86400
c Decision: 960/2920	Time: 373.033/86400
c Decision: 960/2920	Time: 375.059/86400
c Decision: 960/2920	Time: 377.197/86400
c Decision: 960/2920	Time: 379.254/86400
c Decision: 960/2920	Time: 381.221/86400
c Decision: 960/2920	Time: 383.703/86400
c Decision: 960/2920	Time: 385.771/86400
c Decision: 960/2920	Time: 387.824/86400
c Decision: 960/2920	Time: 389.876/86400
c Decision: 960/2920	Time: 391.911/86400
c Decision: 960/2920	Time: 394.406/86400
c Decision: 960/2920	Time: 396.458/86400
c Decision: 960/2920	Time: 398.51/86400
c Decision: 960/2920	Time: 400.752/86400
c Decision: 960/2920	Time: 402.845/86400
c Decision: 960/2920	Time: 405.504/86400
c Decision: 960/2920	Time: 407.565/86400
c Decision: 960/2920	Time: 409.638/86400
c Decision: 960/2920	Time: 411.88/86400
c Decision: 960/2920	Time: 414.052/86400
c Decision: 960/2920	Time: 416.71/86400
c Decision: 960/2920	Time: 418.837/86400
c Decision: 960/2920	Time: 421.104/86400
c Decision: 960/2920	Time: 423.348/86400
c Decision: 960/2920	Time: 425.612/86400
c Decision: 960/2920	Time: 428.377/86400
c Decision: 960/2920	Time: 430.571/86400
c Decision: 960/2920	Time: 432.737/86400
c Decision: 960/2920	Time: 434.92/86400
c Decision: 960/2920	Time: 437.217/86400
c Decision: 960/2920	Time: 439.964/86400
c Decision: 960/2920	Time: 442.055/86400
c Decision: 960/2920	Time: 444.309/86400
c Decision: 960/2920	Time: 446.537/86400
c Decision: 960/2920	Time: 448.815/86400
c Decision: 960/2920	Time: 451.505/86400
c Decision: 960/2920	Time: 453.567/86400
c Decision: 960/2920	Time: 455.792/86400
c Decision: 960/2920	Time: 458.121/86400
c Decision: 960/2920	Time: 460.314/86400
c Decision: 960/2920	Time: 463.187/86400
c Decision: 960/2920	Time: 465.411/86400
c Decision: 960/2920	Time: 467.684/86400
c Decision: 960/2920	Time: 469.982/86400
c Decision: 960/2920	Time: 472.209/86400
c Decision: 960/2920	Time: 475.195/86400
c Decision: 960/2920	Time: 477.612/86400
c Decision: 960/2920	Time: 479.756/86400
c Decision: 960/2920	Time: 482.055/86400
c Decision: 960/2920	Time: 484.412/86400
c Decision: 960/2920	Time: 487.324/86400
c Decision: 960/2920	Time: 489.89/86400
c Decision: 960/2920	Time: 492.315/86400
c Decision: 960/2920	Time: 494.699/86400
c Decision: 960/2920	Time: 497.142/86400
c Decision: 960/2920	Time: 500.144/86400
c Decision: 960/2920	Time: 502.695/86400
c Decision: 960/2920	Time: 505.107/86400
c Decision: 960/2920	Time: 507.575/86400
c Decision: 960/2920	Time: 509.953/86400
c Decision: 960/2920	Time: 512.947/86400
c Decision: 960/2920	Time: 515.466/86400
c Decision: 960/2920	Time: 517.918/86400
c Decision: 960/2920	Time: 520.364/86400
c Decision: 960/2920	Time: 522.87/86400
c Decision: 960/2920	Time: 525.828/86400
c Decision: 960/2920	Time: 528.174/86400
c Decision: 960/2920	Time: 530.576/86400
c Decision: 960/2920	Time: 533.035/86400
c Decision: 960/2920	Time: 535.46/86400
c Decision: 960/2920	Time: 538.517/86400
c Decision: 960/2920	Time: 540.862/86400
c Decision: 960/2920	Time: 543.231/86400
c Decision: 960/2920	Time: 545.529/86400
c Decision: 960/2920	Time: 547.981/86400
c Decision: 960/2920	Time: 550.972/86400
c Decision: 960/2920	Time: 553.483/86400
c Decision: 960/2920	Time: 555.696/86400
c Decision: 960/2920	Time: 557.989/86400
c Decision: 960/2920	Time: 560.35/86400
c Decision: 960/2920	Time: 563.255/86400
c Decision: 960/2920	Time: 565.525/86400
c Decision: 960/2920	Time: 567.982/86400
c Decision: 960/2920	Time: 570.34/86400
c Decision: 960/2920	Time: 572.581/86400
c Decision: 960/2920	Time: 575.563/86400
c Decision: 960/2920	Time: 577.773/86400
c Decision: 960/2920	Time: 580.057/86400
c Decision: 960/2920	Time: 582.395/86400
c Decision: 960/2920	Time: 584.879/86400
c Decision: 960/2920	Time: 587.743/86400
c Decision: 960/2920	Time: 590.11/86400
c Decision: 960/2920	Time: 592.438/86400
c Decision: 960/2920	Time: 595.073/86400
c Decision: 960/2920	Time: 597.664/86400
c Decision: 960/2920	Time: 600.62/86400
c Decision: 960/2920	Time: 603.05/86400
c Decision: 960/2920	Time: 605.382/86400
c Decision: 960/2920	Time: 607.879/86400
c Decision: 960/2920	Time: 610.516/86400
c Decision: 960/2920	Time: 613.662/86400
c Decision: 960/2920	Time: 616.193/86400
c Decision: 960/2920	Time: 618.695/86400
c Decision: 960/2920	Time: 621.418/86400
c Decision: 960/2920	Time: 624.104/86400
c Decision: 960/2920	Time: 627.247/86400
c Decision: 960/2920	Time: 629.665/86400
c Decision: 960/2920	Time: 632.07/86400
c Decision: 960/2920	Time: 634.528/86400
c Decision: 960/2920	Time: 637.078/86400
c Decision: 960/2920	Time: 640.19/86400
c Decision: 960/2920	Time: 642.863/86400
c Decision: 960/2920	Time: 645.371/86400
c Decision: 960/2920	Time: 647.758/86400
c Decision: 960/2920	Time: 650.272/86400
c Decision: 960/2920	Time: 653.356/86400
c Decision: 960/2920	Time: 656.195/86400
c Decision: 960/2920	Time: 658.557/86400
c Decision: 960/2920	Time: 661.111/86400
c Decision: 960/2920	Time: 663.568/86400
c Decision: 960/2920	Time: 666.864/86400
c Decision: 960/2920	Time: 669.358/86400
c Decision: 960/2920	Time: 671.965/86400
c Decision: 960/2920	Time: 674.382/86400
c Decision: 960/2920	Time: 676.719/86400
c Decision: 960/2920	Time: 679.922/86400
c Decision: 960/2920	Time: 682.483/86400
c Decision: 960/2920	Time: 684.897/86400
c Decision: 960/2920	Time: 687.279/86400
c Decision: 960/2920	Time: 689.622/86400
c Decision: 960/2920	Time: 692.592/86400
c Decision: 960/2920	Time: 695.115/86400
c Decision: 960/2920	Time: 697.666/86400
c Decision: 960/2920	Time: 700.1/86400
c Decision: 960/2920	Time: 702.736/86400
c Decision: 960/2920	Time: 705.908/86400
c Decision: 960/2920	Time: 708.372/86400
c Decision: 960/2920	Time: 710.823/86400
c Decision: 960/2920	Time: 713.127/86400
c Decision: 960/2920	Time: 715.504/86400
c Decision: 960/2920	Time: 718.583/86400
c Decision: 960/2920	Time: 721.097/86400
c Decision: 960/2920	Time: 723.608/86400
c Decision: 960/2920	Time: 726.319/86400
c Decision: 960/2920	Time: 728.765/86400
c Decision: 960/2920	Time: 731.941/86400
c Decision: 960/2920	Time: 734.163/86400
c Decision: 960/2920	Time: 736.649/86400
c Decision: 960/2920	Time: 738.864/86400
c Decision: 960/2920	Time: 741.332/86400
c Decision: 960/2920	Time: 744.523/86400
c Decision: 960/2920	Time: 746.851/86400
c Decision: 960/2920	Time: 749.374/86400
c Decision: 960/2920	Time: 751.816/86400
c Decision: 960/2920	Time: 754.389/86400
c Decision: 960/2920	Time: 757.574/86400
c Decision: 960/2920	Time: 760.066/86400
c Decision: 960/2920	Time: 762.54/86400
c Decision: 960/2920	Time: 765.075/86400
c Decision: 960/2920	Time: 767.735/86400
c Decision: 960/2920	Time: 770.715/86400
c Decision: 960/2920	Time: 773.243/86400
c Decision: 960/2920	Time: 775.781/86400
c Decision: 960/2920	Time: 778.317/86400
c Decision: 960/2920	Time: 781.082/86400
c Decision: 960/2920	Time: 784.157/86400
c Decision: 960/2920	Time: 786.749/86400
c Decision: 960/2920	Time: 789.347/86400
c Decision: 960/2920	Time: 791.844/86400
c Decision: 960/2920	Time: 794.327/86400
c Decision: 960/2920	Time: 797.592/86400
c Decision: 960/2920	Time: 800.154/86400
c Decision: 960/2920	Time: 802.673/86400
c Decision: 960/2920	Time: 804.824/86400
c Decision: 960/2920	Time: 806.831/86400
c Decision: 960/2920	Time: 809.456/86400
c Decision: 960/2920	Time: 811.326/86400
c Decision: 960/2920	Time: 813.622/86400
c Decision: 960/2920	Time: 815.789/86400
c Decision: 960/2920	Time: 817.704/86400
c Decision: 960/2920	Time: 820.088/86400
c Decision: 960/2920	Time: 822.333/86400
c Decision: 960/2920	Time: 824.245/86400
c Decision: 960/2920	Time: 826.182/86400
c Decision: 960/2920	Time: 828.266/86400
c Decision: 960/2920	Time: 830.865/86400
c Decision: 960/2920	Time: 833.136/86400
c Decision: 960/2920	Time: 835.372/86400
c Decision: 960/2920	Time: 837.623/86400
c Decision: 960/2920	Time: 839.788/86400
c Decision: 960/2920	Time: 842.269/86400
c Decision: 960/2920	Time: 844.508/86400
c Decision: 960/2920	Time: 846.996/86400
c Decision: 960/2920	Time: 849.074/86400
c Decision: 960/2920	Time: 851.27/86400
c Decision: 960/2920	Time: 853.81/86400
c Decision: 960/2920	Time: 856.021/86400
c Decision: 960/2920	Time: 858.347/86400
c Decision: 960/2920	Time: 860.701/86400
c Decision: 960/2920	Time: 862.857/86400
c Decision: 960/2920	Time: 865.697/86400
c Decision: 960/2920	Time: 868.213/86400
c Decision: 960/2920	Time: 870.565/86400
c Decision: 960/2920	Time: 872.878/86400
c Decision: 960/2920	Time: 875.194/86400
c Decision: 960/2920	Time: 877.954/86400
c Decision: 960/2920	Time: 880.256/86400
c Decision: 960/2920	Time: 882.562/86400
c Decision: 960/2920	Time: 884.792/86400
c Decision: 960/2920	Time: 887.105/86400
c Decision: 960/2920	Time: 889.892/86400
c Decision: 960/2920	Time: 892.2/86400
c Decision: 960/2920	Time: 894.311/86400
c Decision: 960/2920	Time: 896.661/86400
c Decision: 960/2920	Time: 899.164/86400
c Decision: 960/2920	Time: 901.955/86400
c Decision: 960/2920	Time: 904.199/86400
c Decision: 960/2920	Time: 907.222/86400
c Decision: 960/2920	Time: 908.893/86400
c Decision: 960/2920	Time: 910.559/86400
c Decision: 960/2920	Time: 912.848/86400
c Decision: 960/2920	Time: 914.745/86400
c Decision: 960/2920	Time: 916.73/86400
c Decision: 960/2920	Time: 918.502/86400
c Decision: 960/2920	Time: 920.344/86400
c Decision: 960/2920	Time: 922.297/86400
c Decision: 960/2920	Time: 924.149/86400
c Decision: 960/2920	Time: 926.057/86400
c Decision: 960/2920	Time: 927.87/86400
c Decision: 960/2920	Time: 929.668/86400
c Decision: 960/2920	Time: 931.856/86400
c Decision: 960/2920	Time: 933.695/86400
c Decision: 960/2920	Time: 935.579/86400
c Decision: 960/2920	Time: 937.74/86400
c Decision: 960/2920	Time: 939.731/86400
c Decision: 960/2920	Time: 941.816/86400
c Decision: 960/2920	Time: 943.768/86400
c Decision: 960/2920	Time: 945.721/86400
c Decision: 960/2920	Time: 947.545/86400
c Decision: 960/2920	Time: 949.536/86400
c Decision: 960/2920	Time: 951.765/86400
c Decision: 960/2920	Time: 953.826/86400
c Decision: 960/2920	Time: 955.71/86400
c Decision: 960/2920	Time: 957.777/86400
c Decision: 960/2920	Time: 959.644/86400
c Decision: 960/2920	Time: 962.075/86400
c Decision: 960/2920	Time: 964.164/86400
c Decision: 960/2920	Time: 966.313/86400
c Decision: 960/2920	Time: 968.612/86400
c Decision: 960/2920	Time: 970.546/86400
c Decision: 960/2920	Time: 973.111/86400
c Decision: 960/2920	Time: 975.24/86400
c Decision: 960/2920	Time: 977.294/86400
c Decision: 960/2920	Time: 979.638/86400
c Decision: 960/2920	Time: 981.742/86400
c Decision: 960/2920	Time: 984.193/86400
c Decision: 960/2920	Time: 986.252/86400
c Decision: 960/2920	Time: 988.34/86400
c Decision: 960/2920	Time: 990.591/86400
c Decision: 960/2920	Time: 992.741/86400
c Decision: 960/2920	Time: 995.329/86400
c Decision: 960/2920	Time: 997.438/86400
c Decision: 960/2920	Time: 999.568/86400
c Decision: 960/2920	Time: 1001.63/86400
c Decision: 960/2920	Time: 1003.74/86400
c Decision: 960/2920	Time: 1006.51/86400
c Decision: 960/2920	Time: 1008.73/86400
c Decision: 960/2920	Time: 1010.98/86400
c Decision: 960/2920	Time: 1013.2/86400
c Decision: 960/2920	Time: 1015.45/86400
c Decision: 960/2920	Time: 1018.17/86400
c Decision: 960/2920	Time: 1020.37/86400
c Decision: 960/2920	Time: 1022.57/86400
c Decision: 960/2920	Time: 1024.86/86400
c Decision: 960/2920	Time: 1027.11/86400
c Decision: 960/2920	Time: 1029.86/86400
c Decision: 960/2920	Time: 1032.11/86400
c Decision: 960/2920	Time: 1034.38/86400
c Decision: 960/2920	Time: 1036.64/86400
c Decision: 960/2920	Time: 1038.82/86400
c Decision: 960/2920	Time: 1041.83/86400
c Decision: 960/2920	Time: 1045.52/86400
c Decision: 960/2920	Time: 1047.06/86400
c Decision: 960/2920	Time: 1048.58/86400
c Decision: 960/2920	Time: 1050.42/86400
c Decision: 960/2920	Time: 1052.2/86400
c Decision: 960/2920	Time: 1054.09/86400
c Decision: 960/2920	Time: 1055.86/86400
c Decision: 960/2920	Time: 1057.48/86400
c Decision: 960/2920	Time: 1059.16/86400
c Decision: 960/2920	Time: 1061.04/86400
c Decision: 960/2920	Time: 1062.49/86400
c Decision: 960/2920	Time: 1064.24/86400
c Decision: 960/2920	Time: 1066.06/86400
c Decision: 960/2920	Time: 1067.93/86400
c Decision: 960/2920	Time: 1070/86400
c Decision: 960/2920	Time: 1071.85/86400
c Decision: 960/2920	Time: 1073.74/86400
c Decision: 960/2920	Time: 1075.74/86400
c Decision: 960/2920	Time: 1077.63/86400
c Decision: 960/2920	Time: 1080/86400
c Decision: 960/2920	Time: 1081.88/86400
c Decision: 960/2920	Time: 1083.86/86400
c Decision: 960/2920	Time: 1085.73/86400
c Decision: 960/2920	Time: 1087.66/86400
c Decision: 960/2920	Time: 1089.94/86400
c Decision: 960/2920	Time: 1092.1/86400
c Decision: 960/2920	Time: 1094.18/86400
c Decision: 960/2920	Time: 1096.3/86400
c Decision: 960/2920	Time: 1098.4/86400
c Decision: 960/2920	Time: 1100.71/86400
c Decision: 960/2920	Time: 1102.86/86400
c Decision: 960/2920	Time: 1104.89/86400
c Decision: 960/2920	Time: 1106.98/86400
c Decision: 960/2920	Time: 1109.01/86400
c Decision: 960/2920	Time: 1111.43/86400
c Decision: 960/2920	Time: 1113.64/86400
c Decision: 960/2920	Time: 1115.75/86400
c Decision: 960/2920	Time: 1117.79/86400
c Decision: 960/2920	Time: 1119.86/86400
c Decision: 960/2920	Time: 1122.4/86400
c Decision: 960/2920	Time: 1124.61/86400
c Decision: 960/2920	Time: 1126.75/86400
c Decision: 960/2920	Time: 1128.88/86400
c Decision: 960/2920	Time: 1131.11/86400
c Decision: 960/2920	Time: 1133.73/86400
c Decision: 960/2920	Time: 1135.92/86400
c Decision: 960/2920	Time: 1138.37/86400
c Decision: 960/2920	Time: 1140.54/86400
c Decision: 960/2920	Time: 1142.7/86400
c Decision: 960/2920	Time: 1145.34/86400
c Decision: 960/2920	Time: 1147.57/86400
c Decision: 960/2920	Time: 1150/86400
c Decision: 960/2920	Time: 1152.4/86400
c Decision: 960/2920	Time: 1154.68/86400
c Decision: 960/2920	Time: 1157.68/86400
c Decision: 960/2920	Time: 1160.11/86400
c Decision: 960/2920	Time: 1162.35/86400
c Decision: 960/2920	Time: 1164.68/86400
c Decision: 960/2920	Time: 1167.09/86400
c Decision: 960/2920	Time: 1170.03/86400
c Decision: 960/2920	Time: 1172.3/86400
c Decision: 960/2920	Time: 1174.69/86400
c Decision: 960/2920	Time: 1177.17/86400
c Decision: 960/2920	Time: 1179.29/86400
c Decision: 960/2920	Time: 1182.1/86400
c Decision: 960/2920	Time: 1184.42/86400
c Decision: 960/2920	Time: 1186.8/86400
c Decision: 960/2920	Time: 1189.02/86400
c Decision: 960/2920	Time: 1191.39/86400
c Decision: 960/2920	Time: 1194.12/86400
c Decision: 960/2920	Time: 1196.42/86400
c Decision: 960/2920	Time: 1198.62/86400s UNKNOWN
#### 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.92 0.83 0.66 2/54 15130
Raw data (stat): 15130 (runsolver) R 15129 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 964535887 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0012 s]
Raw data (loadavg): 0.93 0.83 0.67 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 1315 0 0 0 994 4 0 0 25 0 1 0 964535887 7143424 1215 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1744 1215 301 301 0 1443 0
vsize: 6976
[startup+20.002 s]
Raw data (loadavg): 0.94 0.84 0.67 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 1874 0 0 0 1992 7 0 0 25 0 1 0 964535887 11632640 1774 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2840 1774 301 301 0 2539 0
vsize: 11360
[startup+30.0025 s]
Raw data (loadavg): 0.95 0.84 0.67 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 2931 0 0 0 2988 10 0 0 25 0 1 0 964535887 13115392 2734 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3202 2734 301 301 0 2901 0
vsize: 12808
[startup+40.0028 s]
Raw data (loadavg): 0.96 0.85 0.68 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 3634 0 0 0 3985 13 0 0 25 0 1 0 964535887 22708224 3437 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5544 3437 301 301 0 5243 0
vsize: 22176
[startup+50.0026 s]
Raw data (loadavg): 0.96 0.85 0.68 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 3912 0 0 0 4982 15 0 0 25 0 1 0 964535887 23183360 3715 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5660 3715 301 301 0 5359 0
vsize: 22640
[startup+60.0041 s]
Raw data (loadavg): 0.97 0.86 0.68 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 4284 0 0 0 5980 18 0 0 25 0 1 0 964535887 24633344 3894 4294967295 134512640 135730672 3221224576 3221223072 134747536 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6014 3894 301 301 0 5713 0
vsize: 24056
[startup+70.0043 s]
Raw data (loadavg): 0.97 0.86 0.68 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 4485 0 0 0 6978 20 0 0 25 0 1 0 964535887 25460736 4095 4294967295 134512640 135730672 3221224576 3221223200 134748208 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6216 4095 301 301 0 5915 0
vsize: 24864
[startup+80.0041 s]
Raw data (loadavg): 0.98 0.86 0.69 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 5207 0 0 0 7976 22 0 0 25 0 1 0 964535887 26329088 4817 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6428 4817 301 301 0 6127 0
vsize: 25712
[startup+90.0044 s]
Raw data (loadavg): 0.98 0.87 0.69 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 5840 0 0 0 8973 25 0 0 25 0 1 0 964535887 27082752 5450 4294967295 134512640 135730672 3221224576 3221223200 134783062 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6612 5450 301 301 0 6311 0
vsize: 26448
[startup+100.004 s]
Raw data (loadavg): 0.98 0.87 0.69 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 6205 0 0 0 9971 27 0 0 25 0 1 0 964535887 27660288 5815 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6753 5815 301 301 0 6452 0
vsize: 27012
[startup+110.005 s]
Raw data (loadavg): 0.98 0.88 0.70 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 6641 0 0 0 10968 30 0 0 25 0 1 0 964535887 28135424 6251 4294967295 134512640 135730672 3221224576 3221223120 134740282 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6869 6251 301 301 0 6568 0
vsize: 27476
[startup+120.006 s]
Raw data (loadavg): 0.99 0.88 0.70 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 6924 0 0 0 11966 32 0 0 25 0 1 0 964535887 28626944 6534 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6989 6534 301 301 0 6688 0
vsize: 27956
[startup+130.005 s]
Raw data (loadavg): 0.99 0.88 0.70 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 7621 0 0 0 12964 34 0 0 25 0 1 0 964535887 47796224 6846 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11669 6846 301 301 0 11368 0
vsize: 46676
[startup+140.005 s]
Raw data (loadavg): 0.99 0.89 0.71 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 7887 0 0 0 13963 36 0 0 25 0 1 0 964535887 48287744 7112 4294967295 134512640 135730672 3221224576 3221223200 134783315 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11789 7112 301 301 0 11488 0
vsize: 47156
[startup+150.005 s]
Raw data (loadavg): 0.99 0.89 0.71 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 8376 0 0 0 14961 38 0 0 25 0 1 0 964535887 49106944 7601 4294967295 134512640 135730672 3221224576 3221223120 134740265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11989 7601 301 301 0 11688 0
vsize: 47956
[startup+160.006 s]
Raw data (loadavg): 0.99 0.89 0.71 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 8496 0 0 0 15959 39 0 0 25 0 1 0 964535887 49598464 7721 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12109 7721 301 301 0 11808 0
vsize: 48436
[startup+170.006 s]
Raw data (loadavg): 0.99 0.90 0.71 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 8918 0 0 0 16957 41 0 0 25 0 1 0 964535887 50417664 8143 4294967295 134512640 135730672 3221224576 3221223072 134747627 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12309 8143 301 301 0 12008 0
vsize: 49236
[startup+180.006 s]
Raw data (loadavg): 0.99 0.90 0.72 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 9400 0 0 0 17955 43 0 0 25 0 1 0 964535887 51236864 8625 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12509 8625 301 301 0 12208 0
vsize: 50036
[startup+190.007 s]
Raw data (loadavg): 0.99 0.90 0.72 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 9625 0 0 0 18955 44 0 0 25 0 1 0 964535887 51564544 8850 4294967295 134512640 135730672 3221224576 3221223232 134734776 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12589 8850 301 301 0 12288 0
vsize: 50356
[startup+200.006 s]
Raw data (loadavg): 0.99 0.90 0.72 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 9842 0 0 0 19954 45 0 0 25 0 1 0 964535887 52056064 9067 4294967295 134512640 135730672 3221224576 3221222944 134762565 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12709 9067 301 301 0 12408 0
vsize: 50836
[startup+210.008 s]
Raw data (loadavg): 0.99 0.91 0.73 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 10100 0 0 0 20953 47 0 0 25 0 1 0 964535887 52383744 9325 4294967295 134512640 135730672 3221224576 3221223120 134740406 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12789 9325 301 301 0 12488 0
vsize: 51156
[startup+220.008 s]
Raw data (loadavg): 0.99 0.91 0.73 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 10220 0 0 0 21952 48 0 0 25 0 1 0 964535887 52711424 9445 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12869 9445 301 301 0 12568 0
vsize: 51476
[startup+230.008 s]
Raw data (loadavg): 0.99 0.91 0.73 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 10486 0 0 0 22951 49 0 0 25 0 1 0 964535887 53202944 9711 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12989 9711 301 301 0 12688 0
vsize: 51956
[startup+240.008 s]
Raw data (loadavg): 0.99 0.91 0.73 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 10554 0 0 0 23950 50 0 0 25 0 1 0 964535887 53366784 9779 4294967295 134512640 135730672 3221224576 3221222756 135281172 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13029 9779 301 301 0 12728 0
vsize: 52116
[startup+250.009 s]
Raw data (loadavg): 0.99 0.92 0.73 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 10624 0 0 0 24950 51 0 0 25 0 1 0 964535887 53530624 9849 4294967295 134512640 135730672 3221224576 3221222896 134732736 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13069 9849 301 301 0 12768 0
vsize: 52276
[startup+260.009 s]
Raw data (loadavg): 0.99 0.92 0.74 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 10735 0 0 0 25949 52 0 0 25 0 1 0 964535887 53694464 9960 4294967295 134512640 135730672 3221224576 3221223120 134740440 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13109 9960 301 301 0 12808 0
vsize: 52436
[startup+270.01 s]
Raw data (loadavg): 0.99 0.92 0.74 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 10794 0 0 0 26948 53 0 0 25 0 1 0 964535887 53858304 10019 4294967295 134512640 135730672 3221224576 3221223072 134747714 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13149 10019 301 301 0 12848 0
vsize: 52596
[startup+280.009 s]
Raw data (loadavg): 0.99 0.92 0.74 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 10840 0 0 0 27946 55 0 0 25 0 1 0 964535887 54022144 10065 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13189 10065 301 301 0 12888 0
vsize: 52756
[startup+290.01 s]
Raw data (loadavg): 0.99 0.92 0.74 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 10892 0 0 0 28945 56 0 0 25 0 1 0 964535887 54022144 10117 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13189 10117 301 301 0 12888 0
vsize: 52756
[startup+300.011 s]
Raw data (loadavg): 0.99 0.93 0.74 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 11192 0 0 0 29944 58 0 0 25 0 1 0 964535887 54185984 10417 4294967295 134512640 135730672 3221224576 3221223088 134746193 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13229 10417 301 301 0 12928 0
vsize: 52916
[startup+310.011 s]
Raw data (loadavg): 0.99 0.93 0.75 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 11397 0 0 0 30943 59 0 0 25 0 1 0 964535887 54382592 10622 4294967295 134512640 135730672 3221224576 3221223088 134746474 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13277 10622 301 301 0 12976 0
vsize: 53108
[startup+320.012 s]
Raw data (loadavg): 0.99 0.93 0.75 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 12329 0 0 0 31941 61 0 0 25 0 1 0 964535887 57692160 10785 4294967295 134512640 135730672 3221224576 3221223072 134747878 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14085 10785 301 301 0 13784 0
vsize: 56340
[startup+330.012 s]
Raw data (loadavg): 0.99 0.93 0.75 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 12767 0 0 0 32939 63 0 0 25 0 1 0 964535887 57856000 11223 4294967295 134512640 135730672 3221224576 3221223200 134783076 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14125 11223 301 301 0 13824 0
vsize: 56500
[startup+340.013 s]
Raw data (loadavg): 0.99 0.93 0.75 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 12820 0 0 0 33939 63 0 0 25 0 1 0 964535887 57856000 11276 4294967295 134512640 135730672 3221224576 3221223088 134746501 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14125 11276 301 301 0 13824 0
vsize: 56500
[startup+350.012 s]
Raw data (loadavg): 0.99 0.94 0.75 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 12863 0 0 0 34938 64 0 0 25 0 1 0 964535887 58019840 11319 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14165 11319 301 301 0 13864 0
vsize: 56660
[startup+360.014 s]
Raw data (loadavg): 0.99 0.94 0.76 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 12937 0 0 0 35938 65 0 0 25 0 1 0 964535887 58216448 11393 4294967295 134512640 135730672 3221224576 3221223072 134747878 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14213 11393 301 301 0 13912 0
vsize: 56852
[startup+370.014 s]
Raw data (loadavg): 0.99 0.94 0.76 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 13007 0 0 0 36937 66 0 0 25 0 1 0 964535887 58380288 11463 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14253 11463 301 301 0 13952 0
vsize: 57012
[startup+380.014 s]
Raw data (loadavg): 0.99 0.94 0.76 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 13038 0 0 0 37937 66 0 0 25 0 1 0 964535887 58576896 11494 4294967295 134512640 135730672 3221224576 3221222896 134732625 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14301 11494 301 301 0 14000 0
vsize: 57204
[startup+390.014 s]
Raw data (loadavg): 0.99 0.94 0.76 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 13082 0 0 0 38935 68 0 0 25 0 1 0 964535887 58576896 11538 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14301 11538 301 301 0 14000 0
vsize: 57204
[startup+400.015 s]
Raw data (loadavg): 0.99 0.94 0.76 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 13148 0 0 0 39935 69 0 0 25 0 1 0 964535887 58970112 11604 4294967295 134512640 135730672 3221224576 3221222944 134762568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14397 11604 301 301 0 14096 0
vsize: 57588
[startup+410.015 s]
Raw data (loadavg): 0.99 0.94 0.77 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 13214 0 0 0 40934 69 0 0 25 0 1 0 964535887 59166720 11670 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14445 11670 301 301 0 14144 0
vsize: 57780
[startup+420.016 s]
Raw data (loadavg): 0.99 0.95 0.77 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 13276 0 0 0 41933 71 0 0 25 0 1 0 964535887 59363328 11732 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14493 11732 301 301 0 14192 0
vsize: 57972
[startup+430.016 s]
Raw data (loadavg): 0.99 0.95 0.77 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 13521 0 0 0 42931 73 0 0 25 0 1 0 964535887 59559936 11977 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14541 11977 301 301 0 14240 0
vsize: 58164
[startup+440.017 s]
Raw data (loadavg): 0.99 0.95 0.77 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 13658 0 0 0 43931 74 0 0 25 0 1 0 964535887 59756544 12114 4294967295 134512640 135730672 3221224576 3221223200 134783244 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14589 12114 301 301 0 14288 0
vsize: 58356
[startup+450.017 s]
Raw data (loadavg): 0.99 0.95 0.77 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 13900 0 0 0 44930 74 0 0 25 0 1 0 964535887 60149760 12356 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14685 12356 301 301 0 14384 0
vsize: 58740
[startup+460.018 s]
Raw data (loadavg): 0.99 0.95 0.78 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 14241 0 0 0 45928 76 0 0 25 0 1 0 964535887 60542976 12697 4294967295 134512640 135730672 3221224576 3221223088 134746486 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14781 12697 301 301 0 14480 0
vsize: 59124
[startup+470.018 s]
Raw data (loadavg): 0.99 0.95 0.78 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 14558 0 0 0 46927 77 0 0 25 0 1 0 964535887 61329408 13014 4294967295 134512640 135730672 3221224576 3221223088 134746536 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14973 13014 301 301 0 14672 0
vsize: 59892
[startup+480.019 s]
Raw data (loadavg): 0.99 0.95 0.78 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 14983 0 0 0 47926 79 0 0 25 0 1 0 964535887 62115840 13439 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15165 13439 301 301 0 14864 0
vsize: 60660
[startup+490.019 s]
Raw data (loadavg): 0.99 0.95 0.78 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 15429 0 0 0 48924 81 0 0 25 0 1 0 964535887 62705664 13885 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15309 13885 301 301 0 15008 0
vsize: 61236
[startup+500.02 s]
Raw data (loadavg): 0.99 0.95 0.78 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 15590 0 0 0 49923 82 0 0 25 0 1 0 964535887 63295488 14046 4294967295 134512640 135730672 3221224576 3221223200 134783311 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15453 14046 301 301 0 15152 0
vsize: 61812
[startup+510.021 s]
Raw data (loadavg): 0.99 0.95 0.79 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 15709 0 0 0 50922 83 0 0 25 0 1 0 964535887 63885312 14165 4294967295 134512640 135730672 3221224576 3221223088 134746474 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15597 14165 301 301 0 15296 0
vsize: 62388
[startup+520.022 s]
Raw data (loadavg): 0.99 0.96 0.79 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 15870 0 0 0 51921 85 0 0 25 0 1 0 964535887 64081920 14326 4294967295 134512640 135730672 3221224576 3221223088 134746501 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15645 14326 301 301 0 15344 0
vsize: 62580
[startup+530.022 s]
Raw data (loadavg): 0.99 0.96 0.79 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 16150 0 0 0 52919 86 0 0 25 0 1 0 964535887 98226176 14606 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23981 14606 301 301 0 23680 0
vsize: 95924
[startup+540.023 s]
Raw data (loadavg): 0.99 0.96 0.79 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 16272 0 0 0 53919 87 0 0 25 0 1 0 964535887 98619392 14728 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24077 14728 301 301 0 23776 0
vsize: 96308
[startup+550.024 s]
Raw data (loadavg): 0.99 0.96 0.79 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 16348 0 0 0 54918 88 0 0 25 0 1 0 964535887 98816000 14804 4294967295 134512640 135730672 3221224576 3221223088 134746481 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24125 14804 301 301 0 23824 0
vsize: 96500
[startup+560.024 s]
Raw data (loadavg): 0.99 0.96 0.79 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 16429 0 0 0 55917 89 0 0 25 0 1 0 964535887 99209216 14885 4294967295 134512640 135730672 3221224576 3221223088 134746168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24221 14885 301 301 0 23920 0
vsize: 96884
[startup+570.025 s]
Raw data (loadavg): 0.99 0.96 0.80 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 16475 0 0 0 56917 90 0 0 25 0 1 0 964535887 99405824 14931 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24269 14931 301 301 0 23968 0
vsize: 97076
[startup+580.025 s]
Raw data (loadavg): 0.99 0.96 0.80 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 16538 0 0 0 57916 91 0 0 25 0 1 0 964535887 99602432 14994 4294967295 134512640 135730672 3221224576 3221223088 134746536 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24317 14994 301 301 0 24016 0
vsize: 97268
[startup+590.026 s]
Raw data (loadavg): 0.99 0.96 0.80 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 16586 0 0 0 58916 92 0 0 25 0 1 0 964535887 99799040 15042 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24365 15042 301 301 0 24064 0
vsize: 97460
[startup+600.031 s]
Raw data (loadavg): 0.99 0.96 0.80 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 16642 0 0 0 59916 92 0 0 25 0 1 0 964535887 99995648 15098 4294967295 134512640 135730672 3221224576 3221223088 134746211 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24413 15098 301 301 0 24112 0
vsize: 97652
[startup+610.032 s]
Raw data (loadavg): 0.99 0.96 0.80 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 16761 0 0 0 60915 93 0 0 25 0 1 0 964535887 100585472 15217 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24557 15217 301 301 0 24256 0
vsize: 98228
[startup+620.031 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 16948 0 0 0 61914 95 0 0 25 0 1 0 964535887 100978688 15404 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24653 15404 301 301 0 24352 0
vsize: 98612
[startup+630.032 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 17292 0 0 0 62913 96 0 0 25 0 1 0 964535887 101175296 15748 4294967295 134512640 135730672 3221224576 3221223232 134748664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24701 15748 301 301 0 24400 0
vsize: 98804
[startup+640.032 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 17511 0 0 0 63912 97 0 0 25 0 1 0 964535887 101371904 15967 4294967295 134512640 135730672 3221224576 3221223200 134783328 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24749 15967 301 301 0 24448 0
vsize: 98996
[startup+650.032 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 17592 0 0 0 64911 97 0 0 25 0 1 0 964535887 101765120 16048 4294967295 134512640 135730672 3221224576 3221223088 134746520 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24845 16048 301 301 0 24544 0
vsize: 99380
[startup+660.033 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 17777 0 0 0 65911 98 0 0 25 0 1 0 964535887 101961728 16233 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24893 16233 301 301 0 24592 0
vsize: 99572
[startup+670.034 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 17817 0 0 0 66910 99 0 0 25 0 1 0 964535887 102158336 16273 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24941 16273 301 301 0 24640 0
vsize: 99764
[startup+680.034 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 17869 0 0 0 67910 100 0 0 25 0 1 0 964535887 102158336 16325 4294967295 134512640 135730672 3221224576 3221223072 134747842 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24941 16325 301 301 0 24640 0
vsize: 99764
[startup+690.035 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 17944 0 0 0 68909 100 0 0 25 0 1 0 964535887 102551552 16400 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25037 16400 301 301 0 24736 0
vsize: 100148
[startup+700.034 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 17980 0 0 0 69909 101 0 0 25 0 1 0 964535887 102551552 16436 4294967295 134512640 135730672 3221224576 3221223088 134746488 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25037 16436 301 301 0 24736 0
vsize: 100148
[startup+710.035 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 18005 0 0 0 70908 102 0 0 25 0 1 0 964535887 102551552 16461 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25037 16461 301 301 0 24736 0
vsize: 100148
[startup+720.035 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 18033 0 0 0 71908 102 0 0 25 0 1 0 964535887 102748160 16489 4294967295 134512640 135730672 3221224576 3221223168 134763776 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25085 16489 301 301 0 24784 0
vsize: 100340
[startup+730.035 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 18068 0 0 0 72907 103 0 0 25 0 1 0 964535887 102748160 16524 4294967295 134512640 135730672 3221224576 3221223072 134747856 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25085 16524 301 301 0 24784 0
vsize: 100340
[startup+740.035 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 18109 0 0 0 73907 104 0 0 25 0 1 0 964535887 102944768 16565 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25133 16565 301 301 0 24832 0
vsize: 100532
[startup+750.036 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 18149 0 0 0 74906 104 0 0 25 0 1 0 964535887 102944768 16605 4294967295 134512640 135730672 3221224576 3221223120 134740301 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25133 16605 301 301 0 24832 0
vsize: 100532
[startup+760.037 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 18168 0 0 0 75906 105 0 0 25 0 1 0 964535887 102944768 16624 4294967295 134512640 135730672 3221224576 3221223088 134746526 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25133 16624 301 301 0 24832 0
vsize: 100532
[startup+770.037 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 19764 0 0 0 76902 109 0 0 25 0 1 0 964535887 109432832 16683 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26717 16683 301 301 0 26416 0
vsize: 106868
[startup+780.038 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 19800 0 0 0 77902 110 0 0 25 0 1 0 964535887 109629440 16719 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26765 16719 301 301 0 26464 0
vsize: 107060
[startup+790.038 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 19831 0 0 0 78901 111 0 0 25 0 1 0 964535887 109629440 16750 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26765 16750 301 301 0 26464 0
vsize: 107060
[startup+800.038 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 19875 0 0 0 79901 111 0 0 25 0 1 0 964535887 109826048 16794 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26813 16794 301 301 0 26512 0
vsize: 107252
[startup+810.039 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 19922 0 0 0 80900 112 0 0 25 0 1 0 964535887 109826048 16841 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26813 16841 301 301 0 26512 0
vsize: 107252
[startup+820.04 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 19942 0 0 0 81899 113 0 0 25 0 1 0 964535887 109826048 16861 4294967295 134512640 135730672 3221224576 3221223200 134783315 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26813 16861 301 301 0 26512 0
vsize: 107252
[startup+830.039 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 19962 0 0 0 82898 114 0 0 25 0 1 0 964535887 109826048 16881 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26813 16881 301 301 0 26512 0
vsize: 107252
[startup+840.04 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 19979 0 0 0 83898 115 0 0 25 0 1 0 964535887 109826048 16898 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26813 16898 301 301 0 26512 0
vsize: 107252
[startup+850.04 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 19997 0 0 0 84897 116 0 0 25 0 1 0 964535887 109826048 16916 4294967295 134512640 135730672 3221224576 3221223120 134740298 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26813 16916 301 301 0 26512 0
vsize: 107252
[startup+860.041 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20015 0 0 0 85896 117 0 0 25 0 1 0 964535887 109826048 16934 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26813 16934 301 301 0 26512 0
vsize: 107252
[startup+870.041 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20033 0 0 0 86895 118 0 0 25 0 1 0 964535887 109826048 16952 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26813 16952 301 301 0 26512 0
vsize: 107252
[startup+880.041 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20050 0 0 0 87895 119 0 0 25 0 1 0 964535887 109826048 16969 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26813 16969 301 301 0 26512 0
vsize: 107252
[startup+890.043 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20066 0 0 0 88894 120 0 0 25 0 1 0 964535887 109826048 16985 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26813 16985 301 301 0 26512 0
vsize: 107252
[startup+900.044 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20085 0 0 0 89893 121 0 0 25 0 1 0 964535887 109826048 17004 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26813 17004 301 301 0 26512 0
vsize: 107252
[startup+910.044 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20150 0 0 0 90892 122 0 0 25 0 1 0 964535887 110157824 17069 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26894 17069 301 301 0 26593 0
vsize: 107576
[startup+920.045 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20175 0 0 0 91892 123 0 0 25 0 1 0 964535887 110157824 17094 4294967295 134512640 135730672 3221224576 3221223184 134744768 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26894 17094 301 301 0 26593 0
vsize: 107576
[startup+930.045 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20204 0 0 0 92891 124 0 0 25 0 1 0 964535887 110157824 17123 4294967295 134512640 135730672 3221224576 3221223120 134740242 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26894 17123 301 301 0 26593 0
vsize: 107576
[startup+940.046 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20240 0 0 0 93890 125 0 0 25 0 1 0 964535887 110268416 17159 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26921 17159 301 301 0 26620 0
vsize: 107684
[startup+950.045 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20267 0 0 0 94889 126 0 0 25 0 1 0 964535887 110268416 17186 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26921 17186 301 301 0 26620 0
vsize: 107684
[startup+960.047 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20298 0 0 0 95889 126 0 0 25 0 1 0 964535887 110268416 17217 4294967295 134512640 135730672 3221224576 3221222912 134730113 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26921 17217 301 301 0 26620 0
vsize: 107684
[startup+970.047 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20327 0 0 0 96888 127 0 0 25 0 1 0 964535887 110379008 17246 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26948 17246 301 301 0 26647 0
vsize: 107792
[startup+980.047 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20354 0 0 0 97888 128 0 0 25 0 1 0 964535887 110379008 17273 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26948 17273 301 301 0 26647 0
vsize: 107792
[startup+990.048 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20384 0 0 0 98887 129 0 0 25 0 1 0 964535887 110379008 17303 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26948 17303 301 301 0 26647 0
vsize: 107792
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20413 0 0 0 99886 129 0 0 25 0 1 0 964535887 110497792 17332 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26977 17332 301 301 0 26676 0
vsize: 107908
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20433 0 0 0 100886 130 0 0 25 0 1 0 964535887 110497792 17352 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26977 17352 301 301 0 26676 0
vsize: 107908
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20465 0 0 0 101885 131 0 0 25 0 1 0 964535887 110497792 17384 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26977 17384 301 301 0 26676 0
vsize: 107908
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20494 0 0 0 102884 132 0 0 25 0 1 0 964535887 110612480 17413 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27005 17413 301 301 0 26704 0
vsize: 108020
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20518 0 0 0 103884 133 0 0 25 0 1 0 964535887 110612480 17437 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27005 17437 301 301 0 26704 0
vsize: 108020
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20747 0 0 0 104882 135 0 0 25 0 1 0 964535887 111538176 17666 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27231 17666 301 301 0 26930 0
vsize: 108924
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20775 0 0 0 105882 135 0 0 25 0 1 0 964535887 111538176 17694 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27231 17694 301 301 0 26930 0
vsize: 108924
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20800 0 0 0 106881 136 0 0 25 0 1 0 964535887 111538176 17719 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27231 17719 301 301 0 26930 0
vsize: 108924
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20827 0 0 0 107880 137 0 0 25 0 1 0 964535887 111538176 17746 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27231 17746 301 301 0 26930 0
vsize: 108924
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20858 0 0 0 108880 138 0 0 25 0 1 0 964535887 111652864 17777 4294967295 134512640 135730672 3221224576 3221223072 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27259 17777 301 301 0 26958 0
vsize: 109036
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20887 0 0 0 109879 139 0 0 25 0 1 0 964535887 111652864 17806 4294967295 134512640 135730672 3221224576 3221223088 134746520 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27259 17806 301 301 0 26958 0
vsize: 109036
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20913 0 0 0 110878 140 0 0 25 0 1 0 964535887 111652864 17832 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27259 17832 301 301 0 26958 0
vsize: 109036
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20939 0 0 0 111877 141 0 0 25 0 1 0 964535887 111771648 17858 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27288 17858 301 301 0 26987 0
vsize: 109152
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20963 0 0 0 112877 141 0 0 25 0 1 0 964535887 111771648 17882 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27288 17882 301 301 0 26987 0
vsize: 109152
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20987 0 0 0 113876 142 0 0 25 0 1 0 964535887 111771648 17906 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27288 17906 301 301 0 26987 0
vsize: 109152
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 21012 0 0 0 114875 143 0 0 25 0 1 0 964535887 111771648 17931 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27288 17931 301 301 0 26987 0
vsize: 109152
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 21031 0 0 0 115875 144 0 0 25 0 1 0 964535887 111771648 17950 4294967295 134512640 135730672 3221224576 3221223088 134746175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27288 17950 301 301 0 26987 0
vsize: 109152
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 21061 0 0 0 116874 145 0 0 25 0 1 0 964535887 111882240 17980 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27315 17980 301 301 0 27014 0
vsize: 109260
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 21101 0 0 0 117874 145 0 0 25 0 1 0 964535887 112005120 18020 4294967295 134512640 135730672 3221224576 3221223072 134747629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27345 18020 301 301 0 27044 0
vsize: 109380
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 21137 0 0 0 118873 146 0 0 25 0 1 0 964535887 112005120 18056 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27345 18056 301 301 0 27044 0
vsize: 109380
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 15130
Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 21178 0 0 0 119873 147 0 0 25 0 1 0 964535887 112128000 18097 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27375 18097 301 301 0 27074 0
vsize: 109500
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.3 s]
Raw data (loadavg): 0.99 0.97 0.87 1/54 15130
Raw data (stat): 15130 (pb2sat-v2) Z 15129 21152 21151 0 -1 12 21180 0 0 0 119894 150 0 0 25 0 1 0 964535887 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.3
CPU time (s): 1200.45
CPU user time (s): 1198.94
CPU system time (s): 1.50477
CPU usage (%): 100.012
Max. virtual memory (Kb): 109500
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####