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-chnl30_35_pb.cnf.cr.opb
MD5SUM	b1c5adb5438ceaf1c654cfedb79b695e
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	36
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.06099
Number of variables	2100
Total number of constraints	130
Number of constraints which are clauses	70
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	30
Maximum length of a constraint	35
Trace number 41894

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-15 19:24:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25110 boxname=wulflinc2 idbench=12 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b1c5adb5438ceaf1c654cfedb79b695e  /oldhome/oroussel/tmp/wulflinc2/normalized-chnl30_35_pb.cnf.cr.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-chnl30_35_pb.cnf.cr.opb
IDLAUNCH: 25110
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        864724 kB
Buffers:         33372 kB
Cached:         111440 kB
SwapCached:       4448 kB
Active:          59984 kB
Inactive:        89924 kB
HighTotal:      131008 kB
HighFree:        31556 kB
LowTotal:       903652 kB
LowFree:        833168 kB
SwapTotal:     2097136 kB
SwapFree:      2091696 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            14320 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 19:44:37 (client local time) WITH STATUS 0 IN 1200.44 SECONDS
stats: 25110 7 1200.44 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 2040/6180	Time: 38.7201/86400
c Decision: 2040/6180	Time: 40.2769/86400
c Decision: 2040/6180	Time: 41.5187/86400
c Decision: 2040/6180	Time: 42.9535/86400
c Decision: 2040/6180	Time: 44.3993/86400
c Decision: 2040/6180	Time: 46.102/86400
c Decision: 2040/6180	Time: 47.6748/86400
c Decision: 2040/6180	Time: 49.3455/86400
c Decision: 2040/6180	Time: 50.8203/86400
c Decision: 2040/6180	Time: 52.35/86400
c Decision: 2040/6180	Time: 54.2088/86400
c Decision: 2040/6180	Time: 55.9965/86400
c Decision: 2040/6180	Time: 57.6882/86400
c Decision: 2040/6180	Time: 59.342/86400
c Decision: 2040/6180	Time: 61.0397/86400
c Decision: 2040/6180	Time: 63.1544/86400
c Decision: 2040/6180	Time: 64.8501/86400
c Decision: 2040/6180	Time: 66.6399/86400
c Decision: 2040/6180	Time: 68.3416/86400
c Decision: 2040/6180	Time: 70.1343/86400
c Decision: 2040/6180	Time: 72.164/86400
c Decision: 2040/6180	Time: 73.9888/86400
c Decision: 2040/6180	Time: 75.6045/86400
c Decision: 2040/6180	Time: 77.3772/86400
c Decision: 2040/6180	Time: 79.089/86400
c Decision: 2040/6180	Time: 81.1127/86400
c Decision: 2040/6180	Time: 83.0014/86400
c Decision: 2040/6180	Time: 84.9061/86400
c Decision: 2040/6180	Time: 86.5988/86400
c Decision: 2040/6180	Time: 88.3046/86400
c Decision: 2040/6180	Time: 90.5112/86400
c Decision: 2040/6180	Time: 92.313/86400
c Decision: 2040/6180	Time: 94.1967/86400
c Decision: 2040/6180	Time: 96.2364/86400
c Decision: 2040/6180	Time: 98.2361/86400
c Decision: 2040/6180	Time: 100.463/86400
c Decision: 2040/6180	Time: 102.402/86400
c Decision: 2040/6180	Time: 104.232/86400
c Decision: 2040/6180	Time: 106.111/86400
c Decision: 2040/6180	Time: 108.116/86400
c Decision: 2040/6180	Time: 110.525/86400
c Decision: 2040/6180	Time: 112.496/86400
c Decision: 2040/6180	Time: 114.505/86400
c Decision: 2040/6180	Time: 116.425/86400
c Decision: 2040/6180	Time: 118.451/86400
c Decision: 2040/6180	Time: 120.914/86400
c Decision: 2040/6180	Time: 123.11/86400
c Decision: 2040/6180	Time: 125.158/86400
c Decision: 2040/6180	Time: 127.299/86400
c Decision: 2040/6180	Time: 129.396/86400
c Decision: 2040/6180	Time: 131.984/86400
c Decision: 2040/6180	Time: 134.15/86400
c Decision: 2040/6180	Time: 136.475/86400
c Decision: 2040/6180	Time: 138.655/86400
c Decision: 2040/6180	Time: 140.958/86400
c Decision: 2040/6180	Time: 143.623/86400
c Decision: 2040/6180	Time: 145.876/86400
c Decision: 2040/6180	Time: 148.218/86400
c Decision: 2040/6180	Time: 150.512/86400
c Decision: 2040/6180	Time: 152.717/86400
c Decision: 2040/6180	Time: 155.557/86400
c Decision: 2040/6180	Time: 157.813/86400
c Decision: 2040/6180	Time: 160.099/86400
c Decision: 2040/6180	Time: 162.406/86400
c Decision: 2040/6180	Time: 164.712/86400
c Decision: 2040/6180	Time: 167.421/86400
c Decision: 2040/6180	Time: 169.615/86400
c Decision: 2040/6180	Time: 171.901/86400
c Decision: 2040/6180	Time: 174.146/86400
c Decision: 2040/6180	Time: 176.455/86400
c Decision: 2040/6180	Time: 179.175/86400
c Decision: 2040/6180	Time: 181.407/86400
c Decision: 2040/6180	Time: 183.62/86400
c Decision: 2040/6180	Time: 185.786/86400
c Decision: 2040/6180	Time: 188.182/86400
c Decision: 2040/6180	Time: 191.242/86400
c Decision: 2040/6180	Time: 193.656/86400
c Decision: 2040/6180	Time: 195.939/86400
c Decision: 2040/6180	Time: 198.323/86400
c Decision: 2040/6180	Time: 200.656/86400
c Decision: 2040/6180	Time: 203.426/86400
c Decision: 2040/6180	Time: 205.681/86400
c Decision: 2040/6180	Time: 207.899/86400
c Decision: 2040/6180	Time: 209.984/86400
c Decision: 2040/6180	Time: 212.173/86400
c Decision: 2040/6180	Time: 214.823/86400
c Decision: 2040/6180	Time: 216.946/86400
c Decision: 2040/6180	Time: 219.159/86400
c Decision: 2040/6180	Time: 221.494/86400
c Decision: 2040/6180	Time: 223.9/86400
c Decision: 2040/6180	Time: 226.788/86400
c Decision: 2040/6180	Time: 228.98/86400
c Decision: 2040/6180	Time: 231.318/86400
c Decision: 2040/6180	Time: 233.585/86400
c Decision: 2040/6180	Time: 235.812/86400
c Decision: 2040/6180	Time: 238.552/86400
c Decision: 2040/6180	Time: 240.859/86400
c Decision: 2040/6180	Time: 243.222/86400
c Decision: 2040/6180	Time: 245.65/86400
c Decision: 2040/6180	Time: 248.067/86400
c Decision: 2040/6180	Time: 251.215/86400
c Decision: 2040/6180	Time: 253.745/86400
c Decision: 2040/6180	Time: 255.901/86400
c Decision: 2040/6180	Time: 258.452/86400
c Decision: 2040/6180	Time: 260.873/86400
c Decision: 2040/6180	Time: 263.882/86400
c Decision: 2040/6180	Time: 266.479/86400
c Decision: 2040/6180	Time: 268.797/86400
c Decision: 2040/6180	Time: 271.479/86400
c Decision: 2040/6180	Time: 274.003/86400
c Decision: 2040/6180	Time: 277.15/86400
c Decision: 2040/6180	Time: 279.801/86400
c Decision: 2040/6180	Time: 282.454/86400
c Decision: 2040/6180	Time: 284.914/86400
c Decision: 2040/6180	Time: 287.447/86400
c Decision: 2040/6180	Time: 290.626/86400
c Decision: 2040/6180	Time: 293.087/86400
c Decision: 2040/6180	Time: 295.69/86400
c Decision: 2040/6180	Time: 298.132/86400
c Decision: 2040/6180	Time: 300.54/86400
c Decision: 2040/6180	Time: 303.651/86400
c Decision: 2040/6180	Time: 306.316/86400
c Decision: 2040/6180	Time: 308.926/86400
c Decision: 2040/6180	Time: 311.524/86400
c Decision: 2040/6180	Time: 314.136/86400
c Decision: 2040/6180	Time: 317.242/86400
c Decision: 2040/6180	Time: 319.834/86400
c Decision: 2040/6180	Time: 322.566/86400
c Decision: 2040/6180	Time: 325.172/86400
c Decision: 2040/6180	Time: 327.788/86400
c Decision: 2040/6180	Time: 331.317/86400
c Decision: 2040/6180	Time: 333.954/86400
c Decision: 2040/6180	Time: 336.61/86400
c Decision: 2040/6180	Time: 339.328/86400
c Decision: 2040/6180	Time: 342.059/86400
c Decision: 2040/6180	Time: 345.58/86400
c Decision: 2040/6180	Time: 348.288/86400
c Decision: 2040/6180	Time: 351.066/86400
c Decision: 2040/6180	Time: 353.562/86400
c Decision: 2040/6180	Time: 356.099/86400
c Decision: 2040/6180	Time: 359.336/86400
c Decision: 2040/6180	Time: 361.914/86400
c Decision: 2040/6180	Time: 364.627/86400
c Decision: 2040/6180	Time: 367.344/86400
c Decision: 2040/6180	Time: 369.996/86400
c Decision: 2040/6180	Time: 373.309/86400
c Decision: 2040/6180	Time: 376.103/86400
c Decision: 2040/6180	Time: 378.626/86400
c Decision: 2040/6180	Time: 381.213/86400
c Decision: 2040/6180	Time: 383.793/86400
c Decision: 2040/6180	Time: 387.086/86400
c Decision: 2040/6180	Time: 389.618/86400
c Decision: 2040/6180	Time: 392.227/86400
c Decision: 2040/6180	Time: 394.967/86400
c Decision: 2040/6180	Time: 397.539/86400
c Decision: 2040/6180	Time: 400.909/86400
c Decision: 2040/6180	Time: 403.494/86400
c Decision: 2040/6180	Time: 406.163/86400
c Decision: 2040/6180	Time: 408.815/86400
c Decision: 2040/6180	Time: 411.506/86400
c Decision: 2040/6180	Time: 414.729/86400
c Decision: 2040/6180	Time: 417.393/86400
c Decision: 2040/6180	Time: 419.981/86400
c Decision: 2040/6180	Time: 422.581/86400
c Decision: 2040/6180	Time: 425.302/86400
c Decision: 2040/6180	Time: 428.788/86400
c Decision: 2040/6180	Time: 431.472/86400
c Decision: 2040/6180	Time: 434.145/86400
c Decision: 2040/6180	Time: 436.908/86400
c Decision: 2040/6180	Time: 439.525/86400
c Decision: 2040/6180	Time: 443.145/86400
c Decision: 2040/6180	Time: 445.766/86400
c Decision: 2040/6180	Time: 448.469/86400
c Decision: 2040/6180	Time: 451.237/86400
c Decision: 2040/6180	Time: 453.856/86400
c Decision: 2040/6180	Time: 457.269/86400
c Decision: 2040/6180	Time: 460.039/86400
c Decision: 2040/6180	Time: 462.894/86400
c Decision: 2040/6180	Time: 465.695/86400
c Decision: 2040/6180	Time: 468.453/86400
c Decision: 2040/6180	Time: 472.029/86400
c Decision: 2040/6180	Time: 474.686/86400
c Decision: 2040/6180	Time: 477.491/86400
c Decision: 2040/6180	Time: 479.678/86400
c Decision: 2040/6180	Time: 481.54/86400
c Decision: 2040/6180	Time: 484.321/86400
c Decision: 2040/6180	Time: 486.298/86400
c Decision: 2040/6180	Time: 488.412/86400
c Decision: 2040/6180	Time: 490.498/86400
c Decision: 2040/6180	Time: 492.469/86400
c Decision: 2040/6180	Time: 494.616/86400
c Decision: 2040/6180	Time: 496.515/86400
c Decision: 2040/6180	Time: 498.461/86400
c Decision: 2040/6180	Time: 500.493/86400
c Decision: 2040/6180	Time: 502.414/86400
c Decision: 2040/6180	Time: 504.709/86400
c Decision: 2040/6180	Time: 506.66/86400
c Decision: 2040/6180	Time: 508.784/86400
c Decision: 2040/6180	Time: 512.338/86400
c Decision: 2040/6180	Time: 513.883/86400
c Decision: 2040/6180	Time: 515.358/86400
c Decision: 2040/6180	Time: 517.119/86400
c Decision: 2040/6180	Time: 518.588/86400
c Decision: 2040/6180	Time: 520.09/86400
c Decision: 2040/6180	Time: 521.777/86400
c Decision: 2040/6180	Time: 523.724/86400
c Decision: 2040/6180	Time: 525.134/86400
c Decision: 2040/6180	Time: 526.321/86400
c Decision: 2040/6180	Time: 528.043/86400
c Decision: 2040/6180	Time: 530.771/86400
c Decision: 2040/6180	Time: 532.301/86400
c Decision: 2040/6180	Time: 534.34/86400
c Decision: 2040/6180	Time: 535.811/86400
c Decision: 2040/6180	Time: 537.42/86400
c Decision: 2040/6180	Time: 538.977/86400
c Decision: 2040/6180	Time: 541.526/86400
c Decision: 2040/6180	Time: 543.031/86400
c Decision: 2040/6180	Time: 545.184/86400
c Decision: 2040/6180	Time: 546.648/86400
c Decision: 2040/6180	Time: 547.942/86400
c Decision: 2040/6180	Time: 549.562/86400
c Decision: 2040/6180	Time: 552.137/86400
c Decision: 2040/6180	Time: 553.765/86400
c Decision: 2040/6180	Time: 555.729/86400
c Decision: 2040/6180	Time: 557.306/86400
c Decision: 2040/6180	Time: 559.09/86400
c Decision: 2040/6180	Time: 560.711/86400
c Decision: 2040/6180	Time: 562.506/86400
c Decision: 2040/6180	Time: 563.947/86400
c Decision: 2040/6180	Time: 565.52/86400
c Decision: 2040/6180	Time: 566.913/86400
c Decision: 2040/6180	Time: 568.634/86400
c Decision: 2040/6180	Time: 570.292/86400
c Decision: 2040/6180	Time: 571.858/86400
c Decision: 2040/6180	Time: 574.296/86400
c Decision: 2040/6180	Time: 576.022/86400
c Decision: 2040/6180	Time: 577.433/86400
c Decision: 2040/6180	Time: 579.099/86400
c Decision: 2040/6180	Time: 580.849/86400
c Decision: 2040/6180	Time: 583.128/86400
c Decision: 2040/6180	Time: 584.799/86400
c Decision: 2040/6180	Time: 587.221/86400
c Decision: 2040/6180	Time: 589.056/86400
c Decision: 2040/6180	Time: 592.198/86400
c Decision: 2040/6180	Time: 593.901/86400
c Decision: 2040/6180	Time: 596.691/86400
c Decision: 2040/6180	Time: 598.39/86400
c Decision: 2040/6180	Time: 601.226/86400
c Decision: 2040/6180	Time: 602.878/86400
c Decision: 2040/6180	Time: 604.193/86400
c Decision: 2040/6180	Time: 606.19/86400
c Decision: 2040/6180	Time: 608.127/86400
c Decision: 2040/6180	Time: 609.852/86400
c Decision: 2040/6180	Time: 611.605/86400
c Decision: 2040/6180	Time: 613.428/86400
c Decision: 2040/6180	Time: 615.453/86400
c Decision: 2040/6180	Time: 617.303/86400
c Decision: 2040/6180	Time: 619.249/86400
c Decision: 2040/6180	Time: 621.132/86400
c Decision: 2040/6180	Time: 622.811/86400
c Decision: 2040/6180	Time: 625.021/86400
c Decision: 2040/6180	Time: 626.913/86400
c Decision: 2040/6180	Time: 628.844/86400
c Decision: 2040/6180	Time: 630.9/86400
c Decision: 2040/6180	Time: 632.807/86400
c Decision: 2040/6180	Time: 634.997/86400
c Decision: 2040/6180	Time: 637.064/86400
c Decision: 2040/6180	Time: 639.12/86400
c Decision: 2040/6180	Time: 641.251/86400
c Decision: 2040/6180	Time: 643.297/86400
c Decision: 2040/6180	Time: 645.601/86400
c Decision: 2040/6180	Time: 647.651/86400
c Decision: 2040/6180	Time: 649.625/86400
c Decision: 2040/6180	Time: 651.6/86400
c Decision: 2040/6180	Time: 653.545/86400
c Decision: 2040/6180	Time: 656.037/86400
c Decision: 2040/6180	Time: 658.093/86400
c Decision: 2040/6180	Time: 660.108/86400
c Decision: 2040/6180	Time: 662.108/86400
c Decision: 2040/6180	Time: 664.133/86400
c Decision: 2040/6180	Time: 666.506/86400
c Decision: 2040/6180	Time: 668.66/86400
c Decision: 2040/6180	Time: 670.638/86400
c Decision: 2040/6180	Time: 672.692/86400
c Decision: 2040/6180	Time: 674.807/86400
c Decision: 2040/6180	Time: 677.265/86400
c Decision: 2040/6180	Time: 679.351/86400
c Decision: 2040/6180	Time: 681.471/86400
c Decision: 2040/6180	Time: 683.553/86400
c Decision: 2040/6180	Time: 685.657/86400
c Decision: 2040/6180	Time: 688.309/86400
c Decision: 2040/6180	Time: 690.482/86400
c Decision: 2040/6180	Time: 692.586/86400
c Decision: 2040/6180	Time: 694.799/86400
c Decision: 2040/6180	Time: 697.035/86400
c Decision: 2040/6180	Time: 699.728/86400
c Decision: 2040/6180	Time: 701.943/86400
c Decision: 2040/6180	Time: 704.215/86400
c Decision: 2040/6180	Time: 706.578/86400
c Decision: 2040/6180	Time: 708.951/86400
c Decision: 2040/6180	Time: 711.671/86400
c Decision: 2040/6180	Time: 714.032/86400
c Decision: 2040/6180	Time: 716.46/86400
c Decision: 2040/6180	Time: 718.902/86400
c Decision: 2040/6180	Time: 721.125/86400
c Decision: 2040/6180	Time: 723.899/86400
c Decision: 2040/6180	Time: 726.182/86400
c Decision: 2040/6180	Time: 728.495/86400
c Decision: 2040/6180	Time: 730.857/86400
c Decision: 2040/6180	Time: 734.831/86400
c Decision: 2040/6180	Time: 736.79/86400
c Decision: 2040/6180	Time: 739.552/86400
c Decision: 2040/6180	Time: 740.936/86400
c Decision: 2040/6180	Time: 742.411/86400
c Decision: 2040/6180	Time: 743.854/86400
c Decision: 2040/6180	Time: 745.241/86400
c Decision: 2040/6180	Time: 746.909/86400
c Decision: 2040/6180	Time: 748.361/86400
c Decision: 2040/6180	Time: 749.884/86400
c Decision: 2040/6180	Time: 751.187/86400
c Decision: 2040/6180	Time: 753.018/86400
c Decision: 2040/6180	Time: 755.419/86400
c Decision: 2040/6180	Time: 757.083/86400
c Decision: 2040/6180	Time: 758.269/86400
c Decision: 2040/6180	Time: 759.863/86400
c Decision: 2040/6180	Time: 761.599/86400
c Decision: 2040/6180	Time: 762.956/86400
c Decision: 2040/6180	Time: 764.742/86400
c Decision: 2040/6180	Time: 766.388/86400
c Decision: 2040/6180	Time: 769.43/86400
c Decision: 2040/6180	Time: 770.839/86400
c Decision: 2040/6180	Time: 772.888/86400
c Decision: 2040/6180	Time: 774.353/86400
c Decision: 2040/6180	Time: 775.801/86400
c Decision: 2040/6180	Time: 777.322/86400
c Decision: 2040/6180	Time: 778.603/86400
c Decision: 2040/6180	Time: 781.125/86400
c Decision: 2040/6180	Time: 782.711/86400
c Decision: 2040/6180	Time: 784.039/86400
c Decision: 2040/6180	Time: 785.76/86400
c Decision: 2040/6180	Time: 788.242/86400
c Decision: 2040/6180	Time: 789.812/86400
c Decision: 2040/6180	Time: 792.011/86400
c Decision: 2040/6180	Time: 793.608/86400
c Decision: 2040/6180	Time: 794.95/86400
c Decision: 2040/6180	Time: 796.51/86400
c Decision: 2040/6180	Time: 798.275/86400
c Decision: 2040/6180	Time: 799.501/86400
c Decision: 2040/6180	Time: 802.365/86400
c Decision: 2040/6180	Time: 803.966/86400
c Decision: 2040/6180	Time: 806.425/86400
c Decision: 2040/6180	Time: 808.187/86400
c Decision: 2040/6180	Time: 810.507/86400
c Decision: 2040/6180	Time: 812.165/86400
c Decision: 2040/6180	Time: 813.672/86400
c Decision: 2040/6180	Time: 815.322/86400
c Decision: 2040/6180	Time: 817.535/86400
c Decision: 2040/6180	Time: 819.077/86400
c Decision: 2040/6180	Time: 821.441/86400
c Decision: 2040/6180	Time: 823.129/86400
c Decision: 2040/6180	Time: 824.631/86400
c Decision: 2040/6180	Time: 826.429/86400
c Decision: 2040/6180	Time: 829.178/86400
c Decision: 2040/6180	Time: 830.765/86400
c Decision: 2040/6180	Time: 833.707/86400
c Decision: 2040/6180	Time: 835.547/86400
c Decision: 2040/6180	Time: 837.437/86400
c Decision: 2040/6180	Time: 840.928/86400
c Decision: 2040/6180	Time: 842.697/86400
c Decision: 2040/6180	Time: 844.847/86400
c Decision: 2040/6180	Time: 846.787/86400
c Decision: 2040/6180	Time: 849.514/86400
c Decision: 2040/6180	Time: 851.252/86400
c Decision: 2040/6180	Time: 853.707/86400
c Decision: 2040/6180	Time: 855.573/86400
c Decision: 2040/6180	Time: 858.199/86400
c Decision: 2040/6180	Time: 860.054/86400
c Decision: 2040/6180	Time: 862.685/86400
c Decision: 2040/6180	Time: 864.476/86400
c Decision: 2040/6180	Time: 867.518/86400
c Decision: 2040/6180	Time: 869.46/86400
c Decision: 2040/6180	Time: 872.69/86400
c Decision: 2040/6180	Time: 874.445/86400
c Decision: 2040/6180	Time: 876.139/86400
c Decision: 2040/6180	Time: 877.604/86400
c Decision: 2040/6180	Time: 879.327/86400
c Decision: 2040/6180	Time: 881.067/86400
c Decision: 2040/6180	Time: 882.981/86400
c Decision: 2040/6180	Time: 884.957/86400
c Decision: 2040/6180	Time: 887.551/86400
c Decision: 2040/6180	Time: 889.535/86400
c Decision: 2040/6180	Time: 891.229/86400
c Decision: 2040/6180	Time: 893.258/86400
c Decision: 2040/6180	Time: 895.343/86400
c Decision: 2040/6180	Time: 897.509/86400
c Decision: 2040/6180	Time: 899.595/86400
c Decision: 2040/6180	Time: 901.287/86400
c Decision: 2040/6180	Time: 903.214/86400
c Decision: 2040/6180	Time: 905.207/86400
c Decision: 2040/6180	Time: 908.237/86400
c Decision: 2040/6180	Time: 910.414/86400
c Decision: 2040/6180	Time: 912.481/86400
c Decision: 2040/6180	Time: 914.637/86400
c Decision: 2040/6180	Time: 916.932/86400
c Decision: 2040/6180	Time: 919.078/86400
c Decision: 2040/6180	Time: 924.489/86400
c Decision: 2040/6180	Time: 926.352/86400
c Decision: 2040/6180	Time: 928.088/86400
c Decision: 2040/6180	Time: 930.595/86400
c Decision: 2040/6180	Time: 932.516/86400
c Decision: 2040/6180	Time: 935.529/86400
c Decision: 2040/6180	Time: 937.447/86400
c Decision: 2040/6180	Time: 940.743/86400
c Decision: 2040/6180	Time: 942.694/86400
c Decision: 2040/6180	Time: 945.722/86400
c Decision: 2040/6180	Time: 947.92/86400
c Decision: 2040/6180	Time: 949.728/86400
c Decision: 2040/6180	Time: 951.794/86400
c Decision: 2040/6180	Time: 953.84/86400
c Decision: 2040/6180	Time: 957.162/86400
c Decision: 2040/6180	Time: 959.277/86400
c Decision: 2040/6180	Time: 962.994/86400
c Decision: 2040/6180	Time: 964.912/86400
c Decision: 2040/6180	Time: 968.351/86400
c Decision: 2040/6180	Time: 970.228/86400
c Decision: 2040/6180	Time: 973.58/86400
c Decision: 2040/6180	Time: 975.577/86400
c Decision: 2040/6180	Time: 979.284/86400
c Decision: 2040/6180	Time: 981.117/86400
c Decision: 2040/6180	Time: 982.889/86400
c Decision: 2040/6180	Time: 986.805/86400
c Decision: 2040/6180	Time: 988.811/86400
c Decision: 2040/6180	Time: 990.578/86400
c Decision: 2040/6180	Time: 992.555/86400
c Decision: 2040/6180	Time: 995.502/86400
c Decision: 2040/6180	Time: 997.486/86400
c Decision: 2040/6180	Time: 1000.9/86400
c Decision: 2040/6180	Time: 1002.94/86400
c Decision: 2040/6180	Time: 1004.71/86400
c Decision: 2040/6180	Time: 1006.64/86400
c Decision: 2040/6180	Time: 1009.88/86400
c Decision: 2040/6180	Time: 1011.98/86400
c Decision: 2040/6180	Time: 1013.85/86400
c Decision: 2040/6180	Time: 1017.22/86400
c Decision: 2040/6180	Time: 1019.27/86400
c Decision: 2040/6180	Time: 1022.38/86400
c Decision: 2040/6180	Time: 1024.46/86400
c Decision: 2040/6180	Time: 1027.87/86400
c Decision: 2040/6180	Time: 1030.04/86400
c Decision: 2040/6180	Time: 1033.19/86400
c Decision: 2040/6180	Time: 1035.77/86400
c Decision: 2040/6180	Time: 1038.03/86400
c Decision: 2040/6180	Time: 1040.16/86400
c Decision: 2040/6180	Time: 1042.46/86400
c Decision: 2040/6180	Time: 1044.61/86400
c Decision: 2040/6180	Time: 1047.14/86400
c Decision: 2040/6180	Time: 1049.46/86400
c Decision: 2040/6180	Time: 1051.69/86400
c Decision: 2040/6180	Time: 1054.01/86400
c Decision: 2040/6180	Time: 1056.39/86400
c Decision: 2040/6180	Time: 1058.94/86400
c Decision: 2040/6180	Time: 1061.29/86400
c Decision: 2040/6180	Time: 1063.62/86400
c Decision: 2040/6180	Time: 1065.96/86400
c Decision: 2040/6180	Time: 1068.32/86400
c Decision: 2040/6180	Time: 1070.92/86400
c Decision: 2040/6180	Time: 1073.31/86400
c Decision: 2040/6180	Time: 1075.65/86400
c Decision: 2040/6180	Time: 1078.24/86400
c Decision: 2040/6180	Time: 1080.53/86400
c Decision: 2040/6180	Time: 1083.23/86400
c Decision: 2040/6180	Time: 1085.53/86400
c Decision: 2040/6180	Time: 1087.84/86400
c Decision: 2040/6180	Time: 1090.17/86400
c Decision: 2040/6180	Time: 1092.5/86400
c Decision: 2040/6180	Time: 1095.33/86400
c Decision: 2040/6180	Time: 1097.64/86400
c Decision: 2040/6180	Time: 1099.86/86400
c Decision: 2040/6180	Time: 1102.08/86400
c Decision: 2040/6180	Time: 1104.31/86400
c Decision: 2040/6180	Time: 1106.95/86400
c Decision: 2040/6180	Time: 1109.26/86400
c Decision: 2040/6180	Time: 1111.47/86400
c Decision: 2040/6180	Time: 1113.7/86400
c Decision: 2040/6180	Time: 1115.87/86400
c Decision: 2040/6180	Time: 1118.57/86400
c Decision: 2040/6180	Time: 1120.67/86400
c Decision: 2040/6180	Time: 1122.94/86400
c Decision: 2040/6180	Time: 1125.17/86400
c Decision: 2040/6180	Time: 1127.38/86400
c Decision: 2040/6180	Time: 1130.2/86400
c Decision: 2040/6180	Time: 1132.49/86400
c Decision: 2040/6180	Time: 1134.74/86400
c Decision: 2040/6180	Time: 1137/86400
c Decision: 2040/6180	Time: 1139.29/86400
c Decision: 2040/6180	Time: 1141.9/86400
c Decision: 2040/6180	Time: 1144.24/86400
c Decision: 2040/6180	Time: 1146.6/86400
c Decision: 2040/6180	Time: 1148.87/86400
c Decision: 2040/6180	Time: 1151.19/86400
c Decision: 2040/6180	Time: 1154.04/86400
c Decision: 2040/6180	Time: 1156.45/86400
c Decision: 2040/6180	Time: 1158.8/86400
c Decision: 2040/6180	Time: 1161.18/86400
c Decision: 2040/6180	Time: 1163.58/86400
c Decision: 2040/6180	Time: 1166.55/86400
c Decision: 2040/6180	Time: 1168.94/86400
c Decision: 2040/6180	Time: 1171.41/86400
c Decision: 2040/6180	Time: 1173.84/86400
c Decision: 2040/6180	Time: 1176.34/86400
c Decision: 2040/6180	Time: 1179.39/86400
c Decision: 2040/6180	Time: 1181.7/86400
c Decision: 2040/6180	Time: 1184.13/86400
c Decision: 2040/6180	Time: 1186.78/86400
c Decision: 2040/6180	Time: 1189.06/86400
c Decision: 2040/6180	Time: 1192.32/86400
c Decision: 2040/6180	Time: 1194.94/86400
c Decision: 2040/6180	Time: 1197.41/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.91 0.95 0.75 2/54 28332
Raw data (stat): 28332 (runsolver) R 28331 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 964624592 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10 s]
Raw data (loadavg): 0.93 0.95 0.75 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 1740 0 0 0 994 4 0 0 25 0 1 0 964624592 7933952 1465 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1937 1465 301 301 0 1636 0
vsize: 7748
[startup+20.0002 s]
Raw data (loadavg): 0.94 0.96 0.75 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 2260 0 0 0 1992 6 0 0 25 0 1 0 964624592 12402688 1985 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3028 1985 301 301 0 2727 0
vsize: 12112
[startup+30.0004 s]
Raw data (loadavg): 0.95 0.96 0.75 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 2816 0 0 0 2990 8 0 0 25 0 1 0 964624592 12550144 2541 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3064 2541 301 301 0 2763 0
vsize: 12256
[startup+40.0001 s]
Raw data (loadavg): 0.95 0.96 0.76 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 3372 0 0 0 3988 10 0 0 25 0 1 0 964624592 21086208 3097 4294967295 134512640 135730672 3221224576 3221222912 135284059 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5148 3097 301 301 0 4847 0
vsize: 20592
[startup+50.0015 s]
Raw data (loadavg): 0.96 0.96 0.76 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 4566 0 0 0 4984 14 0 0 25 0 1 0 964624592 23056384 4291 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5629 4291 301 301 0 5328 0
vsize: 22516
[startup+60.0016 s]
Raw data (loadavg): 0.97 0.96 0.76 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 5494 0 0 0 5980 18 0 0 25 0 1 0 964624592 24481792 5219 4294967295 134512640 135730672 3221224576 3221223120 134740265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5977 5219 301 301 0 5676 0
vsize: 23908
[startup+70.0012 s]
Raw data (loadavg): 0.97 0.96 0.76 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 6315 0 0 0 6977 21 0 0 25 0 1 0 964624592 26509312 5847 4294967295 134512640 135730672 3221224576 3221222960 134761598 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6472 5847 301 301 0 6171 0
vsize: 25888
[startup+80.0022 s]
Raw data (loadavg): 0.98 0.96 0.76 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 6740 0 0 0 7976 22 0 0 25 0 1 0 964624592 27566080 6272 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6730 6272 301 301 0 6429 0
vsize: 26920
[startup+90.0015 s]
Raw data (loadavg): 0.98 0.96 0.77 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 6951 0 0 0 8975 23 0 0 25 0 1 0 964624592 28262400 6483 4294967295 134512640 135730672 3221224576 3221223120 134740251 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6900 6483 301 301 0 6599 0
vsize: 27600
[startup+100.001 s]
Raw data (loadavg): 0.98 0.96 0.77 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 7433 0 0 0 9972 26 0 0 25 0 1 0 964624592 45645824 6965 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11144 6965 301 301 0 10843 0
vsize: 44576
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.77 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 7902 0 0 0 10970 27 0 0 25 0 1 0 964624592 46198784 7434 4294967295 134512640 135730672 3221224576 3221223072 134747741 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11279 7434 301 301 0 10978 0
vsize: 45116
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 8449 0 0 0 11967 30 0 0 25 0 1 0 964624592 46886912 7981 4294967295 134512640 135730672 3221224576 3221223184 134744754 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11447 7981 301 301 0 11146 0
vsize: 45788
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 9124 0 0 0 12964 33 0 0 25 0 1 0 964624592 47919104 8656 4294967295 134512640 135730672 3221224576 3221222912 134767171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11699 8656 301 301 0 11398 0
vsize: 46796
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 9711 0 0 0 13962 36 0 0 25 0 1 0 964624592 49197056 9243 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12011 9243 301 301 0 11710 0
vsize: 48044
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 10096 0 0 0 14961 37 0 0 25 0 1 0 964624592 49868800 9628 4294967295 134512640 135730672 3221224576 3221222912 135284107 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12175 9628 301 301 0 11874 0
vsize: 48700
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 10523 0 0 0 15959 40 0 0 25 0 1 0 964624592 50343936 10055 4294967295 134512640 135730672 3221224576 3221223088 134746501 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12291 10055 301 301 0 11990 0
vsize: 49164
[startup+170.005 s]
Raw data (loadavg): 1.07 0.99 0.79 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 11203 0 0 0 16956 42 0 0 25 0 1 0 964624592 52621312 10350 4294967295 134512640 135730672 3221224576 3221223072 134747741 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12847 10350 301 301 0 12546 0
vsize: 51388
[startup+180.005 s]
Raw data (loadavg): 1.06 0.99 0.79 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 11612 0 0 0 17953 45 0 0 25 0 1 0 964624592 52834304 10759 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12899 10759 301 301 0 12598 0
vsize: 51596
[startup+190.006 s]
Raw data (loadavg): 1.05 0.99 0.79 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 11721 0 0 0 18952 47 0 0 25 0 1 0 964624592 53096448 10868 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12963 10868 301 301 0 12662 0
vsize: 51852
[startup+200.007 s]
Raw data (loadavg): 1.04 0.99 0.79 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 11815 0 0 0 19951 48 0 0 25 0 1 0 964624592 53506048 10962 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13063 10962 301 301 0 12762 0
vsize: 52252
[startup+210.007 s]
Raw data (loadavg): 1.04 0.99 0.79 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 11968 0 0 0 20950 49 0 0 25 0 1 0 964624592 53604352 11115 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13087 11115 301 301 0 12786 0
vsize: 52348
[startup+220.007 s]
Raw data (loadavg): 1.03 0.99 0.80 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 12050 0 0 0 21948 50 0 0 25 0 1 0 964624592 53817344 11197 4294967295 134512640 135730672 3221224576 3221223072 134747636 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13139 11197 301 301 0 12838 0
vsize: 52556
[startup+230.008 s]
Raw data (loadavg): 1.02 0.99 0.80 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 12151 0 0 0 22948 51 0 0 25 0 1 0 964624592 54145024 11298 4294967295 134512640 135730672 3221224576 3221223200 134748132 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13219 11298 301 301 0 12918 0
vsize: 52876
[startup+240.007 s]
Raw data (loadavg): 1.02 0.99 0.80 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 12503 0 0 0 23946 53 0 0 25 0 1 0 964624592 54374400 11650 4294967295 134512640 135730672 3221224576 3221222960 134761598 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13275 11650 301 301 0 12974 0
vsize: 53100
[startup+250.008 s]
Raw data (loadavg): 1.02 0.99 0.80 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 12802 0 0 0 24946 54 0 0 25 0 1 0 964624592 54620160 11949 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13335 11949 301 301 0 13034 0
vsize: 53340
[startup+260.009 s]
Raw data (loadavg): 1.01 0.99 0.80 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 13193 0 0 0 25945 55 0 0 25 0 1 0 964624592 54915072 12340 4294967295 134512640 135730672 3221224576 3221222816 134786278 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13407 12340 301 301 0 13106 0
vsize: 53628
[startup+270.008 s]
Raw data (loadavg): 1.01 0.99 0.81 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 13465 0 0 0 26944 56 0 0 25 0 1 0 964624592 55144448 12612 4294967295 134512640 135730672 3221224576 3221223184 134744757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13463 12612 301 301 0 13162 0
vsize: 53852
[startup+280.008 s]
Raw data (loadavg): 1.01 0.99 0.81 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 13674 0 0 0 27942 57 0 0 25 0 1 0 964624592 55488512 12821 4294967295 134512640 135730672 3221224576 3221223088 134746501 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13547 12821 301 301 0 13246 0
vsize: 54188
[startup+290.009 s]
Raw data (loadavg): 1.01 0.99 0.81 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 14178 0 0 0 28940 60 0 0 25 0 1 0 964624592 89632768 13325 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21883 13325 301 301 0 21582 0
vsize: 87532
[startup+300.009 s]
Raw data (loadavg): 1.01 0.99 0.81 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 14304 0 0 0 29940 61 0 0 25 0 1 0 964624592 89899008 13451 4294967295 134512640 135730672 3221224576 3221222912 134767147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21948 13451 301 301 0 21647 0
vsize: 87792
[startup+310.009 s]
Raw data (loadavg): 1.00 0.99 0.81 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 14567 0 0 0 30939 62 0 0 25 0 1 0 964624592 90341376 13714 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22056 13714 301 301 0 21755 0
vsize: 88224
[startup+320.009 s]
Raw data (loadavg): 1.00 0.99 0.82 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 14726 0 0 0 31938 63 0 0 25 0 1 0 964624592 90800128 13873 4294967295 134512640 135730672 3221224576 3221223088 134746497 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22168 13873 301 301 0 21867 0
vsize: 88672
[startup+330.009 s]
Raw data (loadavg): 1.00 0.99 0.82 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 15279 0 0 0 32936 65 0 0 25 0 1 0 964624592 91422720 14426 4294967295 134512640 135730672 3221224576 3221223168 134764022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22320 14426 301 301 0 22019 0
vsize: 89280
[startup+340.009 s]
Raw data (loadavg): 1.00 0.99 0.82 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 15565 0 0 0 33935 66 0 0 25 0 1 0 964624592 92372992 14712 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22552 14712 301 301 0 22251 0
vsize: 90208
[startup+350.01 s]
Raw data (loadavg): 1.00 0.99 0.82 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 16015 0 0 0 34933 68 0 0 25 0 1 0 964624592 92995584 15162 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22704 15162 301 301 0 22403 0
vsize: 90816
[startup+360.01 s]
Raw data (loadavg): 1.00 0.99 0.82 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 16118 0 0 0 35932 69 0 0 25 0 1 0 964624592 93454336 15265 4294967295 134512640 135730672 3221224576 3221222812 134813782 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22816 15265 301 301 0 22515 0
vsize: 91264
[startup+370.01 s]
Raw data (loadavg): 1.00 0.99 0.82 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 16183 0 0 0 36931 70 0 0 25 0 1 0 964624592 93716480 15330 4294967295 134512640 135730672 3221224576 3221223088 134746481 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22880 15330 301 301 0 22579 0
vsize: 91520
[startup+380.011 s]
Raw data (loadavg): 1.00 0.99 0.82 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 16316 0 0 0 37930 72 0 0 25 0 1 0 964624592 94470144 15463 4294967295 134512640 135730672 3221224576 3221223072 134747741 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23064 15463 301 301 0 22763 0
vsize: 92256
[startup+390.011 s]
Raw data (loadavg): 1.00 0.99 0.82 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 16388 0 0 0 38929 73 0 0 25 0 1 0 964624592 94732288 15535 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23128 15535 301 301 0 22827 0
vsize: 92512
[startup+400.012 s]
Raw data (loadavg): 1.00 0.99 0.83 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 16570 0 0 0 39928 74 0 0 25 0 1 0 964624592 94830592 15717 4294967295 134512640 135730672 3221224576 3221223088 134746217 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23152 15717 301 301 0 22851 0
vsize: 92608
[startup+410.011 s]
Raw data (loadavg): 1.00 0.99 0.83 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 17414 0 0 0 40925 77 0 0 25 0 1 0 964624592 98205696 15792 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23976 15792 301 301 0 23675 0
vsize: 95904
[startup+420.011 s]
Raw data (loadavg): 1.00 0.99 0.83 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 17531 0 0 0 41924 79 0 0 25 0 1 0 964624592 98795520 15909 4294967295 134512640 135730672 3221224576 3221223088 134746501 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24120 15909 301 301 0 23819 0
vsize: 96480
[startup+430.012 s]
Raw data (loadavg): 1.00 0.99 0.83 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 17582 0 0 0 42923 79 0 0 25 0 1 0 964624592 99024896 15960 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24176 15960 301 301 0 23875 0
vsize: 96704
[startup+440.011 s]
Raw data (loadavg): 1.00 0.99 0.83 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 17726 0 0 0 43923 80 0 0 25 0 1 0 964624592 99418112 16104 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24272 16104 301 301 0 23971 0
vsize: 97088
[startup+450.012 s]
Raw data (loadavg): 1.00 0.99 0.83 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 17969 0 0 0 44921 82 0 0 25 0 1 0 964624592 99811328 16347 4294967295 134512640 135730672 3221224576 3221222648 135284617 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24368 16347 301 301 0 24067 0
vsize: 97472
[startup+460.012 s]
Raw data (loadavg): 1.00 0.99 0.83 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 18050 0 0 0 45921 82 0 0 25 0 1 0 964624592 100139008 16428 4294967295 134512640 135730672 3221224576 3221223088 134746214 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24448 16428 301 301 0 24147 0
vsize: 97792
[startup+470.012 s]
Raw data (loadavg): 1.00 0.99 0.83 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 18204 0 0 0 46920 83 0 0 25 0 1 0 964624592 100564992 16582 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24552 16582 301 301 0 24251 0
vsize: 98208
[startup+480.013 s]
Raw data (loadavg): 1.00 0.99 0.83 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 18312 0 0 0 47919 85 0 0 25 0 1 0 964624592 100696064 16690 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24584 16690 301 301 0 24283 0
vsize: 98336
[startup+490.013 s]
Raw data (loadavg): 1.00 0.99 0.83 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 18506 0 0 0 48918 86 0 0 25 0 1 0 964624592 100696064 16884 4294967295 134512640 135730672 3221224576 3221222800 134813804 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24584 16884 301 301 0 24283 0
vsize: 98336
[startup+500.014 s]
Raw data (loadavg): 1.00 0.99 0.83 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 18526 0 0 0 49917 87 0 0 25 0 1 0 964624592 100696064 16904 4294967295 134512640 135730672 3221224576 3221222896 134732861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24584 16904 301 301 0 24283 0
vsize: 98336
[startup+510.013 s]
Raw data (loadavg): 1.00 0.99 0.84 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 18545 0 0 0 50916 88 0 0 25 0 1 0 964624592 100696064 16923 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24584 16923 301 301 0 24283 0
vsize: 98336
[startup+520.013 s]
Raw data (loadavg): 1.00 0.99 0.84 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 18568 0 0 0 51912 92 0 0 25 0 1 0 964624592 100696064 16946 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24584 16946 301 301 0 24283 0
vsize: 98336
[startup+530.014 s]
Raw data (loadavg): 1.00 0.99 0.84 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 18592 0 0 0 52907 98 0 0 25 0 1 0 964624592 100696064 16970 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24584 16970 301 301 0 24283 0
vsize: 98336
[startup+540.014 s]
Raw data (loadavg): 1.00 0.99 0.84 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 18615 0 0 0 53902 103 0 0 25 0 1 0 964624592 100696064 16993 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24584 16993 301 301 0 24283 0
vsize: 98336
[startup+550.015 s]
Raw data (loadavg): 1.00 0.99 0.84 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 18639 0 0 0 54896 109 0 0 25 0 1 0 964624592 100696064 17017 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24584 17017 301 301 0 24283 0
vsize: 98336
[startup+560.016 s]
Raw data (loadavg): 1.00 0.99 0.84 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 18661 0 0 0 55889 117 0 0 25 0 1 0 964624592 100696064 17039 4294967295 134512640 135730672 3221224576 3221222896 134732790 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24584 17039 301 301 0 24283 0
vsize: 98336
[startup+570.015 s]
Raw data (loadavg): 1.00 0.99 0.84 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 18693 0 0 0 56885 120 0 0 25 0 1 0 964624592 100696064 17071 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24584 17071 301 301 0 24283 0
vsize: 98336
[startup+580.015 s]
Raw data (loadavg): 1.00 0.99 0.84 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 18739 0 0 0 57882 123 0 0 25 0 1 0 964624592 100798464 17117 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24609 17117 301 301 0 24308 0
vsize: 98436
[startup+590.016 s]
Raw data (loadavg): 1.00 0.99 0.84 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 18782 0 0 0 58879 127 0 0 25 0 1 0 964624592 100909056 17160 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24636 17160 301 301 0 24335 0
vsize: 98544
[startup+600.016 s]
Raw data (loadavg): 1.00 0.99 0.84 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 18823 0 0 0 59871 135 0 0 25 0 1 0 964624592 101003264 17201 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24659 17201 301 301 0 24358 0
vsize: 98636
[startup+610.016 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 18857 0 0 0 60869 137 0 0 25 0 1 0 964624592 101003264 17235 4294967295 134512640 135730672 3221224576 3221222796 135291218 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24659 17235 301 301 0 24358 0
vsize: 98636
[startup+620.016 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 18890 0 0 0 61868 138 0 0 25 0 1 0 964624592 101093376 17268 4294967295 134512640 135730672 3221224576 3221222896 134732625 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24681 17268 301 301 0 24380 0
vsize: 98724
[startup+630.016 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 18920 0 0 0 62867 139 0 0 25 0 1 0 964624592 101093376 17298 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24681 17298 301 301 0 24380 0
vsize: 98724
[startup+640.017 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 18951 0 0 0 63866 140 0 0 25 0 1 0 964624592 101179392 17329 4294967295 134512640 135730672 3221224576 3221223056 134732831 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24702 17329 301 301 0 24401 0
vsize: 98808
[startup+650.017 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 18986 0 0 0 64866 141 0 0 25 0 1 0 964624592 101179392 17364 4294967295 134512640 135730672 3221224576 3221223120 134740440 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24702 17364 301 301 0 24401 0
vsize: 98808
[startup+660.016 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 19011 0 0 0 65865 142 0 0 25 0 1 0 964624592 101179392 17389 4294967295 134512640 135730672 3221224576 3221223088 134746214 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24702 17389 301 301 0 24401 0
vsize: 98808
[startup+670.016 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 19046 0 0 0 66864 143 0 0 25 0 1 0 964624592 101273600 17424 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24725 17424 301 301 0 24424 0
vsize: 98900
[startup+680.017 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 19083 0 0 0 67863 144 0 0 25 0 1 0 964624592 101367808 17461 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24748 17461 301 301 0 24447 0
vsize: 98992
[startup+690.017 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 19107 0 0 0 68862 146 0 0 25 0 1 0 964624592 101367808 17485 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24748 17485 301 301 0 24447 0
vsize: 98992
[startup+700.018 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 19134 0 0 0 69862 146 0 0 25 0 1 0 964624592 101457920 17512 4294967295 134512640 135730672 3221224576 3221223072 134747738 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24770 17512 301 301 0 24469 0
vsize: 99080
[startup+710.018 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 19166 0 0 0 70862 146 0 0 25 0 1 0 964624592 101457920 17544 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24770 17544 301 301 0 24469 0
vsize: 99080
[startup+720.018 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 19194 0 0 0 71861 147 0 0 25 0 1 0 964624592 101560320 17572 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24795 17572 301 301 0 24494 0
vsize: 99180
[startup+730.018 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 19222 0 0 0 72860 148 0 0 25 0 1 0 964624592 101560320 17600 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24795 17600 301 301 0 24494 0
vsize: 99180
[startup+740.018 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 19436 0 0 0 73855 153 0 0 25 0 1 0 964624592 102514688 17814 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25028 17814 301 301 0 24727 0
vsize: 100112
[startup+750.019 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 19470 0 0 0 74852 157 0 0 25 0 1 0 964624592 102514688 17848 4294967295 134512640 135730672 3221224576 3221223088 134746512 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25028 17848 301 301 0 24727 0
vsize: 100112
[startup+760.019 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 19523 0 0 0 75850 159 0 0 25 0 1 0 964624592 102649856 17901 4294967295 134512640 135730672 3221224576 3221223088 134746216 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25061 17901 301 301 0 24760 0
vsize: 100244
[startup+770.019 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 19583 0 0 0 76846 163 0 0 25 0 1 0 964624592 102785024 17961 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25094 17961 301 301 0 24793 0
vsize: 100376
[startup+780.019 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 19625 0 0 0 77841 169 0 0 25 0 1 0 964624592 102879232 18003 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25117 18003 301 301 0 24816 0
vsize: 100468
[startup+790.019 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 19677 0 0 0 78835 174 0 0 25 0 1 0 964624592 103006208 18055 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25148 18055 301 301 0 24847 0
vsize: 100592
[startup+800.02 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 21246 0 0 0 79829 180 0 0 25 0 1 0 964624592 109297664 18087 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26684 18087 301 301 0 26383 0
vsize: 106736
[startup+810.02 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 21299 0 0 0 80823 187 0 0 25 0 1 0 964624592 109432832 18140 4294967295 134512640 135730672 3221224576 3221223184 134744757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26717 18140 301 301 0 26416 0
vsize: 106868
[startup+820.02 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 21346 0 0 0 81818 192 0 0 25 0 1 0 964624592 109522944 18187 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26739 18187 301 301 0 26438 0
vsize: 106956
[startup+830.021 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 21383 0 0 0 82814 196 0 0 25 0 1 0 964624592 109629440 18224 4294967295 134512640 135730672 3221224576 3221223072 134747747 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26765 18224 301 301 0 26464 0
vsize: 107060
[startup+840.02 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 21403 0 0 0 83809 201 0 0 25 0 1 0 964624592 109629440 18244 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26765 18244 301 301 0 26464 0
vsize: 107060
[startup+850.021 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 21462 0 0 0 84804 206 0 0 25 0 1 0 964624592 109735936 18303 4294967295 134512640 135730672 3221224576 3221223264 134748681 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26791 18303 301 301 0 26490 0
vsize: 107164
[startup+860.021 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 21495 0 0 0 85799 212 0 0 25 0 1 0 964624592 109826048 18336 4294967295 134512640 135730672 3221224576 3221223072 134747770 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26813 18336 301 301 0 26512 0
vsize: 107252
[startup+870.02 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 21529 0 0 0 86793 218 0 0 25 0 1 0 964624592 109928448 18370 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26838 18370 301 301 0 26537 0
vsize: 107352
[startup+880.021 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 21562 0 0 0 87789 222 0 0 25 0 1 0 964624592 109928448 18403 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26838 18403 301 301 0 26537 0
vsize: 107352
[startup+890.021 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 21609 0 0 0 88787 224 0 0 25 0 1 0 964624592 110063616 18450 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26871 18450 301 301 0 26570 0
vsize: 107484
[startup+900.021 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 21640 0 0 0 89785 227 0 0 25 0 1 0 964624592 110063616 18481 4294967295 134512640 135730672 3221224576 3221223120 134740420 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26871 18481 301 301 0 26570 0
vsize: 107484
[startup+910.021 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 21662 0 0 0 90782 230 0 0 25 0 1 0 964624592 110063616 18503 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26871 18503 301 301 0 26570 0
vsize: 107484
[startup+920.021 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 21685 0 0 0 91781 231 0 0 25 0 1 0 964624592 110153728 18526 4294967295 134512640 135730672 3221224576 3221223072 134747805 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26893 18526 301 301 0 26592 0
vsize: 107572
[startup+930.021 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 21758 0 0 0 92778 234 0 0 25 0 1 0 964624592 110399488 18599 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26953 18599 301 301 0 26652 0
vsize: 107812
[startup+940.021 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 21794 0 0 0 93773 239 0 0 25 0 1 0 964624592 110399488 18635 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26953 18635 301 301 0 26652 0
vsize: 107812
[startup+950.022 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 21825 0 0 0 94770 242 0 0 25 0 1 0 964624592 110526464 18666 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26984 18666 301 301 0 26683 0
vsize: 107936
[startup+960.023 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 21864 0 0 0 95768 245 0 0 25 0 1 0 964624592 110624768 18705 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27008 18705 301 301 0 26707 0
vsize: 108032
[startup+970.022 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 21895 0 0 0 96763 249 0 0 25 0 1 0 964624592 110624768 18736 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27008 18736 301 301 0 26707 0
vsize: 108032
[startup+980.022 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 21918 0 0 0 97759 254 0 0 25 0 1 0 964624592 110727168 18759 4294967295 134512640 135730672 3221224576 3221222896 134732604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27033 18759 301 301 0 26732 0
vsize: 108132
[startup+990.023 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 21960 0 0 0 98756 257 0 0 25 0 1 0 964624592 110825472 18801 4294967295 134512640 135730672 3221224576 3221222904 134814531 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27057 18801 301 301 0 26756 0
vsize: 108228
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 21994 0 0 0 99752 262 0 0 25 0 1 0 964624592 110825472 18835 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27057 18835 301 301 0 26756 0
vsize: 108228
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 22034 0 0 0 100749 264 0 0 25 0 1 0 964624592 110927872 18875 4294967295 134512640 135730672 3221224576 3221223200 134783330 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27082 18875 301 301 0 26781 0
vsize: 108328
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 22065 0 0 0 101746 268 0 0 25 0 1 0 964624592 111046656 18906 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27111 18906 301 301 0 26810 0
vsize: 108444
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 22095 0 0 0 102743 271 0 0 25 0 1 0 964624592 111046656 18936 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27111 18936 301 301 0 26810 0
vsize: 108444
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 22114 0 0 0 103740 274 0 0 25 0 1 0 964624592 111046656 18955 4294967295 134512640 135730672 3221224576 3221223168 134747724 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27111 18955 301 301 0 26810 0
vsize: 108444
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 22133 0 0 0 104739 275 0 0 25 0 1 0 964624592 111046656 18974 4294967295 134512640 135730672 3221224576 3221223072 134747868 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27111 18974 301 301 0 26810 0
vsize: 108444
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 22156 0 0 0 105739 276 0 0 25 0 1 0 964624592 111144960 18997 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27135 18997 301 301 0 26834 0
vsize: 108540
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 22175 0 0 0 106737 277 0 0 25 0 1 0 964624592 111144960 19016 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27135 19016 301 301 0 26834 0
vsize: 108540
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 22200 0 0 0 107736 279 0 0 25 0 1 0 964624592 111144960 19041 4294967295 134512640 135730672 3221224576 3221222900 134732444 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27135 19041 301 301 0 26834 0
vsize: 108540
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 22230 0 0 0 108736 280 0 0 25 0 1 0 964624592 111235072 19071 4294967295 134512640 135730672 3221224576 3221223088 134746168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27157 19071 301 301 0 26856 0
vsize: 108628
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 22259 0 0 0 109735 280 0 0 25 0 1 0 964624592 111235072 19100 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27157 19100 301 301 0 26856 0
vsize: 108628
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 22292 0 0 0 110734 281 0 0 25 0 1 0 964624592 111329280 19133 4294967295 134512640 135730672 3221224576 3221223120 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27180 19133 301 301 0 26879 0
vsize: 108720
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.90 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 22324 0 0 0 111734 282 0 0 25 0 1 0 964624592 111329280 19165 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27180 19165 301 301 0 26879 0
vsize: 108720
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.90 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 22364 0 0 0 112733 283 0 0 25 0 1 0 964624592 111431680 19205 4294967295 134512640 135730672 3221224576 3221223200 134783062 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27205 19205 301 301 0 26904 0
vsize: 108820
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.90 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 22395 0 0 0 113733 284 0 0 25 0 1 0 964624592 111534080 19236 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27230 19236 301 301 0 26929 0
vsize: 108920
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.90 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 22427 0 0 0 114732 284 0 0 25 0 1 0 964624592 111534080 19268 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27230 19268 301 301 0 26929 0
vsize: 108920
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.90 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 22452 0 0 0 115732 285 0 0 25 0 1 0 964624592 111620096 19293 4294967295 134512640 135730672 3221224576 3221223168 134763651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27251 19293 301 301 0 26950 0
vsize: 109004
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.90 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 22479 0 0 0 116731 286 0 0 25 0 1 0 964624592 111620096 19320 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27251 19320 301 301 0 26950 0
vsize: 109004
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.90 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 22505 0 0 0 117731 286 0 0 25 0 1 0 964624592 111706112 19346 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27272 19346 301 301 0 26971 0
vsize: 109088
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.90 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 22538 0 0 0 118730 287 0 0 25 0 1 0 964624592 111796224 19379 4294967295 134512640 135730672 3221224576 3221222960 134763180 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27294 19379 301 301 0 26993 0
vsize: 109176
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.90 2/54 28332
Raw data (stat): 28332 (pb2sat-v2) R 28331 31399 31398 0 -1 0 22575 0 0 0 119729 288 0 0 25 0 1 0 964624592 111890432 19416 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27317 19416 301 301 0 27016 0
vsize: 109268
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.29 s]
Raw data (loadavg): 1.00 0.99 0.90 1/54 28332
Raw data (stat): 28332 (pb2sat-v2) Z 28331 31399 31398 0 -1 12 22577 0 0 0 119751 292 0 0 25 0 1 0 964624592 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: 0
Real time (s): 1200.29
CPU time (s): 1200.44
CPU user time (s): 1197.52
CPU system time (s): 2.92355
CPU usage (%): 100.013
Max. virtual memory (Kb): 109268
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####