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/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos12.opb
MD5SUM	8be56d63285d7b46f1a8393a6f228d5d
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5243135
Optimality of the best value was proved	NO
Number of terms in the objective function	8960
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	469761600
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	469761600
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1230.45
Number of variables	16548
Total number of constraints	11747
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	3136
Number of constraints which are nor clauses,nor cardinality constraints	8611
Minimum length of a constraint	1
Maximum length of a constraint	560
Trace number 42994

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-16 20:35:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26204 boxname=wulflinc3 idbench=1504 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  8be56d63285d7b46f1a8393a6f228d5d  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-neos12.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-neos12.opb
IDLAUNCH: 26204
/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:        709156 kB
Buffers:         26572 kB
Cached:         276620 kB
SwapCached:        768 kB
Active:          43176 kB
Inactive:       262156 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        708876 kB
SwapTotal:     2097136 kB
SwapFree:      2095372 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            14584 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 20:55:26 (client local time) WITH STATUS 0 IN 1200.92 SECONDS
stats: 26204 7 1200.92 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 70444/307770	Time: 458.905/86400
c Decision: 70444/307770	Time: 497.45/86400
c Decision: 70450/307770	Time: 560.771/86400
c Decision: 70456/307770	Time: 622.632/86400
c Decision: 70456/307770	Time: 670.846/86400
c Decision: 70458/307770	Time: 751.997/86400
c Decision: 70476/307770	Time: 828.433/86400
c Decision: 70476/307770	Time: 882.353/86400
c Decision: 70476/307770	Time: 926.348/86400
c Decision: 70482/307770	Time: 1016.08/86400
c Decision: 70482/307770	Time: 1067.92/86400
c Decision: 70482/307770	Time: 1115.85/86400
c Decision: 70482/307770	Time: 1166.97/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.85 0.95 0.91 2/54 29096
Raw data (stat): 29096 (runsolver) R 29095 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 973677547 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.88 0.95 0.91 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 23250 0 0 0 947 51 0 0 25 0 1 0 973677547 68571136 12350 4294967295 134512640 135730672 3221224576 3221216176 134786311 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16741 12350 301 301 0 16440 0
vsize: 66964
[startup+20.001 s]
Raw data (loadavg): 0.89 0.95 0.91 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 37568 0 0 0 1915 83 0 0 25 0 1 0 973677547 110903296 21933 4294967295 134512640 135730672 3221224576 3221216616 135284251 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27076 21933 301 301 0 26775 0
vsize: 108304
[startup+30.0009 s]
Raw data (loadavg): 0.91 0.95 0.91 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 38841 0 0 0 2910 87 0 0 25 0 1 0 973677547 113369088 22602 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27678 22602 301 301 0 27377 0
vsize: 110712
[startup+40.0007 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 39053 0 0 0 3909 88 0 0 25 0 1 0 973677547 114434048 22814 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27938 22814 301 301 0 27637 0
vsize: 111752
[startup+50.0019 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 39217 0 0 0 4909 89 0 0 25 0 1 0 973677547 115224576 22913 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28131 22913 301 301 0 27830 0
vsize: 112524
[startup+60.0014 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 39224 0 0 0 5909 89 0 0 25 0 1 0 973677547 115224576 22920 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28131 22920 301 301 0 27830 0
vsize: 112524
[startup+70.0032 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 39444 0 0 0 6909 89 0 0 25 0 1 0 973677547 116281344 23075 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28389 23075 301 301 0 28088 0
vsize: 113556
[startup+80.0051 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 39452 0 0 0 7909 90 0 0 25 0 1 0 973677547 116281344 23083 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28389 23083 301 301 0 28088 0
vsize: 113556
[startup+90.0049 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 39463 0 0 0 8909 90 0 0 25 0 1 0 973677547 116281344 23094 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28389 23094 301 301 0 28088 0
vsize: 113556
[startup+100.005 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 39473 0 0 0 9909 90 0 0 25 0 1 0 973677547 116281344 23104 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28389 23104 301 301 0 28088 0
vsize: 113556
[startup+110.005 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 40709 0 0 0 10906 94 0 0 25 0 1 0 973677547 121585664 24011 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29684 24011 301 301 0 29383 0
vsize: 118736
[startup+120.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 42283 0 0 0 11903 96 0 0 25 0 1 0 973677547 126873600 24866 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 30975 24866 301 301 0 30674 0
vsize: 123900
[startup+130.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 43805 0 0 0 12900 99 0 0 25 0 1 0 973677547 132177920 25799 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32270 25799 301 301 0 31969 0
vsize: 129080
[startup+140.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 44526 0 0 0 13899 101 0 0 25 0 1 0 973677547 135237632 26324 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33017 26324 301 301 0 32716 0
vsize: 132068
[startup+150.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 45490 0 0 0 14897 102 0 0 25 0 1 0 973677547 139075584 26930 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33954 26930 301 301 0 33653 0
vsize: 135816
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 45808 0 0 0 15897 103 0 0 25 0 1 0 973677547 140267520 27150 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34245 27150 301 301 0 33944 0
vsize: 136980
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 46086 0 0 0 16896 104 0 0 25 0 1 0 973677547 141058048 27298 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34438 27298 301 301 0 34137 0
vsize: 137752
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 46181 0 0 0 17895 105 0 0 25 0 1 0 973677547 141459456 27361 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34536 27361 301 301 0 34235 0
vsize: 138144
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 46293 0 0 0 18895 105 0 0 25 0 1 0 973677547 141991936 27473 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34666 27473 301 301 0 34365 0
vsize: 138664
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 46356 0 0 0 19895 106 0 0 25 0 1 0 973677547 142258176 27536 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34731 27536 301 301 0 34430 0
vsize: 138924
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 46399 0 0 0 20895 106 0 0 25 0 1 0 973677547 142258176 27579 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34731 27579 301 301 0 34430 0
vsize: 138924
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 46508 0 0 0 21895 106 0 0 25 0 1 0 973677547 142520320 27623 4294967295 134512640 135730672 3221224576 3221222904 134739217 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34795 27623 301 301 0 34494 0
vsize: 139180
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 46643 0 0 0 22894 107 0 0 25 0 1 0 973677547 142782464 27693 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34859 27693 301 301 0 34558 0
vsize: 139436
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 46687 0 0 0 23894 107 0 0 25 0 1 0 973677547 142782464 27737 4294967295 134512640 135730672 3221224576 3221223200 134748194 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34859 27737 301 301 0 34558 0
vsize: 139436
[startup+250.006 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 46778 0 0 0 24894 107 0 0 25 0 1 0 973677547 143044608 27763 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34923 27763 301 301 0 34622 0
vsize: 139692
[startup+260.006 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 46889 0 0 0 25894 108 0 0 25 0 1 0 973677547 143306752 27809 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34987 27809 301 301 0 34686 0
vsize: 139948
[startup+270.007 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 46906 0 0 0 26894 108 0 0 25 0 1 0 973677547 143306752 27826 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34987 27826 301 301 0 34686 0
vsize: 139948
[startup+280.008 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 46942 0 0 0 27894 108 0 0 25 0 1 0 973677547 143306752 27862 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34987 27862 301 301 0 34686 0
vsize: 139948
[startup+290.008 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 47332 0 0 0 28894 109 0 0 25 0 1 0 973677547 144617472 27927 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35307 27927 301 301 0 35006 0
vsize: 141228
[startup+300.009 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 47422 0 0 0 29894 109 0 0 25 0 1 0 973677547 144879616 27952 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35371 27952 301 301 0 35070 0
vsize: 141484
[startup+310.008 s]
Raw data (loadavg): 1.14 1.02 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 47451 0 0 0 30893 109 0 0 25 0 1 0 973677547 144879616 27981 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35371 27981 301 301 0 35070 0
vsize: 141484
[startup+320.009 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 47500 0 0 0 31893 110 0 0 25 0 1 0 973677547 144879616 28030 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35371 28030 301 301 0 35070 0
vsize: 141484
[startup+330.009 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 47625 0 0 0 32893 110 0 0 25 0 1 0 973677547 145145856 28089 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35436 28089 301 301 0 35135 0
vsize: 141744
[startup+340.009 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 47739 0 0 0 33893 110 0 0 25 0 1 0 973677547 145940480 28203 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35630 28203 301 301 0 35329 0
vsize: 142520
[startup+350.01 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 47753 0 0 0 34893 111 0 0 25 0 1 0 973677547 145940480 28217 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35630 28217 301 301 0 35329 0
vsize: 142520
[startup+360.01 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 47905 0 0 0 35893 111 0 0 25 0 1 0 973677547 146472960 28304 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35760 28304 301 301 0 35459 0
vsize: 143040
[startup+370.01 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 48118 0 0 0 36892 112 0 0 25 0 1 0 973677547 147406848 28484 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35988 28484 301 301 0 35687 0
vsize: 143952
[startup+380.011 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 48218 0 0 0 37892 112 0 0 25 0 1 0 973677547 147668992 28519 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36052 28519 301 301 0 35751 0
vsize: 144208
[startup+390.011 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 48226 0 0 0 38892 112 0 0 25 0 1 0 973677547 147668992 28527 4294967295 134512640 135730672 3221224576 3221223072 134747878 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36052 28527 301 301 0 35751 0
vsize: 144208
[startup+400.011 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 48311 0 0 0 39892 113 0 0 25 0 1 0 973677547 147931136 28547 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36116 28547 301 301 0 35815 0
vsize: 144464
[startup+410.011 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 48384 0 0 0 40892 113 0 0 25 0 1 0 973677547 148062208 28587 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36148 28587 301 301 0 35847 0
vsize: 144592
[startup+420.012 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 48393 0 0 0 41892 113 0 0 25 0 1 0 973677547 148062208 28596 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36148 28596 301 301 0 35847 0
vsize: 144592
[startup+430.011 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 48408 0 0 0 42892 113 0 0 25 0 1 0 973677547 148062208 28611 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36148 28611 301 301 0 35847 0
vsize: 144592
[startup+440.011 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 48415 0 0 0 43892 114 0 0 25 0 1 0 973677547 148062208 28618 4294967295 134512640 135730672 3221224576 3221223248 134748644 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36148 28618 301 301 0 35847 0
vsize: 144592
[startup+450.012 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 48425 0 0 0 44892 114 0 0 25 0 1 0 973677547 148062208 28628 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36148 28628 301 301 0 35847 0
vsize: 144592
[startup+460.012 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 48504 0 0 0 45892 114 0 0 25 0 1 0 973677547 148590592 28707 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36277 28707 301 301 0 35976 0
vsize: 145108
[startup+470.013 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 48511 0 0 0 46892 114 0 0 25 0 1 0 973677547 148590592 28714 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36277 28714 301 301 0 35976 0
vsize: 145108
[startup+480.014 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 49133 0 0 0 47890 116 0 0 25 0 1 0 973677547 148590592 28734 4294967295 134512640 135730672 3221224576 3221223200 134748132 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36277 28734 301 301 0 35976 0
vsize: 145108
[startup+490.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 49337 0 0 0 48890 117 0 0 25 0 1 0 973677547 149250048 28839 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36438 28839 301 301 0 36137 0
vsize: 145752
[startup+500.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 49338 0 0 0 49888 117 0 0 25 0 1 0 973677547 149250048 28840 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36438 28840 301 301 0 36137 0
vsize: 145752
[startup+510.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 49638 0 0 0 50888 118 0 0 25 0 1 0 973677547 150831104 29010 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36824 29010 301 301 0 36523 0
vsize: 147296
[startup+520.02 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 50244 0 0 0 51886 120 0 0 25 0 1 0 973677547 150831104 29014 4294967295 134512640 135730672 3221224576 3221223200 134748104 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36824 29014 301 301 0 36523 0
vsize: 147296
[startup+530.02 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 50245 0 0 0 52886 120 0 0 25 0 1 0 973677547 150831104 29015 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36824 29015 301 301 0 36523 0
vsize: 147296
[startup+540.02 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 50260 0 0 0 53886 120 0 0 25 0 1 0 973677547 150831104 29030 4294967295 134512640 135730672 3221224576 3221222824 135284593 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36824 29030 301 301 0 36523 0
vsize: 147296
[startup+550.019 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 50347 0 0 0 54886 121 0 0 25 0 1 0 973677547 151093248 29052 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36888 29052 301 301 0 36587 0
vsize: 147552
[startup+560.019 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 50349 0 0 0 55886 121 0 0 25 0 1 0 973677547 151093248 29054 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36888 29054 301 301 0 36587 0
vsize: 147552
[startup+570.02 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 50456 0 0 0 56886 121 0 0 25 0 1 0 973677547 151621632 29161 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37017 29161 301 301 0 36716 0
vsize: 148068
[startup+580.02 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 50456 0 0 0 57886 121 0 0 25 0 1 0 973677547 151621632 29161 4294967295 134512640 135730672 3221224576 3221223088 134746077 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37017 29161 301 301 0 36716 0
vsize: 148068
[startup+590.021 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 51232 0 0 0 58882 124 0 0 25 0 1 0 973677547 152145920 29205 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37145 29205 301 301 0 36844 0
vsize: 148580
[startup+600.021 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 51236 0 0 0 59882 124 0 0 25 0 1 0 973677547 152145920 29209 4294967295 134512640 135730672 3221224576 3221223216 134748065 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37145 29209 301 301 0 36844 0
vsize: 148580
[startup+610.021 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 51242 0 0 0 60882 124 0 0 25 0 1 0 973677547 152145920 29215 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37145 29215 301 301 0 36844 0
vsize: 148580
[startup+620.021 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 51399 0 0 0 61881 125 0 0 25 0 1 0 973677547 152936448 29307 4294967295 134512640 135730672 3221224576 3221223072 134747733 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37338 29307 301 301 0 37037 0
vsize: 149352
[startup+630.022 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 51577 0 0 0 62881 126 0 0 25 0 1 0 973677547 153460736 29355 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37466 29355 301 301 0 37165 0
vsize: 149864
[startup+640.022 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 51808 0 0 0 63881 126 0 0 25 0 1 0 973677547 154460160 29553 4294967295 134512640 135730672 3221224576 3221223184 134748227 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37710 29553 301 301 0 37409 0
vsize: 150840
[startup+650.022 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 52425 0 0 0 64878 128 0 0 25 0 1 0 973677547 154460160 29568 4294967295 134512640 135730672 3221224576 3221223072 134747644 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37710 29568 301 301 0 37409 0
vsize: 150840
[startup+660.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 52432 0 0 0 65878 129 0 0 25 0 1 0 973677547 154460160 29575 4294967295 134512640 135730672 3221224576 3221222896 134732459 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37710 29575 301 301 0 37409 0
vsize: 150840
[startup+670.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 52440 0 0 0 66877 129 0 0 25 0 1 0 973677547 154460160 29583 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37710 29583 301 301 0 37409 0
vsize: 150840
[startup+680.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 52518 0 0 0 67877 129 0 0 25 0 1 0 973677547 154722304 29596 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37774 29596 301 301 0 37473 0
vsize: 151096
[startup+690.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 52526 0 0 0 68877 130 0 0 25 0 1 0 973677547 154722304 29604 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37774 29604 301 301 0 37473 0
vsize: 151096
[startup+700.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 53215 0 0 0 69875 132 0 0 25 0 1 0 973677547 154984448 29626 4294967295 134512640 135730672 3221224576 3221222896 134732459 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37838 29626 301 301 0 37537 0
vsize: 151352
[startup+710.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 53223 0 0 0 70875 132 0 0 25 0 1 0 973677547 154984448 29634 4294967295 134512640 135730672 3221224576 3221223072 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37838 29634 301 301 0 37537 0
vsize: 151352
[startup+720.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 53243 0 0 0 71875 132 0 0 25 0 1 0 973677547 154984448 29654 4294967295 134512640 135730672 3221224576 3221223264 134748632 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37838 29654 301 301 0 37537 0
vsize: 151352
[startup+730.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 53271 0 0 0 72875 132 0 0 25 0 1 0 973677547 154984448 29682 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37838 29682 301 301 0 37537 0
vsize: 151352
[startup+740.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 53332 0 0 0 73875 133 0 0 25 0 1 0 973677547 155250688 29743 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37903 29743 301 301 0 37602 0
vsize: 151612
[startup+750.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 53339 0 0 0 74875 133 0 0 25 0 1 0 973677547 155250688 29750 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37903 29750 301 301 0 37602 0
vsize: 151612
[startup+760.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 53430 0 0 0 75875 133 0 0 25 0 1 0 973677547 155512832 29776 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37967 29776 301 301 0 37666 0
vsize: 151868
[startup+770.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 53451 0 0 0 76874 134 0 0 25 0 1 0 973677547 155512832 29797 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37967 29797 301 301 0 37666 0
vsize: 151868
[startup+780.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 54073 0 0 0 77873 135 0 0 25 0 1 0 973677547 155512832 29817 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37967 29817 301 301 0 37666 0
vsize: 151868
[startup+790.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 54082 0 0 0 78873 135 0 0 25 0 1 0 973677547 155512832 29826 4294967295 134512640 135730672 3221224576 3221223196 134748215 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37967 29826 301 301 0 37666 0
vsize: 151868
[startup+800.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 54157 0 0 0 79873 135 0 0 25 0 1 0 973677547 155779072 29901 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38032 29901 301 301 0 37731 0
vsize: 152128
[startup+810.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 54158 0 0 0 80873 135 0 0 25 0 1 0 973677547 155779072 29902 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38032 29902 301 301 0 37731 0
vsize: 152128
[startup+820.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 54159 0 0 0 81874 135 0 0 25 0 1 0 973677547 155779072 29903 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38032 29903 301 301 0 37731 0
vsize: 152128
[startup+830.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 54160 0 0 0 82874 135 0 0 25 0 1 0 973677547 155779072 29904 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38032 29904 301 301 0 37731 0
vsize: 152128
[startup+840.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 54161 0 0 0 83874 136 0 0 25 0 1 0 973677547 155779072 29905 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38032 29905 301 301 0 37731 0
vsize: 152128
[startup+850.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 54764 0 0 0 84872 137 0 0 25 0 1 0 973677547 155779072 29906 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38032 29906 301 301 0 37731 0
vsize: 152128
[startup+860.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 54769 0 0 0 85873 137 0 0 25 0 1 0 973677547 155779072 29911 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38032 29911 301 301 0 37731 0
vsize: 152128
[startup+870.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 54777 0 0 0 86873 137 0 0 25 0 1 0 973677547 155779072 29919 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38032 29919 301 301 0 37731 0
vsize: 152128
[startup+880.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 54785 0 0 0 87872 137 0 0 25 0 1 0 973677547 155779072 29927 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38032 29927 301 301 0 37731 0
vsize: 152128
[startup+890.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 54801 0 0 0 88872 138 0 0 25 0 1 0 973677547 155779072 29943 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38032 29943 301 301 0 37731 0
vsize: 152128
[startup+900.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 54809 0 0 0 89872 138 0 0 25 0 1 0 973677547 155779072 29951 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38032 29951 301 301 0 37731 0
vsize: 152128
[startup+910.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 55417 0 0 0 90870 140 0 0 25 0 1 0 973677547 155779072 29957 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38032 29957 301 301 0 37731 0
vsize: 152128
[startup+920.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 55427 0 0 0 91871 140 0 0 25 0 1 0 973677547 155779072 29967 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38032 29967 301 301 0 37731 0
vsize: 152128
[startup+930.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 55436 0 0 0 92871 140 0 0 25 0 1 0 973677547 155779072 29976 4294967295 134512640 135730672 3221224576 3221223072 134747608 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38032 29976 301 301 0 37731 0
vsize: 152128
[startup+940.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 55558 0 0 0 93870 141 0 0 25 0 1 0 973677547 156041216 30033 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38096 30033 301 301 0 37795 0
vsize: 152384
[startup+950.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 56312 0 0 0 94868 143 0 0 25 0 1 0 973677547 156569600 30120 4294967295 134512640 135730672 3221224576 3221223168 134763998 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38225 30120 301 301 0 37924 0
vsize: 152900
[startup+960.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 56326 0 0 0 95869 143 0 0 25 0 1 0 973677547 156569600 30134 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38225 30134 301 301 0 37924 0
vsize: 152900
[startup+970.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 56336 0 0 0 96868 143 0 0 25 0 1 0 973677547 156569600 30144 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38225 30144 301 301 0 37924 0
vsize: 152900
[startup+980.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 56346 0 0 0 97868 143 0 0 25 0 1 0 973677547 156569600 30154 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38225 30154 301 301 0 37924 0
vsize: 152900
[startup+990.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 56353 0 0 0 98868 144 0 0 25 0 1 0 973677547 156569600 30161 4294967295 134512640 135730672 3221224576 3221223220 134748260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38225 30161 301 301 0 37924 0
vsize: 152900
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 56359 0 0 0 99868 144 0 0 25 0 1 0 973677547 156569600 30167 4294967295 134512640 135730672 3221224576 3221223072 134747902 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38225 30167 301 301 0 37924 0
vsize: 152900
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 56366 0 0 0 100868 144 0 0 25 0 1 0 973677547 156569600 30174 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38225 30174 301 301 0 37924 0
vsize: 152900
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 56441 0 0 0 101868 144 0 0 25 0 1 0 973677547 157102080 30249 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38355 30249 301 301 0 38054 0
vsize: 153420
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 56447 0 0 0 102868 145 0 0 25 0 1 0 973677547 157102080 30255 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38355 30255 301 301 0 38054 0
vsize: 153420
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 57054 0 0 0 103866 146 0 0 25 0 1 0 973677547 157102080 30260 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38355 30260 301 301 0 38054 0
vsize: 153420
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 57081 0 0 0 104865 147 0 0 25 0 1 0 973677547 157102080 30287 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38355 30287 301 301 0 38054 0
vsize: 153420
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 57150 0 0 0 105864 147 0 0 25 0 1 0 973677547 157102080 30356 4294967295 134512640 135730672 3221224576 3221223248 134748617 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38355 30356 301 301 0 38054 0
vsize: 153420
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 57250 0 0 0 106864 148 0 0 25 0 1 0 973677547 157364224 30391 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38419 30391 301 301 0 38118 0
vsize: 153676
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 57257 0 0 0 107864 148 0 0 25 0 1 0 973677547 157364224 30398 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38419 30398 301 301 0 38118 0
vsize: 153676
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 57864 0 0 0 108863 150 0 0 25 0 1 0 973677547 157364224 30403 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38419 30403 301 301 0 38118 0
vsize: 153676
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 57869 0 0 0 109863 150 0 0 25 0 1 0 973677547 157364224 30408 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38419 30408 301 301 0 38118 0
vsize: 153676
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 57879 0 0 0 110863 150 0 0 25 0 1 0 973677547 157364224 30418 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38419 30418 301 301 0 38118 0
vsize: 153676
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 57880 0 0 0 111863 150 0 0 25 0 1 0 973677547 157364224 30419 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38419 30419 301 301 0 38118 0
vsize: 153676
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 57881 0 0 0 112863 150 0 0 25 0 1 0 973677547 157364224 30420 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38419 30420 301 301 0 38118 0
vsize: 153676
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 58484 0 0 0 113861 152 0 0 25 0 1 0 973677547 157364224 30421 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38419 30421 301 301 0 38118 0
vsize: 153676
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 58503 0 0 0 114861 152 0 0 25 0 1 0 973677547 157364224 30440 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38419 30440 301 301 0 38118 0
vsize: 153676
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 58516 0 0 0 115861 152 0 0 25 0 1 0 973677547 157364224 30453 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38419 30453 301 301 0 38118 0
vsize: 153676
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 58523 0 0 0 116861 153 0 0 25 0 1 0 973677547 157364224 30460 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38419 30460 301 301 0 38118 0
vsize: 153676
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 58530 0 0 0 117861 153 0 0 25 0 1 0 973677547 157364224 30467 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38419 30467 301 301 0 38118 0
vsize: 153676
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 59137 0 0 0 118860 155 0 0 25 0 1 0 973677547 157364224 30472 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38419 30472 301 301 0 38118 0
vsize: 153676
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29096 (pb2sat-v2) R 29095 20224 20223 0 -1 0 59141 0 0 0 119860 155 0 0 25 0 1 0 973677547 157364224 30476 4294967295 134512640 135730672 3221224576 3221223200 134748163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38419 30476 301 301 0 38118 0
vsize: 153676
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.81 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 29096
Raw data (stat): 29096 (pb2sat-v2) Z 29095 20224 20223 0 -1 12 59143 0 0 0 119930 161 0 0 25 0 1 0 973677547 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.81
CPU time (s): 1200.92
CPU user time (s): 1199.31
CPU system time (s): 1.61175
CPU usage (%): 100.01
Max. virtual memory (Kb): 153676
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####