PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb
MD5SUM	615f734b8951521e89cf22f42d6d26cc
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-30
Optimality of the best value was proved	NO
Number of terms in the objective function	450
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	450
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	450
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05084
Number of variables	450
Total number of constraints	17831
Number of constraints which are clauses	17831
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 34952

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-28 11:16:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24243 boxname=wulflinc28 idbench=317 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  615f734b8951521e89cf22f42d6d26cc  /oldhome/oroussel/tmp/wulflinc28/normalized-frb30-15-4.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc28/normalized-frb30-15-4.opb
IDLAUNCH: 24243
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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:        696700 kB
Buffers:         40224 kB
Cached:         256156 kB
SwapCached:        780 kB
Active:          17696 kB
Inactive:       298884 kB
HighTotal:      131008 kB
HighFree:        12544 kB
LowTotal:       903652 kB
LowFree:        684156 kB
SwapTotal:     2097640 kB
SwapFree:      2096164 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5460 kB
Slab:            15748 kB
Committed_AS:    63568 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 11:36:26 (client local time) WITH STATUS 0 IN 1200.64 SECONDS
stats: 24243 7 1200.64 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 34084/102389	Time: 105.562/86400
Decision: 34333/102389	Time: 144.542/86400
Decision: 34863/102389	Time: 181.611/86400
Decision: 35124/102389	Time: 204.789/86400
Decision: 35991/102389	Time: 224.639/86400c [startup+406.869 s]  setting bit 8 to 0

Decision: 13661/102389	Time: 132.726/86400
Decision: 13661/102389	Time: 146.255/86400
Decision: 13661/102389	Time: 158.552/86400
Decision: 13661/102389	Time: 172.056/86400
Decision: 13661/102389	Time: 185.667/86400
Decision: 13661/102389	Time: 201.723/86400
Decision: 13661/102389	Time: 214.256/86400
Decision: 14061/102389	Time: 230.149/86400
Decision: 15056/102389	Time: 256.486/86400c [startup+701.1 s]  setting bit 7 to 0

Decision: 38600/102389	Time: 46.7759/86400
Decision: 38600/102389	Time: 55.7245/86400
Decision: 38600/102389	Time: 64.2232/86400
Decision: 38600/102389	Time: 73.3219/86400
Decision: 38602/102389	Time: 88.4895/86400
Decision: 38602/102389	Time: 98.522/86400
Decision: 38605/102389	Time: 110.984/86400
Decision: 38605/102389	Time: 121.124/86400
Decision: 38605/102389	Time: 132.544/86400c [startup+860.562 s]  setting bit 6 to 0

