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/frb45-21-opb/normalized-frb45-21-3.opb
MD5SUM	b3a3f977e810fc2043ea057a8d94a7d8
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-34
Optimality of the best value was proved	NO
Number of terms in the objective function	945
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	945
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	945
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.07
Number of variables	945
Total number of constraints	58245
Number of constraints which are clauses	58245
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 34971

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-05-28 11:31:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24257 boxname=wulflinc29 idbench=331 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b3a3f977e810fc2043ea057a8d94a7d8  /oldhome/oroussel/tmp/wulflinc29/normalized-frb45-21-3.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc29/normalized-frb45-21-3.opb
IDLAUNCH: 24257
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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:        630620 kB
Buffers:         36828 kB
Cached:         340688 kB
SwapCached:        632 kB
Active:          45060 kB
Inactive:       334524 kB
HighTotal:      131008 kB
HighFree:        45640 kB
LowTotal:       903652 kB
LowFree:        584980 kB
SwapTotal:     2097892 kB
SwapFree:      2096372 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5136 kB
Slab:            18948 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 11:51:29 (client local time) WITH STATUS 0 IN 1202.24 SECONDS
stats: 24257 7 1202.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 138046/448889	Time: 48.3806/86400
Decision: 140408/448889	Time: 169.208/86400
Decision: 141449/448889	Time: 228.225/86400
Decision: 141449/448889	Time: 280.839/86400
Decision: 141449/448889	Time: 341.451/86400
Decision: 149907/448889	Time: 444.954/86400
Decision: 149907/448889	Time: 499.299/86400
Decision: 149907/448889	Time: 556.311/86400
Decision: 149907/448889	Time: 609.733/86400
Decision: 149907/448889	Time: 671.364/86400
Decision: 149907/448889	Time: 729.93/86400
Decision: 149907/448889	Time: 793.763/86400
Decision: 149907/448889	Time: 855.98/86400
Decision: 149907/448889	Time: 922.672/86400
Decision: 149907/448889	Time: 987.177/86400
Decision: 149960/448889	Time: 1087.45/86400
Decision: 149960/448889	Time: 1144.87/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.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (runsolver) R 27148 20001 20000 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864457385 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.0005 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 29493 0 0 0 933 65 0 0 25 0 1 0 864457385 89026560 18586 4294967295 134512640 135726644 3221224592 3221041048 135282351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21735 18587 300 300 0 21435 0
vsize: 86940
[startup+20.0007 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 58363 0 0 0 1875 124 0 0 25 0 1 0 864457385 175288320 36495 4294967295 134512640 135726644 3221224592 3221142944 134554711 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42795 36495 300 300 0 42495 0
vsize: 171180
[startup+30.0009 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 64589 0 0 0 2860 139 0 0 25 0 1 0 864457385 190689280 41599 4294967295 134512640 135726644 3221224592 3221222912 134728878 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46555 41599 300 300 0 46255 0
vsize: 186220
[startup+40.0007 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 66465 0 0 0 3856 142 0 0 25 0 1 0 864457385 198152192 42914 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48377 42914 300 300 0 48077 0
vsize: 193508
[startup+50.0012 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 68838 0 0 0 4852 147 0 0 25 0 1 0 864457385 205717504 44171 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50224 44171 300 300 0 49924 0
vsize: 200896
[startup+60.0013 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 69737 0 0 0 5850 149 0 0 25 0 1 0 864457385 208363520 44612 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50870 44612 300 300 0 50570 0
vsize: 203480
[startup+70.0023 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 71423 0 0 0 6847 152 0 0 25 0 1 0 864457385 214335488 45873 4294967295 134512640 135726644 3221224592 3221222744 134761841 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52328 45873 300 300 0 52028 0
vsize: 209312
[startup+80.0026 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 72859 0 0 0 7843 156 0 0 25 0 1 0 864457385 215130112 45660 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52522 45660 300 300 0 52222 0
vsize: 210088
[startup+90.0026 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 72860 0 0 0 8842 157 0 0 25 0 1 0 864457385 215277568 45661 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52558 45661 300 300 0 52258 0
vsize: 210232
[startup+100.004 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 72889 0 0 0 9841 159 0 0 25 0 1 0 864457385 215433216 45690 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52596 45690 300 300 0 52296 0
vsize: 210384
[startup+110.004 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 74385 0 0 0 10838 162 0 0 25 0 1 0 864457385 220483584 46589 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53829 46589 300 300 0 53529 0
vsize: 215316
[startup+120.005 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 77030 0 0 0 11833 167 0 0 25 0 1 0 864457385 229994496 48107 4294967295 134512640 135726644 3221224592 3221223216 134744676 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56151 48107 300 300 0 55851 0
vsize: 224604
[startup+130.005 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 78834 0 0 0 12830 171 0 0 25 0 1 0 864457385 236466176 49119 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57731 49119 300 300 0 57431 0
vsize: 230924
[startup+140.004 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 80499 0 0 0 13826 174 0 0 25 0 1 0 864457385 242724864 50227 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59259 50227 300 300 0 58959 0
vsize: 237036
[startup+150.005 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 81052 0 0 0 14825 176 0 0 25 0 1 0 864457385 244310016 50552 4294967295 134512640 135726644 3221224592 3221223088 134744053 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59646 50552 300 300 0 59346 0
vsize: 238584
[startup+160.005 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 81221 0 0 0 15825 176 0 0 25 0 1 0 864457385 244838400 50656 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59775 50656 300 300 0 59475 0
vsize: 239100
[startup+170.006 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 81245 0 0 0 16825 176 0 0 25 0 1 0 864457385 244838400 50680 4294967295 134512640 135726644 3221224592 3221223088 134744123 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59775 50680 300 300 0 59475 0
vsize: 239100
[startup+180.006 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 81256 0 0 0 17825 176 0 0 25 0 1 0 864457385 244838400 50691 4294967295 134512640 135726644 3221224592 3221223136 134736622 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59775 50691 300 300 0 59475 0
vsize: 239100
[startup+190.006 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 81266 0 0 0 18825 176 0 0 25 0 1 0 864457385 244838400 50701 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59775 50701 300 300 0 59475 0
vsize: 239100
[startup+200.006 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 83635 0 0 0 19820 181 0 0 25 0 1 0 864457385 250200064 51571 4294967295 134512640 135726644 3221224592 3221223088 134744006 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61084 51571 300 300 0 60784 0
vsize: 244336
[startup+210.006 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 84683 0 0 0 20818 184 0 0 25 0 1 0 864457385 253448192 52241 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61877 52241 300 300 0 61577 0
vsize: 247508
[startup+220.007 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 84787 0 0 0 21817 184 0 0 25 0 1 0 864457385 253976576 52345 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62006 52345 300 300 0 61706 0
vsize: 248024
[startup+230.006 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 84812 0 0 0 22818 184 0 0 25 0 1 0 864457385 253976576 52370 4294967295 134512640 135726644 3221224592 3221223136 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62006 52370 300 300 0 61706 0
vsize: 248024
[startup+240.006 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 84821 0 0 0 23818 184 0 0 25 0 1 0 864457385 253976576 52379 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62006 52379 300 300 0 61706 0
vsize: 248024
[startup+250.008 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 84828 0 0 0 24818 185 0 0 25 0 1 0 864457385 253976576 52386 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62006 52386 300 300 0 61706 0
vsize: 248024
[startup+260.008 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 85803 0 0 0 25815 187 0 0 25 0 1 0 864457385 254242816 52451 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62071 52451 300 300 0 61771 0
vsize: 248284
[startup+270.009 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 85819 0 0 0 26814 187 0 0 25 0 1 0 864457385 254242816 52467 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62071 52467 300 300 0 61771 0
vsize: 248284
[startup+280.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 85829 0 0 0 27813 187 0 0 25 0 1 0 864457385 254242816 52477 4294967295 134512640 135726644 3221224592 3221223200 134744639 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62071 52477 300 300 0 61771 0
vsize: 248284
[startup+290.009 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 85840 0 0 0 28814 188 0 0 25 0 1 0 864457385 254242816 52488 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62071 52488 300 300 0 61771 0
vsize: 248284
[startup+300.009 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 85851 0 0 0 29814 188 0 0 25 0 1 0 864457385 254242816 52499 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62071 52499 300 300 0 61771 0
vsize: 248284
[startup+310.009 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 88092 0 0 0 30810 191 0 0 25 0 1 0 864457385 258678784 53175 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63154 53175 300 300 0 62854 0
vsize: 252616
[startup+320.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 88144 0 0 0 31810 191 0 0 25 0 1 0 864457385 259010560 53227 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63235 53227 300 300 0 62935 0
vsize: 252940
[startup+330.011 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 88158 0 0 0 32810 191 0 0 25 0 1 0 864457385 259010560 53241 4294967295 134512640 135726644 3221224592 3221223216 134744570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63235 53241 300 300 0 62935 0
vsize: 252940
[startup+340.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 88168 0 0 0 33811 191 0 0 25 0 1 0 864457385 259010560 53251 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63235 53251 300 300 0 62935 0
vsize: 252940
[startup+350.011 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 88175 0 0 0 34811 192 0 0 25 0 1 0 864457385 259010560 53258 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63235 53259 300 300 0 62935 0
vsize: 252940
[startup+360.011 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 88202 0 0 0 35811 192 0 0 25 0 1 0 864457385 259010560 53285 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63235 53285 300 300 0 62935 0
vsize: 252940
[startup+370.012 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 89539 0 0 0 36808 195 0 0 25 0 1 0 864457385 260665344 53582 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63639 53582 300 300 0 63339 0
vsize: 254556
[startup+380.011 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 90548 0 0 0 37806 196 0 0 25 0 1 0 864457385 264052736 54206 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64466 54206 300 300 0 64166 0
vsize: 257864
[startup+390.011 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 91141 0 0 0 38805 198 0 0 25 0 1 0 864457385 266317824 54667 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65019 54667 300 300 0 64719 0
vsize: 260076
[startup+400.012 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 91436 0 0 0 39805 198 0 0 25 0 1 0 864457385 267374592 54833 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65277 54833 300 300 0 64977 0
vsize: 261108
[startup+410.012 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 91451 0 0 0 40805 198 0 0 25 0 1 0 864457385 267374592 54848 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65277 54848 300 300 0 64977 0
vsize: 261108
[startup+420.013 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 91604 0 0 0 41805 198 0 0 25 0 1 0 864457385 267898880 54872 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65405 54872 300 300 0 65105 0
vsize: 261620
[startup+430.016 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 91614 0 0 0 42806 198 0 0 25 0 1 0 864457385 267898880 54882 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65405 54882 300 300 0 65105 0
vsize: 261620
[startup+440.015 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 91626 0 0 0 43806 198 0 0 25 0 1 0 864457385 267898880 54894 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65405 54894 300 300 0 65105 0
vsize: 261620
[startup+450.015 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 91639 0 0 0 44806 198 0 0 25 0 1 0 864457385 267898880 54907 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65405 54907 300 300 0 65105 0
vsize: 261620
[startup+460.016 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 91648 0 0 0 45806 199 0 0 25 0 1 0 864457385 267898880 54916 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65405 54916 300 300 0 65105 0
vsize: 261620
[startup+470.016 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 92532 0 0 0 46805 200 0 0 25 0 1 0 864457385 267898880 54923 4294967295 134512640 135726644 3221224592 3221223280 134744838 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65405 54923 300 300 0 65105 0
vsize: 261620
[startup+480.016 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 92532 0 0 0 47805 200 0 0 25 0 1 0 864457385 267898880 54923 4294967295 134512640 135726644 3221224592 3221223216 134744575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65405 54923 300 300 0 65105 0
vsize: 261620
[startup+490.016 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 92533 0 0 0 48805 200 0 0 25 0 1 0 864457385 267898880 54924 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65405 54924 300 300 0 65105 0
vsize: 261620
[startup+500.017 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 92534 0 0 0 49805 200 0 0 25 0 1 0 864457385 267898880 54925 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65405 54925 300 300 0 65105 0
vsize: 261620
[startup+510.017 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 92535 0 0 0 50805 200 0 0 25 0 1 0 864457385 267898880 54926 4294967295 134512640 135726644 3221224592 3221223136 134736624 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65405 54926 300 300 0 65105 0
vsize: 261620
[startup+520.017 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 92536 0 0 0 51805 200 0 0 25 0 1 0 864457385 267898880 54927 4294967295 134512640 135726644 3221224592 3221223184 134760188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65405 54927 300 300 0 65105 0
vsize: 261620
[startup+530.018 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 93413 0 0 0 52803 203 0 0 25 0 1 0 864457385 267898880 54927 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65405 54927 300 300 0 65105 0
vsize: 261620
[startup+540.018 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 93416 0 0 0 53803 203 0 0 25 0 1 0 864457385 267898880 54930 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65405 54930 300 300 0 65105 0
vsize: 261620
[startup+550.019 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 93417 0 0 0 54803 203 0 0 25 0 1 0 864457385 267898880 54931 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65405 54931 300 300 0 65105 0
vsize: 261620
[startup+560.019 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 93495 0 0 0 55803 203 0 0 25 0 1 0 864457385 268161024 54944 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65469 54944 300 300 0 65169 0
vsize: 261876
[startup+570.02 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 93649 0 0 0 56803 203 0 0 25 0 1 0 864457385 268554240 55000 4294967295 134512640 135726644 3221224592 3221223212 134727347 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65565 55000 300 300 0 65265 0
vsize: 262260
[startup+580.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 94530 0 0 0 57802 205 0 0 25 0 1 0 864457385 268554240 55004 4294967295 134512640 135726644 3221224592 3221223008 134738149 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65565 55004 300 300 0 65265 0
vsize: 262260
[startup+590.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 94531 0 0 0 58802 205 0 0 25 0 1 0 864457385 268554240 55005 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65565 55005 300 300 0 65265 0
vsize: 262260
[startup+600.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 94531 0 0 0 59802 206 0 0 25 0 1 0 864457385 268554240 55005 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65565 55005 300 300 0 65265 0
vsize: 262260
[startup+610.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 94532 0 0 0 60802 206 0 0 25 0 1 0 864457385 268554240 55006 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65565 55006 300 300 0 65265 0
vsize: 262260
[startup+620.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 94533 0 0 0 61802 206 0 0 25 0 1 0 864457385 268554240 55007 4294967295 134512640 135726644 3221224592 3221223136 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65565 55007 300 300 0 65265 0
vsize: 262260
[startup+630.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 94534 0 0 0 62802 206 0 0 25 0 1 0 864457385 268554240 55008 4294967295 134512640 135726644 3221224592 3221223196 134743852 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65565 55008 300 300 0 65265 0
vsize: 262260
[startup+640.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 95411 0 0 0 63800 208 0 0 25 0 1 0 864457385 268554240 55008 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65565 55008 300 300 0 65265 0
vsize: 262260
[startup+650.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 95412 0 0 0 64800 208 0 0 25 0 1 0 864457385 268554240 55009 4294967295 134512640 135726644 3221224592 3221223184 134760075 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65565 55009 300 300 0 65265 0
vsize: 262260
[startup+660.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 95418 0 0 0 65800 208 0 0 25 0 1 0 864457385 268554240 55015 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65565 55015 300 300 0 65265 0
vsize: 262260
[startup+670.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 95422 0 0 0 66801 208 0 0 25 0 1 0 864457385 268554240 55019 4294967295 134512640 135726644 3221224592 3221223184 134760010 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65565 55019 300 300 0 65265 0
vsize: 262260
[startup+680.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 95426 0 0 0 67801 208 0 0 25 0 1 0 864457385 268554240 55023 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65565 55023 300 300 0 65265 0
vsize: 262260
[startup+690.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 95573 0 0 0 68801 208 0 0 25 0 1 0 864457385 269078528 55041 4294967295 134512640 135726644 3221224592 3221223280 134744898 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65693 55041 300 300 0 65393 0
vsize: 262772
[startup+700.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 96607 0 0 0 69798 211 0 0 25 0 1 0 864457385 269611008 55165 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65823 55165 300 300 0 65523 0
vsize: 263292
[startup+710.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 96619 0 0 0 70798 211 0 0 25 0 1 0 864457385 269611008 55177 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65823 55177 300 300 0 65523 0
vsize: 263292
[startup+720.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 96635 0 0 0 71798 211 0 0 25 0 1 0 864457385 269611008 55193 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 65823 55193 300 300 0 65523 0
vsize: 263292
[startup+730.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 96646 0 0 0 72797 212 0 0 25 0 1 0 864457385 269611008 55204 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 65823 55204 300 300 0 65523 0
vsize: 263292
[startup+740.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 96659 0 0 0 73796 212 0 0 25 0 1 0 864457385 269611008 55217 4294967295 134512640 135726644 3221224592 3221223280 134744892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65823 55217 300 300 0 65523 0
vsize: 263292
[startup+750.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 96674 0 0 0 74796 212 0 0 25 0 1 0 864457385 269611008 55232 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65823 55232 300 300 0 65523 0
vsize: 263292
[startup+760.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 97552 0 0 0 75795 214 0 0 25 0 1 0 864457385 269611008 55233 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65823 55233 300 300 0 65523 0
vsize: 263292
[startup+770.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 97552 0 0 0 76795 214 0 0 25 0 1 0 864457385 269611008 55233 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65823 55233 300 300 0 65523 0
vsize: 263292
[startup+780.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 97553 0 0 0 77795 214 0 0 25 0 1 0 864457385 269611008 55234 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65823 55234 300 300 0 65523 0
vsize: 263292
[startup+790.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 97554 0 0 0 78795 214 0 0 25 0 1 0 864457385 269611008 55235 4294967295 134512640 135726644 3221224592 3221223088 134744056 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65823 55235 300 300 0 65523 0
vsize: 263292
[startup+800.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 97555 0 0 0 79795 214 0 0 25 0 1 0 864457385 269611008 55236 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65823 55236 300 300 0 65523 0
vsize: 263292
[startup+810.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 97555 0 0 0 80796 214 0 0 25 0 1 0 864457385 269611008 55236 4294967295 134512640 135726644 3221224592 3221223136 134736624 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65823 55236 300 300 0 65523 0
vsize: 263292
[startup+820.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 98433 0 0 0 81794 216 0 0 25 0 1 0 864457385 269611008 55237 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65823 55237 300 300 0 65523 0
vsize: 263292
[startup+830.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 98433 0 0 0 82794 216 0 0 25 0 1 0 864457385 269611008 55237 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65823 55237 300 300 0 65523 0
vsize: 263292
[startup+840.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 98434 0 0 0 83794 216 0 0 25 0 1 0 864457385 269611008 55238 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65823 55238 300 300 0 65523 0
vsize: 263292
[startup+850.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 98434 0 0 0 84794 216 0 0 25 0 1 0 864457385 269611008 55238 4294967295 134512640 135726644 3221224592 3221223072 134729216 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65823 55238 300 300 0 65523 0
vsize: 263292
[startup+860.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 98435 0 0 0 85795 216 0 0 25 0 1 0 864457385 269611008 55239 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65823 55239 300 300 0 65523 0
vsize: 263292
[startup+870.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 98436 0 0 0 86795 216 0 0 25 0 1 0 864457385 269611008 55240 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65823 55240 300 300 0 65523 0
vsize: 263292
[startup+880.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 99313 0 0 0 87793 219 0 0 25 0 1 0 864457385 269611008 55240 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65823 55240 300 300 0 65523 0
vsize: 263292
[startup+890.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 99314 0 0 0 88793 219 0 0 25 0 1 0 864457385 269611008 55241 4294967295 134512640 135726644 3221224592 3221223248 134731251 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65823 55241 300 300 0 65523 0
vsize: 263292
[startup+900.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 99315 0 0 0 89793 219 0 0 25 0 1 0 864457385 269611008 55242 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65823 55242 300 300 0 65523 0
vsize: 263292
[startup+910.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 99315 0 0 0 90793 219 0 0 25 0 1 0 864457385 269611008 55242 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65823 55242 300 300 0 65523 0
vsize: 263292
[startup+920.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 99316 0 0 0 91793 219 0 0 25 0 1 0 864457385 269611008 55243 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65823 55243 300 300 0 65523 0
vsize: 263292
[startup+930.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 99317 0 0 0 92793 219 0 0 25 0 1 0 864457385 269611008 55244 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65823 55244 300 300 0 65523 0
vsize: 263292
[startup+940.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 99317 0 0 0 93793 219 0 0 25 0 1 0 864457385 269611008 55244 4294967295 134512640 135726644 3221224592 3221223204 134744633 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65823 55244 300 300 0 65523 0
vsize: 263292
[startup+950.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 100198 0 0 0 94792 221 0 0 25 0 1 0 864457385 269611008 55248 4294967295 134512640 135726644 3221224592 3221223216 134744520 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65823 55248 300 300 0 65523 0
vsize: 263292
[startup+960.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 100208 0 0 0 95792 221 0 0 25 0 1 0 864457385 269611008 55258 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65823 55258 300 300 0 65523 0
vsize: 263292
[startup+970.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 100220 0 0 0 96792 221 0 0 25 0 1 0 864457385 269611008 55270 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65823 55270 300 300 0 65523 0
vsize: 263292
[startup+980.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 100231 0 0 0 97792 221 0 0 25 0 1 0 864457385 269611008 55281 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65823 55281 300 300 0 65523 0
vsize: 263292
[startup+990.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 100242 0 0 0 98792 221 0 0 25 0 1 0 864457385 269611008 55292 4294967295 134512640 135726644 3221224592 3221223088 134744159 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65823 55292 300 300 0 65523 0
vsize: 263292
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 100254 0 0 0 99792 221 0 0 25 0 1 0 864457385 269611008 55304 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65823 55304 300 300 0 65523 0
vsize: 263292
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 101142 0 0 0 100790 223 0 0 25 0 1 0 864457385 273203200 56192 4294967295 134512640 135726644 3221224592 3221222776 134769070 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 66700 56192 300 300 0 66400 0
vsize: 266800
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 101161 0 0 0 101791 223 0 0 25 0 1 0 864457385 269611008 55334 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65823 55334 300 300 0 65523 0
vsize: 263292
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 101626 0 0 0 102790 225 0 0 25 0 1 0 864457385 271200256 55603 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 66211 55603 300 300 0 65911 0
vsize: 264844
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 102230 0 0 0 103789 226 0 0 25 0 1 0 864457385 273457152 56011 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 66762 56011 300 300 0 66462 0
vsize: 267048
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 102982 0 0 0 104787 228 0 0 25 0 1 0 864457385 275963904 56371 4294967295 134512640 135726644 3221224592 3221223216 134744656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67374 56371 300 300 0 67074 0
vsize: 269496
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 102990 0 0 0 105787 228 0 0 25 0 1 0 864457385 275963904 56379 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67374 56379 300 300 0 67074 0
vsize: 269496
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 102998 0 0 0 106787 228 0 0 25 0 1 0 864457385 275963904 56387 4294967295 134512640 135726644 3221224592 3221223184 134759991 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67374 56387 300 300 0 67074 0
vsize: 269496
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 103009 0 0 0 107788 228 0 0 25 0 1 0 864457385 275963904 56398 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67374 56398 300 300 0 67074 0
vsize: 269496
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 103017 0 0 0 108788 228 0 0 25 0 1 0 864457385 275963904 56406 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67374 56406 300 300 0 67074 0
vsize: 269496
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 103027 0 0 0 109788 228 0 0 25 0 1 0 864457385 275963904 56416 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67374 56416 300 300 0 67074 0
vsize: 269496
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 103912 0 0 0 110786 230 0 0 25 0 1 0 864457385 275963904 56424 4294967295 134512640 135726644 3221224592 3221223212 134779522 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67374 56424 300 300 0 67074 0
vsize: 269496
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 104161 0 0 0 111786 231 0 0 25 0 1 0 864457385 276623360 56575 4294967295 134512640 135726644 3221224592 3221222772 135277538 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67535 56575 300 300 0 67235 0
vsize: 270140
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 104339 0 0 0 112785 231 0 0 25 0 1 0 864457385 277417984 56688 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67729 56688 300 300 0 67429 0
vsize: 270916
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 104340 0 0 0 113785 231 0 0 25 0 1 0 864457385 277417984 56689 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67729 56689 300 300 0 67429 0
vsize: 270916
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 104341 0 0 0 114786 231 0 0 25 0 1 0 864457385 277417984 56690 4294967295 134512640 135726644 3221224592 3221223136 134736650 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67729 56690 300 300 0 67429 0
vsize: 270916
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 104341 0 0 0 115786 231 0 0 25 0 1 0 864457385 277417984 56690 4294967295 134512640 135726644 3221224592 3221223216 134744513 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67729 56690 300 300 0 67429 0
vsize: 270916
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 105235 0 0 0 116784 233 0 0 25 0 1 0 864457385 277417984 56707 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67729 56707 300 300 0 67429 0
vsize: 270916
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 105236 0 0 0 117784 233 0 0 25 0 1 0 864457385 277417984 56708 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67729 56708 300 300 0 67429 0
vsize: 270916
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 105236 0 0 0 118784 233 0 0 25 0 1 0 864457385 277417984 56708 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67729 56708 300 300 0 67429 0
vsize: 270916
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 105237 0 0 0 119784 234 0 0 25 0 1 0 864457385 277417984 56709 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67729 56709 300 300 0 67429 0
vsize: 270916
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.09 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 27149
Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 105237 0 0 0 119784 234 0 0 25 0 1 0 864457385 277417984 56709 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67729 56709 300 300 0 67429 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.09
CPU time (s): 1202.24
CPU user time (s): 1199.79
CPU system time (s): 2.45263
CPU usage (%): 100.012
Max. virtual memory (Kb): 270916
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####