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/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb
MD5SUM	4caec1e880871fcef3276cf001aca352
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
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	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	104
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	7.63384
Number of variables	4632
Total number of constraints	35596
Number of constraints which are clauses	29940
Number of constraints which are cardinality constraints (but not clauses)	5578
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	1
Maximum length of a constraint	29
Trace number 42245

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-16 04:08:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25461 boxname=wulflinc3 idbench=363 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4caec1e880871fcef3276cf001aca352  /oldhome/oroussel/tmp/wulflinc3/normalized-ppp:1-13.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-ppp:1-13.opb
IDLAUNCH: 25461
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        800504 kB
Buffers:         34184 kB
Cached:         177768 kB
SwapCached:        820 kB
Active:          53960 kB
Inactive:       160164 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        800252 kB
SwapTotal:     2097136 kB
SwapFree:      2095340 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            14212 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 04:28:37 (client local time) WITH STATUS 0 IN 1200.93 SECONDS
stats: 25461 7 1200.93 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 7790/28702	Time: 29.3725/86400
c Decision: 7790/28702	Time: 34.4178/86400
c Decision: 7790/28702	Time: 38.9941/86400
c Decision: 7790/28702	Time: 43.4114/86400
c Decision: 7790/28702	Time: 48.3696/86400
c Decision: 7790/28702	Time: 53.2309/86400
c Decision: 7790/28702	Time: 59.019/86400
c Decision: 7790/28702	Time: 63.5683/86400
c Decision: 7790/28702	Time: 68.8915/86400
c Decision: 7790/28702	Time: 73.4178/86400
c Decision: 7790/28702	Time: 79.132/86400
c Decision: 7790/28702	Time: 84.2632/86400
c Decision: 7790/28702	Time: 89.7694/86400
c Decision: 7790/28702	Time: 95.2775/86400
c Decision: 7790/28702	Time: 100.895/86400
c Decision: 7790/28702	Time: 106.189/86400
c Decision: 7790/28702	Time: 112.08/86400
c Decision: 7790/28702	Time: 117.853/86400
c Decision: 7790/28702	Time: 123.156/86400
c Decision: 7790/28702	Time: 128.736/86400
c Decision: 7790/28702	Time: 134.628/86400
c Decision: 7790/28702	Time: 141.37/86400
c Decision: 7790/28702	Time: 147.642/86400
c Decision: 7790/28702	Time: 153.27/86400
c Decision: 7790/28702	Time: 159.036/86400
c Decision: 7790/28702	Time: 165.739/86400
c Decision: 7790/28702	Time: 171.586/86400
c Decision: 7790/28702	Time: 177.86/86400
c Decision: 7790/28702	Time: 183.712/86400
c Decision: 7790/28702	Time: 189.96/86400
c Decision: 7790/28702	Time: 196.289/86400
c Decision: 7790/28702	Time: 203.166/86400
c Decision: 7790/28702	Time: 210.787/86400
c Decision: 7790/28702	Time: 217.198/86400
c Decision: 7790/28702	Time: 223.941/86400
c Decision: 7790/28702	Time: 230.761/86400
c Decision: 7790/28702	Time: 237.21/86400
c Decision: 7790/28702	Time: 244.306/86400
c Decision: 7790/28702	Time: 252.464/86400
c Decision: 7790/28702	Time: 260.279/86400
c Decision: 7790/28702	Time: 268.529/86400
c Decision: 7790/28702	Time: 275.297/86400
c Decision: 7790/28702	Time: 282.352/86400
c Decision: 7790/28702	Time: 290.154/86400
c Decision: 7790/28702	Time: 298.154/86400
c Decision: 7790/28702	Time: 304.712/86400
c Decision: 7790/28702	Time: 312.962/86400
c Decision: 7790/28702	Time: 321.809/86400
c Decision: 7790/28702	Time: 328.96/86400
c Decision: 7790/28702	Time: 335.968/86400
c Decision: 7790/28702	Time: 343.305/86400
c Decision: 7790/28702	Time: 350.969/86400
c Decision: 7790/28702	Time: 358.886/86400
c Decision: 7790/28702	Time: 366.331/86400
c Decision: 7790/28702	Time: 374.082/86400
c Decision: 7790/28702	Time: 382.272/86400
c Decision: 7790/28702	Time: 389.736/86400
c Decision: 7790/28702	Time: 396.987/86400
c Decision: 7790/28702	Time: 404.398/86400
c Decision: 7790/28702	Time: 412.47/86400
c Decision: 7790/28702	Time: 420.276/86400
c Decision: 7790/28702	Time: 430.066/86400
c Decision: 7790/28702	Time: 437.589/86400
c Decision: 7790/28702	Time: 446.466/86400
c Decision: 7790/28702	Time: 455.795/86400
c Decision: 7790/28702	Time: 465.448/86400
c Decision: 7790/28702	Time: 474.453/86400
c Decision: 7790/28702	Time: 483.317/86400
c Decision: 7790/28702	Time: 490.558/86400
c Decision: 7790/28702	Time: 499.574/86400
c Decision: 7790/28702	Time: 508.013/86400
c Decision: 7790/28702	Time: 517.979/86400
c Decision: 7790/28702	Time: 526.67/86400
c Decision: 7790/28702	Time: 536.028/86400
c Decision: 7790/28702	Time: 545.091/86400
c Decision: 7790/28702	Time: 554.193/86400
c Decision: 7790/28702	Time: 562.411/86400
c Decision: 7790/28702	Time: 570.531/86400
c Decision: 7790/28702	Time: 578.884/86400
c Decision: 7790/28702	Time: 586.168/86400
c Decision: 7790/28702	Time: 593.995/86400
c Decision: 7790/28702	Time: 600.883/86400
c Decision: 7790/28702	Time: 608.712/86400
c Decision: 7790/28702	Time: 616.65/86400
c Decision: 7790/28702	Time: 624.982/86400
c Decision: 7790/28702	Time: 632.094/86400
c Decision: 7790/28702	Time: 639.097/86400
c Decision: 7790/28702	Time: 647.601/86400
c Decision: 7790/28702	Time: 656.448/86400
c Decision: 7790/28702	Time: 664.804/86400
c Decision: 7790/28702	Time: 672.625/86400
c Decision: 7790/28702	Time: 682.084/86400
c Decision: 7790/28702	Time: 691.675/86400
c Decision: 7790/28702	Time: 699.695/86400
c Decision: 7790/28702	Time: 708.656/86400
c Decision: 7790/28702	Time: 717.573/86400
c Decision: 7790/28702	Time: 726.803/86400
c Decision: 7790/28702	Time: 736.165/86400
c Decision: 7790/28702	Time: 743.937/86400
c Decision: 7790/28702	Time: 752.333/86400
c Decision: 7790/28702	Time: 761.605/86400
c Decision: 7790/28702	Time: 768.433/86400
c Decision: 7790/28702	Time: 775.633/86400
c Decision: 7790/28702	Time: 784.02/86400
c Decision: 7790/28702	Time: 793.431/86400
c Decision: 7790/28702	Time: 802.523/86400
c Decision: 7790/28702	Time: 812.24/86400
c Decision: 7790/28702	Time: 821.59/86400
c Decision: 7790/28702	Time: 831.035/86400
c Decision: 7790/28702	Time: 841.536/86400
c Decision: 7790/28702	Time: 851.344/86400
c Decision: 7790/28702	Time: 861.703/86400
c Decision: 7790/28702	Time: 870.887/86400
c Decision: 7790/28702	Time: 881.617/86400
c Decision: 7790/28702	Time: 891.539/86400
c Decision: 7790/28702	Time: 902.727/86400
c Decision: 7790/28702	Time: 912.84/86400
c Decision: 7790/28702	Time: 922.667/86400
c Decision: 7790/28702	Time: 931.909/86400
c Decision: 7790/28702	Time: 942.282/86400
c Decision: 7790/28702	Time: 954.067/86400
c Decision: 7790/28702	Time: 964.575/86400
c Decision: 7790/28702	Time: 975.683/86400
c Decision: 7790/28702	Time: 987.242/86400
c Decision: 7790/28702	Time: 998.185/86400
c Decision: 7790/28702	Time: 1010.28/86400
c Decision: 7790/28702	Time: 1024.16/86400
c Decision: 7790/28702	Time: 1035.55/86400
c Decision: 7790/28702	Time: 1046.69/86400
c Decision: 7790/28702	Time: 1059.16/86400
c Decision: 7790/28702	Time: 1070.6/86400
c Decision: 7790/28702	Time: 1082.11/86400
c Decision: 7790/28702	Time: 1093.62/86400
c Decision: 7790/28702	Time: 1103.64/86400
c Decision: 7790/28702	Time: 1115.27/86400
c Decision: 7790/28702	Time: 1127.33/86400
c Decision: 7790/28702	Time: 1138.2/86400
c Decision: 7790/28702	Time: 1150.28/86400
c Decision: 7790/28702	Time: 1159.43/86400
c Decision: 7790/28702	Time: 1169.88/86400
c Decision: 7790/28702	Time: 1180.95/86400
c Decision: 7790/28702	Time: 1193.06/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
Raw data (loadavg): 0.96 0.96 0.91 2/54 15509
Raw data (stat): 15509 (runsolver) R 15508 20224 20223 0 -1 64 3 0 0 0 0 0 0 0 19 0 1 0 967755882 884736 93 4294967295 134512640 135332820 3221224480 3221219520 134917783 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 93 205 205 0 11 0
vsize: 864
Current StackSize limit: 67108864 bytes
[startup+10.0002 s]
Raw data (loadavg): 1.13 0.99 0.92 3/57 15547
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 4234 0 0 0 982 16 0 0 25 0 1 0 967755882 13205504 2850 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3224 2850 301 301 0 2923 0
vsize: 12896
[startup+20.0221 s]
Raw data (loadavg): 1.19 1.01 0.92 3/56 15556
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 4447 0 0 0 1978 23 0 0 25 0 1 0 967755882 15843328 3063 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3868 3063 301 301 0 3567 0
vsize: 15472
[startup+30.139 s]
Raw data (loadavg): 1.16 1.01 0.92 2/54 15562
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 4565 0 0 0 2984 29 0 0 25 0 1 0 967755882 15978496 3181 4294967295 134512640 135730672 3221224592 3221222912 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3901 3181 301 301 0 3600 0
vsize: 15604
[startup+40.2055 s]
Raw data (loadavg): 1.13 1.01 0.92 2/54 15562
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 4753 0 0 0 3974 35 0 0 25 0 1 0 967755882 16117760 3255 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3935 3255 301 301 0 3634 0
vsize: 15740
[startup+50.2763 s]
Raw data (loadavg): 1.11 1.01 0.92 2/54 15562
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 4913 0 0 0 4960 42 0 0 25 0 1 0 967755882 16252928 3301 4294967295 134512640 135730672 3221224592 3221222912 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3968 3301 301 301 0 3667 0
vsize: 15872
[startup+60.4455 s]
Raw data (loadavg): 1.10 1.01 0.92 2/54 15562
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 5085 0 0 0 5969 48 0 0 25 0 1 0 967755882 16388096 3359 4294967295 134512640 135730672 3221224592 3221223088 134747871 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4001 3359 301 301 0 3700 0
vsize: 16004
[startup+70.6328 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 15562
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 5242 0 0 0 6982 54 0 0 25 0 1 0 967755882 16519168 3402 4294967295 134512640 135730672 3221224592 3221223200 134744850 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4033 3402 301 301 0 3732 0
vsize: 16132
[startup+80.9148 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 15562
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 5441 0 0 0 8004 61 0 0 25 0 1 0 967755882 16654336 3487 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4066 3487 301 301 0 3765 0
vsize: 16264
[startup+90.9146 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 15562
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 5594 0 0 0 8998 67 0 0 25 0 1 0 967755882 16789504 3526 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4099 3526 301 301 0 3798 0
vsize: 16396
[startup+100.915 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 15564
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 5734 0 0 0 9991 74 0 0 25 0 1 0 967755882 16789504 3552 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4099 3552 301 301 0 3798 0
vsize: 16396
[startup+110.917 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 15564
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 6693 0 0 0 10982 83 0 0 25 0 1 0 967755882 20066304 3628 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4899 3628 301 301 0 4598 0
vsize: 19596
[startup+120.918 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 15564
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 6773 0 0 0 11976 88 0 0 25 0 1 0 967755882 20201472 3651 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4932 3651 301 301 0 4631 0
vsize: 19728
[startup+130.919 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 15564
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 6914 0 0 0 12970 95 0 0 25 0 1 0 967755882 20201472 3678 4294967295 134512640 135730672 3221224592 3221222912 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4932 3678 301 301 0 4631 0
vsize: 19728
[startup+140.919 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 15564
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 7112 0 0 0 13964 101 0 0 25 0 1 0 967755882 20467712 3762 4294967295 134512640 135730672 3221224592 3221222912 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4997 3762 301 301 0 4696 0
vsize: 19988
[startup+150.92 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 15564
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 7194 0 0 0 14959 106 0 0 25 0 1 0 967755882 20467712 3787 4294967295 134512640 135730672 3221224592 3221223280 134748420 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4997 3787 301 301 0 4696 0
vsize: 19988
[startup+160.921 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 15564
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 7368 0 0 0 15953 112 0 0 25 0 1 0 967755882 20602880 3847 4294967295 134512640 135730672 3221224592 3221223088 134747811 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5030 3847 301 301 0 4729 0
vsize: 20120
[startup+170.922 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 15564
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 7552 0 0 0 16947 118 0 0 25 0 1 0 967755882 20738048 3917 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5063 3917 301 301 0 4762 0
vsize: 20252
[startup+180.923 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 15564
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 7649 0 0 0 17943 122 0 0 25 0 1 0 967755882 20873216 3957 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5096 3957 301 301 0 4795 0
vsize: 20384
[startup+190.923 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 15564
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 7820 0 0 0 18938 128 0 0 25 0 1 0 967755882 20873216 4014 4294967295 134512640 135730672 3221224592 3221223088 134747902 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5096 4014 301 301 0 4795 0
vsize: 20384
[startup+200.924 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 15564
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 8010 0 0 0 19932 133 0 0 25 0 1 0 967755882 21008384 4090 4294967295 134512640 135730672 3221224592 3221223248 134748661 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5129 4090 301 301 0 4828 0
vsize: 20516
[startup+210.925 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15564
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 8091 0 0 0 20927 139 0 0 25 0 1 0 967755882 21143552 4114 4294967295 134512640 135730672 3221224592 3221223088 134747747 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5162 4114 301 301 0 4861 0
vsize: 20648
[startup+220.927 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15564
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 8202 0 0 0 21920 145 0 0 25 0 1 0 967755882 21143552 4168 4294967295 134512640 135730672 3221224592 3221223248 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5162 4168 301 301 0 4861 0
vsize: 20648
[startup+230.928 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15564
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 8381 0 0 0 22914 152 0 0 25 0 1 0 967755882 21278720 4233 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5195 4233 301 301 0 4894 0
vsize: 20780
[startup+240.928 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 15564
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 8476 0 0 0 23908 158 0 0 25 0 1 0 967755882 25473024 4271 4294967295 134512640 135730672 3221224592 3221223200 134748234 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6219 4271 301 301 0 5918 0
vsize: 24876
[startup+250.929 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 15564
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 8621 0 0 0 24902 164 0 0 25 0 1 0 967755882 25608192 4302 4294967295 134512640 135730672 3221224592 3221223088 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6252 4302 301 301 0 5951 0
vsize: 25008
[startup+260.929 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 15564
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 8698 0 0 0 25896 170 0 0 25 0 1 0 967755882 25743360 4322 4294967295 134512640 135730672 3221224592 3221222912 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6285 4322 301 301 0 5984 0
vsize: 25140
[startup+270.93 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 15564
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 8779 0 0 0 26891 176 0 0 25 0 1 0 967755882 25743360 4346 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6285 4346 301 301 0 5984 0
vsize: 25140
[startup+280.93 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 15564
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 8920 0 0 0 27885 181 0 0 25 0 1 0 967755882 25743360 4373 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6285 4373 301 301 0 5984 0
vsize: 25140
[startup+290.931 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 15564
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 9002 0 0 0 28882 185 0 0 25 0 1 0 967755882 25878528 4398 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6318 4398 301 301 0 6017 0
vsize: 25272
[startup+300.931 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 15564
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 9107 0 0 0 29876 191 0 0 25 0 1 0 967755882 26013696 4446 4294967295 134512640 135730672 3221224592 3221222912 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6351 4446 301 301 0 6050 0
vsize: 25404
[startup+310.932 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 15564
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 9280 0 0 0 30870 197 0 0 25 0 1 0 967755882 26013696 4505 4294967295 134512640 135730672 3221224592 3221222912 134732493 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6351 4505 301 301 0 6050 0
vsize: 25404
[startup+320.933 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 15564
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 9364 0 0 0 31865 202 0 0 25 0 1 0 967755882 26148864 4532 4294967295 134512640 135730672 3221224592 3221223136 134740268 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6384 4532 301 301 0 6083 0
vsize: 25536
[startup+330.934 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 15564
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 9449 0 0 0 32859 208 0 0 25 0 1 0 967755882 26284032 4560 4294967295 134512640 135730672 3221224592 3221223180 134747723 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6417 4560 301 301 0 6116 0
vsize: 25668
[startup+340.933 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 15564
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 9624 0 0 0 33853 214 0 0 25 0 1 0 967755882 26284032 4621 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6417 4621 301 301 0 6116 0
vsize: 25668
[startup+350.935 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 9738 0 0 0 34847 220 0 0 25 0 1 0 967755882 26419200 4678 4294967295 134512640 135730672 3221224592 3221223088 134747641 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6450 4678 301 301 0 6149 0
vsize: 25800
[startup+360.935 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 9811 0 0 0 35842 225 0 0 25 0 1 0 967755882 26419200 4694 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6450 4694 301 301 0 6149 0
vsize: 25800
[startup+370.936 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 9951 0 0 0 36837 230 0 0 25 0 1 0 967755882 26554368 4720 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6483 4720 301 301 0 6182 0
vsize: 25932
[startup+380.936 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 10049 0 0 0 37832 236 0 0 25 0 1 0 967755882 26554368 4761 4294967295 134512640 135730672 3221224592 3221223248 134748670 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6483 4761 301 301 0 6182 0
vsize: 25932
[startup+390.937 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 10159 0 0 0 38826 241 0 0 25 0 1 0 967755882 26689536 4814 4294967295 134512640 135730672 3221224592 3221223088 134747770 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6516 4814 301 301 0 6215 0
vsize: 26064
[startup+400.937 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 10237 0 0 0 39822 245 0 0 25 0 1 0 967755882 26824704 4835 4294967295 134512640 135730672 3221224592 3221223200 134744649 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6549 4835 301 301 0 6248 0
vsize: 26196
[startup+410.938 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 10402 0 0 0 40818 250 0 0 25 0 1 0 967755882 26824704 4886 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6549 4886 301 301 0 6248 0
vsize: 26196
[startup+420.939 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 10514 0 0 0 41813 255 0 0 25 0 1 0 967755882 26959872 4941 4294967295 134512640 135730672 3221224592 3221223088 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6582 4941 301 301 0 6281 0
vsize: 26328
[startup+430.94 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 10603 0 0 0 42809 259 0 0 25 0 1 0 967755882 26959872 4973 4294967295 134512640 135730672 3221224592 3221223088 134747647 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6582 4973 301 301 0 6281 0
vsize: 26328
[startup+440.94 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 10673 0 0 0 43805 263 0 0 25 0 1 0 967755882 26959872 4986 4294967295 134512640 135730672 3221224592 3221222912 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6582 4986 301 301 0 6281 0
vsize: 26328
[startup+450.941 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 10812 0 0 0 44798 270 0 0 25 0 1 0 967755882 27099136 5011 4294967295 134512640 135730672 3221224592 3221223200 134748241 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6616 5011 301 301 0 6315 0
vsize: 26464
[startup+460.941 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 10896 0 0 0 45792 276 0 0 25 0 1 0 967755882 27234304 5038 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6649 5038 301 301 0 6348 0
vsize: 26596
[startup+470.943 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 10996 0 0 0 46787 281 0 0 25 0 1 0 967755882 27234304 5081 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6649 5081 301 301 0 6348 0
vsize: 26596
[startup+480.943 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 11072 0 0 0 47783 285 0 0 25 0 1 0 967755882 27234304 5100 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6649 5100 301 301 0 6348 0
vsize: 26596
[startup+490.943 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 11147 0 0 0 48779 289 0 0 25 0 1 0 967755882 27369472 5118 4294967295 134512640 135730672 3221224592 3221223088 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6682 5118 301 301 0 6381 0
vsize: 26728
[startup+500.944 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 11259 0 0 0 49774 295 0 0 25 0 1 0 967755882 27369472 5173 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6682 5173 301 301 0 6381 0
vsize: 26728
[startup+510.945 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 11367 0 0 0 50769 300 0 0 25 0 1 0 967755882 27504640 5224 4294967295 134512640 135730672 3221224592 3221223088 134747950 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6715 5224 301 301 0 6414 0
vsize: 26860
[startup+520.944 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 11446 0 0 0 51765 304 0 0 25 0 1 0 967755882 27504640 5246 4294967295 134512640 135730672 3221224592 3221223088 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6715 5246 301 301 0 6414 0
vsize: 26860
[startup+530.946 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 11524 0 0 0 52761 308 0 0 25 0 1 0 967755882 27504640 5267 4294967295 134512640 135730672 3221224592 3221223104 134746486 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6715 5267 301 301 0 6414 0
vsize: 26860
[startup+540.946 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 11654 0 0 0 53757 312 0 0 25 0 1 0 967755882 27639808 5283 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6748 5283 301 301 0 6447 0
vsize: 26992
[startup+550.947 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 11750 0 0 0 54754 315 0 0 25 0 1 0 967755882 27639808 5322 4294967295 134512640 135730672 3221224592 3221223088 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6748 5322 301 301 0 6447 0
vsize: 26992
[startup+560.948 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 11855 0 0 0 55750 319 0 0 25 0 1 0 967755882 27774976 5370 4294967295 134512640 135730672 3221224592 3221223088 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6781 5370 301 301 0 6480 0
vsize: 27124
[startup+570.949 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 11931 0 0 0 56746 324 0 0 25 0 1 0 967755882 27774976 5389 4294967295 134512640 135730672 3221224592 3221223088 134747613 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6781 5389 301 301 0 6480 0
vsize: 27124
[startup+580.95 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 12004 0 0 0 57740 329 0 0 25 0 1 0 967755882 27774976 5405 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6781 5405 301 301 0 6480 0
vsize: 27124
[startup+590.95 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 12142 0 0 0 58737 333 0 0 25 0 1 0 967755882 27910144 5429 4294967295 134512640 135730672 3221224592 3221223088 134747720 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6814 5429 301 301 0 6513 0
vsize: 27256
[startup+600.951 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 12248 0 0 0 59731 338 0 0 25 0 1 0 967755882 27910144 5478 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6814 5478 301 301 0 6513 0
vsize: 27256
[startup+610.952 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 12327 0 0 0 60727 342 0 0 25 0 1 0 967755882 28045312 5500 4294967295 134512640 135730672 3221224592 3221223136 134740386 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6847 5500 301 301 0 6546 0
vsize: 27388
[startup+620.952 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 12408 0 0 0 61723 347 0 0 25 0 1 0 967755882 28184576 5524 4294967295 134512640 135730672 3221224592 3221223104 134746214 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6881 5524 301 301 0 6580 0
vsize: 27524
[startup+630.953 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 12556 0 0 0 62719 351 0 0 25 0 1 0 967755882 28184576 5558 4294967295 134512640 135730672 3221224592 3221222912 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6881 5558 301 301 0 6580 0
vsize: 27524
[startup+640.954 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 12660 0 0 0 63715 355 0 0 25 0 1 0 967755882 28319744 5605 4294967295 134512640 135730672 3221224592 3221223248 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6914 5605 301 301 0 6613 0
vsize: 27656
[startup+650.955 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 12739 0 0 0 64710 360 0 0 25 0 1 0 967755882 28319744 5627 4294967295 134512640 135730672 3221224592 3221223088 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6914 5627 301 301 0 6613 0
vsize: 27656
[startup+660.955 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 12878 0 0 0 65706 364 0 0 25 0 1 0 967755882 28454912 5652 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6947 5652 301 301 0 6646 0
vsize: 27788
[startup+670.956 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 12971 0 0 0 66702 368 0 0 25 0 1 0 967755882 28454912 5688 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6947 5688 301 301 0 6646 0
vsize: 27788
[startup+680.957 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 13074 0 0 0 67697 373 0 0 25 0 1 0 967755882 28594176 5734 4294967295 134512640 135730672 3221224592 3221223088 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6981 5734 301 301 0 6680 0
vsize: 27924
[startup+690.957 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 13151 0 0 0 68692 378 0 0 25 0 1 0 967755882 28594176 5754 4294967295 134512640 135730672 3221224592 3221223200 134748241 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6981 5754 301 301 0 6680 0
vsize: 27924
[startup+700.958 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 13254 0 0 0 69688 382 0 0 25 0 1 0 967755882 28725248 5800 4294967295 134512640 135730672 3221224592 3221223088 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7013 5800 301 301 0 6712 0
vsize: 28052
[startup+710.959 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 13360 0 0 0 70685 386 0 0 25 0 1 0 967755882 28725248 5849 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7013 5849 301 301 0 6712 0
vsize: 28052
[startup+720.959 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 13473 0 0 0 71680 391 0 0 25 0 1 0 967755882 28725248 5905 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7013 5905 301 301 0 6712 0
vsize: 28052
[startup+730.96 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 13551 0 0 0 72677 394 0 0 25 0 1 0 967755882 28860416 5926 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7046 5926 301 301 0 6745 0
vsize: 28184
[startup+740.961 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 13679 0 0 0 73673 398 0 0 25 0 1 0 967755882 28860416 5940 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7046 5940 301 301 0 6745 0
vsize: 28184
[startup+750.962 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 13752 0 0 0 74668 402 0 0 25 0 1 0 967755882 28860416 5956 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7046 5956 301 301 0 6745 0
vsize: 28184
[startup+760.963 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 13823 0 0 0 75665 406 0 0 25 0 1 0 967755882 28999680 5970 4294967295 134512640 135730672 3221224592 3221223200 134744757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7080 5970 301 301 0 6779 0
vsize: 28320
[startup+770.963 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 13913 0 0 0 76660 411 0 0 25 0 1 0 967755882 28999680 6003 4294967295 134512640 135730672 3221224592 3221223088 134747868 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7080 6003 301 301 0 6779 0
vsize: 28320
[startup+780.964 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 14059 0 0 0 77656 415 0 0 25 0 1 0 967755882 29134848 6035 4294967295 134512640 135730672 3221224592 3221223248 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7113 6035 301 301 0 6812 0
vsize: 28452
[startup+790.965 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 14127 0 0 0 78653 418 0 0 25 0 1 0 967755882 29134848 6046 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7113 6046 301 301 0 6812 0
vsize: 28452
[startup+800.966 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 14229 0 0 0 79648 423 0 0 25 0 1 0 967755882 29270016 6091 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7146 6091 301 301 0 6845 0
vsize: 28584
[startup+810.967 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 14327 0 0 0 80645 427 0 0 25 0 1 0 967755882 29270016 6132 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7146 6132 301 301 0 6845 0
vsize: 28584
[startup+820.966 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 14402 0 0 0 81641 431 0 0 25 0 1 0 967755882 29405184 6150 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7179 6150 301 301 0 6878 0
vsize: 28716
[startup+830.967 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 14495 0 0 0 82638 434 0 0 25 0 1 0 967755882 29405184 6186 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7179 6186 301 301 0 6878 0
vsize: 28716
[startup+840.967 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 14608 0 0 0 83635 437 0 0 25 0 1 0 967755882 29540352 6242 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7212 6242 301 301 0 6911 0
vsize: 28848
[startup+850.968 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 14715 0 0 0 84632 440 0 0 25 0 1 0 967755882 29540352 6292 4294967295 134512640 135730672 3221224592 3221223200 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7212 6292 301 301 0 6911 0
vsize: 28848
[startup+860.968 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 14803 0 0 0 85628 445 0 0 25 0 1 0 967755882 29540352 6323 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7212 6323 301 301 0 6911 0
vsize: 28848
[startup+870.968 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 14882 0 0 0 86624 448 0 0 25 0 1 0 967755882 29679616 6345 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7246 6345 301 301 0 6945 0
vsize: 28984
[startup+880.968 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 14951 0 0 0 87621 452 0 0 25 0 1 0 967755882 29679616 6357 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7246 6357 301 301 0 6945 0
vsize: 28984
[startup+890.968 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 15044 0 0 0 88616 457 0 0 25 0 1 0 967755882 29814784 6393 4294967295 134512640 135730672 3221224592 3221223200 134744757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7279 6393 301 301 0 6978 0
vsize: 29116
[startup+900.969 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 15152 0 0 0 89613 460 0 0 25 0 1 0 967755882 29814784 6444 4294967295 134512640 135730672 3221224592 3221223088 134747744 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7279 6444 301 301 0 6978 0
vsize: 29116
[startup+910.969 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 15245 0 0 0 90610 464 0 0 25 0 1 0 967755882 29954048 6480 4294967295 134512640 135730672 3221224592 3221223088 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7313 6480 301 301 0 7012 0
vsize: 29252
[startup+920.969 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 15316 0 0 0 91606 468 0 0 25 0 1 0 967755882 29954048 6494 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7313 6494 301 301 0 7012 0
vsize: 29252
[startup+930.97 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 15386 0 0 0 92604 470 0 0 25 0 1 0 967755882 29954048 6507 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7313 6507 301 301 0 7012 0
vsize: 29252
[startup+940.969 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 15465 0 0 0 93600 474 0 0 25 0 1 0 967755882 30089216 6529 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7346 6529 301 301 0 7045 0
vsize: 29384
[startup+950.971 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 15541 0 0 0 94598 477 0 0 25 0 1 0 967755882 30089216 6548 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7346 6548 301 301 0 7045 0
vsize: 29384
[startup+960.971 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 15613 0 0 0 95594 481 0 0 25 0 1 0 967755882 30089216 6563 4294967295 134512640 135730672 3221224592 3221223088 134747744 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7346 6563 301 301 0 7045 0
vsize: 29384
[startup+970.971 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 15684 0 0 0 96591 484 0 0 25 0 1 0 967755882 30224384 6577 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7379 6577 301 301 0 7078 0
vsize: 29516
[startup+980.972 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 15759 0 0 0 97588 487 0 0 25 0 1 0 967755882 30224384 6595 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7379 6595 301 301 0 7078 0
vsize: 29516
[startup+990.972 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 15776 0 0 0 98584 491 0 0 25 0 1 0 967755882 30224384 6612 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7379 6612 301 301 0 7078 0
vsize: 29516
[startup+1000.97 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 15897 0 0 0 99582 494 0 0 25 0 1 0 967755882 30363648 6676 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7413 6676 301 301 0 7112 0
vsize: 29652
[startup+1010.97 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 15990 0 0 0 100578 498 0 0 25 0 1 0 967755882 30363648 6712 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7413 6712 301 301 0 7112 0
vsize: 29652
[startup+1020.97 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 16062 0 0 0 101575 500 0 0 25 0 1 0 967755882 30363648 6727 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7413 6727 301 301 0 7112 0
vsize: 29652
[startup+1030.97 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 16130 0 0 0 102571 504 0 0 25 0 1 0 967755882 30502912 6738 4294967295 134512640 135730672 3221224592 3221222912 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7447 6738 301 301 0 7146 0
vsize: 29788
[startup+1040.97 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 16200 0 0 0 103568 508 0 0 25 0 1 0 967755882 30502912 6751 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7447 6751 301 301 0 7146 0
vsize: 29788
[startup+1050.98 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 16215 0 0 0 104565 511 0 0 25 0 1 0 967755882 30502912 6766 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7447 6766 301 301 0 7146 0
vsize: 29788
[startup+1060.98 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 16237 0 0 0 105562 514 0 0 25 0 1 0 967755882 30638080 6788 4294967295 134512640 135730672 3221224592 3221223216 134748079 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7480 6788 301 301 0 7179 0
vsize: 29920
[startup+1070.98 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 16323 0 0 0 106559 518 0 0 25 0 1 0 967755882 30638080 6817 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7480 6817 301 301 0 7179 0
vsize: 29920
[startup+1080.98 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 16402 0 0 0 107556 521 0 0 25 0 1 0 967755882 30638080 6839 4294967295 134512640 135730672 3221224592 3221223088 134747711 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7480 6839 301 301 0 7179 0
vsize: 29920
[startup+1090.98 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 16471 0 0 0 108552 525 0 0 25 0 1 0 967755882 30777344 6851 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7514 6851 301 301 0 7213 0
vsize: 30056
[startup+1100.98 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 16537 0 0 0 109547 530 0 0 25 0 1 0 967755882 30777344 6860 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7514 6860 301 301 0 7213 0
vsize: 30056
[startup+1110.98 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 16617 0 0 0 110543 534 0 0 25 0 1 0 967755882 30777344 6883 4294967295 134512640 135730672 3221224592 3221223088 134747842 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7514 6883 301 301 0 7213 0
vsize: 30056
[startup+1120.98 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 16683 0 0 0 111540 537 0 0 25 0 1 0 967755882 30912512 6892 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7547 6892 301 301 0 7246 0
vsize: 30188
[startup+1130.98 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 16702 0 0 0 112538 540 0 0 25 0 1 0 967755882 30912512 6911 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7547 6911 301 301 0 7246 0
vsize: 30188
[startup+1140.98 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 16768 0 0 0 113535 543 0 0 25 0 1 0 967755882 30912512 6920 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7547 6920 301 301 0 7246 0
vsize: 30188
[startup+1150.98 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 16841 0 0 0 114532 546 0 0 25 0 1 0 967755882 30912512 6936 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7547 6936 301 301 0 7246 0
vsize: 30188
[startup+1160.98 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 16907 0 0 0 115528 550 0 0 25 0 1 0 967755882 30912512 6945 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7547 6945 301 301 0 7246 0
vsize: 30188
[startup+1170.98 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 16974 0 0 0 116525 554 0 0 25 0 1 0 967755882 31043584 6955 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7579 6955 301 301 0 7278 0
vsize: 30316
[startup+1180.98 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 17072 0 0 0 117522 557 0 0 25 0 1 0 967755882 31043584 6996 4294967295 134512640 135730672 3221224592 3221222912 134732634 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7579 6996 301 301 0 7278 0
vsize: 30316
[startup+1190.98 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 17150 0 0 0 118518 560 0 0 25 0 1 0 967755882 31043584 7017 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7579 7017 301 301 0 7278 0
vsize: 30316
[startup+1200.98 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15566
Raw data (stat): 15509 (pb2sat-v2) R 15508 20224 20223 0 -1 0 17223 0 0 0 119516 563 0 0 25 0 1 0 967755882 31178752 7033 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7612 7033 301 301 0 7311 0
vsize: 30448
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.11 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 15566
Raw data (stat): 15509 (pb2sat-v2) Z 15508 20224 20223 0 -1 12 17225 0 0 0 119528 564 0 0 25 0 1 0 967755882 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): 1201.11
CPU time (s): 1200.93
CPU user time (s): 1195.28
CPU system time (s): 5.64714
CPU usage (%): 99.9846
Max. virtual memory (Kb): 30448
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####