Decision: 43238/102389	Time: 70.4053/86400
Decision: 43238/102389	Time: 76.8813/86400
Decision: 43238/102389	Time: 83.2833/86400
Decision: 43238/102389	Time: 90.6302/86400
Decision: 43238/102389	Time: 97.3602/86400
Decision: 43238/102389	Time: 104.941/86400
Decision: 43238/102389	Time: 111.686/86400
Decision: 43238/102389	Time: 118.772/86400
Decision: 43238/102389	Time: 125.852/86400
Decision: 43238/102389	Time: 133.085/86400
Decision: 43238/102389	Time: 140.261/86400
Decision: 43238/102389	Time: 147.778/86400
Decision: 43238/102389	Time: 154.553/86400
Decision: 43238/102389	Time: 162.202/86400
Decision: 43238/102389	Time: 169.959/86400
Decision: 43238/102389	Time: 178.901/86400
Decision: 43238/102389	Time: 186.71/86400
Decision: 43238/102389	Time: 194.327/86400
Decision: 43239/102389	Time: 210.455/86400
Decision: 43239/102389	Time: 217.401/86400
Decision: 43239/102389	Time: 227.095/86400
Decision: 43239/102389	Time: 234.673/86400
Decision: 43239/102389	Time: 243.116/86400
Decision: 43239/102389	Time: 250.859/86400
Decision: 43239/102389	Time: 258.987/86400
Decision: 43239/102389	Time: 268.524/86400
Decision: 43240/102389	Time: 278.069/86400
Decision: 43240/102389	Time: 286.579/86400
Decision: 43240/102389	Time: 296.028/86400
Decision: 43240/102389	Time: 305.505/86400
Decision: 43240/102389	Time: 316.491/86400
Decision: 43240/102389	Time: 325.213/86400
Decision: 43240/102389	Time: 333.341/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.88 0.93 0.90 2/54 5810
Raw data (stat): 5810 (runsolver) R 5809 24821 24820 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864378118 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.0007 s]
Raw data (loadavg): 0.90 0.93 0.90 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 15810 0 0 0 966 33 0 0 25 0 1 0 864378118 50016256 10161 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12211 10161 300 300 0 11911 0
vsize: 48844
[startup+20.0018 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 16613 0 0 0 1964 36 0 0 25 0 1 0 864378118 53780480 10898 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13130 10898 300 300 0 12830 0
vsize: 52520
[startup+30.0024 s]
Raw data (loadavg): 0.93 0.93 0.90 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 17324 0 0 0 2962 38 0 0 25 0 1 0 864378118 56578048 11279 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13813 11279 300 300 0 13513 0
vsize: 55252
[startup+40.0017 s]
Raw data (loadavg): 0.94 0.93 0.90 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 18426 0 0 0 3959 40 0 0 25 0 1 0 864378118 60571648 11886 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14788 11886 300 300 0 14488 0
vsize: 59152
[startup+50.0027 s]
Raw data (loadavg): 0.95 0.94 0.90 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 18822 0 0 0 4958 42 0 0 25 0 1 0 864378118 61902848 12117 4294967295 134512640 135726644 3221224592 3221223200 134744646 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15113 12117 300 300 0 14813 0
vsize: 60452
[startup+60.0025 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 19144 0 0 0 5957 43 0 0 25 0 1 0 864378118 62967808 12307 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15373 12307 300 300 0 15073 0
vsize: 61492
[startup+70.0034 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 19360 0 0 0 6956 44 0 0 25 0 1 0 864378118 63860736 12490 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15591 12490 300 300 0 15291 0
vsize: 62364
[startup+80.0038 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 19564 0 0 0 7955 45 0 0 25 0 1 0 864378118 64671744 12628 4294967295 134512640 135726644 3221224592 3221223184 134744136 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15789 12628 300 300 0 15489 0
vsize: 63156
[startup+90.0033 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 19728 0 0 0 8954 46 0 0 25 0 1 0 864378118 65036288 12727 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15878 12727 300 300 0 15578 0
vsize: 63512
[startup+100.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 19747 0 0 0 9954 46 0 0 25 0 1 0 864378118 65036288 12746 4294967295 134512640 135726644 3221224592 3221223104 135279381 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15878 12746 300 300 0 15578 0
vsize: 63512
[startup+110.005 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 19764 0 0 0 10953 47 0 0 25 0 1 0 864378118 65036288 12763 4294967295 134512640 135726644 3221224592 3221223216 134744503 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15878 12763 300 300 0 15578 0
vsize: 63512
[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 19983 0 0 0 11953 48 0 0 25 0 1 0 864378118 65036288 12782 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15878 12782 300 300 0 15578 0
vsize: 63512
[startup+130.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 19985 0 0 0 12952 48 0 0 25 0 1 0 864378118 65036288 12784 4294967295 134512640 135726644 3221224592 3221223200 134744646 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15878 12784 300 300 0 15578 0
vsize: 63512
[startup+140.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 20014 0 0 0 13952 48 0 0 25 0 1 0 864378118 65171456 12813 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15911 12813 300 300 0 15611 0
vsize: 63644
[startup+150.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 20220 0 0 0 14952 49 0 0 25 0 1 0 864378118 65171456 12819 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15911 12819 300 300 0 15611 0
vsize: 63644
[startup+160.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 20238 0 0 0 15952 49 0 0 25 0 1 0 864378118 65306624 12837 4294967295 134512640 135726644 3221224592 3221223136 134736686 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15944 12837 300 300 0 15644 0
vsize: 63776
[startup+170.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 20328 0 0 0 16951 50 0 0 25 0 1 0 864378118 65572864 12894 4294967295 134512640 135726644 3221224592 3221223184 134760010 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16009 12894 300 300 0 15709 0
vsize: 64036
[startup+180.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 20345 0 0 0 17950 50 0 0 25 0 1 0 864378118 65572864 12911 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16009 12911 300 300 0 15709 0
vsize: 64036
[startup+190.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 20610 0 0 0 18949 52 0 0 25 0 1 0 864378118 65867776 12976 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16081 12976 300 300 0 15781 0
vsize: 64324
[startup+200.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 20629 0 0 0 19949 52 0 0 25 0 1 0 864378118 65867776 12995 4294967295 134512640 135726644 3221224592 3221222840 135281783 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16081 12995 300 300 0 15781 0
vsize: 64324
[startup+210.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 20645 0 0 0 20948 53 0 0 25 0 1 0 864378118 65867776 13011 4294967295 134512640 135726644 3221224592 3221223104 134742493 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16081 13011 300 300 0 15781 0
vsize: 64324
[startup+220.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 20905 0 0 0 21947 54 0 0 25 0 1 0 864378118 65867776 13071 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16081 13071 300 300 0 15781 0
vsize: 64324
[startup+230.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 21121 0 0 0 22946 55 0 0 25 0 1 0 864378118 66686976 13287 4294967295 134512640 135726644 3221224592 3221222728 134761847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16281 13287 300 300 0 15981 0
vsize: 65124
[startup+240.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 21141 0 0 0 23946 56 0 0 25 0 1 0 864378118 66002944 13107 4294967295 134512640 135726644 3221224592 3221223088 134744290 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16114 13107 300 300 0 15814 0
vsize: 64456
[startup+250.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 21163 0 0 0 24945 56 0 0 25 0 1 0 864378118 66002944 13129 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16114 13129 300 300 0 15814 0
vsize: 64456
[startup+260.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 21184 0 0 0 25945 57 0 0 25 0 1 0 864378118 66002944 13150 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16114 13150 300 300 0 15814 0
vsize: 64456
[startup+270.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 21213 0 0 0 26944 57 0 0 25 0 1 0 864378118 66002944 13179 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16114 13179 300 300 0 15814 0
vsize: 64456
[startup+280.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 21241 0 0 0 27944 58 0 0 25 0 1 0 864378118 66002944 13207 4294967295 134512640 135726644 3221224592 3221223136 134736624 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16114 13207 300 300 0 15814 0
vsize: 64456
[startup+290.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 21264 0 0 0 28943 58 0 0 25 0 1 0 864378118 66002944 13230 4294967295 134512640 135726644 3221224592 3221223088 134744036 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16114 13230 300 300 0 15814 0
vsize: 64456
[startup+300.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 21288 0 0 0 29943 59 0 0 25 0 1 0 864378118 66134016 13254 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16146 13254 300 300 0 15846 0
vsize: 64584
[startup+310.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 21310 0 0 0 30943 59 0 0 25 0 1 0 864378118 66134016 13276 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16146 13276 300 300 0 15846 0
vsize: 64584
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 21335 0 0 0 31943 59 0 0 25 0 1 0 864378118 66134016 13301 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16146 13301 300 300 0 15846 0
vsize: 64584
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 21360 0 0 0 32942 60 0 0 25 0 1 0 864378118 66134016 13326 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16146 13326 300 300 0 15846 0
vsize: 64584
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 21385 0 0 0 33942 60 0 0 25 0 1 0 864378118 66269184 13351 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16179 13351 300 300 0 15879 0
vsize: 64716
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 21472 0 0 0 34942 61 0 0 25 0 1 0 864378118 66539520 13438 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16245 13438 300 300 0 15945 0
vsize: 64980
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 21700 0 0 0 35941 62 0 0 25 0 1 0 864378118 67514368 13666 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16483 13666 300 300 0 16183 0
vsize: 65932
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 21767 0 0 0 36940 63 0 0 25 0 1 0 864378118 67710976 13733 4294967295 134512640 135726644 3221224592 3221223244 134744472 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16531 13733 300 300 0 16231 0
vsize: 66124
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 21787 0 0 0 37940 63 0 0 25 0 1 0 864378118 67710976 13753 4294967295 134512640 135726644 3221224592 3221223088 134744369 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16531 13753 300 300 0 16231 0
vsize: 66124
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 21807 0 0 0 38940 63 0 0 25 0 1 0 864378118 67710976 13773 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16531 13773 300 300 0 16231 0
vsize: 66124
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 21828 0 0 0 39939 64 0 0 25 0 1 0 864378118 67846144 13794 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16564 13794 300 300 0 16264 0
vsize: 66256
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 22153 0 0 0 40938 65 0 0 25 0 1 0 864378118 68108288 13854 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16628 13854 300 300 0 16328 0
vsize: 66512
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 22206 0 0 0 41937 66 0 0 25 0 1 0 864378118 68108288 13907 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16628 13907 300 300 0 16328 0
vsize: 66512
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 22255 0 0 0 42937 66 0 0 25 0 1 0 864378118 76496896 13956 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18676 13956 300 300 0 18376 0
vsize: 74704
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 22302 0 0 0 43936 67 0 0 25 0 1 0 864378118 76496896 14003 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18676 14003 300 300 0 18376 0
vsize: 74704
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 22491 0 0 0 44935 69 0 0 25 0 1 0 864378118 77238272 14192 4294967295 134512640 135726644 3221224592 3221222912 134728895 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18857 14192 300 300 0 18557 0
vsize: 75428
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 22551 0 0 0 45935 69 0 0 25 0 1 0 864378118 77385728 14252 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18893 14252 300 300 0 18593 0
vsize: 75572
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 22589 0 0 0 46934 70 0 0 25 0 1 0 864378118 77385728 14290 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18893 14290 300 300 0 18593 0
vsize: 75572
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 22623 0 0 0 47934 70 0 0 25 0 1 0 864378118 77385728 14324 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18893 14324 300 300 0 18593 0
vsize: 75572
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 22663 0 0 0 48933 71 0 0 25 0 1 0 864378118 77385728 14364 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18893 14364 300 300 0 18593 0
vsize: 75572
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 22724 0 0 0 49932 72 0 0 25 0 1 0 864378118 77524992 14425 4294967295 134512640 135726644 3221224592 3221223120 134736767 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18927 14425 300 300 0 18627 0
vsize: 75708
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 22771 0 0 0 50931 72 0 0 25 0 1 0 864378118 77697024 14472 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18969 14472 300 300 0 18669 0
vsize: 75876
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 22812 0 0 0 51931 72 0 0 25 0 1 0 864378118 77697024 14513 4294967295 134512640 135726644 3221224592 3221223088 134744379 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18969 14513 300 300 0 18669 0
vsize: 75876
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 22891 0 0 0 52931 73 0 0 25 0 1 0 864378118 77828096 14559 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19001 14559 300 300 0 18701 0
vsize: 76004
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 23124 0 0 0 53930 74 0 0 25 0 1 0 864378118 77828096 14592 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19001 14592 300 300 0 18701 0
vsize: 76004
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 23161 0 0 0 54929 75 0 0 25 0 1 0 864378118 77963264 14629 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19034 14629 300 300 0 18734 0
vsize: 76136
[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 23382 0 0 0 55928 77 0 0 25 0 1 0 864378118 78131200 14650 4294967295 134512640 135726644 3221224592 3221223088 134744244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19075 14650 300 300 0 18775 0
vsize: 76300
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 23606 0 0 0 56926 78 0 0 25 0 1 0 864378118 78131200 14674 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19075 14674 300 300 0 18775 0
vsize: 76300
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 23820 0 0 0 57925 79 0 0 25 0 1 0 864378118 78270464 14688 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19109 14688 300 300 0 18809 0
vsize: 76436
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 23936 0 0 0 58925 80 0 0 25 0 1 0 864378118 78827520 14804 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19245 14804 300 300 0 18945 0
vsize: 76980
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 24192 0 0 0 59923 81 0 0 25 0 1 0 864378118 79024128 14860 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19293 14860 300 300 0 18993 0
vsize: 77172
[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 24410 0 0 0 60922 83 0 0 25 0 1 0 864378118 79024128 14878 4294967295 134512640 135726644 3221224592 3221223088 134744030 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19293 14878 300 300 0 18993 0
vsize: 77172
[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 24427 0 0 0 61922 83 0 0 25 0 1 0 864378118 79024128 14895 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19293 14895 300 300 0 18993 0
vsize: 77172
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 24658 0 0 0 62921 84 0 0 25 0 1 0 864378118 79179776 14926 4294967295 134512640 135726644 3221224592 3221223228 134744478 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19331 14926 300 300 0 19031 0
vsize: 77324
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 24893 0 0 0 63920 86 0 0 25 0 1 0 864378118 79179776 14961 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19331 14961 300 300 0 19031 0
vsize: 77324
[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 24931 0 0 0 64919 86 0 0 25 0 1 0 864378118 79323136 14999 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19366 14999 300 300 0 19066 0
vsize: 77464
[startup+660.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 24963 0 0 0 65919 87 0 0 25 0 1 0 864378118 79323136 15031 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19366 15031 300 300 0 19066 0
vsize: 77464
[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 25192 0 0 0 66918 88 0 0 25 0 1 0 864378118 79323136 15060 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19366 15060 300 300 0 19066 0
vsize: 77464
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 25225 0 0 0 67917 88 0 0 25 0 1 0 864378118 79458304 15093 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19399 15093 300 300 0 19099 0
vsize: 77596
[startup+690.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 25254 0 0 0 68917 89 0 0 25 0 1 0 864378118 79458304 15122 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19399 15122 300 300 0 19099 0
vsize: 77596
[startup+700.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 25274 0 0 0 69917 89 0 0 25 0 1 0 864378118 79458304 15142 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19399 15142 300 300 0 19099 0
vsize: 77596
[startup+710.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 25539 0 0 0 70917 89 0 0 25 0 1 0 864378118 79458304 15207 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19399 15207 300 300 0 19099 0
vsize: 77596
[startup+720.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 25603 0 0 0 71916 90 0 0 25 0 1 0 864378118 79458304 15271 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19399 15271 300 300 0 19099 0
vsize: 77596
[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 25663 0 0 0 72915 91 0 0 25 0 1 0 864378118 79458304 15331 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19399 15331 300 300 0 19099 0
vsize: 77596
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 25715 0 0 0 73915 92 0 0 25 0 1 0 864378118 79593472 15383 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19432 15383 300 300 0 19132 0
vsize: 77728
[startup+750.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 25939 0 0 0 74914 93 0 0 25 0 1 0 864378118 79593472 15407 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19432 15407 300 300 0 19132 0
vsize: 77728
[startup+760.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 26154 0 0 0 75912 94 0 0 25 0 1 0 864378118 79593472 15422 4294967295 134512640 135726644 3221224592 3221223136 134736622 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19432 15422 300 300 0 19132 0
vsize: 77728
[startup+770.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 26358 0 0 0 76912 95 0 0 25 0 1 0 864378118 79593472 15426 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19432 15426 300 300 0 19132 0
vsize: 77728
[startup+780.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 26648 0 0 0 77910 97 0 0 25 0 1 0 864378118 79929344 15516 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19514 15516 300 300 0 19214 0
vsize: 78056
[startup+790.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 26854 0 0 0 78909 98 0 0 25 0 1 0 864378118 79929344 15522 4294967295 134512640 135726644 3221224592 3221223088 134744184 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19514 15522 300 300 0 19214 0
vsize: 78056
[startup+800.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 27058 0 0 0 79908 99 0 0 25 0 1 0 864378118 79929344 15526 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19514 15526 300 300 0 19214 0
vsize: 78056
[startup+810.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 27062 0 0 0 80907 100 0 0 25 0 1 0 864378118 79929344 15530 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19514 15530 300 300 0 19214 0
vsize: 78056
[startup+820.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 27266 0 0 0 81907 101 0 0 25 0 1 0 864378118 79929344 15534 4294967295 134512640 135726644 3221224592 3221222912 134728940 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19514 15534 300 300 0 19214 0
vsize: 78056
[startup+830.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 27470 0 0 0 82906 102 0 0 25 0 1 0 864378118 79929344 15538 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19514 15538 300 300 0 19214 0
vsize: 78056
[startup+840.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 27676 0 0 0 83905 103 0 0 25 0 1 0 864378118 80076800 15544 4294967295 134512640 135726644 3221224592 3221222956 135287582 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19550 15544 300 300 0 19250 0
vsize: 78200
[startup+850.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 27681 0 0 0 84905 103 0 0 25 0 1 0 864378118 80076800 15549 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19550 15549 300 300 0 19250 0
vsize: 78200
[startup+860.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 27692 0 0 0 85905 104 0 0 25 0 1 0 864378118 80076800 15560 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19550 15560 300 300 0 19250 0
vsize: 78200
[startup+870.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 28029 0 0 0 86903 106 0 0 25 0 1 0 864378118 80076800 15697 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19550 15697 300 300 0 19250 0
vsize: 78200
[startup+880.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 28171 0 0 0 87901 107 0 0 25 0 1 0 864378118 80076800 15839 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19550 15839 300 300 0 19250 0
vsize: 78200
[startup+890.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 28274 0 0 0 88901 108 0 0 25 0 1 0 864378118 80076800 15942 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19550 15942 300 300 0 19250 0
vsize: 78200
[startup+900.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 28403 0 0 0 89899 110 0 0 25 0 1 0 864378118 80216064 16071 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19584 16071 300 300 0 19284 0
vsize: 78336
[startup+910.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 28535 0 0 0 90899 110 0 0 25 0 1 0 864378118 80216064 16203 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19584 16203 300 300 0 19284 0
vsize: 78336
[startup+920.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 28661 0 0 0 91898 111 0 0 25 0 1 0 864378118 80216064 16329 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19584 16329 300 300 0 19284 0
vsize: 78336
[startup+930.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 28796 0 0 0 92896 113 0 0 25 0 1 0 864378118 80351232 16464 4294967295 134512640 135726644 3221224592 3221223104 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19617 16464 300 300 0 19317 0
vsize: 78468
[startup+940.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 29242 0 0 0 93895 114 0 0 25 0 1 0 864378118 80490496 16510 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19651 16510 300 300 0 19351 0
vsize: 78604
[startup+950.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 29535 0 0 0 94893 116 0 0 25 0 1 0 864378118 80629760 16603 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19685 16603 300 300 0 19385 0
vsize: 78740
[startup+960.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 30050 0 0 0 95891 118 0 0 25 0 1 0 864378118 80912384 16718 4294967295 134512640 135726644 3221224592 3221223088 134744056 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19754 16718 300 300 0 19454 0
vsize: 79016
[startup+970.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 30343 0 0 0 96890 119 0 0 25 0 1 0 864378118 80912384 16811 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19754 16811 300 300 0 19454 0
vsize: 79016
[startup+980.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 30853 0 0 0 97889 121 0 0 25 0 1 0 864378118 81059840 16921 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19790 16921 300 300 0 19490 0
vsize: 79160
[startup+990.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 31179 0 0 0 98887 122 0 0 25 0 1 0 864378118 81199104 17047 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19824 17047 300 300 0 19524 0
vsize: 79296
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 31476 0 0 0 99886 124 0 0 25 0 1 0 864378118 81338368 17144 4294967295 134512640 135726644 3221224592 3221223104 134742493 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19858 17144 300 300 0 19558 0
vsize: 79432
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 31939 0 0 0 100884 126 0 0 25 0 1 0 864378118 81477632 17207 4294967295 134512640 135726644 3221224592 3221223280 134744915 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19892 17207 300 300 0 19592 0
vsize: 79568
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 32262 0 0 0 101882 127 0 0 25 0 1 0 864378118 81616896 17330 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19926 17330 300 300 0 19626 0
vsize: 79704
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 32564 0 0 0 102881 129 0 0 25 0 1 0 864378118 98533376 17432 4294967295 134512640 135726644 3221224592 3221223104 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24056 17432 300 300 0 23756 0
vsize: 96224
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 33067 0 0 0 103879 131 0 0 25 0 1 0 864378118 98533376 17535 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24056 17535 300 300 0 23756 0
vsize: 96224
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 33362 0 0 0 104878 132 0 0 25 0 1 0 864378118 98672640 17630 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24090 17630 300 300 0 23790 0
vsize: 96360
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 33665 0 0 0 105877 134 0 0 25 0 1 0 864378118 98820096 17733 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24126 17733 300 300 0 23826 0
vsize: 96504
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 33743 0 0 0 106876 135 0 0 25 0 1 0 864378118 98820096 17811 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24126 17811 300 300 0 23826 0
vsize: 96504
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 34209 0 0 0 107874 137 0 0 25 0 1 0 864378118 98959360 17877 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24160 17877 300 300 0 23860 0
vsize: 96640
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 34473 0 0 0 108873 138 0 0 25 0 1 0 864378118 98959360 17941 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24160 17941 300 300 0 23860 0
vsize: 96640
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 34696 0 0 0 109872 139 0 0 25 0 1 0 864378118 99098624 17964 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24194 17964 300 300 0 23894 0
vsize: 96776
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 34920 0 0 0 110871 140 0 0 25 0 1 0 864378118 99098624 17988 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24194 17988 300 300 0 23894 0
vsize: 96776
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 35414 0 0 0 111870 141 0 0 25 0 1 0 864378118 99254272 18082 4294967295 134512640 135726644 3221224592 3221223088 134744174 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24232 18082 300 300 0 23932 0
vsize: 96928
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 35682 0 0 0 112868 143 0 0 25 0 1 0 864378118 99254272 18150 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24232 18150 300 300 0 23932 0
vsize: 96928
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 35932 0 0 0 113867 144 0 0 25 0 1 0 864378118 99401728 18200 4294967295 134512640 135726644 3221224592 3221223216 134744506 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24268 18200 300 300 0 23968 0
vsize: 97072
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 36222 0 0 0 114867 145 0 0 25 0 1 0 864378118 99549184 18290 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24304 18290 300 300 0 24004 0
vsize: 97216
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 36521 0 0 0 115866 146 0 0 25 0 1 0 864378118 99549184 18389 4294967295 134512640 135726644 3221224592 3221222920 134735633 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24304 18389 300 300 0 24004 0
vsize: 97216
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 36829 0 0 0 116865 147 0 0 25 0 1 0 864378118 99831808 18497 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24373 18497 300 300 0 24073 0
vsize: 97492
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 37125 0 0 0 117864 148 0 0 25 0 1 0 864378118 100163584 18593 4294967295 134512640 135726644 3221224592 3221223088 134744382 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24454 18593 300 300 0 24154 0
vsize: 97816
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 37364 0 0 0 118863 149 0 0 25 0 1 0 864378118 100163584 18632 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24454 18632 300 300 0 24154 0
vsize: 97816
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5810
Raw data (stat): 5810 (pb2sat) R 5809 24821 24820 0 -1 0 37641 0 0 0 119862 150 0 0 25 0 1 0 864378118 100311040 18709 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24490 18709 300 300 0 24190 0
vsize: 97960
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.56 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 5810
Raw data (stat): 5810 (pb2sat) Z 5809 24821 24820 0 -1 12 37642 0 0 0 119909 154 0 0 25 0 1 0 864378118 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.56
CPU time (s): 1200.64
CPU user time (s): 1199.09
CPU system time (s): 1.54477
CPU usage (%): 100.007
Max. virtual memory (Kb): 97960
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####