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-1.opb
MD5SUM	aa1ea44fce5b7bfbe62733720f941ebb
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-33
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.08
Number of variables	945
Total number of constraints	59186
Number of constraints which are clauses	59186
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 34964

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-05-28 11:28:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24255 boxname=wulflinc6 idbench=329 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  aa1ea44fce5b7bfbe62733720f941ebb  /oldhome/oroussel/tmp/wulflinc6/normalized-frb45-21-1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc6/normalized-frb45-21-1.opb
IDLAUNCH: 24255
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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	: 2
cpu MHz		: 451.042
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:        702864 kB
Buffers:         34132 kB
Cached:         274080 kB
SwapCached:        576 kB
Active:          21100 kB
Inactive:       289268 kB
HighTotal:      131008 kB
HighFree:       107688 kB
LowTotal:       903652 kB
LowFree:        595176 kB
SwapTotal:     2097136 kB
SwapFree:      2095604 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5176 kB
Slab:            15724 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 11:48:15 (client local time) WITH STATUS 0 IN 1202.45 SECONDS
stats: 24255 7 1202.45 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 149080/448889	Time: 132.661/86400
Decision: 153580/448889	Time: 184.751/86400
Decision: 164561/448889	Time: 253.791/86400
Decision: 164561/448889	Time: 308.749/86400
Decision: 164561/448889	Time: 366.256/86400
Decision: 181638/448889	Time: 502.648/86400
Decision: 183005/448889	Time: 618.252/86400
Decision: 183005/448889	Time: 673.125/86400
Decision: 183926/448889	Time: 755.158/86400
Decision: 183926/448889	Time: 822.414/86400
Decision: 183926/448889	Time: 885.275/86400
Decision: 183926/448889	Time: 946.871/86400
Decision: 183926/448889	Time: 1000.58/86400
Decision: 183950/448889	Time: 1076.33/86400
Decision: 184844/448889	Time: 1146.24/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.92 0.97 0.92 2/54 2565
Raw data (stat): 2565 (runsolver) R 2564 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806220451 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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+9.99966 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 29417 0 0 0 930 69 0 0 25 0 1 0 806220451 88891392 18511 4294967295 134512640 135726644 3221224592 3221008496 134782642 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21702 18511 300 300 0 21402 0
vsize: 86808
[startup+20.0001 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 57968 0 0 0 1870 129 0 0 25 0 1 0 806220451 174747648 36104 4294967295 134512640 135726644 3221224592 3221160568 134784091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42663 36105 300 300 0 42363 0
vsize: 170652
[startup+30.0003 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 64768 0 0 0 2854 145 0 0 25 0 1 0 806220451 191795200 41778 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46825 41778 300 300 0 46525 0
vsize: 187300
[startup+40.0002 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 65724 0 0 0 3853 146 0 0 25 0 1 0 806220451 196395008 42603 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47948 42603 300 300 0 47648 0
vsize: 191792
[startup+50.0002 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 66452 0 0 0 4852 148 0 0 25 0 1 0 806220451 199319552 43101 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48662 43101 300 300 0 48362 0
vsize: 194648
[startup+60.0007 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 67242 0 0 0 5851 149 0 0 25 0 1 0 806220451 202092544 43533 4294967295 134512640 135726644 3221224592 3221223088 134744377 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49339 43533 300 300 0 49039 0
vsize: 197356
[startup+70.0005 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 68371 0 0 0 6849 152 0 0 25 0 1 0 806220451 206053376 44142 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50306 44142 300 300 0 50006 0
vsize: 201224
[startup+80.001 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 69512 0 0 0 7846 155 0 0 25 0 1 0 806220451 210018304 44828 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51274 44828 300 300 0 50974 0
vsize: 205096
[startup+90.0012 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 70166 0 0 0 8845 156 0 0 25 0 1 0 806220451 212131840 45222 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51790 45222 300 300 0 51490 0
vsize: 207160
[startup+100.001 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 70537 0 0 0 9844 157 0 0 25 0 1 0 806220451 213454848 45463 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52113 45463 300 300 0 51813 0
vsize: 208452
[startup+110.001 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 71906 0 0 0 10842 160 0 0 25 0 1 0 806220451 218112000 46371 4294967295 134512640 135726644 3221224592 3221223184 134760010 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53250 46371 300 300 0 52950 0
vsize: 213000
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 72030 0 0 0 11842 160 0 0 25 0 1 0 806220451 218374144 46430 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53314 46430 300 300 0 53014 0
vsize: 213256
[startup+130.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 72112 0 0 0 12842 160 0 0 25 0 1 0 806220451 218636288 46447 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53378 46447 300 300 0 53078 0
vsize: 213512
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 72245 0 0 0 13842 160 0 0 25 0 1 0 806220451 219033600 46515 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53475 46515 300 300 0 53175 0
vsize: 213900
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 72463 0 0 0 14842 161 0 0 25 0 1 0 806220451 219561984 46635 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53604 46635 300 300 0 53304 0
vsize: 214416
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 74358 0 0 0 15837 166 0 0 25 0 1 0 806220451 222896128 47212 4294967295 134512640 135726644 3221224592 3221223088 134744379 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54418 47212 300 300 0 54118 0
vsize: 217672
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 76000 0 0 0 16833 170 0 0 25 0 1 0 806220451 229711872 48414 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56082 48414 300 300 0 55782 0
vsize: 224328
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 76377 0 0 0 17832 172 0 0 25 0 1 0 806220451 231276544 48692 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56464 48692 300 300 0 56164 0
vsize: 225856
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 77832 0 0 0 18829 175 0 0 25 0 1 0 806220451 236126208 49551 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57648 49551 300 300 0 57348 0
vsize: 230592
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 79579 0 0 0 19826 178 0 0 25 0 1 0 806220451 241991680 50483 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59080 50483 300 300 0 58780 0
vsize: 236320
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 81408 0 0 0 20822 182 0 0 25 0 1 0 806220451 245202944 51059 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59864 51059 300 300 0 59564 0
vsize: 239456
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 82532 0 0 0 21819 185 0 0 25 0 1 0 806220451 249511936 51888 4294967295 134512640 135726644 3221224592 3221223088 134743931 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 60916 51888 300 300 0 60616 0
vsize: 243664
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 83340 0 0 0 22817 187 0 0 25 0 1 0 806220451 252489728 52434 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61643 52434 300 300 0 61343 0
vsize: 246572
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 83458 0 0 0 23817 188 0 0 25 0 1 0 806220451 252755968 52519 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61708 52519 300 300 0 61408 0
vsize: 246832
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 83857 0 0 0 24817 188 0 0 25 0 1 0 806220451 254492672 52852 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62132 52852 300 300 0 61832 0
vsize: 248528
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 84117 0 0 0 25816 189 0 0 25 0 1 0 806220451 255565824 53046 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62394 53046 300 300 0 62094 0
vsize: 249576
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 84470 0 0 0 26816 190 0 0 25 0 1 0 806220451 256897024 53268 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62719 53268 300 300 0 62419 0
vsize: 250876
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 85828 0 0 0 27813 193 0 0 25 0 1 0 806220451 259158016 53684 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63271 53684 300 300 0 62971 0
vsize: 253084
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 86839 0 0 0 28811 196 0 0 25 0 1 0 806220451 262881280 54367 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64180 54367 300 300 0 63880 0
vsize: 256720
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 88022 0 0 0 29809 198 0 0 25 0 1 0 806220451 266854400 55027 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65150 55027 300 300 0 64850 0
vsize: 260600
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 88597 0 0 0 30808 200 0 0 25 0 1 0 806220451 269238272 55405 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65732 55405 300 300 0 65432 0
vsize: 262928
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 88866 0 0 0 31807 200 0 0 25 0 1 0 806220451 270163968 55576 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65958 55576 300 300 0 65658 0
vsize: 263832
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 89559 0 0 0 32806 201 0 0 25 0 1 0 806220451 272809984 56008 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 66604 56008 300 300 0 66304 0
vsize: 266416
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 91263 0 0 0 33803 205 0 0 25 0 1 0 806220451 275460096 56442 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67251 56443 300 300 0 66951 0
vsize: 269004
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 92037 0 0 0 34801 207 0 0 25 0 1 0 806220451 277839872 56889 4294967295 134512640 135726644 3221224592 3221223136 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67832 56889 300 300 0 67532 0
vsize: 271328
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 92647 0 0 0 35800 208 0 0 25 0 1 0 806220451 280088576 57237 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68381 57237 300 300 0 68081 0
vsize: 273524
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 93216 0 0 0 36799 210 0 0 25 0 1 0 806220451 282206208 57610 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68898 57610 300 300 0 68598 0
vsize: 275592
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 93917 0 0 0 37798 212 0 0 25 0 1 0 806220451 284450816 58017 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 69446 58017 300 300 0 69146 0
vsize: 277784
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 95058 0 0 0 38796 214 0 0 25 0 1 0 806220451 288968704 59060 4294967295 134512640 135726644 3221224592 3221222728 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70549 59060 300 300 0 70249 0
vsize: 282196
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 95274 0 0 0 39795 215 0 0 25 0 1 0 806220451 286044160 58333 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 69835 58333 300 300 0 69535 0
vsize: 279340
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 95584 0 0 0 40794 216 0 0 25 0 1 0 806220451 286834688 58513 4294967295 134512640 135726644 3221224592 3221223216 134744550 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70028 58513 300 300 0 69728 0
vsize: 280112
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 96096 0 0 0 41794 217 0 0 25 0 1 0 806220451 288550912 58798 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70447 58798 300 300 0 70147 0
vsize: 281788
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 96509 0 0 0 42793 218 0 0 25 0 1 0 806220451 290144256 59146 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70836 59146 300 300 0 70536 0
vsize: 283344
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 96656 0 0 0 43793 218 0 0 25 0 1 0 806220451 290672640 59228 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70965 59228 300 300 0 70665 0
vsize: 283860
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 96737 0 0 0 44793 219 0 0 25 0 1 0 806220451 290672640 59309 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70965 59309 300 300 0 70665 0
vsize: 283860
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 97142 0 0 0 45792 220 0 0 25 0 1 0 806220451 292126720 59551 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 71320 59551 300 300 0 71020 0
vsize: 285280
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 97818 0 0 0 46791 221 0 0 25 0 1 0 806220451 294502400 59901 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 71900 59901 300 300 0 71600 0
vsize: 287600
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 97860 0 0 0 47791 222 0 0 25 0 1 0 806220451 294502400 59943 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 71900 59943 300 300 0 71600 0
vsize: 287600
[startup+490.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 97895 0 0 0 48791 222 0 0 25 0 1 0 806220451 294502400 59978 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 71900 59978 300 300 0 71600 0
vsize: 287600
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 97910 0 0 0 49792 222 0 0 25 0 1 0 806220451 294502400 59993 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 71900 59993 300 300 0 71600 0
vsize: 287600
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 97923 0 0 0 50792 222 0 0 25 0 1 0 806220451 294502400 60006 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 71900 60006 300 300 0 71600 0
vsize: 287600
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 97933 0 0 0 51792 222 0 0 25 0 1 0 806220451 294502400 60016 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 71900 60016 300 300 0 71600 0
vsize: 287600
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 98952 0 0 0 52789 225 0 0 25 0 1 0 806220451 295030784 60093 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72029 60093 300 300 0 71729 0
vsize: 288116
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 98952 0 0 0 53790 225 0 0 25 0 1 0 806220451 295030784 60093 4294967295 134512640 135726644 3221224592 3221223216 134744676 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72029 60093 300 300 0 71729 0
vsize: 288116
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 99198 0 0 0 54789 226 0 0 25 0 1 0 806220451 295956480 60241 4294967295 134512640 135726644 3221224592 3221223088 134744074 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72255 60241 300 300 0 71955 0
vsize: 289020
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 99631 0 0 0 55788 227 0 0 25 0 1 0 806220451 297005056 60413 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72511 60413 300 300 0 72211 0
vsize: 290044
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 99646 0 0 0 56788 227 0 0 25 0 1 0 806220451 297005056 60428 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72511 60428 300 300 0 72211 0
vsize: 290044
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 99664 0 0 0 57789 228 0 0 25 0 1 0 806220451 297005056 60446 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72511 60446 300 300 0 72211 0
vsize: 290044
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 99690 0 0 0 58789 228 0 0 25 0 1 0 806220451 297005056 60472 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72511 60472 300 300 0 72211 0
vsize: 290044
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 99691 0 0 0 59789 228 0 0 25 0 1 0 806220451 297005056 60473 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72511 60473 300 300 0 72211 0
vsize: 290044
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 99692 0 0 0 60789 228 0 0 25 0 1 0 806220451 297005056 60474 4294967295 134512640 135726644 3221224592 3221223260 134745062 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72511 60474 300 300 0 72211 0
vsize: 290044
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 99693 0 0 0 61790 228 0 0 25 0 1 0 806220451 297005056 60475 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72511 60475 300 300 0 72211 0
vsize: 290044
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 99694 0 0 0 62790 228 0 0 25 0 1 0 806220451 297005056 60476 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72511 60476 300 300 0 72211 0
vsize: 290044
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 99694 0 0 0 63790 228 0 0 25 0 1 0 806220451 297005056 60476 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72511 60476 300 300 0 72211 0
vsize: 290044
[startup+650.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 100602 0 0 0 64788 231 0 0 25 0 1 0 806220451 297005056 60507 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72511 60507 300 300 0 72211 0
vsize: 290044
[startup+660.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 100716 0 0 0 65788 231 0 0 25 0 1 0 806220451 297267200 60556 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72575 60556 300 300 0 72275 0
vsize: 290300
[startup+670.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 100824 0 0 0 66788 231 0 0 25 0 1 0 806220451 297529344 60599 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72639 60599 300 300 0 72339 0
vsize: 290556
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 100835 0 0 0 67788 231 0 0 25 0 1 0 806220451 297529344 60610 4294967295 134512640 135726644 3221224592 3221223088 134744297 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72639 60610 300 300 0 72339 0
vsize: 290556
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 100843 0 0 0 68789 232 0 0 25 0 1 0 806220451 297529344 60618 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72639 60618 300 300 0 72339 0
vsize: 290556
[startup+700.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 101745 0 0 0 69787 234 0 0 25 0 1 0 806220451 297529344 60643 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72639 60643 300 300 0 72339 0
vsize: 290556
[startup+710.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 102002 0 0 0 70787 234 0 0 25 0 1 0 806220451 298319872 60770 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72832 60770 300 300 0 72532 0
vsize: 291328
[startup+720.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 102596 0 0 0 71785 236 0 0 25 0 1 0 806220451 299896832 61039 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73217 61039 300 300 0 72917 0
vsize: 292868
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 102607 0 0 0 72786 236 0 0 25 0 1 0 806220451 299896832 61050 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73217 61050 300 300 0 72917 0
vsize: 292868
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 102617 0 0 0 73786 236 0 0 25 0 1 0 806220451 299896832 61060 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73217 61060 300 300 0 72917 0
vsize: 292868
[startup+750.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 102627 0 0 0 74786 236 0 0 25 0 1 0 806220451 299896832 61070 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73217 61070 300 300 0 72917 0
vsize: 292868
[startup+760.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 102635 0 0 0 75787 236 0 0 25 0 1 0 806220451 299896832 61078 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73217 61078 300 300 0 72917 0
vsize: 292868
[startup+770.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 102646 0 0 0 76787 236 0 0 25 0 1 0 806220451 299896832 61089 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73217 61089 300 300 0 72917 0
vsize: 292868
[startup+780.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 103534 0 0 0 77785 238 0 0 25 0 1 0 806220451 299896832 61100 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73217 61100 300 300 0 72917 0
vsize: 292868
[startup+790.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 103542 0 0 0 78786 238 0 0 25 0 1 0 806220451 299896832 61108 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73217 61108 300 300 0 72917 0
vsize: 292868
[startup+800.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 103553 0 0 0 79786 238 0 0 25 0 1 0 806220451 299896832 61119 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73217 61119 300 300 0 72917 0
vsize: 292868
[startup+810.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 103573 0 0 0 80786 238 0 0 25 0 1 0 806220451 299896832 61139 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73217 61139 300 300 0 72917 0
vsize: 292868
[startup+820.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 103584 0 0 0 81786 238 0 0 25 0 1 0 806220451 299896832 61150 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73217 61150 300 300 0 72917 0
vsize: 292868
[startup+830.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 103595 0 0 0 82787 239 0 0 25 0 1 0 806220451 299896832 61161 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73217 61161 300 300 0 72917 0
vsize: 292868
[startup+840.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 103607 0 0 0 83787 239 0 0 25 0 1 0 806220451 299896832 61173 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73217 61173 300 300 0 72917 0
vsize: 292868
[startup+850.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 104499 0 0 0 84785 241 0 0 25 0 1 0 806220451 299896832 61188 4294967295 134512640 135726644 3221224592 3221223088 134744074 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73217 61188 300 300 0 72917 0
vsize: 292868
[startup+860.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 104511 0 0 0 85785 241 0 0 25 0 1 0 806220451 299896832 61200 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73217 61200 300 300 0 72917 0
vsize: 292868
[startup+870.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 104524 0 0 0 86785 241 0 0 25 0 1 0 806220451 299896832 61213 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73217 61213 300 300 0 72917 0
vsize: 292868
[startup+880.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 104536 0 0 0 87785 242 0 0 25 0 1 0 806220451 299896832 61225 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73217 61225 300 300 0 72917 0
vsize: 292868
[startup+890.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 104542 0 0 0 88785 242 0 0 25 0 1 0 806220451 299896832 61231 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73217 61231 300 300 0 72917 0
vsize: 292868
[startup+900.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 104553 0 0 0 89785 242 0 0 25 0 1 0 806220451 299896832 61242 4294967295 134512640 135726644 3221224592 3221223216 134744594 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73217 61242 300 300 0 72917 0
vsize: 292868
[startup+910.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 105434 0 0 0 90783 245 0 0 25 0 1 0 806220451 299896832 61246 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73217 61246 300 300 0 72917 0
vsize: 292868
[startup+920.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 105435 0 0 0 91783 245 0 0 25 0 1 0 806220451 299896832 61247 4294967295 134512640 135726644 3221224592 3221223088 134744206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73217 61247 300 300 0 72917 0
vsize: 292868
[startup+930.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 105436 0 0 0 92784 245 0 0 25 0 1 0 806220451 299896832 61248 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73217 61248 300 300 0 72917 0
vsize: 292868
[startup+940.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 105452 0 0 0 93784 245 0 0 25 0 1 0 806220451 299896832 61264 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73217 61264 300 300 0 72917 0
vsize: 292868
[startup+950.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 105625 0 0 0 94784 246 0 0 25 0 1 0 806220451 300421120 61308 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73345 61308 300 300 0 73045 0
vsize: 293380
[startup+960.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 105626 0 0 0 95784 246 0 0 25 0 1 0 806220451 300421120 61309 4294967295 134512640 135726644 3221224592 3221223136 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73345 61309 300 300 0 73045 0
vsize: 293380
[startup+970.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 106505 0 0 0 96782 248 0 0 25 0 1 0 806220451 304013312 62188 4294967295 134512640 135726644 3221224592 3221222752 134765521 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 74222 62188 300 300 0 73922 0
vsize: 296888
[startup+980.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 106506 0 0 0 97782 248 0 0 25 0 1 0 806220451 300421120 61312 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73345 61312 300 300 0 73045 0
vsize: 293380
[startup+990.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 106506 0 0 0 98782 248 0 0 25 0 1 0 806220451 300421120 61312 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73345 61312 300 300 0 73045 0
vsize: 293380
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 106533 0 0 0 99783 249 0 0 25 0 1 0 806220451 300421120 61339 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73345 61339 300 300 0 73045 0
vsize: 293380
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 106534 0 0 0 100783 249 0 0 25 0 1 0 806220451 300421120 61340 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73345 61340 300 300 0 73045 0
vsize: 293380
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 106535 0 0 0 101783 249 0 0 25 0 1 0 806220451 300421120 61341 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73345 61341 300 300 0 73045 0
vsize: 293380
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 107413 0 0 0 102781 251 0 0 25 0 1 0 806220451 300421120 61342 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73345 61342 300 300 0 73045 0
vsize: 293380
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 107413 0 0 0 103782 251 0 0 25 0 1 0 806220451 300421120 61342 4294967295 134512640 135726644 3221224592 3221223088 134744295 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73345 61342 300 300 0 73045 0
vsize: 293380
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 107414 0 0 0 104782 251 0 0 25 0 1 0 806220451 300421120 61343 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73345 61343 300 300 0 73045 0
vsize: 293380
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 107415 0 0 0 105782 251 0 0 25 0 1 0 806220451 300421120 61344 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73345 61344 300 300 0 73045 0
vsize: 293380
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 107419 0 0 0 106783 251 0 0 25 0 1 0 806220451 300421120 61348 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73345 61348 300 300 0 73045 0
vsize: 293380
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 107420 0 0 0 107783 251 0 0 25 0 1 0 806220451 300421120 61349 4294967295 134512640 135726644 3221224592 3221223184 134760010 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73345 61349 300 300 0 73045 0
vsize: 293380
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 107421 0 0 0 108783 252 0 0 25 0 1 0 806220451 300421120 61350 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73345 61350 300 300 0 73045 0
vsize: 293380
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 108299 0 0 0 109781 254 0 0 25 0 1 0 806220451 300421120 61351 4294967295 134512640 135726644 3221224592 3221223008 134738144 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73345 61351 300 300 0 73045 0
vsize: 293380
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 108301 0 0 0 110782 254 0 0 25 0 1 0 806220451 300421120 61353 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73345 61353 300 300 0 73045 0
vsize: 293380
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 108301 0 0 0 111782 254 0 0 25 0 1 0 806220451 300421120 61353 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73345 61353 300 300 0 73045 0
vsize: 293380
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 108302 0 0 0 112782 254 0 0 25 0 1 0 806220451 300421120 61354 4294967295 134512640 135726644 3221224592 3221223088 134744140 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73345 61354 300 300 0 73045 0
vsize: 293380
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 108303 0 0 0 113782 254 0 0 25 0 1 0 806220451 300421120 61355 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73345 61355 300 300 0 73045 0
vsize: 293380
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 108303 0 0 0 114783 254 0 0 25 0 1 0 806220451 300421120 61355 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73345 61355 300 300 0 73045 0
vsize: 293380
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 108304 0 0 0 115783 254 0 0 25 0 1 0 806220451 300421120 61356 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73345 61356 300 300 0 73045 0
vsize: 293380
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 109181 0 0 0 116781 256 0 0 25 0 1 0 806220451 300421120 61356 4294967295 134512640 135726644 3221224592 3221223216 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73345 61356 300 300 0 73045 0
vsize: 293380
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 109182 0 0 0 117781 256 0 0 25 0 1 0 806220451 300421120 61357 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73345 61357 300 300 0 73045 0
vsize: 293380
[startup+1190.03 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 109183 0 0 0 118782 256 0 0 25 0 1 0 806220451 300421120 61358 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73345 61358 300 300 0 73045 0
vsize: 293380
[startup+1200.03 s]
Raw data (loadavg): 1.14 1.00 0.93 2/54 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 109191 0 0 0 119782 256 0 0 25 0 1 0 806220451 300421120 61366 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73345 61366 300 300 0 73045 0
vsize: 293380
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.08 s]
Raw data (loadavg): 1.14 1.00 0.93 1/53 2565
Raw data (stat): 2565 (pb2sat) R 2564 25568 25567 0 -1 0 109191 0 0 0 119782 256 0 0 25 0 1 0 806220451 300421120 61366 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73345 61366 300 300 0 73045 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.08
CPU time (s): 1202.45
CPU user time (s): 1199.76
CPU system time (s): 2.68959
CPU usage (%): 100.031
Max. virtual memory (Kb): 296888
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####