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/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pp08a.opb
MD5SUM	962e64054cef66ff1ace4918a032c24a
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1983976
Optimality of the best value was proved	NO
Number of terms in the objective function	2304
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	178464600
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	178464600
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.01
Number of variables	3584
Total number of constraints	200
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	64
Number of constraints which are nor clauses,nor cardinality constraints	136
Minimum length of a constraint	1
Maximum length of a constraint	160
Trace number 42867

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-16 16:57:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26079 boxname=wulflinc3 idbench=1379 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  962e64054cef66ff1ace4918a032c24a  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-pp08a.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-pp08a.opb
IDLAUNCH: 26079
/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:        734032 kB
Buffers:         20828 kB
Cached:         257816 kB
SwapCached:        768 kB
Active:          30772 kB
Inactive:       250004 kB
HighTotal:      131008 kB
HighFree:        16492 kB
LowTotal:       903652 kB
LowFree:        717540 kB
SwapTotal:     2097136 kB
SwapFree:      2095372 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            14060 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 17:17:46 (client local time) WITH STATUS 0 IN 1200.45 SECONDS
stats: 26079 7 1200.45 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 3273/78876	Time: 4.26635/86400
c Decision: 3276/78876	Time: 6.48901/86400
c Decision: 3279/78876	Time: 9.16661/86400
c Decision: 3282/78876	Time: 11.3183/86400
c Decision: 3282/78876	Time: 12.852/86400
c Decision: 3282/78876	Time: 15.1877/86400
c Decision: 3282/78876	Time: 16.7355/86400
c Decision: 3282/78876	Time: 18.4072/86400
c Decision: 3294/78876	Time: 20.5549/86400
c Decision: 3294/78876	Time: 22.1886/86400
c Decision: 3294/78876	Time: 24.2403/86400
c Decision: 3300/78876	Time: 26.078/86400
c Decision: 3319/78876	Time: 30.8883/86400
c Decision: 3319/78876	Time: 33.039/86400
c Decision: 3322/78876	Time: 37.7203/86400
c Decision: 3333/78876	Time: 43.2374/86400
c Decision: 3344/78876	Time: 48.9146/86400
c Decision: 3344/78876	Time: 50.8683/86400
c Decision: 3352/78876	Time: 55.0426/86400
c Decision: 3352/78876	Time: 57.2613/86400
c Decision: 3355/78876	Time: 62.5575/86400
c Decision: 3355/78876	Time: 64.7842/86400
c Decision: 3355/78876	Time: 67.4887/86400
c Decision: 3355/78876	Time: 69.6854/86400
c Decision: 3370/78876	Time: 74.5597/86400
c Decision: 3374/78876	Time: 78.2131/86400
c Decision: 3395/78876	Time: 82.8324/86400
c Decision: 3395/78876	Time: 85.254/86400
c Decision: 3404/78876	Time: 89.6454/86400
c Decision: 3424/78876	Time: 95.0226/86400
c Decision: 3440/78876	Time: 102.452/86400
c Decision: 3443/78876	Time: 106.232/86400
c Decision: 3443/78876	Time: 109.653/86400
c Decision: 3456/78876	Time: 116.982/86400
c Decision: 3485/78876	Time: 124.284/86400
c Decision: 3527/78876	Time: 136.669/86400
c Decision: 3527/78876	Time: 140.333/86400
c Decision: 3557/78876	Time: 155.418/86400
c Decision: 3589/78876	Time: 168.577/86400
c Decision: 3669/78876	Time: 188.025/86400
c Decision: 3672/78876	Time: 195.263/86400
c Decision: 3708/78876	Time: 216.211/86400
c Decision: 3753/78876	Time: 238.812/86400
c Decision: 3753/78876	Time: 244.346/86400
c Decision: 3753/78876	Time: 250.167/86400
c Decision: 3842/78876	Time: 271.552/86400
c Decision: 3869/78876	Time: 287.581/86400
c Decision: 3889/78876	Time: 302.636/86400
c Decision: 3909/78876	Time: 319.532/86400
c Decision: 3915/78876	Time: 328.189/86400
c Decision: 3915/78876	Time: 334.132/86400
c Decision: 3915/78876	Time: 340.146/86400
c Decision: 3915/78876	Time: 345.604/86400
c Decision: 3959/78876	Time: 371.078/86400
c Decision: 4007/78876	Time: 382.834/86400
c Decision: 4007/78876	Time: 389.17/86400
c Decision: 4007/78876	Time: 393.1/86400
c Decision: 4007/78876	Time: 396.374/86400
c Decision: 4012/78876	Time: 400.294/86400
c Decision: 4017/78876	Time: 404.14/86400
c Decision: 4017/78876	Time: 407.491/86400
c Decision: 4017/78876	Time: 410.868/86400
c Decision: 4017/78876	Time: 413.656/86400
c Decision: 4017/78876	Time: 416.877/86400
c Decision: 4017/78876	Time: 420.772/86400
c Decision: 4017/78876	Time: 424.617/86400
c Decision: 4017/78876	Time: 428.501/86400
c Decision: 4027/78876	Time: 433.706/86400
c Decision: 4032/78876	Time: 439.811/86400
c Decision: 4032/78876	Time: 443.719/86400
c Decision: 4032/78876	Time: 448.72/86400
c Decision: 4039/78876	Time: 456.749/86400
c Decision: 4056/78876	Time: 463.519/86400
c Decision: 4056/78876	Time: 468.08/86400
c Decision: 4056/78876	Time: 472.674/86400
c Decision: 4056/78876	Time: 476.954/86400
c Decision: 4056/78876	Time: 480.713/86400
c Decision: 4056/78876	Time: 485.606/86400
c Decision: 4056/78876	Time: 490.577/86400
c Decision: 4056/78876	Time: 496.131/86400
c Decision: 4056/78876	Time: 502.085/86400
c Decision: 4056/78876	Time: 507.927/86400
c Decision: 4056/78876	Time: 512.996/86400
c Decision: 4056/78876	Time: 517.781/86400
c Decision: 4114/78876	Time: 524.556/86400
c Decision: 4114/78876	Time: 530.615/86400
c Decision: 4124/78876	Time: 540.133/86400
c Decision: 4154/78876	Time: 551.189/86400
c Decision: 4154/78876	Time: 556.823/86400
c Decision: 4266/78876	Time: 593.526/86400
c Decision: 4278/78876	Time: 607.324/86400
c Decision: 4334/78876	Time: 636.247/86400
c Decision: 4340/78876	Time: 646.602/86400
c Decision: 4390/78876	Time: 670.85/86400
c Decision: 4390/78876	Time: 682.438/86400
c Decision: 4413/78876	Time: 697.988/86400
c Decision: 4413/78876	Time: 706.106/86400
c Decision: 4413/78876	Time: 714.633/86400
c Decision: 4429/78876	Time: 728.654/86400
c Decision: 4429/78876	Time: 737.126/86400
c Decision: 4429/78876	Time: 743.95/86400
c Decision: 4431/78876	Time: 755.729/86400
c Decision: 4431/78876	Time: 763.021/86400
c Decision: 4443/78876	Time: 772.051/86400
c Decision: 4463/78876	Time: 785.552/86400
c Decision: 4463/78876	Time: 791.165/86400
c Decision: 4463/78876	Time: 795.914/86400
c Decision: 4463/78876	Time: 800.293/86400
c Decision: 4463/78876	Time: 804.953/86400
c Decision: 4463/78876	Time: 809.665/86400
c Decision: 4463/78876	Time: 815.515/86400
c Decision: 4463/78876	Time: 820.83/86400
c Decision: 4475/78876	Time: 831.371/86400
c Decision: 4475/78876	Time: 836.914/86400
c Decision: 4475/78876	Time: 842.858/86400
c Decision: 4479/78876	Time: 851.967/86400
c Decision: 4479/78876	Time: 859.286/86400
c Decision: 4479/78876	Time: 865.346/86400
c Decision: 4495/78876	Time: 875.542/86400
c Decision: 4495/78876	Time: 881.178/86400
c Decision: 4503/78876	Time: 892.648/86400
c Decision: 4590/78876	Time: 929.593/86400
c Decision: 4623/78876	Time: 951.226/86400
c Decision: 4631/78876	Time: 967.03/86400
c Decision: 4663/78876	Time: 986.567/86400
c Decision: 4733/78876	Time: 1008.05/86400
c Decision: 4743/78876	Time: 1020.63/86400
c Decision: 4751/78876	Time: 1034.59/86400
c Decision: 4913/78876	Time: 1087.08/86400
c Decision: 4945/78876	Time: 1109.01/86400
c Decision: 4992/78876	Time: 1143.31/86400
c Decision: 4992/78876	Time: 1154.45/86400
c Decision: 5008/78876	Time: 1175.65/86400
c Decision: 5010/78876	Time: 1187.44/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/54 27017
Raw data (stat): 27017 (runsolver) R 27016 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 972371383 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 27017
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 12059 0 0 0 966 33 0 0 25 0 1 0 972371383 36425728 6357 4294967295 134512640 135730672 3221224576 3221222724 134768817 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8893 6357 301 301 0 8592 0
vsize: 35572
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 27017
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 12926 0 0 0 1957 42 0 0 25 0 1 0 972371383 36614144 6449 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8939 6449 301 301 0 8638 0
vsize: 35756
[startup+30.0028 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 27017
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 13976 0 0 0 2950 49 0 0 25 0 1 0 972371383 40943616 6569 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9996 6569 301 301 0 9695 0
vsize: 39984
[startup+40.0031 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 27017
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 14472 0 0 0 3942 56 0 0 25 0 1 0 972371383 41476096 6755 4294967295 134512640 135730672 3221224576 3221223072 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10126 6755 301 301 0 9825 0
vsize: 40504
[startup+50.003 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 27017
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 14911 0 0 0 4937 62 0 0 25 0 1 0 972371383 41750528 6884 4294967295 134512640 135730672 3221224576 3221223200 134748158 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10193 6884 301 301 0 9892 0
vsize: 40772
[startup+60.0043 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 27017
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 15493 0 0 0 5931 68 0 0 25 0 1 0 972371383 42029056 7001 4294967295 134512640 135730672 3221224576 3221223288 134748361 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10261 7001 301 301 0 9960 0
vsize: 41044
[startup+70.0047 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 27017
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 15916 0 0 0 6924 75 0 0 25 0 1 0 972371383 42168320 7114 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10295 7114 301 301 0 9994 0
vsize: 41180
[startup+80.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 27017
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 16503 0 0 0 7917 82 0 0 25 0 1 0 972371383 42438656 7236 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10361 7236 301 301 0 10060 0
vsize: 41444
[startup+90.0067 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 27017
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 17094 0 0 0 8912 87 0 0 25 0 1 0 972371383 42725376 7362 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10431 7362 301 301 0 10130 0
vsize: 41724
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 27017
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 17543 0 0 0 9905 94 0 0 25 0 1 0 972371383 43012096 7501 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10501 7501 301 301 0 10200 0
vsize: 42004
[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 27017
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 17934 0 0 0 10901 99 0 0 25 0 1 0 972371383 43143168 7582 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10533 7582 301 301 0 10232 0
vsize: 42132
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27017
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 18175 0 0 0 11896 103 0 0 25 0 1 0 972371383 43274240 7668 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10565 7668 301 301 0 10264 0
vsize: 42260
[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27017
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 18562 0 0 0 12891 108 0 0 25 0 1 0 972371383 43421696 7745 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10601 7745 301 301 0 10300 0
vsize: 42404
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27017
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 18789 0 0 0 13886 113 0 0 25 0 1 0 972371383 43421696 7817 4294967295 134512640 135730672 3221224576 3221223172 134787624 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10601 7817 301 301 0 10300 0
vsize: 42404
[startup+150.01 s]
Raw data (loadavg): 1.06 0.98 0.91 2/54 27070
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 18997 0 0 0 14880 119 0 0 25 0 1 0 972371383 43692032 7870 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10667 7870 301 301 0 10366 0
vsize: 42668
[startup+160.01 s]
Raw data (loadavg): 1.05 0.98 0.91 2/54 27070
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 19179 0 0 0 15873 126 0 0 25 0 1 0 972371383 43692032 7897 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10667 7897 301 301 0 10366 0
vsize: 42668
[startup+170.01 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 27070
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 19229 0 0 0 16868 130 0 0 25 0 1 0 972371383 43827200 7947 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10700 7947 301 301 0 10399 0
vsize: 42800
[startup+180.011 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 27070
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 19447 0 0 0 17863 136 0 0 25 0 1 0 972371383 43966464 8010 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10734 8010 301 301 0 10433 0
vsize: 42936
[startup+190.012 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 27070
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 19510 0 0 0 18858 141 0 0 25 0 1 0 972371383 43966464 8073 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10734 8073 301 301 0 10433 0
vsize: 42936
[startup+200.012 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 27070
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 19879 0 0 0 19853 146 0 0 25 0 1 0 972371383 44101632 8132 4294967295 134512640 135730672 3221224576 3221223184 134744841 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10767 8132 301 301 0 10466 0
vsize: 43068
[startup+210.013 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 27070
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 19916 0 0 0 20848 152 0 0 25 0 1 0 972371383 44101632 8169 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10767 8169 301 301 0 10466 0
vsize: 43068
[startup+220.014 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 27072
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 20127 0 0 0 21844 156 0 0 25 0 1 0 972371383 44236800 8225 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10800 8225 301 301 0 10499 0
vsize: 43200
[startup+230.014 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 27072
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 20183 0 0 0 22839 161 0 0 25 0 1 0 972371383 44367872 8281 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10832 8281 301 301 0 10531 0
vsize: 43328
[startup+240.015 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 27072
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 20243 0 0 0 23833 167 0 0 25 0 1 0 972371383 44367872 8341 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10832 8341 301 301 0 10531 0
vsize: 43328
[startup+250.016 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 27072
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 20597 0 0 0 24828 173 0 0 25 0 1 0 972371383 44498944 8385 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10864 8385 301 301 0 10563 0
vsize: 43456
[startup+260.017 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 27072
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 20812 0 0 0 25822 178 0 0 25 0 1 0 972371383 44630016 8445 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10896 8445 301 301 0 10595 0
vsize: 43584
[startup+270.018 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 27072
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 20864 0 0 0 26818 183 0 0 25 0 1 0 972371383 44630016 8497 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10896 8497 301 301 0 10595 0
vsize: 43584
[startup+280.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27072
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 21052 0 0 0 27811 189 0 0 25 0 1 0 972371383 44761088 8530 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10928 8530 301 301 0 10627 0
vsize: 43712
[startup+290.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27072
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 21074 0 0 0 28807 194 0 0 25 0 1 0 972371383 44761088 8552 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10928 8552 301 301 0 10627 0
vsize: 43712
[startup+300.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27072
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 21253 0 0 0 29802 200 0 0 25 0 1 0 972371383 44761088 8576 4294967295 134512640 135730672 3221224576 3221223264 134748557 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10928 8576 301 301 0 10627 0
vsize: 43712
[startup+310.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27072
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 21451 0 0 0 30797 205 0 0 25 0 1 0 972371383 44892160 8619 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10960 8619 301 301 0 10659 0
vsize: 43840
[startup+320.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27072
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 21499 0 0 0 31793 209 0 0 25 0 1 0 972371383 44892160 8667 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10960 8667 301 301 0 10659 0
vsize: 43840
[startup+330.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27072
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 21701 0 0 0 32789 213 0 0 25 0 1 0 972371383 45023232 8714 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10992 8714 301 301 0 10691 0
vsize: 43968
[startup+340.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27072
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 22047 0 0 0 33785 218 0 0 25 0 1 0 972371383 45023232 8750 4294967295 134512640 135730672 3221224576 3221223252 134748635 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10992 8750 301 301 0 10691 0
vsize: 43968
[startup+350.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27072
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 22379 0 0 0 34779 224 0 0 25 0 1 0 972371383 45154304 8772 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11024 8772 301 301 0 10723 0
vsize: 44096
[startup+360.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27072
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 22401 0 0 0 35773 230 0 0 25 0 1 0 972371383 45154304 8794 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11024 8794 301 301 0 10723 0
vsize: 44096
[startup+370.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27072
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 22435 0 0 0 36769 235 0 0 25 0 1 0 972371383 45154304 8828 4294967295 134512640 135730672 3221224576 3221222912 134739189 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11024 8828 301 301 0 10723 0
vsize: 44096
[startup+380.032 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27072
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 22642 0 0 0 37763 241 0 0 25 0 1 0 972371383 45289472 8880 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11057 8880 301 301 0 10756 0
vsize: 44228
[startup+390.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27072
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 22871 0 0 0 38758 246 0 0 25 0 1 0 972371383 45424640 8954 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11090 8954 301 301 0 10789 0
vsize: 44360
[startup+400.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27072
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 23367 0 0 0 39752 252 0 0 25 0 1 0 972371383 45555712 8985 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11122 8985 301 301 0 10821 0
vsize: 44488
[startup+410.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27072
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 23728 0 0 0 40746 258 0 0 25 0 1 0 972371383 45555712 9036 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11122 9036 301 301 0 10821 0
vsize: 44488
[startup+420.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27072
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 24248 0 0 0 41740 264 0 0 25 0 1 0 972371383 45686784 9091 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11154 9091 301 301 0 10853 0
vsize: 44616
[startup+430.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27072
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 24773 0 0 0 42735 269 0 0 25 0 1 0 972371383 45817856 9151 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11186 9151 301 301 0 10885 0
vsize: 44744
[startup+440.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27072
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 25155 0 0 0 43730 275 0 0 25 0 1 0 972371383 54341632 9223 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13267 9223 301 301 0 12966 0
vsize: 53068
[startup+450.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27072
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 25532 0 0 0 44725 280 0 0 25 0 1 0 972371383 54476800 9290 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13300 9290 301 301 0 12999 0
vsize: 53200
[startup+460.037 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27072
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 25735 0 0 0 45719 286 0 0 25 0 1 0 972371383 54476800 9338 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13300 9338 301 301 0 12999 0
vsize: 53200
[startup+470.037 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 26106 0 0 0 46714 292 0 0 25 0 1 0 972371383 54611968 9399 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13333 9399 301 301 0 13032 0
vsize: 53332
[startup+480.037 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 26624 0 0 0 47709 297 0 0 25 0 1 0 972371383 55246848 9607 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13488 9607 301 301 0 13187 0
vsize: 53952
[startup+490.038 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 26977 0 0 0 48705 301 0 0 25 0 1 0 972371383 54743040 9495 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13365 9495 301 301 0 13064 0
vsize: 53460
[startup+500.039 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 27337 0 0 0 49700 306 0 0 25 0 1 0 972371383 54743040 9545 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13365 9545 301 301 0 13064 0
vsize: 53460
[startup+510.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 27527 0 0 0 50695 311 0 0 25 0 1 0 972371383 54874112 9580 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13397 9580 301 301 0 13096 0
vsize: 53588
[startup+520.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 27886 0 0 0 51689 317 0 0 25 0 1 0 972371383 54874112 9629 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13397 9629 301 301 0 13096 0
vsize: 53588
[startup+530.041 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 28249 0 0 0 52685 322 0 0 25 0 1 0 972371383 55025664 9682 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13434 9682 301 301 0 13133 0
vsize: 53736
[startup+540.041 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 28436 0 0 0 53680 327 0 0 25 0 1 0 972371383 55025664 9714 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13434 9714 301 301 0 13133 0
vsize: 53736
[startup+550.041 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 28625 0 0 0 54677 331 0 0 25 0 1 0 972371383 55160832 9748 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13467 9748 301 301 0 13166 0
vsize: 53868
[startup+560.042 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 28825 0 0 0 55672 335 0 0 25 0 1 0 972371383 55160832 9793 4294967295 134512640 135730672 3221224576 3221223088 134746544 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13467 9793 301 301 0 13166 0
vsize: 53868
[startup+570.043 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 29029 0 0 0 56668 339 0 0 25 0 1 0 972371383 55160832 9842 4294967295 134512640 135730672 3221224576 3221222492 134787613 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13467 9842 301 301 0 13166 0
vsize: 53868
[startup+580.044 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 29079 0 0 0 57663 345 0 0 25 0 1 0 972371383 55291904 9892 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13499 9892 301 301 0 13198 0
vsize: 53996
[startup+590.045 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 29138 0 0 0 58657 351 0 0 25 0 1 0 972371383 55291904 9951 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13499 9951 301 301 0 13198 0
vsize: 53996
[startup+600.045 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 29342 0 0 0 59653 356 0 0 25 0 1 0 972371383 55422976 10000 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13531 10000 301 301 0 13230 0
vsize: 54124
[startup+610.046 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 29384 0 0 0 60647 361 0 0 25 0 1 0 972371383 55422976 10042 4294967295 134512640 135730672 3221224576 3221223088 134746481 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13531 10042 301 301 0 13230 0
vsize: 54124
[startup+620.046 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 29559 0 0 0 61643 366 0 0 25 0 1 0 972371383 55558144 10062 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13564 10062 301 301 0 13263 0
vsize: 54256
[startup+630.047 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 29579 0 0 0 62639 370 0 0 25 0 1 0 972371383 55558144 10082 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13564 10082 301 301 0 13263 0
vsize: 54256
[startup+640.048 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 29772 0 0 0 63634 375 0 0 25 0 1 0 972371383 55558144 10120 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13564 10120 301 301 0 13263 0
vsize: 54256
[startup+650.048 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 29972 0 0 0 64630 380 0 0 25 0 1 0 972371383 56328192 10320 4294967295 134512640 135730672 3221224576 3221222724 134769153 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13752 10320 301 301 0 13451 0
vsize: 55008
[startup+660.048 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 30001 0 0 0 65625 385 0 0 25 0 1 0 972371383 55693312 10194 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13597 10194 301 301 0 13296 0
vsize: 54388
[startup+670.049 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 30040 0 0 0 66620 390 0 0 25 0 1 0 972371383 55828480 10233 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13630 10233 301 301 0 13329 0
vsize: 54520
[startup+680.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 30279 0 0 0 67615 395 0 0 25 0 1 0 972371383 56098816 10317 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13696 10317 301 301 0 13395 0
vsize: 54784
[startup+690.051 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 30466 0 0 0 68613 398 0 0 25 0 1 0 972371383 56098816 10349 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13696 10349 301 301 0 13395 0
vsize: 54784
[startup+700.051 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 30498 0 0 0 69608 403 0 0 25 0 1 0 972371383 56233984 10381 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13729 10381 301 301 0 13428 0
vsize: 54916
[startup+710.052 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 30833 0 0 0 70604 407 0 0 25 0 1 0 972371383 56233984 10406 4294967295 134512640 135730672 3221224576 3221223072 134747741 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13729 10406 301 301 0 13428 0
vsize: 54916
[startup+720.052 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 31001 0 0 0 71600 411 0 0 25 0 1 0 972371383 56233984 10419 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13729 10419 301 301 0 13428 0
vsize: 54916
[startup+730.051 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 31055 0 0 0 72597 414 0 0 25 0 1 0 972371383 56512512 10473 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13797 10473 301 301 0 13496 0
vsize: 55188
[startup+740.053 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 31216 0 0 0 73594 417 0 0 25 0 1 0 972371383 56512512 10479 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13797 10479 301 301 0 13496 0
vsize: 55188
[startup+750.053 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 31542 0 0 0 74591 421 0 0 25 0 1 0 972371383 56647680 10495 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13830 10495 301 301 0 13529 0
vsize: 55320
[startup+760.054 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 31718 0 0 0 75586 426 0 0 25 0 1 0 972371383 56647680 10516 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13830 10516 301 301 0 13529 0
vsize: 55320
[startup+770.054 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 31894 0 0 0 76582 430 0 0 25 0 1 0 972371383 56782848 10537 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13863 10537 301 301 0 13562 0
vsize: 55452
[startup+780.054 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 32077 0 0 0 77577 434 0 0 25 0 1 0 972371383 56782848 10565 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13863 10565 301 301 0 13562 0
vsize: 55452
[startup+790.054 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 32279 0 0 0 78573 439 0 0 25 0 1 0 972371383 56782848 10612 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13863 10612 301 301 0 13562 0
vsize: 55452
[startup+800.055 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 32621 0 0 0 79568 445 0 0 25 0 1 0 972371383 56913920 10644 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13895 10644 301 301 0 13594 0
vsize: 55580
[startup+810.056 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 32973 0 0 0 80564 449 0 0 25 0 1 0 972371383 56913920 10686 4294967295 134512640 135730672 3221224576 3221222904 134739222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13895 10686 301 301 0 13594 0
vsize: 55580
[startup+820.056 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 33323 0 0 0 81559 454 0 0 25 0 1 0 972371383 57044992 10726 4294967295 134512640 135730672 3221224576 3221223072 134747460 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13927 10726 301 301 0 13626 0
vsize: 55708
[startup+830.056 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 33507 0 0 0 82555 458 0 0 25 0 1 0 972371383 57044992 10755 4294967295 134512640 135730672 3221224576 3221223232 134734756 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13927 10755 301 301 0 13626 0
vsize: 55708
[startup+840.057 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 33717 0 0 0 83549 463 0 0 25 0 1 0 972371383 57180160 10810 4294967295 134512640 135730672 3221224576 3221223088 134746526 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13960 10810 301 301 0 13659 0
vsize: 55840
[startup+850.057 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 34071 0 0 0 84545 467 0 0 25 0 1 0 972371383 57180160 10854 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13960 10854 301 301 0 13659 0
vsize: 55840
[startup+860.059 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 34263 0 0 0 85541 472 0 0 25 0 1 0 972371383 57315328 10891 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13993 10891 301 301 0 13692 0
vsize: 55972
[startup+870.059 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 34618 0 0 0 86537 476 0 0 25 0 1 0 972371383 57315328 10936 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13993 10936 301 301 0 13692 0
vsize: 55972
[startup+880.059 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 34820 0 0 0 87532 481 0 0 25 0 1 0 972371383 57315328 10983 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13993 10983 301 301 0 13692 0
vsize: 55972
[startup+890.06 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 35012 0 0 0 88526 487 0 0 25 0 1 0 972371383 57446400 11020 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14025 11020 301 301 0 13724 0
vsize: 56100
[startup+900.06 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 35199 0 0 0 89522 491 0 0 25 0 1 0 972371383 57446400 11052 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14025 11052 301 301 0 13724 0
vsize: 56100
[startup+910.06 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 35240 0 0 0 90518 496 0 0 25 0 1 0 972371383 57581568 11093 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14058 11093 301 301 0 13757 0
vsize: 56232
[startup+920.062 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 35285 0 0 0 91514 500 0 0 25 0 1 0 972371383 57581568 11138 4294967295 134512640 135730672 3221224576 3221223120 134740434 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14058 11138 301 301 0 13757 0
vsize: 56232
[startup+930.061 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 35332 0 0 0 92510 504 0 0 25 0 1 0 972371383 57581568 11185 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14058 11185 301 301 0 13757 0
vsize: 56232
[startup+940.062 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 35525 0 0 0 93507 507 0 0 25 0 1 0 972371383 57712640 11223 4294967295 134512640 135730672 3221224576 3221223200 134748166 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14090 11223 301 301 0 13789 0
vsize: 56360
[startup+950.063 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 35566 0 0 0 94502 512 0 0 25 0 1 0 972371383 57712640 11264 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14090 11264 301 301 0 13789 0
vsize: 56360
[startup+960.064 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 35760 0 0 0 95497 518 0 0 25 0 1 0 972371383 57847808 11303 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14123 11303 301 301 0 13822 0
vsize: 56492
[startup+970.063 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 35792 0 0 0 96493 522 0 0 25 0 1 0 972371383 57847808 11335 4294967295 134512640 135730672 3221224576 3221223088 134746175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14123 11335 301 301 0 13822 0
vsize: 56492
[startup+980.064 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 35980 0 0 0 97488 527 0 0 25 0 1 0 972371383 57847808 11368 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14123 11368 301 301 0 13822 0
vsize: 56492
[startup+990.064 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 36165 0 0 0 98485 531 0 0 25 0 1 0 972371383 57982976 11398 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14156 11398 301 301 0 13855 0
vsize: 56624
[startup+1000.06 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 36194 0 0 0 99481 535 0 0 25 0 1 0 972371383 57982976 11427 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14156 11427 301 301 0 13855 0
vsize: 56624
[startup+1010.06 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 36232 0 0 0 100477 539 0 0 25 0 1 0 972371383 57982976 11465 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14156 11465 301 301 0 13855 0
vsize: 56624
[startup+1020.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 36401 0 0 0 101474 542 0 0 25 0 1 0 972371383 57982976 11479 4294967295 134512640 135730672 3221224576 3221223224 134748261 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14156 11479 301 301 0 13855 0
vsize: 56624
[startup+1030.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 36569 0 0 0 102469 547 0 0 25 0 1 0 972371383 58118144 11492 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14189 11492 301 301 0 13888 0
vsize: 56756
[startup+1040.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 36737 0 0 0 103465 551 0 0 25 0 1 0 972371383 58118144 11505 4294967295 134512640 135730672 3221224576 3221223072 134747558 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14189 11505 301 301 0 13888 0
vsize: 56756
[startup+1050.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 36753 0 0 0 104461 556 0 0 25 0 1 0 972371383 58118144 11521 4294967295 134512640 135730672 3221224576 3221223072 134747738 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14189 11521 301 301 0 13888 0
vsize: 56756
[startup+1060.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 36769 0 0 0 105455 561 0 0 25 0 1 0 972371383 58249216 11537 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14221 11537 301 301 0 13920 0
vsize: 56884
[startup+1070.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 36792 0 0 0 106450 567 0 0 25 0 1 0 972371383 58249216 11560 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14221 11560 301 301 0 13920 0
vsize: 56884
[startup+1080.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 36840 0 0 0 107446 571 0 0 25 0 1 0 972371383 58249216 11608 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14221 11608 301 301 0 13920 0
vsize: 56884
[startup+1090.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 36879 0 0 0 108442 576 0 0 25 0 1 0 972371383 58384384 11647 4294967295 134512640 135730672 3221224576 3221223088 134746399 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14254 11647 301 301 0 13953 0
vsize: 57016
[startup+1100.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 37065 0 0 0 109437 580 0 0 25 0 1 0 972371383 58384384 11678 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14254 11678 301 301 0 13953 0
vsize: 57016
[startup+1110.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 37103 0 0 0 110434 584 0 0 25 0 1 0 972371383 58384384 11716 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14254 11716 301 301 0 13953 0
vsize: 57016
[startup+1120.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 37289 0 0 0 111429 589 0 0 25 0 1 0 972371383 58519552 11747 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14287 11747 301 301 0 13986 0
vsize: 57148
[startup+1130.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 37325 0 0 0 112424 594 0 0 25 0 1 0 972371383 58519552 11783 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14287 11783 301 301 0 13986 0
vsize: 57148
[startup+1140.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 37355 0 0 0 113419 598 0 0 25 0 1 0 972371383 58519552 11813 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14287 11813 301 301 0 13986 0
vsize: 57148
[startup+1150.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 37532 0 0 0 114416 601 0 0 25 0 1 0 972371383 58519552 11835 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14287 11835 301 301 0 13986 0
vsize: 57148
[startup+1160.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 37704 0 0 0 115413 605 0 0 25 0 1 0 972371383 58667008 11852 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14323 11852 301 301 0 14022 0
vsize: 57292
[startup+1170.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 37716 0 0 0 116410 609 0 0 25 0 1 0 972371383 58667008 11864 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14323 11864 301 301 0 14022 0
vsize: 57292
[startup+1180.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 37883 0 0 0 117405 613 0 0 25 0 1 0 972371383 58667008 11876 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14323 11876 301 301 0 14022 0
vsize: 57292
[startup+1190.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 37896 0 0 0 118402 617 0 0 25 0 1 0 972371383 58667008 11889 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14323 11889 301 301 0 14022 0
vsize: 57292
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 27074
Raw data (stat): 27017 (pb2sat-v2) R 27016 20224 20223 0 -1 0 38071 0 0 0 119399 620 0 0 25 0 1 0 972371383 58798080 11909 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14355 11909 301 301 0 14054 0
vsize: 57420
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.33 s]
Raw data (loadavg): 1.00 0.98 0.91 1/54 27074
Raw data (stat): 27017 (pb2sat-v2) Z 27016 20224 20223 0 -1 12 38073 0 0 0 119422 622 0 0 25 0 1 0 972371383 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.33
CPU time (s): 1200.45
CPU user time (s): 1194.22
CPU system time (s): 6.22705
CPU usage (%): 100.01
Max. virtual memory (Kb): 57420
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####