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_21_pb.cnf.cr.opb
MD5SUM	112c693a7a90a8dc93ad23dc136d9b75
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	22
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.026995
Number of variables	840
Total number of constraints	82
Number of constraints which are clauses	42
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	21
Trace number 41890

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-15 19:04:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25106 boxname=wulflinc1 idbench=8 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  112c693a7a90a8dc93ad23dc136d9b75  /oldhome/oroussel/tmp/wulflinc1/normalized-chnl20_21_pb.cnf.cr.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-chnl20_21_pb.cnf.cr.opb
IDLAUNCH: 25106
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        837408 kB
Buffers:         33464 kB
Cached:         140376 kB
SwapCached:       1192 kB
Active:          76508 kB
Inactive:        99656 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        837156 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            15404 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 19:24:55 (client local time) WITH STATUS 0 IN 1210.24 SECONDS
stats: 25106 7 1210.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 800/2440	Time: 24.4953/86400
c Decision: 800/2440	Time: 25.2252/86400
c Decision: 800/2440	Time: 25.9201/86400
c Decision: 800/2440	Time: 26.607/86400
c Decision: 800/2440	Time: 27.3568/86400
c Decision: 800/2440	Time: 28.2417/86400
c Decision: 800/2440	Time: 29.0886/86400
c Decision: 800/2440	Time: 30.0324/86400
c Decision: 800/2440	Time: 30.9323/86400
c Decision: 800/2440	Time: 31.7972/86400
c Decision: 800/2440	Time: 32.884/86400
c Decision: 800/2440	Time: 33.8389/86400
c Decision: 800/2440	Time: 34.8607/86400
c Decision: 800/2440	Time: 35.7706/86400
c Decision: 800/2440	Time: 36.8294/86400
c Decision: 800/2440	Time: 38.0702/86400
c Decision: 800/2440	Time: 39.0091/86400
c Decision: 800/2440	Time: 39.9029/86400
c Decision: 800/2440	Time: 40.8838/86400
c Decision: 800/2440	Time: 42.0906/86400
c Decision: 800/2440	Time: 43.3754/86400
c Decision: 800/2440	Time: 44.2883/86400
c Decision: 800/2440	Time: 45.3381/86400
c Decision: 800/2440	Time: 46.5659/86400
c Decision: 800/2440	Time: 47.6288/86400
c Decision: 800/2440	Time: 48.9526/86400
c Decision: 800/2440	Time: 50.1284/86400
c Decision: 800/2440	Time: 51.3262/86400
c Decision: 800/2440	Time: 52.483/86400
c Decision: 800/2440	Time: 53.8028/86400
c Decision: 800/2440	Time: 55.2226/86400
c Decision: 800/2440	Time: 56.5254/86400
c Decision: 800/2440	Time: 58.935/86400
c Decision: 800/2440	Time: 60.4258/86400
c Decision: 800/2440	Time: 61.6826/86400
c Decision: 800/2440	Time: 63.0764/86400
c Decision: 800/2440	Time: 64.4622/86400
c Decision: 800/2440	Time: 65.973/86400
c Decision: 800/2440	Time: 67.3448/86400
c Decision: 800/2440	Time: 68.9045/86400
c Decision: 800/2440	Time: 70.5743/86400
c Decision: 800/2440	Time: 72.677/86400
c Decision: 800/2440	Time: 74.0827/86400
c Decision: 800/2440	Time: 75.5395/86400
c Decision: 800/2440	Time: 76.8693/86400
c Decision: 800/2440	Time: 78.4841/86400
c Decision: 800/2440	Time: 79.8289/86400
c Decision: 800/2440	Time: 81.1667/86400
c Decision: 800/2440	Time: 83.3653/86400
c Decision: 800/2440	Time: 84.7451/86400
c Decision: 800/2440	Time: 86.4209/86400
c Decision: 800/2440	Time: 87.8057/86400
c Decision: 800/2440	Time: 89.1684/86400
c Decision: 800/2440	Time: 90.8592/86400
c Decision: 800/2440	Time: 92.4439/86400
c Decision: 800/2440	Time: 94.0647/86400
c Decision: 800/2440	Time: 95.6095/86400
c Decision: 800/2440	Time: 97.0183/86400
c Decision: 800/2440	Time: 98.601/86400
c Decision: 800/2440	Time: 100.152/86400
c Decision: 800/2440	Time: 101.873/86400
c Decision: 800/2440	Time: 103.224/86400
c Decision: 800/2440	Time: 104.711/86400
c Decision: 800/2440	Time: 106.049/86400
c Decision: 800/2440	Time: 107.595/86400
c Decision: 800/2440	Time: 109.343/86400
c Decision: 800/2440	Time: 110.94/86400
c Decision: 800/2440	Time: 112.476/86400
c Decision: 800/2440	Time: 114.052/86400
c Decision: 800/2440	Time: 115.627/86400
c Decision: 800/2440	Time: 117.468/86400
c Decision: 800/2440	Time: 119.051/86400
c Decision: 800/2440	Time: 121.211/86400
c Decision: 800/2440	Time: 122.784/86400
c Decision: 800/2440	Time: 124.245/86400
c Decision: 800/2440	Time: 126.054/86400
c Decision: 800/2440	Time: 127.729/86400
c Decision: 800/2440	Time: 129.307/86400
c Decision: 800/2440	Time: 130.752/86400
c Decision: 800/2440	Time: 132.235/86400
c Decision: 800/2440	Time: 133.988/86400
c Decision: 800/2440	Time: 135.521/86400
c Decision: 800/2440	Time: 137.074/86400
c Decision: 800/2440	Time: 138.452/86400
c Decision: 800/2440	Time: 139.946/86400
c Decision: 800/2440	Time: 141.712/86400
c Decision: 800/2440	Time: 143.225/86400
c Decision: 800/2440	Time: 144.735/86400
c Decision: 800/2440	Time: 146.276/86400
c Decision: 800/2440	Time: 147.877/86400
c Decision: 800/2440	Time: 149.586/86400
c Decision: 800/2440	Time: 151.266/86400
c Decision: 800/2440	Time: 153.01/86400
c Decision: 800/2440	Time: 154.68/86400
c Decision: 800/2440	Time: 156.29/86400
c Decision: 800/2440	Time: 158.151/86400
c Decision: 800/2440	Time: 159.784/86400
c Decision: 800/2440	Time: 161.426/86400
c Decision: 800/2440	Time: 163.259/86400
c Decision: 800/2440	Time: 164.853/86400
c Decision: 800/2440	Time: 166.828/86400
c Decision: 800/2440	Time: 168.439/86400
c Decision: 800/2440	Time: 170.422/86400
c Decision: 800/2440	Time: 172.08/86400
c Decision: 800/2440	Time: 173.733/86400
c Decision: 800/2440	Time: 175.81/86400
c Decision: 800/2440	Time: 177.559/86400
c Decision: 800/2440	Time: 179.313/86400
c Decision: 800/2440	Time: 181.138/86400
c Decision: 800/2440	Time: 182.883/86400
c Decision: 800/2440	Time: 185.136/86400
c Decision: 800/2440	Time: 186.955/86400
c Decision: 800/2440	Time: 188.779/86400
c Decision: 800/2440	Time: 190.707/86400
c Decision: 800/2440	Time: 192.554/86400
c Decision: 800/2440	Time: 194.807/86400
c Decision: 800/2440	Time: 196.783/86400
c Decision: 800/2440	Time: 198.678/86400
c Decision: 800/2440	Time: 200.749/86400
c Decision: 800/2440	Time: 202.653/86400
c Decision: 800/2440	Time: 204.815/86400
c Decision: 800/2440	Time: 207.15/86400
c Decision: 800/2440	Time: 209.18/86400
c Decision: 800/2440	Time: 211.149/86400
c Decision: 800/2440	Time: 213.328/86400
c Decision: 800/2440	Time: 215.919/86400
c Decision: 800/2440	Time: 217.801/86400
c Decision: 800/2440	Time: 219.58/86400
c Decision: 800/2440	Time: 221.451/86400
c Decision: 800/2440	Time: 223.703/86400
c Decision: 800/2440	Time: 225.931/86400
c Decision: 800/2440	Time: 228.101/86400
c Decision: 800/2440	Time: 230.079/86400
c Decision: 800/2440	Time: 231.939/86400
c Decision: 800/2440	Time: 233.817/86400
c Decision: 800/2440	Time: 235.767/86400
c Decision: 800/2440	Time: 237.635/86400
c Decision: 800/2440	Time: 239.568/86400
c Decision: 800/2440	Time: 241.354/86400
c Decision: 800/2440	Time: 243.001/86400
c Decision: 800/2440	Time: 245.096/86400
c Decision: 800/2440	Time: 246.936/86400
c Decision: 800/2440	Time: 248.599/86400
c Decision: 800/2440	Time: 250.47/86400
c Decision: 800/2440	Time: 252.227/86400
c Decision: 800/2440	Time: 254.528/86400
c Decision: 800/2440	Time: 256.367/86400
c Decision: 800/2440	Time: 258.049/86400
c Decision: 800/2440	Time: 259.904/86400
c Decision: 800/2440	Time: 262.276/86400
c Decision: 800/2440	Time: 264.63/86400
c Decision: 800/2440	Time: 266.376/86400
c Decision: 800/2440	Time: 268.218/86400
c Decision: 800/2440	Time: 270.058/86400
c Decision: 800/2440	Time: 271.922/86400
c Decision: 800/2440	Time: 274.258/86400
c Decision: 800/2440	Time: 275.983/86400
c Decision: 800/2440	Time: 277.797/86400
c Decision: 800/2440	Time: 279.318/86400
c Decision: 800/2440	Time: 281.201/86400
c Decision: 800/2440	Time: 283.078/86400
c Decision: 800/2440	Time: 285.106/86400
c Decision: 800/2440	Time: 286.778/86400
c Decision: 800/2440	Time: 288.469/86400
c Decision: 800/2440	Time: 290.202/86400
c Decision: 800/2440	Time: 292.224/86400
c Decision: 800/2440	Time: 293.925/86400
c Decision: 800/2440	Time: 295.676/86400
c Decision: 800/2440	Time: 297.506/86400
c Decision: 800/2440	Time: 299.175/86400
c Decision: 800/2440	Time: 301.304/86400
c Decision: 800/2440	Time: 303.203/86400
c Decision: 800/2440	Time: 304.959/86400
c Decision: 800/2440	Time: 308.071/86400
c Decision: 800/2440	Time: 309.792/86400
c Decision: 800/2440	Time: 311.841/86400
c Decision: 800/2440	Time: 313.505/86400
c Decision: 800/2440	Time: 315.087/86400
c Decision: 800/2440	Time: 316.934/86400
c Decision: 800/2440	Time: 318.889/86400
c Decision: 800/2440	Time: 321.038/86400
c Decision: 800/2440	Time: 322.605/86400
c Decision: 800/2440	Time: 324.412/86400
c Decision: 800/2440	Time: 326.184/86400
c Decision: 800/2440	Time: 327.635/86400
c Decision: 800/2440	Time: 329.552/86400
c Decision: 800/2440	Time: 330.969/86400
c Decision: 800/2440	Time: 332.57/86400
c Decision: 800/2440	Time: 334.117/86400
c Decision: 800/2440	Time: 335.688/86400
c Decision: 800/2440	Time: 337.694/86400
c Decision: 800/2440	Time: 339.254/86400
c Decision: 800/2440	Time: 340.937/86400
c Decision: 800/2440	Time: 342.705/86400
c Decision: 800/2440	Time: 344.437/86400
c Decision: 800/2440	Time: 346.392/86400
c Decision: 800/2440	Time: 347.924/86400
c Decision: 800/2440	Time: 349.502/86400
c Decision: 800/2440	Time: 351.2/86400
c Decision: 800/2440	Time: 352.913/86400
c Decision: 800/2440	Time: 354.809/86400
c Decision: 800/2440	Time: 356.411/86400
c Decision: 800/2440	Time: 357.95/86400
c Decision: 800/2440	Time: 359.745/86400
c Decision: 800/2440	Time: 361.441/86400
c Decision: 800/2440	Time: 363.379/86400
c Decision: 800/2440	Time: 364.914/86400
c Decision: 800/2440	Time: 366.559/86400
c Decision: 800/2440	Time: 368.268/86400
c Decision: 800/2440	Time: 369.766/86400
c Decision: 800/2440	Time: 371.714/86400
c Decision: 800/2440	Time: 373.35/86400
c Decision: 800/2440	Time: 374.914/86400
c Decision: 800/2440	Time: 376.507/86400
c Decision: 800/2440	Time: 378.292/86400
c Decision: 800/2440	Time: 380.37/86400
c Decision: 800/2440	Time: 381.924/86400
c Decision: 800/2440	Time: 383.681/86400
c Decision: 800/2440	Time: 385.411/86400
c Decision: 800/2440	Time: 387.44/86400
c Decision: 800/2440	Time: 389.894/86400
c Decision: 800/2440	Time: 391.735/86400
c Decision: 800/2440	Time: 393.488/86400
c Decision: 800/2440	Time: 395.27/86400
c Decision: 800/2440	Time: 396.86/86400
c Decision: 800/2440	Time: 399.015/86400
c Decision: 800/2440	Time: 400.869/86400
c Decision: 800/2440	Time: 402.868/86400
c Decision: 800/2440	Time: 404.702/86400
c Decision: 800/2440	Time: 406.612/86400
c Decision: 800/2440	Time: 408.76/86400
c Decision: 800/2440	Time: 410.679/86400
c Decision: 800/2440	Time: 412.742/86400
c Decision: 800/2440	Time: 414.846/86400
c Decision: 800/2440	Time: 416.862/86400
c Decision: 800/2440	Time: 419.337/86400
c Decision: 800/2440	Time: 421.28/86400
c Decision: 800/2440	Time: 423.088/86400
c Decision: 800/2440	Time: 425.04/86400
c Decision: 800/2440	Time: 426.827/86400
c Decision: 800/2440	Time: 428.991/86400
c Decision: 800/2440	Time: 430.994/86400
c Decision: 800/2440	Time: 432.691/86400
c Decision: 800/2440	Time: 434.53/86400
c Decision: 800/2440	Time: 436.497/86400
c Decision: 800/2440	Time: 438.663/86400
c Decision: 800/2440	Time: 440.35/86400
c Decision: 800/2440	Time: 442.21/86400
c Decision: 800/2440	Time: 444.076/86400
c Decision: 800/2440	Time: 445.981/86400
c Decision: 800/2440	Time: 448.175/86400
c Decision: 800/2440	Time: 450.099/86400
c Decision: 800/2440	Time: 452.081/86400
c Decision: 800/2440	Time: 453.99/86400
c Decision: 800/2440	Time: 456.199/86400
c Decision: 800/2440	Time: 458.571/86400
c Decision: 800/2440	Time: 460.637/86400
c Decision: 800/2440	Time: 462.621/86400
c Decision: 800/2440	Time: 464.544/86400
c Decision: 800/2440	Time: 466.689/86400
c Decision: 800/2440	Time: 468.893/86400
c Decision: 800/2440	Time: 470.905/86400
c Decision: 800/2440	Time: 472.76/86400
c Decision: 800/2440	Time: 474.737/86400
c Decision: 800/2440	Time: 476.887/86400
c Decision: 800/2440	Time: 479.089/86400
c Decision: 800/2440	Time: 481.074/86400
c Decision: 800/2440	Time: 482.965/86400
c Decision: 800/2440	Time: 485.065/86400
c Decision: 800/2440	Time: 487.353/86400
c Decision: 800/2440	Time: 489.711/86400
c Decision: 800/2440	Time: 491.755/86400
c Decision: 800/2440	Time: 493.65/86400
c Decision: 800/2440	Time: 495.716/86400
c Decision: 800/2440	Time: 497.924/86400
c Decision: 800/2440	Time: 500.485/86400
c Decision: 800/2440	Time: 503.08/86400
c Decision: 800/2440	Time: 504.987/86400
c Decision: 800/2440	Time: 506.841/86400
c Decision: 800/2440	Time: 508.487/86400
c Decision: 800/2440	Time: 510.913/86400
c Decision: 800/2440	Time: 512.819/86400
c Decision: 800/2440	Time: 514.782/86400
c Decision: 800/2440	Time: 516.648/86400
c Decision: 800/2440	Time: 518.512/86400
c Decision: 800/2440	Time: 520.795/86400
c Decision: 800/2440	Time: 522.87/86400
c Decision: 800/2440	Time: 524.888/86400
c Decision: 800/2440	Time: 526.85/86400
c Decision: 800/2440	Time: 528.99/86400
c Decision: 800/2440	Time: 531.032/86400
c Decision: 800/2440	Time: 532.977/86400
c Decision: 800/2440	Time: 534.76/86400
c Decision: 800/2440	Time: 536.479/86400
c Decision: 800/2440	Time: 538.544/86400
c Decision: 800/2440	Time: 540.906/86400
c Decision: 800/2440	Time: 542.765/86400
c Decision: 800/2440	Time: 544.734/86400
c Decision: 800/2440	Time: 546.56/86400
c Decision: 800/2440	Time: 548.35/86400
c Decision: 800/2440	Time: 550.41/86400
c Decision: 800/2440	Time: 552.389/86400
c Decision: 800/2440	Time: 554.084/86400
c Decision: 800/2440	Time: 556.041/86400
c Decision: 800/2440	Time: 557.976/86400
c Decision: 800/2440	Time: 560.127/86400
c Decision: 800/2440	Time: 561.856/86400
c Decision: 800/2440	Time: 563.638/86400
c Decision: 800/2440	Time: 565.43/86400
c Decision: 800/2440	Time: 567.313/86400
c Decision: 800/2440	Time: 569.249/86400
c Decision: 800/2440	Time: 570.934/86400
c Decision: 800/2440	Time: 572.918/86400
c Decision: 800/2440	Time: 574.678/86400
c Decision: 800/2440	Time: 576.471/86400
c Decision: 800/2440	Time: 578.744/86400
c Decision: 800/2440	Time: 580.096/86400
c Decision: 800/2440	Time: 581.897/86400
c Decision: 800/2440	Time: 583.849/86400
c Decision: 800/2440	Time: 585.671/86400
c Decision: 800/2440	Time: 587.741/86400
c Decision: 800/2440	Time: 589.708/86400
c Decision: 800/2440	Time: 591.336/86400
c Decision: 800/2440	Time: 593.245/86400
c Decision: 800/2440	Time: 595.146/86400
c Decision: 800/2440	Time: 597.464/86400
c Decision: 800/2440	Time: 599.373/86400
c Decision: 800/2440	Time: 601.609/86400
c Decision: 800/2440	Time: 603.611/86400
c Decision: 800/2440	Time: 605.578/86400
c Decision: 800/2440	Time: 607.806/86400
c Decision: 800/2440	Time: 609.837/86400
c Decision: 800/2440	Time: 611.717/86400
c Decision: 800/2440	Time: 613.798/86400
c Decision: 800/2440	Time: 615.632/86400
c Decision: 800/2440	Time: 617.847/86400
c Decision: 800/2440	Time: 619.818/86400
c Decision: 800/2440	Time: 621.847/86400
c Decision: 800/2440	Time: 623.653/86400
c Decision: 800/2440	Time: 625.55/86400
c Decision: 800/2440	Time: 627.91/86400
c Decision: 800/2440	Time: 629.812/86400
c Decision: 800/2440	Time: 631.806/86400
c Decision: 800/2440	Time: 633.756/86400
c Decision: 800/2440	Time: 635.678/86400
c Decision: 800/2440	Time: 638.036/86400
c Decision: 800/2440	Time: 639.905/86400
c Decision: 800/2440	Time: 641.954/86400
c Decision: 800/2440	Time: 643.646/86400
c Decision: 800/2440	Time: 645.731/86400
c Decision: 800/2440	Time: 647.976/86400
c Decision: 800/2440	Time: 649.81/86400
c Decision: 800/2440	Time: 651.893/86400
c Decision: 800/2440	Time: 653.861/86400
c Decision: 800/2440	Time: 655.804/86400
c Decision: 800/2440	Time: 657.984/86400
c Decision: 800/2440	Time: 659.985/86400
c Decision: 800/2440	Time: 662.037/86400
c Decision: 800/2440	Time: 663.935/86400
c Decision: 800/2440	Time: 666.084/86400
c Decision: 800/2440	Time: 668.499/86400
c Decision: 800/2440	Time: 670.426/86400
c Decision: 800/2440	Time: 672.569/86400
c Decision: 800/2440	Time: 674.657/86400
c Decision: 800/2440	Time: 676.914/86400
c Decision: 800/2440	Time: 679.341/86400
c Decision: 800/2440	Time: 681.266/86400
c Decision: 800/2440	Time: 683.492/86400
c Decision: 800/2440	Time: 685.698/86400
c Decision: 800/2440	Time: 687.751/86400
c Decision: 800/2440	Time: 690.266/86400
c Decision: 800/2440	Time: 692.363/86400
c Decision: 800/2440	Time: 694.515/86400
c Decision: 800/2440	Time: 696.441/86400
c Decision: 800/2440	Time: 698.394/86400
c Decision: 800/2440	Time: 700.698/86400
c Decision: 800/2440	Time: 702.846/86400
c Decision: 800/2440	Time: 704.96/86400
c Decision: 800/2440	Time: 706.996/86400
c Decision: 800/2440	Time: 709.236/86400
c Decision: 800/2440	Time: 711.423/86400
c Decision: 800/2440	Time: 713.405/86400
c Decision: 800/2440	Time: 715.427/86400
c Decision: 800/2440	Time: 717.299/86400
c Decision: 800/2440	Time: 719.341/86400
c Decision: 800/2440	Time: 721.824/86400
c Decision: 800/2440	Time: 723.571/86400
c Decision: 800/2440	Time: 725.73/86400
c Decision: 800/2440	Time: 727.716/86400
c Decision: 800/2440	Time: 729.682/86400
c Decision: 800/2440	Time: 732.327/86400
c Decision: 800/2440	Time: 734.336/86400
c Decision: 800/2440	Time: 736.278/86400
c Decision: 800/2440	Time: 738.548/86400
c Decision: 800/2440	Time: 740.571/86400
c Decision: 800/2440	Time: 743.082/86400
c Decision: 800/2440	Time: 745.355/86400
c Decision: 800/2440	Time: 747.584/86400
c Decision: 800/2440	Time: 749.623/86400
c Decision: 800/2440	Time: 751.717/86400
c Decision: 800/2440	Time: 753.975/86400
c Decision: 800/2440	Time: 756.023/86400
c Decision: 800/2440	Time: 758.695/86400
c Decision: 800/2440	Time: 760.671/86400
c Decision: 800/2440	Time: 762.758/86400
c Decision: 800/2440	Time: 764.745/86400
c Decision: 800/2440	Time: 766.744/86400
c Decision: 800/2440	Time: 769/86400
c Decision: 800/2440	Time: 770.992/86400
c Decision: 800/2440	Time: 773.212/86400
c Decision: 800/2440	Time: 775.546/86400
c Decision: 800/2440	Time: 777.552/86400
c Decision: 800/2440	Time: 779.779/86400
c Decision: 800/2440	Time: 781.674/86400
c Decision: 800/2440	Time: 783.665/86400
c Decision: 800/2440	Time: 786.152/86400
c Decision: 800/2440	Time: 788.25/86400
c Decision: 800/2440	Time: 790.14/86400
c Decision: 800/2440	Time: 792.142/86400
c Decision: 800/2440	Time: 794.011/86400
c Decision: 800/2440	Time: 796.332/86400
c Decision: 800/2440	Time: 798.095/86400
c Decision: 800/2440	Time: 799.981/86400
c Decision: 800/2440	Time: 802.128/86400
c Decision: 800/2440	Time: 804.13/86400
c Decision: 800/2440	Time: 806.354/86400
c Decision: 800/2440	Time: 808.316/86400
c Decision: 800/2440	Time: 810.189/86400
c Decision: 800/2440	Time: 812.044/86400
c Decision: 800/2440	Time: 814.049/86400
c Decision: 800/2440	Time: 816.303/86400
c Decision: 800/2440	Time: 818.293/86400
c Decision: 800/2440	Time: 820.334/86400
c Decision: 800/2440	Time: 822.312/86400
c Decision: 800/2440	Time: 824.447/86400
c Decision: 800/2440	Time: 826.684/86400
c Decision: 800/2440	Time: 828.695/86400
c Decision: 800/2440	Time: 830.578/86400
c Decision: 800/2440	Time: 832.416/86400
c Decision: 800/2440	Time: 834.316/86400
c Decision: 800/2440	Time: 836.496/86400
c Decision: 800/2440	Time: 838.321/86400
c Decision: 800/2440	Time: 840.191/86400
c Decision: 800/2440	Time: 842.068/86400
c Decision: 800/2440	Time: 844.107/86400
c Decision: 800/2440	Time: 846.55/86400
c Decision: 800/2440	Time: 848.399/86400
c Decision: 800/2440	Time: 850.261/86400
c Decision: 800/2440	Time: 852.147/86400
c Decision: 800/2440	Time: 854.013/86400
c Decision: 800/2440	Time: 856.298/86400
c Decision: 800/2440	Time: 858.218/86400
c Decision: 800/2440	Time: 860.214/86400
c Decision: 800/2440	Time: 862.213/86400
c Decision: 800/2440	Time: 864.224/86400
c Decision: 800/2440	Time: 866.633/86400
c Decision: 800/2440	Time: 868.73/86400
c Decision: 800/2440	Time: 870.983/86400
c Decision: 800/2440	Time: 872.923/86400
c Decision: 800/2440	Time: 875.191/86400
c Decision: 800/2440	Time: 877.514/86400
c Decision: 800/2440	Time: 879.619/86400
c Decision: 800/2440	Time: 881.275/86400
c Decision: 800/2440	Time: 883.149/86400
c Decision: 800/2440	Time: 885.267/86400
c Decision: 800/2440	Time: 887.811/86400
c Decision: 800/2440	Time: 889.739/86400
c Decision: 800/2440	Time: 891.889/86400
c Decision: 800/2440	Time: 893.827/86400
c Decision: 800/2440	Time: 895.867/86400
c Decision: 800/2440	Time: 898.308/86400
c Decision: 800/2440	Time: 900.425/86400
c Decision: 800/2440	Time: 902.356/86400
c Decision: 800/2440	Time: 904.352/86400
c Decision: 800/2440	Time: 906.511/86400
c Decision: 800/2440	Time: 908.973/86400
c Decision: 800/2440	Time: 910.958/86400
c Decision: 800/2440	Time: 913.142/86400
c Decision: 800/2440	Time: 915.157/86400
c Decision: 800/2440	Time: 917.122/86400
c Decision: 800/2440	Time: 919.568/86400
c Decision: 800/2440	Time: 921.817/86400
c Decision: 800/2440	Time: 923.851/86400
c Decision: 800/2440	Time: 925.709/86400
c Decision: 800/2440	Time: 927.736/86400
c Decision: 800/2440	Time: 930.061/86400
c Decision: 800/2440	Time: 932.027/86400
c Decision: 800/2440	Time: 934.121/86400
c Decision: 800/2440	Time: 936.502/86400
c Decision: 800/2440	Time: 938.293/86400
c Decision: 800/2440	Time: 940.671/86400
c Decision: 800/2440	Time: 942.788/86400
c Decision: 800/2440	Time: 945.083/86400
c Decision: 800/2440	Time: 947.032/86400
c Decision: 800/2440	Time: 948.976/86400
c Decision: 800/2440	Time: 951.369/86400
c Decision: 800/2440	Time: 953.373/86400
c Decision: 800/2440	Time: 955.387/86400
c Decision: 800/2440	Time: 957.596/86400
c Decision: 800/2440	Time: 959.735/86400
c Decision: 800/2440	Time: 962.265/86400
c Decision: 800/2440	Time: 964.425/86400
c Decision: 800/2440	Time: 966.632/86400
c Decision: 800/2440	Time: 968.773/86400
c Decision: 800/2440	Time: 970.802/86400
c Decision: 800/2440	Time: 973.658/86400
c Decision: 800/2440	Time: 976.025/86400
c Decision: 800/2440	Time: 978.134/86400
c Decision: 800/2440	Time: 980.338/86400
c Decision: 800/2440	Time: 982.407/86400
c Decision: 800/2440	Time: 985.029/86400
c Decision: 800/2440	Time: 987.179/86400
c Decision: 800/2440	Time: 989.403/86400
c Decision: 800/2440	Time: 991.572/86400
c Decision: 800/2440	Time: 993.674/86400
c Decision: 800/2440	Time: 996.162/86400
c Decision: 800/2440	Time: 998.291/86400
c Decision: 800/2440	Time: 1000.36/86400
c Decision: 800/2440	Time: 1002.44/86400
c Decision: 800/2440	Time: 1004.72/86400
c Decision: 800/2440	Time: 1007.27/86400
c Decision: 800/2440	Time: 1009.43/86400
c Decision: 800/2440	Time: 1011.58/86400
c Decision: 800/2440	Time: 1013.84/86400
c Decision: 800/2440	Time: 1016.13/86400
c Decision: 800/2440	Time: 1018.76/86400
c Decision: 800/2440	Time: 1021.05/86400
c Decision: 800/2440	Time: 1023.39/86400
c Decision: 800/2440	Time: 1025.47/86400
c Decision: 800/2440	Time: 1027.75/86400
c Decision: 800/2440	Time: 1030.27/86400
c Decision: 800/2440	Time: 1032.52/86400
c Decision: 800/2440	Time: 1034.98/86400
c Decision: 800/2440	Time: 1037.41/86400
c Decision: 800/2440	Time: 1039.72/86400
c Decision: 800/2440	Time: 1042.19/86400
c Decision: 800/2440	Time: 1044.37/86400
c Decision: 800/2440	Time: 1046.82/86400
c Decision: 800/2440	Time: 1048.92/86400
c Decision: 800/2440	Time: 1051.31/86400
c Decision: 800/2440	Time: 1053.97/86400
c Decision: 800/2440	Time: 1056.19/86400
c Decision: 800/2440	Time: 1058.36/86400
c Decision: 800/2440	Time: 1060.71/86400
c Decision: 800/2440	Time: 1062.92/86400
c Decision: 800/2440	Time: 1065.58/86400
c Decision: 800/2440	Time: 1067.94/86400
c Decision: 800/2440	Time: 1070.53/86400
c Decision: 800/2440	Time: 1072.9/86400
c Decision: 800/2440	Time: 1075.19/86400
c Decision: 800/2440	Time: 1078.14/86400
c Decision: 800/2440	Time: 1080.63/86400
c Decision: 800/2440	Time: 1082.92/86400
c Decision: 800/2440	Time: 1085.33/86400
c Decision: 800/2440	Time: 1087.76/86400
c Decision: 800/2440	Time: 1090.3/86400
c Decision: 800/2440	Time: 1092.47/86400
c Decision: 800/2440	Time: 1094.9/86400
c Decision: 800/2440	Time: 1097.27/86400
c Decision: 800/2440	Time: 1099.7/86400
c Decision: 800/2440	Time: 1102.61/86400
c Decision: 800/2440	Time: 1104.98/86400
c Decision: 800/2440	Time: 1107.69/86400
c Decision: 800/2440	Time: 1110.09/86400
c Decision: 800/2440	Time: 1112.6/86400
c Decision: 800/2440	Time: 1115.31/86400
c Decision: 800/2440	Time: 1117.65/86400
c Decision: 800/2440	Time: 1120.06/86400
c Decision: 800/2440	Time: 1122.76/86400
c Decision: 800/2440	Time: 1125.13/86400
c Decision: 800/2440	Time: 1127.65/86400
c Decision: 800/2440	Time: 1130.03/86400
c Decision: 800/2440	Time: 1132.48/86400
c Decision: 800/2440	Time: 1134.9/86400
c Decision: 800/2440	Time: 1137.22/86400
c Decision: 800/2440	Time: 1140.03/86400
c Decision: 800/2440	Time: 1142.21/86400
c Decision: 800/2440	Time: 1144.43/86400
c Decision: 800/2440	Time: 1147.05/86400
c Decision: 800/2440	Time: 1149.42/86400
c Decision: 800/2440	Time: 1152.15/86400
c Decision: 800/2440	Time: 1154.39/86400
c Decision: 800/2440	Time: 1156.87/86400
c Decision: 800/2440	Time: 1159.26/86400
c Decision: 800/2440	Time: 1161.64/86400
c Decision: 800/2440	Time: 1164.29/86400
c Decision: 800/2440	Time: 1166.65/86400
c Decision: 800/2440	Time: 1169.19/86400
c Decision: 800/2440	Time: 1171.5/86400
c Decision: 800/2440	Time: 1173.8/86400
c Decision: 800/2440	Time: 1176.45/86400
c Decision: 800/2440	Time: 1178.96/86400
c Decision: 800/2440	Time: 1181.55/86400
c Decision: 800/2440	Time: 1183.98/86400
c Decision: 800/2440	Time: 1186.41/86400
c Decision: 800/2440	Time: 1189.13/86400
c Decision: 800/2440	Time: 1191.54/86400
c Decision: 800/2440	Time: 1194.02/86400
c Decision: 800/2440	Time: 1196.6/86400
c Decision: 800/2440	Time: 1199.07/86400
c Decision: 800/2440	Time: 1202/86400
c Decision: 800/2440	Time: 1204.17/86400
c Decision: 800/2440	Time: 1206.57/86400
c Decision: 800/2440	Time: 1209.05/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.00 0.00 0.22 2/55 4857
Raw data (stat): 4857 (runsolver) R 4856 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907644279 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.001 s]
Raw data (loadavg): 0.15 0.03 0.22 2/55 4857
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 1268 0 10 0 973 5 0 0 25 0 1 0 907644279 7135232 1179 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1742 1179 301 301 0 1441 0
vsize: 6968
[startup+20.0018 s]
Raw data (loadavg): 0.28 0.06 0.23 2/55 4857
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 1840 0 10 0 1972 7 0 0 25 0 1 0 907644279 11476992 1751 4294967295 134512640 135730672 3221224576 3221223072 134747760 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2802 1751 301 301 0 2501 0
vsize: 11208
[startup+30.0026 s]
Raw data (loadavg): 0.39 0.09 0.24 2/55 4857
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 2756 0 10 0 2968 10 0 0 25 0 1 0 907644279 13123584 2570 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3204 2570 301 301 0 2903 0
vsize: 12816
[startup+40.0024 s]
Raw data (loadavg): 0.49 0.12 0.25 2/55 4857
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 3563 0 10 0 3963 15 0 0 25 0 1 0 907644279 23064576 3377 4294967295 134512640 135730672 3221224576 3221223120 134740282 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5631 3377 301 301 0 5330 0
vsize: 22524
[startup+50.0022 s]
Raw data (loadavg): 0.56 0.15 0.26 2/55 4857
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 3900 0 10 0 4962 17 0 0 25 0 1 0 907644279 24326144 3714 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5939 3714 301 301 0 5638 0
vsize: 23756
[startup+60.0029 s]
Raw data (loadavg): 0.63 0.18 0.26 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 4532 0 10 0 5958 21 0 0 25 0 1 0 907644279 26341376 4153 4294967295 134512640 135730672 3221224576 3221222904 134814260 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6431 4153 301 301 0 6130 0
vsize: 25724
[startup+70.0037 s]
Raw data (loadavg): 0.69 0.21 0.27 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 4834 0 10 0 6956 23 0 0 25 0 1 0 907644279 26832896 4455 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6551 4455 301 301 0 6250 0
vsize: 26204
[startup+80.0045 s]
Raw data (loadavg): 0.73 0.23 0.28 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 5180 0 10 0 7954 25 0 0 25 0 1 0 907644279 27471872 4801 4294967295 134512640 135730672 3221224576 3221223088 134746221 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6707 4801 301 301 0 6406 0
vsize: 26828
[startup+90.0043 s]
Raw data (loadavg): 0.77 0.26 0.29 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 5387 0 10 0 8952 27 0 0 25 0 1 0 907644279 28454912 5008 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6947 5008 301 301 0 6646 0
vsize: 27788
[startup+100.004 s]
Raw data (loadavg): 0.81 0.28 0.29 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 5904 0 10 0 9950 29 0 0 25 0 1 0 907644279 29573120 5525 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7220 5525 301 301 0 6919 0
vsize: 28880
[startup+110.005 s]
Raw data (loadavg): 0.84 0.30 0.30 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 6232 0 10 0 10948 31 0 0 25 0 1 0 907644279 30392320 5853 4294967295 134512640 135730672 3221224576 3221223072 134747783 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7420 5853 301 301 0 7119 0
vsize: 29680
[startup+120.006 s]
Raw data (loadavg): 0.86 0.33 0.31 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 6591 0 10 0 11947 33 0 0 25 0 1 0 907644279 31375360 6212 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7660 6212 301 301 0 7359 0
vsize: 30640
[startup+130.006 s]
Raw data (loadavg): 0.88 0.35 0.31 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 7375 0 10 0 12945 35 0 0 25 0 1 0 907644279 33603584 6611 4294967295 134512640 135730672 3221224576 3221222960 134761964 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8204 6611 301 301 0 7903 0
vsize: 32816
[startup+140.006 s]
Raw data (loadavg): 0.90 0.37 0.32 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 7493 0 10 0 13943 37 0 0 25 0 1 0 907644279 33931264 6729 4294967295 134512640 135730672 3221224576 3221223088 134746217 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8284 6729 301 301 0 7983 0
vsize: 33136
[startup+150.006 s]
Raw data (loadavg): 0.92 0.39 0.33 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 7556 0 10 0 14942 39 0 0 25 0 1 0 907644279 34095104 6792 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8324 6792 301 301 0 8023 0
vsize: 33296
[startup+160.007 s]
Raw data (loadavg): 0.93 0.41 0.33 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 7665 0 10 0 15941 40 0 0 25 0 1 0 907644279 34422784 6901 4294967295 134512640 135730672 3221224576 3221223088 134746440 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8404 6901 301 301 0 8103 0
vsize: 33616
[startup+170.007 s]
Raw data (loadavg): 0.94 0.43 0.34 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 7897 0 10 0 16939 42 0 0 25 0 1 0 907644279 34422784 7133 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8404 7133 301 301 0 8103 0
vsize: 33616
[startup+180.007 s]
Raw data (loadavg): 0.95 0.45 0.35 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 8156 0 10 0 17937 44 0 0 25 0 1 0 907644279 34914304 7392 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8524 7392 301 301 0 8223 0
vsize: 34096
[startup+190.008 s]
Raw data (loadavg): 0.95 0.46 0.35 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 8440 0 10 0 18936 45 0 0 25 0 1 0 907644279 35078144 7676 4294967295 134512640 135730672 3221224576 3221223072 134747744 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8564 7676 301 301 0 8263 0
vsize: 34256
[startup+200.008 s]
Raw data (loadavg): 0.96 0.48 0.36 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 8694 0 10 0 19935 46 0 0 25 0 1 0 907644279 52248576 7930 4294967295 134512640 135730672 3221224576 3221223072 134747747 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12756 7930 301 301 0 12455 0
vsize: 51024
[startup+210.009 s]
Raw data (loadavg): 0.97 0.50 0.37 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 9104 0 10 0 20933 49 0 0 25 0 1 0 907644279 52445184 8340 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12804 8340 301 301 0 12503 0
vsize: 51216
[startup+220.009 s]
Raw data (loadavg): 0.97 0.51 0.37 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 9343 0 10 0 21930 51 0 0 25 0 1 0 907644279 52641792 8579 4294967295 134512640 135730672 3221224576 3221223072 134747738 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12852 8579 301 301 0 12551 0
vsize: 51408
[startup+230.01 s]
Raw data (loadavg): 0.98 0.53 0.38 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 9406 0 10 0 22930 52 0 0 25 0 1 0 907644279 52838400 8642 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12900 8642 301 301 0 12599 0
vsize: 51600
[startup+240.01 s]
Raw data (loadavg): 0.98 0.54 0.39 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 9434 0 10 0 23929 54 0 0 25 0 1 0 907644279 52838400 8670 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12900 8670 301 301 0 12599 0
vsize: 51600
[startup+250.01 s]
Raw data (loadavg): 0.98 0.56 0.39 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 9475 0 10 0 24927 55 0 0 25 0 1 0 907644279 52838400 8711 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12900 8711 301 301 0 12599 0
vsize: 51600
[startup+260.011 s]
Raw data (loadavg): 0.98 0.57 0.40 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 9527 0 10 0 25926 57 0 0 25 0 1 0 907644279 53002240 8763 4294967295 134512640 135730672 3221224576 3221223088 134746536 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12940 8763 301 301 0 12639 0
vsize: 51760
[startup+270.01 s]
Raw data (loadavg): 0.99 0.59 0.40 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 9563 0 10 0 26925 58 0 0 25 0 1 0 907644279 53002240 8799 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12940 8799 301 301 0 12639 0
vsize: 51760
[startup+280.011 s]
Raw data (loadavg): 0.99 0.60 0.41 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 9591 0 10 0 27924 59 0 0 25 0 1 0 907644279 53002240 8827 4294967295 134512640 135730672 3221224576 3221223072 134747744 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12940 8827 301 301 0 12639 0
vsize: 51760
[startup+290.012 s]
Raw data (loadavg): 0.99 0.61 0.41 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 9630 0 10 0 28923 60 0 0 25 0 1 0 907644279 53002240 8866 4294967295 134512640 135730672 3221224576 3221223120 134740386 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12940 8866 301 301 0 12639 0
vsize: 51760
[startup+300.012 s]
Raw data (loadavg): 0.99 0.62 0.42 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 10429 0 10 0 29919 64 0 0 25 0 1 0 907644279 56279040 8896 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13740 8896 301 301 0 13439 0
vsize: 54960
[startup+310.011 s]
Raw data (loadavg): 0.99 0.64 0.43 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 10483 0 10 0 30918 65 0 0 25 0 1 0 907644279 56414208 8950 4294967295 134512640 135730672 3221224576 3221223088 134746394 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13773 8950 301 301 0 13472 0
vsize: 55092
[startup+320.011 s]
Raw data (loadavg): 0.99 0.65 0.43 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 10543 0 10 0 31917 67 0 0 25 0 1 0 907644279 56549376 9010 4294967295 134512640 135730672 3221224576 3221223072 134747851 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13806 9010 301 301 0 13505 0
vsize: 55224
[startup+330.011 s]
Raw data (loadavg): 0.99 0.66 0.44 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 10604 0 10 0 32915 68 0 0 25 0 1 0 907644279 56684544 9071 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13839 9071 301 301 0 13538 0
vsize: 55356
[startup+340.012 s]
Raw data (loadavg): 0.99 0.67 0.44 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 10641 0 10 0 33914 70 0 0 25 0 1 0 907644279 56684544 9108 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13839 9108 301 301 0 13538 0
vsize: 55356
[startup+350.011 s]
Raw data (loadavg): 0.99 0.68 0.45 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 10694 0 10 0 34913 71 0 0 25 0 1 0 907644279 56811520 9161 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13870 9161 301 301 0 13569 0
vsize: 55480
[startup+360.012 s]
Raw data (loadavg): 0.99 0.69 0.46 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 10750 0 10 0 35912 72 0 0 25 0 1 0 907644279 56926208 9217 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13898 9217 301 301 0 13597 0
vsize: 55592
[startup+370.012 s]
Raw data (loadavg): 0.99 0.70 0.46 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 10790 0 10 0 36912 73 0 0 25 0 1 0 907644279 57049088 9257 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13928 9257 301 301 0 13627 0
vsize: 55712
[startup+380.012 s]
Raw data (loadavg): 0.99 0.71 0.47 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 10828 0 10 0 37911 73 0 0 25 0 1 0 907644279 57049088 9295 4294967295 134512640 135730672 3221224576 3221223056 134732861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13928 9295 301 301 0 13627 0
vsize: 55712
[startup+390.012 s]
Raw data (loadavg): 0.99 0.72 0.47 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 10857 0 10 0 38910 75 0 0 25 0 1 0 907644279 57049088 9324 4294967295 134512640 135730672 3221224576 3221223200 134783069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13928 9324 301 301 0 13627 0
vsize: 55712
[startup+400.012 s]
Raw data (loadavg): 0.99 0.73 0.47 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 10904 0 10 0 39909 76 0 0 25 0 1 0 907644279 57167872 9371 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13957 9371 301 301 0 13656 0
vsize: 55828
[startup+410.012 s]
Raw data (loadavg): 0.99 0.74 0.48 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 10950 0 10 0 40909 76 0 0 25 0 1 0 907644279 57335808 9417 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13998 9417 301 301 0 13697 0
vsize: 55992
[startup+420.012 s]
Raw data (loadavg): 0.99 0.74 0.48 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 10992 0 10 0 41908 77 0 0 25 0 1 0 907644279 57483264 9459 4294967295 134512640 135730672 3221224576 3221223120 134740206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14034 9459 301 301 0 13733 0
vsize: 56136
[startup+430.012 s]
Raw data (loadavg): 0.99 0.75 0.49 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 11056 0 10 0 42907 78 0 0 25 0 1 0 907644279 57679872 9523 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14082 9523 301 301 0 13781 0
vsize: 56328
[startup+440.012 s]
Raw data (loadavg): 0.99 0.76 0.49 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 11100 0 10 0 43907 79 0 0 25 0 1 0 907644279 57806848 9567 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14113 9567 301 301 0 13812 0
vsize: 56452
[startup+450.012 s]
Raw data (loadavg): 0.99 0.77 0.50 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 11139 0 10 0 44905 80 0 0 25 0 1 0 907644279 57806848 9606 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14113 9606 301 301 0 13812 0
vsize: 56452
[startup+460.012 s]
Raw data (loadavg): 0.99 0.77 0.50 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 11180 0 10 0 45905 81 0 0 25 0 1 0 907644279 57978880 9647 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14155 9647 301 301 0 13854 0
vsize: 56620
[startup+470.012 s]
Raw data (loadavg): 0.99 0.78 0.51 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 11221 0 10 0 46904 82 0 0 25 0 1 0 907644279 58150912 9688 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14197 9688 301 301 0 13896 0
vsize: 56788
[startup+480.012 s]
Raw data (loadavg): 0.99 0.79 0.51 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 11292 0 10 0 47904 83 0 0 25 0 1 0 907644279 58486784 9759 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14279 9759 301 301 0 13978 0
vsize: 57116
[startup+490.011 s]
Raw data (loadavg): 0.99 0.79 0.52 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 11354 0 10 0 48903 83 0 0 25 0 1 0 907644279 58683392 9821 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14327 9821 301 301 0 14026 0
vsize: 57308
[startup+500.011 s]
Raw data (loadavg): 0.99 0.80 0.52 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 11430 0 10 0 49902 84 0 0 25 0 1 0 907644279 59076608 9897 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14423 9897 301 301 0 14122 0
vsize: 57692
[startup+510.012 s]
Raw data (loadavg): 0.99 0.81 0.53 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 11517 0 10 0 50901 85 0 0 25 0 1 0 907644279 59076608 9984 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14423 9984 301 301 0 14122 0
vsize: 57692
[startup+520.012 s]
Raw data (loadavg): 0.99 0.81 0.53 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 11598 0 10 0 51901 86 0 0 25 0 1 0 907644279 59273216 10065 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14471 10065 301 301 0 14170 0
vsize: 57884
[startup+530.012 s]
Raw data (loadavg): 0.99 0.82 0.54 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 11646 0 10 0 52899 87 0 0 25 0 1 0 907644279 59469824 10113 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14519 10113 301 301 0 14218 0
vsize: 58076
[startup+540.012 s]
Raw data (loadavg): 0.99 0.82 0.54 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 11688 0 10 0 53899 88 0 0 25 0 1 0 907644279 59666432 10155 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14567 10155 301 301 0 14266 0
vsize: 58268
[startup+550.012 s]
Raw data (loadavg): 0.99 0.83 0.55 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 11723 0 10 0 54898 89 0 0 25 0 1 0 907644279 59666432 10190 4294967295 134512640 135730672 3221224576 3221223072 134747738 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14567 10190 301 301 0 14266 0
vsize: 58268
[startup+560.012 s]
Raw data (loadavg): 0.99 0.83 0.55 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 11773 0 10 0 55898 90 0 0 25 0 1 0 907644279 59801600 10240 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14600 10240 301 301 0 14299 0
vsize: 58400
[startup+570.013 s]
Raw data (loadavg): 0.99 0.84 0.56 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 11814 0 10 0 56897 91 0 0 25 0 1 0 907644279 59928576 10281 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14631 10281 301 301 0 14330 0
vsize: 58524
[startup+580.012 s]
Raw data (loadavg): 0.99 0.84 0.56 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 11844 0 10 0 57896 91 0 0 25 0 1 0 907644279 59928576 10311 4294967295 134512640 135730672 3221224576 3221223008 134782915 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14631 10311 301 301 0 14330 0
vsize: 58524
[startup+590.012 s]
Raw data (loadavg): 0.99 0.85 0.56 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 11882 0 10 0 58896 92 0 0 25 0 1 0 907644279 59928576 10349 4294967295 134512640 135730672 3221224576 3221223072 134747775 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14631 10349 301 301 0 14330 0
vsize: 58524
[startup+600.012 s]
Raw data (loadavg): 0.99 0.85 0.57 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 11920 0 10 0 59896 92 0 0 25 0 1 0 907644279 60100608 10387 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14673 10387 301 301 0 14372 0
vsize: 58692
[startup+610.013 s]
Raw data (loadavg): 0.99 0.86 0.57 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 11976 0 10 0 60895 93 0 0 25 0 1 0 907644279 60264448 10443 4294967295 134512640 135730672 3221224576 3221223088 134746488 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14713 10443 301 301 0 14412 0
vsize: 58852
[startup+620.013 s]
Raw data (loadavg): 0.99 0.86 0.58 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 12023 0 10 0 61894 94 0 0 25 0 1 0 907644279 60403712 10490 4294967295 134512640 135730672 3221224576 3221223088 134746497 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14747 10490 301 301 0 14446 0
vsize: 58988
[startup+630.013 s]
Raw data (loadavg): 0.99 0.86 0.58 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 12055 0 10 0 62893 95 0 0 25 0 1 0 907644279 60403712 10522 4294967295 134512640 135730672 3221224576 3221223088 134746211 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14747 10522 301 301 0 14446 0
vsize: 58988
[startup+640.013 s]
Raw data (loadavg): 0.99 0.87 0.58 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 12109 0 10 0 63892 97 0 0 25 0 1 0 907644279 60665856 10576 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14811 10576 301 301 0 14510 0
vsize: 59244
[startup+650.013 s]
Raw data (loadavg): 0.99 0.87 0.59 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 12148 0 10 0 64891 98 0 0 25 0 1 0 907644279 60817408 10615 4294967295 134512640 135730672 3221224576 3221223088 134746214 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14848 10615 301 301 0 14547 0
vsize: 59392
[startup+660.013 s]
Raw data (loadavg): 0.99 0.88 0.59 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 12201 0 10 0 65890 99 0 0 25 0 1 0 907644279 61014016 10668 4294967295 134512640 135730672 3221224576 3221223088 134746507 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14896 10668 301 301 0 14595 0
vsize: 59584
[startup+670.013 s]
Raw data (loadavg): 0.99 0.88 0.59 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 13777 0 10 0 66887 103 0 0 25 0 1 0 907644279 67305472 10707 4294967295 134512640 135730672 3221224576 3221222816 134786464 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16432 10707 301 301 0 16131 0
vsize: 65728
[startup+680.012 s]
Raw data (loadavg): 0.99 0.88 0.60 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 13858 0 10 0 67886 103 0 0 25 0 1 0 907644279 67698688 10788 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16528 10788 301 301 0 16227 0
vsize: 66112
[startup+690.013 s]
Raw data (loadavg): 0.99 0.89 0.60 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 14026 0 10 0 68885 104 0 0 25 0 1 0 907644279 68288512 10956 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16672 10956 301 301 0 16371 0
vsize: 66688
[startup+700.012 s]
Raw data (loadavg): 0.99 0.89 0.61 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 14254 0 10 0 69884 105 0 0 25 0 1 0 907644279 68681728 11184 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16768 11184 301 301 0 16467 0
vsize: 67072
[startup+710.013 s]
Raw data (loadavg): 0.99 0.89 0.61 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 14342 0 10 0 70884 106 0 0 25 0 1 0 907644279 69074944 11272 4294967295 134512640 135730672 3221224576 3221223184 134744763 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16864 11272 301 301 0 16563 0
vsize: 67456
[startup+720.013 s]
Raw data (loadavg): 0.99 0.90 0.61 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 14362 0 10 0 71883 107 0 0 25 0 1 0 907644279 69074944 11292 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16864 11292 301 301 0 16563 0
vsize: 67456
[startup+730.012 s]
Raw data (loadavg): 0.99 0.90 0.62 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 14396 0 10 0 72883 108 0 0 25 0 1 0 907644279 69271552 11326 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16912 11326 301 301 0 16611 0
vsize: 67648
[startup+740.012 s]
Raw data (loadavg): 0.99 0.90 0.62 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 14445 0 10 0 73882 108 0 0 25 0 1 0 907644279 69468160 11375 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16960 11375 301 301 0 16659 0
vsize: 67840
[startup+750.012 s]
Raw data (loadavg): 0.99 0.90 0.63 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 14478 0 10 0 74881 109 0 0 25 0 1 0 907644279 69468160 11408 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16960 11408 301 301 0 16659 0
vsize: 67840
[startup+760.013 s]
Raw data (loadavg): 0.99 0.91 0.63 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 14564 0 10 0 75880 110 0 0 25 0 1 0 907644279 69861376 11494 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17056 11494 301 301 0 16755 0
vsize: 68224
[startup+770.012 s]
Raw data (loadavg): 0.99 0.91 0.63 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 14617 0 10 0 76880 111 0 0 25 0 1 0 907644279 70057984 11547 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17104 11547 301 301 0 16803 0
vsize: 68416
[startup+780.012 s]
Raw data (loadavg): 0.99 0.91 0.64 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 14636 0 10 0 77879 111 0 0 25 0 1 0 907644279 70057984 11566 4294967295 134512640 135730672 3221224576 3221223072 134747826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17104 11566 301 301 0 16803 0
vsize: 68416
[startup+790.012 s]
Raw data (loadavg): 0.99 0.91 0.64 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 14667 0 10 0 78879 112 0 0 25 0 1 0 907644279 70057984 11597 4294967295 134512640 135730672 3221224576 3221223088 134746190 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17104 11597 301 301 0 16803 0
vsize: 68416
[startup+800.012 s]
Raw data (loadavg): 0.99 0.92 0.64 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 14687 0 10 0 79878 113 0 0 25 0 1 0 907644279 70057984 11617 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17104 11617 301 301 0 16803 0
vsize: 68416
[startup+810.012 s]
Raw data (loadavg): 0.99 0.92 0.65 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 14717 0 10 0 80878 114 0 0 25 0 1 0 907644279 70193152 11647 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17137 11647 301 301 0 16836 0
vsize: 68548
[startup+820.012 s]
Raw data (loadavg): 0.99 0.92 0.65 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 14755 0 10 0 81877 115 0 0 25 0 1 0 907644279 70193152 11685 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17137 11685 301 301 0 16836 0
vsize: 68548
[startup+830.012 s]
Raw data (loadavg): 0.99 0.92 0.65 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 14803 0 10 0 82876 115 0 0 25 0 1 0 907644279 70320128 11733 4294967295 134512640 135730672 3221224576 3221223072 134747760 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17168 11733 301 301 0 16867 0
vsize: 68672
[startup+840.012 s]
Raw data (loadavg): 0.99 0.92 0.66 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 14836 0 10 0 83875 117 0 0 25 0 1 0 907644279 70443008 11766 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17198 11766 301 301 0 16897 0
vsize: 68792
[startup+850.012 s]
Raw data (loadavg): 0.99 0.93 0.66 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 14878 0 10 0 84875 117 0 0 25 0 1 0 907644279 70443008 11808 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17198 11808 301 301 0 16897 0
vsize: 68792
[startup+860.011 s]
Raw data (loadavg): 0.99 0.93 0.66 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 14921 0 10 0 85874 118 0 0 25 0 1 0 907644279 70578176 11851 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17231 11851 301 301 0 16930 0
vsize: 68924
[startup+870.012 s]
Raw data (loadavg): 0.99 0.93 0.66 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 14946 0 10 0 86873 119 0 0 25 0 1 0 907644279 70578176 11876 4294967295 134512640 135730672 3221224576 3221223072 134747741 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17231 11876 301 301 0 16930 0
vsize: 68924
[startup+880.011 s]
Raw data (loadavg): 0.99 0.93 0.67 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 15009 0 10 0 87872 120 0 0 25 0 1 0 907644279 70967296 11939 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17326 11939 301 301 0 17025 0
vsize: 69304
[startup+890.012 s]
Raw data (loadavg): 0.99 0.93 0.67 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 15093 0 10 0 88871 121 0 0 25 0 1 0 907644279 71360512 12023 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17422 12023 301 301 0 17121 0
vsize: 69688
[startup+900.011 s]
Raw data (loadavg): 0.99 0.94 0.67 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 15127 0 10 0 89871 122 0 0 25 0 1 0 907644279 71360512 12057 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17422 12057 301 301 0 17121 0
vsize: 69688
[startup+910.011 s]
Raw data (loadavg): 0.99 0.94 0.68 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 15181 0 10 0 90870 123 0 0 25 0 1 0 907644279 71557120 12111 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17470 12111 301 301 0 17169 0
vsize: 69880
[startup+920.012 s]
Raw data (loadavg): 0.99 0.94 0.68 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 15246 0 10 0 91869 124 0 0 25 0 1 0 907644279 71753728 12176 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17518 12176 301 301 0 17217 0
vsize: 70072
[startup+930.012 s]
Raw data (loadavg): 0.99 0.94 0.68 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 15289 0 10 0 92869 124 0 0 25 0 1 0 907644279 71950336 12219 4294967295 134512640 135730672 3221224576 3221223200 134783069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17566 12219 301 301 0 17265 0
vsize: 70264
[startup+940.013 s]
Raw data (loadavg): 0.99 0.94 0.68 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 15310 0 10 0 93868 125 0 0 25 0 1 0 907644279 71950336 12240 4294967295 134512640 135730672 3221224576 3221223072 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17566 12240 301 301 0 17265 0
vsize: 70264
[startup+950.012 s]
Raw data (loadavg): 0.99 0.94 0.69 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 15342 0 10 0 94867 126 0 0 25 0 1 0 907644279 71950336 12272 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17566 12272 301 301 0 17265 0
vsize: 70264
[startup+960.013 s]
Raw data (loadavg): 0.99 0.94 0.69 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 15390 0 10 0 95867 127 0 0 25 0 1 0 907644279 72146944 12320 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17614 12320 301 301 0 17313 0
vsize: 70456
[startup+970.013 s]
Raw data (loadavg): 0.99 0.95 0.69 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 15463 0 10 0 96866 128 0 0 25 0 1 0 907644279 72540160 12393 4294967295 134512640 135730672 3221224576 3221223072 134747744 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17710 12393 301 301 0 17409 0
vsize: 70840
[startup+980.013 s]
Raw data (loadavg): 0.99 0.95 0.70 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 15710 0 10 0 97865 129 0 0 25 0 1 0 907644279 72933376 12640 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17806 12640 301 301 0 17505 0
vsize: 71224
[startup+990.014 s]
Raw data (loadavg): 0.99 0.95 0.70 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 15898 0 10 0 98865 130 0 0 25 0 1 0 907644279 73129984 12828 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17854 12828 301 301 0 17553 0
vsize: 71416
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.95 0.70 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 15928 0 10 0 99863 131 0 0 25 0 1 0 907644279 73129984 12858 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17854 12858 301 301 0 17553 0
vsize: 71416
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.95 0.70 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 15978 0 10 0 100863 132 0 0 25 0 1 0 907644279 73326592 12908 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17902 12908 301 301 0 17601 0
vsize: 71608
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.95 0.71 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 16014 0 10 0 101863 132 0 0 25 0 1 0 907644279 73523200 12944 4294967295 134512640 135730672 3221224576 3221223264 134748681 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17950 12944 301 301 0 17649 0
vsize: 71800
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.95 0.71 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 16068 0 10 0 102862 133 0 0 25 0 1 0 907644279 73719808 12998 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17998 12998 301 301 0 17697 0
vsize: 71992
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.95 0.71 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 16137 0 10 0 103861 134 0 0 25 0 1 0 907644279 73916416 13067 4294967295 134512640 135730672 3221224576 3221223072 134747566 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18046 13067 301 301 0 17745 0
vsize: 72184
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.95 0.72 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 16230 0 10 0 104860 135 0 0 25 0 1 0 907644279 74309632 13160 4294967295 134512640 135730672 3221224576 3221223072 134747834 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18142 13160 301 301 0 17841 0
vsize: 72568
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.95 0.72 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 16304 0 10 0 105860 136 0 0 25 0 1 0 907644279 74506240 13234 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18190 13234 301 301 0 17889 0
vsize: 72760
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.96 0.72 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 16354 0 10 0 106859 137 0 0 25 0 1 0 907644279 74702848 13284 4294967295 134512640 135730672 3221224576 3221223120 134740279 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18238 13284 301 301 0 17937 0
vsize: 72952
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.96 0.73 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 16536 0 10 0 107858 138 0 0 25 0 1 0 907644279 74899456 13466 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18286 13466 301 301 0 17985 0
vsize: 73144
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.96 0.73 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 16660 0 10 0 108857 139 0 0 25 0 1 0 907644279 75096064 13590 4294967295 134512640 135730672 3221224576 3221223088 134746501 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18334 13590 301 301 0 18033 0
vsize: 73336
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.96 0.73 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 16708 0 10 0 109856 139 0 0 25 0 1 0 907644279 75292672 13638 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18382 13638 301 301 0 18081 0
vsize: 73528
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.96 0.73 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 16809 0 10 0 110856 140 0 0 25 0 1 0 907644279 75685888 13739 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18478 13739 301 301 0 18177 0
vsize: 73912
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.96 0.73 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 16912 0 10 0 111855 142 0 0 25 0 1 0 907644279 75882496 13842 4294967295 134512640 135730672 3221224576 3221223088 134746481 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18526 13842 301 301 0 18225 0
vsize: 74104
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.96 0.74 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 16965 0 10 0 112854 142 0 0 25 0 1 0 907644279 76079104 13895 4294967295 134512640 135730672 3221224576 3221223088 134746399 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18574 13895 301 301 0 18273 0
vsize: 74296
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.96 0.74 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 17003 0 10 0 113854 143 0 0 25 0 1 0 907644279 76079104 13933 4294967295 134512640 135730672 3221224576 3221223200 134783328 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18574 13933 301 301 0 18273 0
vsize: 74296
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.96 0.74 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 17037 0 10 0 114853 143 0 0 25 0 1 0 907644279 76079104 13967 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18574 13967 301 301 0 18273 0
vsize: 74296
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.96 0.74 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 17062 0 10 0 115853 144 0 0 25 0 1 0 907644279 76079104 13992 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18574 13992 301 301 0 18273 0
vsize: 74296
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.74 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 17085 0 10 0 116852 145 0 0 25 0 1 0 907644279 76079104 14015 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18574 14015 301 301 0 18273 0
vsize: 74296
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.75 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 17111 0 10 0 117851 146 0 0 25 0 1 0 907644279 76079104 14041 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18574 14041 301 301 0 18273 0
vsize: 74296
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.75 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 17176 0 10 0 118851 147 0 0 25 0 1 0 907644279 76079104 14106 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18574 14106 301 301 0 18273 0
vsize: 74296
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.75 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 17323 0 10 0 119850 147 0 0 25 0 1 0 907644279 76079104 14253 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18574 14253 301 301 0 18273 0
vsize: 74296
[startup+1210.01 s]
Raw data (loadavg): 0.99 0.97 0.75 2/55 4859
Raw data (stat): 4857 (pb2sat-v2) R 4856 8378 8377 0 -1 0 17443 0 10 0 120849 148 0 0 25 0 1 0 907644279 76472320 14373 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18670 14373 301 301 0 18369 0
vsize: 74680
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.27 s]
Raw data (loadavg): 0.99 0.97 0.75 1/55 4859
Raw data (stat): 4857 (pb2sat-v2) Z 4856 8378 8377 0 -1 12 17445 0 10 0 120872 152 0 0 25 0 1 0 907644279 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): 1210.27
CPU time (s): 1210.24
CPU user time (s): 1208.72
CPU system time (s): 1.52077
CPU usage (%): 99.9977
Max. virtual memory (Kb): 74680
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####